PRM-017 · CKM first-row Route B (selected against kaon data)

Premise

Register corrected — R81 (D14, S327j). The PI ruled this correction to the register row (Trackers/RULING_R81_S327_PREMISE_REGISTER.md). Statement now (PRM-017/r2, p3_ckm_pmns_mixing.tex:155, quality EXTRACTION_VERBATIM): The first row is Loaded: Route B was selected after comparison with kaon data.. Kind now LOADED_CORRESPONDENCE (was CONVENTION). Name now CKM first-row Route B (selected against kaon data) (was Route B selector). Not Appendix E’s Route B (the golden-unit route, PRM-024) and not Appendix I’s grading-potential route. The register row the drafting lane quotes below is the row as it was supplied to the lane, before R81; it is kept in the register's history (R29: nothing is overwritten).

Register kind: CONVENTION. Located suite statement:

The first row is \textsc{Loaded}: Route~B was selected after comparison with kaon data.

Paper 3 · First-row comparison · PDF p.47 · p3_ckm_pmns_mixing.tex:155.

What kind of premise this is

CONVENTION is the register kind. The located CKM statement calls the first row Loaded and states how the route was chosen: comparison with kaon data. Its Peirce-weight identity is evaluated given that route. This is not Appendix E’s arithmetic Route B, and it is not the grading-potential Route B mentioned in Appendix I. Those are distinct arguments sharing a letter label. Source status words: \textsc{Loaded} (p3_ckm_pmns_mixing.tex:155).

Where the suite invokes it

Located invocations in the read excerpts, not an exhaustive full-source-tree census. Pages refer to saved Rev32.7 page-delimited text, not PDF-image authentication.

House additions — R78-c (S327i)

The house read the rest of the suite for this premise. The material sent to the drafting lane showed at most twelve passages per premise, so A1634 FINDINGS §7 lists 22 hit lines for PRM-017 that the lane never saw. Under R78-c the house read all 22 in the full suite TeX: 15 passages are added below (4 further hit lines fall inside them), 3 are not this premise. Every quote was matched against the TeX at its locator. With the lane's table above, every hit of this premise's search keys is now accounted for.

House reading notes:

• p1_peirce_gauge_group.tex:154 — STALE TIER WORDING (REV32.8 candidate): "theorem-level Route~B normalization" against Paper 3's Loaded first row, selected against kaon data (p3_ckm_pmns_mixing.tex:81, 675).
• p3_ckm_pmns_mixing.tex:640-643 — Both edges declared S327i (R76). LIB2-071 (CKM unitarity by construction) is not proposed: its result holds by the parametrisation, not by the route.

Hit lines that are not this premise:

• appendix_k_yukawa_coefficient_negative.tex:243 — Key Route[ -]?B matched "route but" (case-insensitive): "not a single missed route but a closed family".
• p0_framework_foundations.tex:250 — Appendix E's Route B (the golden-unit route, PRM-024), not Paper 3's CKM route: "the Appendix~E Route-B monotonicity proof". R78-b separated the two.
• p0_framework_foundations.tex:1049 — Appendix E's Route B (PRM-024): "Appendix~E gives two explicit proofs --- Route~A ... and Route~B".

Arguments that rest on it

LIB2-063 — CONFIRM. This is the CKM Route-B readout named in the input inventory and selected after comparing kaon data. The record carries this exact loaded first-row relation. Step locator: appendix_x_zero_parameter_input_ledger.tex:72 (CONDITIONAL).

LIB2-020 — DISPUTE. The declared premise here is the CKM route choice in Paper 0, not the golden-field arithmetic hypothesis. LIB2-020 is Appendix E’s arithmetic vacuum theorem and belongs with PRM-024 (already declared there). Shared Route-B wording is not a proof dependency. Step locator: p3_ckm_pmns_mixing.tex:155 (STATED).

LIB2-067 — ADD. The source explicitly says the retained quark 1–3 relation inherits first-row loading. This is a direct textual use of the CKM choice; it does not merely flatten the existing transitive closure. Step locator: appendix_x_zero_parameter_input_ledger.tex:74 (LOAD_BEARING).

LIB2-065 — ADD. The Vud comparison passage explicitly applies the first-row Loaded typing to its unitarity readout. Record the inherited CKM route at this stated step without treating unitarity itself as an empirical axiom. Step locator: p3_ckm_pmns_mixing.tex:153 (LOAD_BEARING).

What breaks without it

LIB2-063: appendix_x_zero_parameter_input_ledger.tex:72 calls the identity exact given the route. Removing the choice removes that declared physical readout source; NOT ASSESSED — no unique replacement CKM route is derived here.

LIB2-065 and LIB2-067 explicitly inherit first-row loading (p3_ckm_pmns_mixing.tex:153–155; appendix_x_zero_parameter_input_ledger.tex:74). NOT ASSESSED — the passages do not quantify alternative values after deleting the route.

LIB2-020 is a mapping dispute; no failure of its arithmetic proof is asserted.

Registrar sync

Registrar state after R76, R78 and R82 (S327j, master 0e1418ad6501767d). Declared today: LIB2-063, LIB2-065, LIB2-067. Declared at S327i from A1634 after the house read each passage (R76): LIB2-065, LIB2-067. Retired, each recorded in full in the record's version history: LIB2-020 (R78-b) — Two different "Route B"s in print joined by name: Appendix E's arithmetic route (golden-field hypothesis, PRM-024, still declared on this record) and Paper 3's CKM route selected against kaon data (PRM-017). The R78-c reading found no further record whose result assumes this premise. The lane's lines below describe the master as it was supplied to the lane (d0aa26db154ff43f), before these changes.

Declared today in the supplied material, Registrar master d0aa26db154ff43f: LIB2-020, LIB2-063. Supplied transitive-only closure: LIB2-065, LIB2-067. It is not itself a new direct-edge declaration. Draft dispositions — ADD: LIB2-067, LIB2-065; CONFIRM: LIB2-063; DISPUTE: LIB2-020. LIB2-020, LIB2-001 and LIB2-018 concern the arithmetic selector/DET-7, not this CKM premise. LIB2-190 concerns a heat-kernel path. LIB2-237/239 are earlier or deprecated Cabibbo accounts; LIB2-293/294/295 are archived proposed corrections, not the current route’s proof. LIB2-065/067 were already in closure; their direct ADDs cite explicit inherited-loading sentences, not closure membership alone.

Tier and what this does not show

A premise is not a result, and invocation count is not importance. An ADD remains a proposal until house verification under R76; a DISPUTE goes to the PI. No record or premise is upgraded, downgraded, or edited. Unlocated dependencies remain unknown.

Sources

TeX: appendix_b_independent_verification.tex:198; appendix_b_independent_verification.tex:212; appendix_b_independent_verification.tex:292; appendix_x_zero_parameter_input_ledger.tex:72; appendix_x_zero_parameter_input_ledger.tex:74; p0_framework_foundations.tex:79; p3_ckm_pmns_mixing.tex:153; p3_ckm_pmns_mixing.tex:153–155; p3_ckm_pmns_mixing.tex:155. Registrar: LIB2-001, LIB2-018, LIB2-020, LIB2-063, LIB2-065, LIB2-067, LIB2-190, LIB2-237, LIB2-239, LIB2-293, LIB2-294, LIB2-295. Premise: PRM-017. Suite-cited kernels: s1162.