{"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":"ce5963e4-6097-4e9c-92bd-465fc086aa09","kind":"shape:chain","nodes":[{"acceptedSubmissionHash":"a757b690d9df5788c34bc2c0d66a0bab4dad86d818e8fc5cb1c24f309d17a6e9","dependsOn":["build_contract_project"],"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":"accepted"},{"acceptedSubmissionHash":"fe328d1f5b4395cecf140d21c5bf0463f202c702a0f7db9907062445485f8de1","dependsOn":["build_contract_project"],"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":"accepted"},{"acceptedSubmissionHash":"782dc07db40dc02fa8b6ee84b5b8fad11ddbd8750dd829dc5efb43744449b82d","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":"accepted"},{"acceptedSubmissionHash":"9550c9d755bc53005bee86c7a0117508601df45367024e960e2c8e72e87eefaa","dependsOn":["build_contract_project"],"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":"accepted"},{"acceptedSubmissionHash":"8bacc53f6b768e4e71c5a1e6c75b6caf54f134fa22d06c8ca27ab603149d078e","dependsOn":["build_contract_project"],"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":"accepted"},{"acceptedSubmissionHash":"2e2a475c534413098f32610dacbcdc4c0d3f08e927ef10c75359236bc05c2805","dependsOn":[],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"b6503de65ad02f845827887c23da4c3b56ccc5df7a459db263bae6e549d92f7f","skillId":"build-contract-project","tools":[]},"key":"build_contract_project","kind":"code","role":"implement","skillHash":"b6503de65ad02f845827887c23da4c3b56ccc5df7a459db263bae6e549d92f7f","skillId":"build-contract-project","state":"accepted"},{"acceptedSubmissionHash":"7de7f4007ddcc16cc73a9f6fb3702e4a553cef9a904f1b5f5ea6539b27fd0480","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"tools":[]},"key":"manifest","kind":"code","role":"integrate","skillHash":null,"skillId":null,"state":"accepted"},{"acceptedSubmissionHash":"35438f2137b320842731c4a925d15f96773e774c4fd298e73acf5ba77a82011d","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":"A custom token: Pepes (PEPES).\nToken name: Pepes\nToken symbol: PEPES\nToken supply: 1,000,000,000 with 18 decimals, all minted once to the deployer in the constructor.","parentJobId":null,"planHash":"f53ed0c37611098d03c68e51d59d26f25d7b412009582dd188f98b2d72a65102","previousHash":"0000000000000000000000000000000000000000000000000000000000000000","projectId":"ce5963e4-6097-4e9c-92bd-465fc086aa09","publication":{"commit":null,"deliveredAt":null,"repoUrl":"https://github.com/identity-md-launches/launch-773-pepes"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[{"agentId":"51165","feedbackHash":"c742c8d39770cf7b5e0e648bd1142317a6da8795b0ff8fa5e2daa89fe62ca588","nodeKey":"audit_economics","submissionHash":"a757b690d9df5788c34bc2c0d66a0bab4dad86d818e8fc5cb1c24f309d17a6e9","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51006","feedbackHash":"16d69c2fc0d8242ea5e51d7a386d864c0db825507ee710bcf651dcaf2026a665","nodeKey":"audit_flow","submissionHash":"fe328d1f5b4395cecf140d21c5bf0463f202c702a0f7db9907062445485f8de1","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51246","feedbackHash":"15633b0650c73b23abd655bce7a5eda1d5fde9517b98b90290ec6e97498360c9","nodeKey":"audit_judge","submissionHash":"782dc07db40dc02fa8b6ee84b5b8fad11ddbd8750dd829dc5efb43744449b82d","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51434","feedbackHash":"6506edd948a1e9d683966a06742c4e2d577f0035b9cbf39dca8617305e73421d","nodeKey":"audit_math","submissionHash":"9550c9d755bc53005bee86c7a0117508601df45367024e960e2c8e72e87eefaa","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51091","feedbackHash":"a034394b7e3ba01200bf9da0051147b2019e00799edd2f8a8ad4f2a841528251","nodeKey":"audit_permissions","submissionHash":"8bacc53f6b768e4e71c5a1e6c75b6caf54f134fa22d06c8ca27ab603149d078e","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51192","feedbackHash":"965b23368efdb160956780ee2b3f353e07ac46f90dd59281bfe581f5de7b6ea0","nodeKey":"build_contract_project","submissionHash":"2e2a475c534413098f32610dacbcdc4c0d3f08e927ef10c75359236bc05c2805","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51453","feedbackHash":"cae32f60337bf4c6ab39658d3b3ed30461c9acd3fff51a71ae1fd5d0c81a1458","nodeKey":"manifest","submissionHash":"7de7f4007ddcc16cc73a9f6fb3702e4a553cef9a904f1b5f5ea6539b27fd0480","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51210","feedbackHash":"53b83f1bdcbb6ba5d8b08d6d8ef7cc33b7a2a7077384bace8d41ebc514d47141","nodeKey":"write_foundry_tests","submissionHash":"35438f2137b320842731c4a925d15f96773e774c4fd298e73acf5ba77a82011d","tag1":"verification:checks","tag2":"acceptance-v2","value":1}],"site":null,"snapshotHash":"4ea1533c2f9b90e54d3c12ba6d2523599d0d8d952ddcb4fb54cf086bec398d12","state":"completed","submissions":[{"artifacts":[],"attempt":1,"bundleHash":"9e45c2feb6c65372749bb3c1a8a7fd5d441bd4467eda31dc2004767ebf8f2343","device":"4eb5b0156b09157c","findings":[],"hash":"2e2a475c534413098f32610dacbcdc4c0d3f08e927ef10c75359236bc05c2805","nodeId":"d3abcdda-f0b9-4878-afcf-8c777cf1640d","outcome":"completed","summary":"Implemented Pepes (PEPES): 1 billion tokens, 18 decimals, minted once to the deployer. Includes vendored dependencies, success/failure tests, invariants, and deployment documentation.\n\nVerified with Solidity 0.8.26:\n\n- `forge build` passed\n- `forge test` passed: 30 tests\n- `forge fmt --check` passed\n\nFull launch integration remains the external verifier’s responsibility.","treeHash":"d8e2231288f461a19807161418c0d2407c099e70","usage":{"cachedInputTokens":313216,"inputTokens":42582,"model":"gpt-6-astra","outputTokens":12694,"runtime":"codex","turns":5,"wallClockMs":266566}},{"artifacts":[],"attempt":1,"bundleHash":"325ad4a69de88fc92e6dd6efa948ebb4d15fca4ffde01a3539223de8aa400633","device":"6407a9ab49278517","findings":[],"hash":"35438f2137b320842731c4a925d15f96773e774c4fd298e73acf5ba77a82011d","nodeId":"ecd804d7-611a-4482-a661-c467ff80ec5a","outcome":"completed","summary":"Added 14 boundary, failure-path, and fuzz tests. Strengthened invariants to track individual balances and allowances across 24,576 randomized calls.\n\n`forge build` and `forge test` passed offline: 44 tests, zero failures.\n\nOnly `test/` changed. No implementation defects found.","treeHash":"b2e84b63305ccdc7551d06c7e0f68d9bc97e672b","usage":{"cachedInputTokens":976256,"inputTokens":75420,"model":"gpt-6-astra","outputTokens":8522,"runtime":"codex","turns":5,"wallClockMs":235014}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"ef9a9f22916c0ddf","findings":[],"hash":"782dc07db40dc02fa8b6ee84b5b8fad11ddbd8750dd829dc5efb43744449b82d","nodeId":"bb42a7d1-6728-4a89-8969-8300961399d0","outcome":"completed","summary":"Wrote [.imd-findings.json](/root/.identitymd/work/ce5963e4-6097-4e9c-92bd-465fc086aa09/bb42a7d1-6728-4a89-8969-8300961399d0/.imd-findings.json): no substantiated defects; all three entry points marked `holds`.\n\nOffline Foundry checks passed: 43 unit/fuzz tests and three invariants covering 24,576 actions.\n\nProtected launch integration remains unverified because required service dependencies and launch inputs are absent.","treeHash":null,"usage":{"cachedInputTokens":644480,"inputTokens":99954,"model":"gpt-6-astra","outputTokens":5696,"runtime":"codex","turns":4,"wallClockMs":160629}},{"artifacts":[],"attempt":1,"bundleHash":"5e47fd68a0ae6c523cce54666261175fb56645d890ec511385c16477b04f4fd4","device":"77620edf9366f370","findings":[],"hash":"7de7f4007ddcc16cc73a9f6fb3702e4a553cef9a904f1b5f5ea6539b27fd0480","nodeId":"594ed859-5616-455e-9a7e-7a60607f2fab","outcome":"completed","summary":"Created [launch.json](/home/imdc/.identitymd/work/ce5963e4-6097-4e9c-92bd-465fc086aa09/594ed859-5616-455e-9a7e-7a60607f2fab/launch.json) with the exact token supply, constructor arguments, economics, and paired currency.\n\nValidation passed: supplied schema, compiled ABI, `forge build`, and `forge test` (30 passed). Only `launch.json` is changed for submission.","treeHash":"a0d5f2f1e64e7d0b579e90dcabbbfb2d180167c5","usage":{"cachedInputTokens":213760,"inputTokens":27110,"model":"gpt-6-astra","outputTokens":2981,"runtime":"codex","turns":3,"wallClockMs":108529}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"9704b5b521bdf559","findings":[],"hash":"8bacc53f6b768e4e71c5a1e6c75b6caf54f134fa22d06c8ca27ab603149d078e","nodeId":"cff233d8-7713-42da-90bc-f177fe4a2237","outcome":"completed","summary":"Saved [`.imd-findings.json`](/home/imd/.identitymd/work/ce5963e4-6097-4e9c-92bd-465fc086aa09/cff233d8-7713-42da-90bc-f177fe4a2237/.imd-findings.json) with no substantiated defects and coverage for all three entry points.\n\nAll 30 Foundry tests passed. Full launch integration remains unverified because its contracts and deployment inputs are absent. Project source and configuration are unchanged.","treeHash":null,"usage":{"cachedInputTokens":481536,"inputTokens":82145,"model":"gpt-6-astra","outputTokens":4525,"runtime":"codex","turns":4,"wallClockMs":154647}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"87f02002d6a2b915","findings":[],"hash":"9550c9d755bc53005bee86c7a0117508601df45367024e960e2c8e72e87eefaa","nodeId":"f21ac0e9-304a-4beb-adcb-01689c721302","outcome":"completed","summary":"Wrote [.imd-findings.json](/home/identitymd/.identitymd/work/ce5963e4-6097-4e9c-92bd-465fc086aa09/f21ac0e9-304a-4beb-adcb-01689c721302/.imd-findings.json) with no substantiated defects and coverage for all three entry points.\n\nFoundry passed 30 tests, including 8,192 invariant calls. Protected launch integration remains unverified because required service contracts and inputs are absent.","treeHash":null,"usage":{"cachedInputTokens":415744,"inputTokens":77499,"model":"gpt-6-astra","outputTokens":4374,"runtime":"codex","turns":4,"wallClockMs":107066}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"b7f1fc143076cedc","findings":[],"hash":"a757b690d9df5788c34bc2c0d66a0bab4dad86d818e8fc5cb1c24f309d17a6e9","nodeId":"5f764fe4-7bc7-4bd0-9b2d-8770bb57e82a","outcome":"completed","summary":"Saved [`.imd-findings.json`](/opt/identitymd/worker2/.identitymd/work/ce5963e4-6097-4e9c-92bd-465fc086aa09/5f764fe4-7bc7-4bd0-9b2d-8770bb57e82a/.imd-findings.json): no substantiated defects; all three entry points covered.\n\nOffline tests passed, including 8,192 invariant calls. Full Uniswap launch integration remains unverified because required contracts and launch inputs are absent.","treeHash":null,"usage":{"cachedInputTokens":661504,"inputTokens":90251,"model":"gpt-6-astra","outputTokens":4848,"runtime":"codex","turns":4,"wallClockMs":142441}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"dca8f60f0d611b2d","findings":[],"hash":"fe328d1f5b4395cecf140d21c5bf0463f202c702a0f7db9907062445485f8de1","nodeId":"54f5e020-80dd-44c9-9f71-71e4803b9d96","outcome":"completed","summary":"Recorded no substantiated defects and coverage of all three entry points in [.imd-findings.json](/home/imd-worker/.identitymd/work/ce5963e4-6097-4e9c-92bd-465fc086aa09/54f5e020-80dd-44c9-9f71-71e4803b9d96/.imd-findings.json).\n\nFoundry passed all 30 reported tests, including 8,192 invariant calls. Protected pool integration remains unverified because required dependencies are absent. No source or configuration files changed.","treeHash":null,"usage":{"cachedInputTokens":539264,"inputTokens":89098,"model":"gpt-6-astra","outputTokens":5672,"runtime":"codex","turns":5,"wallClockMs":167722}}],"verification":[{"checks":[{"durationMs":1126,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 992.30ms\nCompiler run successful!\n","passed":true},{"durationMs":2468,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 29 tests for test/Pepes.t.sol:PepesTest\n[PASS] testFuzz_constructorCreditsImmediateDeployer(address) (runs: 256, μ: 18144, ~: 18144)\n[PASS] testFuzz_revertOverspendLeavesStateUnchanged(uint256,uint256) (runs: 256, μ: 130616, ~: 130651)\nLogs:\n  Bound result 244\n  Bound result 10000000000000000000\n\n[PASS] testFuzz_transferConservesSupply(address,uint256) (runs: 256, μ: 93036, ~: 93095)\nLogs:\n  Bound result 378402053397587523402235266\n\n[PASS] testFuzz_transferFromHonorsAllowance(uint256,uint256) (runs: 256, μ: 156260, ~: 157915)\nLogs:\n  Bound result 244\n  Bound result 220\n\n[PASS] test_approveReplacesAndRevokesAllowance() (gas: 150385)\n[PASS] test_constructorEmitsMintTransfer() (gas: 5564)\n[PASS] test_deployerCannotTakeHolderTokensWithoutApproval() (gas: 150563)\n[PASS] test_factoryCreate2ReceivesEntireSupply() (gas: 278133)\n[PASS] test_launchDistributionAndPoolTransfersAreExact() (gas: 626362)\n[PASS] test_maximumAllowanceIsNotConsumed() (gas: 132414)\n[PASS] test_metadataAndInitialSupply() (gas: 103316)\n[PASS] test_noMintBurnOrAdministrativeEntryPoints() (gas: 1902544)\n[PASS] test_rejectsNativeCurrency() (gas: 42618)\n[PASS] test_revertApproveZeroSpender() (gas: 37640)\n[PASS] test_revertTransferExceedingBalance() (gas: 50521)\n[PASS] test_revertTransferFromExceedingAllowance() (gas: 108586)\n[PASS] test_revertTransferFromExceedingBalanceRestoresAllowance() (gas: 114639)\n[PASS] test_revertTransferFromToZeroRestoresAllowance() (gas: 122130)\n[PASS] test_revertTransferToZero() (gas: 71926)\n[PASS] test_revertUnapprovedSpender() (gas: 108525)\n[PASS] test_revokedAllowanceCannotBeSpent() (gas: 122874)\n[PASS] test_runtimeHasNoForbiddenOpcodes() (gas: 786632)\n[PASS] test_selfTransferPreservesBalance() (gas: 51432)\n[PASS] test_transferDeliversExactAmountAndEmitsEvent() (gas: 88947)\n[PASS] test_transferEntireSupply() (gas: 150621)\n[PASS] test_transferFromEmitsEventAndConsumesFiniteAllowance() (gas: 211128)\n[PASS] test_transferFromToSelfStillConsumesAllowance() (gas: 100800)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 56163)\n[PASS] test_zeroTransferFromNeedsNoAllowance() (gas: 67589)\nSuite result: ok. 29 passed; 0 failed; 0 skipped; finished in 9.15ms (45.67ms CPU time)\n\nRan 1 test for test/Pepes.invariant.t.sol:PepesInvariantTest\n[PASS]\nPepesInvariantTest invariants:\n[PASS] invariant_allowancesMatchApprovalsAndSpending\n[PASS] invariant_supplyAndBalancesAreConserved\n PepesInvariantTest invariants (runs: 128, calls: 8192, reverts: 0)\n\n╭--------------+----------+-------+---------+----------╮\n| Contract     | Selector | Calls | Reverts | Discards |\n+======================================================+\n| PepesHandler | approve  | 2764  | 0       | 0        |\n|--------------+----------+-------+---------+----------|\n| PepesHandler | move     | 2798  | 0       | 0        |\n|--------------+----------+-------+---------+----------|\n| PepesHandler | spend    | 2630  | 0       | 0        |\n╰--------------+----------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 1000000000\n  Bound result 53591\n  Bound result 0\n  Bound result 0\n  Bound result 131861697468738249281748834\n  Bound result 1723\n  Bound result 249999999999999999999839224\n  Bound result 18\n  Bound result 1311\n  Bound result 1756\n  Bound result 3065\n  Bound result 1\n  Bound result 23\n  Bound result 752\n  Bound result 242\n  Bound result 0\n  Bound result 1755\n  Bound result 2827\n  Bound result 449\n  Bound result 249999999999999999000000000\n  Bound result 5754\n  Bound result 0\n  Bound result 0\n  Bound result 10\n  Bound result 4825\n  Bound result 2734874486116201178\n  Bound result 24301\n  Bound result 0\n  Bound result 21\n  Bound result 140947765558941486673178391\n  Bound result 0\n  Bound result 255\n  Bound result 0\n  Bound result 1\n  Bound result 0\n  Bound result 344\n  Bound result 92\n  Bound result 4835\n  Bound result 2999999999999999976\n  Bound result 93\n  Bound result 4228666473\n  Bound result 0\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 2.37s (2.37s CPU time)\n\nRan 2 test suites in 2.37s (2.38s CPU time): 30 tests passed, 0 failed, 0 skipped (30 total tests)\n","passed":true},{"durationMs":27,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"Pepes.approve(address,uint256)\",\"Pepes.transfer(address,uint256)\",\"Pepes.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.md\":22,\"LICENSE\":21,\"README.md\":108,\"foundry.toml\":24,\"remappings.txt\":2,\"src/Pepes.sol\":16,\"test/Pepes.invariant.t.sol\":90,\"test/Pepes.t.sol\":391},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":555,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":254,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/Pepes.sol:10: Large Numeric Literal","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"2e2a475c534413098f32610dacbcdc4c0d3f08e927ef10c75359236bc05c2805","verifiedTreeHash":"d8e2231288f461a19807161418c0d2407c099e70","verifierVersion":"0.1.0+5dba5e5e"},{"checks":[{"durationMs":2535,"exitCode":0,"name":"build","output":"Compiling 28 files with Solc 0.8.26\nSolc 0.8.26 finished in 2.35s\nCompiler run successful!\n","passed":true},{"durationMs":14035,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 29 tests for test/Pepes.t.sol:PepesTest\n[PASS] testFuzz_constructorCreditsImmediateDeployer(address) (runs: 256, μ: 18144, ~: 18144)\n[PASS] testFuzz_revertOverspendLeavesStateUnchanged(uint256,uint256) (runs: 256, μ: 130438, ~: 130633)\nLogs:\n  Bound result 18064301055140285416581016\n  Bound result 20909370352541409552885423366675074542083762865385044080746430030886667\n\n[PASS] testFuzz_transferConservesSupply(address,uint256) (runs: 256, μ: 92686, ~: 93071)\nLogs:\n  Bound result 10576\n\n[PASS] testFuzz_transferFromHonorsAllowance(uint256,uint256) (runs: 256, μ: 155714, ~: 157891)\nLogs:\n  Bound result 229516108140870271438158915\n  Bound result 72000535339057\n\n[PASS] test_approveReplacesAndRevokesAllowance() (gas: 150385)\n[PASS] test_constructorEmitsMintTransfer() (gas: 5564)\n[PASS] test_deployerCannotTakeHolderTokensWithoutApproval() (gas: 150563)\n[PASS] test_factoryCreate2ReceivesEntireSupply() (gas: 278133)\n[PASS] test_launchDistributionAndPoolTransfersAreExact() (gas: 626362)\n[PASS] test_maximumAllowanceIsNotConsumed() (gas: 132414)\n[PASS] test_metadataAndInitialSupply() (gas: 103316)\n[PASS] test_noMintBurnOrAdministrativeEntryPoints() (gas: 1902544)\n[PASS] test_rejectsNativeCurrency() (gas: 42618)\n[PASS] test_revertApproveZeroSpender() (gas: 37640)\n[PASS] test_revertTransferExceedingBalance() (gas: 50521)\n[PASS] test_revertTransferFromExceedingAllowance() (gas: 108586)\n[PASS] test_revertTransferFromExceedingBalanceRestoresAllowance() (gas: 114639)\n[PASS] test_revertTransferFromToZeroRestoresAllowance() (gas: 122130)\n[PASS] test_revertTransferToZero() (gas: 71926)\n[PASS] test_revertUnapprovedSpender() (gas: 108525)\n[PASS] test_revokedAllowanceCannotBeSpent() (gas: 122874)\n[PASS] test_runtimeHasNoForbiddenOpcodes() (gas: 786632)\n[PASS] test_selfTransferPreservesBalance() (gas: 51432)\n[PASS] test_transferDeliversExactAmountAndEmitsEvent() (gas: 88947)\n[PASS] test_transferEntireSupply() (gas: 150621)\n[PASS] test_transferFromEmitsEventAndConsumesFiniteAllowance() (gas: 211128)\n[PASS] test_transferFromToSelfStillConsumesAllowance() (gas: 100800)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 56163)\n[PASS] test_zeroTransferFromNeedsNoAllowance() (gas: 67589)\nSuite result: ok. 29 passed; 0 failed; 0 skipped; finished in 151.21ms (315.32ms CPU time)\n\nRan 14 tests for test/PepesEdgeCases.t.sol:PepesEdgeCasesTest\n[PASS] testFuzz_allowanceOverspendRevertsDespiteSufficientBalance(uint256,uint256) (runs: 1000, μ: 194799, ~: 195003)\nLogs:\n  Bound result 342516976941429296860505015\n  Bound result 657483023058570837393402537\n\n[PASS] testFuzz_approvalIsIsolatedByOwnerAndSpender(uint256,uint256) (runs: 1000, μ: 268025, ~: 269925)\nLogs:\n  Bound result 0\n\n[PASS] testFuzz_infiniteApprovalCanBeReducedThenRevoked(uint256,uint256) (runs: 1000, μ: 342414, ~: 342908)\nLogs:\n  Bound result 16829\n  Bound result 9013\n\n[PASS] testFuzz_transferRoundTripRestoresEveryBalance(uint256) (runs: 1000, μ: 179204, ~: 179349)\nLogs:\n  Bound result 32583354157456257\n\n[PASS] testFuzz_unfundedDelegatedTransferRestoresApproval(uint256,uint256,bool) (runs: 1000, μ: 193150, ~: 193123)\nLogs:\n  Bound result 783056920838783017414792469\n  Bound result 783056920838783017414792473\n\n[PASS] test_consumedAllowanceCannotBeReplayedAfterRefund() (gas: 245431)\n[PASS] test_largestFiniteAllowanceIsConsumedOnEverySpend() (gas: 193089)\n[PASS] test_oneSmallestUnitCannotBeTransferredTwice() (gas: 171842)\n[PASS] test_ownerUsingTransferFromNeedsSelfApproval() (gas: 172667)\n[PASS] test_selfTransfersStillRequireEnoughBalanceAtMaximumAmount() (gas: 138937)\n[PASS] test_zeroApprovalStillRejectsZeroSpender() (gas: 48075)\n[PASS] test_zeroDelegatedTransferEmitsEventAndKeepsAllowance() (gas: 116893)\n[PASS] test_zeroDelegatedTransferStillRejectsZeroReceiver() (gas: 119124)\n[PASS] test_zeroSenderCannotUseTransferFromEvenForZeroAmount() (gas: 71526)\nSuite result: ok. 14 passed; 0 failed; 0 skipped; finished in 157.28ms (756.17ms CPU time)\n\nRan 1 test for test/Pepes.invariant.t.sol:PepesInvariantTest\n[PASS]\nPepesInvariantTest invariants:\n[PASS] invariant_allowancesMatchApprovalsAndSpending\n[PASS] invariant_eachHolderKeepsExactlyTheirTokens\n[PASS] invariant_supplyAndBalancesAreConserved\n PepesInvariantTest invariants (runs: 256, calls: 24576, reverts: 0)\n\n╭--------------+--------------------------+-------+---------+----------╮\n| Contract     | Selector                 | Calls | Reverts | Discards |\n+======================================================================+\n| PepesHandler | approve                  | 3095  | 0       | 0        |\n|--------------+--------------------------+-------+---------+----------|\n| PepesHandler | move                     | 3029  | 0       | 0        |\n|--------------+--------------------------+-------+---------+----------|\n| PepesHandler | rejectAllowanceOverspend | 3136  | 0       | 0        |\n|--------------+--------------------------+-------+---------+----------|\n| PepesHandler | rejectOverspend          | 3068  | 0       | 0        |\n|--------------+--------------------------+-------+---------+----------|\n| PepesHandler | rejectUnfundedSpend      | 3022  | 0       | 0        |\n|--------------+--------------------------+-------+---------+----------|\n| PepesHandler | rejectZeroRecipient      | 3061  | 0       | 0        |\n|--------------+--------------------------+-------+---------+----------|\n| PepesHandler | revokeAndRejectSpend     | 3059  | 0       | 0        |\n|--------------+--------------------------+-------+---------+----------|\n| PepesHandler | spend                    | 3106  | 0       | 0        |\n╰--------------+--------------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 649\n  Bound result 0\n  Bound result 6048\n  Bound result 2592286111\n  Bound result 5266\n  Bound result 3121\n  Bound result 23000000000000000000\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129639932\n  Bound result 123811501306074166527574230\n  Bound result 0\n  Bound result 6793\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640437850958890082079657214161\n  Bound result 164940749251917027140224697\n  Bound result 0\n  Bound result 828417\n  Bound result 123000000000000000000\n  Bound result 23000000000000000000\n  Bound result 5587\n  Bound result 2\n  Bound result 242\n  Bound result 242\n  Bound result 1\n  Bound result 7595\n  Bound result 2\n  Bound result 4\n  Bound result 824802192179182914590317664\n  Bound result 249999999999999999999999997\n  Bound result 0\n  Bound result 200563182609960871257061176\n  Bound result 281197957993889008481780737042352065297658344\n  Bound result 2694\n  Bound result 5605\n  Bound result 696\n  Bound result 6305\n  Bound result 36865\n  Bound result 1\n  Bound result 6888\n  Bound result 2416\n  Bound result 2\n  Bound result 191\n  Bound result 5718\n  Bound result 53261\n  Bound result 1\n  Bound result 450563159609960871257067292\n  Bound result 54736735894689109481033027914828953332060885010123695073479823795003395201067\n  Bound result 17\n  Bound result 96\n  Bound result 3\n  Bound result 10\n  Bound result 7676\n  Bound result 24188980777286352754066640\n  Bound result 1725540768\n  Bound result 74028124557142305773337099\n  Bound result 16635601308170084\n  Bound result 6000000000000000000\n  Bound result 23000000000000000000\n  Bound result 4159\n  Bound result 0\n  Bound result 719206527\n  Bound result 5142\n  Bound result 1328\n  Bound result 993783\n  Bound result 5266\n  Bound result 4350508377\n  Bound result 774385367592867583715128\n  Bound result 22999999999999999999\n  Bound result 6034\n  Bound result 173248318696113295270513052\n  Bound result 53591\n  Bound result 4187\n  Bound result 2306\n  Bound result 2577\n  Bound result 8906\n  Bound result 3633\n  Bound result 53260\n  Bound result 1889\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 13.86s (13.83s CPU time)\n\nRan 3 test suites in 13.87s (14.17s CPU time): 44 tests passed, 0 failed, 0 skipped (44 total tests)\n","passed":true},{"durationMs":66,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"Pepes.approve(address,uint256)\",\"Pepes.transfer(address,uint256)\",\"Pepes.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.md\":22,\"LICENSE\":21,\"README.md\":108,\"foundry.toml\":24,\"remappings.txt\":2,\"src/Pepes.sol\":16,\"test/Pepes.invariant.t.sol\":183,\"test/Pepes.t.sol\":391,\"test/PepesEdgeCases.t.sol\":217},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"35438f2137b320842731c4a925d15f96773e774c4fd298e73acf5ba77a82011d","verifiedTreeHash":"b2e84b63305ccdc7551d06c7e0f68d9bc97e672b","verifierVersion":"0.1.0+5dba5e5e"},{"checks":[{"durationMs":1043,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 947.88ms\nCompiler run successful!\n","passed":true},{"durationMs":2423,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 29 tests for test/Pepes.t.sol:PepesTest\n[PASS] testFuzz_constructorCreditsImmediateDeployer(address) (runs: 256, μ: 18144, ~: 18144)\n[PASS] testFuzz_revertOverspendLeavesStateUnchanged(uint256,uint256) (runs: 256, μ: 130565, ~: 130585)\nLogs:\n  Bound result 271391105777257004703932382\n  Bound result 234405878\n\n[PASS] testFuzz_transferConservesSupply(address,uint256) (runs: 256, μ: 92678, ~: 93083)\nLogs:\n  Bound result 4000000000000000000\n\n[PASS] testFuzz_transferFromHonorsAllowance(uint256,uint256) (runs: 256, μ: 156367, ~: 157867)\nLogs:\n  Bound result 271391105777257004703932382\n  Bound result 234405878\n\n[PASS] test_approveReplacesAndRevokesAllowance() (gas: 150385)\n[PASS] test_constructorEmitsMintTransfer() (gas: 5564)\n[PASS] test_deployerCannotTakeHolderTokensWithoutApproval() (gas: 150563)\n[PASS] test_factoryCreate2ReceivesEntireSupply() (gas: 278133)\n[PASS] test_launchDistributionAndPoolTransfersAreExact() (gas: 626362)\n[PASS] test_maximumAllowanceIsNotConsumed() (gas: 132414)\n[PASS] test_metadataAndInitialSupply() (gas: 103316)\n[PASS] test_noMintBurnOrAdministrativeEntryPoints() (gas: 1902544)\n[PASS] test_rejectsNativeCurrency() (gas: 42618)\n[PASS] test_revertApproveZeroSpender() (gas: 37640)\n[PASS] test_revertTransferExceedingBalance() (gas: 50521)\n[PASS] test_revertTransferFromExceedingAllowance() (gas: 108586)\n[PASS] test_revertTransferFromExceedingBalanceRestoresAllowance() (gas: 114639)\n[PASS] test_revertTransferFromToZeroRestoresAllowance() (gas: 122130)\n[PASS] test_revertTransferToZero() (gas: 71926)\n[PASS] test_revertUnapprovedSpender() (gas: 108525)\n[PASS] test_revokedAllowanceCannotBeSpent() (gas: 122874)\n[PASS] test_runtimeHasNoForbiddenOpcodes() (gas: 786632)\n[PASS] test_selfTransferPreservesBalance() (gas: 51432)\n[PASS] test_transferDeliversExactAmountAndEmitsEvent() (gas: 88947)\n[PASS] test_transferEntireSupply() (gas: 150621)\n[PASS] test_transferFromEmitsEventAndConsumesFiniteAllowance() (gas: 211128)\n[PASS] test_transferFromToSelfStillConsumesAllowance() (gas: 100800)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 56163)\n[PASS] test_zeroTransferFromNeedsNoAllowance() (gas: 67589)\nSuite result: ok. 29 passed; 0 failed; 0 skipped; finished in 8.62ms (34.62ms CPU time)\n\nRan 1 test for test/Pepes.invariant.t.sol:PepesInvariantTest\n[PASS]\nPepesInvariantTest invariants:\n[PASS] invariant_allowancesMatchApprovalsAndSpending\n[PASS] invariant_supplyAndBalancesAreConserved\n PepesInvariantTest invariants (runs: 128, calls: 8192, reverts: 0)\n\n╭--------------+----------+-------+---------+----------╮\n| Contract     | Selector | Calls | Reverts | Discards |\n+======================================================+\n| PepesHandler | approve  | 2774  | 0       | 0        |\n|--------------+----------+-------+---------+----------|\n| PepesHandler | move     | 2712  | 0       | 0        |\n|--------------+----------+-------+---------+----------|\n| PepesHandler | spend    | 2706  | 0       | 0        |\n╰--------------+----------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 10000000000000000000\n  Bound result 25\n  Bound result 0\n  Bound result 123000000000000000000\n  Bound result 1379\n  Bound result 361211679\n  Bound result 1057\n  Bound result 0\n  Bound result 0\n  Bound result 1222\n  Bound result 0\n  Bound result 525\n  Bound result 0\n  Bound result 3304\n  Bound result 2341\n  Bound result 0\n  Bound result 4761\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 84775378331976390365929202\n  Bound result 7947\n  Bound result 1\n  Bound result 3\n  Bound result 165224611668023609634067991\n  Bound result 436\n  Bound result 606\n  Bound result 0\n  Bound result 659918\n  Bound result 128361704891246418788645262\n  Bound result 0\n  Bound result 123000000000000000000\n  Bound result 334775624331976390365935715\n  Bound result 659919\n  Bound result 256345154971265496175189803\n  Bound result 0\n  Bound result 0\n  Bound result 238685098764446652829522362\n  Bound result 11\n  Bound result 8842782258769009801302097\n  Bound result 0\n  Bound result 0\n  Bound result 96\n  Bound result 0\n  Bound result 4\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 2.34s (2.34s CPU time)\n\nRan 2 test suites in 2.35s (2.35s CPU time): 30 tests passed, 0 failed, 0 skipped (30 total tests)\n","passed":true},{"durationMs":38,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"Pepes.approve(address,uint256)\",\"Pepes.transfer(address,uint256)\",\"Pepes.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.md\":22,\"LICENSE\":21,\"README.md\":108,\"foundry.toml\":24,\"launch.json\":20,\"remappings.txt\":2,\"src/Pepes.sol\":16,\"test/Pepes.invariant.t.sol\":90,\"test/Pepes.t.sol\":391},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"7de7f4007ddcc16cc73a9f6fb3702e4a553cef9a904f1b5f5ea6539b27fd0480","verifiedTreeHash":"a0d5f2f1e64e7d0b579e90dcabbbfb2d180167c5","verifierVersion":"0.1.0+5dba5e5e"}]}