Budget and policy become committed bytes.
Japan GPU capacity, price, latency, uptime, commission disclosure, and materiality are fixed before the route is judged.
ChoiceProof records the rules, options, and selected route behind an agent's economic choice. If a materially better eligible option was omitted, signed evidence can change the verdict.
Permission is not accountability.
An authorized AI can still make a weak economic choice when a materially better eligible option is left outside the submitted set.
A buyer may authorize an AI agent to procure compute. The agent may still prefer a commission-bearing supplier and omit a better signed quote. ChoiceProof makes the route visible without pretending the whole world was searched.
Verifiable choice accountability within a declared candidate set, declared rules, signed quotes, and challengeable omissions.
Japan GPU capacity, price, latency, uptime, commission disclosure, and materiality are fixed before the route is judged.
Provider B wins only inside the incomplete set the agent submitted for the synthetic scenario.
Provider A was eligible at decision time and materially better under the same policy.
The integrity event is illustrative and non-credit, but the reason remains inspectable.
The provisional route contains disclosed incentive data and a candidate commitment that excluded Provider A.
The route changes only after signed omitted evidence is submitted and the resolver applies the same committed policy.
Registry and escrow deployment readback is confirmed on testnet. Agent-to-Chain can prepare a real wallet-signed receipt hash anchor; the synthetic Protocol Run remains clearly simulated.
No mainnet, no token, no real funds, no customer claim, no audit claim, and no global optimality claim. Only a connected wallet can submit the optional Base Sepolia hash anchor.
Registry: 0x4287f37Fe2Fa07eF5b0D0e19613453ec28B51e89
Escrow: 0x2b37Bf2098D88742f42c015A32f9D1A88084Dc3D