Artifacts index
Every package currently hosted on this domain, with version, hash, license, and supersession status where known. Local hosting is not an external archival deposit. Agents: /archive/MACHINE.json is the canonical object index (schema OMEGA_NAUGHT_MACHINE/1.0). It is an index, not a hashed artifact in this table, and not a joining theorem.
The Julia mathematical proof companion v0.1 is hosted at /julia-proofs. Sixty-eight recovered members match SHA256SUMS. Author-supplied Julia 1.11.6 O0/O3 records are archived evidence, not a site run. The original ZIP container is hosted at /extension/sources/Julia_OMEGA_NAUGHT_Julia_Proof_v0.1(1).zip (1,681,923 bytes, SHA-256 ef8f1eb7…). It was not recovered from the Word file; a reconstructed transport ZIP under /julia-proofs/downloads/ is labeled as such and is not the original container. Cubature 10–21 and 23–24 packages are hosted separately under /cubature/. The 600-cell supplement is under /dynamics/600cell/. Its checker, parameter audit, graph fixture, and dated execution records are registered in the artifact index. The 26 October stdout is historical. The 27 October parameter note is this archive’s rerun.
Eight source works
Seven Zenodo preprints and one Zenodo report. Paper V is the report. Paper I cites concept DOI 10.5281/zenodo.21830284; v1 is Zenodo record 21830285. Paper VII is preprint version 1.6 at DOI 10.5281/zenodo.22233573; concept DOI 10.5281/zenodo.22233572. paper 8 is DOI 10.5281/zenodo.22848213.
License: CC BY 4.0.
| Item | Identifier / hash | Note |
|---|---|---|
| Paper I | 10.5281/zenodo.21830284 | Zenodo preprint. 2026-08-07. Deposit v1. |
| Paper II | 10.5281/zenodo.21843485 | Zenodo preprint. 2026-08-09. Deposit v1. |
| Paper III | 10.5281/zenodo.21927248 | Zenodo preprint. 2026-08-14. Deposit v1. v1.0. |
| Paper IV | 10.5281/zenodo.22033917 | Zenodo preprint. 2026-08-20. Deposit v1. |
| Paper V | 10.5281/zenodo.22048540 | Zenodo report. 2026-08-21. Deposit v1. v1.0. |
| Paper VI | 10.5281/zenodo.22068873 | Zenodo preprint. 2026-08-23. Deposit v1. v1.3. |
| Paper VII | 10.5281/zenodo.22233573 | Zenodo preprint. 2026-09-01. Deposit v1. v1.6. |
| Paper 8 | 10.5281/zenodo.22848213 | Zenodo preprint. 2026-09-19. Deposit v1.0. vfinal manuscript 19 September 2026. |
G₆ releases
G6_RELEASE/1.1 and G6_RELEASE/1.2 are historical/superseded integration packaging. Frozen bytes unchanged. External archival pending.
License: Docs/data CC BY 4.0; source MIT.
| Item | Identifier / hash | Note |
|---|---|---|
| G6_RELEASE/1.1/RELEASE.json | f63ae1c2d595b4805ba9d36687a828fd87200febe01079b184723f7d5eaf746c | Historical computational envelope. Canonical record 92187a21…. Not a theorem joining the theories. |
| G6_RELEASE/1.2/RELEASE.json | 0235d4615e5a37bff3baf3c98b0f751274fcb584ae4fe6f73174050694b4532f | License correction. Canonical record unchanged. |
Cubature
Locally hosted. External archival pending unless a DOI is listed on the paper pages.
| File | SHA-256 | Bytes | G₆ 1.1 |
|---|---|---|---|
| Omega_Naught_ClassI_f22_exact_verifier.py | ae615d262ecfc564aed119e5002c4fa9c4fadf35812002426298caf7c6ab89bf | 16972 | no |
| Omega_Naught_ClassI_f22_exact_verifier.r2.py | d9b2450ef16b138f73f89cbc1ee3a298010d27bcf1c184d5de57246a34376387 | 17584 | no |
| OmegaNaughtClassIF22ExactVerifier.jl | 5c45650b3baec9889204ac423f8ec62c9cc0782a03e5c30a8467b9cb01a1efea | 16723 | no |
| OmegaNaughtClassIF22ExactVerifier.runtime.txt | 9ec4cbbc3ad02fe9291684830b669522cd4d25fdbff0d97449c3f282279a5336 | 1468 | no |
| Omega_Naught_ClassI_f22_certificate_package.zip | f63c43e1dbd1ac5b7009e66fe577b27e8a231f90fe6b01eef779147826ae55eb | 1204491 | no |
| Omega_Naught_ClassI_f22_verification_output.txt | 7f61a254d04afdc9e65e54355afe84ede6afba9e5874492e755758392a60bf54 | 918 | no |
| f22_degree69_solution.canonical.txt | 0865572f76c7b8c9816ce937a79361c8926abe785ac3f41b06e4f289665bf340 | 496324 | no |
| f22_degree71_solution.canonical.txt | c1e620fc9cf6d99623423cf82450540a5991679e8ded6632bd959914068949f2 | 491483 | no |
| f22_degree69_orbit_masses.csv | 2dcc5b274e93b78722624fe343e2f39dc5b4e3a18eadecec807272b787d32a66 | 992538 | no |
| f22_degree71_orbit_masses.csv | 85b8d6c7b54bea7d4cddf65282b50371d3a7be03418cf0b780df0f329e5d18b2 | 982857 | no |
| f22_dual_coefficients.canonical.txt | 16b03249c777de32b9b46eb509665994d89b151e889007e8cedf9140651329fe | 498013 | no |
| f22_moment_system_spec.json | 5c144759dd13dfd04120f19506748bce35e364f8fa31a1e3f622997b181fcd56 | 4483 | no |
| f22_negative_orbit.json | dc506b4ef1e216061bf602593d3c32b879c511ee413d16cf66d549913ef76be6 | 38906 | no |
| SHA256SUMS.txt | 27386f9612590e26ab652ca23fbf773416287621d08f822b17069e5f93a4f4bd | 682 | no |
| CLASS_I_CUBATURE_1_1.json | b71b8f3365148e9f03cf5dc18c7fcb54a9c591ab183ba8e59e3af191a231db6c | 5899 | no |
| X23_X24_positive_existence.md | d6b2ffb747a1b373a9dced0ff5089b395b226b80d0365367b97cb4f3f72317ea | 7685 | no |
| ClassI_Cubature_f23_f24_audit_extract_v1.1.json | 354976dc65ddcb7194e8f46fe9651234b4bdaea51b25cc9f82fa0d0815bf4688 | 38524 | no |
| RELEASE.json | c1c2adf668b3a3c4a09ba55a8374fc08d85027b07b911f8126526a9e52f94250 | 4092 | no |
| RELEASE.sha256 | 2a28faab26711c38438c28fd9053b4256fcbf765aa8c3bc28befbeba7fe26641 | 79 | no |
| SHA256SUMS.txt | f31106c5eb6bbdd6567ccf27e338602b51d8e6f2cddf1d4eaaac1cc269df5173 | 1636 | no |
| f22_degree69_solution.canonical.txt | 0865572f76c7b8c9816ce937a79361c8926abe785ac3f41b06e4f289665bf340 | 496324 | no |
| f22_degree71_solution.canonical.txt | c1e620fc9cf6d99623423cf82450540a5991679e8ded6632bd959914068949f2 | 491483 | no |
| ClassI_Cubature_f23_f24_exact_certificate_v1.1.json | e886510ec03afe014ad143d6d0b45677fc2bb58a7df495374b5780cf79d5b5af | 1407835 | no |
| verify_ClassI_f23_f24_exact_v1.1.py | 41d83727473850ebfbe0bbea0f57f38a64c08d9849170a880b23163769509ce1 | 6818 | no |
| ClassI_Cubature_f23_f24_verification_ledger_v1.1.txt | 4d56dc2c65466fc89e6c275fdc38012dbca2c5b74456cf045e7ceedb30a38e6e | 10905 | no |
| replay_recovered.py | a3bf98e765f18d32f4ac10867c4e914269c61a763d0f7e0b2d1a236b5f41355a | 1621 | no |
| ClassI_Cubature_f23_f24_exact_certificate_from_tex_v1.1.json | 3ecbf6656eee22044f1a9cdaf84e9a3e7365622dcd4d4a1734a1b7c83e15d72b | 1424503 | no |
| classI_exact_certificates_f2_f21.json | 7b3945ad58b76341bbc22e7812a359f64b61a68d413b2668012dc155803edb5e | 1815267 | no |
| verify_classI_f2_f21.py | 7c3cd105dae6cf36fd140a8b6525ed722fb02b88bd2ba152c465847befa944fa | 4102 | no |
| verify_classI_f2_f21.r2.py | 4af07ac2ba14540dfb230920f108cddd0b21e8e80dd2e61dadb79acaad64d7df | 11383 | no |
| ClassI_Cubature_Proof_Dossier_f2_f21.pdf | 4c705abab8b99ae50a80c30c497dcd8dbe2170eb37f8c877908de7316c4a31d5 | 226725 | no |
| ClassI_Cubature_Proof_Dossier_f2_f21.tex | ee6bd358dbb5a7472b5af9d0c80c5ac7e78dd11811c6201cfc609a2a9119a6fd | 9529 | no |
| run_all_recovered.py | c8549f6be43211b77ccaf6e65aca216e848d5ab563e973760ad73054e537da84 | 2552 | no |
| SHA256SUMS | 71d9d4acb390d8b6f95f411c539e2bc8c7c853b93dc41e4f89f30add71451e07 | 8322 | no |
| EVIDENCE_INDEX.json | 88e97a4befecc44a685ecfcbf195d9f43c9ecd0843d40475099fc5c39c481887 | 1438 | no |
| extract_omega_word.py | c4f29970dabe9ee779a7f5d5ed24128d5a75f31b4df36c6d9a7e0d1a847dc6ba | 3492 | no |
| OMEGA_NAUGHT_Complete_Data.docx | 279eacb0d28cef4a191c7fb733e4eb3b71174b50eb0d902b5364c09fa40d2b6b | 3721530 | no |
| ENVIRONMENT.json | 2146f5d83f01ea714e44677b53436aa4910192b95a2257cea235aa9bab27d21f | 5603 | no |
| combined.stdout.txt | e3cf27ae2d7b1951e6567eb16cb022ae7d15a9c51098080a0f5c5ec663b787d4 | 2139 | no |
| runs.json | 6dc6c726645fb91758702d3325a382f847679b65bfbe0c80155eeb3f3d8954f5 | 2720 | no |
| f2_f21_ledger.json | d572ea3ecd53b979fc999ed7f9d2a23fc8b001f5e94a61bcbc6545641c45ac6f | 251693 | no |
| f2_f21.stdout.txt | 4a6474dc9eee66e87a0f6611e0cdb2a9bc53782664f6d8772a3900ca95999b1c | 1589 | no |
| f23_f24.stdout.txt | 7c8bc9622ac5142a4b21d1a8e8897349736a72bf283c66b8f01b5d45d8a5e4e7 | 469 | no |
| replay_O.stderr.txt | b0c187e5dd332a99f8e6730485d3a5eb1020706edb8dc24b5b8cb73ffbc220b9 | 71 | no |
| f10.json | 5a65093ea0dc5bef545a62aec3d36735395841f328e4bf1ca28a7d55663a3c26 | 14643 | no |
| f11.json | 70e63b50ff5390fb31fc1e3dd2aea3fbfe94dd7ceda9634a3c782495904dc764 | 29467 | no |
| f12.json | eb911a5a917ead82382364d5375c77233721ffd9a2ef8bef4c55358723a4a67a | 23331 | no |
| f13.json | 33316e54f03f302d7577e9ae8111cb4f88c8731f96d35e53aec8a16b5553c833 | 56199 | no |
| f14.json | 54062dc9ef0a299d226ab481f6cf7fc0299b42c615ba5b1fd475355500cf273e | 54482 | no |
| f15.json | 804637e4a35bfdb30692025d18adde567c0fb4057eabeaa11db9891c75478b9e | 94096 | no |
| f16.json | da9bd0fe283870f0c39ca4e23ff798c2b092532008651e6cd9662007174fd3b9 | 96687 | no |
| f17.json | 1f8927b62eb29f34443a9e4621dc621229a9c5eaafae4927f39313c4caa2423b | 190395 | no |
| f18.json | 27f5a8facb13cdcb4a8fc263441f45b7010b2d9c88bbd7caf66b66fdaa317e6b | 171546 | no |
| f19.json | ab5ce5bcfe62d7c51914a1d49a7815dc144b996590476c024cb63af6afe8db75 | 340223 | no |
| f20.json | 889777fe7b50fd2adb61bbec103609af099650c60080e9b453633fa20b39b384 | 278192 | no |
| f21.json | 2083b6cd9e02727f1e7999980a4409590cf2100b60d98c92ad9cc10f90db12be | 475270 | no |
| f23.json | 2681e49031ad840ce9cf544b8ba588d17d21b5b876472cdfc4cf851bf53f356b | 773851 | no |
| f24.json | 779c0994128af09f109858a1714b9d94959d39d98f1e2671eb3b4cdb781f9658 | 621792 | no |
Other
Locally hosted. External archival pending unless a DOI is listed on the paper pages.
| File | SHA-256 | Bytes | G₆ 1.1 |
|---|---|---|---|
| Omega_Naught_ClassI_f22_Research_Addendum_v1.1.pdf | efb7947cd9cc35a144a665672f793c8f74832b3b891d382c80f6e175ba4a8cba | 113315 | no |
| Omega_Naught_ClassI_f22_Research_Addendum_v1.0_superseded.pdf | 72332ba4f97425b132fe8073aeccfd5450e19c8f62a3a654969401213dced7a1 | 356694 | no |
| Omega_Naught_G6_Cubature_f22_All_In_One_Site_Update.pdf | 98a96635e657ad2b2ba0806da36d493aa934ee87fbcad78fe284980d34a8c137 | 574030 | no |
| Exact_Positive_Icosahedral_Cubature_Integrated_Preprint_v1.3.pdf | f8a3c0243b537b343f303d8220415159da77561bd98ecf0d4ad4356ea5cdbc45 | 1109801 | no |
| Omega_Naught_G6_First_Principles_Teaching_Manual.pdf | 3d07fccc3be8c4309bd799068177606697a2e68fddd95f17f67e9935391ace5d | 360415 | no |
| omega_synthesis_claim_check.py | 9397c5300b9eaf125958bf21c6a7064f369d14e388313d458cd21b1d825fb41d | 4891 | no |
| omega_synthesis_claim_check.stdout.txt | a6e768c3be44016a5778817d6bf018c50f91252d578775ae9a2d78b2b0b77f0e | 434 | no |
| ENVIRONMENT.json | a98aee33c39d866613f5d3269a8275a9d28913d921254dad10a2a07fb8d6eb3b | 1631 | no |
| REVIEW.md | f1902ef6987ccda1e5e7967b1d95b8de3cc8bcf867ae5a2137807e6701b670bf | 5908 | no |
| OMEGA_NS_Geometric_Extension.pdf | fc66480bc599f6322c79b08f777e4650b25ce20795f2f1084717c1798faf0d10 | 395411 | no |
| verify_omega_ns.py | d6dfd762f98bc2878d60bb06ec2599c211c3ec5535d595e5180d8cfb5082979d | 6622 | no |
| verify_omega_ns.stdout.txt | e39a48e357a6daa21284b6755a7b1739911f0918cb37d1faf7f8ea02775847e6 | 1700 | no |
| ENVIRONMENT.json | 872f370bfc5f04f11b17631b2fc09b298a025a65bc2e41df1985b28f0f9e9050 | 1420 | no |
| OMEGA_NS_Geometric_Extension_v3.pdf | 98a3f74742dd3d06626ec03a248e8ce901772c18d836a5e736e1f1e594e6d675 | 2376354 | no |
| OMEGA_NS_Geometric_Extension.tex | 2cadfed871fc74bdf61683b09f0cc9de54aa05ada0df6b7d103f7bd760bd6cf9 | 66020 | no |
| verify_omega_ns.py | f054d343f78c96f18d1a4360453dd1761d3fc8de7757edfb56a746996921e531 | 18425 | no |
| audit_omega_sources.py | 7bb072407b4c2c3ea58c0a8a0ad392d5870fc1d7d339ff20b67679b9ad96f08e | 25344 | no |
| test_omega_auditor.py | 9cae8025b0b6637ca5b188b30d84235b3c73a122445f0a7fdd9fcf8df6d5f509 | 9531 | no |
| build_omega_pdf.py | a08a93700ee779cb9ac2158cd4c27e4124e1b8c069a62c9b8f26cd71f68e3700 | 3421 | no |
| OMEGA_V3_Verification_Record.txt | 095d05494a301c1fe21f72df044da569b9a00d01e5edc841bdfe4fe5eed91f01 | 14352 | no |
| revision-notes.md | 6f0b510431c632b7994c9da4eb019a98e2c5bf63b69498ab07b742b089acff50 | 7835 | no |
| verify_omega_ns.stdout.txt | 6025d715b46ebd288bed3340a19142121a780e38f74dcdbf6b5a47691d6ed2b2 | 3937 | no |
| audit_omega_sources.stdout.txt | d0c1d8d8273d0db5ff2ffc2fccaa6139b81569cc88074f1788c04c87ed627677 | 740 | no |
| test_omega_auditor.stdout.txt | 62553e270eea74e8d2e42a44ce48564df7d6f63c676b0a66176ebbd71120bf97 | 4229 | no |
| ENVIRONMENT.json | ebadfe2c417762fd32d19d2391e6ddcccd9111b954c150ce249dc3b1e330b820 | 3521 | no |
| LEAN_Proof_Complete_Final(1).docx | 275da4ea14130d21aa1b797b643ec78192e195780bfd8352bac699a75b73542e | 75151 | no |
| Julia_OMEGA_NAUGHT_Julia_Proof_v0.1(1).zip | ef8f1eb75b83f1e5763d280374eb8b73d9ab00b8dcb76b1824aee771869cd27a | 1681923 | no |
| OMEGA_Fiber_Proofs_and_Grok_Handoff.docx | 6d79cddedb1bec065cb065604cbb51dd70d94ac0a90c432dc88eee4395aa381b | 38901 | no |
| verify_handoff.py | 9f7179c5be49c0c4f797824011226dbd4d9980c7cc71aff1d80bd1a616e121c8 | 6701 | no |
| verify_handoff.stdout.txt | bb8832071b312b895f0ab8d87c619c9c8f97251d5ca07faf4038e32792aa0093 | 450 | no |
| ENVIRONMENT.json | 0f8a3e0dc40afdf70954369addfc9de0228d2317505026c1f29dc6c13d0df547 | 1560 | no |
| omega_reference_checker.py | dbf0650cf80c9e618684d98292bf7592baadadc51bd2eccf15b950392dcd5c8b | 13381 | no |
| CERTIFICATE.json | 32bcc2fefc44d0fe19575683b64fd67ddcd32327aeff32ab14cc988a507f4a79 | 9051 | no |
| verify_external_bundle.py | 3798c6d5564b0b2a7013d0d7df97ddb6f40e4ea38b2be3b271a04d56e2229cec | 3758 | no |
| ENVIRONMENT.json | e3fe3d6b3e9068d884104113ed55d61923913d0e73658f3a93c1880e646696a7 | 3310 | no |
| OMEGA_Localized_Flow_Complete_Proof.pdf | e3985cb5dfb75f1ffe03be5238de1b0a0bab55ead183d45c14043e5117d4bcff | 306508 | no |
| independent_checks.py | 380c32bd6bf54acc3fa055d2200e33e209b2e49dd5aa68cdf76b16f6c49c40da | 9339 | no |
| independent_results.json | 01b5ece2e3234e6231b9f9ecee08e17fea89f3ba052c6149c74f26b221f10f1a | 3754 | no |
| ENVIRONMENT.json | cf73debfbb45a39505e1dd969d65de8ac911d95e8badf1be4f95bfe269f75d25 | 1796 | no |
| this_archive_independent_results.json | 1bead28e313d26eaf36fae75528390704de89343c76961ad3298003962f65db1 | 3754 | no |
| this_archive_independent_checks.log | a9c58379b9f9b6a2f4033cefbf870a864a89eb51b4f3772ab8b5efcc55b2da86 | 3304 | no |
| HOSTING.md | c453a0fa7ea830d6e85cec1c7a905335649faba8bab16a79811a4cd367f7de98 | 3134 | no |
| omega-workbench-impl-2026-09-25.zip | ed1f447b6c2b050a824fb7b96ddac0051a4158830797c482bb25d1bdb6cdd6d5 | 22027 | no |
| omega-workbench-impl-2026-09-25.stdout.txt | 6a19d26b294d18647967a83d268b79237ee30ab99347f70adc74fbd7d39d3da1 | 1652 | no |
| omega-workbench-impl-2026-09-25.execution.json | 74a8dfd1f8f0f2f2c2a5a322dd9c40729c69009570b58ffee934daa19c394d3c | 1374 | no |
| omega-workbench-impl-2026-09-25-r2.zip | 939e4baba884ef0ae8be2bae90e2f8934eb55cffca4ba1887e3efe37164032c6 | 22530 | no |
| omega-workbench-impl-2026-09-25-r2.stdout.txt | e1395d8450670e32513e9edcbc1f457cb29fde2b32c4884db90df980c34a7b47 | 1655 | no |
| omega-workbench-impl-2026-09-25-r2.execution.json | 00131016770245f44e85708f3418520a0dc2458726dce0980e85ab626e935a09 | 2211 | no |
| omega-workbench-impl-2026-09-25-r3.zip | ddca5249240b05d6601faedc8d8433bae02187bc038dfcd5ef8056288226031e | 25806 | no |
| omega-workbench-impl-2026-09-25-r3.stdout.txt | c18af61839913cd3242e61e8320eadcb3674d1ded1317bc29c74d1f7e24c5d89 | 1959 | no |
| omega-workbench-impl-2026-09-25-r3.execution.json | fa6f801dcfe3c495693a5b17abd9e7a4b2b72a747eafd6ed611049799112e680 | 1437 | no |
| omega-site-source-e5b4edcb1928.zip | 251962e9a69cecbabbfee0a9ec23bf4fa20dcf171907ab3d09b5af29421da929 | 55762271 | no |
| SOURCE_RELEASE.json | 1e62f0ab264ad570fe155bfe8a5cf04c2a56c671bf98a323142a09e7d6979fdf | 603 | no |
| SHA256SUMS.txt | d72a044399052a712e2d5325c06286a29820d5e8a26fff6f7f2d83c3b4851abf | 187 | no |
| tga_verifier.py | 4339aee9680052fd7e4bf3f6d6b26eba9de62dd9ea7e6a6f947991a8a95646e5 | 31934 | no |
| test_tga.py | 5abc83184053ccdbed6942064177879c6277c236cfa865120eaef16e7f19c0ed | 10454 | no |
| PROOFS.md | b7527c0a59401c2fcd33d4a5823f048583c33b78ea5e6c2d0b0e14dd6fe72393 | 12388 | no |
| README.md | 15c9e0d41de985fc17acdf387451ed9b3bfe63d4c2fd0d0596a3ada7399c2cea | 4659 | no |
| graph-report.json | 0092e5973be596bd74fffddfd267f2de8c03bd18b07bfac7bef472d78782acd5 | 67008 | no |
| execution.json | 479f0c22d7ea2c446764af1fdbc863a6912bde8be6584e4709c1fe1fc9bd165b | 1056 | no |
| tests-normal.txt | 8866056e6f59ec8ff84a8f6939c15586135e2ac2ffc85652b6ffe226d2629a28 | 3155 | no |
| tests-optimized.txt | 0ea88c02d528207fa69d9fca6a305d697e02ce36aeb12f7b0dfdaf0c9fe34b10 | 3155 | no |
| demo.txt | 2493c6745022b1c4246078013db5f7a29602d2f7c9b4f825b3bb44914d635c41 | 24 | no |
| SHA256SUMS.txt | 1cf5967a0501bf7ed52c724315257e562e2236bda3ec1fa596d7016f9e0ad783 | 721 | no |
| this-archive-execution.json | a0d08c40ae0be122d71ac630065e2759dc9947a93acce4b4a79b31a92ff41071 | 1449 | no |
| this-archive-tests-normal.txt | e00f14eb407be87e3632639533784cfc15f9cd3f8eedb00f38972660ba0752d0 | 1980 | no |
| this-archive-tests-optimized.txt | 6e7135195c7e57ef40e803503999527b2af857ead7a8f60d16f343e3d1a578a8 | 1980 | no |
| tga-2.0-download.zip | 56c58ee3194a4bc63038915e706e4b2905c874453ea93f119233b43e92ca57da | 135600 | no |
| tga-2.0-download.json | 6dab5668a233bf6896262a0e2637b9a1e823c2939a55c9f29ac02fb47b75c7df | 1288 | no |
| tga_verifier.py | 4e303e8b07a813a5ef319359870a30c6e2d20ecef11f47fc871a6468f7e68efb | 56183 | no |
| test_tga.py | 2a07664523416e776717c6fd245c2568f8e92b967a159fd4583f3cf31da525c3 | 15292 | no |
| PROOFS.md | 4bc254209196467c570f40ea42d080d2a728b2dd17ccc91bb88a70e449ea05f4 | 11254 | no |
| PROOFS.html | 43a71508317c20c25d6f088e78f74947dd25542398de391137b9bd4941f504ae | 13190 | no |
| README.md | edc8f92690374f31f559906547813128657d0f061cb2d1ec12ec7b2901f5084d | 2665 | no |
| graph-report.json | c120c9eafbcdea4a253ee9a3bf3a1e9fdfa5703f9ceea6f9ecf19099c4264226 | 120032 | no |
| execution.json | 7529d3acf004a2cc727ddd333fd2dd39141eabec5f2ca88ef9d8879281e39221 | 1181 | no |
| tests-normal.txt | d6b85cd087bcc804d9f7cd57bc2cb52b89b53ae984e4bbeb5967947b0a127d61 | 1118 | no |
| tests-optimized.txt | d6b85cd087bcc804d9f7cd57bc2cb52b89b53ae984e4bbeb5967947b0a127d61 | 1118 | no |
| demo.txt | 2bb973b3bcd048b9e4c18a60c72a76e6e808a08785b146215a053dfeefa20c43 | 203 | no |
| RELEASE.json | ee251172ddfac4b56fb913809e04e2e304b7f91113632fb745cf65b88b0344ea | 1844 | no |
| SHA256SUMS.txt | 9194c5ead844afbdb0d4882f6cfdce8df9e5b5f3e2673b5eeda5bfb0cbcc6ec2 | 878 | no |
| tga-2.1-download.zip | bf11cd8159183658eec1c2a3bd6898616eea584e6c8fc3d3f191af8c24dc7d88 | 49051 | no |
| tga-2.1-download.json | ee04c2f561d19793909396f624655d25231dea00069a5f97fe270a2c13ec1e13 | 359 | no |
| omega-atlas.html | 7c0f197a11417f4414927728bc576294ce5217c51cf671c9c37173621f426c78 | 39400 | no |
| index.html | 7ad5421f3cf0d3f001561acb9c2a7d7bbe3b26ee9b9f80bdc909480b3f5c8591 | 39882 | no |
| verify_supplement_1.py | 09d2fa0e6b5ac34a50344177c67aa4a3b0159565c8ac3aeccf728db4437c51e3 | 25845 | no |
| README.txt | 9ac846849046f72df8635a9673558d165692d472508f7b1c46c44a4400795716 | 4556 | no |
| SHA256SUMS | c5a553d2fe1c6a04123f2c6a0018e70de6e7ff29c884db511dcf855107660044 | 674 | no |
| canonical-readout.example.json | 5806a191949aa258c3f0a913549debd289725b2090c9011bf056a5bb6efee24b | 985 | no |
| witness-collision.example.json | c4998e6b6b8433615fa2309645d3fc49317af0c79aa815e4852de55053a92771 | 320 | no |
| python-normal.json | 2aa93980952578e790cb6b67b5d9e505c4f6898ca8baead40b092bc253323140 | 2173 | no |
| python-optimized.json | 2aa93980952578e790cb6b67b5d9e505c4f6898ca8baead40b092bc253323140 | 2173 | no |
| execution.json | 0b69d16862d0b1d783021c5a6dfd51e0a2324ec2430c866dea44c97c467ed1c9 | 1706 | no |
| OMEGA_Reference_Language_v0_1.md | d2228665d64788b32ef24acff68c948cb3428ab0e00e539098e9c9c1dc1bca13 | 9568 | no |
Proofs
Locally hosted. External archival pending unless a DOI is listed on the paper pages.
| File | SHA-256 | Bytes | G₆ 1.1 |
|---|---|---|---|
| OMEGA_NAUGHT_Typed_Network_Exact_Proof_Dossier_v1.0.pdf | 2e4c1f1afd3a6fa1b9b1076722d7589ba89cbea07be3a8ab258f5a44a142e3e8 | 1105802 | no |
| typed_connection_proof.py | a0c32a3c37fbf217d8111aaa8dd5cc0050d0e302df3ae339b05d99556bb32281 | 31256 | no |
| typed_connection_proof.runtime.txt | 1335a532ae210dccae24532e9fccf0ae3c94f5f8ec83d3e81770309ebe6633a6 | 2397 | no |
| README.txt | 4c3bd9693e241c33393b14047c67fa0b3578703729c78448e3698f6e652de6f9 | 3487 | no |
| README.md | 1396da8c8cd39227588d260b4086f1f7ae3aeec2f319251cb8e7879802986643 | 5963 | no |
| PROOF_GUIDE.md | c2accf70d8b425f6e660724c5df93f1f3521299158566f77fbc585aa1f71e51d | 10570 | no |
| SOURCE_MAPPING.md | 35122d4222988b074ab80e46316c050ab1b17d2047248396bbcce3489819ffd7 | 4511 | no |
| REPRODUCTION.md | 23006d03bbb3b5ef00ed807d165904010c84b1061b65329a988dc6238616d828 | 3999 | no |
| lake-manifest.json | 2d90f26571b91180cb175c34f8339ce30a4958bfdc573acd278f17ce2b538a3e | 3141 | no |
| check_axioms.py | f57f46411b7245ec715eb13e4546d82d273eb9a8bbfe186c9f4fbf07fe78f5c2 | 1326 | no |
| verify.sh | 4131c9c3b40bad2320a5059f1e8daaf3cd0a78f4e30270b20ae0c3093def2b8c | 264 | no |
| self_exe.c | b0318dff24ea404bf6f983697599e34947f49ef505a5a196fc64e2b30a8c810c | 530 | no |
| lean_local.sh | 0124bc35127d5d64c5f3b97a21c6705ba944c071f2d2e28abb3a4a6ae35d3adb | 165 | no |
| SHA256SUMS | f8208d18f6ac80dfbd4a7b73eec7bb865820e1c703717ee47bf1704ed0258e81 | 2373 | no |
| Omega.lean | 75e6164d192d8f659be9b73da00cb847017e9909631c93596b40d7ee4fad2010 | 18 | no |
| Main.lean | 882556911c03bc06059a80a08a58bc87982dace224591e6368a0ffcad3b06bf8 | 1412 | no |
| AxiomAudit.lean | 4a0bdc5680cfb7123d6a0a206bb96bdedd6c3c5a49cc15a3d6835efe302efe07 | 5645 | no |
| Constants.lean | a622442855d7d565b8a2ddf9364980f4919638c456229be4f2f4887a3eeea3fa | 2693 | no |
| Geometry.lean | 1cb6284afc2eca467a90de27888d3157aa72cf39ebd788aac505bc256d24638b | 6792 | no |
| Placement.lean | 6f4d106c949af1f9f12fe25f1a6cfe8a3691af58e3b2ecc26c0782d155690cb2 | 3424 | no |
| Affine.lean | bf8c5e04ee15ad4b1ec14cae878fdaf572d374e635f31191d750ab0c90de0121 | 2460 | no |
| Dimension.lean | 8f44a603b1448576055ffba4edaf62ca6a83773767962792fe785ea53f24b32f | 4963 | no |
| Floor.lean | 774298bfb89beb990b8bdb6ef0cd95e1cedc7114b2aabf6b1949e91b33a652fb | 6808 | no |
| Finite.lean | 02bba826557c5206cc168a0eeef6dbd380b69e1892b4b2028e05bdfe6bd53a2d | 2519 | no |
| Extinction.lean | 7305e893875398c5baa585d435eed4e9425cb0dcfa6b76d5d81f514317e2ca0c | 1399 | no |
| Ledger.lean | c4c833bd29e349e2550a4c2bfd67d6abe6b76a84a78041d81092f73e6e7d095c | 5377 | no |
| Interface.lean | 0a61e038b6c7a8cd42273aacaad53615be8fff13cc43ee61cf798d86ea392ae6 | 4395 | no |
| Metrics.lean | 7715cf5d450e3d166858991f44c75a88ba67a8d3826789d9392cb0e7c32d7b0f | 2091 | no |
| lakefile.lean | 30e552cd01e0b82081a26f9446cab1960f1f157f9c120a86740fa3656eb56e5c | 238 | no |
| lean-toolchain | 55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea | 25 | no |
| axioms.log | 82dae0644b5ce591c3e4af7bf9fdbfa6aeec11591560cb785ab0727a65d8eda1 | 11804 | no |
| build.log | b34aef23107d7eb168cf4b1b3642791ab8a49bc7b5848843481e3a01e3be1ae6 | 1791 | no |
| setup_lake_update.log | 62555658e57af67df06d8ddb4fc1507ed6b8e6f43f63a289aefd1ee4f7e70768 | 1722 | no |
| check_axioms.runtime.txt | f0f843b744e7d04fb8e764c88f021ef93c03a8b85e2f8a1d4d29d2ef8d1868c8 | 926 | no |
| LEAN_Proof_Complete_Final.docx | 275da4ea14130d21aa1b797b643ec78192e195780bfd8352bac699a75b73542e | 75151 | no |
| build.log | ddc10580b76d0dd4ec8d9012bf91a78338fc43c003c4f7dbab2421f3c2b760b9 | 1960 | no |
| axioms.log | 82dae0644b5ce591c3e4af7bf9fdbfa6aeec11591560cb785ab0727a65d8eda1 | 11804 | no |
| ENVIRONMENT.json | 622ce56958f1dce7e28a26615c618313dc7d62046932301cdac06880ba7000ff | 9793 | no |
| sorry_scan.txt | 58b5ac839405753ff6df9434f716cf12b9f4f9d61f59f8e7333fa2577523ed69 | 1610 | no |
| check_axioms.runtime.txt | e10e6ea8c8bdd6c78a82a5b734359126e96e8e60106425f418943b6ba25af884 | 1226 | no |
| SHA256SUMS | c6eb2c9233b8da93d9d91f541c5b2f35d0a567bd360d091d4e4f8828fff01bae | 408 | no |
| OMEGA_NAUGHT_Julia_Proof_v0.1_Complete_Verbatim.docx | 7df27d9efd8bc5cfab1129b598c59bf0f0f47d12b5a1f581751c3fee41616bc7 | 1795998 | no |
| INVENTORY.json | 3dbce6bed7dcac0e3051c305391436af883422dbea2a7c41fdccba84b8efcb5b | 15157 | no |
| DEPENDENCIES.md | 3a4502b215f486d4c2dd718cfec247befe424a47ce354a21ccb3168953cb40d1 | 5898 | no |
| PROOFS.md | a1da438398d4df276d5abd441c8baa654ff98312ece80e9211a6db05a40cd048 | 26771 | no |
| Project.toml | 0b350943d4b1fd4532f02177de414f7406be8fb75372d10cf3e8677d85c77211 | 262 | no |
| README.md | 71de22038e8c4ebe9bb391d7e4b995adf4061b1494e4d075f629c73bd0746c78 | 6289 | no |
| REPRODUCTION.md | 2659313e6df58b03e6a1181fd786015d02e0091ef300110cf78685a8f9a0195b | 8273 | no |
| SHA256SUMS | 716a6659ff5893f722854e13a6a97e7d30235e7f5268ad3a4e02c21cd25096f9 | 6301 | no |
| THEOREMS.toml | 8b27cf29d5c9c738fa00eea721168ca7409ad2ce97417123e5263fdb7abc4c35 | 89430 | no |
| THEOREM_GUIDE.md | 7a609115531637ecd1ef04b2b125e2f5e795875fad20b4dab1cd45ee6d966c70 | 89735 | no |
| TRANSLATION.md | 9b6c232e062806665a3223f90edad4e838988f188b36bfb95a147d39245eadb7 | 9240 | no |
| gap_blocks.csv | eb5fdeaf1aeef4d3fa13f880fcbd19300974093bad98beb2bf3f84e7cafc033f | 4383 | no |
| polynomial_certificates.tsv | 63d3c849d626e3b808f35d376969f084c273ea61774f5538b9163006fbdea8f2 | 8055 | no |
| precision_sweep.csv | 7e2c0313ff402b628cdd1ad809dc9539a4e594af2be556aa77353756cf59b5e3 | 559 | no |
| rational_enclosures.tsv | 7fd085ae638ef4ff8a3e0486d371d30ee4897bc4dc737584e54a9c7c1895d64b | 40480 | no |
| results.toml | 28fc2001eaa7d9591b769f37d097f145c60dd37442241060d24fae5a9ae5aa20 | 1703 | no |
| state_certificate.csv | b4269d3a331b2f2da0b4d55e9b012fde64a7f8e7b02a947d5e90cf607ccde466 | 1656880 | no |
| O0.log | 93db690c00cc4ef19270895bd5a78fd497b67a27c58f871692d03575d3564df4 | 1552 | no |
| gap_blocks.csv | eb5fdeaf1aeef4d3fa13f880fcbd19300974093bad98beb2bf3f84e7cafc033f | 4383 | no |
| polynomial_certificates.tsv | 63d3c849d626e3b808f35d376969f084c273ea61774f5538b9163006fbdea8f2 | 8055 | no |
| precision_sweep.csv | 7e2c0313ff402b628cdd1ad809dc9539a4e594af2be556aa77353756cf59b5e3 | 559 | no |
| rational_enclosures.tsv | 7fd085ae638ef4ff8a3e0486d371d30ee4897bc4dc737584e54a9c7c1895d64b | 40480 | no |
| results.toml | 28fc2001eaa7d9591b769f37d097f145c60dd37442241060d24fae5a9ae5aa20 | 1703 | no |
| state_certificate.csv | b4269d3a331b2f2da0b4d55e9b012fde64a7f8e7b02a947d5e90cf607ccde466 | 1656880 | no |
| O3.log | 93db690c00cc4ef19270895bd5a78fd497b67a27c58f871692d03575d3564df4 | 1552 | no |
| optimization_comparison.tsv | 6ba9b6c2f381fb21bbc907bed68eeb597ebfecd84ed38815ef1ef7ff3ac34457 | 973 | no |
| run_manifest.toml | ee7e51cbfb88cd8c18713119d9a1e083ef2d3bfb3afa40f5d2774944f15f1138 | 1164 | no |
| source_and_environment.json | 3bcdc38005d5953dd77b10ab299a78c983b09a41230b7f779bc2b0a29ffa5e8d | 406 | no |
| julia-version | 0ee46b684ed08be98c69d1631b632b5a5607c638cd1b8cce2e4bdb9443b7d0b3 | 7 | no |
| Affine.lean | bf8c5e04ee15ad4b1ec14cae878fdaf572d374e635f31191d750ab0c90de0121 | 2460 | no |
| AxiomAudit.lean | 4a0bdc5680cfb7123d6a0a206bb96bdedd6c3c5a49cc15a3d6835efe302efe07 | 5645 | no |
| Constants.lean | a622442855d7d565b8a2ddf9364980f4919638c456229be4f2f4887a3eeea3fa | 2693 | no |
| Dimension.lean | 8f44a603b1448576055ffba4edaf62ca6a83773767962792fe785ea53f24b32f | 4963 | no |
| Extinction.lean | 7305e893875398c5baa585d435eed4e9425cb0dcfa6b76d5d81f514317e2ca0c | 1399 | no |
| Finite.lean | 02bba826557c5206cc168a0eeef6dbd380b69e1892b4b2028e05bdfe6bd53a2d | 2519 | no |
| Floor.lean | 774298bfb89beb990b8bdb6ef0cd95e1cedc7114b2aabf6b1949e91b33a652fb | 6808 | no |
| Geometry.lean | 1cb6284afc2eca467a90de27888d3157aa72cf39ebd788aac505bc256d24638b | 6792 | no |
| Interface.lean | 0a61e038b6c7a8cd42273aacaad53615be8fff13cc43ee61cf798d86ea392ae6 | 4395 | no |
| Ledger.lean | c4c833bd29e349e2550a4c2bfd67d6abe6b76a84a78041d81092f73e6e7d095c | 5377 | no |
| Main.lean | 882556911c03bc06059a80a08a58bc87982dace224591e6368a0ffcad3b06bf8 | 1412 | no |
| Metrics.lean | 7715cf5d450e3d166858991f44c75a88ba67a8d3826789d9392cb0e7c32d7b0f | 2091 | no |
| Placement.lean | 6f4d106c949af1f9f12fe25f1a6cfe8a3691af58e3b2ecc26c0782d155690cb2 | 3424 | no |
| Omega.lean | 75e6164d192d8f659be9b73da00cb847017e9909631c93596b40d7ee4fad2010 | 18 | no |
| PROOF_GUIDE.md | c2accf70d8b425f6e660724c5df93f1f3521299158566f77fbc585aa1f71e51d | 10570 | no |
| README.md | 1396da8c8cd39227588d260b4086f1f7ae3aeec2f319251cb8e7879802986643 | 5963 | no |
| REPRODUCTION.md | 23006d03bbb3b5ef00ed807d165904010c84b1061b65329a988dc6238616d828 | 3999 | no |
| SHA256SUMS | f8208d18f6ac80dfbd4a7b73eec7bb865820e1c703717ee47bf1704ed0258e81 | 2373 | no |
| SOURCE_MAPPING.md | 35122d4222988b074ab80e46316c050ab1b17d2047248396bbcce3489819ffd7 | 4511 | no |
| axioms.log | 82dae0644b5ce591c3e4af7bf9fdbfa6aeec11591560cb785ab0727a65d8eda1 | 11804 | no |
| build.log | b34aef23107d7eb168cf4b1b3642791ab8a49bc7b5848843481e3a01e3be1ae6 | 1791 | no |
| setup_lake_update.log | 62555658e57af67df06d8ddb4fc1507ed6b8e6f43f63a289aefd1ee4f7e70768 | 1722 | no |
| lake-manifest.json | 2d90f26571b91180cb175c34f8339ce30a4958bfdc573acd278f17ce2b538a3e | 3141 | no |
| lakefile.lean | 30e552cd01e0b82081a26f9446cab1960f1f157f9c120a86740fa3656eb56e5c | 238 | no |
| lean-toolchain | 55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea | 25 | no |
| check_axioms.py | f57f46411b7245ec715eb13e4546d82d273eb9a8bbfe186c9f4fbf07fe78f5c2 | 1326 | no |
| lean_local.sh | 0124bc35127d5d64c5f3b97a21c6705ba944c071f2d2e28abb3a4a6ae35d3adb | 165 | no |
| self_exe.c | b0318dff24ea404bf6f983697599e34947f49ef505a5a196fc64e2b30a8c810c | 530 | no |
| verify.sh | 4131c9c3b40bad2320a5059f1e8daaf3cd0a78f4e30270b20ae0c3093def2b8c | 264 | no |
| run_proofs.jl | 16a035f69fb06623d85260a9bde03d05d97bd0a0772d88636922d5cb2fe0ae1a | 288 | no |
| check_inventory.jl | 10970faeffe0804073ffab73555cc0a5cb3dfd19892fa559e4ada68c454eb94e | 404 | no |
| export_guides.jl | 121953ec5044660dabefd0d811346c1c9ec6d1a94f17bb4c4d6ef551bd2ae489 | 1924 | no |
| reproduce.jl | ec08951e3c28cd8b2b299839ec5499c42aa0d2b233514b4a8e259af952bd3969 | 1820 | no |
| Dynamics.jl | 06a3a54b17c550736ed7d1daff907ec8cb15a2fce00a5cd857f9b0ebadcfdad9 | 4671 | no |
| ExactArithmetic.jl | dcadae591fd616aca154c834a584109c038fc0bd27b38e2a1a2244a62af6b380 | 5247 | no |
| Geometry.jl | 4a79980d4487c8de1e8f9dbe06a52163b06e5511d0e26ac35d31118d104c66af | 3115 | no |
| OmegaNaughtProofs.jl | f6cc1965c16635fed2956f81ffb9f9c81f39da11f15f4da0024f4b92b09dea27 | 633 | no |
| PolynomialCertificates.jl | 01bc9164c584fb87adef800cfa10ccc8c0cafea3e5241c663b1bf95bdf4aa91d | 7625 | no |
| ProofGuide.jl | 4e98dd719a6f792b2490eccc27fe66966a2de8020bd9c2dd61929a4780f95af8 | 27030 | no |
| Verification.jl | 972dd8e9b4aee7f0101c8010935898a3b8e7fd316e99f3a863b30926049308b5 | 22681 | no |
Reproduction / historical G₆
Locally hosted. External archival pending unless a DOI is listed on the paper pages.
| File | SHA-256 | Bytes | G₆ 1.1 |
|---|---|---|---|
| CLASS_I_CUBATURE_1_0.json | 500160eff3bc6cff6b7896e627d3906af92cc7d8fed839d3214fafb9b9d012d0 | 548 | yes |
| orbit_masses_f1_f9.csv | eed325c55fe183b36b46b591f758935bcf748a91c2427a09a965337895354b98 | 66491 | yes |
| f9_affine_family.csv | 851a5ff03452e21f7839285cd63423385c936907568e852a174056197c20a95f | 198064 | yes |
| RELEASE.json | f63ae1c2d595b4805ba9d36687a828fd87200febe01079b184723f7d5eaf746c | 30663 | yes |
| RELEASE.json | 0235d4615e5a37bff3baf3c98b0f751274fcb584ae4fe6f73174050694b4532f | 31246 | no |
| OMEGA_NAUGHT_1_0.txt | c3e3146ce37f84a63b73ab6c5a661dcc63f3213f8750d5e71f94b324229d7079 | 339 | yes |
| OMEGA_NAUGHT_Software_Dependencies.docx | 3841413fe7bfa987b5f394cc526365814fd41381a0241729ace5098ffb1c621e | 45009 | no |
Construction
Locally hosted. External archival pending unless a DOI is listed on the paper pages.
| File | SHA-256 | Bytes | G₆ 1.1 |
|---|---|---|---|
| OMEGA_Paper_VII_v1.6.0.pdf | b6369875753ba9fe29473850bcd5e92c6bb0a9c86d3226abf9439f7f31373b9e | 1570493 | no |
| OMEGA_Paper_VII_v1.4.pdf | 3dae104fb0736824d08b0aec0ad98fd86464d1302b90bdee5ab6487b3ab2b9b6 | 1554873 | no |
| omega_reference_geometry.py | 5151dcac227eae510dbcf26f0815c39e8ab66ef54482d8973c93347008117489 | 10096 | no |
| OMEGA_local_kernel_v1_6_0.json | b280522bcd2cf63927e8dfd6438f78fa3a2e7af0cbfd484ee9cd55994b9c3753 | 4281 | no |
| OMEGA_local_kernel_v1_6_0.obj | 2654f85dab5881e9a0659985729450a89d7cc8df3b07035c22a4c4372b10a079 | 203905 | no |
| omega_kernel_oriented_r3.jl | 760162f6470fde51c95cf30cca459e2e160825d73e790a46dc4580aca588d47c | 6235 | no |
| omega_local_geometric_object.jl | 0852ebfbede6c62dca63076518bf6ff6b72b1241733b7498c9269d2bcbe99fa5 | 8498 | no |
| omega_local_geometric_object.stdout.txt | a15ae9051fce975dd3470abae05e59aa8a5fe7aabcab63963a708a3c0025b975 | 2040 | no |
| omega_local_geometric_object.diagram.jpg | 775b10100aeec5869946622d372c4e0904b6fc3b786c0d4767e588fe31c4ca01 | 239476 | no |
| omega_local_geometric_object.frame.jpg | 88b30acf9d1de79f4f142916740b5a512dbfca66a8fc2e835ad436c036cb8fac | 317091 | no |
| verify_geometry.py | 140a957e3c5bb26f3c88eefdfc21b4bceac132900b07cc2ef14aa03b702ffcae | 7860 | no |
| OMEGA_Paper_VII_v1.6.0_publication_ready_package.zip | ac7f3ef23cd1fdc51e17ffab12762f1042a70085a3281eade8d5495dfee4118d | 2923282 | no |
| omega_ref.py | 96ec74cd98b06a3e4de595d21eb1a0d5a170d1822dbdae3fcfbc56383bb799a5 | 4715 | no |
| omega_drift_experiment.py | 1ba1d3d24360fae96bb98d3822a2b91b5de3cd319e5e3ce3e6cca52d29b03bd4 | 12776 | no |
| results.json | 02708842d1f0682d92dd25d03418f2cbf28125554750929c2cf5f6af5613b0fb | 7038 | no |
| OMEGA_Paper_VII_Refined_Draft_v1.2.pdf | 7c7fb50df84a78e3400ef4586ff08b6b6546f3be337c8b5a9c5214ec4afdf7eb | 577187 | no |
| OMEGA_Paper_VII_Integrated_Draft_v1.1.pdf | 2ae66b3d78c3ae49f34add5743323fb3f49da996c4349c8a7d0ca43e567f4653 | 603322 | no |
| OMEGA_Kernel_Construct_v1.1.0.pdf | 6b2593e2ad232793296b8e8b3acadcc8a71d240b5e8c799342d90cd1815bd912 | 368491 | no |
| omega-kernel-nodes.unit.true.json | f821ada8c166d5f8fe00fee6d3d978fae514862c504f0b5bc355d0f3cecb6f8c | 5456 | no |
| verify_scalar_interface_exact.py | 863d1b2166a4264aeec7aba72faedd7136b3f4a5d9405e9e9111b6df7617b387 | 7716 | no |
| OMEGA_NAUGHT_Julia_Proof_v0.1.reconstructed-from-members.zip | b5d4e46ac32ac4ec08f96a6fc609fe8c8c3a291b7226809c2e79c3adac2e26ab | 1683196 | no |
| reconstruction.jl | 045d1f82645dd14fa2bdc114288cefdad44c922c06d76d61f299469f1a7ae139 | 1201 | no |
| OMEGA_Paper_VIII_Final.pdf | 9827d625a33ea797417fb2847fc8db23c46980b870466b5a1e4b0e66a8c63785 | 286306 | no |
| OMEGA_Paper_VIII_Final.docx | cd009648c0fe8f8bfbede250a0549e253cb3d3c9cfd1adb49a8c54907334b8b2 | 72636 | no |
| OMEGA_Paper_VIII_Adversarial_Review.pdf | 1ddb7ef6ded1acccde4f8d6cf4bd9a2cfaa3f42601efe17977a677ccd26dd98d | 119042 | no |
| OMEGA_Paper_VIII_Source_and_Code.zip | cbdf7a29d67942eff0bf839f30fb8071125c5c213a60e8d648f116f07a2c2f75 | 1323852 | no |
| OMEGA_Paper_VIII_Proof_Audit_01_Forced_Flow.md | 4617fd3f00c66e97ea8ea47365cf5a0c805b5c93228953662323329f8c064656 | 21406 | no |
| OMEGA_Object_Exploration_02.md | 12f3106a7980ce56e328c3ae29392f306c1c321e4c7c92decbce38fa00560513 | 20104 | no |
| OMEGA_Object_Exploration_02.py | 4c1b3cfa46262e21d19ece458d4dcb8fccd617d15ca4579a2f013108396c13a6 | 15581 | no |
| this_archive_exploration_results.json | 437f5503b1db3c1ba2c8dc3efce9848b06b720fba818419d4cd474eb5840bda4 | 2624 | no |
| this_archive_exploration.log | f584812546e1aa8971095704bcbd2a0a618b1c40e030ca23d1746b4eef5db652 | 1241 | no |
| ENVIRONMENT.json | 2c3be5135d69f4387e2fa503d8a088e9593a4a2e34462fcf6735bc76e1d743ee | 1752 | no |
| this_archive_exploration_results.optimized.json | 437f5503b1db3c1ba2c8dc3efce9848b06b720fba818419d4cd474eb5840bda4 | 2624 | no |
| PROOFS.md | 99d6b58e29940ea9e06d8585cccf0162a4f99a864c6748d416f393ec3cf2e636 | 28146 | no |
| verify.py | 381d091c92928a42a970f79c08f366a3681f74352b4780b4a16b93d862e60ce0 | 18356 | no |
| Verify.java | 4b00c0ee5edd80376d7179ed93721d53fb5fd3cfd5aeca31404e64acef246517 | 23485 | no |
| expected.txt | 7ef550cb3f03d5032769024b9cbeb47f5c143ef45f709a0f1b785128684fd662 | 5683 | no |
| README.md | ffda91ff2e7a139f550c5f0a478db294dcd2b7e16c66c8dc03e2a809632e4e38 | 13280 | no |
| REPRODUCTION_REPORT.md | 8c5337e3e5bd19c62fe7b8dd7c223d9185baa320c46513140976ca0e87e14762 | 2100 | no |
| ENVIRONMENT.json | 1350a38dbbc90f2d5af939abc5921041a8813e44fdba31f35ac335d97d0d28a9 | 1237 | no |
| HOSTING.md | f603b5ea5579b8d12bb8ef3c36f67d00e0f5eac4b052d474b626aad782a30a72 | 2110 | no |
| Boundary_Reconstruction_Transport_Formal_Proof.pdf | a8c9e39e29f283272b3c7dc2933c7dad1a02bc2651ce0341508317de3d295571 | 344230 | no |
| Boundary_Reconstruction_Transport_Formal_Proof.tex | fcaadf4b55fc24fae1c8cfb1d8839d22a95eea27d3124fbe19002c50cce6c89c | 27553 | no |
| pasted_tex_as_received.txt | 7db0d779b8e975fcf9a02f37d6d0895beedaf7f9049b5272afe7e6e3e04a3ba4 | 27552 | no |
| REMARKS.md | 9c217a5e88f1ff04d0d8ec4bb5f4bf9862640258bb1112f5a2d774f72e12fe9b | 7927 | no |
| verify_boundary_reconstruction.py | ce3e5ea29ca8de60e27e45164903065f340e54826935f88045b0ed715b5e3efe | 10661 | no |
| this_archive_verify.stdout.txt | 60ad47fa29f0c7ada869555a393e497411f9c8b08344b2850b71c84a840890b1 | 897 | no |
| ENVIRONMENT.json | a8e0106cfe56c364661494b217b1cbebffc708163fb935c1af3178a1190bcfa0 | 2160 | no |
| HOSTING.md | f67e6c394a6b152b015a9523a10ce02d60a253d80dc2740285a188665446c3b9 | 3587 | no |
| Ten_Sample_Reconstruction.md | 967bc8afe442d6b0763f5d563b993a368161243d0f23b7274be46936d81639fe | 9973 | no |
| verify_ten_sample.py | cc850bda469cb33cc9d37c307dceede7e1b4e5ede002957c3ff7497c7a388c0f | 12288 | no |
| verification.txt | a6e04971faf30e665f00fc1b60a16488dddce315a83d715291b5298031268be0 | 1186 | no |
| verification_optimized.txt | a6e04971faf30e665f00fc1b60a16488dddce315a83d715291b5298031268be0 | 1186 | no |
| execution.json | 1a10514022540d04d162c45efd3292e288b80205564df0d4c164ae7960a04e65 | 1541 | no |
| Exact_Field_Interface.md | 30b1c4c58f0baa470052a5d1aa3eaf98fed6cf117e11e57c4fe38cf925e0f0f4 | 8938 | no |
| verify_exact_interface.py | d51b7595348d067163c08b88a7726b761662471a1f9b380201114d0112417bfd | 17597 | no |
| verification.txt | 345931205dac7acbf49422ca727e55ea333badc37ce3329f612a6ef7813d3977 | 1895 | no |
| verification_optimized.txt | 345931205dac7acbf49422ca727e55ea333badc37ce3329f612a6ef7813d3977 | 1895 | no |
| coefficient_record.schema.json | cd1b481dae752eae12f098d94317a1a2c17798a5b9eb9f669db9d110136f33e1 | 1588 | no |
| execution.json | 9f6cc72aac96fe1c6e3ef2581d6e6ad8ef32147d207215352fd76fe85b051d16 | 835 | no |
| START_HERE.html | 0229db8060453e602b27fb4d8637e3ff776b0d1e0abfeb4130915b7e0e068eaf | 28502 | no |
| omega_geometry_operator_bridge.jl | 9f81f385077cad025d4830e62f43cb68af224513360374aa9323825da72ee82b | 19070 | no |
| verify_reference.py | f69e15bea4e521343a6de46c20adc77490b327b643adf055ed358ca6b0879885 | 15615 | no |
| README.txt | f9e8d767e54b4fe3f8f9da6ac4aceb9afcb191071d445250b72fd49ed9218cb5 | 3646 | no |
| EXECUTION_RECORD.txt | 2eed1348063e8f3b0b5b77adc6de3056636c4d1283a0a579b868b63fc14a783e | 2129 | no |
| python-normal.txt | 416712e2a398e29d664eec4d42c52c73871e13ec3fa77f3cf1e727e932e32afb | 2311 | no |
| python-optimized.txt | 63200936d20d381f60db65a54a7fd2d87accb9557891cc5a436c5a4bd0762121 | 2311 | no |
| requirements-tested.txt | f774932b726ff63c3f480b3e08017d5a95dd99cf783fffb195f004bffba23ea5 | 185 | no |
| SHA256SUMS | 9712f1cbc5318c15b07467864b02cf67f19e0b715aedec716fbf773745e20e56 | 723 | no |
| omega_bridge_transcription.pdf | da61f16c31adb02c24a6c24f7e962762d977bd7ebae129a8e29e1accbe55d7ba | 157577 | no |
| NOTE.md | 3e7f731acaaa05c4428ec4de3da5bb65873b3b581da51a52f20c668108ef7a66 | 27115 | no |
| README.txt | b0fc7cffffc989c8bf515675a01b421383ffe187bbc65463996857baef1963f0 | 586 | no |
| verify_sampling_polar.py | dc30795e4972514f34612c88adfd6604fb0817920977d0bf278d0d6719fe7fbe | 5160 | no |
| SHA256SUMS | c23230010cd2e0ca0bd0db80fb222893a03b829c8eae97b0086d6e19b11d0e32 | 554 | no |
| python-normal.txt | 37a3c49d28a9854517a0bbc8c15ebbf85be9cd936f1ff0f30f173796d3fe1f39 | 141 | no |
| python-optimized.txt | 37a3c49d28a9854517a0bbc8c15ebbf85be9cd936f1ff0f30f173796d3fe1f39 | 141 | no |
| execution.json | 3a5b6a2a8c0f319ea1e653c905a99e51f53f1095959a587687bc29de2fae5bcc | 1037 | no |
| OMEGA_Transition_Invariants_Proof.py | e94400b6e136bed009388c5d17e4f1c698235b7b938f75c266bbaf363a15a0ca | 12112 | no |
| README.txt | c54663289ac5881d523dce6fd14d13f1819bb91c7e5edabec1cecf799bb7c783 | 1411 | no |
| SHA256SUMS | a472676f00d6e25964e88fad862bc4bc9a82ccae48994588b3c224abdb66122c | 608 | no |
| python-normal.txt | 41a6c27f1e76d919eaad72a34b25e538b949d560eb01b251eee3c4ffef4a3474 | 777 | no |
| python-optimized.txt | 13310bb55569b55aceb1dced492db74dc52fc60d93ea40a1793e23ce9cdcbb74 | 777 | no |
| execution.json | 225d4d7904853e2fccf7505195e923fbf8b42e6a209fd93faaedd069f060f4e8 | 1078 | no |
| EXECUTION_RECORD.txt | 5760e698d878ccf4b1f7f00c8f875ea333af458217e36368ed05f76a58be3581 | 2103 | no |
| OMEGA_Core_Theorem_and_Proof_2026-10-13.pdf | 61f7ff80c5650fcaad79302673947e5c1e7c5f611318370b3928ade6a88f1017 | 655441 | no |
| OMEGA_Core_Theorem_and_Proof_2026-10-13.txt | 9c96bde98e99f184d515f1682f79bee9e6a9d95f8d563da12fcb60788b3cb6fc | 25650 | no |
| omega_geometry_recovery_verify.py | e044133aceefb442bfa226bdf61359a58bca413e12196f090ff19eef3ef84ab5 | 16815 | no |
| README.txt | 92e75b7af832fb5751412fd63cc05ebc69e222ffc1df46279511165edd7cff9a | 1613 | no |
| SHA256SUMS | 70509e09f4e242ec92b2f719821aed14726739fb37904d2736a760c09bbeb9f5 | 825 | no |
| python-normal.txt | 3176eb64939586ace4e28632d7fdc8d357a0b382de2ed5f666a07c516f6bc467 | 1769 | no |
| python-optimized.txt | 3176eb64939586ace4e28632d7fdc8d357a0b382de2ed5f666a07c516f6bc467 | 1769 | no |
| execution.json | a3436f29e048d5a114c69e207467417fcd27a138303cfb124401c1bdbf0105fa | 1288 | no |
| EXECUTION_RECORD.txt | c569f88ba5c5dc2d9c682f895d3a86bf8785bb201f44556ed1ab53f1b1101c1b | 2273 | no |
| certificates.json | daaee23b3c27bbb320d0f8db2c8d00a4a077f08e5fe0056864323873ddf71b19 | 1722817 | no |
| omega_proofs.json | 82ea7ab7ebb856d7b417db1dbc0c7eaff852fbbd3276a5ce514943c745a19834 | 86017 | no |
| verify.py | 423b426276850abf4b3a35b36d54918870eaa400941dc1e916ef8261cd82326d | 18214 | no |
| ProofMarkdown.txt | 92e58c59c361e01835a3f39a7f074b852d463251c3ca30b9eeb415a4e0f93a1f | 73425 | no |
| bundle-readme.md | 42d8199f05b219463fb8114c562e3b51cc00cae4ee593fc60eb7908df46bed9e | 11962 | no |
| theorem-index.json | 87ed14e26df7886287248e155923d8daaeb7cb159099bf300c22f93921d7cfbc | 10675 | no |
| README.txt | d281257220f1ac3db28c4c03456499ddcb8c29c5f851e95f547d9e115befcc5f | 2253 | no |
| SHA256SUMS | c19bef722c3b4e7892f94eb8dcd5c33eaa3e24e30e3392848dc6e1c23f8698be | 1118 | no |
| python-normal.json | 2a4a696fd9131646c2053babf9c18206497f0fb3cf6309aa162d7017378aae92 | 2821 | no |
| python-optimized.json | 2a4a696fd9131646c2053babf9c18206497f0fb3cf6309aa162d7017378aae92 | 2821 | no |
| execution.json | 5aff8063e542a9c7d82038d3d735d39d36950207135ded47b290b253cbdd1f1d | 1265 | no |
| python_normal.json | eb4dab39fc196a2f1f09b9cac36f94ec0d28fae6595b07a349f28fc02dfbed91 | 2820 | no |
| execution_status.json | 38b6d47b100fc9a69107a2052875a0de32e4dcf6af8c99b9eca658c21c4b6613 | 5786 | no |
| OMEGA_Relative_Representation_Thesis_2026-10-15.pdf | 1a302b7e51340db486a3ff8fc2bfbdcb753c4c12dcfdeabaaa90abe42fd0982e | 769556 | no |
| verify_omega_thesis.py | e6330f8327f3ce39c61ca666864171a3470044117147b20a3237ba1931e7d506 | 18211 | no |
| README.txt | 90b3fa534c9a7fa19bbd73223de448a1028b79a4fad9a8ac1b099ffeb78e3c28 | 3583 | no |
| SHA256SUMS | 0964aeb6bc96e16f7c45a56f4274b82109ad0b6a3ec273d96aa8f7a0d81f79e1 | 598 | no |
| python-normal.json | 7c3cdbf3882f9278affd89c49dde75c70b1eb826ae33b9d2a708a68d0fad5915 | 2094 | no |
| python-optimized.json | 7c3cdbf3882f9278affd89c49dde75c70b1eb826ae33b9d2a708a68d0fad5915 | 2094 | no |
| execution.json | 690fbe9268db6098a88efaae63b126698ac6adb7efba696c1a3631b755c5e4e5 | 2226 | no |
| OMEGA_Geometric_Arithmetic_Unification.md | b9100a552b25688157e8c9fbe69905f6e6cb3fe33ba44f94bbc6d6e3561035e7 | 9111 | no |
| OMEGA_Unification_Proofs_Python_Java.md | ca17172769a93bfecf20f89c4c389b0a901250a03222ad88d954a875065e47e4 | 81699 | no |
| PROOFS.md | feb3393dd3ad738aee848143830db47b2e4268bb2c34c7d2d9037eac27e5d5fc | 54827 | no |
| omega_reference_verify.py | deb36432d39ec4ee12319364e5c24260968239aef3cbab27b6fa4c8c9b8fda55 | 27579 | no |
| EXECUTION.txt | 286f2e355337d8362c9c9500fc0792916a5a16a3360daa0d31d17b25d67b44b8 | 1512 | no |
Arithmetic
Locally hosted. External archival pending unless a DOI is listed on the paper pages.
| File | SHA-256 | Bytes | G₆ 1.1 |
|---|---|---|---|
| omega_naught_conformance.py | 51fd8fc8deb13e554ee655dca685d395f8f23bfdc70225eda9ef42ff96f5a334 | 6671 | yes |
| omega_naught_conformance.jl | d06a98f058d11272f1a6c465f1c25cb52134e2811436d58c7a91e2bab24bc2ff | 12277 | yes |
| omega_naught_conformance.rs | 97aa0a7fa787ea503bf6989492cb4983181f87efef83f0672fe4e72c08b60016 | 26935 | yes |
| OmegaNaughtConformance.java | 87aa4a4bcfd6c885db5dccef548322b4d2ea61d2354352cfb4ad516e72868cc5 | 8645 | yes |
| SRSD_CONDENSED_CROSS.txt | d490b160156814ed6894c4dd49e5c244e2d8aa07baebaa1f7bbc58bd08871e4d | 2266 | yes |
| Omega_Naught_Successor_Search_Verifier.py | f1038a182f21fa89736835530c8dfc8bfa44828e2ac4ae9d5498a04c38103f2c | 9163 | no |
| successor_search_certificate.json | 16404bbe69bc4d0c0c8a2c27d6e380d3108717df6e9983ac198ad68c85dee057 | 4062 | no |
| successor_search_output.txt | e83337d4e1a41427bcbcdddcc749dd7939cc17edcc3422f9ee1579e9ad8707fe | 2679 | no |
| PROOF_AND_GROK_HANDOFF.md | d47d2326f74f17ff2d763cba7df0e27f67be1ef401d1004ac4ce547260e67a7f | 13304 | no |
| floor_kernel.py | dc1b1633628fac20e0cc8fb5f80c37c54d888f496124417b6e71ddbd0b53b8a9 | 7737 | no |
| floor_kernel.mjs | d8efbc15d4740fc7cfb334039e016becf10bbcf68fdebbfab09992fde8fba92c | 2347 | no |
| verify_floor_kernel.mjs | be5d7a199d9f1ac7b092e7a6fa639d8407b911cc72294520c6cd0b9552d3bf04 | 4709 | no |
| verification_python.txt | 3a59103bb189ae68ef0aa4ef9f67525489f3b9243a912b69748a1718ebc1512d | 806 | no |
| verification_node.txt | c7b1ccb37dec27a23cb0aacabdfbe30ee6bc02aee1c2a36d7c6d940fa84664f3 | 796 | no |
| SHA256SUMS.txt | 81cab06f61af6856d65aa66aa58d4f70ec7729c68694f94ca14df7e0de56278c | 1595 | no |
| execution.json | 27276262b4f935533d13d13edde695070f9b1ae6aa2ac408ff70531c0a31288a | 3079 | no |
| OMEGA_399_Exact_Rule_and_Grok_Handoff.zip | e79787b7fbb0be86b5b1bb0fd4677fe7dc8c82172f8e392c99ccb1cf1d80af07 | 87011 | no |
| verify_floor_general.py | c4bb196ae7ef360e11eaa4e356678286f42b87bf33d3c9f94ab831a9f985e564 | 3683 | no |
| python-normal.txt | 9e9bf6e958bc87a3a0344b2a065e806b16e8869745d2927f52c7d99778b68bd6 | 278 | no |
| python-optimized.txt | 168c7f829d5b694a9bd6d5127728421e96015ad214edaca48bb4cb2cadb6df8c | 278 | no |
| execution.json | 0110b62c1b6ef69eb9e1be9d9a547d791ea803c007c3deeabc54ebd248de8d12 | 965 | no |
| execution.json | 6220ba02b9cbb3d7c08de7aac98e54cf454532d477862742a12d9adb41535053 | 950 | no |
| omega_joint_witness_v2.py | fbcf5bd89431a8e5ee1f7258459507522c74063bfb42c64231792448fb9e9366 | 44053 | no |
| network_parameter_audit.py | 0267e3b4587cc676eddb4ee63d002cafff27b3b0a176e80308f414b5a948debc | 5279 | no |
| create_network_fixture.py | 1863dfac0ecdb855a1a9bd108890b76122fa4ba3c16b88f941fbe265f299434b | 3542 | no |
| graph-fixture.json | 40bc6a1d52efab3d75cf343e65ac06b314f9c9c375fc02bf6d45bf6bb21f9529 | 8242 | no |
| joint-witness-test-vector.json | c009c546f8d6967a2c5032c25fccd0953a589ae25007ffe9cea03878504f787d | 4138 | no |
| EXECUTION.json | 977ad06831b5689c1101946989751b6e01fd02867c2b6dcdbbaeccd2a1c9fe23 | 1156 | no |
| normal.stdout | f503e120d55364502840337293543c99923e98a77880bc35a83036a22e4460b4 | 6004 | no |
| network_parameter_audit.json | 9f3746f755f7f74983d33086be9e3b5ad3a0d87a7200e15ff9a02accc79342de | 1617 | no |
| EXECUTION.txt | c31bf9c9b774b087cdfcf9890ede05bb0a6e259d894f7607b5652a83f59d27cc | 1757 | no |
Terminology module
Locally hosted. External archival pending unless a DOI is listed on the paper pages.
| File | SHA-256 | Bytes | G₆ 1.1 |
|---|---|---|---|
| OMEGA_JPRV_SRSD_CANONICAL_TRAINING_MODULE_v2.1.0.json | ac861a395cdf83fea39c9773cf6f1776763c5cff3566d665cf903728ee225d68 | 31891 | no |
| OMEGA_JPRV_SRSD_CANONICAL_TRAINING_MODULE_v2.0.0.json | 991282db172f6bd977164a11078ac24ec57ef957b63906ac05b5057460c6f2bb | 28647 | no |
Omega-Alpha
Locally hosted. External archival pending unless a DOI is listed on the paper pages.
| File | SHA-256 | Bytes | G₆ 1.1 |
|---|---|---|---|
| Omega_Alpha_Master_Preprint.pdf | f773a1fc24cfb70e1c036e65b55313dbbb9024caeb720b218a6af0ca0366b717 | 464000 | no |
| omega_alpha_reference.py | bc795467cf108f0a0efefc74de73a363c449056b2f6ef7cc2eed544e27359e7e | 20144 | no |
| reference_test_report.json | 37b3b87e3bcc3e63139f74af191da7478f3a62a50262f1db100629f638f90b8c | 3315 | no |
| claim_verification_matrix.csv | ed19074129e88ad0fbaaf218ad735c73aff1829887499e809d7bf15f65a0c38c | 16296 | no |
| version_and_correction_history.md | e5f1c984969850429120566794904ab90ca99f6e279735503d2ca57e8671c6ce | 13068 | no |
| authoritative_reference_and_test_report.md | d199afaea8a9b0a47c1a32108bb90dcf99a189222f4acda516662a9fe189ed9e | 7208 | no |
| SHA256SUMS.txt | 2f0a7029d3652767debdeb9134351f4a0cfc38e8e5525888df1a4114ceba29e1 | 849 | no |
| README.md | d735a27a42c8e6e3969134547d896ce0e618d054e0652e0a6628e4835e5f3fd0 | 1200 | no |
| reference_test_stdout.txt | 37b3b87e3bcc3e63139f74af191da7478f3a62a50262f1db100629f638f90b8c | 3315 | no |
| original_jprv_self_test.txt | a811a14a1ae35b1b202d87512de0f8a3fce8df54f0c006c80a29d4b6b25eb4d5 | 45 | no |
Site changelog: /changelog. Reproduce commands: /reproduce.