Partly checked

0x8498312A6B3CbD158bf0c93AbdCF29E6e4F55081

0x8498312A6B3CbD158bf0c93AbdCF29E6e4F55081Monad mainnet

0 of 30 properties passed and none failed at block 111,261,261. 30 could not be exercised.

Asynchronous withdrawals: exits go through requestRedeemrequestRedeem(uint256,address,address) and requestRedeemGVault(uint256,address,address,uint64) in the code at 0xA1f511E1442c61931ca5ace7616d2cC78497aFd2; ERC-165 declares ERC-7540 asynchronous redemption; the exits could not be run on the fork, so the label comes from the code and ERC-165 only.

No property could be exercised. Every property ran out of inputs, and its vault calls reverted after reaching a Monad precompile that forge's EVM does not have; those inputs were not judged. Nothing here says the vault is wrong or right.

Found by the watcher at its first Deposit event in block 110,407,933, 2026-10-06 12:50 UTC. No factory the watcher follows announced it. It was not on the hand-made list the board started from.

Request a re-checkRuns the same 30 properties at the latest block and attests the new report.

What the watcher saw

Every event the watcher recorded for this vault, newest first. Each check is a statement about one block; a re-check with the same outcome is recorded here without a new attestation.

07:16:5510-07Recovered
Spec mismatchPartly checked
0 pass, 2 fail, 28 inconclusive, 0 not applicable before; 0 pass, 0 fail, 30 inconclusive, 0 not applicable now.
No longer failing: sf-maxDeposit-honored, sf-maxMint-honored
07:16:5510-07Checked
Partly checked
0 pass, 0 fail, 30 inconclusive, 0 not applicable at block 111,261,261, 3 min. Report
Why: backfill scan.
07:09:5710-07Queued
Waiting for a check: backfill scan.
07:09:5710-07Checked
Partly checked
0 pass, 0 fail, 30 inconclusive, 0 not applicable at block 111,224,893, 7 min. Report
Why: backfill scan.
16:17:0610-06First result
Spec mismatch
0 pass, 2 fail, 28 inconclusive, 0 not applicable.
Now failing: sf-maxDeposit-honored, sf-maxMint-honored
16:17:0610-06Checked
Spec mismatch
0 pass, 2 fail, 28 inconclusive, 0 not applicable at block 111,082,919, 2 min. Report
Why: first Deposit event from an unknown address.
13:40:1610-06Queued
Waiting for a check: first Deposit event from an unknown address.
13:40:1610-06Checked
Spec mismatch
0 pass, 2 fail, 28 inconclusive, 0 not applicable at block 111,051,869, 2 min. Report
Why: first Deposit event from an unknown address.
12:50:1710-06Queued
Waiting for a check: first Deposit event from an unknown address.
12:50:1610-06Found
First Deposit event from an unknown address in block 110,407,933 tx 0x9b07e3...0ab38d

JSON: this vault's history

All 30 properties

In report order. Bit i is the bit the registry's passedBitmap and failedBitmap use for that property.



reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3924 inputs; these inputs were rejected; deposit reverted below maxDeposit 84 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3924 inputs; these inputs were rejected; deposit reverted below maxDeposit 84 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3924 inputs; these inputs were rejected; deposit reverted below maxDeposit 84 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3917 inputs; these inputs were rejected; deposit reverted below maxDeposit 87 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3924 inputs; these inputs were rejected; deposit reverted below maxDeposit 84 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3917 inputs; these inputs were rejected; deposit reverted below maxDeposit 87 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3924 inputs; these inputs were rejected; deposit reverted below maxDeposit 84 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3917 inputs; these inputs were rejected; deposit reverted below maxDeposit 87 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3924 inputs; these inputs were rejected; deposit reverted below maxDeposit 84 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3917 inputs; these inputs were rejected; deposit reverted below maxDeposit 87 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert)
runs: 0

reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000, which forge lacks, in 3935 inputs; these inputs were not judged
runs: 0
reason: a vault call reached Monad precompile 0x0000000000000000000000000000000000001000, which forge lacks; these inputs were not judged
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3931 inputs; these inputs were rejected
runs: 0
reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3931 inputs; these inputs were rejected
runs: 0

