RS-TKT-1-PATCH1 · 04 — Regenerated Compatibility and Traceability Matrix

Lane: RS-TKT-1 — Phase 1 TKT Base Design Package · PATCH1 (design-only / proof-doc-only) Date: 2026-06-22 Gate: REGISTRATION_HOLD · REGISTRATION_CAN_PROCEED = NO · 0 runtime mutations Authority: NON_AUTHORITY · may_gate=false · decision_effect=NONE Closes: Codex §7 TRACEABILITY_GAP / §15.5 — regenerate the matrix from the corrected canonical fixture/oracle ledger and show authority_effect/registration_effect per row.

This matrix additively supersedes phase1-design/16 for traceability proof (16 stays revision 1). Every row now binds to a canonical fixture id from patch1/01, carries the fixture's expected_check_status and single canonical_outcome_code, and shows the two effects per row (not only as a global header — the exact gap Codex §7 flagged).

---

1. Regenerated traceability matrix

requirement_id	source_requirement	source_file	design_file	construction_blueprint_file	canonical_fixture_id	expected_check_status	canonical_outcome_code	authority_effect	registration_effect	stop_state_if_not_satisfied	compatible
P1 unstructured forbidden output	PATCH2 01 (6-conjunct + token floor)	patch2/01	04	12,13	BAD-FC-001	FAIL	FAIL_UNSTRUCTURED_FORBIDDEN_TOKEN	NONE	NONE	RS_TKT_1_PATCH1_REJECT_FAIL_CLOSED_UNRESOLVED	YES
P1 safe-rejection guard	PATCH2 01 §5	patch2/01	04 §5	12	BAD-FC-003	PASS	SAFE_REJECT	NONE	NONE	RS_TKT_1_PATCH1_REJECT_FAIL_CLOSED_UNRESOLVED	YES
P1 missing-surface ⇒ HOLD	PATCH2 01 §6	patch2/01	04 §6	12	BAD-FC-008	HOLD	HOLD_OUTPUT_SURFACE_UNAVAILABLE	NONE	NONE	RS_TKT_1_PATCH1_HOLD_FIXTURE_SCHEMA_INCOMPLETE	YES
P6 profile_id schema	PATCH2 02 (2 profile_id / 3 scope_class)	patch2/02	08	10	BAD-RS-001	FAIL	FAIL_RS5B_DRAFT_PROMOTED	NONE	NONE	RS_TKT_1_PATCH1_REJECT_AUTHORITY_OVERCLAIM	YES
P7 HOLD propagation	PATCH2 03 (FAIL>HOLD>PASS)	patch2/03	06	13	BAD-PROP-001	FAIL	FAIL_HOLD_TREATED_AS_PASS	NONE	NONE	RS_TKT_1_PATCH1_REJECT_FAIL_CLOSED_UNRESOLVED	YES
P7 N/A no-upgrade	PATCH2 03 §3/§5	patch2/03	06 §3	13	BAD-PROP-002	FAIL	FAIL_NA_UPGRADES_AGGREGATE	NONE	NONE	RS_TKT_1_PATCH1_REJECT_FAIL_CLOSED_UNRESOLVED	YES
P2 L3 split (design-static)	PATCH1 02 (4 one-concern bricks)	patch1/02	05	10	BAD-L3-001	FAIL	REJECT_MEGA_SYSTEM_DRIFT	NONE	NONE	RS_TKT_1_PATCH1_REJECT_AUTHORITY_OVERCLAIM	YES
P2 L3 split (runtime)	PATCH1 02	patch1/02	05 §6	10	BAD-L3-002	FAIL	FAIL_L3_CROSS_BRICK_INTERNAL_READ	NONE	NONE	RS_TKT_1_PATCH1_REJECT_RUNTIME_DRIFT	YES
P3 source authority hierarchy	PATCH1 03 (Tier-1/2/3)	patch1/03	00 §6,01 §6	—	(MCB-6 caveat)	N/A	(caveat row — see §3)	NONE	NONE	RS_TKT_1_PATCH1_HOLD_TRACEABILITY_INCOMPLETE	YES
P4 L1 vs Phase-4 boundary	PATCH1 04 (L1 inert only)	patch1/04	02 §3	10,11,15	BAD-L1-001	HOLD	HOLD_RUNTIME_SURFACE_REQUIRED	NONE	NONE	RS_TKT_1_PATCH1_REJECT_RUNTIME_DRIFT	YES
P5 NVSZ taxonomy + ledger	PATCH1 05 (ESCROW_E*/ROOT_E*)	patch1/05	07	14	BAD-NVSZ-001	FAIL	ESCROW_E5	NONE	NONE	RS_TKT_1_PATCH1_HOLD_TRACEABILITY_INCOMPLETE	YES
P5 NVSZ invented root (escrow)	PATCH1 05	patch1/05	07 §2	14	BAD-NVSZ-002	FAIL	ESCROW_E9	NONE	NONE	RS_TKT_1_PATCH1_HOLD_TRACEABILITY_INCOMPLETE	YES
L0 file integrity	base pack + 02 §2	02	02	12	BAD-L0-001	FAIL	L0_FILE_MISSING	NONE	NONE	RS_TKT_1_PATCH1_HOLD_BRICK_COVERAGE_INCOMPLETE	YES
L1 reconstruction	base pack + 02 §3	02	02	10,11	BAD-L1-002	FAIL	L1_RECONSTRUCT_DRIFT	NONE	NONE	RS_TKT_1_PATCH1_HOLD_BRICK_COVERAGE_INCOMPLETE	YES
RS group coverage A–G	08 §6	08	08	10	BAD-RS-{A..G}-001	FAIL	RS_* (one per group, 01 §3)	NONE	NONE	RS_TKT_1_PATCH1_HOLD_BRICK_COVERAGE_INCOMPLETE	YES
REGISTRATION_HOLD	all patches + Codex §13	every header	every file header	every file header	BAD-RS-B-001	FAIL	RS_GATE_REGISTRATION_HOLD_ABSENT	NONE	NONE	RS_TKT_1_PATCH1_REJECT_AUTHORITY_OVERCLAIM	YES
REGISTRATION_CAN_PROCEED = NO	all patches + Codex §13	every header	every file header	every file header	BAD-FC-007	FAIL	FAIL_UNSTRUCTURED_FORBIDDEN_TOKEN	NONE	NONE	RS_TKT_1_PATCH1_REJECT_AUTHORITY_OVERCLAIM	YES
NVSZ root caveat (MCB-5)	Codex §14; PATCH1 05 §4	07 §6	07 §6	14 §5	BAD-NVSZ-003	FAIL	ROOT_E4 (Phase 3)	NONE	NONE	(Phase-3 only; not Phase-1 blocker)	YES
RS5B draft caveat (MCB-1)	Codex §14; PATCH2 02 §5	08 §4/§5	08	10	BAD-RS-001	FAIL	FAIL_RS5B_DRAFT_PROMOTED	NONE	NONE	(caveat; safe fallback = stays draft)	YES
MCB-6 architecture caveat	Codex §14; PATCH1 03 §5	00 §6	00 §6	—	(caveat row — §3)	N/A	(caveat)	NONE	NONE	(caveat; three-tier hierarchy meanwhile)	YES
Phase 2 not opened	Codex §16; 21	21	21	15	(governance assertion)	N/A	(no fixture — assertion)	NONE	NONE	RS_TKT_1_PATCH1_REJECT_AUTHORITY_OVERCLAIM	YES
dry-run readiness ≠ dry-run execution	this PATCH; Codex §16	patch1/05	patch1/05	—	(governance assertion)	N/A	(no fixture — assertion)	NONE	NONE	RS_TKT_1_PATCH1_HOLD_DRY_RUN_READINESS_INCOMPLETE	YES
no implementation / code	Codex §6,§13	19	15	09–15	(paper-only assertion)	N/A	(no fixture — assertion)	NONE	NONE	RS_TKT_1_PATCH1_REJECT_RUNTIME_DRIFT	YES

