{"assessments":[],"deployments":[],"fuzz":[],"identity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"interpretation":"Records acceptance and evidence. Neither completion nor an AI assessment establishes correctness, safety, or independent review.","jobId":"6ee45560-00bd-4328-b738-01089755cbac","kind":"shape:chain","nodes":[{"acceptedSubmissionHash":"7324fa5441f66c4831d1fa383ea4d811c2299794adca7a51437b99b1bc1234c5","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":"2968081c40e715b30e4270bc99f31ce9ec37cf52594458adbe793c1de6daa9d6","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":"a0d0a2507629ad578502e5b4fb9401ccc8ce6a7711d8dbfc6f1136682cdc0035","dependsOn":["build_contract_project","write_foundry_tests","manifest","audit_math","audit_permissions","audit_economics","audit_flow"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"3014f1ea5961918ca059453a484bf4c8bcbbfc2248dbe31d94ac7c5cdf8f50bd","skillId":"audit-judge","tools":[]},"key":"audit_judge","kind":"code","role":"review","skillHash":"3014f1ea5961918ca059453a484bf4c8bcbbfc2248dbe31d94ac7c5cdf8f50bd","skillId":"audit-judge","state":"accepted"},{"acceptedSubmissionHash":"e7de51dc776855013b55fa79dbcde17171d66f8e9f3b816deaec850f6787b131","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":"c5d40558c584e4c0bc851aebbf6dac0d2de41761f884346afd7ba3ad89a0b0e3","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":"5e93ff79290b4815d08a75019a3dc3ccfb5bb7546c75cbe8d083e4adf633fa0d","dependsOn":[],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"b6503de65ad02f845827887c23da4c3b56ccc5df7a459db263bae6e549d92f7f","skillId":"build-contract-project","tools":[]},"key":"build_contract_project","kind":"code","role":"implement","skillHash":"b6503de65ad02f845827887c23da4c3b56ccc5df7a459db263bae6e549d92f7f","skillId":"build-contract-project","state":"accepted"},{"acceptedSubmissionHash":"ac730f09d00ed9cbd1c2df670ddc198225aac2992091b37e4aedbbfb98fff887","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"tools":[]},"key":"manifest","kind":"code","role":"integrate","skillHash":null,"skillId":null,"state":"accepted"},{"acceptedSubmissionHash":"fee6b6503ec191489b5648fd607007d551da373c4866a1abb14bb98290098865","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: Pegzeus (PEGZEUS).\nToken name: Pegzeus\nToken symbol: PEGZEUS\nToken supply: 1,000,000,000 with 18 decimals, all minted once to the deployer in the constructor.\n\nTransfer rules: No fee","parentJobId":null,"planHash":"749b0d4fe8b09d0af70150dc02f7f0a5542299a1afaa901ac53b021699f4ae02","previousHash":"0000000000000000000000000000000000000000000000000000000000000000","projectId":"6ee45560-00bd-4328-b738-01089755cbac","publication":{"commit":null,"deliveredAt":null,"repoUrl":"https://github.com/identity-md-launches/launch-810-pegzeus"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[{"agentId":"50959","feedbackHash":"f3b50fffd45db14ef8cf6598129e00aa7f4ffb55226af619fa89bc53ba2f8c2c","nodeKey":"audit_economics","submissionHash":"7324fa5441f66c4831d1fa383ea4d811c2299794adca7a51437b99b1bc1234c5","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52082","feedbackHash":"e2055653afff3796d8be67989eb65cfde97eef6d2132901138f37600e0eb12c2","nodeKey":"audit_flow","submissionHash":"2968081c40e715b30e4270bc99f31ce9ec37cf52594458adbe793c1de6daa9d6","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51242","feedbackHash":"267a57ea09e2954d68dbbdf3881918cc8fd46f38e093cf382f9b38704f80faf9","nodeKey":"audit_judge","submissionHash":"a0d0a2507629ad578502e5b4fb9401ccc8ce6a7711d8dbfc6f1136682cdc0035","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52100","feedbackHash":"819bb8576c058139ca20458f8a19fb9f23a190580a05689fa7abe5055ede1979","nodeKey":"audit_math","submissionHash":"e7de51dc776855013b55fa79dbcde17171d66f8e9f3b816deaec850f6787b131","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51027","feedbackHash":"df51305c41e2aee3a495f96ece69c085ddcf22709d3d2677c6a4e1d72cba6184","nodeKey":"audit_permissions","submissionHash":"c5d40558c584e4c0bc851aebbf6dac0d2de41761f884346afd7ba3ad89a0b0e3","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"50963","feedbackHash":"3e14437c8011e8c0a23dee7d9a61b7bb0b54f03e44de97a0ed81e3457429a31f","nodeKey":"build_contract_project","submissionHash":"5e93ff79290b4815d08a75019a3dc3ccfb5bb7546c75cbe8d083e4adf633fa0d","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51560","feedbackHash":"b4b24f9f5f810b1686ac46187dd55251b0f1f0794d23ccca2dc83c0e39e514ac","nodeKey":"manifest","submissionHash":"ac730f09d00ed9cbd1c2df670ddc198225aac2992091b37e4aedbbfb98fff887","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51726","feedbackHash":"b093295b11bee7876ca8f0cb98484ce4f99543e125c536d7e3cc894eb5f42bea","nodeKey":"write_foundry_tests","submissionHash":"fee6b6503ec191489b5648fd607007d551da373c4866a1abb14bb98290098865","tag1":"verification:checks","tag2":"acceptance-v2","value":1}],"site":null,"snapshotHash":"e82792c795fa76b8c300a2a122d6eed1bfb404580978b2be6ed8bad26b094db8","state":"completed","submissions":[{"artifacts":[],"attempt":1,"bundleHash":null,"device":"077d2937780a81bc","findings":[{"citation":"resolved","description":"The README's 'token portion of a future launch manifest' (README.md:82-93) sets token.contract to the fully qualified artifact path \"src/Pegzeus.sol:Pegzeus\". The canonical LaunchManifest schema in the assignment constrains token.contract to the pattern ^[A-Za-z_][A-Za-z0-9_]{0,31}$, which admits only a bare contract name such as \"Pegzeus\"; '/', '.' and ':' are not allowed. A manifest author who copies this fragment verbatim produces a launch.json that fails schema validation and is refused at admission. The Solidity itself is unaffected: name, symbol, decimals (18), constructorArgs ([]) and totalSupply (\"1000000000000000000000000000\" == 10^27 == 1_000_000_000 * 10**18, matching INITIAL_SUPPLY at src/Pegzeus.sol:11) are all correct in the same fragment. Fix: change the value to \"Pegzeus\" (the deployer resolves the artifact from the contract name).","line":86,"path":"README.md","reproduction":"Input: the string \"src/Pegzeus.sol:Pegzeus\" as token.contract. Check: python3 -c \"import re;print(bool(re.match(r'^[A-Za-z_][A-Za-z0-9_]{0,31}$','src/Pegzeus.sol:Pegzeus')))\" prints False; the same check on \"Pegzeus\" prints True. Expected: the README fragment validates against the schema it is meant to seed. Actual: it is rejected by the pattern constraint on token.contract.","severity":"low","snippet":"  \"contract\": \"src/Pegzeus.sol:Pegzeus\",","title":"README manifest fragment uses a contract identifier the LaunchManifest schema rejects"}],"hash":"2968081c40e715b30e4270bc99f31ce9ec37cf52594458adbe793c1de6daa9d6","nodeId":"dcdc383d-f8ca-46da-8ccd-a1ced67c3488","outcome":"completed","summary":"Review complete. The Pegzeus token's control flow is sound; the findings file holds one low-severity documentation defect and a full coverage record.\n\n**What I produced**\n\n`.imd-findings.json` in the repository root, with one finding and eight coverage rows. The scratch test directory was removed, and no other file changed. The reviewed tree is otherwise clean.\n\n**Finding (low)**\n\nThe README's sample manifest fragment sets the token contract field to the fully qualified artifact path. The LaunchManifest schema only admits a bare identifier, so a manifest copied from that fragment is rejected at validation. The fix is to use `Pegzeus` as the value. Every other field in the fragment matches the code.\n\n**What holds, and how I verified it**\n\n- **Execution trace.** Each of the three listed entry points was traced through OpenZeppelin's `_approve`, `_transfer`, `_spendAllowance` and `_update`. Balance debit and credit happen in one step, total supply is untouched, zero addresses are rejected, failed transfers roll allowance back, and no external call or callback exists.\n- **Periphery.** The vendored OpenZeppelin files are byte-identical to the upstream v5.1.0 tarball, whose hash matches the recorded digest. There is no submodule and no assembly.\n- **First principles.** A CREATE2 factory, not tx.origin or the calling EOA, receives the whole supply. The constructor refuses ETH. The token reverts on empty calldata, unknown selectors and ETH. An independent opcode scan of the runtime found no CALL-family, DELEGATECALL, CREATE or SELFDESTRUCT. The ABI exposes no mint, burn, owner, pause, blacklist or upgrade entry point. The supply constant equals the manifest's supply string.\n- **Tests.** The project's 29 unit, fuzz and invariant tests pass. My scratch suite of 6 additional inversion tests passed and was deleted afterwards.\n\n**Trust assumptions and limits**\n\nThe standard ERC-20 approve race exists and is documented in the README. It is inherent to the design and not reported as a defect. The protected harness could not be run locally because it needs Uniswap v4 sources and launch environment variables that this tree does not carry. Slither and aderyn output from the verifier reported nothing above a large-literal note, which I confirmed is the correct supply constant.","treeHash":null,"usage":{"cachedInputTokens":536470,"inputTokens":226,"model":"claude-fable-5-1","outputTokens":11906,"runtime":"claude","turns":22,"wallClockMs":188300}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"0b183f15e03d94cc","findings":[],"hash":"3285b42d6b866b619e35b8e87695017b78f426d827f8d39dad93e33af64fe7d5","nodeId":"51d359e3-fae9-46d4-8385-66de49eda6be","outcome":"failed","summary":"{\"type\":\"error\",\"status\":400,\"error\":{\"type\":\"invalid_request_error\",\"message\":\"The 'gpt-6-astra' model is not supported when using Codex with a ChatGPT account.\"}}","treeHash":null,"usage":{"cachedInputTokens":0,"inputTokens":0,"model":null,"outputTokens":0,"runtime":"codex","turns":0,"wallClockMs":4158}},{"artifacts":[],"attempt":1,"bundleHash":"5e07f0f57a5351678758d879f7b09ad3cb694b421ab53d5f2e4d6949778509e2","device":"bfffb5246a55ee5d","findings":[],"hash":"5e93ff79290b4815d08a75019a3dc3ccfb5bb7546c75cbe8d083e4adf633fa0d","nodeId":"826d03f3-ae12-48dd-9a85-eec7fe6fd57d","outcome":"completed","summary":"Implemented Pegzeus (PEGZEUS): 1 billion tokens, 18 decimals, minted once to the deployer, with no transfer fees.\n\nDependencies are vendored for offline builds. README documents deployment parameters, assumptions, and operational responsibilities.\n\nValidation passed with Solidity 0.8.26:\n\n- `forge build`\n- `forge test`: 29 tests passed, including fuzz and invariant tests\n- `forge fmt --check`\n\nTests also passed with an empty environment and four threads. The external launch/Uniswap harness requires launch infrastructure and configuration and was not run locally.","treeHash":"8c0b80f8d579f48e6445ff6406f5bac2f3805e03","usage":{"cachedInputTokens":405248,"inputTokens":55410,"model":"gpt-6-astra","outputTokens":13643,"runtime":"codex","turns":5,"wallClockMs":422169}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"468e82a89b9bfe18","findings":[],"hash":"7324fa5441f66c4831d1fa383ea4d811c2299794adca7a51437b99b1bc1234c5","nodeId":"358c11bc-8456-42c3-a71b-ee23901cc6da","outcome":"completed","summary":"Review complete: no economic, invariant or flow-gap defects in the Pegzeus token. `.imd-findings.json` holds an empty findings list and coverage rows for all three entry points plus five invariant rows.\n\n**What I checked**\n\n- **Source.** The token is sixteen lines: stock OpenZeppelin v5.1.0 ERC20 with one constructor mint of 1e27 units to the caller. I confirmed the vendored ERC20 matches upstream v5.1.0 (the only differences from the v5.7.0 mirror are upstream comment and import-order edits). No owner, hooks, callbacks, mint or burn paths exist after construction.\n- **Economic Security guide.** No oracles, external calls, fee or rebase behaviour, pausability or blacklist. Zero-address transfers and approvals revert per ERC-6093. ETH sent to the contract reverts. Privileged-call probes in the repo's tests and the protected harness all fail without moving balances.\n- **Invariant guide.** Sum of balances equals total supply on every path, since the constructor is the only writer of supply. Allowance coupling in `transferFrom` is exact, with the unlimited allowance left untouched. The repo's stateful invariant suite passed at 128 runs, depth 64.\n- **Flow Gap guide.** Every launch flow is a plain exact transfer, so the swarm share arrives whole, a sync/settle balance delta equals the amount sent, and swap take/settle amounts match. I fuzzed this with a settle-style receiver over random pool shares, actors and amounts at 2000 runs on two seeds. The one failure during that run was my own harness double-counting when the fuzzer chose the distributor address as the requester, not a token defect.\n\n**Build and tests**\n\n```\nforge build --offline        ok (solc 0.8.26)\nforge test --offline         31 passed, 0 failed (repo suite + invariant suite)\nforge fmt --check            clean\n```\n\n**Leads dismissed.** The aderyn large-numeric-literal note points at a compile-time constant that equals the manifest supply exactly. Tokens sent to the token's own address strand, which is standard ERC-20 behaviour the README already documents.\n\nNo scratch files remain in the tree, and no project file was modified.","treeHash":null,"usage":{"cachedInputTokens":784417,"inputTokens":354,"model":"claude-fable-5-1","outputTokens":9069,"runtime":"claude","turns":12,"wallClockMs":223521}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"0476c44a80aa9574","findings":[],"hash":"837085fe8d3398882c95233b51d655e325579e6f69ab05b7edc67b78977a5578","nodeId":"d6906e28-d34d-42a0-9b48-1dc6b4e601e0","outcome":"failed","summary":"runtime reported <synthetic>, not the required premium model claude-fable-5-1","treeHash":null,"usage":{"cachedInputTokens":0,"inputTokens":0,"model":"<synthetic>","outputTokens":0,"runtime":"claude","turns":1,"wallClockMs":4386}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"3f02755d8661ddf1","findings":[{"citation":"resolved","description":"The token manifest example sets contract to the Foundry fully qualified artifact identifier src/Pegzeus.sol:Pegzeus. The supplied LaunchManifest schema requires ^[A-Za-z_][A-Za-z0-9_]{0,31}$, so copying this example into token makes the manifest fail validation. The existing launch.json already uses Pegzeus correctly; this defect is limited to the documented example. Replace the example value with Pegzeus.","line":86,"path":"README.md","reproduction":"Extract the JSON block at README.md:84-93 and evaluate re.fullmatch(r\"^[A-Za-z_][A-Za-z0-9_]{0,31}$\", fragment[\"contract\"]) in Python. Input is \"src/Pegzeus.sol:Pegzeus\". Expected: a match, because this is documented as the token portion of a launch manifest. Actual: None, because slash, dot and colon are forbidden. The same check on \"Pegzeus\" matches, including the value in the actual launch.json. Reproduced locally against the current README.","severity":"low","snippet":"  \"contract\": \"src/Pegzeus.sol:Pegzeus\",","title":"README launch-manifest example uses an invalid contract identifier"}],"hash":"a0d0a2507629ad578502e5b4fb9401ccc8ce6a7711d8dbfc6f1136682cdc0035","nodeId":"a3b06544-b306-449f-befa-127c55c77363","outcome":"completed","summary":"Wrote [.imd-findings.json](/home/identitymd3/.identitymd/work/6ee45560-00bd-4328-b738-01089755cbac/a3b06544-b306-449f-befa-127c55c77363/.imd-findings.json).\n\n- One reproduced low-severity finding: README’s manifest example uses an invalid contract identifier.\n- All three entry points marked `holds`.\n- All 42 local Foundry tests passed.\n- Protected seed/swap integration remains unverified because required infrastructure is absent.","treeHash":null,"usage":{"cachedInputTokens":547584,"inputTokens":100618,"model":"gpt-6-astra","outputTokens":5518,"runtime":"codex","turns":4,"wallClockMs":195912}},{"artifacts":[],"attempt":1,"bundleHash":"56a571bc6fb6f85c302c5e82d21173c0ba25cfcb9526d548b9e5d5945134571d","device":"282a1c2062280fd9","findings":[],"hash":"ac730f09d00ed9cbd1c2df670ddc198225aac2992091b37e4aedbbfb98fff887","nodeId":"441b4e92-3e0d-4072-9a45-e60008eeac6c","outcome":"completed","summary":"Created [launch.json](/home/seat/.identitymd/work/6ee45560-00bd-4328-b738-01089755cbac/441b4e92-3e0d-4072-9a45-e60008eeac6c/launch.json) matching Pegzeus’s constructor, exact supply, requested economics and paired currency.\n\nManifest checks passed. `forge build` succeeded; `forge test` passed all 29 tests. Only `launch.json` changed outside scratch artifacts.","treeHash":"b8c10b6b5b1a2a399bb99bdd38457d853cf94cdf","usage":{"cachedInputTokens":153984,"inputTokens":33120,"model":"gpt-6-astra","outputTokens":3181,"runtime":"codex","turns":3,"wallClockMs":136184}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"61b4050710026370","findings":[],"hash":"c5d40558c584e4c0bc851aebbf6dac0d2de41761f884346afd7ba3ad89a0b0e3","nodeId":"b3d66ef6-9e86-4b8f-ba51-33ca10b82cf3","outcome":"completed","summary":"The review is complete and the findings file is written. Here is the recap.\n\n**Result: no defects found.** The findings file at `.imd-findings.json` holds an empty findings list and eight coverage rows, all `holds`. The working tree is otherwise unchanged. The scratch test was removed.\n\n**What the token is.** Pegzeus is a 16-line contract that inherits OpenZeppelin ERC20 and mints the full supply to the constructor caller. There is no owner, no role, no setter, no hook, no fee branch and no exemption list. The compiled ABI exposes only the standard ERC-20 functions plus one constant view. The runtime bytecode contains no call, create, delegatecall, callcode or selfdestruct opcodes, and there is no receive, fallback or payable function.\n\n**What I checked, by guide.**\n- Access Control: the permission map has exactly one gate, the allowance check inside transferFrom. An independent probe showed the factory, the deployer, a spoofed tx.origin and a stranger all fail to pull from a holder without allowance, and every common admin selector reverts for every caller. Under CREATE2 factory deployment the factory, not tx.origin, receives the supply.\n- Trust Gap: with no privileged actor and no caller-class branch, none of the four seams exist. Launch flows move exactly the requested amount, which the author's local launch-flow test confirms. The Uniswap v4 swap leg was not executed locally because v4-core is not vendored. Only the protected harness can run it.\n- Asymmetry: transfer and transferFrom share one internal path. approve and allowance spending share one internal writer with identical zero-address checks. The only difference is OpenZeppelin's documented omission of the Approval event on spend, which is not a defect.\n\n**Supply-chain check.** The vendored OpenZeppelin files are byte-identical to the upstream v5.1.0 tag, and the archive digest matches the one recorded in the repository. This was the one place a hidden privilege could have entered, and it is clean.\n\n**Static analysis leads.** Slither reported nothing. Aderyn's large-literal note is the supply constant, which equals 10^27 as the manifest requires. Not a defect.\n\n**Open item for the launch operator, not a finding.** The protected harness swap test still has to run in the launch infrastructure with the real pool manager, since it cannot run here.","treeHash":null,"usage":{"cachedInputTokens":537707,"inputTokens":258,"model":"claude-fable-5-1","outputTokens":9744,"runtime":"claude","turns":24,"wallClockMs":146265}},{"artifacts":[],"attempt":2,"bundleHash":null,"device":"14731ddbc51365d9","findings":[],"hash":"e7de51dc776855013b55fa79dbcde17171d66f8e9f3b816deaec850f6787b131","nodeId":"d6906e28-d34d-42a0-9b48-1dc6b4e601e0","outcome":"completed","summary":"The review is complete and `.imd-findings.json` holds the result: zero defects and nine coverage rows.\n\n**What I checked.** The token is a 16-line fixed-supply ERC-20 on OpenZeppelin v5.1.0 with no overrides. I traced the three state-changing entry points against the Math Precision, Boundary and Numerical Gap guides, and confirmed each with a scratch Foundry suite that I ran and then removed.\n\n- **Math precision.** The supply constant is a compile-time exact value of 10^27 that fits uint256, divides into exactly one billion whole tokens at 18 decimals, and appears as a literal PUSH in the creation code. The unchecked adds and subtracts in the inherited transfer path are bounded by the fixed supply, and the only checked addition runs once in the constructor. The aderyn \"large numeric literal\" lead is stylistic and not a defect.\n- **Boundary.** Zero, self, full-supply, supply+1 and max-uint transfers behave correctly, with the expected ERC-6093 errors and no state change on revert. Allowance edges at exactly the value, max-1 and max behave as OpenZeppelin documents. The contract has no external calls, no payable functions, no receive or fallback, and no bytes decoding. The runtime contains no CALL, DELEGATECALL, CALLCODE, STATICCALL or SELFDESTRUCT.\n- **Numerical gap.** Supply conservation holds under fuzzed transfer chains and the existing stateful invariant suite. The supply leaves ample headroom for the launch's basis-point split and for Uniswap v4's int128 delta and uint128 liquidity types.\n- **Dependency integrity.** The five vendored OpenZeppelin files are byte-identical to the upstream v5.1.0 archive, whose SHA-256 matches the recorded digest, and are committed as plain files.\n\n**Not reached.** Nothing within the assigned area was left unexamined. Pool pricing and seeding math live in the factory and deployer, outside this token, and I only confirmed the supply's fit for them.\n\nNo files other than `.imd-findings.json` were changed, and the scratch test directory was deleted after its run.","treeHash":null,"usage":{"cachedInputTokens":539284,"inputTokens":258,"model":"claude-fable-5-1","outputTokens":9744,"runtime":"claude","turns":16,"wallClockMs":200739}},{"artifacts":[],"attempt":2,"bundleHash":"94a89e9191e3638a98479e3fe574d27846ce6007636fd16fdef5eea7008302d8","device":"2b4e97bb63195f54","findings":[],"hash":"fee6b6503ec191489b5648fd607007d551da373c4866a1abb14bb98290098865","nodeId":"51d359e3-fae9-46d4-8385-66de49eda6be","outcome":"completed","summary":"Added 13 boundary/fuzz tests and extended invariants to mix valid transfers with failure paths, checking supply, balances, and allowance rollback.\n\nValidation passed offline: `forge build` and all 42 tests, including 16,384 invariant calls. Only `test/` changed. No implementation defects found.","treeHash":"5d68bf9971a75a8feed6d87f670d25ede0cc058d","usage":{"cachedInputTokens":499456,"inputTokens":74790,"model":"gpt-6-astra","outputTokens":9035,"runtime":"codex","turns":5,"wallClockMs":306951}}],"verification":[{"checks":[{"durationMs":2427,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 2.19s\nCompiler run successful!\n","passed":true},{"durationMs":5495,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 28 tests for test/Pegzeus.t.sol:PegzeusTest\n[PASS] testFuzz_RevertTransferToZeroAddress(uint256) (runs: 256, μ: 47811, ~: 47765)\n[PASS] testFuzz_RevertUnapprovedSpending(uint256,uint256) (runs: 256, μ: 126196, ~: 126533)\nLogs:\n  Bound result 7\n  Bound result 21908\n\n[PASS] testFuzz_TransferFromUsesOnlyApprovedAmount(uint256,uint256) (runs: 256, μ: 156810, ~: 158230)\nLogs:\n  Bound result 7\n  Bound result 4\n\n[PASS] testFuzz_TransfersConserveSupply(uint256,uint256) (runs: 256, μ: 181392, ~: 182773)\nLogs:\n  Bound result 65854251234595688406638641\n  Bound result 4056\n\n[PASS] test_ApproveEmitsEventAndCanBeReplacedAndRevoked() (gas: 181463)\n[PASS] test_ConstructorEmitsMintEvent() (gas: 5536)\n[PASS] test_ContractRecipientDoesNotReceiveCallback() (gas: 171678)\n[PASS] test_Create2FactoryReceivesEntireSupply() (gas: 214654)\n[PASS] test_LaunchDistributionAndPoolTransfersHaveNoFee() (gas: 560195)\n[PASS] test_MetadataAndInitialSupply() (gas: 103359)\n[PASS] test_NoMintBurnFreezeOrUpgradeEntrypoints() (gas: 1186227)\n[PASS] test_RevertApproveZeroSpender() (gas: 37640)\n[PASS] test_RevertDeployerCannotSpendHolderBalanceWithoutApproval() (gas: 92283)\n[PASS] test_RevertInsufficientAllowancePreservesState() (gas: 108624)\n[PASS] test_RevertInsufficientBalanceRestoresAllowance() (gas: 114385)\n[PASS] test_RevertSelfTransferAboveBalance() (gas: 33300)\n[PASS] test_RevertTransferAboveBalance() (gas: 112907)\n[PASS] test_RevertTransferFromZeroRecipientRestoresAllowance() (gas: 111543)\n[PASS] test_RevertTransferFromZeroSender() (gas: 33011)\n[PASS] test_RuntimeContainsNoForbiddenOpcodes() (gas: 1038900)\n[PASS] test_SelfTransferFromConsumesAllowanceWithoutChangingBalance() (gas: 100775)\n[PASS] test_SelfTransferPreservesBalance() (gas: 51420)\n[PASS] test_TransferEntireSupply() (gas: 140474)\n[PASS] test_TransferFromMovesExactAmountAndConsumesAllowance() (gas: 163453)\n[PASS] test_TransferMovesExactAmountAndEmitsEvent() (gas: 88903)\n[PASS] test_UnlimitedAllowanceIsNotDecremented() (gas: 132392)\n[PASS] test_ZeroTransferFromEmptyAccountEmitsEvent() (gas: 66448)\n[PASS] test_ZeroTransferFromWithoutApproval() (gas: 70078)\nSuite result: ok. 28 passed; 0 failed; 0 skipped; finished in 31.24ms (113.76ms CPU time)\n\nRan 1 test for test/Pegzeus.invariant.t.sol:PegzeusInvariantTest\n[PASS] invariant_SupplyBalancesAndAllowancesMatchModel() (runs: 128, calls: 8192, reverts: 0)\n\n╭----------------+--------------+-------+---------+----------╮\n| Contract       | Selector     | Calls | Reverts | Discards |\n+============================================================+\n| PegzeusHandler | approve      | 2752  | 0       | 0        |\n|----------------+--------------+-------+---------+----------|\n| PegzeusHandler | transfer     | 2727  | 0       | 0        |\n|----------------+--------------+-------+---------+----------|\n| PegzeusHandler | transferFrom | 2713  | 0       | 0        |\n╰----------------+--------------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 479\n  Bound result 255\n  Bound result 962924220319241665870383993\n  Bound result 0\n  Bound result 0\n  Bound result 11\n  Bound result 0\n  Bound result 4759\n  Bound result 6\n  Bound result 0\n  Bound result 4\n  Bound result 1000000000\n  Bound result 4531\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 894945\n  Bound result 95\n  Bound result 64\n  Bound result 1800\n  Bound result 1701\n  Bound result 1793\n  Bound result 1064470261\n  Bound result 53591\n  Bound result 0\n  Bound result 5917\n  Bound result 2\n  Bound result 216118093738355859815857416\n  Bound result 0\n  Bound result 12\n  Bound result 11\n  Bound result 40000000000000000000\n  Bound result 802345950454945606659493669\n  Bound result 0\n  Bound result 1000000000000000000000000000\n  Bound result 1000000000\n  Bound result 0\n  Bound result 0\n  Bound result 51\n  Bound result 2\n  Bound result 0\n  Bound result 39950000049974998081\n  Bound result 59732570\n  Bound result 40000000000000000000\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 1708\n  Bound result 1462\n  Bound result 1410\n  Bound result 3952\n  Bound result 3807\n  Bound result 490\n  Bound result 0\n  Bound result 1\n  Bound result 0\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 5.29s (5.29s CPU time)\n\nRan 2 test suites in 5.29s (5.32s CPU time): 29 tests passed, 0 failed, 0 skipped (29 total tests)\n","passed":true},{"durationMs":77,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"Pegzeus.approve(address,uint256)\",\"Pegzeus.transfer(address,uint256)\",\"Pegzeus.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":3,\"README.md\":134,\"foundry.toml\":20,\"remappings.txt\":2,\"src/Pegzeus.sol\":16,\"test/Pegzeus.invariant.t.sol\":89,\"test/Pegzeus.t.sol\":363},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":1445,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":543,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/Pegzeus.sol:11: Large Numeric Literal","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"5e93ff79290b4815d08a75019a3dc3ccfb5bb7546c75cbe8d083e4adf633fa0d","verifiedTreeHash":"8c0b80f8d579f48e6445ff6406f5bac2f3805e03","verifierVersion":"0.1.0+e6140b7a"},{"checks":[{"durationMs":1011,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 915.88ms\nCompiler run successful!\n","passed":true},{"durationMs":2286,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 28 tests for test/Pegzeus.t.sol:PegzeusTest\n[PASS] testFuzz_RevertTransferToZeroAddress(uint256) (runs: 256, μ: 47817, ~: 47753)\n[PASS] testFuzz_RevertUnapprovedSpending(uint256,uint256) (runs: 256, μ: 126038, ~: 126607)\nLogs:\n  Bound result 592708099402851317550575637\n  Bound result 407291900597148682449424361\n\n[PASS] testFuzz_TransferFromUsesOnlyApprovedAmount(uint256,uint256) (runs: 256, μ: 156562, ~: 158284)\nLogs:\n  Bound result 302356669302942557606547739\n  Bound result 302356669302942557606547737\n\n[PASS] testFuzz_TransfersConserveSupply(uint256,uint256) (runs: 256, μ: 181117, ~: 182821)\nLogs:\n  Bound result 269057060427275551102957908\n  Bound result 91697909264375875675434607\n\n[PASS] test_ApproveEmitsEventAndCanBeReplacedAndRevoked() (gas: 181463)\n[PASS] test_ConstructorEmitsMintEvent() (gas: 5536)\n[PASS] test_ContractRecipientDoesNotReceiveCallback() (gas: 171678)\n[PASS] test_Create2FactoryReceivesEntireSupply() (gas: 214654)\n[PASS] test_LaunchDistributionAndPoolTransfersHaveNoFee() (gas: 560195)\n[PASS] test_MetadataAndInitialSupply() (gas: 103359)\n[PASS] test_NoMintBurnFreezeOrUpgradeEntrypoints() (gas: 1186227)\n[PASS] test_RevertApproveZeroSpender() (gas: 37640)\n[PASS] test_RevertDeployerCannotSpendHolderBalanceWithoutApproval() (gas: 92283)\n[PASS] test_RevertInsufficientAllowancePreservesState() (gas: 108624)\n[PASS] test_RevertInsufficientBalanceRestoresAllowance() (gas: 114385)\n[PASS] test_RevertSelfTransferAboveBalance() (gas: 33300)\n[PASS] test_RevertTransferAboveBalance() (gas: 112907)\n[PASS] test_RevertTransferFromZeroRecipientRestoresAllowance() (gas: 111543)\n[PASS] test_RevertTransferFromZeroSender() (gas: 33011)\n[PASS] test_RuntimeContainsNoForbiddenOpcodes() (gas: 1038900)\n[PASS] test_SelfTransferFromConsumesAllowanceWithoutChangingBalance() (gas: 100775)\n[PASS] test_SelfTransferPreservesBalance() (gas: 51420)\n[PASS] test_TransferEntireSupply() (gas: 140474)\n[PASS] test_TransferFromMovesExactAmountAndConsumesAllowance() (gas: 163453)\n[PASS] test_TransferMovesExactAmountAndEmitsEvent() (gas: 88903)\n[PASS] test_UnlimitedAllowanceIsNotDecremented() (gas: 132392)\n[PASS] test_ZeroTransferFromEmptyAccountEmitsEvent() (gas: 66448)\n[PASS] test_ZeroTransferFromWithoutApproval() (gas: 70078)\nSuite result: ok. 28 passed; 0 failed; 0 skipped; finished in 10.10ms (38.70ms CPU time)\n\nRan 1 test for test/Pegzeus.invariant.t.sol:PegzeusInvariantTest\n[PASS] invariant_SupplyBalancesAndAllowancesMatchModel() (runs: 128, calls: 8192, reverts: 0)\n\n╭----------------+--------------+-------+---------+----------╮\n| Contract       | Selector     | Calls | Reverts | Discards |\n+============================================================+\n| PegzeusHandler | approve      | 2685  | 0       | 0        |\n|----------------+--------------+-------+---------+----------|\n| PegzeusHandler | transfer     | 2756  | 0       | 0        |\n|----------------+--------------+-------+---------+----------|\n| PegzeusHandler | transferFrom | 2751  | 0       | 0        |\n╰----------------+--------------+-------+---------+----------╯\n\nLogs:\n  Bound result 2055\n  Bound result 0\n  Bound result 2\n  Bound result 3\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 23199352653\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 13\n  Bound result 765450746419616084102411488\n  Bound result 2\n  Bound result 2\n  Bound result 261059752236665757134812796\n  Bound result 781\n  Bound result 18\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 377184932426854086205372538\n  Bound result 2827\n  Bound result 0\n  Bound result 0\n  Bound result 4656\n  Bound result 1\n  Bound result 0\n  Bound result 4636\n  Bound result 659918\n  Bound result 100000000000000000000\n  Bound result 5986\n  Bound result 0\n  Bound result 96\n  Bound result 1225\n  Bound result 53591\n  Bound result 0\n  Bound result 966337041294877648658339910\n  Bound result 0\n  Bound result 28857\n  Bound result 0\n  Bound result 0\n  Bound result 2512\n  Bound result 0\n  Bound result 432572\n  Bound result 999999999999999999999937623\n  Bound result 1282\n  Bound result 784678190064544372019376324\n  Bound result 2008\n  Bound result 242\n  Bound result 34885\n  Bound result 0\n  Bound result 255\n  Bound result 276\n  Bound result 15006\n  Bound result 123681809368668004534470329\n  Bound result 503857\n  Bound result 123000000000000000000\n  Bound result 25000000000000000000\n  Bound result 69760\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 2.21s (2.21s CPU time)\n\nRan 2 test suites in 2.21s (2.22s CPU time): 29 tests passed, 0 failed, 0 skipped (29 total tests)\n","passed":true},{"durationMs":39,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"Pegzeus.approve(address,uint256)\",\"Pegzeus.transfer(address,uint256)\",\"Pegzeus.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":3,\"README.md\":134,\"foundry.toml\":20,\"launch.json\":20,\"remappings.txt\":2,\"src/Pegzeus.sol\":16,\"test/Pegzeus.invariant.t.sol\":89,\"test/Pegzeus.t.sol\":363},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"ac730f09d00ed9cbd1c2df670ddc198225aac2992091b37e4aedbbfb98fff887","verifiedTreeHash":"b8c10b6b5b1a2a399bb99bdd38457d853cf94cdf","verifierVersion":"0.1.0+e6140b7a"},{"checks":[{"durationMs":1402,"exitCode":0,"name":"build","output":"Compiling 28 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.27s\nCompiler run successful!\n","passed":true},{"durationMs":4879,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 28 tests for test/Pegzeus.t.sol:PegzeusTest\n[PASS] testFuzz_RevertTransferToZeroAddress(uint256) (runs: 256, μ: 47828, ~: 47771)\n[PASS] testFuzz_RevertUnapprovedSpending(uint256,uint256) (runs: 256, μ: 126124, ~: 126571)\nLogs:\n  Bound result 1490\n  Bound result 272194427735423726179021691\n\n[PASS] testFuzz_TransferFromUsesOnlyApprovedAmount(uint256,uint256) (runs: 256, μ: 155966, ~: 158230)\nLogs:\n  Bound result 22976516271877102249039881\n  Bound result 7473\n\n[PASS] testFuzz_TransfersConserveSupply(uint256,uint256) (runs: 256, μ: 180617, ~: 182773)\nLogs:\n  Bound result 1490\n  Bound result 932\n\n[PASS] test_ApproveEmitsEventAndCanBeReplacedAndRevoked() (gas: 181463)\n[PASS] test_ConstructorEmitsMintEvent() (gas: 5536)\n[PASS] test_ContractRecipientDoesNotReceiveCallback() (gas: 171678)\n[PASS] test_Create2FactoryReceivesEntireSupply() (gas: 214654)\n[PASS] test_LaunchDistributionAndPoolTransfersHaveNoFee() (gas: 560195)\n[PASS] test_MetadataAndInitialSupply() (gas: 103359)\n[PASS] test_NoMintBurnFreezeOrUpgradeEntrypoints() (gas: 1186227)\n[PASS] test_RevertApproveZeroSpender() (gas: 37640)\n[PASS] test_RevertDeployerCannotSpendHolderBalanceWithoutApproval() (gas: 92283)\n[PASS] test_RevertInsufficientAllowancePreservesState() (gas: 108624)\n[PASS] test_RevertInsufficientBalanceRestoresAllowance() (gas: 114385)\n[PASS] test_RevertSelfTransferAboveBalance() (gas: 33300)\n[PASS] test_RevertTransferAboveBalance() (gas: 112907)\n[PASS] test_RevertTransferFromZeroRecipientRestoresAllowance() (gas: 111543)\n[PASS] test_RevertTransferFromZeroSender() (gas: 33011)\n[PASS] test_RuntimeContainsNoForbiddenOpcodes() (gas: 1038900)\n[PASS] test_SelfTransferFromConsumesAllowanceWithoutChangingBalance() (gas: 100775)\n[PASS] test_SelfTransferPreservesBalance() (gas: 51420)\n[PASS] test_TransferEntireSupply() (gas: 140474)\n[PASS] test_TransferFromMovesExactAmountAndConsumesAllowance() (gas: 163453)\n[PASS] test_TransferMovesExactAmountAndEmitsEvent() (gas: 88903)\n[PASS] test_UnlimitedAllowanceIsNotDecremented() (gas: 132392)\n[PASS] test_ZeroTransferFromEmptyAccountEmitsEvent() (gas: 66448)\n[PASS] test_ZeroTransferFromWithoutApproval() (gas: 70078)\nSuite result: ok. 28 passed; 0 failed; 0 skipped; finished in 33.31ms (124.97ms CPU time)\n\nRan 13 tests for test/Pegzeus.boundaries.t.sol:PegzeusBoundaryTest\n[PASS] testFuzz_FiniteApprovalAcrossUint256Domain(uint256,uint256) (runs: 1000, μ: 156171, ~: 158343)\nLogs:\n  Bound result 12522\n  Bound result 12258\n\n[PASS] testFuzz_SplittingAndReturningTransfersNeverLosesDust(uint256,uint256) (runs: 1000, μ: 211987, ~: 212634)\nLogs:\n  Bound result 455177377875262344006913441\n  Bound result 31145118450\n\n[PASS] testFuzz_TransferFromPaysArbitraryRecipientInFull(uint160,uint256) (runs: 1000, μ: 152617, ~: 153002)\nLogs:\n  Bound result 183352708573277897482406753940646253598\n  Bound result 13585040695599086296975449\n\n[PASS] test_AllowanceIsSpecificToBothOwnerAndSpender() (gas: 294225)\n[PASS] test_ExhaustedAllowanceCannotBeReplayedAfterTokensReturn() (gas: 248640)\n[PASS] test_MaximumDelegatedAmountsPreserveFiniteAndInfiniteApprovalsOnFailure() (gas: 270598)\n[PASS] test_MaximumFiniteAllowanceIsConsumed() (gas: 151247)\n[PASS] test_MaximumTransferCannotWrapBalance() (gas: 81846)\n[PASS] test_OneWeiDirectAndDelegatedRoundTrip() (gas: 199203)\n[PASS] test_SelfSpenderStillNeedsAllowance() (gas: 214684)\n[PASS] test_UnlimitedApprovalCanBeLoweredAndRevoked() (gas: 310115)\n[PASS] test_ZeroRecipientIsInvalidEvenForZeroAmount() (gas: 175231)\n[PASS] test_ZeroSpenderIsInvalidForZeroAndMaximumApprovals() (gas: 177723)\nSuite result: ok. 13 passed; 0 failed; 0 skipped; finished in 33.42ms (95.03ms CPU time)\n\nRan 1 test for test/Pegzeus.invariant.t.sol:PegzeusInvariantTest\n[PASS] invariant_SupplyBalancesAndAllowancesMatchModel() (runs: 256, calls: 16384, reverts: 0)\n\n╭----------------+--------------------------------+-------+---------+----------╮\n| Contract       | Selector                       | Calls | Reverts | Discards |\n+==============================================================================+\n| PegzeusHandler | approve                        | 1617  | 0       | 0        |\n|----------------+--------------------------------+-------+---------+----------|\n| PegzeusHandler | approveAndSpend                | 1630  | 0       | 0        |\n|----------------+--------------------------------+-------+---------+----------|\n| PegzeusHandler | rejectTransferAboveBalance     | 1568  | 0       | 0        |\n|----------------+--------------------------------+-------+---------+----------|\n| PegzeusHandler | rejectTransferFromAboveBalance | 1689  | 0       | 0        |\n|----------------+--------------------------------+-------+---------+----------|\n| PegzeusHandler | rejectUnapprovedTransferFrom   | 1605  | 0       | 0        |\n|----------------+--------------------------------+-------+---------+----------|\n| PegzeusHandler | rejectZeroRecipient            | 1624  | 0       | 0        |\n|----------------+--------------------------------+-------+---------+----------|\n| PegzeusHandler | rejectZeroSpender              | 1646  | 0       | 0        |\n|----------------+--------------------------------+-------+---------+----------|\n| PegzeusHandler | revokeAndReject                | 1687  | 0       | 0        |\n|----------------+--------------------------------+-------+---------+----------|\n| PegzeusHandler | transfer                       | 1619  | 0       | 0        |\n|----------------+--------------------------------+-------+---------+----------|\n| PegzeusHandler | transferFrom                   | 1699  | 0       | 0        |\n╰----------------+--------------------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 7052\n  Bound result 7052\n  Bound result 0\n  Bound result 11\n  Bound result 3\n  Bound result 26393311626815757179675958469549952244945243532\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129633564\n  Bound result 7761\n  Bound result 4562\n  Bound result 1688\n  Bound result 692\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639934\n  Bound result 0\n  Bound result 53591\n  Bound result 4560\n  Bound result 96\n  Bound result 96\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665639564039457584007913130475500\n  Bound result 381\n  Bound result 381\n  Bound result 115792089237316195423570985008687907853269984665639564039517584007913129646702\n  Bound result 96\n  Bound result 30\n  Bound result 30\n  Bound result 146\n  Bound result 146\n  Bound result 24301\n  Bound result 45\n  Bound result 5\n  Bound result 28\n  Bound result 5793\n  Bound result 5793\n  Bound result 115792089237316195423570985008687907853269984665639564039457584007913129671575\n  Bound result 0\n  Bound result 95\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129615637\n  Bound result 758128636264879530926249778351486925462602343\n  Bound result 999999999999999999999974512\n  Bound result 10150946777544928007941970897288075582536716759638377495167807\n  Bound result 115792089237316195423570985008687907853269984665639564039458584007913129665423\n  Bound result 38\n  Bound result 21\n  Bound result 255\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639935\n  Bound result 2463\n  Bound result 115792089237316195423570985008687907853269984665639564039457584007913129673981\n  Bound result 3612\n  Bound result 27\n  Bound result 27\n  Bound result 5420\n  Bound result 135\n  Bound result 2227\n  Bound result 1389\n  Bound result 9086\n  Bound result 9086\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 4.78s (4.78s CPU time)\n\nRan 3 test suites in 4.79s (4.85s CPU time): 42 tests passed, 0 failed, 0 skipped (42 total tests)\n","passed":true},{"durationMs":45,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"Pegzeus.approve(address,uint256)\",\"Pegzeus.transfer(address,uint256)\",\"Pegzeus.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":3,\"README.md\":134,\"foundry.toml\":20,\"remappings.txt\":2,\"src/Pegzeus.sol\":16,\"test/Pegzeus.boundaries.t.sol\":216,\"test/Pegzeus.invariant.t.sol\":208,\"test/Pegzeus.t.sol\":363},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"fee6b6503ec191489b5648fd607007d551da373c4866a1abb14bb98290098865","verifiedTreeHash":"5d68bf9971a75a8feed6d87f670d25ede0cc058d","verifierVersion":"0.1.0+e6140b7a"}]}