Not Self-Decidable: LLMs Cannot Draw the Boundary of What an Agent Verifier Can Check

Excerpt

arXiv:2610.04699v1 Announce Type: new Abstract: A verifier for an agent faces rules of two kinds: the ones a fixed check can settle and the ones that require a judge. A team that derives its own checks fixes that split up front. Where the requirements come from outside, as in finance, healthcare and law, the agent enforces rules it did not write, so the split falls to runtime, recurring for every predicate of every rule on every action at a rate no reviewer can audit. Every escalation scheme ass