INV-15: A Formal Safety Invariant for KV-Cache Reuse in Multi-Agent Judge Pipelines | Synapse