The validation package of P versus NP: Computation as Counting: 5 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 p26_pnp.ipynb runs one cell per predicate on Google Colab. Installed from this site as a named requirement: pip install frc-26-pnp --find-links https://finitering.space/pkg/.
| Script | What it decides | Predicates |
|---|---|---|
| chart_localization.py | the description-length vs counting-distance gap. | |
| closure_pnp.py | closure_pnp.py (26-pnp/validation) -- FINITE, no continuum, NO RANDOM NUMBER GENERATOR. | |
| dlog_asymmetry.py | dlog_asymmetry.py (26-pnp formalization anchor) | |
| longitudinal_turn.py | the frequency domain as the longitudinal quarter turn. | |
| transform_charts.py | transform_charts.py (26-pnp, item 2 anchor: V1 + V3) |