PUBLISHED under R124 (condition T-R, retired records) — NOT house-adjudicated. Build S371a. What PUBLISHED means here: this record states what an EARLIER presentation said. Its archive row was located in the files named below, and two non-drafting AI lanes (gemini + grok) — one reading this page, one reading the archive text supplied to it — agreed the archive ATTESTS the historical statement; 2 of 2 unblocked suite citations were REVIEWED and none is disputed; its machine certificate is current. What it does not mean: no person has signed off (NOT_ADJUDICATED); the retired claim is not endorsed — it is recorded as retired; the drafting lane's reads count for nothing. Receipt: condition R124-TR · archive LIBRARY_V2_CANDIDATE_LIST_S304.csv, C2-147: L-CabDisc_Cabibbo_angle_discrete.md (L-CabDisc_Cabibbo_angle_discrete.md) · master c7e92a7e45eaadf0 · S342.

LIB2-239 · Deprecated house Cabibbo-comparator route

class RETIREDmath status (as printed) —attachment (as printed) —scorecard tier word (as printed) none printedhouse tier not yet assignedreview state PUBLISHEDentry version 10

Statement

The earlier house Cabibbo note presented CF2 Route B as its primary, GREEN route; a header added later marks the note deprecated, quoting a suite sentence that deprecates the Cabibbo-comparator route and keeps Route B canonical.

Parts of the statement (2)

Each part is a clause of the statement above, cut so that one part makes one claim. A reader naming the clause a quote supports can name the part.

p1 · The earlier house Cabibbo note presented CF2 Route B as its primary, GREEN route (one claim)
p2 · a header added later marks the note deprecated, quoting a suite sentence that deprecates the Cabibbo-comparator route and keeps Route B canonical. (one claim)

Scope

domain	The particular house Cabibbo route identified by its supplied header and S270 flag.

What this does not show. This retirement does not retire the current loaded Route-B formula merely because both descriptions use the Route-B name.

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, Route-selection provenance — PDF p.49 (bytes of record)
review state: REVIEWED · role CONTEXT · warrant: grok read OUR_QUOTE_AS_PRINTED → CONTEXT · gemini read OUR_QUOTE_AS_PRINTED → CONTEXT · gemini read SUITE_TEXT_EXTRACT → SUPPORTS · grok read THE_RECORD → CONTEXT · grok read THE_RECORD → CONTEXT · gemini read SUITE_TEXT_EXTRACT → CONTEXT

The first row is Loaded: Route B was selected after comparison with kaon data.

Paper 3, §2, Corrected kernel-line Cabibbo value — PDF p.49 (bytes of record)
review state: REVIEWED · role CONTEXT · warrant: grok read OUR_QUOTE_AS_PRINTED → CONTEXT · gemini read OUR_QUOTE_AS_PRINTED → CONTEXT · 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

