{"schema":"specfirst.vault.v1","chainId":143,"address":"0xad663ac84052b52be4ed1b27ba416505e84a00bf","standard":"erc4626","standardId":"0x45f39c8c7e3105201fd8b1288ac068347728af9cfd16f3f08e97171ef955c9ab","checked":true,"vault":{"name":null,"protocol":null,"assetSymbol":null},"report":{"source":"board","status":"mismatch","blockNumber":"111264228","startedAt":"2026-10-07T07:28:09.496Z","summary":{"pass":25,"fail":5,"inconclusive":0,"notApplicable":0},"total":30,"failed":[{"id":"previewDeposit","finding":"Forge found a counterexample: Error: a >=~ b not satisfied [uint]","level":"must"},{"id":"previewMint","finding":"Forge found a counterexample: Error: a <=~ b not satisfied [uint]","level":"must"},{"id":"previewWithdraw","finding":"Forge found a counterexample: Error: a <=~ b not satisfied [uint]; deposit reverted below maxDeposit 7 times (inputs discarded, EIP-4626 says it must not revert)","level":"must"},{"id":"previewRedeem","finding":"Forge found a counterexample: Error: a >=~ b not satisfied [uint]","level":"must"},{"id":"sf-maxRedeem-honored","finding":"maxRedeem was 1, but redeem(1) reverted with 0x03f7f64c.","level":"must"}],"reportHash":"0x303b7671f035f9fbbf17b4616c3d7177413535f9e48a36cd8e52279272ce6233","suiteHash":"0x67de68fae99495347027bb0b89ce15c866266d450fcb041f7530aaedf8c66d91","url":"https://specfirst.jaesimin.xyz/reports/143/0xad663ac84052b52be4ed1b27ba416505e84a00bf/111264228-303b7671f035f9fb.json"},"maxHonored":{"maxDeposit":true,"maxMint":true,"maxWithdraw":true,"maxRedeem":false},"maxHonoredStatus":{"maxDeposit":"pass","maxMint":"pass","maxWithdraw":"pass","maxRedeem":"fail"},"attestation":{"state":"attested","id":"25","status":"Valid","isCompliant":false,"blockNumber":"111264228","reportHash":"0x303b7671f035f9fbbf17b4616c3d7177413535f9e48a36cd8e52279272ce6233","matchesReport":true,"txHash":null,"txUrl":null,"registry":{"chainId":10143,"address":"0x3754918bBB8481D046D80718a9efe434e353daF7"},"reason":null},"badge":{"state":"mismatch","level":"must","text":"mismatch, 5 of 30 fail","url":"https://specfirst.jaesimin.xyz/badge/check/143/0xad663ac84052b52be4ed1b27ba416505e84a00bf.svg"},"reproduce":{"command":"specfirst check 0xaD663aC84052b52BE4ed1b27BA416505e84a00Bf --standard erc4626 --block 111264228 --runs 16 --seed 0x69c87da04d450fad8063dea4880a01da66dd412816c35df245c7cbb9c5858c10","args":["specfirst check 0xaD663aC84052b52BE4ed1b27BA416505e84a00Bf","--standard erc4626","--block 111264228","--runs 16","--seed 0x69c87da04d450fad8063dea4880a01da66dd412816c35df245c7cbb9c5858c10"]},"links":{"page":"https://specfirst.jaesimin.xyz/v/143/0xad663ac84052b52be4ed1b27ba416505e84a00bf","badge":"https://specfirst.jaesimin.xyz/badge/check/143/0xad663ac84052b52be4ed1b27ba416505e84a00bf.svg","report":"https://specfirst.jaesimin.xyz/reports/143/0xad663ac84052b52be4ed1b27ba416505e84a00bf/111264228-303b7671f035f9fb.json","requestCheck":"https://specfirst.jaesimin.xyz/check?vault=0xad663ac84052b52be4ed1b27ba416505e84a00bf"},"readAt":"2026-10-08T09:47:50.065Z"}