From 3c1a74ed4952e40c16b895d541079c34100aeb38 Mon Sep 17 00:00:00 2001 From: Ruge Lin Date: Mon, 28 Sep 2026 16:05:58 +0800 Subject: [PATCH] Record dispositions for the sixteen exploratory pull requests Reject PR12 as written with pinned corrective evidence, mark PR23 superseded by the consolidated core, and archive fourteen separate research proposals. Preserve all scientific sources, branch heads and historical outputs; update active navigation and declare source hashes. --- CHANGELOG.md | 9 +++ README.md | 2 +- audits/README.md | 2 +- docs/ARCHIVE.md | 54 ++++++++++++++---- docs/RELEASE.md | 2 +- docs/RESEARCH_STATUS.md | 4 +- docs/background_claims.md | 6 +- llms.txt | 2 +- results/release_preparation.json | 94 ++++++++++++++++++++++++++------ snapshot_manifest.json | 2 +- 10 files changed, 138 insertions(+), 39 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 8fce2b8..7cac2cb 100644 --- a/CHANGELOG.md +++ b/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 diff --git a/README.md b/README.md index 6be8867..d00225e 100644 --- a/README.md +++ b/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, diff --git a/audits/README.md b/audits/README.md index 1188769..7dd1655 100644 --- a/audits/README.md +++ b/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. diff --git a/docs/ARCHIVE.md b/docs/ARCHIVE.md index b795f76..968d262 100644 --- a/docs/ARCHIVE.md +++ b/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 diff --git a/docs/RELEASE.md b/docs/RELEASE.md index 62fd025..b13f34f 100644 --- a/docs/RELEASE.md +++ b/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, diff --git a/docs/RESEARCH_STATUS.md b/docs/RESEARCH_STATUS.md index b4652f0..9975c18 100644 --- a/docs/RESEARCH_STATUS.md +++ b/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. diff --git a/docs/background_claims.md b/docs/background_claims.md index b6bfc6c..6421c14 100644 --- a/docs/background_claims.md +++ b/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. diff --git a/llms.txt b/llms.txt index bb7c063..6e1ac1e 100644 --- a/llms.txt +++ b/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. diff --git a/results/release_preparation.json b/results/release_preparation.json index aa8c24d..760b089 100644 --- a/results/release_preparation.json +++ b/results/release_preparation.json @@ -17,8 +17,8 @@ }, { "path": "README.md", - "bytes": 5897, - "sha256": "4e95601f3c2bfef00b40bc942600c184e15263208878463e747a4053d235662f", + "bytes": 5893, + "sha256": "a07a0b63763008eadace6114ad87f059aaa1f72d6d04e67be36fffcb61a9dc9e", "previous_sha256": "07c05d6314d03e76b786acf32d85d8533a5a5f5b350a06268e865df3ec8d2f5f" }, { @@ -29,8 +29,8 @@ }, { "path": "audits/README.md", - "bytes": 1655, - "sha256": "4436d5f8821a276dac460801e5b42ac89c4b0b22e952f1b0dfe5c3e6112cc0b5", + "bytes": 1656, + "sha256": "b9d102e695bdd18ac894a428bd39e781b3f1f177e01adebbb042e5fc7ebd5e13", "previous_sha256": "11e8429fe585af944f71f3599503ee72dccbb8d121e9c5838b04a3fc57a8d9b4" }, { @@ -71,14 +71,14 @@ }, { "path": "docs/RESEARCH_STATUS.md", - "bytes": 3397, - "sha256": "de844c073f84e74287cf585e9fb254b5719bb8bee7f693a814952282a2abe128", + "bytes": 3408, + "sha256": "771629e0f5921874f3f35e43782909e8a06078bd246be373005ae197cdb62d72", "previous_sha256": "8c6a616753f0a4011c10cc1256077979bfd7c3d1d304efeb54091bfe64fc3ef5" }, { "path": "docs/background_claims.md", - "bytes": 10602, - "sha256": "5ab91dc7fda957f10b6f5265ca91f11a5f6b5d25d5b9ddf81f525e5f099c6039", + "bytes": 10605, + "sha256": "323b789edeea3a8ef777ddd1e2c4fdfedf7344efe0d3ee56a06ba456c5986b64", "previous_sha256": "8ca74a07e83d05fcbfccbaed73b2b0cb1791594d393f668cacfd55979b16d800" }, { @@ -102,7 +102,7 @@ { "path": "snapshot_manifest.json", "bytes": 10216, - "sha256": "e1ee77d34b6b4a441c53bf7dc1213be561f7644df02b17460154a9a1ec293e15", + "sha256": "b1303823d43bb53b5b466b502412c93564edc048d839ed094135c5da92126a5a", "previous_sha256": "3e798b9d48a94406348f65e65acc9673d17cab380849631244be6002c240134d" } ], @@ -114,8 +114,8 @@ }, { "path": "CHANGELOG.md", - "bytes": 2003, - "sha256": "b663e7ff1097934ab79626c661dbad80bbd4d921553353af8860edca36772a91" + "bytes": 2513, + "sha256": "6f2c5523a83c98e756ae25f636ad3691f3b14e7e4bf803052e3eea432b47f74b" }, { "path": "CITATION.cff", @@ -154,8 +154,8 @@ }, { "path": "docs/ARCHIVE.md", - "bytes": 4794, - "sha256": "7794cb8f6bc7007e2dcd9fa81129031cc34097152fab0ab7f1cf7e7941c8ff76" + "bytes": 11010, + "sha256": "7f89a03458cf6f05069f3367bed02c9cb19f5eb0b1899d5850809d2e8cfc341c" }, { "path": "docs/CALIBRATION_PRECISION.md", @@ -164,8 +164,8 @@ }, { "path": "docs/RELEASE.md", - "bytes": 1456, - "sha256": "22bf2fc61cfe4e6c52ae20fead40339b7a9d00d5e5ad9bcf75c3a75d2e50ef89" + "bytes": 1457, + "sha256": "262d311a7fe3d6d7baaf8901338dea7b5df9c20559c0ade13977d83715786469" }, { "path": "docs/REPRODUCIBILITY.md", @@ -174,8 +174,8 @@ }, { "path": "llms.txt", - "bytes": 2848, - "sha256": "8f66bf42d7366093e63b935449a876ff38cb1d2e15c72dcd981bdc098e392ab0" + "bytes": 2849, + "sha256": "2fdd11092768a3adf6bd3c3113f4f46589bec88420ec7c8e8007a8002ae85071" }, { "path": "requirements-reproduce.txt", @@ -756,5 +756,65 @@ "bytes": 10216 } ] + }, + "pr_disposition_maintenance": { + "base_commit": "7b9b14dc5d2a693b8607332089407f11a08f84a9", + "scope": "Document PR12 rejection, PR23 supersession, and fourteen archived separate proposals; preserve all branches and scientific payloads. Source/dependency triage is not a new proof audit of the archived work.", + "changes": [ + { + "path": "CHANGELOG.md", + "previous_sha256": "b663e7ff1097934ab79626c661dbad80bbd4d921553353af8860edca36772a91", + "sha256": "6f2c5523a83c98e756ae25f636ad3691f3b14e7e4bf803052e3eea432b47f74b", + "bytes": 2513 + }, + { + "path": "README.md", + "previous_sha256": "4e95601f3c2bfef00b40bc942600c184e15263208878463e747a4053d235662f", + "sha256": "a07a0b63763008eadace6114ad87f059aaa1f72d6d04e67be36fffcb61a9dc9e", + "bytes": 5893 + }, + { + "path": "audits/README.md", + "previous_sha256": "4436d5f8821a276dac460801e5b42ac89c4b0b22e952f1b0dfe5c3e6112cc0b5", + "sha256": "b9d102e695bdd18ac894a428bd39e781b3f1f177e01adebbb042e5fc7ebd5e13", + "bytes": 1656 + }, + { + "path": "docs/ARCHIVE.md", + "previous_sha256": "7794cb8f6bc7007e2dcd9fa81129031cc34097152fab0ab7f1cf7e7941c8ff76", + "sha256": "7f89a03458cf6f05069f3367bed02c9cb19f5eb0b1899d5850809d2e8cfc341c", + "bytes": 11010 + }, + { + "path": "docs/RELEASE.md", + "previous_sha256": "22bf2fc61cfe4e6c52ae20fead40339b7a9d00d5e5ad9bcf75c3a75d2e50ef89", + "sha256": "262d311a7fe3d6d7baaf8901338dea7b5df9c20559c0ade13977d83715786469", + "bytes": 1457 + }, + { + "path": "docs/RESEARCH_STATUS.md", + "previous_sha256": "de844c073f84e74287cf585e9fb254b5719bb8bee7f693a814952282a2abe128", + "sha256": "771629e0f5921874f3f35e43782909e8a06078bd246be373005ae197cdb62d72", + "bytes": 3408 + }, + { + "path": "docs/background_claims.md", + "previous_sha256": "5ab91dc7fda957f10b6f5265ca91f11a5f6b5d25d5b9ddf81f525e5f099c6039", + "sha256": "323b789edeea3a8ef777ddd1e2c4fdfedf7344efe0d3ee56a06ba456c5986b64", + "bytes": 10605 + }, + { + "path": "llms.txt", + "previous_sha256": "8f66bf42d7366093e63b935449a876ff38cb1d2e15c72dcd981bdc098e392ab0", + "sha256": "2fdd11092768a3adf6bd3c3113f4f46589bec88420ec7c8e8007a8002ae85071", + "bytes": 2849 + }, + { + "path": "snapshot_manifest.json", + "previous_sha256": "e1ee77d34b6b4a441c53bf7dc1213be561f7644df02b17460154a9a1ec293e15", + "sha256": "b1303823d43bb53b5b466b502412c93564edc048d839ed094135c5da92126a5a", + "bytes": 10216 + } + ] } } diff --git a/snapshot_manifest.json b/snapshot_manifest.json index 7695917..f517aaf 100644 --- a/snapshot_manifest.json +++ b/snapshot_manifest.json @@ -1 +1 @@ -{"files":[{"path":".github/workflows/research-checks.yml","bytes":4288,"sha256":"2711277a2159a5fc4dcf44e1ccf65187c25567a2e51b33e4aa5a0c3bad6860e8"},{"path":".gitignore","bytes":55,"sha256":"4ba859c0b25cbb1709b401dd85682d4445f38e7d9237a9b90cf3f9fca642f00e"},{"path":"AGENTS.md","bytes":2367,"sha256":"e1e288d4ad55d6804c322a165ee74bfa0e28ef668fd118a4a37794bfd20cb393"},{"path":"COPYING.md","bytes":907,"sha256":"2ea9d486f9dc494c4ded969798acb6c7688ec71140bf33dcb2b2e1d857883873"},{"path":"LICENSE","bytes":1065,"sha256":"a92600540b1ab7a18301e2632a29334b3df227ad836e88df9967d69e3c86db66"},{"path":"PHYSICS_STATUS.md","bytes":5631,"sha256":"55effd5dc57bc13e279a743127d0495bd919f9ffbcc3b3755f3b176fd259fc4d"},{"path":"README.md","bytes":5897,"sha256":"4e95601f3c2bfef00b40bc942600c184e15263208878463e747a4053d235662f"},{"path":"STATUS.md","bytes":4398,"sha256":"7546c5a5449dfeb43c8575f9939e3f0971b4d7869377ccb6864c0bc082f8eef4"},{"path":"STATUS_CURRENT.md","bytes":11106,"sha256":"9d8f96cca1cb89368cb4f43cace66f8aedc71fad447dfaa29c6c0b368f448200"},{"path":"WORKSPACES.md","bytes":2261,"sha256":"e10b268c0668b9dec24dec715f6462fda7cf2d6df04fbc3694def4dcb886fd66"},{"path":"audits/README.md","bytes":1655,"sha256":"4436d5f8821a276dac460801e5b42ac89c4b0b22e952f1b0dfe5c3e6112cc0b5"},{"path":"audits/integration_20260925.md","bytes":4941,"sha256":"3f0531fde8bfe6599f261e2c1817697cabaf07be01b68c2cd116b345f0d33af7"},{"path":"audits/physical_integration_replay_erratum.md","bytes":1897,"sha256":"f0144624a15ca5beb602a173184b8a1f9f2d84616fb24f5e49b4dd44a8854667"},{"path":"audits/priority_matrix.md","bytes":5616,"sha256":"28a0bcfe5c8c99b8907fb4e36d7601aaf6fdf3a006d39466a45c6a2b7d8bf37a"},{"path":"audits/robustness_proof_audit.md","bytes":29095,"sha256":"810bb5d07df79dda965d0cadc2ff09b31b5a1075b59c8b5f44c28a962a978e69"},{"path":"audits/voa_extrema_audit.md","bytes":30655,"sha256":"75569858501ad1d9e0961588a41dbe039b7b8bf46938c9df6b0af0374f6b7275"},{"path":"checks/audit_parameter_domains.py","bytes":11473,"sha256":"2c0f2829ab86609f87622f06087f677abf170fc212c690dad1232f4a03656ebe"},{"path":"checks/replay_portability.py","bytes":5818,"sha256":"91a6be536bd797007548ec5912c272e9d389d9a2e2622337f55135ba23798749"},{"path":"checks/verify_a0_sector.py","bytes":17553,"sha256":"7ffcfefd58f58af90bd02cdf22d695f93aac06d41a5ab29023c826f5669465ba"},{"path":"checks/verify_leech_xxa.py","bytes":12969,"sha256":"7a6a501009c93271966839c152c123526b3f130d7a469bb8335329a17951f829"},{"path":"checks/verify_normalizer.py","bytes":5890,"sha256":"69497daee612f35840a1dab48884c65ff38f9344f46898a1342747b224e99409"},{"path":"checks/verify_normalizer_priority.py","bytes":16743,"sha256":"39240f62d5871669e3ca83928c5dbd86a2f9c3c1c8b05ef503f089e5ab5d62c6"},{"path":"checks/verify_normalizer_toy.py","bytes":6990,"sha256":"01ab97870677f22b7ce784e185fe6560e3527836aabcf9870bbb5e0299454321"},{"path":"checks/verify_pair_prior_art.py","bytes":12114,"sha256":"c0a486cb3abff3da959fa01d189bfab31fd2ac51909180ad568e26175b0a7028"},{"path":"checks/verify_physical_selection.py","bytes":8321,"sha256":"8e3eb1db20f65d67f65abfc17207ea9018c4dfecef7d722c4a074930cad7c1b1"},{"path":"checks/verify_probe_access.py","bytes":6205,"sha256":"a5ae69e572d2c986de623bd89e8b388027e103af47899af18144bfe55ab14bdb"},{"path":"checks/verify_repository_integrity.py","bytes":2459,"sha256":"a00edffbdbb000e98bd765b9fd1b222507b265702372cb55c777b88844434e01"},{"path":"checks/verify_seysen_block.py","bytes":10785,"sha256":"3f1835d390b2ab9e9a67ca44e176a7b1ae9a3753a89632d0170b5144717e8104"},{"path":"checks/verify_weight_four.py","bytes":9443,"sha256":"1b27619d29280059eb32d815c3f049035dec054b43cce6e0dda47c5d95200ae8"},{"path":"checks/verify_weight_three.py","bytes":11868,"sha256":"701bb43baa4198dab9a4639c6e763b7d0e809e1a516b011f973432fedcb9a724"},{"path":"circuits/a0_sector.py","bytes":8515,"sha256":"fae6dd1368ed0d1da22cb11abe1d324b49df04efccd307ff81fd6fa19e5799bc"},{"path":"circuits/jordan_aaa.py","bytes":6784,"sha256":"a871f4a1db268063fd7de98cc4fde71efbe0164c5aeb250de8bc517b30849c3e"},{"path":"circuits/leech_xxa.py","bytes":10936,"sha256":"0cfee265c6ef61cb3c43a225006f63a9f395503c60521436c4ef7263c48bceb7"},{"path":"circuits/seysen_qqa.py","bytes":8100,"sha256":"e72b8924d898f9c676d9584a4df857fd9a86dcd3ff970aee6821b9e43907826a"},{"path":"data/monster_character_excerpt.json","bytes":4229,"sha256":"70218f4f87e67896a64c8577b7a86fb0c46cebe3c71678397a7654b8ef0596e0"},{"path":"provenance/Monster_Average_Transport_Checkpoint.zip","bytes":74753,"sha256":"49cf36598860bba792dd5c4a19c8530298b1d11315721c484a61a5605a978cfb"},{"path":"provenance/Monster_Bipartite_Correlations_Checkpoint.zip","bytes":31433,"sha256":"c84add074c170ef9c144a94c1e089f8853d2e22323416af487dfcc058bd59741"},{"path":"provenance/Monster_Correlation_Local_Rigidity_Checkpoint.zip","bytes":10771,"sha256":"44ec14514af43dc75d3472ece10f3f2b15c0637ca4d73235faea7035cff27355"},{"path":"provenance/Monster_Global_Rounding_Checkpoint.zip","bytes":51846,"sha256":"5bf8a6ae9106e8126179d466c326cacb3b485e3dcb89dd761a07905a48daaf94"},{"path":"provenance/Repository_Seed_2026-09-23.zip","bytes":236980,"sha256":"1124a6477e3a71d43c5af08134dcd5347e253ce6fdd57aa257c88992a72661c8"},{"path":"provenance/import_manifest.json","bytes":2568,"sha256":"c8a62f6d0b92733dc507756b37a3c3923b9c0715f8844c3eed7f8098d40700c4"},{"path":"provenance/repository_import.json","bytes":6248,"sha256":"40cbbd8dc95d14f8e278e6ea53bd8df2ae44478bb3c58628b5255ff46cbdf6f5"},{"path":"requirements.txt","bytes":115,"sha256":"3169cba7975e0b743bc2e1b16099491cdc999dacec349ffeadd808298327f559"},{"path":"research/01_local_rigidity.md","bytes":16822,"sha256":"c1938cbc79c8deff194d68e6534a29acb4ea6336873187492652405d06a4bf8a"},{"path":"research/02_pair_correlations.md","bytes":25520,"sha256":"1cca118e861977dfe3496c1eee23b53dd78bf8c78da9078a143228e85f810191"},{"path":"research/03_uniform_axis_rounding.md","bytes":20336,"sha256":"d7d3f30e974354929d06b5f6973686f2b88e033cc335a60865c275853282d2b4"},{"path":"research/04_average_transport.md","bytes":23384,"sha256":"705d25aea83fc81f84391186895792bf54907cfaa1a4895498c33867d40a9ed4"},{"path":"research/05_normalizer_rounding.md","bytes":21830,"sha256":"ae570ca7aab3a41a33e81c092611779b53f68f5f26a9dca16b87a6a7a8bbe6fc"},{"path":"research/06_probe_access.md","bytes":13813,"sha256":"0829c7de9b788f9790ddf26a35ecaf402614cdeaee805f3428fc83bdbadac492"},{"path":"research/07_seysen_qqa_block.md","bytes":17873,"sha256":"bc4dff6c889479ac9c613874eecfcde98d7b484e878ac18cbf1c1cfb38a370e3"},{"path":"research/08_leech_xxa_block.md","bytes":19450,"sha256":"e730574946d67c830019e3a4bb69ce5201d0594248930fda9118c5ec4521613a"},{"path":"research/09_jordan_and_a0_sector.md","bytes":21343,"sha256":"ea1fa33e53f15d806a2632747f368de5158e1a1c4df861c93bcc0ae18a0df907"},{"path":"research/10_normalizer_stability_comparison.md","bytes":28203,"sha256":"435bdbe6a793d58d90b2d98da22bd48165f4488a0ef57972a812d72426ca46de"},{"path":"research/11_pair_test_prior_art_and_conditioning.md","bytes":27381,"sha256":"2ad70f631744d861d623cf239445dccae0b7bb1123382604ba9e0d66fc58c279"},{"path":"research/12_physical_selection_from_extremality.md","bytes":20516,"sha256":"84b7cc0819d6d28302f982400a36b6d4595431555c468fc826cf5f8e941cfade"},{"path":"research/13_weight_three_ope_channel.md","bytes":15409,"sha256":"5aa066d0427d61e6e5cbc6af035e37c3aa589d9bdb427223c000fdb521664edd"},{"path":"research/14_weight_four_and_four_point_closure.md","bytes":19011,"sha256":"f8238846e2a82a011a3b02bb4e7216f439731bf40c7126be635cd07ff96d11e5"},{"path":"results/a0_sector_checks.json","bytes":4711,"sha256":"8d1088aaa78d91006ce6ad8fe1d393bee026a027f45301def021e0d4a1873662"},{"path":"results/a0_sector_resources.json","bytes":1680,"sha256":"99707e5e53c8d30930075d05b6428d3dcb5e0c9164e8e0ece73a5e22e9017519"},{"path":"results/environment.json","bytes":249,"sha256":"a2bca27d98f91806f527103ca01f11699cf3e1b78b92050a24ae56f690ccf156"},{"path":"results/jordan_aaa_resources.json","bytes":1131,"sha256":"7fdc200bcab63a9513ad4ad1b23b7065f208bddc3c7ff0a213806fdf9d2d4ea3"},{"path":"results/leech_xxa_checks.json","bytes":2907,"sha256":"e7e53be06c067f4ceb1cf2aad0bfb6f27f6a18093a849be5de584cf87bde8c3b"},{"path":"results/leech_xxa_resources.json","bytes":1434,"sha256":"88cb634128bfa2a5a00739e45559e4a4a7c1d9188d06901f98ebaec596de53f1"},{"path":"results/normalizer_exact.json","bytes":2664,"sha256":"25302b964def841d062101339fbc9baff43f98eb7f9446bd241e83c5c926623d"},{"path":"results/normalizer_priority.json","bytes":6384,"sha256":"cd7f58dcdfb25c6b62e1d2d506c3ad2749e92c71b14ea7f07478566163fcc705"},{"path":"results/normalizer_toy.json","bytes":2843,"sha256":"6f4fccfaee44033d08efb2ba4229155c61a0a4f2c19e17a3eaf83cfef2ea16ed"},{"path":"results/pair_prior_art.json","bytes":6718,"sha256":"3cd74cfff40ebce808d31e8ad6672abf993e9424f92cdce64ff5f0a4150db463"},{"path":"results/physical_selection.json","bytes":3335,"sha256":"bcb5fb4f41e405ca58d2b0b979fec07bfc2607532addc61300bfe726248137e0"},{"path":"results/probe_access.json","bytes":2043,"sha256":"2eb5a602b494f9204e24fc88bb16e32ed36152733928389222d41405d5957337"},{"path":"results/seysen_block.json","bytes":3472,"sha256":"2c057d1400ef4b4e7c8ccaa561def7d3895864d73e890a8eabb282aa71892b7a"},{"path":"results/verification_summary.json","bytes":2969,"sha256":"6b4c8d56fcc51f3feef8e89bec82db15724c081ac218329a3badbb25915e26ae"},{"path":"results/weight_four.json","bytes":4583,"sha256":"dd1885333e90179c93983ca9997ea65904dd0b99e85b83d31377444e5eb41302"},{"path":"results/weight_three.json","bytes":3643,"sha256":"41c04af8a7564e69c5ed8c2a0a2f5d50568ee6a3074465428821864acf7d6219"},{"path":"verify.py","bytes":6660,"sha256":"db5adc341da7c3382b7ba208b287324b20627bc1f5fa9d5b54a4d81ddccd1ce8"},{"path":"work_orders/CURRENT.md","bytes":2143,"sha256":"36f01aabd62c23e4ee157da5cd95bfe01f1f55a62eac55ff08847035ef688f26"},{"path":"work_orders/INDEPENDENT_AUDIT.md","bytes":4133,"sha256":"42fec084b5aae524e7a2ee85d9a0d68ff743faa3b32ca0fe61310c2a9240ae13"}],"scope":"Current source snapshot. Membership and unchanged records are retained; reader cleanup updates README and the audit index deliberately. Full inventory and before/after hashes: results/release_preparation.json. Historical scientific reports remain frozen."} +{"files":[{"path":".github/workflows/research-checks.yml","bytes":4288,"sha256":"2711277a2159a5fc4dcf44e1ccf65187c25567a2e51b33e4aa5a0c3bad6860e8"},{"path":".gitignore","bytes":55,"sha256":"4ba859c0b25cbb1709b401dd85682d4445f38e7d9237a9b90cf3f9fca642f00e"},{"path":"AGENTS.md","bytes":2367,"sha256":"e1e288d4ad55d6804c322a165ee74bfa0e28ef668fd118a4a37794bfd20cb393"},{"path":"COPYING.md","bytes":907,"sha256":"2ea9d486f9dc494c4ded969798acb6c7688ec71140bf33dcb2b2e1d857883873"},{"path":"LICENSE","bytes":1065,"sha256":"a92600540b1ab7a18301e2632a29334b3df227ad836e88df9967d69e3c86db66"},{"path":"PHYSICS_STATUS.md","bytes":5631,"sha256":"55effd5dc57bc13e279a743127d0495bd919f9ffbcc3b3755f3b176fd259fc4d"},{"path":"README.md","bytes":5893,"sha256":"a07a0b63763008eadace6114ad87f059aaa1f72d6d04e67be36fffcb61a9dc9e"},{"path":"STATUS.md","bytes":4398,"sha256":"7546c5a5449dfeb43c8575f9939e3f0971b4d7869377ccb6864c0bc082f8eef4"},{"path":"STATUS_CURRENT.md","bytes":11106,"sha256":"9d8f96cca1cb89368cb4f43cace66f8aedc71fad447dfaa29c6c0b368f448200"},{"path":"WORKSPACES.md","bytes":2261,"sha256":"e10b268c0668b9dec24dec715f6462fda7cf2d6df04fbc3694def4dcb886fd66"},{"path":"audits/README.md","bytes":1656,"sha256":"b9d102e695bdd18ac894a428bd39e781b3f1f177e01adebbb042e5fc7ebd5e13"},{"path":"audits/integration_20260925.md","bytes":4941,"sha256":"3f0531fde8bfe6599f261e2c1817697cabaf07be01b68c2cd116b345f0d33af7"},{"path":"audits/physical_integration_replay_erratum.md","bytes":1897,"sha256":"f0144624a15ca5beb602a173184b8a1f9f2d84616fb24f5e49b4dd44a8854667"},{"path":"audits/priority_matrix.md","bytes":5616,"sha256":"28a0bcfe5c8c99b8907fb4e36d7601aaf6fdf3a006d39466a45c6a2b7d8bf37a"},{"path":"audits/robustness_proof_audit.md","bytes":29095,"sha256":"810bb5d07df79dda965d0cadc2ff09b31b5a1075b59c8b5f44c28a962a978e69"},{"path":"audits/voa_extrema_audit.md","bytes":30655,"sha256":"75569858501ad1d9e0961588a41dbe039b7b8bf46938c9df6b0af0374f6b7275"},{"path":"checks/audit_parameter_domains.py","bytes":11473,"sha256":"2c0f2829ab86609f87622f06087f677abf170fc212c690dad1232f4a03656ebe"},{"path":"checks/replay_portability.py","bytes":5818,"sha256":"91a6be536bd797007548ec5912c272e9d389d9a2e2622337f55135ba23798749"},{"path":"checks/verify_a0_sector.py","bytes":17553,"sha256":"7ffcfefd58f58af90bd02cdf22d695f93aac06d41a5ab29023c826f5669465ba"},{"path":"checks/verify_leech_xxa.py","bytes":12969,"sha256":"7a6a501009c93271966839c152c123526b3f130d7a469bb8335329a17951f829"},{"path":"checks/verify_normalizer.py","bytes":5890,"sha256":"69497daee612f35840a1dab48884c65ff38f9344f46898a1342747b224e99409"},{"path":"checks/verify_normalizer_priority.py","bytes":16743,"sha256":"39240f62d5871669e3ca83928c5dbd86a2f9c3c1c8b05ef503f089e5ab5d62c6"},{"path":"checks/verify_normalizer_toy.py","bytes":6990,"sha256":"01ab97870677f22b7ce784e185fe6560e3527836aabcf9870bbb5e0299454321"},{"path":"checks/verify_pair_prior_art.py","bytes":12114,"sha256":"c0a486cb3abff3da959fa01d189bfab31fd2ac51909180ad568e26175b0a7028"},{"path":"checks/verify_physical_selection.py","bytes":8321,"sha256":"8e3eb1db20f65d67f65abfc17207ea9018c4dfecef7d722c4a074930cad7c1b1"},{"path":"checks/verify_probe_access.py","bytes":6205,"sha256":"a5ae69e572d2c986de623bd89e8b388027e103af47899af18144bfe55ab14bdb"},{"path":"checks/verify_repository_integrity.py","bytes":2459,"sha256":"a00edffbdbb000e98bd765b9fd1b222507b265702372cb55c777b88844434e01"},{"path":"checks/verify_seysen_block.py","bytes":10785,"sha256":"3f1835d390b2ab9e9a67ca44e176a7b1ae9a3753a89632d0170b5144717e8104"},{"path":"checks/verify_weight_four.py","bytes":9443,"sha256":"1b27619d29280059eb32d815c3f049035dec054b43cce6e0dda47c5d95200ae8"},{"path":"checks/verify_weight_three.py","bytes":11868,"sha256":"701bb43baa4198dab9a4639c6e763b7d0e809e1a516b011f973432fedcb9a724"},{"path":"circuits/a0_sector.py","bytes":8515,"sha256":"fae6dd1368ed0d1da22cb11abe1d324b49df04efccd307ff81fd6fa19e5799bc"},{"path":"circuits/jordan_aaa.py","bytes":6784,"sha256":"a871f4a1db268063fd7de98cc4fde71efbe0164c5aeb250de8bc517b30849c3e"},{"path":"circuits/leech_xxa.py","bytes":10936,"sha256":"0cfee265c6ef61cb3c43a225006f63a9f395503c60521436c4ef7263c48bceb7"},{"path":"circuits/seysen_qqa.py","bytes":8100,"sha256":"e72b8924d898f9c676d9584a4df857fd9a86dcd3ff970aee6821b9e43907826a"},{"path":"data/monster_character_excerpt.json","bytes":4229,"sha256":"70218f4f87e67896a64c8577b7a86fb0c46cebe3c71678397a7654b8ef0596e0"},{"path":"provenance/Monster_Average_Transport_Checkpoint.zip","bytes":74753,"sha256":"49cf36598860bba792dd5c4a19c8530298b1d11315721c484a61a5605a978cfb"},{"path":"provenance/Monster_Bipartite_Correlations_Checkpoint.zip","bytes":31433,"sha256":"c84add074c170ef9c144a94c1e089f8853d2e22323416af487dfcc058bd59741"},{"path":"provenance/Monster_Correlation_Local_Rigidity_Checkpoint.zip","bytes":10771,"sha256":"44ec14514af43dc75d3472ece10f3f2b15c0637ca4d73235faea7035cff27355"},{"path":"provenance/Monster_Global_Rounding_Checkpoint.zip","bytes":51846,"sha256":"5bf8a6ae9106e8126179d466c326cacb3b485e3dcb89dd761a07905a48daaf94"},{"path":"provenance/Repository_Seed_2026-09-23.zip","bytes":236980,"sha256":"1124a6477e3a71d43c5af08134dcd5347e253ce6fdd57aa257c88992a72661c8"},{"path":"provenance/import_manifest.json","bytes":2568,"sha256":"c8a62f6d0b92733dc507756b37a3c3923b9c0715f8844c3eed7f8098d40700c4"},{"path":"provenance/repository_import.json","bytes":6248,"sha256":"40cbbd8dc95d14f8e278e6ea53bd8df2ae44478bb3c58628b5255ff46cbdf6f5"},{"path":"requirements.txt","bytes":115,"sha256":"3169cba7975e0b743bc2e1b16099491cdc999dacec349ffeadd808298327f559"},{"path":"research/01_local_rigidity.md","bytes":16822,"sha256":"c1938cbc79c8deff194d68e6534a29acb4ea6336873187492652405d06a4bf8a"},{"path":"research/02_pair_correlations.md","bytes":25520,"sha256":"1cca118e861977dfe3496c1eee23b53dd78bf8c78da9078a143228e85f810191"},{"path":"research/03_uniform_axis_rounding.md","bytes":20336,"sha256":"d7d3f30e974354929d06b5f6973686f2b88e033cc335a60865c275853282d2b4"},{"path":"research/04_average_transport.md","bytes":23384,"sha256":"705d25aea83fc81f84391186895792bf54907cfaa1a4895498c33867d40a9ed4"},{"path":"research/05_normalizer_rounding.md","bytes":21830,"sha256":"ae570ca7aab3a41a33e81c092611779b53f68f5f26a9dca16b87a6a7a8bbe6fc"},{"path":"research/06_probe_access.md","bytes":13813,"sha256":"0829c7de9b788f9790ddf26a35ecaf402614cdeaee805f3428fc83bdbadac492"},{"path":"research/07_seysen_qqa_block.md","bytes":17873,"sha256":"bc4dff6c889479ac9c613874eecfcde98d7b484e878ac18cbf1c1cfb38a370e3"},{"path":"research/08_leech_xxa_block.md","bytes":19450,"sha256":"e730574946d67c830019e3a4bb69ce5201d0594248930fda9118c5ec4521613a"},{"path":"research/09_jordan_and_a0_sector.md","bytes":21343,"sha256":"ea1fa33e53f15d806a2632747f368de5158e1a1c4df861c93bcc0ae18a0df907"},{"path":"research/10_normalizer_stability_comparison.md","bytes":28203,"sha256":"435bdbe6a793d58d90b2d98da22bd48165f4488a0ef57972a812d72426ca46de"},{"path":"research/11_pair_test_prior_art_and_conditioning.md","bytes":27381,"sha256":"2ad70f631744d861d623cf239445dccae0b7bb1123382604ba9e0d66fc58c279"},{"path":"research/12_physical_selection_from_extremality.md","bytes":20516,"sha256":"84b7cc0819d6d28302f982400a36b6d4595431555c468fc826cf5f8e941cfade"},{"path":"research/13_weight_three_ope_channel.md","bytes":15409,"sha256":"5aa066d0427d61e6e5cbc6af035e37c3aa589d9bdb427223c000fdb521664edd"},{"path":"research/14_weight_four_and_four_point_closure.md","bytes":19011,"sha256":"f8238846e2a82a011a3b02bb4e7216f439731bf40c7126be635cd07ff96d11e5"},{"path":"results/a0_sector_checks.json","bytes":4711,"sha256":"8d1088aaa78d91006ce6ad8fe1d393bee026a027f45301def021e0d4a1873662"},{"path":"results/a0_sector_resources.json","bytes":1680,"sha256":"99707e5e53c8d30930075d05b6428d3dcb5e0c9164e8e0ece73a5e22e9017519"},{"path":"results/environment.json","bytes":249,"sha256":"a2bca27d98f91806f527103ca01f11699cf3e1b78b92050a24ae56f690ccf156"},{"path":"results/jordan_aaa_resources.json","bytes":1131,"sha256":"7fdc200bcab63a9513ad4ad1b23b7065f208bddc3c7ff0a213806fdf9d2d4ea3"},{"path":"results/leech_xxa_checks.json","bytes":2907,"sha256":"e7e53be06c067f4ceb1cf2aad0bfb6f27f6a18093a849be5de584cf87bde8c3b"},{"path":"results/leech_xxa_resources.json","bytes":1434,"sha256":"88cb634128bfa2a5a00739e45559e4a4a7c1d9188d06901f98ebaec596de53f1"},{"path":"results/normalizer_exact.json","bytes":2664,"sha256":"25302b964def841d062101339fbc9baff43f98eb7f9446bd241e83c5c926623d"},{"path":"results/normalizer_priority.json","bytes":6384,"sha256":"cd7f58dcdfb25c6b62e1d2d506c3ad2749e92c71b14ea7f07478566163fcc705"},{"path":"results/normalizer_toy.json","bytes":2843,"sha256":"6f4fccfaee44033d08efb2ba4229155c61a0a4f2c19e17a3eaf83cfef2ea16ed"},{"path":"results/pair_prior_art.json","bytes":6718,"sha256":"3cd74cfff40ebce808d31e8ad6672abf993e9424f92cdce64ff5f0a4150db463"},{"path":"results/physical_selection.json","bytes":3335,"sha256":"bcb5fb4f41e405ca58d2b0b979fec07bfc2607532addc61300bfe726248137e0"},{"path":"results/probe_access.json","bytes":2043,"sha256":"2eb5a602b494f9204e24fc88bb16e32ed36152733928389222d41405d5957337"},{"path":"results/seysen_block.json","bytes":3472,"sha256":"2c057d1400ef4b4e7c8ccaa561def7d3895864d73e890a8eabb282aa71892b7a"},{"path":"results/verification_summary.json","bytes":2969,"sha256":"6b4c8d56fcc51f3feef8e89bec82db15724c081ac218329a3badbb25915e26ae"},{"path":"results/weight_four.json","bytes":4583,"sha256":"dd1885333e90179c93983ca9997ea65904dd0b99e85b83d31377444e5eb41302"},{"path":"results/weight_three.json","bytes":3643,"sha256":"41c04af8a7564e69c5ed8c2a0a2f5d50568ee6a3074465428821864acf7d6219"},{"path":"verify.py","bytes":6660,"sha256":"db5adc341da7c3382b7ba208b287324b20627bc1f5fa9d5b54a4d81ddccd1ce8"},{"path":"work_orders/CURRENT.md","bytes":2143,"sha256":"36f01aabd62c23e4ee157da5cd95bfe01f1f55a62eac55ff08847035ef688f26"},{"path":"work_orders/INDEPENDENT_AUDIT.md","bytes":4133,"sha256":"42fec084b5aae524e7a2ee85d9a0d68ff743faa3b32ca0fe61310c2a9240ae13"}],"scope":"Current source snapshot. Membership and unchanged records are retained; reader cleanup updates README and the audit index deliberately. Full inventory and before/after hashes: results/release_preparation.json. Historical scientific reports remain frozen."}