{"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":"334494af-01a8-4470-9cae-d420ee81da74","kind":"shape:chain","nodes":[{"acceptedSubmissionHash":"98ee04539ab920c70a16193a9db8fa8486d2d58b40b1a58ca4e7d14a883dff3b","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":"059e62306981f64d20a952ee972b612d31732e6356d5f8fb589bec4f935685d2","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":"ad763b40315c03f23468fb796ed2251cbeba3aa2887a168314218ca5dcda209c","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":"c1b4b39da7f0caadb490afe2e9b389a26add3bf5c51e682094ad5ec99fb3224e","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":"a1ad6c5ceba9a0f397dc34248dc6b2bfec7f9b97430504db208e5b63a7cb086a","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":"038c9780e2d7c78673ad7a06318ec0ee0ec0a5070bf7640772a6b634f17b6735","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":"d747f7677ab905e3fb0a3448dd45cba77e330dab86904b30266b2a58ac076b32","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"tools":[]},"key":"manifest","kind":"code","role":"integrate","skillHash":null,"skillId":null,"state":"accepted"},{"acceptedSubmissionHash":"63697317db89925f62b92149b33847e6a7c901ca104f5020e76302ab13dbb331","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: Zero To One (ZTO).\nToken name: Zero To One\nToken symbol: ZTO\nToken supply: 1,000,000,000 with 18 decimals, all minted once to the deployer in the constructor.\nWhat it does: A plain community token. No fees, no minting after launch, no owner powers, no transfer rules.\nPool: 88%   Starting market cap: 2500 IMD   Rest of supply to: 0x7B8C742F2e1eEB3fB2C10d72967Fa6d4a22f0479","parentJobId":null,"planHash":"c8a56335ecba341d650d1b9c7cc55788d02be734a7f45cc07ea8331755631194","previousHash":"0000000000000000000000000000000000000000000000000000000000000000","projectId":"334494af-01a8-4470-9cae-d420ee81da74","publication":{"commit":null,"deliveredAt":null,"repoUrl":"https://github.com/identity-md-launches/launch-737-zero-to-one"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[{"agentId":"51099","feedbackHash":"930d2d4c2e2c09bd69d7336c1b68b647792f665fd9ecb225a9a975a87e43ac4e","nodeKey":"audit_economics","submissionHash":"98ee04539ab920c70a16193a9db8fa8486d2d58b40b1a58ca4e7d14a883dff3b","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51304","feedbackHash":"c2f506a213f82b21e75e7a09690c8140fcf8007d6226b2bec1d6f26e0d4fd777","nodeKey":"audit_flow","submissionHash":"059e62306981f64d20a952ee972b612d31732e6356d5f8fb589bec4f935685d2","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51291","feedbackHash":"60e2e6bc69890fe8a0814e95b458dfda997e23f8f2be5591668e8ee744b4ff2d","nodeKey":"audit_judge","submissionHash":"ad763b40315c03f23468fb796ed2251cbeba3aa2887a168314218ca5dcda209c","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51149","feedbackHash":"06f8414cc1b07ba4a6d22579fd42a2ee2cbead2773801a2695ff375e2dacb1e1","nodeKey":"audit_math","submissionHash":"c1b4b39da7f0caadb490afe2e9b389a26add3bf5c51e682094ad5ec99fb3224e","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51415","feedbackHash":"1335726f53ec0427983d03940379d7c05fc75d8a9b7591ec99c98d8f49718e26","nodeKey":"audit_permissions","submissionHash":"a1ad6c5ceba9a0f397dc34248dc6b2bfec7f9b97430504db208e5b63a7cb086a","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52176","feedbackHash":"8322e499d45e00a698e7b89784899b30ff8733e9782f120a97bd72ba4d27748c","nodeKey":"build_contract_project","submissionHash":"038c9780e2d7c78673ad7a06318ec0ee0ec0a5070bf7640772a6b634f17b6735","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51303","feedbackHash":"3575a0f0f943a4f223556d48180a94aff98a45ab8f8bcf256fd4049a23c9dc11","nodeKey":"manifest","submissionHash":"d747f7677ab905e3fb0a3448dd45cba77e330dab86904b30266b2a58ac076b32","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51029","feedbackHash":"08521d0d479b91396a454082634be2b8b8f8b461299b25def24f8a8586ded24f","nodeKey":"write_foundry_tests","submissionHash":"63697317db89925f62b92149b33847e6a7c901ca104f5020e76302ab13dbb331","tag1":"verification:checks","tag2":"acceptance-v2","value":1}],"site":null,"snapshotHash":"307cee81c842a7bf7b41365933973f92df1bfeff040a607d9e53f21d92068c7e","state":"completed","submissions":[{"artifacts":[],"attempt":1,"bundleHash":"4322d2ead9021685386549de3626ec9ab84e16d1b2020b2b5db2ea5eae707d37","device":"ee2cc12e7dfe571a","findings":[],"hash":"038c9780e2d7c78673ad7a06318ec0ee0ec0a5070bf7640772a6b634f17b6735","nodeId":"f90e31cd-8d11-4dd7-84a1-cfbcfc575290","outcome":"completed","summary":"Zero To One (ZTO) is implemented and committed on `main`; `forge build`, `forge test` (27 tests, all passing) and `forge fmt --check` pass with solc 0.8.26. I could not run the protected launch test here, because it needs the network's own harness contracts, v4-core and environment values that this repository does not have.\n\n- **Token** (`src/ZeroToOne.sol`): a self-contained ERC-20 with no constructor arguments that mints 1,000,000,000 × 10^18 to the deployer once. It has no owner, mint, burn, fee, pause, blocklist or external calls.\n- **Tests** (`test/`): they cover success and failure paths for transfers and allowances, the absence of any admin or mint surface, a runtime opcode scan, fuzzed conservation, and an invariant that balances always sum to the fixed supply.\n- **Configuration**: `foundry.toml` pins solc 0.8.26 with `bytecode_hash = \"none\"` and ffi off. forge-std v1.9.7 is vendored as ordinary files under `lib/forge-std`, with no submodule.\n- **Documentation** (`README.md`): behaviour, launch parameters, assumptions and operational responsibilities.\n\nThe launch parameters documented are:\n\n| Share | Amount (ZTO) | Goes to |\n| --- | --- | --- |\n| Swarm, 10% (fixed by the network) | 100,000,000 | the launch's distributor |\n| Pool, 88% (`poolBps` 8800) | 880,000,000 | the single-sided pool |\n| Remainder, 2% | 20,000,000 | `0x7B8C742F2e1eEB3fB2C10d72967Fa6d4a22f0479` |\n\nThe starting market cap is recorded as `2500000000000000000000`, which assumes IMD has 18 decimals. If it does not, that figure must be restated.\n\nChoices and open items:\n- **Zero-address guards**: transfers and approvals to the zero address revert. This is the usual ERC-20 convention rather than a transfer rule, but it means there is no way to burn.\n- **Unlimited allowance**: an allowance of `type(uint256).max` is treated as unlimited and is not decreased.\n- **Left to the network's deployer**: the IMD address, pool fee, tick spacing and `sqrtPriceX96` are not fixed in this repository.\n- **No audit**: no static analyser was run, and an independent review is still advisable before release.","treeHash":"5ddecabaf54f99cd822b191a5947ee2019fba437","usage":{"cachedInputTokens":187320,"inputTokens":10,"model":"claude-fable-5-1","outputTokens":11683,"runtime":"claude","turns":5,"wallClockMs":97762}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"4be5e039e1c77ce3","findings":[],"hash":"059e62306981f64d20a952ee972b612d31732e6356d5f8fb589bec4f935685d2","nodeId":"3565b59d-eaff-47b9-9217-b1a34cf9780a","outcome":"completed","summary":"Recorded no substantiated defects in [.imd-findings.json](/home/seat12/.identitymd/work/334494af-01a8-4470-9cae-d420ee81da74/3565b59d-eaff-47b9-9217-b1a34cf9780a/.imd-findings.json), with all three entry points covered.\n\nOffline build, formatting, and both test runs passed, including expanded fuzz and invariant checks. Protected launch integration remains unverified because its dependencies and launch inputs are absent. Reviewed files remain unchanged.","treeHash":null,"usage":{"cachedInputTokens":523264,"inputTokens":78313,"model":"gpt-6-astra","outputTokens":4810,"runtime":"codex","turns":4,"wallClockMs":133526}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"6a611b0375d07306","findings":[],"hash":"3e9f97aaffac483c7ef88090df67974c7f885a4e515a4baca2be26ca23f571e4","nodeId":"402718f5-0e47-4ae8-a4db-a71713a5a190","outcome":"failed","summary":"the task produced no changes; the agent's last message was: Blocked by the session’s permissions: the filesystem is read-only, and execution policy rejected even repository reads.\n\nNo files changed. I could not inspect the implementation or run `forge build` / `forge test`.\n\nPlease rerun with shell execution enabled and write access to `test/`.","treeHash":null,"usage":{"cachedInputTokens":34432,"inputTokens":18719,"model":"gpt-6-astra","outputTokens":830,"runtime":"codex","turns":2,"wallClockMs":29710}},{"artifacts":[],"attempt":2,"bundleHash":"dfd2eed3e1a49dce667725f9e4ecff675573a4c312250de70eb6448e57e7d73b","device":"a11a254856120206","findings":[],"hash":"63697317db89925f62b92149b33847e6a7c901ca104f5020e76302ab13dbb331","nodeId":"402718f5-0e47-4ae8-a4db-a71713a5a190","outcome":"completed","summary":"Added failure-path and boundary tests, plus stateful invariants tracking balances and allowances across four actors. All changes are under `test/`.\n\nOffline build, formatting, and both test runs passed, including 16,384 invariant calls per run. No defects reproduced.\n\nFull AMM and market-cap validation remain outside this checkout; documented in `test/README.md`.","treeHash":"157a33dc5e9906c8d22f45411d12f3f445280563","usage":{"cachedInputTokens":712960,"inputTokens":73001,"model":"gpt-6-astra","outputTokens":13179,"runtime":"codex","turns":6,"wallClockMs":350391}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"4ba44f3d5ab7b010","findings":[],"hash":"98ee04539ab920c70a16193a9db8fa8486d2d58b40b1a58ca4e7d14a883dff3b","nodeId":"256e808a-6faf-4f1e-a042-c1e53308af18","outcome":"completed","summary":"Recorded no substantiated defects in [.imd-findings.json](/home/seat5/.identitymd/work/334494af-01a8-4470-9cae-d420ee81da74/256e808a-6faf-4f1e-a042-c1e53308af18/.imd-findings.json), with all three entry points covered.\n\nOffline build, formatting check, and both test runs passed, including 2,048 fuzz cases per fuzz test on the second run.\n\nFull launch integration remains unverified because the manifest, service code, and protected-harness dependencies are absent. Source files were unchanged.","treeHash":null,"usage":{"cachedInputTokens":380032,"inputTokens":77723,"model":"gpt-6-astra","outputTokens":4087,"runtime":"codex","turns":4,"wallClockMs":118392}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"a98849c24da2bfc2","findings":[],"hash":"a1ad6c5ceba9a0f397dc34248dc6b2bfec7f9b97430504db208e5b63a7cb086a","nodeId":"240ef8e7-0d1b-4c18-a41a-628d7ddc91ae","outcome":"completed","summary":"Recorded **no substantiated defects** in [.imd-findings.json](/home/seat17/.identitymd/work/334494af-01a8-4470-9cae-d420ee81da74/240ef8e7-0d1b-4c18-a41a-628d7ddc91ae/.imd-findings.json). All three entry points are covered.\n\nOffline build, formatting, and tests passed with two fuzz seeds. Full launch integration remained unverified because service dependencies and deployment inputs are absent.\n\nSource, tests, and configuration were unchanged.","treeHash":null,"usage":{"cachedInputTokens":512256,"inputTokens":76228,"model":"gpt-6-astra","outputTokens":5163,"runtime":"codex","turns":4,"wallClockMs":138936}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"bd7adba3a8045853","findings":[{"citation":"resolved","description":"_transfer rejects the zero address as a receiver but not as a sender. Because allowance[address(0)][anyone] is 0 and a value of 0 passes both the allowance check (0 < 0 is false) and the balance check (0 < 0 is false), any caller can invoke transferFrom(address(0), to, 0) and the token emits Transfer(address(0), to, 0). ERC-20 recommends a Transfer with from == 0x0 as the signal of a mint, so explorers and indexers that key on that shape will show spurious zero-value mint events against a token whose documentation promises no mint. No balance or supply changes: totalSupply is a constant and no non-zero value can leave address(0) (the allowance check reverts first with InsufficientAllowance, and the balance check would revert after it). Cosmetic and spammable only; it is not a loss and does not affect any launch flow. OpenZeppelin's ERC20 rejects from == address(0) with ERC20InvalidSender; a one-line check in _transfer (if (from == address(0)) revert ...) closes it if the author wants the same guarantee. Reported for completeness; it does not need to block the launch.","line":66,"path":"src/ZeroToOne.sol","reproduction":"State: fresh ZeroToOne deployed by DEPLOYER. Call from any address X (no approvals set): token.transferFrom(address(0), BOB, 0). Expected (if mint-shaped events are to be impossible): revert. Actual: returns true and emits Transfer(from=0x0000000000000000000000000000000000000000, to=BOB, value=0); totalSupply() still 1e27 and balanceOf(BOB) still 0. Verified with a Foundry test using vm.expectEmit(true,true,false,true) for Transfer(address(0), BOB, 0) followed by vm.prank(0xBEEF); assertTrue(token.transferFrom(address(0), BOB, 0)) — passes on the current code. Counter-check: token.transferFrom(address(0), BOB, 1) from 0xBEEF reverts with InsufficientAllowance(0xBEEF, 0, 1), so no non-zero value can be sourced from the zero address.","severity":"info","snippet":"    function _transfer(address from, address to, uint256 value) private {\n        if (to == address(0)) revert InvalidReceiver(to);","title":"transferFrom(address(0), to, 0) succeeds and emits a mint-shaped Transfer(address(0), to, 0) event"}],"hash":"ad763b40315c03f23468fb796ed2251cbeba3aa2887a168314218ca5dcda209c","nodeId":"d5de9f33-3f35-4dc7-b7ce-8445feabf433","outcome":"completed","summary":"The review is complete. The findings file is written at the repository root, the scratch test directory is removed, and no tracked file changed.\n\n**Outcome:** the ZeroToOne token has no defect that affects funds, supply, or the launch flows. All four specialists and the independent tester reported nothing, and I confirmed that by tracing the three entry points myself rather than relying on their verdicts. I kept one informational item that no specialist raised.\n\n**What I verified against the code**\n\n- `approve` rejects the zero spender, overwrites the allowance and emits. The overwrite race is standard ERC-20 and documented by the author as deliberate.\n- `transfer` rejects the zero receiver and reverts on insufficient balance. The unchecked debit and credit cannot wrap because the sum of balances is the constant supply, and a self-transfer re-reads the debited slot.\n- `transferFrom` checks allowance before balance, treats max as unlimited, and a revert inside the inner transfer rolls the allowance decrement back.\n- The constructor mints exactly the manifest supply to the deployer, confirmed with a contract deployer standing in for the factory.\n- An opcode scan of the compiled runtime and creation code found no DELEGATECALL, CALLCODE, SELFDESTRUCT or any external call.\n- The manifest's economics copy the job, and the provenance sqrt price recomputes exactly. The paired currency address could not be checked because no network configuration was supplied, so that row is marked unreached.\n- The existing 45 tests pass. The aderyn large-literal lead is a constant that folds to the correct supply.\n\n**The one finding, severity info:** any caller can run `transferFrom(address(0), to, 0)` and the token emits a Transfer event from the zero address with value zero. Explorers that treat that shape as a mint will show spurious zero-value mints on a token that promises no minting. No balance or supply changes, and a non-zero amount from the zero address reverts on the allowance check, so this is cosmetic and does not need to block the launch. A one-line sender check in the private transfer helper closes it if the author wants parity with OpenZeppelin.","treeHash":null,"usage":{"cachedInputTokens":528290,"inputTokens":226,"model":"claude-fable-5-1","outputTokens":12921,"runtime":"claude","turns":21,"wallClockMs":189496}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"985b73231a8fa1f8","findings":[],"hash":"c1b4b39da7f0caadb490afe2e9b389a26add3bf5c51e682094ad5ec99fb3224e","nodeId":"921da49d-5b0e-49eb-80eb-271920178fac","outcome":"completed","summary":"No substantiated defects found. Recorded all 3 entry points as `holds` in [.imd-findings.json](./.imd-findings.json).\n\nOffline build, formatting check, and tests passed, including a second seed with 4,096 fuzz runs per test. Source files remain unchanged.\n\nProtected launch integration remains unverified because required contracts and launch inputs are absent; this limitation is recorded.","treeHash":null,"usage":{"cachedInputTokens":380672,"inputTokens":65271,"model":"gpt-6-astra","outputTokens":4449,"runtime":"codex","turns":4,"wallClockMs":128833}},{"artifacts":[],"attempt":1,"bundleHash":"a4343a2d145c1c23732af53f5765f0988ec3b3254cb0e86921a27e370aa5cd89","device":"f74e4c7229c480f9","findings":[],"hash":"d747f7677ab905e3fb0a3448dd45cba77e330dab86904b30266b2a58ac076b32","nodeId":"2ef7427b-ce49-47b0-9039-3204280895ea","outcome":"completed","summary":"Created `launch.json` with the exact token supply, constructor arguments, requested economics, and IMD pair.\n\nValidation passed: supplied schema and ABI checks, offline build, all 27 tests, a second fuzz run with 1,024 cases, and formatting check.\n\nOnly `launch.json` is included in the deliverable changes.","treeHash":"6b3f4a25b8bbd9116e898ab433ad4ea5e3d5cb54","usage":{"cachedInputTokens":172416,"inputTokens":36048,"model":"gpt-6-astra","outputTokens":3164,"runtime":"codex","turns":3,"wallClockMs":91785}}],"verification":[{"checks":[{"durationMs":1040,"exitCode":0,"name":"build","output":"Compiling 22 files with Solc 0.8.26\nSolc 0.8.26 finished in 925.88ms\nCompiler run successful!\n","passed":true},{"durationMs":224,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 26 tests for test/ZeroToOne.t.sol:ZeroToOneTest\n[PASS] testFuzz_transferAboveBalanceReverts(uint256,uint256) (runs: 256, μ: 92665, ~: 93100)\nLogs:\n  Bound result 10\n  Bound result 10000000000000000000\n\n[PASS] testFuzz_transferConservesBalances(address,uint256) (runs: 256, μ: 90390, ~: 90715)\nLogs:\n  Bound result 463322289108527606217737364\n\n[PASS] testFuzz_transferFromRespectsAllowance(uint256,uint256) (runs: 256, μ: 121281, ~: 135498)\nLogs:\n  Bound result 10\n  Bound result 10000000000000000000\n\n[PASS] test_approveRevertsForZeroSpender() (gas: 30723)\n[PASS] test_approveSetsAndReplacesAllowance() (gas: 103369)\n[PASS] test_constructorEmitsMintTransfer() (gas: 5844)\n[PASS] test_constructorTakesNoArguments() (gas: 3541)\n[PASS] test_deployerCannotMoveAHoldersBalance() (gas: 92512)\n[PASS] test_launchSplitAddsUpToTheSupply() (gas: 9778)\n[PASS] test_metadata() (gas: 26659)\n[PASS] test_noAdminSurfaceExists() (gas: 458095)\n[PASS] test_rejectsEther() (gas: 36811)\n[PASS] test_runtimeHasNoDelegatecallCallcodeOrSelfdestruct() (gas: 765354)\n[PASS] test_transferFromInfiniteAllowanceIsNotDecreased() (gas: 115416)\n[PASS] test_transferFromRevertsAboveAllowance() (gas: 87233)\n[PASS] test_transferFromRevertsOnInsufficientBalance() (gas: 85735)\n[PASS] test_transferFromRevertsToZeroAddress() (gas: 83320)\n[PASS] test_transferFromRevertsWithoutAllowance() (gas: 33550)\n[PASS] test_transferFromSpendsAllowance() (gas: 149942)\n[PASS] test_transferMovesExactAmount() (gas: 86698)\n[PASS] test_transferRevertsOnInsufficientBalance() (gas: 85284)\n[PASS] test_transferRevertsToZeroAddress() (gas: 30778)\n[PASS] test_transferToSelfChangesNothing() (gas: 41049)\n[PASS] test_transferWholeBalance() (gas: 71084)\n[PASS] test_transferZeroSucceeds() (gas: 43014)\n[PASS] test_wholeSupplyMintedToDeployer() (gas: 37595)\nSuite result: ok. 26 passed; 0 failed; 0 skipped; finished in 6.78ms (24.67ms CPU time)\n\nRan 1 test for test/ZeroToOne.invariant.t.sol:ZeroToOneInvariantTest\n[PASS]\nZeroToOneInvariantTest invariants:\n[PASS] invariant_balancesSumToSupply\n[PASS] invariant_supplyIsFixed\n ZeroToOneInvariantTest invariants (runs: 64, calls: 2048, reverts: 0)\n\n╭------------------+--------------+-------+---------+----------╮\n| Contract         | Selector     | Calls | Reverts | Discards |\n+==============================================================+\n| ZeroToOneHandler | approve      | 673   | 0       | 0        |\n|------------------+--------------+-------+---------+----------|\n| ZeroToOneHandler | transfer     | 654   | 0       | 0        |\n|------------------+--------------+-------+---------+----------|\n| ZeroToOneHandler | transferFrom | 721   | 0       | 0        |\n╰------------------+--------------+-------+---------+----------╯\n\nLogs:\n  Bound result 1000000000000000000\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 1000000000000000000000000000\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\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 126.44ms (123.85ms CPU time)\n\nRan 2 test suites in 127.92ms (133.22ms CPU time): 27 tests passed, 0 failed, 0 skipped (27 total tests)\n","passed":true},{"durationMs":45,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"ZeroToOne.approve(address,uint256)\",\"ZeroToOne.transfer(address,uint256)\",\"ZeroToOne.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":3,\"README.md\":97,\"foundry.toml\":19,\"remappings.txt\":1,\"src/ZeroToOne.sol\":77,\"test/ZeroToOne.invariant.t.sol\":73,\"test/ZeroToOne.t.sol\":276},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":484,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":282,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/ZeroToOne.sol:17: Large Numeric Literal","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"038c9780e2d7c78673ad7a06318ec0ee0ec0a5070bf7640772a6b634f17b6735","verifiedTreeHash":"5ddecabaf54f99cd822b191a5947ee2019fba437","verifierVersion":"0.1.0+f8d984f2"},{"checks":[{"durationMs":1315,"exitCode":0,"name":"build","output":"Compiling 23 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.22s\nCompiler run successful!\n","passed":true},{"durationMs":5302,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 26 tests for test/ZeroToOne.t.sol:ZeroToOneTest\n[PASS] testFuzz_transferAboveBalanceReverts(uint256,uint256) (runs: 256, μ: 91649, ~: 93006)\nLogs:\n  Bound result 999999999999999999999999996\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639935\n\n[PASS] testFuzz_transferConservesBalances(address,uint256) (runs: 256, μ: 89682, ~: 90673)\nLogs:\n  Bound result 628220171831311047687707889\n\n[PASS] testFuzz_transferFromRespectsAllowance(uint256,uint256) (runs: 256, μ: 115433, ~: 135438)\nLogs:\n  Bound result 15309\n  Bound result 659918\n\n[PASS] test_approveRevertsForZeroSpender() (gas: 30723)\n[PASS] test_approveSetsAndReplacesAllowance() (gas: 103369)\n[PASS] test_constructorEmitsMintTransfer() (gas: 5844)\n[PASS] test_constructorTakesNoArguments() (gas: 3541)\n[PASS] test_deployerCannotMoveAHoldersBalance() (gas: 92512)\n[PASS] test_launchSplitAddsUpToTheSupply() (gas: 9778)\n[PASS] test_metadata() (gas: 26659)\n[PASS] test_noAdminSurfaceExists() (gas: 458095)\n[PASS] test_rejectsEther() (gas: 36811)\n[PASS] test_runtimeHasNoDelegatecallCallcodeOrSelfdestruct() (gas: 765354)\n[PASS] test_transferFromInfiniteAllowanceIsNotDecreased() (gas: 115416)\n[PASS] test_transferFromRevertsAboveAllowance() (gas: 87233)\n[PASS] test_transferFromRevertsOnInsufficientBalance() (gas: 85735)\n[PASS] test_transferFromRevertsToZeroAddress() (gas: 83320)\n[PASS] test_transferFromRevertsWithoutAllowance() (gas: 33550)\n[PASS] test_transferFromSpendsAllowance() (gas: 149942)\n[PASS] test_transferMovesExactAmount() (gas: 86698)\n[PASS] test_transferRevertsOnInsufficientBalance() (gas: 85284)\n[PASS] test_transferRevertsToZeroAddress() (gas: 30778)\n[PASS] test_transferToSelfChangesNothing() (gas: 41049)\n[PASS] test_transferWholeBalance() (gas: 71084)\n[PASS] test_transferZeroSucceeds() (gas: 43014)\n[PASS] test_wholeSupplyMintedToDeployer() (gas: 37595)\nSuite result: ok. 26 passed; 0 failed; 0 skipped; finished in 51.92ms (83.88ms CPU time)\n\nRan 17 tests for test/ZeroToOne.edge.t.sol:ZeroToOneEdgeTest\n[PASS] testFuzz_delegatedSelfTransferOnlyConsumesFiniteAllowance(uint256,uint256) (runs: 1000, μ: 132945, ~: 133279)\nLogs:\n  Bound result 22\n  Bound result 585362911420551602697209153019172685493\n\n[PASS] testFuzz_insufficientAllowancePreservesAllState(uint256,uint256) (runs: 1000, μ: 123856, ~: 124298)\nLogs:\n  Bound result 584498791508941413879059204\n  Bound result 687294364581194676268404836\n\n[PASS] testFuzz_insufficientBalanceRollsBackAllowance(uint256,uint256,uint256) (runs: 1000, μ: 280488, ~: 281391)\nLogs:\n  Bound result 575697461723571542887275192\n  Bound result 15141855131849518413261572235112580896966\n  Bound result 15141855131848942715799848663672014198415\n\n[PASS] testFuzz_invalidReceiverRollsBackAllowance(uint256,uint256) (runs: 1000, μ: 123116, ~: 123724)\nLogs:\n  Bound result 2148\n\n[PASS] testFuzz_roundTripHasNoFeeAndPreservesApprovals(uint256,uint256) (runs: 1000, μ: 254377, ~: 254999)\nLogs:\n  Bound result 21566101622123\n\n[PASS] test_allowanceIsScopedToBothOwnerAndSpender() (gas: 219682)\n[PASS] test_contractFactoryDistributionClaimsAndTradingTransfersAreExact() (gas: 639765)\n[PASS] test_exactAllowanceCanMoveWholeSupplyButCannotBeReplayed() (gas: 227886)\n[PASS] test_largestFiniteAllowanceIsNotTreatedAsUnlimited() (gas: 139981)\n[PASS] test_maximumAmountCannotWrapBalancesOrConsumeUnlimitedAllowance() (gas: 146794)\n[PASS] test_oneWeiTransferEmitsExactEvent() (gas: 78668)\n[PASS] test_ownerUsingTransferFromStillNeedsApproval() (gas: 157205)\n[PASS] test_selfTransferStillRequiresSufficientBalance() (gas: 182350)\n[PASS] test_tokenContractCanReceiveWithoutAReceiverCallback() (gas: 84596)\n[PASS] test_unlimitedApprovalCanBeReplacedThenRevoked() (gas: 346694)\n[PASS] test_zeroAddressesAreRejectedEvenForZeroAmounts() (gas: 111261)\n[PASS] test_zeroTransfersEmitAndNeedNeitherBalanceNorAllowance() (gas: 120484)\nSuite result: ok. 17 passed; 0 failed; 0 skipped; finished in 52.01ms (256.53ms CPU time)\n\nRan 2 tests for test/ZeroToOne.invariant.t.sol:ZeroToOneInvariantTest\n[PASS]\nZeroToOneInvariantTest invariants:\n[PASS] invariant_allowancesMatchApprovalsAndSuccessfulSpends\n[PASS] invariant_balancesSumToSupply\n[PASS] invariant_eachBalanceMatchesAuthorizedMovements\n[PASS] invariant_noTokensOrApprovalsLeakToUntrackedAddresses\n[PASS] invariant_supplyIsFixed\n ZeroToOneInvariantTest invariants (runs: 256, calls: 16384, reverts: 0)\n\n╭------------------+---------------------+-------+---------+----------╮\n| Contract         | Selector            | Calls | Reverts | Discards |\n+=====================================================================+\n| ZeroToOneHandler | approve             | 1490  | 0       | 0        |\n|------------------+---------------------+-------+---------+----------|\n| ZeroToOneHandler | approveUnlimited    | 1449  | 0       | 0        |\n|------------------+---------------------+-------+---------+----------|\n| ZeroToOneHandler | rejectOverspend     | 1481  | 0       | 0        |\n|------------------+---------------------+-------+---------+----------|\n| ZeroToOneHandler | rejectUnauthorized  | 1422  | 0       | 0        |\n|------------------+---------------------+-------+---------+----------|\n| ZeroToOneHandler | rejectZeroReceiver  | 1468  | 0       | 0        |\n|------------------+---------------------+-------+---------+----------|\n| ZeroToOneHandler | rejectZeroSpender   | 1469  | 0       | 0        |\n|------------------+---------------------+-------+---------+----------|\n| ZeroToOneHandler | revoke              | 1509  | 0       | 0        |\n|------------------+---------------------+-------+---------+----------|\n| ZeroToOneHandler | selfTransfer        | 1503  | 0       | 0        |\n|------------------+---------------------+-------+---------+----------|\n| ZeroToOneHandler | transfer            | 1571  | 0       | 0        |\n|------------------+---------------------+-------+---------+----------|\n| ZeroToOneHandler | transferFrom        | 1528  | 0       | 0        |\n|------------------+---------------------+-------+---------+----------|\n| ZeroToOneHandler | transferFullBalance | 1494  | 0       | 0        |\n╰------------------+---------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 250000000000000000000000000\n  Bound result 250000000000000000000000000\n  Bound result 250000000000000000000000000\n  Bound result 125000000000000000000000000\n  Bound result 125000000000000000000000000\n  Bound result 125000000000000000000000000\n  Bound result 125000000000000000000000000\n  Bound result 115792089237316195423570985008687907853269984665640414039457584007913129639934\n  Bound result 7622\n  Bound result 8315\n  Bound result 1313373042\n  Bound result 53591\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129649584\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129668484\n  Bound result 9161\n  Bound result 370\n  Bound result 23294\n  Bound result 6895\n  Bound result 4824\n  Bound result 249999999999999999999999997\n  Bound result 3155\n  Bound result 115792089237316195423570985008687907853269984665640314039557584007913129639934\n  Bound result 0\n  Bound result 242\n  Bound result 1669\n  Bound result 1000000000000000001\n  Bound result 23264188985349092070\n  Bound result 614\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129639938\n  Bound result 250000000000000000000000002\n  Bound result 0\n  Bound result 10\n  Bound result 0\n  Bound result 249999999999999999999991684\n  Bound result 0\n  Bound result 242\n  Bound result 1000000000000000000000000000\n  Bound result 18\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129676557\n  Bound result 0\n  Bound result 1558\n  Bound result 250000000000000000000000000\n  Bound result 785629261701883967118951894\n  Bound result 2831\n  Bound result 3272\n  Bound result 0\n  Bound result 0\n  Bound result 3189469126\n  Bound result 1463\n  Bound result 880000000000000000000000000\n  Bound result 0\n  Bound result 6\n  Bound result 14146877658148462921372924649500124\n\n[PASS] test_handlerSequenceExercisesSpendingAndFailureRollback() (gas: 1610719)\nLogs:\n  Bound result 250000000000000000000000000\n  Bound result 250000000000000000000000000\n  Bound result 250000000000000000000000000\n  Bound result 125000000000000000000000000\n  Bound result 125000000000000000000000000\n  Bound result 125000000000000000000000000\n  Bound result 125000000000000000000000000\n  Bound result 1\n  Bound result 3\n  Bound result 3\n  Bound result 1\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639934\n  Bound result 1\n  Bound result 1\n  Bound result 500000000000000000000000001\n\nSuite result: ok. 2 passed; 0 failed; 0 skipped; finished in 5.21s (5.21s CPU time)\n\nRan 3 test suites in 5.21s (5.31s 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\":[\"ZeroToOne.approve(address,uint256)\",\"ZeroToOne.transfer(address,uint256)\",\"ZeroToOne.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":3,\"README.md\":97,\"foundry.toml\":19,\"remappings.txt\":1,\"src/ZeroToOne.sol\":77,\"test/README.md\":68,\"test/ZeroToOne.edge.t.sol\":333,\"test/ZeroToOne.invariant.t.sol\":242,\"test/ZeroToOne.t.sol\":276},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"63697317db89925f62b92149b33847e6a7c901ca104f5020e76302ab13dbb331","verifiedTreeHash":"157a33dc5e9906c8d22f45411d12f3f445280563","verifierVersion":"0.1.0+f8d984f2"},{"checks":[{"durationMs":1154,"exitCode":0,"name":"build","output":"Compiling 22 files with Solc 0.8.26\nSolc 0.8.26 finished in 928.73ms\nCompiler run successful!\n","passed":true},{"durationMs":244,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 26 tests for test/ZeroToOne.t.sol:ZeroToOneTest\n[PASS] testFuzz_transferAboveBalanceReverts(uint256,uint256) (runs: 256, μ: 92595, ~: 93082)\nLogs:\n  Bound result 384010467460301928736998184\n  Bound result 25317935323136181539958892210911\n\n[PASS] testFuzz_transferConservesBalances(address,uint256) (runs: 256, μ: 90470, ~: 90691)\nLogs:\n  Bound result 7\n\n[PASS] testFuzz_transferFromRespectsAllowance(uint256,uint256) (runs: 256, μ: 117035, ~: 135450)\nLogs:\n  Bound result 95\n  Bound result 6\n\n[PASS] test_approveRevertsForZeroSpender() (gas: 30723)\n[PASS] test_approveSetsAndReplacesAllowance() (gas: 103369)\n[PASS] test_constructorEmitsMintTransfer() (gas: 5844)\n[PASS] test_constructorTakesNoArguments() (gas: 3541)\n[PASS] test_deployerCannotMoveAHoldersBalance() (gas: 92512)\n[PASS] test_launchSplitAddsUpToTheSupply() (gas: 9778)\n[PASS] test_metadata() (gas: 26659)\n[PASS] test_noAdminSurfaceExists() (gas: 458095)\n[PASS] test_rejectsEther() (gas: 36811)\n[PASS] test_runtimeHasNoDelegatecallCallcodeOrSelfdestruct() (gas: 765354)\n[PASS] test_transferFromInfiniteAllowanceIsNotDecreased() (gas: 115416)\n[PASS] test_transferFromRevertsAboveAllowance() (gas: 87233)\n[PASS] test_transferFromRevertsOnInsufficientBalance() (gas: 85735)\n[PASS] test_transferFromRevertsToZeroAddress() (gas: 83320)\n[PASS] test_transferFromRevertsWithoutAllowance() (gas: 33550)\n[PASS] test_transferFromSpendsAllowance() (gas: 149942)\n[PASS] test_transferMovesExactAmount() (gas: 86698)\n[PASS] test_transferRevertsOnInsufficientBalance() (gas: 85284)\n[PASS] test_transferRevertsToZeroAddress() (gas: 30778)\n[PASS] test_transferToSelfChangesNothing() (gas: 41049)\n[PASS] test_transferWholeBalance() (gas: 71084)\n[PASS] test_transferZeroSucceeds() (gas: 43014)\n[PASS] test_wholeSupplyMintedToDeployer() (gas: 37595)\nSuite result: ok. 26 passed; 0 failed; 0 skipped; finished in 10.54ms (32.83ms CPU time)\n\nRan 1 test for test/ZeroToOne.invariant.t.sol:ZeroToOneInvariantTest\n[PASS]\nZeroToOneInvariantTest invariants:\n[PASS] invariant_balancesSumToSupply\n[PASS] invariant_supplyIsFixed\n ZeroToOneInvariantTest invariants (runs: 64, calls: 2048, reverts: 0)\n\n╭------------------+--------------+-------+---------+----------╮\n| Contract         | Selector     | Calls | Reverts | Discards |\n+==============================================================+\n| ZeroToOneHandler | approve      | 683   | 0       | 0        |\n|------------------+--------------+-------+---------+----------|\n| ZeroToOneHandler | transfer     | 644   | 0       | 0        |\n|------------------+--------------+-------+---------+----------|\n| ZeroToOneHandler | transferFrom | 721   | 0       | 0        |\n╰------------------+--------------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 0\n  Bound result 3936\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 255\n  Bound result 2240\n  Bound result 0\n  Bound result 235\n  Bound result 0\n  Bound result 2\n  Bound result 470\n  Bound result 257\n  Bound result 40\n  Bound result 0\n  Bound result 7184328397938109714471010\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 163.13ms (159.09ms CPU time)\n\nRan 2 test suites in 164.28ms (173.67ms CPU time): 27 tests passed, 0 failed, 0 skipped (27 total tests)\n","passed":true},{"durationMs":50,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"ZeroToOne.approve(address,uint256)\",\"ZeroToOne.transfer(address,uint256)\",\"ZeroToOne.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":3,\"README.md\":97,\"foundry.toml\":19,\"launch.json\":20,\"remappings.txt\":1,\"src/ZeroToOne.sol\":77,\"test/ZeroToOne.invariant.t.sol\":73,\"test/ZeroToOne.t.sol\":276},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"d747f7677ab905e3fb0a3448dd45cba77e330dab86904b30266b2a58ac076b32","verifiedTreeHash":"6b3f4a25b8bbd9116e898ab433ad4ea5e3d5cb54","verifierVersion":"0.1.0+f8d984f2"}]}