Proof room · mainnet contracts + fork lifecycles

Verify it.
Don't trust it.

PROG's custom shared infrastructure is live on Robinhood Chain and published as exact-match verified source. Every contract opens in Blockscout. Separate signed fork records prove the launch, settlement, allocation, failure and recovery mechanics without pretending the PROG token has launched.

18 EXACT-MATCH CONTRACTS9/9 FACTORIES SEALEDHEAD 76efe32 · 2026-09-04TOKEN LAUNCH GATED
Verified deployments1817 active · 1 archived transparently
Factories sealed9/9Canonical coordinator binding
Mainnet writes35Deployment and one-shot configuration
PROG tokenNot launchedBounded canary remains the next gate
Mainnet contract directory

18 custom contracts. Every source file public.

Each link opens the contract tab on Robinhood Chain Blockscout. Exact match means the explorer reproduced both creation and runtime bytecode from the published Solidity source and compiler settings. The superseded bootstrap registry is labeled instead of hidden.

01 · CoreLIVE · EXACT MATCHProgProtocolFeeVault

Protocol's immutable fee destination

0xCE7186bfD9E23bb23196d727f594E51e3893D0DEInspect source + bytecode ↗
02 · CoreLIVE · EXACT MATCHProgMigrationRegistry

Two-key recovery approvals and canonical replacements

0xb9D3D05b64F2C495d3DC051BBFa145aB9e5E622cInspect source + bytecode ↗
03 · FactoriesLIVE · EXACT MATCHProgLaunchFactory

Deploys policy-bound project treasuries

0xDC2106Ccc5BFf8a8E63dddDfc8fC9d2EB49B302eInspect source + bytecode ↗
04 · FactoriesLIVE · EXACT MATCHProgSettlementControllerFactory

Deploys capped settlement controllers

0xd5a5F752757b2527881C10344F778fEB0B3618E3Inspect source + bytecode ↗
05 · CoreARCHIVED · EXACT MATCHProgProjectRegistry

Superseded bootstrap registry; never referenced

0x64f9df845Bbe2fF256f70FC6A2bbfc2BE7CD1712Inspect source + bytecode ↗
06 · CoreLIVE · EXACT MATCHProgFixedProjectRegistry

Pins genuine Pons launches to genuine PROG treasuries

0x49CEd90116951EEC2632fb4FBFAAD6D53F0e7408Inspect source + bytecode ↗
07 · StrategiesLIVE · EXACT MATCHFeederRegistry

Allowlist and caps for strategy feeders

0x990B9768Aa077F6d1F90C2A543eF454D5D851F9cInspect source + bytecode ↗
08 · StrategiesLIVE · EXACT MATCHMorphoMarketFeeder

Bounded USDG lending into Morpho

0xd5a833A6a89145477Cb17a02a0bf826e0bC287C0Inspect source + bytecode ↗
09 · StrategiesLIVE · EXACT MATCHLeveragedSparkMorphoFeeder

Capped Spark/Morpho carry strategy

0x9530B089D9d3B00548ACB56054425fBb71DB167FInspect source + bytecode ↗
10 · StrategiesLIVE · EXACT MATCHRwaAssetRegistry

Disabled-by-default tokenized-market route registry

0x45973399cc4e99e47e5a586F88dc598e1CB3aE1aInspect source + bytecode ↗
11 · FactoriesLIVE · EXACT MATCHRwaSingleFeederFactory

Deploys admitted single-asset market feeders

0xeba8D4A0BDB12c5C6Bd322C3C92F7C31E43CD1b6Inspect source + bytecode ↗
12 · FactoriesLIVE · EXACT MATCHProgConfiguredReserveFactory

Deploys project reserve baskets

0x35383C193c8477F3eE80DADe00AFcb9bda1D6f8aInspect source + bytecode ↗
13 · FactoriesLIVE · EXACT MATCHProgReserveSupportFactory

Deploys reserve support modules

0x454b948509a5cAaF759Dc94F4B8CF7b97578B8F7Inspect source + bytecode ↗
14 · FactoriesLIVE · EXACT MATCHProgNativeRouterFactory

Deploys bounded native-fee conversion routers

