{"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":"a4a999dc-aa5e-4b56-9353-463800d777dc","kind":"shape:chain","nodes":[{"acceptedSubmissionHash":"7090f5f718031e6bb3befef67abe44a0d169ea2c718e72f06a7f1b36dd16559f","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":"e6a116f383d7edc66f61ff9f010c4260a5430a8219c7a5215f1e9be0400dc909","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":"da18ffab7ef57ae79165af2f549b4c073841c121e57e05ea30041b531801da12","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":"df49d5199159648710e530e829aa19259a003846192ff39979436a69b0f01bcb","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":"016ad894920fa59511a72fb79777f34a6d2c3c9001d4102676cc5b64b1c70073","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":"dccd3d85e20421126ac8db4a2b4ad7b11fb6128cc3638aab8ab1884c17f87990","dependsOn":[],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"587567a5ef71546b5973ceaf6ef1dbbd590f49503b5ac9a6973ed86b89584857","skillId":"build-contract-project","tools":[]},"key":"build_contract_project","kind":"code","role":"implement","skillHash":"587567a5ef71546b5973ceaf6ef1dbbd590f49503b5ac9a6973ed86b89584857","skillId":"build-contract-project","state":"accepted"},{"acceptedSubmissionHash":"aec31f8ee562a1eb9fd7d5a3d2df29009b001208cdf93b58facbda409f614ff4","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"tools":[]},"key":"manifest","kind":"code","role":"integrate","skillHash":null,"skillId":null,"state":"accepted"},{"acceptedSubmissionHash":"49ef55ef9b9abf8104fa2846729c16bb05cfbb51d4bad7e8e70185974367520e","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: Vexqode (VQI).\nToken name: Vexqode\nToken symbol: VQI\nToken supply: 1,000,000,000 with 18 decimals, all minted once to the deployer in the constructor.","parentJobId":null,"planHash":"47721e833bf2641cfdcd96a84f90e70c8d846f0b8526d6258e587eb861bb8fc4","previousHash":"0000000000000000000000000000000000000000000000000000000000000000","projectId":"a4a999dc-aa5e-4b56-9353-463800d777dc","publication":{"commit":null,"deliveredAt":null,"repoUrl":"https://github.com/identity-md-launches/launch-1124-vexqode"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[{"agentId":"52092","feedbackHash":"6c3a4d5a4f29979db7efc7227af45f6c70ce954ba1dd73850f8c32958a73a682","nodeKey":"audit_economics","submissionHash":"7090f5f718031e6bb3befef67abe44a0d169ea2c718e72f06a7f1b36dd16559f","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51332","feedbackHash":"ccfda4b64017eca5c381cf2d192241ab0729c643f15f92b96bbaf0c3c162e630","nodeKey":"audit_flow","submissionHash":"e6a116f383d7edc66f61ff9f010c4260a5430a8219c7a5215f1e9be0400dc909","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51325","feedbackHash":"454661ade0ac2b4e59c8bef5a9a362960e5ab5f6598afb95b8016ca6f93183f2","nodeKey":"audit_judge","submissionHash":"da18ffab7ef57ae79165af2f549b4c073841c121e57e05ea30041b531801da12","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51444","feedbackHash":"b45355a6da93fc0a9ead5dd2bbde362e0cde3ef126d4810de6fdaf2642762f37","nodeKey":"audit_math","submissionHash":"df49d5199159648710e530e829aa19259a003846192ff39979436a69b0f01bcb","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52099","feedbackHash":"e2af1908052f35197b78b67c71991b29481cb693b6344ee6f9ea8f3f1696820e","nodeKey":"audit_permissions","submissionHash":"016ad894920fa59511a72fb79777f34a6d2c3c9001d4102676cc5b64b1c70073","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52113","feedbackHash":"958bf797f1331253a59144ccb05402ee67e115c93f07ddeed53d6d1473cf2e93","nodeKey":"build_contract_project","submissionHash":"dccd3d85e20421126ac8db4a2b4ad7b11fb6128cc3638aab8ab1884c17f87990","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"52090","feedbackHash":"1cbcab511a7bd4a247fb342a8e2c2238c86365b302fc550f81a3b022b32a2c85","nodeKey":"manifest","submissionHash":"aec31f8ee562a1eb9fd7d5a3d2df29009b001208cdf93b58facbda409f614ff4","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"52096","feedbackHash":"a0533ddd9df2556920366e2c97acca5bf5a6bfb4c0d0d57ae8c3d420713205b0","nodeKey":"write_foundry_tests","submissionHash":"49ef55ef9b9abf8104fa2846729c16bb05cfbb51d4bad7e8e70185974367520e","tag1":"verification:checks","tag2":"acceptance-v2","value":1}],"site":null,"snapshotHash":"4f1ce28cca5178b3c9ae5f906119dcc4a11903672e94353056c1ed980cf6ffe3","state":"completed","submissions":[{"artifacts":[],"attempt":1,"bundleHash":null,"device":"d3d81960929eb1a1","findings":[],"hash":"016ad894920fa59511a72fb79777f34a6d2c3c9001d4102676cc5b64b1c70073","nodeId":"6563965d-e820-4d71-bc28-092ce6e70f27","outcome":"completed","summary":"No substantiated defects found. Saved [.imd-findings.json](/root/.identitymd-356/work/a4a999dc-aa5e-4b56-9353-463800d777dc/6563965d-e820-4d71-bc28-092ce6e70f27/.imd-findings.json) with all three entry points covered.\n\nAll 33 local Foundry tests passed. Protected launch integration was not executed. Contracts and configuration remain unchanged.","treeHash":null,"usage":{"cachedInputTokens":518656,"inputTokens":78126,"model":"gpt-6-astra","outputTokens":5216,"runtime":"codex","turns":4,"wallClockMs":199360}},{"artifacts":[],"attempt":1,"bundleHash":"8fdc46c33a616dc3988c70fed231a025f3b814859615480b0d2c743de080130a","device":"a2eadfa3e677016f","findings":[],"hash":"49ef55ef9b9abf8104fa2846729c16bb05cfbb51d4bad7e8e70185974367520e","nodeId":"4ae81d3d-2e57-4a9f-99e6-0c4cebd0b46d","outcome":"completed","summary":"Added edge-case and failure-path tests, plus stronger stateful invariants tracking each holder’s balance and allowances.\n\nOffline `forge build` and `forge test` pass: **45 tests, zero failures**, including 16,384 invariant-handler calls.\n\nOnly `test/` changed. No defects found.","treeHash":"9b57f21628602683fcb066779f6996145e8da1ad","usage":{"cachedInputTokens":735616,"inputTokens":93840,"model":"gpt-6-astra","outputTokens":11092,"runtime":"codex","turns":5,"wallClockMs":306222}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"ddeff5e2c1df0f4a","findings":[],"hash":"7090f5f718031e6bb3befef67abe44a0d169ea2c718e72f06a7f1b36dd16559f","nodeId":"e3d16394-2653-4c6e-97fc-888c7853e7f8","outcome":"completed","summary":"Wrote `.imd-findings.json` with no substantiated defects and coverage for all three entry points.\n\nOffline build, formatting, and both 33-test runs passed. Full protected launch integration remains unverified because required contracts and launch inputs are absent. Source files were unchanged.","treeHash":null,"usage":{"cachedInputTokens":706432,"inputTokens":74238,"model":"gpt-6-astra","outputTokens":4749,"runtime":"codex","turns":5,"wallClockMs":215224}},{"artifacts":[],"attempt":1,"bundleHash":"1aed20378baf8d0bc1f56d37537662468b8a707ffea5433cda71fcf7d136410b","device":"aa417d85641c229d","findings":[],"hash":"aec31f8ee562a1eb9fd7d5a3d2df29009b001208cdf93b58facbda409f614ff4","nodeId":"88f4bb84-c6c2-4ae6-a613-58df89bec19f","outcome":"completed","summary":"Created `launch.json` matching Vexqode’s constructor, exact supply, required economics, and paired currency.\n\nValidation passed: supplied schema, ABI checks, offline build, formatting, and all 33 tests—including a second seed with 1,024 fuzz runs. Only `launch.json` is submitted.","treeHash":"b47118f4e67c584f7fd1744c8b0bd3530310b76c","usage":{"cachedInputTokens":295808,"inputTokens":28344,"model":"gpt-6-astra","outputTokens":3307,"runtime":"codex","turns":4,"wallClockMs":122015}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"33ce0bb3dec09f0b","findings":[],"hash":"da18ffab7ef57ae79165af2f549b4c073841c121e57e05ea30041b531801da12","nodeId":"8c4cb1a2-fbdc-4b2d-be8a-160add64779d","outcome":"completed","summary":"Wrote [.imd-findings.json](/root/.identitymd/work/a4a999dc-aa5e-4b56-9353-463800d777dc/8c4cb1a2-fbdc-4b2d-be8a-160add64779d/.imd-findings.json): no substantiated findings; all three entry points marked `holds`.\n\nAll 45 Foundry checks passed. Source and configuration files remain unchanged.\n\nFull launch integration and authorization of manifest economics remain unverified because required service inputs were absent.","treeHash":null,"usage":{"cachedInputTokens":694784,"inputTokens":94411,"model":"gpt-6-astra","outputTokens":4525,"runtime":"codex","turns":5,"wallClockMs":147287}},{"artifacts":[],"attempt":1,"bundleHash":"7301c4e653f17cddb103674e2b8b5e271ba0960cc3b2c3d286e390ebc3d01aa5","device":"92352b60f8e93ddd","findings":[],"hash":"dccd3d85e20421126ac8db4a2b4ad7b11fb6128cc3638aab8ab1884c17f87990","nodeId":"2ef69f48-1548-41da-9915-99f7ab958e06","outcome":"completed","summary":"Implemented Vexqode (VQI) with 18 decimals and exactly 1,000,000,000 tokens minted once to the deployer. Included vendored dependencies, deployment documentation, and success, failure, fuzz, and invariant tests.\n\nVerified with Solidity 0.8.26:\n\n- `forge build` passed\n- `forge test`: 33 passed\n- `forge fmt --check` passed","treeHash":"765b79f9ec1c0a385eff9beba28398414a65b944","usage":{"cachedInputTokens":270976,"inputTokens":68145,"model":"gpt-6-astra","outputTokens":11125,"runtime":"codex","turns":4,"wallClockMs":280601}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"b41d844dba698308","findings":[],"hash":"df49d5199159648710e530e829aa19259a003846192ff39979436a69b0f01bcb","nodeId":"0161b035-2a73-4e99-8b8d-e059bca03cb6","outcome":"completed","summary":"Wrote [.imd-findings.json](/home/ns/.identitymd/work/a4a999dc-aa5e-4b56-9353-463800d777dc/0161b035-2a73-4e99-8b8d-e059bca03cb6/.imd-findings.json): no substantiated defects; all three entry points covered.\n\nAll 33 Foundry tests passed. Protected launch integration remains unverified because required service contracts and deployment inputs are absent. Production files are unchanged.","treeHash":null,"usage":{"cachedInputTokens":439040,"inputTokens":82234,"model":"gpt-6-astra","outputTokens":4559,"runtime":"codex","turns":4,"wallClockMs":196925}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"c0e6ac7ffff8e2ca","findings":[],"hash":"e6a116f383d7edc66f61ff9f010c4260a5430a8219c7a5215f1e9be0400dc909","nodeId":"ec8268cf-fba4-4ed9-a233-21d0a0f5a450","outcome":"completed","summary":"Saved [.imd-findings.json](/root/.identitymd/work/a4a999dc-aa5e-4b56-9353-463800d777dc/ec8268cf-fba4-4ed9-a233-21d0a0f5a450/.imd-findings.json) with no substantiated defects and coverage for all three entry points.\n\nAll 33 Foundry tests passed. Full protected pool integration remains unverified because its dependencies and launch inputs are absent. Contracts and configuration are unchanged.","treeHash":null,"usage":{"cachedInputTokens":530432,"inputTokens":90578,"model":"gpt-6-astra","outputTokens":5761,"runtime":"codex","turns":4,"wallClockMs":241509}}],"verification":[{"checks":[{"durationMs":1211,"exitCode":0,"name":"build","output":"Compiling 28 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.12s\nCompiler run successful!\n","passed":true},{"durationMs":3717,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 11 tests for test/Vexqode.edges.t.sol:VexqodeEdgeTest\n[PASS] testFuzz_finiteApprovalAcrossFullUint256Range(uint256,uint256) (runs: 1000, μ: 163144, ~: 165407)\nLogs:\n  Bound result 5\n  Bound result 4\n\n[PASS] testFuzz_rejectedSpendLeavesApprovalUsable(uint256,uint256,bool) (runs: 1000, μ: 303690, ~: 303187)\nLogs:\n  Bound result 20292\n  Bound result 54093947604915555155556624787986911320826305\n\n[PASS] testFuzz_transferFromHandlesAliasedRoles(uint8,uint8,uint8,uint256,bool) (runs: 1000, μ: 349814, ~: 350780)\nLogs:\n  Bound result 763722043082731349031263\n\n[PASS] testFuzz_transferRoundTripRestoresBalances(uint256) (runs: 1000, μ: 188679, ~: 188482)\nLogs:\n  Bound result 199479034797498278595910401\n\n[PASS] test_approvalCanPrecedeFundingAndSurvivesTemporaryEmptyBalance() (gas: 359443)\n[PASS] test_infiniteAllowanceCanBeReplacedAndRevokedAfterUse() (gas: 386474)\n[PASS] test_largestFiniteAllowanceDecreasesOnEverySpend() (gas: 243835)\n[PASS] test_maximumTransferRevertsWithAndWithoutInfiniteApproval() (gas: 156629)\n[PASS] test_ownerMustApproveItselfToUseTransferFrom() (gas: 271766)\n[PASS] test_zeroDelegatedTransferToZeroRevertsForAllApprovalKinds() (gas: 262787)\n[PASS] test_zeroSpenderRejectsZeroAndMaximumApprovals() (gas: 135089)\nSuite result: ok. 11 passed; 0 failed; 0 skipped; finished in 56.48ms (222.15ms CPU time)\n\nRan 32 tests for test/Vexqode.t.sol:VexqodeTest\n[PASS] testFuzz_finiteAllowanceTracksSpending(uint256,uint256) (runs: 512, μ: 162323, ~: 164887)\nLogs:\n  Bound result 384455112205716976977219991\n  Bound result 311331155777434723504172312\n\n[PASS] testFuzz_insufficientBalanceAlwaysReverts(uint256) (runs: 512, μ: 69279, ~: 69589)\nLogs:\n  Bound result 115792089237316195423570985008687907853269984665639564039457584007913129641435\n\n[PASS] testFuzz_transferConservesSupply(uint256) (runs: 512, μ: 167648, ~: 167865)\nLogs:\n  Bound result 1500\n\n[PASS] test_approveReplacesAllowanceAndEmitsEvent() (gas: 119490)\n[PASS] test_approveZeroSpenderReverts() (gas: 37640)\n[PASS] test_constructorEmitsMintTransfer() (gas: 5531)\n[PASS] test_deployerCannotSpendHolderFundsWithoutApproval() (gas: 95004)\n[PASS] test_emptyAccountCannotTransfer() (gas: 37886)\n[PASS] test_factoryReceivesEntireSupplyInsteadOfCallerOrOrigin() (gas: 237157)\n[PASS] test_infiniteAllowanceIsNotReduced() (gas: 139354)\n[PASS] test_launchTransfersAndRoundTripDeliverExactAmounts() (gas: 349405)\n[PASS] test_metadataAndInitialSupply() (gas: 107414)\n[PASS] test_nativeCurrencyIsRejected() (gas: 36865)\n[PASS] test_noMintBurnOrAdministrativeEntryPoints() (gas: 846341)\n[PASS] test_revokedAllowanceCannotBeSpent() (gas: 131287)\n[PASS] test_runtimeHasNoForbiddenOpcodes() (gas: 786588)\n[PASS] test_selfTransferPreservesBalance() (gas: 51410)\n[PASS] test_selfTransferStillRequiresSufficientBalance() (gas: 33361)\n[PASS] test_transferAboveBalanceRevertsWithoutChangingBalances() (gas: 65245)\n[PASS] test_transferEntireSupply() (gas: 75785)\n[PASS] test_transferFromAboveAllowanceRevertsAtomically() (gas: 115687)\n[PASS] test_transferFromAboveBalanceRollsBackAllowance() (gas: 132085)\n[PASS] test_transferFromConsumesExactAllowance() (gas: 154801)\n[PASS] test_transferFromSelfPreservesBalanceAndConsumesAllowance() (gas: 105433)\n[PASS] test_transferFromSpendsAllowanceAndEmitsTransfer() (gas: 172667)\n[PASS] test_transferFromToZeroRollsBackAllowance() (gas: 114045)\n[PASS] test_transferFromZeroSenderReverts() (gas: 37903)\n[PASS] test_transferMovesExactAmountAndEmitsEvent() (gas: 93473)\n[PASS] test_transferToZeroRevertsEvenForZeroAmount() (gas: 71948)\n[PASS] test_unapprovedSpenderCannotTransfer() (gas: 107205)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 73345)\n[PASS] test_zeroTransferFromNeedsNoAllowance() (gas: 81468)\nSuite result: ok. 32 passed; 0 failed; 0 skipped; finished in 56.52ms (196.35ms CPU time)\n\nRan 2 tests for test/Vexqode.invariant.t.sol:VexqodeInvariantTest\n[PASS]\nVexqodeInvariantTest invariants:\n[PASS] invariant_balancesAndAllowancesMatchSuccessfulCalls\n[PASS] invariant_supplyAndSumOfBalancesStayFixed\n VexqodeInvariantTest invariants (runs: 256, calls: 16384, reverts: 0)\n\n╭----------------+---------------------------+-------+---------+----------╮\n| Contract       | Selector                  | Calls | Reverts | Discards |\n+=========================================================================+\n| VexqodeHandler | approve                   | 1813  | 0       | 0        |\n|----------------+---------------------------+-------+---------+----------|\n| VexqodeHandler | approveBoundary           | 1879  | 0       | 0        |\n|----------------+---------------------------+-------+---------+----------|\n| VexqodeHandler | approveZeroSpender        | 1799  | 0       | 0        |\n|----------------+---------------------------+-------+---------+----------|\n| VexqodeHandler | transfer                  | 1807  | 0       | 0        |\n|----------------+---------------------------+-------+---------+----------|\n| VexqodeHandler | transferFrom              | 1798  | 0       | 0        |\n|----------------+---------------------------+-------+---------+----------|\n| VexqodeHandler | transferFromOverAllowance | 1888  | 0       | 0        |\n|----------------+---------------------------+-------+---------+----------|\n| VexqodeHandler | transferFromOverBalance   | 1757  | 0       | 0        |\n|----------------+---------------------------+-------+---------+----------|\n| VexqodeHandler | transferOverBalance       | 1788  | 0       | 0        |\n|----------------+---------------------------+-------+---------+----------|\n| VexqodeHandler | transferToZero            | 1855  | 0       | 0        |\n╰----------------+---------------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 3099\n  Bound result 14\n  Bound result 0\n  Bound result 10668\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129793063\n  Bound result 0\n  Bound result 0\n  Bound result 164340810931903195485066135\n  Bound result 1337558528665447688278176101602\n  Bound result 0\n  Bound result 4\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 7338\n  Bound result 2540\n  Bound result 10256\n  Bound result 24576\n  Bound result 115792089237316195423570985008687907853269984665640314168726395953065772505269\n  Bound result 12828005858495771134041189514119244989216453442125678\n  Bound result 565\n  Bound result 7412\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129647287\n  Bound result 115792089237316195423570985008687907853269984665640478380268515911108614703447\n  Bound result 6\n  Bound result 0\n  Bound result 3050\n  Bound result 8431315962876691395654964984714479561619900100108463\n  Bound result 115792089237316195423570985008687907853269984665640478380268515911108614698531\n  Bound result 115792089237316195423570985008687907853269984665640478380268515911108614696030\n  Bound result 0\n  Bound result 377131586589255277459482531\n  Bound result 133766214064118991179430260120497422846067231916282501296\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129650371\n  Bound result 1325760505949726658923\n  Bound result 640\n  Bound result 127\n  Bound result 0\n  Bound result 10\n  Bound result 115792089237316195423570985008687907853269984665640478380268515911108614695685\n  Bound result 20000000000000000000\n  Bound result 115792089237316195423570985008687907853269984665640478380268515911108614696038\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639380\n  Bound result 3891\n  Bound result 9618\n\n[PASS] test_handlerSequenceExercisesNonzeroSpendingAndRollback() (gas: 1402623)\nLogs:\n  Bound result 1\n  Bound result 1\n  Bound result 1\n  Bound result 1\n  Bound result 1\n  Bound result 1\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639935\n  Bound result 1000000000000000000000000000\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639935\n  Bound result 1\n  Bound result 0\n\nSuite result: ok. 2 passed; 0 failed; 0 skipped; finished in 3.64s (3.64s CPU time)\n\nRan 3 test suites in 3.65s (3.76s CPU time): 45 tests passed, 0 failed, 0 skipped (45 total tests)\n","passed":true},{"durationMs":28,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"Vexqode.approve(address,uint256)\",\"Vexqode.transfer(address,uint256)\",\"Vexqode.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":3,\"DEPENDENCIES.md\":21,\"README.md\":112,\"foundry.toml\":21,\"remappings.txt\":2,\"src/Vexqode.sol\":16,\"test/Vexqode.edges.t.sol\":227,\"test/Vexqode.invariant.t.sol\":233,\"test/Vexqode.t.sol\":381},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"49ef55ef9b9abf8104fa2846729c16bb05cfbb51d4bad7e8e70185974367520e","verifiedTreeHash":"9b57f21628602683fcb066779f6996145e8da1ad","verifierVersion":"0.1.0+ad90ce4c"},{"checks":[{"durationMs":1099,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 994.81ms\nCompiler run successful!\n","passed":true},{"durationMs":564,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 32 tests for test/Vexqode.t.sol:VexqodeTest\n[PASS] testFuzz_finiteAllowanceTracksSpending(uint256,uint256) (runs: 512, μ: 162284, ~: 164887)\nLogs:\n  Bound result 5\n  Bound result 3\n\n[PASS] testFuzz_insufficientBalanceAlwaysReverts(uint256) (runs: 512, μ: 69294, ~: 69589)\nLogs:\n  Bound result 115792089237316195423570985008687907853269984665639564039464584007913129639935\n\n[PASS] testFuzz_transferConservesSupply(uint256) (runs: 512, μ: 167577, ~: 167841)\nLogs:\n  Bound result 999999999999999999999999998\n\n[PASS] test_approveReplacesAllowanceAndEmitsEvent() (gas: 119490)\n[PASS] test_approveZeroSpenderReverts() (gas: 37640)\n[PASS] test_constructorEmitsMintTransfer() (gas: 5531)\n[PASS] test_deployerCannotSpendHolderFundsWithoutApproval() (gas: 95004)\n[PASS] test_emptyAccountCannotTransfer() (gas: 37886)\n[PASS] test_factoryReceivesEntireSupplyInsteadOfCallerOrOrigin() (gas: 237157)\n[PASS] test_infiniteAllowanceIsNotReduced() (gas: 139354)\n[PASS] test_launchTransfersAndRoundTripDeliverExactAmounts() (gas: 349405)\n[PASS] test_metadataAndInitialSupply() (gas: 107414)\n[PASS] test_nativeCurrencyIsRejected() (gas: 36865)\n[PASS] test_noMintBurnOrAdministrativeEntryPoints() (gas: 846341)\n[PASS] test_revokedAllowanceCannotBeSpent() (gas: 131287)\n[PASS] test_runtimeHasNoForbiddenOpcodes() (gas: 786588)\n[PASS] test_selfTransferPreservesBalance() (gas: 51410)\n[PASS] test_selfTransferStillRequiresSufficientBalance() (gas: 33361)\n[PASS] test_transferAboveBalanceRevertsWithoutChangingBalances() (gas: 65245)\n[PASS] test_transferEntireSupply() (gas: 75785)\n[PASS] test_transferFromAboveAllowanceRevertsAtomically() (gas: 115687)\n[PASS] test_transferFromAboveBalanceRollsBackAllowance() (gas: 132085)\n[PASS] test_transferFromConsumesExactAllowance() (gas: 154801)\n[PASS] test_transferFromSelfPreservesBalanceAndConsumesAllowance() (gas: 105433)\n[PASS] test_transferFromSpendsAllowanceAndEmitsTransfer() (gas: 172667)\n[PASS] test_transferFromToZeroRollsBackAllowance() (gas: 114045)\n[PASS] test_transferFromZeroSenderReverts() (gas: 37903)\n[PASS] test_transferMovesExactAmountAndEmitsEvent() (gas: 93473)\n[PASS] test_transferToZeroRevertsEvenForZeroAmount() (gas: 71948)\n[PASS] test_unapprovedSpenderCannotTransfer() (gas: 107205)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 73345)\n[PASS] test_zeroTransferFromNeedsNoAllowance() (gas: 81468)\nSuite result: ok. 32 passed; 0 failed; 0 skipped; finished in 13.28ms (40.53ms CPU time)\n\nRan 1 test for test/Vexqode.invariant.t.sol:VexqodeInvariantTest\n[PASS] invariant_supplyAndSumOfBalancesStayFixed() (runs: 128, calls: 8192, reverts: 0)\n\n╭----------------+--------------+-------+---------+----------╮\n| Contract       | Selector     | Calls | Reverts | Discards |\n+============================================================+\n| VexqodeHandler | approve      | 2664  | 0       | 0        |\n|----------------+--------------+-------+---------+----------|\n| VexqodeHandler | transfer     | 2733  | 0       | 0        |\n|----------------+--------------+-------+---------+----------|\n| VexqodeHandler | transferFrom | 2795  | 0       | 0        |\n╰----------------+--------------+-------+---------+----------╯\n\nLogs:\n  Bound result 255\n  Bound result 233903521174402992962611876\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 250000000000000000000000255\n  Bound result 16096478825597007037388125\n  Bound result 0\n  Bound result 1009156406492781840968127\n  Bound result 0\n  Bound result 0\n  Bound result 18\n  Bound result 0\n  Bound result 4873\n  Bound result 100000000000000000000\n  Bound result 13000000000000000000\n  Bound result 29395908909429298\n  Bound result 5999999999857142858\n  Bound result 299855945502742534126045144\n  Bound result 12\n  Bound result 0\n  Bound result 56191621461298584799340778\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 8\n  Bound result 127\n  Bound result 0\n  Bound result 2\n  Bound result 3416\n  Bound result 4\n  Bound result 69\n  Bound result 192970110981730\n  Bound result 74497349078493132120197584\n  Bound result 0\n  Bound result 0\n  Bound result 509\n  Bound result 6\n  Bound result 3774\n  Bound result 1141\n  Bound result 0\n  Bound result 6\n  Bound result 5164\n  Bound result 1437\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 99389368425145503163\n  Bound result 3974\n  Bound result 13\n  Bound result 298\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 483.92ms (482.37ms CPU time)\n\nRan 2 test suites in 485.26ms (497.19ms CPU time): 33 tests passed, 0 failed, 0 skipped (33 total tests)\n","passed":true},{"durationMs":33,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"Vexqode.approve(address,uint256)\",\"Vexqode.transfer(address,uint256)\",\"Vexqode.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":3,\"DEPENDENCIES.md\":21,\"README.md\":112,\"foundry.toml\":21,\"launch.json\":24,\"remappings.txt\":2,\"src/Vexqode.sol\":16,\"test/Vexqode.invariant.t.sol\":81,\"test/Vexqode.t.sol\":381},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"aec31f8ee562a1eb9fd7d5a3d2df29009b001208cdf93b58facbda409f614ff4","verifiedTreeHash":"b47118f4e67c584f7fd1744c8b0bd3530310b76c","verifierVersion":"0.1.0+ad90ce4c"},{"checks":[{"durationMs":994,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 885.98ms\nCompiler run successful!\n","passed":true},{"durationMs":591,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 32 tests for test/Vexqode.t.sol:VexqodeTest\n[PASS] testFuzz_finiteAllowanceTracksSpending(uint256,uint256) (runs: 512, μ: 162941, ~: 164887)\nLogs:\n  Bound result 980490638448098993220193910\n  Bound result 32625877949012361\n\n[PASS] testFuzz_insufficientBalanceAlwaysReverts(uint256) (runs: 512, μ: 69266, ~: 69589)\nLogs:\n  Bound result 1000000000000000000000000004\n\n[PASS] testFuzz_transferConservesSupply(uint256) (runs: 512, μ: 167719, ~: 167889)\nLogs:\n  Bound result 1004\n\n[PASS] test_approveReplacesAllowanceAndEmitsEvent() (gas: 119490)\n[PASS] test_approveZeroSpenderReverts() (gas: 37640)\n[PASS] test_constructorEmitsMintTransfer() (gas: 5531)\n[PASS] test_deployerCannotSpendHolderFundsWithoutApproval() (gas: 95004)\n[PASS] test_emptyAccountCannotTransfer() (gas: 37886)\n[PASS] test_factoryReceivesEntireSupplyInsteadOfCallerOrOrigin() (gas: 237157)\n[PASS] test_infiniteAllowanceIsNotReduced() (gas: 139354)\n[PASS] test_launchTransfersAndRoundTripDeliverExactAmounts() (gas: 349405)\n[PASS] test_metadataAndInitialSupply() (gas: 107414)\n[PASS] test_nativeCurrencyIsRejected() (gas: 36865)\n[PASS] test_noMintBurnOrAdministrativeEntryPoints() (gas: 846341)\n[PASS] test_revokedAllowanceCannotBeSpent() (gas: 131287)\n[PASS] test_runtimeHasNoForbiddenOpcodes() (gas: 786588)\n[PASS] test_selfTransferPreservesBalance() (gas: 51410)\n[PASS] test_selfTransferStillRequiresSufficientBalance() (gas: 33361)\n[PASS] test_transferAboveBalanceRevertsWithoutChangingBalances() (gas: 65245)\n[PASS] test_transferEntireSupply() (gas: 75785)\n[PASS] test_transferFromAboveAllowanceRevertsAtomically() (gas: 115687)\n[PASS] test_transferFromAboveBalanceRollsBackAllowance() (gas: 132085)\n[PASS] test_transferFromConsumesExactAllowance() (gas: 154801)\n[PASS] test_transferFromSelfPreservesBalanceAndConsumesAllowance() (gas: 105433)\n[PASS] test_transferFromSpendsAllowanceAndEmitsTransfer() (gas: 172667)\n[PASS] test_transferFromToZeroRollsBackAllowance() (gas: 114045)\n[PASS] test_transferFromZeroSenderReverts() (gas: 37903)\n[PASS] test_transferMovesExactAmountAndEmitsEvent() (gas: 93473)\n[PASS] test_transferToZeroRevertsEvenForZeroAmount() (gas: 71948)\n[PASS] test_unapprovedSpenderCannotTransfer() (gas: 107205)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 73345)\n[PASS] test_zeroTransferFromNeedsNoAllowance() (gas: 81468)\nSuite result: ok. 32 passed; 0 failed; 0 skipped; finished in 14.29ms (46.41ms CPU time)\n\nRan 1 test for test/Vexqode.invariant.t.sol:VexqodeInvariantTest\n[PASS] invariant_supplyAndSumOfBalancesStayFixed() (runs: 128, calls: 8192, reverts: 0)\n\n╭----------------+--------------+-------+---------+----------╮\n| Contract       | Selector     | Calls | Reverts | Discards |\n+============================================================+\n| VexqodeHandler | approve      | 2763  | 0       | 0        |\n|----------------+--------------+-------+---------+----------|\n| VexqodeHandler | transfer     | 2706  | 0       | 0        |\n|----------------+--------------+-------+---------+----------|\n| VexqodeHandler | transferFrom | 2723  | 0       | 0        |\n╰----------------+--------------+-------+---------+----------╯\n\nLogs:\n  Bound result 3\n  Bound result 6\n  Bound result 0\n  Bound result 1000000000\n  Bound result 0\n  Bound result 899\n  Bound result 0\n  Bound result 0\n  Bound result 24576\n  Bound result 0\n  Bound result 13\n  Bound result 0\n  Bound result 0\n  Bound result 14697954454714649\n  Bound result 7\n  Bound result 0\n  Bound result 10\n  Bound result 5168\n  Bound result 1540\n  Bound result 249999999955906136635856119\n  Bound result 173925528\n  Bound result 3\n  Bound result 0\n  Bound result 50\n  Bound result 143346293783144617379774029\n  Bound result 27215776708147455583070274\n  Bound result 2246\n  Bound result 7\n  Bound result 2963\n  Bound result 253\n  Bound result 3149\n  Bound result 871\n  Bound result 24576\n  Bound result 6\n  Bound result 903823773737896082670\n  Bound result 1393\n  Bound result 3\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 515.56ms (514.27ms CPU time)\n\nRan 2 test suites in 516.51ms (529.85ms CPU time): 33 tests passed, 0 failed, 0 skipped (33 total tests)\n","passed":true},{"durationMs":28,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"Vexqode.approve(address,uint256)\",\"Vexqode.transfer(address,uint256)\",\"Vexqode.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":3,\"DEPENDENCIES.md\":21,\"README.md\":112,\"foundry.toml\":21,\"remappings.txt\":2,\"src/Vexqode.sol\":16,\"test/Vexqode.invariant.t.sol\":81,\"test/Vexqode.t.sol\":381},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":400,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":203,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/Vexqode.sol:10: Large Numeric Literal","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"dccd3d85e20421126ac8db4a2b4ad7b11fb6128cc3638aab8ab1884c17f87990","verifiedTreeHash":"765b79f9ec1c0a385eff9beba28398414a65b944","verifierVersion":"0.1.0+ad90ce4c"}]}