{
  "schemaVersion": 3,
  "chainId": 143,
  "address": "0x1B68626dCa36c7fE922fD2d55E4f631d962dE19c",
  "blockNumber": "111200976",
  "standard": "erc4626",
  "vaultKind": "erc7535",
  "skipReason": "native-asset",
  "upstream": {
    "repo": "https://github.com/a16z/erc4626-tests",
    "commit": "ac485460e014f22807c1ff687e0b4dc3af96ee40"
  },
  "harnessSha256": "0x5b48d421f2ac4cdaf2ddee727b2f51348aa00f899b40dcd3323c7d6a3aa08890",
  "sfPropertiesSha256": "0x612e004770694c26092ccd557d619fcfff6605b538b463a070a4d4668a26991e",
  "runs": 16,
  "delta": "0",
  "seed": null,
  "sender": null,
  "toolchain": {
    "forgeVersion": null,
    "forgeStd": {
      "repo": "https://github.com/foundry-rs/forge-std",
      "commit": "bf647bd6046f2f7da30d0c2bf435e5c76a780c1b"
    },
    "foundryTomlSha256": "0xee1cdf6abd473ff042b6385bd46833ed08053d608d0a5645ad159fc2cca1b9b3",
    "maxTestRejects": 4096
  },
  "identity": {
    "codeHash": "0x0e405f8ff7f1fb273d85ad25d643008f8b9fae93b140a7dd213f0795072b7040",
    "metadataHash": "0x1220ee328ee0a060fb0d2381ed9aae892d0c9c0ea7629bb7ead28fde72fee3f32308",
    "maskedCodeHash": "0xf3203dae4d02cd8e9b1ede2d6d9d3d28305e30622dd74b6b4bf256485d816e45",
    "codeSize": 793,
    "proxy": {
      "kind": "eip1967",
      "implementation": "0x8Ee4FF5FF50198dcbB7B882A0781F42724Dd095f"
    },
    "implementation": {
      "address": "0x8Ee4FF5FF50198dcbB7B882A0781F42724Dd095f",
      "codeHash": "0xbf1546ecae1315f4ddded3a56c8b1463f39a66bff04f4c91471154ad593574cf",
      "metadataHash": "0x12201b985e7af200778187b2189c12008baeefe09e1897baddc50db38be408a66411",
      "maskedCodeHash": "0x72547620877d3c8a5f10053c44536d84593dc29c4c008eb4ca37620e55da7bcc"
    },
    "implementationKey": "0x9755dc5465c8f32ed5a61b72a5dfbd3334ebaf5e3527fdcc7d11e00b8bbdb29d",
    "implementationKeyKind": {
      "of": "implementation",
      "hash": "metadataHash+maskedCodeHash"
    }
  },
  "results": [
    {
      "id": "asset",
      "test": "test_asset",
      "description": "asset() does not revert",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "totalAssets",
      "test": "test_totalAssets",
      "description": "totalAssets() does not revert",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "convertToShares",
      "test": "test_convertToShares",
      "description": "convertToShares gives the same result for any caller",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "convertToAssets",
      "test": "test_convertToAssets",
      "description": "convertToAssets gives the same result for any caller",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "maxDeposit",
      "test": "test_maxDeposit",
      "description": "maxDeposit does not revert",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "previewDeposit",
      "test": "test_previewDeposit",
      "description": "deposit mints at least the shares previewDeposit quoted",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "deposit",
      "test": "test_deposit",
      "description": "deposit moves assets from the caller, credits shares to the receiver and spends allowance",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "maxMint",
      "test": "test_maxMint",
      "description": "maxMint does not revert",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "previewMint",
      "test": "test_previewMint",
      "description": "mint pulls at most the assets previewMint quoted",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "mint",
      "test": "test_mint",
      "description": "mint moves assets from the caller, credits shares to the receiver and spends allowance",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "maxWithdraw",
      "test": "test_maxWithdraw",
      "description": "maxWithdraw does not revert",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "previewWithdraw",
      "test": "test_previewWithdraw",
      "description": "withdraw burns at most the shares previewWithdraw quoted",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "withdraw",
      "test": "test_withdraw",
      "description": "withdraw burns owner shares, pays the receiver and spends share allowance",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "withdraw-zero-allowance",
      "test": "test_withdraw_zero_allowance",
      "description": "withdraw on behalf of an owner without allowance reverts",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "maxRedeem",
      "test": "test_maxRedeem",
      "description": "maxRedeem does not revert",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "previewRedeem",
      "test": "test_previewRedeem",
      "description": "redeem pays at least the assets previewRedeem quoted",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "redeem",
      "test": "test_redeem",
      "description": "redeem burns owner shares, pays the receiver and spends share allowance",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "redeem-zero-allowance",
      "test": "test_redeem_zero_allowance",
      "description": "redeem on behalf of an owner without allowance reverts",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "RT-deposit-redeem",
      "test": "test_RT_deposit_redeem",
      "description": "redeem(deposit(a)) returns no more than a",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "RT-deposit-withdraw",
      "test": "test_RT_deposit_withdraw",
      "description": "withdraw(a) burns at least the shares deposit(a) minted",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "RT-redeem-deposit",
      "test": "test_RT_redeem_deposit",
      "description": "deposit(redeem(s)) mints no more than s",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "RT-redeem-mint",
      "test": "test_RT_redeem_mint",
      "description": "mint(s) costs at least the assets redeem(s) paid",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "RT-mint-withdraw",
      "test": "test_RT_mint_withdraw",
      "description": "withdraw(mint(s)) burns at least s shares",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "RT-mint-redeem",
      "test": "test_RT_mint_redeem",
      "description": "redeem(s) pays no more than mint(s) cost",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "RT-withdraw-mint",
      "test": "test_RT_withdraw_mint",
      "description": "mint(withdraw(a)) costs at least a",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "RT-withdraw-deposit",
      "test": "test_RT_withdraw_deposit",
      "description": "deposit(a) mints no more than the shares withdraw(a) burned",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "sf-maxDeposit-honored",
      "test": "test_sf_maxDeposit_honored",
      "description": "deposit does not revert for amounts up to maxDeposit (EIP-4626: maxDeposit is the most deposit accepts without reverting)",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "sf-maxMint-honored",
      "test": "test_sf_maxMint_honored",
      "description": "mint does not revert for shares up to maxMint (EIP-4626: maxMint is the most mint accepts without reverting)",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "sf-maxWithdraw-honored",
      "test": "test_sf_maxWithdraw_honored",
      "description": "withdraw does not revert for assets up to maxWithdraw (EIP-4626: maxWithdraw MUST return 0 when withdrawals are disabled)",
      "status": "not_applicable",
      "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"
    },
    {
      "id": "sf-maxRedeem-honored",
      "test": "test_sf_maxRedeem_honored",
      "description": "redeem does not revert for shares up to maxRedeem (EIP-4626: maxRedeem MUST return 0 when redemptions are disabled)",
      "status": "not_applicable",
      "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"
    }
  ],
  "summary": {
    "pass": 0,
    "fail": 0,
    "inconclusive": 0,
    "notApplicable": 30
  },
  "startedAt": "2026-10-07T02:09:50.819Z",
  "durationMs": 1627
}