Resolve the research PR backlog with preserved archival records

CHANGELOG.md

@@ -1,5 +1,14 @@
 # Changelog
 
+## Unreleased — research-backlog disposition, 28 September 2026
+
+Recorded individual dispositions and immutable source links for PRs #12–27:
+PR12 is rejected as written, PR23 is superseded by the consolidated core, and
+the other fourteen proposals are archived as separate research. Added the
+normalization counterexample warning and retained PR26’s latest checker
+correction. Branches and commits are preserved; the selected proofs, checkers,
+scientific outputs and numerical tolerances are unchanged.
+
 ## Unreleased — release preparation, 27 September 2026
 
 The final reader cleanup removes repeated reproduction and status prose, repairs

README.md

@@ -66,7 +66,7 @@ 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,
+Use [the archive and research index](docs/ARCHIVE.md) for older gate-testing,
 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,

audits/README.md

@@ -25,4 +25,4 @@ new work on this selected result.
 
 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.
+gate-testing investigations and archived branches from the selected release scope.

docs/ARCHIVE.md

@@ -1,4 +1,4 @@
-# Archive and pending-work index
+# Archive and research dispositions
 
 [Overview](../README.md) · [Current scientific status](RESEARCH_STATUS.md) · [Reproduction](REPRODUCIBILITY.md)
 
@@ -36,20 +36,50 @@ The [license/source notice](../COPYING.md) 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.
 
-## Pending branches are not released dependencies
+## Disposition of earlier pull requests
 
-The links below point to fixed commits, so they remain unambiguous even if a
-branch later changes. They identify provenance or separate work, **not a review
-or a merge of those proposals**.
+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.
 
-| Record | Fixed destination | Relation to the current theorem |
-|---|---|---|
-| Earlier two-field bridge, PR23 | [Selection note](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/ac5acad7cad4a63f0d879e4ea716f5a27c3bcd61/research/two_field_selection.md) | Historical provenance. The active core states its own proof and does not require this unmerged file. |
-| Extended-six-sevenths proposal, PR27 | [Existence proposal](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/576fd31b53862d0b7667a723330ae27c859cc774/research/extended_six_sevenths_forces_ising.md) | Separate proposed sufficient hypothesis; not a premise or certified part of the release scope. |
-| General-readout scope audit, PR22 | [Readout comparison](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/d2b85266d4273ae7c6ce32d87e0b6060a881b87e/audits/readout_scope_audit.md) | Separate readout question; not the Monster-specific identification claim selected here. |
+**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.
 
