KB-5909

Direct Blueprint Revisions Applied

4 min read Revision 1
fix7codex-recheck-patchblueprint-revisions2026-06-08

12 - Direct Blueprint Revisions Applied

All fixes were applied DIRECTLY to the blueprint KB documents under knowledge/dev/reports/architecture/t1-fix7-existing-system-refactor-execution-blueprint-2026-06-08/. READ-ONLY production; no production mutation; KB blueprint-doc revision only.

Per-document changes

blueprint doc final revision what changed this recheck pass
02 design-to-live mapping rev 17 §H.2 rewritten to approved #20 columns (no disposition/privilege_acl_hash/expected_legacy_set_sha256 columns); §H.3 closed-denominator exact-set; §H.4 NEW closed universe U_legacy; §I disposition COMPUTED + STUB restore via evidence_registry; §G owner-isolation; §E action cell owner-transfer-first; §H header
04 construction order rev 33 S00/S09/S13 mapped to approved #20 cols + closed denominator + evidence_registry; S14 → STAGE+snapshot (no activation); S15 → atomic ordered owner-transfer→revoke→verify→activate→repoint; S16 → remaining relations (routine ownership at S15.1); S19 36-guard; NEW PG-owner-semantics dependency note; activation-order/no-mixed note; phase-explicit owner table updated
05 rollback rev 18 invariant 3 snapshot-before-transfer (S14) + superuser disposition; note 5 step 4 owner-restore + evidence_registry body; S14/S15/S16 rows; completeness verdict
06 test/guard rev 25 G-NOLEGACY-PRE/POST (superuser + owner-transfer ordering); G-NOMIXED route=ACTIVE fact; G-LEGACY-TARGET-SEALED approved cols + manifest seal; NEW G-LEGACY-TARGET-CLOSED-DENOMINATOR; G-OWNER-CUTOVER S14 snapshot + superuser; G-EPOCH-TOCTOU at S15; guard-quality rule 5; total 35→36
07 package split rev 28 PKG-E create+seal+STAGE (no activation) + snapshot capture; PKG-F atomic ordered owner+revoke+verify+activate+repoint; PKG-G uses PKG-E snapshot, remaining relations; PKG-D +closed-denominator guard; §Terminology operator_authorization=evidence_registry; activation-moved bullet
08 hard blocks rev 10 unlock-chain "operator permit"→"operator_authorization" + PKG order; qt001_backfill_permit row evidence_registry storage note; manifest-activation future-gate (activation at PKG-F)
12 final self-verdict rev 12 top-line status → ..._T1_PATCHED_AFTER_CODEX_RECHECK_READY_FOR_CODEX_RECHECK_2; NEW recheck patch-pass section (A-H table + grep claim); guard count 36; explicit asks for recheck 2

Invariant ledger (preserved)

AUTHORITY_SURFACES=27 · RUNTIME_EVIDENCE=11_NON_AUTHORITY · READINESS_GATES=14_DATA ·
HASH_CONTRACTS=7_H01..H07 · NEW_AUTHORITY_SURFACE=0 · NEW_READINESS_GATE=0 · NEW_HASH_CONTRACT=0 ·
NEW_#20_COLUMN=0 · NEW_CATALOG_FAMILY=0 · GUARDS=36_TEST_VERIFICATION (not readiness gates) ·
PRODUCTION_MUTATION=0 ·
STAGE_2_6B/PERMIT/REAL_RUN/QT001_APPLY=BLOCKED · ACTIVATION/REPOINT/OWNER_ACL_CUTOVER=OPERATOR_GATED

No design amendment

Every recheck fix uses an already-approved surface/column: #20 (existing columns), #27, the manifest seal, evidence_registry, dependency_manifest #11, dynamic_sql_target_manifest #22, and PG roles. The only design-owner item is a CONFIRMATION (the §H.2 semantic-scope note - LEGACY_* rows in #20), which requires no byte-DDL change. Therefore the status is READY_FOR_CODEX_RECHECK_2, not REQUIRES_DESIGN_AMENDMENT.

Back to Knowledge Hub knowledge/dev/reports/architecture/t1-fix7-blueprint-patch-after-codex-recheck-owner-semantics-2026-06-08/12-direct-blueprint-revisions-applied.md