{"schema":"specfirst.vault.v1","chainId":10143,"address":"0xc6dd99dc547a1da35bd777ea5cee5c080667db47","standard":"erc4626","standardId":"0x45f39c8c7e3105201fd8b1288ac068347728af9cfd16f3f08e97171ef955c9ab","checked":true,"vault":{"name":null,"protocol":null,"assetSymbol":null},"report":{"source":"requested","status":"mismatch","blockNumber":"69207426","startedAt":"2026-10-08T08:27:14.440Z","summary":{"pass":29,"fail":1,"inconclusive":0,"notApplicable":0},"total":30,"failed":[{"id":"previewDeposit","finding":"Forge found a counterexample: Error: a >=~ b not satisfied [uint]","level":"must"}],"reportHash":"0x16a69a8f951f1f74b6b9b04a9be4aeb03abec6d41da76c9af123f2d46a690177","suiteHash":"0x67de68fae99495347027bb0b89ce15c866266d450fcb041f7530aaedf8c66d91","url":"https://specfirst.jaesimin.xyz/api/v1/reports/10143/0xc6dd99dc547a1da35bd777ea5cee5c080667db47/69207426-16a69a8f951f1f74.json"},"maxHonored":{"maxDeposit":true,"maxMint":true,"maxWithdraw":true,"maxRedeem":true},"maxHonoredStatus":{"maxDeposit":"pass","maxMint":"pass","maxWithdraw":"pass","maxRedeem":"pass"},"attestation":{"state":"attested","id":"27","status":"Valid","isCompliant":false,"blockNumber":"68924274","reportHash":"0x29706662ff62be6a385057bae8649a01dd3360212de1129a3dae38457a1f67a7","matchesReport":false,"txHash":null,"txUrl":null,"registry":{"chainId":10143,"address":"0x3754918bBB8481D046D80718a9efe434e353daF7"},"reason":null},"badge":{"state":"mismatch","level":"must","text":"mismatch, 1 of 30 fail","url":"https://specfirst.jaesimin.xyz/badge/check/10143/0xc6dd99dc547a1da35bd777ea5cee5c080667db47.svg"},"reproduce":{"command":"specfirst check 0xC6dd99dC547a1dA35Bd777eA5CEe5c080667db47 --standard erc4626 --block 69207426 --runs 16 --seed 0x680957995ee26cccfb1665a0083df67c71e478c10c2ae9d7af5c307db98f9a41 --network monad-testnet","args":["specfirst check 0xC6dd99dC547a1dA35Bd777eA5CEe5c080667db47","--standard erc4626","--block 69207426","--runs 16","--seed 0x680957995ee26cccfb1665a0083df67c71e478c10c2ae9d7af5c307db98f9a41","--network monad-testnet"]},"links":{"page":"https://specfirst.jaesimin.xyz/v/10143/0xc6dd99dc547a1da35bd777ea5cee5c080667db47","badge":"https://specfirst.jaesimin.xyz/badge/check/10143/0xc6dd99dc547a1da35bd777ea5cee5c080667db47.svg","report":"https://specfirst.jaesimin.xyz/api/v1/reports/10143/0xc6dd99dc547a1da35bd777ea5cee5c080667db47/69207426-16a69a8f951f1f74.json","requestCheck":"https://specfirst.jaesimin.xyz/check?vault=0xc6dd99dc547a1da35bd777ea5cee5c080667db47"},"readAt":"2026-10-08T10:01:49.703Z"}