{"assessments":[],"deployments":[],"fuzz":[],"identity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"interpretation":"Records acceptance and evidence. Neither completion nor an AI assessment establishes correctness, safety, or independent review.","jobId":"cb05e8fa-67ff-4016-a037-162bba4934a0","kind":"shape:chain","nodes":[{"acceptedSubmissionHash":null,"dependsOn":["build_contract_project","write_foundry_tests","manifest"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"e5ac2cb1fd91a56aa40b16487fc230c48de0d317c8266140331dd3219bb40a85","skillId":"audit-specialist","tools":[]},"key":"audit_economics","kind":"code","role":"review","skillHash":"e5ac2cb1fd91a56aa40b16487fc230c48de0d317c8266140331dd3219bb40a85","skillId":"audit-specialist","state":"waiting"},{"acceptedSubmissionHash":null,"dependsOn":["build_contract_project","write_foundry_tests","manifest"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"e5ac2cb1fd91a56aa40b16487fc230c48de0d317c8266140331dd3219bb40a85","skillId":"audit-specialist","tools":[]},"key":"audit_flow","kind":"code","role":"review","skillHash":"e5ac2cb1fd91a56aa40b16487fc230c48de0d317c8266140331dd3219bb40a85","skillId":"audit-specialist","state":"waiting"},{"acceptedSubmissionHash":null,"dependsOn":["build_contract_project","write_foundry_tests","manifest","audit_math","audit_permissions","audit_economics","audit_flow"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"3014f1ea5961918ca059453a484bf4c8bcbbfc2248dbe31d94ac7c5cdf8f50bd","skillId":"audit-judge","tools":[]},"key":"audit_judge","kind":"code","role":"review","skillHash":"3014f1ea5961918ca059453a484bf4c8bcbbfc2248dbe31d94ac7c5cdf8f50bd","skillId":"audit-judge","state":"waiting"},{"acceptedSubmissionHash":null,"dependsOn":["build_contract_project","write_foundry_tests","manifest"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"e5ac2cb1fd91a56aa40b16487fc230c48de0d317c8266140331dd3219bb40a85","skillId":"audit-specialist","tools":[]},"key":"audit_math","kind":"code","role":"review","skillHash":"e5ac2cb1fd91a56aa40b16487fc230c48de0d317c8266140331dd3219bb40a85","skillId":"audit-specialist","state":"waiting"},{"acceptedSubmissionHash":null,"dependsOn":["build_contract_project","write_foundry_tests","manifest"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"e5ac2cb1fd91a56aa40b16487fc230c48de0d317c8266140331dd3219bb40a85","skillId":"audit-specialist","tools":[]},"key":"audit_permissions","kind":"code","role":"review","skillHash":"e5ac2cb1fd91a56aa40b16487fc230c48de0d317c8266140331dd3219bb40a85","skillId":"audit-specialist","state":"waiting"},{"acceptedSubmissionHash":"3952ce81a6620c04c1db49caab80f7dc5135c435c581968486f102a0938351f1","dependsOn":[],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"587567a5ef71546b5973ceaf6ef1dbbd590f49503b5ac9a6973ed86b89584857","skillId":"build-contract-project","tools":[]},"key":"build_contract_project","kind":"code","role":"implement","skillHash":"587567a5ef71546b5973ceaf6ef1dbbd590f49503b5ac9a6973ed86b89584857","skillId":"build-contract-project","state":"accepted"},{"acceptedSubmissionHash":null,"dependsOn":["build_contract_project","write_foundry_tests"],"execution":{"network":false,"profile":"foundry","requires":[],"tools":[]},"key":"manifest","kind":"code","role":"integrate","skillHash":null,"skillId":null,"state":"failed"},{"acceptedSubmissionHash":"f7b01ea2781a3fecd3110da61a3d8f5207409a8f268ac24c159be300f31333ba","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"73431852439ad3a343f3d2b7db1c43cd363b9f48f9bb51497374a0cf6d50b223","skillId":"write-foundry-tests","tools":[]},"key":"write_foundry_tests","kind":"code","role":"tests","skillHash":"73431852439ad3a343f3d2b7db1c43cd363b9f48f9bb51497374a0cf6d50b223","skillId":"write-foundry-tests","state":"accepted"}],"objective":"[SIMD-LAUNCH]\nA custom token: SIMDTEST (SIMDTEST).\nToken name: SIMDTEST\nToken symbol: SIMDTEST\nToken supply: 1,000,000,000 with 18 decimals, all minted once to the deployer in the constructor.\nMinting after launch: none, the supply is fixed forever.\nWho can call what: no owner and no admin functions; every parameter is a fixed constant.\n\nWhat it does:\n1. Total supply is fixed at 1,000,000,000 tokens with 18 decimals, minted once at deployment.\n2. 10% of total supply is allocated outside the token contract to the swarm via a Merkle distributor; no contract mint or send of this supply.\n3. The remaining 90% of tokens are transferred to the Uniswap v4 PoolManager at address 0x000000000004444c5dc75cB358380D2e3dE08A90 to seed the pool paired with IMD (0xd34a99bc0f67ae1bbd63c660e6d0b0dd03e263b7).\n4. The Uniswap v4 pool fee is fixed at 1.25% (12500 bps), tick spacing and initial price set in launch.json.\n5. A 3% fee (300 bps) applies to all buy transactions only: specifically, on every transfer where tokens move FROM the PoolManager to a buyer, the buyer receives 97% of the tokens; 3% remains in the token contract.\n6. Transfers TO the PoolManager (sells or pool seed transfers) and normal wallet-to-wallet transfers incur no fee.\n7. Tokens collected from buy fees accumulate in the token contract as dividends.\n8. Dividends are distributed pro-rata to token holders (excluding the PoolManager, the token contract itself, and the burn address) and can be claimed anytime via a public claim() function.\n9. No owner, admin, or privileged roles exist; all parameters including fee rates, addresses, and token supply are immutable constants.\n10. The burn address is the zero address (0x0000000000000000000000000000000000000000), used for dividend exclusion and no tokens are sent here on mint.\n\nWho can call what:\n- Anyone can call claim() to receive their accumulated dividends.\n- Transfers behave as standard ERC-20 with added buy fee as defined; no function can alter fees or balances arbitrarily.\n\nTests:\n1. Confirm total supply is exactly 1,000,000,000 * 10^18 with no further minting.\n2. Verify 10% of supply is assigned off-chain to the swarm; token contract only mints 90% to PoolManager.\n3. Test buy transfers from PoolManager apply exact 3% fee; buyer receives 97% tokens.\n4. Test sell transfers to PoolManager have no fee; tokens received by PoolManager equal amount sent.\n5. Test wallet-to-wallet transfers have zero fees.\n6. Verify accumulated fees in token contract increase proportional to buys.\n7. Test claim() distributes dividends correctly and resets claimable amount.\n8. Confirm PoolManager, the token contract and the burn address do not receive dividends.\n9. Ensure no owner or admin functions exist; attempt to change fees or supply fails.\n10. Test Uniswap v4 pool settles correctly without revert due to CurrencyNotSettled.\n\nBuild requirements (mandatory):\n- A complete Foundry project at the repository root: foundry.toml with solc 0.8.26, evm_version cancun, optimizer on and bytecode_hash = \"none\", so the build is reproducible.\n- Token contract: SIMDTESTToken. No selfdestruct and no delegatecall anywhere. No proxies, no owner, no upgradeability.\n- Supply distribution is done by the launch factory: it mints the supply, seeds the pool from the deployer balance, sends the swarm's 10% through its Merkle distributor and any remainder to remainderTo. No contract here mints tokens or sends the swarm allocation.\n- Chain: Ethereum mainnet (chainId 1). Swaps happen in Uniswap v4, so the pool's tokens move to and from the PoolManager 0x000000000004444c5dc75cB358380D2e3dE08A90.\n- launch.json pool: pairedCurrency 0xd34a99bc0f67ae1bbd63c660e6d0b0dd03e263b7, fee 12500, tickSpacing 60, initialPrice \"79228162514264337593543950336\" (provenance only; the launch factory sets the opening price from the economics).\n- launch.json economics, exactly: poolBps 9000, initialMarketCapWei \"2500000000000000000000\" (2500 IMD opening market cap), remainderTo 0x000000000000000000000000000000000000dead.","parentJobId":null,"planHash":"546b2bf3076d4d90e3e839feaa2515004bf2d21e04f52a5985192bd614302dbb","previousHash":"0000000000000000000000000000000000000000000000000000000000000000","projectId":"cb05e8fa-67ff-4016-a037-162bba4934a0","publication":{"commit":null,"deliveredAt":null,"repoUrl":"https://github.com/identity-md-launches/launch-984-simdtest"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[{"agentId":"50971","feedbackHash":"b5d3327d04b0319031567697495ade6e56f97383433487bda8bc7dfa5cda04f0","nodeKey":"build_contract_project","submissionHash":"0c052410b8d989701e3ccd6c940e88c58c4b4ec6ee9c8497fdc08cfd9e3ba6f5","tag1":"verification:checks","tag2":"acceptance-v2","value":0},{"agentId":"52073","feedbackHash":"b05bd032b835a3eee95a8760a35d38310aa05701b9db3381712637066f5c626a","nodeKey":"build_contract_project","submissionHash":"ff9449da599c81f8b21d0f1652edb7627933ea5b895127729610637af2a93e74","tag1":"verification:checks","tag2":"acceptance-v2","value":0},{"agentId":"51247","feedbackHash":"0a6a3cea7eed6bf07e15fb8c947247554f39b571aacb6da983b28fb09f286f43","nodeKey":"build_contract_project","submissionHash":"3952ce81a6620c04c1db49caab80f7dc5135c435c581968486f102a0938351f1","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"50970","feedbackHash":"0c425ebba2764b7a66289e0c93465db6a97022193676a500625916f54a2cac1e","nodeKey":"write_foundry_tests","submissionHash":"f7b01ea2781a3fecd3110da61a3d8f5207409a8f268ac24c159be300f31333ba","tag1":"verification:checks","tag2":"acceptance-v2","value":1}],"site":null,"snapshotHash":"28e44d73f6a7e22f4473696987e270bb169d319bcc501e4fd9dc44cedf1b6576","state":"blocked","submissions":[{"artifacts":[],"attempt":1,"bundleHash":"a0e0d7b3d1c0b4f696a35a18afda281683c0cc6903fe44f6baf492058f923978","device":"35c52a5b502e847c","findings":[],"hash":"0c052410b8d989701e3ccd6c940e88c58c4b4ec6ee9c8497fdc08cfd9e3ba6f5","nodeId":"c5407da2-2804-4c60-959d-e3be7dfb4afc","outcome":"completed","summary":"Implemented SIMDTESTToken, the exact launch manifest, vendored dependencies, and documented deployment assumptions.\n\nVerified with Solidity 0.8.26:\n\n- `forge build` passes.\n- `forge test`: 26 tests pass, including v4 settlement and 8,192 invariant operations.\n- `forge fmt --check` passes.\n- Fresh-copy offline build and tests pass.\n\nFactory responsibilities and router limitations are documented in [README.md](/home/identitymd5/.identitymd/work/cb05e8fa-67ff-4016-a037-162bba4934a0/c5407da2-2804-4c60-959d-e3be7dfb4afc/README.md). No deployment was performed.","treeHash":"c188d57e886ed1a312c4f5155a26cc500c102037","usage":{"cachedInputTokens":1272576,"inputTokens":85685,"model":"gpt-6-astra","outputTokens":23279,"runtime":"codex","turns":7,"wallClockMs":748960}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"1c0fa8d0cf677236","findings":[],"hash":"19046b0931bb2ed98d9ae4611c8cee623aa04b7bb9293debe9f033d9ea07d639","nodeId":"5c72fb61-8023-4c15-b416-1806476df1df","outcome":"failed","summary":"needs input: The brief requires pool.fee 12500 (1.25%), but its mandatory admission policy permits only 500, 3000, or 10000. A requester-approved permitted pool fee is missing; choosing one would change the requested launch economics. — Which permitted pool fee should replace 12500: 500 (0.05%), 3000 (0.3%), or 10000 (1%)?","treeHash":null,"usage":{"cachedInputTokens":279936,"inputTokens":21679,"model":"gpt-6-astra","outputTokens":2405,"runtime":"codex","turns":4,"wallClockMs":118058}},{"artifacts":[],"attempt":3,"bundleHash":"e253e0d0d394496f6ccca905885828c7bac06b33c99f2d8ffd122f189bff1a06","device":"93652ca7a1cbb0e8","findings":[],"hash":"3952ce81a6620c04c1db49caab80f7dc5135c435c581968486f102a0938351f1","nodeId":"c5407da2-2804-4c60-959d-e3be7dfb4afc","outcome":"completed","summary":"Implemented the fixed-supply token, 3% buy fee, claimable dividends, vendored dependencies, tests, and deployment documentation. The manifest includes `notes` and omits `chainId`.\n\nAll checks pass: `forge build`, `forge test`, and `forge fmt --check`—29 tests, including v4 settlement and 8,192 invariant actions. A fresh offline build with an empty environment also passed and produced identical bytecode.","treeHash":"1ab2c9c5b49b347c9c68755a82a1f6a1f356cf69","usage":{"cachedInputTokens":972416,"inputTokens":79723,"model":"gpt-6-astra","outputTokens":21991,"runtime":"codex","turns":6,"wallClockMs":697264}},{"artifacts":[],"attempt":1,"bundleHash":"9d007ebffc526055354d923137e7f2cccb47c7b8ef4109083921dae4e5b4c640","device":"c2a0c6e1f08b5974","findings":[],"hash":"f7b01ea2781a3fecd3110da61a3d8f5207409a8f268ac24c159be300f31333ba","nodeId":"fc66b77a-9ab2-4b35-ab91-e1ff45465047","outcome":"completed","summary":"Added adversarial fuzz tests, an independent dividend invariant model, and expanded Uniswap v4 settlement/rollback coverage. Only `test/` files changed.\n\nValidation: `forge build` succeeded; all 41 tests passed, including 32,768 new invariant calls.\n\nNo implementation defect reproduced. Integration runs offline; live mainnet validation remains outstanding.","treeHash":"658fb2fd8d3d00ae9c8aa5a7ccfd607c111ca8d8","usage":{"cachedInputTokens":611968,"inputTokens":57877,"model":"gpt-6-astra","outputTokens":12466,"runtime":"codex","turns":5,"wallClockMs":395705}},{"artifacts":[],"attempt":2,"bundleHash":"394ed5b06399581b10bef02fd7d57758202a0e04c2670efd6f9a1f223cbaf4b4","device":"381cad4126e6ec64","findings":[],"hash":"ff9449da599c81f8b21d0f1652edb7627933ea5b895127729610637af2a93e74","nodeId":"c5407da2-2804-4c60-959d-e3be7dfb4afc","outcome":"completed","summary":"Implemented SIMDTEST with fixed supply, 3% buy fees, claimable dividends, and no admin functions. Added vendored dependencies, tests, and a corrected `launch.json` without `chainId`.\n\nValidation passed: `forge build`, `forge test` (24 passed, including v4 settlement and dividend invariants), and `forge fmt --check`.\n\nDeployment responsibilities and assumptions are documented in [README.md](/home/imd-worker-1650/.identitymd/work/cb05e8fa-67ff-4016-a037-162bba4934a0/c5407da2-2804-4c60-959d-e3be7dfb4afc/README.md).","treeHash":"6f9f740cde81c4efa873244f980c3ac2158344aa","usage":{"cachedInputTokens":803200,"inputTokens":86114,"model":"gpt-6-astra","outputTokens":24299,"runtime":"codex","turns":5,"wallClockMs":1074319}}],"verification":[{"checks":[{"durationMs":1731,"exitCode":0,"name":"build","output":"Compiling 70 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.61s\nCompiler run successful!\n","passed":true},{"durationMs":1452,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 6 tests for test/UniswapV4.t.sol:UniswapV4Test\n[PASS] test_exactOutputBuyStillDeliversNetOfTokenFee() (gas: 1315749)\n[PASS] test_routerEnforcesMinimumAgainstNetBalance() (gas: 1359027)\n[PASS] test_singleSidedLaunchBuyAndSellToken0() (gas: 1637601)\n[PASS] test_singleSidedLaunchBuyAndSellToken1() (gas: 1647414)\n[PASS] test_unlockCallbackRejectsNonManager() (gas: 31922)\n[PASS] test_unpaidSwapActuallyRevertsCurrencyNotSettled() (gas: 1158749)\nSuite result: ok. 6 passed; 0 failed; 0 skipped; finished in 13.08ms (11.60ms CPU time)\n\nRan 19 tests for test/SIMDTESTToken.t.sol:SIMDTESTTokenTest\n[PASS] testFuzz_buyFeeRoundsDownAndConservesSupply(uint256) (runs: 512, μ: 266948, ~: 273390)\nLogs:\n  Bound result 599290588\n\n[PASS] testFuzz_claimAndSellCannotDoubleClaim(uint256) (runs: 512, μ: 471381, ~: 471284)\nLogs:\n  Bound result 499999999999999999999999997\n\n[PASS] test_buyDebitsGrossAndCredits97PercentWithTransferEvents() (gas: 263692)\n[PASS] test_claimsAreProportionalResetAndDoNotCompoundPastFees() (gas: 753485)\n[PASS] test_constructorMintsEntireFixedSupplyOnlyToDeployer() (gas: 75320)\n[PASS] test_donationIsExcludedAndDoesNotBecomeUnfundedDividends() (gas: 414799)\n[PASS] test_exclusionsCannotClaimAndDeadAddressIsEligible() (gas: 737166)\n[PASS] test_factoryAndDistributorTransfersArriveWhole() (gas: 280204)\n[PASS] test_feesWaitIfAllBalancesAreExcluded() (gas: 343328)\n[PASS] test_fractionalEntitlementsSurviveFrequentCheckpoints() (gas: 22041173)\n[PASS] test_noMintAdminOrArbitraryBalanceEntrypoints() (gas: 648040)\n[PASS] test_rejectsUnauthorizedSpendingAndRollsBackAllowanceOnFailure() (gas: 214014)\n[PASS] test_rejectsZeroAddressAndOversizedAmounts() (gas: 114139)\n[PASS] test_runtimeHasNoForbiddenOpcodes() (gas: 1189467)\n[PASS] test_sellingAllTokensDoesNotForfeitDividends() (gas: 593959)\n[PASS] test_sellsAndWalletTransfersAreUntaxed() (gas: 260934)\n[PASS] test_transferFromSpendsGrossAllowanceAndTaxesSourceNotCaller() (gas: 499035)\n[PASS] test_transfersPreserveEarnedDividendsAndPreventRetroactiveClaims() (gas: 779106)\n[PASS] test_zeroAndSelfTransfersDoNotChangeDividends() (gas: 644577)\nSuite result: ok. 19 passed; 0 failed; 0 skipped; finished in 21.35ms (64.07ms CPU time)\n\nRan 1 test for test/DividendInvariant.t.sol:DividendInvariantTest\n[PASS] invariant_supplyConservationAndFullyBackedDividends() (runs: 128, calls: 8192, reverts: 0)\n\n╭-----------------+--------------+-------+---------+----------╮\n| Contract        | Selector     | Calls | Reverts | Discards |\n+=============================================================+\n| DividendHandler | approvedMove | 1428  | 0       | 0        |\n|-----------------+--------------+-------+---------+----------|\n| DividendHandler | buy          | 1342  | 0       | 0        |\n|-----------------+--------------+-------+---------+----------|\n| DividendHandler | claim        | 1333  | 0       | 0        |\n|-----------------+--------------+-------+---------+----------|\n| DividendHandler | donate       | 1386  | 0       | 0        |\n|-----------------+--------------+-------+---------+----------|\n| DividendHandler | move         | 1315  | 0       | 0        |\n|-----------------+--------------+-------+---------+----------|\n| DividendHandler | sell         | 1388  | 0       | 0        |\n╰-----------------+--------------+-------+---------+----------╯\n\nLogs:\n  Bound result 242\n  Bound result 6000000000000000000\n  Bound result 7620549373405142012810\n  Bound result 7108\n  Bound result 300\n  Bound result 16856734147291499186835330\n  Bound result 4558942691447613393174796\n  Bound result 3747426301141079381313080\n  Bound result 78122942902687260666164979\n  Bound result 5\n  Bound result 4809\n  Bound result 60000000000000000000\n  Bound result 1288\n  Bound result 300\n  Bound result 27000644454457167072209222\n  Bound result 1647349382\n  Bound result 242\n  Bound result 1982\n  Bound result 535920291592102475352237870\n  Bound result 4772\n  Bound result 7614\n  Bound result 264\n  Bound result 10\n  Bound result 6028\n  Bound result 1000000\n  Bound result 361\n  Bound result 1282744112852488643588851\n  Bound result 291000000000000000\n  Bound result 1\n  Bound result 244\n  Bound result 4239\n  Bound result 27177784005551046577\n  Bound result 2614\n  Bound result 40000000000000000000\n  Bound result 10000000000000000\n  Bound result 1\n  Bound result 2762\n  Bound result 3792478065\n  Bound result 6659\n  Bound result 15658056191829791976886040\n  Bound result 33\n  Bound result 4\n  Bound result 1235\n  Bound result 5\n  Bound result 107195505049620602486657950\n  Bound result 3395723174\n  Bound result 1\n  Bound result 5214\n  Bound result 63333414407316190827844975\n  Bound result 1\n  Bound result 100000000000000000000\n  Bound result 645327895539\n  Bound result 21335830933002176194397687\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 1.36s (1.36s CPU time)\n\nRan 3 test suites in 1.36s (1.39s CPU time): 26 tests passed, 0 failed, 0 skipped (26 total tests)\n","passed":true},{"durationMs":52,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"SIMDTESTToken.approve(address,uint256)\",\"SIMDTESTToken.claim()\",\"SIMDTESTToken.transfer(address,uint256)\",\"SIMDTESTToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":5,\"DEPENDENCIES.md\":9,\"README.md\":70,\"foundry.toml\":20,\"launch.json\":25,\"src/SIMDTESTToken.sol\":137,\"test/DividendInvariant.t.sol\":134,\"test/SIMDTESTToken.t.sol\":320,\"test/UniswapV4.t.sol\":178,\"test/helpers/V4Actors.sol\":113},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":396,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":221,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/SIMDTESTToken.sol:11: Large Numeric Literal (2 places)\n[low] unused-public-function at src/SIMDTESTToken.sol:79: Public Function Not Used Internally","passed":true}],"detail":"launch.json is not a valid launch manifest: (root): Unrecognized key: \"chainId\"","evaluation":"checks","profile":"foundry","status":"rejected","submissionHash":"0c052410b8d989701e3ccd6c940e88c58c4b4ec6ee9c8497fdc08cfd9e3ba6f5","verifiedTreeHash":"c188d57e886ed1a312c4f5155a26cc500c102037","verifierVersion":"0.1.0+ad90ce4c"},{"checks":[{"durationMs":2017,"exitCode":0,"name":"build","output":"Compiling 76 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.91s\nCompiler run successful!\nwarning[reentrancy-events]: event emitted after an external call; reentrancy can reorder or fabricate logs that off-chain consumers rely on\n   ╭▸ src/SIMDTESTToken.sol:83:13\n   │\n83 │             emit BuyFeeCollected(to, amount, fee);\n   │             ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\n   │\n   ╰ help: https://getfoundry.sh/forge/linting/reentrancy-events\n\nwarning[reentrancy-events]: event emitted after an external call; reentrancy can reorder or fabricate logs that off-chain consumers rely on\n    ╭▸ src/SIMDTESTToken.sol:101:9\n    │\n101 │         emit DividendsDistributed(amount, eligible, dividendPerToken);\n    │         ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\n    │\n    ╰ help: https://getfoundry.sh/forge/linting/reentrancy-events\n\nwarning[reentrancy-events]: event emitted after an external call; reentrancy can reorder or fabricate logs that off-chain consumers rely on\n   ╭▸ src/SIMDTESTToken.sol:61:9\n   │\n61 │         emit DividendClaimed(msg.sender, amount);\n   │         ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\n   │\n   ╰ help: https://getfoundry.sh/forge/linting/reentrancy-events\n\n","passed":true},{"durationMs":1551,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 5 tests for test/UniswapV4.t.sol:UniswapV4Test\n[PASS] testActualV4BuyAndSellSettleWithExactTokenFees() (gas: 795618)\n[PASS] testCallbackCannotBeSpoofed() (gas: 31923)\n[PASS] testExactOutputIsGrossAndRecipientGetsNet() (gas: 340102)\n[PASS] testFactorySeedUsesFullUntaxedSwarmAndSingleSidedPoolBudget() (gas: 102180)\n[PASS] testUnderpaymentRevertsCurrencyNotSettledAndRollsBackBuy() (gas: 383506)\nSuite result: ok. 5 passed; 0 failed; 0 skipped; finished in 1.64ms (1.30ms CPU time)\n\nRan 5 tests for test/UniswapV4.t.sol:UniswapV4TokenOneTest\n[PASS] testActualV4BuyAndSellSettleWithExactTokenFees() (gas: 796327)\n[PASS] testCallbackCannotBeSpoofed() (gas: 31923)\n[PASS] testExactOutputIsGrossAndRecipientGetsNet() (gas: 339673)\n[PASS] testFactorySeedUsesFullUntaxedSwarmAndSingleSidedPoolBudget() (gas: 102180)\n[PASS] testUnderpaymentRevertsCurrencyNotSettledAndRollsBackBuy() (gas: 384512)\nSuite result: ok. 5 passed; 0 failed; 0 skipped; finished in 1.69ms (1.01ms CPU time)\n\nRan 18 tests for test/SIMDTESTToken.t.sol:SIMDTESTTokenTest\n[PASS] testAllowanceUsesGrossBuyAmountAndSellIsUntaxed() (gas: 503949)\n[PASS] testBuySellAndWalletTransfers() (gas: 640133)\n[PASS] testClaimedTokensEarnOnlyFutureDividends() (gas: 614694)\n[PASS] testFactoryDistributionAndSwarmClaimAreUntaxed() (gas: 281055)\n[PASS] testFractionalEarningsSurviveForcedZeroTransfers() (gas: 8506532)\n[PASS] testFuzzBuyFeeAndConservation(uint256) (runs: 512, μ: 285256, ~: 292365)\nLogs:\n  Bound result 808367982082624704464240743\n\n[PASS] testMetadataAndConstructorMintOnlyToDeployer() (gas: 84396)\n[PASS] testNoAdministrativeOrSupplyMutationEntryPoints() (gas: 986100)\n[PASS] testOnlySpecifiedAddressesAreExcluded() (gas: 529041)\n[PASS] testProRataDividendsAndRepeatedClaim() (gas: 622279)\n[PASS] testRejectsInsufficientBalanceAndAllowanceAtomically() (gas: 335856)\n[PASS] testRejectsZeroRecipientAndZeroSpender() (gas: 159892)\n[PASS] testRuntimeHasNoForbiddenOpcodes() (gas: 1571488)\n[PASS] testSmallBuyRounding() (gas: 337018)\n[PASS] testTransfersDoNotTransferOldDividendRights() (gas: 874505)\n[PASS] testUnsolicitedDepositsAreNotDistributedOrRecoverableByStrangers() (gas: 215235)\n[PASS] testZeroEligibleSupplyQueuesFeesUntilNextTaxedBuy() (gas: 486015)\n[PASS] testZeroTransfersAndSelfTransfersPreserveEarnings() (gas: 502323)\nSuite result: ok. 18 passed; 0 failed; 0 skipped; finished in 10.06ms (25.73ms CPU time)\n\nRan 1 test for test/DividendInvariant.t.sol:DividendInvariantTest\n[PASS]\nDividendInvariantTest invariants:\n[PASS] invariantDividendsRemainBackedAndNeverSpendDeposits\n[PASS] invariantSupplyConservedAndExclusionsHold\n DividendInvariantTest invariants (runs: 128, calls: 8192, reverts: 0)\n\n╭-----------------+----------+-------+---------+----------╮\n| Contract        | Selector | Calls | Reverts | Discards |\n+=========================================================+\n| DividendHandler | buy      | 1634  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| DividendHandler | claim    | 1644  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| DividendHandler | deposit  | 1705  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| DividendHandler | move     | 1620  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| DividendHandler | sell     | 1589  | 0       | 0        |\n╰-----------------+----------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 0\n  Bound result 55588869515265352271323774\n  Bound result 0\n  Bound result 3653\n  Bound result 1225\n  Bound result 117300740\n  Bound result 1000000000\n  Bound result 0\n  Bound result 128768243673781776830464\n  Bound result 0\n  Bound result 0\n  Bound result 1759\n  Bound result 1\n  Bound result 46205606\n  Bound result 2916813\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 100\n  Bound result 664\n  Bound result 0\n  Bound result 367\n  Bound result 0\n  Bound result 1725540769\n  Bound result 2250000000000000000\n  Bound result 11435275450378270453035033\n  Bound result 215532816934919329738\n  Bound result 128897397643317092794032936\n  Bound result 7079\n  Bound result 27266334121183556381\n  Bound result 1610\n  Bound result 27678314097894473574313078\n  Bound result 96\n  Bound result 6000000000000000000\n  Bound result 128\n  Bound result 4454033507870328986\n  Bound result 175\n  Bound result 2609\n  Bound result 12047135927048991238871652\n  Bound result 50000000000000000000\n  Bound result 12071851945759411236139787\n  Bound result 10000000000000000000\n  Bound result 1746369463821618657491328\n  Bound result 6223\n  Bound result 2250000000000000000\n  Bound result 242071137145258283635963648\n  Bound result 1995\n  Bound result 2500\n  Bound result 24576\n  Bound result 132310461874258792954\n  Bound result 2250000000000000000\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 1.47s (1.47s CPU time)\n\nRan 4 test suites in 1.47s (1.48s CPU time): 29 tests passed, 0 failed, 0 skipped (29 total tests)\n","passed":true},{"durationMs":29,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"SIMDTESTToken.approve(address,uint256)\",\"SIMDTESTToken.claim()\",\"SIMDTESTToken.transfer(address,uint256)\",\"SIMDTESTToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.json\":24,\"README.md\":144,\"foundry.toml\":23,\"launch.json\":24,\"remappings.txt\":4,\"src/SIMDTESTToken.sol\":120,\"test/DividendInvariant.t.sol\":113,\"test/SIMDTESTToken.t.sol\":318,\"test/UniswapV4.t.sol\":167,\"test/support/V4Actor.sol\":88},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":589,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":235,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/SIMDTESTToken.sol:10: Large Numeric Literal (2 places)\n[low] unused-public-function at src/SIMDTESTToken.sol:45: Public Function Not Used Internally","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"3952ce81a6620c04c1db49caab80f7dc5135c435c581968486f102a0938351f1","verifiedTreeHash":"1ab2c9c5b49b347c9c68755a82a1f6a1f356cf69","verifierVersion":"0.1.0+ad90ce4c"},{"checks":[{"durationMs":3233,"exitCode":0,"name":"build","output":"Compiling 79 files with Solc 0.8.26\nSolc 0.8.26 finished in 3.09s\nCompiler run successful!\nwarning[reentrancy-events]: event emitted after an external call; reentrancy can reorder or fabricate logs that off-chain consumers rely on\n   ╭▸ src/SIMDTESTToken.sol:83:13\n   │\n83 │             emit BuyFeeCollected(to, amount, fee);\n   │             ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\n   │\n   ╰ help: https://getfoundry.sh/forge/linting/reentrancy-events\n\nwarning[reentrancy-events]: event emitted after an external call; reentrancy can reorder or fabricate logs that off-chain consumers rely on\n    ╭▸ src/SIMDTESTToken.sol:101:9\n    │\n101 │         emit DividendsDistributed(amount, eligible, dividendPerToken);\n    │         ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\n    │\n    ╰ help: https://getfoundry.sh/forge/linting/reentrancy-events\n\nwarning[reentrancy-events]: event emitted after an external call; reentrancy can reorder or fabricate logs that off-chain consumers rely on\n   ╭▸ src/SIMDTESTToken.sol:61:9\n   │\n61 │         emit DividendClaimed(msg.sender, amount);\n   │         ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\n   │\n   ╰ help: https://getfoundry.sh/forge/linting/reentrancy-events\n\n","passed":true},{"durationMs":7618,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 7 tests for test/UniswapV4.t.sol:UniswapV4Test\n[PASS] testActualV4BuyAndSellSettleWithExactTokenFees() (gas: 795682)\n[PASS] testCallbackCannotBeSpoofed() (gas: 31964)\n[PASS] testExactOutputIsGrossAndRecipientGetsNet() (gas: 340134)\n[PASS] testFactorySeedUsesFullUntaxedSwarmAndSingleSidedPoolBudget() (gas: 102202)\n[PASS] testFuzzV4RoundTripConservesFeesAndClearsBothCurrencies(uint256,uint256) (runs: 1000, μ: 807891, ~: 806898)\nLogs:\n  Bound result 607060968016047060\n  Bound result 58\n\n[PASS] testSellUnderpaymentRestoresDividendsAndPoolStateThenRetrySucceeds() (gas: 1411523)\n[PASS] testUnderpaymentRevertsCurrencyNotSettledAndRollsBackBuy() (gas: 383560)\nSuite result: ok. 7 passed; 0 failed; 0 skipped; finished in 269.42ms (268.74ms CPU time)\n\nRan 7 tests for test/UniswapV4.t.sol:UniswapV4TokenOneTest\n[PASS] testActualV4BuyAndSellSettleWithExactTokenFees() (gas: 796391)\n[PASS] testCallbackCannotBeSpoofed() (gas: 31964)\n[PASS] testExactOutputIsGrossAndRecipientGetsNet() (gas: 339705)\n[PASS] testFactorySeedUsesFullUntaxedSwarmAndSingleSidedPoolBudget() (gas: 102202)\n[PASS] testFuzzV4RoundTripConservesFeesAndClearsBothCurrencies(uint256,uint256) (runs: 1000, μ: 808590, ~: 807622)\nLogs:\n  Bound result 607060968016047060\n  Bound result 58\n\n[PASS] testSellUnderpaymentRestoresDividendsAndPoolStateThenRetrySucceeds() (gas: 1411909)\n[PASS] testUnderpaymentRevertsCurrencyNotSettledAndRollsBackBuy() (gas: 384566)\nSuite result: ok. 7 passed; 0 failed; 0 skipped; finished in 300.65ms (299.31ms CPU time)\n\nRan 18 tests for test/SIMDTESTToken.t.sol:SIMDTESTTokenTest\n[PASS] testAllowanceUsesGrossBuyAmountAndSellIsUntaxed() (gas: 503949)\n[PASS] testBuySellAndWalletTransfers() (gas: 640133)\n[PASS] testClaimedTokensEarnOnlyFutureDividends() (gas: 614694)\n[PASS] testFactoryDistributionAndSwarmClaimAreUntaxed() (gas: 281055)\n[PASS] testFractionalEarningsSurviveForcedZeroTransfers() (gas: 8506532)\n[PASS] testFuzzBuyFeeAndConservation(uint256) (runs: 512, μ: 280446, ~: 292365)\nLogs:\n  Bound result 877685509144836061921501677\n\n[PASS] testMetadataAndConstructorMintOnlyToDeployer() (gas: 84396)\n[PASS] testNoAdministrativeOrSupplyMutationEntryPoints() (gas: 986100)\n[PASS] testOnlySpecifiedAddressesAreExcluded() (gas: 529041)\n[PASS] testProRataDividendsAndRepeatedClaim() (gas: 622279)\n[PASS] testRejectsInsufficientBalanceAndAllowanceAtomically() (gas: 335856)\n[PASS] testRejectsZeroRecipientAndZeroSpender() (gas: 159892)\n[PASS] testRuntimeHasNoForbiddenOpcodes() (gas: 1571488)\n[PASS] testSmallBuyRounding() (gas: 337018)\n[PASS] testTransfersDoNotTransferOldDividendRights() (gas: 874505)\n[PASS] testUnsolicitedDepositsAreNotDistributedOrRecoverableByStrangers() (gas: 215235)\n[PASS] testZeroEligibleSupplyQueuesFeesUntilNextTaxedBuy() (gas: 486015)\n[PASS] testZeroTransfersAndSelfTransfersPreserveEarnings() (gas: 502323)\nSuite result: ok. 18 passed; 0 failed; 0 skipped; finished in 300.80ms (293.86ms CPU time)\n\nRan 6 tests for test/SIMDTESTAdversarial.t.sol:SIMDTESTAdversarialTest\n[PASS] testFuzzApprovalForNetCannotSpendGrossBuy(uint256) (runs: 1000, μ: 683386, ~: 683181)\nLogs:\n  Bound result 813302684656862262560753321\n\n[PASS] testFuzzClaimOrderDoesNotRedistributeExistingEarnings(uint256) (runs: 1000, μ: 1238625, ~: 1238814)\nLogs:\n  Bound result 899999999000000000000011585\n\n[PASS] testFuzzDelegatedBuyEventsAccountForGrossAmount(uint256,bool) (runs: 1000, μ: 289886, ~: 290448)\nLogs:\n  Bound result 405680274087027310315583245\n\n[PASS] testFuzzForcedCheckpointsPreserveFractionalEarnings(uint256,uint8) (runs: 1000, μ: 2126389, ~: 1919366)\nLogs:\n  Bound result 12500\n\n[PASS] testRevokedAllowanceCannotSpendOrClaimForHolder() (gas: 893980)\n[PASS] testTaxedTransferToZeroRestoresAllowanceAndDividendRights() (gas: 853005)\nSuite result: ok. 6 passed; 0 failed; 0 skipped; finished in 301.55ms (1.20s CPU time)\n\nRan 1 test for test/DividendInvariant.t.sol:DividendInvariantTest\n[PASS]\nDividendInvariantTest invariants:\n[PASS] invariantDividendsRemainBackedAndNeverSpendDeposits\n[PASS] invariantSupplyConservedAndExclusionsHold\n DividendInvariantTest invariants (runs: 128, calls: 8192, reverts: 0)\n\n╭-----------------+----------+-------+---------+----------╮\n| Contract        | Selector | Calls | Reverts | Discards |\n+=========================================================+\n| DividendHandler | buy      | 1505  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| DividendHandler | claim    | 1642  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| DividendHandler | deposit  | 1675  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| DividendHandler | move     | 1677  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| DividendHandler | sell     | 1693  | 0       | 0        |\n╰-----------------+----------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 0\n  Bound result 898128381336356810535632970\n  Bound result 1072691915167978689120162\n  Bound result 386906054862359620366183\n  Bound result 2185\n  Bound result 21485081635502783629527158\n  Bound result 481299826655749754790607074\n  Bound result 17\n  Bound result 0\n  Bound result 1000000000000000000000\n  Bound result 7151\n  Bound result 4\n  Bound result 97000000000000000000\n  Bound result 3041954473\n  Bound result 5\n  Bound result 1635\n  Bound result 12500\n  Bound result 3653\n  Bound result 1\n  Bound result 4265\n  Bound result 924\n  Bound result 1\n  Bound result 56568953030218297706193274\n  Bound result 1000000000000000000000000\n  Bound result 48543129990635084664615\n  Bound result 762873055766565751791595\n  Bound result 5946\n  Bound result 6690\n  Bound result 244\n  Bound result 19928434432156497793341550\n  Bound result 1713\n  Bound result 1647557744440916149136274\n  Bound result 6816\n  Bound result 300000000000000000000\n  Bound result 4503\n  Bound result 5496006016565419929375586\n  Bound result 2208\n  Bound result 9\n  Bound result 182318002837749846328264\n  Bound result 80114613103774848639748015\n  Bound result 300\n  Bound result 64\n  Bound result 913\n  Bound result 300\n  Bound result 21898102329115634784411897\n  Bound result 1601\n  Bound result 506290993540606057473900\n  Bound result 2973105003385909072482264\n  Bound result 5359\n  Bound result 2\n  Bound result 2\n  Bound result 1000000000000\n  Bound result 900000000000000000000\n  Bound result 20000000000000000000\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 1.77s (1.76s CPU time)\n\nRan 2 tests for test/DividendModelInvariant.t.sol:DividendModelInvariantTest\n[PASS] invariant_IndependentBalancesAndPerHolderDividends() (runs: 256, calls: 32768, reverts: 0)\n\n╭----------------------+-------------------+-------+---------+----------╮\n| Contract             | Selector          | Calls | Reverts | Discards |\n+=======================================================================+\n| DividendModelHandler | claim             | 8076  | 0       | 0        |\n|----------------------+-------------------+-------+---------+----------|\n| DividendModelHandler | forceCheckpoint   | 8141  | 0       | 0        |\n|----------------------+-------------------+-------+---------+----------|\n| DividendModelHandler | rejectedOverspend | 8181  | 0       | 0        |\n|----------------------+-------------------+-------+---------+----------|\n| DividendModelHandler | transfer          | 8370  | 0       | 0        |\n╰----------------------+-------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 507502303980446217307986950\n  Bound result 2250000000000000000\n  Bound result 3208\n  Bound result 0\n  Bound result 51177122426869487390407934\n  Bound result 0\n  Bound result 887220\n  Bound result 128\n  Bound result 7642201064614550568663679\n  Bound result 0\n  Bound result 878910908023025522239772\n  Bound result 12746\n  Bound result 1000000000000000000\n  Bound result 2\n  Bound result 367554245\n  Bound result 4\n  Bound result 802583127644544501\n  Bound result 5\n  Bound result 10727\n  Bound result 16\n  Bound result 13483\n  Bound result 12288551674683553182295935\n  Bound result 1000000000000000000000000\n  Bound result 14081883469777178515973092\n  Bound result 3058\n  Bound result 28117778684700639350835768\n  Bound result 360290263911191472333983\n  Bound result 39895276497691475935176811\n  Bound result 642306471369960567789590\n  Bound result 10\n  Bound result 57005\n  Bound result 695\n\n[PASS] testModelTraversesEmptyEligibleSetAndQueuedFees() (gas: 1233104)\nLogs:\n  Bound result 100000000000000000000000000\n  Bound result 100000000000000000000\n  Bound result 100000000000000000000\n\nSuite result: ok. 2 passed; 0 failed; 0 skipped; finished in 7.52s (7.52s CPU time)\n\nRan 6 test suites in 7.52s (10.46s CPU time): 41 tests passed, 0 failed, 0 skipped (41 total tests)\n","passed":true},{"durationMs":72,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"SIMDTESTToken.approve(address,uint256)\",\"SIMDTESTToken.claim()\",\"SIMDTESTToken.transfer(address,uint256)\",\"SIMDTESTToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.json\":24,\"README.md\":144,\"foundry.toml\":23,\"launch.json\":24,\"remappings.txt\":4,\"src/SIMDTESTToken.sol\":120,\"test/DividendInvariant.t.sol\":113,\"test/DividendModelInvariant.t.sol\":220,\"test/SIMDTESTAdversarial.t.sol\":175,\"test/SIMDTESTToken.t.sol\":318,\"test/TESTING.md\":41,\"test/UniswapV4.t.sol\":254,\"test/support/V4Actor.sol\":88},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"f7b01ea2781a3fecd3110da61a3d8f5207409a8f268ac24c159be300f31333ba","verifiedTreeHash":"658fb2fd8d3d00ae9c8aa5a7ccfd607c111ca8d8","verifierVersion":"0.1.0+ad90ce4c"},{"checks":[{"durationMs":1743,"exitCode":0,"name":"build","output":"Compiling 78 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.63s\nCompiler run successful!\nwarning[reentrancy-events]: event emitted after an external call; reentrancy can reorder or fabricate logs that off-chain consumers rely on\n   ╭▸ src/SIMDTESTToken.sol:94:9\n   │\n94 │         emit DividendsDistributed(amount, eligible);\n   │         ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\n   │\n   ╰ help: https://getfoundry.sh/forge/linting/reentrancy-events\n\nwarning[reentrancy-events]: event emitted after an external call; reentrancy can reorder or fabricate logs that off-chain consumers rely on\n   ╭▸ src/SIMDTESTToken.sol:61:9\n   │\n61 │         emit DividendClaimed(msg.sender, amount);\n   │         ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\n   │\n   ╰ help: https://getfoundry.sh/forge/linting/reentrancy-events\n\n","passed":true},{"durationMs":1615,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 5 tests for test/UniswapV4.t.sol:UniswapV4Test\n[PASS] test_exactOutputBuySettlesGrossWhileBuyerReceivesNet() (gas: 1033707)\n[PASS] test_seedBuyAndSellWithTokenAsCurrency0() (gas: 1489442)\n[PASS] test_seedBuyAndSellWithTokenAsCurrency1() (gas: 1501984)\n[PASS] test_underpaymentRevertsWithCurrencyNotSettledAndRollsBack() (gas: 1065710)\n[PASS] test_unlockCallbackRejectsNonManager() (gas: 32189)\nSuite result: ok. 5 passed; 0 failed; 0 skipped; finished in 1.94ms (3.97ms CPU time)\n\nRan 18 tests for test/SIMDTESTToken.t.sol:SIMDTESTTokenTest\n[PASS] testFuzz_buyFeeConservesTokens(uint256) (runs: 256, μ: 264120, ~: 270727)\nLogs:\n  Bound result 11895532244166674\n\n[PASS] testFuzz_distributionMatchesBalanceWeights(uint256,uint256) (runs: 256, μ: 366797, ~: 367027)\nLogs:\n  Bound result 214627289543299293544132275\n  Bound result 6026\n\n[PASS] test_allowanceFailureAndInfiniteApproval() (gas: 252972)\n[PASS] test_buyFeeAndSubsequentSellAndWalletTransfers() (gas: 491224)\n[PASS] test_claimClearsCreditEvenWhenUnallocatedFeesAreWaiting() (gas: 640671)\n[PASS] test_claimedTokensParticipateOnlyInFutureFees() (gas: 561945)\n[PASS] test_excludedAccountsNeverEarnAndDonationsAreNotFees() (gas: 413685)\n[PASS] test_factoryMovesSwarmAndSeedWithoutAnyTax() (gas: 279983)\n[PASS] test_feeRoundingZeroTransfersAndPoolSelfTransfer() (gas: 386563)\n[PASS] test_feeWaitsWhenThereAreNoEligibleHolders() (gas: 336061)\n[PASS] test_metadataAndEntireSupplyMintedOnlyToDeployer() (gas: 84670)\n[PASS] test_noAdministrativeOrMintingEntrypoints() (gas: 833684)\n[PASS] test_proRataDividendsCanBeClaimedOnlyOnce() (gas: 718962)\n[PASS] test_runtimeContainsNoForbiddenOpcodes() (gas: 1554229)\n[PASS] test_transferFromUsesSourceAndConsumesGrossAllowance() (gas: 500199)\n[PASS] test_transfersPreserveEarnedDividendsAndDoNotGiveHistoryToRecipient() (gas: 807958)\n[PASS] test_zeroAddressAndInsufficientBalanceRevertAtomically() (gas: 175654)\n[PASS] test_zeroTransfersCannotDestroyFractionalRewards() (gas: 17452538)\nSuite result: ok. 18 passed; 0 failed; 0 skipped; finished in 12.40ms (42.59ms CPU time)\n\nRan 1 test for test/DividendInvariant.t.sol:DividendInvariantTest\n[PASS]\nDividendInvariantTest invariants:\n[PASS] invariant_everyDividendIsBackedAndAllFeesAreAccountedFor\n[PASS] invariant_supplyAndEligibleBalancesAreConserved\n DividendInvariantTest invariants (runs: 128, calls: 8192, reverts: 0)\n\n╭-----------------+----------+-------+---------+----------╮\n| Contract        | Selector | Calls | Reverts | Discards |\n+=========================================================+\n| DividendHandler | buy      | 1639  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| DividendHandler | claim    | 1680  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| DividendHandler | donate   | 1656  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| DividendHandler | gift     | 1630  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| DividendHandler | sell     | 1587  | 0       | 0        |\n╰-----------------+----------+-------+---------+----------╯\n\nLogs:\n  Bound result 3508\n  Bound result 0\n  Bound result 7688\n  Bound result 970000000000000000000\n  Bound result 2\n  Bound result 0\n  Bound result 4\n  Bound result 95\n  Bound result 2924\n  Bound result 1698\n  Bound result 0\n  Bound result 66\n  Bound result 24576\n  Bound result 109400482825982510616425766\n  Bound result 100\n  Bound result 30000000000000000000\n  Bound result 403562853070291132898761840\n  Bound result 1000000000\n  Bound result 66\n  Bound result 153000000000000000000\n  Bound result 14\n  Bound result 2\n  Bound result 44\n  Bound result 5005\n  Bound result 2668840526\n  Bound result 2\n  Bound result 41\n  Bound result 14\n  Bound result 10000000000000000000000\n  Bound result 2\n  Bound result 4\n  Bound result 1268\n  Bound result 0\n  Bound result 244\n  Bound result 3\n  Bound result 10\n  Bound result 66\n  Bound result 0\n  Bound result 86391176470627688035850956\n  Bound result 255742719354285255075007507\n  Bound result 0\n  Bound result 0\n  Bound result 1413\n  Bound result 322979892023266681564662626\n  Bound result 3412\n  Bound result 3353\n  Bound result 1\n  Bound result 431\n  Bound result 214700386267487785094324340\n  Bound result 6\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 1.54s (1.54s CPU time)\n\nRan 3 test suites in 1.54s (1.55s CPU time): 24 tests passed, 0 failed, 0 skipped (24 total tests)\n","passed":true},{"durationMs":43,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"SIMDTESTToken.approve(address,uint256)\",\"SIMDTESTToken.claim()\",\"SIMDTESTToken.transfer(address,uint256)\",\"SIMDTESTToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.md\":19,\"LICENSE\":21,\"README.md\":173,\"foundry.toml\":22,\"launch.json\":23,\"remappings.txt\":4,\"src/SIMDTESTToken.sol\":113,\"test/DividendInvariant.t.sol\":116,\"test/SIMDTESTToken.t.sol\":306,\"test/UniswapV4.t.sol\":180,\"test/helpers/V4Harness.sol\":74},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":749,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":297,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/SIMDTESTToken.sol:10: Large Numeric Literal (2 places)\n[low] unused-public-function at src/SIMDTESTToken.sol:44: Public Function Not Used Internally","passed":true}],"detail":"launch.json is not a valid launch manifest: notes: Invalid input: expected string, received undefined","evaluation":"checks","profile":"foundry","status":"rejected","submissionHash":"ff9449da599c81f8b21d0f1652edb7627933ea5b895127729610637af2a93e74","verifiedTreeHash":"6f9f740cde81c4efa873244f980c3ac2158344aa","verifierVersion":"0.1.0+ad90ce4c"}]}