RS-TKT-1-PATCH1C · 03 — DR-12 / DR-13 / DR-14 Resolution Ledger

NON_EXECUTABLE_DESIGN_DOC
DOT_BOUND_DRYRUN_READINESS_PROOF_ONLY
NOT_IMPLEMENTED
NOT_AUTHORIZED_FOR_RUNTIME

Lane: RS-TKT-1 — Phase 1 TKT Base · PATCH1C 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 PATCH1B-DRYRUN-REQUIRED-INPUT-CONTRADICTION (§14) — "resolve them with explicit safe defaults/decisions and count them in readiness."

These three are RESOLVED, not reclassified-away. Each gets an explicit value, governed evidence, and is counted in 07. No placeholder remains.

---

1. Resolution rows

DR-12 — implementation language / tooling (was OD-4)

old_status                       : OWNER_DECISION (OD-4) · "none chosen; 09/10 are paper modules"
new_resolved_value               : DOT-BOUND READ/REPORT INSPECTOR ONLY = DOT_TKT_DRYRUN_READ_REPORT_INSPECTOR, invoked through the governed DOT channel.
                                   NO standalone Python/shell runner. NO manual PG/Directus/registry path. NO generic Directus mutation.
governed_evidence                : macro §2.5 (DR-12 default) + handbook §3 (DOT-only) + §12 (KB-zone) + §19 (admitted DOT) + PATCH1C/01 decision + PATCH1C/02 contract
phase2_required                  : YES
blocks_dryrun_after_patch1c      : NO  (resolved — the tooling is now exactly "the bound DOT")
proof                            : the implementation IS the bound DOT; there is no separate tooling choice left to make. Supersedes OD-4's "none chosen."

DR-13 — repo / path for implementation (was OD-5)

old_status                       : OWNER_DECISION (OD-5) · "none chosen; 09 layout is a drawing"
new_resolved_value               : the bound DOT's governed paths —
                                     bin (planned)     : /opt/incomex/dot/bin/dot-tkt-dryrun-read-report-inspector  (+ ...-verify)
                                     spec/contract doc : knowledge/dev/laws-new/tool-kiem-thu-lego/phase1-design/patch1c-dot-bound-dryrun-readiness/02-dot-bound-dryrun-execution-contract-2026-06-22.md
                                     handbook record   : knowledge/dev/laws-new/newlaws/dot-manage/dot-usage-handbook.md §19 (KB-admission)
                                     registry target   : dot_tools (registration deferred to Owner GATE-3; NOT done here)
                                     report output dir  : knowledge/current-state/reports/tool-kiem-thu-lego/phase2-dryrun/
governed_evidence                : macro §2.5 (DR-13 default) + handbook §5.3 bin convention + §17/§18 registration semantics + PATCH1C/02 + PATCH1C/06
phase2_required                  : YES
blocks_dryrun_after_patch1c      : NO  (resolved — exact paths/registry/spec named; no placeholder)
proof                            : every path is concrete. The only path not yet materialized (the live dot_tools row) is the Owner GATE-3 authority act, not a design path gap.

DR-14 — base-pack currency confirmation (was OD-11)

old_status                       : OWNER_DECISION / CODEX_CONFIRMATION (OD-11) · base pack R6 dated 2026-06-11 · "confirm currency before building"
new_resolved_value               : CURRENCY CONFIRMED from KB revisions as of 2026-06-22 —
                                     base pack reference        : R6 (2026-06-11) — treated as reference input (carried)
                                     Phase-1 00–22              : revision 1 (current)
                                     patch1/00–07               : revision 1 (current)
                                     patch1b/00–09              : revision 1 (current)
                                     patch1c/00–09              : revision 1 (this patch, current)
                                     index.md                   : revision 7 → 8 (updated by this patch)
                                     DOT handbook               : KB revision 11 → 12 (body rev3 → §19 addendum rev4), dated 2026-06-19/2026-06-22 (current)
                                     Codex PATCH1B confirmation : revision 1 (current)
governed_evidence                : macro §2.5 (DR-14 default) + list_documents revisions (all rev 1) + PATCH1C/06 (handbook rev) + Phase-1 20 OD-11
phase2_required                  : YES (confirmation)
blocks_dryrun_after_patch1c      : NO  (resolved — corpus the inspector will read is confirmed current; no stale dependency)
proof                            : the dry-run reads the design corpus listed above, all confirmed current; base pack R6 is a reference, not a runtime dependency of the read/report inspector.

2. Rollup

DR-12 resolved = YES
DR-13 resolved = YES
DR-14 resolved = YES
dryrun_phase2_required_inputs_unresolved = 0   (all three resolved AND counted in 07 — not excluded by definition)
placeholders_remaining = 0

3. Relationship to the source Owner-Decision register (Phase-1 20)

This ledger SUPERSEDES (additively) the OPEN status of OD-4 / OD-5 / OD-11 for the purpose of the RS-TKT-2 read/report dry-run.
Phase-1 20 is UNCHANGED (revision 1); the supersession is recorded here and in PATCH1C/08.
OD-1 (NVSZ root, Phase 3) and OD-7 (Call Contract, Phase 4) remain DEFERRED and are NOT prerequisites to this dry-run (DR-15/DR-16, patch1b/05 §9).