{"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":"8a38802b-2baa-4a49-9e73-42cadef35579","kind":"shape:chain","nodes":[{"acceptedSubmissionHash":"1f1c912a07464cb1b661f1ce5a0ba09e267eef41a965a38c6b80152d3ea06a81","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":"812378436f5d03b6c881119e96d097b05d45ea74a1ade712bccf1e3e8c8cff0e","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":"8fcc198957e7b8af7b5bc14cd664891e77e87a40de24b808a04cc05ff0f5787a","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":"582c1bf49d68db53ba2e69e8edfe64fb773fdbb1f1dd6c5212e02e1ecdcecd96","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":"d9eb801943b3983f88d94fbf3a8290f28a21848e13380d197935c30e4d216795","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":"ffdd441c2ac235e5c1aedc6650121169c862c062ff41611ab440676cc2cb634b","dependsOn":[],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"d59561da3b378461b7c749f6bd5084477d44993aa94972ddea90f542535751df","skillId":"build-contract-project","tools":[]},"key":"build_contract_project","kind":"code","role":"implement","skillHash":"d59561da3b378461b7c749f6bd5084477d44993aa94972ddea90f542535751df","skillId":"build-contract-project","state":"accepted"},{"acceptedSubmissionHash":"9cff20cef51d406f72b79d375e605668c521b41bfe441b8e0cdffe8bb647e336","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"tools":[]},"key":"manifest","kind":"code","role":"integrate","skillHash":null,"skillId":null,"state":"accepted"},{"acceptedSubmissionHash":"2555f93fb5eabccc78127b9c20a40ba3485041626a9e6678722ce7d2ea352234","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: Squeek (SQK).\nToken name: Squeek\nToken symbol: SQK\nToken supply: 1,000,000,000 with 18 decimals, all minted once to the deployer in the constructor.","parentJobId":null,"planHash":"b83061bb15bd9cd12d592242e05b6bc89c484b0df98d1ed471b27d575e65af79","previousHash":"0000000000000000000000000000000000000000000000000000000000000000","projectId":"8a38802b-2baa-4a49-9e73-42cadef35579","publication":{"commit":null,"deliveredAt":null,"repoUrl":"https://github.com/identity-md-launches/launch-2102-squeek"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[{"agentId":"52587","feedbackHash":"e004dd555d7c82e71aa1d563abdd2d406998e75d8f8b8bdb4ac170002e9dd3ae","nodeKey":"audit_economics","submissionHash":"1f1c912a07464cb1b661f1ce5a0ba09e267eef41a965a38c6b80152d3ea06a81","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52127","feedbackHash":"6acf147865fd688b44d2d980936c6f2c3c87af7b087ac692411821f44f7adbcb","nodeKey":"audit_flow","submissionHash":"812378436f5d03b6c881119e96d097b05d45ea74a1ade712bccf1e3e8c8cff0e","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51484","feedbackHash":"197aec65073b28b3c9f968bf8737aeb1e85fe90c2818707bd1af3f917f2b5a39","nodeKey":"audit_judge","submissionHash":"8fcc198957e7b8af7b5bc14cd664891e77e87a40de24b808a04cc05ff0f5787a","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52584","feedbackHash":"e1846b7c25176db28e29e1cd2196bd3b9f16f01fd34ef21e3cc766abbd949570","nodeKey":"audit_math","submissionHash":"582c1bf49d68db53ba2e69e8edfe64fb773fdbb1f1dd6c5212e02e1ecdcecd96","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51744","feedbackHash":"70132bc2f8251ca7166a1484b463224600509ea07f764aabd2f64c7b1c30bbb8","nodeKey":"audit_permissions","submissionHash":"d9eb801943b3983f88d94fbf3a8290f28a21848e13380d197935c30e4d216795","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51155","feedbackHash":"47a923fbb5f5f4e1c059338b196192a3a4c0c9c61e6cd0d6d54803da666da4fb","nodeKey":"build_contract_project","submissionHash":"ffdd441c2ac235e5c1aedc6650121169c862c062ff41611ab440676cc2cb634b","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"52233","feedbackHash":"af5ddd6f2bc66d2cc5745d65baa51132d021ec0716a6a52ce871a16484811d83","nodeKey":"manifest","submissionHash":"9cff20cef51d406f72b79d375e605668c521b41bfe441b8e0cdffe8bb647e336","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51407","feedbackHash":"0f291791fd5d34e9368290f299e94e10430b169ab7f6e82f103f9c3852b44c9f","nodeKey":"write_foundry_tests","submissionHash":"2555f93fb5eabccc78127b9c20a40ba3485041626a9e6678722ce7d2ea352234","tag1":"verification:checks","tag2":"acceptance-v2","value":1}],"site":null,"snapshotHash":"4365b77c5293d01fee1a86ebf614919fb5ec628f7efe10901812bac0133a50c2","state":"completed","submissions":[{"artifacts":[],"attempt":1,"bundleHash":null,"device":"fb1af3f11ddf6470","findings":[],"hash":"1f1c912a07464cb1b661f1ce5a0ba09e267eef41a965a38c6b80152d3ea06a81","nodeId":"8ea65461-a81f-47e2-94d0-eefa7ea6619c","outcome":"completed","summary":"I found no defects in the economics of Squeek (SQK). `.imd-findings.json` contains an empty findings list and a coverage row for each of the three entry points, plus three invariant rows. Nothing in the tree was changed: the one test I wrote under `test/scratch/` was deleted after it ran.\n\n**The code:** `src/Squeek.sol` is a plain OpenZeppelin v5.0.2 ERC-20. The constructor takes no arguments and mints 10^27 units (1 billion × 10^18) once to whoever deploys it. There is no owner, no fee or burn on transfer, and no pause, blacklist, mint or burn function. The compiled ABI matches: the only functions that change state are `approve`, `transfer` and `transferFrom`.\n\n**Checks I ran:**\n- **Library is unmodified:** I downloaded the OpenZeppelin v5.0.2 archive; its SHA-256 matches `DEPENDENCIES.json`. All six vendored files are byte-identical to it.\n- **Economic Security guide:**\n  - Transfers move exactly the amount sent, with no fee or rebase, so a pool balance check reads exactly what arrived.\n  - The token calls no outside contract, oracle or price feed.\n  - Nobody holds a special role that could take or freeze balances.\n  - The ERC-20 behaviour is standard: an unlimited allowance never decreases, and calls with zero amounts or zero addresses behave as OpenZeppelin defines.\n- **Invariant guide:**\n  - The total supply stays fixed and equals the sum of all balances, because minting happens only in the constructor and nothing can burn.\n  - A finite allowance drops by exactly the amount spent.\n  - A failed call (low balance or low allowance) reverts and changes nothing.\n  - The repo's 30 tests, including the invariant suite, all passed.\n- **Flow Gap guide:** I ran a 512-run fuzz test of the launch flow:\n  - A stand-in factory deploys the token via CREATE2 and holds the whole supply.\n  - It sends 10% to a distributor address, 80% to a pool-manager address and the rest to the remainder address.\n  - A trader buys from and sells back to the pool address.\n  - Every balance change was exact and the supply never changed. It passed.\n- **Static analysis:** the one tool hit (a \"large numeric literal\" at line 11) is the supply constant, which is correct as written, so I didn't report it.\n\n**What I couldn't cover:**\n- **Protected integration tests:** the repo doesn't include the launch harness or Uniswap v4 code they need, so I couldn't run them. The real pool seed and swaps are untested here; my fuzz test only used plain addresses in place of the pool manager and distributor.\n- **Manifest:** there is no `launch.json` yet, so it wasn't reviewed.\n\nThe README already documents the usual ERC-20 limits: the approval race, and tokens sent to the contract itself being stuck. I didn't count these as defects.","treeHash":null,"usage":{"cachedInputTokens":411666,"inputTokens":20,"model":"claude-opus-5-5","outputTokens":5485,"runtime":"claude","turns":10,"wallClockMs":87196}},{"artifacts":[],"attempt":1,"bundleHash":"fe11e094d6a67e009a2644c479abeb5f8a119028115713e1dc12783f4b949ca9","device":"06cf148faa51546b","findings":[],"hash":"2555f93fb5eabccc78127b9c20a40ba3485041626a9e6678722ce7d2ea352234","nodeId":"24790da5-7c71-40ad-9d36-6d9c01653d53","outcome":"completed","summary":"Added 17 boundary and failure-path tests, and expanded invariants to mix successful and rejected operations across four actors.\n\n`forge build` and `forge test` pass with the supplied seed: **47 tests passed**, including **32,768 invariant calls**.\n\nOnly `test/` changed. No implementation defects found.","treeHash":"dedd84d9b877a262f858b2e529a2b7551c9c0be3","usage":{"cachedInputTokens":553600,"inputTokens":73483,"model":"gpt-6-astra","outputTokens":11750,"runtime":"codex","turns":4,"wallClockMs":308919}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"6f41bd9b44d3e708","findings":[],"hash":"582c1bf49d68db53ba2e69e8edfe64fb773fdbb1f1dd6c5212e02e1ecdcecd96","nodeId":"87b6f137-de09-45ca-b3ae-005a9b7c856c","outcome":"completed","summary":"I found no math defects in Squeek, so `.imd-findings.json` has an empty findings list and four coverage rows, all marked `holds`.\n\n**What the code is:** `src/Squeek.sol` is 16 lines. It mints `1_000_000_000 * 10 ** 18` (exactly 1e27) to the deployer once, in the constructor. Everything else is the unmodified OpenZeppelin v5.0.2 ERC20 the project includes. The token has no division, rounding, scaling, downcasts, external calls, payable functions, `bytes` decoding or address-sentinel branches. So most items in the Math Precision and Boundary guides have nothing to apply to, and the Numerical Gap guide has no pair of precision, invariant and boundary concerns to combine.\n\n**What I checked:**\n- **Unchecked arithmetic in OpenZeppelin's code:**\n  - The balance subtraction only runs after the `fromBalance < value` check reverts on an overdraw.\n  - The allowance subtraction only runs after the `currentAllowance < value` check.\n  - Adding to a recipient's balance can't overflow, because all balances add up to the fixed 1e27 supply and no mint or burn is possible after deployment.\n- **Edge inputs, in a scratch test that passed and was then deleted:**\n  - Transfers of 0, of the full supply, and of the balance + 1 (reverts).\n  - A self-transfer, and a transfer to `address(0)` (reverts).\n  - An allowance of `type(uint256).max` stays unchanged when spent.\n  - An exact allowance drops to 0 after use, and the next 1-wei spend reverts.\n  - `transferFrom` for 0 works with no allowance.\n  - A fuzz test showed the total of all balances stays at 1e27.\n- **Existing tests:** 32 passed, 0 failed, including the invariant suite (128 runs, 8,192 calls).\n- **Aderyn's \"large numeric literal\" warning:** a style flag only. The value is computed when the contract is compiled, and the test confirmed it equals exactly 1e27 with `decimals() == 18`.\n\nI didn't run the protected launch tests, because they import harness files (`floor/`, `src/LaunchLiquidity.sol`) that aren't in this tree.\n\nThe tree has untracked files I didn't create: `.bashrc`, `.profile`, `.zshrc`, `.gitconfig`, `.mcp.json`, `.claude/`, `.vscode`, `.idea` and `.gitmodules`. I didn't open or change them. Check them before anything is packaged from this directory, since a submission that includes configuration files is rejected.","treeHash":null,"usage":{"cachedInputTokens":323067,"inputTokens":16,"model":"claude-opus-5-5","outputTokens":4383,"runtime":"claude","turns":8,"wallClockMs":77249}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"fd5402086dce252e","findings":[],"hash":"812378436f5d03b6c881119e96d097b05d45ea74a1ade712bccf1e3e8c8cff0e","nodeId":"07cd64cc-a0bf-46a7-b5ab-56cb048a6c25","outcome":"completed","summary":"The review is complete. The findings file is written and the tree holds no other changes.\n\n**Result: no defects found in Squeek.** The file `.imd-findings.json` holds an empty findings list and seven coverage rows, all `holds`.\n\nWhat I checked, against the Execution Trace, Periphery and First Principles guides:\n\n- **Execution flow.** Each of the three state-changing entry points was traced through the vendored OpenZeppelin v5.0.2 code to its storage writes and revert paths. Zero-address sender, receiver and spender all revert. Insufficient balance or allowance reverts atomically, with the allowance rolled back. Finite allowances decrement, the maximum stays sticky, and a spender equal to the owner still needs allowance. Every transfer moves its exact amount with no fee, callback or exemption logic, so the launch flows arrive whole.\n- **Periphery.** I downloaded the upstream v5.0.2 archive. Its hash matches the one recorded in DEPENDENCIES.json, and all five vendored Solidity files plus the license are byte-identical to upstream. No base-contract logic was altered.\n- **First principles and deployment.** The constructor takes no arguments, is nonpayable, makes no external call, and mints exactly 10^27 units to its immediate deployer under both CREATE and CREATE2. The compiled ABI exposes no mint, burn, admin, initialize, upgrade, receive or fallback surface. Disassembly of the runtime shows no CALL-family or SELFDESTRUCT opcodes. Metadata hash is none and decimals return 18, matching the README.\n- **Static-analysis lead.** The aderyn large-literal note is a compile-time constant that evaluates to exactly the stated supply, so it is not a defect.\n\nThe existing suite of 30 tests passed with the README's seed. Ten additional scratch probes covering constructor reentrancy, value rejection, allowance boundaries, stranded transfers and fuzzed round-trips all passed and were removed afterwards. The one behaviour worth noting as a trust assumption rather than a defect is the standard ERC-20 approve race, which the README already documents.","treeHash":null,"usage":{"cachedInputTokens":600316,"inputTokens":258,"model":"claude-fable-5-1","outputTokens":11458,"runtime":"claude","turns":31,"wallClockMs":201420}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"6ed09c2eb1ff6aec","findings":[],"hash":"8fcc198957e7b8af7b5bc14cd664891e77e87a40de24b808a04cc05ff0f5787a","nodeId":"6ace2c5a-f257-44ed-8e7b-0386040a1057","outcome":"completed","summary":"I found no defects in Squeek, so the findings list in `.imd-findings.json` is empty. All four specialists and the test writer also reported nothing, so there was nothing to reproduce or merge.\n\n- **The contract:** `src/Squeek.sol` is a plain OpenZeppelin ERC-20. Its constructor mints `1_000_000_000 * 10 ** 18` once to the deployer, and nothing else can mint. It has no owner, no admin functions, no transfer fee or burn, and it doesn't override any ERC-20 functions. That means transfers to the distributor, seeding the pool and swaps all move exactly the amount stated.\n- **Coverage:** I traced each of the three entry points and marked them `holds`: `approve`, `transfer` and `transferFrom`. I added a fourth row for the fixed-supply invariant.\n- **The manifest:** `launch.json` matches the contract. The supply is `1000000000000000000000000000`, decimals are 18, `constructorArgs` is empty to match the constructor, there are no application contracts, and the contract name is short enough. It uses only keys from the schema.\n- **Static analysis:** slither reported nothing. aderyn's one line, \"large numeric literal\" at `src/Squeek.sol:11`, is about how the supply constant is written, not a defect, so I didn't report it.\n\nI didn't run the protected test suite. I read the contract and checked it by hand, and the review changes no files.","treeHash":null,"usage":{"cachedInputTokens":138541,"inputTokens":8,"model":"claude-opus-5-5","outputTokens":1406,"runtime":"claude","turns":4,"wallClockMs":17900}},{"artifacts":[],"attempt":1,"bundleHash":"358f6083cae2b1267107c3609c67449e9e9f55c8e1ae06ab8ec8fb340f07df3e","device":"0da932e4a0b9bd4a","findings":[],"hash":"9cff20cef51d406f72b79d375e605668c521b41bfe441b8e0cdffe8bb647e336","nodeId":"6a9fc2fc-e51a-4c5f-8ce1-45773abd7f3c","outcome":"completed","summary":"Created [launch.json](/home/imd/.identitymd/work/8a38802b-2baa-4a49-9e73-42cadef35579/6a9fc2fc-e51a-4c5f-8ce1-45773abd7f3c/launch.json) matching Squeek’s constructor, supply, and required pool/economics values.\n\n`forge build` passed. All 30 repository tests passed with the supplied fuzz seed. Only `launch.json` is changed for submission.","treeHash":"02e03580216e2c175afcdccdeab248a2d94c2291","usage":{"cachedInputTokens":186496,"inputTokens":24134,"model":"gpt-6-astra","outputTokens":2616,"runtime":"codex","turns":3,"wallClockMs":83128}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"81314195390981c7","findings":[],"hash":"d9eb801943b3983f88d94fbf3a8290f28a21848e13380d197935c30e4d216795","nodeId":"0596b1b3-91be-4b15-936b-b502f255a857","outcome":"completed","summary":"I found no defects in Squeek's access control, so `.imd-findings.json` has an empty findings list plus a coverage record. I changed nothing else in the repository.\n\n**What I checked:** `src/Squeek.sol` and the OpenZeppelin v5.0.2 code it builds on in `lib/`, covering the Access Control, Trust Gap and Asymmetry failure modes.\n- **No privileged roles:** the token has no owner, admin, minter, pause, blacklist, `burnFrom`, upgrade or forwarder logic. Its only state change outside normal ERC-20 behaviour is the one-time `_mint(msg.sender, 1e27)` in the constructor, so the deployer (the factory) gets the whole 1,000,000,000 SQK supply, and nothing can mint more later.\n- **Standard sender:** `_msgSender()` returns plain `msg.sender`, with no trusted-forwarder override. `approve` and `transfer` act only on the caller's own allowance or balance. `transferFrom` checks and reduces the allowance before moving tokens, and an unlimited (`type(uint256).max`) allowance is left untouched.\n- **No asymmetry:** there are no fees, burns or exemptions, so the transfers to the distributor, the pool seed and the swaps all move exact amounts.\n- **No tampering:** the vendored OpenZeppelin files match standard v5.0.2. I compared them by reading the code, not by checking their hash.\n- **Static analysis:** the only tool lead, aderyn's \"large numeric literal\" at `src/Squeek.sol:11`, is the supply constant written with underscores and is not a defect. The well-known `approve` front-running race is standard ERC-20 behaviour, so I did not report it.\n\n**Coverage:** `approve`, `transfer` and `transferFrom` are all marked `holds`, with one extra row confirming there is no privileged role and the supply cannot grow. Nothing was left unreached.\n\n**Tests:** the existing suite passes (30 of 30). I wrote no proof test because there was no finding to prove. The project's protected launch checks need launch settings this machine doesn't have, so I traced them by reading rather than running them.","treeHash":null,"usage":{"cachedInputTokens":229140,"inputTokens":12,"model":"claude-opus-5-5","outputTokens":2312,"runtime":"claude","turns":6,"wallClockMs":32301}},{"artifacts":[],"attempt":1,"bundleHash":"08384d9b2ae532bee993138afb7e0ae50b57506846ed0ebd2acc97a694418a69","device":"a84da3707fa87187","findings":[],"hash":"ffdd441c2ac235e5c1aedc6650121169c862c062ff41611ab440676cc2cb634b","nodeId":"8f6783ab-3518-4350-b3de-12a1dfd1dae4","outcome":"completed","summary":"Implemented Squeek (SQK): 1,000,000,000 tokens with 18 decimals, minted once to the deployer. Dependencies are vendored, and deployment assumptions and responsibilities are documented in README.md.\n\nVerified with Solidity 0.8.26:\n\n- `forge build` — passed, including a clean offline build.\n- `forge test` — 30 passed using the supplied fuzz seed.\n- `forge fmt --check` — passed.\n\nProtected launch integration tests require the verifier’s separate harness.","treeHash":"7e029623c41d4fcb39ee31f0753a36f6aeae9e48","usage":{"cachedInputTokens":513920,"inputTokens":49631,"model":"gpt-6-astra","outputTokens":14571,"runtime":"codex","turns":5,"wallClockMs":362725}}],"verification":[{"checks":[{"durationMs":1642,"exitCode":0,"name":"build","output":"Compiling 28 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.55s\nCompiler run successful!\n","passed":true},{"durationMs":10738,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 17 tests for test/Squeek.adversarial.t.sol:SqueekAdversarialTest\n[PASS] testFuzz_ApprovalsAreIsolatedByOwnerAndSpender(uint256,uint256) (runs: 1000, μ: 489411, ~: 490076)\n[PASS] testFuzz_FailedSpendPreservesApprovalForLaterFunding(uint256,bool) (runs: 1000, μ: 370206, ~: 368632)\nLogs:\n  Bound result 615879347537022141500690939\n\n[PASS] testFuzz_SplitDelegatedTransferMatchesSingleSpend(uint256,uint256) (runs: 1000, μ: 357244, ~: 359147)\nLogs:\n  Bound result 51716068651962940752072001\n  Bound result 15426397339602654799476188\n\n[PASS] testFuzz_TransferRoundTripRestoresBalancesAndLeavesApprovalsAlone(uint256,uint256,uint256) (runs: 1000, μ: 310061, ~: 311037)\nLogs:\n  Bound result 875951789434347495068963367\n  Bound result 817175814047543534044108447\n\n[PASS] testFuzz_TruncatedStateChangingCalldataRevertsWithoutChangingState(uint256,uint256) (runs: 1000, μ: 225172, ~: 225246)\nLogs:\n  Bound result 16\n\n[PASS] test_ContractRecipientDoesNotNeedAReceiverHook() (gas: 291256)\n[PASS] test_MaxMinusOneAllowanceIsFiniteAndDecreasesOnEverySpend() (gas: 240532)\n[PASS] test_MaximumTransferFailsWithoutArithmeticPanicAndHolderCanStillSpend() (gas: 165905)\n[PASS] test_OneSmallestUnitMovesExactlyAndCanBeReturned() (gas: 143112)\n[PASS] test_PayableCallsCannotMoveTokensOrSetApprovals() (gas: 239759)\n[PASS] test_ReplacingUnlimitedApprovalWithFiniteApprovalEnforcesNewLimit() (gas: 331728)\n[PASS] test_RevokedUnlimitedApprovalStaysRevokedAfterHolderIsRefunded() (gas: 266581)\n[PASS] test_SelfApprovalAllowsOwnerToUseTransferFromAndIsConsumed() (gas: 167347)\n[PASS] test_TokensSentToTokenContractRemainPartOfSupply() (gas: 92352)\n[PASS] test_UnlimitedApprovalCannotSpendMoreThanBalance() (gas: 218756)\n[PASS] test_UnlimitedApprovalDoesNotAllowZeroRecipient() (gas: 122229)\n[PASS] test_ZeroValueOperationsStillRejectInvalidAddresses() (gas: 192461)\nSuite result: ok. 17 passed; 0 failed; 0 skipped; finished in 109.14ms (509.13ms CPU time)\n\nRan 29 tests for test/Squeek.t.sol:SqueekTest\n[PASS] testFuzz_ApproveAnyAmount(uint256) (runs: 512, μ: 96454, ~: 96530)\n[PASS] testFuzz_DelegatedTransferSpendsOnlyApprovedAmount(uint256,uint256) (runs: 512, μ: 163199, ~: 164887)\nLogs:\n  Bound result 19133\n  Bound result 2871\n\n[PASS] testFuzz_RevertWhenTransferExceedsBalance(uint256,uint256) (runs: 512, μ: 127311, ~: 127811)\nLogs:\n  Bound result 563\n  Bound result 2110234841\n\n[PASS] testFuzz_RevertWhenTransferFromExceedsAllowance(uint256,uint256) (runs: 512, μ: 133328, ~: 133658)\nLogs:\n  Bound result 575552598056511355004217137\n  Bound result 575552598056511355004217140\n\n[PASS] testFuzz_RevertWhenTransferFromExceedsBalanceRollsBackAllowance(uint256,uint256) (runs: 512, μ: 196224, ~: 196737)\nLogs:\n  Bound result 19133\n  Bound result 22005\n\n[PASS] testFuzz_TransfersConserveSupply(uint256,uint256) (runs: 512, μ: 194297, ~: 195963)\nLogs:\n  Bound result 381350311212975156044730576\n  Bound result 167153613084261499801333776\n\n[PASS] test_ApprovalDoesNotRequireBalanceOrChangeBalances() (gas: 101518)\n[PASS] test_ApproveEmitsEventAndCanReplaceAndRevokeAllowance() (gas: 189834)\n[PASS] test_ConstructorEmitsMintEvent() (gas: 11459)\n[PASS] test_Create2MintsToFactoryAndLaunchTransfersArriveWhole() (gas: 655115)\n[PASS] test_DirectDeploymentMintsToDeployer() (gas: 28199)\n[PASS] test_EntireSupplyCanBeTransferred() (gas: 161687)\n[PASS] test_InfiniteAllowanceIsNotReduced() (gas: 204604)\n[PASS] test_MetadataAndInitialSupply() (gas: 107540)\n[PASS] test_NoMintBurnOrPrivilegedControlForDeployerOrStranger() (gas: 918458)\n[PASS] test_RevertWhenApprovingZeroSpender() (gas: 37640)\n[PASS] test_RevertWhenOwnerUsesTransferFromWithoutSelfApproval() (gas: 35703)\n[PASS] test_RevertWhenSelfTransferExceedsBalance() (gas: 35863)\n[PASS] test_RevertWhenTransferFromRecipientIsZeroRollsBackAllowance() (gas: 114244)\n[PASS] test_RevertWhenTransferFromSenderIsZero() (gas: 35386)\n[PASS] test_RevertWhenTransferRecipientIsZeroEvenForZeroAmount() (gas: 71949)\n[PASS] test_RevertWhenUnapprovedCallerSpendsEvenIfAnotherSpenderIsApproved() (gas: 117723)\n[PASS] test_RuntimeHasNoForbiddenOpcodes() (gas: 1033499)\n[PASS] test_SelfTransferPreservesBalanceAndEmitsEvent() (gas: 54013)\n[PASS] test_TransferEmitsEventAndMovesExactAmount() (gas: 93529)\n[PASS] test_TransferFromConsumesAllowanceAndEmitsTransfer() (gas: 276400)\n[PASS] test_TransferFromToSelfConsumesAllowanceWithoutMovingBalance() (gas: 103312)\n[PASS] test_ZeroTransferFromEmptyAccountEmitsEvent() (gas: 63078)\n[PASS] test_ZeroTransferFromNeedsNoAllowanceAndEmitsEvent() (gas: 81426)\nSuite result: ok. 29 passed; 0 failed; 0 skipped; finished in 109.17ms (466.61ms CPU time)\n\nRan 1 test for test/Squeek.invariant.t.sol:SqueekInvariantTest\n[PASS]\nSqueekInvariantTest invariants:\n[PASS] invariant_BalancesAndAllowancesMatchAccounting\n[PASS] invariant_MetadataRemainsUnchanged\n[PASS] invariant_SupplyRemainsFixedAndFullyAccounted\n SqueekInvariantTest invariants (runs: 256, calls: 32768, reverts: 0)\n\n╭---------------+---------------------------+-------+---------+----------╮\n| Contract      | Selector                  | Calls | Reverts | Discards |\n+========================================================================+\n| SqueekHandler | approve                   | 3346  | 0       | 0        |\n|---------------+---------------------------+-------+---------+----------|\n| SqueekHandler | rejectApprovalToZero      | 3178  | 0       | 0        |\n|---------------+---------------------------+-------+---------+----------|\n| SqueekHandler | rejectTransferFrom        | 3179  | 0       | 0        |\n|---------------+---------------------------+-------+---------+----------|\n| SqueekHandler | rejectTransferFromToZero  | 3330  | 0       | 0        |\n|---------------+---------------------------+-------+---------+----------|\n| SqueekHandler | rejectTransferOverBalance | 3414  | 0       | 0        |\n|---------------+---------------------------+-------+---------+----------|\n| SqueekHandler | rejectTransferToZero      | 3320  | 0       | 0        |\n|---------------+---------------------------+-------+---------+----------|\n| SqueekHandler | revoke                    | 3265  | 0       | 0        |\n|---------------+---------------------------+-------+---------+----------|\n| SqueekHandler | transfer                  | 3264  | 0       | 0        |\n|---------------+---------------------------+-------+---------+----------|\n| SqueekHandler | transferEntireBalance     | 3267  | 0       | 0        |\n|---------------+---------------------------+-------+---------+----------|\n| SqueekHandler | transferFrom              | 3205  | 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 6109\n  Bound result 3\n  Bound result 0\n  Bound result 10000000000000000000\n  Bound result 504\n  Bound result 117280524017765922125126766\n  Bound result 8\n  Bound result 242\n  Bound result 1833\n  Bound result 0\n  Bound result 8941\n  Bound result 279\n  Bound result 24576\n  Bound result 544\n  Bound result 147316727865597267773603209\n  Bound result 6182\n  Bound result 115792089237316195423570985008687907853269984665640416722729718410645356034209\n  Bound result 0\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129641551\n  Bound result 24576\n  Bound result 1\n  Bound result 3041954473\n  Bound result 0\n  Bound result 6161\n  Bound result 4\n  Bound result 1\n  Bound result 5895\n  Bound result 1313373040\n  Bound result 15\n  Bound result 10000000000000000000\n  Bound result 10\n  Bound result 115792089237316195423570985008687907853269984665640564039447584007913129640574\n  Bound result 0\n  Bound result 0\n  Bound result 48060019104652286506097498\n  Bound result 100000000000000000000\n  Bound result 115792089237316195423570985008687907853269984665640439039461584007913129639939\n  Bound result 2728435242\n  Bound result 6405\n  Bound result 0\n  Bound result 536619151321218758628032592112821574660\n  Bound result 1235949885110695207121721140835\n  Bound result 0\n  Bound result 0\n  Bound result 1607945210150623039347426210577\n  Bound result 125000000000000000000000000\n  Bound result 8\n  Bound result 171484848251831398947456513\n  Bound result 115792089237316195423570985008687907853269984665640166722729718410645356040822\n  Bound result 0\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665639961356185449605180903244496\n  Bound result 7882\n  Bound result 0\n  Bound result 2000000000000000000\n  Bound result 0\n  Bound result 4\n  Bound result 115792089237316195423570985008687907853269984665640108672913315202448676850003\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 3291\n  Bound result 18\n  Bound result 0\n  Bound result 14\n  Bound result 128701537766896973606154801133\n  Bound result 96\n  Bound result 115792089237316195423570985008687907853269984665640166722729718410645356035843\n  Bound result 115792089237316195423570985008687907853269984665639961356185449605180903252345\n  Bound result 0\n  Bound result 4602377885547877680121925941403\n  Bound result 5823\n  Bound result 503\n  Bound result 1483\n  Bound result 276\n  Bound result 59116523300888205733253966\n  Bound result 45664530299605433714225821712610904450853309488808582\n  Bound result 797\n  Bound result 115792089237316195423570985008687907853269984665639961356195449605180903244037\n  Bound result 12\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 10.61s (10.61s CPU time)\n\nRan 3 test suites in 10.61s (10.83s CPU time): 47 tests passed, 0 failed, 0 skipped (47 total tests)\n","passed":true},{"durationMs":30,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"Squeek.approve(address,uint256)\",\"Squeek.transfer(address,uint256)\",\"Squeek.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.json\":16,\"README.md\":118,\"foundry.toml\":21,\"remappings.txt\":2,\"src/Squeek.sol\":16,\"test/Squeek.adversarial.t.sol\":359,\"test/Squeek.invariant.t.sol\":234,\"test/Squeek.t.sol\":401},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"2555f93fb5eabccc78127b9c20a40ba3485041626a9e6678722ce7d2ea352234","verifiedTreeHash":"dedd84d9b877a262f858b2e529a2b7551c9c0be3","verifierVersion":"0.1.0+c3fba9eb"},{"checks":[{"durationMs":1161,"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":2677,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 29 tests for test/Squeek.t.sol:SqueekTest\n[PASS] testFuzz_ApproveAnyAmount(uint256) (runs: 512, μ: 96453, ~: 96530)\n[PASS] testFuzz_DelegatedTransferSpendsOnlyApprovedAmount(uint256,uint256) (runs: 512, μ: 163079, ~: 164895)\nLogs:\n  Bound result 19133\n  Bound result 2871\n\n[PASS] testFuzz_RevertWhenTransferExceedsBalance(uint256,uint256) (runs: 512, μ: 127286, ~: 127787)\nLogs:\n  Bound result 19133\n  Bound result 22005\n\n[PASS] testFuzz_RevertWhenTransferFromExceedsAllowance(uint256,uint256) (runs: 512, μ: 133306, ~: 133658)\nLogs:\n  Bound result 19133\n  Bound result 22005\n\n[PASS] testFuzz_RevertWhenTransferFromExceedsBalanceRollsBackAllowance(uint256,uint256) (runs: 512, μ: 196165, ~: 196681)\nLogs:\n  Bound result 19133\n  Bound result 22005\n\n[PASS] testFuzz_TransfersConserveSupply(uint256,uint256) (runs: 512, μ: 194183, ~: 195961)\nLogs:\n  Bound result 381350311212975156044730576\n  Bound result 167153613084261499801333776\n\n[PASS] test_ApprovalDoesNotRequireBalanceOrChangeBalances() (gas: 101518)\n[PASS] test_ApproveEmitsEventAndCanReplaceAndRevokeAllowance() (gas: 189834)\n[PASS] test_ConstructorEmitsMintEvent() (gas: 11459)\n[PASS] test_Create2MintsToFactoryAndLaunchTransfersArriveWhole() (gas: 655115)\n[PASS] test_DirectDeploymentMintsToDeployer() (gas: 28199)\n[PASS] test_EntireSupplyCanBeTransferred() (gas: 161687)\n[PASS] test_InfiniteAllowanceIsNotReduced() (gas: 204604)\n[PASS] test_MetadataAndInitialSupply() (gas: 107540)\n[PASS] test_NoMintBurnOrPrivilegedControlForDeployerOrStranger() (gas: 918458)\n[PASS] test_RevertWhenApprovingZeroSpender() (gas: 37640)\n[PASS] test_RevertWhenOwnerUsesTransferFromWithoutSelfApproval() (gas: 35703)\n[PASS] test_RevertWhenSelfTransferExceedsBalance() (gas: 35863)\n[PASS] test_RevertWhenTransferFromRecipientIsZeroRollsBackAllowance() (gas: 114244)\n[PASS] test_RevertWhenTransferFromSenderIsZero() (gas: 35386)\n[PASS] test_RevertWhenTransferRecipientIsZeroEvenForZeroAmount() (gas: 71949)\n[PASS] test_RevertWhenUnapprovedCallerSpendsEvenIfAnotherSpenderIsApproved() (gas: 117723)\n[PASS] test_RuntimeHasNoForbiddenOpcodes() (gas: 1033499)\n[PASS] test_SelfTransferPreservesBalanceAndEmitsEvent() (gas: 54013)\n[PASS] test_TransferEmitsEventAndMovesExactAmount() (gas: 93529)\n[PASS] test_TransferFromConsumesAllowanceAndEmitsTransfer() (gas: 276400)\n[PASS] test_TransferFromToSelfConsumesAllowanceWithoutMovingBalance() (gas: 103312)\n[PASS] test_ZeroTransferFromEmptyAccountEmitsEvent() (gas: 63078)\n[PASS] test_ZeroTransferFromNeedsNoAllowanceAndEmitsEvent() (gas: 81426)\nSuite result: ok. 29 passed; 0 failed; 0 skipped; finished in 32.14ms (171.37ms CPU time)\n\nRan 1 test for test/Squeek.invariant.t.sol:SqueekInvariantTest\n[PASS]\nSqueekInvariantTest invariants:\n[PASS] invariant_BalancesAndAllowancesMatchAccounting\n[PASS] invariant_SupplyRemainsFixedAndFullyAccounted\n SqueekInvariantTest invariants (runs: 128, calls: 8192, reverts: 0)\n\n╭---------------+--------------+-------+---------+----------╮\n| Contract      | Selector     | Calls | Reverts | Discards |\n+===========================================================+\n| SqueekHandler | approve      | 2702  | 0       | 0        |\n|---------------+--------------+-------+---------+----------|\n| SqueekHandler | transfer     | 2753  | 0       | 0        |\n|---------------+--------------+-------+---------+----------|\n| SqueekHandler | transferFrom | 2737  | 0       | 0        |\n╰---------------+--------------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 7\n  Bound result 0\n  Bound result 1000000000\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 1305\n  Bound result 166\n  Bound result 371\n  Bound result 5550\n  Bound result 23\n  Bound result 702\n  Bound result 1\n  Bound result 706969099802395438151089037\n  Bound result 0\n  Bound result 2\n  Bound result 2392\n  Bound result 4834\n  Bound result 0\n  Bound result 0\n  Bound result 242\n  Bound result 16\n  Bound result 213\n  Bound result 257510560854722329814897898\n  Bound result 0\n  Bound result 123\n  Bound result 0\n  Bound result 108\n  Bound result 3\n  Bound result 436\n  Bound result 0\n  Bound result 2657585764\n  Bound result 21700531305498677265766587\n  Bound result 0\n  Bound result 5533\n  Bound result 11\n  Bound result 10490502376896685167754677\n  Bound result 2391\n  Bound result 96\n  Bound result 0\n  Bound result 7\n  Bound result 0\n  Bound result 4165\n  Bound result 14\n  Bound result 19\n  Bound result 0\n  Bound result 759464357706800407399855934\n  Bound result 127\n  Bound result 255583861107572103010353765\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 2.59s (2.58s CPU time)\n\nRan 2 test suites in 2.59s (2.62s CPU time): 30 tests passed, 0 failed, 0 skipped (30 total tests)\n","passed":true},{"durationMs":34,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"Squeek.approve(address,uint256)\",\"Squeek.transfer(address,uint256)\",\"Squeek.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.json\":16,\"README.md\":118,\"foundry.toml\":21,\"launch.json\":24,\"remappings.txt\":2,\"src/Squeek.sol\":16,\"test/Squeek.invariant.t.sol\":103,\"test/Squeek.t.sol\":401},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"9cff20cef51d406f72b79d375e605668c521b41bfe441b8e0cdffe8bb647e336","verifiedTreeHash":"02e03580216e2c175afcdccdeab248a2d94c2291","verifierVersion":"0.1.0+c3fba9eb"},{"checks":[{"durationMs":1215,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.14s\nCompiler run successful!\n","passed":true},{"durationMs":2711,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 29 tests for test/Squeek.t.sol:SqueekTest\n[PASS] testFuzz_ApproveAnyAmount(uint256) (runs: 512, μ: 96453, ~: 96530)\n[PASS] testFuzz_DelegatedTransferSpendsOnlyApprovedAmount(uint256,uint256) (runs: 512, μ: 163079, ~: 164895)\nLogs:\n  Bound result 381350311212975156044730576\n  Bound result 167153613084261499801333776\n\n[PASS] testFuzz_RevertWhenTransferExceedsBalance(uint256,uint256) (runs: 512, μ: 127286, ~: 127787)\nLogs:\n  Bound result 381350311212975156044730576\n  Bound result 4292320581074849426840961974396766024234340017986368631185099\n\n[PASS] testFuzz_RevertWhenTransferFromExceedsAllowance(uint256,uint256) (runs: 512, μ: 133306, ~: 133658)\nLogs:\n  Bound result 19133\n  Bound result 22005\n\n[PASS] testFuzz_RevertWhenTransferFromExceedsBalanceRollsBackAllowance(uint256,uint256) (runs: 512, μ: 196165, ~: 196681)\nLogs:\n  Bound result 12618\n  Bound result 17087\n\n[PASS] testFuzz_TransfersConserveSupply(uint256,uint256) (runs: 512, μ: 194183, ~: 195961)\nLogs:\n  Bound result 10\n  Bound result 2\n\n[PASS] test_ApprovalDoesNotRequireBalanceOrChangeBalances() (gas: 101518)\n[PASS] test_ApproveEmitsEventAndCanReplaceAndRevokeAllowance() (gas: 189834)\n[PASS] test_ConstructorEmitsMintEvent() (gas: 11459)\n[PASS] test_Create2MintsToFactoryAndLaunchTransfersArriveWhole() (gas: 655115)\n[PASS] test_DirectDeploymentMintsToDeployer() (gas: 28199)\n[PASS] test_EntireSupplyCanBeTransferred() (gas: 161687)\n[PASS] test_InfiniteAllowanceIsNotReduced() (gas: 204604)\n[PASS] test_MetadataAndInitialSupply() (gas: 107540)\n[PASS] test_NoMintBurnOrPrivilegedControlForDeployerOrStranger() (gas: 918458)\n[PASS] test_RevertWhenApprovingZeroSpender() (gas: 37640)\n[PASS] test_RevertWhenOwnerUsesTransferFromWithoutSelfApproval() (gas: 35703)\n[PASS] test_RevertWhenSelfTransferExceedsBalance() (gas: 35863)\n[PASS] test_RevertWhenTransferFromRecipientIsZeroRollsBackAllowance() (gas: 114244)\n[PASS] test_RevertWhenTransferFromSenderIsZero() (gas: 35386)\n[PASS] test_RevertWhenTransferRecipientIsZeroEvenForZeroAmount() (gas: 71949)\n[PASS] test_RevertWhenUnapprovedCallerSpendsEvenIfAnotherSpenderIsApproved() (gas: 117723)\n[PASS] test_RuntimeHasNoForbiddenOpcodes() (gas: 1033499)\n[PASS] test_SelfTransferPreservesBalanceAndEmitsEvent() (gas: 54013)\n[PASS] test_TransferEmitsEventAndMovesExactAmount() (gas: 93529)\n[PASS] test_TransferFromConsumesAllowanceAndEmitsTransfer() (gas: 276400)\n[PASS] test_TransferFromToSelfConsumesAllowanceWithoutMovingBalance() (gas: 103312)\n[PASS] test_ZeroTransferFromEmptyAccountEmitsEvent() (gas: 63078)\n[PASS] test_ZeroTransferFromNeedsNoAllowanceAndEmitsEvent() (gas: 81426)\nSuite result: ok. 29 passed; 0 failed; 0 skipped; finished in 27.95ms (170.30ms CPU time)\n\nRan 1 test for test/Squeek.invariant.t.sol:SqueekInvariantTest\n[PASS]\nSqueekInvariantTest invariants:\n[PASS] invariant_BalancesAndAllowancesMatchAccounting\n[PASS] invariant_SupplyRemainsFixedAndFullyAccounted\n SqueekInvariantTest invariants (runs: 128, calls: 8192, reverts: 0)\n\n╭---------------+--------------+-------+---------+----------╮\n| Contract      | Selector     | Calls | Reverts | Discards |\n+===========================================================+\n| SqueekHandler | approve      | 2702  | 0       | 0        |\n|---------------+--------------+-------+---------+----------|\n| SqueekHandler | transfer     | 2753  | 0       | 0        |\n|---------------+--------------+-------+---------+----------|\n| SqueekHandler | transferFrom | 2737  | 0       | 0        |\n╰---------------+--------------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 7\n  Bound result 0\n  Bound result 1000000000\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 1305\n  Bound result 166\n  Bound result 371\n  Bound result 5550\n  Bound result 23\n  Bound result 702\n  Bound result 1\n  Bound result 706969099802395438151089037\n  Bound result 0\n  Bound result 2\n  Bound result 2392\n  Bound result 4834\n  Bound result 0\n  Bound result 0\n  Bound result 242\n  Bound result 16\n  Bound result 213\n  Bound result 257510560854722329814897898\n  Bound result 0\n  Bound result 123\n  Bound result 0\n  Bound result 108\n  Bound result 3\n  Bound result 436\n  Bound result 0\n  Bound result 2657585764\n  Bound result 21700531305498677265766587\n  Bound result 0\n  Bound result 5533\n  Bound result 11\n  Bound result 10490502376896685167754677\n  Bound result 2391\n  Bound result 96\n  Bound result 0\n  Bound result 2\n  Bound result 0\n  Bound result 15\n  Bound result 14\n  Bound result 5925\n  Bound result 0\n  Bound result 759464357706800407399855934\n  Bound result 127\n  Bound result 219883827941800696393460444\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 2.62s (2.61s CPU time)\n\nRan 2 test suites in 2.62s (2.64s CPU time): 30 tests passed, 0 failed, 0 skipped (30 total tests)\n","passed":true},{"durationMs":39,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"Squeek.approve(address,uint256)\",\"Squeek.transfer(address,uint256)\",\"Squeek.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.json\":16,\"README.md\":118,\"foundry.toml\":21,\"remappings.txt\":2,\"src/Squeek.sol\":16,\"test/Squeek.invariant.t.sol\":103,\"test/Squeek.t.sol\":401},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":617,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":315,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/Squeek.sol:11: Large Numeric Literal","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"ffdd441c2ac235e5c1aedc6650121169c862c062ff41611ab440676cc2cb634b","verifiedTreeHash":"7e029623c41d4fcb39ee31f0753a36f6aeae9e48","verifierVersion":"0.1.0+c3fba9eb"}]}