Poisson summation — five bridges, one theorem
Verdict
collision — five separate "bridges" in the dictionary are one theorem
Instrument audit — Poisson summation
Verdict. Collision. Five separate "bridges" in the dictionary turned out to be one theorem. A genuine collision, found by counting — which is the trigger OPS now names: audit whatever the dictionary uses most and examines least.
Where the reasoning is. Run in the genesis chat (72cc6f92-e583-4b1c-82a5-591c1be06e23), the thread that produced algebra-geometry-dictionary.md; the five uses and the reduction to one theorem are enumerated there, not here. This file records that the audit was run and what it found. Filed retroactively 2026-09-13 from notes/DIGEST-genesis-chat.md.
Source audits/A-009-poisson-summation.md. The verdict is the record’s own verdict:, in the place a run keeps its outcome. All audits.