summaryrefslogtreecommitdiff
path: root/taler-auditor-manual.rst
diff options
context:
space:
mode:
Diffstat (limited to 'taler-auditor-manual.rst')
-rw-r--r--taler-auditor-manual.rst8
1 files changed, 8 insertions, 0 deletions
diff --git a/taler-auditor-manual.rst b/taler-auditor-manual.rst
index 3bab780f..d81b7ce8 100644
--- a/taler-auditor-manual.rst
+++ b/taler-auditor-manual.rst
@@ -699,6 +699,14 @@ Invariants checked by the taler-helper-auditor-coins
This is from CodeBlau's analysis. A proper write-up is pending.
CodeBlau reports the following checks:
+- check that all denominations used by the exchange have been signed using
+ this auditor's key. All denominations encountered in the database that
+ this auditor did not officially sign for are reported (but still included
+ in the audit as they obviously may impact the exchange's bank balance).
+ Depending on the business situation, this may be normal (say if an exchange
+ is changing auditors and newer denominations are no longer supported until
+ their end-of-life by the current auditor).
+
- emergency on denomination over loss
- value of coins deposited exceed value of coins issued