{
  "schemaVersion": 3,
  "chainId": 143,
  "address": "0xaD663aC84052b52BE4ed1b27BA416505e84a00Bf",
  "blockNumber": "111104901",
  "standard": "erc4626",
  "vaultKind": "erc4626",
  "skipReason": null,
  "upstream": {
    "repo": "https://github.com/a16z/erc4626-tests",
    "commit": "ac485460e014f22807c1ff687e0b4dc3af96ee40"
  },
  "harnessSha256": "0x5b48d421f2ac4cdaf2ddee727b2f51348aa00f899b40dcd3323c7d6a3aa08890",
  "sfPropertiesSha256": "0x612e004770694c26092ccd557d619fcfff6605b538b463a070a4d4668a26991e",
  "runs": 16,
  "delta": "0",
  "seed": "0xff7b335aa2e04bc9158808fe5e129f7894a28a1aab743c7836b905d6e72f7712",
  "sender": "0x09CfcC65fC11034bfCfe68AE3E27573036daB643",
  "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": "0x8a673635981a8724bdb998053dbda652553b7fae198c24bc2004df34b3e6aa0f",
    "metadataHash": "0x1220aa09f38bd5daf5e2af5ab4e93e7e51be3e7e6838eb0e6f91ffac12606fb9d35a",
    "maskedCodeHash": "0xcfaa4487ab269cf72fc9f2828cfef7eee2e27e6fcdc203153bcaf74eb76a21f6",
    "codeSize": 21822,
    "proxy": null,
    "implementation": null,
    "implementationKey": "0x3673f1731aecf48f66d3b6d5954cdad85f89c023870ade5afcee736ba47e67b4",
    "implementationKeyKind": {
      "of": "self",
      "hash": "metadataHash+maskedCodeHash"
    }
  },
  "results": [
    {
      "id": "asset",
      "test": "test_asset",
      "description": "asset() does not revert",
      "status": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 3 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "totalAssets",
      "test": "test_totalAssets",
      "description": "totalAssets() does not revert",
      "status": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 3 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": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 2 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": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 2 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "maxDeposit",
      "test": "test_maxDeposit",
      "description": "maxDeposit does not revert",
      "status": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 3 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": "fail",
      "runs": 0,
      "reason": "Error: a >=~ b not satisfied [uint]",
      "counterexample": {
        "calls": [
          "test_previewDeposit(([0x0000000000000000000000000000000000003297, 0x0000000000000000000000000000000000001eD3, 0x0000000000000000000000000000000000003A2F, 0x00000000000000000000000000000000000020b6], [157198259, 4, 101, 1068], [101, 21685, 2835717307, 512], 19414), 16)"
        ],
        "calldata": "0x4c216f3500000000000000000000000000000000000000000000000000000000000032970000000000000000000000000000000000000000000000000000000000001ed30000000000000000000000000000000000000000000000000000000000003a2f00000000000000000000000000000000000000000000000000000000000020b600000000000000000000000000000000000000000000000000000000095ea7b300000000000000000000000000000000000000000000000000000000000000040000000000000000000000000000000000000000000000000000000000000065000000000000000000000000000000000000000000000000000000000000042c000000000000000000000000000000000000000000000000000000000000006500000000000000000000000000000000000000000000000000000000000054b500000000000000000000000000000000000000000000000000000000a9059cbb00000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000004bd60000000000000000000000000000000000000000000000000000000000000010",
        "logs": [
          "Error: a >=~ b not satisfied [uint]",
          "   Value a: 13",
          "   Value b: 15",
          " Max Delta: 0",
          "     Delta: 2"
        ]
      }
    },
    {
      "id": "deposit",
      "test": "test_deposit",
      "description": "deposit moves assets from the caller, credits shares to the receiver and spends allowance",
      "status": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 6 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "maxMint",
      "test": "test_maxMint",
      "description": "maxMint does not revert",
      "status": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 3 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": "fail",
      "runs": 0,
      "reason": "Error: a <=~ b not satisfied [uint]",
      "counterexample": {
        "calls": [
          "test_previewMint(([0x0000000000000000000000000000000000003297, 0x0000000000000000000000000000000000001eD3, 0x0000000000000000000000000000000000003A2F, 0x00000000000000000000000000000000000020b6], [157198259, 4, 101, 1068], [101, 21685, 2835717307, 512], 19414), 16)"
        ],
        "calldata": "0xa21f731f00000000000000000000000000000000000000000000000000000000000032970000000000000000000000000000000000000000000000000000000000001ed30000000000000000000000000000000000000000000000000000000000003a2f00000000000000000000000000000000000000000000000000000000000020b600000000000000000000000000000000000000000000000000000000095ea7b300000000000000000000000000000000000000000000000000000000000000040000000000000000000000000000000000000000000000000000000000000065000000000000000000000000000000000000000000000000000000000000042c000000000000000000000000000000000000000000000000000000000000006500000000000000000000000000000000000000000000000000000000000054b500000000000000000000000000000000000000000000000000000000a9059cbb00000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000004bd60000000000000000000000000000000000000000000000000000000000000010",
        "logs": [
          "Error: a <=~ b not satisfied [uint]",
          "   Value a: 19",
          "   Value b: 17",
          " Max Delta: 0",
          "     Delta: 2"
        ]
      }
    },
    {
      "id": "mint",
      "test": "test_mint",
      "description": "mint moves assets from the caller, credits shares to the receiver and spends allowance",
      "status": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 6 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "maxWithdraw",
      "test": "test_maxWithdraw",
      "description": "maxWithdraw does not revert",
      "status": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 3 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": "fail",
      "runs": 3,
      "reason": "Error: a <=~ b not satisfied [uint]; deposit reverted below maxDeposit 2 times (inputs discarded, EIP-4626 says it must not revert)",
      "counterexample": {
        "calls": [
          "test_previewWithdraw(([0x0000000000000000000000000000000000003b92, 0x000000000000000000000000000000000225e243, 0x000000000000000000000000000000000000085f, 0x00000000000000000000000000000000000009bA], [32, 65535, 5207, 2835717307], [20524, 20319, 1, 0], 1739), 101)"
        ],
        "calldata": "0xb9e719980000000000000000000000000000000000000000000000000000000000003b92000000000000000000000000000000000000000000000000000000000225e243000000000000000000000000000000000000000000000000000000000000085f00000000000000000000000000000000000000000000000000000000000009ba0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000ffff000000000000000000000000000000000000000000000000000000000000145700000000000000000000000000000000000000000000000000000000a9059cbb000000000000000000000000000000000000000000000000000000000000502c0000000000000000000000000000000000000000000000000000000000004f5f0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006cb0000000000000000000000000000000000000000000000000000000000000065",
        "logs": [
          "Error: a <=~ b not satisfied [uint]",
          "   Value a: 101",
          "   Value b: 100",
          " Max Delta: 0",
          "     Delta: 1"
        ]
      }
    },
    {
      "id": "withdraw",
      "test": "test_withdraw",
      "description": "withdraw burns owner shares, pays the receiver and spends share allowance",
      "status": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 6 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": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 2 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "id": "maxRedeem",
      "test": "test_maxRedeem",
      "description": "maxRedeem does not revert",
      "status": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 3 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": "fail",
      "runs": 0,
      "reason": "Error: a >=~ b not satisfied [uint]",
      "counterexample": {
        "calls": [
          "test_previewRedeem(([0xc98BA4fa5c63BEDc8Cc1d4593A8c214fCb466A38, 0xb9ca2B548F0fAFFd31faab8bbE239d18fa6808a5, 0x98580F0723b41741E24Ca1F02816008fFeb01216, 0x9AC6fAC565d56D53819e2b28DE451ce5A7c8f023], [9220608798215387755040494818446, 407874665183746621197537, 30551, 11873766074402783478000332349116415095670], [0, 115667119845850676882803724770741891352169688657841242016579, 1207708460575327420783003370666406658284243044314408, 133620690507839821173952028295391057], -42759277108058313194783526028221309025091605975527), 25182622098584176528094655622321256022323754704106)"
        ],
        "calldata": "0x89bf68d6000000000000000000000000c98ba4fa5c63bedc8cc1d4593a8c214fcb466a38000000000000000000000000b9ca2b548f0faffd31faab8bbe239d18fa6808a500000000000000000000000098580f0723b41741e24ca1f02816008ffeb012160000000000000000000000009ac6fac565d56d53819e2b28de451ce5a7c8f02300000000000000000000000000000000000000746164d5753437fac7344b948e00000000000000000000000000000000000000000000565eee0e3c064b804ce1000000000000000000000000000000000000000000000000000000000000775700000000000000000000000000000022e4d429dd5fed37472cb4b25e9f163376000000000000000000000000000000000000000000000000000000000000000000000000000000126d45140ac02402f2715d7f6e1fdda10f2ed7edbb6f088b4300000000000000000000033a59005b647260538f7e72ae852459eab3d2bcad28000000000000000000000000000000000019bc0238d00891be3a706353956751ffffffffffffffffffffffe2be2fb36d94ec93ca323a6432570ae3ac4350ae190000000000000000000000113b0bd45f720bf91a452e0e5341ca46da5a1c1cea",
        "logs": [
          "Error: a >=~ b not satisfied [uint]",
          "   Value a: 4742",
          "   Value b: 4744",
          " Max Delta: 0",
          "     Delta: 2"
        ]
      }
    },
    {
      "id": "redeem",
      "test": "test_redeem",
      "description": "redeem burns owner shares, pays the receiver and spends share allowance",
      "status": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 6 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": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 2 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": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 2 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": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 2 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": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 2 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": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 2 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": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 2 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": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 2 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": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 2 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": "pass",
      "runs": 16,
      "reason": "deposit reverted below maxDeposit 2 times (inputs discarded, EIP-4626 says it must not revert)"
    },
    {
      "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": "fail",
      "runs": 0,
      "reason": "deposit(3) reverted with selector 0x03f7f64c while maxDeposit is 115792089237316195423570985008687907853269984665640564039457584007913129639935",
      "counterexample": {
        "calls": [
          "test_sf_maxDeposit_honored(160544315981874738191092454704602772137941320989904921773, 3)"
        ],
        "calldata": "0x600eccd70000000000000000068c292ea22f5612a587824cfde2ba514c28d28bffeae4ad0000000000000000000000000000000000000000000000000000000000000003",
        "logs": []
      }
    },
    {
      "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": "fail",
      "runs": 0,
      "reason": "mint(58) reverted with selector 0x7939f424 while maxMint is 115792089237316195423570985008687907853269984665640564039457584007913129639935",
      "counterexample": {
        "calls": [
          "test_sf_maxMint_honored(1000000, 58)"
        ],
        "calldata": "0xb1f65c3b00000000000000000000000000000000000000000000000000000000000f4240000000000000000000000000000000000000000000000000000000000000003a",
        "logs": []
      }
    },
    {
      "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": "fail",
      "runs": 0,
      "reason": "withdraw(920840585694) reverted with selector 0xf4d678b8 while maxWithdraw is 920840585694",
      "counterexample": {
        "calls": [
          "test_sf_maxWithdraw_honored(3073562046010644156705264279357228073014556446075641747972859750458656, 24381927345288366534113755782763257843206464336677411587551514920840585697, 115792089237316195423570985008687907853269984665640564039457584007913129639935)"
        ],
        "calldata": "0x72b950e200000072013774fa53a4b131cc1e4f0982bfbd0581c847335f00ffd897532520000dccb7f2e11efc3f917abbc81a5104c73eca3c1996aee2c251f1ae8333e1e1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
        "logs": []
      }
    },
    {
      "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": "fail",
      "runs": 0,
      "reason": "redeem(1) reverted with selector 0x03f7f64c while maxRedeem is 1",
      "counterexample": {
        "calls": [
          "test_sf_maxRedeem_honored(21755, 4, 22828)"
        ],
        "calldata": "0x942509aa00000000000000000000000000000000000000000000000000000000000054fb0000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000592c",
        "logs": []
      }
    }
  ],
  "summary": {
    "pass": 22,
    "fail": 8,
    "inconclusive": 0,
    "notApplicable": 0
  },
  "startedAt": "2026-10-06T18:05:47.846Z",
  "durationMs": 63501
}