diffpatch endpoint effect is weaker than its operation effect #786

Closed
opened 2026-10-16 01:00:50 +00:00 by hexajon · 0 comments
Owner

The POST /repos/{owner}/{repo}/diffpatch endpoint carries no declared effect, while the matching first-class operation carries the default-branch effect. So the same write, sent through the passthrough, is allowed to the default branch even though the first-class path refuses it.

Fix:

  • Give the diffpatch endpoint at least the default-branch effect.
  • Add a consistency check: an endpoint effect is never weaker than any operation that maps to the same path. That check catches diffpatch and any sibling.

Acceptance:

  • A passthrough diffpatch to the default branch is refused.
  • The consistency check fails on any endpoint weaker than its operation.

Part of the write-guard work (#670).

The `POST /repos/{owner}/{repo}/diffpatch` endpoint carries no declared effect, while the matching first-class operation carries the default-branch effect. So the same write, sent through the passthrough, is allowed to the default branch even though the first-class path refuses it. Fix: - Give the diffpatch endpoint at least the default-branch effect. - Add a consistency check: an endpoint effect is never weaker than any operation that maps to the same path. That check catches diffpatch and any sibling. Acceptance: - A passthrough diffpatch to the default branch is refused. - The consistency check fails on any endpoint weaker than its operation. Part of the write-guard work (#670).
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Reference
sixfold-space/madtea#786
No description provided.