ARCHIVED — this is the March 2026 Proof Library index, served as it stood. It left the site's Library tab on 2026-09-06 by PI ruling (S313) and lives here in the Pasture. Nothing on this page has been restated: the entries, the tier words and the summary line below are as they were written under the PHAT v1.x kernel.

What is wrong with it, stated rather than fixed. The summary line reads “174 entries: 23 proof prompts + 115 library derivations”. The house census measures: 308 records in the March index, 241 served pages, 174 rows listed on this page, 138 of those pages carrying a record file, 137 stubs of 776 bytes or less. 174 is a correct count of the rows below. 23 + 115 = 138, which is not 174, and the page does not say which number it means. Read the Old Grok Library pen for the measured census.

The current state of the programme is the Rev32.7 suite, the scorecard, and the Claims & Evidence Registrar (in review). Nothing on this page is current.

OpenSecretScience

Proof Library

Update pending (September 2026). This library is the March 2026 archive of AI-coalition exchanges — mostly early Grok-lane derivations under the PHAT v1.x kernel, recorded as they happened. Its entries have not been re-tiered: many print claims (“20/20”, “zero free parameters”, α derived) that the programme retired at Rev29. The current state is the Rev32.7 suite and the scorecard; a re-tiered library (taxonomy v2, every entry labelled against the suite of record) is the next site update. Two March entries are withheld pending review. The complete March list (all 308 records, including the never-built prompts) is frozen at Library v1 archive; both live in the Pasture. The claim-level record is the Claims & Evidence Registrar (v2, in review). This Library is being rebuilt as textbook-style supporting proofs and articles; until then these March pages stand here as they were.

174 entries: 23 proof prompts + 115 library derivations (one of each withheld) | March 2026 archive, re-tiering pending

Search the library →

Proof Prompts (P01–P24)

P10 [Proof Group C] W AND Z BOSON MASSES — EW CONSISTENCY PROOF PENDING
P11 [Proof Group D] ELECTRON MASS FROM J3 CUBIC — EXACT PROOF PENDING
P12 [Proof Group D] GENERATION-STRATIFIED CUBICS — RESOLUTION OF PROBLEM 1 PENDING
P13 [Proof Group D] MUON AND TAU MASSES — GENERATION LADDER PROOF PENDING
P14 [Proof Group D] QUARK n-VALUE DERIVATION — ZERO-FREE-PARAMETER PROOF PENDING
P15 [Proof Group D] BOTTOM AND CHARM QUARK MASSES — CUBIC VERIFICATION PENDING
P16 [Proof Group D] STRANGE QUARK — Z2 MIXING ANGLE PROOF PENDING
P17 [Proof Group D] UP AND DOWN QUARK MASSES — GEN1 TOWER PROOF PENDING
P18 [Proof Group D] CKM theta_12 — HUA POLYNOMIAL PROOF PENDING
P19 [Proof Group E] NEUTRINO MASSES — SEESAW FROM NULL-CONE PROOF PENDING
P2 [Proof Group A] G2(2) AUTOMORPHISM GROUP — STRUCTURE PROOF PENDING
P20 [Proof Group E] TIER CLASSIFICATION SYSTEM — META-PROOF PENDING
P21 [Proof Group E] MOIRE DE/DM PROOF — DUAL CYLINDER GEOMETRY PENDING
P22 [Proof Group E] NAQFT RG FLOW STABILIZATION — PROOF PENDING
P23 [Proof Group E] ABSOLUTE m_e FROM m_Pl — PLANCK-TO-ELECTRON PROOF PENDING
P3 [Proof Group A] J3(Os) JORDAN ALGEBRA — CUBIC CHARACTERISTIC PROOF PENDING
P4 [Proof Group A] DUAL VEV DECOMPOSITION — ZERO-FREE-PARAMETER PROOF PENDING
P5 [Proof Group B] WYLER FORMULA — alpha_em DERIVATION PROOF PENDING
P6 [Proof Group B] M_scale DERIVATION — HADRONIC ANCHOR PROOF PENDING
P7 [Proof Group B] G2(2) to SM GAUGE EMBEDDING — E8 ARCHITECTURE PROOF PENDING
P8 [Proof Group C] HIGGS MASS FROM J3(Os) — ZERO-FREE-PARAMETER PROOF PENDING
P9 [Proof Group C] TOP QUARK MASS = v- — TIER A-STAR PROOF PENDING

