TruthKeeper Documentation

TruthKeeper is a curated memory architecture for LLMs with dependency-aware truth maintenance. It tracks claims with justification chains, detects when knowledge becomes stale, and maintains full audit trails for compliance.

What is TruthKeeper?

TruthKeeper treats LLM memory as a living system that requires continuous maintenance. Unlike traditional RAG systems that retrieve information without staleness awareness, TruthKeeper:

• Tracks claims with states: SUPPORTED, OUTDATED, CONTESTED, HYPOTHESIS
• Monitors dependencies between claims and external sources
• Propagates changes when sources are modified
• Verifies claims using multiple strategies (NLI, AST analysis, corroboration)
• Escalates to humans when blast radius exceeds thresholds

Key Concepts

Claims

A claim is an atomic fact stored in TruthKeeper. Each claim has:

• content: The factual assertion
• state: Current verification state
• confidence: Score from 0.0 to 1.0
• evidence: Links to supporting sources
• dependencies: Other claims or sources this depends on

Dependencies

Dependencies create a graph of relationships. When a source changes, TruthKeeper traverses this graph to identify all affected claims. Three types:

• HARD: Claim is invalid if source changes
• SOFT: Claim may need review if source changes
• DERIVED: Claim was computed from source

Verification

Claims are verified using pluggable strategies:

• MiniCheck: Natural language inference for fact-checking
• AST Verifier: Code-aware verification using abstract syntax trees
• Multi-Source: Corroboration across multiple sources

Architecture Overview

┌──────────────────────────────────────────────────────────────────┐
│                       AI Coding Agent                            │
│                  (Claude Code, Cursor, etc.)                     │
└──────────────────────────────────────────────────────────────────┘
                                │
                                ▼
┌──────────────────────────────────────────────────────────────────┐
│                        TruthKeeper Core                          │
├──────────────────────────────────────────────────────────────────┤
│  • Claim State Machine    • Dependency Graph    • Blast Radius   │
│  • Cascade Engine         • Bi-temporal Store   • Human Review   │
└──────────────────────────────────────────────────────────────────┘
                                │
                ┌───────────────┴───────────────┐
                ▼                               ▼
┌───────────────────────────┐   ┌───────────────────────────────────┐
│    PostgreSQL + pgvector  │   │         SQLite (Offline)          │
│    (Production)           │   │         (Local Development)       │
└───────────────────────────┘   └───────────────────────────────────┘

Getting Started

Ready to try TruthKeeper? Head to the Quick Start guide to get up and running.