CAGE: Certified Authorization under Typed-Return Uncertainty for Tool-Using Agents | Digital Library | PAMCET | PAMCET