claim-ledger
Deterministic, local-first claim/evidence/provenance ledger.
Creates receipts for all material operations.
Core Concepts
- Claim: A source-spanned atomic assertion extracted from a document.
- Evidence Bundle: A collection of evidence links supporting a claim.
- Support Judgment: A scoped support state assigned to a claim via an evidence bundle.
- Support Admission: An operator-admitted or fixture-admitted upgrade to a support judgment.
- Contradiction Record: A detected conflict between two claims with a resolution lifecycle.
- Claim Ledger: An append-only, hash-chained ledger of claim events and support states.
- Export Receipt: A binding receipt digest for any material output operation.
Crate Architecture
| Module | Purpose |
|---|---|
[ids] |
ULID/Hash-based stable identifiers |
[error] |
Thiserror-based error types |
[types] |
Domain types: Claim, EvidenceBundle, SupportJudgment, etc. |
[ledger] |
Append-only hash-chained ledger |
[receipt] |
Export and admission receipt types |