diff options
| -rw-r--r-- | design-documents/028-deposit-policies.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/design-documents/028-deposit-policies.rst b/design-documents/028-deposit-policies.rst index bf6c5ec5..d0a1b107 100644 --- a/design-documents/028-deposit-policies.rst +++ b/design-documents/028-deposit-policies.rst @@ -148,11 +148,11 @@ Invariants The following invariants need to be fulfilled and be checked by the auditor: - The fulfillment state of a policy is **Insufficient** IF AND ONLY IF the - amount in ``policy_details.commitment`` is larger than the amount in + amount in ``policy_details.commitment`` is equal or larger than the amount in ``policy_details.accumulated_total``. - The sum of amounts in ``policy_details.fee`` and - ``policy_details.transferable`` MUST be less or equal to the amount in + ``policy_details.transferable`` MUST be equal or less than the amount in ``policy_details.accumulated_total``. - The amount in ``policy_details.accumulated_total`` MUST be equal to the total |