0x69CF057342C548C5049a3766046EC2F2124aa62dInspect source + bytecode ↗
15 · FactoriesLIVE · EXACT MATCHProgMigrationNativeRouterFactory

Deploys provenance-bound replacement routers

0x5A36cc926dCa4D828b1f8A11A051Dfe3880D0f1fInspect source + bytecode ↗
16 · FactoriesLIVE · EXACT MATCHProgAllianceFactory

Deploys treasury-owned alliance liquidity

0x18259e2b9fBb3F3188E649aa16aCd1b5079Ebf40Inspect source + bytecode ↗
17 · FactoriesLIVE · EXACT MATCHProgBuybackFactory

Deploys capped profit-only buyback modules

0x92756BEe2657d0dA2F923e3ec9751225D6FfeDd2Inspect source + bytecode ↗
18 · DeploymentLIVE · EXACT MATCHProgDeploymentCoordinator

Atomic project graph deployment and wiring

0x90e964Cf2fFe94b632256256F80242D3E92B603FInspect source + bytecode ↗
Solidity 0.8.26Cancun EVMOptimizer enabled200 runsSourcify exact matchBlockscout indexed
Fork evidence ledger

11 lifecycles. Exact blocks. Downloadable records.

Mainnet deployment proves the code is live; these separate disposable-fork records prove complete state-changing mechanics and negative paths. Open each source block and download the JSON for receipts, runtime hashes, policy bounds and limitations.

0111 checks
FORK-CERTIFIED

Pons creator-tax claim

Real Pons trading accrued creator tax. An unbound caller was rejected; the configured treasury claimed the exact credit and canonical escrow reached zero.

CLAIMED253,542,251,765,683 wei
ESCROW AFTER0 wei
UNBOUND CALLERREJECTED
READINESSv2 certificate
RECEIPT 0xbcfb294ae7acec96bf22be17afbd11d5174214a6da3e11c71e2ded5b7c58e66d
SHA-256 d564bdc8609919615a53b9ea43323d27e3c43b029e2ef3b5972575bc50f80686 · 1679 bytes · status pass · writesReachedMainnet false
LIMITATION This lifecycle used a disposable project treasury on a fork; PROG's shared infrastructure is now live, but no public PROG project/token has launched.
0215 checks
FORK-CERTIFIED

Native fee conversion

ETH wrapped and converted to USDG through the deployed Alandale pool/router with proxy implementation locks, independent ETH/USD and USDG/USD Chainlink bounds, 3% max slippage and a 15-minute deadline.

INPUT0.01 ETH
ORACLE QUOTE24.852365 USDG
MINIMUM24.106794 USDG
FAILUREatomic rollback
RECEIPT 0x23d1db527e5016e8937d84d08586c2e1fa1d3d7299c77cda15d3d371c2e1fe2e
SHA-256 56acd2ead9d255a1907144dd23a6aeab8107a6f2c601c0974433e5f0d438ceac · 2439 bytes · status pass · writesReachedMainnet false
LIMITATION Fallback to the project Safe is a separate allowlisted operator action, not automatic.
0313 checks
FORK-CERTIFIED

RH DeFi reserve

Real Spark spUSDG deposit and Morpho supply under 40/35/25 policy; 30-day NAV movement; cash, in-kind and zero-balance exits; failed allocation stayed liquid.

NAV BEFORE3,000.000014 USDG
NAV AFTER 30D3,003.810107 USDG
END SUPPLY0
MORPHO LLTV91.5%
RECEIPT 0xabd504d4408594a41758c82b5bfa0f4de31a869d31977f3c5ebf4c0344d89f0f
SHA-256 28f5eb6d52196cae7ff4e548b6336944187561709a52a2e61d834128bda77a20 · 4051 bytes · status pass · writesReachedMainnet false
LIMITATION Yield observed on a fork over a simulated 30-day window; not a forecast.
0412 checks
FORK-CERTIFIED

Leveraged USDG Carry

Real Spark collateral and Morpho debt formed a bounded three-loop carry position, checkpointed below 35% LTV, partially deleveraged and fully unwound.

