{"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":"b0dcd097-5a5a-4a89-96d4-39e022abc5c7","kind":"shape:chain","nodes":[{"acceptedSubmissionHash":"da267e8038feb089eb21b796c5116fbe50ed12348e3563b0c56ecc688ff19a1c","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":"7c9b068c048e5c534aa94287585ec7292089831a5911765a2311f57d0c5eba5e","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":"78ea8adcab0fbaa516f7cfa4a79187e9147b06e22dcfefbeaabd3d1aa6832666","dependsOn":["build_contract_project","write_foundry_tests","manifest","audit_math","audit_permissions","audit_economics","audit_flow"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"af3aa01159bbf354f621cafa5c0006f6169e0938a8b015be508b7377dbf165bc","skillId":"audit-judge","tools":[]},"key":"audit_judge","kind":"code","role":"review","skillHash":"af3aa01159bbf354f621cafa5c0006f6169e0938a8b015be508b7377dbf165bc","skillId":"audit-judge","state":"accepted"},{"acceptedSubmissionHash":"aee6ee46e3d6bdf2c784a281a50af7bb550968116bcd92e1f820ce1ce4850cca","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":"b9cbac3b2d1ea4fb4170dabbb820513c72f7e245828726f8f6b0d6139157ab7e","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":"550551fac982125d0bcc930c7d075406003883e9ad4a7406a32a457a7539fb6c","dependsOn":[],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"d59561da3b378461b7c749f6bd5084477d44993aa94972ddea90f542535751df","skillId":"build-contract-project","tools":[]},"key":"build_contract_project","kind":"code","role":"implement","skillHash":"d59561da3b378461b7c749f6bd5084477d44993aa94972ddea90f542535751df","skillId":"build-contract-project","state":"accepted"},{"acceptedSubmissionHash":"8cba748ebb58f806a3065e1c323400a7558ae2d2d75f0b0eedd1741d2814ee15","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"tools":[]},"key":"manifest","kind":"code","role":"integrate","skillHash":null,"skillId":null,"state":"accepted"},{"acceptedSubmissionHash":"6c796c1d1b95915eb13e680f5a790795657c1051ddd430791e6f0414d892aef1","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"4c76766b00591dfe982fe85d3de589fdb2f810e5137c301155d1c5e36a1d3b23","skillId":"write-foundry-tests","tools":[]},"key":"write_foundry_tests","kind":"code","role":"tests","skillHash":"4c76766b00591dfe982fe85d3de589fdb2f810e5137c301155d1c5e36a1d3b23","skillId":"write-foundry-tests","state":"accepted"}],"objective":"A custom token: Mutually Assured Destruction (MAD).\nToken name: Mutually Assured Destruction\nToken symbol: MAD\nToken supply: 1,000,000,000 with 18 decimals, all minted once to the deployer in the constructor.\nWhat it does: play ground","parentJobId":null,"planHash":"7b6aa4d6408d736b70ceb0e1abfa2fa3e76d075a38e051da6e493f0a112b70d9","previousHash":"0000000000000000000000000000000000000000000000000000000000000000","projectId":"b0dcd097-5a5a-4a89-96d4-39e022abc5c7","publication":{"commit":null,"deliveredAt":null,"repoUrl":"https://github.com/identity-md-launches/launch-2430-mutually-assured-destruction"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[{"agentId":"51885","feedbackHash":"3a7594b90f89a16f61f7c22573ed58349be412893ce8365d344c692d8f274be9","nodeKey":"audit_economics","submissionHash":"da267e8038feb089eb21b796c5116fbe50ed12348e3563b0c56ecc688ff19a1c","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51886","feedbackHash":"4d86d52c3c6e9fc8f4191955d6ad3a8aa8a4f34a513786b8191a6fc66392ac32","nodeKey":"audit_flow","submissionHash":"7c9b068c048e5c534aa94287585ec7292089831a5911765a2311f57d0c5eba5e","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52480","feedbackHash":"b51c3e475d08087bcc6ec57638946de1953f68a4c422b335e3c73674eed46404","nodeKey":"audit_judge","submissionHash":"78ea8adcab0fbaa516f7cfa4a79187e9147b06e22dcfefbeaabd3d1aa6832666","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51285","feedbackHash":"e5d66a2e18f83469ff539ac4478378eb70676409669df07dd002a9039fc282d7","nodeKey":"audit_math","submissionHash":"aee6ee46e3d6bdf2c784a281a50af7bb550968116bcd92e1f820ce1ce4850cca","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52686","feedbackHash":"6171810b6f6678beb344896b9a8882c65e3467a3dae86da118125ca93339f6b9","nodeKey":"audit_permissions","submissionHash":"b9cbac3b2d1ea4fb4170dabbb820513c72f7e245828726f8f6b0d6139157ab7e","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51244","feedbackHash":"e643d25afbbdcf7c675de5c90d743424005d08cdc57fbf0a31827643720d1427","nodeKey":"build_contract_project","submissionHash":"550551fac982125d0bcc930c7d075406003883e9ad4a7406a32a457a7539fb6c","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"52421","feedbackHash":"b3818a7479d6bef902d42bbecec5cd1030981097c172ddea0ce3c9d2368c35e8","nodeKey":"manifest","submissionHash":"8cba748ebb58f806a3065e1c323400a7558ae2d2d75f0b0eedd1741d2814ee15","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"52422","feedbackHash":"fc16d0f9940fdd6c2b48a9cfec130536544a411e5c495deaccc194dcd650afe1","nodeKey":"write_foundry_tests","submissionHash":"6c796c1d1b95915eb13e680f5a790795657c1051ddd430791e6f0414d892aef1","tag1":"verification:checks","tag2":"acceptance-v2","value":1}],"site":null,"snapshotHash":"971d2278823f23b3f75322577ec965bb11d3a9ce3a285cd623dfb32c47dd27dc","state":"completed","submissions":[{"artifacts":[],"attempt":1,"bundleHash":"c905c390082528b7a4a2b9767cea09311d4315dbaa609f6b1bb59b7a2f49e878","device":"73d25b5e0857cef5","findings":[],"hash":"550551fac982125d0bcc930c7d075406003883e9ad4a7406a32a457a7539fb6c","nodeId":"70418b9c-3c50-4ad8-87c9-b030edce8aeb","outcome":"completed","summary":"Implemented `MADToken` with the exact name, symbol, 18 decimals, and 1,000,000,000 tokens minted once to the deployer. Dependencies are vendored; assumptions and deployment responsibilities are documented.\n\nValidation passed with Solidity 0.8.26:\n\n- `forge build`\n- `forge test`: 34 passed using the required fuzz seed\n- `forge fmt --check`\n\n“Play ground” is documented as descriptive, with no additional game mechanics. Actual Uniswap integration checks remain for the platform’s protected launch harness.","treeHash":"bc9047eb0b82751232c297ddcb12c197df556915","usage":{"cachedInputTokens":364288,"inputTokens":52946,"model":"gpt-6-astra","outputTokens":14963,"runtime":"codex","turns":5,"wallClockMs":286679}},{"artifacts":[],"attempt":1,"bundleHash":"76a92dbe9dd617e251baede3a11d3d69b7c3a86626ea4eccfcd4da1d161ab6bf","device":"e35a3abed04af1ac","findings":[],"hash":"6c796c1d1b95915eb13e680f5a790795657c1051ddd430791e6f0414d892aef1","nodeId":"c25bc014-1333-4235-8d22-c2327728c514","outcome":"completed","summary":"Added 18 adversarial tests and expanded invariants to cover rejected operations, allowance rollback, extreme values, and continued transferability.\n\nOffline `forge build` and `forge test` pass with the required seed: **52 passed, 0 failed**, including 24,576 invariant calls.\n\nOnly `test/` changed. No implementation defects found. Platform-specific protected launch checks require the external harness and were not run locally.","treeHash":"b62804baf350435f8f096658c4d328ffae880931","usage":{"cachedInputTokens":919552,"inputTokens":77760,"model":"gpt-6-astra","outputTokens":13247,"runtime":"codex","turns":6,"wallClockMs":324248}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"b0b4e7bbc84f9d80","findings":[],"hash":"78ea8adcab0fbaa516f7cfa4a79187e9147b06e22dcfefbeaabd3d1aa6832666","nodeId":"e4b44001-e8d1-4ae2-b4e8-a547648cb3b9","outcome":"completed","summary":"The review is complete. The findings file is written and the working tree is clean apart from it.\n\n**Result: no defects.** All four specialists reported nothing, and nothing reproduced on my own pass either. The file `.imd-findings.json` holds an empty findings list and a five-row coverage record, every row marked `holds`.\n\nWhat I verified:\n\n- **The token is a bare OpenZeppelin ERC-20.** The only code the author wrote is a parameterless constructor that mints the supply constant to the caller. The compiled ABI has exactly the three listed entry points plus views, with no receive, fallback, mint, burn, owner, pause or blacklist path.\n- **The vendored library is genuine.** I downloaded the OpenZeppelin v5.0.2 archive into a scratch directory outside the repo. Its hash matched the one in the repo's dependency notes, and all six vendored files were byte-identical to upstream.\n- **The supply matches the manifest.** The constant evaluates to ten to the twenty-seventh, which is what launch.json states, and constructorArgs is empty to match the constructor. The aderyn large-literal line is a compile-time constant and not a defect.\n- **The launch floor passes.** A scratch test mirrored the protected harness: CREATE2 deploy from a probe at a factory stand-in, exact ten percent and claim transfers, pool-shaped transfer and transferFrom, failure paths reverting, supply unchanged, and the reachable-opcode scan finding no DELEGATECALL, CALLCODE or SELFDESTRUCT. It passed and I removed the scratch directory afterwards.\n- **Size limits are not a concern.** Creation code and runtime are both a small fraction of the protocol limits.\n\nThe project's own suite also passed in full, with 52 tests across four suites.","treeHash":null,"usage":{"cachedInputTokens":470502,"inputTokens":258,"model":"claude-fable-5-1","outputTokens":7139,"runtime":"claude","turns":15,"wallClockMs":134971}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"dd3018ab6b18e7bc","findings":[],"hash":"7c9b068c048e5c534aa94287585ec7292089831a5911765a2311f57d0c5eba5e","nodeId":"acea1e88-2bc6-496d-84cf-2e0c81a3b062","outcome":"completed","summary":"The review is complete. The findings file is written and valid, and the working tree has no tracked changes.\n\n**Result: no defects found.** `.imd-findings.json` holds an empty findings list and a 10-row coverage record, with all three verifier-listed entry points marked `holds`.\n\n**What I checked, by guide**\n\n- **Execution Trace.** Traced `approve`, `transfer` and `transferFrom` through the OpenZeppelin base to the final storage write. There are no external calls, callbacks, sentinel paths, stale reads or partial updates. Allowance residuals and the unlimited-allowance case behave exactly as the README documents.\n- **Periphery.** The token's only trusted code is the vendored OpenZeppelin v5.0.2 ERC20 and its four dependencies. I downloaded the upstream archive, confirmed its hash matches the one recorded in the repository, and byte-compared all five files plus the licence. All are identical.\n- **First Principles.** The constructor takes no arguments, mints the whole supply once to the immediate deployer, and makes no calls. A scratch test deployed it by CREATE2 from an etched factory-like address and confirmed custody, supply, decimals and address prediction. The ABI is the ten standard ERC20 functions plus the supply constant getter, so no privileged surface exists.\n\n**Verification runs**\n\n- Project build, the full 34-test suite with the README seed, and the formatter check on tracked files all pass.\n- A scratch replica of the locally reproducible protected-floor checks passed: reachable-opcode scan, swarm-share round trip, admin and freeze selector probes from both a stranger and the factory address, forced ETH balance, and self-address transfers.\n- Both static-analysis leads were examined. Slither reported nothing. The Aderyn note on the supply literal is a compile-time constant that fits comfortably in uint256 and is not a defect.\n\n**Not reached.** The real Uniswap v4 seed and swap in the protected harness need v4-core, which is not in this tree, so I could not execute it. The token has no fee, hook or exemption logic, so there is no mechanism by which it could short those flows.\n\n**One note for the judge, not a finding.** The objective describes the token only as \"play ground\". The builder interpreted that as a plain fixed-supply token with no destruction mechanic and documented that assumption in the README. If the requester intended gameplay behind the name, that is a scope question for them, not a code defect.","treeHash":null,"usage":{"cachedInputTokens":567076,"inputTokens":226,"model":"claude-fable-5-1","outputTokens":15647,"runtime":"claude","turns":30,"wallClockMs":233755}},{"artifacts":[],"attempt":1,"bundleHash":"e72eb6a99a63461f4f7b83ae225f1666bf5b50e7fae8749287cef86711da52ed","device":"6ea221d017084baf","findings":[],"hash":"8cba748ebb58f806a3065e1c323400a7558ae2d2d75f0b0eedd1741d2814ee15","nodeId":"ff0b5efc-fc75-4822-9d96-8752e94e42ae","outcome":"completed","summary":"Created [launch.json](/home/imd5/.identitymd/work/b0dcd097-5a5a-4a89-96d4-39e022abc5c7/ff0b5efc-fc75-4822-9d96-8752e94e42ae/launch.json) matching `MADToken`, its exact supply, empty constructor arguments, and the required pool and economics.\n\n`forge build` succeeded. All 34 tests passed with the supplied fuzz seed. Only `launch.json` is included in the deliverable.","treeHash":"e74866db0085d08cd20e72fd145199c3d7b2f365","usage":{"cachedInputTokens":197504,"inputTokens":28341,"model":"gpt-6-astra","outputTokens":2385,"runtime":"codex","turns":3,"wallClockMs":63384}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"7e929507773df661","findings":[],"hash":"aee6ee46e3d6bdf2c784a281a50af7bb550968116bcd92e1f820ce1ce4850cca","nodeId":"dc9a1fba-c916-4826-86c1-bc240365e72e","outcome":"completed","summary":"The review is complete and the findings file is written. The working tree is otherwise unchanged.\n\n**Result: no defects in the Math Precision, Boundary or Numerical Gap areas.** The token is the unmodified OpenZeppelin v5.0.2 ERC-20 plus one constructor mint, so there is no division, cast, scale conversion, external call or payable path to fail.\n\nWhat I verified, with concrete values:\n\n- **Supply constant** folds to exactly 1e27 with 18 decimals, matching the brief. The aderyn \"large numeric literal\" lead is style only.\n- **Transfer arithmetic** in the inherited `_update` checks the balance before its unchecked subtraction. The unchecked addition is bounded by a 1e27 supply, far below overflow. Max-uint and supply-plus-one transfers revert with the exact ERC-6093 error. Self-transfer of the full supply preserves the balance.\n- **Allowance arithmetic** guards before the unchecked subtraction. The max sentinel is not decremented while max-minus-one is. A revert on balance restores the allowance.\n- **Boundaries**: no external calls, no receive or fallback, value sent with any selector reverts. The only sentinel is the zero address, which reverts on both sides.\n- **Vendored dependency**: I downloaded upstream OpenZeppelin v5.0.2, confirmed the archive hash in lib/README.md, and all six vendored files are byte-identical.\n- **Launch floor**: no fees or exemptions, so factory, distributor and pool flows move exact amounts. A reachable-opcode scan of the runtime finds no DELEGATECALL, CALLCODE or SELFDESTRUCT, and the runtime fits EIP-170.\n\nThe project suite passes with the verifier's fuzz seed, and formatting of the delivered files is clean. The findings file holds an empty findings list and eight coverage rows: one for each of the three entry points plus five invariant rows, all marked holds. The scratch tests I used were deleted after running.","treeHash":null,"usage":{"cachedInputTokens":759498,"inputTokens":290,"model":"claude-fable-5-1","outputTokens":10720,"runtime":"claude","turns":25,"wallClockMs":159876}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"8a05ec1ea94411ea","findings":[],"hash":"b9cbac3b2d1ea4fb4170dabbb820513c72f7e245828726f8f6b0d6139157ab7e","nodeId":"8118a2ca-43ef-4248-9928-6f970ed469a7","outcome":"completed","summary":"The review is complete and clean. The findings file at the repository root holds an empty findings list and a nine-row coverage record. No source, test or configuration file was changed. The scratch test I used for evidence has been removed.\n\n**What was reviewed**\n\nThe only production contract is `src/MADToken.sol`, 17 lines: an OpenZeppelin v5.0.2 ERC-20 whose constructor mints the whole supply to the deployer. I read the Senior Auditor's Mindset and the Access Control, Trust Gap and Asymmetry guides from the Pashov reference, and checked the token against each failure mode. I also read every vendored OpenZeppelin file in full to rule out a tampered `_msgSender` or hidden override.\n\n**Results by area**\n\n- **Access control.** The compiled ABI exposes only approve, transfer and transferFrom as state-changing functions. No owner, role, initializer, pause, blacklist, mint or burn surface exists. Eighteen common admin selectors sent from the factory and from a stranger all revert identically with no state change. The deployer cannot pull from a holder without allowance.\n- **Trust gap.** No actor class is treated differently from any other. There is no privileged actor, no fee, no exemption list and no formula whose output depends on caller identity. The factory holds the supply only as an ordinary balance.\n- **Asymmetry.** transfer and transferFrom write the same balance slots in the same direction. The only extra write in transferFrom is the allowance decrement, which skips the unlimited-allowance case as documented. There are no admin variants, branches or sentinel paths to diverge.\n- **Deployment and runtime.** The constructor takes no arguments, makes no external calls and mints to the immediate caller, not the transaction origin. The runtime bytecode contains no CALL-family, CREATE-family, DELEGATECALL, CALLCODE or SELFDESTRUCT opcodes. Value and unknown-selector calls revert.\n\n**Checks that ran**\n\nThe existing suite with the verifier's fuzz seed passed all 34 tests, including the 128-run invariant. forge fmt passed. My scratch tests covering deployer-versus-stranger parity, transfer-versus-transferFrom mirroring, and the fallback surface passed. The aderyn large-numeric-literal lead is a compile-time constant equal to 10^27 and is not a defect.\n\n**Not reached**\n\nNothing within my area was left unverified. The real Uniswap v4 seed and swap run only in the platform's protected harness, which is not in this tree, but the token has no transfer-path logic that could affect them.","treeHash":null,"usage":{"cachedInputTokens":724769,"inputTokens":290,"model":"claude-fable-5-1","outputTokens":11306,"runtime":"claude","turns":29,"wallClockMs":175493}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"aca5d7170d77c721","findings":[],"hash":"da267e8038feb089eb21b796c5116fbe50ed12348e3563b0c56ecc688ff19a1c","nodeId":"cc55118b-9833-434d-9323-bd53a37c6a6f","outcome":"completed","summary":"The review is complete and the findings file is written. The git tree is clean apart from the untracked `.imd-findings.json`, which is the deliverable.\n\n**Result: no reproducible defects in the economics of MAD.** The findings list is empty, with nine coverage rows answering all three entry points plus the invariants I checked.\n\n**What I verified**\n\n- The token is a 16-line wrapper around OpenZeppelin ERC20 v5.0.2. The only mint is in the constructor, to msg.sender, for exactly 10^27 units with 18 decimals. The compiled ABI exposes only approve, transfer and transferFrom as state-changing functions.\n- All six vendored OpenZeppelin files are byte-identical to upstream v5.0.2, and the archive hash in lib/README.md matches a fresh download. A tampered `_msgSender` or `_update` was the one place a hidden economic defect could sit, and it is ruled out.\n- Launch flows move exactly what they say. I modelled the factory split, the distributor claim, a seed settled by transfer-then-balance-delta the way the v4 PoolManager does, and a buy and sell back. Supply is conserved and the distributor ends at zero.\n- Sentinel and boundary cases behave as the guides require. Transfers and approvals to the zero address revert, the whole supply moves in one call, over-balance and over-allowance calls revert atomically, unlimited allowances do not decrement, and the deployer cannot pull or freeze a holder's balance.\n- The existing suite of 34 tests, including the 128-run stateful invariant, passes with the verifier's fuzz seed.\n\n**Not reached:** a real Uniswap v4 swap, since the platform harness and PoolManager sources are not in this tree. The token has no address-dependent branch, so there is no mechanism by which that path could differ from the modelled one.","treeHash":null,"usage":{"cachedInputTokens":825766,"inputTokens":386,"model":"claude-fable-5-1","outputTokens":12166,"runtime":"claude","turns":18,"wallClockMs":198126}}],"verification":[{"checks":[{"durationMs":1186,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.12s\nCompiler run successful!\n","passed":true},{"durationMs":2040,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 1 test for test/MADLaunch.t.sol:MADLaunchTest\n[PASS] test_factoryCreate2MintDistributionClaimsAndTradingTransfers() (gas: 810927)\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 846.96µs (685.12µs CPU time)\n\nRan 32 tests for test/MADToken.t.sol:MADTokenTest\n[PASS] testFuzz_insufficientAllowanceCannotChangeState(uint256) (runs: 1024, μ: 119038, ~: 119475)\nLogs:\n  Bound result 904039838649893274285903342\n\n[PASS] testFuzz_insufficientBalanceCannotChangeState(uint256,uint256) (runs: 1024, μ: 126809, ~: 127754)\nLogs:\n  Bound result 692553288405138128304312683\n  Bound result 692553288405138128304312685\n\n[PASS] testFuzz_transferConservesSupply(uint256) (runs: 1024, μ: 176361, ~: 177412)\nLogs:\n  Bound result 333063030082294410597229984\n\n[PASS] testFuzz_transferFromConsumesOnlyAuthorizedAmount(uint256,uint256) (runs: 1024, μ: 162353, ~: 164829)\nLogs:\n  Bound result 15557\n  Bound result 15040\n\n[PASS] test_allowanceIsSpecificToOwnerAndSpender() (gas: 187869)\n[PASS] test_approvalCanBeReplacedAndRevoked() (gas: 173501)\n[PASS] test_approveEmitsEventWithoutMovingFunds() (gas: 88734)\n[PASS] test_approveZeroSpenderReverts() (gas: 37552)\n[PASS] test_constructorEmitsExactlyOneMint() (gas: 9578)\n[PASS] test_deployerCannotMintBurnFreezeOrUpgrade() (gas: 914433)\n[PASS] test_deployerCannotSpendHolderFundsWithoutApproval() (gas: 158012)\n[PASS] test_entireSupplyCanMoveAndMoveBack() (gas: 136598)\n[PASS] test_maximumApprovalIsNotDecremented() (gas: 139356)\n[PASS] test_metadataAndEntireSupply() (gas: 107599)\n[PASS] test_mintsToImmediateDeployerRegardlessOfOrigin() (gas: 32808)\n[PASS] test_nativeCurrencyAndUnknownCallsAreRejected() (gas: 64734)\n[PASS] test_selfTransferCannotBypassBalanceCheck() (gas: 35929)\n[PASS] test_selfTransferPreservesBalance() (gas: 53916)\n[PASS] test_strangerCannotMintBurnFreezeOrUpgrade() (gas: 916532)\n[PASS] test_transferDeliversExactAmountAndEmitsEvent() (gas: 93527)\n[PASS] test_transferFromConsumesAllowanceAndEmitsTransfer() (gas: 242099)\n[PASS] test_transferFromOverAllowanceRevertsAtomically() (gas: 115709)\n[PASS] test_transferFromOverBalanceRestoresAllowance() (gas: 178355)\n[PASS] test_transferFromToSelfPreservesBalanceAndConsumesAllowance() (gas: 105270)\n[PASS] test_transferFromToZeroRestoresAllowance() (gas: 114069)\n[PASS] test_transferFromWithoutApprovalReverts() (gas: 57866)\n[PASS] test_transferFromZeroSenderRevertsEvenForZeroAmount() (gas: 42346)\n[PASS] test_transferToZeroReverts() (gas: 47597)\n[PASS] test_transferWithInsufficientBalanceReverts() (gas: 109684)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 73389)\n[PASS] test_zeroTransferFromNeedsNoAllowanceAndEmitsEvent() (gas: 81491)\n[PASS] test_zeroTransferToZeroReverts() (gas: 30413)\nSuite result: ok. 32 passed; 0 failed; 0 skipped; finished in 31.92ms (130.24ms CPU time)\n\nRan 1 test for test/MADToken.invariant.t.sol:MADTokenInvariantTest\n[PASS] invariant_supplyBalancesAndAllowancesMatchIndependentLedger() (runs: 128, calls: 8192, reverts: 0)\n\n╭-----------------+--------------+-------+---------+----------╮\n| Contract        | Selector     | Calls | Reverts | Discards |\n+=============================================================+\n| MADTokenHandler | approve      | 2688  | 0       | 0        |\n|-----------------+--------------+-------+---------+----------|\n| MADTokenHandler | transfer     | 2735  | 0       | 0        |\n|-----------------+--------------+-------+---------+----------|\n| MADTokenHandler | transferFrom | 2769  | 0       | 0        |\n╰-----------------+--------------+-------+---------+----------╯\n\nLogs:\n  Bound result 70000000000000000000\n  Bound result 2664\n  Bound result 5421\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 23000000000000000000\n  Bound result 0\n  Bound result 719206529\n  Bound result 0\n  Bound result 0\n  Bound result 40\n  Bound result 0\n  Bound result 5597\n  Bound result 1242\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 22999999999999998759\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 4684\n  Bound result 1099\n  Bound result 0\n  Bound result 0\n  Bound result 4130\n  Bound result 18\n  Bound result 5\n  Bound result 393\n  Bound result 8\n  Bound result 266\n  Bound result 10\n  Bound result 0\n  Bound result 6\n  Bound result 4600\n  Bound result 63\n  Bound result 255\n  Bound result 3062\n  Bound result 0\n  Bound result 55\n  Bound result 304\n  Bound result 5\n  Bound result 0\n  Bound result 3220\n  Bound result 3102\n  Bound result 3\n  Bound result 2863\n  Bound result 1284\n  Bound result 38\n  Bound result 1660\n  Bound result 6561\n  Bound result 14000000000000001552\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 1.95s (1.95s CPU time)\n\nRan 3 test suites in 1.95s (1.98s CPU time): 34 tests passed, 0 failed, 0 skipped (34 total tests)\n","passed":true},{"durationMs":37,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"MADToken.approve(address,uint256)\",\"MADToken.transfer(address,uint256)\",\"MADToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"README.md\":114,\"docs/SECURITY.md\":39,\"foundry.toml\":21,\"remappings.txt\":2,\"src/MADToken.sol\":17,\"test/MADLaunch.t.sol\":80,\"test/MADToken.invariant.t.sol\":96,\"test/MADToken.t.sol\":376},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":406,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":209,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/MADToken.sol:12: Large Numeric Literal","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"550551fac982125d0bcc930c7d075406003883e9ad4a7406a32a457a7539fb6c","verifiedTreeHash":"bc9047eb0b82751232c297ddcb12c197df556915","verifierVersion":"0.1.0+560ab6a2"},{"checks":[{"durationMs":3493,"exitCode":0,"name":"build","output":"Compiling 28 files with Solc 0.8.26\nSolc 0.8.26 finished in 3.33s\nCompiler run successful!\n","passed":true},{"durationMs":11596,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 1 test for test/MADLaunch.t.sol:MADLaunchTest\n[PASS] test_factoryCreate2MintDistributionClaimsAndTradingTransfers() (gas: 810927)\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 1.42ms (1.19ms CPU time)\n\nRan 32 tests for test/MADToken.t.sol:MADTokenTest\n[PASS] testFuzz_insufficientAllowanceCannotChangeState(uint256) (runs: 1024, μ: 119063, ~: 119475)\nLogs:\n  Bound result 6988\n\n[PASS] testFuzz_insufficientBalanceCannotChangeState(uint256,uint256) (runs: 1024, μ: 126705, ~: 127762)\nLogs:\n  Bound result 963204426014882706149178190\n  Bound result 115792089237316195423570985008687907853269984665639600835068569125206980461745\n\n[PASS] testFuzz_transferConservesSupply(uint256) (runs: 1024, μ: 176392, ~: 177412)\nLogs:\n  Bound result 6988\n\n[PASS] testFuzz_transferFromConsumesOnlyAuthorizedAmount(uint256,uint256) (runs: 1024, μ: 162098, ~: 164829)\nLogs:\n  Bound result 1000000000000000000000000000\n  Bound result 6\n\n[PASS] test_allowanceIsSpecificToOwnerAndSpender() (gas: 187869)\n[PASS] test_approvalCanBeReplacedAndRevoked() (gas: 173501)\n[PASS] test_approveEmitsEventWithoutMovingFunds() (gas: 88734)\n[PASS] test_approveZeroSpenderReverts() (gas: 37552)\n[PASS] test_constructorEmitsExactlyOneMint() (gas: 9578)\n[PASS] test_deployerCannotMintBurnFreezeOrUpgrade() (gas: 914433)\n[PASS] test_deployerCannotSpendHolderFundsWithoutApproval() (gas: 158012)\n[PASS] test_entireSupplyCanMoveAndMoveBack() (gas: 136598)\n[PASS] test_maximumApprovalIsNotDecremented() (gas: 139356)\n[PASS] test_metadataAndEntireSupply() (gas: 107599)\n[PASS] test_mintsToImmediateDeployerRegardlessOfOrigin() (gas: 32808)\n[PASS] test_nativeCurrencyAndUnknownCallsAreRejected() (gas: 64734)\n[PASS] test_selfTransferCannotBypassBalanceCheck() (gas: 35929)\n[PASS] test_selfTransferPreservesBalance() (gas: 53916)\n[PASS] test_strangerCannotMintBurnFreezeOrUpgrade() (gas: 916532)\n[PASS] test_transferDeliversExactAmountAndEmitsEvent() (gas: 93527)\n[PASS] test_transferFromConsumesAllowanceAndEmitsTransfer() (gas: 242099)\n[PASS] test_transferFromOverAllowanceRevertsAtomically() (gas: 115709)\n[PASS] test_transferFromOverBalanceRestoresAllowance() (gas: 178355)\n[PASS] test_transferFromToSelfPreservesBalanceAndConsumesAllowance() (gas: 105270)\n[PASS] test_transferFromToZeroRestoresAllowance() (gas: 114069)\n[PASS] test_transferFromWithoutApprovalReverts() (gas: 57866)\n[PASS] test_transferFromZeroSenderRevertsEvenForZeroAmount() (gas: 42346)\n[PASS] test_transferToZeroReverts() (gas: 47597)\n[PASS] test_transferWithInsufficientBalanceReverts() (gas: 109684)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 73389)\n[PASS] test_zeroTransferFromNeedsNoAllowanceAndEmitsEvent() (gas: 81491)\n[PASS] test_zeroTransferToZeroReverts() (gas: 30413)\nSuite result: ok. 32 passed; 0 failed; 0 skipped; finished in 194.29ms (534.30ms CPU time)\n\nRan 18 tests for test/MADToken.adversarial.t.sol:MADTokenAdversarialTest\n[PASS] testFuzz_approvalReplacementAndSpendingUseFullUint256Range(uint256,uint256,uint256) (runs: 1024, μ: 274480, ~: 276824)\nLogs:\n  Bound result 288264213647576\n\n[PASS] testFuzz_delegatedTransferSupportsEveryAddressAlias(uint8,uint256,bool) (runs: 1024, μ: 228467, ~: 229867)\nLogs:\n  Bound result 107762\n\n[PASS] testFuzz_failedDelegatedTransferCanBeRetriedAfterFunding(uint256,uint256,bool) (runs: 1024, μ: 333676, ~: 334133)\nLogs:\n  Bound result 446290075084398177536959928\n  Bound result 446290075084398177536959931\n\n[PASS] testFuzz_rejectedZeroRecipientDoesNotConsumeAuthorization(uint256,uint256,bool) (runs: 1024, μ: 261974, ~: 258125)\nLogs:\n  Bound result 10000000000000000000\n  Bound result 115792089237316195423570985008687907853269984665640564039447584007913129641909\n\n[PASS] testFuzz_splitDelegatedSpendingMatchesOneCombinedTransfer(uint256,uint256) (runs: 1024, μ: 331959, ~: 332434)\nLogs:\n  Bound result 74209648056468204680780644\n  Bound result 7200807290766256380102830\n\n[PASS] testFuzz_zeroDelegatedTransferPreservesAnyExistingApproval(uint256) (runs: 1024, μ: 170180, ~: 170677)\n[PASS] test_contractRecipientNeedsNoCallbackForDirectOrDelegatedTransfer() (gas: 272959)\n[PASS] test_delegatedSelfTransferStillChecksBalanceAndRestoresAllowance() (gas: 165595)\n[PASS] test_exhaustedAllowanceCannotBeReplayedWhileOwnerStillHasFunds() (gas: 170144)\n[PASS] test_largestFiniteApprovalIsDecremented() (gas: 153162)\n[PASS] test_maximumDelegatedTransferFailsAtAllowanceBoundary() (gas: 162659)\n[PASS] test_maximumTransferRevertsWithoutOverflowOrStateChange() (gas: 101034)\n[PASS] test_oneWeiCanBeTransferredApprovedAndSpent() (gas: 218162)\n[PASS] test_ownerCallingTransferFromStillNeedsApproval() (gas: 227273)\n[PASS] test_unlimitedApprovalCanBeRevokedAndReplacedByFiniteApproval() (gas: 326634)\n[PASS] test_unlimitedApprovalCannotSpendMoreThanBalance() (gas: 164698)\n[PASS] test_zeroApprovalToZeroSpenderStillReverts() (gas: 106623)\n[PASS] test_zeroDelegatedTransferToZeroReceiverStillReverts() (gas: 114725)\nSuite result: ok. 18 passed; 0 failed; 0 skipped; finished in 194.36ms (1.16s CPU time)\n\nRan 1 test for test/MADToken.invariant.t.sol:MADTokenInvariantTest\n[PASS] invariant_supplyBalancesAndAllowancesMatchIndependentLedger() (runs: 256, calls: 24576, reverts: 0)\n\n╭-----------------+---------------------------------+-------+---------+----------╮\n| Contract        | Selector                        | Calls | Reverts | Discards |\n+================================================================================+\n| MADTokenHandler | approve                         | 2441  | 0       | 0        |\n|-----------------+---------------------------------+-------+---------+----------|\n| MADTokenHandler | rejectTransferFromOverAllowance | 2552  | 0       | 0        |\n|-----------------+---------------------------------+-------+---------+----------|\n| MADTokenHandler | rejectTransferFromOverBalance   | 2469  | 0       | 0        |\n|-----------------+---------------------------------+-------+---------+----------|\n| MADTokenHandler | rejectTransferOverBalance       | 2531  | 0       | 0        |\n|-----------------+---------------------------------+-------+---------+----------|\n| MADTokenHandler | rejectZeroReceiver              | 2492  | 0       | 0        |\n|-----------------+---------------------------------+-------+---------+----------|\n| MADTokenHandler | rejectZeroSpender               | 2386  | 0       | 0        |\n|-----------------+---------------------------------+-------+---------+----------|\n| MADTokenHandler | revoke                          | 2429  | 0       | 0        |\n|-----------------+---------------------------------+-------+---------+----------|\n| MADTokenHandler | transfer                        | 2453  | 0       | 0        |\n|-----------------+---------------------------------+-------+---------+----------|\n| MADTokenHandler | transferEntireBalance           | 2361  | 0       | 0        |\n|-----------------+---------------------------------+-------+---------+----------|\n| MADTokenHandler | transferFrom                    | 2462  | 0       | 0        |\n╰-----------------+---------------------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665639564039457584007913129640747\n  Bound result 10\n  Bound result 0\n  Bound result 9\n  Bound result 0\n  Bound result 37000000000000000000\n  Bound result 255\n  Bound result 6\n  Bound result 0\n  Bound result 7657411355\n  Bound result 1\n  Bound result 10\n  Bound result 0\n  Bound result 1964\n  Bound result 115792089237316195423570985008687907853269984665639564039457584007913129639952\n  Bound result 10000000000000000000\n  Bound result 4969\n  Bound result 11136\n  Bound result 719018379405565409857679249011711424467109777493332442\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639935\n  Bound result 40\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665639564039497584007913129639945\n  Bound result 59171972281175042436712284251301961227337959031844135340916136369983\n  Bound result 37000000000000000000\n  Bound result 0\n  Bound result 3754\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 40\n  Bound result 0\n  Bound result 40\n  Bound result 0\n  Bound result 0\n  Bound result 1866\n  Bound result 0\n  Bound result 6\n  Bound result 2743\n  Bound result 116378047379925598998008357261\n  Bound result 107790409059352253659720638206201028313877236110006149539796208176698364518289\n  Bound result 4\n  Bound result 0\n  Bound result 0\n  Bound result 23000000000000000000\n  Bound result 6\n  Bound result 9328\n  Bound result 13\n  Bound result 2319969683190525588078948481572412774819166631642304183351175474211942879\n  Bound result 0\n  Bound result 40000000000000000000\n  Bound result 0\n  Bound result 17\n  Bound result 0\n  Bound result 1094\n  Bound result 6\n  Bound result 0\n  Bound result 7608\n  Bound result 6\n  Bound result 245\n  Bound result 44\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665639564039457584007913129640042\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 11.41s (11.40s CPU time)\n\nRan 4 test suites in 11.41s (11.80s CPU time): 52 tests passed, 0 failed, 0 skipped (52 total tests)\n","passed":true},{"durationMs":91,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"MADToken.approve(address,uint256)\",\"MADToken.transfer(address,uint256)\",\"MADToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"README.md\":114,\"docs/SECURITY.md\":39,\"foundry.toml\":21,\"remappings.txt\":2,\"src/MADToken.sol\":17,\"test/MADLaunch.t.sol\":80,\"test/MADToken.adversarial.t.sol\":313,\"test/MADToken.invariant.t.sol\":242,\"test/MADToken.t.sol\":376,\"test/README.md\":38},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"6c796c1d1b95915eb13e680f5a790795657c1051ddd430791e6f0414d892aef1","verifiedTreeHash":"b62804baf350435f8f096658c4d328ffae880931","verifierVersion":"0.1.0+560ab6a2"},{"checks":[{"durationMs":2938,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 2.76s\nCompiler run successful!\n","passed":true},{"durationMs":4039,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 1 test for test/MADLaunch.t.sol:MADLaunchTest\n[PASS] test_factoryCreate2MintDistributionClaimsAndTradingTransfers() (gas: 810927)\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 1.49ms (1.18ms CPU time)\n\nRan 32 tests for test/MADToken.t.sol:MADTokenTest\n[PASS] testFuzz_insufficientAllowanceCannotChangeState(uint256) (runs: 1024, μ: 119038, ~: 119475)\nLogs:\n  Bound result 904039838649893274285903342\n\n[PASS] testFuzz_insufficientBalanceCannotChangeState(uint256,uint256) (runs: 1024, μ: 126809, ~: 127754)\nLogs:\n  Bound result 890992588824538390820923334\n  Bound result 115792089237316195423570985008687907853269984665639673046868759469522308716625\n\n[PASS] testFuzz_transferConservesSupply(uint256) (runs: 1024, μ: 176361, ~: 177412)\nLogs:\n  Bound result 333063030082294410597229984\n\n[PASS] testFuzz_transferFromConsumesOnlyAuthorizedAmount(uint256,uint256) (runs: 1024, μ: 162353, ~: 164829)\nLogs:\n  Bound result 963204426014882706149178190\n  Bound result 70000000000000000000\n\n[PASS] test_allowanceIsSpecificToOwnerAndSpender() (gas: 187869)\n[PASS] test_approvalCanBeReplacedAndRevoked() (gas: 173501)\n[PASS] test_approveEmitsEventWithoutMovingFunds() (gas: 88734)\n[PASS] test_approveZeroSpenderReverts() (gas: 37552)\n[PASS] test_constructorEmitsExactlyOneMint() (gas: 9578)\n[PASS] test_deployerCannotMintBurnFreezeOrUpgrade() (gas: 914433)\n[PASS] test_deployerCannotSpendHolderFundsWithoutApproval() (gas: 158012)\n[PASS] test_entireSupplyCanMoveAndMoveBack() (gas: 136598)\n[PASS] test_maximumApprovalIsNotDecremented() (gas: 139356)\n[PASS] test_metadataAndEntireSupply() (gas: 107599)\n[PASS] test_mintsToImmediateDeployerRegardlessOfOrigin() (gas: 32808)\n[PASS] test_nativeCurrencyAndUnknownCallsAreRejected() (gas: 64734)\n[PASS] test_selfTransferCannotBypassBalanceCheck() (gas: 35929)\n[PASS] test_selfTransferPreservesBalance() (gas: 53916)\n[PASS] test_strangerCannotMintBurnFreezeOrUpgrade() (gas: 916532)\n[PASS] test_transferDeliversExactAmountAndEmitsEvent() (gas: 93527)\n[PASS] test_transferFromConsumesAllowanceAndEmitsTransfer() (gas: 242099)\n[PASS] test_transferFromOverAllowanceRevertsAtomically() (gas: 115709)\n[PASS] test_transferFromOverBalanceRestoresAllowance() (gas: 178355)\n[PASS] test_transferFromToSelfPreservesBalanceAndConsumesAllowance() (gas: 105270)\n[PASS] test_transferFromToZeroRestoresAllowance() (gas: 114069)\n[PASS] test_transferFromWithoutApprovalReverts() (gas: 57866)\n[PASS] test_transferFromZeroSenderRevertsEvenForZeroAmount() (gas: 42346)\n[PASS] test_transferToZeroReverts() (gas: 47597)\n[PASS] test_transferWithInsufficientBalanceReverts() (gas: 109684)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 73389)\n[PASS] test_zeroTransferFromNeedsNoAllowanceAndEmitsEvent() (gas: 81491)\n[PASS] test_zeroTransferToZeroReverts() (gas: 30413)\nSuite result: ok. 32 passed; 0 failed; 0 skipped; finished in 70.84ms (285.45ms CPU time)\n\nRan 1 test for test/MADToken.invariant.t.sol:MADTokenInvariantTest\n[PASS] invariant_supplyBalancesAndAllowancesMatchIndependentLedger() (runs: 128, calls: 8192, reverts: 0)\n\n╭-----------------+--------------+-------+---------+----------╮\n| Contract        | Selector     | Calls | Reverts | Discards |\n+=============================================================+\n| MADTokenHandler | approve      | 2688  | 0       | 0        |\n|-----------------+--------------+-------+---------+----------|\n| MADTokenHandler | transfer     | 2735  | 0       | 0        |\n|-----------------+--------------+-------+---------+----------|\n| MADTokenHandler | transferFrom | 2769  | 0       | 0        |\n╰-----------------+--------------+-------+---------+----------╯\n\nLogs:\n  Bound result 70000000000000000000\n  Bound result 2664\n  Bound result 5421\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 23000000000000000000\n  Bound result 0\n  Bound result 719206529\n  Bound result 0\n  Bound result 0\n  Bound result 40\n  Bound result 0\n  Bound result 5597\n  Bound result 1242\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 22999999999999998759\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 4684\n  Bound result 1099\n  Bound result 0\n  Bound result 0\n  Bound result 4130\n  Bound result 18\n  Bound result 5\n  Bound result 393\n  Bound result 8\n  Bound result 266\n  Bound result 10\n  Bound result 0\n  Bound result 6\n  Bound result 37000000000000000000\n  Bound result 6565\n  Bound result 255\n  Bound result 3105\n  Bound result 8\n  Bound result 2827\n  Bound result 1016\n  Bound result 5\n  Bound result 87\n  Bound result 3581\n  Bound result 3158\n  Bound result 3\n  Bound result 51544297714227431\n  Bound result 372\n  Bound result 22\n  Bound result 13999999999999998402\n  Bound result 5574\n  Bound result 999999999999987216\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 3.84s (3.83s CPU time)\n\nRan 3 test suites in 3.84s (3.92s CPU time): 34 tests passed, 0 failed, 0 skipped (34 total tests)\n","passed":true},{"durationMs":86,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"MADToken.approve(address,uint256)\",\"MADToken.transfer(address,uint256)\",\"MADToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"README.md\":114,\"docs/SECURITY.md\":39,\"foundry.toml\":21,\"launch.json\":24,\"remappings.txt\":2,\"src/MADToken.sol\":17,\"test/MADLaunch.t.sol\":80,\"test/MADToken.invariant.t.sol\":96,\"test/MADToken.t.sol\":376},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"8cba748ebb58f806a3065e1c323400a7558ae2d2d75f0b0eedd1741d2814ee15","verifiedTreeHash":"e74866db0085d08cd20e72fd145199c3d7b2f365","verifierVersion":"0.1.0+560ab6a2"}]}