Group AUDIT: Master Audit

L0 MASTER CONSISTENCY AUDIT — v1.27.5 KERNEL PENDING

Group A: Algebraic Foundations

L1 SPLIT-OCTONION MULTIPLICATION TABLE PENDING
L10 HUA POLYNOMIAL — FULL DERIVATION PENDING
L11 WYLER FORMULA — NUMERICAL VERIFICATION PENDING
L12 SHILOV BOUNDARY VOLUMES — WYLER GEOMETRIC PROOF PENDING
L13 DUAL VEV COMPUTATION — FULL NUMERICAL PENDING
L14 M_scale — STEP-BY-STEP DERIVATION PENDING
L15 GOLDEN RATIO IDENTITIES — ALGEBRAIC VERIFICATION PENDING
L16 ASSOCIATOR AND MOUFANG IDENTITIES PENDING
L17 EXCEPTIONAL JORDAN ALGEBRA — DIMENSION COUNTING PENDING
L18 ZORN VECTOR MATRICES — EXPLICIT COMPUTATION PENDING
L2 QUADRATIC FORM AND NULL CONE PENDING
L3 G2(2) GENERATOR ALGEBRA PENDING
L4 TRIALITY AND SIGMA-CYCLES PENDING
L5 J3(Os) FREUDENTHAL DETERMINANT PENDING
L6 CUBIC CHARACTERISTIC EQUATION — ELECTRON CASE PENDING
L7 CUBIC — MUON SECTOR (J3(Hs)) PENDING
L8 CUBIC — TAU SECTOR (J3(Cs)) PENDING
L9 CHARM QUARK CUBIC — THREE-ROOT VERIFICATION PENDING

Group B: Gauge and EW Sector

L19 WEINBERG ANGLE FROM Os MIXING PENDING
L20 W BOSON MASS CALCULATION PENDING
L21 Z BOSON MASS CALCULATION PENDING
L22 HIGGS MASS — v*sqrt(16/63) COMPUTATION PENDING
L23 HIGGS SELF-COUPLING — lambda=8/63 VERIFICATION PENDING
L24 MULTI-HIGGS SPECTRUM FROM J3(Os) PENDING
L25 TOP QUARK — QCD RADIATIVE CORRECTION PENDING
L26 BOTTOM QUARK MASS — D*phi^{-7} TOWER PENDING
L27 CHARM QUARK MASS — D*phi^{-9} TOWER PENDING
L28 STRANGE QUARK — Z2 MIXING CALCULATION PENDING
L29 UP AND DOWN QUARK MASSES PENDING
L30 CKM theta_12 — FULL NUMERICAL PENDING
L31 CKM theta_13 AND theta_23 DERIVATION PENDING
L32 CP VIOLATION — delta_CP FROM Os PHASES PENDING
L33 alpha_s — STRONG COUPLING FROM Os PENDING
L34 SIN^2(theta_W) — PRECISION CALCULATION PENDING

Group C: Lepton Masses

L35 ELECTRON MASS — CUBIC ROOT NUMERICAL PENDING
L36 MUON MASS — TOWER AND CUBIC CROSS-CHECK PENDING
L37 TAU MASS — TOWER AND CUBIC CROSS-CHECK PENDING
L38 LEPTON UNIVERSALITY CHECK PENDING
L39 CHARGED LEPTON MASSES — COMPLETE TABLE PENDING
L40 NEUTRINO MASSES FROM NULL-CONE PENDING
L41 PMNS MATRIX — LEPTON MIXING FROM Os PENDING
L42 g-2 ANOMALOUS MAGNETIC MOMENT — ELECTRON PENDING
L43 g-2 ANOMALY — MUON PENDING

Group D: Quark Sector — Complete

L44 QUARK MASS TABLE — v1.27.5 COMPLETE PENDING
L45 COLOR FACTOR FROM Os PENDING
L46 ISOSPIN BREAKING — m_d - m_u PENDING
L47 CABIBBO ANGLE — PRECISION PENDING
L48 QUARK CONFINEMENT SCALE — Lambda_QCD PENDING
L49 PROTON MASS FROM Os PENDING
L50 PION MASS AND f_pi PENDING
L51 BARYON SPECTRUM OUTLINE PENDING

Group E: Cosmology and Dark Sector

