Documentation · architecture · risk

How PROG programs
a token economy.

The technical reference for trading-tax intake, strategy composition, launch orchestration, receipt-backed discovery, authority, failure behavior, release gates, and APIs.

EXPERIMENTAL · UNAUDITEDSMALL-CAP CANARY ONLYDEPLOYMENT GATED
System overview

Two economic layers from one recurring fee stream.

PROG starts where a bonding-curve launch normally stops. Each settled creator-fee claim splits immutably: 5% enters the PROG protocol vault and 95% follows the project's committed policy across liquid reserves, weighted DeFi portfolios, custom tokenized-market baskets, treasury-owned or alliance liquidity, and project-token support.

The main PROG token adds a second layer. A built and tested—but not yet deployed—revenue flywheel is designed to route protocol revenue 50% to operations, 30% to automatic PROG buy-and-burn and 20% to permanently locked PROG/native liquidity.

It is not a principal floor, guaranteed-yield product, managed stock fund, dividend, holder redemption right, or guarantee of buybacks or price appreciation. It is experimental tokenomics infrastructure with explicit risk budgets and fail-closed execution.

Locked dependencies
Chain
Robinhood Chain · 4663
Carrier
Pons V2 (curve → V4)
Reserve asset
USDG
Authority
Project Safe (EIP-1271) + bounded operators
Specification

Ten sections. Every failure has a destination.

01Contract rolesTyped modules · bounded authority
PonsFeeTreasuryCallable canonical tax recipient; exact claims, allowlisted destinations, replay protection and daily limits.
ProgFeeTreasuryV2Factory-deployed treasury variant that immutably commits the policy digest, metadata hash, strategy root, configuration hash and deployment version.
ProgLaunchFactoryVersioned CREATE2 deployment; atomically configures the treasury without ever owning project funds.
ProgProjectRegistryPermissionless Pons-binding verification and event-first project identity; new factory versions enter through a timelocked approval.
PonsNativeFeeToUsdGRouterDual-oracle minimum and one immutable ETH → USDG V4 route; atomic failure.
FeederRegistry + ReserveBasketTimelocked risk additions, deterministic weights, cash and in-kind exits, failed-allocation fallback.
MorphoMarketFeederERC-4626 wrapper over one immutable Morpho market.
LeveragedSparkMorphoFeederBounded ERC-4626 carry loop with immutable 35% target LTV and three-loop ceiling.
RwaCatalog + EquityIndexFeederImmutable token/feed/pool routes, concentration caps, high-water accounting, in-kind fallback.
TreasuryAllianceLiquidityRoutes a bounded native-tax share into an admitted external-token/WETH V3 position with typed quotes, NFT custody, runtime locks, and in-kind exit.
PonsUsdGProfitBuybackRealized-gain buyback on the curve before graduation and through canonical V4 afterward; direct burn destination.
ProgProtocolRevenueFlywheelPending extension: immutable 50/30/20 accounting with separate operations, buyback and permanent-liquidity buckets.
ProgTokenBuybackExecutorPending extension: token-bound curve/V4 execution that buys PROG directly to the burn address under caps, deadlines and minimum output.
ProgPermanentLiquidityExecutorPending extension: direct PROG/native V4 positions with no LP withdrawal, transfer, decrease-liquidity or rescue path.
Launch readiness v2Rejects arbitrary fee recipients; requires the exact treasury runtime, ownership, unpaused state and escrow binding.
01bOnchain / offchain boundaryVerifiable custody · fast control plane

Onchain

  • Project identity, Pons binding and deployment provenance.
  • Policy, metadata and strategy commitments.
  • Owners, operators, caps, deadlines, pauses and exit rules.
  • Timelocked factory/version admission and event-rebuildable registration.

Offchain

  • Wallet UX, simulation, quotes and keeper scheduling.
  • Full metadata, artwork, search, rankings and charts.
  • RPC indexing, alerts and cached Explore views.
  • Analytics may be replaced; contracts still enforce fund-moving bounds.

