Assurance

Why the books can be trusted, and how to check: the log, proofs, transparency, audit, testing, GoBD and the design.

Pages

1. The log One RFC 6962 SHA-256 Merkle log of typed records, its canonical encoding, and what a position means.
2. Proofs Inclusion, consistency and sealed-balance proofs against a tree head, and what they read.
3. Transparency Signed C2SP checkpoints, stock witnesses, policies, the auditor's Verifier, tiles and offline proof bundles.
4. Audit audit() replays the log through the rule core and compares every persisted table.
5. Testing and evidence Conformance, simulation, concurrency, property tests, golden and interop vectors, fuzz targets, and compiled docs.
6. GoBD A compliance matrix for German tax auditors, and notes for the Verfahrensdokumentation.
7. Design The principles behind the crate, and what is deliberately not in it.