The file src/27-fields/run_all.py of the validation package of the paper 27-fld, rendered with an anchor per line; the file itself is beside this page.
1"""2run_all.py — the 27-fields validation package, end to end3==========================================================4Runs the twenty-eight scripts through the registry (fldcommon), writes results.json — one record per family, carrying5the paper's ledger row(s) it witnesses — and exits nonzero if any family fails. Python ≥ 3.10 with numpy and sympy;6≈ 1.5 minutes (enumerate_maxwell dominates).78 python3 run_all.py910Families (one per script, in the README's order):11 em1_prototype enumerate_maxwell audit_finitism o2_numbers p2 | correspondence | p3 ew1 weak_spectrum weak_current12 p4 p10 v_scale | qcd p5 string_tension p6 missing_rank | generation p8 p8b p9 p9b p11 p1 p7 koide strongcp13"""14import sys, time15import fldcommon1617FAMILIES = ["fld." + s for s in [18 "em1_prototype", "enumerate_maxwell", "audit_finitism", "o2_numbers", "p2",19 "correspondence",20 "p3", "ew1", "weak_spectrum", "weak_current", "p4", "p10", "v_scale",21 "qcd", "p5", "string_tension", "p6", "missing_rank",22 "generation", "p8", "p8b", "p9", "p9b", "p11", "p1", "p7", "koide", "strongcp"]]2324def main():25 t0 = time.time()26 for fam in FAMILIES:27 print(f"\n— {fldcommon.script_of(fam)}.py")28 fldcommon.run_block(fam)29 ok = fldcommon.summary(write=True)30 print(f"{len(fldcommon.RESULTS)} families, {len(fldcommon.MICRO)} micro-checks, {time.time() - t0:.0f} s; results.json written")31 sys.exit(0 if ok else 1)3233if __name__ == "__main__":34 main()35