WIP

include/xrpl/tx/invariants/VaultInvariant.h

@@ -31,6 +31,8 @@ namespace xrpl {
  * - loss unrealized does not exceed the difference between assets total and
  *   assets available
  * - assets available do not exceed assets total
+ * - assets reserved is non-negative
+ * - sum of assets available and reserved does not exceed assets total
  * - vault deposit increases assets and share issuance, and adds to:
  *   total assets, assets available, shares outstanding
  * - vault withdrawal and clawback reduce assets and share issuance, and
@@ -55,6 +57,7 @@ class ValidVault
         Number assetsAvailable = 0;
         Number assetsMaximum = 0;
         Number lossUnrealized = 0;
+        Number assetsReserved = 0;
 
         Vault static make(SLE const&);
     };