RS-TKT-1-PATCH1B · 04 — Regenerated Traceability, Compatibility and Dry-Run Map

Lane: RS-TKT-1 — Phase 1 TKT Base Design Package · PATCH1B (dry-run readiness preflight / 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 F7 (TRACEABILITY_GAP — matrix not derived from the canonical oracle; effects not per-row). Strengthens patch1/04 by adding a per-row dryrun_relevance classification so every requirement is explicitly mapped to its role in a future Phase-2 dry-run.

This matrix additively supersedes phase1-design/16 for traceability proof (16 stays revision 1). Every row binds to a canonical fixture id from catalog 02, carries that fixture's expected_check_status and single canonical_outcome_code, shows the two effects per row, and now declares dryrun_relevance ∈ {REQUIRED, OPTIONAL, DEFERRED, FORBIDDEN}.

---

1. Regenerated traceability + dry-run map

requirement_id	source_requirement	source_file	design_file	blueprint_file	canonical_fixture_id	check_status	canonical_outcome_code	dryrun_relevance	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	REQUIRED	NONE	NONE	RS_TKT_1_PATCH1B_REJECT_FAIL_CLOSED_UNRESOLVED	YES
P1 safe-rejection guard	PATCH2 01 §5	patch2/01	04 §5	12	BAD-FC-003	PASS	SAFE_REJECT	REQUIRED	NONE	NONE	RS_TKT_1_PATCH1B_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	REQUIRED	NONE	NONE	RS_TKT_1_PATCH1B_HOLD_FIXTURE_ORACLE_INCOMPLETE	YES
P6 profile_id schema / RS5B no-promote	PATCH2 02 (2 profile_id / 3 scope_class)	patch2/02	08	10	BAD-RS-001	FAIL	FAIL_RS5B_DRAFT_PROMOTED	OPTIONAL	NONE	NONE	RS_TKT_1_PATCH1B_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	REQUIRED	NONE	NONE	RS_TKT_1_PATCH1B_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	REQUIRED	NONE	NONE	RS_TKT_1_PATCH1B_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	OPTIONAL	NONE	NONE	RS_TKT_1_PATCH1B_REJECT_MEGA_SYSTEM_DRIFT	YES
P2 L3 split (runtime)	PATCH1 02	patch1/02	05 §6	10	BAD-L3-002	FAIL	FAIL_L3_CROSS_BRICK_INTERNAL_READ	REQUIRED	NONE	NONE	RS_TKT_1_PATCH1B_REJECT_RUNTIME_DRIFT	YES
P3 source authority hierarchy	PATCH1 03 (Tier-1/2/3)	patch1/03	00 §6,01 §6	—	(MCB-6 caveat — §3)	N/A	(caveat row)	OPTIONAL	NONE	NONE	RS_TKT_1_PATCH1B_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	REQUIRED	NONE	NONE	RS_TKT_1_PATCH1B_REJECT_RUNTIME_DRIFT	YES
P5 NVSZ taxonomy + ledger	PATCH1 05 (ESCROW_E*/ROOT_E*)	patch1/05	07	14	BAD-NVSZ-001	FAIL	ESCROW_E5	REQUIRED	NONE	NONE	RS_TKT_1_PATCH1B_HOLD_TRACEABILITY_INCOMPLETE	YES
P5 NVSZ invented root (escrow)	PATCH1 05	patch1/05	07 §2	14	BAD-NVSZ-002	FAIL	ESCROW_E9	REQUIRED	NONE	NONE	RS_TKT_1_PATCH1B_HOLD_TRACEABILITY_INCOMPLETE	YES
L0 file integrity	base pack + 02 §2	02	02	12	BAD-L0-001	FAIL	L0_FILE_MISSING	REQUIRED	NONE	NONE	RS_TKT_1_PATCH1B_HOLD_COVERAGE_INCOMPLETE	YES
L1 reconstruction	base pack + 02 §3	02	02	10,11	BAD-L1-002	FAIL	L1_RECONSTRUCT_DRIFT	REQUIRED	NONE	NONE	RS_TKT_1_PATCH1B_HOLD_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)	REQUIRED	NONE	NONE	RS_TKT_1_PATCH1B_HOLD_COVERAGE_INCOMPLETE	YES
REGISTRATION_HOLD present	all patches + Codex §13	every header	every header	every header	BAD-RS-B-001	FAIL	RS_GATE_REGISTRATION_HOLD_ABSENT	REQUIRED	NONE	NONE	RS_TKT_1_PATCH1B_REJECT_REGISTRATION_DRIFT	YES
REGISTRATION_CAN_PROCEED = NO	all patches + Codex §13	every header	every header	every header	BAD-FC-007	FAIL	FAIL_UNSTRUCTURED_FORBIDDEN_TOKEN	REQUIRED	NONE	NONE	RS_TKT_1_PATCH1B_REJECT_REGISTRATION_DRIFT	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)	DEFERRED	NONE	NONE	(Phase-3 only; not a Phase-1/2 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	DEFERRED	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)	OPTIONAL	NONE	NONE	(caveat; three-tier hierarchy meanwhile)	YES
Phase 2 not opened automatically	Codex §16; 21	21	21	15	(governance assertion)	N/A	(no fixture — assertion)	FORBIDDEN	NONE	NONE	RS_TKT_1_PATCH1B_REJECT_AUTHORITY_OVERCLAIM	YES
dry-run readiness ≠ dry-run execution	this PATCH; Codex §16	patch1b/05	patch1b/05	—	(governance assertion)	N/A	(no fixture — assertion)	FORBIDDEN	NONE	NONE	RS_TKT_1_PATCH1B_HOLD_DRYRUN_READINESS_INCOMPLETE	YES
no implementation / code created	Codex §6,§13	19	15	09–15	(paper-only assertion)	N/A	(no fixture — assertion)	FORBIDDEN	NONE	NONE	RS_TKT_1_PATCH1B_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 catalog 02 with a SINGLE canonical_outcome_code and a status
from {PASS,FAIL,HOLD,N/A}; the two effects are shown PER ROW; and a per-row dryrun_relevance makes the dry-run role explicit.
Caveat/assertion rows carry check_status = N/A and no fixture (governance assertions, not checks), and are compatible = YES
only because each has a safe fallback (§3). No row is compatible = HOLD or NO.

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

