SpecfirstMonad ERC-4626 board

All vaults / Centrifuge V3

Not applicable

ACRDX USDC Vault (Anemoy Tokenized Apollo Diversified Credit Fund)

Centrifuge V3Asset USDC0x082c62088669FAcC1fA9f056c5Efc8cbcCdA39B2Monad mainnet

None of the 30 properties apply to this vault at block 111,212,531.

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:08 UTC.

bit 0, asset: not applicable0bit 1, totalAssets: not applicable1bit 2, convertToShares: not applicable2bit 3, convertToAssets: not applicable3bit 4, maxDeposit: not applicable4bit 5, previewDeposit: not applicable5bit 6, deposit: not applicable6bit 7, maxMint: not applicable7bit 8, previewMint: not applicable8bit 9, mint: not applicable9bit 10, maxWithdraw: not applicable10bit 11, previewWithdraw: not applicable11bit 12, withdraw: not applicable12bit 13, withdraw-zero-allowance: not applicable13bit 14, maxRedeem: not applicable14bit 15, previewRedeem: not applicable15bit 16, redeem: not applicable16bit 17, redeem-zero-allowance: not applicable17bit 18, RT-deposit-redeem: not applicable18bit 19, RT-deposit-withdraw: not applicable19bit 20, RT-redeem-deposit: not applicable20bit 21, RT-redeem-mint: not applicable21bit 22, RT-mint-withdraw: not applicable22bit 23, RT-mint-redeem: not applicable23bit 24, RT-withdraw-mint: not applicable24bit 25, RT-withdraw-deposit: not applicable25bit 26, sf-maxDeposit-honored: not applicable26bit 27, sf-maxMint-honored: not applicable27bit 28, sf-maxWithdraw-honored: not applicable28bit 29, sf-maxRedeem-honored: not applicable29a16z/erc4626-testsSpecfirst

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.

  1. Checked
    Not applicable

    0 pass, 0 fail, 0 inconclusive, 30 not applicable at block 111,212,531, 1 s. Report

    Why: scheduled re-check.

  2. Queued

    Waiting for a check: scheduled re-check.

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.

BitPropertyResultWhat 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)
0assettest_assetEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
1totalAssetstest_totalAssetsEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
2convertToSharestest_convertToSharesEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
3convertToAssetstest_convertToAssetsEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
4maxDeposittest_maxDepositEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
5previewDeposittest_previewDepositEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
6deposittest_depositEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
7maxMinttest_maxMintEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
8previewMinttest_previewMintEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
9minttest_mintEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
10maxWithdrawtest_maxWithdrawEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
11previewWithdrawtest_previewWithdrawEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
12withdrawtest_withdrawEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
13withdraw-zero-allowancetest_withdraw_zero_allowanceEIP-4626 SHOULDNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
14maxRedeemtest_maxRedeemEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
15previewRedeemtest_previewRedeemEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
16redeemtest_redeemEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
17redeem-zero-allowancetest_redeem_zero_allowanceEIP-4626 SHOULDNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
18RT-deposit-redeemtest_RT_deposit_redeemEIP-4626 SHOULDNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
19RT-deposit-withdrawtest_RT_deposit_withdrawEIP-4626 SHOULDNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
20RT-redeem-deposittest_RT_redeem_depositEIP-4626 SHOULDNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
21RT-redeem-minttest_RT_redeem_mintEIP-4626 SHOULDNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
22RT-mint-withdrawtest_RT_mint_withdrawEIP-4626 SHOULDNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
23RT-mint-redeemtest_RT_mint_redeemEIP-4626 SHOULDNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
24RT-withdraw-minttest_RT_withdraw_mintEIP-4626 SHOULDNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
25RT-withdraw-deposittest_RT_withdraw_depositEIP-4626 SHOULDNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); 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
26sf-maxDeposit-honoredtest_sf_maxDeposit_honoredEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
27sf-maxMint-honoredtest_sf_maxMint_honoredEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
28sf-maxWithdraw-honoredtest_sf_maxWithdraw_honoredEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it
29sf-maxRedeem-honoredtest_sf_maxRedeem_honoredEIP-4626 MUSTNot applicable

Not applicable: this is an ERC-7575 vault whose shares are a separate token at 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245. 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() = 0x2FaBf1c784B8583d63C00c5c9C0377D8cf1a3245); both suites assume the vault is its own share token and call balanceOf, allowance and approve on it