Run progress

Ready

0%

Demo

The automated runner needs either local development or the hosted runner configuration. It runs CLI commands and testnet transactions from a controlled backend.

Deployment maturity

The Live AMM proof deploys a fresh market with this maturity. Existing deployed markets keep their original contract maturity.

Selected

n/a

unix n/a

Select a valid maturity date.

What this demo proves

It verifies the strict flash-route auth invariant, then performs a live testnet deployment of SY, PT, YT, tokenizer, and AMM contracts from the hosted runner.

It initializes the market, deposits and splits SY, seeds AMM liquidity, executes SY->PT, PT->SY, SY->YT, and YT->SY swaps, then records explorer links and final command output.

It does not submit transactions from a browser wallet. That half is the manual walkthrough below: connect a wallet, fund it, supply on Blend, and tokenize the position through the mint page.

Manual walkthrough: tokenize a real Blend deposit

The automated runner cannot sign with a browser wallet, so this half is yours. Each step verifies itself against testnet as you complete it.

0/4
  1. 1Connect a wallet

    Waiting

    Freighter, xBull, or Lobstr on Stellar testnet. The walkthrough tracks this wallet's balances live.

    Not connected

  2. 2Get Blend testnet USDC

    Waiting

    Use Get test USDC on the mint page: one wallet signature adds the Blend testnet USDC trustline and funds that exact reserve asset. Circle faucet USDC uses a different issuer and will not appear in this market.

    Expected: USDC:GATALTGTWIOT6BUDBCZM3Q4OQ4BO2COLOAZ7IYSKPLC2PMSOPPGF5V56

  3. 3Supply USDC on Blend

    Waiting

    Lend the USDC in the Blend testnet app to become a real Blend yield holder. The protocol detects the position within seconds.

    No Blend deposit detected

  4. 4Tokenize on the mint page

    Waiting

    The mint page shows the detected deposit with a guided three-signature flow: withdraw from Blend, deposit into SY, split into PT and YT.

    No PT/YT held yet

Latest proof deployment

Admin accountaccount
n/a
Underlying SACcontract
n/a
SY wrappercontract
n/a
Principal tokencontract
n/a
Yield tokencontract
n/a
Tokenizercontract
n/a
AMMcontract
n/a

Output

Auth invariant
No output yet.

Logs

0 entries

No logs yet.