Bit	Property	Result	What was found
a16z/erc4626-tests at ac48546, 26 properties: 16 on EIP-4626 MUST sentences, 10 on SHOULD guidance (the round trips and the allowance checks)
0	`asset`test_assetEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 84 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3924 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: asset() does not revert Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3924 inputs; these inputs were rejected; deposit reverted below maxDeposit 84 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
1	`totalAssets`test_totalAssetsEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 84 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3924 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: totalAssets() does not revert Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3924 inputs; these inputs were rejected; deposit reverted below maxDeposit 84 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
2	`convertToShares`test_convertToSharesEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 75 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3922 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: convertToShares gives the same result for any caller Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
3	`convertToAssets`test_convertToAssetsEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 75 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3922 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: convertToAssets gives the same result for any caller Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
4	`maxDeposit`test_maxDepositEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 84 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3924 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: maxDeposit does not revert Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3924 inputs; these inputs were rejected; deposit reverted below maxDeposit 84 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
5	`previewDeposit`test_previewDepositEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 75 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3922 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: deposit mints at least the shares previewDeposit quoted Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
6	`deposit`test_depositEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 87 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3917 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: deposit moves assets from the caller, credits shares to the receiver and spends allowance Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3917 inputs; these inputs were rejected; deposit reverted below maxDeposit 87 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
7	`maxMint`test_maxMintEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 84 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3924 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: maxMint does not revert Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3924 inputs; these inputs were rejected; deposit reverted below maxDeposit 84 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
8	`previewMint`test_previewMintEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 75 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3922 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: mint pulls at most the assets previewMint quoted Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
9	`mint`test_mintEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 87 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3917 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: mint moves assets from the caller, credits shares to the receiver and spends allowance Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3917 inputs; these inputs were rejected; deposit reverted below maxDeposit 87 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
10	`maxWithdraw`test_maxWithdrawEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 84 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3924 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: maxWithdraw does not revert Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3924 inputs; these inputs were rejected; deposit reverted below maxDeposit 84 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
11	`previewWithdraw`test_previewWithdrawEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 75 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3922 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: withdraw burns at most the shares previewWithdraw quoted Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
12	`withdraw`test_withdrawEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 87 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3917 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: withdraw burns owner shares, pays the receiver and spends share allowance Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3917 inputs; these inputs were rejected; deposit reverted below maxDeposit 87 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
13	`withdraw-zero-allowance`test_withdraw_zero_allowanceEIP-4626 SHOULD	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 75 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3922 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: withdraw on behalf of an owner without allowance reverts Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
14	`maxRedeem`test_maxRedeemEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 84 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3924 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: maxRedeem does not revert Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3924 inputs; these inputs were rejected; deposit reverted below maxDeposit 84 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
15	`previewRedeem`test_previewRedeemEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 75 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3922 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: redeem pays at least the assets previewRedeem quoted Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
16	`redeem`test_redeemEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 87 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3917 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: redeem burns owner shares, pays the receiver and spends share allowance Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3917 inputs; these inputs were rejected; deposit reverted below maxDeposit 87 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
17	`redeem-zero-allowance`test_redeem_zero_allowanceEIP-4626 SHOULD	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 75 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3922 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: redeem on behalf of an owner without allowance reverts Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
18	`RT-deposit-redeem`test_RT_deposit_redeemEIP-4626 SHOULD	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 75 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3922 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: redeem(deposit(a)) returns no more than a Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
19	`RT-deposit-withdraw`test_RT_deposit_withdrawEIP-4626 SHOULD	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 75 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3922 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: withdraw(a) burns at least the shares deposit(a) minted Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
20	`RT-redeem-deposit`test_RT_redeem_depositEIP-4626 SHOULD	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 75 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3922 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: deposit(redeem(s)) mints no more than s Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
21	`RT-redeem-mint`test_RT_redeem_mintEIP-4626 SHOULD	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 75 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3922 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: mint(s) costs at least the assets redeem(s) paid Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
22	`RT-mint-withdraw`test_RT_mint_withdrawEIP-4626 SHOULD	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 75 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3922 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: withdraw(mint(s)) burns at least s shares Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
23	`RT-mint-redeem`test_RT_mint_redeemEIP-4626 SHOULD	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 75 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3922 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: redeem(s) pays no more than mint(s) cost Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
24	`RT-withdraw-mint`test_RT_withdraw_mintEIP-4626 SHOULD	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 75 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3922 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: mint(withdraw(a)) costs at least a Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
25	`RT-withdraw-deposit`test_RT_withdraw_depositEIP-4626 SHOULD	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. Along the way deposit reverted 75 times at amounts up to maxDeposit; some of these may be tiny amounts that round to zero shares, which many vaults reject. Those inputs were discarded, as upstream does, so this stays inconclusive; whether deposit honors maxDeposit is judged by sf-maxDeposit-honored. 3922 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: deposit(a) mints no more than the shares withdraw(a) burned Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3922 inputs; these inputs were rejected; deposit reverted below maxDeposit 75 times (inputs discarded, EIP-4626 says it must not revert) runs: 0
Specfirst max-honored properties, MIT, each on one EIP-4626 MUST sentence about a max function
26	`sf-maxDeposit-honored`test_sf_maxDeposit_honoredEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. 3935 inputs reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have, and were not judged. Checks: deposit goes through up to min(maxDeposit, 1e6 tokens); when a smaller amount is refused the bound must go through, and refusals are counted (EIP-4626: maxDeposit MUST NOT be higher than what deposit accepts) Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000, which forge lacks, in 3935 inputs; these inputs were not judged runs: 0
27	`sf-maxMint-honored`test_sf_maxMint_honoredEIP-4626 MUST	Inconclusive	Not judged: every rejected input reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have, and its call reverted on the fork, which cannot tell whether the revert needed the precompile's answer. These inputs were not judged. Checks: mint goes through up to min(maxMint, shares of 1e6 tokens); when a smaller amount is refused the bound must go through, and refusals are counted (EIP-4626: maxMint MUST NOT be higher than what mint accepts) Raw result reason: a vault call reached Monad precompile 0x0000000000000000000000000000000000001000, which forge lacks; these inputs were not judged runs: 0
28	`sf-maxWithdraw-honored`test_sf_maxWithdraw_honoredEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. 3931 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: withdraw goes through up to maxWithdraw; when a smaller amount is refused maxWithdraw must go through, and refusals are counted (EIP-4626: maxWithdraw MUST NOT be higher than what withdraw accepts, and MUST be 0 when withdrawals are disabled) Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3931 inputs; these inputs were rejected runs: 0
29	`sf-maxRedeem-honored`test_sf_maxRedeem_honoredEIP-4626 MUST	Inconclusive	Never exercised: the vault rejected nearly every amount the fuzzer tried, and forge gave up after 4096 discarded inputs. 3931 inputs were rejected because the setup deposit reached Monad precompile 0x0000000000000000000000000000000000001000, which forge's EVM does not have. Checks: redeem goes through up to maxRedeem; when a smaller amount is refused maxRedeem must go through, and refusals are counted (EIP-4626: maxRedeem MUST NOT be higher than what redeem accepts, and MUST be 0 when redemptions are disabled) Raw result reason: `vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000 in the setup deposit, which forge lacks, in 3931 inputs; these inputs were rejected runs: 0

