Listing: Listing

# counterterm_functionals.py output   (M.5 ledger; conditional on (S-bv))
CHECK matching_certificates.txt present: True
CHECK expected matching preimages from M.4 probes: True
CHECK 26-dim ultralocal SA basis: True
CHECK P1/P2 matching row present: True
CHECK R2 C_coh preimage recorded as non-regression-preserving (K-block): True
CHECK C_reg R2/RC2 combination is regression-preserving: True
CHECK completion gate obstruction recorded: True
CHECK EOM ledger empty because EOM undefined: True
CHECK field-redef ledger empty because undefined: True
# wrote matching_matrix.json/.txt matching_certificates_M5.txt ledger_*.json ledger_tables.txt
# wrote counterterm_functionals_out.txt m5_ledger_summary.json
# Named theorem: PlateauCurvatureSquareMatching
# total runtime 0.1s
ALL CHECKS PASSED