[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[taler-docs] 01/02: define various amount fields for the policy_details
From: |
gnunet |
Subject: |
[taler-docs] 01/02: define various amount fields for the policy_details |
Date: |
Tue, 11 Oct 2022 09:17:41 +0200 |
This is an automated email from the git hooks/post-receive script.
oec pushed a commit to branch master
in repository docs.
commit a9f11b7a5fb693d6b1b4b44bdf2eb12de0a7f528
Author: Özgür Kesim <oec-taler@kesim.org>
AuthorDate: Tue Oct 11 09:17:15 2022 +0200
define various amount fields for the policy_details
---
design-documents/028-deposit-policies.rst | 17 ++++++++++-------
1 file changed, 10 insertions(+), 7 deletions(-)
diff --git a/design-documents/028-deposit-policies.rst
b/design-documents/028-deposit-policies.rst
index 62c4517..be84035 100644
--- a/design-documents/028-deposit-policies.rst
+++ b/design-documents/028-deposit-policies.rst
@@ -87,7 +87,7 @@ TODO: Description
label=<<B>policy_details</B>>
margin=20
policy_details [
- label="<id>id\l|<hash>hash_code
(unique)\l|deadline\l|total_amount\l|policy_fee\l|refresh_amount\l|state\l"
+ label="<id>id\l|<hash>hash_code
(unique)\l|deadline\l|commitment (amount)\l|accumulated_total (amount)\l|fee
(amount)\l|transferable (amount)\l|fulfilment_state\l"
]
}
@@ -124,9 +124,10 @@ Ready
fulfilment to arrive before the deadline.
Insufficient
- The policy lacks funding, but has otherwise been accepted. Funding can
- be continued by calling ``/deposit`` with more coins and the same
- policy details.
+ The policy lacks funding, that is ``accumulated_total`` <
+ ``commitment``, but has otherwise been accepted. Funding can be
+ continued by calling ``/deposit`` with more coins and the same policy
+ details.
Success
The policy is provably fulfilled. The amounts for payout, fees and
@@ -149,9 +150,11 @@ Invariants
The following invariants need to be fulfilled and be checked by the auditor:
-- The total sum of amounts of all deposits that refer the same policy detail
- MUST NOT be less than the amount in the ``total_amount`` field in the
- ``policy_details`` table.
+- The fulfilment state of a policy is **Insufficient** IF AND ONLY IF the
+ amount in ``commitment`` is larger than the amount in ``accumulated_total``.
+
+- The sum of amounts in ``fee`` and ``transferable`` must be less or equal to
+ the amount in ``accumulated_total``.
- If the fulfilment state of a policy is **Success**, there MUST exists an
entry in the ``policy_details_fulfilment`` table for the corresponding
--
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.