Agent loops that end on evidence, not on the agent's word.

An agent loop with proved termination under a global repair budget, an enforced spend ceiling, and completion only on an independent gate verdict.

The pass or fail result of an independent check that decides whether a loop step is done, instead of the agent's own claim.

A check that looks sound but passes any input, for example a test that asserts nothing. One of two ways a gate passes anything.

When the agent being checked also produces the evidence its check relies on, so the gate only confirms what the agent said. The second way a gate passes anything.

A cost limit enforced inside an attempt, while it runs, rather than checked only between attempts.

An append-only log of loop iterations and gate verdicts where each entry carries the hash of the one before, so the history cannot be edited unnoticed.

The shape in which agents are connected and run, such as sequential, parallel, hierarchical, debate or mesh, each with defined execution semantics.

Tiers of fallback behaviour that keep a multi-agent system answering when parts of it fail: autonomous swarm, deterministic graph, single agent, then a human in the loop.