Upgrade model: existing treasuries are not controlled by a universal proxy admin. New code ships through a new versioned package, while project configuration changes remain bounded or timelocked. A paused reserve-only project can migrate only after PROG governance attests the exact replacement graph and project governance independently waits 48 hours. The treasury preserves the same owner, asset, policy, 5% fee, fee recipient, branch split, ceilings and accounting continuity; alliance and buyback migrations remain disabled in v1.

Status: the shared V2 factory, fixed registry, settlement, strategy and recovery infrastructure is live and exact-match verified on Robinhood Chain. Project/token creation remains disabled pending the PROG canary. The three flywheel contracts are tested source only and are not included in the 18 live deployments.

01cCertification matrix11 fork-certified lifecycles · experimental + unaudited
ComponentScope reproducedTestsFork blockLevel
PonsFeeTreasury + launch readiness v2
ScopeExact recipient runtime, claimability, escrow reconciliation
TestsForge
Fork block52,578,399 ↓
LevelFORK-CERTIFIED
PonsNativeFeeToUsdGRouter
ScopeETH → WETH → USDG via Alandale with dual Chainlink bounds; proxy locks and negative paths
TestsForge + TS
Fork block53,526,313 ↓
LevelFORK-CERTIFIED
FeederRegistry + ReserveBasket + MorphoMarketFeeder
ScopeSpark and Morpho allocation, accrual, cash/in-kind/zero exits, fallback
TestsForge (unit, fuzz, invariant)
Fork block52,433,078 ↓
LevelFORK-CERTIFIED
LeveragedSparkMorphoFeeder
ScopeBounded three-loop carry, 35% LTV ceiling, five runtime locks, checkpoint, partial deleverage and full exit
TestsForge + signed fork lifecycle
Fork block52,982,233 ↓
LevelFORK-CERTIFIED
TreasuryAllianceLiquidity (CASHCAT / WETH)
ScopeTyped tax routing, real V3 swap, NFT custody, quote bounds and in-kind exit
TestsForge + signed fork lifecycle
Fork block53,000,438 ↓
LevelFORK-CERTIFIED
RwaCatalog + EquityIndexFeeder (SPY / QQQ)
ScopeCustody, high-water gain, capped buyback on curve and V4
TestsForge
Fork block52,660,418 ↓
LevelFORK-CERTIFIED
Hard-assets sleeve (SLV / USO)
ScopeAcquisition, custody, gain realization, full exit, buyback
TestsForge
Fork block52,565,839 ↓
LevelFORK-CERTIFIED
PROG protocol-revenue flywheel
Scope50/30/20 accounting, curve/V4 buy-and-burn, permanent V4 liquidity, caps, refunds and failure rollback
Tests15 focused · 198 full-suite
Fork blockToken binding pending
LevelSOURCE-TESTED
Mega-tech routes (AAPL / META)
ScopeRuntime locks, acquisition, custody, oracle NAV, real sales and full cash exit
TestsSigned fork lifecycle
Fork block53,104,943 ↓
LevelFORK-CERTIFIED
High-beta routes (TSLA / AMD)
ScopeRuntime locks, acquisition, custody, oracle NAV, real sales and full cash exit
TestsSigned fork lifecycle
Fork block53,104,943 ↓
LevelFORK-CERTIFIED
Core-tech routes (NVDA / MSFT)
ScopeRuntime locks, acquisition, custody, oracle NAV, real sales and full cash exit
TestsSigned fork lifecycle
Fork block53,106,246 ↓
LevelFORK-CERTIFIED
Cloud-commerce routes (AMZN / GOOGL)
ScopeRuntime locks, acquisition, custody, oracle NAV, real sales and full cash exit
TestsSigned fork lifecycle
Fork block53,106,246 ↓
LevelFORK-CERTIFIED
Experimental public deployment
ScopeShared PROG infrastructure live; PROG token/project launch and bounded canary outstanding
TestsOnchain readback
Fork blockRobinhood 4663
LevelPENDING

The current aggregate suites contain 198 Forge and 46 TypeScript tests. None of this substitutes for an independent audit.

