Every step of an AI workflow can check out as fine, yet the whole thing still ends somewhere unsafe. Why?
Why can every step pass its local check while a workflow still fails?
This explores why a workflow whose steps each pass their own check can still end somewhere unsafe or wrong, and what those local checks are actually measuring.
This explores why a workflow whose steps each pass their own check can still end somewhere unsafe or wrong, and what those local checks are actually measuring. The corpus's short answer is that a local check asks whether this step looks plausible, aligned, and protocol-compliant. The question that matters is whether everything the steps add up to is safe. Those are different properties, so passing the first says little about the second. Three separate lines of work (SafeFlow, ChannelGuard, Honest Quorum) reach the same conclusion from different directions Can individual components pass safety checks if the system still fails?.
The gap opens in three ways. First, no single step holds the whole picture. The risk is spread across the workflow, so SafeFlow checks the assembled workflow at the moment just before an irreversible action, and rebuilds the global risk context that each step lacks Where should workflow validation gates be placed for safety?. Second, some rules are about sequences. A check that sees one action at a time cannot even state "no combination of these permitted actions may leak the data", because that rule depends on history. Only stateful monitors that track behavior over time can express it Can stateless checks ever catch sequence-level constraint violations?. Safety binds the whole trajectory, not each move in it Can step-by-step approval miss harmful behavior patterns?. Third, small errors compound. Even the strongest frontier models corrupt about 25% of a document's content as it is passed along a long workflow. The damage never plateaus, and spot-checks at each handoff miss it Do frontier LLMs silently corrupt documents in long workflows?.
The failure can also enter before any step runs, or between agents. Defenses that only inspect the generated workflow arrive too late for attacks that bias the planning signals upstream. Every step of the resulting workflow then looks reasonable, because the plan was bent before it was written down Can inspecting generated workflows catch planning-time attacks?. With several agents, harm travels through messages, shared state, aggregation, and delegation, all of which cross the boundaries that individual safety checks stop at. A review of 197 works finds that agents which are each safe can still fail together Can individually safe agents fail when working together?.
We rarely notice because these failures are plausible rather than shocking. They are spread across steps, and normal workflow habits make them look routine. Our evaluation methods are tuned to catch a single dramatic error, not a distributed one Why do safety failures remain invisible to our evaluation methods?.
Local checking is not the problem in itself. What you check locally matters. In long reasoning traces, checking intermediate states during generation lifted task success from 32% to 87%, because most failures were process violations that a final-answer score never sees Where do reasoning agents actually fail during long traces?. Step-level confidence catches reasoning breakdowns that a global average hides Does step-level confidence outperform global averaging for trace filtering?. The pattern is to place checks where the missing information exists. That means the commit point for global risk, a stateful monitor for sequences, and layers at planning, per-hop, and commit boundaries, since each layer sees attacks the others miss.
Sources 10 notes
Three mechanisms across SafeFlow, ChannelGuard, and Honest Quorum show that passing local checks (plausibility, alignment, protocol compliance) does not prevent system failures. The gap persists because local checks verify different properties than those that determine safe end-to-end behavior.
SafeFlow validates assembled workflows at irreversible action boundaries, reconstructing the global risk picture that no single step holds. This commit-point placement complements planning-boundary and per-hop defenses, each seeing attacks the others miss.
Per-action checks are structurally unable to state constraints that depend on prior history. Only stateful monitors tracking composed multi-party behavior can verify the behavioral envelopes that prevent individually permissible actions from collectively violating system-level safety.
Research shows sequences of individually permissible actions can collectively break system constraints. Safety rules bind entire behavioral envelopes, not just single steps, so checking actions one at a time fails to catch trajectory-level violations.
Even the strongest models (Gemini 3.1 Pro, Claude 4.6 Opus, GPT 5.4) degrade documents by ~25% over long relay workflows across 52 domains. Degradation decelerates but never plateaus, and errors compound silently, remaining undetected in spot-checked outputs.
Show all 10 sources
Defenses that inspect only generated workflows arrive too late to catch FLOWSTEER-style attacks that corrupt planning signals before workflow formation. Input-side defense separating task, methodological, and framing intents reduces malicious success by up to 34 percent by intervening at the instruction-organization boundary.
Agents that pass individual safety checks can produce harm when combined because messages, shared state, aggregation, and delegation carry failures across principal boundaries. A systematic review of 197 works shows this applies across task decomposition, truthfulness aggregation, and privilege delegation.
Deployed AI systems fail in ways that our instruments cannot see: plausible rather than shocking, distributed rather than localized, normalized by workflows rather than immediately legible. The problem is not mystery but mismatched assumptions about failure shape.
Reliability for long-trace reasoning comes from checking intermediate states and policy compliance during generation, not from scoring final outputs. Adding intermediate verification raised task success from 32% to 87% because most failures are process violations, not wrong answers.
Local step-level confidence catches reasoning breakdowns that global averaging masks and enables early stopping before traces complete. This approach achieves comparable accuracy gains to naive majority voting with far fewer generated traces, proving trace quality matters more than quantity.
Papers this line draws on 8
The research behind the notes this line reads — ranked by how closely each paper relates.
- PACT: Can Enterprise AI Assistants Be Trusted Under Pressure?
- The safety failures we are not instrumenting: a perspective on hidden safety-critical challenges in modern AI systems
- interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
- The Troy Moment of AI: Why Some Will Cheat and Some Will Follow?
- Securing Agentic AI: From Per-Action Checks to Trajectory Assurance
- SafeFlow: Semantic Information-Flow Control for Blocking Malicious Propagation in Multi-Agent Systems
- Local Coherence or Global Validity? Investigating RLVR Traces in Math Domains
- LLMs Corrupt Your Documents When You Delegate