{
  "project": "Pons Inu Engine",
  "release": "3.0.0-rc.1",
  "checkedAt": "2026-09-05T23:35:24.797Z",
  "environment": "Local Anvil fork of Robinhood mainnet; all test balances, deployments and transactions simulated",
  "mainnetDeployed": false,
  "independentlyAudited": false,
  "forkBlock": "55510537",
  "forkSourceChainId": 4663,
  "executionChainId": 31337,
  "toolingForkBlock": "55516768",
  "compiler": "0.8.26",
  "evmVersion": "cancun",
  "optimizerRuns": 200,
  "viaIR": true,
  "runtimeBytes": 16345,
  "pieEngineSourceSha256": "5008cda8e6fdd63f050bf0ce587f0ea450c5c1d95aca4a322c6998c7a7a19703",
  "sourceArchiveSha256": "19dc2659001d5e8d11d525c25757e1f3fc2f45857ce0868c971eb6397a264648",
  "contractTests": {
    "passed": 25,
    "failed": 0,
    "fuzzRunsPerProperty": 256,
    "results": [
      {
        "name": "testFuzzLiquidityNeverSpendsMoreThanAvailable(int24,uint96,uint96)",
        "status": "Success",
        "reason": null,
        "fuzzRuns": 256
      },
      {
        "name": "testFuzzRoundTripNeverCreatesTokens(int24,uint128)",
        "status": "Success",
        "reason": null,
        "fuzzRuns": 256
      },
      {
        "name": "testUnbalancedDustCannotCreateLiquidity()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testBurnCanCompleteWithoutLiquidityAddition()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testBuybackBurnReducesSupplyAndLeavesSeedLocked()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testCannotReplaceTokenOrReseed()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testColdOracleBlocksCompounding()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testCooldownAndPriceChecksDeferThenAllowSubsequentCycle()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testExplicitZeroBurnCompoundsAll()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testFeeAllocationExcludesDonationsAndDoesNotRepeat()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testFullFeeCycleAndAllowancesReset()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testFuzzFeesReinvestWithoutRemovingPrincipal(uint96)",
        "status": "Success",
        "reason": null,
        "fuzzRuns": 256
      },
      {
        "name": "testKeeperCannotAdministerAndAttackerCannotCompound()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testNoOperatingSliceForPrimaryAndSecondaryFees()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testNoOwnerOrKeeperExitRoute()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testOwnershipRequiresAcceptanceAndCannotBeRenounced()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testPauseStopsCompoundButAllowsCollectingIntoEngine()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testPendingBurnBudgetSurvivesPartialExecution()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testPonsGraduationKeepsSecondaryEngineWorking()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testPonsReferencePriceManipulationRevertsWholeCycle()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testPonsUsdgLaunchAndSecondaryPonsPool()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testPreinitializedWrongPriceCannotTakeSeedFunds()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testRecipeCannotAllocateMoreThanCollectedFees()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testRejectsEthLaunchForUsdGEngine()",
        "status": "Success",
        "reason": null
      },
      {
        "name": "testSpotManipulationBlocksAndPreservesPosition()",
        "status": "Success",
        "reason": null
      }
    ]
  },
  "toolingTests": [
    "PASS: deployment requires explicit burn parameters and rejects obsolete operating reserves",
    "PASS: launch and keeper reject changed policy; launch rejects altered runtime bytecode",
    "PASS: USDG purchase uses six decimals, exact ERC20 approvals and no native purchase value",
    "PASS: unsigned deploy, launch, configure and buy plans execute on the local fork",
    "PASS: primary curve reference includes virtual reserves; exact 1% seed-price boundaries hold",
    "PASS: unsigned seed planner rejects both overpriced and underpriced opening ratios",
    "PASS: seed quote and planner defer after a real swap manipulates the PONS reference price",
    "PASS: graduated V4 price matches reserve math and seeds the permanent secondary position",
    "PASS: permanent-seed acknowledgement, exact approvals and simulated seed",
    "PASS: keeper dry-run sends nothing; its unsigned transaction compounds when explicitly sent on the fork",
    "PASS: confirmed cycle buys and burns PIE, reduces total supply and adds permanent liquidity",
    "PASS: operating allocation is zero and fee-funded keeper payments have no ABI or planner path",
    "PASS: Pons graduation completion plan"
  ],
  "recipe": {
    "selectedForLaunch": true,
    "mainnetCommitted": false,
    "liquidityShareBps": 7500,
    "burnShareBps": 2500,
    "burnShareConfigurableAtDeployment": true,
    "operatingShareBps": 0,
    "keeperFunding": "External funds only. No operating reserve or fee payout function."
  },
  "launchQuote": {
    "symbol": "USDG",
    "token": "0x5fc5360D0400a0Fd4f2af552ADD042D716F1d168",
    "decimals": 6,
    "secondaryPair": "PIE/PONS"
  },
  "seedPreflight": {
    "maximumDeviationBps": 100,
    "ponsTwapWindowSeconds": 1800,
    "ponsMaximumTickDeviation": 50,
    "primaryReference": "Pons pricing reserves before graduation; actual V4 pool price after graduation",
    "enforcement": "Offchain planner only; refresh before signing. The seed contract does not enforce cross-market parity at inclusion."
  },
  "limitations": [
    "Not an independent security audit or economic guarantee.",
    "Seed assets and position NFT are permanently committed; no liquidity withdrawal or upgrade.",
    "No trading fees fund operations. Keeper gas must come from outside the engine.",
    "Burns include PIE fees burned directly and PIE bought from the burn budget.",
    "Engine swaps can recycle its own LP fees; collected totals are not all new external income.",
    "Price checks may defer cycles beyond the five-minute minimum cooldown.",
    "Creator credits depend on upstream Pons fee sweeps.",
    "The offchain seed check uses primary-market spot pricing; it is not manipulation-resistant or binding at transaction inclusion.",
    "Tests validate mechanics and seed-price comparisons, not optimal allocations, volume growth or holder profits.",
    "No mainnet engine, token, seed funds or live keeper configured."
  ]
}