[taler-docs] branch master updated (360dc88 -> 4e786fb)

[gnunet]

This is an automated email from the git hooks/post-receive script.

oec pushed a change to branch master
in repository docs.

    from 360dc88  database schema changed for policy_details
     new a9f11b7  define various amount fields for the policy_details
     new 4e786fb  commitment amount for auction added

The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 core/api-exchange.rst                     |  8 ++++++++
 design-documents/028-deposit-policies.rst | 17 ++++++++++-------
 2 files changed, 18 insertions(+), 7 deletions(-)

diff --git a/core/api-exchange.rst b/core/api-exchange.rst
index 8bb7312..17196f1 100644
--- a/core/api-exchange.rst
+++ b/core/api-exchange.rst
@@ -2217,6 +2217,14 @@ proof to the seller for the escrow of sufficient fund.
       // `BrandtVickreyAuction`.
       h_auction: HashCode;
 
+      // The amount that this bidder commits to for this auction
+      //
+      // This amount can be larger than the contribution of a single coin.
+      // The bidder can increase funding of this auction policy by using
+      // sufficiently many coins during the deposit operation (single or batch)
+      // with the same policy.
+      commitment: Amount;
+
       // Date until the auction must have been successfully executed and
       // a valid transcript provided to the 
       // ``/extensions/policy_brandt_vickrey_auction``-endpoint of the
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.