GoGoKo699 · Sep 27, 2026 · Sep 27, 2026
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,12 @@
 
 ## Unreleased — release preparation, 27 September 2026
 
+The final reader cleanup removes repeated reproduction and status prose, repairs
+the audit index and worked-certificate command, and marks the earlier review's
+implementation findings as dated. The core's “multiplicity-free” wording is
+corrected to an eigenspace statement; all equations, assumptions, thresholds,
+checker sources and scientific report fingerprints are unchanged by this cleanup.
+
 Corrected a small-scale interval-calibration exception without changing the
 analytic theorem, exact premises, or sufficient error tolerances. Added adaptive
 exact square-root enclosures, an explicit precision-work-limit outcome, and

diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 # Monster Correlation Rigidity
 
-Quantitative identification of the moonshine vertex operator algebra from near-extremal low-energy correlation coefficients. Research by Ruge Lin.
+Quantitative identification of the moonshine vertex operator algebra from near-extremal low-energy correlation coefficients under exact structural assumptions. Research by Ruge Lin.
 
 **Manuscript writing is on hold.** This repository contains research proofs, source comparisons, scope controls and reproducible certificates, not a drafted paper. The [current scientific status](docs/RESEARCH_STATUS.md) records the reviewed scope and remaining boundaries.
 
