Agent Behavioral Contracts II: Certifying Compositional Reliability Without Assuming Independence
The usual way to state how reliable a multi-agent pipeline is: bound each agent, multiply, report the product. That step assumes the agents fail for unrelated reasons, and a reviewer checking a writer is very often the same model with a different prompt. Across 18,000 missions scored by deterministic code with no model in the judging loop, two instances of one model failed together on 36.3% of missions where multiplying predicts 14.6%, and swapping the second agent to a different model cut the association in six of six comparisons — while changing vendor, model already different, did nothing. The error runs one way and it runs against you: chains are fine, but every redundant design, a checker on a writer or a 2-of-3 vote, gets credited with independent evidence it is not supplying. If one model sits on both ends of a double-check, measure how often they fail on the same input before counting the second one.