1369 — Perfect Coefficient-Betti Pairing Derives a Symplectic Double
Epistemic-graph event: 1397.
For a perfect coefficient–Betti pairing C x B -> Z, the direct sum
V=C direct_sum B carries the canonical form
It is integral, alternating, and nondegenerate; C and B are complementary
Lagrangians. The associated Heisenberg extension has cross commutator
Thus a perfect paired Mackey fiber supplies the algebraic phase plane needed
by the xp candidate without inserting a symplectic matrix.
It does not select positivity, a real Hilbert representation, hbar, dual
cutoffs, or their self-adjoint boundary law. Degenerate physical pairings
must first pass to a radical quotient.
Scope: this is an algebraic phase-space theorem, not a physical chain map or Hilbert–Polya construction.
Durable verification:
- Research packet:
research/grothendieck/paired-coefficient-betti-symplectic-double.md. - Exact nondegeneracy proof from perfect evaluation.
- Epistemic-graph event: 1397.