M.5 Counterterm-functionals ledger

.5 status. Ledgers (1)–(2) constructed from the M.4 probes; named theorem recorded (double-plateau domain only; not surviving the time-only reading, Remark rem:M5-timeonly); completion-gate obstruction recorded; ledgers (3)–(4) Unresolved (definitions missing). Archives: counterterm_functionals.py, matching_matrix.*, matching_certificates_M5.txt, ledger_*.json, ledger_tables.txt.