T1 FIX7 Corrected-Spec Short Review — Final Verdict
14 - SUPERTRACK N — Final Verdict
DESIGN_NEEDS_TARGETED_CODEX_CORRECTION_WITH_PROPOSALS
The Codex corrected package codex-fix7-spec-artifact-correction-from-t1-proposals-2026-06-07 is a genuine, substantial advance that resolves all nine prior T1 proposals to a high standard. It is NOT clean enough yet for Codex final approval: four blocking, precise, cross-impact corrections remain (RP-01..RP-04), plus four advisory (RP-05..RP-08).
Per-supertrack verdicts
- A CP-01 byte-level 27 DDL — CP01_VERIFIED
- B CP-02 inter-manifest FK targets — CP02_VERIFIED
- C CP-03 code_catalog bootstrap/seal/ownership — CP03_VERIFIED
- D CP-04 typed operand columns/checks — CP04_VERIFIED
- E CP-05 sealed thresholds — CP05_VERIFIED
- F CP-06 canonical hash — CP06_VERIFIED (encoding pinned; full byte-implementability of H04/H05/H06 gated on RP-01)
- G CP-07 Directus read path — CP07_VERIFIED
- H CP-08 registry/evidence placement/retention — CP08_ADVISORY_REMAINING (RP-01/RP-02 in-domain are now blocking)
- I CP-09 Level-B identity — CP09_VERIFIED
- J zero-hardcode — DISGUISED_HARDCODE_RISK (not FAIL)
- K PG-first/native/driven — PG_NATIVE_DRIVEN_NEEDS_CORRECTION
- L feasibility/scale — FEASIBILITY_SCALE_VERIFIED (design; runtime scale evidence operator-gated/pending)
Why this is NEEDS_CORRECTION, not READY, and not FAIL
- Not READY: signing off would carry (a) hash contracts H04/H05/H06 whose instance-table inputs are undefined (RP-01 — the exact divergence risk this package set out to kill), (b) an internal contradiction between "no 28th authority surface" and a sealed retention-policy authority (RP-02), (c) no consolidated apply/ALTER order so a dropped FK is a silent integrity hole (RP-03), and (d) unguaranteed catalog-contract coverage (RP-04). The governing law is explicit: evidence-first, no false PASS.
- Not FAIL: there is no hardcode FAIL (the model is strongly manifest-driven), no PG-native FAIL (truth and enforcement live in PG roles/FK/CHECK/constraints/functions/sealed rows), no scale FAIL (control-plane-bounded, partitioned evidence), and the read path was OPEN (all artifacts read in full). The four blocking items are completeness/coherence corrections, not architectural defects.
What the corrected package got right (do not regress)
Exactly 27 byte-level child contracts with no policy-shaped CHECK and no DEFAULT false hidden policy; typed-operand num_nonnulls=1 + compatibility table + seal-time fn_assert_typed_operand; sealed owner-only code-catalog root; every threshold bound to a sealed field with no threshold table; canonical hash fully pinned (encode(...,'hex'), trim_scale, UTC, COLLATE "C", total array order, JSON-null vs string-NULL, no MD5/delimiter, PG-major upgrade gate); Directus path A with real-query both-EXCEPT preflight + smoke + rollback; load-bearing evidence/identity/principal/analyzer registries now defined byte-level with FK cycles correctly broken by ALTER; same-human control via human-identity binding + H04 hash.
No implementation yet
This review is READ-ONLY / AUTHOR_MODE_ONLY. No production object was created or mutated; no Codex doc was edited. Stage 2.6B, permits, REAL_RUN, and QT001 apply remain BLOCKED. Readiness remains false.
Next step
Codex resolves the 4 blocking proposals (RP-01 may take explicit path-B downscope with mandatory re-audit; RP-02/RP-03/RP-04 at spec level) → republish → short T1 re-review → DESIGN_READY_FOR_CODEX_FINAL_APPROVAL → Codex final approval. Only then does T1 proceed to operator-gated author/local/rehearsal work — still no live apply without an operator permit.