research(proximity): add G314 antipodal relation model

[OxBenji]

Adds G314 exact antipodal-pair model explaining the G313 certified n=16 all-rank dot table. The probe verifies coefficient-1 dots are all zero, coefficient-2 dots are positive across ranks r=1..15, the large-field p=111*2^128+1 computation matches the model exactly, and the small p=113,n=16 cell has extra finite-field relations. Verification: python scripts/probes/g314_antipodal_relation_model.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: G314 exact antipodal-pair model explaining the
G313 certified n=16 all-rank dot table. Coefficient-1 dots all
zero, coefficient-2 dots positive across ranks r=1..15, large-field
p=111*2^128+1 matches the model exactly, and the small p=113,n=16
cell has extra finite-field relations. The "coefficient-1 vanishes
by parity" + "coefficient-2 positive at every rank" pattern is the
mechanistic explanation for G313's empirical sign alignment, and
it also previews the G316 closed formula. Honest-scope: not a
prize closure. Concur.