diff options
| author | Özgür Kesim <oec-taler@kesim.org> | 2022-10-11 15:57:52 +0200 |
|---|---|---|
| committer | Özgür Kesim <oec-taler@kesim.org> | 2022-10-11 15:57:52 +0200 |
| commit | 02d4732cb9e53ac3094cd5a1ded1c932ce3964e9 (patch) | |
| tree | dc7248d511f8f4ad9a1bcf6a0b0461b7c0cfc216 | |
| parent | b083097892e77f16c0a0e6e632acdf9d21884d61 (diff) | |
| download | docs-02d4732cb9e53ac3094cd5a1ded1c932ce3964e9.tar.gz docs-02d4732cb9e53ac3094cd5a1ded1c932ce3964e9.tar.bz2 docs-02d4732cb9e53ac3094cd5a1ded1c932ce3964e9.zip | |
-typos
| -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 |