{"assessments":[],"deployments":[{"attestationHash":"5d99a708e822aa9ed57c3a121ffeb4a40be4f29de7fdc39ba1f38f2257628c25","chainId":1,"contracts":[{"address":"0x36cc90d2afee8795924780317e45c7f8c72204df","blockNumber":26268274,"name":"MerkleDistributor","role":"distributor","txHash":"0x01cb6010dcfb7d2a77986d9592a5c3414cdd3590e8d6a6b607fda3bb2b1d0598"},{"address":"0x784ff9a3ac5d88a30bfff6f7f2a270161fbe6000","blockNumber":26268274,"name":"PoolInitializationGuard","role":"hook","txHash":"0x01cb6010dcfb7d2a77986d9592a5c3414cdd3590e8d6a6b607fda3bb2b1d0598"},{"address":"0xe8fce2547267ea98027f8991f26b74db3de2e584","blockNumber":26268274,"name":"SwornToken","role":"token","txHash":"0x01cb6010dcfb7d2a77986d9592a5c3414cdd3590e8d6a6b607fda3bb2b1d0598"}],"id":"7d98948b-fce1-4cf9-ae09-d239cfbd2ae1","manifestHash":"8706378f08865e1d09fc1ccfa7102d771abdac5da951217311525f861886d661","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":"c3a22c79-58a5-473d-b634-eae643472a82","kind":"shape:chain","nodes":[{"acceptedSubmissionHash":"c06842f7cdefca351b94f2bd092d5458c0fcaf6842107f015fa6c4cf4744f3bc","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":"03a20432480e38c7344d04442a5ce9ca1373425e05a798a92843fc56115aa19b","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":"c93783518b98999d1c20e5a819c11bd11dd94c6c97232c5de0062be73e0d1f20","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":"4e6dc97b0d3e5b22014eff2685d682cddd0bcba3f802a6c1d2eed1933653eb87","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":"8e29aacf70876ca2c60fbded311fe4d479d89b146c53e93aa9afb6367175b1ec","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":"2075608a02f4480257f849bc0f52e200676fff90d81ff4e3745464d5f58d8d2b","dependsOn":[],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"816fe39c7efd64504a19175b0f4dd9186d61069f37a22684c90358a18c60bddc","skillId":"build-contract-project","tools":[]},"key":"build_contract_project","kind":"code","role":"implement","skillHash":"816fe39c7efd64504a19175b0f4dd9186d61069f37a22684c90358a18c60bddc","skillId":"build-contract-project","state":"accepted"},{"acceptedSubmissionHash":"1519971f08788278687d8f34c5ce779447d0765b737374bb917e040943baa285","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"tools":[]},"key":"manifest","kind":"code","role":"integrate","skillHash":null,"skillId":null,"state":"accepted"},{"acceptedSubmissionHash":"7b4683a8cc7ac71de16d64eba9e676487af4342ba0ee473b8c42a22edd5c96de","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"ab3f8f2aa4e7f3b3ada558c0dcf522ba733ca3df3b1da92c707a0fe305816d5f","skillId":"write-foundry-tests","tools":[]},"key":"write_foundry_tests","kind":"code","role":"tests","skillHash":"ab3f8f2aa4e7f3b3ada558c0dcf522ba733ca3df3b1da92c707a0fe305816d5f","skillId":"write-foundry-tests","state":"accepted"}],"objective":"A custom token: swornbyswarm (SWORN).\nToken name: swornbyswarm\nToken symbol: SWORN\nToken supply: 1,000,000,000 with 18 decimals, all minted once to the deployer in the constructor.\nWhat it does: X：x.com/swornbyswarm\nwebsite：swornbyswarm.sites.imd.fun","parentJobId":null,"planHash":"5f9754f31ebfb1608928fc51ffc1fb196030817946face7e1c6b27250ee497ea","previousHash":"28b1c9cd08e27c1eeefdb7b35c28fcf76b2683b4091ae7a0463851fffc7fd3de","projectId":"c3a22c79-58a5-473d-b634-eae643472a82","publication":{"commit":"810e78d4cd6fa7576c6a744247fbbd49be974499","deliveredAt":"2026-10-25T07:43:31.869Z","repoUrl":"https://github.com/identity-md-launches/launch-2564-swornbyswarm"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[],"site":null,"snapshotHash":"1291769b7e48fcf0f54a99eef4a87ab9fcfe556d51419946cb4b0a3cc5b5a5b6","state":"completed","submissions":[{"artifacts":[],"attempt":1,"bundleHash":null,"device":"02f22d6f13810ca8","findings":[],"hash":"03a20432480e38c7344d04442a5ce9ca1373425e05a798a92843fc56115aa19b","nodeId":"28e5a629-d68b-453f-ae48-4ef3eca2a041","outcome":"completed","summary":"The review is complete. No defects were found, and the findings file records that 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 the constructor and supply invariant, the vendored library, the absent receive and fallback, and the one aderyn lead. All three entry points are marked `holds`.\n\n**What I checked, by guide:**\n- **Execution Trace.** Traced `approve`, `transfer` and `transferFrom` through OpenZeppelin's `_approve`, `_spendAllowance` and `_update`. Every path either moves exactly the requested amount or reverts atomically. Zero-address sender and receiver, zero amounts, self-transfer, max allowance and whole-supply moves all behave as the standard specifies. There are no external calls, hooks, fees or stale reads.\n- **Periphery.** The vendored OpenZeppelin files are byte-identical to upstream v5.1.0, confirmed by diffing against the tagged sources. The unchecked blocks are each guarded by a preceding check or bounded by the fixed supply.\n- **First Principles.** The constructor mints the whole supply to the caller once. A CREATE2 deployment from a factory contract leaves the full balance at the factory, which is what the protected launch test requires. Nothing after construction can call a mint path, so supply cannot grow. The decimals override is a pure constant that matches the stated supply.\n\n**Verification run:**\n- The project's own 27 tests pass, including the privilege-surface, bytecode-scan and fuzz tests.\n- A scratch suite of nine edge-case tests I wrote under `test/scratch/` passed and was then removed, so the tree is unchanged.\n- `forge fmt --check` is clean.\n\n**Leads dismissed:** the aderyn large-numeric-literal note on line 28 is a compile-time constant equal to one billion times ten to the eighteenth, asserted by the tests. The classic ERC-20 approve race is standard behaviour the README documents, not a defect in this code.\n\n**Not covered:** nothing in my area was left unreached. Launch-manifest fields, pool pricing and the deployer's economics are outside the token and were not reviewed beyond confirming the token needs no exemptions because it has no transfer tax.","treeHash":null,"usage":{"cachedInputTokens":380051,"inputTokens":226,"model":"claude-fable-5-1","outputTokens":73148,"runtime":"claude","turns":19,"wallClockMs":779007}},{"artifacts":[],"attempt":1,"bundleHash":"0a8c5464543265c68b9656b57894a12d5ff98bcf96021233af2daa3fb88e0abd","device":"6007d5038419a72d","findings":[],"hash":"1519971f08788278687d8f34c5ce779447d0765b737374bb917e040943baa285","nodeId":"f231bdf2-a5a6-4169-987e-a59533be9be0","outcome":"completed","summary":"Created `launch.json` matching `SwornToken`, its exact supply, empty constructor arguments, and the required pool settings and economics.\n\nValidation passed: manifest checks, `forge build`, and all 27 tests with the specified fuzz seed. Only `launch.json` is included in the changes.","treeHash":"56eca91c7616cbde8c467c12c0a3aa3f422de2d3","usage":{"cachedInputTokens":178176,"inputTokens":21430,"model":"gpt-6-astra","outputTokens":2199,"runtime":"codex","turns":3,"wallClockMs":73399}},{"artifacts":[],"attempt":1,"bundleHash":"ecae7aa6a102f27b54373388862e65e38851417eaec1febdb5535632f689d377","device":"4ebee02fc506f27c","findings":[],"hash":"2075608a02f4480257f849bc0f52e200676fff90d81ff4e3745464d5f58d8d2b","nodeId":"2c695b35-9c74-4826-b2d1-aa7ed618f115","outcome":"completed","summary":"The deliverable is complete and committed on `main` as a Foundry project at the repository root.\n\n**What was built**\n\n- `src/SwornToken.sol`: contract `SwornToken`, an OpenZeppelin v5.1.0 `ERC20` with name `swornbyswarm`, symbol `SWORN`, 18 decimals. The constructor takes no arguments and mints the whole 1,000,000,000 token supply once to `msg.sender`, which is the factory at launch. There is no owner, mint path, pause, blocklist, tax, burn hook, `selfdestruct` or `delegatecall`. The X and website links from the brief are exposed as on-chain string constants.\n- `script/DeploySwornToken.s.sol`: reference deploy script. Its `deploy()` function is what the tests call; `run()` reads no environment variables.\n- `test/SwornToken.t.sol`: 27 tests covering metadata and supply, launch flows arriving whole (10% distributor, 70% pool, 20% requester, then a claim), transfer and allowance success paths, revert paths with exact OpenZeppelin error selectors, 22 common privileged selectors rejected from both a stranger and the deployer, ether rejection, an EIP-170 and opcode scan of the runtime, and three fuzz tests.\n- `README.md`: layout, build steps, test coverage, manifest values, assumptions, operational responsibilities, and an empty \"After launch\" section since nothing is owner-settable.\n- `foundry.toml` pins `solc = \"0.8.26\"`, sets `bytecode_hash = \"none\"` and `cbor_metadata = false`, optimizer on, no ffi or filesystem access. Dependencies are vendored as ordinary files under `lib/` with no submodules: forge-std v1.9.7 sources and the five OpenZeppelin files the token needs.\n\n**Verification**\n\nForge was not installed on this machine, so I downloaded Foundry 1.5.1 stable into the scratch area and ran everything with it.\n\n| Check | Result |\n|---|---|\n| `forge build` (clean, solc 0.8.26) | success, no warnings |\n| `forge test` with the verifier's fuzz seed | 27 passed, 0 failed |\n| `forge fmt --check` | clean |\n| Compiled runtime | no CBOR metadata marker, 4.6 KB |\n\n**Notes**\n\n- Slither was not available here and was not run. The design avoids all six rejected detectors by construction.\n- The commit was made with an inline author identity since the repository has none configured and `.git/` is off limits.\n- `launch.json` was deliberately not written; the manifest values are listed in the README for the manifest step.","treeHash":"0e755d7e89472fc830e031b1a94341748ed68a27","usage":{"cachedInputTokens":1830404,"inputTokens":962,"model":"claude-fable-5-1","outputTokens":30261,"runtime":"claude","turns":62,"wallClockMs":542817}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"7e64d4917fa814e6","findings":[],"hash":"4e6dc97b0d3e5b22014eff2685d682cddd0bcba3f802a6c1d2eed1933653eb87","nodeId":"780c253c-d4cd-464c-a0ab-48d09c8b0121","outcome":"completed","summary":"The review is complete. The findings file holds an empty list with full coverage, and the tree is otherwise unchanged (`.imd-findings.json` is ignored by git, so status is clean).\n\n**Result: no defects in the Math Precision, Boundary or Numerical Gap area.**\n\nThe SWORN token in `src/SwornToken.sol` is OpenZeppelin ERC20 v5.1.0 with name, symbol, decimals and supply fixed as constants and a single constructor mint. There is no custom arithmetic to leak value through.\n\nWhat I checked, against each guide's failure modes:\n\n- **Math Precision.** No division, downcast, shift, or scale conversion exists anywhere in the token or its inherited path. The supply constant evaluates exactly to 1e27 at compile time with checked arithmetic. Both unchecked blocks in OpenZeppelin's balance update and allowance spend are preceded by the strict guards that make them safe, and the balance sum is bounded by a supply far below the uint256 limit.\n- **Boundary.** The contract makes no external calls, has no payable, receive or fallback function, and decodes no bytes. I confirmed that empty calls and unknown selectors revert, that max-uint and supply-plus-one transfers revert with the exact ERC-6093 error, that a zero-address `from` in transferFrom reverts even at value zero, and that the max-uint allowance sentinel is skipped while max-minus-one is decremented.\n- **Numerical Gap.** The sum-of-balances invariant held across 2,000 fuzzed chains of random transfers including zero and dust amounts, and full-balance self-transfers via both transfer and transferFrom leave the balance intact. The launch's 10/70/20 split of 1e27 divides with no remainder, so no rounding reaches the distributor, pool seed or requester.\n\nThe one static-analysis lead, aderyn's large numeric literal at line 28, is a style note only and was not reported.\n\nCoverage rows were written for all three entry points as `holds`, plus rows for the supply and launch-flow invariants, the boundary enumeration and the static lead. The scratch test I used was deleted, as nothing in that directory is kept.","treeHash":null,"usage":{"cachedInputTokens":404701,"inputTokens":226,"model":"claude-fable-5-1","outputTokens":8948,"runtime":"claude","turns":20,"wallClockMs":150028}},{"artifacts":[],"attempt":1,"bundleHash":"ac68e4ebad5ff0464de5fa42c301a07871a198da4df06721a8f714c068742a54","device":"65953ebb855c1b23","findings":[],"hash":"7b4683a8cc7ac71de16d64eba9e676487af4342ba0ee473b8c42a22edd5c96de","nodeId":"d3d88bdb-7768-4f1d-9aff-820ec10761c7","outcome":"completed","summary":"Added edge-case, failure-path, fuzz, and stateful invariant tests under `test/`.\n\n`forge build` and `forge test` pass with the supplied seed: 51 reported tests and 32,768 invariant calls. No implementation defects found; production code and configuration unchanged.","treeHash":"b38e5a2f284abe5b23ce14cbd78db3ee4cbc079b","usage":{"cachedInputTokens":812288,"inputTokens":53122,"model":"gpt-6-astra","outputTokens":14198,"runtime":"codex","turns":6,"wallClockMs":427798}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"dedd4428da8fa41e","findings":[],"hash":"8e29aacf70876ca2c60fbded311fe4d479d89b146c53e93aa9afb6367175b1ec","nodeId":"01efd5d4-e2fc-433c-9242-b3812968f5e4","outcome":"completed","summary":"I found no defects in SWORN's permissions. `.imd-findings.json` holds an empty findings list and a coverage row for each of the three entry points.\n\n**What's in scope:** `src/SwornToken.sol` is OpenZeppelin v5.1's standard ERC-20 with nothing changed. It adds only constants, a `decimals()` override that returns 18, and a constructor that mints 1,000,000,000 × 10^18 tokens once, to `msg.sender` (the factory).\n\n**Access control:** No owner role, admin role or modifiers exist. Nothing outside the constructor can create or destroy tokens. There is no pause, blocklist, freeze, seize or `burnFrom`, and no delegatecall, callcode or selfdestruct.\n\n**Trust gap and asymmetry:** The constructor gives the deployer only the token balance. Once it has paid that out, the deployer can do nothing an ordinary holder can't, so there is no privileged path to bypass.\n\n**Entry points** (all three `holds`):\n- **`approve`**: sets an allowance only with the caller as owner, and reverts if the owner or spender is the zero address.\n- **`transfer`**: moves exactly the amount from the caller's own balance, and reverts if the balance is too low or the recipient is the zero address.\n- **`transferFrom`**: checks and reduces the spender's allowance first (a maximum allowance is never reduced), then moves exactly the amount.\n\nThere's no fee or burn on transfer, so the factory, PoolManager and distributor flows arrive in full.\n\n**Leads and checks:** Aderyn's low-severity \"large numeric literal\" lead at line 28 is just the supply constant (1e27, correct), so it isn't a defect. Slither reported nothing. The project's existing test suite passes (27/27). I wrote no proof tests because there were no high or critical findings.\n\n**Not covered:** I didn't review launch.json because there isn't one yet; the manifest step writes it later.","treeHash":null,"usage":{"cachedInputTokens":121583,"inputTokens":10,"model":"claude-opus-5-5","outputTokens":2103,"runtime":"claude","turns":5,"wallClockMs":35605}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"99c6d0bcc495ad61","findings":[],"hash":"c06842f7cdefca351b94f2bd092d5458c0fcaf6842107f015fa6c4cf4744f3bc","nodeId":"af81212b-81f5-4515-b4d9-c2bb68948490","outcome":"completed","summary":"The review is complete. The findings file holds an empty findings list and a thirteen-row coverage record, and the working tree is otherwise unchanged.\n\n**Result: no defects in the economics area.** SwornToken is OpenZeppelin's ERC20 v5.1.0 with constants and a single constructor mint. Every failure mode the Economic Security, Invariant and Flow Gap guides list needs a fee, hook, external call, owner, or secondary mint or burn path, and this contract has none of them.\n\nWhat I verified, by reading and by executing tests:\n\n- **Supply invariants.** The constructor mints exactly 1e27 units to its caller and nothing can change totalSupply afterwards. The compiled ABI exposes only approve, transfer and transferFrom as state-changing functions. Mint, burn and burnFrom selectors revert for both a stranger and the deployer.\n- **Conservation.** A fuzz test over random transfer sequences among seven actors kept the sum of balances equal to totalSupply in every run.\n- **Launch flows.** The swarm share, pool seed, requester remainder and a distributor claim each arrive whole with this job's split. Pulling through approve plus transferFrom, the way the pool manager settles, also moves exactly the requested amount and clears the allowance.\n- **External dependencies.** The contract makes no external calls, has no receive or fallback, no payable function, no sentinel address branch and no owner. There is no dependency whose failure could strand or redirect value.\n- **Dependency integrity.** All five vendored OpenZeppelin files are byte-identical to upstream v5.1.0 by sha256.\n- **Static analysis leads.** Slither reported nothing. The aderyn large-literal note points at the intended supply constant and is not a defect.\n\nTwo things worth noting for the judge. The approve function has the standard ERC-20 approve-race property, which is inherent to the interface and documented in the README, so I did not report it as a defect. No launch.json exists yet, so that row is marked unreached. The README's intended manifest values match the code: empty constructor arguments, supply of 1e27, 18 decimals, contract name SwornToken.\n\nThe project's own 27 tests pass, and my scratch invariant tests passed before I removed them.","treeHash":null,"usage":{"cachedInputTokens":507514,"inputTokens":258,"model":"claude-fable-5-1","outputTokens":11403,"runtime":"claude","turns":24,"wallClockMs":184878}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"589ef002581a5371","findings":[],"hash":"c93783518b98999d1c20e5a819c11bd11dd94c6c97232c5de0062be73e0d1f20","nodeId":"22f97e66-f4bf-4204-ac2a-f38c74a74b75","outcome":"completed","summary":"The review is complete. No defects were found, and the findings file holds an empty list with a full coverage record.\n\n**What was reviewed.** The token is a single contract, SwornToken, which inherits OpenZeppelin ERC20 and adds only constants, a constructor that mints the whole supply to msg.sender, and a decimals override. The three entry points the verifier listed are the unmodified OpenZeppelin implementations.\n\n**How each claim was checked:**\n- All five specialist reports (math, permissions, economics, flow, tests) listed no findings, so there was nothing to reproduce or merge.\n- The vendored OpenZeppelin files were diffed against upstream v5.1.0 and are byte-identical, so the inherited approve, transfer and transferFrom behave exactly as published.\n- The project suite of 51 tests passed, including invariants over 256 runs and the privilege-surface selectors.\n- A scratch test I wrote deployed the token with CREATE2 from a probe contract and confirmed the probe received the full supply, that overdraft, zero-address and missing-allowance paths revert with the expected errors, that infinite allowance is not decremented, and that ether sends and a mint call fail. It passed and was removed.\n- Runtime and creation code are far under the EIP-170 and EIP-3860 limits, so the factory can deploy it.\n- The manifest uses only schema keys, has empty constructorArgs matching the argument-free constructor, a totalSupply string equal to the minted amount, lowercase addresses, and notes under the limit.\n- The one aderyn low lead, the large numeric literal on line 28, is the documented supply expression and evaluates to exactly the manifest supply. It is not a defect and was not reported.\n\n**Result.** The findings file contains zero findings and seven coverage rows: the three entry points marked holds, plus rows for the mint invariant, the no-privilege invariant, the manifest, and the static-analysis leads. The working tree is unchanged apart from the findings file.","treeHash":null,"usage":{"cachedInputTokens":330374,"inputTokens":226,"model":"claude-fable-5-1","outputTokens":7241,"runtime":"claude","turns":14,"wallClockMs":228483}}],"verification":[{"checks":[{"durationMs":970,"exitCode":0,"name":"build","output":"Compiling 28 files with Solc 0.8.26\nSolc 0.8.26 finished in 882.82ms\nCompiler run successful!\n","passed":true},{"durationMs":124,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 27 tests for test/SwornToken.t.sol:SwornTokenTest\n[PASS] testFuzz_transferAboveBalanceReverts(uint256,uint256) (runs: 256, μ: 99876, ~: 100269)\nLogs:\n  Bound result 353380305308269170817650252\n  Bound result 647251862901358488119786787\n\n[PASS] testFuzz_transferConservesSupply(address,uint256) (runs: 256, μ: 104323, ~: 104780)\nLogs:\n  Bound result 400920426734556476533997144\n\n[PASS] testFuzz_transferFromRespectsAllowance(uint256,uint256) (runs: 256, μ: 173562, ~: 150236)\nLogs:\n  Bound result 400000000000000000000\n  Bound result 255\n\n[PASS] test_approveAndTransferFrom() (gas: 213149)\n[PASS] test_approveZeroSpenderReverts() (gas: 30818)\n[PASS] test_constructorEmitsTransferAndSupplyMinted() (gas: 13712)\n[PASS] test_deployScriptMintsToItsCaller() (gas: 1613613)\n[PASS] test_deployerCannotPullFromHolder() (gas: 100341)\n[PASS] test_infiniteAllowanceIsNotReduced() (gas: 186122)\n[PASS] test_launchFlowsArriveWhole() (gas: 298676)\n[PASS] test_metadata() (gas: 58194)\n[PASS] test_noCallIncreasesSupply() (gas: 706651)\n[PASS] test_noCallMovesOrFreezesAHolder() (gas: 430305)\n[PASS] test_projectLinks() (gas: 18431)\n[PASS] test_runtimeFitsAndHasNoDelegatecallOrSelfdestruct() (gas: 3267826)\n[PASS] test_supplyIsOneBillionWithEighteenDecimals() (gas: 34992)\n[PASS] test_tokenRejectsEther() (gas: 37489)\n[PASS] test_transferFromAboveAllowanceReverts() (gas: 147230)\n[PASS] test_transferFromAboveBalanceRevertsEvenWithAllowance() (gas: 145771)\n[PASS] test_transferFromStrangerWithNothingReverts() (gas: 33171)\n[PASS] test_transferFromWithoutAllowanceReverts() (gas: 99775)\n[PASS] test_transferMovesExactAmountAndEmits() (gas: 148281)\n[PASS] test_transferRevertsOnInsufficientBalance() (gas: 110115)\n[PASS] test_transferToSelfKeepsBalance() (gas: 100673)\n[PASS] test_transferToZeroAddressReverts() (gas: 90198)\n[PASS] test_transferZeroAmountSucceeds() (gas: 43207)\n[PASS] test_wholeSupplyMintedToDeployer() (gas: 23908)\nSuite result: ok. 27 passed; 0 failed; 0 skipped; finished in 9.47ms (34.79ms CPU time)\n\nRan 1 test suite in 10.33ms (9.47ms CPU time): 27 tests passed, 0 failed, 0 skipped (27 total tests)\n","passed":true},{"durationMs":51,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"SwornToken.approve(address,uint256)\",\"SwornToken.transfer(address,uint256)\",\"SwornToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":22,\"README.md\":139,\"foundry.toml\":21,\"launch.json\":24,\"remappings.txt\":2,\"script/DeploySwornToken.s.sol\":25,\"src/SwornToken.sol\":49,\"test/SwornToken.t.sol\":380},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"1519971f08788278687d8f34c5ce779447d0765b737374bb917e040943baa285","verifiedTreeHash":"56eca91c7616cbde8c467c12c0a3aa3f422de2d3","verifierVersion":"0.1.0+fa479356"},{"checks":[{"durationMs":1685,"exitCode":0,"name":"build","output":"Compiling 28 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.49s\nCompiler run successful!\n","passed":true},{"durationMs":267,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 27 tests for test/SwornToken.t.sol:SwornTokenTest\n[PASS] testFuzz_transferAboveBalanceReverts(uint256,uint256) (runs: 256, μ: 99876, ~: 100269)\nLogs:\n  Bound result 815726867136599739994322024\n  Bound result 921365664317001300255292299\n\n[PASS] testFuzz_transferConservesSupply(address,uint256) (runs: 256, μ: 104323, ~: 104780)\nLogs:\n  Bound result 370648515458539937927069050\n\n[PASS] testFuzz_transferFromRespectsAllowance(uint256,uint256) (runs: 256, μ: 173562, ~: 150236)\nLogs:\n  Bound result 683618318494492676122223531\n  Bound result 504476954206687273661051725\n\n[PASS] test_approveAndTransferFrom() (gas: 213149)\n[PASS] test_approveZeroSpenderReverts() (gas: 30818)\n[PASS] test_constructorEmitsTransferAndSupplyMinted() (gas: 13712)\n[PASS] test_deployScriptMintsToItsCaller() (gas: 1613613)\n[PASS] test_deployerCannotPullFromHolder() (gas: 100341)\n[PASS] test_infiniteAllowanceIsNotReduced() (gas: 186122)\n[PASS] test_launchFlowsArriveWhole() (gas: 298676)\n[PASS] test_metadata() (gas: 58194)\n[PASS] test_noCallIncreasesSupply() (gas: 706651)\n[PASS] test_noCallMovesOrFreezesAHolder() (gas: 430305)\n[PASS] test_projectLinks() (gas: 18431)\n[PASS] test_runtimeFitsAndHasNoDelegatecallOrSelfdestruct() (gas: 3267826)\n[PASS] test_supplyIsOneBillionWithEighteenDecimals() (gas: 34992)\n[PASS] test_tokenRejectsEther() (gas: 37489)\n[PASS] test_transferFromAboveAllowanceReverts() (gas: 147230)\n[PASS] test_transferFromAboveBalanceRevertsEvenWithAllowance() (gas: 145771)\n[PASS] test_transferFromStrangerWithNothingReverts() (gas: 33171)\n[PASS] test_transferFromWithoutAllowanceReverts() (gas: 99775)\n[PASS] test_transferMovesExactAmountAndEmits() (gas: 148281)\n[PASS] test_transferRevertsOnInsufficientBalance() (gas: 110115)\n[PASS] test_transferToSelfKeepsBalance() (gas: 100673)\n[PASS] test_transferToZeroAddressReverts() (gas: 90198)\n[PASS] test_transferZeroAmountSucceeds() (gas: 43207)\n[PASS] test_wholeSupplyMintedToDeployer() (gas: 23908)\nSuite result: ok. 27 passed; 0 failed; 0 skipped; finished in 43.08ms (128.64ms CPU time)\n\nRan 1 test suite in 49.09ms (43.08ms CPU time): 27 tests passed, 0 failed, 0 skipped (27 total tests)\n","passed":true},{"durationMs":74,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"SwornToken.approve(address,uint256)\",\"SwornToken.transfer(address,uint256)\",\"SwornToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":22,\"README.md\":139,\"foundry.toml\":21,\"remappings.txt\":2,\"script/DeploySwornToken.s.sol\":25,\"src/SwornToken.sol\":49,\"test/SwornToken.t.sol\":380},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":1297,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":670,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/SwornToken.sol:28: Large Numeric Literal","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"2075608a02f4480257f849bc0f52e200676fff90d81ff4e3745464d5f58d8d2b","verifiedTreeHash":"0e755d7e89472fc830e031b1a94341748ed68a27","verifierVersion":"0.1.0+fa479356"},{"checks":[{"durationMs":1485,"exitCode":0,"name":"build","output":"Compiling 30 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.41s\nCompiler run successful!\n","passed":true},{"durationMs":16965,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 27 tests for test/SwornToken.t.sol:SwornTokenTest\n[PASS] testFuzz_transferAboveBalanceReverts(uint256,uint256) (runs: 256, μ: 99718, ~: 100281)\nLogs:\n  Bound result 691854508733345268416727476\n  Bound result 734202658263543153183716711\n\n[PASS] testFuzz_transferConservesSupply(address,uint256) (runs: 256, μ: 104502, ~: 104780)\nLogs:\n  Bound result 370648515458539937927069050\n\n[PASS] testFuzz_transferFromRespectsAllowance(uint256,uint256) (runs: 256, μ: 174824, ~: 175768)\nLogs:\n  Bound result 353380305308269170760097504\n  Bound result 632168209627658937437039\n\n[PASS] test_approveAndTransferFrom() (gas: 213149)\n[PASS] test_approveZeroSpenderReverts() (gas: 30818)\n[PASS] test_constructorEmitsTransferAndSupplyMinted() (gas: 13712)\n[PASS] test_deployScriptMintsToItsCaller() (gas: 1613613)\n[PASS] test_deployerCannotPullFromHolder() (gas: 100341)\n[PASS] test_infiniteAllowanceIsNotReduced() (gas: 186122)\n[PASS] test_launchFlowsArriveWhole() (gas: 298676)\n[PASS] test_metadata() (gas: 58194)\n[PASS] test_noCallIncreasesSupply() (gas: 706651)\n[PASS] test_noCallMovesOrFreezesAHolder() (gas: 430305)\n[PASS] test_projectLinks() (gas: 18431)\n[PASS] test_runtimeFitsAndHasNoDelegatecallOrSelfdestruct() (gas: 3267826)\n[PASS] test_supplyIsOneBillionWithEighteenDecimals() (gas: 34992)\n[PASS] test_tokenRejectsEther() (gas: 37489)\n[PASS] test_transferFromAboveAllowanceReverts() (gas: 147230)\n[PASS] test_transferFromAboveBalanceRevertsEvenWithAllowance() (gas: 145771)\n[PASS] test_transferFromStrangerWithNothingReverts() (gas: 33171)\n[PASS] test_transferFromWithoutAllowanceReverts() (gas: 99775)\n[PASS] test_transferMovesExactAmountAndEmits() (gas: 148281)\n[PASS] test_transferRevertsOnInsufficientBalance() (gas: 110115)\n[PASS] test_transferToSelfKeepsBalance() (gas: 100673)\n[PASS] test_transferToZeroAddressReverts() (gas: 90198)\n[PASS] test_transferZeroAmountSucceeds() (gas: 43207)\n[PASS] test_wholeSupplyMintedToDeployer() (gas: 23908)\nSuite result: ok. 27 passed; 0 failed; 0 skipped; finished in 309.42ms (817.78ms CPU time)\n\nRan 22 tests for test/SwornTokenProperties.t.sol:SwornTokenPropertiesTest\n[PASS] testFuzz_approvalReplacementIsIdempotent(uint256,uint256) (runs: 1000, μ: 813396, ~: 813482)\n[PASS] testFuzz_delegatedSelfTransferOnlyChangesFiniteAllowance(uint256,uint256) (runs: 1000, μ: 231624, ~: 232019)\nLogs:\n  Bound result 691542251398738427410103100\n  Bound result 28890442063712051772504346199615421411618307162962410493618392133147700818023\n\n[PASS] testFuzz_failedDelegatedOverdraftPreservesAllState(uint256,uint256,bool) (runs: 1000, μ: 795853, ~: 796302)\nLogs:\n  Bound result 7341\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129637176\n\n[PASS] testFuzz_infiniteAllowanceSurvivesRepeatedSpends(uint256,uint256) (runs: 1000, μ: 384851, ~: 384893)\nLogs:\n  Bound result 1000000000000000000000\n  Bound result 753\n\n[PASS] testFuzz_insufficientAllowancePreservesAllState(uint256,uint256) (runs: 1000, μ: 786816, ~: 787298)\nLogs:\n  Bound result 1000000000000000000000\n  Bound result 999999000000000000000000753\n\n[PASS] testFuzz_splitDelegatedSpendingEqualsOneTransfer(uint256,uint256) (runs: 1000, μ: 980260, ~: 980460)\nLogs:\n  Bound result 58\n  Bound result 149212743071898695359290316\n\n[PASS] testFuzz_transferRoundTripRestoresEveryBalance(uint256) (runs: 1000, μ: 767058, ~: 767030)\nLogs:\n  Bound result 125579695799396979703081032\n\n[PASS] test_allowancesAreScopedToBothOwnerAndSpender() (gas: 1443026)\n[PASS] test_approvalReplacementAndRevocationEmitAndTakeEffect() (gas: 936996)\n[PASS] test_delegatedSelfTransferConsumesAllowanceWithoutMovingTokens() (gas: 227094)\n[PASS] test_failedTransferFromAboveBalanceRestoresAllowanceAndCanBeRetried() (gas: 881590)\n[PASS] test_failedTransferFromToZeroRestoresFiniteAllowance() (gas: 927002)\n[PASS] test_fullSupplyDelegatedTransferExhaustsAllowance() (gas: 838167)\n[PASS] test_holderCallingTransferFromStillNeedsSelfApproval() (gas: 848562)\n[PASS] test_infiniteAllowanceCanBeReplacedAndRevoked() (gas: 1024585)\n[PASS] test_maximumFiniteAllowanceIsNotInfinite() (gas: 251373)\n[PASS] test_maximumTransferFailsWithoutArithmeticPanicOrStateChange() (gas: 1410695)\n[PASS] test_oneWeiAndFullSupplyCanMoveAndReturn() (gas: 278189)\n[PASS] test_selfTransferCannotBypassBalanceCheck() (gas: 1331590)\n[PASS] test_zeroRecipientRejectedEvenForZeroAmount() (gas: 1219184)\n[PASS] test_zeroSpenderRejectedEvenForZeroApproval() (gas: 590494)\n[PASS] test_zeroTransfersEmitWithoutBalanceOrAllowance() (gas: 634442)\nSuite result: ok. 22 passed; 0 failed; 0 skipped; finished in 309.55ms (2.15s CPU time)\n\nRan 2 tests for test/SwornTokenInvariant.t.sol:SwornTokenInvariantTest\n[PASS]\nSwornTokenInvariantTest invariants:\n[PASS] invariant_allowancesMatchApprovalsAndSpending\n[PASS] invariant_eachBalanceMatchesAuthorizedTransfers\n[PASS] invariant_supplyIsFixedAndBalancesConserved\n SwornTokenInvariantTest invariants (runs: 256, calls: 32768, reverts: 0)\n\n╭-------------------+--------------------------+-------+---------+----------╮\n| Contract          | Selector                 | Calls | Reverts | Discards |\n+===========================================================================+\n| SwornTokenHandler | approve                  | 3343  | 0       | 0        |\n|-------------------+--------------------------+-------+---------+----------|\n| SwornTokenHandler | rejectDelegatedOverdraft | 3333  | 0       | 0        |\n|-------------------+--------------------------+-------+---------+----------|\n| SwornTokenHandler | rejectOverAllowance      | 3221  | 0       | 0        |\n|-------------------+--------------------------+-------+---------+----------|\n| SwornTokenHandler | rejectOverdraft          | 3231  | 0       | 0        |\n|-------------------+--------------------------+-------+---------+----------|\n| SwornTokenHandler | rejectZeroRecipient      | 3284  | 0       | 0        |\n|-------------------+--------------------------+-------+---------+----------|\n| SwornTokenHandler | rejectZeroSpender        | 3366  | 0       | 0        |\n|-------------------+--------------------------+-------+---------+----------|\n| SwornTokenHandler | revokeAndAttemptPull     | 3213  | 0       | 0        |\n|-------------------+--------------------------+-------+---------+----------|\n| SwornTokenHandler | transfer                 | 3270  | 0       | 0        |\n|-------------------+--------------------------+-------+---------+----------|\n| SwornTokenHandler | transferAll              | 3248  | 0       | 0        |\n|-------------------+--------------------------+-------+---------+----------|\n| SwornTokenHandler | transferFrom             | 3259  | 0       | 0        |\n╰-------------------+--------------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 2\n  Bound result 4\n  Bound result 200000000000000000000000001\n  Bound result 1\n  Bound result 2\n  Bound result 0\n  Bound result 3\n  Bound result 2\n  Bound result 931919781503166499681295943\n  Bound result 2\n  Bound result 4\n  Bound result 4\n  Bound result 2238\n  Bound result 0\n  Bound result 3\n  Bound result 255\n  Bound result 0\n  Bound result 2\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640364039457584007913129640644\n  Bound result 1\n  Bound result 2\n  Bound result 0\n  Bound result 2\n  Bound result 400000000000000000000\n  Bound result 0\n  Bound result 0\n  Bound result 1307703108843594788109206958127066930702167740346\n  Bound result 0\n  Bound result 1\n  Bound result 2\n  Bound result 115792089237316195423570985008687907853269984665640364039457584007913129642228\n  Bound result 0\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640364039457584007913130299853\n  Bound result 4\n  Bound result 1\n  Bound result 2\n  Bound result 3\n  Bound result 115792089237316195423570985008687907853269984665640364039457584007913129641666\n  Bound result 1\n  Bound result 2\n  Bound result 3\n  Bound result 115792089237316195423570985008687907853269984665640364039457584007913129639941\n  Bound result 4\n  Bound result 0\n  Bound result 3\n  Bound result 1593\n  Bound result 3\n  Bound result 3\n  Bound result 115792089237316195423570985008687907853269984665640364039457584007913129664511\n  Bound result 0\n  Bound result 1\n  Bound result 1\n  Bound result 3\n  Bound result 0\n  Bound result 1\n  Bound result 1\n  Bound result 4\n  Bound result 4\n  Bound result 0\n  Bound result 1\n  Bound result 3\n  Bound result 2\n  Bound result 115792089237316195423570985008687907853269984665640364039457584007913129640789\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 96\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640364039457584007913129642781\n  Bound result 3\n  Bound result 0\n  Bound result 1\n  Bound result 1\n  Bound result 3\n  Bound result 115792089237316195423570985008687907853269984665640364039457584007913129639942\n  Bound result 1\n  Bound result 0\n  Bound result 0\n  Bound result 4\n  Bound result 200000000000000000000000000\n  Bound result 0\n  Bound result 2120\n  Bound result 2\n  Bound result 3\n  Bound result 3\n  Bound result 8123\n  Bound result 0\n  Bound result 855\n  Bound result 3\n  Bound result 2\n  Bound result 0\n  Bound result 0\n  Bound result 1\n  Bound result 115792089237316195423570985008687907853269984665640364039457584007913129640519\n  Bound result 3\n  Bound result 4\n  Bound result 3\n  Bound result 115792089237316195423570985008687907853269984665640164039457584012178738292823\n  Bound result 3\n  Bound result 4\n  Bound result 0\n  Bound result 4\n  Bound result 0\n  Bound result 3\n  Bound result 1\n  Bound result 4\n  Bound result 0\n  Bound result 0\n  Bound result 4\n  Bound result 2\n  Bound result 4\n  Bound result 0\n  Bound result 4\n  Bound result 1\n  Bound result 400000000000000000000000001\n  Bound result 0\n  Bound result 3\n  Bound result 0\n  Bound result 21191\n  Bound result 1\n  Bound result 149561165733080266287449190\n  Bound result 1\n  Bound result 3\n  Bound result 2\n  Bound result 4\n  Bound result 4\n  Bound result 4594636\n  Bound result 3\n  Bound result 115792089237316195423570985008687907853269984665640364039457584007913129685702\n  Bound result 1\n  Bound result 4\n  Bound result 2\n  Bound result 6970\n  Bound result 3\n  Bound result 4\n  Bound result 1\n  Bound result 101\n  Bound result 0\n  Bound result 4\n  Bound result 7646\n  Bound result 2\n  Bound result 3\n  Bound result 1\n  Bound result 78060722009347949021992256424403040242424202922243584785217079374\n  Bound result 1\n  Bound result 0\n  Bound result 1\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129618882\n  Bound result 2\n  Bound result 3\n  Bound result 2\n  Bound result 4\n  Bound result 3\n  Bound result 8\n  Bound result 4\n  Bound result 0\n  Bound result 4\n  Bound result 115792089237316195423570985008687907853269984665640164039457584007913125045408\n  Bound result 0\n  Bound result 0\n  Bound result 1\n  Bound result 3\n  Bound result 1\n  Bound result 0\n  Bound result 2\n  Bound result 3\n  Bound result 457108882047123620077753724\n  Bound result 4\n  Bound result 0\n  Bound result 0\n  Bound result 6\n  Bound result 2\n  Bound result 4\n  Bound result 242\n  Bound result 0\n  Bound result 15458081\n  Bound result 0\n  Bound result 3\n  Bound result 0\n  Bound result 10000000000000000000\n  Bound result 1\n  Bound result 4\n  Bound result 0\n  Bound result 3\n  Bound result 1\n  Bound result 0\n  Bound result 71570967322458453669829072\n  Bound result 1\n  Bound result 0\n  Bound result 48879\n  Bound result 2\n  Bound result 1\n  Bound result 4\n  Bound result 0\n  Bound result 9\n  Bound result 2\n  Bound result 3\n  Bound result 115792089237316195423570985008687907853269984665640364039457584007913134237397\n  Bound result 3\n  Bound result 3\n  Bound result 0\n  Bound result 1\n  Bound result 7444000025244999456\n  Bound result 0\n  Bound result 0\n  Bound result 2827\n  Bound result 4\n  Bound result 3\n  Bound result 1\n  Bound result 451987393100071318573969393\n  Bound result 4\n  Bound result 3\n  Bound result 0\n  Bound result 3\n  Bound result 4\n  Bound result 10\n  Bound result 3\n  Bound result 4\n  Bound result 2\n  Bound result 2\n  Bound result 1\n  Bound result 0\n  Bound result 1\n  Bound result 6943\n  Bound result 4\n  Bound result 0\n  Bound result 1\n  Bound result 1\n  Bound result 3\n  Bound result 1\n  Bound result 115792089237316195423570985008687907853269984665640364039465028007938375812558\n  Bound result 0\n  Bound result 1\n  Bound result 0\n  Bound result 50000000000000000000\n  Bound result 2\n  Bound result 2\n  Bound result 3\n  Bound result 0\n  Bound result 126091898043317836188756257\n  Bound result 2868\n  Bound result 0\n  Bound result 3\n  Bound result 2\n  Bound result 3\n  Bound result 2\n  Bound result 1\n  Bound result 4\n  Bound result 0\n  Bound result 2\n  Bound result 1\n  Bound result 0\n  Bound result 3\n  Bound result 2\n  Bound result 869\n  Bound result 3\n  Bound result 1\n  Bound result 0\n  Bound result 0\n  Bound result 3\n  Bound result 1\n  Bound result 1\n  Bound result 0\n  Bound result 97100828389368087997604536856010370225209186974552407513984636\n  Bound result 2\n  Bound result 1\n  Bound result 0\n  Bound result 846933596113218530038739825\n  Bound result 1\n  Bound result 4\n  Bound result 254\n  Bound result 2\n  Bound result 2\n  Bound result 2\n  Bound result 1\n  Bound result 4\n  Bound result 0\n  Bound result 2\n  Bound result 4\n  Bound result 1\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640237947552096690051695867971\n  Bound result 1\n  Bound result 3\n  Bound result 0\n  Bound result 4\n  Bound result 0\n  Bound result 3\n  Bound result 1\n  Bound result 0\n  Bound result 3\n  Bound result 0\n  Bound result 4\n  Bound result 3\n  Bound result 1\n  Bound result 4\n  Bound result 0\n  Bound result 1\n  Bound result 2098\n  Bound result 3\n  Bound result 4\n  Bound result 2\n  Bound result 7000\n  Bound result 0\n  Bound result 3\n  Bound result 115792089237316195423570985008687907853269984665640237947552096690051695870669\n  Bound result 0\n  Bound result 3\n  Bound result 0\n  Bound result 324725731\n  Bound result 3\n  Bound result 0\n  Bound result 659918\n  Bound result 2\n  Bound result 4\n  Bound result 1777\n  Bound result 4\n  Bound result 0\n  Bound result 6000000000000000000\n  Bound result 4\n  Bound result 0\n  Bound result 0\n  Bound result 2\n  Bound result 2\n  Bound result 7074\n  Bound result 0\n  Bound result 18\n  Bound result 4\n  Bound result 2\n  Bound result 2\n  Bound result 0\n  Bound result 291063041661810311126492574\n  Bound result 127\n  Bound result 1\n  Bound result 1\n  Bound result 0\n  Bound result 1\n  Bound result 1\n  Bound result 0\n  Bound result 4\n  Bound result 5094\n  Bound result 3\n  Bound result 4\n  Bound result 0\n  Bound result 2\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 3\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 874\n  Bound result 2\n  Bound result 2\n  Bound result 1\n  Bound result 86\n  Bound result 79390460527261354197692269\n  Bound result 2\n  Bound result 2\n  Bound result 2\n  Bound result 4\n  Bound result 700036588856739380508426971\n  Bound result 1\n  Bound result 1\n  Bound result 2\n  Bound result 1\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640237947546096690051695865605\n  Bound result 2\n  Bound result 2\n  Bound result 16725487758192963589266309\n  Bound result 0\n  Bound result 4\n  Bound result 0\n  Bound result 8013\n  Bound result 2\n  Bound result 4\n  Bound result 1\n  Bound result 1\n  Bound result 0\n  Bound result 3\n  Bound result 3\n  Bound result 3\n  Bound result 0\n  Bound result 2\n  Bound result 2\n  Bound result 1\n  Bound result 0\n  Bound result 2\n  Bound result 0\n  Bound result 3\n  Bound result 0\n  Bound result 4\n  Bound result 0\n\n[PASS] test_handlerSequenceExercisesSuccessAndFailurePaths() (gas: 3630955)\nLogs:\n  Bound result 0\n  Bound result 1\n  Bound result 1\n  Bound result 10\n  Bound result 1\n  Bound result 2\n  Bound result 1\n  Bound result 2\n  Bound result 3\n  Bound result 10\n  Bound result 1\n  Bound result 2\n  Bound result 1\n  Bound result 2\n  Bound result 1\n  Bound result 1\n  Bound result 1\n  Bound result 2\n  Bound result 3\n  Bound result 1\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639935\n  Bound result 1\n  Bound result 1\n  Bound result 2\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639934\n  Bound result 3\n  Bound result 1\n  Bound result 2\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639934\n  Bound result 3\n  Bound result 1\n  Bound result 2\n  Bound result 1\n  Bound result 3\n  Bound result 1\n  Bound result 1\n  Bound result 1\n  Bound result 1\n  Bound result 2\n  Bound result 1\n  Bound result 1\n  Bound result 0\n  Bound result 2\n  Bound result 0\n  Bound result 3\n  Bound result 0\n  Bound result 4\n  Bound result 0\n\nSuite result: ok. 2 passed; 0 failed; 0 skipped; finished in 16.85s (16.85s CPU time)\n\nRan 3 test suites in 16.85s (17.47s CPU time): 51 tests passed, 0 failed, 0 skipped (51 total tests)\n","passed":true},{"durationMs":31,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"SwornToken.approve(address,uint256)\",\"SwornToken.transfer(address,uint256)\",\"SwornToken.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":22,\"README.md\":139,\"foundry.toml\":21,\"remappings.txt\":2,\"script/DeploySwornToken.s.sol\":25,\"src/SwornToken.sol\":49,\"test/SwornToken.t.sol\":380,\"test/SwornTokenInvariant.t.sol\":276,\"test/SwornTokenProperties.t.sol\":367},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"7b4683a8cc7ac71de16d64eba9e676487af4342ba0ee473b8c42a22edd5c96de","verifiedTreeHash":"b38e5a2f284abe5b23ce14cbd78db3ee4cbc079b","verifierVersion":"0.1.0+fa479356"}]}