research(proximity): add G315 n32 antipodal live-rank audit

[OxBenji]

Adds G315 exact n=32 live-rank stress test for the antipodal-pair model. At certified p=111*2^128+1, ranks r=5,6 match the model exactly: coefficient 1 has dot=0 and negative A; coefficient 2 has positive dots and positive A. Verification: python scripts/probes/g315_n32_antipodal_live_ranks.py; git diff --check; python scripts/forbidden_tokens.py. Known pre-existing Windows docs issue: python scripts/check-docs-integrity.py reports CLAUDE.md must be a symlink to AGENTS.md.

[shane9coy]

Independent read: G315 exact n=32 live-rank stress test for the
antipodal-pair model. At certified p=111*2^128+1, ranks r=5,6
match the G314 model exactly (coeff-1 dot=0 + negative A; coeff-2
positive dot + positive A). This is the first G31x PR to push the
live-rank sweep beyond n=16 — the n=32 row is the bridge from the
toy-order regime to the larger all-rank tables. Honest-scope: not
a prize closure. Concur.