a Solana stablecoin rail whose treasury program provably cannot mint or settle past on-chain-attested reserves
simulation - no cluster

Reserve-gated mint

circulating supply ceiling $1,000,000
attested reserve
$1,000,000
circulating
$800,000
mint headroom
$200,000
mint $300,000

Agent activity log

Event history (simulated, no transactions)

Artifacts

programprograms/paylane (not deployed)
treasury PDAseeds=["treasury", mint]
circulatingread from Mint.supply
reserve gatereserve.rs, 20 unit tests
program tests13, vs real SPL Token
agentagent-core guardrails

How it works

Attestorproof-of-reserve Treasury acctattested reserve Reserve gatecirc <= reserve SPL mint CPIonly if allowed Eventson-chain log
The program refuses any mint that would push circulating supply past the attested reserve, in u64 integer math with no admin override. Solvency is enforced by the rail, not promised by the operator.
This page is a client-side simulation of the program's transition rules; nothing is submitted and the sim: digests are not transaction signatures. The rules themselves are enforced on-chain and tested against the real SPL Token program in programs/paylane/tests/program.rs.