You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Amend the non-authoritative authorization Phase A candidate so final review actions preserve active OFARM review scope and bind the exact result posture needed by the separately owned ReviewDecision protected-effect contract.
Primary trust boundary
Canonical authorization law: the exact authority target and effect-intent content selected for final review actions.
This is separate from #15, which owns ReviewDecision result mappings, event/commit classification, postconditions, and validation evidence.
Triggering contradiction
Active OFARM law defines ReviewDecision as an immutable governance act that changes the in-force status of assertions or accepted event consequences. Current ReviewDecision v0.1 permits ACCEPTED_EVENT_CONSEQUENCE, and a current example exercises REVIEW_SUPERSEDE against that family.
The semantically approved authorization candidate instead assigns all final review actions to RP_REVIEW_TARGET_ONE, whose closed target list omits ACCEPTED_EVENT_CONSEQUENCE. A protected-effect contract cannot restore that target locally without widening authority beyond the selected authorization rule.
The candidate also says the review decision kind is fixed by action class, but REVIEW_REJECT_OR_CONTEST permits two materially different result states. The exact REJECTED versus CONTESTED posture must be bound inside the effect intent so the domain contract can reject substitution.
Intended PR boundary
One bounded amendment to the existing candidate document on PR #11. No accepted RFC, active baseline, current/draft schema, domain result contract, Event Grammar, runtime code, currentness, or OFARM2 change.
Because PR #11 already received steward semantic approval at b0e0409, any amendment requires renewed review and steward approval before #15 resumes.
Acceptance criteria
Make ACCEPTED_EVENT_CONSEQUENCE an explicit eligible target for the applicable final review actions without silently widening unrelated action classes.
Preserve one concrete authority target and exact immutable target ref/revision or digest.
Define the final-review intent outcome posture exactly:
REVIEW_ACCEPT binds ACCEPTED;
REVIEW_SUPERSEDE binds SUPERSEDED;
REVIEW_REJECT_OR_CONTEST requires one intent-bound closed value, REJECTED or CONTESTED.
Keep the outcome posture inside the single validated effect intent; no mirrored caller field may select or override it.
Add hostile cases for omission/substitution of ACCEPTED_EVENT_CONSEQUENCE targets and REJECTED/CONTESTED result substitution.
Update the relevant invariant, traceability entry, steward approval item, and completion criterion.
Retain the one-file, draft, non-authoritative PR boundary.
Depends on: #10 and the Phase A candidate in #11.
Blocks: #15.
Outcome
Amend the non-authoritative authorization Phase A candidate so final review actions preserve active OFARM review scope and bind the exact result posture needed by the separately owned
ReviewDecisionprotected-effect contract.Primary trust boundary
Canonical authorization law: the exact authority target and effect-intent content selected for final review actions.
This is separate from #15, which owns
ReviewDecisionresult mappings, event/commit classification, postconditions, and validation evidence.Triggering contradiction
Active OFARM law defines
ReviewDecisionas an immutable governance act that changes the in-force status of assertions or accepted event consequences. CurrentReviewDecision v0.1permitsACCEPTED_EVENT_CONSEQUENCE, and a current example exercisesREVIEW_SUPERSEDEagainst that family.The semantically approved authorization candidate instead assigns all final review actions to
RP_REVIEW_TARGET_ONE, whose closed target list omitsACCEPTED_EVENT_CONSEQUENCE. A protected-effect contract cannot restore that target locally without widening authority beyond the selected authorization rule.The candidate also says the review decision kind is fixed by action class, but
REVIEW_REJECT_OR_CONTESTpermits two materially different result states. The exactREJECTEDversusCONTESTEDposture must be bound inside the effect intent so the domain contract can reject substitution.Intended PR boundary
One bounded amendment to the existing candidate document on PR #11. No accepted RFC, active baseline, current/draft schema, domain result contract, Event Grammar, runtime code, currentness, or OFARM2 change.
Because PR #11 already received steward semantic approval at
b0e0409, any amendment requires renewed review and steward approval before #15 resumes.Acceptance criteria
ACCEPTED_EVENT_CONSEQUENCEan explicit eligible target for the applicable final review actions without silently widening unrelated action classes.REVIEW_ACCEPTbindsACCEPTED;REVIEW_SUPERSEDEbindsSUPERSEDED;REVIEW_REJECT_OR_CONTESTrequires one intent-bound closed value,REJECTEDorCONTESTED.ACCEPTED_EVENT_CONSEQUENCEtargets andREJECTED/CONTESTEDresult substitution.Non-goals
ReviewDecisionresult schema or protected-effect mapping; Define final ReviewDecision protected-effect contract #15 owns that boundary.REVIEW_REQUESTcommit-class closure.What is next: obtain explicit direction to amend PR #11, then renew semantic review and steward approval before resuming #15.