Claims & Evidence Registrar › H04

LIB2-064 · The measured-angle Cabibbo diagnostic is a different readout object

class CLAIMmath status (as printed) NOT_PRINTEDattachment (as printed) NOT_PRINTEDscorecard tier word (as printed) none printedhouse tier not yet assignedreview state IN_REVIEWentry version 7

Label sentence at the locator (PDF p.47 (bytes of record)):

Feeding the measured NuFIT solar angle through the same formula gives the separate diagnostic value 0.22687 and a comparator √ distance of about +3.01σ.

Statement

Feeding the measured NuFIT solar angle through the same first-row formula gives the separate diagnostic value |Vus| = 0.22687.

Scope

carrierThe first-row formula evaluated using a measured solar angle
domainA diagnostic using measured input, distinct from the framework-angle target.
hypothesesInsert the measured NuFIT solar angle, not the framework angle.
physical targetMeasured-angle |Vus| diagnostic
quantifierThe registered readout and its stated premises.
What this does not show. This measured-input diagnostic is not an independent prediction and does not upgrade the selected first-row route.

Scientific status: UNDER REVIEW — the house has not adjudicated CURRENT / CONTESTED for this record (charter §10.3); a drafted claim is a claim under review, not a result.

Sources in the suite of record

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.

Paper 3, §2, Measured-angle diagnostic — PDF p.49 (bytes of record)
review state: LANE_PROPOSED · role SUPPORTS · warrant: gemini read SUITE_TEXT_EXTRACT → SUPPORTS · grok read THE_RECORD → SUPPORTS · grok read THE_RECORD → SUPPORTS · gemini read SUITE_TEXT_EXTRACT → SUPPORTS

Feeding the measured NuFIT solar angle through the same formula gives the separate diagnostic value 0.22687. Against the |Vus | comparator error alone that is +3.01σ; propagating the NuFIT θ12 error as well gives about +1.0σ (0.97–1.00, house recompute A1641), and only the propagated figure√ is a distance (Rev32.9).

Paper 3, §2, Distinct readout objects — PDF p.49 (bytes of record)
review state: REVIEWED · role SUPPORTS · warrant: gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → SUPPORTS · the lanes disagreed; resolved by PI ruling R84 as SUPPORTS — a ruling whose gloss the house owes; a use resolved by ruling never anchors PUBLISHED

These are different readout objects; neither changes the derived 1/ 6 block weight, and neither upgrades the first-row provenance.
The text extraction above lost mathematical typography. Restored from the sealed TeX source (rev32.7/tex/p3_ckm_pmns_mixing.tex:161-162): These are different readout objects; neither changes the derived 1/√6 block weight, and neither upgrades the first-row provenance. (R87 house restoration: rendered from the tex, not the quote; the quote above is what the machine gate matched)

Evidence (availability is not outcome)

kindreferenceline / keyavailabilitynote
registryPaper 3 §2, measured-angle diagnostic, p.47—shippedThe diagnostic value and comparator distance are printed in the supplied source; no output key is given.

The numbers this record declares, and where each one's digits come from

This table covers the values this record DECLARES, not every numeral printed on this page: group labels such as E7(7), section numbers and page numbers are not declared values and are not listed here.

value as printedpagedigit source
0.22687PDF p.47 (bytes of record)suite text p.47 only (no kernel line found)

Comparison relation (as printed; no σ computed here)

comparatormethod as printeddistance as printedpagescorecard-eligible as printed
SL-11 Vusmeasured solar angle through the same formula; stated comparator distanceabout +3.01σPDF p.47 (bytes of record)

Typed links

typetargetlicensed by
related_to (never evidential)LIB2-063 The framework-angle Route-B readout gives the corrected Cabibbo value—
compares_withSL-11 VusPaper 3 p.47 gives this diagnostic beside the named PDG first-row comparator.

Why this record is not PUBLISHED (R67, condition T-B)

states a predicateyes
uses on the record · unblocked2 · 2
uses any lane has read2 of 2
REVIEWED SUPPORTS use on the predicate, read by two non-drafting lanesyes (1)
a SUPPORTS use on the predicate is DISPUTEDno
machine certificate currentyes

Not PUBLISHED because no use on it has been read as SUPPORTS by two non-drafting lanes on different objects. The transition is written only by the R67 producer and recomputed by a gate on every build; no person promotes a record by hand.

Machine certificate (R68)

stateMACHINE_CHECKS_PASSED
policysgtoe-clearance-policy-1.0-RATIFIED · sha16 ef7d6e7690514311
bound to masteraad7a3ec6ce3b510 (the master the checks ran on; issued 2026-09-26T05:06Z)
checks
checkresultreason
schema_validPASSexercised
basis_currentPASSexercised
quote_locatedPASSexercised
labels_literalPASSexercised
edges_resolvedPASSexercised
bindings_validPASSexercised

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.

History

March library (v1) antecedentsno legacy antecedent identified
Track-2 claim idsD-MIX-05 — cross-reference; the Track 1 / Track 2 join sets each one against what the sealed suite prints for this record. Where they differ, the suite is the record.
candidate ids (frozen list S304)C2-062

Drafting-lane note

This is the diagnostic child of C2-062. The quote retains the displaced radical in the extracted line. No label is inferred from the related physical target, and the printed comparator distance is not recalculated.

Receipt

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 78a374c90aeb8ec16f2483b2e8a4d3d8bf01a612b8876c75dd153635907480c5

Review this entry

Reviewer verdict line (one per entry, as text): LIB2-064 | 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