Pulse Explorar nav.journalClub Debates Tendências Pesquisadores Revistas

Início Explorar nav.journalClub Tendências

⌘+K

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

May 20, 20260 citationsOpen Access

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

View Full Paper

PSPablo M. Suarez

Key Points

This research aims to address the safety risks associated with KV-cache reuse in multi-agent systems by introducing a formal invariant.
Implemented INV-15 as a safety invariant in ContextForge with significantly high critic dense prefill rates.
Evaluated the JCR risk score and required dense prefill for agents exceeding a score of 0.7.
No violations of INV-15 were recorded during implementation.
Achieved a critic dense prefill rate of 1.000 while maintaining compatibility with 10.81x TokenDance compression.

Abstract

Cross-agent KV-cache reuse delivers 7-17x compression in multi-agent LLM pipelines, but silently corrupts judge/critic agents via the Judge Candidate Reuse (JCR) failure mode. We introduce INV-15, a formal safety invariant requiring judge-class agents with JCR risk score above 0.7 to use dense prefill. Implemented as the JCR Safety Gate in ContextForge (AMD Instinct MI300X, ROCm 7.x, vLLM V1 ATOM plugin). Results: 0 INV-15 violations, critic dense prefill rate 1.000, compatible with 10.81x TokenDance compression. First production implementation of a formal safety invariant for cross-agent KV-cache reuse.

Perguntar à IA

Like

Bookmark

Share

View Full Paper

Perguntar à IA

Like

Bookmark

Share

View Full Paper

Cite This Study

Pablo M. Suarez (Mon,) studied this question.

synapsesocial.com/papers/6a0d4f7bf03e14405aa9ac9a https://doi.org/https://doi.org/10.5281/zenodo.20277875