-Other pending pull requests remain separate as well. The release is not a
-certification of the full research backlog. Manuscript writing remains on hold.
+| PR | Disposition | Fixed record | Reason |
+|---|---|---|---|
+| [#12](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/pull/12) | Rejected as written | [Record](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/b0d7224bbc20d0d8aeb217e1caf4014fd3c298d1/research/15_mixed_action_and_null_relations.md) | The proposed mixed-action formula and necessary null relation fail on the explicit zero-state counterexample in PR13. |
+| [#13](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/pull/13) | Archived separate research | [Record](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/30279b1b0e030f5ab23f4e35e3cb85a01fa9c996/research/15_mixed_action_normalization_audit.md) | Counterexample to PR12; preserved as corrective evidence. Its old integration edits would restore superseded status and work-order text. |
+| [#14](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/pull/14) | Archived separate research | [Record](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/e608dec00a26c714a68ec33b9463faadacdce573/research/16_mixed_trace_reconstruction.md) | Separate reconstruction of the corrected mixed coupling and alternating fifth trace; not a dependency of the current core. |
+| [#15](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/pull/15) | Archived separate research | [Record](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/5ab0ade8e5c99580a675c196c7c8342095146548/research/17_mixed_response_closure.md) | Separate scalar-response redundancy and operator-isotropy result in the earlier higher-OPE programme. |
+| [#16](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/pull/16) | Archived separate research | [Record](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/9254b954ed7e3d1fb2033175e66552fdf0092823/research/18_primary_three_bracket.md) | Separate primary-three interactions and compatibility analysis; its later independence question is addressed in PR21. |
+| [#17](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/pull/17) | Archived separate research | [Record](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/fde92a04964def3a12c5a8cc75362c4fced96c73/research/19_odd_mode_completeness.md) | Separate odd-operator completeness result; used by later exploratory branches, not by the selected theorem. |
+| [#18](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/pull/18) | Archived separate research | [Record](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/0b3a13d4ab64a0b5e106796530126e9d43f8cb47/research/20_forced_weight_five_channel.md) | Separate forced weight-five interaction result; its physical channel identification uses PR17. |
+| [#19](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/pull/19) | Archived separate research | [Record](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/b1beb68f18bd64e31b6efc21d17bea3b21c8e644/research/21_canonical_thermal_field.md) | Separate canonical weight-twelve thermal field and response calculation. |
+| [#20](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/pull/20) | Archived separate research | [Record](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/a6badedc1046d05c8c3a7bb5c78d1982d296a234/research/22_thermal_silence_complete_readout.md) | Separate complete-readout and thermal-silence result; its odd completeness uses PR17. |
+| [#21](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/pull/21) | Archived separate research | [Record](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/71f09cedc8e0d846409ca4ea3614e46bbf9f833a/research/24_operator_factorization_closure.md) | Separate positive-norm redundancy certificate for an earlier operator equation; the current proof does not need fifth-order trace inputs. |
+| [#22](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/pull/22) | Archived separate research | [Record](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/d2b85266d4273ae7c6ce32d87e0b6060a881b87e/audits/readout_scope_audit.md) | Separate general-readout scope correction; current main already excludes a Monster-specific readout claim. |
+| [#23](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/pull/23) | Superseded | [Record](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/ac5acad7cad4a63f0d879e4ea716f5a27c3bcd61/research/two_field_selection.md) | The quantitative two-field argument is consolidated and extended in the current core and its sharpness/calibration companion. |
+| [#24](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/pull/24) | Archived separate research | [Record](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/367eb4cff1bb6ebc3f5e99182cd10391d5106b5d/research/ising_partner_landscape.md) | Separate Ising-partner landscape obstruction to local ascent; the current theorem does not propose such a search algorithm. |
+| [#25](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/pull/25) | Archived separate research | [Record](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/0a2dbada7b739396934d5042da7a37880e15816a/research/potts_local_maximum.md) | Separate extended-Potts local-maximum realization and supplied escape curve; consistent with the selected criterion. |
+| [#26](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/pull/26) | Archived separate research | [Record](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/18c383925498f349dd395fb2fbd2b445abcf58b0/research/mixed_square_extraction.md) | Separate conditional mixed-square construction and Ising-free subtheory control; preserve the latest root-based checker correction at this head. |
+| [#27](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/pull/27) | Archived separate research | [Record](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/576fd31b53862d0b7667a723330ae27c859cc774/research/extended_six_sevenths_forces_ising.md) | 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.
+Manuscript writing remains on hold.
 
 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

docs/RELEASE.md

@@ -20,7 +20,7 @@ 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.
+legacy rendering limitations and archived branches outside the selected scope.
 
 Original code and documentation retain the [MIT license](../LICENSE).
 Questions, corrections, and potential collaborations: Ruge Lin,

docs/RESEARCH_STATUS.md

@@ -16,14 +16,14 @@ No additional essential lemma has been identified as missing for this bounded cl
 
 The theorem does not prove that every member of the bare ambient class is moonshine. It does not find the required fields, verify the exact ambient axioms from measurements, control approximate VOA axioms or uncertain conformal grades, or reconstruct an implemented physical system. These stronger questions are outside the stated claim, not hidden gaps assigned to manuscript drafting.
 
-The extended-six-sevenths implication, generic readout results, and other open PRs are separate research records and are not premises of this core. In particular the rejected normalization-dependent condition has not been integrated. This review does not certify every historical research branch.
+The extended-six-sevenths implication, generic readout results, and other archived proposals are separate research records and are not premises of this core. In particular the rejected normalization-dependent condition has not been integrated. This review does not certify every historical research branch.
 
 ## Evidence access
 
 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
+covers older ledgers and archived 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.

docs/background_claims.md

@@ -41,19 +41,19 @@ A common source of overclaim is the word “finite”: a finite list of coeffici
 
 The research-completion boundary is not “every stronger theorem is proved.” It is that every scientific assertion needed by the CHOSEN contribution and its framing has proof or accurately scoped primary evidence. No essential reasoning is to be left for the manuscript-writing stage.
 
-## Separate pending work, not evidence for the selected release
+## Archived separate work, not evidence for the selected release
 
 The following entries are deliberately outside the active tables. They are not
 premises of the correlation criterion and have not been merged or certified as
 part of this release-preparation pass. IDs are retained to make older references
-interpretable; their presence is not an endorsement of the pending claims.
+interpretable; their presence is not an endorsement of the archived claims.
 
 | Earlier ID | Pinned record | Role and boundary |
 |---|---|---|
 | A05 / C05 | [Extended-six-sevenths proposal, PR27](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/576fd31b53862d0b7667a723330ae27c859cc774/research/extended_six_sevenths_forces_ising.md) | Separate proposed existence implication with additional module/trace inputs; not released evidence or a premise of the selected theorem. |
 | B08 | [Readout-scope audit, PR22](https://github.com/GoGoKo699/Monster-Correlation-Rigidity/blob/d2b85266d4273ae7c6ce32d87e0b6060a881b87e/audits/readout_scope_audit.md) | Separate general-readout comparison; not part of the selected release proof. |
 
-The [archive index](ARCHIVE.md) distinguishes historical provenance, pending
+The [archive index](ARCHIVE.md) distinguishes historical provenance, archived
 branches, and the authoritative current path. Do not merge unrelated results
 merely to resolve a file reference.
 

llms.txt

@@ -31,7 +31,7 @@ Monster-tensor simulation.
 
 ## Historical and release boundaries
 
-- [Archive index](docs/ARCHIVE.md): older status ledgers and pending branches do not supersede the active status or supply silently imported release dependencies.
+- [Archive index](docs/ARCHIVE.md): older status ledgers and archived branches do not supersede the active status or supply silently imported release dependencies.
 - [Release scope](docs/RELEASE.md): research package and exact assumptions, not a paper or release announcement.
 - [Citation](CITATION.cff): cite the repository and exact commit used; do not invent a paper, DOI, external review, or proof-assistant certificate.
 - [License](LICENSE): original MIT license for repository code and documentation, with imported results attributed to their authors.