Integrity
Invariants
OK
State root matches head
yes
Unattested tail
no
Settlements pending
0
Settlement failures
0
What is checked on every block
- L-1
- No negative balance in any wallet.
- L-2
- Per instrument, issued minus redeemed equals the sum of all holdings, and issued never exceeds the authorised amount (integrity of issue).
- L-3
- Holdings in trading equal the venue's internal records for the operating member (reconciled by the operator; the result is not public).
- L-4
- Every holding belongs to exactly one registered wallet whose id derives from its key or its custody mapping.
- L-5
- The state root in the block header equals the root recomputed from the full state.
- L-6
- Every fill on the DLT Market has exactly one settlement transaction and no trade settles twice.