Checkpoint — T1 FIX7 RP-Corrected Design Short Review

Date: 2026-06-08 Reviewer: T1 (production Agent for Agent Data) Mode: READ-ONLY production / AUTHOR_MODE_ONLY. No production DB/role/grant/trigger/function/ scheduler/UI mutation; no object creation; no live SQL; no manifest activation; no ownership/ACL change; no permit; no Stage 2.6B; no REAL_RUN; no QT001 apply; no Codex-doc edit. KB review artifacts only.

Final status

DESIGN_NEEDS_TARGETED_PROPOSALS_BEFORE_FINAL_APPROVAL

Not a hardcode / PG-native / scale / read-path failure. All six blocking RP structurally resolved; both advisory RP applied; exactly 27 authority surfaces; zero new gates; zero new hash contracts; 11 non-authority runtime-evidence tables. Codex's deviations from T1's literal asks are all safe-direction (folded capability_environment into capability_run; enumerated runtime-evidence via counted #20 instead of a new set; reused dependency_manifest/analyzer_contract_manifest instead of a new adapter_input_contract).

Gated by the one explicit handoff acceptance criterion — "H04/H05/H02 byte-implementable; every sub-payload key resolves to a named table.column." Codex DID add a "Runtime-Evidence Column Bindings" section to CP-06 doc 07 and H05/H02 table-level bindings are consistent, but three precision gaps remain in that doc and keep H04/H05/H02 from being byte-implementable without guessing.

Per-RP / per-track verdicts

• RP-01 runtime-evidence: RP01_NEEDS_PROPOSAL (table layer resolved; hash binding drives P-01/02/03)
• RP-02 retention: RP02_VERIFIED (option i; fields on storage_class_manifest #05; no 28th surface)
• RP-03 constraint catalog: RP03_VERIFIED (consolidated order + typed #20 expected-constraint set; both-EXCEPT pg_constraint/pg_index; dropped-ALTER fail-closed; advisory P-04 only)
• RP-04 catalog-family: RP04_VERIFIED (3 families in catalog root; both-EXCEPT; count via expected_family_count)
• RP-05 item_payload: RP05_VERIFIED (descriptive-only; reused counted dependency/analyzer surfaces)
• RP-06 same-human: RP06_VERIFIED (slot-scoped UNIQUE + manifest separation; slot hash-binding via scope_hash → strengthened by P-02)
• RP-07 retirement FK: RP07_VERIFIED (deferred ALTER → evidence_registry; in #20 set; fake UUID fails)
• RP-08 Directus read-contract: RP08_VERIFIED (sealed #21 read-contract; sealed max_age; no window)
• Cross-impact: CROSS_IMPACT_CLEAN (27 surfaces; 0 gates; 0 hash contracts; no CP-01..09 regression)
• Zero-hardcode: ZERO_HARDCODE_VERIFIED (incl. no disguised hardcode; literal-scan is detector-not-authority)
• PG-native-driven: PG_NATIVE_DRIVEN_VERIFIED
• Feasibility/scale: FEASIBILITY_SCALE_VERIFIED (no scale risk; "without guessing" gated on P-01/02/03)
• Proposal count: 4 (P-01/P-02/P-03 blocking; P-04 advisory)

The 3 blocking proposals (all in CP-06 hash doc 07; surgical; no new surface/gate/hash/table)

• P-01 (LOW, contradiction): H04 keys reviewer_evidence_hash/binding_evidence_hash declared as one-to-one signoff_binding columns but are hashes; columns are *_evidence_id FKs. Pin dereference → evidence_registry.artifact_sha256 (unique content-hash col, confirmed CP-08 doc 09).
• P-02 (MEDIUM): signoff_binding.scope_hash canonical composition stated as a condition, never pinned. Define its ordered key list {quorum_profile_id, required_principal_class_id, slot_ordinal, action_id, ...} OR add the slot keys to H04 directly. Needed for deterministic write path + RP-06 slot-binding.
• P-03 (MEDIUM): "Total Orders" omits H05 measurements/artifacts and H02 capability_evidence_hashes/post_activation_verifier_state. Pin one canonical PK-terminated total order each (+ confirm membership predicate per run / control_epoch).

Hard blocks unchanged

Implementation, Stage 2.6B, permit, REAL_RUN, QT001 apply — all BLOCKED. Production READ-ONLY.

Source docs reviewed

• Codex correction pkg: …/codex-fix7-design-correction-from-t1-rp-refinements-2026-06-07/00..10 (doc 02 rev 2 runtime-evidence DDL).
• T1 refinement pkg: …/t1-fix7-rp-proposal-refinement-cross-impact-2026-06-07/02,04,05,10,12,13.
• Byte-level dependency pkg: …/codex-fix7-spec-artifact-correction-from-t1-proposals-2026-06-07/ doc 07 (CP-06 hash — where P-01/02/03 live), doc 09 (CP-08 registries — evidence_registry), doc 10 (CP-09 Level-B / same-human).

Output

• Report: knowledge/dev/reports/architecture/t1-fix7-rp-corrected-design-short-review-2026-06-07/00..15
• Checkpoint: this file.

Next

Codex applies P-01..P-03 to CP-06 doc 07 (P-04 optional, RP-03 doc 06) → recompute H01/H02/H04/H05 over now-defined columns + re-run CP-06 determinism fixtures → republish → short T1 re-review → DESIGN_READY_FOR_CODEX_FINAL_APPROVAL → Codex final approval.