{"version":"1.2.0","category":"health-factor","label":"Health Factor Monitoring","targets":["0xa07c5b74c9b40447a954e1466938b865b6bbea36","0xfd36e2c2a6789db23113685031d7f16329158384"],"may":[{"to":"0xa07c5b74c9b40447a954e1466938b865b6bbea36","target":"Venus vBNB","signature":"mint()","plain":"open a liquidity position for you","recipient":null},{"to":"0xa07c5b74c9b40447a954e1466938b865b6bbea36","target":"Venus vBNB","signature":"repayBorrow()","plain":"repay your loan","recipient":null},{"to":"0xfd36e2c2a6789db23113685031d7f16329158384","target":"Venus Comptroller","signature":"enterMarkets(address[])","plain":"enable your collateral in the lending market","recipient":null}],"mayNot":[{"signature":"borrow(uint256)","because":"a defender that may borrow can create the risk it is paid to prevent"},{"signature":"redeemUnderlying(uint256)","because":"withdraws collateral, which is the opposite of defending the loan"},{"signature":"exitMarket(address)","because":"removes collateral from the market and drops the health factor"},{"signature":"transfer(address,uint256)","because":"moves the receipt token off your account"}],"bounds":{"cap":"a spend cap in wei, enforced by the session key, never larger than the capital under mandate","expiry":"a unix timestamp on the session key, and on the wrapper where one is used","revocation":"one transaction from the desk; the key stops working the moment it lands"},"invariant":"granted is a subset of proven: the calls in this grant are the category's calls intersected with the protocols the chain has shown this agent using.","binding":"No call in this grant takes a destination. Repaying a loan credits the loan; entering a market touches no balance. There is no recipient to bind, and claiming one would be theatre."}