GROSS EXPOSURE1.515×
INITIAL LTV34.01%
CHECKPOINT LTV34.96%
FINAL DEBT0
RECEIPT full zero-debt exit
SHA-256 89b58570b31d47c9c752df60838cb506cc355473bbd40d11dc3afa62c47b62ab · 801 bytes · status pass · writesReachedMainnet false
LIMITATION Carry can become negative when borrow cost exceeds Spark yield; liquidation, oracle and stablecoin risks remain.
0515 checks
FORK-CERTIFIED

Equity sleeve (SPY / QQQ)

Real SPY and QQQ custody through direct USDG pools; high-water gain realization; capped Pons buyback and burn on the curve and again in the graduated V4 pool.

NAV FUNDED1,996.235231 USDG
REALIZED GAIN18.097039 USDG
BURNED (CURVE)4,380,745.74
BURNED (V4)97,120.37
RECEIPT burned 4,380,745.74 + 97,120.37 tokens
SHA-256 6a3b2ec7998fad13c87b30eeebd12aa1188cf67bfdf60fb2ef7b00a1fc44ca8c · 2412 bytes · status pass · writesReachedMainnet false
LIMITATION Appreciation was simulated with fork-only transfers of real pool inventory; Chainlink state was not altered.
0610 checks
FORK-CERTIFIED

Hard-assets sleeve (SLV / USO)

Real SLV and USO acquisition, custody, gain realization and full exit under bounded routes; realized gain funded a capped buyback and burn.

NAV FUNDED1,993.646288 USDG
REALIZED GAIN6.774446 USDG
BURNED1,644,514.25
POOLSSLV/USDG · USDG/USO
RECEIPT burned 1,644,514.25 tokens
SHA-256 e83e0e4b99401db563aa81b8f8cce47e34b2e34523e8362b1ce47ecbd9d2cda2 · 999 bytes · status pass · writesReachedMainnet false
LIMITATION Appreciation used fork-only in-kind donations; issuer rights and eligibility are not established.
078 checks
FORK-CERTIFIED

Mega-tech routes (AAPL / META)

Runtime-locked AAPL and META routes acquired real tokens through direct USDG pools, valued custody through independent feeds, sold both positions and completed a full USDG exit.

NAV FUNDED1,993.510843 USDG
NAV AFTER2,033.381060 USDG
EXIT DELTA2,032.857644 USDG
ROUTESAAPL · META
RECEIPT full cash exit · rollback passed
SHA-256 f915e07f26da1c2aa8e1edf8847b503e70bf8035a2f58f5bf8ff310dfb112009 · 2540 bytes · status FORK-CERTIFIED · writesReachedMainnet false
LIMITATION Appreciation was simulated with fork-only in-kind stock donations; issuer rights and eligibility remain separate gates.
088 checks
FORK-CERTIFIED

High-beta routes (TSLA / AMD)

Runtime-locked TSLA and AMD routes acquired real tokens through direct USDG pools, valued custody through independent feeds, sold both positions and completed a full USDG exit.

NAV FUNDED1,994.540620 USDG
NAV AFTER2,034.431432 USDG
EXIT DELTA2,027.763373 USDG
ROUTESTSLA · AMD
RECEIPT full cash exit · rollback passed
SHA-256 c73b993dc5f3c4d4bd45ea06ba6461b1fc28f82485ecec2ab6673c88fe2940d9 · 2537 bytes · status FORK-CERTIFIED · writesReachedMainnet false
LIMITATION Appreciation was simulated with fork-only in-kind stock donations; both routes retain high volatility and liquidity risk.
098 checks
FORK-CERTIFIED

Core-tech routes (NVDA / MSFT)

Previously read-certified NVDA and MSFT routes now have signed acquisition, custody, oracle-NAV, real-sale and full-cash-exit evidence.

NAV FUNDED1,995.287622 USDG
NAV AFTER2,035.193374 USDG
EXIT DELTA2,032.866174 USDG
ROUTESNVDA · MSFT
RECEIPT full cash exit · rollback passed
SHA-256 428bbc1d032d8ced63cd6b3fd082c2533a5fdedb2ab6834d775fb59c49dd6a67 · 2540 bytes · status FORK-CERTIFIED · writesReachedMainnet false
LIMITATION Appreciation was simulated with fork-only in-kind stock donations; certification does not establish future liquidity.
0108 checks
FORK-CERTIFIED

Cloud-commerce routes (AMZN / GOOGL)

