{"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":"7a5ee074-6a04-4750-a336-c3e8baf03353","kind":"shape:chain","nodes":[{"acceptedSubmissionHash":"1b6c2eb44306ce0014b4eff32f265520104983728aa5c1504ee0d443e4fad985","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":"a89c57033f5995b462297c10b6fdacbbe24a14f053da982435c60f69bf762205","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":"84e7cff9c09b316567480cc16dc27395d94a943c88a579e302e7cd6a6d6f96fc","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":"20e10acd162549ea4a49c3af2078093457ee079ee704f3404b8ac69b75831363","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":"a0801613057819bae8a72c7979bcb2831d435966a7cd147cb76bb2eee7c60959","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":"2860474c27c533a02df67b3001548f4a12a5134c8d8451753d5fba1626ea2601","dependsOn":[],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"6b8d2c2ebd3301cff2be8edb1e1cc6ba65c858c02fe7247be81722b969842265","skillId":"build-contract-project","tools":[]},"key":"build_contract_project","kind":"code","role":"implement","skillHash":"6b8d2c2ebd3301cff2be8edb1e1cc6ba65c858c02fe7247be81722b969842265","skillId":"build-contract-project","state":"accepted"},{"acceptedSubmissionHash":"06c494b40d3fbd5ba5595ee2d1330f1863749701df65f87ab73e52bc51da0ef9","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"tools":[]},"key":"manifest","kind":"code","role":"integrate","skillHash":null,"skillId":null,"state":"accepted"},{"acceptedSubmissionHash":"eb8a20f3fc5d76f6f547176e5cf148280b64268b0fd0ef29e741bdca27a0aca5","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: Pebble Agent (PEBBLE).\nToken name: Pebble Agent\nToken symbol: PEBBLE\nToken supply: 1,000,000,000 with 18 decimals, all minted once to the deployer in the constructor.","parentJobId":null,"planHash":"07cc37768099a40ee6ace67bb3aa7383ce2679ef83921acc7efda1a002561ae8","previousHash":"0000000000000000000000000000000000000000000000000000000000000000","projectId":"7a5ee074-6a04-4750-a336-c3e8baf03353","publication":{"commit":null,"deliveredAt":null,"repoUrl":"https://github.com/identity-md-launches/launch-1289-pebble-agent"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[{"agentId":"51227","feedbackHash":"0f4bdd24a809485c084a2eea0b7d7698957f324cc1be996cf61cf5168854ef15","nodeKey":"audit_economics","submissionHash":"1b6c2eb44306ce0014b4eff32f265520104983728aa5c1504ee0d443e4fad985","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52323","feedbackHash":"8621548e6c92499abb42e86902126abec461cfc251025f00dc23eaf260ba6521","nodeKey":"audit_flow","submissionHash":"a89c57033f5995b462297c10b6fdacbbe24a14f053da982435c60f69bf762205","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51474","feedbackHash":"ff12912a8cc66b7d1a78ac4ea1084ca56def9d3546671aa6427aa8f81cb2ff5a","nodeKey":"audit_judge","submissionHash":"84e7cff9c09b316567480cc16dc27395d94a943c88a579e302e7cd6a6d6f96fc","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52167","feedbackHash":"f4e23c0698bff487f3f41e790d7833848af98e4df3fb592bf56d08ffb19be07e","nodeKey":"audit_math","submissionHash":"20e10acd162549ea4a49c3af2078093457ee079ee704f3404b8ac69b75831363","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51317","feedbackHash":"e74dbb65081d514665e5d461d653764247c84df92ae9499e8f19cf3350395a1c","nodeKey":"audit_permissions","submissionHash":"a0801613057819bae8a72c7979bcb2831d435966a7cd147cb76bb2eee7c60959","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51433","feedbackHash":"1b40edf508b3d4e0164d6bca2ec4c8446e16eb144480a3e3f2944779ff8beddc","nodeKey":"build_contract_project","submissionHash":"2860474c27c533a02df67b3001548f4a12a5134c8d8451753d5fba1626ea2601","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51378","feedbackHash":"e5271875d22274acb7fd49d5bdd27407a60b887284c40c175acbd5322169c84a","nodeKey":"manifest","submissionHash":"06c494b40d3fbd5ba5595ee2d1330f1863749701df65f87ab73e52bc51da0ef9","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51010","feedbackHash":"393b5690bca8d4e70a3d24ebef9d5c24b1d14fe6fea2a89a125d61cea143dd56","nodeKey":"write_foundry_tests","submissionHash":"eb8a20f3fc5d76f6f547176e5cf148280b64268b0fd0ef29e741bdca27a0aca5","tag1":"verification:checks","tag2":"acceptance-v2","value":1}],"site":null,"snapshotHash":"a3cf0c5058056cb542b4398ac31fd107b779f6eb80a4c4f6183a39192be0932e","state":"completed","submissions":[{"artifacts":[],"attempt":1,"bundleHash":"d109fd170eb255567c0e32a5a47480d29d0ff24628736866e11f420c0bc0c1b1","device":"f1bc2d45837b6b78","findings":[],"hash":"06c494b40d3fbd5ba5595ee2d1330f1863749701df65f87ab73e52bc51da0ef9","nodeId":"cc044178-5d32-49ee-a17a-f5070b0bcfbd","outcome":"completed","summary":"Created [launch.json](/home/imd-worker/.identitymd/work/7a5ee074-6a04-4750-a336-c3e8baf03353/cc044178-5d32-49ee-a17a-f5070b0bcfbd/launch.json) matching `PebbleAgent`’s constructor, exact supply, and required pool/economics.\n\nManifest checks and `forge build` passed. `forge test`: 29 passed, zero failures. Only `launch.json` is changed for submission.","treeHash":"7e6a7d6fd6a5bbf4edf0f2a4a47b51c87b9e285e","usage":{"cachedInputTokens":173184,"inputTokens":37499,"model":"gpt-6-astra","outputTokens":2252,"runtime":"codex","turns":3,"wallClockMs":74282}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"11e4593175677f7e","findings":[],"hash":"1b6c2eb44306ce0014b4eff32f265520104983728aa5c1504ee0d443e4fad985","nodeId":"6513bffd-aa31-41a0-b235-3d551e19aedd","outcome":"completed","summary":"The findings file is valid and the tree is clean. Wrapping up.\n\n**Result: no defects found in the economics area.** The review file `.imd-findings.json` holds an empty findings list and nine coverage rows, all three listed entry points marked `holds`.\n\nWhat I checked, against the Senior Auditor's Mindset plus the Economic Security, Invariant and Flow Gap guides:\n\n- **Token code.** `src/PebbleAgent.sol` is a 16-line OpenZeppelin ERC20 with a single constructor mint of exactly one billion tokens at 18 decimals to the deployer. No overrides, no fees, no admin roles, no external calls, no mint or burn path after construction.\n- **Dependency integrity.** All five vendored OpenZeppelin files are byte-identical to upstream commit c64a1edb (v5.4.0), confirmed by sha256 against GitHub. No tampered transfer logic can hide there.\n- **Invariants.** Supply conservation, exact-amount delivery, finite and infinite allowance semantics, and revert atomicity all hold by trace. The repo's 29 unit, fuzz and invariant tests pass, and a scratch test I wrote and then removed drove the 10/80/10 launch split, ten whole claims, custody pull/push round trips and a 1-wei boundary with full conservation.\n- **Launch flow gaps.** Factory, distributor and PoolManager transfers move exactly what they say, so the swarm share, seed and swaps cannot arrive short. Runtime has no DELEGATECALL, CALLCODE or SELFDESTRUCT.\n- **Static-analysis lead.** The aderyn \"large numeric literal\" note is a compile-time constant equal to 1e27. Style only.\n\nOne row is `unreached`: no launch.json exists in the tree yet, so there was nothing to validate. When written it should carry empty constructor arguments, 18 decimals, contract name PebbleAgent and total supply 1000000000000000000000000000.\n\nNo files were changed. The scratch test directory was deleted, and `git status --porcelain` is clean apart from the excluded findings file.","treeHash":null,"usage":{"cachedInputTokens":759646,"inputTokens":322,"model":"claude-fable-5-1","outputTokens":11538,"runtime":"claude","turns":27,"wallClockMs":165163}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"1ca477e8d9b58040","findings":[],"hash":"20e10acd162549ea4a49c3af2078093457ee079ee704f3404b8ac69b75831363","nodeId":"1060821d-72a5-4c36-b360-10d7f9ebb4d4","outcome":"completed","summary":"The review found no defects in the assigned area. The findings file holds an empty list and eight coverage rows, and no tracked file was changed.\n\n**What the token is.** `src/PebbleAgent.sol` is a 16-line contract inheriting unmodified OpenZeppelin v5.4.0 ERC20. Its only logic is one constructor mint of a compile-time constant to the deployer. There is no division, runtime multiplication, cast, scale conversion, external call, payable path, or bytes decoding anywhere in the requester's code, so almost every item in the Math Precision, Boundary and Numerical Gap guides has nothing to attach to.\n\n**What I checked and how.**\n- The supply constant evaluates exactly to 10^27 minor units, well below 2^256, and the default decimals of 18 make that exactly one billion PEBBLE. This also disposes of aderyn's large-literal lead: the literal is exact, not a defect.\n- All five vendored OpenZeppelin files are SHA-256 identical to upstream commit c64a1edb at v5.4.0, so the inherited unchecked blocks are the audited upstream ones. Each unchecked subtraction is guarded by an explicit comparison, and the unchecked balance addition cannot overflow because supply is fixed and no mint path survives the constructor.\n- The three entry points were traced at their edges with a scratch Foundry test, since removed: allowance exactly equal to the amount, max-minus-one allowance decrementing while max does not, whole-supply self-transfer onto a full balance, ETH sent with a call, and a fuzzed conservation check across three holders. All passed, as did the project's existing 29 unit, fuzz and invariant tests and the formatter check.\n\n**Coverage record.** All three ABI entry points are marked holds, plus five invariant rows covering fixed supply, decimals, the Boundary guide's call-site enumeration, the Numerical Gap seams, and dependency integrity. Nothing was left unreached.\n\n**Outside my area.** No launch manifest exists in the tree yet. The README states that correctly, and an absent manifest is not a defect at this stage. I saw no privileged function, owner role or supply-growing path for the other specialists to weigh.","treeHash":null,"usage":{"cachedInputTokens":601975,"inputTokens":258,"model":"claude-fable-5-1","outputTokens":8613,"runtime":"claude","turns":22,"wallClockMs":123325}},{"artifacts":[],"attempt":1,"bundleHash":"f88b804908653eab14810f1f20dee47c8ff900d8a3e49fb6dd85252d2df9e209","device":"9fd410b500e3af05","findings":[],"hash":"2860474c27c533a02df67b3001548f4a12a5134c8d8451753d5fba1626ea2601","nodeId":"df98bccb-55a7-4717-aa9b-1caff48b316c","outcome":"completed","summary":"Implemented Pebble Agent (PEBBLE): 1,000,000,000 tokens with 18 decimals, minted once to the deployer. No subsequent minting or administrative powers.\n\nDependencies are vendored; deployment parameters, assumptions, and operational responsibilities are documented in README.md.\n\nValidation passed with Solidity 0.8.26:\n\n- `forge build`\n- `forge test`: 29 passed, including fuzz and invariant checks\n- `forge fmt --check`\n- Tests with an empty environment and four parallel threads","treeHash":"71a637af260cff4e399bc2b904a70d8631cc60f2","usage":{"cachedInputTokens":595328,"inputTokens":51897,"model":"gpt-6-astra","outputTokens":14404,"runtime":"codex","turns":6,"wallClockMs":406575}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"0e3b71e2ffcd200b","findings":[],"hash":"84e7cff9c09b316567480cc16dc27395d94a943c88a579e302e7cd6a6d6f96fc","nodeId":"18b10519-b067-4afe-bac1-54066afb939b","outcome":"completed","summary":"Review complete. The findings file is written and validated, with no findings and a full coverage record.\n\n**Outcome:** The token has no reproducible defects. All four specialists reported nothing, and I confirmed that against the code rather than taking it on trust.\n\n**What I checked**\n\n- The contract at `src/PebbleAgent.sol` is a plain OpenZeppelin v5.4.0 ERC-20 with one constructor mint of exactly 10^27 units to msg.sender. It has no owner, mint, burn, pause, blacklist, initializer, upgrade, receive or fallback.\n- The five vendored OpenZeppelin files are ordinary committed files, not a submodule, and read as unmodified upstream text. The transfer, allowance and sender-resolution paths carry no alterations.\n- A scratch Foundry test deployed the token through a CREATE2 deployer contract and confirmed the supply lands on the deployer, metadata and decimals match the manifest, ETH is rejected, creation and runtime code sit well under the protocol size limits, and the runtime contains no DELEGATECALL, CALLCODE or SELFDESTRUCT. It also exercised transfer, approve and transferFrom on the happy path and all revert paths. The scratch directory was removed afterwards.\n- The repository's own 43 unit, fuzz and invariant tests pass.\n- The manifest in `launch.json` uses only schema keys, lowercase addresses, an empty constructor argument list matching the parameterless constructor, and a totalSupply equal to what the constructor mints.\n- The single aderyn lead, a large numeric literal, evaluates to exactly 10^27 and is style only.\n\n**Coverage:** all three entry points marked holds, plus rows for the fixed-supply, deployability and dependency-integrity invariants and the aderyn lead.\n\nOne observation outside the findings: the README states the launch chain is Ethereum mainnet, while the manifest pairs the pool with a non-zero pair-token address. I could not check either against the job, so this is a note for the manifest step, not a defect in the code.","treeHash":null,"usage":{"cachedInputTokens":370062,"inputTokens":226,"model":"claude-fable-5-1","outputTokens":6143,"runtime":"claude","turns":15,"wallClockMs":122300}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"0476c44a80aa9574","findings":[],"hash":"a0801613057819bae8a72c7979bcb2831d435966a7cd147cb76bb2eee7c60959","nodeId":"243ccd2a-5ed9-4de0-bc8f-0048400d2a46","outcome":"completed","summary":"The review is complete. The findings file holds an empty findings list and a full coverage record. The working tree is otherwise unchanged.\n\n**Result: no defects in the Access Control, Trust Gap or Asymmetry areas.**\n\nThe token in `src/PebbleAgent.sol` is a 16-line subclass of OpenZeppelin ERC20 v5.4.0 that mints the whole supply to the deployer in its constructor and adds nothing else. What I verified:\n\n- **Permission model.** The compiled ABI exposes exactly three state-changing functions, approve, transfer and transferFrom, each scoped to the caller's own balance or allowance. There is no owner, minter, pauser, blacklist, initializer, proxy, receive or fallback, and no DELEGATECALL, CALLCODE or SELFDESTRUCT in the runtime. The constructor hands out no role, so the factory holds nothing but the minted balance after deployment.\n- **Trust gap.** With no privileged actor and no economic formula, there is no seam between authorization, economics and asymmetry to exploit. The deployer cannot pull a holder's tokens without an allowance and cannot reach any mint or burn path. I confirmed this with an independent scratch test from both the deployer and a stranger, then deleted the scratch file.\n- **Asymmetry.** transfer and transferFrom reach the identical internal path, and the allowance write and consume use the same slot with mirrored semantics. No branch differs by caller class, so launch flows through the factory, distributor and pool manager move exact amounts.\n- **Dependency integrity.** All five vendored OpenZeppelin files hash-match the pinned upstream commit, so no local edit hides in the library. There is no git submodule.\n- **Tests.** The project's 29 unit, fuzz and invariant tests pass offline. The aderyn large-literal lead is a style note on the supply constant and is not a defect.\n\nOne non-defect worth knowing: the token inherits the standard ERC-20 approve race, where a spender can front-run an allowance change to spend both the old and new amounts. The README already documents the revoke-to-zero mitigation, and fixing it would change the standard interface, so I did not report it as a finding.\n\nCoverage: all three listed entry points plus the constructor and five invariants are marked `holds`. Nothing was left unreached.","treeHash":null,"usage":{"cachedInputTokens":525382,"inputTokens":226,"model":"claude-fable-5-1","outputTokens":9595,"runtime":"claude","turns":25,"wallClockMs":164193}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"3a720671678111bc","findings":[],"hash":"a89c57033f5995b462297c10b6fdacbbe24a14f053da982435c60f69bf762205","nodeId":"bad5720d-cf15-454a-addc-7e5da17fa71f","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. All three entry points, approve, transfer and transferFrom, are marked `holds`. No files in the tree were changed, and the scratch directory was removed after use.\n\n**What was checked in the assigned area**\n\n- **Execution trace.** The token in `src/PebbleAgent.sol` is a plain OpenZeppelin ERC-20 with a one-shot constructor mint. Every state-changing path was traced through `_update` and `_spendAllowance`. Zero-address checks, balance and allowance checks, atomic revert, self-transfer, zero-value transfer, and infinite-allowance behaviour all behave as intended. There are no hooks, fees, callbacks, external calls or partial state updates. Launch flows move exactly the amount stated.\n- **Periphery.** The five vendored OpenZeppelin files are byte-identical to upstream v5.4.0 at the pinned commit, confirmed by downloading and diffing each. They are ordinary files, not submodules. No linkable libraries exist.\n- **First principles.** The supply constant evaluates to exactly 10^27, decimals are 18, and name and symbol match the brief. The ABI has no owner, minter, pause, blacklist, burnFrom, receive or fallback. Sending ETH or an unknown selector reverts. The runtime contains no DELEGATECALL, CALLCODE or SELFDESTRUCT.\n\n**Static-analysis leads.** Slither reported nothing. Aderyn's large-numeric-literal line points at the supply constant itself and is not a defect.\n\n**Notes recorded, not filed as findings.** The standard ERC-20 approve front-running sequence exists, as it does in every compliant ERC-20. It is inherent to the interface the requester asked for and is noted in the approve coverage row rather than reported as a defect. No launch.json exists yet. The README's deployment parameters match what the constructor does, so a manifest copying them would be correct.\n\n**Verification run.** The existing suite of 29 tests, including two invariant tests over 8,192 handler calls, passes. Five additional scratch tests on constants, fallback rejection, self-transferFrom and allowance behaviour also passed before being deleted.","treeHash":null,"usage":{"cachedInputTokens":478508,"inputTokens":322,"model":"claude-fable-5-1","outputTokens":8144,"runtime":"claude","turns":11,"wallClockMs":145410}},{"artifacts":[],"attempt":1,"bundleHash":"8632bdae4034b45e2f1c2cdd842a6aef436760ef0c1d12a0280f442a50970009","device":"e7f8c6542ba6fced","findings":[],"hash":"eb8a20f3fc5d76f6f547176e5cf148280b64268b0fd0ef29e741bdca27a0aca5","nodeId":"08b34a1c-ccc5-4a47-9196-9e0a0f26f667","outcome":"completed","summary":"Added 14 edge-case and fuzz tests covering failure rollback, allowance isolation, revocation, and boundary values. Expanded invariants to 32,768 randomized calls checking supply, balances, allowances, and transfer liveness.\n\n`forge build` and `forge test` pass: **43 passed, 0 failed, 0 skipped**.\n\nOnly `test/` files changed. No implementation defects were identified.","treeHash":"599c5f88b2c01e0b01c9078d6cb0f5f8760d834d","usage":{"cachedInputTokens":753280,"inputTokens":77847,"model":"gpt-6-astra","outputTokens":9407,"runtime":"codex","turns":5,"wallClockMs":268289}}],"verification":[{"checks":[{"durationMs":1148,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.05s\nCompiler run successful!\n","passed":true},{"durationMs":2445,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 28 tests for test/PebbleAgent.t.sol:PebbleAgentTest\n[PASS] testFuzz_DelegatedTransferConservesSupply(uint256,uint256) (runs: 512, μ: 163645, ~: 165256)\nLogs:\n  Bound result 1\n  Bound result 0\n\n[PASS] testFuzz_OverdrawRevertsWithoutChangingState(uint256) (runs: 512, μ: 69112, ~: 69436)\nLogs:\n  Bound result 115792089237316195423570985008687907853269984665639564039457584007913129640096\n\n[PASS] testFuzz_TransferRoundTripConservesSupply(address,uint256) (runs: 512, μ: 145536, ~: 145245)\nLogs:\n  Bound result 15378\n\n[PASS] test_ApprovalCanBeReplacedAndRevoked() (gas: 167551)\n[PASS] test_ApproveEmitsEventAndDoesNotMoveTokens() (gas: 88777)\n[PASS] test_ConstructorEmitsExactlyOneMint() (gas: 9697)\n[PASS] test_ContractRecipientIsNotCalled() (gas: 178041)\n[PASS] test_Create2FactoryReceivesSupplyAndLaunchTransfersArriveWhole() (gas: 667260)\n[PASS] test_InfiniteAllowanceIsPreserved() (gas: 190111)\n[PASS] test_MetadataAndEntireSupplyBelongToDeployer() (gas: 107649)\n[PASS] test_NoMintBurnOrAdministrativeEntryPoints() (gas: 1464888)\n[PASS] test_RejectsEther() (gas: 36886)\n[PASS] test_RevertApproveZeroSpender() (gas: 30364)\n[PASS] test_RevertInsufficientBalanceRestoresSpentAllowance() (gas: 126596)\n[PASS] test_RevertMaximumTransferAmountWithoutOverflow() (gas: 148532)\n[PASS] test_RevertTransferExceedingBalance() (gas: 57492)\n[PASS] test_RevertTransferFromExceedingAllowance() (gas: 116111)\n[PASS] test_RevertTransferFromToZeroRestoresAllowance() (gas: 114653)\n[PASS] test_RevertTransferFromWithoutApprovalIncludingDeployer() (gas: 140481)\n[PASS] test_RevertTransferFromZeroSender() (gas: 35346)\n[PASS] test_RevertTransferToZeroEvenForZeroAmount() (gas: 71904)\n[PASS] test_RuntimeFitsAndContainsNoForbiddenOpcodes() (gas: 1034543)\n[PASS] test_TransferEmitsEventAndMovesExactAmount() (gas: 93462)\n[PASS] test_TransferEntireSupplyAndSelfTransfer() (gas: 114594)\n[PASS] test_TransferFromConsumesFiniteAllowanceAndEmitsTransfer() (gas: 232128)\n[PASS] test_TransferFromToSameHolderConsumesAllowanceOnly() (gas: 105678)\n[PASS] test_ZeroTransferFromEmptyAccountEmitsEvent() (gas: 63123)\n[PASS] test_ZeroTransferFromNeedsNoAllowance() (gas: 68865)\nSuite result: ok. 28 passed; 0 failed; 0 skipped; finished in 14.92ms (54.46ms CPU time)\n\nRan 1 test for test/PebbleAgent.invariant.t.sol:PebbleAgentInvariantTest\n[PASS]\nPebbleAgentInvariantTest invariants:\n[PASS] invariant_BalancesAndAllowancesMatchIndependentModel\n[PASS] invariant_TotalSupplyIsFixedAndAllTokensAreAccountedFor\n PebbleAgentInvariantTest invariants (runs: 128, calls: 8192, reverts: 0)\n\n╭---------------+-----------------------------+-------+---------+----------╮\n| Contract      | Selector                    | Calls | Reverts | Discards |\n+==========================================================================+\n| PebbleHandler | approve                     | 2073  | 0       | 0        |\n|---------------+-----------------------------+-------+---------+----------|\n| PebbleHandler | attemptUnauthorizedTransfer | 2016  | 0       | 0        |\n|---------------+-----------------------------+-------+---------+----------|\n| PebbleHandler | move                        | 2023  | 0       | 0        |\n|---------------+-----------------------------+-------+---------+----------|\n| PebbleHandler | moveApproved                | 2080  | 0       | 0        |\n╰---------------+-----------------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 15\n  Bound result 0\n  Bound result 211801472\n  Bound result 40000000000000000000\n  Bound result 14\n  Bound result 2515\n  Bound result 470\n  Bound result 0\n  Bound result 0\n  Bound result 315174864330705208903150679\n  Bound result 0\n  Bound result 3\n  Bound result 0\n  Bound result 2\n  Bound result 34\n  Bound result 0\n  Bound result 7000000000000000000\n  Bound result 30000000000000000000\n  Bound result 2345\n  Bound result 25000000000000000000\n  Bound result 0\n  Bound result 0\n  Bound result 2646\n  Bound result 5506\n  Bound result 52844335809012966416123521\n  Bound result 5712\n  Bound result 6\n  Bound result 2842\n  Bound result 100000000000000000000\n  Bound result 255\n  Bound result 4964\n  Bound result 826074470\n  Bound result 0\n  Bound result 218701302883702092156264453\n  Bound result 213035201979208017954301296\n  Bound result 14\n  Bound result 1549\n  Bound result 99\n  Bound result 11\n  Bound result 11523488\n  Bound result 100000000000000000000\n  Bound result 36964798020791982057219064\n  Bound result 947954301751235189844371061\n  Bound result 0\n  Bound result 5783\n  Bound result 10\n  Bound result 3637066832925739366880736\n  Bound result 3\n  Bound result 1880\n  Bound result 242\n  Bound result 10000000000000000000\n  Bound result 4950\n  Bound result 1944412797833349701745519716\n  Bound result 0\n  Bound result 25000000000000000000\n  Bound result 1\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 2.37s (2.37s CPU time)\n\nRan 2 test suites in 2.37s (2.38s CPU time): 29 tests passed, 0 failed, 0 skipped (29 total tests)\n","passed":true},{"durationMs":30,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"PebbleAgent.approve(address,uint256)\",\"PebbleAgent.transfer(address,uint256)\",\"PebbleAgent.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"README.md\":65,\"foundry.toml\":21,\"launch.json\":24,\"remappings.txt\":2,\"src/PebbleAgent.sol\":16,\"test/PebbleAgent.invariant.t.sol\":110,\"test/PebbleAgent.t.sol\":391},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"06c494b40d3fbd5ba5595ee2d1330f1863749701df65f87ab73e52bc51da0ef9","verifiedTreeHash":"7e6a7d6fd6a5bbf4edf0f2a4a47b51c87b9e285e","verifierVersion":"0.1.0+0e08a464"},{"checks":[{"durationMs":1067,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 977.78ms\nCompiler run successful!\n","passed":true},{"durationMs":2468,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 28 tests for test/PebbleAgent.t.sol:PebbleAgentTest\n[PASS] testFuzz_DelegatedTransferConservesSupply(uint256,uint256) (runs: 512, μ: 163135, ~: 165208)\nLogs:\n  Bound result 20000000000000000000\n  Bound result 95\n\n[PASS] testFuzz_OverdrawRevertsWithoutChangingState(uint256) (runs: 512, μ: 69120, ~: 69436)\nLogs:\n  Bound result 115792089237316195423570985008687907853269984665640564039457584007913129639934\n\n[PASS] testFuzz_TransferRoundTripConservesSupply(address,uint256) (runs: 512, μ: 145245, ~: 145251)\nLogs:\n  Bound result 7\n\n[PASS] test_ApprovalCanBeReplacedAndRevoked() (gas: 167551)\n[PASS] test_ApproveEmitsEventAndDoesNotMoveTokens() (gas: 88777)\n[PASS] test_ConstructorEmitsExactlyOneMint() (gas: 9697)\n[PASS] test_ContractRecipientIsNotCalled() (gas: 178041)\n[PASS] test_Create2FactoryReceivesSupplyAndLaunchTransfersArriveWhole() (gas: 667260)\n[PASS] test_InfiniteAllowanceIsPreserved() (gas: 190111)\n[PASS] test_MetadataAndEntireSupplyBelongToDeployer() (gas: 107649)\n[PASS] test_NoMintBurnOrAdministrativeEntryPoints() (gas: 1464888)\n[PASS] test_RejectsEther() (gas: 36886)\n[PASS] test_RevertApproveZeroSpender() (gas: 30364)\n[PASS] test_RevertInsufficientBalanceRestoresSpentAllowance() (gas: 126596)\n[PASS] test_RevertMaximumTransferAmountWithoutOverflow() (gas: 148532)\n[PASS] test_RevertTransferExceedingBalance() (gas: 57492)\n[PASS] test_RevertTransferFromExceedingAllowance() (gas: 116111)\n[PASS] test_RevertTransferFromToZeroRestoresAllowance() (gas: 114653)\n[PASS] test_RevertTransferFromWithoutApprovalIncludingDeployer() (gas: 140481)\n[PASS] test_RevertTransferFromZeroSender() (gas: 35346)\n[PASS] test_RevertTransferToZeroEvenForZeroAmount() (gas: 71904)\n[PASS] test_RuntimeFitsAndContainsNoForbiddenOpcodes() (gas: 1034543)\n[PASS] test_TransferEmitsEventAndMovesExactAmount() (gas: 93462)\n[PASS] test_TransferEntireSupplyAndSelfTransfer() (gas: 114594)\n[PASS] test_TransferFromConsumesFiniteAllowanceAndEmitsTransfer() (gas: 232128)\n[PASS] test_TransferFromToSameHolderConsumesAllowanceOnly() (gas: 105678)\n[PASS] test_ZeroTransferFromEmptyAccountEmitsEvent() (gas: 63123)\n[PASS] test_ZeroTransferFromNeedsNoAllowance() (gas: 68865)\nSuite result: ok. 28 passed; 0 failed; 0 skipped; finished in 13.36ms (47.13ms CPU time)\n\nRan 1 test for test/PebbleAgent.invariant.t.sol:PebbleAgentInvariantTest\n[PASS]\nPebbleAgentInvariantTest invariants:\n[PASS] invariant_BalancesAndAllowancesMatchIndependentModel\n[PASS] invariant_TotalSupplyIsFixedAndAllTokensAreAccountedFor\n PebbleAgentInvariantTest invariants (runs: 128, calls: 8192, reverts: 0)\n\n╭---------------+-----------------------------+-------+---------+----------╮\n| Contract      | Selector                    | Calls | Reverts | Discards |\n+==========================================================================+\n| PebbleHandler | approve                     | 2019  | 0       | 0        |\n|---------------+-----------------------------+-------+---------+----------|\n| PebbleHandler | attemptUnauthorizedTransfer | 2018  | 0       | 0        |\n|---------------+-----------------------------+-------+---------+----------|\n| PebbleHandler | move                        | 2081  | 0       | 0        |\n|---------------+-----------------------------+-------+---------+----------|\n| PebbleHandler | moveApproved                | 2074  | 0       | 0        |\n╰---------------+-----------------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 242\n  Bound result 25000000000000000000\n  Bound result 95\n  Bound result 2541\n  Bound result 838\n  Bound result 1\n  Bound result 1672\n  Bound result 6475\n  Bound result 121352393547658740945811369\n  Bound result 211536687054237276472486012\n  Bound result 1000000000000000000\n  Bound result 9\n  Bound result 0\n  Bound result 0\n  Bound result 5991\n  Bound result 127\n  Bound result 3000000000000000000\n  Bound result 126\n  Bound result 127\n  Bound result 0\n  Bound result 16\n  Bound result 0\n  Bound result 634\n  Bound result 30000000000000000000\n  Bound result 1\n  Bound result 328540825218514651828115728\n  Bound result 339\n  Bound result 1432\n  Bound result 8\n  Bound result 0\n  Bound result 255\n  Bound result 60000000000000000000\n  Bound result 42\n  Bound result 1926\n  Bound result 0\n  Bound result 123000000000000000000\n  Bound result 0\n  Bound result 1877\n  Bound result 270381763650617204101244373\n  Bound result 833600542151593863531098107\n  Bound result 3963891461\n  Bound result 52897042672\n  Bound result 4000000000000000000\n  Bound result 40000000000000000000\n  Bound result 3999\n  Bound result 40000000000000000000\n  Bound result 132480969073318686170960075\n  Bound result 115155321438080334891466515\n  Bound result 705040391419938647567104552\n  Bound result 250000000000000000000000252\n  Bound result 34204935427135277176\n  Bound result 0\n  Bound result 6\n  Bound result 0\n  Bound result 1130\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 2.39s (2.39s CPU time)\n\nRan 2 test suites in 2.39s (2.40s CPU time): 29 tests passed, 0 failed, 0 skipped (29 total tests)\n","passed":true},{"durationMs":38,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"PebbleAgent.approve(address,uint256)\",\"PebbleAgent.transfer(address,uint256)\",\"PebbleAgent.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"README.md\":65,\"foundry.toml\":21,\"remappings.txt\":2,\"src/PebbleAgent.sol\":16,\"test/PebbleAgent.invariant.t.sol\":110,\"test/PebbleAgent.t.sol\":391},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":385,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":201,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/PebbleAgent.sol:10: Large Numeric Literal","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"2860474c27c533a02df67b3001548f4a12a5134c8d8451753d5fba1626ea2601","verifiedTreeHash":"71a637af260cff4e399bc2b904a70d8631cc60f2","verifierVersion":"0.1.0+0e08a464"},{"checks":[{"durationMs":1450,"exitCode":0,"name":"build","output":"Compiling 28 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.35s\nCompiler run successful!\n","passed":true},{"durationMs":8806,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 28 tests for test/PebbleAgent.t.sol:PebbleAgentTest\n[PASS] testFuzz_DelegatedTransferConservesSupply(uint256,uint256) (runs: 512, μ: 163159, ~: 165250)\nLogs:\n  Bound result 96\n  Bound result 95\n\n[PASS] testFuzz_OverdrawRevertsWithoutChangingState(uint256) (runs: 512, μ: 69080, ~: 69436)\nLogs:\n  Bound result 115792089237316195423570985008687907853269984665639564039487584007913129639935\n\n[PASS] testFuzz_TransferRoundTripConservesSupply(address,uint256) (runs: 512, μ: 145394, ~: 145251)\nLogs:\n  Bound result 1153602615\n\n[PASS] test_ApprovalCanBeReplacedAndRevoked() (gas: 167551)\n[PASS] test_ApproveEmitsEventAndDoesNotMoveTokens() (gas: 88777)\n[PASS] test_ConstructorEmitsExactlyOneMint() (gas: 9697)\n[PASS] test_ContractRecipientIsNotCalled() (gas: 178041)\n[PASS] test_Create2FactoryReceivesSupplyAndLaunchTransfersArriveWhole() (gas: 667260)\n[PASS] test_InfiniteAllowanceIsPreserved() (gas: 190111)\n[PASS] test_MetadataAndEntireSupplyBelongToDeployer() (gas: 107649)\n[PASS] test_NoMintBurnOrAdministrativeEntryPoints() (gas: 1464888)\n[PASS] test_RejectsEther() (gas: 36886)\n[PASS] test_RevertApproveZeroSpender() (gas: 30364)\n[PASS] test_RevertInsufficientBalanceRestoresSpentAllowance() (gas: 126596)\n[PASS] test_RevertMaximumTransferAmountWithoutOverflow() (gas: 148532)\n[PASS] test_RevertTransferExceedingBalance() (gas: 57492)\n[PASS] test_RevertTransferFromExceedingAllowance() (gas: 116111)\n[PASS] test_RevertTransferFromToZeroRestoresAllowance() (gas: 114653)\n[PASS] test_RevertTransferFromWithoutApprovalIncludingDeployer() (gas: 140481)\n[PASS] test_RevertTransferFromZeroSender() (gas: 35346)\n[PASS] test_RevertTransferToZeroEvenForZeroAmount() (gas: 71904)\n[PASS] test_RuntimeFitsAndContainsNoForbiddenOpcodes() (gas: 1034543)\n[PASS] test_TransferEmitsEventAndMovesExactAmount() (gas: 93462)\n[PASS] test_TransferEntireSupplyAndSelfTransfer() (gas: 114594)\n[PASS] test_TransferFromConsumesFiniteAllowanceAndEmitsTransfer() (gas: 232128)\n[PASS] test_TransferFromToSameHolderConsumesAllowanceOnly() (gas: 105678)\n[PASS] test_ZeroTransferFromEmptyAccountEmitsEvent() (gas: 63123)\n[PASS] test_ZeroTransferFromNeedsNoAllowance() (gas: 68865)\nSuite result: ok. 28 passed; 0 failed; 0 skipped; finished in 67.63ms (128.28ms CPU time)\n\nRan 14 tests for test/PebbleAgent.edge.t.sol:PebbleAgentEdgeTest\n[PASS] testFuzz_ApprovalReplacementAfterPartialSpend(uint256,uint256,uint256) (runs: 1000, μ: 212057, ~: 211377)\nLogs:\n  Bound result 9062\n  Bound result 1357\n\n[PASS] testFuzz_InsufficientAllowanceIsAtomic(uint256,uint256,uint256) (runs: 1000, μ: 228235, ~: 231043)\nLogs:\n  Bound result 906876619885407386898767844\n  Bound result 190570471836\n  Bound result 150786905698\n\n[PASS] testFuzz_InsufficientBalanceIsAtomic(uint256,uint256,bool,bool) (runs: 1000, μ: 324902, ~: 324873)\nLogs:\n  Bound result 1\n  Bound result 495390028659597471558095930235\n\n[PASS] testFuzz_SplitAndLumpDelegatedPaymentsAreEquivalent(uint256,uint256,bool) (runs: 1000, μ: 367175, ~: 369680)\nLogs:\n  Bound result 9\n  Bound result 2\n\n[PASS] testFuzz_ZeroRecipientDoesNotBurnOrConsumeApproval(uint256,uint256) (runs: 1000, μ: 219030, ~: 219759)\nLogs:\n  Bound result 9\n\n[PASS] test_AllowancesAreIsolatedByOwnerAndSpender() (gas: 424706)\n[PASS] test_EntireSupplyCanBeSpentOnceWithExactAllowance() (gas: 253720)\n[PASS] test_InfiniteApprovalCanBeReducedAndRevoked() (gas: 285531)\n[PASS] test_MaximumMinusOneIsFiniteAndDecrements() (gas: 147905)\n[PASS] test_OneSmallestUnitIsTransferredExactly() (gas: 91449)\n[PASS] test_SelfTransferStillRequiresSufficientBalance() (gas: 204696)\n[PASS] test_TransferFromByOwnerRequiresAndConsumesSelfApproval() (gas: 167295)\n[PASS] test_ZeroApprovalToZeroSpenderIsRejected() (gas: 110394)\n[PASS] test_ZeroDelegatedTransferEmitsAndPreservesExistingApproval() (gas: 134730)\nSuite result: ok. 14 passed; 0 failed; 0 skipped; finished in 67.73ms (330.78ms CPU time)\n\nRan 1 test for test/PebbleAgent.invariant.t.sol:PebbleAgentInvariantTest\n[PASS]\nPebbleAgentInvariantTest invariants:\n[PASS] invariant_BalancesAndAllowancesMatchIndependentModel\n[PASS] invariant_TotalSupplyIsFixedAndAllTokensAreAccountedFor\n PebbleAgentInvariantTest invariants (runs: 256, calls: 32768, reverts: 0)\n\n╭---------------+-----------------------------+-------+---------+----------╮\n| Contract      | Selector                    | Calls | Reverts | Discards |\n+==========================================================================+\n| PebbleHandler | approve                     | 3269  | 0       | 0        |\n|---------------+-----------------------------+-------+---------+----------|\n| PebbleHandler | attemptApprovedOverdraw     | 3294  | 0       | 0        |\n|---------------+-----------------------------+-------+---------+----------|\n| PebbleHandler | attemptOverdraw             | 3189  | 0       | 0        |\n|---------------+-----------------------------+-------+---------+----------|\n| PebbleHandler | attemptOverspend            | 3236  | 0       | 0        |\n|---------------+-----------------------------+-------+---------+----------|\n| PebbleHandler | attemptUnauthorizedTransfer | 3233  | 0       | 0        |\n|---------------+-----------------------------+-------+---------+----------|\n| PebbleHandler | attemptZeroRecipient        | 3337  | 0       | 0        |\n|---------------+-----------------------------+-------+---------+----------|\n| PebbleHandler | move                        | 3238  | 0       | 0        |\n|---------------+-----------------------------+-------+---------+----------|\n| PebbleHandler | moveApproved                | 3370  | 0       | 0        |\n|---------------+-----------------------------+-------+---------+----------|\n| PebbleHandler | moveEntireBalance           | 3305  | 0       | 0        |\n|---------------+-----------------------------+-------+---------+----------|\n| PebbleHandler | revoke                      | 3297  | 0       | 0        |\n╰---------------+-----------------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 4198\n  Bound result 24000996427\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007915608533049\n  Bound result 722779365170837396269826539319823734841982855507829328\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129641232\n  Bound result 4773\n  Bound result 1154\n  Bound result 2\n  Bound result 5\n  Bound result 60000000000000000000\n  Bound result 8448\n  Bound result 115792089237316195423570985008687907853269984665639814039457584007913129648655\n  Bound result 4000000000000000000\n  Bound result 132\n  Bound result 0\n  Bound result 787\n  Bound result 3\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129645568\n  Bound result 2467\n  Bound result 2\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665639814039467584007913129639934\n  Bound result 100000000000000000000\n  Bound result 244\n  Bound result 115792089237316195423570985008687907853269984665640314039557584007913129639934\n  Bound result 3405\n  Bound result 115792089237316195423570985008687907853269984665640314039457584007913129639948\n  Bound result 0\n  Bound result 5860\n  Bound result 750000000000000000000000002\n  Bound result 0\n  Bound result 1703\n  Bound result 6182\n  Bound result 754484077763192523285983306\n  Bound result 1\n  Bound result 1\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665639814039457584007913129639951\n  Bound result 109\n  Bound result 6600585655381902622498717682056873549102\n  Bound result 0\n  Bound result 244\n  Bound result 2198\n  Bound result 0\n  Bound result 0\n  Bound result 3\n  Bound result 0\n  Bound result 0\n  Bound result 2\n  Bound result 7\n  Bound result 194753\n  Bound result 60000000000000000000\n  Bound result 10506\n  Bound result 30000000000000000000\n  Bound result 4000000000000000000\n  Bound result 18\n  Bound result 1439980792087601931297679\n  Bound result 0\n  Bound result 11\n  Bound result 0\n  Bound result 1159\n  Bound result 2\n  Bound result 115792089237316195423570985008687907853269984665639564039487584007913129640496\n  Bound result 1242826418\n  Bound result 610499411251518228280245190\n  Bound result 244\n  Bound result 5658\n  Bound result 10\n  Bound result 7000000000000000000\n  Bound result 5710\n  Bound result 5903\n  Bound result 7000000000000000000\n  Bound result 115792089237316195423570985008687907853269984665639564039487584007913129640340\n  Bound result 646328699113329168417656663\n  Bound result 100000000000000000000\n  Bound result 1\n  Bound result 876\n  Bound result 730321212127567465465571637\n  Bound result 0\n  Bound result 7196338009647326484488346794258690396452558583\n  Bound result 0\n  Bound result 60000000000000000000\n  Bound result 120\n  Bound result 25000000000000000000\n  Bound result 4750\n  Bound result 109877469921395\n  Bound result 7000000000000000000\n  Bound result 0\n  Bound result 0\n  Bound result 9\n  Bound result 5122\n  Bound result 1\n  Bound result 95\n  Bound result 0\n  Bound result 5\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 8.73s (8.72s CPU time)\n\nRan 3 test suites in 8.73s (8.87s CPU time): 43 tests passed, 0 failed, 0 skipped (43 total tests)\n","passed":true},{"durationMs":38,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"PebbleAgent.approve(address,uint256)\",\"PebbleAgent.transfer(address,uint256)\",\"PebbleAgent.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"README.md\":65,\"foundry.toml\":21,\"remappings.txt\":2,\"src/PebbleAgent.sol\":16,\"test/PebbleAgent.edge.t.sol\":252,\"test/PebbleAgent.invariant.t.sol\":223,\"test/PebbleAgent.t.sol\":391},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"eb8a20f3fc5d76f6f547176e5cf148280b64268b0fd0ef29e741bdca27a0aca5","verifiedTreeHash":"599c5f88b2c01e0b01c9078d6cb0f5f8760d834d","verifierVersion":"0.1.0+0e08a464"}]}