{"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":"13313095-1b1f-41fe-9fb1-8ab278571a70","kind":"shape:chain","nodes":[{"acceptedSubmissionHash":"37ef903cd22f95deecea377bdd1beff49e8b6ba43ebef872ae0a13d95559489c","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":"1841e1b0e9de6e47c9b904750c4d36a836a6a98f805cc4107b7433a77d8b4aa0","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":"758e4eb6f90893442687eeee5d356aab898debd3ca7e0132a23c7950362a83d5","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":"5bfcf0d32c36cbb0fa40513cbcf7ca0bfe861e948e7f9bfcc0b615a3acfb9228","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":"57c0dd956e06467817cc0858f143c1e1f9569b961accee33ccd88783fd095958","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":"0cc6895048bd59963e50d2c6aff3a20676ae8a42c3bc46c0f83ab6ed3487c69e","dependsOn":[],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"6b8d2c2ebd3301cff2be8edb1e1cc6ba65c858c02fe7247be81722b969842265","skillId":"build-contract-project","tools":[]},"key":"build_contract_project","kind":"code","role":"implement","skillHash":"6b8d2c2ebd3301cff2be8edb1e1cc6ba65c858c02fe7247be81722b969842265","skillId":"build-contract-project","state":"accepted"},{"acceptedSubmissionHash":"a3d35c3f11d6d68890e188fb7bf4b89d49601384611cb69112668c98641eb066","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"tools":[]},"key":"manifest","kind":"code","role":"integrate","skillHash":null,"skillId":null,"state":"accepted"},{"acceptedSubmissionHash":"97cde1893a9e7e139119619465358f0137cfd69b8bfa42910ea54f051018a665","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: BLOX IMD (BLOX).\nToken name: BLOX IMD\nToken symbol: BLOX\nToken supply: 1,000,000,000 with 18 decimals, all minted once to the deployer in the constructor.","parentJobId":null,"planHash":"c1a90ed3fcb717617a6362de4b5c4465e4a207b84173f15165aa9cb22aff2827","previousHash":"0000000000000000000000000000000000000000000000000000000000000000","projectId":"13313095-1b1f-41fe-9fb1-8ab278571a70","publication":{"commit":null,"deliveredAt":null,"repoUrl":"https://github.com/identity-md-launches/launch-1759-blox-imd"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[{"agentId":"51483","feedbackHash":"0f08730c1d47472818e2aa28b64566c3411c0dc08028c10bc8392ddc59a5e68b","nodeKey":"audit_economics","submissionHash":"37ef903cd22f95deecea377bdd1beff49e8b6ba43ebef872ae0a13d95559489c","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51486","feedbackHash":"9cd375027e763ce4cadf0cb9579444242eb531e3cf5bfd9cd06502b1645954e7","nodeKey":"audit_flow","submissionHash":"1841e1b0e9de6e47c9b904750c4d36a836a6a98f805cc4107b7433a77d8b4aa0","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51530","feedbackHash":"ee5fb3d88ab82849115b11e701bbfff1abaa79372ad5e96599e7a63109e8edde","nodeKey":"audit_judge","submissionHash":"758e4eb6f90893442687eeee5d356aab898debd3ca7e0132a23c7950362a83d5","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51347","feedbackHash":"a132e59ec23e34920289f27130f9bdfc8ff9cbd43efa1852f76e6f374bc06e62","nodeKey":"audit_math","submissionHash":"5bfcf0d32c36cbb0fa40513cbcf7ca0bfe861e948e7f9bfcc0b615a3acfb9228","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51352","feedbackHash":"32021452869c4855378bc068d83e69f3c2dbad8a4cc493ba780d7b08939ffb98","nodeKey":"audit_permissions","submissionHash":"57c0dd956e06467817cc0858f143c1e1f9569b961accee33ccd88783fd095958","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51461","feedbackHash":"1c4001a96d0cf7c8cf7e2b2992d65c327fc1f4e3c9e2abc70221632478d2ab5a","nodeKey":"build_contract_project","submissionHash":"0cc6895048bd59963e50d2c6aff3a20676ae8a42c3bc46c0f83ab6ed3487c69e","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51128","feedbackHash":"906165e250ed2f9bdef6e6fdae5c8bc768ca1936fd4bb7e0a72b44a439705b3b","nodeKey":"manifest","submissionHash":"a3d35c3f11d6d68890e188fb7bf4b89d49601384611cb69112668c98641eb066","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51178","feedbackHash":"9979ab80d2bd4b54469f2b1c86aa319774a766597233b1d4cc1651ba5e727b5e","nodeKey":"write_foundry_tests","submissionHash":"97cde1893a9e7e139119619465358f0137cfd69b8bfa42910ea54f051018a665","tag1":"verification:checks","tag2":"acceptance-v2","value":1}],"site":null,"snapshotHash":"d8efae2f5b8f97a06fec5f93d0f27602839ec08c6f3956ff263d4706c4e668f4","state":"completed","submissions":[{"artifacts":[],"attempt":1,"bundleHash":"a1bf0c8a114f4afe54f3deb03901c0c5bc3fa0a66a8e5f62f13e4097fa703667","device":"0b2cef729c75eb26","findings":[],"hash":"0cc6895048bd59963e50d2c6aff3a20676ae8a42c3bc46c0f83ab6ed3487c69e","nodeId":"9ce86140-8d7b-4fb3-84ac-b6b7582cb509","outcome":"completed","summary":"Implemented [BLOXToken.sol](/home/imd2/.identitymd/work/13313095-1b1f-41fe-9fb1-8ab278571a70/9ce86140-8d7b-4fb3-84ac-b6b7582cb509/src/BLOXToken.sol): BLOX IMD (BLOX), 18 decimals, exactly 1 billion tokens minted once to the deployer.\n\nDependencies are vendored. Tests and deployment/operations documentation are included.\n\nPassed with Solidity 0.8.26:\n\n- `forge build`\n- `forge test`: 28 passed using the requested fuzz seed\n- `forge fmt --check`\n- Clean offline build and parallel tests","treeHash":"e4e7d47262ecd5a701d3b7391194d2806decb443","usage":{"cachedInputTokens":641024,"inputTokens":50094,"model":"gpt-6-astra","outputTokens":15220,"runtime":"codex","turns":5,"wallClockMs":415202}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"0e78515c4d95885a","findings":[],"hash":"1841e1b0e9de6e47c9b904750c4d36a836a6a98f805cc4107b7433a77d8b4aa0","nodeId":"149776b8-44ea-41e6-973c-fc1f998d3e92","outcome":"completed","summary":"The review is complete and `.imd-findings.json` holds an empty findings list with a coverage record. The working tree is otherwise unchanged. The scratch tests I used were deleted.\n\n**Result: no defects found.** The token is a 17-line fixed-supply ERC-20 on an unmodified OpenZeppelin base, and every path I traced in my area behaves as intended.\n\n**What I checked, by guide**\n\n- **Execution trace.** Traced `approve`, `transfer`, `transferFrom` and the constructor through the vendored base to the final storage write. Sentinel inputs behave correctly: zero sender, zero receiver, zero spender and zero-address `from` all revert, including at value zero, so no phantom mint from the zero address exists. Max allowance is not decremented and max minus one is, both as documented. `transferFrom` spends allowance and moves balance in one frame, so a failed transfer rolls the allowance back. The mint goes to `msg.sender`, not `tx.origin`, verified under CREATE2 from a factory-like contract.\n- **Periphery.** All six vendored OpenZeppelin files are byte-identical to the upstream v5.4.0 archive, whose hash matches the one recorded in the vendored README. The forge-std archive hash also matches, and its seven differing files differ only in whitespace. The compiled runtime has no receive or fallback, and no CALL, CREATE, DELEGATECALL, CALLCODE or SELFDESTRUCT opcodes outside push data. There are no immutables or link references.\n- **First principles.** Name, symbol, 18 decimals and the one-time mint of exactly one billion tokens match the job and the manifest supply the launch requires. The contract identifier fits the 32-character limit, and an empty constructor argument list is correct. Nothing can grow or freeze the supply after deployment. The static-analysis lead about a large numeric literal is a compile-time constant evaluated exactly.\n\n**Verification run.** The project's own 28 tests, including the 128-run stateful invariant suite, pass with the README's fuzz seed, and `forge fmt --check` is clean. My scratch probes for the boundary cases above also passed.\n\n**Coverage.** All three listed entry points are marked `holds`, plus rows for the constructor, the constant-supply invariant, the opcode and fallback invariant, library integrity, and metadata conformance. Nothing in my area was left unreached. The protected launch-flow tests that need the Uniswap v4 harness were read, not executed, since that harness is not in the tree.","treeHash":null,"usage":{"cachedInputTokens":760302,"inputTokens":354,"model":"claude-fable-5-1","outputTokens":11746,"runtime":"claude","turns":26,"wallClockMs":165001}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"f96a0c89c039c22a","findings":[],"hash":"37ef903cd22f95deecea377bdd1beff49e8b6ba43ebef872ae0a13d95559489c","nodeId":"22be9eb8-5a18-46fa-aa65-5741980a73c5","outcome":"completed","summary":"I found no economic defects in BLOX, so `.imd-findings.json` has an empty findings list plus coverage rows. I read the code and checked the JSON parses; I didn't run Foundry or the protected test harness.\n\n`src/BLOXToken.sol` is a standard, unmodified OpenZeppelin ERC20. Its constructor mints exactly 1,000,000,000 × 10^18 (the 1e27 cap) once to `msg.sender`, which is the factory in the launch flow. Beyond that it adds nothing: no fee, burn, mint, admin or upgrade paths.\n\n**Coverage (all three entry points, plus one supply invariant):**\n- **`transfer`:** holds. It moves the exact amount with no fee or burn. So the launch flows arrive in full: the factory's transfer to the distributor, the pool seed through the PoolManager, distributor claims, and trader swaps.\n- **`transferFrom`:** holds. It checks and reduces the allowance, then makes the same exact transfer. An unlimited allowance is not reduced, which is standard ERC20 behaviour.\n- **`approve`:** holds. It changes no balances and has no economic side effects.\n- **Supply invariant:** holds. Total supply stays at 1e27 and equals the sum of all balances, because no function can mint or burn after deployment.\n\nThe economic security, invariant and flow-gap guides found nothing to report. With no fees or exemptions, there is nothing that could make a launch flow arrive short. Aderyn's \"large numeric literal\" warning on line 12 points at the supply constant, which is the intended value, so it isn't a defect.","treeHash":null,"usage":{"cachedInputTokens":98610,"inputTokens":6,"model":"claude-opus-5-5","outputTokens":1248,"runtime":"claude","turns":3,"wallClockMs":16818}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"8f08088e7a7f557f","findings":[],"hash":"57c0dd956e06467817cc0858f143c1e1f9569b961accee33ccd88783fd095958","nodeId":"2302bcb8-21b6-453c-8ab0-5a732c003b13","outcome":"completed","summary":"Review complete. No defects found in the assigned area; the findings file holds an empty list with full coverage.\n\n**What was reviewed.** The token at src/BLOXToken.sol is a bare OpenZeppelin v5.4.0 ERC20 whose constructor mints the fixed supply once to the deployer. The three listed entry points, the constructor, and the inherited library were traced against the Access Control, Trust Gap and Asymmetry guides.\n\n**Why nothing was reported.**\n- **No permission model exists** to bypass. There are no roles, setters, initializers, hooks, proxies, fees or exemption lists. The ABI exposes only approve, transfer and transferFrom as state-changing functions, and plain or value-bearing calls to unknown selectors revert.\n- **Deployer holds no privilege** beyond its balance. A scratch test confirmed the factory cannot pull a holder's tokens without an allowance.\n- **Vendored library is byte-identical** to upstream v5.4.0 for all five files, so the sender context cannot be spoofed by a forwarder.\n- **Runtime bytecode** contains no DELEGATECALL, CALLCODE, SELFDESTRUCT, CALL, STATICCALL, CREATE or ORIGIN opcodes. The supply cannot grow after deployment.\n- **Static analysis leads** were checked. Slither reported nothing. Aderyn's large-literal line evaluates to exactly 1e27, which the repo test asserts.\n\n**Checks run.** Build, the repo's 28-test unit, fuzz and invariant suite with the README seed, and format check all pass. Scratch probes for selector surface, deployer privilege, transfer symmetry and supply constancy passed and were deleted, leaving the tree clean.\n\n**Not covered.** The owners floor test and the Uniswap v4 seed and swap integration need the network's harness and were not executed locally. The coverage record in the findings file states this.","treeHash":null,"usage":{"cachedInputTokens":893335,"inputTokens":290,"model":"claude-fable-5-1","outputTokens":12453,"runtime":"claude","turns":35,"wallClockMs":211846}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"af9a875696459139","findings":[],"hash":"5bfcf0d32c36cbb0fa40513cbcf7ca0bfe861e948e7f9bfcc0b615a3acfb9228","nodeId":"a4a3d1ae-6b8e-446e-99a2-f27760aeed02","outcome":"completed","summary":"The review is complete. `.imd-findings.json` is in place at the repository root with an empty findings list and a 14-row coverage record. No tracked file was changed. The scratch test lives under the gitignored test/scratch/ directory.\n\n**Outcome: no defects found in the assigned area.** BLOX IMD is a 17-line OpenZeppelin v5.4.0 ERC-20 whose only arithmetic is the supply constant and the inherited balance and allowance updates. Every failure mode in the Math Precision, Boundary and Numerical Gap guides was checked against it with concrete inputs, and all of them hold.\n\n**What was verified, with evidence**\n\n- **Supply constant.** The literal product evaluates to exactly 10^27 and equals one billion times ten to the inherited 18 decimals. The README and reference manifest string has 28 digits, so it is the same value. The aderyn large-numeric-literal lead is a style lint, not a defect.\n- **Transfer and allowance edges.** Zero value, exact full balance, balance plus one, uint256 max, self-transfer of the full balance, max allowance and max-minus-one allowance, zero-address sender and receiver, and zero-value transferFrom without an allowance all behave per ERC-20 and per the project's own documented intent.\n- **Overflow and rounding.** There is no division, fee, scaling or downcast anywhere. The unchecked arithmetic in the vendored `_update` rests on the invariant that balances sum to the supply, which fuzzing and the project's stateful invariant suite confirm.\n- **Launch splits.** The 10 percent, 88 percent and 2 percent shares of the supply divide with zero remainder and sum back to the supply exactly.\n- **Boundary enumeration.** The token has no external calls, payable functions, receive or fallback, sentinel branches reachable from its entry points, or bytes decoding. ETH sends and unknown selectors revert.\n- **Protected floor.** The opcode scan from the protected test finds no DELEGATECALL, CALLCODE or SELFDESTRUCT in the compiled runtime. Privileged selectors revert and the deployer cannot move a holder's balance.\n- **Existing tests.** All 28 project tests pass with the pinned fuzz seed. My 8 scratch checks pass.\n\n**Coverage record.** All three entry points are marked `holds`. Two rows are marked `unreached` because they are not in the tree: the launch.json manifest, which the manifest step has not written yet, and the deployer-side price and liquidity derivation, which lives in the network's deployer. For the latter I only sanity-checked that the opening price implied by 2,500 IMD against the supply sits well inside Uniswap v4's tick and sqrt-price range.","treeHash":null,"usage":{"cachedInputTokens":574288,"inputTokens":226,"model":"claude-fable-5-1","outputTokens":22869,"runtime":"claude","turns":25,"wallClockMs":325710}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"5ded77c3c883b7b0","findings":[],"hash":"758e4eb6f90893442687eeee5d356aab898debd3ca7e0132a23c7950362a83d5","nodeId":"b97d3267-8d53-4c6a-9183-40ce259979d4","outcome":"completed","summary":"The review is complete. The findings file is valid JSON and the working tree shows only the untracked findings file, with the scratch test ignored by git.\n\n**Outcome: no defects found.** The findings file holds an empty list and a coverage record of ten rows, all `holds`.\n\n**What the token is.** `src/BLOXToken.sol` is a 17-line contract inheriting unmodified OpenZeppelin v5.4.0 ERC20. Its constructor mints exactly 10^27 units to its creator and it adds no other code.\n\n**What I verified.**\n- Reproduced the behaviour of the three entry points by tracing the inherited ERC20 code and by running the project's 45 existing tests plus a scratch replay of the protected floor's token-side checks. CREATE2 deployment at the launch salt, whole-supply mint to the creator, exact swarm, pool and remainder transfers, a pool-manager round trip, 22 privileged selectors from a stranger and the deployer, and refused ETH all behaved as intended.\n- Confirmed deployability under the factory model: zero constructor parameters match the empty constructorArgs, no libraries or immutables, creation and runtime sizes are well under the limits, and the opcode scan found no DELEGATECALL, CALLCODE, SELFDESTRUCT or CREATE.\n- Downloaded the upstream OpenZeppelin v5.4.0 and forge-std v1.9.7 archives. Their hashes match the vendored manifest, every OpenZeppelin file is byte-identical, and the forge-std differences are whitespace only.\n- Checked launch.json against the schema rules: names, types, lowercase addresses, supply equal to the mint, and economics matching the README's assigned values.\n\n**Specialist findings.** All four specialists and the test writer reported nothing, so there was nothing to reproduce or merge. The static-analysis lead about the large numeric literal is a readability lint; the constant evaluates to exactly 10^27.\n\n**One limit to note.** The real Uniswap v4 seed and swap through a PoolManager was not executed locally because the protected harness's v4 dependencies are not in the tree. I replayed only plain transfers to and from a pool-manager address, which is all a hook-free, fee-free ERC20 does in that flow.","treeHash":null,"usage":{"cachedInputTokens":1113612,"inputTokens":290,"model":"claude-fable-5-1","outputTokens":26097,"runtime":"claude","turns":42,"wallClockMs":399133}},{"artifacts":[],"attempt":1,"bundleHash":"d0db96a5e0a69b8f111194614d1ee816661007b845d3bce2df512ff46f6141f2","device":"41ff1f83c6e68e78","findings":[],"hash":"97cde1893a9e7e139119619465358f0137cfd69b8bfa42910ea54f051018a665","nodeId":"7040c77e-a550-44dd-9a02-fd4c046b56a3","outcome":"completed","summary":"Added 17 adversarial tests and expanded stateful invariants for failure paths, allowance rollback, supply conservation, and transfer availability.\n\nVerified offline with the supplied seed: `forge build` and `forge test` pass—45 tests, 32,768 invariant calls, zero failures.\n\nOnly `test/` changed. No implementation defects found.","treeHash":"0179881cdda3b703569510cdb70354e9b505a1a0","usage":{"cachedInputTokens":596096,"inputTokens":88911,"model":"gpt-6-astra","outputTokens":10724,"runtime":"codex","turns":6,"wallClockMs":289374}},{"artifacts":[],"attempt":1,"bundleHash":"33687e1ea7927f076d16e2a56999fa0428e6d83aad7ad71384a5d4a1aecd0bd2","device":"48cf2e19b6c54386","findings":[],"hash":"a3d35c3f11d6d68890e188fb7bf4b89d49601384611cb69112668c98641eb066","nodeId":"c284c5f7-9815-4678-ae2e-2206f0ee3b8a","outcome":"completed","summary":"Created [launch.json](/home/imd/.identitymd/work/13313095-1b1f-41fe-9fb1-8ab278571a70/c284c5f7-9815-4678-ae2e-2206f0ee3b8a/launch.json) matching `BLOXToken`, its constructor and supply, with the exact required pool and economics values.\n\n`forge build` succeeded; all 28 tests passed using the supplied fuzz seed. Only `launch.json` is changed outside scratch artifacts.","treeHash":"d3de2d0daf471c7fe86e2c23bf2703b9669163df","usage":{"cachedInputTokens":177280,"inputTokens":23389,"model":"gpt-6-astra","outputTokens":2215,"runtime":"codex","turns":3,"wallClockMs":73131}}],"verification":[{"checks":[{"durationMs":1176,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.09s\nCompiler run successful!\n","passed":true},{"durationMs":2020,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 27 tests for test/BLOXToken.t.sol:BLOXTokenTest\n[PASS] testFuzz_delegatedTransfer(uint256,uint256) (runs: 1000, μ: 171489, ~: 172352)\nLogs:\n  Bound result 311369746370240337173197395\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639935\n\n[PASS] testFuzz_insufficientAllowanceRevertsWithoutChanges(uint256,uint256) (runs: 1000, μ: 128222, ~: 128641)\nLogs:\n  Bound result 10000000000000000000\n  Bound result 999999990000000000000000007\n\n[PASS] testFuzz_transferMoreThanBalanceReverts(uint256) (runs: 1000, μ: 71817, ~: 72160)\nLogs:\n  Bound result 151880318411976863542332216498\n\n[PASS] testFuzz_transferPreservesSupply(address,uint256) (runs: 1000, μ: 99563, ~: 99878)\nLogs:\n  Bound result 6564\n\n[PASS] test_approvalIsScopedToCaller() (gas: 118537)\n[PASS] test_approveRejectsZeroSpender() (gas: 40206)\n[PASS] test_approveReplacesAllowanceAndEmitsEvent() (gas: 111630)\n[PASS] test_constructorEmitsExactlyOneMint() (gas: 18233)\n[PASS] test_create2MintsToFactoryAndLaunchTransfersArriveWhole() (gas: 674906)\n[PASS] test_deployerCannotSpendHolderTokensWithoutApproval() (gas: 161554)\n[PASS] test_emptyAccountCannotTransfer() (gas: 44909)\n[PASS] test_entireSupplyCanMove() (gas: 78326)\n[PASS] test_exhaustedAllowanceCannotBeReused() (gas: 162747)\n[PASS] test_infiniteAllowanceIsNotDecremented() (gas: 212450)\n[PASS] test_metadataAndEntireSupplyBelongToDeployer() (gas: 109782)\n[PASS] test_noAdminMintBurnOrUpgradeEntrypoints() (gas: 1678973)\n[PASS] test_revokedAllowanceCannotBeSpent() (gas: 136893)\n[PASS] test_selfTransferPreservesBalance() (gas: 54131)\n[PASS] test_transferFromInsufficientBalanceRollsBackAllowance() (gas: 126574)\n[PASS] test_transferFromSelfStillConsumesAllowance() (gas: 110436)\n[PASS] test_transferFromSpendsAllowanceAndEmitsTransfer() (gas: 167210)\n[PASS] test_transferFromZeroRecipientRollsBackAllowance() (gas: 119261)\n[PASS] test_transferRejectsZeroRecipientEvenForZeroAmount() (gas: 74867)\n[PASS] test_transferReturnsTrueAndEmitsExactAmount() (gas: 96205)\n[PASS] test_unapprovedCallerCannotUseAnotherSpendersAllowance() (gas: 110385)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 73366)\n[PASS] test_zeroTransferFromRequiresNoAllowance() (gas: 78718)\nSuite result: ok. 27 passed; 0 failed; 0 skipped; finished in 35.66ms (132.62ms CPU time)\n\nRan 1 test for test/BLOXToken.invariant.t.sol:BLOXTokenInvariantTest\n[PASS]\nBLOXTokenInvariantTest invariants:\n[PASS] invariant_onlyApprovedAllowancesCanBeSpent\n[PASS] invariant_supplyAndEveryBalanceAreConserved\n BLOXTokenInvariantTest invariants (runs: 128, calls: 8192, reverts: 0)\n\n╭-------------+----------+-------+---------+----------╮\n| Contract    | Selector | Calls | Reverts | Discards |\n+=====================================================+\n| BLOXHandler | allow    | 2678  | 0       | 0        |\n|-------------+----------+-------+---------+----------|\n| BLOXHandler | move     | 2829  | 0       | 0        |\n|-------------+----------+-------+---------+----------|\n| BLOXHandler | spend    | 2685  | 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 5617\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 7\n  Bound result 60\n  Bound result 255\n  Bound result 443337255735008259\n  Bound result 683\n  Bound result 0\n  Bound result 1725540768\n  Bound result 6\n  Bound result 143960185792941\n  Bound result 3871\n  Bound result 239\n  Bound result 88\n  Bound result 15\n  Bound result 0\n  Bound result 8\n  Bound result 5957\n  Bound result 4202470351\n  Bound result 40\n  Bound result 0\n  Bound result 13\n  Bound result 0\n  Bound result 668\n  Bound result 92889243848008\n  Bound result 6\n  Bound result 0\n  Bound result 673433500\n  Bound result 3917\n  Bound result 1\n  Bound result 9\n  Bound result 628\n  Bound result 872\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 1.93s (1.93s CPU time)\n\nRan 2 test suites in 1.93s (1.97s CPU time): 28 tests passed, 0 failed, 0 skipped (28 total tests)\n","passed":true},{"durationMs":40,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"BLOXToken.approve(address,uint256)\",\"BLOXToken.transfer(address,uint256)\",\"BLOXToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"README.md\":135,\"foundry.toml\":19,\"remappings.txt\":2,\"src/BLOXToken.sol\":17,\"test/BLOXToken.invariant.t.sol\":97,\"test/BLOXToken.t.sol\":396},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":474,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":160,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/BLOXToken.sol:12: Large Numeric Literal","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"0cc6895048bd59963e50d2c6aff3a20676ae8a42c3bc46c0f83ab6ed3487c69e","verifiedTreeHash":"e4e7d47262ecd5a701d3b7391194d2806decb443","verifierVersion":"0.1.0+67c588fa"},{"checks":[{"durationMs":2642,"exitCode":0,"name":"build","output":"Compiling 28 files with Solc 0.8.26\nSolc 0.8.26 finished in 2.51s\nCompiler run successful!\n","passed":true},{"durationMs":12258,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 17 tests for test/BLOXToken.adversarial.t.sol:BLOXTokenAdversarialTest\n[PASS] testFuzz_approvalReplacementAfterPartialSpend(uint256,uint256) (runs: 1000, μ: 327330, ~: 328361)\nLogs:\n  Bound result 514971466592937391094269548\n  Bound result 31239897068\n\n[PASS] testFuzz_failedSpendPreservesApprovalAndCanBeRetried(uint256,uint256,bool) (runs: 1000, μ: 354289, ~: 354748)\nLogs:\n  Bound result 16\n  Bound result 5\n\n[PASS] testFuzz_splitDelegatedTransfersMatchOneDirectTransfer(uint256,uint256) (runs: 1000, μ: 327590, ~: 328433)\nLogs:\n  Bound result 612730660718857686514665971\n  Bound result 124451905734560272495048107\n\n[PASS] testFuzz_transferRoundTripWithExistingBalances(uint256,uint256) (runs: 1000, μ: 275184, ~: 274501)\nLogs:\n  Bound result 64379743516486189137782699\n  Bound result 22515705850238451803436646\n\n[PASS] test_contractSpenderCannotBorrowItsCallersApproval() (gas: 455527)\n[PASS] test_largestFiniteApprovalIsDecremented() (gas: 247553)\n[PASS] test_maximumTransferRevertsWithoutArithmeticPanic() (gas: 68113)\n[PASS] test_oneWeiRoundTripRestoresTheEntireSupply() (gas: 151924)\n[PASS] test_ownerUsingTransferFromNeedsItsOwnApproval() (gas: 200108)\n[PASS] test_selfTransferAboveBalanceStillReverts() (gas: 53473)\n[PASS] test_spenderCanReceiveTheEntireApprovedSupply() (gas: 153120)\n[PASS] test_tokensSentToTokenContractRemainPartOfSupply() (gas: 96919)\n[PASS] test_unlimitedApprovalCanBeReducedThenRevoked() (gas: 393691)\n[PASS] test_zeroAddressCannotBeUsedAsAMintSource() (gas: 118100)\n[PASS] test_zeroApprovalStillRejectsZeroSpender() (gas: 63080)\n[PASS] test_zeroDelegatedTransferEmitsEventAndPreservesApproval() (gas: 139609)\n[PASS] test_zeroDelegatedTransferStillRejectsZeroRecipient() (gas: 79093)\nSuite result: ok. 17 passed; 0 failed; 0 skipped; finished in 142.79ms (552.08ms CPU time)\n\nRan 27 tests for test/BLOXToken.t.sol:BLOXTokenTest\n[PASS] testFuzz_delegatedTransfer(uint256,uint256) (runs: 1000, μ: 171515, ~: 172352)\nLogs:\n  Bound result 998339861779062261440053586\n  Bound result 115792089237316195423570985008687907853269984665639565699595804945682929483418\n\n[PASS] testFuzz_insufficientAllowanceRevertsWithoutChanges(uint256,uint256) (runs: 1000, μ: 128250, ~: 128641)\nLogs:\n  Bound result 756655664185999826264514087\n  Bound result 973377343256000726181840720\n\n[PASS] testFuzz_transferMoreThanBalanceReverts(uint256) (runs: 1000, μ: 71815, ~: 72160)\nLogs:\n  Bound result 115792089237316195423570985008687907853269984665639564040019334808115785607579\n\n[PASS] testFuzz_transferPreservesSupply(address,uint256) (runs: 1000, μ: 99587, ~: 99878)\nLogs:\n  Bound result 22033\n\n[PASS] test_approvalIsScopedToCaller() (gas: 118537)\n[PASS] test_approveRejectsZeroSpender() (gas: 40206)\n[PASS] test_approveReplacesAllowanceAndEmitsEvent() (gas: 111630)\n[PASS] test_constructorEmitsExactlyOneMint() (gas: 18233)\n[PASS] test_create2MintsToFactoryAndLaunchTransfersArriveWhole() (gas: 674906)\n[PASS] test_deployerCannotSpendHolderTokensWithoutApproval() (gas: 161554)\n[PASS] test_emptyAccountCannotTransfer() (gas: 44909)\n[PASS] test_entireSupplyCanMove() (gas: 78326)\n[PASS] test_exhaustedAllowanceCannotBeReused() (gas: 162747)\n[PASS] test_infiniteAllowanceIsNotDecremented() (gas: 212450)\n[PASS] test_metadataAndEntireSupplyBelongToDeployer() (gas: 109782)\n[PASS] test_noAdminMintBurnOrUpgradeEntrypoints() (gas: 1678973)\n[PASS] test_revokedAllowanceCannotBeSpent() (gas: 136893)\n[PASS] test_selfTransferPreservesBalance() (gas: 54131)\n[PASS] test_transferFromInsufficientBalanceRollsBackAllowance() (gas: 126574)\n[PASS] test_transferFromSelfStillConsumesAllowance() (gas: 110436)\n[PASS] test_transferFromSpendsAllowanceAndEmitsTransfer() (gas: 167210)\n[PASS] test_transferFromZeroRecipientRollsBackAllowance() (gas: 119261)\n[PASS] test_transferRejectsZeroRecipientEvenForZeroAmount() (gas: 74867)\n[PASS] test_transferReturnsTrueAndEmitsExactAmount() (gas: 96205)\n[PASS] test_unapprovedCallerCannotUseAnotherSpendersAllowance() (gas: 110385)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 73366)\n[PASS] test_zeroTransferFromRequiresNoAllowance() (gas: 78718)\nSuite result: ok. 27 passed; 0 failed; 0 skipped; finished in 142.96ms (526.04ms CPU time)\n\nRan 1 test for test/BLOXToken.invariant.t.sol:BLOXTokenInvariantTest\n[PASS]\nBLOXTokenInvariantTest invariants:\n[PASS] invariant_metadataNeverChanges\n[PASS] invariant_onlyApprovedAllowancesCanBeSpent\n[PASS] invariant_supplyAndEveryBalanceAreConserved\n BLOXTokenInvariantTest invariants (runs: 256, calls: 32768, reverts: 0)\n\n╭-------------+------------------------+-------+---------+----------╮\n| Contract    | Selector               | Calls | Reverts | Discards |\n+===================================================================+\n| BLOXHandler | allow                  | 3318  | 0       | 0        |\n|-------------+------------------------+-------+---------+----------|\n| BLOXHandler | allowEdge              | 3262  | 0       | 0        |\n|-------------+------------------------+-------+---------+----------|\n| BLOXHandler | move                   | 3279  | 0       | 0        |\n|-------------+------------------------+-------+---------+----------|\n| BLOXHandler | moveAll                | 3259  | 0       | 0        |\n|-------------+------------------------+-------+---------+----------|\n| BLOXHandler | rejectOverBalance      | 3268  | 0       | 0        |\n|-------------+------------------------+-------+---------+----------|\n| BLOXHandler | rejectOverspend        | 3396  | 0       | 0        |\n|-------------+------------------------+-------+---------+----------|\n| BLOXHandler | rejectSpendOverBalance | 3216  | 0       | 0        |\n|-------------+------------------------+-------+---------+----------|\n| BLOXHandler | rejectZeroRecipient    | 3265  | 0       | 0        |\n|-------------+------------------------+-------+---------+----------|\n| BLOXHandler | rejectZeroSpender      | 3299  | 0       | 0        |\n|-------------+------------------------+-------+---------+----------|\n| BLOXHandler | spend                  | 3206  | 0       | 0        |\n╰-------------+------------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 250000000000000000000000000\n  Bound result 250000000000000000000000000\n  Bound result 250000000000000000000000000\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129639953\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129649071\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007916922117999\n  Bound result 250000000000000000000000000\n  Bound result 18\n  Bound result 250000000000000000000000000\n  Bound result 255\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129639942\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639934\n  Bound result 1\n  Bound result 52218082699448199437674473014691549349353744165086230748576756155110383419391\n  Bound result 115792089237316195394787740014189653728928231987462362347012371270424020971383\n  Bound result 0\n  Bound result 1000000000000000000\n  Bound result 134279737739809174864835399576842190304515083363250375\n  Bound result 7866\n  Bound result 0\n  Bound result 48684986196770561995509688\n  Bound result 0\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665639862724443780778475125149628\n  Bound result 0\n  Bound result 115792089237316195394787740014189653728928231987462362347012371270425085434607\n  Bound result 4\n  Bound result 250000000000000000000000000\n  Bound result 7392\n  Bound result 9204\n  Bound result 10000000000000000000\n  Bound result 48684986196770561995502296\n  Bound result 211801472\n  Bound result 249999999999999999788198528\n  Bound result 701315013803229438216299176\n  Bound result 6985\n  Bound result 0\n  Bound result 18\n  Bound result 60\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640265354471387237351345939115\n  Bound result 115792089237316195423570985008687907853269984665640265354471387237351345947770\n  Bound result 130\n  Bound result 298684986196770561783700954\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639934\n  Bound result 115792089237316195423570985008687907853269984665640265354471387237351345939241\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639872\n  Bound result 3843\n  Bound result 215047259557976360666257006785770172742757798\n  Bound result 0\n  Bound result 0\n  Bound result 1\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129633022\n  Bound result 1000000000000000000000000001\n  Bound result 6810\n  Bound result 7885\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665639862724443780778474913341275\n  Bound result 13\n  Bound result 11\n  Bound result 701315013803229438216298986\n  Bound result 1000000000\n  Bound result 2544\n  Bound result 812\n  Bound result 298684986196770561783701014\n  Bound result 49119117601598640823399588387650754\n  Bound result 131918904681650129907855240\n  Bound result 1979\n  Bound result 701315013803229438216298986\n  Bound result 3792478066\n  Bound result 1175230844292767709236497744135746745675415917954764064\n  Bound result 2960\n  Bound result 1275409182887190152333414689198831178152975152712695451464130078084\n  Bound result 1\n  Bound result 115792089237316195423570985008687907853269984665640265354471387237351345936281\n  Bound result 5651\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639934\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640265354471387237351345947432\n  Bound result 115792089237316195423570985008687907853269984665639862724443780778474913344020\n  Bound result 190974670528521746297655824\n  Bound result 1\n  Bound result 408280661883606500579273297\n  Bound result 1858\n  Bound result 6572\n  Bound result 421\n  Bound result 408280661883606500579278948\n  Bound result 16\n  Bound result 8\n  Bound result 5865\n  Bound result 115792089237316195423570985008687907853269984665639862724447543454815320284281\n  Bound result 7\n  Bound result 3418\n  Bound result 18\n  Bound result 701315013803229438216300101\n  Bound result 0\n  Bound result 3418\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 12.12s (12.11s CPU time)\n\nRan 3 test suites in 12.13s (12.41s CPU time): 45 tests passed, 0 failed, 0 skipped (45 total tests)\n","passed":true},{"durationMs":52,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"BLOXToken.approve(address,uint256)\",\"BLOXToken.transfer(address,uint256)\",\"BLOXToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"README.md\":135,\"foundry.toml\":19,\"remappings.txt\":2,\"src/BLOXToken.sol\":17,\"test/BLOXToken.adversarial.t.sol\":314,\"test/BLOXToken.invariant.t.sol\":217,\"test/BLOXToken.t.sol\":396},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"97cde1893a9e7e139119619465358f0137cfd69b8bfa42910ea54f051018a665","verifiedTreeHash":"0179881cdda3b703569510cdb70354e9b505a1a0","verifierVersion":"0.1.0+67c588fa"},{"checks":[{"durationMs":1982,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.87s\nCompiler run successful!\n","passed":true},{"durationMs":3311,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 27 tests for test/BLOXToken.t.sol:BLOXTokenTest\n[PASS] testFuzz_delegatedTransfer(uint256,uint256) (runs: 1000, μ: 171489, ~: 172352)\nLogs:\n  Bound result 408417355226337222003318355\n  Bound result 7719928759805376067846011774424417025614624771167161374146312707081857\n\n[PASS] testFuzz_insufficientAllowanceRevertsWithoutChanges(uint256,uint256) (runs: 1000, μ: 128222, ~: 128641)\nLogs:\n  Bound result 1694\n  Bound result 5965\n\n[PASS] testFuzz_transferMoreThanBalanceReverts(uint256) (runs: 1000, μ: 71817, ~: 72160)\nLogs:\n  Bound result 115792089237316195423570985008687907853269984665639564039457584007913129639947\n\n[PASS] testFuzz_transferPreservesSupply(address,uint256) (runs: 1000, μ: 99563, ~: 99878)\nLogs:\n  Bound result 14142289957080145\n\n[PASS] test_approvalIsScopedToCaller() (gas: 118537)\n[PASS] test_approveRejectsZeroSpender() (gas: 40206)\n[PASS] test_approveReplacesAllowanceAndEmitsEvent() (gas: 111630)\n[PASS] test_constructorEmitsExactlyOneMint() (gas: 18233)\n[PASS] test_create2MintsToFactoryAndLaunchTransfersArriveWhole() (gas: 674906)\n[PASS] test_deployerCannotSpendHolderTokensWithoutApproval() (gas: 161554)\n[PASS] test_emptyAccountCannotTransfer() (gas: 44909)\n[PASS] test_entireSupplyCanMove() (gas: 78326)\n[PASS] test_exhaustedAllowanceCannotBeReused() (gas: 162747)\n[PASS] test_infiniteAllowanceIsNotDecremented() (gas: 212450)\n[PASS] test_metadataAndEntireSupplyBelongToDeployer() (gas: 109782)\n[PASS] test_noAdminMintBurnOrUpgradeEntrypoints() (gas: 1678973)\n[PASS] test_revokedAllowanceCannotBeSpent() (gas: 136893)\n[PASS] test_selfTransferPreservesBalance() (gas: 54131)\n[PASS] test_transferFromInsufficientBalanceRollsBackAllowance() (gas: 126574)\n[PASS] test_transferFromSelfStillConsumesAllowance() (gas: 110436)\n[PASS] test_transferFromSpendsAllowanceAndEmitsTransfer() (gas: 167210)\n[PASS] test_transferFromZeroRecipientRollsBackAllowance() (gas: 119261)\n[PASS] test_transferRejectsZeroRecipientEvenForZeroAmount() (gas: 74867)\n[PASS] test_transferReturnsTrueAndEmitsExactAmount() (gas: 96205)\n[PASS] test_unapprovedCallerCannotUseAnotherSpendersAllowance() (gas: 110385)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 73366)\n[PASS] test_zeroTransferFromRequiresNoAllowance() (gas: 78718)\nSuite result: ok. 27 passed; 0 failed; 0 skipped; finished in 38.90ms (157.55ms CPU time)\n\nRan 1 test for test/BLOXToken.invariant.t.sol:BLOXTokenInvariantTest\n[PASS]\nBLOXTokenInvariantTest invariants:\n[PASS] invariant_onlyApprovedAllowancesCanBeSpent\n[PASS] invariant_supplyAndEveryBalanceAreConserved\n BLOXTokenInvariantTest invariants (runs: 128, calls: 8192, reverts: 0)\n\n╭-------------+----------+-------+---------+----------╮\n| Contract    | Selector | Calls | Reverts | Discards |\n+=====================================================+\n| BLOXHandler | allow    | 2678  | 0       | 0        |\n|-------------+----------+-------+---------+----------|\n| BLOXHandler | move     | 2829  | 0       | 0        |\n|-------------+----------+-------+---------+----------|\n| BLOXHandler | spend    | 2685  | 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 5617\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 7\n  Bound result 60\n  Bound result 255\n  Bound result 443337255735008259\n  Bound result 683\n  Bound result 0\n  Bound result 1725540768\n  Bound result 6\n  Bound result 143960185792941\n  Bound result 3871\n  Bound result 239\n  Bound result 88\n  Bound result 15\n  Bound result 0\n  Bound result 8\n  Bound result 5957\n  Bound result 4202470351\n  Bound result 40\n  Bound result 0\n  Bound result 13\n  Bound result 0\n  Bound result 668\n  Bound result 92889243848008\n  Bound result 6\n  Bound result 0\n  Bound result 673433500\n  Bound result 3917\n  Bound result 1\n  Bound result 9\n  Bound result 628\n  Bound result 872\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 3.20s (3.19s CPU time)\n\nRan 2 test suites in 3.20s (3.24s CPU time): 28 tests passed, 0 failed, 0 skipped (28 total tests)\n","passed":true},{"durationMs":57,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"BLOXToken.approve(address,uint256)\",\"BLOXToken.transfer(address,uint256)\",\"BLOXToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"README.md\":135,\"foundry.toml\":19,\"launch.json\":24,\"remappings.txt\":2,\"src/BLOXToken.sol\":17,\"test/BLOXToken.invariant.t.sol\":97,\"test/BLOXToken.t.sol\":396},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"a3d35c3f11d6d68890e188fb7bf4b89d49601384611cb69112668c98641eb066","verifiedTreeHash":"d3de2d0daf471c7fe86e2c23bf2703b9669163df","verifierVersion":"0.1.0+67c588fa"}]}