01 — Prior T1 Blocker Resolution Review (SUPERTRACK A)

Verdict key: RESOLVED / PARTIAL / STILL_OPEN / AMBIGUOUS. "Decision-level" = the design choice is fixed; "Artifact-level" = the byte-level build spec (DDL/adapter SQL/key-map) is published and reviewable.

#	Prior T1 blocker	Codex doc/section	Decision	Artifact	Verdict
T1-01	manifest/engine spec missing	02 manifest-engine-specs	manifest_set envelope columns named; lifecycle (one ACTIVE/type, immutable, no-delete, rollback=new version); 27 child contracts named; generic engine signatures fixed; missing/extra/NULL/unknown fail	column types/PK/FK/CHECK + 27 child schemas not shown	PARTIAL
T1-02	readiness denominator unspecified	03 readiness-denominator	14 named gates; exact-set both-EXCEPT; NULL/missing/extra/stale fail; Directus-no-write; cutover+verifier required; bool_and-alone forbidden	per-gate adapter rule sets "in the full spec" (not shown)	PARTIAL (denominator RESOLVED; per-gate adapters PARTIAL)
T1-03	quorum N undefined	02/04	Q_CRITICAL_3 + Q_STANDARD_2 exact classes; ≤24h; hash/epoch/evidence-bound	classes are enums (concrete)	RESOLVED
T1-04	signoff schema/lifecycle incomplete	04 signoff-lifecycle	classes; LOGIN session_user no-proxy; content-hash evidence + read-back; append-only revoke/supersede; ≤24h; exact binding; self-sign/Directus fail	exact column DDL not shown (rolled into T1-01)	RESOLVED (lifecycle); PARTIAL (DDL)
T1-05	capability measurement incomplete	05 capability	exact codes/workload/thresholds/freshness; behavioral defs; controlled verifier; fake/existence/free-text fail	concrete thresholds present	RESOLVED
T1-06	hash primitive/extension/canonicalization unspecified	06 hash	PG16+pgcrypto (verified installed); canonical explicit-key JSONB, ordered, domain-sep, no MD5/delimiter; 7 contracts	per-contract key-maps "are specified" (not shown)	PARTIAL (primitive/method RESOLVED; key-maps PARTIAL)
T1-07	analyzer seal/staleness binding unspecified	07 analyzer	external sealed analyzer (binary/version/feature/corpus/expected); ≤24h + drift-invalidation; unknown fails; OID-checked dynamic SQL; regex diagnostic-only	analyzer binary/corpus are T1-built; contract is complete	RESOLVED
T1-08	TOCTOU/control_epoch unspecified	08 control-epoch	single owner row; enumerated increments; writer FOR SHARE + reread-before-commit; activation FOR UPDATE + atomic + increment; no-decrement	protocol concrete	RESOLVED
T1-09	Level-B pipeline/runbook/rollback incomplete	09/11	exact CI paths; packet regex; stages preflight→rehearsal→FIX7a→FIX7b→FIX7c→verifier; layer-specific rollback; no-go list; FIX7_BLOCKED if unavailable	pipeline artifact existence operator/CI-gated (see O)	RESOLVED (spec)
T1-10	operator cutover incomplete	09	FIX7b owner/ACL cutover stage in runbook; operator-gated	step ordering present at stage level	RESOLVED
T1-11	T1 implementation boundary unclear	10	author/test repo files + local rehearsal only; no improvise; SPEC_CONFLICT-stop	clear	RESOLVED
T1-12	missing per-dimension docs/evidence	00–13	14 docs now exist covering every dimension	byte-level artifacts summarized not contained	RESOLVED (summary) / PARTIAL (artifact)

Summary

• RESOLVED (decision level): 8–9 of 12 (T1-03,04,05,07,08,09,10,11; +02 denominator, +06 primitive).
• PARTIAL (artifact level): T1-01 (manifest/child DDL), T1-02 (gate adapter rule sets), T1-06 (hash key-maps); T1-12 partial at byte level.
• STILL_OPEN / AMBIGUOUS: 0. No blocker regressed; none is ambiguous in intent.

No blocker is assumed resolved. The three PARTIAL items share one root cause: the exact build artifacts are asserted to exist ("in the full spec") but are not published in the KB and no fuller artifact was found. That is the sole basis for DESIGN_NEEDS_CODEX_CORRECTION_BEFORE_IMPLEMENTATION.