The economic paper.

The problem: agents hold the wrong means of payment

An agent that hits a paywall usually holds exactly one spendable thing: prepaid inference quota at a model provider. No bank account, no card, and in most deployments no funded wallet. The creator on the other side of the paywall cannot accept quota. Payment rails like x402 move dollar-denominated value on-chain, but a rail does not create value: an agent with no funded wallet cannot put value onto the rail, and a creator has no way to accept the prepaid quota the agent demonstrably holds. Gas Toll is the missing half.

The theory: saleability, not coinage

The paper frames the wager in Carl Menger's terms (Grundsätze der Volkswirtschaftslehre, 1871): money emerges from the most saleable commodity, the good that changes hands most easily across time, place, and counterparties. Among agents, the argument runs, that commodity is inference quota: demand is continuous and global. The honest qualification: quota is less saleable than the cash that bought it. It is locked to one issuer's ledger, it perishes, and provider tokens are not interchangeable across providers. That discount is exactly why Gas Toll exists: an agent holding quota holds stranded capacity, and the toll is the price paid to convert that capacity into transferable compute credits.

The mechanism: capped credentials in, compute credits out

A capped provider API key is a surrenderable prepaid credential: whoever presents it can spend the quota behind it, up to its cap. The agent surrenders a scoped, budget-capped key at the toll door. A live canary micro-call proves the key works right now; a probe measures the remaining quota; issuance is bounded by per-key caps, historical estimates of revocation risk, limits on how quickly a key may be spent, and checks preventing one provider balance from backing multiple lots, so one provider balance can never back two lots. The operating invariant, in the owner's words: lock the card, charge the toll, release the card. Compute credits are issued exactly to the toll, never to the deposit, and the key copy is destroyed on retirement.

Compute credits, fully reserved one-to-one by that measured, custodied prepaid provider quota, are designed around two accounting relationships: measured reserve at issuance (supply cannot exceed the capacity the probe just observed) and redemption for measured inference (compute credits are redeemed for measured inference executed against the custodied reserve itself), subject to reserve availability, quarantine, expiry, provider action, and operational risk. Neither relationship guarantees market value, liquidity, or price stability: no promised buyback, no price floor.

The evidence: tiers, stated plainly

The paper tiers its evidence and claims nothing above its tier. Fixture evidence is deterministic signed material that exercises the mechanism without contacting a live rail. Live evidence contacts real providers and records the result. Three live artifacts ran against real DeepSeek and OpenRouter keys, including a full loop (surrender, toll, listing, delivery, buyer transfer, live redemption) against a key from a separate, non-development account, with a live mid-run revocation caught by the sweep and the lot quarantined fail-closed. That account was operator-held; an independent-party run remains ahead. Every payment leg executed to date is a labelled signed fixture, and the x402 purchase proof is built and fixture-tested 12/12 between two wallets.

The honest boundaries

The paper's final section is a list of what is not claimed, and this site adopts it unchanged: no live money has moved; no market exists yet; a surrenderer can keep a copy of their own key and spend the backing, contained by caps, priors, and re-probes, not prevented; provider terms of service remain each participant's own posture; and right now participants trust one operator to custody keys, report reserves, and execute redemption. These are the next experiments, not facts written backward into the record.

Core technology licensed under the Business Source License 1.1, converting to Apache 2.0 on 2029-09-02.

Read the full paper

The summary above is a map, not the territory. The full paper carries the mechanism in detail, the canonical loop, the valuation bounds, the conservation and containment invariants, the economic posture, and the complete artifact-by-artifact evidence account.