The Pasture

Where the programme puts what it no longer prints — kept whole, dated, and one click from what replaced it. Nothing here is current; everything here is how it stood. Build S371a · 2026-09-26 22:53Z.

Old Grok Library — the March 2026 library (v1), frozen 2026-09-05

History, not the current state. The Grok-lane prompt series and proof prompts written under the PHAT v1.27.x kernel, recorded as they happened. Its successor is the Claims & Evidence Registrar (one claim per entry, every label as printed in the Rev33.1 suite, every quote that has one machine-checked against its PDF page (21 of 357 records carry no suite quote and say so)). The flag on a March record is not its content (A1580): most served pages are prompt or placeholder stubs.
records in the March index 308with a served page 240served pages 241listed on the old index page 174pages with a record file 138stub pages ≤ 776 B 137production excerpts served 1production_ready records with no page 12

What replaced what: every v2 record names its March antecedents under History; a retired March statement appears in the Retired Claims pen with the decision that retired it.

Retired Claims — 68 statements the programme used to print and no longer does

DRAFTED — under coalition review; not adjudicated by the house. Each row is a RETIRED record of Library v2 (build 01d1a5873ede42f5): the historical statement, where it stood, the decision that retired it, and what the Rev32.7 suite prints now, with its PDF page. A successor is linked, never “derived from” the retired statement. Retirements marked not located in suite are carried by the current suite printing a different target, not by a located retiring sentence — the review lanes are asked to test exactly that class.
idretired statementwhere it stoodretiring decisionwhat the suite prints nowsuccessors
LIB2-004Retired house atmospheric assertion: sin²θ₂₃ = 4/7
sin²θ₂₃ = 4/7 — atmospheric mixing angle; STATUS: Y3 — DERIVED (math + 1 ODP-type postulate)
LIBRARY_V2_CANDIDATE_LIST_S304.csv, C2-169: L-Sin2Theta23_atmospheric_mixing.md (header and S173 flag)S173 SUPERSEDED flag reproduced in C2-169; no explicit sentence naming the retired fraction located in the supplied suite.
The current physical θ23 row is therefore Loaded-correspondence; the number and the internal theorem do not move.
PDF p.59
LIB2-002
LIB2-233Retired blanket zero-parameter observable headline
[Group G: Precision Tests and Anomalies] TIER A-STAR OBSERVABLES — ZERO PARAMETER SUMMARY
LIBRARY_V1_GROK_ARCHIVE_S304.md, L71; pre-Rev29 blanket observable summaryS112 claim-language enforcement, carried in Rev32.7 Paper 0 p.8; Rev29 row-by-row re-tiering
Phrasings such as “100/100,” “all green,” “zero free parameters” (for the suite as a whole), “closed,” and “emergence” are retired except where a Proved-tier theorem licenses them.
PDF p.8
LIB2-060, LIB2-063, LIB2-124
LIB2-234Retired 20/20 Standard-Model completion headline
P72: m_s from J₁₃ Peirce Sector D_IV(4) — 20/20 SM Observables (gap 0.46%) — completion clause only.
LIBRARY_V1_GROK_ARCHIVE_S304.md, P72, 20/20 completion clauseRev29 scope re-tiering as carried by Rev32.7 Paper 0 p.8 and Paper 3 §5.4; individual old production chronology not supplied
Two physical rows sit at derived-conditional, each with its premise printed beside it rather than PMNS and δ buried: θ12 CP .
PDF p.59
LIB2-060, LIB2-062, LIB2-129
LIB2-235Superseded three-of-eight mixing tally and pending atmospheric hold
The v1.3 mixing summary mirrored the theta23 CONTESTED hold with the 3/8 tally retained pending PI ruling.
LIBRARY_V2_CANDIDATE_LIST_S304.csv, C2-098; Track-2 v1.3 G-MIX-01A1566/D1244 atmospheric retype, Rev32.6; current Rev32.7 Paper 3 §5.4
Two physical rows sit at derived-conditional, each with its premise printed beside it rather than PMNS and δ buried: θ12 CP .
PDF p.59
LIB2-002, LIB2-060, LIB2-062
LIB2-236Retired Wyler bounded-domain derivation of alpha
The alpha_em conjecture was marked CLOSED, and the Wyler D_IV(5) formula was presented as an alpha_em derivation proof.
Library v1 L103, L148, L271, P5, P56; C2-137/C2-153/C2-175 Wyler-programme headersAppendix N §1.1, s256/S165; S174 RETIRED — WYLER PROGRAM flags reproduced in the three candidate rows
The bounded-domain programme is retired as a derivation of α.
PDF p.252
—
LIB2-237Retired exact-framework Cabibbo correction 0.225247
The exact-framework readout is |Vus| = 0.225247; the accompanying angle correction was 33.4877°.
Rev32.5 Paper 3 correction; Track-2 v1.3 D-MIX-05, candidate C2-062Rev32.6 correction from s1162, A1572, recorded in Rev32.7 Paper 3 §2 p.47
current value is |Vus | = 0.225256 (the exact framework angle arctan( 3/ϕ2 ) = 33.4880◦ , printed from the kernel line s1162;
PDF p.47
LIB2-063
LIB2-238Superseded rounded-angle Cabibbo value as the canonical readout
The canonical |Vus| display through Rev32.4 was 0.225268, from the rounded 33.49° solar angle.
Through-Rev32.4 Cabibbo display, described in Rev32.7 Paper 3 §2 p.47; stale C2-009 bodyRev32.6 exact-framework replacement from s1162, A1572, carried at Rev32.7
current value is |Vus | = 0.225256 (the exact framework angle arctan( 3/ϕ2 ) = 33.4880◦ , printed from the kernel line s1162;
PDF p.47
LIB2-063
LIB2-239Deprecated house Cabibbo-comparator route
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 i…
LIBRARY_V2_CANDIDATE_LIST_S304.csv, C2-147: L-CabDisc_Cabibbo_angle_discrete.mdS270 item 7.3 ROUTE DEPRECATED flag in C2-147; the specific old Cabibbo-comparator statement is not located in the supplied suite
The first row is Loaded: Route B was selected after comparison with kaon data.
PDF p.47
LIB2-063
LIB2-240Retired Shilov atmospheric-angle derivation
θ₂₃(PMNS) = arctan(1 + 1/(2π)) Shilov Derivation [CLOSED, 0.03%].
LIBRARY_V1_GROK_ARCHIVE_S304.md, L255; C2-168, L-Shilov23_Shilov_boundary_factor.mdS174 RETIRED — WYLER PROGRAM + STALE θ23 flag; current replacement in Paper 7 p.116 and Paper 3 p.59
The current framework value is the mismatch-geometry branch sin2 θ23 = 7/16, rather than the older higher-octant phenomenological placeholder — printed since Rev32.6 as the sharp loaded lower-branch target of the selected corre- spondence (A1566: the octant r…
PDF p.116
LIB2-002
LIB2-241Retired claim that the chirality interface selected the atmospheric octant
Rev32.5: “selector built”, “locked to εQ” and “free bits 2 → 1”.
Rev32.5 octant-selection assertions, quoted in Rev32.7 Appendix N §6 p.257A1566/D1244, Rev32.6; s501 retyped after the s1156 countermap test
The current physical θ23 row is therefore Loaded-correspondence; the number and the internal theorem do not move.
PDF p.59
LIB2-002, LIB2-100
LIB2-242Superseded trimaximal cosine-phase correction apparatus
L-D115Erratum — cos δ_TM1 Correction; STATUS: ERRATUM (corrects D115 ChatGPT); ⚠ SUPERSEDED (flagged S173, lost-sheep sweep): Part of the retired TM1/trimaximal apparatus (0 hits in the suite); cos δ_TM1 ≈ +0.25 at exac…
LIBRARY_V2_CANDIDATE_LIST_S304.csv, C2-152: L-D115Erratum_cosδ_TM1_correction.mdS173 SUPERSEDED flag for the retired TM1/trimaximal apparatus; not located in suite
δCP = −2π/ 5 = −160.997◦
PDF p.84
LIB2-062
LIB2-243Superseded trimaximal condition and rho-modulus apparatus
L-TM1rho — TM1 Condition and ρ Modulus; STATUS: INDEPENDENT — TM1 requires 1 extra postulate. NOT derived from J₃(𝕆ₛ).
LIBRARY_V2_CANDIDATE_LIST_S304.csv, C2-173: L-TM1rho_TM1_condition.mdS173 SUPERSEDED flag for the TM1/trimaximal apparatus; not located in suite
δCP = −2π/ 5 = −160.997◦
PDF p.84
LIB2-060, LIB2-061, LIB2-062
LIB2-244Superseded hybrid leptonic-phase formula
δ_CP=arg(ω₇·e^{iπ/5})≈−160.9°; STATUS: Y1 — SIGN DERIVED (D161 ★★★★), k=1 PROPOSED (D147, naturalness)
LIBRARY_V2_CANDIDATE_LIST_S304.csv, C2-159: L-HybridDelta_hybrid_CP_phase.mdS173 SUPERSEDED flag in C2-159; replacement V3 phase readout in Paper 5 §3 p.84
δCP = −2π/ 5 = −160.997◦
PDF p.84
LIB2-062
LIB2-245Retired physical use of the PSL class-algebra sign argument
The class-algebra sign argument left −arccos(−1/3) − 2π/7 = −160.900° as the only allowed phase sign.
Paper 8 §2 p.118, old chirality application; C2-172 L-StructConst_PSL27_structure_constants.mdApplication deprecated in Paper 8 §2; S174 APPLICATION SUPERSEDED flag; class algebra itself retained
That application is deprecated. The authoritative CP phase is δCP = −2π/ 5 = −160.997◦ from the V3 rotation theorem (⋆100; Paper 5, Appendix C), which does not involve PSL(2, 7) at all;
PDF p.118
LIB2-062
LIB2-246Retired legacy baryon-to-meson mass ratio
M_B/M_M ≈ 6.7 matched the proton/pion value at one free coupling, with a stated ratio range 5–8 across perturbative couplings.
C2-142 L-BaryonMesonRatio_mass_ratio_from_algebra.md; historical S23–S24 calculation described in Paper 8 §4 p.121s284/S175 current-frame recompute; explicit numerical retirement in Paper 8 p.121 and Appendix I p.210
The number is therefore retired — a legacy null-cone artifact superseded by the current frame, not a parked candidate.
PDF p.121
LIB2-136
LIB2-247Withdrawn proof and zero-parameter status of the muon-to-tau ratio
The muon-to-tau ratio was printed as Proved / zero-parameter / forced by algebra, no fit.
Through-Rev28 ratio classification, described in Paper 2 p.33 and Appendix X p.335; C2-018/C2-056Rev29 charged-lepton re-tiering, explicitly carried in Paper 2 §3.2 and Appendix X
The rows of this subsection therefore stand at Structural (mathematical tier), Loaded-correspondence (physical attachment) and Reproduced (numerical status): the ratio is reproduced, not derived.
PDF p.33
LIB2-122, LIB2-123, LIB2-125
LIB2-248Withdrawn universal two-parameter mass-completion no-go
≤ 2-parameter completion is impossible.
Earlier mass-completion claim, quoted in Appendix O §5, Remark 5.2 p.261; Executive State Map casualty #6Withdrawal recorded in Appendix O Remark 5.2 after the fitted period-70 harmonic control; Executive State Map p.7
The blanket “≤ 2-parameter completion is impossible” claim is therefore withdrawn; the honest statement is that surveyed one-parameter forms fail and no universal ≤ 2-parameter no-go is proved.
PDF p.261
LIB2-106
LIB2-249Retired Det-squared selection of the polarization postulate
The degree-six Det2 selector cos(6ψ) = 1/2, with its 50° branch, selected AX6pol and its weak-angle readout.
Former AX6/ψ-star identification, reconstructed as the explicitly withdrawn identification in Paper 4 §7 p.73; C2-125Rev32.2 two-object repair; A1549/s1135 and PI ruling S295, carried in Paper 4 §7 p.73
The Det2 object is therefore retired as a selector of AX6pol ; A667 remains correct for the 50◦ object only and does not constrain AX6pol .
PDF p.73
LIB2-200
LIB2-250Withdrawn Schur-only proof of vanishing triplet masses
Schur block structure implies “zero entries for all triplet components at every loop order.”
Earlier Appendix A proof sketch, quoted and withdrawn in Rev32.1; retained withdrawal at Rev32.7 p.146A1538 F1, Rev32.1 Schur gauge-protection withdrawal; S290.4 falsifier-control note
the previous version of this sketch concluded “zero entries for all triplet components at every loop order” from the block structure; that inference is withdrawn — Schur permits a nonzero scalar on each triplet block,
PDF p.146
LIB2-087
LIB2-251Scoped withdrawal of blanket Artin protection for Yukawa loops
Standard Yukawa and gauge-coupling running is “fully protected” by Artin without establishing the internal two-generator containment of each diagram.
Earlier blanket Artin bridge, scoped in Rev32.1 Appendix A §A.7.8, Corollary 0.16; C2-114A1538 F5, Rev32.1 scope correction; Appendix A pp.147–148
the blanket “fully protected” claim is scoped Rev32.1 pending the generator census (A1538 F5).
PDF p.148
LIB2-088
LIB2-252Withdrawn canonical reactor half-angle from the moment law
The half-angle π/8 is canonical because T2 = −1.
Earlier T-bridge wording, explicitly retracted in Appendix B p.154; C2-006/C2-060Rev29 T-bridge scope correction, carried in Appendix B p.154; forcing pending at s502/A1275
The half-angle π/8 is therefore motivated by the moment structure and chosen by the readout rule
PDF p.154
LIB2-061
LIB2-253Retired structural derivation rating of the CKM phase construction
The CKM Dirac-phase construction under F-δ is a “Structural claim with a derivation path” or conditional theorem rather than a coincidence-class numeral.
Rev29 F-δ phase wording, explicitly retired in Rev32.5; Appendix B §B.6 p.154; C2-012/C2-065Rev29 row-by-row re-tiering and Rev32.5 retirement of the remaining structural/conditional-theorem wording
It drops to coincidence-class and stays there until G7 is derived. The number is not withdrawn; the rating is.
PDF p.59
LIB2-068
LIB2-254Withdrawn universal claim that inequality conditions cannot reduce dimension
No positivity- or stability-type refinement can select the target because inequality conditions cannot reduce dimension.
Earlier banked universal cone argument, quoted in Appendix E p.171; C2-121F-SEL(c) scoped closure, S287.9–.11, D1220/A1533; Appendix E p.171
Degenerate systems can lower dimension in principle, so any proposed selector must derive its everywhere-active equality locus independently and clear the circularity bar.
PDF p.171
LIB2-035, LIB2-033
LIB2-255Retired use of one operator name for Wick chart and shell reversal
A single operator label “W” names the compact/split Wick chart and the shell or grading-orientation reversal.
Pre-separation geometry wording, quoted in Appendix T §2 p.301; nearest candidate C2-089A1437, S251 two-W separation; Appendix T Theorem 2.1 and Remark 2.2
The single label “W ” is retired suite-wide in favour of the pair.
PDF p.301
—
LIB2-256Superseded nontrivial bundle reading of the signature sheets
The two signature sheets are glued as a nontrivial real frame-preserving bundle.
Earlier signature-sheet bundle interpretation, superseded in Appendix T §3, Named datum 3.5, p.302A1438/s916, Rev28 geometry fold; Appendix T Theorem 3.4 and Named datum 3.5
a real-form correspondence, not a nontrivial bundle. The two signature presentations are two real structures in one complexified Albert fibre;
PDF p.302
—
LIB2-257Retired one-bit accounting of distinct gluing and observation structures
Local overlap, global holonomy, real-form correspondence and the physical observation map cost one “W bit”.
Earlier W-bit accounting, explicitly corrected by Appendix T Remark 3.8 p.302A1438 geometry/accounting correction, Appendix T §3, Remark 3.8
Charging these as one “W bit” was a conflation; the row is retired and replaced by the four-structure accounting entry.
PDF p.302
—
LIB2-258Retired finite-sign chamber-lift price computed on the wrong carrier
“D5-representation commutant = 3, hence lift ambiguity = 8 orthogonal / 4 orientation-preserving, zero continuous.”
Earlier house-signed chamber-lift row, quoted by the binding S253 erratum in Appendix T p.308A1446/s924-W2/W3, S253 binding erratum; replaced by Appendix T Theorem 9.3
The finite-sign price row is retired and replaced by the minimal-dilation theorem (Theorem 9.3). “Zero continuous” stands; the discrete residue did not.
PDF p.308
—
LIB2-259Withdrawn aggregate bit-and-dimension freedom headline
The Rev27 freedom headline combined a bit total, a 17-dimensional decomposition and a surplus into an aggregate count.
Rev27-era freedom headline, explicitly withdrawn in Appendix X §1.3 p.340A1436; Rev28 typed-freedom correction, carried in Appendix X §1.3 and Appendix Y casualty register
The Rev27-era headline (a bit total plus a dimension count, with a surplus) is withdrawn pending typed rebuild: its 17-dimensional decomposition is internally inconsistent as typed — confirmed at primary source, lane-caught, and logged as a house casualty bel…
PDF p.340
LIB2-005
LIB2-260Retired microscopic selector-deriving status of the earlier parent action
D1125 supplies a selector-deriving microscopic parent action with “all ten C fixed exactly”.
D1125/A1429 parent-action return, corrected by Appendix S §8.1 p.292D1126/A1430, s909; D1125 falsifier #7 and unconditional KILL-NODE 2 disposition
D1125 is killed as a selector-deriving microscopic parent action. It survives as a mathematically consistent loaded finite effective action once TAM , the copy metric and the discrete marking are declared inputs — a demotion of provenance, not an algebraic in…
PDF p.292
—
LIB2-261Retired independent-channel source doorway
The selector’s channel patterns may be chosen independently in the source doorway.
Earlier house independent-channel doorway, identified as casualty #4 in Appendix S §§4,7Paired-source correction, S244–S245 arc; Appendix S §4 p.288 and casualty #4 p.291
The correct source model (correcting the retired house doorway, casualty #4) is a single common selector contrast, not independent channel patterns.
PDF p.288
—
LIB2-262Withdrawn unconditional action preference for the root line
“The action votes for the root line” without an additional common-lift condition.
Earlier selector-arc action-vote statement, identified as casualty #5 in Appendix S §§5,7Common-lift-conditional correction, Appendix S §5 p.289 and casualty #5 p.291
with the relative lift axis ∆θ unpinned, both character types admit nonzero action-critical equivariant points, so the action’s “vote” for the root line is common-lift-conditional only (casualty #5, corrected in place).
PDF p.289
—
LIB2-263Retired depth-exclusion inference from commuting charge and mass
The commutator [M,Qem] = 0 excludes depth sourcing.
Earlier depth-exclusion cut, casualty #7 in Appendix S p.291 and Appendix X p.339S244–S245 depth-exclusion correction; Appendix S casualty #7 p.291
the depth-exclusion cut retired ([M, Qem ] = 0 forbids identifying the two Z4 labels but not depth sourcing).
PDF p.291
—
LIB2-264Withdrawn claim that the promotion functional was constructed and run
The canonical test functional Spromo “is constructed” and its zero set is “house-verified”, without retaining the scalar-tier qualifier.
Rev28 promotion-gate wording, corrected in Appendix X §3.3 p.347Rev29 promotion-gate correction, carried in Appendix X §3.3 p.347; AST audit and restored s954:9 qualifier
the functional is specified, not built, and no run of it exists.
PDF p.347
—
LIB2-265Superseded Wyler-baseline route for the muon mass
L116: Muon = Wyler Baseline; P32: Muon = Wyler Baseline (0.141%)
LIBRARY_V1_GROK_ARCHIVE_S304.md, L116 and P32not located in suite; current-target replacement by the charged-lepton chain in Paper 2 §3.2, pp.33–34
mµ follows from the algebraic ratio formula [A616, A618], re-typed Structural / Loaded-correspondence / Reproduced above and not citable as zero-parameter (Rev29 );
PDF p.34
LIB2-122, LIB2-125, LIB2-126
LIB2-266Superseded electromagnetic-power Wyler formula for the muon
Muon Mass Wyler Formula: m_μ = α^{5/4}·(3/16)^{3/4}·v/√2 [G1 CLOSED]
LIBRARY_V1_GROK_ARCHIVE_S304.md, L259not located in suite; current-target replacement in Paper 2 §3.2, pp.33–34
mµ follows from the algebraic ratio formula [A616, A618], re-typed Structural / Loaded-correspondence / Reproduced above and not citable as zero-parameter (Rev29 );
PDF p.34
LIB2-122, LIB2-125, LIB2-126
LIB2-267Superseded sub-Wyler route for the electron mass
L117: Electron Sub-Wyler Formula; P33: Electron Sub-Wyler from G₂ Minimal Orbit (0.428%)
LIBRARY_V1_GROK_ARCHIVE_S304.md, L117 and P33not located in suite; current-target replacement by Paper 2 §3.2, p.34
The electron mass is determined by the external empirical relation K = 2/3 acting on that mµ chain and the measured mτ anchor [A636, A637].
PDF p.34
LIB2-127
LIB2-268Superseded extended-Wyler route for the tau mass
L118: Tau Extended Wyler Formula; P34: Tau from Extended Wyler: 19 = dim(G₂)+dim(Shilov) (0.062%)
LIBRARY_V1_GROK_ARCHIVE_S304.md, L118 and P34not located in suite; the current chain uses an external tau anchor, Paper 2 §3.2, pp.33–34
mτ is the external anchor; mµ follows from the algebraic ratio formula [A616, A618],
PDF p.34
LIB2-124, LIB2-221
LIB2-269Superseded Peirce-cylinder proposal for the tau mass
Tau Mass from Peirce Cylinder: m_τ = m_μ·R₂₃^{19/√2} [PROPOSED]
LIBRARY_V1_GROK_ARCHIVE_S304.md, L262not located in suite; current-target replacement by the external tau anchor in Paper 2 §3.2, pp.33–34
mτ is the external anchor; mµ follows from the algebraic ratio formula [A616, A618],
PDF p.34
LIB2-124, LIB2-221
LIB2-270Superseded D-tower formula for the bottom mass
[Group B: Gauge and EW Sector] BOTTOM QUARK MASS — D*phi^{-7} TOWER
LIBRARY_V1_GROK_ARCHIVE_S304.md, L26not located in suite; current-target replacement in Paper 2 §3.6, pp.36–37
The mb row must be quoted with its offset: mb = (7/3)mτ = 4146 MeV against PDG 2026 mb (mb ) = 4186 ± 6 MeV is −0.96% and dcmp = −6.67 (cross-scheme, no status).
PDF p.37
LIB2-130
LIB2-271Superseded pi-weighted prefactor formula for the bottom mass
L138: Numerical prefactor = sqrt(3)r_23/42 ≈3071.5 MeV exact; m_b = prefactor(π/2)^{2/3} ≈4150 MeV; gap -0.78%
LIBRARY_V1_GROK_ARCHIVE_S304.md, L138not located in suite; current-target replacement in Paper 2 §3.6, pp.36–37
The mb row must be quoted with its offset: mb = (7/3)mτ = 4146 MeV against PDG 2026 mb (mb ) = 4186 ± 6 MeV is −0.96% and dcmp = −6.67 (cross-scheme, no status).
PDF p.37
LIB2-130
LIB2-272Superseded cylinder-prefactor proof prompt for the bottom mass
P51: m_b Prefactor from J₂₃ Cylinder
LIBRARY_V1_GROK_ARCHIVE_S304.md, P51not located in suite; current-target replacement in Paper 2 §3.6, pp.36–37
The mb row must be quoted with its offset: mb = (7/3)mτ = 4146 MeV against PDG 2026 mb (mb ) = 4186 ± 6 MeV is −0.96% and dcmp = −6.67 (cross-scheme, no status).
PDF p.37
LIB2-130
LIB2-273Superseded D-tower formula for the charm mass
[Group B: Gauge and EW Sector] CHARM QUARK MASS — D*phi^{-9} TOWER
LIBRARY_V1_GROK_ARCHIVE_S304.md, L27not located in suite; current-target replacement in Paper 2 §3.6, pp.36–37
The charm bridge value mc = 1291.9 MeV lies +1.49% above the PDG 2026 MS comparator mc (mc ) = 1272.9 ± 4.5 MeV.
PDF p.37
LIB2-131
LIB2-274Superseded triality log-geometric-mean charm formula
Charm Mass from SO(8) Triality P46: m_c = m_μ·(m_t/m_μ)^{1/3}; P46: m_c (Charm) from Triality Log-Geometric Mean — NEW (gap 1.64%)
LIBRARY_V1_GROK_ARCHIVE_S304.md, L132 and its explicitly named P46not located in suite; current-target replacement in Paper 2 §3.6, pp.36–37
The charm bridge value mc = 1291.9 MeV lies +1.49% above the PDG 2026 MS comparator mc (mc ) = 1272.9 ± 4.5 MeV.
PDF p.37
LIB2-131
LIB2-275Superseded cubic-to-tower triality bridge for the charm mass
P29: Charm Triality Bridge — J₃ Cubic to D-Tower
LIBRARY_V1_GROK_ARCHIVE_S304.md, P29not located in suite; current-target replacement in Paper 2 §3.6, pp.36–37
The charm bridge value mc = 1291.9 MeV lies +1.49% above the PDG 2026 MS comparator mc (mc ) = 1272.9 ± 4.5 MeV.
PDF p.37
LIB2-131
LIB2-276Superseded resummed-electromagnetic charm formula
P67: m_c = m_t × α/(1−α) — Charm from Resummed EM Coupling (gap 0.044%)
LIBRARY_V1_GROK_ARCHIVE_S304.md, P67not located in suite; current-target replacement in Paper 2 §3.6, pp.36–37
The charm bridge value mc = 1291.9 MeV lies +1.49% above the PDG 2026 MS comparator mc (mc ) = 1272.9 ± 4.5 MeV.
PDF p.37
LIB2-131
LIB2-277Superseded early cubic-phase ansatz for the leptonic Dirac phase
δ_CP(PMNS) Best Candidate P44: −133.4° [OPEN, 6% gap]; P44: δ_CP(PMNS) from J₃ Cubic Invariant Phase (gap 7.4%); L256 bare-target clause: δ_CP(PMNS) Bare vs Torsion: −133.4° vs PDG −142° [HP9, OPEN]
LIBRARY_V1_GROK_ARCHIVE_S304.md, L130, its named P44, and the bare-target clause of L256Paper 7 §7 p.116 explicitly supersedes the old ansatz at Rev29; the exact assessment chain for the archived prompts is not supplied
The old ansatz value −133.36◦ is superseded.
PDF p.116
LIB2-062
LIB2-278Superseded imaginary-correction prompt for the leptonic phase
L135: Numerical imag corr to δ_CP = β_δ * sin(φ * π/4) ≈ {degrees value}; adjusted δ_CP = tree + corr ≈ -142°; gap {calculated %}
LIBRARY_V1_GROK_ARCHIVE_S304.md, L135not located in suite; current-target replacement by the conditional phase readout in Paper 5 §3 p.84
δCP = −2π/ 5 = −160.997◦
PDF p.84
LIB2-062
LIB2-279Superseded determinant-imaginary-part route for the full leptonic phase
P48: Full δ_CP(PMNS) from Im(Det(J₃)) — Extended P44
LIBRARY_V1_GROK_ARCHIVE_S304.md, P48not located in suite; current-target replacement by the conditional phase readout in Paper 5 §3 p.84
δCP = −2π/ 5 = −160.997◦
PDF p.84
LIB2-062
LIB2-280Superseded sum-rule and torsion-corrected reactor route to the leptonic phase
P66: δ_CP via P50 Sum Rule + Torsion-Corrected θ₁₃ (gap 0.051%)
LIBRARY_V1_GROK_ARCHIVE_S304.md, P66not located in suite; current-target replacement by the conditional phase readout in Paper 5 §3 p.84
δCP = −2π/ 5 = −160.997◦
PDF p.84
LIB2-062
LIB2-281Superseded cylinder formula for the reactor angle
θ₁₃(PMNS) from J₁₂ Cylinder P45: arctan(α^{1/3}/√φ); P45: θ₁₃(PMNS) from J₁₂ Cylinder Mixing — NEW (gap 1.17%)
LIBRARY_V1_GROK_ARCHIVE_S304.md, L133 and its explicitly named P45not located in suite; current-target replacement in Paper 5, p.79
sin2 θ13 = sin4 (π/8)
PDF p.79
LIB2-061
LIB2-282Superseded torsion-corrected cylinder formula for the reactor angle
P65: θ₁₃(PMNS) = arctan(α^{1/3}/√φ) − δ_torsion — EXACT (gap 0.000%)
LIBRARY_V1_GROK_ARCHIVE_S304.md, P65not located in suite; current-target replacement in Paper 5, p.79
sin2 θ13 = sin4 (π/8)
PDF p.79
LIB2-061
LIB2-283Superseded torsion-corrected PMNS angle scheme
PMNS Torsion-Corrected Angles: QLC + Shilov + G₂(2) [HP9, PROPOSED]
LIBRARY_V1_GROK_ARCHIVE_S304.md, L254not located in suite; current-target replacement in Paper 5, p.79
current: θ12 , δCP Derived-conditional, the physical θ23 octant Loaded-correspondence — A1566
PDF p.79
LIB2-060, LIB2-002, LIB2-061
LIB2-284Superseded Shilov-circle correction prompt for the atmospheric angle
P40: θ₂₃(PMNS) Shilov Circle Correction (0.032%)
LIBRARY_V1_GROK_ARCHIVE_S304.md, P40not located in suite; current-target replacement in Paper 7, p.116
The current framework value is the mismatch-geometry branch sin2 θ23 = 7/16, rather than the older higher-octant phenomenological placeholder
PDF p.116
LIB2-002
LIB2-285Superseded Peirce golden-power assignment for two CKM magnitudes
CKM Elements from Peirce J₂₃: V_cb = λ²/φ, V_ub = λ³/φ [OPEN]
LIBRARY_V1_GROK_ARCHIVE_S304.md, L129not located in suite; current-target replacement in Appendix B, p.156
first row Loaded, |Vcb | Loaded-correspondence attach- ment (physical) / Structural formula
PDF p.156
LIB2-066, LIB2-067
LIB2-286Superseded additive correction prompt for Vcb
L137: Numerical corr = (1/(2π)) * β_δ ≈0.009; adjusted V_cb ≈0.0405; gap -1.2%
LIBRARY_V1_GROK_ARCHIVE_S304.md, L137not located in suite; current-target replacement in Appendix B, p.156
|Vcb | 1/(9 7) = 0.041996
PDF p.156
LIB2-066
LIB2-287Superseded golden-power ratio of CKM hierarchy magnitudes
L282 ratio clause: |V_ub/V_cb| = φ⁻⁵; |V_ub/V_cb| = φ⁻⁵ from R_b · sin θ_C Peirce Suppression
LIBRARY_V1_GROK_ARCHIVE_S304.md, L282 ratio clause and L294not located in suite; current-target replacement in Appendix B, p.156
|Vub | |Vus ||Vcb |/ 6 = 0.003862
PDF p.156
LIB2-067
LIB2-288Superseded Cabibbo-squared formula for Vcb
P68: V_cb = sin²(θ_C)/√φ with Corrected θ_C (gap 0.28%)
LIBRARY_V1_GROK_ARCHIVE_S304.md, P68not located in suite; current-target replacement in Appendix B, p.156
|Vcb | 1/(9 7) = 0.041996
PDF p.156
LIB2-066
LIB2-289Superseded reciprocal weak-angle proposal
Weinberg Angle: sin²θ_W = 1/(2+φ) [OPEN, +19.5% gap]
LIBRARY_V1_GROK_ARCHIVE_S304.md, L127not located in suite; current-target replacement in Paper 4, p.73
We therefore carry ϕ−3 as a ∼ 2% structural tree-level target on the electroweak curve, not as a completed Z-pole precision prediction.
PDF p.73
LIB2-199, LIB2-200
LIB2-290Superseded logarithmic loop-correction prompt for the weak angle
L134: Numerical 1-loop Δsin²θ_W = - (α / (4π)) * log(r₁₃ / v) ≈ {calculated value}; adjusted sin²θ_W = tree + Δ ≈ 0.231; gap to PDG {calculated %}
LIBRARY_V1_GROK_ARCHIVE_S304.md, L134not located in suite; current-target replacement in Paper 4, p.73
We therefore carry ϕ−3 as a ∼ 2% structural tree-level target on the electroweak curve, not as a completed Z-pole precision prediction.
PDF p.73
LIB2-199
LIB2-291Superseded cylinder-running proof prompt for the weak angle
P47: 1-loop sin²θ_W from J₁₃ Peirce Cylinder Running
LIBRARY_V1_GROK_ARCHIVE_S304.md, P47not located in suite; current-target replacement in Paper 4, p.73
We therefore carry ϕ−3 as a ∼ 2% structural tree-level target on the electroweak curve, not as a completed Z-pole precision prediction.
PDF p.73
LIB2-199
LIB2-292Superseded electromagnetic-subtraction formula for the weak angle
P70: sin²θ_W = 1/φ³ − 2α/π — One-Loop EM Correction (gap 0.088%)
LIBRARY_V1_GROK_ARCHIVE_S304.md, P70not located in suite; current-target replacement in Paper 4, p.73
We therefore carry ϕ−3 as a ∼ 2% structural tree-level target on the electroweak curve, not as a completed Z-pole precision prediction.
PDF p.73
LIB2-199, LIB2-200
LIB2-293Superseded QLC-plus-cylinder correction for the Cabibbo angle
L136: Numerical Δθ_C = arctan(α^{1/3} / (r₁₂ / v)) ≈ {degrees}; adjusted θ_C = QLC + Δ ≈ 13.04°; gap {calculated %}
LIBRARY_V1_GROK_ARCHIVE_S304.md, L136not located in suite; current-target replacement in Paper 3, p.47
current value is |Vus | = 0.225256 (the exact framework angle arctan( 3/ϕ2 ) = 33.4880◦ , printed from the kernel line s1162;
PDF p.47
LIB2-063
LIB2-294Superseded torsion-corrected Cabibbo–Weinberg formula
P64: θ_C = arctan(1/φ³) − δ_torsion — Cabibbo = arctan(Weinberg) (gap 1.09%)
LIBRARY_V1_GROK_ARCHIVE_S304.md, P64not located in suite; current-target replacement in Paper 3, p.47
current value is |Vus | = 0.225256 (the exact framework angle arctan( 3/ϕ2 ) = 33.4880◦ , printed from the kernel line s1162;
PDF p.47
LIB2-063, LIB2-199
LIB2-295Superseded Cabibbo–Weinberg residual identity as a physical target
P73: Cabibbo-Weinberg Residual Identity: tan(θ_C)−sin²θ_W = α/(2π²)
LIBRARY_V1_GROK_ARCHIVE_S304.md, P73not located in suite; current-target replacement in Paper 3, p.47
current value is |Vus | = 0.225256 (the exact framework angle arctan( 3/ϕ2 ) = 33.4880◦ , printed from the kernel line s1162;
PDF p.47
LIB2-063, LIB2-199
LIB2-296Superseded singular-vacuum premise of the protection-and-bounce chain
Det(J_vac) = 0 ↔ λ₃ = 0 ↔ M_Z Protection ↔ Bounce
LIBRARY_V1_GROK_ARCHIVE_S304.md, L278; legacy vacuum normalization discussed in Appendix I §6Explicit normalization supersession in Appendix I §6, Remark 6.4, p.209; current unit-determinant premise at Appendix E §1 p.163; exact legacy assessment chain not supplied
the legacy vacuum normalization diag(ϕ2 , 1, 0) is superseded by the current {ϕ, 1, ϕ−1 } frame, the structural statements unaffected.
PDF p.209
LIB2-047
LIB2-297Retired compact-colour subgroup claim in the split-G2 real form
P28: SU(3)_color as Maximal Subgroup of G₂(2) — Branching Rules
LIBRARY_V1_GROK_ARCHIVE_S304.md, P28Appendix N Part N.B, Proposition 2.1, s253, states the opposite inclusion obstruction; exact P28 retirement chronology not located in suite
The compact colour algebra su(3) (dimension 8) cannot embed in the compact part available to the loaded subimage, whose maximal compact dimension is 6 < 8.
PDF p.253
LIB2-096
LIB2-298Withdrawn physical-generation implication of the triality carrier cycle
SO(8) Triality τ: 8_v → 8_s → 8_c Generation Mechanism
LIBRARY_V1_GROK_ARCHIVE_S304.md, L280A691/A693 generation-replication exclusions, Paper 0 p.17; current discrete-branch scope at Rev32.3; exact L280 retirement chain not supplied
algebraic replication of three generations inside a single J3 (Os ) is excluded: three families need 3 × 16 = 48 fermionic dimensions, which do not fit in the 27 (8+8+8 = 24 off-diagonal, and triality maps 8+ → 8− → 8v , so the blocks are not three gauge-iden…
PDF p.17
—
LIB2-345Superseded use of the first JUNO oscillation comparison
L-JUNOv1 — JUNO First Oscillation Result; STATUS: EXPERIMENTAL (first precision measurement); Comparison with Our Predictions; Tension with JUNO: (0.3185 − 0.3092)/0.0087 ≈ 1.07σ
C2-161, L-JUNOv1_first_oscillation_result.md; supplied S173 supersession flagS173 SUPERSEDED flag in C2-161; the precise retiring passage is not located in suite; current benchmark stated in Paper 5 p.79
The paper therefore keeps the structure simple: the angle set, the phase formula, the current comparison to NuFIT 6.1, and the DUNE-era test scenario.
PDF p.79
LIB2-003, LIB2-204, LIB2-205, LIB2-206, LIB2-226, LIB2-227, LIB2-228

Machine surface: library_v2.jsonl (filter class == "RETIRED"); the hub H09 · Retired statements lists the same records.

Frozen Revisions — every sealed release of the suite

The suite of record is Rev33.1 (S369). Earlier seals are frozen snapshots: the pages, engine-workbook fingerprints and status as recorded at each freeze. Only the current suite PDF is served (Papers); earlier PDFs are held in the archive and available on request. Engine shas are the leading hex digits of each workbook's sha256; release notes and verification records stay with the frozen bundles.
releasesuiteengine workbooks (sha256 prefix)status
Rev33.1 / S369433 ppMachine 32875b1696a2 · Outputs 4e6e7c32b307current — the suite of record
Rev33.0 / S364429 ppMachine b47f7bc9db75 · Outputs a67bb0ebddb4superseded by Rev33.1
Rev32.11 / S348412 ppMachine 9ab03a2efac2 · Outputs 337d899aad01superseded by Rev33.0 · zip re-issued S364 (R180: ledger lines withheld on export; tex, PDF and engine unchanged) — erratum: its engine workbook (Machine 9ab03a2efac2) recalculates to 25 of 27 checks PASS — RCI rows 22 and 24 fail behind stale cached PASS values (measured S363, re-derived at application S364)
Rev32.10 / S344411 ppMachine 650634658022 · Outputs acd9a7f14da4superseded by Rev32.11 · zip re-issued S364 (R180: ledger lines withheld on export; tex, PDF and engine unchanged)
Rev32.9 / S341410 ppMachine 6d489626b664 · Outputs 26377c02e619superseded by Rev32.10 · zip re-issued S364 (R180: ledger lines withheld on export; tex, PDF and engine unchanged)
Rev32.8 / S339385 ppMachine 7b09e1a2780b · Outputs 81d3ba688401superseded by Rev32.9 · zip re-issued S364 (R180: ledger lines withheld on export; tex, PDF and engine unchanged)
Rev32.7 / S303385 ppMachine 7b09e1a2780b · Outputs 81d3ba688401superseded by Rev32.8 · zip re-issued S364 (R180: ledger lines withheld on export; tex, PDF and engine unchanged)
Rev32.6 / S303385 ppMachine 7b09e1a2780b · Outputs 81d3ba688401superseded by Rev32.7 (same day) · zip re-issued S364 (R180: ledger lines withheld on export; tex, PDF and engine unchanged)
Rev32.5 / S300380 ppMachine 698a74c0880f · Outputs 3ffa68692c3asuperseded by Rev32.6 · zip re-issued S364 (R180: ledger lines withheld on export; tex, PDF and engine unchanged)
Rev32.4 / S300374 ppMachine 698a74c0880f · Outputs 3ffa68692c3asuperseded by Rev32.5 (same day)
Rev32.3 / S300374 ppMachine f58b326dfdfa · Outputs 351cfeaf496esuperseded by Rev32.4 (same day)
Rev32.2 / S300374 ppMachine f58b326dfdfa · Outputs 351cfeaf496esuperseded by Rev32.3 (same day)
Rev32.1 / S290367 ppMachine f58b326dfdfa · Outputs 351cfeaf496esuperseded by Rev32.2
Rev32 / S288363 ppMachine f58b326dfdfa · Outputs 351cfeaf496esuperseded by Rev32.1
Rev31.2 / S280354 ppMachine f58b326dfdfa · Outputs 351cfeaf496esuperseded by Rev32
Rev31.1 / S280354 ppMachine f58b326dfdfa · Outputs 351cfeaf496esuperseded by Rev31.2
Rev31 / S279353 ppMachine f58b326dfdfa · Outputs 351cfeaf496esuperseded by Rev31.1
Rev30 / S273344 ppMachine 66c7a549bbaa · Outputs 8fcd0a2f7daesuperseded by Rev31
Rev29 / S263319 ppMachine 66c7a549bbaa · Outputs 8fcd0a2f7daesuperseded by Rev30
Rev28 / S254280 ppMachine 66c7a549bbaa · Outputs 8fcd0a2f7daesuperseded by Rev29
Rev25 / S227222 ppMachine 66c7a549bbaa · Outputs 8fcd0a2f7daesuperseded by Rev28
Rev23 / S193202 ppMachine 727b0bf0 · Outputs 7f3bc6f92b74superseded by Rev25
Rev22 / S176192 ppMachine 727b0bf0 · Outputs ba333241316asuperseded by Rev23
Rev21 / S174189 ppMachine 727b0bf0 · Outputs ba333241316asuperseded by Rev22
Rev20.3 / S159b178 ppMachine 727b0bf0 · Outputs ede9aecc86b9superseded by Rev21
Rev20 / S159177 ppMachine 727b0bf0 · Outputs 68b0256asuperseded by Rev20.3
Rev19.1 / S136b160 pp727b0bf0superseded
Rev18 / S127160 pp437ce51bsuperseded
Rev18 / S126160 pp1fc4757esuperseded
Rev17 / S119—1fc4757esuperseded
Rev16 / S117—56737bad→1fc4757esuperseded
Rev16 / S116—56737badsuperseded

Source: the release index kept beside the frozen bundles; rows are printed as recorded there, oldest at the foot.