CAGE: Certified Authorization under Typed-Return Uncertainty for Tool-Using Agents
CAGE removes the in-budget false allows that accurate pointwise gates admit, while keeping a useful fraction of decisions autonomous across synthetic, policy-as-code, regulatory, and real-transaction settings.