{
  "format": "teyl-independent-stress-audit",
  "version": 1,
  "status": "passed",
  "auditedAt": "2026-10-25T06:26:12.087Z",
  "projectId": "appgprj_6add6a166ccc8191b4c9ec48a98ae890",
  "walletId": "d9769f4a-e666-4c1c-9487-0235053236f9",
  "chainId": 46630,
  "address": "0xD73C32a1F862aa248C8e704785fB7e3A938eE8ce",
  "contracts": {
    "token": "0xEe2C3966A496982e7356E272C69cb7Bc37906dE9",
    "pool": "0xe24A39AfFd92c54C524d7B7DB6bFeb4F81185a20",
    "shortPool": "0xBF9A080a93dd646963E6d364De1060c66b4F314b"
  },
  "transactions": 40,
  "confirmed": 31,
  "expectedReverts": 9,
  "verifiedReverts": [
    {
      "name": "Reject deposit without allowance",
      "hash": "0x875dc8acdcd7d6c049cf85279e3ee027ac6f14b060ed169d348cd53f23b5276b",
      "reason": "ALLOWANCE",
      "block": "142290589"
    },
    {
      "name": "Reject one-unit excess reservation",
      "hash": "0xc4662620ead6a1d14ff35aa0770de58c5865434fe914a360d10d9a3ce05f0bcf",
      "reason": "CAPACITY",
      "block": "142290684"
    },
    {
      "name": "Reject withdrawal of locked capital",
      "hash": "0xa47c3b466e1cc473137224688a305e1d70a3a9962fe3425e2bcaff90710c2f18",
      "reason": "RESERVED_CAPITAL",
      "block": "142290715"
    },
    {
      "name": "Reject arithmetic overflow",
      "hash": "0x9aa81c480acc1c77cbd72d68e23a9c522c16f7092bf64bfa4c5ab16c450c313a",
      "reason": "Panic:17",
      "block": "142290748"
    },
    {
      "name": "Reject withdrawal one unit above free capital",
      "hash": "0x801bad7502108135ed2fa0e92d57b13849f5b2bccfbe584984749d5ae06828d4",
      "reason": "RESERVED_CAPITAL",
      "block": "142290813"
    },
    {
      "name": "Reject replay of an ineligible event",
      "hash": "0x7e7e5e5e894dcdec79258942ab0a4c310e835bd925aa9007066b4c0438c49120",
      "reason": "EVENT_REPLAY",
      "block": "142291352"
    },
    {
      "name": "Reject deposit after contract expiry",
      "hash": "0x5ce57b94345dd2760f666d0df600e9aa78d597f8c10779e86d064a7dd1d960ad",
      "reason": "HARNESS_EXPIRED",
      "block": "142291947"
    },
    {
      "name": "Reject commitment after contract expiry",
      "hash": "0x6756479f09f18a3ccc445ff637c5353e86e98a70693f083578f15ede064949f0",
      "reason": "HARNESS_EXPIRED",
      "block": "142291981"
    },
    {
      "name": "Reject settlement after contract expiry",
      "hash": "0x60884067a416ed4433dd0175addffcda18aa3a980e245db6833feb559644bc5e",
      "reason": "HARNESS_EXPIRED",
      "block": "142292008"
    }
  ],
  "lifecycleEvents": 24,
  "historicalCheckpoints": 49,
  "checkpointSemantics": "Block-end state grouped by pool and block after the last archived transaction in that block",
  "pools": {
    "pool": {
      "address": "0xe24a39affd92c54c524d7b7db6bfeb4f81185a20",
      "deposited": "10203",
      "paid": "6152",
      "withdrawn": "4051",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "policies": 6,
      "closedPolicies": 6,
      "conservation": "deposited = paid + withdrawn + capital"
    },
    "shortPool": {
      "address": "0xbf9a080a93dd646963e6d364de1060c66b4f314b",
      "deposited": "100",
      "paid": "0",
      "withdrawn": "100",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "policies": 1,
      "closedPolicies": 1,
      "conservation": "deposited = paid + withdrawn + capital"
    }
  },
  "initialWalletTokenBalance": "10000000",
  "finalWalletTokenBalance": "10000000",
  "walletTokenDelta": "0",
  "gasSpentWei": "41978050000000",
  "checkpoints": [
    {
      "pool": "pool",
      "block": "142290480",
      "afterTransaction": "0xaaab91bd6887ab944fd971bb24036c1a5577ee365dd7ac86c1524898e0e2d882",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "0",
      "tokenBalance": "0",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142290519",
      "afterTransaction": "0x9d3661397041e84c0ac3055ae489540bb18ae4243d1d748cf72b53c649f8ad3e",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "0",
      "tokenBalance": "0",
      "allowance": "10000",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142290548",
      "afterTransaction": "0x8ba6374a2651d02b76cc8463e3a044e3692a983de0245bd9f754d3782f8639d3",
      "capital": "10000",
      "reserved": "0",
      "free": "10000",
      "paid": "0",
      "tokenBalance": "10000",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142290589",
      "afterTransaction": "0x875dc8acdcd7d6c049cf85279e3ee027ac6f14b060ed169d348cd53f23b5276b",
      "capital": "10000",
      "reserved": "0",
      "free": "10000",
      "paid": "0",
      "tokenBalance": "10000",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142290623",
      "afterTransaction": "0xeda2863cf0f7c2d719fb2fb598232d5e8b37328cff872819ed8e920cc6574162",
      "capital": "10000",
      "reserved": "6000",
      "free": "4000",
      "paid": "0",
      "tokenBalance": "10000",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142290656",
      "afterTransaction": "0x87ab35eab114b7529a548d755a88dc2eee03872a31493fb57120e4306c561452",
      "capital": "10000",
      "reserved": "10000",
      "free": "0",
      "paid": "0",
      "tokenBalance": "10000",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142290684",
      "afterTransaction": "0xc4662620ead6a1d14ff35aa0770de58c5865434fe914a360d10d9a3ce05f0bcf",
      "capital": "10000",
      "reserved": "10000",
      "free": "0",
      "paid": "0",
      "tokenBalance": "10000",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142290715",
      "afterTransaction": "0xa47c3b466e1cc473137224688a305e1d70a3a9962fe3425e2bcaff90710c2f18",
      "capital": "10000",
      "reserved": "10000",
      "free": "0",
      "paid": "0",
      "tokenBalance": "10000",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142290748",
      "afterTransaction": "0x9aa81c480acc1c77cbd72d68e23a9c522c16f7092bf64bfa4c5ab16c450c313a",
      "capital": "10000",
      "reserved": "10000",
      "free": "0",
      "paid": "0",
      "tokenBalance": "10000",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142290780",
      "afterTransaction": "0x85bf93f9052142304ea6620d7e8b57f618a4b17baa89c1b2e16b17d9970e8c50",
      "capital": "7899",
      "reserved": "4000",
      "free": "3899",
      "paid": "2101",
      "tokenBalance": "7899",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142290813",
      "afterTransaction": "0x801bad7502108135ed2fa0e92d57b13849f5b2bccfbe584984749d5ae06828d4",
      "capital": "7899",
      "reserved": "4000",
      "free": "3899",
      "paid": "2101",
      "tokenBalance": "7899",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142290842",
      "afterTransaction": "0x8f7c4eb97fa14e27d5f1d439e0ae1dbefe70ba768694af1888fa6a158a62a161",
      "capital": "4000",
      "reserved": "4000",
      "free": "0",
      "paid": "2101",
      "tokenBalance": "4000",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142290874",
      "afterTransaction": "0x21243a928445eedc98b6be56950608bcf0d079bdf4efc2f44411e3573542ed4e",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "6101",
      "tokenBalance": "0",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142290903",
      "afterTransaction": "0xf961b37f4779c64583c96c524a40a813ee26cbe2a5c97237fe4af44c9fc474a5",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "6101",
      "tokenBalance": "0",
      "allowance": "3",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142290929",
      "afterTransaction": "0x9d4e74676b414d546f16db4804a4491c7d64f724125a6ceb0c3da149d750c461",
      "capital": "3",
      "reserved": "0",
      "free": "3",
      "paid": "6101",
      "tokenBalance": "3",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142290963",
      "afterTransaction": "0x51758d850108a4a62d7c3787909a431936b16c62eefae861b00be0e40525c9e9",
      "capital": "3",
      "reserved": "3",
      "free": "0",
      "paid": "6101",
      "tokenBalance": "3",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142290994",
      "afterTransaction": "0x09cd8a2b2fb8e129ace2f9db24ff372b7baff997fdefdaed2d4ab962f755e325",
      "capital": "2",
      "reserved": "0",
      "free": "2",
      "paid": "6102",
      "tokenBalance": "2",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291021",
      "afterTransaction": "0x66df6d12e5ef8338da8de3eb61984aeb78d96d08feefe742d0ef793e2f73b8ea",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "6102",
      "tokenBalance": "0",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291049",
      "afterTransaction": "0x7ed7c97f7ea4c35e7992dab2f407da0866795a0680762e468784c2210bb6dbc3",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "6102",
      "tokenBalance": "0",
      "allowance": "100",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291074",
      "afterTransaction": "0xdd36d15d1b869f1ee64443570a197755113f7234b285295ea64af6461d1bf905",
      "capital": "100",
      "reserved": "0",
      "free": "100",
      "paid": "6102",
      "tokenBalance": "100",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291108",
      "afterTransaction": "0xa3daf11961b162a7a3a083c862e53f68ce31eb1c70c4914f42643b434f32d08d",
      "capital": "100",
      "reserved": "100",
      "free": "0",
      "paid": "6102",
      "tokenBalance": "100",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291138",
      "afterTransaction": "0x874582912ea7100162d627a8dfc3ab2271fd1a98a14ca158e641addb41ee5113",
      "capital": "100",
      "reserved": "0",
      "free": "100",
      "paid": "6102",
      "tokenBalance": "100",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291157",
      "afterTransaction": "0xa2b56f215186acc6ca16d992ad24f6107191c819e4227d30e162ceb278c2cb4d",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "6102",
      "tokenBalance": "0",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291196",
      "afterTransaction": "0xac3cbf2dbfe5f8ec61afaa2ea3d8650aebe2797215a1a2cee91a748b9fb084c7",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "6102",
      "tokenBalance": "0",
      "allowance": "100",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291216",
      "afterTransaction": "0xa36aa70dcff74917894ffb0737f253013d2866cf48eb337db7789f2cc1b9c470",
      "capital": "100",
      "reserved": "0",
      "free": "100",
      "paid": "6102",
      "tokenBalance": "100",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291259",
      "afterTransaction": "0xa0d575b085801ac5e4f65f0aab1c95f7f047e1d52106abfc65efd24d6240e7a3",
      "capital": "100",
      "reserved": "50",
      "free": "50",
      "paid": "6102",
      "tokenBalance": "100",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291286",
      "afterTransaction": "0x8b798f58c5bddd02b97c50036205263251d3cd43a85dcb4d07ba08b850c44721",
      "capital": "100",
      "reserved": "100",
      "free": "0",
      "paid": "6102",
      "tokenBalance": "100",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291320",
      "afterTransaction": "0x4a4020ae7ad99f01c3c1e363e9fe0526e972b68b9fa50309c50d25fcd3ebf47e",
      "capital": "100",
      "reserved": "50",
      "free": "50",
      "paid": "6102",
      "tokenBalance": "100",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291352",
      "afterTransaction": "0x7e7e5e5e894dcdec79258942ab0a4c310e835bd925aa9007066b4c0438c49120",
      "capital": "100",
      "reserved": "50",
      "free": "50",
      "paid": "6102",
      "tokenBalance": "100",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291384",
      "afterTransaction": "0xd59de5e87c5197b45ce6efeb32e2020cda12872a10d985266810bbb38ed34dc3",
      "capital": "50",
      "reserved": "0",
      "free": "50",
      "paid": "6152",
      "tokenBalance": "50",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291415",
      "afterTransaction": "0xbc27d1c53a76d56e769f7353f6e25f309ec9e69ab364341df83afab4efa32da0",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "6152",
      "tokenBalance": "0",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291448",
      "afterTransaction": "0x2c144127935e8befee9e4ab5cd57aacea92b0fc60bf256dd45c7cadffac47d9c",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "6152",
      "tokenBalance": "0",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "shortPool",
      "block": "142291448",
      "afterTransaction": "0x2c144127935e8befee9e4ab5cd57aacea92b0fc60bf256dd45c7cadffac47d9c",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "0",
      "tokenBalance": "0",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291486",
      "afterTransaction": "0xc4e2c693e80694b3257b43f02f8bd928caf2265cb32bda0eff9e30e48ae44513",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "6152",
      "tokenBalance": "0",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "shortPool",
      "block": "142291486",
      "afterTransaction": "0xc4e2c693e80694b3257b43f02f8bd928caf2265cb32bda0eff9e30e48ae44513",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "0",
      "tokenBalance": "0",
      "allowance": "100",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291512",
      "afterTransaction": "0xc3c8d8f4c975d8e59a12acd7016cae99954b4afb1ba48f77cce0f0484d13d358",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "6152",
      "tokenBalance": "0",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "shortPool",
      "block": "142291512",
      "afterTransaction": "0xc3c8d8f4c975d8e59a12acd7016cae99954b4afb1ba48f77cce0f0484d13d358",
      "capital": "100",
      "reserved": "0",
      "free": "100",
      "paid": "0",
      "tokenBalance": "100",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291552",
      "afterTransaction": "0x2533a2cc7f143d2f1719f89a8547ec608359e7e4ebd76f323d6bcd4fa04351c6",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "6152",
      "tokenBalance": "0",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "shortPool",
      "block": "142291552",
      "afterTransaction": "0x2533a2cc7f143d2f1719f89a8547ec608359e7e4ebd76f323d6bcd4fa04351c6",
      "capital": "100",
      "reserved": "100",
      "free": "0",
      "paid": "0",
      "tokenBalance": "100",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291947",
      "afterTransaction": "0x5ce57b94345dd2760f666d0df600e9aa78d597f8c10779e86d064a7dd1d960ad",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "6152",
      "tokenBalance": "0",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "shortPool",
      "block": "142291947",
      "afterTransaction": "0x5ce57b94345dd2760f666d0df600e9aa78d597f8c10779e86d064a7dd1d960ad",
      "capital": "100",
      "reserved": "100",
      "free": "0",
      "paid": "0",
      "tokenBalance": "100",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142291981",
      "afterTransaction": "0x6756479f09f18a3ccc445ff637c5353e86e98a70693f083578f15ede064949f0",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "6152",
      "tokenBalance": "0",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "shortPool",
      "block": "142291981",
      "afterTransaction": "0x6756479f09f18a3ccc445ff637c5353e86e98a70693f083578f15ede064949f0",
      "capital": "100",
      "reserved": "100",
      "free": "0",
      "paid": "0",
      "tokenBalance": "100",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142292008",
      "afterTransaction": "0x60884067a416ed4433dd0175addffcda18aa3a980e245db6833feb559644bc5e",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "6152",
      "tokenBalance": "0",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "shortPool",
      "block": "142292008",
      "afterTransaction": "0x60884067a416ed4433dd0175addffcda18aa3a980e245db6833feb559644bc5e",
      "capital": "100",
      "reserved": "100",
      "free": "0",
      "paid": "0",
      "tokenBalance": "100",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142292035",
      "afterTransaction": "0x0128de79fe794628f57a26bcc5ad3b2eada1a08af98135abfafdb3405549fa11",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "6152",
      "tokenBalance": "0",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "shortPool",
      "block": "142292035",
      "afterTransaction": "0x0128de79fe794628f57a26bcc5ad3b2eada1a08af98135abfafdb3405549fa11",
      "capital": "100",
      "reserved": "0",
      "free": "100",
      "paid": "0",
      "tokenBalance": "100",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "pool",
      "block": "142292062",
      "afterTransaction": "0xab01b33094ffc898ef9446cc2cdac30bb05ea3f9edb5a68edb7fb7b8d5ac87a5",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "6152",
      "tokenBalance": "0",
      "allowance": "0",
      "status": "passed"
    },
    {
      "pool": "shortPool",
      "block": "142292062",
      "afterTransaction": "0xab01b33094ffc898ef9446cc2cdac30bb05ea3f9edb5a68edb7fb7b8d5ac87a5",
      "capital": "0",
      "reserved": "0",
      "free": "0",
      "paid": "0",
      "tokenBalance": "0",
      "allowance": "0",
      "status": "passed"
    }
  ],
  "method": "Canonical public receipts and calldata, independent BigInt accounting, exact ERC20 Transfers, historical getters and strict revert decoding",
  "scope": "Read-only audit — no key access, signatures, transactions or journal mutations"
}