@@ -53,35 +53,22 @@ The current exact checks and documentation checks use Python's standard library:
 python verify_current.py
 ```
 
-For the complete checker inventory and the separate historical comparisons,
-use the [pinned reproduction environment](docs/REPRODUCIBILITY.md):
-
-```sh
-python -m pip install -r requirements-reproduce.txt
-python verify_current.py --all
-```
-
-The wrapper runs each selected checker in normal, `-O`, and `-OO` modes and
-compares the current exact report fingerprints. The original 63-, 74-, and
-23-check evidence is retained at its recorded versions. The repaired calibration
-has its own current fingerprint and additional scale-regression checks; see
-[calibration precision](docs/CALIBRATION_PRECISION.md) and
-[current report metadata](results/current_reports.json).
-
-The historical `verify.py` is **not** the current suite. Its strict byte replay
-and the unchanged bounded-portability comparison are reported separately.
-A historical floating-point mismatch remains a strict failure even when the
-current exact suite and bounded comparison pass. The reproduction guide explains
-exit codes and the optional strict-replay requirement.
+The command runs the selected checks in normal, `-O`, and `-OO` modes and
+compares current fingerprints. The [reproduction guide](docs/REPRODUCIBILITY.md)
+provides the complete inventory, pinned environment, and `--all` command.
+It reports historical strict byte replay and bounded portability separately:
+a floating-point mismatch remains a strict failure even if the bounded check passes.
+See [calibration precision](docs/CALIBRATION_PRECISION.md) for the current
+implementation and its explicit precision limit.
 
 No full Monster tensor is simulated. Finite checks do not verify the imported
 classification theorems or constitute independent human review.
 
 ## Earlier research and preservation
 
 Use [the archive and pending-work index](docs/ARCHIVE.md) for older gate-testing,
-circuit, and readout records. The dated ledgers now carry historical banners.
-Their older “current” labels do not supersede
+circuit, and readout records. It identifies the dated ledgers, including the
+unchanged import-era `STATUS.md`. Their older “current” labels do not supersede
 [the current scientific status](docs/RESEARCH_STATUS.md). Protected source notes,
 provenance archives, and saved evidence remain available unchanged; legacy
 mathematics may not render correctly in every GitHub viewer.
@@ -93,6 +80,5 @@ research, [the source map](llms.txt) points questions to the theorem, its exact
 assumptions, teaching anchors, verification, and historical boundaries.
 
 Original code and documentation retain the owner's [MIT license](LICENSE).
-Imported mathematical results remain attributed to their authors. **Manuscript
-writing remains on hold.** Potential collaborators, readers with corrections,
+Imported mathematical results remain attributed to their authors. Potential collaborators, readers with corrections,
 and other research inquiries may contact Ruge Lin at gogoko699@gmail.com.
diff --git a/audits/README.md b/audits/README.md
@@ -1,12 +1,28 @@
 # Audit record
 
-Two assistant proof-audit reports are available. They reconstruct arguments and check named primary-source inputs; they are not independent human/expert review or formal verification. Automated reports certify only their declared arithmetic and toy scopes.
+Start with [current scientific status](../docs/RESEARCH_STATUS.md). These are
+assistant reconstructions and finite checks, not independent human review or
+formal verification of the imported theorems.
 
-| Report | Audited base | Outcome and scope |
-|---|---|---|
-| [VOA-to-extremum audit](voa_extrema_audit.md) | `0376cbfb8e8640d1b278b5c55c4815d83f5b6ca1` | Bounded assignment: no blocking gap found in the reconstructed dependency; external complement-norm typo and strict zero-error endpoint errors recorded. |
-| [Robustness proof audit](robustness_proof_audit.md) | `a450e022781c4109609ff8f274787942c513df1a` | Completes the eight specified obligations in CURRENT.md; missing general-lemma parameter domains and inaccurate character-source locator recorded. Monster specialization passes with the explicit repairs. |
+## Selected quantitative result
+
+| Report | Scope |
+|---|---|
+| [Final bounded review](final_quantitative_review.md) | Theorem chain, source interfaces, calibration identities and sharpness; dated implementation findings. |
+| [Contribution comparison](quantitative_contribution_verdict.md) | Closest inspected prior results and attributed classification endpoint; bounded priority assessment. |
+| [Calibration erratum](calibration_scale_erratum.md) | Subsequent small-scale implementation repair, precision limit and preserved historical evidence. |
+
+Use [current reproduction](../docs/REPRODUCIBILITY.md) for commands and report
+fingerprints. The [maintenance work order](../work_orders/CURRENT.md) governs
+new work on this selected result.
 
-The [parameter-domain checker](../checks/audit_parameter_domains.py) supplies an exact small-group witness for an unrestricted proof step and a valid-domain control. Run it with normal Python, `-O`, and `-OO`; it is separate from the preserved root verifier. Its largest matrix is 60 by 60, and it uses no full Monster simulation.
+## Earlier gate-rigidity audits
+
+| Report | Audited base | Findings |
+|---|---|---|
+| [VOA-to-extremum audit](voa_extrema_audit.md) | `0376cbf` | Reconstructs the critical-point dependency; records a source typo and zero-error endpoint corrections. |
+| [Robustness audit](robustness_proof_audit.md) | `a450e02` | Records general-lemma parameter restrictions and a character-source correction; retains the Monster specialization with those repairs. |
 
-The original [bounded assignment](../work_orders/INDEPENDENT_AUDIT.md) and [complete work order](../work_orders/CURRENT.md) remain the scope authorities. Priority and probe-access feasibility remain unresolved. Reports name their base commit, distinguish source inputs from project deductions, and use PASS, ERROR, or UNRESOLVED with supporting reasoning. Historical research notes are not edited retroactively; corrections and downstream claim IDs are recorded in the reports.
+The [parameter-domain checker](../checks/audit_parameter_domains.py) accompanies
+the latter audit. The [archive index](../docs/ARCHIVE.md) separates these older
+gate-testing investigations and pending branches from the selected release scope.
diff --git a/audits/final_quantitative_review.md b/audits/final_quantitative_review.md
@@ -1,5 +1,7 @@
 # Final bounded review of the quantitative core
 
+> **Dated review.** The later [calibration erratum](calibration_scale_erratum.md) corrects a small-scale implementation exception without changing the theorem. Claims below about unchanged sources and fingerprints refer to the reviewed version; use [current reproduction](../docs/REPRODUCIBILITY.md) for today's code.
+
 26 September 2026. Reviewed head: `6d460bef7041f17cba1658c99d6797ef4b00275c` (PR28). Integration base: `98d4fe9fdab36d0b10176e0105b1283889c9b227`. This is a falsification-oriented reconstruction by the research assistant, not independent human review or proof-assistant verification. Manuscript drafting remains on hold.
 
 ## 1. Verdict

diff --git a/docs/QUANTITATIVE_CORE.md b/docs/QUANTITATIVE_CORE.md
@@ -1,23 +1,9 @@
 # Quantitative correlation criterion: research entry
 
-[Overview](../README.md) · [Current status](RESEARCH_STATUS.md) · [Physics learning path](learn/README.md)
+Read the [self-contained core proof](../research/uniform_extraction_core.md),
+then [sharpness and calibration](../research/sharpness_and_calibration.md).
+For context and verification, use [current scientific status](RESEARCH_STATUS.md),
+the [physics learning path](learn/README.md), and [reproduction](REPRODUCIBILITY.md).
 
-The active theorem and its exact hypotheses are in the
-[self-contained core proof](../research/uniform_extraction_core.md).
-[Sharpness and calibration](../research/sharpness_and_calibration.md) supplies the
-optimal field-distance exponent and seven-scalar preprocessing identities.
-The [precision implementation note](CALIBRATION_PRECISION.md) describes the
-scale-safe arithmetic used by the current code.
-
-Read [the contribution comparison](../audits/quantitative_contribution_verdict.md)
-for the role of prior variational methods and classification theorems. It is a
-bounded scholarly assessment, not an exhaustive originality guarantee.
-
-Run `python verify_current.py`. The [reproduction guide](REPRODUCIBILITY.md)
-explains current report fingerprints, frozen evidence, and the historical
-floating-point replay distinction. A failed sufficient certificate does not
-exclude moonshine, and coefficient checks do not verify the ambient VOA axioms.
-
-The older integration-stage version of this page is retained in
-[the pinned pre-release tree](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/ecd0623e9de41b49754b6ca16dc23752443143af/docs/QUANTITATIVE_CORE.md).
-Manuscript writing remains on hold.
+The [earlier integration-stage page](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/ecd0623e9de41b49754b6ca16dc23752443143af/docs/QUANTITATIVE_CORE.md)
+remains available as a historical record.
diff --git a/docs/RELEASE.md b/docs/RELEASE.md
@@ -2,47 +2,26 @@
 
 [Overview](../README.md) · [Current status](RESEARCH_STATUS.md) · [Changelog](../CHANGELOG.md)
 
-## Research package, not a manuscript
-
-This package contains the selected quantitative correlation-identification
-proof, sharpness and calibration results, the physics-first tutorial path,
-finite verification code, attributed source comparisons, and preserved research
-history. These notes prepare a future tagged release; they do not create or
-announce a tag, DOI, publication, or manuscript.
-
-The criterion is conditional on an exact simple unitary rational C2-cofinite
-holomorphic VOA of CFT type, central charge 24, no weight-one states, and actual
-fields with the stated properties. Its classification endpoint belongs to
-Abe–Lam–Yamada. Neither an experimental device nor all ambient axioms are
-identified by three untrusted measurements.
-
-## Changes since the pre-release audit
-
-The calibration routine now uses scale-aware exact root enclosures and returns
-an explicit inconclusive result at its work limit. The current verification
-entry point separates exact certificates, documentation, historical strict
-replay, and bounded portability. Pinned reproduction requirements, current
-fingerprints, citation metadata, and a source map accompany the code.
-
-The historical ledgers have visible status banners. Pinned links replace
-ambiguous references to unmerged work. The active path retains the approved
-Hopf-style native mathematics, Gaberdiel as the primary anchor, and Yamauchi as
-the secondary supplement. Original protected notes, archives, and saved reports
-remain intact.
-
-## Boundaries to retain in a future release announcement
-
-The code and mathematical checks do not verify imported classifications or
-constitute independent human/formal review. Generic variational methods and
-exact Ising-pair classification remain attributed to prior work. The square-root
-exponent is sharp; the numerical tolerances are sufficient, not claimed optimal.
-No practical field-finding algorithm or sample-complexity result is supplied.
-
-Historical floating-point byte replay may fail while the separate bounded
-comparison passes; see [reproduction](REPRODUCIBILITY.md). Legacy archive pages
-may contain unsupported macros; see [the archive index](ARCHIVE.md). Neither
-limitation should be relabeled a successful strict or universal rendering test.
-
-The original MIT license remains in force. Questions, corrections, and potential
-collaborations may be addressed to Ruge Lin at gogoko699@gmail.com.
-**Manuscript writing remains on hold.**
+This research package contains the quantitative correlation-identification
+proof, sharpness and calibration results, the physics-first tutorial,
+finite verification code, attributed source comparisons, and preserved history.
+Manuscript writing is on hold; these notes do not create or announce a tag,
+DOI, publication, or manuscript.
+
+The criterion assumes an exact simple unitary rational C2-cofinite holomorphic
+VOA of CFT type, central charge 24, no weight-one states, and actual fields
+satisfying the stated inequalities. The classification endpoint is the prior
+Abe–Lam–Yamada theorem. The field-distance exponent is sharp; the numerical
+tolerances are sufficient, not claimed optimal. No practical field-finding
+algorithm, sample complexity, or verification of ambient axioms from measurements
+is supplied.
+
+Consult the [changelog](../CHANGELOG.md) for changes and
+[reproduction](REPRODUCIBILITY.md) for exact certificates, historical replay,
+and their limits. Finite checks do not verify imported classifications or
+constitute independent human review. The [archive index](ARCHIVE.md) identifies
+legacy rendering limitations and pending branches outside the selected scope.
+
+Original code and documentation retain the [MIT license](../LICENSE).
+Questions, corrections, and potential collaborations: Ruge Lin,
+gogoko699@gmail.com.
diff --git a/docs/RESEARCH_STATUS.md b/docs/RESEARCH_STATUS.md
@@ -8,11 +8,7 @@ The selected quantitative result has a complete written proof, sharpness and cal
 
 Within an exact simple unitary rational C2-cofinite holomorphic VOA of CFT type with c=24 and V1=0, sufficiently near-extremal coefficients of two actual real weight-two primaries force exact orthogonal Ising subalgebras and hence the underlying moonshine VOA by the prior Abe–Lam–Yamada theorem. The square-root field-distance exponent is optimal. Seven certified scalar intervals suffice to remove known stress contamination and normalization from actual real weight-two inputs.
 
-The [core](../research/uniform_extraction_core.md), [precision results](../research/sharpness_and_calibration.md), [prior comparison](../audits/quantitative_contribution_verdict.md), and [final review](../audits/final_quantitative_review.md) are the active scientific path. The original 63- and 74-check reports and the 23-check audit record are preserved
-at their historical versions. The calibration implementation now has scale-aware
-square-root enclosures, updated current report fingerprints, and additional
-scale-regression tests. [The implementation erratum](../audits/calibration_scale_erratum.md)
-records the exact correction; it does not change the analytic theorem.
+The [core](../research/uniform_extraction_core.md), [precision results](../research/sharpness_and_calibration.md), [prior comparison](../audits/quantitative_contribution_verdict.md), and [final review](../audits/final_quantitative_review.md) are the active scientific path. The subsequent [implementation erratum](../audits/calibration_scale_erratum.md) repairs small-scale calibration and documents its precision limit without changing the analytic theorem.
 
 No additional essential lemma has been identified as missing for this bounded claim. The directed priority assessment is a revisable scholarly judgment, not an exhaustive firstness assertion or a guarantee of importance. The review was conducted by the research assistant, not an independent human referee or proof assistant.
 
@@ -24,22 +20,10 @@ The extended-six-sevenths implication, generic readout results, and other open P
 
 ## Evidence access
 
-Run `python verify_current.py` for the selected exact and documentation suite.
-Run `python verify_current.py --all` in the
-[pinned reproduction environment](REPRODUCIBILITY.md) for every current checker
-and the separate historical comparisons. [Current fingerprints](../results/current_reports.json)
-and [release integrity](../results/release_preparation.json) are distinct from
-the frozen historical manifests. Strict byte replay and bounded portability
-retain separate outcomes; no prior result or tolerance was overwritten.
-
-The small-scale exception identified in the pre-release audit is corrected by
-adaptive exact precision and covered by direct regression tests. The explicit
-square-root work limit returns an inconclusive certificate, not an unexplained
-exception or a positive result. All exact ambient, grading, reality, and
-known-stress assumptions remain supplied premises.
-
-The [archive index](ARCHIVE.md) is the entry for older status ledgers and pending
-research. The [release scope](RELEASE.md) describes what a future tag would contain;
-it does not announce a release.
+The [reproduction guide](REPRODUCIBILITY.md) provides current commands,
+fingerprints, and separate strict-versus-bounded historical replay outcomes.
+Original reports and tolerances are preserved. The [archive index](ARCHIVE.md)
+covers older ledgers and pending research; [release scope](RELEASE.md) defines
+the research package.
 
 Future work on the bounded result should respond to a concrete proof objection, source overlap, or documentation defect. Enlarging the theorem or beginning manuscript drafting requires a separate scope decision; an unresolved stronger conjecture is not by itself a reason to keep extending this paper's research indefinitely.
diff --git a/docs/learn/05_worked_certificate.md b/docs/learn/05_worked_certificate.md
@@ -103,12 +103,10 @@ The project does not rely only on this picture: its sharpness note constructs su
 
 Read [the core proof](../../research/uniform_extraction_core.md) in order Q0–Q4. Match Q0 to Lessons 1–2, Q2–Q3 to Lesson 3, and Q1/Q4 to Lesson 4. Then read [sharpness and calibration](../../research/sharpness_and_calibration.md).
 
-To reproduce the unchanged selected certificates, run from the repository root:
+To run the current certificates and documentation checks, use the repository root:
 
 ```sh
-python checks/verify_extraction_core.py
-python checks/verify_calibration_and_sharpness.py
-python checks/audit_quantitative_core.py
+python verify_current.py
 ```
 
-These are finite arithmetic and implementation checks, not proofs of the imported VOA classifications. No full Monster tensor is simulated.
+The [reproduction guide](../REPRODUCIBILITY.md) distinguishes current fingerprints from historical reports. These are finite arithmetic and implementation checks, not proofs of the imported VOA classifications. No full Monster tensor is simulated.