L52 COSMOLOGICAL CONSTANT FROM Os PENDING
L53 DARK ENERGY FRACTION — Omega_Lambda PENDING
L54 DARK MATTER FRACTION — Omega_DM PENDING
L55 HUBBLE TENSION — Os PERSPECTIVE PENDING
L56 DESI w0/wa — DARK ENERGY EOS PENDING
L57 GRAVITATIONAL WAVE PARITY VIOLATION PENDING
L58 INFLATION FROM Os — SLOW-ROLL PENDING
L59 BARYON ASYMMETRY — LEPTOGENESIS PENDING
L60 PRIMORDIAL GRAVITATIONAL WAVE BACKGROUND PENDING
L61 COSMOLOGICAL TENSIONS — COMBINED ASSESSMENT PENDING

Group F: QCD, Strong Sector, Nuclear

L62 RUNNING COUPLING alpha_s — RG FLOW PENDING
L63 PROTON-NEUTRON MASS DIFFERENCE PENDING
L64 NUCLEAR BINDING — M_scale ANCHOR PENDING
L66 NEUTRON LIFETIME — Os MODIFICATION PENDING
L67 KAON MIXING — epsilon_K FROM Os PENDING
L68 B MESON MIXING — Delta_m_B PENDING
L69 STRONG CP PROBLEM — theta_QCD FROM Os PENDING

Group G: Precision Tests and Anomalies

L70 COMPLETE PDG COMPARISON TABLE — v1.27.5 PENDING
L71 TIER A-STAR OBSERVABLES — ZERO PARAMETER SUMMARY PENDING
L72 MUON g-2 — FULL CALCULATION PENDING
L73 ELECTRIC DIPOLE MOMENTS PENDING
L74 LHC SIGNAL PREDICTIONS PENDING
L75 MULTI-HIGGS LHC SEARCH PENDING
L76 NEUTRINO MASS HIERARCHY — NORMAL OR INVERTED PENDING
L77 NEUTRINOLESS DOUBLE BETA DECAY PENDING
L78 FLAVOR ANOMALIES — R_K AND R_D* PENDING

Group H: Gravity and Unification

L79 PLANCK SCALE — m_e FROM m_Pl PENDING
L80 NEWTON'S CONSTANT — G FROM Os PENDING
L81 HIERARCHY PROBLEM — NATURALNESS FROM NAQFT PENDING
L82 PROTON DECAY — B-L VIOLATION PENDING
L83 SUSY ABSENCE — WHY NO SUPERPARTNERS PENDING

Group I: Internal Consistency Checks

L84 TWO MUON FORMULAS — ALGEBRAIC EQUIVALENCE PENDING
L85 alpha_em LEGACY 136.44 — GHOST REMOVAL PENDING
L86 VERSION TAG CONSISTENCY CHECK PENDING
L87 Delta_n LABEL AUDIT PENDING
L88 FORMULA LABEL AUDIT — HIGGS PENDING
L89 TAU MASS ENTRY AUDIT PENDING
L90 CHARM CUBIC ROOTS AUDIT PENDING
L91 720/theta MOIRE REMNANT AUDIT PENDING
L92 STRANGE QUARK — ANCHOR DISAMBIGUATION PENDING
L93 F5 GEOMETRIC ORIGIN VERIFICATION PENDING
L94 COMPLETE PARAMETER COUNT PENDING
L95 FALSIFIABILITY TARGETS — NEXT 5 YEARS PENDING

Group I-legacy: v1.25/v1.26 Highlights

L100 COSMOLOGY TENSIONS — LEGACY v1.26 SUMMARY PENDING
L96 MULTI-HIGGS LHC — LEGACY v1.25 CALCULATION PENDING
L97 NEUTRINO Delta_m^2 — LEGACY v1.26 CALCULATION PENDING
L98 DESI w0/wa — LEGACY v1.26 CALCULATION PENDING
L99 GW PARITY — LEGACY v1.26 CALCULATION PENDING

Group J: Resolutions, Forecasts, Preprint