the canonical current value is |Vus | = 0.225256 √ (the exact framework angle arctan( 3/ϕ2 ) = 33.4880◦ , printed from the kernel line s1162;

Evidence (availability is not outcome)

kind	reference	line / key	availability	note
registry	Candidate C2-147: L-CabDisc_Cabibbo_angle_discrete.md, S270 item 7.3 flag	—	shipped	The candidate supplies the old header and a truncated NOT HOMED — ROUTE DEPRECATED note. The original house body and its quoted TeX sentence are not supplied in full.

What was said, and what retired it

historical statement	L-CabDisc — Cabibbo Angle / V_us from Algebraic Structure; STATUS: CF2 ROUTE B — GREEN (D188b/A333, 3-AI consensus, 2026-04-10); ⚠ NOT HOMED — ROUTE DEPRECATED (S270, item 7.3); The deprecated Cabibbo-comparator route is not used in the operative Rev29 ledger; Route~B is the canonical first-row prediction; Route B Derivation (PRIMARY — GREEN)
where it stood	LIBRARY_V2_CANDIDATE_LIST_S304.csv, C2-147: L-CabDisc_Cabibbo_angle_discrete.md
retiring decision	S270 item 7.3 ROUTE DEPRECATED flag in C2-147; the specific old Cabibbo-comparator statement is not located in the supplied suite
what the suite prints now	The first row is Loaded: Route B was selected after comparison with kaon data. PDF p.47 (bytes of record)
successor records	LIB2-063 The framework-angle Route-B readout gives the corrected Cabibbo value
why retired	scientific_supersession — from the record's own words: `LEGACY_SUPERSEDE_FLAG` → "DEPRECATED"
archive row located	LOCATED — 6 of 6 parts found in `L-CabDisc_Cabibbo_angle_discrete.md` (sha256 4fd55e576b8e4034…) (locator 8db2c73d69dff9f1, S339)
the archive rows, verbatim	L-CabDisc_Cabibbo_angle_discrete.md, line 3 # L-CabDisc — Cabibbo Angle / V_us from Algebraic Structure L-CabDisc_Cabibbo_angle_discrete.md, line 8 ## STATUS: CF2 ROUTE B — GREEN (D188b/A333, 3-AI consensus, 2026-04-10) L-CabDisc_Cabibbo_angle_discrete.md, line 1 > ⚠ NOT HOMED — ROUTE DEPRECATED (S270, item 7.3). `p3_ckm_pmns_mixing.tex:150` states verbatim: "The deprecated Cabibbo-comparator route is not used in the operative Rev29 ledger; Route~B is the canonical first-row prediction because it reduces the tension with direct kaon data to $0.62\sigma$." This entry records a route the suite has since retired. It is kept as provenance for how the first row was approached pre-Rev29. S176-T4a asked for a HOMED banner here; the honest banner is a supersession notice. Do NOT cite this entry as a live result. L-CabDisc_Cabibbo_angle_discrete.md, line 10 ## Route B Derivation (PRIMARY — GREEN)
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 gemini · ATTESTS · ARCHIVE_TEXT_SUPPLIED (D1341, A1694) — HIGH — The archive file lists the route as "GREEN" while the appended house note flags it as "ROUTE DEPRECATED". (not counted) grok · DOES_NOT_ATTEST · THE_RECORD (D1340, A1693) — HIGH — the printed rows give the algebraic-comparator title and STATUS GREEN (operative) but do not contain the deprecated-header flag the statement also asserts. (not counted) grok · ATTESTS · THE_RECORD (D1343, A1696) — HIGH — the repaired rows now print both `STATUS: CF2 ROUTE B — GREEN` / `PRIMARY — GREEN` and the later `ROUTE DEPRECATED` header that quotes the suite sentence keeping Route B canonical. gemini · ATTESTS · ARCHIVE_TEXT_SUPPLIED (D1344, A1697) — HIGH — The archive rows explicitly present CF2 Route B as "PRIMARY — GREEN", while the added supersession header deprecates the Cabibbo-comparator route by quoting the operative suite text that keeps Route B canonical.

A successor is linked, never "derived from" the retired statement (charter §10.10).

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

states a predicate	yes
uses on the record · unblocked	2 · 2
uses any lane has read	2 of 2
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

Machine certificate (R68)

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

check	result	reason
`schema_valid`	PASS	exercised
`basis_current`	PASS	exercised
`quote_located`	PASS	exercised
`labels_literal`	N/A	class RETIRED not governed by the source_labels rule
`edges_resolved`	PASS	exercised
`bindings_valid`	PASS	exercised

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) antecedents	no legacy antecedent identified
serials	D188b A333
candidate ids (frozen list S304)	C2-147

Drafting-lane note

The source header, rather than a reconstructed old derivation, supplies the retirement provenance. No identity between the deprecated comparator route and the current Route-B construction is inferred. Archive Cabibbo titles are not assigned as exact antecedents from shared keywords.

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 1459148292705523444acc924cdfa484366cd3b8cde0b7d097799d4e8c3c5558

Review this entry

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