P3 / MCB-6  : NON_BLOCKING_CAVEAT (20 OD-3); safe fallback = Tier-1/2/3 hierarchy stays mandatory ⇒ YES; dryrun_relevance = OPTIONAL.
MCB-5 root  : PHASE3_INPUT_REQUIRED (20 OD-1); safe fallback = nvsz_root.designated=false; ROOT_E4 on invent ⇒ YES; dryrun_relevance = DEFERRED.
MCB-1 RS5B  : CODEX_CONFIRMATION_REQUIRED (20 OD-2); safe fallback = stays SELF_REPORTED_DRAFT ⇒ YES; dryrun_relevance = DEFERRED.
Phase-2 / readiness≠execution / no-code assertions : governance invariants enforced by this PATCH + 15/19/21; safe fallback =
   HOLD / stop-state; dryrun_relevance = FORBIDDEN (the dry-run must NOT auto-open, execute during readiness, or create code) ⇒ YES.

4. Dry-run relevance summary

REQUIRED  = 14  (every load-bearing fail-closed / coverage / gate fixture the Phase-2 read-report inspector must check)
OPTIONAL  = 3   (design-time lints / non-blocking caveats: BAD-L3-001 design, BAD-RS-001 schema-lint, MCB-6/P3)
DEFERRED  = 2   (MCB-5 root → Phase 3 ROOT_E4; MCB-1 RS5B → later Codex review)
FORBIDDEN = 3   (Phase-2 auto-open, execute-during-readiness, create-implementation — the dry-run must NOT do these)
total rows = 22 ; every row classified ; rows_unclassified = 0.

5. Numeric rollup (counted in 07)

total_requirements          = 22
rows_with_canonical_fixture = 16
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)
rows_missing_dryrun_relevance = 0   (every row REQUIRED|OPTIONAL|DEFERRED|FORBIDDEN)

⇒ traceability + dry-run mapping COMPLETE, per-row effects and per-row dry-run relevance shown. If traceability_missing_rows > 0 or compatibility_hold_rows > 0, the verdict would drop to RS_TKT_1_PATCH1B_HOLD_TRACEABILITY_INCOMPLETE.