KB-2D2D
Codex FIX7 Legacy Disposition Amendment - T1 Patch Instructions
3 min read Revision 1
fix7codexdesign-amendmentt1-instructions
07 - T1 Patch Instructions
T1 must patch the blueprint exactly as follows before requesting Codex recheck 3.
- Remove all load-bearing disposition concepts, including the five labels,
LEGACY_*#20 rows, computed classifier, truth-table proposal, STUB body path, and body-restore path. - Remove every action-selection statement based on
relkind,prokind, object name/pattern, owner, orDO_NOT_TOUCH. Structural class dispatch is allowed only to select valid PG syntax for the same end-state. - Define
U_legacyonly from sealed #20 protected-target roots plus exact #11 analyzer closure. Remove manual exclusions. If closure hits an unsupported/protected-boundary object, fail closed and report the exact collision. - Specify the uniform end-state for every member: owner=
qt001_cp_owner; definition/body hash unchanged; actual effective privileges exactly equal complete sealed #21 rows; no unapproved privileges. - Specify #21 as closed-world and prove completeness, expected count/hash binding, principal coverage, and both-EXCEPT comparison. Do not treat ordinary absence from an incomplete set as authority.
- Preserve rollback as forward-only. Legacy rollback uses the S14 owner/ACL snapshot uniquely bound by existing
manifest_activation.rollback_evidence_id; no legacy body restore exists. - Update PKG-B..I and S00..S19 so no package authors, hashes, seals, executes, or verifies a disposition. Package behavior must be generic reconciliation against #11/#20/#21.
- Update guards to the contract in doc 04. Add negative tests proving labels/class/type/name/pattern cannot change the desired result; unsupported/collision/incomplete-#21 cases fail closed.
- Preserve exactly 27/11/14/7. Add no authority surface, #20 column, catalog family, readiness gate, or top-level hash contract.
- Keep all live boundaries blocked and return the patched blueprint for
CODEX_RECHECK_3; do not claim authoring or implementation approval.
Required T1 evidence for recheck 3: doc-by-doc diff matrix, exact removed terms/branches, exact #11/#20/#21 binding, both-EXCEPT contracts, negative-test matrix, package/order matrix, rollback proof, invariant counts, and self-review for disguised hardcode/PG-native authority.