FPRD Bethe--Calogero persistent-nilpotence stopping audit
Date: 2026-09-07

Contents:
- FPRD-Bethe-Calogero-persistent-nilpotence-stopping-audit-2026-09-07.md
  Proof, scope boundary, countermodel, and precise missing CM-specific bridge.
- verify-persistent-nilpotence-no-go.py
  Dependency-free exact checks in Q[e]/(e^3) and for Poisson commutativity.
- persistent-nilpotence-no-go-check.txt
  Captured successful verification output.
- source-ledger.tsv
  Source, dependency, credit, and scope ledger for the complete program.

Run:
  python3 verify-persistent-nilpotence-no-go.py

Expected result: all assertions pass and the printed certificate matches the
included output.
