The app
Deploy an Arc
A real application on Robinhood Chain. It deploys the contract in contracts/Arc.sol — the one every build puts through 20 properties on this chain's own EVM — over markets read from the chain, using calldata that has been executed against real tokens before it shipped.
No key is ever handled here. Every write is signed by the wallet you choose, in its own interface, and is simulated from your own address first so a revert costs nothing and says why. Everything on this page reads without a wallet.
Step one
Pick a market
Step two
Deploy it, or load one
Load an Arc that already exists
Any Arc that anyone has deposited into or sighted has emitted a log saying so, which is why the scan needs no registry and no server. A topic match is a candidate and not an answer, so every hit is read back before it is listed.
Step three
Your Arc
Checked before it shipped
Seventeen steps, on live Robinhood Chain
The property suite proves the Solidity. This proves the page: every byte string the app sends is built by js/arc.js and then run against the real tokenised equity, the real stablecoin and the real pool through an eth_call state override.
| step | held | |
|---|---|---|
| S00 | the page's constructor arguments deploy an Arc on live Robinhood Chain | ok |
| S01 | the string arguments survived encoding (the Vernier has a name and a ticker) | ok |
| S02 | the uint16 argument survived encoding (the band is what the page asked for) | ok |
| S03 | the three address arguments survived encoding (equity, stable and pool are the real ones) | ok |
| S04 | the constructor read the real Uniswap pool and carried it into both mark slots | ok |
| S05 | the page's approve calldata is accepted by the real equity and the real USDG | ok |
| S06 | the page's deposit calldata mints Verniers | ok |
| S07 | the deposit really moved the equity out of the depositor | ok |
| S08 | the page's fund calldata put USDG in, tracked | ok |
| S09 | a Sight in the same block refuses, which is what makes the worse-of-two rule mean anything | ok |
| S10 | previewFixInKind is exactly what fixInKind pays, to the wei | ok |
| S11 | previewFixToStable is exactly what fixToStable pays, to the wei | ok |
| S12 | fixToStable refuses rather than marking its way out when the Arc has not got the USDG | ok |
| S13 | and the same shares still leave in kind, in the same block | ok |
| S14 | the Arc landed at exactly the address the page predicted before signing | ok |
| S15 | the page's READ selectors decode the Arc's own state, field for field | ok |
| S16 | the Arc's mark equals the pool's own price, computed independently from the same sqrt at the same block | ok |
The balance slots it writes are discovered, not remembered. USDG keeps balances at an integer slot; the tokenised equities are proxies over OpenZeppelin's upgradeable ERC-20, whose storage is ERC-7201 namespaced and which no integer search will ever find.