- Exact source
docs/perpetual-rollover-kernel.mdSHA-2564cad3f91ebae948610e1292fc18854351df65edeaeb03bbd12942b6e74c89b69- Implemented primitive
- settlement
- Source of truth
- Verified append-only Settlement history and enclosing proof objects.
- Guarantee
- Value transition, consent, exit, and rollover remain auditable without renaming Settlement into a generic balance.
- Executable check
pnpm test:settlement-conformance- Evidence output
- A digest-matched normative source whose exact language governs implementation and review.
- Failure meaning
- Settlement law, value math, transfer authority, or consent boundary diverges.
- Recovery / escalation
- Stop value mutation, inspect the exact proof head and Settlement append, correct the transition, and rerun conformance.
- Offline behavior
- The verified receiz.account.state.v3 Receiz Key/Identity proof carries the Reserve source. Local issuance verifies one Reserve-debit account successor and one equal whole-value held-bound Note genesis, then activates that Note in qualified custody. Every later qualified transfer consumes its exact Note head once and activates the successor as local Settlement. Connected publication is a later optional distribution step.
- External boundary
- External conventions may supply mechanics only; they do not define Receiz product truth.
- What this record does not prove
- This record does not prove current production Reserve, account value, or an external provider's separate settlement state.