Add autonomous finite-core compounding facade

[heathsanchez]

Summary

Adds a small repo-native autonomous compounding facade that delegates serious recovery to the existing finite-core ETP compounding engine instead of simulating gains.

What changed

• Adds mathgraph/autonomous_compounding_engine.py as an importable facade over the existing multi-episode finite recovery runner.
• Adds scripts/run_autonomous_compounding_engine.py CLI.
• Adds mathgraph/terminal_form_contract.py to keep autonomous rows aligned with the terminal-form boundary.
• Adds mathgraph/residual_lawbook.py lightweight SQLite helpers for autonomous residual/lawbook records.
• Adds docs and tests.

Boundary discipline

• FALSE recovery remains finite-countermodel-backed through the existing satisfaction cache route.
• TRUE controls remain contamination checks.
• Failed finite search is residual evidence, never TRUE.
• PQ-IR, route policies, residual obstructions, repair family memory, and autonomous facade rows remain advisory unless a verifier/checker boundary accepts a terminal form.

Notes

I created this via the GitHub connector, so I could inspect and commit files, but I could not run the test suite in the repo environment from here. Suggested local checks:

python -m py_compile mathgraph/terminal_form_contract.py mathgraph/residual_lawbook.py mathgraph/autonomous_compounding_engine.py scripts/run_autonomous_compounding_engine.py
python -m pytest tests/test_terminal_form_contract.py tests/test_autonomous_compounding_engine.py -q
python scripts/run_autonomous_compounding_engine.py --out-dir /tmp/mathgraph_autonomous_demo --tiny-demo --episodes 1 --sample-pairs 20 --repair-budget 4 --max-n 3