INQUIRING LINE

Every step of an AI workflow can pass its own check — so why can the whole thing still go wrong?

Can a system pass all local checks while the overall workflow still fails?

This explores whether a multi-step AI system can look fine at every individual checkpoint and still fail as a whole, and what the corpus says about why and where to check instead.


This explores whether a multi-step AI system can look fine at every individual checkpoint and still fail as a whole. The corpus says yes, and gives a specific reason. Local checks test different properties from the ones that decide whether the end-to-end behavior is safe. A step can be plausible, aligned, and protocol-compliant, and none of those is the property that matters at the end Can individual components pass safety checks if the system still fails?.

The gap shows up in three ways. The first is over time. A per-action check can't state a rule that depends on what happened earlier, so a sequence of individually permissible actions can collectively break a system constraint Can stateless checks ever catch sequence-level constraint violations?. Security ends up being a property of behavior over time, not of any single step Can step-by-step approval miss harmful behavior patterns?. The second is across agents. Agents that each pass their own safety checks can still cause harm together, because messages, shared state, aggregation, and delegation carry failures across boundaries that nobody is monitoring Can individually safe agents fail when working together?. The third is through accumulation. Even the strongest frontier models corrupt about 25% of a document's content over long relay workflows. The errors compound silently and can slip past spot checks Do frontier LLMs silently corrupt documents in long workflows?.

The failure can also be set up before the workflow exists. Inspecting only the generated workflow is too late for attacks that bias the planning signals upstream Can inspecting generated workflows catch planning-time attacks?. Scoring only the final answer has the same blind spot. In long reasoning traces, most failures are process violations rather than wrong answers, and adding intermediate verification raised task success from 32% to 87% Where do reasoning agents actually fail during long traces?.

The fixes all move the check to where the whole picture exists. One option is a validation gate at the commit point, just before an irreversible action, where the assembled workflow can be judged as a whole. That gate complements planning-boundary and per-hop defenses, because each catches attacks the others miss Where should workflow validation gates be placed for safety?. Another is verifiers that run alongside generation and step in only on violations, with near-zero latency cost on correct runs Can verifiers monitor reasoning without slowing generation down?. Checkers can also fail, so when an LLM does the judging, mechanical safeguards go around it, such as running unarguable checks before contestable ones and planting known cases as alarms Can deterministic checks protect LLM judges from failure?.

This failure is easy to miss because of how we look for it. Deployed AI failures tend to be plausible rather than shocking, and distributed rather than localized. Workflows also normalize them, so an evaluation built to catch a dramatic single-point error has nothing to flag Why do safety failures remain invisible to our evaluation methods?. Every step can be green because the failure lives between the steps.


Sources 11 notes

Can individual components pass safety checks if the system still fails?

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.

Can stateless checks ever catch sequence-level constraint violations?

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.

Can step-by-step approval miss harmful behavior patterns?

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.

Can individually safe agents fail when working together?

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.

Do frontier LLMs silently corrupt documents in long workflows?

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 11 sources
Can inspecting generated workflows catch planning-time attacks?

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.

Where do reasoning agents actually fail during long traces?

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.

Where should workflow validation gates be placed for safety?

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.

Can verifiers monitor reasoning without slowing generation down?

Decoupling verification from generation lets verifiers run alongside a single trace, forking to extract verifiable state and intervening only on violations. On correct runs the latency penalty is near-zero; interwhen matches or beats CoT across benchmarks at similar token budgets.

Can deterministic checks protect LLM judges from failure?

Research identifies four mechanical safeguards: ordering unarguable checks before contestable ones, measuring correctness against human labels, hiding test data from proposers, and using planted cases as alarms. None requires the LLM itself to verify compliance.

Why do safety failures remain invisible to our evaluation methods?

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.

Papers this line draws on 8

The research behind the notes this line reads — ranked by how closely each paper relates.