50 / 30 / 20
Independent operations, buyback and liquidity buckets with source restriction, replay protection, pause controls and exact refund/spend reconciliation.
Proof room · mainnet contracts + tested extensions
Verify it.
Don't trust it.
PROG's custom shared infrastructure is live on Robinhood Chain and published as exact-match verified source. Separate fork records prove complete lifecycles. The newer 50/30/20 PROG holder flywheel is shown as tested source—not mislabeled as one of the live contracts.
18 EXACT-MATCH CONTRACTS9/9 FACTORIES SEALEDFLYWHEEL · NOT DEPLOYEDTOKEN 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 MATCHProgMigrationRegistryTwo-key recovery approvals and canonical replacements
0xb9D3D05b64F2C495d3DC051BBFa145aB9e5E622cInspect source + bytecode ↗03 · FactoriesLIVE · EXACT MATCHProgLaunchFactoryDeploys policy-bound project treasuries
0xDC2106Ccc5BFf8a8E63dddDfc8fC9d2EB49B302eInspect source + bytecode ↗04 · FactoriesLIVE · EXACT MATCHProgSettlementControllerFactoryDeploys capped settlement controllers
0xd5a5F752757b2527881C10344F778fEB0B3618E3Inspect source + bytecode ↗05 · CoreARCHIVED · EXACT MATCHProgProjectRegistrySuperseded bootstrap registry; never referenced
0x64f9df845Bbe2fF256f70FC6A2bbfc2BE7CD1712Inspect source + bytecode ↗06 · CoreLIVE · EXACT MATCHProgFixedProjectRegistryPins genuine Pons launches to genuine PROG treasuries
0x49CEd90116951EEC2632fb4FBFAAD6D53F0e7408Inspect source + bytecode ↗07 · StrategiesLIVE · EXACT MATCHFeederRegistryAllowlist and caps for strategy feeders
0x990B9768Aa077F6d1F90C2A543eF454D5D851F9cInspect source + bytecode ↗08 · StrategiesLIVE · EXACT MATCHMorphoMarketFeederBounded USDG lending into Morpho
0xd5a833A6a89145477Cb17a02a0bf826e0bC287C0Inspect source + bytecode ↗09 · StrategiesLIVE · EXACT MATCHLeveragedSparkMorphoFeederCapped Spark/Morpho carry strategy
0x9530B089D9d3B00548ACB56054425fBb71DB167FInspect source + bytecode ↗10 · StrategiesLIVE · EXACT MATCHRwaAssetRegistryDisabled-by-default tokenized-market route registry
0x45973399cc4e99e47e5a586F88dc598e1CB3aE1aInspect source + bytecode ↗11 · FactoriesLIVE · EXACT MATCHRwaSingleFeederFactoryDeploys admitted single-asset market feeders
0xeba8D4A0BDB12c5C6Bd322C3C92F7C31E43CD1b6Inspect source + bytecode ↗12 · FactoriesLIVE · EXACT MATCHProgConfiguredReserveFactoryDeploys project reserve baskets
0x35383C193c8477F3eE80DADe00AFcb9bda1D6f8aInspect source + bytecode ↗13 · FactoriesLIVE · EXACT MATCHProgReserveSupportFactoryDeploys reserve support modules
0x454b948509a5cAaF759Dc94F4B8CF7b97578B8F7Inspect source + bytecode ↗14 · FactoriesLIVE · EXACT MATCHProgNativeRouterFactoryDeploys bounded native-fee conversion routers
0x69CF057342C548C5049a3766046EC2F2124aa62dInspect source + bytecode ↗15 · FactoriesLIVE · EXACT MATCHProgMigrationNativeRouterFactoryDeploys provenance-bound replacement routers
0x5A36cc926dCa4D828b1f8A11A051Dfe3880D0f1fInspect source + bytecode ↗16 · FactoriesLIVE · EXACT MATCHProgAllianceFactoryDeploys treasury-owned alliance liquidity
0x18259e2b9fBb3F3188E649aa16aCd1b5079Ebf40Inspect source + bytecode ↗17 · FactoriesLIVE · EXACT MATCHProgBuybackFactoryDeploys capped profit-only buyback modules
0x92756BEe2657d0dA2F923e3ec9751225D6FfeDd2Inspect source + bytecode ↗18 · DeploymentLIVE · EXACT MATCHProgDeploymentCoordinatorAtomic project graph deployment and wiring
0x90e964Cf2fFe94b632256256F80242D3E92B603FInspect source + bytecode ↗Solidity 0.8.26Cancun EVMOptimizer enabled200 runsSourcify exact matchBlockscout indexed
Tested next extension
The holder flywheel is built, but not counted as live.
Three new token-bound contracts implement protocol-revenue accounting, PROG buy-and-burn and permanent PROG/native liquidity. They cannot be production-certified or deployed until the real PROG token supplies its exact Pons curve and graduated V4 pool.
Curve → V4 → burn
Uses the exact Pons curve before graduation and the runtime-locked pool afterward. Purchased PROG goes directly to the burn address.
Permanent V4 positions
No LP NFT, withdrawal, transfer, decrease-liquidity, rescue, or arbitrary-call escape hatch.
15 focused tests198 full-suite testsCheckpoint e3545baToken binding pendingMainnet writes: 0
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
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
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
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
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
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
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
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
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
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
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
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.
Pons V2 factoryLaunch carrier0x7eD598BcEf8bd9Edd8C97A195C6d13f40801EC7e↗Pons tax escrowCanonical creator-tax credit0xd3AFEB2a57f70eF218Aa82451c51B2fb0416Ac9e↗
Global Dollar (USDG)Reserve asset0x5fc5360D0400a0Fd4f2af552ADD042D716F1d168↗
Spark spUSDGSavings strategy0xde770c84FE66E063336b31737cFE9790f18c4087↗
Morpho BlueLending singleton0x9D53d5E3bd5E8d4Cbfa6DB1ca238AEA02E651010↗Morpho oracleLeveraged-carry collateral price0xe694c531F65c4BaBc88A52d7178476e095e51574↗Morpho Adaptive IRMBorrow-rate model0x2BD3d5965B26B51814AC95127B2b80dD6CcC0fa1↗
Uniswap V4 PoolManagerNative conversion + graduated pool0x8366a39CC670B4001A1121B8F6A443A643e40951↗
Chainlink ETH/USDConversion price guard0x78F3556b67E17Df817D51Ef5a990cDaF09E8d3A9↗Chainlink USDG/USDConversion price guard0x61B7e5650328764B076A108EFF5fa7282a1B9aD2↗
SPY tokenAdmitted market route0x117cc2133c37B721F49dE2A7a74833232B3B4C0C↗SLV tokenAdmitted hard-asset route0x411eFb0E7f985935DAec3D4C3ebaEa0d0AD7D89f↗CASHCAT / WETH poolTreasury Alliance liquidity0xA70fc67C9F69da90B63a0e4C05D229954574E313↗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
AAPLApple
StatusFORK-CERTIFIED
AMDAdvanced Micro Devices
StatusFORK-CERTIFIED
AMZNAmazon
StatusFORK-CERTIFIED
CRCLCircle Internet Group
StatusFEED VERIFIED
GOOGLAlphabet
StatusFORK-CERTIFIED
METAMeta Platforms
StatusFORK-CERTIFIED
MSFTMicrosoft
StatusFORK-CERTIFIED
NVDANVIDIA
StatusFORK-CERTIFIED
QQQNasdaq 100 ETF
StatusFORK-CERTIFIED
SLVSilver Trust
StatusFORK-CERTIFIED
SPYS&P 500 ETF
StatusFORK-CERTIFIED
TSLATesla
StatusFORK-CERTIFIED
USOUnited States Oil Fund
StatusFORK-CERTIFIED
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.