{"functions":[{"name":"build-debt-entry","access":"private","args":[{"name":"debt-entry","type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]}}],"outputs":{"type":{"tuple":[{"name":"actual-debt","type":"uint128"},{"name":"asset-addr","type":"principal"},{"name":"asset-id","type":"uint128"},{"name":"borrow-index","type":"uint128"},{"name":"interest-accrued","type":"uint128"},{"name":"scaled-debt","type":"uint128"},{"name":"underlying","type":"principal"}]}}},{"name":"build-interest-curve","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":{"tuple":[{"name":"current-rate","type":"uint128"},{"name":"points-rate","type":{"list":{"type":"uint128","length":8}}},{"name":"points-util","type":{"list":{"type":"uint128","length":8}}},{"name":"underlying","type":"principal"},{"name":"vault-id","type":"uint128"}]}}},{"name":"build-reserve-data","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":{"tuple":[{"name":"available-liquidity","type":"uint128"},{"name":"available-to-borrow","type":"uint128"},{"name":"borrow-apy","type":"uint128"},{"name":"borrow-index","type":"uint128"},{"name":"cap-debt","type":"uint128"},{"name":"cap-supply","type":"uint128"},{"name":"fee-reserve","type":"uint128"},{"name":"last-update","type":"uint128"},{"name":"liquidity-index","type":"uint128"},{"name":"supply-apy","type":"uint128"},{"name":"total-assets","type":"uint128"},{"name":"total-borrowed","type":"uint128"},{"name":"total-supply","type":"uint128"},{"name":"underlying","type":"principal"},{"name":"utilization","type":"uint128"},{"name":"vault-id","type":"uint128"}]}}},{"name":"calc-supply-apy","access":"private","args":[{"name":"borrow-rate","type":"uint128"},{"name":"utilization","type":"uint128"},{"name":"reserve-fee","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"find-collateral-amount-iter","access":"private","args":[{"name":"entry","type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"}]}},{"name":"acc","type":{"tuple":[{"name":"amount","type":"uint128"},{"name":"target","type":"uint128"}]}}],"outputs":{"type":{"tuple":[{"name":"amount","type":"uint128"},{"name":"target","type":"uint128"}]}}},{"name":"get-asset-price","access":"private","args":[{"name":"aid","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"get-dia-price","access":"private","args":[{"name":"key","type":{"string-ascii":{"length":32}}}],"outputs":{"type":{"optional":"uint128"}}},{"name":"get-pyth-price","access":"private","args":[{"name":"feed-id","type":{"buffer":{"length":32}}}],"outputs":{"type":{"optional":"uint128"}}},{"name":"get-ststx-ratio","access":"private","args":[],"outputs":{"type":{"response":{"ok":"uint128","error":"uint128"}}}},{"name":"get-vault-available-liquidity","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"get-vault-borrow-index","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"get-vault-cap-debt","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"get-vault-cap-supply","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"get-vault-debt","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"get-vault-fee-reserve","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"get-vault-interest-rate","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"get-vault-last-update","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"get-vault-liquidity-index","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"get-vault-points-rate","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":{"list":{"type":"uint128","length":8}}}},{"name":"get-vault-points-util","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":{"list":{"type":"uint128","length":8}}}},{"name":"get-vault-total-assets","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"get-vault-total-supply","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"get-vault-underlying","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":"principal"}},{"name":"get-vault-underlying-balance","access":"private","args":[{"name":"vid","type":"uint128"},{"name":"account","type":"principal"}],"outputs":{"type":"uint128"}},{"name":"get-vault-utilization","access":"private","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"iter-build-asset","access":"private","args":[{"name":"id","type":"uint128"},{"name":"acc","type":{"tuple":[{"name":"max-id","type":"uint128"},{"name":"result","type":{"list":{"type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"max-staleness","type":"uint128"},{"name":"oracle-callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"oracle-ident","type":{"buffer":{"length":32}}},{"name":"oracle-type","type":{"buffer":{"length":1}}}]},"length":128}}}]}}],"outputs":{"type":{"tuple":[{"name":"max-id","type":"uint128"},{"name":"result","type":{"list":{"type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"max-staleness","type":"uint128"},{"name":"oracle-callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"oracle-ident","type":{"buffer":{"length":32}}},{"name":"oracle-type","type":{"buffer":{"length":1}}}]},"length":128}}}]}}},{"name":"iter-build-egroup","access":"private","args":[{"name":"id","type":"uint128"},{"name":"acc","type":{"tuple":[{"name":"max-id","type":"uint128"},{"name":"result","type":{"list":{"type":{"tuple":[{"name":"borrow-disabled-mask","type":"uint128"},{"name":"id","type":"uint128"},{"name":"liq-curve-exp","type":"uint128"},{"name":"liq-penalty-max","type":"uint128"},{"name":"liq-penalty-min","type":"uint128"},{"name":"ltv-borrow","type":"uint128"},{"name":"ltv-liq-full","type":"uint128"},{"name":"ltv-liq-partial","type":"uint128"},{"name":"mask","type":"uint128"}]},"length":128}}}]}}],"outputs":{"type":{"tuple":[{"name":"max-id","type":"uint128"},{"name":"result","type":{"list":{"type":{"tuple":[{"name":"borrow-disabled-mask","type":"uint128"},{"name":"id","type":"uint128"},{"name":"liq-curve-exp","type":"uint128"},{"name":"liq-penalty-max","type":"uint128"},{"name":"liq-penalty-min","type":"uint128"},{"name":"ltv-borrow","type":"uint128"},{"name":"ltv-liq-full","type":"uint128"},{"name":"ltv-liq-partial","type":"uint128"},{"name":"mask","type":"uint128"}]},"length":128}}}]}}},{"name":"min","access":"private","args":[{"name":"a","type":"uint128"},{"name":"b","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"mul-bps-down","access":"private","args":[{"name":"x","type":"uint128"},{"name":"y","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"mul-div-down","access":"private","args":[{"name":"x","type":"uint128"},{"name":"y","type":"uint128"},{"name":"z","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"normalize-pyth","access":"private","args":[{"name":"price","type":"int128"},{"name":"expo","type":"int128"}],"outputs":{"type":"uint128"}},{"name":"sum-collateral-usd","access":"private","args":[{"name":"entry","type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"}]}},{"name":"acc","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"sum-debt-usd","access":"private","args":[{"name":"entry","type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"scaled","type":"uint128"}]}},{"name":"acc","type":"uint128"}],"outputs":{"type":"uint128"}},{"name":"underlying-to-vault-id","access":"private","args":[{"name":"underlying","type":"principal"}],"outputs":{"type":{"response":{"ok":"uint128","error":"uint128"}}}},{"name":"get-all-assets","access":"read_only","args":[],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"assets","type":{"list":{"type":{"tuple":[{"name":"addr","type":"principal"},{"name":"collateral","type":"bool"},{"name":"debt","type":"bool"},{"name":"decimals","type":"uint128"},{"name":"id","type":"uint128"},{"name":"max-staleness","type":"uint128"},{"name":"oracle-callcode","type":{"optional":{"buffer":{"length":1}}}},{"name":"oracle-ident","type":{"buffer":{"length":32}}},{"name":"oracle-type","type":{"buffer":{"length":1}}}]},"length":128}}},{"name":"count","type":"uint128"}]},"error":"none"}}}},{"name":"get-all-egroups","access":"read_only","args":[],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"count","type":"uint128"},{"name":"egroups","type":{"list":{"type":{"tuple":[{"name":"borrow-disabled-mask","type":"uint128"},{"name":"id","type":"uint128"},{"name":"liq-curve-exp","type":"uint128"},{"name":"liq-penalty-max","type":"uint128"},{"name":"liq-penalty-min","type":"uint128"},{"name":"ltv-borrow","type":"uint128"},{"name":"ltv-liq-full","type":"uint128"},{"name":"ltv-liq-partial","type":"uint128"},{"name":"mask","type":"uint128"}]},"length":128}}}]},"error":"none"}}}},{"name":"get-all-interest-curves","access":"read_only","args":[],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"sbtc","type":{"tuple":[{"name":"current-rate","type":"uint128"},{"name":"points-rate","type":{"list":{"type":"uint128","length":8}}},{"name":"points-util","type":{"list":{"type":"uint128","length":8}}},{"name":"underlying","type":"principal"},{"name":"vault-id","type":"uint128"}]}},{"name":"ststx","type":{"tuple":[{"name":"current-rate","type":"uint128"},{"name":"points-rate","type":{"list":{"type":"uint128","length":8}}},{"name":"points-util","type":{"list":{"type":"uint128","length":8}}},{"name":"underlying","type":"principal"},{"name":"vault-id","type":"uint128"}]}},{"name":"ststxbtc","type":{"tuple":[{"name":"current-rate","type":"uint128"},{"name":"points-rate","type":{"list":{"type":"uint128","length":8}}},{"name":"points-util","type":{"list":{"type":"uint128","length":8}}},{"name":"underlying","type":"principal"},{"name":"vault-id","type":"uint128"}]}},{"name":"stx","type":{"tuple":[{"name":"current-rate","type":"uint128"},{"name":"points-rate","type":{"list":{"type":"uint128","length":8}}},{"name":"points-util","type":{"list":{"type":"uint128","length":8}}},{"name":"underlying","type":"principal"},{"name":"vault-id","type":"uint128"}]}},{"name":"usdc","type":{"tuple":[{"name":"current-rate","type":"uint128"},{"name":"points-rate","type":{"list":{"type":"uint128","length":8}}},{"name":"points-util","type":{"list":{"type":"uint128","length":8}}},{"name":"underlying","type":"principal"},{"name":"vault-id","type":"uint128"}]}},{"name":"usdh","type":{"tuple":[{"name":"current-rate","type":"uint128"},{"name":"points-rate","type":{"list":{"type":"uint128","length":8}}},{"name":"points-util","type":{"list":{"type":"uint128","length":8}}},{"name":"underlying","type":"principal"},{"name":"vault-id","type":"uint128"}]}}]},"error":"none"}}}},{"name":"get-all-reserves","access":"read_only","args":[],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"sbtc","type":{"tuple":[{"name":"available-liquidity","type":"uint128"},{"name":"available-to-borrow","type":"uint128"},{"name":"borrow-apy","type":"uint128"},{"name":"borrow-index","type":"uint128"},{"name":"cap-debt","type":"uint128"},{"name":"cap-supply","type":"uint128"},{"name":"fee-reserve","type":"uint128"},{"name":"last-update","type":"uint128"},{"name":"liquidity-index","type":"uint128"},{"name":"supply-apy","type":"uint128"},{"name":"total-assets","type":"uint128"},{"name":"total-borrowed","type":"uint128"},{"name":"total-supply","type":"uint128"},{"name":"underlying","type":"principal"},{"name":"utilization","type":"uint128"},{"name":"vault-id","type":"uint128"}]}},{"name":"ststx","type":{"tuple":[{"name":"available-liquidity","type":"uint128"},{"name":"available-to-borrow","type":"uint128"},{"name":"borrow-apy","type":"uint128"},{"name":"borrow-index","type":"uint128"},{"name":"cap-debt","type":"uint128"},{"name":"cap-supply","type":"uint128"},{"name":"fee-reserve","type":"uint128"},{"name":"last-update","type":"uint128"},{"name":"liquidity-index","type":"uint128"},{"name":"supply-apy","type":"uint128"},{"name":"total-assets","type":"uint128"},{"name":"total-borrowed","type":"uint128"},{"name":"total-supply","type":"uint128"},{"name":"underlying","type":"principal"},{"name":"utilization","type":"uint128"},{"name":"vault-id","type":"uint128"}]}},{"name":"ststxbtc","type":{"tuple":[{"name":"available-liquidity","type":"uint128"},{"name":"available-to-borrow","type":"uint128"},{"name":"borrow-apy","type":"uint128"},{"name":"borrow-index","type":"uint128"},{"name":"cap-debt","type":"uint128"},{"name":"cap-supply","type":"uint128"},{"name":"fee-reserve","type":"uint128"},{"name":"last-update","type":"uint128"},{"name":"liquidity-index","type":"uint128"},{"name":"supply-apy","type":"uint128"},{"name":"total-assets","type":"uint128"},{"name":"total-borrowed","type":"uint128"},{"name":"total-supply","type":"uint128"},{"name":"underlying","type":"principal"},{"name":"utilization","type":"uint128"},{"name":"vault-id","type":"uint128"}]}},{"name":"stx","type":{"tuple":[{"name":"available-liquidity","type":"uint128"},{"name":"available-to-borrow","type":"uint128"},{"name":"borrow-apy","type":"uint128"},{"name":"borrow-index","type":"uint128"},{"name":"cap-debt","type":"uint128"},{"name":"cap-supply","type":"uint128"},{"name":"fee-reserve","type":"uint128"},{"name":"last-update","type":"uint128"},{"name":"liquidity-index","type":"uint128"},{"name":"supply-apy","type":"uint128"},{"name":"total-assets","type":"uint128"},{"name":"total-borrowed","type":"uint128"},{"name":"total-supply","type":"uint128"},{"name":"underlying","type":"principal"},{"name":"utilization","type":"uint128"},{"name":"vault-id","type":"uint128"}]}},{"name":"usdc","type":{"tuple":[{"name":"available-liquidity","type":"uint128"},{"name":"available-to-borrow","type":"uint128"},{"name":"borrow-apy","type":"uint128"},{"name":"borrow-index","type":"uint128"},{"name":"cap-debt","type":"uint128"},{"name":"cap-supply","type":"uint128"},{"name":"fee-reserve","type":"uint128"},{"name":"last-update","type":"uint128"},{"name":"liquidity-index","type":"uint128"},{"name":"supply-apy","type":"uint128"},{"name":"total-assets","type":"uint128"},{"name":"total-borrowed","type":"uint128"},{"name":"total-supply","type":"uint128"},{"name":"underlying","type":"principal"},{"name":"utilization","type":"uint128"},{"name":"vault-id","type":"uint128"}]}},{"name":"usdh","type":{"tuple":[{"name":"available-liquidity","type":"uint128"},{"name":"available-to-borrow","type":"uint128"},{"name":"borrow-apy","type":"uint128"},{"name":"borrow-index","type":"uint128"},{"name":"cap-debt","type":"uint128"},{"name":"cap-supply","type":"uint128"},{"name":"fee-reserve","type":"uint128"},{"name":"last-update","type":"uint128"},{"name":"liquidity-index","type":"uint128"},{"name":"supply-apy","type":"uint128"},{"name":"total-assets","type":"uint128"},{"name":"total-borrowed","type":"uint128"},{"name":"total-supply","type":"uint128"},{"name":"underlying","type":"principal"},{"name":"utilization","type":"uint128"},{"name":"vault-id","type":"uint128"}]}}]},"error":"none"}}}},{"name":"get-all-vault-ratios","access":"read_only","args":[],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"sbtc","type":{"tuple":[{"name":"shares-to-assets","type":"uint128"},{"name":"underlying","type":"principal"},{"name":"vault-id","type":"uint128"}]}},{"name":"ststx","type":{"tuple":[{"name":"shares-to-assets","type":"uint128"},{"name":"underlying","type":"principal"},{"name":"vault-id","type":"uint128"}]}},{"name":"ststxbtc","type":{"tuple":[{"name":"shares-to-assets","type":"uint128"},{"name":"underlying","type":"principal"},{"name":"vault-id","type":"uint128"}]}},{"name":"stx","type":{"tuple":[{"name":"shares-to-assets","type":"uint128"},{"name":"underlying","type":"principal"},{"name":"vault-id","type":"uint128"}]}},{"name":"usdc","type":{"tuple":[{"name":"shares-to-assets","type":"uint128"},{"name":"underlying","type":"principal"},{"name":"vault-id","type":"uint128"}]}},{"name":"usdh","type":{"tuple":[{"name":"shares-to-assets","type":"uint128"},{"name":"underlying","type":"principal"},{"name":"vault-id","type":"uint128"}]}}]},"error":"none"}}}},{"name":"get-asset-apys","access":"read_only","args":[{"name":"underlying","type":"principal"}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"borrow-apy","type":"uint128"},{"name":"fee-reserve","type":"uint128"},{"name":"supply-apy","type":"uint128"},{"name":"underlying","type":"principal"},{"name":"utilization","type":"uint128"},{"name":"vault-id","type":"uint128"}]},"error":"uint128"}}}},{"name":"get-egroup","access":"read_only","args":[{"name":"id","type":"uint128"}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"borrow-disabled-mask","type":"uint128"},{"name":"id","type":"uint128"},{"name":"liq-curve-exp","type":"uint128"},{"name":"liq-penalty-max","type":"uint128"},{"name":"liq-penalty-min","type":"uint128"},{"name":"ltv-borrow","type":"uint128"},{"name":"ltv-liq-full","type":"uint128"},{"name":"ltv-liq-partial","type":"uint128"},{"name":"mask","type":"uint128"}]},"error":"none"}}}},{"name":"get-interest-curve","access":"read_only","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"current-rate","type":"uint128"},{"name":"points-rate","type":{"list":{"type":"uint128","length":8}}},{"name":"points-util","type":{"list":{"type":"uint128","length":8}}},{"name":"underlying","type":"principal"},{"name":"vault-id","type":"uint128"}]},"error":"uint128"}}}},{"name":"get-market-vault-balances","access":"read_only","args":[],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"underlying","type":{"tuple":[{"name":"sbtc","type":"uint128"},{"name":"ststx","type":"uint128"},{"name":"ststxbtc","type":"uint128"},{"name":"usdc","type":"uint128"},{"name":"usdh","type":"uint128"},{"name":"wstx","type":"uint128"}]}},{"name":"ztokens","type":{"tuple":[{"name":"vault-sbtc","type":"uint128"},{"name":"vault-ststx","type":"uint128"},{"name":"vault-ststxbtc","type":"uint128"},{"name":"vault-stx","type":"uint128"},{"name":"vault-usdc","type":"uint128"},{"name":"vault-usdh","type":"uint128"}]}}]},"error":"none"}}}},{"name":"get-market-vault-balances-user","access":"read_only","args":[{"name":"account","type":"principal"}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"market-vault-collateral","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"}]},"length":64}}},{"name":"vault-balances","type":{"tuple":[{"name":"sbtc","type":"uint128"},{"name":"ststx","type":"uint128"},{"name":"ststxbtc","type":"uint128"},{"name":"stx","type":"uint128"},{"name":"usdc","type":"uint128"},{"name":"usdh","type":"uint128"}]}}]},"error":"none"}}}},{"name":"get-protocol-summary","access":"read_only","args":[],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"asset-count","type":"uint128"},{"name":"egroup-count","type":"uint128"},{"name":"total-borrowed","type":"uint128"},{"name":"total-supplied","type":"uint128"}]},"error":"none"}}}},{"name":"get-reserve","access":"read_only","args":[{"name":"vid","type":"uint128"}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"available-liquidity","type":"uint128"},{"name":"available-to-borrow","type":"uint128"},{"name":"borrow-apy","type":"uint128"},{"name":"borrow-index","type":"uint128"},{"name":"cap-debt","type":"uint128"},{"name":"cap-supply","type":"uint128"},{"name":"fee-reserve","type":"uint128"},{"name":"last-update","type":"uint128"},{"name":"liquidity-index","type":"uint128"},{"name":"supply-apy","type":"uint128"},{"name":"total-assets","type":"uint128"},{"name":"total-borrowed","type":"uint128"},{"name":"total-supply","type":"uint128"},{"name":"underlying","type":"principal"},{"name":"utilization","type":"uint128"},{"name":"vault-id","type":"uint128"}]},"error":"uint128"}}}},{"name":"get-supplies-user","access":"read_only","args":[{"name":"account","type":"principal"}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"account","type":"principal"},{"name":"market-collateral","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"}]},"length":64}}},{"name":"vault-shares","type":{"tuple":[{"name":"sbtc","type":"uint128"},{"name":"ststx","type":"uint128"},{"name":"ststxbtc","type":"uint128"},{"name":"stx","type":"uint128"},{"name":"usdc","type":"uint128"},{"name":"usdh","type":"uint128"}]}},{"name":"vault-underlying","type":{"tuple":[{"name":"sbtc","type":"uint128"},{"name":"ststx","type":"uint128"},{"name":"ststxbtc","type":"uint128"},{"name":"stx","type":"uint128"},{"name":"usdc","type":"uint128"},{"name":"usdh","type":"uint128"}]}}]},"error":"none"}}}},{"name":"get-user-borrows","access":"read_only","args":[{"name":"account","type":"principal"}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"account","type":"principal"},{"name":"borrows","type":{"list":{"type":{"tuple":[{"name":"actual-debt","type":"uint128"},{"name":"asset-addr","type":"principal"},{"name":"asset-id","type":"uint128"},{"name":"borrow-index","type":"uint128"},{"name":"interest-accrued","type":"uint128"},{"name":"scaled-debt","type":"uint128"},{"name":"underlying","type":"principal"}]},"length":64}}}]},"error":"none"}}}},{"name":"get-user-position","access":"read_only","args":[{"name":"account","type":"principal"}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"account","type":"principal"},{"name":"collateral","type":{"list":{"type":{"tuple":[{"name":"aid","type":"uint128"},{"name":"amount","type":"uint128"}]},"length":64}}},{"name":"current-ltv","type":"uint128"},{"name":"debt","type":{"list":{"type":{"tuple":[{"name":"actual-debt","type":"uint128"},{"name":"asset-addr","type":"principal"},{"name":"asset-id","type":"uint128"},{"name":"borrow-index","type":"uint128"},{"name":"interest-accrued","type":"uint128"},{"name":"scaled-debt","type":"uint128"},{"name":"underlying","type":"principal"}]},"length":64}}},{"name":"health-factor","type":"uint128"},{"name":"is-liquidatable","type":"bool"},{"name":"ltv-borrow","type":"uint128"},{"name":"ltv-liq-partial","type":"uint128"},{"name":"mask","type":"uint128"},{"name":"total-collateral-usd","type":"uint128"},{"name":"total-debt-usd","type":"uint128"}]},"error":"uint128"}}}},{"name":"get-user-sbtc-balances","access":"read_only","args":[{"name":"account","type":"principal"}],"outputs":{"type":{"response":{"ok":{"tuple":[{"name":"market-collateral","type":"uint128"},{"name":"total","type":"uint128"},{"name":"vault-underlying","type":"uint128"}]},"error":"none"}}}},{"name":"get-user-ststxbtc-balances","access":"read_only","args":[{"name":"account","type":"principal"}],"outputs":{"type":{"response":{"ok":"uint128","error":"none"}}}}],"variables":[{"name":"BPS","type":"uint128","access":"constant"},{"name":"DIA-USDH","type":{"string-ascii":{"length":8}},"access":"constant"},{"name":"ERR-NO-POSITION","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-UNKNOWN-UNDERLYING","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"ERR-UNKNOWN-VAULT","type":{"response":{"ok":"none","error":"uint128"}},"access":"constant"},{"name":"INDEX-PRECISION","type":"uint128","access":"constant"},{"name":"ITER-UINT-128","type":{"list":{"type":"uint128","length":128}},"access":"constant"},{"name":"PYTH-BTC","type":{"buffer":{"length":32}},"access":"constant"},{"name":"PYTH-STX","type":{"buffer":{"length":32}},"access":"constant"},{"name":"PYTH-USDC","type":{"buffer":{"length":32}},"access":"constant"},{"name":"STSTX-RATIO-DECIMALS","type":"uint128","access":"constant"},{"name":"STX","type":"uint128","access":"constant"},{"name":"UNDERLYING-SBTC","type":"principal","access":"constant"},{"name":"UNDERLYING-STSTX","type":"principal","access":"constant"},{"name":"UNDERLYING-STSTXBTC","type":"principal","access":"constant"},{"name":"UNDERLYING-STX","type":"principal","access":"constant"},{"name":"UNDERLYING-USDC","type":"principal","access":"constant"},{"name":"UNDERLYING-USDH","type":"principal","access":"constant"},{"name":"USDC","type":"uint128","access":"constant"},{"name":"USDH","type":"uint128","access":"constant"},{"name":"VAULT-IDS","type":{"list":{"type":"uint128","length":6}},"access":"constant"},{"name":"sBTC","type":"uint128","access":"constant"},{"name":"stSTX","type":"uint128","access":"constant"},{"name":"stSTXbtc","type":"uint128","access":"constant"},{"name":"zSTX","type":"uint128","access":"constant"},{"name":"zUSDC","type":"uint128","access":"constant"},{"name":"zUSDH","type":"uint128","access":"constant"},{"name":"zsBTC","type":"uint128","access":"constant"},{"name":"zstSTX","type":"uint128","access":"constant"},{"name":"zstSTXbtc","type":"uint128","access":"constant"}],"maps":[],"fungible_tokens":[],"non_fungible_tokens":[],"epoch":"Epoch33","clarity_version":"Clarity4"}