{"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":"2edee3af-e9c4-4c30-9d3e-9c77496f5b65","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":"b3555a920ecb2b87df239be5809a7cd83c30f00baf6ba4a739c08283ef1b6d5e","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":"be97fef4262740dac09cf4b411d7a03c938b2406dca037aae42d3caad6abd607","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. Deploys an ERC20 token named SIMDTEST with symbol SIMDTEST and 18 decimals.\n2. Total fixed supply: 1,000,000,000 tokens minted once at deployment.\n3. 90% of total supply (900,000,000 tokens) are allocated to seed the Uniswap v4 pool.\n4. The pool pairs SIMDTEST with IMD token (address 0xd34a99bc0f67ae1bbd63c660e6d0b0dd03e263b7) via PoolManager at 0x000000000004444c5dc75cB358380D2e3dE08A90.\n5. 10% of total supply (100,000,000 tokens) are reserved for the swarm's distribution off-chain; the token contract does not mint or send this allocation.\n6. No transfer fees, taxes, or rewards; transfers are plain ERC20.\n7. Pool fee fixed at 1.25% (12500 bps) as per SIMD launchpad rules.\n\nWho can call what:\n- No owner or administrative functions exist; all parameters immutable.\n- Minting occurs once at deployment.\n- Transfers, approvals behave as standard ERC20 with no extra logic.\n\nTests:\n1. Confirm total supply is exactly 1,000,000,000 tokens with 18 decimals.\n2. Verify 900,000,000 tokens are transferred to or minted in the pool seed account.\n3. Confirm 10% swarm allocation exists off-chain per launch protocol; token contract has no balance or minting wallet for it.\n4. Test standard ERC20 transfers and approvals with no fees or restrictions.\n5. Check that no owner or admin calls are possible.\n6. Verify pool uses fixed fee of 1.25% and pairs correctly with IMD at the PoolManager address.\n7. Run adversarial review including mainnet fork swaps to confirm protocol compliance and absence of vulnerabilities.\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":"c2209a778dd83c4bc60be47d88f37e4f1cdfb81abc1432f36ca86a11bff2ed72","previousHash":"0000000000000000000000000000000000000000000000000000000000000000","projectId":"2edee3af-e9c4-4c30-9d3e-9c77496f5b65","publication":{"commit":null,"deliveredAt":null,"repoUrl":"https://github.com/identity-md-launches/launch-983-simdtest"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[{"agentId":"51226","feedbackHash":"b626d974de577e0c6ff63e01ce4ba8dcf5e8621be9c777f0ccf8f58cb6b87d37","nodeKey":"build_contract_project","submissionHash":"b3555a920ecb2b87df239be5809a7cd83c30f00baf6ba4a739c08283ef1b6d5e","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51224","feedbackHash":"da957c06e3170eb5c3b1ed3fadb5d2cfea8efbd71d96a7fff447f44692f1305b","nodeKey":"write_foundry_tests","submissionHash":"be97fef4262740dac09cf4b411d7a03c938b2406dca037aae42d3caad6abd607","tag1":"verification:checks","tag2":"acceptance-v2","value":1}],"site":null,"snapshotHash":"2d39ed52d3c4a597efd61260798a9f52a0a44e110d9c6c35492acb5fa2f42d8a","state":"blocked","submissions":[{"artifacts":[],"attempt":1,"bundleHash":null,"device":"74db3e88f3c65478","findings":[],"hash":"83ac67d9817743ea5dc04221e9066c3fde864c8e07ef82671bdccf83d426a929","nodeId":"46bb3c97-c5b6-472a-b176-bd67f8d80f2b","outcome":"failed","summary":"needs input: The brief requires pool.fee 12500 (1.25% in Uniswap v4 millionths), but also restricts pool.fee to 500, 3000, or 10000 and says admission refuses every other value. The accepted launch.json and local pool tests use 12500. No manifest can satisfy both requirements, and selecting a different fee would change the requested launch economics without authorization. — Should the launch policy permit the requested fee 12500 (1.25%), or should this launch use one of the allowed fees 500 (0.05%), 3000 (0.3%), or 10000 (1%); if so, which?","treeHash":null,"usage":{"cachedInputTokens":227584,"inputTokens":28202,"model":"gpt-6-astra","outputTokens":2523,"runtime":"codex","turns":3,"wallClockMs":94129}},{"artifacts":[],"attempt":1,"bundleHash":"dfb62995482042719f43ca35ab1394186cf173891f855bbf0b43fc2dd72f6722","device":"720122d0ca9f60ca","findings":[],"hash":"b3555a920ecb2b87df239be5809a7cd83c30f00baf6ba4a739c08283ef1b6d5e","nodeId":"5b768792-1d64-4807-baae-d081692d8561","outcome":"completed","summary":"Implemented the fixed-supply SIMDTEST token, exact launch manifest, vendored dependencies, tests, and deployment/security documentation.\n\nVerified:\n- `forge build` and `forge fmt --check` pass.\n- Offline tests: 26 passed; fork suite skipped.\n- Mainnet fork swaps: both tests passed at block 26,144,772.\n- Manifest, ABI, and dependency hashes pass validation.\n\nPool seeding and swarm distribution remain the external launch factory’s responsibility.","treeHash":"684bd2709802e4234748f647118eda361817f326","usage":{"cachedInputTokens":1222400,"inputTokens":91842,"model":"gpt-6-astra","outputTokens":24259,"runtime":"codex","turns":6,"wallClockMs":872608}},{"artifacts":[],"attempt":1,"bundleHash":"8771379aa850524f536a25bc2447c5171a316675c38f128818e85633d890ecd6","device":"5dc170d977094c92","findings":[],"hash":"be97fef4262740dac09cf4b411d7a03c938b2406dca037aae42d3caad6abd607","nodeId":"48e6ef0f-c408-43e5-b2fe-17ad1a6e4afa","outcome":"completed","summary":"Added adversarial ERC20/v4 tests and stateful invariants under `test/`.\n\n- Build passed.\n- Offline tests: **38 passed**, two fork suites skipped.\n- Mainnet fork: **8 passed** at block **26,144,840**.\n\nNo production defects reproduced. External factory and off-chain swarm allocation remain outside the verified scope. Reproduction commands and limitations are documented in `test/ADVERSARIAL_REVIEW.md`.","treeHash":"2529d5273bb4b47b7e08e96d64d45301d5514c38","usage":{"cachedInputTokens":759424,"inputTokens":58191,"model":"gpt-6-astra","outputTokens":14254,"runtime":"codex","turns":5,"wallClockMs":426857}}],"verification":[{"checks":[{"durationMs":2091,"exitCode":0,"name":"build","output":"Compiling 75 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.97s\nCompiler run successful!\n","passed":true},{"durationMs":686,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 1 test for test/UniswapV4.t.sol:MainnetForkTest\n[SKIP: skipped] setUp() (gas: 0)\nSuite result: ok. 0 passed; 0 failed; 1 skipped; finished in 314.93µs (0.00ns CPU time)\n\nRan 19 tests for test/SIMDTESTToken.t.sol:SIMDTESTTokenTest\n[PASS] testFuzz_ApprovalAndTransferFrom(uint256,uint256) (runs: 256, μ: 222246, ~: 224950)\nLogs:\n  Bound result 192104673195476869036117780\n  Bound result 1584408752194536345718417\n\n[PASS] testFuzz_TransferArrivesExactly(uint256) (runs: 256, μ: 94665, ~: 94859)\nLogs:\n  Bound result 36410115888240628964770713\n\n[PASS] test_ApprovalCanBeReplacedAndRevoked() (gas: 150847)\n[PASS] test_ConstructorEmitsSingleMintAndUsesCallerNotOrigin() (gas: 201769)\n[PASS] test_ContractRecipientDoesNotReceiveCallback() (gas: 173882)\n[PASS] test_DeployerCannotSpendHolderTokensWithoutAllowance() (gas: 97069)\n[PASS] test_FactoryTransfersExactNinetyTenSplitAndClaimsArriveWhole() (gas: 387623)\n[PASS] test_FailedTransferFromPreservesAllowanceAndBalances() (gas: 113478)\n[PASS] test_InfiniteApprovalIsNotDecremented() (gas: 120600)\n[PASS] test_MetadataAndEntireFixedSupplyToDeployer() (gas: 82109)\n[PASS] test_NoAdminMintBurnOrUpgradeSelectorsForDeployerOrStranger() (gas: 1188195)\n[PASS] test_RejectsApprovalToZero() (gas: 30386)\n[PASS] test_RejectsEtherAndUnknownCalls() (gas: 58235)\n[PASS] test_RejectsInsufficientBalance() (gas: 44876)\n[PASS] test_RejectsTransferFromZeroEvenWithZeroAmount() (gas: 35363)\n[PASS] test_RejectsTransferToZeroIncludingZeroAmount() (gas: 61454)\n[PASS] test_RuntimeHasNoDangerousOpcodesOrExternalCalls() (gas: 1709020)\n[PASS] test_ZeroAndSelfTransfers() (gas: 78284)\n[PASS] test_ZeroReceiverTransferFromPreservesAllowance() (gas: 103726)\nSuite result: ok. 19 passed; 0 failed; 0 skipped; finished in 8.77ms (22.72ms CPU time)\n\nRan 6 tests for test/UniswapV4.t.sol:LocalV4Test\n[PASS] testFuzz_SeedBuySellTokenAsCurrency0(uint96) (runs: 256, μ: 3993120, ~: 3992888)\nLogs:\n  Bound result 9999999000000000806\n\n[PASS] testFuzz_SeedBuySellTokenAsCurrency1(uint96) (runs: 256, μ: 4004235, ~: 4004027)\nLogs:\n  Bound result 543844060050310408\n\n[PASS] test_CallbackRejectsNonManager() (gas: 2035228)\n[PASS] test_FactoryCannotTakeHolderTokensOrReenterMint() (gas: 2071240)\n[PASS] test_PoolCannotBeReinitializedOrStaticFeeChanged() (gas: 2077076)\n[PASS] test_TraderWithoutFundsCannotSwapAndStateRollsBack() (gas: 3534326)\nSuite result: ok. 6 passed; 0 failed; 0 skipped; finished in 84.46ms (157.98ms CPU time)\n\nRan 1 test for test/SupplyInvariant.t.sol:SupplyInvariantTest\n[PASS] invariant_SupplyAndAllBalancesAreConserved() (runs: 128, calls: 8192, reverts: 0)\n\n╭-----------------+----------+-------+---------+----------╮\n| Contract        | Selector | Calls | Reverts | Discards |\n+=========================================================+\n| TransferHandler | approve  | 2796  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| TransferHandler | spend    | 2649  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| TransferHandler | transfer | 2747  | 0       | 0        |\n╰-----------------+----------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 0\n  Bound result 2751\n  Bound result 999999999999999999999999999\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 1\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 362\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 1\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 594.48ms (593.28ms CPU time)\n\nRan 4 test suites in 595.52ms (688.02ms CPU time): 26 tests passed, 0 failed, 1 skipped (27 total tests)\n","passed":true},{"durationMs":44,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"SIMDTESTToken.approve(address,uint256)\",\"SIMDTESTToken.transfer(address,uint256)\",\"SIMDTESTToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"README.md\":129,\"SECURITY_REVIEW.md\":96,\"dependencies.lock.json\":110,\"foundry.toml\":29,\"launch.json\":24,\"src/SIMDTESTToken.sol\":14,\"test/SIMDTESTToken.t.sol\":256,\"test/SupplyInvariant.t.sol\":69,\"test/UniswapV4.t.sol\":221,\"test/helpers/V4LaunchHarness.sol\":93,\"tools/check_manifest.py\":59},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":372,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":179,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/SIMDTESTToken.sol:9: Large Numeric Literal","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"b3555a920ecb2b87df239be5809a7cd83c30f00baf6ba4a739c08283ef1b6d5e","verifiedTreeHash":"684bd2709802e4234748f647118eda361817f326","verifierVersion":"0.1.0+ad90ce4c"},{"checks":[{"durationMs":3371,"exitCode":0,"name":"build","output":"Compiling 78 files with Solc 0.8.26\nSolc 0.8.26 finished in 3.21s\nCompiler run successful!\n","passed":true},{"durationMs":4043,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 1 test for test/V4Adversarial.t.sol:MainnetV4AdversarialTest\n[SKIP: skipped] setUp() (gas: 0)\nSuite result: ok. 0 passed; 0 failed; 1 skipped; finished in 2.67ms (0.00ns CPU time)\n\nRan 1 test for test/UniswapV4.t.sol:MainnetForkTest\n[SKIP: skipped] setUp() (gas: 0)\nSuite result: ok. 0 passed; 0 failed; 1 skipped; finished in 5.38ms (0.00ns CPU time)\n\nRan 6 tests for test/UniswapV4.t.sol:LocalV4Test\n[PASS] testFuzz_SeedBuySellTokenAsCurrency0(uint96) (runs: 256, μ: 3993132, ~: 3992888)\nLogs:\n  Bound result 9999999008892018552\n\n[PASS] testFuzz_SeedBuySellTokenAsCurrency1(uint96) (runs: 256, μ: 4004245, ~: 4004027)\nLogs:\n  Bound result 9999999000806904147\n\n[PASS] test_CallbackRejectsNonManager() (gas: 2035228)\n[PASS] test_FactoryCannotTakeHolderTokensOrReenterMint() (gas: 2071240)\n[PASS] test_PoolCannotBeReinitializedOrStaticFeeChanged() (gas: 2077076)\n[PASS] test_TraderWithoutFundsCannotSwapAndStateRollsBack() (gas: 3534326)\nSuite result: ok. 6 passed; 0 failed; 0 skipped; finished in 144.70ms (235.24ms CPU time)\n\nRan 7 tests for test/TokenAdversarial.t.sol:TokenAdversarialTest\n[PASS] testFuzz_DelegatedSelfTransferStillSpendsFiniteAllowance(uint256,uint256) (runs: 1000, μ: 179212, ~: 179850)\nLogs:\n  Bound result 1579974935150948554542306454588728\n  Bound result 620630736295164630742988538\n\n[PASS] testFuzz_InsufficientAllowanceCannotMoveFundedBalance(uint256,uint256,uint256) (runs: 1000, μ: 343307, ~: 343869)\nLogs:\n  Bound result 2\n  Bound result 0\n  Bound result 1\n\n[PASS] testFuzz_OverdrawRollsBackEvenWithSufficientAllowance(uint256,uint256) (runs: 1000, μ: 234465, ~: 235016)\nLogs:\n  Bound result 670123341861936704203872740\n  Bound result 115792089237316195423570985008687907853269984665639893918548237790839574961703\n\n[PASS] test_AdminProbesUseValidABIArgumentsAndCannotFreezeOrSeize() (gas: 3755462)\n[PASS] test_MaximumFiniteAllowanceIsNotUnlimitedAndUnlimitedCanBeRevoked() (gas: 348053)\n[PASS] test_SelfSpendingRequiresApprovalAndZeroSpendingDoesNot() (gas: 158922)\n[PASS] test_TruncatedAndNoncanonicalTransferCalldataCannotMoveTokens() (gas: 2129451)\nSuite result: ok. 7 passed; 0 failed; 0 skipped; finished in 144.88ms (404.43ms CPU time)\n\nRan 19 tests for test/SIMDTESTToken.t.sol:SIMDTESTTokenTest\n[PASS] testFuzz_ApprovalAndTransferFrom(uint256,uint256) (runs: 256, μ: 223467, ~: 224986)\nLogs:\n  Bound result 1682250\n  Bound result 158558\n\n[PASS] testFuzz_TransferArrivesExactly(uint256) (runs: 256, μ: 95008, ~: 94871)\nLogs:\n  Bound result 929145322298779335418194\n\n[PASS] test_ApprovalCanBeReplacedAndRevoked() (gas: 150847)\n[PASS] test_ConstructorEmitsSingleMintAndUsesCallerNotOrigin() (gas: 201769)\n[PASS] test_ContractRecipientDoesNotReceiveCallback() (gas: 173882)\n[PASS] test_DeployerCannotSpendHolderTokensWithoutAllowance() (gas: 97069)\n[PASS] test_FactoryTransfersExactNinetyTenSplitAndClaimsArriveWhole() (gas: 387623)\n[PASS] test_FailedTransferFromPreservesAllowanceAndBalances() (gas: 113478)\n[PASS] test_InfiniteApprovalIsNotDecremented() (gas: 120600)\n[PASS] test_MetadataAndEntireFixedSupplyToDeployer() (gas: 82109)\n[PASS] test_NoAdminMintBurnOrUpgradeSelectorsForDeployerOrStranger() (gas: 1188195)\n[PASS] test_RejectsApprovalToZero() (gas: 30386)\n[PASS] test_RejectsEtherAndUnknownCalls() (gas: 58235)\n[PASS] test_RejectsInsufficientBalance() (gas: 44876)\n[PASS] test_RejectsTransferFromZeroEvenWithZeroAmount() (gas: 35363)\n[PASS] test_RejectsTransferToZeroIncludingZeroAmount() (gas: 61454)\n[PASS] test_RuntimeHasNoDangerousOpcodesOrExternalCalls() (gas: 1709020)\n[PASS] test_ZeroAndSelfTransfers() (gas: 78284)\n[PASS] test_ZeroReceiverTransferFromPreservesAllowance() (gas: 103726)\nSuite result: ok. 19 passed; 0 failed; 0 skipped; finished in 145.23ms (112.18ms CPU time)\n\nRan 4 tests for test/V4Adversarial.t.sol:LocalV4AdversarialTest\n[PASS] testFuzz_ExactOutputBothWays(bool,uint96) (runs: 1000, μ: 4003030, ~: 4007452)\nLogs:\n  Bound result 999999000000028622738208\n\n[PASS] test_OneUnitShortPaymentRollsBackInBothCurrencyOrders() (gas: 8932246)\n[PASS] test_UnpaidTakeRollsBackInBothCurrencyOrders() (gas: 8459834)\n[PASS] test_ZeroAmountAndWrongPoolRejectInBothCurrencyOrders() (gas: 11604206)\nSuite result: ok. 4 passed; 0 failed; 0 skipped; finished in 152.88ms (165.04ms CPU time)\n\nRan 1 test for test/SupplyInvariant.t.sol:SupplyInvariantTest\n[PASS] invariant_SupplyAndAllBalancesAreConserved() (runs: 128, calls: 8192, reverts: 0)\n\n╭-----------------+----------+-------+---------+----------╮\n| Contract        | Selector | Calls | Reverts | Discards |\n+=========================================================+\n| TransferHandler | approve  | 2685  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| TransferHandler | spend    | 2751  | 0       | 0        |\n|-----------------+----------+-------+---------+----------|\n| TransferHandler | transfer | 2756  | 0       | 0        |\n╰-----------------+----------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 0\n  Bound result 9\n  Bound result 0\n  Bound result 96\n  Bound result 93\n  Bound result 6\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 1100\n  Bound result 76\n  Bound result 0\n  Bound result 0\n  Bound result 37\n  Bound result 18\n  Bound result 3\n  Bound result 95\n  Bound result 3\n  Bound result 1000000000000000000\n  Bound result 4979\n  Bound result 0\n  Bound result 0\n  Bound result 241\n  Bound result 0\n  Bound result 0\n  Bound result 5032\n  Bound result 0\n  Bound result 1047\n  Bound result 636\n  Bound result 562\n  Bound result 1000000000000011504\n  Bound result 0\n  Bound result 0\n  Bound result 429\n  Bound result 2648599234083\n  Bound result 11\n  Bound result 0\n  Bound result 168\n  Bound result 24438143\n  Bound result 196\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 617.35ms (616.12ms CPU time)\n\nRan 1 test for test/TokenModelInvariant.t.sol:TokenModelInvariantTest\n[PASS] invariant_EveryBalanceAndAllowanceMatchesModel() (runs: 256, calls: 16384, reverts: 0)\n\n╭-------------------+---------------+-------+---------+----------╮\n| Contract          | Selector      | Calls | Reverts | Discards |\n+================================================================+\n| TokenModelHandler | approve       | 3167  | 0       | 0        |\n|-------------------+---------------+-------+---------+----------|\n| TokenModelHandler | forbiddenCall | 3278  | 0       | 0        |\n|-------------------+---------------+-------+---------+----------|\n| TokenModelHandler | spend         | 3202  | 0       | 0        |\n|-------------------+---------------+-------+---------+----------|\n| TokenModelHandler | transfer      | 3371  | 0       | 0        |\n|-------------------+---------------+-------+---------+----------|\n| TokenModelHandler | zeroRecipient | 3366  | 0       | 0        |\n╰-------------------+---------------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 100000000000000000000000000\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 8103\n  Bound result 0\n  Bound result 0\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 3.94s (3.94s CPU time)\n\nRan 8 test suites in 3.94s (5.16s CPU time): 38 tests passed, 0 failed, 2 skipped (40 total tests)\n","passed":true},{"durationMs":39,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"SIMDTESTToken.approve(address,uint256)\",\"SIMDTESTToken.transfer(address,uint256)\",\"SIMDTESTToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"README.md\":129,\"SECURITY_REVIEW.md\":96,\"dependencies.lock.json\":110,\"foundry.toml\":29,\"launch.json\":24,\"src/SIMDTESTToken.sol\":14,\"test/ADVERSARIAL_REVIEW.md\":67,\"test/SIMDTESTToken.t.sol\":256,\"test/SupplyInvariant.t.sol\":69,\"test/TokenAdversarial.t.sol\":185,\"test/TokenModelInvariant.t.sol\":169,\"test/UniswapV4.t.sol\":221,\"test/V4Adversarial.t.sol\":219,\"test/helpers/V4LaunchHarness.sol\":93,\"tools/check_manifest.py\":59},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"be97fef4262740dac09cf4b411d7a03c938b2406dca037aae42d3caad6abd607","verifiedTreeHash":"2529d5273bb4b47b7e08e96d64d45301d5514c38","verifierVersion":"0.1.0+ad90ce4c"}]}