Not applicable

JTRSY USDC Vault (Janus Henderson Treasury Fund)

Centrifuge V3Asset USDC0x796Ba8a2F2D80340dDb6ca8e43e7883812F13Cd5Monad mainnet

None of the 30 properties apply to this vault at block 109,195,820.

No property applies. This is an ERC-7575 vault whose shares live in a separate token, while both suites assume the vault is its own share token. Nothing here says the vault is wrong or right.

Known to the watcher from a backfill scan in block 109,195,820, 2026-09-30 08:33 UTC.

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

All 30 properties

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



reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it

reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it

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: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: asset() does not revert Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
1	`totalAssets`test_totalAssetsEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: totalAssets() does not revert Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
2	`convertToShares`test_convertToSharesEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: convertToShares gives the same result for any caller Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
3	`convertToAssets`test_convertToAssetsEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: convertToAssets gives the same result for any caller Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
4	`maxDeposit`test_maxDepositEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: maxDeposit does not revert Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
5	`previewDeposit`test_previewDepositEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: deposit mints at least the shares previewDeposit quoted Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
6	`deposit`test_depositEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: deposit moves assets from the caller, credits shares to the receiver and spends allowance Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
7	`maxMint`test_maxMintEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: maxMint does not revert Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
8	`previewMint`test_previewMintEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: mint pulls at most the assets previewMint quoted Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
9	`mint`test_mintEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: mint moves assets from the caller, credits shares to the receiver and spends allowance Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
10	`maxWithdraw`test_maxWithdrawEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: maxWithdraw does not revert Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
11	`previewWithdraw`test_previewWithdrawEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: withdraw burns at most the shares previewWithdraw quoted Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
12	`withdraw`test_withdrawEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: withdraw burns owner shares, pays the receiver and spends share allowance Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
13	`withdraw-zero-allowance`test_withdraw_zero_allowanceEIP-4626 SHOULD	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: withdraw on behalf of an owner without allowance reverts Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
14	`maxRedeem`test_maxRedeemEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: maxRedeem does not revert Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
15	`previewRedeem`test_previewRedeemEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: redeem pays at least the assets previewRedeem quoted Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
16	`redeem`test_redeemEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: redeem burns owner shares, pays the receiver and spends share allowance Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
17	`redeem-zero-allowance`test_redeem_zero_allowanceEIP-4626 SHOULD	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: redeem on behalf of an owner without allowance reverts Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
18	`RT-deposit-redeem`test_RT_deposit_redeemEIP-4626 SHOULD	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: redeem(deposit(a)) returns no more than a Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
19	`RT-deposit-withdraw`test_RT_deposit_withdrawEIP-4626 SHOULD	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: withdraw(a) burns at least the shares deposit(a) minted Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
20	`RT-redeem-deposit`test_RT_redeem_depositEIP-4626 SHOULD	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: deposit(redeem(s)) mints no more than s Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
21	`RT-redeem-mint`test_RT_redeem_mintEIP-4626 SHOULD	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: mint(s) costs at least the assets redeem(s) paid Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
22	`RT-mint-withdraw`test_RT_mint_withdrawEIP-4626 SHOULD	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: withdraw(mint(s)) burns at least s shares Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
23	`RT-mint-redeem`test_RT_mint_redeemEIP-4626 SHOULD	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: redeem(s) pays no more than mint(s) cost Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
24	`RT-withdraw-mint`test_RT_withdraw_mintEIP-4626 SHOULD	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: mint(withdraw(a)) costs at least a Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
25	`RT-withdraw-deposit`test_RT_withdraw_depositEIP-4626 SHOULD	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: deposit(a) mints no more than the shares withdraw(a) burned Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
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: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: deposit does not revert for amounts up to maxDeposit (EIP-4626: maxDeposit is the most deposit accepts without reverting) Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
27	`sf-maxMint-honored`test_sf_maxMint_honoredEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: mint does not revert for shares up to maxMint (EIP-4626: maxMint is the most mint accepts without reverting) Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
28	`sf-maxWithdraw-honored`test_sf_maxWithdraw_honoredEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: withdraw does not revert for assets up to maxWithdraw (EIP-4626: maxWithdraw MUST return 0 when withdrawals are disabled) Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
29	`sf-maxRedeem-honored`test_sf_maxRedeem_honoredEIP-4626 MUST	Not applicable	Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0xC18e6f730896971a79D748E8deA61067A9Bc6040. Both suites treat the vault as its own share token, so their results would say nothing about it. Checks: redeem does not revert for shares up to maxRedeem (EIP-4626: maxRedeem MUST return 0 when redemptions are disabled) Raw result reason: ERC-7575 vault: shares are a separate token (share() = 0xC18e6f730896971a79D748E8deA61067A9Bc6040); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it

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 0x796Ba8a2F2D80340dDb6ca8e43e7883812F13Cd5 \
  --standard erc4626 \
  --block 109195820 \
  --runs 16

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

Report JSON

reportHash 0x57d005...2da23e 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/0x796ba8a2f2d80340ddb6ca8e43e7883812f13cd5.svg)](/v/143/0x796ba8a2f2d80340ddb6ca8e43e7883812f13cd5)

JSON API Badge SVG

Implementation

Proxy: Not a proxy
Implementation key: 0x7297c9f324c57bc3261cb5aaba08690d550a26bfdafa19fe2f94a37783c8379c
Key from: The vault's own code: same code with immutables masked, no compiler metadata
Code hash: 0x767387831aa135d534bd6eba36ef4e90b5f7fe42a6084eb7beee9a8de04ca77f
Code size: 12,018 bytes
Same key: 2 other vaults on this board

Run

Block: 109,195,820, 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: 0xffe43d...85993c
Started: 2026-09-30 08:33 UTC, 1 s
Report: schemaVersion 3

Same implementation

Same code, different vaults. Their results can still differ through parameters, caps and assets.