The validation package of Quantum Observation over Finite Substrate: 20 scripts, standard library only, one check per predicate of the paper's predicate ledger — 119 of 119 checks passing. Each script is rendered below with an anchor per line; the predicate markers are the checks the ledger predicates cite. The notebook p22_quantum.ipynb runs one cell per predicate on Google Colab. Installed from this site as a named requirement: pip install frc-22-quantum --find-links https://finitering.space/pkg/.
| Script | What it decides | Predicates |
|---|---|---|
| bmv.py | ||
| composite.py | ||
| decoherence.py | ||
| dispersion.py | ||
| emulation.py | ||
| equivalence.py | ||
| gleason.py | 22-quantum gleason suite: uniqueness of the pair tally (prop:gleason), EXACT. | |
| granularity.py | ||
| gravfraction.py | 22-quantum gravfraction suite: the coherent-fraction channel law (prop:fcoh), EXACT. | |
| intersubject.py | ||
| make_notebook.py | Builds 22-quantum-main.ipynb (the Colab driver of the 22-quantum validation package). Run: python3 make_notebook.py | |
| omega.py | ||
| qmcommon.py | shared registry for the 22-quantum validation package | |
| renou.py | ||
| run_all.py | the 22-quantum validation package, end to end | |
| sorkin.py | ||
| stratum.py | 22-quantum stratum suite: two strata of probability (prop:strata), EXACT. | |
| synchronisation.py | ||
| transport.py | ||
| validate.py |