Claims & Evidence Registrar › H09
The archived Peirce-sector proposal assigned V_cb = λ²/φ and V_ub = λ³/φ, successive powers of the same λ divided by the golden ratio.
| domain | The paired scaling assignment printed in L129, not a universal CKM construction or its absent choice of the common parameter. |
|---|
Key — use ≠ record. A review state printed on a source use below names that use — one citation of the suite, read by the lane named in its warrant — not this record. The record's own review state is the one in the table above and is unchanged by any use-level state; a use may be LANE_PROPOSED or REVIEWED while the record it sits on remains IN_REVIEW (R45, R49).
Quotes are verbatim from the sha-pinned text extraction of the Rev33.1 PDF (A1584 §2.2, S309): mathematical typography — radicals, exponents, ≅ — can appear displaced in the extracted line. The PDF page is authoritative; the quote is what the machine gate matched.
Appendix B, §B.6, Current CKM magnitude provenance — PDF p.162 (bytes of record)
review state: REVIEWED · role CONTEXT · warrant: gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT · grok read THE_RECORD → CONTEXT · gemini read SUITE_TEXT_EXTRACT → CONTEXT
first row Loaded, |Vcb | Loaded-correspondence attach- ment (physical) / Structural formula
Appendix B, §B.6, Retained Vcb formula — PDF p.162 (bytes of record)
review state: REVIEWED · role CONTEXT · warrant: gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT · grok read THE_RECORD → CONTEXT · gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT · gemini read SUITE_TEXT_EXTRACT → CONTEXT
|Vcb | 1/(9 7) = 0.041996The text extraction above lost mathematical typography. Restored from the sealed TeX source (
rev32.7/tex/appendix_b_independent_verification.tex:281): |V_cb| 1/(9√7) = 0.041996 (R87 house restoration: rendered from the tex, not the quote; the quote above is what the machine gate matched)
Appendix B, §B.6, Retained Vub hierarchy relation — PDF p.162 (bytes of record)
review state: REVIEWED · role CONTEXT · warrant: gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT · grok read THE_RECORD → CONTEXT · gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT · gemini read SUITE_TEXT_EXTRACT → CONTEXT
|Vub | |Vus ||Vcb |/ 6 = 0.003862The text extraction above lost mathematical typography. Restored from the sealed TeX source (
rev32.7/tex/appendix_b_independent_verification.tex:283): |V_ub| |V_us||V_cb|/√6 = 0.003862 (R87 house restoration: rendered from the tex, not the quote; the quote above is what the machine gate matched)
Paper 3, §5.2, Inherited Vcb choices — PDF p.62 (bytes of record)
review state: REVIEWED · role CONTEXT · warrant: gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT · grok read THE_RECORD → CONTEXT · gemini read SUITE_TEXT_EXTRACT → CONTEXT
|Vcb | inherits both the atmospheric-octant registration and the independently unforced integer 9
| kind | reference | line / key | availability | note |
|---|---|---|---|---|
| registry | Library v1 L129; Appendix B §B.6, Current CKM magnitude provenance, p.156 | — | shipped | The archive supplies titles and workflow metadata, not original production bodies. The current-suite replacement is quoted; no historical derivation, numerical result or retirement chronology is independently verified. |
| historical statement | CKM Elements from Peirce J₂₃: V_cb = λ²/φ, V_ub = λ³/φ [OPEN] |
|---|---|
| where it stood | LIBRARY_V1_GROK_ARCHIVE_S304.md, L129 |
| retiring decision | not located in suite; current-target replacement in Appendix B, p.156 |
| what the suite prints now | first row Loaded, |Vcb | Loaded-correspondence attach- ment (physical) / Structural formulaPDF p.156 (bytes of record) |
| successor records | LIB2-066 The Vcb formula retains its loaded physical attachment, LIB2-067 The Vub hierarchy relation inherits the loaded Route-B chain |
| why retired | RELATION_NOT_RECORDED — the retiring decision names only what replaced the claim ("not located in suite; current-target replacement in …"); the reason the old claim went was never recorded, and the house does not infer one from a pointer (R42 census S322, ruled R69). |
| archive row located | LOCATED — 1 of 1 parts found in LIBRARY_V1_GROK_ARCHIVE_S304.md (sha256 28f35aac4e91e1ca…) (locator 8db2c73d69dff9f1, S339) |
| the archive rows, verbatim | LIBRARY_V1_GROK_ARCHIVE_S304.md, line 161 | L129 | library_prompt | 2.B | Full CKM Matrix | Paper 2 — Flavor Sector from Peirce Perturbations | awaiting_production | prompt_ready | yes | CKM Elements from Peirce J₂₃: V_cb = λ²/φ, V_ub = λ³/φ [OPEN] | |
| does the archive attest it? | REVIEWED · ATTESTS — re-opened by ruling R125 after a review found a defect in this record; reads before D1343 are kept but no longer count
|
A successor is linked, never "derived from" the retired statement (charter §10.10).
| states a predicate | yes |
|---|---|
| uses on the record · unblocked | 4 · 4 |
| uses any lane has read | 4 of 4 |
| REVIEWED SUPPORTS use on the predicate, read by two non-drafting lanes | no (0) |
| a SUPPORTS use on the predicate is DISPUTED | no |
| machine certificate current | yes |
| state | MACHINE_CHECKS_PASSED | |||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| policy | sgtoe-clearance-policy-1.0-RATIFIED · sha16 ef7d6e7690514311 | |||||||||||||||||||||
| bound to master | aad7a3ec6ce3b510 (the master the checks ran on; issued 2026-09-26T05:06Z) | |||||||||||||||||||||
| checks |
|
A certificate says the record is well-formed, current, quote-on-page, label-literal, edge-resolved and binding-consistent on the bytes it was issued on. It is not a review, and it goes STALE the moment the master moves under it (R68). It is one conjunct of the PUBLISHED condition (R67), never the whole of it.
| March library (v1) antecedents | L129 |
|---|---|
| candidate ids (frozen list S304) | C2-010 C2-011 C2-063 C2-064 |
L129 prints one paired assignment under the same source proposal, so its two components are retained together. The archive marks it OPEN. No definition or fit of lambda is supplied. The current formula quotes preserve the displaced radicals rather than repairing the extraction.
round D1253 · parsed 2026-09-06T00:06Z · machine gates passed: CONTRACT, G1-quote-on-page, G2-numerals-declared, G4-ids-resolve, DAG-acyclic · content sha256 a08abebc39f57ff63894f98d832df49fbcb58e96b75f5bd201e31a985bb3c1ea
Reviewer verdict line (one per entry, as text): LIB2-285 | PASS or FAIL(G1–G8) or NOT RUN | quote | PDF page | one sentence. G1 source supports the exact scoped assertion · G2 evidence class fits (numbers ≡ digit source) · G3 labels as printed, not converted · G4 comparison typed · G6 public scope · G7 history real · G8 caution present and true. Machine surfaces: index.json · capsule.md.
Generated from library_v2.jsonl. Declared volatile fields (R36): BUILD_STAMP.
BUILD_STAMP S371a · 2026-09-26T22:53Z · master 01d1a5873ede42f5 · cut 9dcc6ce9a8ee3e02