{"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":"5b6e57f9-dead-4599-95e8-862ecb93fc5f","kind":"shape:chain","nodes":[{"acceptedSubmissionHash":"f2a090ad60cbe55b0a62d3d98eca8487f3631359a4ba2e7d66f69a52d81594fc","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":"e14f0ea34297c6d9609208ac492790cb7cae077d4414e7ce76a2dd71a98233cc","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":"1cb0e2960f88e8faaffc09426ecdc449dc5da0ea48ce3da3c8c23b2f82a5f413","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":"030c530245d41efead79fa8721b4d4c7255eb9f00f1d790a4873408fc9e730ab","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":"c870c22293f331ae1df33abd079728205b76f3371f39349138d67c570036608d","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":"910b8061ff26ae8e52bd5807e73305b4564d54dfd3e10673e97b18494cad8187","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":"8f05bcb38ebad9b5f343a8a14e129c3c78cb159954bc4516f6265a2d8d47c643","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"tools":[]},"key":"manifest","kind":"code","role":"integrate","skillHash":null,"skillId":null,"state":"accepted"},{"acceptedSubmissionHash":"af8afee3c2a57281921fc2cd34e37cf59c52d0a183dedfd81827c6fe618bbe75","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: imdUsd (IMDUSD).\nToken name: imdUsd\nToken symbol: IMDUSD\nToken supply: 1,000,000,000 with 18 decimals, all minted once to the deployer in the constructor.","parentJobId":null,"planHash":"35ef3c3c4dce93016de28f584e6c110d0dd3ca71199c4f4495f85355d109b2f3","previousHash":"0000000000000000000000000000000000000000000000000000000000000000","projectId":"5b6e57f9-dead-4599-95e8-862ecb93fc5f","publication":{"commit":null,"deliveredAt":null,"repoUrl":"https://github.com/identity-md-launches/launch-812-imdusd"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[{"agentId":"51378","feedbackHash":"9ede5351d8361756da1c6623cb3dd3149775f5b69f0617eefaa297069a06ed1c","nodeKey":"audit_economics","submissionHash":"f2a090ad60cbe55b0a62d3d98eca8487f3631359a4ba2e7d66f69a52d81594fc","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51063","feedbackHash":"c7f5bca8e566adb541c4a15405b3797683a484d5dc5cb69dde6342fdba320531","nodeKey":"audit_flow","submissionHash":"e14f0ea34297c6d9609208ac492790cb7cae077d4414e7ce76a2dd71a98233cc","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51108","feedbackHash":"22277c611fb17a22fc0e87665d4cbaf4d8fa3fd0b90845ba53d39e9343839fe0","nodeKey":"audit_judge","submissionHash":"1cb0e2960f88e8faaffc09426ecdc449dc5da0ea48ce3da3c8c23b2f82a5f413","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51249","feedbackHash":"0ea40aa64875df54b87a8431984541edea471865ad6493a14921d7ced7826465","nodeKey":"audit_math","submissionHash":"030c530245d41efead79fa8721b4d4c7255eb9f00f1d790a4873408fc9e730ab","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51010","feedbackHash":"d6ed840b90fb46ceb64e5330aea7625bb1fa40ebfaa977f75598dd84e9d7ca84","nodeKey":"audit_permissions","submissionHash":"c870c22293f331ae1df33abd079728205b76f3371f39349138d67c570036608d","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51079","feedbackHash":"f70706c5418fd2b2fe66a9e88dec8d42e741a313e11a59730a38d6240de461e3","nodeKey":"build_contract_project","submissionHash":"910b8061ff26ae8e52bd5807e73305b4564d54dfd3e10673e97b18494cad8187","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51308","feedbackHash":"1e2993b524ad77716c1b73d503a1da000d5f50d786a7e63532bee2feb4301f67","nodeKey":"manifest","submissionHash":"8f05bcb38ebad9b5f343a8a14e129c3c78cb159954bc4516f6265a2d8d47c643","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51408","feedbackHash":"195ed4eb777d57e6d19a63974630f2cdfdca0326381c61dea6472cd5608dabac","nodeKey":"write_foundry_tests","submissionHash":"af8afee3c2a57281921fc2cd34e37cf59c52d0a183dedfd81827c6fe618bbe75","tag1":"verification:checks","tag2":"acceptance-v2","value":1}],"site":null,"snapshotHash":"5aedd7e6445698c5ee8641372d55fc1fa36f7504231be610a4bda70304ce6c05","state":"completed","submissions":[{"artifacts":[],"attempt":1,"bundleHash":null,"device":"dede2fc25efa8cdd","findings":[],"hash":"030c530245d41efead79fa8721b4d4c7255eb9f00f1d790a4873408fc9e730ab","nodeId":"c365b632-178b-4085-92d0-28dcfcf8f738","outcome":"completed","summary":"Recorded no substantiated defects in [.imd-findings.json](/root/.identitymd/work/5b6e57f9-dead-4599-95e8-862ecb93fc5f/c365b632-178b-4085-92d0-28dcfcf8f738/.imd-findings.json), with all three entry points covered.\n\nAll 32 local Foundry tests passed, including fuzz and invariant checks. The protected launch harness was reviewed but could not run because its dependencies and deployment inputs are absent.","treeHash":null,"usage":{"cachedInputTokens":434176,"inputTokens":75056,"model":"gpt-6-astra","outputTokens":4531,"runtime":"codex","turns":4,"wallClockMs":222838}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"5231314e8cca884c","findings":[],"hash":"1cb0e2960f88e8faaffc09426ecdc449dc5da0ea48ce3da3c8c23b2f82a5f413","nodeId":"408125a6-0f01-471c-a552-a8023e2006a5","outcome":"completed","summary":"Created [.imd-findings.json](/root/.identitymd/work/5b6e57f9-dead-4599-95e8-862ecb93fc5f/408125a6-0f01-471c-a552-a8023e2006a5/.imd-findings.json) with no substantiated token defects and `holds` coverage for all three entry points.\n\nAll 43 Foundry tests passed. Test-library checksum differences were whitespace-only. Protected launch integration remains unverified because required dependencies and deployment inputs are absent.","treeHash":null,"usage":{"cachedInputTokens":1092992,"inputTokens":116161,"model":"gpt-6-astra","outputTokens":5811,"runtime":"codex","turns":5,"wallClockMs":274159}},{"artifacts":[],"attempt":1,"bundleHash":"9522898766ca420a198963cd5cc2f4d3509ea3d7c1ff47e4526d7872a6c411cd","device":"d47149da4d751a90","findings":[],"hash":"8f05bcb38ebad9b5f343a8a14e129c3c78cb159954bc4516f6265a2d8d47c643","nodeId":"87b15b13-e836-4884-bc15-5e9fbf20613b","outcome":"completed","summary":"Created [launch.json](/home/imd1/.identitymd/work/5b6e57f9-dead-4599-95e8-862ecb93fc5f/87b15b13-e836-4884-bc15-5e9fbf20613b/launch.json) with the exact supply, economics, paired currency, and empty constructor arguments.\n\nValidation passed against the supplied schema and compiled constructor ABI. `forge build` succeeded; `forge test` passed all 32 tests.\n\nOnly `launch.json` is changed for submission.","treeHash":"1a3b2ba2f0cc8c8a4f5a95dc0ba63cff4853e013","usage":{"cachedInputTokens":185216,"inputTokens":33623,"model":"gpt-6-astra","outputTokens":3074,"runtime":"codex","turns":3,"wallClockMs":112860}},{"artifacts":[],"attempt":1,"bundleHash":"d4f92f2b753b0069932a569070dea9fa7782066fea6692fc0141ce41dc80f200","device":"4f646c6931822e60","findings":[],"hash":"910b8061ff26ae8e52bd5807e73305b4564d54dfd3e10673e97b18494cad8187","nodeId":"974b2394-8442-46e3-a92c-69488847bee6","outcome":"completed","summary":"Implemented [IMDUSD.sol](/home/imd5/.identitymd/work/5b6e57f9-dead-4599-95e8-862ecb93fc5f/974b2394-8442-46e3-a92c-69488847bee6/src/IMDUSD.sol): imdUsd / IMDUSD, 18 decimals, exactly 1,000,000,000 tokens minted once to the deployer.\n\nDependencies are vendored. Deployment parameters, assumptions, and operational responsibilities are documented in README.md.\n\n`forge build`, `forge test`, and `forge fmt --check` pass with Solidity 0.8.26. All 32 tests pass, including failure, fuzz, and invariant coverage. A clean offline check also passes.","treeHash":"ffedefb1c475bd18084bebcd96bb1baf374e00d7","usage":{"cachedInputTokens":426112,"inputTokens":61542,"model":"gpt-6.1-sol","outputTokens":16021,"runtime":"codex","turns":5,"wallClockMs":454161}},{"artifacts":[],"attempt":1,"bundleHash":"9507d53fd76d75318008474b5fe14217aeb0a782a88c97cb77265192c8ce9a27","device":"d0a17ab6722865f6","findings":[],"hash":"af8afee3c2a57281921fc2cd34e37cf59c52d0a183dedfd81827c6fe618bbe75","nodeId":"68947a34-c914-461d-83a9-ca18ffbe3577","outcome":"completed","summary":"Extended the existing tests under `test/` with 11 failure-path and boundary tests, plus stronger invariants across four actors and 11 randomized actions.\n\nValidation passed: `forge build` and all 43 tests, including 1,000 runs per fuzz test and 32,768 invariant calls.\n\nNo implementation defects found. Only the two existing test files changed.","treeHash":"006968528f3982d2632fd95b77cf604ea9d4eda3","usage":{"cachedInputTokens":622464,"inputTokens":85073,"model":"gpt-6-astra","outputTokens":9310,"runtime":"codex","turns":5,"wallClockMs":360745}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"e7f8c6542ba6fced","findings":[],"hash":"c870c22293f331ae1df33abd079728205b76f3371f39349138d67c570036608d","nodeId":"0c333724-bca4-4c11-ab74-e39ae4b5cd20","outcome":"completed","summary":"Recorded no substantiated defects in [.imd-findings.json](.imd-findings.json), with all three entry points covered.\n\nAll 32 local Foundry tests passed, including 8,192 invariant calls. Protected launch integration remains unexecuted because required service contracts and deployment inputs are absent.","treeHash":null,"usage":{"cachedInputTokens":566656,"inputTokens":83836,"model":"gpt-6-astra","outputTokens":4010,"runtime":"codex","turns":4,"wallClockMs":192229}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"f4b1cf15e799d705","findings":[],"hash":"e14f0ea34297c6d9609208ac492790cb7cae077d4414e7ce76a2dd71a98233cc","nodeId":"1ac18dc5-9877-4c38-8c7e-2a3a5230d727","outcome":"completed","summary":"Saved [.imd-findings.json](/home/imd-worker/.identitymd/work/5b6e57f9-dead-4599-95e8-862ecb93fc5f/1ac18dc5-9877-4c38-8c7e-2a3a5230d727/.imd-findings.json) with no substantiated findings and coverage for all three entry points.\n\nAll 32 Foundry tests passed, including 8,192 invariant calls. Full protected pool integration remains unverified because required dependencies are absent.\n\nImplementation and configuration files are unchanged.","treeHash":null,"usage":{"cachedInputTokens":508800,"inputTokens":79870,"model":"gpt-6-astra","outputTokens":5469,"runtime":"codex","turns":4,"wallClockMs":255577}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"f1bc2d45837b6b78","findings":[],"hash":"f2a090ad60cbe55b0a62d3d98eca8487f3631359a4ba2e7d66f69a52d81594fc","nodeId":"85ae1827-11e2-4847-9c9f-5e6f02135992","outcome":"completed","summary":"No substantiated defects found. Saved [.imd-findings.json](/home/imd-worker/.identitymd/work/5b6e57f9-dead-4599-95e8-862ecb93fc5f/85ae1827-11e2-4847-9c9f-5e6f02135992/.imd-findings.json) with coverage for all three entry points and the assigned economic checks.\n\nAll 32 tests passed, including 8,192 invariant calls. Full protected pool integration remains unverified because required service contracts and launch inputs are absent.","treeHash":null,"usage":{"cachedInputTokens":457600,"inputTokens":88417,"model":"gpt-6-astra","outputTokens":5363,"runtime":"codex","turns":4,"wallClockMs":260716}}],"verification":[{"checks":[{"durationMs":1067,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 953.48ms\nCompiler run successful!\n","passed":true},{"durationMs":2160,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 31 tests for test/IMDUSD.t.sol:IMDUSDTest\n[PASS] testFuzz_transferAboveBalanceReverts(uint256) (runs: 256, μ: 64708, ~: 65026)\nLogs:\n  Bound result 1000000000000000000000000004\n\n[PASS] testFuzz_transferConservesSupplyAndDeliversExactAmount(uint256) (runs: 256, μ: 90025, ~: 89916)\nLogs:\n  Bound result 552675061493392349865682824\n\n[PASS] testFuzz_transferFromConsumesOnlyApprovedAmount(uint256,uint256) (runs: 256, μ: 155611, ~: 158209)\nLogs:\n  Bound result 751387840314904047194326795\n  Bound result 30942110975142656487282480\n\n[PASS] test_approvalDoesNotRequireBalanceOrMoveFunds() (gas: 92559)\n[PASS] test_approveEmitsThenCanReplaceAndRevoke() (gas: 150431)\n[PASS] test_approveRevertsForZeroOwner() (gas: 30770)\n[PASS] test_approveRevertsForZeroSpenderIncludingRevocation() (gas: 62118)\n[PASS] test_constructorEmitsMintTransfer() (gas: 11215)\n[PASS] test_deployerCannotSpendHolderBalanceWithoutApproval() (gas: 151076)\n[PASS] test_directDeploymentMintsToSenderInsteadOfOrigin() (gas: 26356)\n[PASS] test_factoryCreate2DeploymentAndExactLaunchTransfers() (gas: 650558)\n[PASS] test_metadataAndEntireInitialSupply() (gas: 103381)\n[PASS] test_nativeCurrencyAndUnknownCallsAreRejected() (gas: 64658)\n[PASS] test_noMintBurnInitializationOrAdministrativeSelectors() (gas: 1901409)\n[PASS] test_runtimeHasNoDelegatecallCallcodeOrSelfdestruct() (gas: 1038877)\n[PASS] test_selfTransferPreservesBalance() (gas: 51410)\n[PASS] test_transferEmitsAndDeliversExactAmount() (gas: 88925)\n[PASS] test_transferEntireSupply() (gas: 81671)\n[PASS] test_transferFromDeliversExactAmountAndConsumesAllowance() (gas: 238988)\n[PASS] test_transferFromInsufficientBalanceRollsBackAllowance() (gas: 114829)\n[PASS] test_transferFromRevertsAboveAllowanceAndPreservesState() (gas: 109031)\n[PASS] test_transferFromRevertsWithoutAllowanceEvenForTokenHolder() (gas: 50754)\n[PASS] test_transferFromSelfPreservesBalanceAndConsumesAllowance() (gas: 111475)\n[PASS] test_transferFromWithInfiniteAllowanceLeavesItUnchanged() (gas: 132748)\n[PASS] test_transferFromZeroRecipientRollsBackAllowance() (gas: 112031)\n[PASS] test_transferRevertsForInsufficientBalance() (gas: 60897)\n[PASS] test_transferRevertsForMaximumAmountWithoutOverflow() (gas: 40078)\n[PASS] test_transferRevertsForZeroRecipientIncludingZeroValue() (gas: 82672)\n[PASS] test_transferRevertsForZeroSender() (gas: 30739)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 66439)\n[PASS] test_zeroTransferFromWithoutApprovalSucceeds() (gas: 67534)\nSuite result: ok. 31 passed; 0 failed; 0 skipped; finished in 7.32ms (30.68ms CPU time)\n\nRan 1 test for test/IMDUSD.invariant.t.sol:IMDUSDInvariantTest\n[PASS] invariant_fixedSupplyAndExactBalancesAndAllowances() (runs: 128, calls: 8192, reverts: 0)\n\n╭--------------+----------------------------+-------+---------+----------╮\n| Contract     | Selector                   | Calls | Reverts | Discards |\n+========================================================================+\n| TokenHandler | approve                    | 2068  | 0       | 0        |\n|--------------+----------------------------+-------+---------+----------|\n| TokenHandler | transfer                   | 2050  | 0       | 0        |\n|--------------+----------------------------+-------+---------+----------|\n| TokenHandler | transferFrom               | 2022  | 0       | 0        |\n|--------------+----------------------------+-------+---------+----------|\n| TokenHandler | transferFromAboveAllowance | 2052  | 0       | 0        |\n╰--------------+----------------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 4707\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 4\n  Bound result 826074471\n  Bound result 413409510063288550143949412\n  Bound result 428\n  Bound result 0\n  Bound result 10000000000000000001\n  Bound result 4\n  Bound result 535\n  Bound result 0\n  Bound result 1\n  Bound result 170\n  Bound result 0\n  Bound result 255\n  Bound result 2827\n  Bound result 2915\n  Bound result 893953\n  Bound result 53591\n  Bound result 3\n  Bound result 286905639748344082103792129\n  Bound result 124125896500728745236668678\n  Bound result 3341052815274449407\n  Bound result 0\n  Bound result 107\n  Bound result 1000000000\n  Bound result 0\n  Bound result 26\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 2.08s (2.07s CPU time)\n\nRan 2 test suites in 2.08s (2.08s CPU time): 32 tests passed, 0 failed, 0 skipped (32 total tests)\n","passed":true},{"durationMs":29,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"IMDUSD.approve(address,uint256)\",\"IMDUSD.transfer(address,uint256)\",\"IMDUSD.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.md\":20,\"README.md\":124,\"foundry.toml\":18,\"launch.json\":20,\"remappings.txt\":2,\"src/IMDUSD.sol\":16,\"test/IMDUSD.invariant.t.sol\":106,\"test/IMDUSD.t.sol\":402},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"8f05bcb38ebad9b5f343a8a14e129c3c78cb159954bc4516f6265a2d8d47c643","verifiedTreeHash":"1a3b2ba2f0cc8c8a4f5a95dc0ba63cff4853e013","verifierVersion":"0.1.0+e6140b7a"},{"checks":[{"durationMs":1108,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 990.54ms\nCompiler run successful!\n","passed":true},{"durationMs":2439,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 31 tests for test/IMDUSD.t.sol:IMDUSDTest\n[PASS] testFuzz_transferAboveBalanceReverts(uint256) (runs: 256, μ: 64677, ~: 65026)\nLogs:\n  Bound result 12004766124749643265677436224996711179303266487863123570521\n\n[PASS] testFuzz_transferConservesSupplyAndDeliversExactAmount(uint256) (runs: 256, μ: 89630, ~: 89928)\nLogs:\n  Bound result 0\n\n[PASS] testFuzz_transferFromConsumesOnlyApprovedAmount(uint256,uint256) (runs: 256, μ: 155615, ~: 158209)\nLogs:\n  Bound result 315186\n  Bound result 44669\n\n[PASS] test_approvalDoesNotRequireBalanceOrMoveFunds() (gas: 92559)\n[PASS] test_approveEmitsThenCanReplaceAndRevoke() (gas: 150431)\n[PASS] test_approveRevertsForZeroOwner() (gas: 30770)\n[PASS] test_approveRevertsForZeroSpenderIncludingRevocation() (gas: 62118)\n[PASS] test_constructorEmitsMintTransfer() (gas: 11215)\n[PASS] test_deployerCannotSpendHolderBalanceWithoutApproval() (gas: 151076)\n[PASS] test_directDeploymentMintsToSenderInsteadOfOrigin() (gas: 26356)\n[PASS] test_factoryCreate2DeploymentAndExactLaunchTransfers() (gas: 650558)\n[PASS] test_metadataAndEntireInitialSupply() (gas: 103381)\n[PASS] test_nativeCurrencyAndUnknownCallsAreRejected() (gas: 64658)\n[PASS] test_noMintBurnInitializationOrAdministrativeSelectors() (gas: 1901409)\n[PASS] test_runtimeHasNoDelegatecallCallcodeOrSelfdestruct() (gas: 1038877)\n[PASS] test_selfTransferPreservesBalance() (gas: 51410)\n[PASS] test_transferEmitsAndDeliversExactAmount() (gas: 88925)\n[PASS] test_transferEntireSupply() (gas: 81671)\n[PASS] test_transferFromDeliversExactAmountAndConsumesAllowance() (gas: 238988)\n[PASS] test_transferFromInsufficientBalanceRollsBackAllowance() (gas: 114829)\n[PASS] test_transferFromRevertsAboveAllowanceAndPreservesState() (gas: 109031)\n[PASS] test_transferFromRevertsWithoutAllowanceEvenForTokenHolder() (gas: 50754)\n[PASS] test_transferFromSelfPreservesBalanceAndConsumesAllowance() (gas: 111475)\n[PASS] test_transferFromWithInfiniteAllowanceLeavesItUnchanged() (gas: 132748)\n[PASS] test_transferFromZeroRecipientRollsBackAllowance() (gas: 112031)\n[PASS] test_transferRevertsForInsufficientBalance() (gas: 60897)\n[PASS] test_transferRevertsForMaximumAmountWithoutOverflow() (gas: 40078)\n[PASS] test_transferRevertsForZeroRecipientIncludingZeroValue() (gas: 82672)\n[PASS] test_transferRevertsForZeroSender() (gas: 30739)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 66439)\n[PASS] test_zeroTransferFromWithoutApprovalSucceeds() (gas: 67534)\nSuite result: ok. 31 passed; 0 failed; 0 skipped; finished in 9.17ms (32.32ms CPU time)\n\nRan 1 test for test/IMDUSD.invariant.t.sol:IMDUSDInvariantTest\n[PASS] invariant_fixedSupplyAndExactBalancesAndAllowances() (runs: 128, calls: 8192, reverts: 0)\n\n╭--------------+----------------------------+-------+---------+----------╮\n| Contract     | Selector                   | Calls | Reverts | Discards |\n+========================================================================+\n| TokenHandler | approve                    | 2083  | 0       | 0        |\n|--------------+----------------------------+-------+---------+----------|\n| TokenHandler | transfer                   | 2047  | 0       | 0        |\n|--------------+----------------------------+-------+---------+----------|\n| TokenHandler | transferFrom               | 2044  | 0       | 0        |\n|--------------+----------------------------+-------+---------+----------|\n| TokenHandler | transferFromAboveAllowance | 2018  | 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 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 496584200188099415269414145\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 6872\n  Bound result 6872\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 2.34s (2.33s CPU time)\n\nRan 2 test suites in 2.34s (2.34s CPU time): 32 tests passed, 0 failed, 0 skipped (32 total tests)\n","passed":true},{"durationMs":49,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"IMDUSD.approve(address,uint256)\",\"IMDUSD.transfer(address,uint256)\",\"IMDUSD.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.md\":20,\"README.md\":124,\"foundry.toml\":18,\"remappings.txt\":2,\"src/IMDUSD.sol\":16,\"test/IMDUSD.invariant.t.sol\":106,\"test/IMDUSD.t.sol\":402},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":466,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":273,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/IMDUSD.sol:10: Large Numeric Literal","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"910b8061ff26ae8e52bd5807e73305b4564d54dfd3e10673e97b18494cad8187","verifiedTreeHash":"ffedefb1c475bd18084bebcd96bb1baf374e00d7","verifierVersion":"0.1.0+e6140b7a"},{"checks":[{"durationMs":3909,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 3.56s\nCompiler run successful!\n","passed":true},{"durationMs":21188,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 42 tests for test/IMDUSD.t.sol:IMDUSDTest\n[PASS] testFuzz_approvalIsIsolatedByOwnerAndCaller(uint256) (runs: 1000, μ: 336178, ~: 336233)\nLogs:\n  Bound result 258897418265945978208533971753\n\n[PASS] testFuzz_failedDelegatedOverspendRollsBackApproval(uint256,uint256,bool) (runs: 1000, μ: 193772, ~: 194020)\nLogs:\n  Bound result 892964563550158021071251810\n  Bound result 115792089237316195423570985008687907853269984665639671074894305347975792201107\n\n[PASS] testFuzz_replacementAfterPartialSpendIsNotAdditive(uint256,uint256) (runs: 1000, μ: 387884, ~: 388865)\nLogs:\n  Bound result 36381\n  Bound result 4236971736\n\n[PASS] testFuzz_splitDelegatedTransfersMatchSingleTransfer(uint256,uint256) (runs: 1000, μ: 343162, ~: 345210)\nLogs:\n  Bound result 447\n  Bound result 421\n\n[PASS] testFuzz_transferAboveBalanceReverts(uint256) (runs: 1000, μ: 64815, ~: 65144)\nLogs:\n  Bound result 115792089237316195423570985008687907853269984665639564039457584007913129754962\n\n[PASS] testFuzz_transferConservesSupplyAndDeliversExactAmount(uint256) (runs: 1000, μ: 89911, ~: 89923)\nLogs:\n  Bound result 255\n\n[PASS] testFuzz_transferFromConsumesOnlyApprovedAmount(uint256,uint256) (runs: 1000, μ: 156557, ~: 158290)\nLogs:\n  Bound result 18818\n  Bound result 244\n\n[PASS] testFuzz_zeroRecipientRollsBackFiniteOrInfiniteAllowance(uint256,bool) (runs: 1000, μ: 124691, ~: 124974)\nLogs:\n  Bound result 3329477\n\n[PASS] test_approvalDoesNotRequireBalanceOrMoveFunds() (gas: 92633)\n[PASS] test_approveEmitsThenCanReplaceAndRevoke() (gas: 150496)\n[PASS] test_approveRevertsForZeroOwner() (gas: 30777)\n[PASS] test_approveRevertsForZeroSpenderIncludingRevocation() (gas: 62176)\n[PASS] test_constructorEmitsMintTransfer() (gas: 11128)\n[PASS] test_deployerCannotSpendHolderBalanceWithoutApproval() (gas: 151208)\n[PASS] test_directDeploymentMintsToSenderInsteadOfOrigin() (gas: 26290)\n[PASS] test_factoryCreate2DeploymentAndExactLaunchTransfers() (gas: 650756)\n[PASS] test_maximumMinusOneAllowanceIsFiniteAcrossRepeatedSpends() (gas: 199220)\n[PASS] test_metadataAndEntireInitialSupply() (gas: 103359)\n[PASS] test_nativeCurrencyAndUnknownCallsAreRejected() (gas: 64703)\n[PASS] test_noMintBurnInitializationOrAdministrativeSelectors() (gas: 1901512)\n[PASS] test_oneWeiCanBeTransferredAndSpentExactly() (gas: 214650)\n[PASS] test_revokingFiniteAndInfiniteApprovalsPreventsFurtherSpending() (gas: 374766)\n[PASS] test_runtimeHasNoDelegatecallCallcodeOrSelfdestruct() (gas: 1038878)\n[PASS] test_selfTransferPreservesBalance() (gas: 51439)\n[PASS] test_selfTransfersStillRequireEnoughBalance() (gas: 141999)\n[PASS] test_transferEmitsAndDeliversExactAmount() (gas: 88955)\n[PASS] test_transferEntireSupply() (gas: 81634)\n[PASS] test_transferFromDeliversExactAmountAndConsumesAllowance() (gas: 239104)\n[PASS] test_transferFromInsufficientBalanceRollsBackAllowance() (gas: 114865)\n[PASS] test_transferFromRevertsAboveAllowanceAndPreservesState() (gas: 109090)\n[PASS] test_transferFromRevertsWithoutAllowanceEvenForTokenHolder() (gas: 50761)\n[PASS] test_transferFromSelfPreservesBalanceAndConsumesAllowance() (gas: 111511)\n[PASS] test_transferFromWithInfiniteAllowanceLeavesItUnchanged() (gas: 132895)\n[PASS] test_transferFromZeroOwnerCannotMint() (gas: 242068)\n[PASS] test_transferFromZeroRecipientRollsBackAllowance() (gas: 112067)\n[PASS] test_transferRevertsForInsufficientBalance() (gas: 61015)\n[PASS] test_transferRevertsForMaximumAmountWithoutOverflow() (gas: 40248)\n[PASS] test_transferRevertsForZeroRecipientIncludingZeroValue() (gas: 82730)\n[PASS] test_transferRevertsForZeroSender() (gas: 30857)\n[PASS] test_zeroDelegatedTransferEmitsAndPreservesExistingAllowance() (gas: 138333)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 66468)\n[PASS] test_zeroTransferFromWithoutApprovalSucceeds() (gas: 67564)\nSuite result: ok. 42 passed; 0 failed; 0 skipped; finished in 196.39ms (1.32s CPU time)\n\nRan 1 test for test/IMDUSD.invariant.t.sol:IMDUSDInvariantTest\n[PASS] invariant_fixedSupplyAndExactBalancesAndAllowances() (runs: 256, calls: 32768, reverts: 0)\n\n╭--------------+----------------------------+-------+---------+----------╮\n| Contract     | Selector                   | Calls | Reverts | Discards |\n+========================================================================+\n| TokenHandler | approve                    | 3171  | 0       | 0        |\n|--------------+----------------------------+-------+---------+----------|\n| TokenHandler | approveBoundary            | 3021  | 0       | 0        |\n|--------------+----------------------------+-------+---------+----------|\n| TokenHandler | approveZeroSpender         | 2898  | 0       | 0        |\n|--------------+----------------------------+-------+---------+----------|\n| TokenHandler | fullBalanceRoundTrip       | 2954  | 0       | 0        |\n|--------------+----------------------------+-------+---------+----------|\n| TokenHandler | transfer                   | 3045  | 0       | 0        |\n|--------------+----------------------------+-------+---------+----------|\n| TokenHandler | transferAboveBalance       | 2923  | 0       | 0        |\n|--------------+----------------------------+-------+---------+----------|\n| TokenHandler | transferFrom               | 3041  | 0       | 0        |\n|--------------+----------------------------+-------+---------+----------|\n| TokenHandler | transferFromAboveAllowance | 2848  | 0       | 0        |\n|--------------+----------------------------+-------+---------+----------|\n| TokenHandler | transferFromAboveBalance   | 2901  | 0       | 0        |\n|--------------+----------------------------+-------+---------+----------|\n| TokenHandler | transferFromToZero         | 3007  | 0       | 0        |\n|--------------+----------------------------+-------+---------+----------|\n| TokenHandler | transferToZero             | 2959  | 0       | 0        |\n╰--------------+----------------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 0\n  Bound result 280020481438204330654285783\n  Bound result 0\n  Bound result 0\n  Bound result 7128271787209597933941281510649133216011755\n  Bound result 18\n  Bound result 24576\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640284018979145803582475354152\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640284018976145803585311071460\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 4493\n  Bound result 0\n  Bound result 1000000000\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 3000000000000000000\n  Bound result 0\n  Bound result 23\n  Bound result 10166308275526\n  Bound result 0\n  Bound result 16\n  Bound result 3543\n  Bound result 1779\n  Bound result 1327216611144710\n  Bound result 0\n  Bound result 273036226965062441045610129013061733369365854606797881052597\n  Bound result 139375699310\n  Bound result 0\n  Bound result 0\n  Bound result 893953\n  Bound result 893953\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665639844059939022212383159626840\n  Bound result 33321212268028617161855120586024831990622058686083688343864434166\n  Bound result 115792089237316195423570985008687907853269984665639844059939022212383159633549\n  Bound result 1000000000000000000000000000\n  Bound result 115792089237316195423570985008687907853269984665639844059949022212383159626831\n  Bound result 601507735996443655925265742\n  Bound result 115792089237316195423570985008687907853269984665640445567675018656039084892576\n  Bound result 3337\n  Bound result 1000000000\n  Bound result 3165\n  Bound result 361\n  Bound result 9\n  Bound result 0\n  Bound result 1\n  Bound result 865\n  Bound result 7683\n  Bound result 115792089237316195423570985008687907853269984665640284018976145803582475376674\n  Bound result 629\n  Bound result 115792089237316195423570985008687907853269984665639962531721587564117843015056\n  Bound result 0\n  Bound result 11489\n  Bound result 6649\n  Bound result 115792089237316195423570985008687907853269984665640445567675018656039084901685\n  Bound result 828417\n  Bound result 25000000000000000000\n  Bound result 2827\n  Bound result 3792478066\n  Bound result 115792089237316195423570985008687907853269984665640445567675018656039084892595\n  Bound result 10286\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665639962531721587564117828681406\n  Bound result 10\n  Bound result 34969567876035390800378711192697630895759308647654691760492689457119394\n  Bound result 3301\n  Bound result 6737\n  Bound result 115792089237316195423570985008687907853269984665640445567675018656039084895399\n  Bound result 115792089237316195423570985008687907853269984665640445567675018656039084892589\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 21.02s (21.02s CPU time)\n\nRan 2 test suites in 21.02s (21.22s CPU time): 43 tests passed, 0 failed, 0 skipped (43 total tests)\n","passed":true},{"durationMs":62,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"IMDUSD.approve(address,uint256)\",\"IMDUSD.transfer(address,uint256)\",\"IMDUSD.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.md\":20,\"README.md\":124,\"foundry.toml\":18,\"remappings.txt\":2,\"src/IMDUSD.sol\":16,\"test/IMDUSD.invariant.t.sol\":216,\"test/IMDUSD.t.sol\":609},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"af8afee3c2a57281921fc2cd34e37cf59c52d0a183dedfd81827c6fe618bbe75","verifiedTreeHash":"006968528f3982d2632fd95b77cf604ea9d4eda3","verifierVersion":"0.1.0+e6140b7a"}]}