02Creator-tax claim + conversionPull-based · fail-closed

Claimability invariant

escrow.credit(treasury) == amount
operator → treasury.claimExact(amount)
treasury → escrow.withdraw()   // msg.sender = treasury
destinationDelta == amount
escrow.credit(treasury) == 0

Execution bounds

  • 3% maximum slippage against the oracle quote.
  • 15-minute maximum deadline.
  • Independent ETH/USD and USDG/USD minimum; feed freshness bounded (1h / 26h).
  • Runtime drift or a weak fill reverts atomically; tax stays in escrow.
  • Fallback to the project Safe is a separate allowlisted operator action, never automatic.
03Strategy composition + redemptionCustom weights · up to 8 feeders

Creators set the top-level liquid, DeFi, and tokenized-market weights. Inside the DeFi sleeve they can compose up to eight admitted feeders with independent weights and caps. Strategy additions and cap increases are timelocked; disabling risk is immediate. Failed deposits remain liquid USDG.

Cash redemption unwinds only realizable positions. Locked strategy shares transfer pro rata in-kind, so early redeemers cannot drain cash and leave locked risk behind.

04Tokenized markets + high-water accounting12 admitted routes · 33 verified feeds

Every admitted route binds token runtime, Chainlink feed and aggregator, direct USDG pool, maximum feed age and maximum weight. A policy can select 1–8 routes. A single-asset thesis may use 100% of the market sleeve with an explicit concentration flag; multi-asset baskets enforce route-specific diversification caps.

Only realized gain above the adjusted high-water mark may leave. At most 50% of new gain enters a buyback, with a 25 USDG canary per batch because the downstream ETH/USDG route exceeded the 3% bound at larger sizes on the fork. The 33-feed universe is verified market data, not 33 executable routes.

05Ownership + holder benefitRead before buying

Live or implemented project mechanics

  • Creator tax follows a published, inspectable policy instead of an opaque wallet.
  • Treasury positions, caps, routes, limits and receipts are inspectable.
  • Realized gain above the high-water mark can fund a capped buyback and burn of the launch token, on the Pons curve and in the graduated V4 pool.

Not current rights

  • Holders do not own, redeem or receive treasury USDG, Spark/Morpho shares or stock tokens.
  • No dividends, distributions, principal floor, guaranteed yield or guaranteed buyback size.
  • A holder-owned reserve and direct cash distributions are roadmap modes that require new contracts and qualified legal review.
BUILT · TESTED · NOT DEPLOYED — PROG protocol revenue is designed to split 50% to operations, 30% to automatic PROG buy-and-burn and 20% to permanently locked PROG/native liquidity. The flywheel contracts are implemented and tested, but cannot be deployed until the real PROG token supplies its immutable curve and graduated-pool bindings.

Reserve shares and stock-token positions belong to the configured project beneficiary. Direct distributions or a holder-owned reserve require separate contracts and qualified legal review before any public claim.

06Failure matrixA destination for every failure
Claim failsTax remains in canonical escrow.ATOMIC
Conversion failsNo weak fill is accepted; nothing leaves escrow.STOP
Strategy pausedAllocation remains liquid USDG.FALLBACK
Strategy lockedShares transfer pro rata in-kind.FAIR EXIT
Market sale failsStock token returns in-kind; no fire sale.NO FIRE SALE
Runtime driftsThe affected route stops; others continue.STOP
Oracle staleConversion and sales pause until fresh data.PAUSE
07Risk registerValue can decline
  • Market: tokenized-market and DeFi positions can lose value; the treasury is risk-bearing.
  • Liquidity: routes can be too thin to execute within bounds; buybacks may not occur.
  • Strategy: withdrawals can lock; protocols can lose funds.
  • Issuer: stock-token rights, transfer eligibility and corporate actions vary and are not established by runtime tests.
  • Oracle: stale or divergent data stops operation and can delay action.
  • Governance: Safe signers, operators and timelocks remain trust dependencies.
  • Contract: internal tests and fork evidence do not replace an independent audit.
  • Third parties: Pons, Robinhood Chain, Spark, Morpho, Uniswap and Chainlink are independent systems PROG does not operate.
