Expand description
§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
Re-exports§
pub use budget::budget_for_claim;pub use budget::evaluate_proof_debt_gate;pub use budget::evaluate_proof_debt_gate_with_config;pub use budget::evaluate_proof_debt_gate_with_waiver;pub use budget::evaluate_proof_debt_gate_with_waiver_and_config;pub use budget::proof_debt_weight;pub use budget::total_proof_debt_weight;pub use budget::total_proof_debt_weight_with_config;pub use budget::verify_proof_debt_waiver;pub use budget::ProofDebtBudgetConfig;pub use budget::ProofDebtBudgetV1;pub use budget::ProofDebtCreditV1;pub use budget::ProofDebtDebitV1;pub use budget::ProofDebtGateDecision;pub use budget::ProofDebtGateResult;pub use budget::ProofDebtSummaryV1;pub use budget::ProofDebtWaiverReceipt;pub use budget::ProofDebtWaiverValidationError;pub use budget::VerifiedProofDebtWaiver;pub use budget::PROOF_DEBT_WAIVER_AUTHORIZATION_DOMAIN;pub use budget::PROOF_DEBT_WAIVER_SCHEMA_VERSION;pub use candidate::ProofPacketCandidateProvenanceV1;pub use candidate::SimilarClaimCandidateV1;pub use candidate::PROOF_PACKET_CANDIDATE_PROVENANCE_V1_SCHEMA;pub use candidate::SIMILAR_CLAIM_CANDIDATE_V1_SCHEMA;pub use envelope::ArtifactEnvelopeV1;pub use envelope::EnvelopeError;pub use envelope::EnvelopeVerificationContext;pub use envelope::EnvelopeVerificationReport;pub use envelope::EnvelopeVerificationStatus;pub use envelope::PolicyAdmission;pub use error::ClaimLedgerError;pub use ids::normalize_text;pub use ids::sha256_bytes;pub use ids::sha256_text;pub use ids::stable_id;pub use ids::ulid;pub use ledger::compact_ledger;pub use ledger::compact_ledger_from_snapshot;pub use ledger::compute_entry_digest;pub use ledger::compute_snapshot_digest;pub use ledger::entry_digest_preimage;pub use ledger::parse_ledger_entries;pub use ledger::serialize_entry;pub use ledger::verify_compaction;pub use ledger::verify_ledger;pub use ledger::verify_ledger_tail;pub use ledger::verify_snapshot;pub use ledger::CompactedLedger;pub use ledger::CompactionPolicy;pub use ledger::CompactionReceipt;pub use ledger::ExpectedLedgerHead;pub use ledger::LedgerEntry;pub use ledger::LedgerEntryBuilder;pub use ledger::LedgerEvent;pub use ledger::LedgerSnapshot;pub use ledger::LedgerVerification;pub use ledger::SnapshotClaim;pub use ledger::SnapshotClaimSupport;pub use ledger::SnapshotContentClaimLink;pub use ledger::SnapshotContradictionState;pub use ledger::SnapshotFactClaimLink;pub use ledger::SnapshotSupportJudgment;pub use ledger::UnprojectableEventPolicy;pub use receipt::ContradictionResolutionReceipt;pub use receipt::ExportReceipt;pub use receipt::LedgerAppendReceipt;pub use receipt::SupersessionReceipt;pub use receipt::SupportAdmissionReceipt;pub use types::Claim;pub use types::ContradictionRecord;pub use types::ContradictionResolution;pub use types::ContradictionResolutionRecord;pub use types::ContradictionStatus;pub use types::EvidenceBundle;pub use types::EvidenceLink;pub use types::EvidenceRelation;pub use types::ProofDebt;pub use types::SourceArtifact;pub use types::SourceIndex;pub use types::SourceSpan;pub use types::Supersession;pub use types::SupportAdmission;pub use types::SupportAdmissionMethod;pub use types::SupportJudgment;pub use types::SupportProofPayload;pub use types::SupportState;
Modules§
- budget
- Proof-debt budget accounting.
- candidate
- Candidate-discovery provenance for semantic-memory/proveKV assisted claim workflows.
- envelope
- Signed artifact envelope with staged trust verification.
- error
- Error types for claim-ledger operations.
- ids
- Stable identifier generation using ULID and cryptographic hash.
- ledger
- Append-only, hash-chained ledger for claim events.
- receipt
- Receipt types for claim ledger material operations.
- types
- Core domain types for the claim ledger.