Premises · PRM-017
CKM first-row Route B (selected against kaon data)
What this surface is. A register of the premises this programme has DECLARED — postulates, adopted premises, measured inputs, conventions, loaded correspondences, fences and open requirements. Every statement is quoted from its source — verbatim from the sealed text, or transcribed by the house from the TeX where the extraction was damaged, as each page's statement-quality row says — and carries that source's locator. No premise on this page has been adjudicated by the house, and none is defended here. A premise is what an argument RESTS ON, not what it establishes.
As printed
The first row is Loaded: Route B was selected after comparison with kaon data.
Register corrected (R81, D14, S327j). The PI ruled a correction to this row. Until then it read: name Route B selector; kind
CONVENTION; statement “Given two measured scales (mτ and vEW ), one hadronic anchor (ΛG2 ) - inventories reconciled under the Appendix X input-count convention: one independent dimensionful input class after registered identifications, two operational calibrations, three named anchors - the QED input α, the external empirical Koide rule K = 2/3, the independent AX6 orbit selector for the Weinberg-angle branch, Route B selection, normal ordering, and a Dirac-neutrino assumption - with the working vacuum Jvac = diag(φ, 1, φ-1 ) now fixed (algebraically, up to permutation) by the conditional selector 1”. Not Appendix E’s Route B (the golden-unit route, PRM-024) and not Appendix I’s grading-potential route. Nothing is overwritten (R29): the earlier row is kept in the register’s history.Provenance
| kind | LOADED_CORRESPONDENCE |
|---|---|
| source | the sealed suite, PDF p.49 (search that part for “===== PDF PAGE 49 /”) · the sealed PDF |
| basis | Rev33.1_S369 · PDF sha b64ddcd9e16a6dcd… |
| statement quality | EXTRACTION_VERBATIM — the sealed PDF’s text extraction at the locator, cut to the premise by the house (R81) |
| review state | DRAFTED — not adjudicated by the house |
| first seen | S312 · 2026-09-06T20:08Z |
Claims declared to rest on this premise (3)
| record | title | why the house declared it |
|---|---|---|
| LIB2-063 | The framework-angle Route-B readout gives the corrected Cabi | Hypothesis states 'Route B is selected against kaon data' - the selector, and a data crossing, in the record's own words. |
| LIB2-065 | The loaded first row determines its displayed Vud magnitude | Proposed by the drafting lane (A1634): 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. — House reading: House read p3:150–156: the |V_ud| readout sits under "the first-row Loaded typing … applies", i.e. within the same route choice. |
| LIB2-067 | The Vub hierarchy relation inherits the loaded Route-B chain | Proposed by the drafting lane (A1634): 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. — House reading: House read App X:72–74 and p3:153–156: |V_ub| is "Loaded-correspondence (inherits the first row)", and the first row's route was selected against kaon data. The relation holds only within that route choice. |
Declarations retired (1)
| record | ruling | why it was retired |
|---|---|---|
| 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 retired edge is kept in full in the record’s version history.
Claims reaching it transitively (3)
LIB2-063, LIB2-065, LIB2-067
Premise note
Where the suite invokes this premise, in what role, and what rests on it: the premise note (drafted by the ChatGPT drafting lane, verified by the house, R76/R78/R81).
Generated from library_v2.jsonl + PRM_REGISTER_S312.jsonl. Declared volatile fields (R36): BUILD_STAMP.
BUILD_STAMP S371a · 2026-09-26 22:53Z · cut 9dcc6ce9a8ee3e02