{"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":"e79c8657-36d3-45a0-a789-ae47d397e799","kind":"shape:chain","nodes":[{"acceptedSubmissionHash":"9f56f833b856ba4f8e529b9d80e77fcd613e38fabbfb93803747d14283083ab1","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":"7d83800972447dd36c2dbdd7ceaac4ca9a7b730ba05a3c99c8f9bc2d3a438caa","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":"99cc9bddf0d50dfaad7e31ddaba5e3b40b309ba1f8c38d75ac64f5d11fe4d518","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":"f78b68d6b1b63c12b33c384f3364a9fedbeeb620f3a3111ee2dd6f24440e644a","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":"fb26b6807331fbbe1076ca8c34a323d0a3e2651f915ab9f0b7870af3b51547cc","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":"8e4e9e297d8d5c931f9ba9f123c20584c761a38fb2a5b50b9b3c3a00263c5450","dependsOn":[],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"d59561da3b378461b7c749f6bd5084477d44993aa94972ddea90f542535751df","skillId":"build-contract-project","tools":[]},"key":"build_contract_project","kind":"code","role":"implement","skillHash":"d59561da3b378461b7c749f6bd5084477d44993aa94972ddea90f542535751df","skillId":"build-contract-project","state":"accepted"},{"acceptedSubmissionHash":"dbf4fc6690e9bf16b7348bf5e2ed50d54cbb67178924d197d47256ae571a937f","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"tools":[]},"key":"manifest","kind":"code","role":"integrate","skillHash":null,"skillId":null,"state":"accepted"},{"acceptedSubmissionHash":"dc7b08986d4d232409940d7c20a6446a4aa2b52f9e389c984642b78e82bf51cd","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"4c76766b00591dfe982fe85d3de589fdb2f810e5137c301155d1c5e36a1d3b23","skillId":"write-foundry-tests","tools":[]},"key":"write_foundry_tests","kind":"code","role":"tests","skillHash":"4c76766b00591dfe982fe85d3de589fdb2f810e5137c301155d1c5e36a1d3b23","skillId":"write-foundry-tests","state":"accepted"}],"objective":"A custom token: Proof House (PH).\nToken name: Proof House\nToken symbol: PH\nToken supply: 1,000,000,000 with 18 decimals, all minted once to the deployer in the constructor.","parentJobId":null,"planHash":"c29eb475abfc5876cee3e86ba07e80b97a7349236757e0df3a358c6710fa90d0","previousHash":"0000000000000000000000000000000000000000000000000000000000000000","projectId":"e79c8657-36d3-45a0-a789-ae47d397e799","publication":{"commit":null,"deliveredAt":null,"repoUrl":"https://github.com/identity-md-launches/launch-2390-proof-house"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[{"agentId":"50995","feedbackHash":"f10f55367b9dbe7860803d1c6e128aa80b2fc16ae1573cd8af6fb77da3ab690a","nodeKey":"audit_economics","submissionHash":"9f56f833b856ba4f8e529b9d80e77fcd613e38fabbfb93803747d14283083ab1","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52478","feedbackHash":"d4a4a610493e284172f6b0213386b79e0904c7d362ed801d9436770a43e89260","nodeKey":"audit_flow","submissionHash":"7d83800972447dd36c2dbdd7ceaac4ca9a7b730ba05a3c99c8f9bc2d3a438caa","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52250","feedbackHash":"354b0919c2e3b20935fe36cd49a61f4f1f0d0023e0ccd86ff6d47886b7a198c2","nodeKey":"audit_judge","submissionHash":"99cc9bddf0d50dfaad7e31ddaba5e3b40b309ba1f8c38d75ac64f5d11fe4d518","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51198","feedbackHash":"4ed9a6cba3659069c3c6aa2b56ca5e729073816d536c7b85657c68db4d4a83f3","nodeKey":"audit_math","submissionHash":"f78b68d6b1b63c12b33c384f3364a9fedbeeb620f3a3111ee2dd6f24440e644a","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52482","feedbackHash":"c9cb63944810412d75de1466bcba582cfe8a29fec568ba6b35da3563c741d076","nodeKey":"audit_permissions","submissionHash":"fb26b6807331fbbe1076ca8c34a323d0a3e2651f915ab9f0b7870af3b51547cc","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51749","feedbackHash":"223346d655b68ea63c14d6a81954e5156d62a3860275d39fed532be95df93b31","nodeKey":"build_contract_project","submissionHash":"8e4e9e297d8d5c931f9ba9f123c20584c761a38fb2a5b50b9b3c3a00263c5450","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51755","feedbackHash":"3e366387d11a16d416f20adf79e91abdea8e5267dacd07c8fff2ae22114218a9","nodeKey":"manifest","submissionHash":"dbf4fc6690e9bf16b7348bf5e2ed50d54cbb67178924d197d47256ae571a937f","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51745","feedbackHash":"5130db3d84bced78c8d26742f15c5f5c5843a37eafb555435012e61d5866178a","nodeKey":"write_foundry_tests","submissionHash":"dc7b08986d4d232409940d7c20a6446a4aa2b52f9e389c984642b78e82bf51cd","tag1":"verification:checks","tag2":"acceptance-v2","value":1}],"site":null,"snapshotHash":"29a197e320dbe0ecbc56dac2a60e1306a4c4165a235c191f3f3da5b0f09ae94b","state":"completed","submissions":[{"artifacts":[],"attempt":1,"bundleHash":null,"device":"2bdd77125ec75e6c","findings":[],"hash":"7d83800972447dd36c2dbdd7ceaac4ca9a7b730ba05a3c99c8f9bc2d3a438caa","nodeId":"45837400-4f18-4312-8888-86cf66285786","outcome":"completed","summary":"The review is complete. The findings file is written and valid, and the working tree shows no tracked changes.\n\n**Outcome: no defects found.** The findings list is empty and all three entry points plus six invariant rows are recorded as `holds` in `.imd-findings.json`.\n\n**What was checked**\n\n- **Execution trace.** `ProofHouse` adds nothing to OpenZeppelin ERC20 except a constructor that mints the constant supply to `msg.sender`. I traced approve, transfer and transferFrom through `_approve`, `_spendAllowance`, `_transfer` and `_update`: zero-address reverts, exact-amount delivery, allowance spent before the balance move, max allowance left untouched, and full state rollback on every revert path. A scratch test confirmed residual-allowance behaviour at the uint256 max boundary.\n- **Periphery.** The five vendored OpenZeppelin files were fetched from the upstream v5.0.2 tag and compared byte for byte. All are identical, and `Context._msgSender` is plain `msg.sender`, so no meta-transaction or forwarder path exists.\n- **First principles.** The supply constant equals exactly 10^27 base units. A CREATE2 deployment from a probe contract gives the probe the whole supply and the calling EOA nothing, which matches the launch floor's requirement that the factory receives everything. The compiled ABI exposes only ERC-20 functions and the public constant. 22 mint, pause, freeze, burnFrom, seize and ownership selectors revert from both deployer and stranger. The contract has no receive or fallback, rejects ETH, and an opcode walk of the runtime found no reachable DELEGATECALL, CALLCODE or SELFDESTRUCT.\n- **Static analysis lead.** The aderyn large-numeric-literal note on line 10 is style only. The literal is a compile-time constant with the right value.\n\n**Not reachable locally.** The protected floor's Uniswap v4 seed and swap test depends on floor contracts that are not in this tree. Because the token has no transfer override, every launch flow moves exactly the stated amount, but the actual pool initialization was not executed here.\n\nThe project's own 32 tests and format check pass. The scratch test under `test/scratch/` is review scaffolding and is not part of the submission.","treeHash":null,"usage":{"cachedInputTokens":511719,"inputTokens":226,"model":"claude-fable-5-1","outputTokens":11190,"runtime":"claude","turns":29,"wallClockMs":155737}},{"artifacts":[],"attempt":1,"bundleHash":"45cd16f44e57dd97e0d539041b0525bc60e31128e98cde7fec4abd9067756062","device":"f6c59a24920668f6","findings":[],"hash":"8e4e9e297d8d5c931f9ba9f123c20584c761a38fb2a5b50b9b3c3a00263c5450","nodeId":"2caac289-d755-4837-8ea6-6f7a2df06919","outcome":"completed","summary":"Implemented Proof House (PH) with 18 decimals and exactly 1,000,000,000 tokens minted once to the deployer. No further minting or administrative powers.\n\nDependencies are vendored for offline builds. README documents deployment parameters, assumptions, and responsibilities.\n\nValidation passed with Solidity 0.8.26:\n\n- `forge build`\n- `forge test` — 32 local tests passed using the required seed\n- `forge fmt --check`","treeHash":"43965101737b9366ca58c61b6ac5dd507b68ae22","usage":{"cachedInputTokens":520704,"inputTokens":49553,"model":"gpt-6-astra","outputTokens":14522,"runtime":"codex","turns":5,"wallClockMs":399403}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"fc87c05048aca47d","findings":[],"hash":"99cc9bddf0d50dfaad7e31ddaba5e3b40b309ba1f8c38d75ac64f5d11fe4d518","nodeId":"01d9caff-6407-4a8e-9c79-1c1d71c9010a","outcome":"completed","summary":"The review is complete. The Proof House token has no defects, and the findings file records a clean result with full coverage.\n\n**What the code is.** `src/ProofHouse.sol` is a 17-line contract that inherits OpenZeppelin's ERC20 and mints one billion tokens with 18 decimals to the deployer in its constructor. It adds no other functions. The compiled ABI exposes only the standard ERC-20 methods plus the supply constant.\n\n**What I checked.**\n- All four specialists and the independent tester reported no findings, so nothing needed reproducing or merging.\n- I traced the three state-changing entry points against the inherited code and ran a scratch test covering the zero-address, insufficient-balance, insufficient-allowance, unlimited-allowance and self-transfer paths. All behaved as the standard requires. The project's own 45 tests, including the 24,576-call invariant suite, also pass.\n- I downloaded the OpenZeppelin v5.0.2 release archive and compared the five vendored files byte for byte. They are identical to upstream, so no hidden behavior was introduced through the library.\n- The manifest matches the contract: an empty constructor argument list for the no-parameter constructor, a total supply equal to what the constructor mints, 18 decimals, and a valid contract identifier.\n- The one static-analysis lead, a large numeric literal on line 10, is a style note on an expression that evaluates correctly. I dropped it.\n\n**Output.** `.imd-findings.json` holds an empty findings list and seven coverage rows, all marked holds, covering the three entry points plus the constructor, dependency integrity, manifest, and specialist input. The scratch test was removed and the tree is unchanged apart from the findings file.","treeHash":null,"usage":{"cachedInputTokens":528040,"inputTokens":322,"model":"claude-fable-5-1","outputTokens":8254,"runtime":"claude","turns":18,"wallClockMs":185299}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"b5e3297a04468fd3","findings":[],"hash":"9f56f833b856ba4f8e529b9d80e77fcd613e38fabbfb93803747d14283083ab1","nodeId":"b3503295-0a59-4dd0-a4aa-a2501d09a705","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 eight coverage rows: all three listed entry points hold, plus five invariant and economics rows that also hold. No file in the tree was changed. The scratch test lives in the ignored test/scratch directory.\n\n**What was checked, against the Economic Security, Invariant and Flow Gap guides:**\n\n- **Source and dependencies.** The token is a 17-line contract that inherits OpenZeppelin ERC-20 and mints the supply once in the constructor. The five vendored OpenZeppelin files hash-match upstream v5.0.2 byte for byte, so the library behaviour is the audited upstream behaviour.\n- **Entry points.** The compiled ABI is exactly the ERC-20 surface plus the supply constant getter. No mint, burn, pause, blacklist, owner, receive or fallback exists. Twenty-two common admin selectors revert when called from both the factory and a stranger, and the factory cannot pull a holder's tokens without approval.\n- **Invariants.** Sum of balances equals total supply equals the manifest supply at all times. The only mint is in the constructor and nothing can call the internal mint or burn afterwards. The existing fuzz and invariant suites pass with zero reverts, and my own fuzz over transfer, approve and transferFrom agrees.\n- **Launch flows.** Deployed through CREATE2 from a factory stub, the whole supply lands at the factory and nothing at the caller. Swarm share, pool share and remainder move exactly, claims arrive whole, and a trader can move tokens to and from the pool manager with no shortfall. There is no tax or exemption logic, so there is no exemption list to get wrong.\n- **Economics of the opening.** The supply of one billion tokens against a 4500 IMD opening cap gives a price, tick and liquidity well inside Uniswap v4's representable range. That derivation is the deployer's job and is noted as such.\n- **Bytecode floor.** A reachable-opcode walk of the runtime, the same walk the protected floor uses, finds no DELEGATECALL, CALLCODE, SELFDESTRUCT, CREATE or CALL. Runtime is well under the EIP-170 limit.\n- **Static analysis leads.** Slither reported nothing. Aderyn's large-literal note points at the compile-time supply constant, which evaluates to the manifest value and is not a defect.\n\n**Not covered.** The README's claim that the launch chain is Ethereum chain 1 and that IMD lives at the quoted address was not verified against any network. Those are documentation and manifest matters outside the token code and this area.","treeHash":null,"usage":{"cachedInputTokens":1058312,"inputTokens":418,"model":"claude-fable-5-1","outputTokens":15231,"runtime":"claude","turns":34,"wallClockMs":316731}},{"artifacts":[],"attempt":1,"bundleHash":"d9f0781cb98d6e97876e456982fef9d33a6f3cb362ecf427c42615a734635fbe","device":"f90b809929565af3","findings":[],"hash":"dbf4fc6690e9bf16b7348bf5e2ed50d54cbb67178924d197d47256ae571a937f","nodeId":"cf80eb4f-70a7-4a4b-b45d-ec3b2c5afc05","outcome":"completed","summary":"Created `launch.json` matching `ProofHouse`, its constructor, exact supply, and required pool/economics values. Only the manifest is changed.\n\nValidation passed: manifest checks, `forge build`, and all 32 tests with the supplied fuzz seed.","treeHash":"7f39c92755c143440f70021a8028e83c89b98c01","usage":{"cachedInputTokens":175232,"inputTokens":23565,"model":"gpt-6-astra","outputTokens":2292,"runtime":"codex","turns":3,"wallClockMs":75594}},{"artifacts":[],"attempt":1,"bundleHash":"8a54cc00261e3525fecfa5a88b70496847c80773b984eaeeddcaad61e809523a","device":"f84fad79f165f267","findings":[],"hash":"dc7b08986d4d232409940d7c20a6446a4aa2b52f9e389c984642b78e82bf51cd","nodeId":"65308c38-c436-4a53-93ab-666d5d6fbdee","outcome":"completed","summary":"Added 13 adversarial unit/fuzz tests and expanded invariants to cover failed calls, approval revocation, balance conservation, and continued transferability.\n\nOffline `forge build` and `forge test` passed with the required seed: 45 tests, including 24,576 invariant calls.\n\nOnly `test/` changed. No implementation defects reproduced.","treeHash":"a3bd580c16d485ff791b42a38e32eb43513b11bc","usage":{"cachedInputTokens":745472,"inputTokens":70494,"model":"gpt-6-astra","outputTokens":10780,"runtime":"codex","turns":5,"wallClockMs":311228}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"29ea8835baa3dfe1","findings":[],"hash":"f78b68d6b1b63c12b33c384f3364a9fedbeeb620f3a3111ee2dd6f24440e644a","nodeId":"5a2a17b2-1fb0-4b50-85b1-c18a308e3f1f","outcome":"completed","summary":"I found no math defects in Proof House (PH). `.imd-findings.json` has an empty findings list and a coverage row for each of the three entry points, all marked `holds`.\n\n**What's in scope:** `src/ProofHouse.sol` has 17 lines. It sets one constant, `INITIAL_SUPPLY = 1_000_000_000 * 10 ** 18`, and its constructor mints that amount once to whoever deploys it. All transfer and approval logic comes from the copy of OpenZeppelin v5.0.2 in `lib/`. I downloaded the five upstream files and compared hashes: they are byte-for-byte identical, so nothing was changed in the inherited code.\n\n**Checked against the three guides:**\n- **Math Precision:**\n  - The supply constant is worked out once when the contract is compiled and comes to exactly 10^27. Nothing in the contract divides, rounds, converts to a smaller number type or uses a fixed-point scale.\n  - The only shortcuts that skip overflow checks are in the inherited transfer and allowance code. Each one runs only after a check that the balance or allowance is large enough. When tokens are added to a recipient, the total can't overflow because all balances together always equal the fixed 10^27.\n- **Boundary:**\n  - Sending `10^27 + 1` or the largest possible number (`2^256 − 1`) reverts with an insufficient-balance error.\n  - Zero-amount transfers and transfers to yourself leave balances unchanged.\n  - An allowance of `max − 1` goes down when spent. An allowance of exactly the maximum counts as unlimited and stays the same.\n  - A delegated transfer for the maximum amount, made under an unlimited allowance, reverts on the balance check and leaves the allowance as it was.\n  - The contract makes no external calls and has no payable functions or address special cases.\n- **Numerical Gap:** I found no rounding or edge case that breaks an invariant. In 1,024 random runs over balance, allowance and amount values, total supply always stayed at 10^27, every balance added up, and allowances were updated exactly.\n- **Launch amounts:** 80% of the supply (`8e26`) and 10% (`1e26`) both come out exact with no remainder.\n\n**Static-analysis leads:** Aderyn flagged the large number at `src/ProofHouse.sol:10`. That is a style note only; the value is correct. Slither reported nothing.\n\n**How I checked it:** the existing suite passes (32 tests: unit, fuzz and invariant). I also wrote a temporary set of four boundary and fuzz tests under `test/scratch/`, which passed, and then deleted it. No other files in the repository were changed.\n\n**Not covered:** the full factory and Uniswap launch test setup isn't in this repository, so I couldn't run the protected launch tests themselves.","treeHash":null,"usage":{"cachedInputTokens":607209,"inputTokens":22,"model":"claude-opus-5-5","outputTokens":7037,"runtime":"claude","turns":12,"wallClockMs":95013}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"e8e860c7f2306473","findings":[],"hash":"fb26b6807331fbbe1076ca8c34a323d0a3e2651f915ab9f0b7870af3b51547cc","nodeId":"564fb6aa-6d25-401c-9a1c-160e44b396eb","outcome":"completed","summary":"Review complete. No defects found in the assigned area, and the findings file records that with full coverage.\n\n**Outcome.** The findings file at the repository root holds an empty findings list and seven coverage rows, one per listed entry point plus the constructor and three invariants. Every row is `holds`. No source files were changed, and the scratch test I used was removed.\n\n**What was reviewed.** The production surface is a single 17-line contract. The token inherits the vendored OpenZeppelin ERC20 and adds only a constant and a constructor that mints the full supply once to msg.sender. I read ERC20.sol and Context.sol in full and they match upstream v5.0.2 with no edits. The compiled ABI exposes only the standard ERC-20 functions plus a view for the supply constant.\n\n**Access Control guide.** There is no role, modifier, owner, initializer, proxy, delegatecall, or callback in the token. The three state-changing entry points each act only on msg.sender's balance or allowance. The factory, as deployer, holds no privilege after the constructor returns and has no allowance over any holder.\n\n**Asymmetry and Trust Gap guides.** No paired function or branch treats any caller class differently. There is no fee, burn, tax, exemption list, or admin variant, so the launch flows (factory to distributor, distributor to claimant, pool seed, swaps both ways) move exact amounts for every actor. With no privileged actor and no economic formula, no seam between access, economics and asymmetry exists.\n\n**Evidence gathered.**\n- The existing suite passes: 32 tests including fuzz and invariant runs.\n- A scratch Foundry test tried 24 privileged-looking selectors from a stranger and from the deployer. All reverted with supply and holder balance unchanged.\n- The same test confirmed ETH sends and unknown calldata revert, and a reachable-opcode scan of the runtime found no DELEGATECALL, CALLCODE or SELFDESTRUCT.\n- A fuzz probe confirmed transfer and transferFrom move identical amounts and that unapproved spenders cannot pull funds.\n\n**Static analysis leads.** Slither reported nothing. Aderyn's low note on the large numeric literal at line 10 is the intentional supply constant, written with underscore separators, and is not a defect.\n\n**Not covered.** No launch manifest exists yet, which is expected at this stage. The token has no constructor arguments, so its manifest entry will need an empty constructorArgs list and totalSupply of 1000000000000000000000000000.","treeHash":null,"usage":{"cachedInputTokens":535152,"inputTokens":226,"model":"claude-fable-5-1","outputTokens":9179,"runtime":"claude","turns":22,"wallClockMs":138751}}],"verification":[{"checks":[{"durationMs":1099,"exitCode":0,"name":"build","output":"Compiling 30 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.03s\nCompiler run successful!\n","passed":true},{"durationMs":1897,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 2 tests for test/ProofHouseLaunch.t.sol:ProofHouseLaunchTest\n[PASS] testFuzz_create2MintsToFactoryInsteadOfCaller(address,bytes32) (runs: 1024, μ: 69466, ~: 69539)\n[PASS] test_factoryDistributionClaimsAndPoolTransfersDeliverFullAmounts() (gas: 440474)\nSuite result: ok. 2 passed; 0 failed; 0 skipped; finished in 26.52ms (27.20ms CPU time)\n\nRan 29 tests for test/ProofHouse.t.sol:ProofHouseTest\n[PASS] testFuzz_transferConservesSupply(address,uint256) (runs: 1024, μ: 92975, ~: 93175)\nLogs:\n  Bound result 58992311209991126845753207\n\n[PASS] testFuzz_transferFromConservesSupplyAndAllowance(uint256,uint256) (runs: 1024, μ: 162164, ~: 164860)\nLogs:\n  Bound result 655550545827152296485636114\n  Bound result 516803481644358345884089488\n\n[PASS] testFuzz_transferFromOverAllowanceAlwaysReverts(uint256,uint256) (runs: 1024, μ: 122738, ~: 123453)\nLogs:\n  Bound result 634540537014014081356507504\n  Bound result 959690095572329981236818964\n\n[PASS] testFuzz_transferOverBalanceAlwaysReverts(uint256) (runs: 1024, μ: 58953, ~: 59292)\nLogs:\n  Bound result 101950358859194510004788467128014022413138925094646972914768\n\n[PASS] test_allowanceCanBeReplacedAndRevoked() (gas: 167490)\n[PASS] test_approveEmitsEventAndDoesNotMoveTokens() (gas: 88788)\n[PASS] test_approveZeroSpenderReverts() (gas: 30386)\n[PASS] test_constructorEmitsMintTransfer() (gas: 5458)\n[PASS] test_deployerCannotSpendHolderTokensWithoutApproval() (gas: 154088)\n[PASS] test_emptyAccountCannotTransferOneBaseUnit() (gas: 37885)\n[PASS] test_exactAllowanceIsExhaustedAndCannotBeReused() (gas: 161739)\n[PASS] test_fullBalanceCanBeTransferred() (gas: 75787)\n[PASS] test_infiniteAllowanceRemainsUnchanged() (gas: 214855)\n[PASS] test_metadataAndEntireSupplyBelongToDeployer() (gas: 107457)\n[PASS] test_noMintBurnOrAdministrativeEntryPoints() (gas: 622643)\n[PASS] test_selfTransferPreservesBalance() (gas: 51410)\n[PASS] test_transferDeliversExactAmountAndEmitsEvent() (gas: 91470)\n[PASS] test_transferFromConsumesOnlyCallersAllowance() (gas: 234598)\n[PASS] test_transferFromOverAllowanceRevertsAtomically() (gas: 115724)\n[PASS] test_transferFromOverBalanceRestoresAllowance() (gas: 121676)\n[PASS] test_transferFromToSelfStillSpendsAllowance() (gas: 109643)\n[PASS] test_transferFromToZeroRestoresAllowance() (gas: 114167)\n[PASS] test_transferFromZeroAddressReverts() (gas: 35340)\n[PASS] test_transferOverBalanceRevertsAtomically() (gas: 65224)\n[PASS] test_transferToZeroRevertsWithoutBurning() (gas: 47554)\n[PASS] test_unapprovedSpenderCannotTakeTokens() (gas: 117746)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 73400)\n[PASS] test_zeroTransferFromNeedsNoPositiveAllowance() (gas: 66157)\n[PASS] test_zeroTransferToZeroAlsoReverts() (gas: 30390)\nSuite result: ok. 29 passed; 0 failed; 0 skipped; finished in 27.62ms (110.42ms CPU time)\n\nRan 1 test for test/ProofHouseInvariant.t.sol:ProofHouseInvariantTest\n[PASS]\nProofHouseInvariantTest invariants:\n[PASS] invariant_allowancesMatchOnlyAuthorizedActions\n[PASS] invariant_supplyAndAllBalancesAreConserved\n ProofHouseInvariantTest invariants (runs: 128, calls: 8192, reverts: 0)\n\n╭--------------+----------+-------+---------+----------╮\n| Contract     | Selector | Calls | Reverts | Discards |\n+======================================================+\n| TokenHandler | approve  | 2773  | 0       | 0        |\n|--------------+----------+-------+---------+----------|\n| TokenHandler | move     | 2740  | 0       | 0        |\n|--------------+----------+-------+---------+----------|\n| TokenHandler | spend    | 2679  | 0       | 0        |\n╰--------------+----------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 4642\n  Bound result 0\n  Bound result 2\n  Bound result 0\n  Bound result 255\n  Bound result 0\n  Bound result 0\n  Bound result 356\n  Bound result 6475\n  Bound result 1868\n  Bound result 9\n  Bound result 2\n  Bound result 1\n  Bound result 0\n  Bound result 3\n  Bound result 123456000000000000000000\n  Bound result 301\n  Bound result 491\n  Bound result 2949\n  Bound result 674129142901211322287634645\n  Bound result 357\n  Bound result 0\n  Bound result 0\n  Bound result 408\n  Bound result 822\n  Bound result 111498063912748853313060611\n  Bound result 3217\n  Bound result 1741\n  Bound result 303672512375561298964136604\n  Bound result 6\n  Bound result 15029620\n  Bound result 3\n  Bound result 128\n  Bound result 189\n  Bound result 0\n  Bound result 54243282\n  Bound result 0\n  Bound result 7\n  Bound result 157\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 22198344723227378763248131\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 1.82s (1.82s CPU time)\n\nRan 3 test suites in 1.82s (1.87s CPU time): 32 tests passed, 0 failed, 0 skipped (32 total tests)\n","passed":true},{"durationMs":40,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"ProofHouse.approve(address,uint256)\",\"ProofHouse.transfer(address,uint256)\",\"ProofHouse.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.md\":35,\"README.md\":136,\"foundry.toml\":18,\"remappings.txt\":2,\"src/ProofHouse.sol\":17,\"test/ProofHouse.t.sol\":317,\"test/ProofHouseInvariant.t.sol\":49,\"test/ProofHouseLaunch.t.sol\":76,\"test/helpers/FactoryProbe.sol\":18,\"test/helpers/TokenHandler.sol\":55},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":384,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":222,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/ProofHouse.sol:10: Large Numeric Literal","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"8e4e9e297d8d5c931f9ba9f123c20584c761a38fb2a5b50b9b3c3a00263c5450","verifiedTreeHash":"43965101737b9366ca58c61b6ac5dd507b68ae22","verifierVersion":"0.1.0+560ab6a2"},{"checks":[{"durationMs":1279,"exitCode":0,"name":"build","output":"Compiling 30 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.20s\nCompiler run successful!\n","passed":true},{"durationMs":1939,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 2 tests for test/ProofHouseLaunch.t.sol:ProofHouseLaunchTest\n[PASS] testFuzz_create2MintsToFactoryInsteadOfCaller(address,bytes32) (runs: 1024, μ: 69466, ~: 69539)\n[PASS] test_factoryDistributionClaimsAndPoolTransfersDeliverFullAmounts() (gas: 440474)\nSuite result: ok. 2 passed; 0 failed; 0 skipped; finished in 24.98ms (25.36ms CPU time)\n\nRan 29 tests for test/ProofHouse.t.sol:ProofHouseTest\n[PASS] testFuzz_transferConservesSupply(address,uint256) (runs: 1024, μ: 92975, ~: 93175)\nLogs:\n  Bound result 3484248186700496991271\n\n[PASS] testFuzz_transferFromConservesSupplyAndAllowance(uint256,uint256) (runs: 1024, μ: 162164, ~: 164860)\nLogs:\n  Bound result 3\n  Bound result 2\n\n[PASS] testFuzz_transferFromOverAllowanceAlwaysReverts(uint256,uint256) (runs: 1024, μ: 122738, ~: 123453)\nLogs:\n  Bound result 2\n  Bound result 4\n\n[PASS] testFuzz_transferOverBalanceAlwaysReverts(uint256) (runs: 1024, μ: 58953, ~: 59292)\nLogs:\n  Bound result 158199293427871257104115582310873338230562814249757314153516762212686927077\n\n[PASS] test_allowanceCanBeReplacedAndRevoked() (gas: 167490)\n[PASS] test_approveEmitsEventAndDoesNotMoveTokens() (gas: 88788)\n[PASS] test_approveZeroSpenderReverts() (gas: 30386)\n[PASS] test_constructorEmitsMintTransfer() (gas: 5458)\n[PASS] test_deployerCannotSpendHolderTokensWithoutApproval() (gas: 154088)\n[PASS] test_emptyAccountCannotTransferOneBaseUnit() (gas: 37885)\n[PASS] test_exactAllowanceIsExhaustedAndCannotBeReused() (gas: 161739)\n[PASS] test_fullBalanceCanBeTransferred() (gas: 75787)\n[PASS] test_infiniteAllowanceRemainsUnchanged() (gas: 214855)\n[PASS] test_metadataAndEntireSupplyBelongToDeployer() (gas: 107457)\n[PASS] test_noMintBurnOrAdministrativeEntryPoints() (gas: 622643)\n[PASS] test_selfTransferPreservesBalance() (gas: 51410)\n[PASS] test_transferDeliversExactAmountAndEmitsEvent() (gas: 91470)\n[PASS] test_transferFromConsumesOnlyCallersAllowance() (gas: 234598)\n[PASS] test_transferFromOverAllowanceRevertsAtomically() (gas: 115724)\n[PASS] test_transferFromOverBalanceRestoresAllowance() (gas: 121676)\n[PASS] test_transferFromToSelfStillSpendsAllowance() (gas: 109643)\n[PASS] test_transferFromToZeroRestoresAllowance() (gas: 114167)\n[PASS] test_transferFromZeroAddressReverts() (gas: 35340)\n[PASS] test_transferOverBalanceRevertsAtomically() (gas: 65224)\n[PASS] test_transferToZeroRevertsWithoutBurning() (gas: 47554)\n[PASS] test_unapprovedSpenderCannotTakeTokens() (gas: 117746)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 73400)\n[PASS] test_zeroTransferFromNeedsNoPositiveAllowance() (gas: 66157)\n[PASS] test_zeroTransferToZeroAlsoReverts() (gas: 30390)\nSuite result: ok. 29 passed; 0 failed; 0 skipped; finished in 28.09ms (111.94ms CPU time)\n\nRan 1 test for test/ProofHouseInvariant.t.sol:ProofHouseInvariantTest\n[PASS]\nProofHouseInvariantTest invariants:\n[PASS] invariant_allowancesMatchOnlyAuthorizedActions\n[PASS] invariant_supplyAndAllBalancesAreConserved\n ProofHouseInvariantTest invariants (runs: 128, calls: 8192, reverts: 0)\n\n╭--------------+----------+-------+---------+----------╮\n| Contract     | Selector | Calls | Reverts | Discards |\n+======================================================+\n| TokenHandler | approve  | 2773  | 0       | 0        |\n|--------------+----------+-------+---------+----------|\n| TokenHandler | move     | 2740  | 0       | 0        |\n|--------------+----------+-------+---------+----------|\n| TokenHandler | spend    | 2679  | 0       | 0        |\n╰--------------+----------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 4642\n  Bound result 0\n  Bound result 2\n  Bound result 0\n  Bound result 255\n  Bound result 0\n  Bound result 0\n  Bound result 356\n  Bound result 6475\n  Bound result 1868\n  Bound result 9\n  Bound result 2\n  Bound result 1\n  Bound result 0\n  Bound result 3\n  Bound result 123456000000000000000000\n  Bound result 301\n  Bound result 491\n  Bound result 2949\n  Bound result 674129142901211322287634645\n  Bound result 357\n  Bound result 0\n  Bound result 0\n  Bound result 408\n  Bound result 822\n  Bound result 111498063912748853313060611\n  Bound result 3217\n  Bound result 1741\n  Bound result 303672512375561298964136604\n  Bound result 6\n  Bound result 15029620\n  Bound result 3\n  Bound result 128\n  Bound result 189\n  Bound result 0\n  Bound result 54243282\n  Bound result 0\n  Bound result 7\n  Bound result 157\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 22198344723227378763248131\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 1.86s (1.86s CPU time)\n\nRan 3 test suites in 1.86s (1.91s CPU time): 32 tests passed, 0 failed, 0 skipped (32 total tests)\n","passed":true},{"durationMs":50,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"ProofHouse.approve(address,uint256)\",\"ProofHouse.transfer(address,uint256)\",\"ProofHouse.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.md\":35,\"README.md\":136,\"foundry.toml\":18,\"launch.json\":24,\"remappings.txt\":2,\"src/ProofHouse.sol\":17,\"test/ProofHouse.t.sol\":317,\"test/ProofHouseInvariant.t.sol\":49,\"test/ProofHouseLaunch.t.sol\":76,\"test/helpers/FactoryProbe.sol\":18,\"test/helpers/TokenHandler.sol\":55},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"dbf4fc6690e9bf16b7348bf5e2ed50d54cbb67178924d197d47256ae571a937f","verifiedTreeHash":"7f39c92755c143440f70021a8028e83c89b98c01","verifierVersion":"0.1.0+560ab6a2"},{"checks":[{"durationMs":1400,"exitCode":0,"name":"build","output":"Compiling 31 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.33s\nCompiler run successful!\n","passed":true},{"durationMs":5572,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 2 tests for test/ProofHouseLaunch.t.sol:ProofHouseLaunchTest\n[PASS] testFuzz_create2MintsToFactoryInsteadOfCaller(address,bytes32) (runs: 1024, μ: 69465, ~: 69539)\n[PASS] test_factoryDistributionClaimsAndPoolTransfersDeliverFullAmounts() (gas: 440474)\nSuite result: ok. 2 passed; 0 failed; 0 skipped; finished in 100.77ms (106.17ms CPU time)\n\nRan 13 tests for test/ProofHouseAdversarial.t.sol:ProofHouseAdversarialTest\n[PASS] testFuzz_failedSpendCanBeRetriedAfterFunding(uint256,uint256,bool) (runs: 1024, μ: 351439, ~: 351882)\nLogs:\n  Bound result 828691955872767823879027626\n  Bound result 856619229329259735624726652\n\n[PASS] testFuzz_replacingApprovalIsAbsoluteIdempotentAndIsolated(uint256,uint256) (runs: 1024, μ: 338213, ~: 338288)\n[PASS] testFuzz_returningTokensDoesNotReviveExhaustedAllowance(uint256) (runs: 1024, μ: 361561, ~: 360987)\nLogs:\n  Bound result 425864721607054434683234475\n\n[PASS] testFuzz_transferPartitionAndRoundTripAreExact(uint256,uint256) (runs: 1024, μ: 261735, ~: 261869)\nLogs:\n  Bound result 407139865659538704917772472\n  Bound result 7597546231\n\n[PASS] testFuzz_unlimitedApprovalCanBeRevokedAndReplaced(uint256) (runs: 1024, μ: 400493, ~: 400037)\nLogs:\n  Bound result 540540247564212792715318381\n\n[PASS] test_delegatedSelfTransferDoesNotBypassAuthorization() (gas: 66184)\n[PASS] test_largestFiniteAllowanceDecreasesOnFullSupplySpend() (gas: 153553)\n[PASS] test_maximumAmountCannotWrapBalancesEvenWithUnlimitedApproval() (gas: 158791)\n[PASS] test_oneBaseUnitCanMakeADirectAndDelegatedRoundTrip() (gas: 214069)\n[PASS] test_selfTransferDoesNotBypassBalanceCheck() (gas: 147132)\n[PASS] test_zeroApprovalStillRejectsZeroSpender() (gas: 48031)\n[PASS] test_zeroDelegatedTransferToZeroRejectsUnlimitedSpender() (gas: 122132)\n[PASS] test_zeroTransferFromEmitsEventAndPreservesExistingAllowance() (gas: 134858)\nSuite result: ok. 13 passed; 0 failed; 0 skipped; finished in 100.87ms (492.22ms CPU time)\n\nRan 29 tests for test/ProofHouse.t.sol:ProofHouseTest\n[PASS] testFuzz_transferConservesSupply(address,uint256) (runs: 1024, μ: 92987, ~: 93175)\nLogs:\n  Bound result 58992311209991126845753207\n\n[PASS] testFuzz_transferFromConservesSupplyAndAllowance(uint256,uint256) (runs: 1024, μ: 162437, ~: 164860)\nLogs:\n  Bound result 2\n  Bound result 1\n\n[PASS] testFuzz_transferFromOverAllowanceAlwaysReverts(uint256,uint256) (runs: 1024, μ: 122804, ~: 123453)\nLogs:\n  Bound result 2\n  Bound result 4\n\n[PASS] testFuzz_transferOverBalanceAlwaysReverts(uint256) (runs: 1024, μ: 58950, ~: 59292)\nLogs:\n  Bound result 15647462216204764904212147390520011\n\n[PASS] test_allowanceCanBeReplacedAndRevoked() (gas: 167490)\n[PASS] test_approveEmitsEventAndDoesNotMoveTokens() (gas: 88788)\n[PASS] test_approveZeroSpenderReverts() (gas: 30386)\n[PASS] test_constructorEmitsMintTransfer() (gas: 5458)\n[PASS] test_deployerCannotSpendHolderTokensWithoutApproval() (gas: 154088)\n[PASS] test_emptyAccountCannotTransferOneBaseUnit() (gas: 37885)\n[PASS] test_exactAllowanceIsExhaustedAndCannotBeReused() (gas: 161739)\n[PASS] test_fullBalanceCanBeTransferred() (gas: 75787)\n[PASS] test_infiniteAllowanceRemainsUnchanged() (gas: 214855)\n[PASS] test_metadataAndEntireSupplyBelongToDeployer() (gas: 107457)\n[PASS] test_noMintBurnOrAdministrativeEntryPoints() (gas: 622643)\n[PASS] test_selfTransferPreservesBalance() (gas: 51410)\n[PASS] test_transferDeliversExactAmountAndEmitsEvent() (gas: 91470)\n[PASS] test_transferFromConsumesOnlyCallersAllowance() (gas: 234598)\n[PASS] test_transferFromOverAllowanceRevertsAtomically() (gas: 115724)\n[PASS] test_transferFromOverBalanceRestoresAllowance() (gas: 121676)\n[PASS] test_transferFromToSelfStillSpendsAllowance() (gas: 109643)\n[PASS] test_transferFromToZeroRestoresAllowance() (gas: 114167)\n[PASS] test_transferFromZeroAddressReverts() (gas: 35340)\n[PASS] test_transferOverBalanceRevertsAtomically() (gas: 65224)\n[PASS] test_transferToZeroRevertsWithoutBurning() (gas: 47554)\n[PASS] test_unapprovedSpenderCannotTakeTokens() (gas: 117746)\n[PASS] test_zeroTransferFromEmptyAccountEmitsEvent() (gas: 73400)\n[PASS] test_zeroTransferFromNeedsNoPositiveAllowance() (gas: 66157)\n[PASS] test_zeroTransferToZeroAlsoReverts() (gas: 30390)\nSuite result: ok. 29 passed; 0 failed; 0 skipped; finished in 100.95ms (347.01ms CPU time)\n\nRan 1 test for test/ProofHouseInvariant.t.sol:ProofHouseInvariantTest\n[PASS]\nProofHouseInvariantTest invariants:\n[PASS] invariant_allowancesMatchOnlyAuthorizedActions\n[PASS] invariant_supplyAndAllBalancesAreConserved\n ProofHouseInvariantTest invariants (runs: 256, calls: 24576, reverts: 0)\n\n╭--------------+---------------------------+-------+---------+----------╮\n| Contract     | Selector                  | Calls | Reverts | Discards |\n+=======================================================================+\n| TokenHandler | approve                   | 2402  | 0       | 0        |\n|--------------+---------------------------+-------+---------+----------|\n| TokenHandler | approveUnlimited          | 2427  | 0       | 0        |\n|--------------+---------------------------+-------+---------+----------|\n| TokenHandler | move                      | 2473  | 0       | 0        |\n|--------------+---------------------------+-------+---------+----------|\n| TokenHandler | rejectApprovalToZero      | 2523  | 0       | 0        |\n|--------------+---------------------------+-------+---------+----------|\n| TokenHandler | rejectSpendOverLimit      | 2529  | 0       | 0        |\n|--------------+---------------------------+-------+---------+----------|\n| TokenHandler | rejectSpendToZero         | 2500  | 0       | 0        |\n|--------------+---------------------------+-------+---------+----------|\n| TokenHandler | rejectTransferOverBalance | 2407  | 0       | 0        |\n|--------------+---------------------------+-------+---------+----------|\n| TokenHandler | rejectTransferToZero      | 2441  | 0       | 0        |\n|--------------+---------------------------+-------+---------+----------|\n| TokenHandler | revoke                    | 2446  | 0       | 0        |\n|--------------+---------------------------+-------+---------+----------|\n| TokenHandler | spend                     | 2428  | 0       | 0        |\n╰--------------+---------------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 250000000000000000000000000\n  Bound result 250000000000000000000000000\n  Bound result 250000000000000000000000004\n  Bound result 6427\n  Bound result 115792089237316195423570985008687907853269984665640064039457584007913129640239\n  Bound result 6191544\n  Bound result 115792089237316195423570985008687907853269984665640064039457584007913129640009\n  Bound result 784\n  Bound result 9\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 6\n  Bound result 0\n  Bound result 255\n  Bound result 4753\n  Bound result 55971230189670015420939767\n  Bound result 5000000000000000000\n  Bound result 1418231224082970091888478313146909990143\n  Bound result 0\n  Bound result 42566653805995764670\n  Bound result 32759571768092187548129279\n  Bound result 0\n  Bound result 6000000000000000000\n  Bound result 0\n  Bound result 8032\n  Bound result 16876547905259524483053381391836756859635466811704924488981290808850394809853\n  Bound result 1405310203571408291950365054053061012934685786635\n  Bound result 7049\n  Bound result 6\n  Bound result 1970\n  Bound result 3\n  Bound result 0\n  Bound result 6282439561578463322545856078433594724411862487717963029766980002970311716994\n  Bound result 0\n  Bound result 115792089237316195423570985008687907853269984665640370010687773677928550579711\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 52600894143909400285907439098590257598823921379\n  Bound result 159921286802937099360603641\n  Bound result 5000000000000000000\n  Bound result 7466\n  Bound result 1000000000\n  Bound result 115792089237316195423570985008687907853269984665640258068237394337897708704915\n  Bound result 291844714161561834811044154441327282331062227709\n  Bound result 437\n  Bound result 0\n  Bound result 500000000000000000000012213\n  Bound result 305971230189670015420935020\n  Bound result 194028769810329984579052767\n  Bound result 0\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 5.49s (5.49s CPU time)\n\nRan 4 test suites in 5.49s (5.79s CPU time): 45 tests passed, 0 failed, 0 skipped (45 total tests)\n","passed":true},{"durationMs":36,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"ProofHouse.approve(address,uint256)\",\"ProofHouse.transfer(address,uint256)\",\"ProofHouse.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":4,\"DEPENDENCIES.md\":35,\"README.md\":136,\"foundry.toml\":18,\"remappings.txt\":2,\"src/ProofHouse.sol\":17,\"test/ProofHouse.t.sol\":317,\"test/ProofHouseAdversarial.t.sol\":258,\"test/ProofHouseInvariant.t.sol\":80,\"test/ProofHouseLaunch.t.sol\":76,\"test/helpers/FactoryProbe.sol\":18,\"test/helpers/TokenHandler.sol\":138},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"dc7b08986d4d232409940d7c20a6446a4aa2b52f9e389c984642b78e82bf51cd","verifiedTreeHash":"a3bd580c16d485ff791b42a38e32eb43513b11bc","verifierVersion":"0.1.0+560ab6a2"}]}