Onchain attestation

Not attested yet.

CheckAttestationRegistry 0x3754...daF7 on Monad testnet holds no erc4626 attestation for this vault as of 2026-10-08.

Watch this vault

Pay per day for an alert when this vault's result changes, in your inbox and at your webhook if you register one, and for a shorter re-check cadence (the watcher's default is every 60 minutes for subscribed vaults, at most once a day for the rest). Every result stays public either way; a subscription buys delivery and freshness.

Reading the fee.

No wallet extension found in this browser. Install MetaMask or Rabby, or switch to the testnet burner above.

Connect a wallet first.

Replay this check

specfirst check 0x8498312A6B3CbD158bf0c93AbdCF29E6e4F55081 \
  --standard erc4626 \
  --block 111261261 \
  --runs 16 \
  --seed 0xe434196d282d5a740a190f80d2011d7515d88fa0da990bfca85ded20ce92eb9d

Same block, runs and seed. The CLI draws a fresh random sender each run; the seed also salts the 16-user pool.

Report JSON

reportHash 0x3d83af...2debc3 is keccak256 of the report's canonical JSON (RFC 8785), the value the registry stores.

Badge and API

The badge and the JSON read the registry when they are loaded, so they follow new attestations without a rebuild.

[![Specfirst ERC-4626 check](/badge/check/143/0x8498312a6b3cbd158bf0c93abdcf29e6e4f55081.svg)](/v/143/0x8498312a6b3cbd158bf0c93abdcf29e6e4f55081)

JSON API Badge SVG

Implementation

Proxy: eip1967
Implementation: 0xA1f511E1442c61931ca5ace7616d2cC78497aFd2
Implementation key: 0x9b7ec171292908ccffac9bb106682b31899ebd92a767336760c953064b04527c
Key from: Implementation behind the proxy: same compiler metadata and same code with immutables masked
Code hash: 0x9520762e44f743e95a9e8ec53a35df085d1c76301318556c83fa1afe6a870396
Code size: 212 bytes
Same key: No other vault on this board

Run

Block: 111,261,261, Monad mainnet
Seed: 0xe434196d282d5a740a190f80d2011d7515d88fa0da990bfca85ded20ce92eb9d
Sender: 0xbC77e32B21FA1CFB706e13b8D5942c7a55eD6B8A
Runs: 16 per property
Delta: 0 base units
Forge: forge Version: 1.5.1-Homebrew
forge-std: bf647bd6046f
Reject limit: 4096
Harness: 0xf5d1ee...8d0262
sf properties: 0x1d721e...dfa233
suiteHash: 0x67de68...c66d91
Started: 2026-10-07 07:13 UTC, 223 s
Report: schemaVersion 4