From 5a5c85e280d5df79203879b8faf297fa3e7b5492 Mon Sep 17 00:00:00 2001 From: Ruge Lin Date: Mon, 5 Oct 2026 22:17:16 +0800 Subject: [PATCH] Update current purpose and contact notices --- README.md | 9 ++- docs/ARCHIVE.md | 6 +- docs/RELEASE.md | 8 ++- docs/RESEARCH_STATUS.md | 6 +- docs/learn/README.md | 6 +- docs/learn/assumptions_and_sources.md | 6 +- llms.txt | 6 +- results/release_preparation.json | 98 +++++++++++++++++++++------ snapshot_manifest.json | 2 +- 9 files changed, 112 insertions(+), 35 deletions(-) diff --git a/README.md b/README.md index d00225e..8bcbfdc 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,11 @@ 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. +## Purpose and contact + +This repository serves as a record of the work and a guide for the author’s self-directed learning. For discussion or potential collaboration, please contact Ruge Lin at [gogoko699@gmail.com](mailto:gogoko699@gmail.com). + +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. ## Start here: a physicist's reading path @@ -80,5 +84,4 @@ 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. Potential collaborators, readers with corrections, -and other research inquiries may contact Ruge Lin at gogoko699@gmail.com. +Imported mathematical results remain attributed to their authors. diff --git a/docs/ARCHIVE.md b/docs/ARCHIVE.md index 968d262..7b190b8 100644 --- a/docs/ARCHIVE.md +++ b/docs/ARCHIVE.md @@ -79,9 +79,11 @@ 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 scientific-status page rather than interpreting its old “current” label as a statement about the release candidate. + +## Purpose and contact + +This repository serves as a record of the work and a guide for the author’s self-directed learning. For discussion or potential collaboration, please contact Ruge Lin at [gogoko699@gmail.com](mailto:gogoko699@gmail.com). diff --git a/docs/RELEASE.md b/docs/RELEASE.md index b13f34f..14a185d 100644 --- a/docs/RELEASE.md +++ b/docs/RELEASE.md @@ -5,7 +5,7 @@ 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, +These notes do not create or announce a tag, DOI, publication, or manuscript. The criterion assumes an exact simple unitary rational C2-cofinite holomorphic @@ -23,5 +23,7 @@ constitute independent human review. The [archive index](ARCHIVE.md) identifies 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, -gogoko699@gmail.com. + +## Purpose and contact + +This repository serves as a record of the work and a guide for the author’s self-directed learning. For discussion or potential collaboration, please contact Ruge Lin at [gogoko699@gmail.com](mailto:gogoko699@gmail.com). diff --git a/docs/RESEARCH_STATUS.md b/docs/RESEARCH_STATUS.md index 9975c18..ce52a81 100644 --- a/docs/RESEARCH_STATUS.md +++ b/docs/RESEARCH_STATUS.md @@ -2,7 +2,11 @@ The selected quantitative result has a complete written proof, sharpness and calibration boundaries, primary-source comparisons, and a final falsification-oriented review with no blocking error found at its documented scope. See [the final review](../audits/final_quantitative_review.md). This status replaces the pre-integration coordination notes, not the historical mathematical record. -**Manuscript writing is on hold.** No manuscript, submission, DOI, or tagged GitHub release has been created. The repository now includes release-preparation notes and a changelog. Scientific evidence for eventual framing is in [background_claims.md](background_claims.md). +## Purpose and contact + +This repository serves as a record of the work and a guide for the author’s self-directed learning. For discussion or potential collaboration, please contact Ruge Lin at [gogoko699@gmail.com](mailto:gogoko699@gmail.com). + +No manuscript, submission, DOI, or tagged GitHub release has been created. The repository now includes release-preparation notes and a changelog. Scientific evidence for eventual framing is in [background_claims.md](background_claims.md). ## The bounded contribution diff --git a/docs/learn/README.md b/docs/learn/README.md index 8dafb7d..9fe1996 100644 --- a/docs/learn/README.md +++ b/docs/learn/README.md @@ -38,4 +38,8 @@ At the end, you should be able to explain why normalization matters, why a nearl Then read the [core proof](../../research/uniform_extraction_core.md), followed by [sharpness and calibration](../../research/sharpness_and_calibration.md). The [research status](../RESEARCH_STATUS.md), [contribution comparison](../../audits/quantitative_contribution_verdict.md), and [final bounded review](../../audits/final_quantitative_review.md) belong to the research-checking route, not the first lesson. -The teaching notes explain the existing theorem. They do not replace its exact hypotheses or re-prove its imported classification theorems. Manuscript writing remains on hold. Questions and corrections may be sent to Ruge Lin at gogoko699@gmail.com. +The teaching notes explain the existing theorem. They do not replace its exact hypotheses or re-prove its imported classification theorems. + +## Purpose and contact + +This repository serves as a record of the work and a guide for the author’s self-directed learning. For discussion or potential collaboration, please contact Ruge Lin at [gogoko699@gmail.com](mailto:gogoko699@gmail.com). diff --git a/docs/learn/assumptions_and_sources.md b/docs/learn/assumptions_and_sources.md index 5c62f31..36e1d67 100644 --- a/docs/learn/assumptions_and_sources.md +++ b/docs/learn/assumptions_and_sources.md @@ -51,4 +51,8 @@ These are research references for verifying the imported interfaces, not extra t The conclusion is an isomorphism of the **underlying VOA** to the moonshine VOA. It does not supply an implemented isomorphism, identify an experimental device, or reconstruct a full nonchiral CFT. It does not infer the existence of the required input fields from the ambient assumptions alone. The numerical test is sufficient, not necessary, and its constants are not claimed optimal. -For the complete boundaries and reviewed status, see [Current scientific status](../RESEARCH_STATUS.md). Questions and corrections may be sent to Ruge Lin at gogoko699@gmail.com. +For the complete boundaries and reviewed status, see [Current scientific status](../RESEARCH_STATUS.md). + +## Purpose and contact + +This repository serves as a record of the work and a guide for the author’s self-directed learning. For discussion or potential collaboration, please contact Ruge Lin at [gogoko699@gmail.com](mailto:gogoko699@gmail.com). diff --git a/llms.txt b/llms.txt index 6e1ac1e..b183556 100644 --- a/llms.txt +++ b/llms.txt @@ -2,7 +2,7 @@ > Quantitative conditional identification of the moonshine vertex operator > algebra from near-extremal low-weight correlation coefficients. Research by -> Ruge Lin. Manuscript writing is on hold; no tagged release is implied. +> Ruge Lin. No tagged release is implied. ## When this repository is relevant @@ -36,4 +36,6 @@ Monster-tensor simulation. - [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. -Questions, corrections, and potential collaborations: gogoko699@gmail.com. +## Purpose and contact + +This repository serves as a record of the work and a guide for the author’s self-directed learning. For discussion or potential collaboration, please contact Ruge Lin at [gogoko699@gmail.com](mailto:gogoko699@gmail.com). diff --git a/results/release_preparation.json b/results/release_preparation.json index 760b089..859c3f2 100644 --- a/results/release_preparation.json +++ b/results/release_preparation.json @@ -17,8 +17,8 @@ }, { "path": "README.md", - "bytes": 5893, - "sha256": "a07a0b63763008eadace6114ad87f059aaa1f72d6d04e67be36fffcb61a9dc9e", + "bytes": 5981, + "sha256": "ddb633e59fb14d76051ee886b1b91942e873fb33a81f0fc2b6b9ed997010094e", "previous_sha256": "07c05d6314d03e76b786acf32d85d8533a5a5f5b350a06268e865df3ec8d2f5f" }, { @@ -71,8 +71,8 @@ }, { "path": "docs/RESEARCH_STATUS.md", - "bytes": 3408, - "sha256": "771629e0f5921874f3f35e43782909e8a06078bd246be373005ae197cdb62d72", + "bytes": 3621, + "sha256": "0da0387392e71c0878f86a0f7ee383c93ffb94ba177d7584aea9c461e4a882a8", "previous_sha256": "8c6a616753f0a4011c10cc1256077979bfd7c3d1d304efeb54091bfe64fc3ef5" }, { @@ -87,6 +87,18 @@ "sha256": "12f8920e66c74ca52648e26137cbdd28f3a095f53305375eba03e9dce30324ac", "previous_sha256": "fd4e01fb1b8578598055d1024f39013bab419f0d17300956e759d69d39f7a4c4" }, + { + "path": "docs/learn/README.md", + "bytes": 5435, + "sha256": "f3bfe6533cdc9c210f6e134f4828c443a5910b6535a6543717ad18511788d082", + "previous_sha256": "de4724dbfb263fd1bae102ed3f7044039739851a5e3bb7f86b0a917109104877" + }, + { + "path": "docs/learn/assumptions_and_sources.md", + "bytes": 5997, + "sha256": "0d48f27e0ebfa3d1b9acbb966e6c2dc33bf2205c38c18e4bc0b4012d4eb33833", + "previous_sha256": "ea1098995d91e05442b84db3888af9546f3e3503af685166c69c0e04a3ad4de1" + }, { "path": "research/sharpness_and_calibration.md", "bytes": 12929, @@ -102,7 +114,7 @@ { "path": "snapshot_manifest.json", "bytes": 10216, - "sha256": "b1303823d43bb53b5b466b502412c93564edc048d839ed094135c5da92126a5a", + "sha256": "79655b7b39b7389309e8b86798875aa9c5cf6f6aceba7fe28b85b40bfccc03b9", "previous_sha256": "3e798b9d48a94406348f65e65acc9673d17cab380849631244be6002c240134d" } ], @@ -154,8 +166,8 @@ }, { "path": "docs/ARCHIVE.md", - "bytes": 11010, - "sha256": "7f89a03458cf6f05069f3367bed02c9cb19f5eb0b1899d5850809d2e8cfc341c" + "bytes": 11221, + "sha256": "d52f499ad3f3e7c9538a1b9141ec4f86d40486674a4c800eba238082ee0c011e" }, { "path": "docs/CALIBRATION_PRECISION.md", @@ -164,8 +176,8 @@ }, { "path": "docs/RELEASE.md", - "bytes": 1457, - "sha256": "262d311a7fe3d6d7baaf8901338dea7b5df9c20559c0ade13977d83715786469" + "bytes": 1589, + "sha256": "dadcdb4ea52d22fdac1d939c753a651749f1adce2a75dce4653ff6ee2335d26d" }, { "path": "docs/REPRODUCIBILITY.md", @@ -174,8 +186,8 @@ }, { "path": "llms.txt", - "bytes": 2849, - "sha256": "2fdd11092768a3adf6bd3c3113f4f46589bec88420ec7c8e8007a8002ae85071" + "bytes": 2990, + "sha256": "c02ef5051ffd89d6ec81846eded95413070833d9c9387dd737b4d8384a28b15c" }, { "path": "requirements-reproduce.txt", @@ -404,16 +416,6 @@ "bytes": 5793, "sha256": "27d775490fda1291da07b136774972ff559ec4ae62c9161e0213dd1f5c6b65d3" }, - { - "path": "docs/learn/README.md", - "bytes": 5297, - "sha256": "de4724dbfb263fd1bae102ed3f7044039739851a5e3bb7f86b0a917109104877" - }, - { - "path": "docs/learn/assumptions_and_sources.md", - "bytes": 5823, - "sha256": "ea1098995d91e05442b84db3888af9546f3e3503af685166c69c0e04a3ad4de1" - }, { "path": "provenance/Monster_Average_Transport_Checkpoint.zip", "bytes": 74753, @@ -816,5 +818,59 @@ "bytes": 10216 } ] + }, + "purpose_contact_maintenance": { + "base_commit": "aef97f5f99871aac1b32fcdbe03b24e95ab3493f", + "scope": "Replace current reader-facing manuscript-hold/contact notices with the author\u2019s purpose and contact wording and clickable email. No scientific claims, proofs, mathematics, verification status, limitations, references, authorship, licensing, historical records, checkers, saved reports or protected scientific hashes changed. No generated website or reading-page copies are present.", + "changes": [ + { + "path": "README.md", + "previous_sha256": "a07a0b63763008eadace6114ad87f059aaa1f72d6d04e67be36fffcb61a9dc9e", + "sha256": "ddb633e59fb14d76051ee886b1b91942e873fb33a81f0fc2b6b9ed997010094e", + "bytes": 5981 + }, + { + "path": "docs/ARCHIVE.md", + "previous_sha256": "7f89a03458cf6f05069f3367bed02c9cb19f5eb0b1899d5850809d2e8cfc341c", + "sha256": "d52f499ad3f3e7c9538a1b9141ec4f86d40486674a4c800eba238082ee0c011e", + "bytes": 11221 + }, + { + "path": "docs/RELEASE.md", + "previous_sha256": "262d311a7fe3d6d7baaf8901338dea7b5df9c20559c0ade13977d83715786469", + "sha256": "dadcdb4ea52d22fdac1d939c753a651749f1adce2a75dce4653ff6ee2335d26d", + "bytes": 1589 + }, + { + "path": "docs/RESEARCH_STATUS.md", + "previous_sha256": "771629e0f5921874f3f35e43782909e8a06078bd246be373005ae197cdb62d72", + "sha256": "0da0387392e71c0878f86a0f7ee383c93ffb94ba177d7584aea9c461e4a882a8", + "bytes": 3621 + }, + { + "path": "docs/learn/README.md", + "previous_sha256": "de4724dbfb263fd1bae102ed3f7044039739851a5e3bb7f86b0a917109104877", + "sha256": "f3bfe6533cdc9c210f6e134f4828c443a5910b6535a6543717ad18511788d082", + "bytes": 5435 + }, + { + "path": "docs/learn/assumptions_and_sources.md", + "previous_sha256": "ea1098995d91e05442b84db3888af9546f3e3503af685166c69c0e04a3ad4de1", + "sha256": "0d48f27e0ebfa3d1b9acbb966e6c2dc33bf2205c38c18e4bc0b4012d4eb33833", + "bytes": 5997 + }, + { + "path": "llms.txt", + "previous_sha256": "2fdd11092768a3adf6bd3c3113f4f46589bec88420ec7c8e8007a8002ae85071", + "sha256": "c02ef5051ffd89d6ec81846eded95413070833d9c9387dd737b4d8384a28b15c", + "bytes": 2990 + }, + { + "path": "snapshot_manifest.json", + "previous_sha256": "b1303823d43bb53b5b466b502412c93564edc048d839ed094135c5da92126a5a", + "sha256": "79655b7b39b7389309e8b86798875aa9c5cf6f6aceba7fe28b85b40bfccc03b9", + "bytes": 10216 + } + ] } } diff --git a/snapshot_manifest.json b/snapshot_manifest.json index f517aaf..0e62749 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":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."} +{"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":5981,"sha256":"ddb633e59fb14d76051ee886b1b91942e873fb33a81f0fc2b6b9ed997010094e"},{"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."}