{
  "schemaVersion": 4,
  "chainId": 143,
  "address": "0x8498312A6B3CbD158bf0c93AbdCF29E6e4F55081",
  "blockNumber": "111224893",
  "standard": "erc4626",
  "vaultKind": "erc4626",
  "skipReason": "missing-precompile",
  "traits": [
    {
      "id": "async-redeem",
      "evidence": {
        "codeAddress": "0xA1f511E1442c61931ca5ace7616d2cC78497aFd2",
        "requestFunctions": [
          "requestRedeem(uint256,address,address)",
          "requestRedeemGVault(uint256,address,address,uint64)"
        ],
        "erc165": {
          "asyncRedeem": true,
          "asyncDeposit": false,
          "operator": false
        },
        "run": "not-exercised"
      }
    }
  ],
  "upstream": {
    "repo": "https://github.com/a16z/erc4626-tests",
    "commit": "ac485460e014f22807c1ff687e0b4dc3af96ee40"
  },
  "harnessSha256": "0xf5d1eef11ff3a4f0375844e1e731c1e18d4856b12573297dc6320baddd8d0262",
  "sfPropertiesSha256": "0xd84a0879e6eef2bd70fb8d9afc565ec334f095fe3ec72e3b81f9fcca2aac3aca",
  "runs": 16,
  "delta": "0",
  "seed": "0xe434196d282d5a740a190f80d2011d7515d88fa0da990bfca85ded20ce92eb9d",
  "sender": "0xdc0954c0abE5B2364328D77A9D6E41C11377B0DA",
  "toolchain": {
    "forgeVersion": "forge Version: 1.5.1-Homebrew",
    "forgeStd": {
      "repo": "https://github.com/foundry-rs/forge-std",
      "commit": "bf647bd6046f2f7da30d0c2bf435e5c76a780c1b"
    },
    "foundryTomlSha256": "0xee1cdf6abd473ff042b6385bd46833ed08053d608d0a5645ad159fc2cca1b9b3",
    "maxTestRejects": 4096
  },
  "identity": {
    "codeHash": "0x9520762e44f743e95a9e8ec53a35df085d1c76301318556c83fa1afe6a870396",
    "metadataHash": "0x1220334480145c743e12e7244be8870fc89425b0af0a0c913fb2626871c11399ae04",
    "maskedCodeHash": "0xd0d7dbb2c54b27fa87d2e1ae9d1bf933b95ba2bcbec858f77092c456b1a80edd",
    "codeSize": 212,
    "proxy": {
      "kind": "eip1967",
      "implementation": "0xA1f511E1442c61931ca5ace7616d2cC78497aFd2"
    },
    "implementation": {
      "address": "0xA1f511E1442c61931ca5ace7616d2cC78497aFd2",
      "codeHash": "0xcf3e86ea0b03e45614c7cf8cbccc0a294598a198ec56a6380903c7e636ba7a3c",
      "metadataHash": "0x1220e15a331211ca374ce57409d9da665cb7360bd9519acdb08bc8189d3ca21adabf",
      "maskedCodeHash": "0xe48b68d2a5367319f9f4ecf631fe5433c7268e9d00a6888a2f1b0873a8853481"
    },
    "implementationKey": "0x9b7ec171292908ccffac9bb106682b31899ebd92a767336760c953064b04527c",
    "implementationKeyKind": {
      "of": "implementation",
      "hash": "metadataHash+maskedCodeHash"
    }
  },
  "results": [
    {
      "id": "asset",
      "test": "test_asset",
      "description": "asset() does not revert",
      "status": "inconclusive",
      "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)"
    },
    {
      "id": "totalAssets",
      "test": "test_totalAssets",
      "description": "totalAssets() does not revert",
      "status": "inconclusive",
      "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)"
    },
    {
      "id": "convertToShares",
      "test": "test_convertToShares",
      "description": "convertToShares gives the same result for any caller",
      "status": "inconclusive",
      "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 3923 inputs; these inputs were rejected; deposit reverted below maxDeposit 74 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "convertToAssets",
      "test": "test_convertToAssets",
      "description": "convertToAssets gives the same result for any caller",
      "status": "inconclusive",
      "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 3923 inputs; these inputs were rejected; deposit reverted below maxDeposit 74 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "maxDeposit",
      "test": "test_maxDeposit",
      "description": "maxDeposit does not revert",
      "status": "inconclusive",
      "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)"
    },
    {
      "id": "previewDeposit",
      "test": "test_previewDeposit",
      "description": "deposit mints at least the shares previewDeposit quoted",
      "status": "inconclusive",
      "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 3923 inputs; these inputs were rejected; deposit reverted below maxDeposit 74 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "deposit",
      "test": "test_deposit",
      "description": "deposit moves assets from the caller, credits shares to the receiver and spends allowance",
      "status": "inconclusive",
      "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 3916 inputs; these inputs were rejected; deposit reverted below maxDeposit 87 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "maxMint",
      "test": "test_maxMint",
      "description": "maxMint does not revert",
      "status": "inconclusive",
      "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)"
    },
    {
      "id": "previewMint",
      "test": "test_previewMint",
      "description": "mint pulls at most the assets previewMint quoted",
      "status": "inconclusive",
      "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 3923 inputs; these inputs were rejected; deposit reverted below maxDeposit 74 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "mint",
      "test": "test_mint",
      "description": "mint moves assets from the caller, credits shares to the receiver and spends allowance",
      "status": "inconclusive",
      "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 3916 inputs; these inputs were rejected; deposit reverted below maxDeposit 87 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "maxWithdraw",
      "test": "test_maxWithdraw",
      "description": "maxWithdraw does not revert",
      "status": "inconclusive",
      "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)"
    },
    {
      "id": "previewWithdraw",
      "test": "test_previewWithdraw",
      "description": "withdraw burns at most the shares previewWithdraw quoted",
      "status": "inconclusive",
      "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 3923 inputs; these inputs were rejected; deposit reverted below maxDeposit 74 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "withdraw",
      "test": "test_withdraw",
      "description": "withdraw burns owner shares, pays the receiver and spends share allowance",
      "status": "inconclusive",
      "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 3916 inputs; these inputs were rejected; deposit reverted below maxDeposit 87 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "withdraw-zero-allowance",
      "test": "test_withdraw_zero_allowance",
      "description": "withdraw on behalf of an owner without allowance reverts",
      "status": "inconclusive",
      "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 3923 inputs; these inputs were rejected; deposit reverted below maxDeposit 74 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "maxRedeem",
      "test": "test_maxRedeem",
      "description": "maxRedeem does not revert",
      "status": "inconclusive",
      "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)"
    },
    {
      "id": "previewRedeem",
      "test": "test_previewRedeem",
      "description": "redeem pays at least the assets previewRedeem quoted",
      "status": "inconclusive",
      "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 3923 inputs; these inputs were rejected; deposit reverted below maxDeposit 74 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "redeem",
      "test": "test_redeem",
      "description": "redeem burns owner shares, pays the receiver and spends share allowance",
      "status": "inconclusive",
      "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 3916 inputs; these inputs were rejected; deposit reverted below maxDeposit 87 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "redeem-zero-allowance",
      "test": "test_redeem_zero_allowance",
      "description": "redeem on behalf of an owner without allowance reverts",
      "status": "inconclusive",
      "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 3923 inputs; these inputs were rejected; deposit reverted below maxDeposit 74 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "RT-deposit-redeem",
      "test": "test_RT_deposit_redeem",
      "description": "redeem(deposit(a)) returns no more than a",
      "status": "inconclusive",
      "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 3923 inputs; these inputs were rejected; deposit reverted below maxDeposit 74 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "RT-deposit-withdraw",
      "test": "test_RT_deposit_withdraw",
      "description": "withdraw(a) burns at least the shares deposit(a) minted",
      "status": "inconclusive",
      "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 3923 inputs; these inputs were rejected; deposit reverted below maxDeposit 74 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "RT-redeem-deposit",
      "test": "test_RT_redeem_deposit",
      "description": "deposit(redeem(s)) mints no more than s",
      "status": "inconclusive",
      "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 3923 inputs; these inputs were rejected; deposit reverted below maxDeposit 74 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "RT-redeem-mint",
      "test": "test_RT_redeem_mint",
      "description": "mint(s) costs at least the assets redeem(s) paid",
      "status": "inconclusive",
      "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 3923 inputs; these inputs were rejected; deposit reverted below maxDeposit 74 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "RT-mint-withdraw",
      "test": "test_RT_mint_withdraw",
      "description": "withdraw(mint(s)) burns at least s shares",
      "status": "inconclusive",
      "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 3923 inputs; these inputs were rejected; deposit reverted below maxDeposit 74 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "RT-mint-redeem",
      "test": "test_RT_mint_redeem",
      "description": "redeem(s) pays no more than mint(s) cost",
      "status": "inconclusive",
      "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 3923 inputs; these inputs were rejected; deposit reverted below maxDeposit 74 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "RT-withdraw-mint",
      "test": "test_RT_withdraw_mint",
      "description": "mint(withdraw(a)) costs at least a",
      "status": "inconclusive",
      "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 3923 inputs; these inputs were rejected; deposit reverted below maxDeposit 74 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "RT-withdraw-deposit",
      "test": "test_RT_withdraw_deposit",
      "description": "deposit(a) mints no more than the shares withdraw(a) burned",
      "status": "inconclusive",
      "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 3923 inputs; these inputs were rejected; deposit reverted below maxDeposit 74 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "sf-maxDeposit-honored",
      "test": "test_sf_maxDeposit_honored",
      "description": "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)",
      "status": "inconclusive",
      "runs": 0,
      "reason": "`vm.assume` rejected too many inputs (4096 allowed); a vault call reached Monad precompile 0x0000000000000000000000000000000000001000, which forge lacks, in 3934 inputs; these inputs were not judged"
    },
    {
      "id": "sf-maxMint-honored",
      "test": "test_sf_maxMint_honored",
      "description": "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)",
      "status": "inconclusive",
      "runs": 0,
      "reason": "a vault call reached Monad precompile 0x0000000000000000000000000000000000001000, which forge lacks; these inputs were not judged"
    },
    {
      "id": "sf-maxWithdraw-honored",
      "test": "test_sf_maxWithdraw_honored",
      "description": "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)",
      "status": "inconclusive",
      "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 3932 inputs; these inputs were rejected"
    },
    {
      "id": "sf-maxRedeem-honored",
      "test": "test_sf_maxRedeem_honored",
      "description": "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)",
      "status": "inconclusive",
      "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 3932 inputs; these inputs were rejected"
    }
  ],
  "summary": {
    "pass": 0,
    "fail": 0,
    "inconclusive": 30,
    "notApplicable": 0
  },
  "startedAt": "2026-10-07T04:10:10.825Z",
  "durationMs": 479049
}