RS5A-PATCH4 Index — Total Quorum Precedence & G02 Domain — 2026-06-21

Verdict: RS5A_PATCH4_READY_FOR_CODEX_REVIEW (not forced) · Gate: REGISTRATION_HOLD · REGISTRATION_CAN_PROCEED=NO · 0 mutations. Macro: RS5A-PATCH4 — scoped total-quorum-precedence / G02-partition-domain correction after Codex REJECT_RS5A_PATCH3_QUORUM_PRECEDENCE_INSUFFICIENT. Does NOT overwrite RS5A, RS5A-PATCH1, RS5A-PATCH2, or RS5A-PATCH3. Does NOT reopen accepted lifecycle, G02a/b/c mutual exclusion, owner, bootstrap, handler, identity, U1/U2/U3, or hard-prerequisite semantics.

1. File inventory + readback

Each file's upload_document returned status=created, revision=1. Eight files total (8 required).

#	file (reports/rs5a-patch4/ unless noted)	revision	readback
idx	rs5a-patch4-index-total-quorum-precedence-and-g02-domain (this file)	1	created
01	01-codex-patch3-rejection-closure-map	1	created
02	02-quorum-evaluation-unit-and-total-code-order	1	created
03	03-compound-quorum-fixtures-and-expected-codes	1	created
04	04-g02-partition-domain-and-no-durable-decision-caveat	1	created
05	05-rs5a-patch4-decision-packet	1	created
cdx	codex-review-packet-rs5a-patch4-total-quorum-precedence-and-g02-domain	1	created
roll	reports/macro-rs5a-patch4-total-quorum-precedence-and-g02-domain (rollup)	1	created

2. Residual closure (Codex REJECT_RS5A_PATCH3 §5–§6)

residual	status	file
R1 — P1 multi-code ambiguity (free-text president + self-declared council)	CLOSED	02, 03
R2 — P3 multi-code ambiguity (president unresolved + council unresolved)	CLOSED	02, 03
R3 — evaluation unit unspecified	CLOSED	02
R4 — compound fixtures missing	CLOSED	03
R5 — G02 partition overclaim	CLOSED	04

No residual STILL_OPEN_BY_DESIGN blocks review.

3. Headline corrections

• Total quorum order (authoritative; overrides band labels): Q00 CANONICAL_PRINCIPAL_SURFACE_REQUIRED_NOT_PRESENT < Q10 FREE_TEXT_PRESIDENT_REJECTED < Q11 SELF_DECLARED_COUNCIL_IDENTITY_REJECTED < Q20 DELEGATION_REVOKED < Q21 DELEGATION_SCOPE_MISMATCH < Q22 DELEGATION_NOT_YET_EFFECTIVE < Q23 DELEGATION_EXPIRED < Q30 PRESIDENT_ROLE_UNRESOLVED < Q31 COUNCIL_PRINCIPAL_UNRESOLVED < Q40 APPROVER_ALIAS_DOUBLE_COUNT < Q41 CANONICAL_PRINCIPAL_DOUBLE_COUNT < Q50 QUORUM_NOT_SATISFIED. Rule: predicates may overlap; lowest matching Q-code at the evaluation unit wins (replaces PATCH3-03's unproven within-band exclusivity assertion).
• Evaluation unit: primary = a single vote claim within one APR (per-vote codes Q10–Q31, comparing claimed role slots against resolved/canonical slots); APR-level = the whole APR over valid vote claims (Q40/Q41/Q50); Q00 = context precondition. Per-vote invalidity before APR-level count; multi-faulty-vote APR canonical outcome = lowest-Q across emitted per-vote codes. Oracle is a total deterministic function.
• Compound fixtures: CQ01–CQ09, each one canonical code by lowest-Q (CQ01 free-text president + self-declared council → FREE_TEXT_PRESIDENT_REJECTED; CQ03 president + council unresolved → PRESIDENT_ROLE_UNRESOLVED; CQ04/05 delegation; CQ06/07 double-count; CQ08 count; CQ09 cross-unit rollup).
• G02 partition domain: narrowed to domain D = same-nonce inputs with a prior durable decision (all three branches require it); in-flight same nonce + same effect + same envelope + no prior durable decision named NO_PRIOR_DURABLE_DECISION_STATE_UNSPECIFIED, out of this oracle's domain, no reject code, no executable scenario; count unchanged 84 / 86.

4. Self-check (Mục tiêu 7)

read Codex PATCH3 review (REJECT) ✔ · lifecycle PASS not reopened ✔ · G02a/b/c mutual exclusion PASS not over-reopened (only domain narrowed) ✔ · evaluation unit defined (vote claim / APR / context) ✔ · total Q-order defined ✔ · free-text president + self-declared ai_council handled (CQ01 → Q10) ✔ · P3 president-unresolved + council-unresolved handled (CQ03 → Q30) ✔ · delegation compound cases handled (CQ04/CQ05) ✔ · alias vs canonical duplicate handled (CQ06/CQ07) ✔ · compound fixtures added (CQ01–CQ09) ✔ · G02 partition domain fixed ✔ · 84 parent / 86 executable retained, recompute path shown ✔ · no implementation/mutation ✔ · REGISTRATION_HOLD kept ✔ · Codex packet created ✔ · readback verified ✔.

5. Next step

Codex reviews RS5A-PATCH4 only → on accept, proceed to RS5B (G2 Owner-of-record execution-design / authorization-design, non-mutating). Further residual ⇒ RS5A-PATCH5.