{"assessments":[],"deployments":[{"attestationHash":"31c762a3aa4500283ddc84fa230f5e4c1fe52d37bbccab09fff13880bd1a83a4","chainId":1,"contracts":[{"address":"0xbaa867f340ae69fa9cf87accd56c75b1f686ad81","blockNumber":26163094,"name":"MerkleDistributor","role":"distributor","txHash":"0x3b611dc86a7b52e73965b3ba63eb4611cd99dcc218b7e2a830847f95674d53ee"},{"address":"0x784ff9a3ac5d88a30bfff6f7f2a270161fbe6000","blockNumber":26163094,"name":"PoolInitializationGuard","role":"hook","txHash":"0x3b611dc86a7b52e73965b3ba63eb4611cd99dcc218b7e2a830847f95674d53ee"},{"address":"0xf945fef6f3dd3c045a8f2f3cdc09332e72d82f7e","blockNumber":26163094,"name":"SwarmCore","role":"token","txHash":"0x3b611dc86a7b52e73965b3ba63eb4611cd99dcc218b7e2a830847f95674d53ee"}],"id":"ce28f065-1b73-416c-8e0b-cb9395010932","manifestHash":"0b5af68cf8587a3447ce6fb218840eaea97823f0976d599fd8eb0cc851392380","status":"live"}],"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":"d835e0a4-2d77-4e25-a5ae-e8b6f0439c8e","kind":"shape:chain","nodes":[{"acceptedSubmissionHash":"ba0af1f68f528d71e27dab84eeeb54865824fe15bdf453053af5657be2c3c123","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":"c8a487d92da85478fcc3287e3dbda0f48fcf547cc2381077985f1aaf4bedc510","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":"b587827b10f0ca85e4e90baf8cc5469a3590b0dcdbca46240fdaa93f4c566b7a","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":"f582a4a30975966f585a0c6e00f2822d02073d27c21a238a616f3031cb05038e","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":"2f608a78685e5e8786ec49c9e6c29fc3c181de988abae4bb7665c58270fba380","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":"658515867434a581741217ad8439e71f4700736a63195a5b0ccb8c37808e62a5","dependsOn":[],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"6e3e328aa196f6965a2821b098b101e9ff09eef55cdaafaec1d6ea18007b96f6","skillId":"build-contract-project","tools":[]},"key":"build_contract_project","kind":"code","role":"implement","skillHash":"6e3e328aa196f6965a2821b098b101e9ff09eef55cdaafaec1d6ea18007b96f6","skillId":"build-contract-project","state":"accepted"},{"acceptedSubmissionHash":"6fc8182222e446671c1760963c9d41a05c1609a674ab27197be93c3847078c13","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"tools":[]},"key":"manifest","kind":"code","role":"integrate","skillHash":null,"skillId":null,"state":"accepted"},{"acceptedSubmissionHash":"2ebbd8468a6d515c0bd9e473c424945db71deccfc1957fe0d428fead9a5f6821","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: SwarmCore (SWORE).\nToken name: SwarmCore\nToken symbol: SWORE\nToken supply: 1,000,000,000 with 18 decimals, all minted once to the deployer in the constructor.","parentJobId":null,"planHash":"2535f7e7c4df3c8a75ba2adbf80d30f61d56f8507d706d461281aa2659af4d36","previousHash":"ad5c7796897de9de05ed843ce4f5cadb36549a74e92816545493ba90404bb233","projectId":"d835e0a4-2d77-4e25-a5ae-e8b6f0439c8e","publication":{"commit":"5a57e2b4cc0c8d09f83f16fac931845c0f0accea","deliveredAt":"2026-10-10T16:00:43.172Z","repoUrl":"https://github.com/identity-md-launches/launch-1250-swarmcore"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[],"site":null,"snapshotHash":"9d98ac79d3bbce658c6bf921d700ee96fd22811e65eece71e94da7151a67f12a","state":"completed","submissions":[{"artifacts":[],"attempt":1,"bundleHash":"eb2ed828d726b87a95ffedfcf5e6522c8fd2c7d1b95961a8d987f2294f2ffb9e","device":"32c599587cbbcbf3","findings":[],"hash":"2ebbd8468a6d515c0bd9e473c424945db71deccfc1957fe0d428fead9a5f6821","nodeId":"da30c999-351c-49a3-8940-9ca91b64d2cd","outcome":"completed","summary":"Added 12 adversarial tests and expanded stateful invariants to cover rejected calls, rollback, allowance boundaries, and continued transferability.\n\nOffline verification passed: `forge build` and `forge test`—47 tests, zero failures, including 32,768 invariant calls.\n\nOnly `test/` changed. No confirmed defects found.","treeHash":"b302ce842bec417baf8c65b1680775cd8ebcee7c","usage":{"cachedInputTokens":863744,"inputTokens":77230,"model":"gpt-6-astra","outputTokens":11336,"runtime":"codex","turns":5,"wallClockMs":307441}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"e6de8d4c6cf97551","findings":[],"hash":"2f608a78685e5e8786ec49c9e6c29fc3c181de988abae4bb7665c58270fba380","nodeId":"85ed25c4-e568-4212-9c67-c27d7f5f0510","outcome":"completed","summary":"Review complete. No defects found in the assigned area, and the findings file is written with full coverage.\n\n**Outcome.** `.imd-findings.json` holds an empty findings list and seven coverage rows: one for each of the three listed entry points plus four invariants, all `holds`. The working tree has no other changes.\n\n**What I checked, against the Access Control, Trust Gap and Asymmetry guides:**\n- SwarmCore is a bare OpenZeppelin ERC20 with a constructor that mints the full supply to msg.sender. The ABI exposes only `approve`, `transfer` and `transferFrom` as state-changing functions, with no receive, fallback, owner, minter, pause, blacklist or upgrade path.\n- All five vendored OpenZeppelin files hash identically to upstream v5.0.2 at the pinned commit, so the inherited transfer and allowance logic is unmodified.\n- A scratch test confirmed that 22 common admin, mint, freeze, seize and pause selectors revert from both the deployer and a stranger, that the deployer cannot pull from a holder without an allowance, that allowances are spent only up to what the owner granted, and that the contract rejects ETH. The existing 35 repo tests, including the invariant suite, pass.\n- The runtime contains no CALL, DELEGATECALL, CALLCODE, CREATE or SELFDESTRUCT. A first scan of mine flagged two bytes, but they are PUSH2 immediates and my scanner's PUSH skip was off by one. The repository's opcode test and the protected harness scan both handle this correctly.\n- The aderyn \"large numeric literal\" lead is the supply constant `1_000_000_000 * 10 ** 18`, which equals the stated supply exactly. Not a defect.\n\n**Trust assumption, not a finding.** The factory receives the entire supply at deployment, as the brief requires. It has no authority afterwards beyond ordinary holder rights.\n\n**Not reached.** Nothing within the assigned area was left unreached. The Uniswap v4 seed and swap flow in the protected harness was not executed locally since v4-core is not vendored here, but the token has no exemptions or transfer hooks that could affect it.","treeHash":null,"usage":{"cachedInputTokens":608809,"inputTokens":258,"model":"claude-fable-5-1","outputTokens":8837,"runtime":"claude","turns":14,"wallClockMs":138600}},{"artifacts":[],"attempt":1,"bundleHash":"aef40f1b38606bc3ebf3f0625257d1ada036fc2f8b37deb42e1b4c4d8e2e2b53","device":"16f3523d89524a61","findings":[],"hash":"658515867434a581741217ad8439e71f4700736a63195a5b0ccb8c37808e62a5","nodeId":"72e692bf-502e-4c05-aa7c-b27d9b8465aa","outcome":"completed","summary":"Implemented [SwarmCore (SWORE)](/root/.identitymd/work/d835e0a4-2d77-4e25-a5ae-e8b6f0439c8e/72e692bf-502e-4c05-aa7c-b27d9b8465aa/src/SwarmCore.sol): 1,000,000,000 tokens with 18 decimals, minted once to the deployer.\n\nDependencies are vendored, Solidity is pinned to 0.8.26, and deployment assumptions and responsibilities are documented in README.md.\n\nValidation passed, including from a clean offline copy:\n\n- `forge build`\n- `forge test` — 35 passed, including fuzz and invariant checks\n- `forge fmt --check`\n\nThe external protected launch harness was not run locally.","treeHash":"bedf3c191b26d9ed5c80343186158bab66e060f9","usage":{"cachedInputTokens":435712,"inputTokens":63477,"model":"gpt-6-astra","outputTokens":15206,"runtime":"codex","turns":5,"wallClockMs":359048}},{"artifacts":[],"attempt":1,"bundleHash":"93de9a6ca42623158d1970f7e11f0189224e17c867e2d64aa82175cddb0a517a","device":"308998a1407291a8","findings":[],"hash":"6fc8182222e446671c1760963c9d41a05c1609a674ab27197be93c3847078c13","nodeId":"b957951c-9c24-4f13-99e5-4d93a855a867","outcome":"completed","summary":"Created [launch.json](/home/identitymd/.identitymd/work/d835e0a4-2d77-4e25-a5ae-e8b6f0439c8e/b957951c-9c24-4f13-99e5-4d93a855a867/launch.json) matching SwarmCore’s constructor, exact supply, and required pool and economics values.\n\nManifest field and ABI checks passed. `forge build` succeeded; `forge test` passed all 35 tests. Only `launch.json` is a submission change.","treeHash":"51dfc098375175a9f726511e8110c9f01ec7ca68","usage":{"cachedInputTokens":175744,"inputTokens":37749,"model":"gpt-6-astra","outputTokens":2146,"runtime":"codex","turns":3,"wallClockMs":64333}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"771f83f312eace21","findings":[],"hash":"b587827b10f0ca85e4e90baf8cc5469a3590b0dcdbca46240fdaa93f4c566b7a","nodeId":"0f3c922b-0936-46dc-8544-35bd6387e0b0","outcome":"completed","summary":"Review complete. The SwarmCore token has no defects, and `.imd-findings.json` holds an empty findings list with a full coverage record.\n\n**What I checked**\n\n- **All four specialists and the tester reported nothing.** There was nothing to reproduce or merge, so I audited the code independently.\n- **The contract is a 16-line wrapper** over OpenZeppelin v5.0.2 ERC20 that mints 1e27 units to msg.sender in an argument-free constructor. I fetched the five vendored OpenZeppelin files from the pinned upstream commit and their SHA-256 hashes match byte for byte, so the inherited approve, transfer and transferFrom logic is the audited upstream code.\n- **Launch flows reproduce whole.** A scratch Foundry test deployed the token through CREATE2 from a probe contract, moved ten percent to a distributor, claimed it, and round-tripped tokens through an approving custodian. Every amount arrived exactly and supply stayed constant.\n- **No privileged surface.** Twenty-two mint, pause, blacklist, freeze, seize, burnFrom and upgrade selectors revert from both a stranger and the factory address. The ABI exposes only the standard ERC-20 functions.\n- **Deployable under the factory.** Creation code is about 2.6 KB and runtime about 1.7 KB, well under the limits. The runtime contains no DELEGATECALL, CALLCODE, SELFDESTRUCT, CALL or STATICCALL opcodes. Decimals are 18.\n- **The manifest is valid.** Only schema keys, correct types, lowercase addresses, empty constructorArgs matching the parameterless constructor, totalSupply equal to the minted amount, and notes under the length limit.\n- **The aderyn large-numeric-literal lead** is a style note. The literal folds to exactly 1e27 at compile time.\n\nThe project's own 47 tests pass. The scratch test directory was removed, and the working tree is unchanged apart from the findings file.","treeHash":null,"usage":{"cachedInputTokens":409079,"inputTokens":226,"model":"claude-fable-5-1","outputTokens":8734,"runtime":"claude","turns":19,"wallClockMs":138509}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"ef5038c1bdac3372","findings":[],"hash":"ba0af1f68f528d71e27dab84eeeb54865824fe15bdf453053af5657be2c3c123","nodeId":"e4b032c9-47e1-47c7-b7b2-3110c01dc991","outcome":"completed","summary":"The review is complete. The findings file is written with an empty findings list and seven coverage rows, and no repository file was changed.\n\n**Result: no defects found in the Economic Security, Invariant and Flow Gap areas.**\n\nSwarmCore is a sixteen-line contract that inherits OpenZeppelin v5.0.2 ERC-20 unchanged and mints 10^27 units to msg.sender in the constructor. There is nothing else: no owner, no hooks, no external calls, no mint or burn path after construction.\n\nWhat I verified:\n\n- **Vendored library integrity.** All five OpenZeppelin files are byte-identical to upstream commit dbb6104 (SHA-256 compared), so the inherited transfer and allowance logic is the audited one.\n- **Supply invariant.** The constant evaluates to exactly 1000000000000000000000000000. The compiled ABI exposes only the standard ERC-20 functions plus the supply view. Transfers to the zero address revert, so supply can neither grow nor shrink.\n- **Launch flows.** Factory push to the distributor, allowance-based pull by a PoolManager stand-in measured by balance delta, trader buy and sell round-trip, and distributor claim all move exactly the requested amount. Conservation holds across the whole sequence.\n- **Economic security checklist.** No external dependency to break, no token misbehavior (fee, rebase, pause, blacklist), no sentinel-address paths, no privileged power that moves or freezes a holder. Runtime bytecode contains no CALL, DELEGATECALL, CALLCODE, STATICCALL or SELFDESTRUCT.\n- **Project checks.** All 35 project tests pass including the stateful invariant suite, and formatting is clean. The aderyn large-numeric-literal lead is the supply constant and is benign.\n\nTwo notes that are not defects:\n\n- The README states the intended chain is Ethereum mainnet. The launch chain is set by the service policy, not the token, and I had no network file to confirm it. Worth a glance by the manifest author.\n- The standard ERC-20 approve race applies and is already documented in the README as a holder responsibility.","treeHash":null,"usage":{"cachedInputTokens":533992,"inputTokens":226,"model":"claude-fable-5-1","outputTokens":10795,"runtime":"claude","turns":24,"wallClockMs":161604}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"4199bf0c80a9d6cf","findings":[],"hash":"c8a487d92da85478fcc3287e3dbda0f48fcf547cc2381077985f1aaf4bedc510","nodeId":"b3d5589f-fec3-4c12-a437-68440cdca817","outcome":"completed","summary":"The review is complete and the findings file is written and valid.\n\n**Outcome:** no defects found. The findings file at the repository root holds an empty findings list and nine coverage rows, every entry point answered as `holds`.\n\n**What I checked in my area:**\n- **Execution Trace:** traced approve, transfer and transferFrom through the inherited OpenZeppelin paths. Zero-address sender, receiver and spender revert, balance and allowance checks run before any unchecked arithmetic, failed calls leave allowances and balances untouched, unlimited allowance is never decremented, and every path moves exactly the requested amount. A scratch Foundry test confirmed each of these edge cases, then was removed.\n- **Periphery:** all five vendored OpenZeppelin files hash-match the upstream v5.0.2 commit byte for byte, so the base contract is unmodified. There are no linked libraries and no submodule.\n- **First Principles:** the constructor takes no arguments and mints exactly 1e27 units once to msg.sender, which is the factory under CREATE2. No role, owner, initializer, burn, mint, pause or freeze surface exists in the ABI. The deployed runtime contains no DELEGATECALL, CALLCODE, SELFDESTRUCT, CALL, STATICCALL or CREATE opcodes, and there is no receive or fallback.\n\nThe existing suite of 35 tests passes and the formatter check is clean. The aderyn large-literal lead at line 10 is style only. The working tree has no stray files. Nothing in the assigned area was left unreached.","treeHash":null,"usage":{"cachedInputTokens":542076,"inputTokens":290,"model":"claude-fable-5-1","outputTokens":10460,"runtime":"claude","turns":25,"wallClockMs":157063}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"72f49cf84b9ab056","findings":[],"hash":"f582a4a30975966f585a0c6e00f2822d02073d27c21a238a616f3031cb05038e","nodeId":"d31dff4d-098b-4368-b222-e3298d86884c","outcome":"completed","summary":"The findings file is in place and is git-excluded by the workspace's own rule, so the tree has no stray changes. The review is complete.\n\n**Result: no defects found in the math, boundary or numerical-gap area.** The findings file at `.imd-findings.json` holds an empty findings list and seven coverage rows, all `holds`.\n\nWhat the token is: a 16-line contract inheriting OpenZeppelin v5.0.2 ERC20 unchanged, minting a constant supply once in the constructor. It has no division, no scaling, no casts, no external calls, no payable path, and no receive or fallback. The only state-changing entry points are approve, transfer and transferFrom.\n\nWhat I checked against the three guides:\n\n- **Math Precision.** The supply constant evaluates at compile time to exactly 1e27, matching the README figure, fitting uint256 and the int128 used by Uniswap v4 balance deltas. Every unchecked subtraction in the inherited code sits behind a strict less-than guard, and the unchecked balance addition is bounded by the fixed supply because no mint or burn path exists after construction. The aderyn large-literal lead resolves to a correct value.\n- **Boundary.** Exercised value 0, exact balance, balance plus one, max uint, self-transfer of the full balance, zero receiver and zero spender, finite versus max-uint allowance including max minus one, pulls from the zero address, raw ETH and unknown selectors. All behave as the README documents, and the runtime contains no CALL, DELEGATECALL, CALLCODE, STATICCALL or SELFDESTRUCT opcodes.\n- **Numerical Gap.** There are no formulas, so no precision-by-invariant seams. The sum of balances equals total supply exactly under integer arithmetic, confirmed by the existing stateful invariant run and a fuzzed conservation check. The supply is divisible by 10,000, so the swarm's ten percent and any basis-point split leave no remainder.\n\nVerification I ran: build, the existing 35 tests, a 13-test scratch suite covering the cases above, formatting check, and a byte-for-byte comparison of the six vendored OpenZeppelin files against the upstream archive, whose hash matches DEPENDENCIES.json. The scratch tests were removed afterwards.\n\nTwo notes for the judge, neither a defect: the standard ERC-20 approve race applies and the README already documents it, and the two-percent and eight-percent swarm splits are rounded by the distributor, which is outside this tree.","treeHash":null,"usage":{"cachedInputTokens":1051524,"inputTokens":418,"model":"claude-fable-5-1","outputTokens":14022,"runtime":"claude","turns":24,"wallClockMs":175635}}],"verification":[{"checks":[{"durationMs":1492,"exitCode":0,"name":"build","output":"Compiling 29 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.38s\nCompiler run successful!\n","passed":true},{"durationMs":8060,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 6 tests for test/SwarmCoreLaunch.t.sol:SwarmCoreLaunchTest\n[PASS] testFuzz_Create2UsesArgumentFreeCreationCode(bytes32) (runs: 256, μ: 75824, ~: 75936)\n[PASS] test_DeployerAndStrangerHaveNoMintBurnOrAdministrativeEntrypoints() (gas: 2046772)\n[PASS] test_FactoryReceivesEntireSupply() (gas: 33436)\n[PASS] test_LaunchDistributionAndClaimsArriveWhole() (gas: 310542)\n[PASS] test_PoolCustodianAndOrdinaryTraderCanTransferBothWays() (gas: 197927)\n[PASS] test_RuntimeIsSmallAndHasNoExternalCallOrDestructionOpcodes() (gas: 3572456)\nSuite result: ok. 6 passed; 0 failed; 0 skipped; finished in 105.52ms (42.11ms CPU time)\n\nRan 28 tests for test/SwarmCore.t.sol:SwarmCoreTest\n[PASS] testFuzz_ApproveZeroSpenderReverts(uint256) (runs: 256, μ: 37789, ~: 37745)\n[PASS] testFuzz_ConstructorMintsOnlyToImmediateDeployer(address) (runs: 256, μ: 26493, ~: 26493)\n[PASS] testFuzz_TransferAboveBalanceRevertsWithoutChanges(uint256) (runs: 256, μ: 69061, ~: 69383)\nLogs:\n  Bound result 115792089237316195423570985008687907853269984665639564039482584007913129639935\n\n[PASS] testFuzz_TransferFromConservesSupplyAndAllowance(uint256,uint256) (runs: 256, μ: 163287, ~: 165254)\nLogs:\n  Bound result 19\n  Bound result 1\n\n[PASS] testFuzz_TransferToZeroReverts(uint256) (runs: 256, μ: 47747, ~: 47703)\n[PASS] testFuzz_TransfersConserveSupply(uint256,uint256) (runs: 256, μ: 194074, ~: 195957)\nLogs:\n  Bound result 19\n  Bound result 1\n\n[PASS] test_ApprovalCanBeReplacedAndRevoked() (gas: 164507)\n[PASS] test_ApproveEmitsEventAndDoesNotMoveTokens() (gas: 103828)\n[PASS] test_ConstructorEmitsMintEvent() (gas: 5514)\n[PASS] test_EntireBalanceCanBeTransferred() (gas: 75807)\n[PASS] test_ExactAllowanceCanBeExhaustedButNotReused() (gas: 176665)\n[PASS] test_InsufficientAllowanceRevertsWithoutSpending() (gas: 116109)\n[PASS] test_InsufficientBalanceRestoresSpentAllowance() (gas: 136871)\n[PASS] test_MaximumAllowanceIsNotDecreased() (gas: 207482)\n[PASS] test_MetadataAndInitialSupply() (gas: 107457)\n[PASS] test_NativeEtherIsRejected() (gas: 42686)\n[PASS] test_SelfTransferPreservesBalance() (gas: 54013)\n[PASS] test_SelfTransferStillRequiresSufficientBalance() (gas: 35907)\n[PASS] test_TransferDeliversExactAmountAndEmitsEvent() (gas: 91484)\n[PASS] test_TransferFromByOwnerStillRequiresAllowance() (gas: 35703)\n[PASS] test_TransferFromSpendsOnlyCallersAllowanceAndEmitsTransfer() (gas: 237426)\n[PASS] test_TransferFromToSelfSpendsAllowanceWithoutChangingBalance() (gas: 103742)\n[PASS] test_TransferFromToZeroRestoresSpentAllowance() (gas: 114649)\n[PASS] test_TransferFromZeroCannotMint() (gas: 55383)\n[PASS] test_UnapprovedSpenderCannotMoveTokens() (gas: 120209)\n[PASS] test_ZeroTransferFromEmptyAccountEmitsEvent() (gas: 73332)\n[PASS] test_ZeroTransferFromNeedsNoAllowance() (gas: 81445)\n[PASS] test_ZeroTransferToZeroReverts() (gas: 30434)\nSuite result: ok. 28 passed; 0 failed; 0 skipped; finished in 105.61ms (215.60ms CPU time)\n\nRan 12 tests for test/SwarmCoreAdversarial.t.sol:SwarmCoreAdversarialTest\n[PASS] testFuzz_AllowanceFailureIsAtomicAndCanBeRetriedAfterApproval(uint256,uint256) (runs: 1000, μ: 335081, ~: 335091)\nLogs:\n  Bound result 904212005595804201588210403\n  Bound result 824\n\n[PASS] testFuzz_BalanceFailureIsAtomicAndCanBeRetriedAfterFunding(uint256,uint256,bool) (runs: 1000, μ: 355713, ~: 355989)\nLogs:\n  Bound result 11\n  Bound result 18252\n\n[PASS] testFuzz_RepeatedRoundTripsRestoreEveryBalance(uint256,uint256) (runs: 1000, μ: 851566, ~: 911240)\nLogs:\n  Bound result 17\n  Bound result 8\n\n[PASS] testFuzz_SplittingDelegatedTransfersSpendsSameAllowance(uint256,uint256,uint256) (runs: 1000, μ: 344326, ~: 346729)\nLogs:\n  Bound result 2998\n  Bound result 1531\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129636942\n\n[PASS] testFuzz_SplittingTransfersHasSameResultAsOneTransfer(uint256,uint256) (runs: 1000, μ: 205094, ~: 206053)\nLogs:\n  Bound result 904212003380201130145508947\n  Bound result 824\n\n[PASS] testFuzz_ZeroDelegatedTransferPreservesExistingApproval(uint256,uint256) (runs: 1000, μ: 206074, ~: 206453)\nLogs:\n  Bound result 904212003380201130145508947\n\n[PASS] test_ApprovalDoesNotFollowTokensToTheirNewOwner() (gas: 315984)\n[PASS] test_DelegatedSelfTransferCannotBypassBalanceCheck() (gas: 236975)\n[PASS] test_InfiniteApprovalCanBeReducedAndRevoked() (gas: 343366)\n[PASS] test_InfiniteApprovalSurvivesEmptyBalanceAndLaterReceipts() (gas: 381708)\n[PASS] test_LargestFiniteAllowanceDecreasesOnEverySpend() (gas: 240526)\n[PASS] test_MaximumTransferAmountsCannotWrapBalancesOrAllowance() (gas: 156608)\nSuite result: ok. 12 passed; 0 failed; 0 skipped; finished in 111.18ms (613.73ms CPU time)\n\nRan 1 test for test/SwarmCoreInvariant.t.sol:SwarmCoreInvariantTest\n[PASS]\nSwarmCoreInvariantTest invariants:\n[PASS] invariant_AllAllowancesMatchModel\n[PASS] invariant_MetadataIsUnchanged\n[PASS] invariant_SupplyAndAllBalancesMatchModel\n SwarmCoreInvariantTest invariants (runs: 256, calls: 32768, reverts: 0)\n\n╭------------------+----------------------------+-------+---------+----------╮\n| Contract         | Selector                   | Calls | Reverts | Discards |\n+============================================================================+\n| SwarmCoreHandler | approve                    | 3710  | 0       | 0        |\n|------------------+----------------------------+-------+---------+----------|\n| SwarmCoreHandler | invalidApproval            | 3666  | 0       | 0        |\n|------------------+----------------------------+-------+---------+----------|\n| SwarmCoreHandler | invalidReceiver            | 3639  | 0       | 0        |\n|------------------+----------------------------+-------+---------+----------|\n| SwarmCoreHandler | revokeAndAttemptSpend      | 3721  | 0       | 0        |\n|------------------+----------------------------+-------+---------+----------|\n| SwarmCoreHandler | transfer                   | 3555  | 0       | 0        |\n|------------------+----------------------------+-------+---------+----------|\n| SwarmCoreHandler | transferAboveBalance       | 3619  | 0       | 0        |\n|------------------+----------------------------+-------+---------+----------|\n| SwarmCoreHandler | transferFrom               | 3620  | 0       | 0        |\n|------------------+----------------------------+-------+---------+----------|\n| SwarmCoreHandler | transferFromAboveAllowance | 3611  | 0       | 0        |\n|------------------+----------------------------+-------+---------+----------|\n| SwarmCoreHandler | transferFromAboveBalance   | 3627  | 0       | 0        |\n╰------------------+----------------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 250000000000000000000000000\n  Bound result 250000000000000000000000000\n  Bound result 250000000000000000000000000\n  Bound result 604\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129650081\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129640062\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639933\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913767852820\n  Bound result 0\n  Bound result 6\n  Bound result 20000000000000000000\n  Bound result 4193\n  Bound result 10412\n  Bound result 244\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129639939\n  Bound result 171339412745640207893924823\n  Bound result 3\n  Bound result 4069379763\n  Bound result 10640202231526978952855264529452927905691278\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007917199020254\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129640177\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007917199019787\n  Bound result 1093\n  Bound result 3\n  Bound result 15\n  Bound result 7933\n  Bound result 23002799826525773286\n  Bound result 321374339479215725769127773965992883723207712698\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129640185\n  Bound result 1223\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129642885\n  Bound result 3932\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129647725\n  Bound result 1935\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129640449\n  Bound result 140235984788368120085806451265\n  Bound result 19\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129646338\n  Bound result 7928\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007917199027297\n  Bound result 4093\n  Bound result 100000000000000000000\n  Bound result 115792089237316195423570985008687907853269984665640314039497584007913129644047\n  Bound result 385\n  Bound result 9843\n  Bound result 163259727262060049248778170\n  Bound result 3\n  Bound result 11\n  Bound result 2153\n  Bound result 514\n  Bound result 10\n  Bound result 115792089237316195423570985008687907853269984665640153928933929893293508304414\n  Bound result 178073836010477521196982171\n  Bound result 10000000000000000000\n  Bound result 8072\n  Bound result 124999999999999999999999999\n  Bound result 115792089237316195423570985008687907853269984665640352299284846067962378420401\n  Bound result 336\n  Bound result 115792089237316195423570985008687907853269984665640314039357584007917199015616\n  Bound result 4990\n  Bound result 60000000000000000000\n  Bound result 115792089237316195423570985008687907853269984665640314039357584007917199015843\n  Bound result 446\n  Bound result 115792089237316195423570985008687907853269984665640352299284846067963436722587\n  Bound result 1493500198471790060706090893088397917021998460704894295763\n  Bound result 33143918663356481171422760\n  Bound result 4804\n  Bound result 176333744700569572176360052\n  Bound result 115792089237316195423570985008687907853269984665640492113293594485434326626613\n  Bound result 19304283349091113871615875657373526855944547021243138110225634\n  Bound result 1050088276208525635092449\n  Bound result 0\n  Bound result 20000000000000000000\n  Bound result 115792089237316195423570985008687907853269984665640562827136486202541361295649\n  Bound result 46828111893786718454168783\n  Bound result 115792089237316195423570985008687907853269984665639888228230947544285407091767\n  Bound result 3\n  Bound result 115792089237316195423570985008687907853269984665640492113293594485437942129459\n  Bound result 8593\n  Bound result 403\n  Bound result 115792089237316195423570985008687907853269984665640312989269307799391563925795\n  Bound result 115792089237316195423570985008687907853269984665640562827036486202541361295744\n  Bound result 53628907314447659303091435\n  Bound result 115792089237316195423570985008687907853269984665640562827036486202541361301976\n  Bound result 1212421097805371768344286\n  Bound result 675811226636463627862925600\n  Bound result 71926163989522478803013732\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 7.98s (7.98s CPU time)\n\nRan 4 test suites in 7.98s (8.30s CPU time): 47 tests passed, 0 failed, 0 skipped (47 total tests)\n","passed":true},{"durationMs":32,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"SwarmCore.approve(address,uint256)\",\"SwarmCore.transfer(address,uint256)\",\"SwarmCore.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.json\":20,\"README.md\":142,\"foundry.toml\":20,\"remappings.txt\":2,\"src/SwarmCore.sol\":16,\"test/SwarmCore.t.sol\":290,\"test/SwarmCoreAdversarial.t.sol\":275,\"test/SwarmCoreInvariant.t.sol\":219,\"test/SwarmCoreLaunch.t.sol\":166},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"2ebbd8468a6d515c0bd9e473c424945db71deccfc1957fe0d428fead9a5f6821","verifiedTreeHash":"b302ce842bec417baf8c65b1680775cd8ebcee7c","verifierVersion":"0.1.0+4ba55555"},{"checks":[{"durationMs":1629,"exitCode":0,"name":"build","output":"Compiling 28 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.51s\nCompiler run successful!\n","passed":true},{"durationMs":2219,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 6 tests for test/SwarmCoreLaunch.t.sol:SwarmCoreLaunchTest\n[PASS] testFuzz_Create2UsesArgumentFreeCreationCode(bytes32) (runs: 256, μ: 75817, ~: 75936)\n[PASS] test_DeployerAndStrangerHaveNoMintBurnOrAdministrativeEntrypoints() (gas: 2046772)\n[PASS] test_FactoryReceivesEntireSupply() (gas: 33436)\n[PASS] test_LaunchDistributionAndClaimsArriveWhole() (gas: 310542)\n[PASS] test_PoolCustodianAndOrdinaryTraderCanTransferBothWays() (gas: 197927)\n[PASS] test_RuntimeIsSmallAndHasNoExternalCallOrDestructionOpcodes() (gas: 3572456)\nSuite result: ok. 6 passed; 0 failed; 0 skipped; finished in 10.25ms (20.09ms CPU time)\n\nRan 28 tests for test/SwarmCore.t.sol:SwarmCoreTest\n[PASS] testFuzz_ApproveZeroSpenderReverts(uint256) (runs: 256, μ: 37782, ~: 37733)\n[PASS] testFuzz_ConstructorMintsOnlyToImmediateDeployer(address) (runs: 256, μ: 26493, ~: 26493)\n[PASS] testFuzz_TransferAboveBalanceRevertsWithoutChanges(uint256) (runs: 256, μ: 69040, ~: 69383)\nLogs:\n  Bound result 678094179153720037099406685271861774399\n\n[PASS] testFuzz_TransferFromConservesSupplyAndAllowance(uint256,uint256) (runs: 256, μ: 162921, ~: 165240)\nLogs:\n  Bound result 5\n  Bound result 1\n\n[PASS] testFuzz_TransferToZeroReverts(uint256) (runs: 256, μ: 47740, ~: 47691)\n[PASS] testFuzz_TransfersConserveSupply(uint256,uint256) (runs: 256, μ: 193752, ~: 195955)\nLogs:\n  Bound result 601237943510991318741523018\n  Bound result 419358885685605095904296903\n\n[PASS] test_ApprovalCanBeReplacedAndRevoked() (gas: 164507)\n[PASS] test_ApproveEmitsEventAndDoesNotMoveTokens() (gas: 103828)\n[PASS] test_ConstructorEmitsMintEvent() (gas: 5514)\n[PASS] test_EntireBalanceCanBeTransferred() (gas: 75807)\n[PASS] test_ExactAllowanceCanBeExhaustedButNotReused() (gas: 176665)\n[PASS] test_InsufficientAllowanceRevertsWithoutSpending() (gas: 116109)\n[PASS] test_InsufficientBalanceRestoresSpentAllowance() (gas: 136871)\n[PASS] test_MaximumAllowanceIsNotDecreased() (gas: 207482)\n[PASS] test_MetadataAndInitialSupply() (gas: 107457)\n[PASS] test_NativeEtherIsRejected() (gas: 42686)\n[PASS] test_SelfTransferPreservesBalance() (gas: 54013)\n[PASS] test_SelfTransferStillRequiresSufficientBalance() (gas: 35907)\n[PASS] test_TransferDeliversExactAmountAndEmitsEvent() (gas: 91484)\n[PASS] test_TransferFromByOwnerStillRequiresAllowance() (gas: 35703)\n[PASS] test_TransferFromSpendsOnlyCallersAllowanceAndEmitsTransfer() (gas: 237426)\n[PASS] test_TransferFromToSelfSpendsAllowanceWithoutChangingBalance() (gas: 103742)\n[PASS] test_TransferFromToZeroRestoresSpentAllowance() (gas: 114649)\n[PASS] test_TransferFromZeroCannotMint() (gas: 55383)\n[PASS] test_UnapprovedSpenderCannotMoveTokens() (gas: 120209)\n[PASS] test_ZeroTransferFromEmptyAccountEmitsEvent() (gas: 73332)\n[PASS] test_ZeroTransferFromNeedsNoAllowance() (gas: 81445)\n[PASS] test_ZeroTransferToZeroReverts() (gas: 30434)\nSuite result: ok. 28 passed; 0 failed; 0 skipped; finished in 13.27ms (60.01ms CPU time)\n\nRan 1 test for test/SwarmCoreInvariant.t.sol:SwarmCoreInvariantTest\n[PASS]\nSwarmCoreInvariantTest invariants:\n[PASS] invariant_AllAllowancesMatchModel\n[PASS] invariant_SupplyAndAllBalancesMatchModel\n SwarmCoreInvariantTest invariants (runs: 128, calls: 8192, reverts: 0)\n\n╭------------------+--------------+-------+---------+----------╮\n| Contract         | Selector     | Calls | Reverts | Discards |\n+==============================================================+\n| SwarmCoreHandler | approve      | 2704  | 0       | 0        |\n|------------------+--------------+-------+---------+----------|\n| SwarmCoreHandler | transfer     | 2728  | 0       | 0        |\n|------------------+--------------+-------+---------+----------|\n| SwarmCoreHandler | transferFrom | 2760  | 0       | 0        |\n╰------------------+--------------+-------+---------+----------╯\n\nLogs:\n  Bound result 478\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 831928058251358416607588618\n  Bound result 0\n  Bound result 134675410197886303\n  Bound result 1\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 20000000000000000000\n  Bound result 5374\n  Bound result 0\n  Bound result 804448733\n  Bound result 4\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 675250547634008499355502054\n  Bound result 0\n  Bound result 244\n  Bound result 6096\n  Bound result 2\n  Bound result 149485730\n  Bound result 0\n  Bound result 0\n  Bound result 96\n  Bound result 0\n  Bound result 8\n  Bound result 0\n  Bound result 0\n  Bound result 4\n  Bound result 128\n  Bound result 96\n  Bound result 4\n  Bound result 1000000000000000000000000000\n  Bound result 48989822143883632016071344\n  Bound result 691\n  Bound result 46\n  Bound result 16\n  Bound result 8\n  Bound result 64451924615458682\n  Bound result 8\n  Bound result 5967\n  Bound result 651\n  Bound result 46\n  Bound result 123000000000000000000\n  Bound result 127\n  Bound result 11\n  Bound result 330\n  Bound result 168071941883316993590303270\n  Bound result 2495\n  Bound result 1\n  Bound result 38150159210708946687579582\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 2.11s (2.11s CPU time)\n\nRan 3 test suites in 2.11s (2.13s CPU time): 35 tests passed, 0 failed, 0 skipped (35 total tests)\n","passed":true},{"durationMs":39,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"SwarmCore.approve(address,uint256)\",\"SwarmCore.transfer(address,uint256)\",\"SwarmCore.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.json\":20,\"README.md\":142,\"foundry.toml\":20,\"remappings.txt\":2,\"src/SwarmCore.sol\":16,\"test/SwarmCore.t.sol\":290,\"test/SwarmCoreInvariant.t.sol\":96,\"test/SwarmCoreLaunch.t.sol\":166},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":411,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":211,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/SwarmCore.sol:10: Large Numeric Literal","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"658515867434a581741217ad8439e71f4700736a63195a5b0ccb8c37808e62a5","verifiedTreeHash":"bedf3c191b26d9ed5c80343186158bab66e060f9","verifierVersion":"0.1.0+4ba55555"},{"checks":[{"durationMs":1230,"exitCode":0,"name":"build","output":"Compiling 28 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.13s\nCompiler run successful!\n","passed":true},{"durationMs":1922,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 6 tests for test/SwarmCoreLaunch.t.sol:SwarmCoreLaunchTest\n[PASS] testFuzz_Create2UsesArgumentFreeCreationCode(bytes32) (runs: 256, μ: 75830, ~: 75936)\n[PASS] test_DeployerAndStrangerHaveNoMintBurnOrAdministrativeEntrypoints() (gas: 2046772)\n[PASS] test_FactoryReceivesEntireSupply() (gas: 33436)\n[PASS] test_LaunchDistributionAndClaimsArriveWhole() (gas: 310542)\n[PASS] test_PoolCustodianAndOrdinaryTraderCanTransferBothWays() (gas: 197927)\n[PASS] test_RuntimeIsSmallAndHasNoExternalCallOrDestructionOpcodes() (gas: 3572456)\nSuite result: ok. 6 passed; 0 failed; 0 skipped; finished in 10.33ms (19.42ms CPU time)\n\nRan 28 tests for test/SwarmCore.t.sol:SwarmCoreTest\n[PASS] testFuzz_ApproveZeroSpenderReverts(uint256) (runs: 256, μ: 37789, ~: 37745)\n[PASS] testFuzz_ConstructorMintsOnlyToImmediateDeployer(address) (runs: 256, μ: 26493, ~: 26493)\n[PASS] testFuzz_TransferAboveBalanceRevertsWithoutChanges(uint256) (runs: 256, μ: 69071, ~: 69383)\nLogs:\n  Bound result 115792089237316195423570985008687907853269984665639564039457584007913129639953\n\n[PASS] testFuzz_TransferFromConservesSupplyAndAllowance(uint256,uint256) (runs: 256, μ: 163517, ~: 165240)\nLogs:\n  Bound result 3707\n  Bound result 13\n\n[PASS] testFuzz_TransferToZeroReverts(uint256) (runs: 256, μ: 47747, ~: 47703)\n[PASS] testFuzz_TransfersConserveSupply(uint256,uint256) (runs: 256, μ: 194148, ~: 195955)\nLogs:\n  Bound result 3707\n  Bound result 13\n\n[PASS] test_ApprovalCanBeReplacedAndRevoked() (gas: 164507)\n[PASS] test_ApproveEmitsEventAndDoesNotMoveTokens() (gas: 103828)\n[PASS] test_ConstructorEmitsMintEvent() (gas: 5514)\n[PASS] test_EntireBalanceCanBeTransferred() (gas: 75807)\n[PASS] test_ExactAllowanceCanBeExhaustedButNotReused() (gas: 176665)\n[PASS] test_InsufficientAllowanceRevertsWithoutSpending() (gas: 116109)\n[PASS] test_InsufficientBalanceRestoresSpentAllowance() (gas: 136871)\n[PASS] test_MaximumAllowanceIsNotDecreased() (gas: 207482)\n[PASS] test_MetadataAndInitialSupply() (gas: 107457)\n[PASS] test_NativeEtherIsRejected() (gas: 42686)\n[PASS] test_SelfTransferPreservesBalance() (gas: 54013)\n[PASS] test_SelfTransferStillRequiresSufficientBalance() (gas: 35907)\n[PASS] test_TransferDeliversExactAmountAndEmitsEvent() (gas: 91484)\n[PASS] test_TransferFromByOwnerStillRequiresAllowance() (gas: 35703)\n[PASS] test_TransferFromSpendsOnlyCallersAllowanceAndEmitsTransfer() (gas: 237426)\n[PASS] test_TransferFromToSelfSpendsAllowanceWithoutChangingBalance() (gas: 103742)\n[PASS] test_TransferFromToZeroRestoresSpentAllowance() (gas: 114649)\n[PASS] test_TransferFromZeroCannotMint() (gas: 55383)\n[PASS] test_UnapprovedSpenderCannotMoveTokens() (gas: 120209)\n[PASS] test_ZeroTransferFromEmptyAccountEmitsEvent() (gas: 73332)\n[PASS] test_ZeroTransferFromNeedsNoAllowance() (gas: 81445)\n[PASS] test_ZeroTransferToZeroReverts() (gas: 30434)\nSuite result: ok. 28 passed; 0 failed; 0 skipped; finished in 10.93ms (52.39ms CPU time)\n\nRan 1 test for test/SwarmCoreInvariant.t.sol:SwarmCoreInvariantTest\n[PASS]\nSwarmCoreInvariantTest invariants:\n[PASS] invariant_AllAllowancesMatchModel\n[PASS] invariant_SupplyAndAllBalancesMatchModel\n SwarmCoreInvariantTest invariants (runs: 128, calls: 8192, reverts: 0)\n\n╭------------------+--------------+-------+---------+----------╮\n| Contract         | Selector     | Calls | Reverts | Discards |\n+==============================================================+\n| SwarmCoreHandler | approve      | 2679  | 0       | 0        |\n|------------------+--------------+-------+---------+----------|\n| SwarmCoreHandler | transfer     | 2757  | 0       | 0        |\n|------------------+--------------+-------+---------+----------|\n| SwarmCoreHandler | transferFrom | 2756  | 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 5\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 4481\n  Bound result 10000000000000000000\n  Bound result 0\n  Bound result 0\n  Bound result 123000000000000000000\n  Bound result 16\n  Bound result 12\n  Bound result 699\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 4224\n  Bound result 3\n  Bound result 2650\n  Bound result 0\n  Bound result 5145\n  Bound result 563\n  Bound result 0\n  Bound result 0\n  Bound result 1000\n  Bound result 384\n  Bound result 8\n  Bound result 224\n  Bound result 19\n  Bound result 16\n  Bound result 0\n  Bound result 167566325949805670095216452\n  Bound result 865986250518054163233158343\n  Bound result 1259\n  Bound result 0\n  Bound result 0\n  Bound result 5156\n  Bound result 10\n  Bound result 52\n  Bound result 2494\n  Bound result 5919\n  Bound result 5054\n  Bound result 19\n  Bound result 5187\n  Bound result 45\n  Bound result 0\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 1.84s (1.83s CPU time)\n\nRan 3 test suites in 1.84s (1.86s CPU time): 35 tests passed, 0 failed, 0 skipped (35 total tests)\n","passed":true},{"durationMs":32,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"SwarmCore.approve(address,uint256)\",\"SwarmCore.transfer(address,uint256)\",\"SwarmCore.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.json\":20,\"README.md\":142,\"foundry.toml\":20,\"launch.json\":24,\"remappings.txt\":2,\"src/SwarmCore.sol\":16,\"test/SwarmCore.t.sol\":290,\"test/SwarmCoreInvariant.t.sol\":96,\"test/SwarmCoreLaunch.t.sol\":166},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"6fc8182222e446671c1760963c9d41a05c1609a674ab27197be93c3847078c13","verifiedTreeHash":"51dfc098375175a9f726511e8110c9f01ec7ca68","verifierVersion":"0.1.0+4ba55555"}]}