lean-ctx 3.9.19

Context Runtime for AI Agents with CCP. 79 MCP tools, 10 read modes, 95+ compression patterns, cross-session memory (CCP), persistent AI knowledge with temporal facts + contradiction detection, multi-agent context sharing, LITM-aware positioning, AAAK compact format, adaptive compression with Thompson Sampling bandits. Supports 24+ AI tools. Reduces LLM token consumption by up to 99%.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//! Durable provenance records for file edits and git checkpoints.

mod store;
mod tracker;
mod types;

pub use store::ProvenanceStore;
pub use tracker::ProvenanceTracker;
pub use types::{
    CheckpointLinkState, CheckpointRecord, LinkState, ObservationConfidence, ProvenanceRecord,
};

/// Stable identifier for a single observed file operation.
pub type ProvenanceId = String;

/// Identifier of a `SolutionDecisionMeta` decision.
pub type DecisionId = String;

/// Stable identifier for a git-related provenance checkpoint.
pub type CheckpointId = String;

#[cfg(test)]
mod tests;