01 - Option-Beta Amendment Matrix

The Codex amendment (codex-fix7-legacy-disposition-design-amendment-2026-06-08/) and the macro prompt each enumerate the same seven blockers. This matrix maps each to the exact T1 patch and the blueprint docs touched. Detail is in the per-blocker report docs 02..08; the doc-by-doc diff is in 09.

#	amendment blocker	what Option Beta requires	T1 patch (load-bearing)	blueprint docs	report doc
1	remove legacy-disposition model completely	delete the 5-value enum, LEGACY_* #20 rows, computed disposition, truth table, classifier, CASE branch, external-artifact policy, STUB path, body-restore path, DO_NOT_TOUCH subtraction, and all policy branching by relkind/prokind/name/owner/pattern; labels survive only as non-authority text	all those constructs removed from §H/§I of doc 02 and every dependent step/guard/package; former labels kept only as non-authority English in a mapping table; G-LEGACY-NO-DISPOSITION-AUTHORITY enforces it; guard-quality rule 6 added	02,03,04,05,06,07,08,12	02
2	redefine U_legacy under Option Beta	a single sealed in-scope set; no DO_NOT_TOUCH subtraction; no class exclusion; all boundary collisions fail closed; every member reaches the same end-state; relkind/prokind = syntax only; add G-U-LEGACY-OPTION-BETA-UNIFORM-ENDSTATE	U_legacy = closure(#11, roots = #20 protected_target rows bound to candidate manifest); subtraction removed; both-EXCEPT vs closed denominator; collisions fail closed; G-U-LEGACY-OPTION-BETA-UNIFORM-ENDSTATE added	02,04,06,07,12	03
3	remove STUB / body-mutation path	no legacy body mutation/restore; rollback restores authority via forward-only supersede/deactivate + privilege/owner snapshot; source artifacts evidence only	STUB removed everywhere; rollback note 5 + S15 row rewritten to owner+ACL snapshot replay only; evidence_registry body artifact eliminated	04,05,06,07,12	04
4	owner isolation + #21 privilege contract as the authority path	members owner-isolated where applicable; effective privileges set/verified against sealed #21; body unchanged; directus/runtime effective authority absent unless #21 allows read-only; G-NOLEGACY-POST verifies the uniform end-state	S15 = owner-transfer → reconcile to exact #21 (both-EXCEPT) → verify; #21 is closed-world; G-NOLEGACY-POST + G-U-LEGACY-OPTION-BETA-UNIFORM-ENDSTATE verify the uniform end-state, not branches	04,06,07,12	05
5	remove DO_NOT_TOUCH as authority exclusion	DO_NOT_TOUCH = hard-block label for out-of-scope unrelated objects only; cannot subtract from U_legacy; collision = fail-closed / design review	doc 02 §H.2/§H.4 subtraction removed; doc 08 reframes birth gateway/DOTs as boundary hard-blocks; collisions fail closed	02,04,06,08,12	06
6	hardcode / PG-native self-review	prove no disposition enum/classifier/CASE/relkind-prokind policy/name-owner authority/item_payload loophole/external policy/STUB/DO_NOT_TOUCH subtraction; U_legacy sealed/hash-bound; end-state uniform & PG-native; #21 = privilege authority	self-review PASS on every item	(self-review)	07
7	cross-layer boundaries	implementation/2.6B/QT001 apply/permit/REAL_RUN/activation/repoint/cutover BLOCKED; governance reconciliation/registry-pivot/Đ43/harness alignment later; runtime evidence non-authority	self-review confirms all unchanged	(self-review)	08

Required-evidence map (amendment doc 07)

The amendment's "Required T1 evidence for recheck 3" maps to this report:

required evidence	where
doc-by-doc diff matrix	09
exact removed terms/branches	02
exact #11/#20/#21 binding	03 (#11/#20 roots/closure), 05 (#21 closed-world)
both-EXCEPT contracts	03 (denominator), 05 (#21 effective-privilege)
negative-test matrix	02 (label/class/STUB/subtraction) + doc 06 negative-test section
package/order matrix	09 (doc 04 S00..S19, doc 07 PKG-A..I)
rollback proof	04
invariant counts	07, 10
self-review for disguised hardcode / PG-native authority	07