Collatz Final Gate (v6.0) — Proof-completion reduction via an EB-only closure packet (Level-2A/2B schema; Gate B auditable interface) | Synapse