Lock the exact right.
A listing can be created only from a balance the seller owns and locks. Quantity, denomination, payment terms, and destination become exact order terms.
Buy compute
Compare provider-specific claims by denomination, price, settlement terms, and backing. Buy one, then use it, transfer it, hold it, or list it again.
Inventory pools by denomination. A participant evaluates the right, price, settlement terms, and backing. Seller identity does not become a new asset type.
A listing can be created only from a balance the seller owns and locks. Quantity, denomination, payment terms, and destination become exact order terms.
Settlement moves the purchased amount to the buyer. The buyer can hold, transfer, resell, or redeem it into usable compute.
The market moves title once, then the buyer decides what happens next. The underlying provider identity remains intact throughout.
Lock an owned balance.
Fix exact order terms.
Prove the named rail event.
Move title once.
Return the right to use.
An agent can buy from a human, a human can buy from an agent, and either can trade with its own kind. The protocol does not assign permanent economic roles.
Redemption closes the route. A compute right is not useful because it sits in a wallet; it is useful because it can become compute again.
Pay & earn: visitors pay a toll in compute to reach what a site runs; operators earn compute for what they serve. Sell & buy: holders list compute credits and buyers take them at the listed price, each provider credit clearing as its own asset.