The validation package of The Dark Sector over Finite Substrate: 16 scripts, standard library only, one check per predicate of the paper's predicate ledger — 23 of 23 checks passing. Each script is rendered below with an anchor per line; the predicate markers are the checks the ledger predicates cite. The notebook p32_dark.ipynb runs one cell per predicate on Google Colab. Installed from this site as a named requirement: pip install frc-32-dark --find-links https://finitering.space/pkg/.
| Script | What it decides | Predicates |
|---|---|---|
| born_exact.py | ||
| cluster_coherent.py | ||
| darkcommon.py | shared registry for the 32-dark validation package | |
| deep_mond.py | ||
| deep_regime.py | ||
| deep_regime_fp.py | Stationary Fokker-Planck check for the noisy link of deep_regime.py (32-dark, §3.2 and Prop. newton). | |
| firstpassage_finite.py | ||
| flux_exact.py | ||
| interpolation.py | ||
| make_figures.py | ||
| make_notebook.py | Builds 32-dark-main.ipynb (the Colab driver of the 32-dark validation package). Run: python3 make_notebook.py | |
| meridian_walk.py | ||
| predictions.py | ||
| rar_scatter.py | ||
| rar_shape.py | the named test of row B8: the approach to Newton against the binned radial acceleration relation. | |
| run_all.py | the 32-dark validation package, end to end |