{"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":"366dc8d9-4b50-40e7-8c0f-8063f1228a27","kind":"shape:chain","nodes":[{"acceptedSubmissionHash":"ed6eeaa08d463dc3abbb980c4d4b9d1840cddf0ada4394e4b0da6c69a8436097","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":"93e26c7bfd7b1094a30ce0016ba0fafb3466f4064b591393230517f9e0992e46","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":"693a835e3deb8692d956cbc83fc016b329826c9ee5ed0a12e72ab43f1e2efeb3","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":"f8f56a9597b3fc6275d3a592d589718454ec15fb7a299d4a0005c70ba5514d05","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":"97009b0be62b39b8a3a902126c0a1e9bd18546b4bc5531b5363c2fd3e1884df6","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":"da2684199fb4ec53a4fb6289cc5d2fcca2741e242f24d7e4ea82be3fca9058ac","dependsOn":[],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"816fe39c7efd64504a19175b0f4dd9186d61069f37a22684c90358a18c60bddc","skillId":"build-contract-project","tools":[]},"key":"build_contract_project","kind":"code","role":"implement","skillHash":"816fe39c7efd64504a19175b0f4dd9186d61069f37a22684c90358a18c60bddc","skillId":"build-contract-project","state":"accepted"},{"acceptedSubmissionHash":"2978b94cecbf0454ea56bd06b8cc83e9333d73b1fcd3f9df02904143dc8bdc80","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"tools":[]},"key":"manifest","kind":"code","role":"integrate","skillHash":null,"skillId":null,"state":"accepted"},{"acceptedSubmissionHash":"34883ed6686ff2a591aa13aac405a2b5de387956f3adb9a90e7b3b7af39e165f","dependsOn":["build_contract_project"],"execution":{"network":false,"profile":"foundry","requires":[],"skillHash":"ab3f8f2aa4e7f3b3ada558c0dcf522ba733ca3df3b1da92c707a0fe305816d5f","skillId":"write-foundry-tests","tools":[]},"key":"write_foundry_tests","kind":"code","role":"tests","skillHash":"ab3f8f2aa4e7f3b3ada558c0dcf522ba733ca3df3b1da92c707a0fe305816d5f","skillId":"write-foundry-tests","state":"accepted"}],"objective":"A custom token: MINT GAME (MINT).\nToken name: MINT GAME\nToken symbol: MINT\nToken supply: 1,000,000,000 with 18 decimals, all minted once to the deployer in the constructor.","parentJobId":null,"planHash":"67f3a18ff7d224d2fe7d3d44625cca5326ddf3ab472958dfdde21a8bb13b87c2","previousHash":"0000000000000000000000000000000000000000000000000000000000000000","projectId":"366dc8d9-4b50-40e7-8c0f-8063f1228a27","publication":{"commit":null,"deliveredAt":null,"repoUrl":"https://github.com/identity-md-launches/launch-2559-mint-game"},"receiptIdentity":{"adapter":"0xde152afb7db5373f34876e1499fbd893a82dd336","chainId":1,"collection":"0x0000ec93127baa929e58e97dd0095a2bfb38ec1d","registry":"0x8004a169fb4a3325136eb29fa0ceb6d2e539a432"},"registry":"0xb6d0a187b050fa5bb0b87033a203f37becf4a775","research":[],"schema":"identitymd-work-v1","signals":[{"agentId":"51879","feedbackHash":"acee68aee60881e55eeb752efd0efe900905fe9d73b8e06267b064cb4d368e5f","nodeKey":"audit_economics","submissionHash":"ed6eeaa08d463dc3abbb980c4d4b9d1840cddf0ada4394e4b0da6c69a8436097","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52672","feedbackHash":"778488fbb36f9baf034d67aeddfe8fb0361d4107e3f5e453614f54c77f901f05","nodeKey":"audit_flow","submissionHash":"93e26c7bfd7b1094a30ce0016ba0fafb3466f4064b591393230517f9e0992e46","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52673","feedbackHash":"c714f5310ee5d6c58f85e5e5dfc6619d47c711ce4f3c848fb80b3e31941d832e","nodeKey":"audit_judge","submissionHash":"693a835e3deb8692d956cbc83fc016b329826c9ee5ed0a12e72ab43f1e2efeb3","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"50981","feedbackHash":"fcad7e8e0ef6cb3582642aaae4dc0fd73b844bd719b2f9c48a0e748c940f56d3","nodeKey":"audit_math","submissionHash":"f8f56a9597b3fc6275d3a592d589718454ec15fb7a299d4a0005c70ba5514d05","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"51878","feedbackHash":"b529065be78679a3cf0050d0d991f671f7abc530275773a80f90ac5ed2e4adce","nodeKey":"audit_permissions","submissionHash":"97009b0be62b39b8a3a902126c0a1e9bd18546b4bc5531b5363c2fd3e1884df6","tag1":"review:submission","tag2":"acceptance-v2","value":1},{"agentId":"52620","feedbackHash":"be93b90f33330278213ed88512aad76a34ed09be65edc097fc47e4f26f5a7a19","nodeKey":"build_contract_project","submissionHash":"da2684199fb4ec53a4fb6289cc5d2fcca2741e242f24d7e4ea82be3fca9058ac","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51161","feedbackHash":"534726da07790f1a74b4b7b4425956f0516e03c785632d9591fcf4ae9f91e3c9","nodeKey":"manifest","submissionHash":"2978b94cecbf0454ea56bd06b8cc83e9333d73b1fcd3f9df02904143dc8bdc80","tag1":"verification:checks","tag2":"acceptance-v2","value":1},{"agentId":"51008","feedbackHash":"5cf2ef41cfaed2b4d3f1a38322a8ba445836f267548bd421fb12238c539e6656","nodeKey":"write_foundry_tests","submissionHash":"34883ed6686ff2a591aa13aac405a2b5de387956f3adb9a90e7b3b7af39e165f","tag1":"verification:checks","tag2":"acceptance-v2","value":1}],"site":null,"snapshotHash":"d3af53094ed04740f01e2ec916e31fb9172d31cd6795a09d9e9998bb04520d3c","state":"completed","submissions":[{"artifacts":[],"attempt":1,"bundleHash":"39c9548eac4bd91154b7ad3b29b086c37429cb981fa3bc960c2d063c1bba366b","device":"d981a5cee43d1fd6","findings":[],"hash":"2978b94cecbf0454ea56bd06b8cc83e9333d73b1fcd3f9df02904143dc8bdc80","nodeId":"73fd2f1f-045d-4747-b226-861dd1eb2517","outcome":"completed","summary":"Created `launch.json` matching `MintGame`: no constructor arguments, exact supply, required pool settings and economics, and no application contracts.\n\nValidation passed: manifest/ABI checks, `forge build`, and all 37 tests with the specified fuzz seed. Only `launch.json` was added.","treeHash":"cb421c333b0af61cea6b5ad479b5dc0d9409c1f1","usage":{"cachedInputTokens":167296,"inputTokens":26918,"model":"gpt-6.1-sol","outputTokens":1486,"runtime":"codex","turns":3,"wallClockMs":40056}},{"artifacts":[],"attempt":1,"bundleHash":"9b7912cfd1d11f6c5e2ee9a2ea5bd3b25569e43d2f8ceea1d1deac3a5b82eb48","device":"9967c7aa2bba256a","findings":[],"hash":"34883ed6686ff2a591aa13aac405a2b5de387956f3adb9a90e7b3b7af39e165f","nodeId":"3e18b6cb-7ec2-433c-a582-08d020f6ca7a","outcome":"completed","summary":"Added failure-path and fuzz tests, and expanded the stateful invariants for balance conservation, allowance rollback, and immutable metadata.\n\n`forge build` and `forge test` pass with the specified seed: 47 tests passed, including 16,384 invariant handler calls.\n\nOnly `test/` changed. No implementation defects found.","treeHash":"33a957e913c07cae251b12d348e6a35c6410903e","usage":{"cachedInputTokens":445184,"inputTokens":52811,"model":"gpt-6.1-sol","outputTokens":5895,"runtime":"codex","turns":4,"wallClockMs":122843}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"476778ae63dff113","findings":[],"hash":"693a835e3deb8692d956cbc83fc016b329826c9ee5ed0a12e72ab43f1e2efeb3","nodeId":"f10d0296-897c-4729-9b54-b60c97dc9d16","outcome":"completed","summary":"I found no defects in MintGame, so `.imd-findings.json` holds an empty findings list plus a coverage record that answers all three entry points.\n\n**What the code is:** `src/MintGame.sol` is plain OpenZeppelin v5 `ERC20` with nothing overridden. The constructor takes no arguments and mints `1_000_000_000 * 10 ** 18` once to `msg.sender`, the factory. There is no other mint, burn, owner, pause or fee, so transfers move exactly the amount asked.\n\n**Specialist findings:** all four specialists and the independent tester reported nothing, so there was nothing to reproduce or merge. I read the code again myself rather than relying on their `holds`.\n\n**Coverage, all `holds`:**\n- `approve(address,uint256)`: the library's own version. It refuses a zero spender, sets the allowance and emits `Approval`.\n- `transfer(address,uint256)`: reverts on a zero receiver or a short balance, otherwise moves exactly the amount with no tax. That means the transfers to the distributor, the pool seed and pool trades all arrive in full.\n- `transferFrom(address,address,uint256)`: spends the allowance first (a maximum allowance is never reduced, any other is checked and reduced), then does the same exact transfer.\n- I added two invariant rows:\n  - The supply is fixed and minted only to the factory.\n  - `launch.json` matches the code: no constructor arguments, total supply `1000000000000000000000000000`, 18 decimals, contract name `MintGame`, no application contracts.\n\n**Static analysis:** aderyn's one low note, a \"large numeric literal\" at line 10, is the intended supply constant and not a defect. Slither reported nothing.\n\n**Checks I ran:** `forge build` succeeds and the project's own tests pass (47 of 47). I did not run the protected floor tests: they need the launch's environment variables, which aren't set on this machine. I changed no files in the repository; the findings file is the only thing I wrote.","treeHash":null,"usage":{"cachedInputTokens":179779,"inputTokens":12,"model":"claude-opus-5-5","outputTokens":2246,"runtime":"claude","turns":6,"wallClockMs":49974}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"223fd994d1a35f81","findings":[],"hash":"93e26c7bfd7b1094a30ce0016ba0fafb3466f4064b591393230517f9e0992e46","nodeId":"a9ce7108-6896-4dcf-b58a-daa718f96895","outcome":"completed","summary":"I found no defects. `.imd-findings.json` holds an empty findings list and a coverage row for each of the three entry points, and I changed no other files.\n\n**What I reviewed:** `src/MintGame.sol` is a plain OpenZeppelin v5 `ERC20`. Its constructor mints `INITIAL_SUPPLY = 1_000_000_000 * 10 ** 18` once to `msg.sender`, which is the factory. It overrides nothing and adds no functions beyond the constant. I followed `approve`, `transfer` and `transferFrom` through `ERC20.sol` (`_approve`, `_spendAllowance`, `_transfer`, `_update`) and checked them against the Execution Trace, Periphery and First Principles guides:\n- **Execution trace:** there are no external calls, callbacks or hooks, so nothing can re-enter. `_update` only uses unchecked arithmetic where the code above it makes overflow impossible. Self-transfers, zero-amount transfers and the zero-address checks all behave as the standard intends.\n- **Periphery and launch flows:** there is no fee, burn or exemption logic. The factory → distributor transfer, the pool seed and swaps through the PoolManager all move exactly the stated amount, and the token never needs `distributorOf`.\n- **First principles:** the supply can't grow after launch, because there is no mint, burn, owner, pause or blacklist path. `decimals()` is 18 and the name and symbol are \"MINT GAME\" and \"MINT\", as the brief says.\n- **Static-analysis leads:** Aderyn's large-numeric-literal note at `src/MintGame.sol:10` is about style only; the value is exactly 1e27. Slither reported nothing.\n\n**Coverage:** all three entry points (`approve`, `transfer`, `transferFrom`) are marked `holds`. I added two invariant rows, also `holds`: the supply is fixed, and decimals, name and symbol match the brief. No areas were left unreached.\n\n**Checks run:** the project's existing tests pass (37 of 37). I didn't run the protected custom-token tests, because they import contracts that aren't in this tree.\n\n**Limits:** I left out the usual ERC-20 risk where an allowance change can be front-run. That is standard behaviour, not a defect in this code. A clean review doesn't prove the code has no defects.","treeHash":null,"usage":{"cachedInputTokens":125534,"inputTokens":10,"model":"claude-opus-5-5","outputTokens":2419,"runtime":"claude","turns":6,"wallClockMs":45056}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"2a6239e0c1b8c774","findings":[],"hash":"97009b0be62b39b8a3a902126c0a1e9bd18546b4bc5531b5363c2fd3e1884df6","nodeId":"40ad176e-273c-4640-9493-d2654061691e","outcome":"completed","summary":"The review is complete. The findings file holds an empty list and a full coverage record.\n\n**Result: no defects found in the Access Control, Trust Gap and Asymmetry areas.** `src/MintGame.sol` is a 16-line wrapper over OpenZeppelin ERC20 v5.1.0 that mints the whole supply to the deployer once. It adds no owner, minter, pauser, initializer, proxy, fee, exemption or callback.\n\nWhat I verified, each with a concrete input:\n\n- **approve** binds only the caller's own allowance. Zero spender reverts. Any amount is accepted without a balance.\n- **transfer** moves the exact amount. Zero recipient and over-balance revert with ERC-6093 errors. Factory, distributor and pool-manager flows arrive whole.\n- **transferFrom** reverts without allowance, including when the deploying factory tries to pull one unit from a holder. A zero-address `from` reverts even at value zero. A failed pull leaves the allowance intact.\n- **Supply** is fixed. Only the constructor reaches the internal mint, and the literal evaluates to exactly 10^27.\n- **Vendored library** is clean. All five OpenZeppelin files hash byte-identical to upstream v5.1.0, so no hidden privilege was introduced there.\n- **No value or code-execution paths.** Empty calldata, unknown selectors and any call carrying ETH revert. An opcode walk of the deployed runtime finds no DELEGATECALL, CALLCODE, SELFDESTRUCT or CREATE.\n\nThe existing 37 project tests and the formatting check pass. The two static-analysis leads were both benign: Slither reported nothing, and the Aderyn \"large numeric literal\" note is the supply constant, which I confirmed is correct.\n\nCoverage record: all three listed entry points are marked `holds`, plus seven invariant rows covering the constructor, supply, library integrity, value paths, runtime opcodes, the approve/spend pair and the privileged-actor seam. Nothing in my area was left unreached. The one trust assumption to carry forward is by design: the entire supply belongs to whatever address deploys the contract, which in this launch is the factory.\n\nI wrote only `.imd-findings.json` and removed my scratch test afterwards, so the tree is otherwise unchanged.","treeHash":null,"usage":{"cachedInputTokens":476691,"inputTokens":226,"model":"claude-fable-5-1","outputTokens":10410,"runtime":"claude","turns":26,"wallClockMs":189956}},{"artifacts":[],"attempt":1,"bundleHash":"e0b262858a277e43f39f763941a8d33595ceb4102ab4d3aaa2eff8d2901b9abe","device":"3ba092738fb7852e","findings":[],"hash":"da2684199fb4ec53a4fb6289cc5d2fcca2741e242f24d7e4ea82be3fca9058ac","nodeId":"9c4dfd4a-05d3-46ee-85a6-d6c463d2a6e2","outcome":"completed","summary":"Implemented MINT GAME (MINT): 1 billion tokens, 18 decimals, minted once to the deployer, with no administrative powers.\n\nAdded vendored dependencies, deployment documentation, and success, failure, fuzz, and invariant tests.\n\nVerified with Solidity 0.8.26 and the requested seed:\n\n- `forge build` passed\n- `forge test` passed: 37 tests\n- `forge fmt --check` passed","treeHash":"075ee1c7469487dca98be1c44591b3d4fcc7f557","usage":{"cachedInputTokens":506880,"inputTokens":33710,"model":"gpt-6-astra","outputTokens":15870,"runtime":"codex","turns":5,"wallClockMs":288934}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"4faf975f1178e1f8","findings":[],"hash":"ed6eeaa08d463dc3abbb980c4d4b9d1840cddf0ada4394e4b0da6c69a8436097","nodeId":"5e5abcaf-b615-4565-b40b-628997db1804","outcome":"completed","summary":"The review is complete. The findings file is written and the scratch directory is removed.\n\n**Result: no defects found.** `.imd-findings.json` holds an empty findings list and twelve coverage rows, one per ABI entry point plus the invariants and launch flows I checked.\n\n**What I verified**\n\n- **Token surface.** The token is a 16-line subclass of OpenZeppelin ERC20 v5.1.0 with a single constructor mint. The compiled ABI exposes only approve, transfer and transferFrom as state-changing functions. No mint, burn, owner, pause, blacklist, upgrade or initialize path exists, and raw-selector calls to the internal helpers revert.\n- **Economic Security guide.** No external dependencies, oracles, fees, burns or callbacks, so there is nothing for an unlimited-capital actor to extract from the token itself. ERC-20 behaviour matches the documented OpenZeppelin semantics, including atomic revert of failed transferFrom without consuming allowance.\n- **Invariant guide.** The sum of balances equals the fixed supply of 10^27 forever. The only writer to supply is the constructor. The unchecked arithmetic in the inherited update function is bounded by the preceding balance check.\n- **Flow Gap guide.** The 10/80/10 launch split divides 10^27 exactly, with no dust. Factory-to-distributor, distributor-to-claimant, factory-to-PoolManager, and both swap legs move exactly the stated amount. The opening price derived from a 2,500 IMD cap is inside Uniswap v4 sqrt-price bounds for either currency ordering, and the single-sided liquidity fits uint128.\n- **Floor checks.** I reproduced the protected opcode scan locally against the compiled runtime. It passes. Contract identifier, decimals and supply match the manifest requirements. The vendored OpenZeppelin files are byte-identical to the upstream v5.1.0 archive, whose checksum matches DEPENDENCIES.md.\n\n**Checks that ran.** Full build, the project's 37 unit, fuzz and invariant tests, formatter check, and a scratch suite of six additional tests, all passing.\n\n**Not reached.** The protected tests themselves, which need the network's v4 PoolManager harness and manifest environment. I covered their assertions by equivalent local checks instead.\n\n**Noted but not reported.** Tokens transferred to the token's own address are irrecoverable. This is standard OpenZeppelin behaviour, documented in the README, and affects only the sender, so it is recorded as a coverage note rather than a finding.","treeHash":null,"usage":{"cachedInputTokens":855840,"inputTokens":418,"model":"claude-fable-5-1","outputTokens":15697,"runtime":"claude","turns":30,"wallClockMs":285989}},{"artifacts":[],"attempt":1,"bundleHash":null,"device":"5739ce0d803a43cd","findings":[],"hash":"f8f56a9597b3fc6275d3a592d589718454ec15fb7a299d4a0005c70ba5514d05","nodeId":"203897ac-3b68-46ee-800e-711d0200f0bf","outcome":"completed","summary":"The review is complete. The findings file at the repository root records no defects and a full coverage record.\n\n**Result: no findings in the assigned area.** The token is a 15-line wrapper over the vendored OpenZeppelin v5.1.0 ERC20 with no arithmetic, division, fixed-point scaling, external call, payable function, receive, fallback or bytes decoding of its own. Every item in the Math Precision, Boundary and Numerical Gap guides was checked against the inherited code and came back clean.\n\nWhat I verified, with concrete inputs, in a scratch Foundry suite of 7 tests plus the project's 38 existing tests, all passing:\n\n- **Supply constant.** One billion times 10^18 is 1e27, fits uint256, minted once to msg.sender, decimals 18. The 10/80/10 launch split divides with no remainder.\n- **transfer.** Balance check precedes the unchecked subtraction. Full-balance transfer succeeds, balance plus one wei and max uint revert with the right ERC-6093 error, zero-value from an empty account succeeds, full-balance self-transfer leaves the balance unchanged, zero recipient reverts.\n- **transferFrom.** The unlimited-allowance sentinel is exact: max minus one is decremented. Allowance is checked before balance. Spending exactly the allowance leaves zero, one wei more reverts. The from-equals-zero path reverts through the allowance or approver guard.\n- **approve.** Zero spender reverts, zero and max values store verbatim.\n- **Conservation.** Fuzz and the existing 256-run invariant suite show totalSupply and the sum of balances stay at 1e27 across any sequence.\n\n**One limitation.** I could not compare the vendored OpenZeppelin files byte-for-byte against the upstream archive because the download was blocked by the sandbox permission settings. I read the three vendored files line by line instead and they match upstream v5.1.0 semantics. The aderyn large-numeric-literal line is style only and is not reported.\n\nThe scratch test remains under test/scratch because the delete command was denied. That directory is ignored by git and is not kept, and no tracked file changed.","treeHash":null,"usage":{"cachedInputTokens":882474,"inputTokens":546,"model":"claude-fable-5-1","outputTokens":14277,"runtime":"claude","turns":29,"wallClockMs":301240}}],"verification":[{"checks":[{"durationMs":1162,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.08s\nCompiler run successful!\n","passed":true},{"durationMs":4595,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 36 tests for test/MintGame.t.sol:MintGameTest\n[PASS] testFuzz_AllowanceAcceptsFullUint256Range(uint256) (runs: 1024, μ: 73320, ~: 73659)\n[PASS] testFuzz_ConstructorMintsOnlyToImmediateDeployer(address) (runs: 1024, μ: 18137, ~: 18137)\n[PASS] testFuzz_SelfTransferFromPreservesBalance(uint256) (runs: 1024, μ: 119007, ~: 119093)\nLogs:\n  Bound result 22741\n\n[PASS] testFuzz_TransferAboveBalanceReverts(uint256,uint256) (runs: 1024, μ: 126889, ~: 127191)\nLogs:\n  Bound result 8098\n  Bound result 6958\n\n[PASS] testFuzz_TransferFromAboveAllowanceReverts(uint256,uint256) (runs: 1024, μ: 122876, ~: 123544)\nLogs:\n  Bound result 1725540767\n  Bound result 7\n\n[PASS] testFuzz_TransferFromConsumesOnlyFiniteAllowance(uint256,uint256) (runs: 1024, μ: 159006, ~: 161577)\nLogs:\n  Bound result 511944297\n\n[PASS] testFuzz_TransfersConserveSupply(address,uint256) (runs: 1024, μ: 92977, ~: 93117)\nLogs:\n  Bound result 5\n\n[PASS] test_ApproveEmitsEventWithoutMovingBalance() (gas: 99086)\n[PASS] test_ApproveOverwritesAndCanBeRevokedWithoutBalance() (gas: 152362)\n[PASS] test_ConstructorEmitsExactlyOneMintEvent() (gas: 9654)\n[PASS] test_DirectEtherAndUnknownCallsRevert() (gas: 86440)\n[PASS] test_FactoryCreate2ReceivesSupplyInsteadOfItsCaller() (gas: 227826)\n[PASS] test_FailedTransferFromRestoresAllowanceWhenBalanceInsufficient() (gas: 178409)\n[PASS] test_FailedTransferFromRestoresAllowanceWhenRecipientInvalid() (gas: 114122)\n[PASS] test_InfiniteAllowanceIsNotDecremented() (gas: 183060)\n[PASS] test_LaunchAllocationsClaimsAndPoolTransfersArriveWhole() (gas: 575092)\n[PASS] test_MetadataAndEntireSupplyBelongToDeployer() (gas: 107605)\n[PASS] test_NoMintBurnOrAdministrativeEntrypoints() (gas: 1742203)\n[PASS] test_RevertAfterAllowanceRevocation() (gas: 117715)\n[PASS] test_RevertWhenApprovalToZeroSpender() (gas: 37662)\n[PASS] test_RevertWhenDifferentSpenderUsesApproval() (gas: 94694)\n[PASS] test_RevertWhenHolderUsesTransferFromWithoutSelfApproval() (gas: 35703)\n[PASS] test_RevertWhenSelfTransferExceedsBalance() (gas: 40277)\n[PASS] test_RevertWhenTransferExceedsBalance() (gas: 67704)\n[PASS] test_RevertWhenTransferFromExceedsAllowance() (gas: 115709)\n[PASS] test_RevertWhenTransferFromHasNoAllowance() (gas: 57843)\n[PASS] test_RevertWhenTransferToZeroAddress() (gas: 47664)\n[PASS] test_RevertWhenZeroTransferToZeroAddress() (gas: 30389)\n[PASS] test_SelfTransferPreservesBalance() (gas: 54046)\n[PASS] test_TransferEmitsEventAndMovesExactAmount() (gas: 91518)\n[PASS] test_TransferEntireBalance() (gas: 161711)\n[PASS] test_TransferFromEmitsEventAndConsumesFiniteAllowance() (gas: 225022)\n[PASS] test_TransferFromToSameHolderConsumesAllowanceOnly() (gas: 105368)\n[PASS] test_TransfersDoNotCallTheRecipient() (gas: 170243)\n[PASS] test_ZeroTransferFromNeedsNoAllowance() (gas: 68918)\n[PASS] test_ZeroTransferWithoutBalanceEmitsEvent() (gas: 73454)\nSuite result: ok. 36 passed; 0 failed; 0 skipped; finished in 39.39ms (276.04ms CPU time)\n\nRan 1 test for test/MintGame.invariant.t.sol:MintGameInvariantTest\n[PASS]\nMintGameInvariantTest invariants:\n[PASS] invariant_AllowancesMatchIndependentLedger\n[PASS] invariant_SupplyAndBalancesMatchIndependentLedger\n MintGameInvariantTest invariants (runs: 256, calls: 16384, reverts: 0)\n\n╭-----------------+-----------------------------+-------+---------+----------╮\n| Contract        | Selector                    | Calls | Reverts | Discards |\n+============================================================================+\n| MintGameHandler | approve                     | 2791  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | attemptOverdraw             | 2716  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | attemptUnauthorizedTransfer | 2772  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | revoke                      | 2801  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | transfer                    | 2641  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | transferFrom                | 2663  | 0       | 0        |\n╰-----------------+-----------------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 11\n  Bound result 4\n  Bound result 11\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 11\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 317059844739300086236815809\n  Bound result 0\n  Bound result 0\n  Bound result 5\n  Bound result 0\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 4.49s (4.49s CPU time)\n\nRan 2 test suites in 4.49s (4.53s CPU time): 37 tests passed, 0 failed, 0 skipped (37 total tests)\n","passed":true},{"durationMs":30,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"MintGame.approve(address,uint256)\",\"MintGame.transfer(address,uint256)\",\"MintGame.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":2,\"DEPENDENCIES.md\":21,\"LICENSE\":22,\"README.md\":124,\"foundry.toml\":22,\"launch.json\":24,\"remappings.txt\":3,\"src/MintGame.sol\":17,\"test/MintGame.invariant.t.sol\":131,\"test/MintGame.t.sol\":455},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"2978b94cecbf0454ea56bd06b8cc83e9333d73b1fcd3f9df02904143dc8bdc80","verifiedTreeHash":"cb421c333b0af61cea6b5ad479b5dc0d9409c1f1","verifierVersion":"0.1.0+8f703f9f"},{"checks":[{"durationMs":1526,"exitCode":0,"name":"build","output":"Compiling 28 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.44s\nCompiler run successful!\n","passed":true},{"durationMs":4976,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 36 tests for test/MintGame.t.sol:MintGameTest\n[PASS] testFuzz_AllowanceAcceptsFullUint256Range(uint256) (runs: 1024, μ: 73415, ~: 73659)\n[PASS] testFuzz_ConstructorMintsOnlyToImmediateDeployer(address) (runs: 1024, μ: 18137, ~: 18137)\n[PASS] testFuzz_SelfTransferFromPreservesBalance(uint256) (runs: 1024, μ: 119093, ~: 119093)\nLogs:\n  Bound result 28143\n\n[PASS] testFuzz_TransferAboveBalanceReverts(uint256,uint256) (runs: 1024, μ: 126977, ~: 127203)\nLogs:\n  Bound result 168817682936478032479511968\n  Bound result 513941130719026705709458249606556488882018052457932083\n\n[PASS] testFuzz_TransferFromAboveAllowanceReverts(uint256,uint256) (runs: 1024, μ: 122933, ~: 123544)\nLogs:\n  Bound result 513932134542709125791567641\n  Bound result 269011799649674849891238109\n\n[PASS] testFuzz_TransferFromConsumesOnlyFiniteAllowance(uint256,uint256) (runs: 1024, μ: 159279, ~: 161577)\nLogs:\n  Bound result 13\n\n[PASS] testFuzz_TransfersConserveSupply(address,uint256) (runs: 1024, μ: 92933, ~: 93117)\nLogs:\n  Bound result 21425\n\n[PASS] test_ApproveEmitsEventWithoutMovingBalance() (gas: 99086)\n[PASS] test_ApproveOverwritesAndCanBeRevokedWithoutBalance() (gas: 152362)\n[PASS] test_ConstructorEmitsExactlyOneMintEvent() (gas: 9654)\n[PASS] test_DirectEtherAndUnknownCallsRevert() (gas: 86440)\n[PASS] test_FactoryCreate2ReceivesSupplyInsteadOfItsCaller() (gas: 227826)\n[PASS] test_FailedTransferFromRestoresAllowanceWhenBalanceInsufficient() (gas: 178409)\n[PASS] test_FailedTransferFromRestoresAllowanceWhenRecipientInvalid() (gas: 114122)\n[PASS] test_InfiniteAllowanceIsNotDecremented() (gas: 183060)\n[PASS] test_LaunchAllocationsClaimsAndPoolTransfersArriveWhole() (gas: 575092)\n[PASS] test_MetadataAndEntireSupplyBelongToDeployer() (gas: 107605)\n[PASS] test_NoMintBurnOrAdministrativeEntrypoints() (gas: 1742203)\n[PASS] test_RevertAfterAllowanceRevocation() (gas: 117715)\n[PASS] test_RevertWhenApprovalToZeroSpender() (gas: 37662)\n[PASS] test_RevertWhenDifferentSpenderUsesApproval() (gas: 94694)\n[PASS] test_RevertWhenHolderUsesTransferFromWithoutSelfApproval() (gas: 35703)\n[PASS] test_RevertWhenSelfTransferExceedsBalance() (gas: 40277)\n[PASS] test_RevertWhenTransferExceedsBalance() (gas: 67704)\n[PASS] test_RevertWhenTransferFromExceedsAllowance() (gas: 115709)\n[PASS] test_RevertWhenTransferFromHasNoAllowance() (gas: 57843)\n[PASS] test_RevertWhenTransferToZeroAddress() (gas: 47664)\n[PASS] test_RevertWhenZeroTransferToZeroAddress() (gas: 30389)\n[PASS] test_SelfTransferPreservesBalance() (gas: 54046)\n[PASS] test_TransferEmitsEventAndMovesExactAmount() (gas: 91518)\n[PASS] test_TransferEntireBalance() (gas: 161711)\n[PASS] test_TransferFromEmitsEventAndConsumesFiniteAllowance() (gas: 225022)\n[PASS] test_TransferFromToSameHolderConsumesAllowanceOnly() (gas: 105368)\n[PASS] test_TransfersDoNotCallTheRecipient() (gas: 170243)\n[PASS] test_ZeroTransferFromNeedsNoAllowance() (gas: 68918)\n[PASS] test_ZeroTransferWithoutBalanceEmitsEvent() (gas: 73454)\nSuite result: ok. 36 passed; 0 failed; 0 skipped; finished in 62.37ms (405.41ms CPU time)\n\nRan 9 tests for test/MintGame.properties.t.sol:MintGamePropertiesTest\n[PASS] testFuzz_ApprovedOverdrawRollsBackFiniteAllowance(uint256,uint256) (runs: 1024, μ: 206284, ~: 206569)\nLogs:\n  Bound result 13864\n  Bound result 17\n\n[PASS] testFuzz_RevokingOneSpenderDoesNotRevokeAnother(uint256) (runs: 1024, μ: 286562, ~: 286365)\nLogs:\n  Bound result 16\n\n[PASS] testFuzz_SplittingATransferHasTheSameResult(uint256,uint256) (runs: 1024, μ: 227590, ~: 228939)\nLogs:\n  Bound result 513932134542709125791567601\n  Bound result 151586450746573384202083115\n\n[PASS] testFuzz_TransferRoundTripRestoresBalancesAndPreservesApprovals(uint256,uint256) (runs: 1024, μ: 251496, ~: 252243)\nLogs:\n  Bound result 42471853868335163964161740\n\n[PASS] test_ExhaustedAllowanceDoesNotReturnWhenTokensAreReturned() (gas: 226077)\n[PASS] test_MaximumFiniteAllowanceIsSpentUnlikeInfiniteAllowance() (gas: 329258)\n[PASS] test_MaximumTransferAmountFailsEvenWithInfiniteApproval() (gas: 156144)\n[PASS] test_OneSmallestUnitCanBeTransferredAndReturned() (gas: 144959)\n[PASS] test_ZeroTransferFromToZeroStillRevertsWithInfiniteApproval() (gas: 121602)\nSuite result: ok. 9 passed; 0 failed; 0 skipped; finished in 62.40ms (245.99ms CPU time)\n\nRan 2 tests for test/MintGame.invariant.t.sol:MintGameInvariantTest\n[PASS]\nMintGameInvariantTest invariants:\n[PASS] invariant_AllowancesMatchIndependentLedger\n[PASS] invariant_MetadataNeverChanges\n[PASS] invariant_SupplyAndBalancesMatchIndependentLedger\n MintGameInvariantTest invariants (runs: 256, calls: 16384, reverts: 0)\n\n╭-----------------+-----------------------------+-------+---------+----------╮\n| Contract        | Selector                    | Calls | Reverts | Discards |\n+============================================================================+\n| MintGameHandler | approve                     | 1654  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | attemptAllowanceOverdraw    | 1713  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | attemptApprovedOverdraw     | 1631  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | attemptInvalidApproval      | 1615  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | attemptInvalidRecipient     | 1685  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | attemptOverdraw             | 1624  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | attemptUnauthorizedTransfer | 1675  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | revoke                      | 1608  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | transfer                    | 1583  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | transferFrom                | 1596  | 0       | 0        |\n╰-----------------+-----------------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 1051\n  Bound result 0\n  Bound result 59\n  Bound result 0\n  Bound result 0\n  Bound result 7\n  Bound result 1\n  Bound result 0\n  Bound result 814\n  Bound result 0\n  Bound result 0\n  Bound result 7469\n  Bound result 384367969054803605879\n  Bound result 7618\n  Bound result 8\n  Bound result 0\n  Bound result 4921\n  Bound result 14\n  Bound result 0\n  Bound result 9348\n  Bound result 7351\n  Bound result 436626700222502805231451389\n  Bound result 13\n  Bound result 0\n  Bound result 0\n  Bound result 6\n  Bound result 2152\n  Bound result 6803\n  Bound result 0\n  Bound result 0\n  Bound result 8358\n  Bound result 0\n  Bound result 59\n  Bound result 7812\n  Bound result 2\n\n[PASS] test_HandlerSequenceExercisesRecoveryAfterFailures() (gas: 4658152)\nLogs:\n  Bound result 100\n  Bound result 40\n  Bound result 60\n  Bound result 59\n  Bound result 60\n  Bound result 60\n\nSuite result: ok. 2 passed; 0 failed; 0 skipped; finished in 4.87s (4.87s CPU time)\n\nRan 3 test suites in 4.87s (4.99s CPU time): 47 tests passed, 0 failed, 0 skipped (47 total tests)\n","passed":true},{"durationMs":28,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"MintGame.approve(address,uint256)\",\"MintGame.transfer(address,uint256)\",\"MintGame.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":2,\"DEPENDENCIES.md\":21,\"LICENSE\":22,\"README.md\":124,\"foundry.toml\":22,\"remappings.txt\":3,\"src/MintGame.sol\":17,\"test/MintGame.invariant.t.sol\":222,\"test/MintGame.properties.t.sol\":162,\"test/MintGame.t.sol\":455},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"34883ed6686ff2a591aa13aac405a2b5de387956f3adb9a90e7b3b7af39e165f","verifiedTreeHash":"33a957e913c07cae251b12d348e6a35c6410903e","verifierVersion":"0.1.0+8f703f9f"},{"checks":[{"durationMs":1155,"exitCode":0,"name":"build","output":"Compiling 27 files with Solc 0.8.26\nSolc 0.8.26 finished in 1.08s\nCompiler run successful!\n","passed":true},{"durationMs":4340,"exitCode":0,"name":"test","output":"No files changed, compilation skipped\n\nRan 36 tests for test/MintGame.t.sol:MintGameTest\n[PASS] testFuzz_AllowanceAcceptsFullUint256Range(uint256) (runs: 1024, μ: 73320, ~: 73659)\n[PASS] testFuzz_ConstructorMintsOnlyToImmediateDeployer(address) (runs: 1024, μ: 18137, ~: 18137)\n[PASS] testFuzz_SelfTransferFromPreservesBalance(uint256) (runs: 1024, μ: 119007, ~: 119093)\nLogs:\n  Bound result 975782012245208\n\n[PASS] testFuzz_TransferAboveBalanceReverts(uint256,uint256) (runs: 1024, μ: 126889, ~: 127191)\nLogs:\n  Bound result 242441659224642678817167579\n  Bound result 1881265265917956156686336723896219370902567741647454685823217071814\n\n[PASS] testFuzz_TransferFromAboveAllowanceReverts(uint256,uint256) (runs: 1024, μ: 122876, ~: 123544)\nLogs:\n  Bound result 513932134542709125791567641\n  Bound result 269011799649674849891238109\n\n[PASS] testFuzz_TransferFromConsumesOnlyFiniteAllowance(uint256,uint256) (runs: 1024, μ: 159006, ~: 161577)\nLogs:\n  Bound result 7\n\n[PASS] testFuzz_TransfersConserveSupply(address,uint256) (runs: 1024, μ: 92977, ~: 93117)\nLogs:\n  Bound result 25000000000000000000\n\n[PASS] test_ApproveEmitsEventWithoutMovingBalance() (gas: 99086)\n[PASS] test_ApproveOverwritesAndCanBeRevokedWithoutBalance() (gas: 152362)\n[PASS] test_ConstructorEmitsExactlyOneMintEvent() (gas: 9654)\n[PASS] test_DirectEtherAndUnknownCallsRevert() (gas: 86440)\n[PASS] test_FactoryCreate2ReceivesSupplyInsteadOfItsCaller() (gas: 227826)\n[PASS] test_FailedTransferFromRestoresAllowanceWhenBalanceInsufficient() (gas: 178409)\n[PASS] test_FailedTransferFromRestoresAllowanceWhenRecipientInvalid() (gas: 114122)\n[PASS] test_InfiniteAllowanceIsNotDecremented() (gas: 183060)\n[PASS] test_LaunchAllocationsClaimsAndPoolTransfersArriveWhole() (gas: 575092)\n[PASS] test_MetadataAndEntireSupplyBelongToDeployer() (gas: 107605)\n[PASS] test_NoMintBurnOrAdministrativeEntrypoints() (gas: 1742203)\n[PASS] test_RevertAfterAllowanceRevocation() (gas: 117715)\n[PASS] test_RevertWhenApprovalToZeroSpender() (gas: 37662)\n[PASS] test_RevertWhenDifferentSpenderUsesApproval() (gas: 94694)\n[PASS] test_RevertWhenHolderUsesTransferFromWithoutSelfApproval() (gas: 35703)\n[PASS] test_RevertWhenSelfTransferExceedsBalance() (gas: 40277)\n[PASS] test_RevertWhenTransferExceedsBalance() (gas: 67704)\n[PASS] test_RevertWhenTransferFromExceedsAllowance() (gas: 115709)\n[PASS] test_RevertWhenTransferFromHasNoAllowance() (gas: 57843)\n[PASS] test_RevertWhenTransferToZeroAddress() (gas: 47664)\n[PASS] test_RevertWhenZeroTransferToZeroAddress() (gas: 30389)\n[PASS] test_SelfTransferPreservesBalance() (gas: 54046)\n[PASS] test_TransferEmitsEventAndMovesExactAmount() (gas: 91518)\n[PASS] test_TransferEntireBalance() (gas: 161711)\n[PASS] test_TransferFromEmitsEventAndConsumesFiniteAllowance() (gas: 225022)\n[PASS] test_TransferFromToSameHolderConsumesAllowanceOnly() (gas: 105368)\n[PASS] test_TransfersDoNotCallTheRecipient() (gas: 170243)\n[PASS] test_ZeroTransferFromNeedsNoAllowance() (gas: 68918)\n[PASS] test_ZeroTransferWithoutBalanceEmitsEvent() (gas: 73454)\nSuite result: ok. 36 passed; 0 failed; 0 skipped; finished in 38.67ms (271.41ms CPU time)\n\nRan 1 test for test/MintGame.invariant.t.sol:MintGameInvariantTest\n[PASS]\nMintGameInvariantTest invariants:\n[PASS] invariant_AllowancesMatchIndependentLedger\n[PASS] invariant_SupplyAndBalancesMatchIndependentLedger\n MintGameInvariantTest invariants (runs: 256, calls: 16384, reverts: 0)\n\n╭-----------------+-----------------------------+-------+---------+----------╮\n| Contract        | Selector                    | Calls | Reverts | Discards |\n+============================================================================+\n| MintGameHandler | approve                     | 2791  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | attemptOverdraw             | 2716  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | attemptUnauthorizedTransfer | 2772  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | revoke                      | 2801  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | transfer                    | 2641  | 0       | 0        |\n|-----------------+-----------------------------+-------+---------+----------|\n| MintGameHandler | transferFrom                | 2663  | 0       | 0        |\n╰-----------------+-----------------------------+-------+---------+----------╯\n\nLogs:\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 11\n  Bound result 4\n  Bound result 11\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 11\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 0\n  Bound result 317059844739300086236815809\n  Bound result 0\n  Bound result 0\n  Bound result 5\n  Bound result 0\n\nSuite result: ok. 1 passed; 0 failed; 0 skipped; finished in 4.25s (4.25s CPU time)\n\nRan 2 test suites in 4.25s (4.29s CPU time): 37 tests passed, 0 failed, 0 skipped (37 total tests)\n","passed":true},{"durationMs":33,"exitCode":0,"name":"source-index","output":"{\"v\":1,\"entryPoints\":[\"MintGame.approve(address,uint256)\",\"MintGame.transfer(address,uint256)\",\"MintGame.transferFrom(address,address,uint256)\"],\"files\":{\".gitignore\":2,\"DEPENDENCIES.md\":21,\"LICENSE\":22,\"README.md\":124,\"foundry.toml\":22,\"remappings.txt\":3,\"src/MintGame.sol\":17,\"test/MintGame.invariant.t.sol\":131,\"test/MintGame.t.sol\":455},\"excluded\":[\"lib/\",\"node_modules/\"],\"truncated\":false}","passed":true},{"durationMs":366,"exitCode":0,"name":"slither","output":"slither: no results at low impact or above","passed":true},{"durationMs":193,"exitCode":0,"name":"aderyn","output":"[low] large-numeric-literal at src/MintGame.sol:10: Large Numeric Literal","passed":true}],"detail":"all checks passed","evaluation":"checks","profile":"foundry","status":"accepted","submissionHash":"da2684199fb4ec53a4fb6289cc5d2fcca2741e242f24d7e4ea82be3fca9058ac","verifiedTreeHash":"075ee1c7469487dca98be1c44591b3d4fcc7f557","verifierVersion":"0.1.0+8f703f9f"}]}