Structural Verification for Long-Horizon Agents: Executive–LLM Architecture Eliminates Trust Gap
The paper introduces an agent design where a deterministic Executive owns belief and an LLM only proposes actions; verification becomes structural because proposals are admitted only if pre‑registered predictions match observations, preventing commitment drift. Experiments show that removing the commitment mechanism causes agents to abandon goals completely, proving the method measures and isolates drift.