The principal fixes policy bytes, candidate scope, materiality, and decision window.
Opening the current...
ChoiceProof verifies economic choices relative to committed policy bytes, declared coverage scope, signed quote evidence, deterministic scoring, and an open challenge window.
Every proof has a boundary.
Centralized alpha resolver. Scope-relative verification only. No global market completeness claim.
The mandate: rules, scope, weights, materiality, and challenge window.
Creator or signer: Principal
The public alpha uses a centralized deterministic reference resolver. The resolver is auditable from its inputs, but it is not decentralized arbitration.
Optional local-chain or Base Sepolia anchoring stores hashes and status only. Simulation mode remains clearly labeled.
The principal fixes policy bytes, candidate scope, materiality, and decision window.
Signed supplier quotes are evaluated deterministically with integer scoring.
The agent signs the route it took and opens a challenge window.
Eligible omitted evidence can change the verdict without claiming global search.
Eligible quotes are ranked by higher score, lower effective cost, lower latency, higher uptime, then lower quote hash. All money uses integer micros and all scores use integer basis points.