Previously read-certified AMZN and GOOGL routes now have signed acquisition, custody, oracle-NAV, real-sale and full-cash-exit evidence.

NAV FUNDED1,993.911943 USDG
NAV AFTER2,033.790182 USDG
EXIT DELTA2,032.864823 USDG
ROUTESAMZN · GOOGL
RECEIPT full cash exit · rollback passed
SHA-256 a351bf4a0972174433e997bbdfa85465c18d31a6e5c693ec6ac9b3cc57038085 · 2550 bytes · status FORK-CERTIFIED · writesReachedMainnet false
LIMITATION Appreciation was simulated with fork-only in-kind stock donations; issuer rights and eligibility remain separate gates.
0119 checks
FORK-CERTIFIED

Treasury Alliance (CASHCAT / WETH)

Native creator-tax settlement bought real CASHCAT, minted a treasury-owned Uniswap V3 position, rejected bad quotes and exited both assets in kind.

NATIVE INPUT0.01 ETH
CASHCAT EXIT43.501285980552776235
LP NFTTreasury custody
ROLLBACKPASSED
RECEIPT 0xeea4216f…b0181d7
SHA-256 82fd8ed5d16f86be04ee12cf62b84b431a68caef9b9f5fa72006d871d660dd97 · 899 bytes · status pass · writesReachedMainnet false
LIMITATION CASHCAT is volatile and the LP can suffer impermanent loss or leave its active range. This was a disposable-fork proof, not a public deployment.
The claimability gate

Pull-based by construction.

Pons never pushes fees. Launch readiness v2 rejects arbitrary recipient contracts: the recipient must be the exact compiled PonsFeeTreasury runtime, correctly owned, unpaused, bound to canonical escrow and proven end to end before launch.

01

Trade

Real Pons buys and sells accrue creator tax in escrow.

02

Credit

Escrow credits the exact runtime-locked treasury as recipient.

03

Reject

An unbound caller attempts to claim and is refused.

04

Claim

The treasury withdraws as msg.sender to an allowlisted destination.

05

Zero

Destination delta equals the claim; escrow credit reads 0.

Accrued + claimed253,542,251,765,683 weiExact destination delta
Escrow after0 weiReconciled to zero
Unbound callerRejectedNegative path recorded
Readiness certificate0xc2c176d9…a6ab6ddcVersion 2 recipient readiness
Public dependencies

Exact identities on mainnet.

Factories, escrow, assets, strategies, pools and feeds are identified by exact Robinhood Chain address. Open any record directly on Blockscout; evidence files separately pin runtime bytecode at the source block.

Market identity registry

Every token and feed. Exact addresses.

Admitted routes identify both the token contract and its independent Chainlink feed. Feed-only instruments identify market data availability, not an executable treasury route. Every address below opens on Robinhood Chain Blockscout.

Open the complete market registry12 admitted routes · 33 verified feeds
InstrumentStatusIdentities
CRCLCircle Internet Group
StatusFEED VERIFIED
EWYMSCI South Korea ETF
StatusFEED VERIFIED
MUMicron Technology
StatusFEED VERIFIED
RGTIRigetti Computing
StatusFEED VERIFIED
RHDELLDell Technologies
StatusFEED VERIFIED
TSMTaiwan Semiconductor
StatusFEED VERIFIED
Certification taxonomy

What each label means, and what it does not.

These labels are used identically across the site, the launch workspace and the read-only API. Exact-match verification proves published source; fork certification proves tested mechanics. Neither means audited, legally approved, or that a PROG project/token has launched.

FORK-CERTIFIED

A signed lifecycle completed against copied Robinhood mainnet state on a disposable fork, including negative paths and rollback. Shared infrastructure is now live; the PROG token/canary has not launched.

READ-CERTIFIED

Addresses, bytecode and read interfaces were verified. No deposit/exit lifecycle has been executed for that route yet.

LIVE DEPENDENCY

A public Robinhood Chain contract PROG reads and routes through (Pons, USDG, Spark, Morpho, Uniswap V4, Chainlink). Not operated by PROG.

EXECUTION BLOCKED

PROG shared infrastructure is live, but public project/token launch execution stays disabled pending final canary parameters, a fresh simulation and explicit canary approval. Audit and legal review are deferred scale-up gates.