Supplementary note · 27 October 2026
Reproduce the 600-cell checks
Historical records and this archive’s runs are different executions. A matching digest checks bytes. It does not by itself prove that a recorded execution occurred or that the checker is mathematically correct.
Hosted sources
- omega_joint_witness_v2.py — 44,053 bytes — fbcf5bd89431a8e5ee1f7258459507522c74063bfb42c64231792448fb9e9366
- network_parameter_audit.py — 5,279 bytes — 0267e3b4587cc676eddb4ee63d002cafff27b3b0a176e80308f414b5a948debc
- create_network_fixture.py — 3,542 bytes — 1863dfac0ecdb855a1a9bd108890b76122fa4ba3c16b88f941fbe265f299434b
- graph-fixture.json — 8,242 bytes — 40bc6a1d52efab3d75cf343e65ac06b314f9c9c375fc02bf6d45bf6bb21f9529
- joint-witness-test-vector.json — 4,138 bytes — c009c546f8d6967a2c5032c25fccd0953a589ae25007ffe9cea03878504f787d
- PAYLOAD_MANIFEST.json — transfer manifest; it does not hash itself
The graph fixture is ASCII JSON with sorted keys and one trailing line feed. Its checksum identifies the fixture. It is not, by itself, a proof of the graph theorem. For predecessor d[i]=i, the 45-byte witness is 88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa. The test vector is exact-only: nearest and numerical proposals are disabled. There is no unrestricted browser decoder on this page.
26 October assessment
Python 3.12.14, SymPy 1.14.0, mpmath 1.3.0, optional SciPy 1.17.0. Both modes exited 0. The shared stdout SHA-256 is f503e120d55364502840337293543c99923e98a77880bc35a83036a22e4460b4. The record’s input_pdf_sha256 names the older reviewed PDF, not this 27 October handoff.
27 October parameter report
The stored assessment JSON is network_parameter_audit.json, 1,617 bytes, SHA-256 9f3746f755f7f74983d33086be9e3b5ad3a0d87a7200e15ff9a02accc79342de. This archive reran the same source on Python 3.10.21, normal and python3 -O. Both exited 0 and the JSON files were byte-identical to that report. SymPy and SciPy were not used by this script. See the site execution note.
Commands
python3 omega_joint_witness_v2.py python3 -O omega_joint_witness_v2.py python3 network_parameter_audit.py python3 -O network_parameter_audit.py python3 create_network_fixture.py
The core checker needs SymPy and mpmath. SciPy is optional and is only a candidate proposer. If it is absent, the exact fallback is the one that counts. --joint-only is a subset, not a full execution. A fresh stdout may differ in the Python version line from the 3.12.14 record. Do not edit a new log to imitate the old one.
The full checker run on this archive is recorded separately when it finishes. Until that file exists, the 26 October stdout remains a historical record, not a site PASS of the joint witness suite.