A budget for every agent.
Give a research agent a different ceiling from a purchasing agent. Check the team-wide total as well.
Give autonomous agents room to work.
Keep every dollar inside a policy you control.
One clear ceiling. Every commitment counted.
A proposed spending layer for teams that want agents to act within clear limits—and leave a trail someone can actually follow.
Give a research agent a different ceiling from a purchasing agent. Check the team-wide total as well.
Reserve money before a provider starts work. Two requests should never claim the same remaining dollars.
Release unused reservations when a job is canceled. Expiry rules are part of the proposed policy design.
The policy compiler would encode approved providers and payment conditions alongside amount limits.
The proposed signed receipt links the provider, reservation and policy version to the finalized payment.
Reserve, pay or release: the budget must still balance after each state transition.
Imagine $8,000 is available. One job has already reserved $3,000. Another asks for $6,000.
$1,000overcommitted if both jobs go ahead.
| What gets checked? | Balance-only check | Proposed ProofSpend policy |
|---|---|---|
| Cash already paid | Counted | Counted |
| Pending $3,000 promise | Not counted | Reserved first |
| New $6,000 request | Looks affordable | Blocked: only $5,000 free |
| Job canceled | No reservation to release | Budget made available again |
| Reason for decision | Balance is enough | Budget + reservation record |
Comparison of two accounting approaches, not a claim about any existing provider. The browser demo demonstrates one agent; the full wallet module is proposed.
The rule behind all those guardrails is small: spent money plus reserved money must stay inside the budget. The next action only goes through if that remains true.
Try the simple simulation ↗Σⱼ spentⱼ(t) ≤ Bglobal · Allow = all post-transition invariants hold
The proposed smart-account module is not yet deployed. The example above illustrates budget accounting only.