RS-TKT-1-PATCH1 · 03 — Mandatory Contract Completeness Ledger

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 §5 / §15.4 — a per-brick mandatory-contract completeness ledger for the 20 fields required by 03 §1, made mechanical rather than inferential.

The 20 mandatory contract fields (03 §1) are verified for each of the 14 required bricks (patch1/02). Total = 14 × 20 = 280 field checks. Cell ✓ = field defined for that brick, traceable to the source column's file/section. Brick-specific values (purpose, failure code, hold code, bad input) resolve to the brick's own contract; shared fields resolve to 03.

---

1. The 20 mandatory fields and their source per brick

#	field_name	base levels (L0/L1/L2) source	L3 bricks source	RS groups source
1	checker_id	03 §6 (id pattern TKT-L0-FILE-001…)	03 §6	03 §6 / 08 §6
2	component_id	03 §6	03 §6 / 05	03 §6 / 08 §6
3	purpose	02 §2/§3/§4	05 §1–§4	08 §6
4	scope	02 (packet surface per level)	05 (input contract)	08 §6
5	input contract	02 §2/§3/§4	05 §1–§4	08 §6
6	output contract	03 §3 (shared schema)	05 §1–§4 + 03 §3	03 §3
7	dependency	02 §1 (L0→L1→L2→L3 chain)	05 (L0+L1+L2 PASS)	08 §7 (run order on Base result)
8	bad input	04 §8 / 02	05 §1–§4	patch1/01 §4.6 + 08 §6
9	expected reject	04 §7 / 02	05 §1–§4	patch1/01 §4.6
10	failure code	04 §7 / 02 §2	05 §1–§4 / 07 §2	patch1/01 §3 (RS_*)
11	hold code	04 §7 (HOLD_OUTPUT_SURFACE_UNAVAILABLE)	05 (HOLD_OUTPUT_SURFACE_UNAVAILABLE)	patch1/01 §3.1 (HOLD_OUTPUT_SURFACE_UNAVAILABLE)
12	evidence requirement	03 §3 (path#line/count/sha256/quote) + 02	03 §3 + 05	03 §3 + 08 §6
13	out-of-scope	02 (per level)	05 §1–§4 / §7	08 §7 / 01 §7
14	birth boundary	02 (born from level policy)	05 (born from policy)	08 (born from 06/PATCH2 02)
15	test boundary	12 / 17 / patch1/01–02 (positive + negative)	05 (test=…) + patch1/01	patch1/01 §4.6 + 02
16	change boundary	03 §1 (predicate only)	05 (change=rule set only)	03 §1 (predicate only)
17	rollback boundary	03 §1 / 02 (read-only ⇒ discard)	05 (rollback=discard)	03 §1 (discard)
18	composition contract	03 §3/§7 (shared schema only)	05 (no cross-brick read)	03 §7 / 08 §7
19	authority_effect	03 §3 (NONE)	05 (NONE / NONE)	03 §3 (NONE)
20	registration_effect	03 §3 (NONE)	05 (NONE / NONE)	03 §3 (NONE)

Fields 8/9/10/11/15 for the RS groups were the only previously-implicit fields. PATCH1 additively supplies them via the canonical fixture catalog (patch1/01 §3, §3.1, §4.6) — design-doc completion of the 08 §6 purposes, no runtime/authority created (see patch1/01 §3.1).

2. Completeness matrix (brick × field — ✓ = present and traceable)

Columns 1–20 correspond to the 20 fields above.

brick_id	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20
TKT-L0-FILE	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓
TKT-L1-PACKET	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓
TKT-L2-FAIL-CLOSED	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓
TKT-L3-AUTHORITY-FIREWALL	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓
TKT-L3-CLAIM-AUDIT	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓
TKT-L3-IDENTITY	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓
TKT-L3-NVSZ	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓
RS-GROUP-A PACKAGE	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓
RS-GROUP-B GATE	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓
RS-GROUP-C SCOPE_LIFECYCLE	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓
RS-GROUP-D QUORUM	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓
RS-GROUP-E REPLAY_IDEMPOTENCY	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓
RS-GROUP-F COUNT_ORACLE	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓
RS-GROUP-G CODEX_PACKET	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓	✓

Each ✓ cell is one (brick_id, field_name) row in the row-expanded form; the row's present = YES, source_file = the §1 source for that field/brick-class, and evidence_snippet_or_section = that file's cited section.

3. Effects spot-check (fields 19/20 must be the constant NONE)

Every brick: authority_effect = NONE (field 19), registration_effect = NONE (field 20).
Source: 03 §3 ("authority_effect and registration_effect are ALWAYS the constant NONE; no brick may emit any other value")
        + 05 per-brick "authority_effect / registration_effect : NONE / NONE".
Count of bricks with a non-NONE effect = 0.

4. Numeric rollup

total_bricks                     = 14
mandatory_fields_per_brick       = 20
total_contract_field_checks      = 280
present_field_checks             = 280
missing_mandatory_contract_fields = 0
authority_effect_not_none        = 0
registration_effect_not_none     = 0

⇒ contract completeness COMPLETE. If missing_mandatory_contract_fields > 0, the verdict would drop to RS_TKT_1_PATCH1_HOLD_CONTRACT_COMPLETENESS_INCOMPLETE.