Each script is one file, with no sibling imports and no external data, and runs in a single cell. Requirements are Python 3.8+ with NumPy, and NetworkX for the foundation script.
| paper | verification script | computation script | checks |
|---|---|---|---|
| sg het | verify_het_sg.py | compute_het_sg.py | 264 |
Table 1. The scripts on this site and the number of checks each reports. The computation script performs the scans; the verification scripts check the numbers the papers report.
verify_het_sg.py
For every matrix and operator defined in the foundation paper it builds the graph geometry of the cube \(Q_3\) and the prism \(Q_4\) with NetworkX (networkx.hypercube_graph), applies the paper's stated rule to form each operator, and diffs the result entrywise against the value printed in the manuscript. It then recomputes every derived number from those objects and diffs each against the reported value — 264 checks in all.
Objects covered include the cube and prism adjacency and Laplacian A3,A4,LV,LE, the entanglement matrix Ment, the disentangler D8, the incidence B, Iz, DB, the composite C, the deformed bond action M\(Q_3\) and its inverse sub-blocks, and the weighted Laplacian Lω.
The derived numbers are the residual capacity \(\xi^{*}=1/36\), the 17/16 identity, \(g^{2}=17/72\), the coefficients \(c_{I}=4\xi^{*}\) and \(c_{C}=2\xi^{*}\), the couplings through the full M\(Q_3\) inverse giving the bare \(g_{L}^{2}=0.253173\) and \(g_{Y}^{2}=0.229006\) and the bond-action \(g_{L}^{2}=0.255268\) and \(g_{Y}^{2}=0.227406\), the gravitational constant GN (0.906033 bare to 0.999057 ℓP2), the descent \(\exp(-1/\xi^{*})=\exp(-36)\), the vacuum expectation value v=246.9 GeV, the string tension \(\sqrt{\sigma}=422.4\) MeV, and the scalar glueball mass \(m_{0^{++}}=1732.34\) MeV.
Scope
The property checks — eigenvalues, ranks, Betti numbers, positive-definiteness — require no answer key. The diff step verifies internal consistency: that the geometry built with each paper's stated rules reproduces the matrices in the text, and that those reproduce every derived number. It does not verify that the underlying physics is correct.