lean-ctx-engine 3.12.3

LeanCTX | OSS library: the open-source runtime for the Context Gateway for AI agents behind the lean-ctx CLI, MCP server and proxy integrations.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70

// SPDX-License-Identifier: Apache-2.0
//! Semantic code intelligence on top of the tree-sitter structure.
//!
//! Tree-sitter is the always-available baseline: it extracts symbols, imports
//! and call sites, and resolves callees within the caller's scope. Where that
//! is not enough — an ambiguous name, or a name only unique project-wide —
//! a local semantic backend (language server or live JetBrains IDE, via
//! [`crate::lsp::router`]) is asked where the call actually goes. Its answer
//! becomes [`EdgeEvidence`] on the property-graph edge, which ranking and
//! impact analysis weight by grade.
//!
//! Guarantees: local only (no network, no source leaves the machine); no
//! automatic installs; `semantic_mode = "auto"` never starts a server in the
//! background; every target is confined to the indexed project; without any
//! backend the graph is exactly the structural graph.

pub mod coverage;
pub mod enrich;
pub mod evidence;
pub mod relations;
pub mod resolve;

#[cfg(test)]
mod e2e_tests;

pub use enrich::{Escalation, EscalationBudget, EscalationStats, SemanticVerdict, escalate_calls};
pub use evidence::{EdgeEvidence, EvidenceGrade, EvidenceOrigin};

use crate::core::config::SemanticMode;
use crate::core::property_graph::{CodeGraph, EdgeKind};

/// One-line evidence summary of the file-level graph, e.g.
/// `Semantic: mode=auto | calls 120 verified · 340 resolved · 45 heuristic | implements 12 · extends 3 · references 40`.
/// Edges without typed evidence (older graphs, other producers) are counted
/// as `unannotated` only when present.
pub fn status_line(graph: &CodeGraph, mode: SemanticMode, project_root: &str) -> String {
    let mode = match mode {
        SemanticMode::Off => "off",
        SemanticMode::Auto => "auto",
        SemanticMode::Eager => "eager",
    };
    let coverage = coverage::coverage_by_language(graph);
    let mut all = coverage::GradeCounts::default();
    for c in coverage.values() {
        all.verified += c.verified;
        all.resolved += c.resolved;
        all.heuristic += c.heuristic;
        all.unannotated += c.unannotated;
    }
    let count = |kind: EdgeKind| graph.file_edges_of_kind(&kind).map_or(0, |e| e.len());
    let (implements, extends, references) = (
        count(EdgeKind::Implements),
        count(EdgeKind::Extends),
        count(EdgeKind::References),
    );
    let extra = if all.unannotated > 0 {
        format!(" · {} unannotated", all.unannotated)
    } else {
        String::new()
    };
    let mut out = format!(
        "Semantic: mode={mode} | calls {} verified · {} resolved · {} heuristic{extra} | implements {implements} · extends {extends} · references {references}",
        all.verified, all.resolved, all.heuristic
    );
    for line in coverage::coverage_lines(&coverage, project_root) {
        out.push('\n');
        out.push_str(&line);
    }
    out
}