The SP1 proof attests settlement metadata (correct fee split, payment binding) and a commitment to the output hash — anchored on-chain with a single-use nullifier. It does NOT attest that the provider computed the model correctly (that is Tier-2 proof-of-inference, roadmap).
Payment binding independent re-derivation
In proofserver-attested
Rail / amountUSDC · 995000
Expected commitment0x733db50667…c263c78802
Recomputed commitment0x733db50667…c263c78802
Match✓ matches
Provider COGS prepaid float · ADR 0005
Providertheta-edgecloud
Float—
CurrencyUSDC
Estimated / actual7000 / 7000
USD mark7000
Buyer paid USDC on Base. Provider COGS burned a prepaid float (not a second buyer rail).