The validation package of Gravitation as Phase Synchronisation: 31 scripts, standard library only, one check per predicate of the paper's predicate ledger — 54 of 54 checks passing. Each script is rendered below with an anchor per line; the predicate markers are the checks the ledger predicates cite. The notebook p21_gravity.ipynb runs one cell per predicate on Google Colab. Installed from this site as a named requirement: pip install frc-21-gravity --find-links https://finitering.space/pkg/.
| Script | What it decides | Predicates |
|---|---|---|
| fierz_pauli_uniqueness.py | Uniqueness of the discrete Fierz-Pauli functional on the shell (closes the | |
| gravcommon.py | shared registry for the 21-gravity validation package | |
| make_all_figures.py | Regenerate every figure produced for this paper, into ../figures/. | |
| make_fig_anatomy.py | Figure: anatomy of the static solution (Fig.~\ref{fig:anatomy}). | |
| make_fig_phase_a.py | Figure 2, panel (a): the Carrier phase cycle (Fig.~\ref{fig:phase}). | |
| make_fig_rar.py | Figure: the registration crossover / radial acceleration relation (ledger D4, Fig.~\ref{fig:rar}). | |
| make_fig_shadow.py | Figure: strong-field signatures vs current data (Fig.~\ref{fig:shadow}). | |
| make_fig_sync.py | Figure: gravity as the relaxation of forced frame drift (schematic, Fig.~\ref{fig:sync}). | |
| make_fig_sync_variants.py | Three alternate designs for the frame-drift schematic (NOT used in the paper). | |
| make_notebook.py | Builds 21-gravity-main.ipynb (the Colab driver of the 21-gravity validation package). Run: python3 make_notebook.py | |
| run_all.py | the 21-gravity validation package, end to end | |
| validate_1pn_eih.py | O4 partial: the 1PN equivalence lemma (proved) and the nu-sector status. | |
| validate_2pn.py | 2PN inputs and the J0737-3039 confrontation (sub:2pn). | |
| validate_binding.py | W7 / F2b: binding bookkeeping decided by exact arithmetic (mod-p linear algebra | |
| validate_branch.py | The nonlinear completion (Theorem: no self-sourcing, exponential reading). | |
| validate_counting.py | Unified counting checks (round-01, W-J / W-N): exact integer arithmetic only. | |
| validate_deepregime.py | Deep-regime (sub-threshold) dynamics: the registration crossover, float-free. | |
| validate_deepregime_orbit.py | Registered-inertia identity and the exact two-boundary law (round-02 W6). | |
| validate_defect.py | Projection defect (Definition def:defect): exact checks on dev shells. | |
| validate_fluxnoise.py | Flux conservation under noise (Lemma: the mean static force law is noise-invariant). | |
| validate_fold_echo.py | O3 toy: the fold-return criterion at dev scale, exact over F_17. | |
| validate_fp_gauge.py | Discrete Fierz-Pauli gauge invariance: exact (3+1) integer identity. | |
| validate_inertia.py | Two-shift update law (Theorem thm:twoshift): exact checks. | |
| validate_newton.py | Newtonian layer: lattice Green's function, inverse-square law, coherent additivity. | |
| validate_orderone.py | The order-one normalisations are determined, not free (ledger D6). Exact where it counts. | |
| validate_ppn.py | Relativistic layer: PPN parameters, light deflection, perihelion, static-profile series. | |
| validate_primordial.py | The primordial spectrum is structural (ledger D8). Float-free where it counts. | |
| validate_radiative.py | The radiative tensor sector (ledger D5): float-free where it counts. | |
| validate_rar.py | Weak-acceleration floor: a0 = c H0 / (2 pi) against the radial acceleration relation. | |
| validate_rotating.py | The rotating strong-field solution (ledger D7), float-free where it counts. Units G=c=1. | |
| validate_strongfield.py | Strong field: exact profile, critical radii, photon sphere, shadow, ringdown, entropy, echoes. |