ClaimLedger
A claim and evidence compiler for Gloss Claim Hygiene, producing source-spanned, reviewable, deterministic bundles and testimony objects.
Overview
ClaimLedger is the one non-Rust project currently kept in the portfolio because it is directly relevant to Gloss and the evidence-runtime stack. It is being shaped into the backend compiler/certifier for Gloss Claim Hygiene and Evidence Ledger features.
ClaimLedger remains the compiler. Gloss remains the UI and orchestrator.
Owned Surface
ClaimLedger owns:
- source indexing
- source-span IDs and rehydration
- claim extraction records
- evidence bundles
- support judgments
- contradiction records
- review queue items
- bundle and testimony export contracts
- receipts for its own execution
ClaimLedger does not own Gloss UI state, semantic-memory storage/indexes, embedding or compression internals, or final user-facing synthesis beyond testimony/export objects.
Target Artifacts
The active pass defines a Gloss-facing bundle contract:
SourceIndexV1ClaimV1EvidenceBundleV1SupportJudgmentV1ContradictionRecordV1ReviewQueueItemV1ClaimLedgerBundleV1AnswerTestimonyV1
Invariants
- Citation/source-span presence is never support by itself.
- Unsupported or quarantined claims remain visible to review metadata.
- Quarantined claims never enter clean answer text.
- Contradictions are typed artifacts.
- Every exported claim has source backpointers.
- Exports are deterministic for identical inputs.
Current Gap
The latest hostile audit says the old blocked-stage false-green behavior appears fixed. The remaining product gap is making ClaimLedger more than a raw compiler: it needs the Gloss-facing bundle contract, review queue, source-span rehydration, contradiction artifacts, support judgments, and testimony export.
Have questions about ClaimLedger?
Try asking the AI assistant! Here are some ideas:
Related Projects
Recall
An operator-grade local memory and control runtime built around daemon authority, receipts, evidence, and repair handoffs.
RecursiveIntell Rust Libraries
The Rust crate workspace behind the evidence-runtime stack: semantic memory, runtime contracts, verification, queues, schemas, and quantization research.