08Release gatesExperimental launch + future work

Experimental launch gates

Final PROG logo + token metadataFreeze name, symbol, artwork, prog.build links and immutable Pons metadata before launch.
PENDING
Beneficiary + execution capsApprove the operations beneficiary and buyback/liquidity per-transaction and daily limits.
PENDING
Token-bound launch + flywheel manifestBind the exact PROG token, 300 bps tax, curve, graduated pool, 65/35 treasury and 50/30/20 revenue policy; re-simulate at a fresh canonical block.
READY IN PLAN FORM
Canary receipts + reconciliationTrack launch finality, fee claims, 5/95 settlement, 65/35 reserve allocation and the first bounded flywheel actions.
PENDING
Explicit approval for a bounded public canaryOwner sign-off; no token or flywheel write before it.
PENDING

Future scale-up considerations

Audit and legal work are not blockers imposed on the initial decentralized experiment. They remain available as future risk-reduction work if PROG gains traction, supports larger balances or expands its operating model.

Independent smart-contract auditOptional future risk-reduction work if the experiment gains traction, supports larger balances or seeks stronger assurance claims.
FUTURE CONSIDERATION
Qualified legal reviewOptional future scale-up work if broader distribution, jurisdictions or operating models make it useful. Applicable rules remain the user's responsibility.
FUTURE CONSIDERATION

PROG shared infrastructure is live on Robinhood Chain. No PROG token/project has launched, no canary funds have been routed, and public execution remains disabled.

09Plan-only APIRead-only · no execution
EndpointPurposeWrites
POST /api/plan/preview
PurposeValidate a plan document; return the deterministic manifest, keccak256 digest and warnings.
WritesNone
GET /api/plan/schema
PurposeJSON Schema and workspace limits for the plan document.
WritesNone
GET /api/plan/example
PurposeA complete valid example plan (placeholder addresses).
WritesNone
GET /api/catalog
PurposeCarriers, admitted strategies, admitted RWA routes, verified feed universe, starter templates, custom-basket rules and evidence index.
WritesNone
GET /api/readiness
PurposeStage, gates, verification counts and the explicit answer that public execution is disabled.
WritesNone
POST /api/launch
PurposeIntentionally disabled; returns 503 with the required gate.
WritesBlocked
# reproduce the pinned example digest from any machine
curl -s https://prog.build/api/plan/example | jq .plan \
  | curl -s -X POST https://prog.build/api/plan/preview -H 'content-type: application/json' -d @- | jq .digest

The digest is keccak256 of the sorted-key JSON manifest. The launch workspace computes it locally and cross-checks it with the server; identical inputs always produce the same digest. GET /api/plan/example returns the fixture the test-suite pins.

Glossary

Words used precisely.

Public copy says creator tax or trading tax. Literal ABI names appear only in technical contexts like this page and the evidence files.

Creator tax

The Pons fee charged on each buy and sell. PROG receives 5% of creator fees actually claimed through its settlement controller; the remaining 95% follows the creator's committed routing policy.

Protocol flywheel

The undeployed, token-bound module designed to route PROG's platform revenue 50% to operations, 30% to PROG buy-and-burn and 20% to permanently locked PROG/native liquidity.

Treasury

The runtime-locked PonsFeeTreasury that claims tax, converts to USDG and allocates by policy. Project-owned.

Admitted

A market route or strategy whose token, feed and pool identities are runtime-locked under concentration caps and selectable in a plan. Fork-certified routes have also completed a signed deposit/exit lifecycle; read-certified routes have not.

High-water mark

The sleeve's adjusted peak value; only gain above it counts as realized and may fund a buyback.

Canary

A deliberately small execution bound (25 USDG per buyback batch) that grows only with observed liquidity.

Plan first

The workspace produces a deterministic manifest and digest before any wallet request. The canary-gated orchestrator then reveals transactions one at a time after simulation and receipt verification.