Claims & Evidence Registrar › H09

LIB2-283 · Superseded torsion-corrected PMNS angle scheme

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

Statement

The archived PMNS-angle prompt proposed a torsion-corrected scheme combining quark–lepton complementarity, Shilov and split-G2 contributions.

Scope

domainThe named composite angle scheme at title level, not reconstructed individual formulas for its absent historical angle set.
What this does not show. The current mixed-provenance angle set does not refute every torsion correction or derive the physical readout and octant choices.

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 5, §2, Current PMNS angle provenance — PDF p.83 (bytes of record)
review state: REVIEWED · role CONTEXT · warrant: gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT

current: θ12 , δCP Derived-conditional, the physical θ23 octant Loaded-correspondence — A1566

Paper 5, §2, Ordering and propagation-interface conditions — PDF p.83 (bytes of record)
review state: REVIEWED · role CONTEXT · warrant: gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT

The operative angle relations are (normal ordering — conditional on the Rd ladder, Paper 2 §3, and on its identification with the propagation eigenstates, an interface that is undeclared (Rev32.2);

Paper 5, §2, Retained reactor-angle expression — PDF p.83 (bytes of record)
review state: REVIEWED · role CONTEXT · warrant: gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT

sin2 θ13 = sin4 (π/8)

Paper 3, §5.4, Current physical atmospheric attachment — PDF p.64 (bytes of record)
review state: REVIEWED · role CONTEXT · warrant: gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT

The current physical θ23 row is therefore Loaded-correspondence; the number and the internal theorem do not move.

Evidence (availability is not outcome)

kindreferenceline / keyavailabilitynote
registryLibrary v1 L254; Paper 5 §2, Current PMNS angle provenance, p.79—shippedThe 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.

What was said, and what retired it

historical statementPMNS Torsion-Corrected Angles: QLC + Shilov + G₂(2) [HP9, PROPOSED]
where it stoodLIBRARY_V1_GROK_ARCHIVE_S304.md, L254
retiring decisionnot located in suite; current-target replacement in Paper 5, p.79
what the suite prints now
current: θ12 , δCP Derived-conditional, the physical θ23 octant Loaded-correspondence — A1566
PDF p.79 (bytes of record)
successor recordsLIB2-060 The solar-angle readout is conditional on ordering and the propagation interface, LIB2-002 Physical atmospheric registration of the internal 7/16 mismatch, LIB2-061 The reactor-angle formula retains an unforced round-trip readout
why retiredRELATION_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 locatedLOCATED — 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 208
| L254 | library_prompt | 2.C | Full PMNS Matrix | Paper 2 — Flavor Sector from Peirce Perturbations | awaiting_production | prompt_ready | no | PMNS Torsion-Corrected Angles: QLC + Shilov + G₂(2) [HP9, PROPOSED] |
does the archive attest it?REVIEWED · ATTESTS
  • gemini · ATTESTS · ARCHIVE_TEXT_SUPPLIED (D1341, A1694) — HIGH — The prompt explicitly proposes "PMNS Torsion-Corrected Angles: QLC + Shilov + G₂(2)".
  • grok · ATTESTS · THE_RECORD (D1340, A1693) — HIGH — L254 is `PMNS Torsion-Corrected Angles: QLC + Shilov + G₂(2)`.

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

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

states a predicateyes
uses on the record · unblocked4 · 4
uses any lane has read4 of 4
REVIEWED SUPPORTS use on the predicate, read by two non-drafting lanesno (0)
a SUPPORTS use on the predicate is DISPUTEDno
machine certificate currentyes

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_literalN/Aclass RETIRED not governed by the source_labels rule
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) antecedentsL254 (in the March index; no page was ever served)
candidate ids (frozen list S304)C2-004 C2-005 C2-006 C2-058 C2-059 C2-060

Drafting-lane note

L254 is explicitly PROPOSED and supplies no individual angle equations. One record preserves that named scheme; its absent components are not invented or equated with L255. The source's current conditional, loaded and unforced readouts replace the scheme at programme level, not by a verified chronological chain.

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 19192d0c21a8fa70bfee6613e867df8620f7475dfedda2bb49d162cf51387e0b

Review this entry

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