Overview · Current scientific status · Reproduction
This index collects earlier research, corrections, and fixed source records. The result map covers the correlation criterion.
| Records | What they contain |
|---|---|
| Import-era ledger, gate-testing ledger, physical-selection ledger | Dated scope and claim decisions from before selection of the current core. |
| Notes 01, 02, 03, 04, 05 | Protected original local/global gate-rigidity and transport derivations. |
| Notes 06, 07, 08, 09 | Access assumptions and bounded circuit constructions, not a complete practical Monster test. |
| Notes 10, 11 | Earlier normalizer and support-test comparisons and their limitations. |
| Notes 12, 13, 14 | Physical-selection and higher-weight/OPE investigations that are not dependencies of the current core. |
| VOA audit, robustness audit | Earlier corrections and their source-interface depth. Consult these before relying on an uncorrected historical statement. |
| Replay erratum, integration dossier | Recorded verification and integration stages, not current release announcements. |
Legacy rendering: all fourteen numbered notes and the two older mathematical audits retain their original notation. Some macros can fail in GitHub viewers. Use the source view for those records. The protected notes and provenance ZIPs have not been rewritten to conceal either display defects or scientific errata. The active learning/proof path uses the approved native-math display style.
The license/source notice describes retained archives and external attribution. Frozen manifests must be checked against their own recorded versions; do not overwrite them to match a later layout change.
The 28 September 2026 review compared PRs #12–27 with the selected core at
7b9b14dc5d2a693b8607332089407f11a08f84a9. The table records their dispositions
and fixes each research record to its inspected head. Branches and commits are
retained. Closing a proposal does not erase its files or discussion; a separate
research result can be revisited through a new, focused integration.
Archived means outside the selected quantitative criterion. It is neither a rejection of the mathematics nor a fresh proof or reproducibility audit of every archived result. No new theorem or scientific checker from these branches is needed by the current core.
| PR | Disposition | Fixed record | Reason |
|---|---|---|---|
| #12 | Rejected as written | Record | The proposed mixed-action formula and necessary null relation fail on the explicit zero-state counterexample in PR13. |
| #13 | Archived separate research | Record | Counterexample to PR12; preserved as corrective evidence. Its old integration edits would restore superseded status and work-order text. |
| #14 | Archived separate research | Record | Separate reconstruction of the corrected mixed coupling and alternating fifth trace; not a dependency of the current core. |
| #15 | Archived separate research | Record | Separate scalar-response redundancy and operator-isotropy result in the earlier higher-OPE programme. |
| #16 | Archived separate research | Record | Separate primary-three interactions and compatibility analysis; its later independence question is addressed in PR21. |
| #17 | Archived separate research | Record | Separate odd-operator completeness result; used by later exploratory branches, not by the selected theorem. |
| #18 | Archived separate research | Record | Separate forced weight-five interaction result; its physical channel identification uses PR17. |
| #19 | Archived separate research | Record | Separate canonical weight-twelve thermal field and response calculation. |
| #20 | Archived separate research | Record | Separate complete-readout and thermal-silence result; its odd completeness uses PR17. |
| #21 | Archived separate research | Record | Separate positive-norm redundancy certificate for an earlier operator equation; the current proof does not need fifth-order trace inputs. |
| #22 | Archived separate research | Record | Separate general-readout scope correction; current main already excludes a Monster-specific readout claim. |
| #23 | Superseded | Record | The quantitative two-field argument is consolidated and extended in the current core and its sharpness/calibration companion. |
| #24 | Archived separate research | Record | Separate Ising-partner landscape obstruction to local ascent; the current theorem does not propose such a search algorithm. |
| #25 | Archived separate research | Record | Separate extended-Potts local-maximum realization and supplied escape curve; consistent with the selected criterion. |
| #26 | Archived separate research | Record | Separate conditional mixed-square construction and Ising-free subtheory control; preserve the latest root-based checker correction at this head. |
| #27 | Archived separate research | Record | Alternative sufficient hypothesis using an actual extended six-sevenths subalgebra; forces one Ising vector, not the orthogonal pair required at the endpoint. |
Normalization warning: PR12's proposed condition is rejected as written, not merely deferred. PR13 supplies a zero-state counterexample in the known moonshine algebra. PR14 separately reconstructs the corrected mixed coupling and alternating fifth-trace component; it does not reconstruct every term of the full fifth trace. The selected core uses none of these disputed fifth-trace inputs. The lower-order results in historical Notes 12–14 are not rejected by this counterexample.
PR26's fixed record uses its actual latest head 18c3839, including the
root-based checker correction. Its original PR description names an earlier
head; the fixed link above is authoritative for this archival disposition.
The import-era STATUS.md is protected by the original seed verifier and remains
byte-identical, including its dated headings. Use this index and the current
scientific-status page rather than interpreting its old “current” label as a
statement about the release candidate.