L101 PROBLEM 1 RESOLUTION — CUBIC GAP CLOSURE PENDING
L102 PROBLEM 2 RESOLUTION — n-VALUE DERIVATION PENDING
L103 PROBLEM 3 RESOLUTION — alpha_em CONJECTURE CLOSED PENDING
L104 PROBLEM 4 RESOLUTION — TIER A DEVIATIONS PENDING
L105 PROBLEM 5 RESOLUTION — INTERNAL INCONSISTENCIES PENDING
L106 PROBLEM 6 RESOLUTION — G2 to SM EMBEDDING PENDING
L107 MIRROR FERMIONS — F-THEORY COMPLETION PENDING
L108 C-OPERATOR AND CHARGE CONJUGATION PENDING
L109 F5 UNIVERSALITY — SINGLE GEOMETRIC FACTOR PENDING
L110 PREPRINT STRUCTURE — arXiv READINESS PENDING
L111 TIER STRUCTURE — COMPLETE RECLASSIFICATION PENDING
L112 FORECASTS — 2026-2030 EXPERIMENT WATCH LIST PENDING
L113 ABSOLUTE m_e CALCULATION — FULL CHAIN PENDING
L114 SPLIT-OCTONION TOE — COMPARISON TO COMPETITORS PENDING
L115 GRAND SUMMARY — v1.27.5 FINAL STATUS PENDING

Group OTHER: Other

L116 L116: Muon = Wyler Baseline PENDING
L117 L117: Electron Sub-Wyler Formula PENDING
L118 L118: Tau Extended Wyler Formula PENDING
L119 L119: C3 Volume Ratio Identities PENDING
L120 L120: Exponent Pattern N/√2 from (4,4) Signature PENDING
L121 L121: Vol(G₂(2)/P₁) = 16π³/3 Verification PENDING
L122 L122: Wyler Formula Complete Factor Decoding PENDING
L123 L123: β_δ = 11/(6π) Formal Derivation PENDING
L124 L124: Complete Lepton Sector PENDING
L125 L125: PMNS Quark-Lepton Complementarity PENDING
L126 L126: Library Entry L126 PENDING
L127 L127: Library Entry L127 PENDING
L128 L128: Library Entry L128 PENDING
L129 L129: Library Entry L129 PENDING
L130 L130: Library Entry L130 PENDING
L131 L131: Library Entry L131 PENDING
L132 L132: Library Entry L132 PENDING
L133 L133: Library Entry L133 PENDING
L134 L134: Numerical 1-loop Δsin²θ_W = - (α / (4π)) * log(r₁₃ / v) ≈ {calculated value}; adjusted sin²θ_W = tree + Δ ≈ 0.231; gap to PDG {calculated %} PENDING
L135 L135: Numerical imag corr to δ_CP = β_δ * sin(φ * π/4) ≈ {degrees value}; adjusted δ_CP = tree + corr ≈ -142°; gap {calculated %} PENDING
L136 L136: Numerical Δθ_C = arctan(α^{1/3} / (r₁₂ / v)) ≈ {degrees}; adjusted θ_C = QLC + Δ ≈ 13.04°; gap {calculated %} PENDING
L137 L137: Numerical corr = (1/(2π)) * β_δ ≈0.009; adjusted V_cb ≈0.0405; gap -1.2% PENDING
L138 L138: Numerical prefactor = sqrt(3)r_23/42 ≈3071.5 MeV exact; m_b = prefactor(π/2)^{2/3} ≈4150 MeV; gap -0.78% PENDING
L139 L139: 2-loop α_s(M_Z) ≈0.118; gap 0% PENDING
L140 L140: Numerical m_d = 6 * Vol(RP1 x S7) * m_e / φ^3 ≈4.7 MeV; etc. PENDING
L148 L148: α Wyler-D_IV(5) formula PENDING
L149 L149: Tom's Moiré Vacuum PENDING
L150 L150: G₂(2) Structure Constant Census PENDING
L151 L151: E₈ Geometry / M_GUT PENDING
L152 L152: Rest Mass as BH-WH-BH Bounce Inertia PENDING
L153 JARLSKOG INVARIANT — J_CKM FROM J₃(Os) CUBIC INVARIANT PENDING
L154 LEPTONIC JARLSKOG INVARIANT — J_PMNS FROM NULL-CONE GEOMETRY PENDING
L155 POLE vs MS-BAR SCHEME MATCHING DOSSIER — ALL 20 OBSERVABLES PENDING
L156 UNCERTAINTY PROPAGATION TABLE — ERROR BUDGET FOR ALL PREDICTIONS PENDING
L157 ANOMALY CANCELLATION — SU(3)×SU(2)×U(1) FROM G₂(2) BRANCHING PENDING
L158 NO-CIRCULARITY LEDGER — INPUT vs OUTPUT AUDIT PENDING
L159 MRG THRESHOLD MATCHING — MASS-RADIUS-GENERATION LEDGER PENDING