2. Determinism note (why this matrix is now sound)

16 claimed deterministic traceability while 17 carried dual/missing/prose codes — the contradiction Codex §7 flagged.
Each load-bearing row here references a canonical fixture from patch1/01 with a SINGLE canonical_outcome_code and a status
from {PASS,FAIL,HOLD,N/A}; the two effects are shown PER ROW. Caveat/assertion rows carry expected_check_status = N/A
and no fixture (they are governance assertions, not checks), and are compatible = YES only because each has a safe fallback (§3).

3. Caveat / assertion rows (compatible = YES requires correct classification + safe fallback)

P3 / MCB-6  : classification NON_BLOCKING_CAVEAT (20 OD-3); safe fallback = Tier-1/2/3 hierarchy stays mandatory ⇒ YES.
MCB-5 root  : classification PHASE3_INPUT_REQUIRED (20 OD-1); safe fallback = nvsz_root.designated=false; ROOT_E4 on invent ⇒ YES.
MCB-1 RS5B  : classification CODEX_CONFIRMATION_REQUIRED (20 OD-2); safe fallback = stays SELF_REPORTED_DRAFT ⇒ YES.
Phase-2/dry-run/no-code assertions: governance invariants enforced by this PATCH + 15/19/21; safe fallback = HOLD/stop-state ⇒ YES.
No row is compatible = HOLD or NO.

4. Numeric rollup

total_requirements        = 23   (rows above)
rows_with_canonical_fixture = 17
caveat_or_assertion_rows  = 6    (each correctly classified with a safe fallback)
traceability_missing_rows = 0
compatibility_hold_rows   = 0
compatibility_no_rows     = 0
rows_missing_per_row_effects = 0  (every row shows authority_effect = NONE, registration_effect = NONE)

⇒ traceability COMPLETE and per-row effects shown. If traceability_missing_rows > 0 or compatibility_hold_rows > 0, the verdict would drop to RS_TKT_1_PATCH1_HOLD_TRACEABILITY_INCOMPLETE.