Not applicable

0x0c65A0BC65a5D819235B71F554D210D3F80E0852

0x0c65A0BC65a5D819235B71F554D210D3F80E0852Monad mainnet

None of the 30 properties apply to this vault at block 111,044,114.

No property applies. The vault's asset is the chain's native coin (ERC-7535), and both suites fund test users with ERC-20 deal and approve. Nothing here says the vault is wrong or right.

Found by the watcher at its first Deposit event in block 110,393,691, 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.

12:58:5610-06First result
Not applicable
0 pass, 0 fail, 0 inconclusive, 30 not applicable.
12:58:5610-06Checked
Not applicable
0 pass, 0 fail, 0 inconclusive, 30 not applicable at block 111,044,114, 2 s. Report
Why: first Deposit event from an unknown address.
12:50:0910-06Queued
Waiting for a check: first Deposit event from an unknown address.
12:50:0810-06Found
First Deposit event from an unknown address in block 110,393,691 tx 0x2d5615...2469bf

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: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take

reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take

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	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: asset() does not revert Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
1	`totalAssets`test_totalAssetsEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: totalAssets() does not revert Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
2	`convertToShares`test_convertToSharesEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: convertToShares gives the same result for any caller Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
3	`convertToAssets`test_convertToAssetsEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: convertToAssets gives the same result for any caller Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
4	`maxDeposit`test_maxDepositEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: maxDeposit does not revert Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
5	`previewDeposit`test_previewDepositEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: deposit mints at least the shares previewDeposit quoted Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
6	`deposit`test_depositEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: deposit moves assets from the caller, credits shares to the receiver and spends allowance Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
7	`maxMint`test_maxMintEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: maxMint does not revert Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
8	`previewMint`test_previewMintEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: mint pulls at most the assets previewMint quoted Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
9	`mint`test_mintEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: mint moves assets from the caller, credits shares to the receiver and spends allowance Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
10	`maxWithdraw`test_maxWithdrawEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: maxWithdraw does not revert Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
11	`previewWithdraw`test_previewWithdrawEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: withdraw burns at most the shares previewWithdraw quoted Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
12	`withdraw`test_withdrawEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: withdraw burns owner shares, pays the receiver and spends share allowance Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
13	`withdraw-zero-allowance`test_withdraw_zero_allowanceEIP-4626 SHOULD	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: withdraw on behalf of an owner without allowance reverts Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
14	`maxRedeem`test_maxRedeemEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: maxRedeem does not revert Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
15	`previewRedeem`test_previewRedeemEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: redeem pays at least the assets previewRedeem quoted Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
16	`redeem`test_redeemEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: redeem burns owner shares, pays the receiver and spends share allowance Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
17	`redeem-zero-allowance`test_redeem_zero_allowanceEIP-4626 SHOULD	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: redeem on behalf of an owner without allowance reverts Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
18	`RT-deposit-redeem`test_RT_deposit_redeemEIP-4626 SHOULD	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: redeem(deposit(a)) returns no more than a Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
19	`RT-deposit-withdraw`test_RT_deposit_withdrawEIP-4626 SHOULD	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: withdraw(a) burns at least the shares deposit(a) minted Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
20	`RT-redeem-deposit`test_RT_redeem_depositEIP-4626 SHOULD	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: deposit(redeem(s)) mints no more than s Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
21	`RT-redeem-mint`test_RT_redeem_mintEIP-4626 SHOULD	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: mint(s) costs at least the assets redeem(s) paid Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
22	`RT-mint-withdraw`test_RT_mint_withdrawEIP-4626 SHOULD	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: withdraw(mint(s)) burns at least s shares Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
23	`RT-mint-redeem`test_RT_mint_redeemEIP-4626 SHOULD	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: redeem(s) pays no more than mint(s) cost Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
24	`RT-withdraw-mint`test_RT_withdraw_mintEIP-4626 SHOULD	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: mint(withdraw(a)) costs at least a Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
25	`RT-withdraw-deposit`test_RT_withdraw_depositEIP-4626 SHOULD	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: deposit(a) mints no more than the shares withdraw(a) burned Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
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	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: deposit does not revert for amounts up to maxDeposit (EIP-4626: maxDeposit is the most deposit accepts without reverting) Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
27	`sf-maxMint-honored`test_sf_maxMint_honoredEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: mint does not revert for shares up to maxMint (EIP-4626: maxMint is the most mint accepts without reverting) Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
28	`sf-maxWithdraw-honored`test_sf_maxWithdraw_honoredEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: withdraw does not revert for assets up to maxWithdraw (EIP-4626: maxWithdraw MUST return 0 when withdrawals are disabled) Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take
29	`sf-maxRedeem-honored`test_sf_maxRedeem_honoredEIP-4626 MUST	Not applicable	Not applicable: the vault's asset is the chain's native coin, the ERC-7535 sentinel address. The harness funds test users with ERC-20 deal and approve, which a native-asset vault does not take. Checks: redeem does not revert for shares up to maxRedeem (EIP-4626: maxRedeem MUST return 0 when redemptions are disabled) Raw result reason: asset() is the ERC-7535 native-asset sentinel 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE: the harness funds users with ERC-20 deal and approve, which a native-asset vault does not take

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 0x0c65A0BC65a5D819235B71F554D210D3F80E0852 \
  --standard erc4626 \
  --block 111044114 \
  --runs 16

Forge did not run for this vault, so there is no seed: the check stops at its pre-checks.

Report JSON

reportHash 0x15d19b...b19f3e 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/0x0c65a0bc65a5d819235b71f554d210d3f80e0852.svg)](/v/143/0x0c65a0bc65a5d819235b71f554d210d3f80e0852)

JSON API Badge SVG

Implementation

Proxy: eip1967
Implementation: 0x7D2F8dc5a67CA1911bb1A2429552CDf507d106F2
Implementation key: 0x81cb2929887b2445b423445de0aa6900a0220f5d3662c63d5df161703d31d43f
Key from: Implementation behind the proxy: same compiler metadata and same code with immutables masked
Code hash: 0x05f69e3e9c66aec02677b21b6788587cbb3d3588eecd5eac335be1487f725d75
Code size: 793 bytes
Same key: No other vault on this board

Run

Block: 111,044,114, Monad mainnet
Seed: none
Sender: none
Runs: 16 per property
Delta: 0 base units
Forge: did not run
forge-std: bf647bd6046f
Reject limit: 4096
Harness: 0x5b48d4...a08890
sf properties: 0x612e00...26991e
suiteHash: 0x77d850...272dbb
Started: 2026-10-06 12:58 UTC, 2 s
Report: schemaVersion 3