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.

  1. 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.
  2. Remove every action-selection statement based on relkind, prokind, object name/pattern, owner, or DO_NOT_TOUCH. Structural class dispatch is allowed only to select valid PG syntax for the same end-state.
  3. Define U_legacy only 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. Preserve exactly 27/11/14/7. Add no authority surface, #20 column, catalog family, readiness gate, or top-level hash contract.
  10. 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.

Back to Knowledge Hub knowledge/dev/reports/architecture/codex-fix7-legacy-disposition-design-amendment-2026-06-08/07-t1-patch-instructions.md