lean-ctx-engine 3.12.2

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

use serde::Serialize;

#[derive(Debug, Clone, Serialize)]
pub struct VerificationObservabilityV1 {
    pub schema_version: u32,
    pub created_at: String,
    pub role: String,
    pub profile: String,
    pub verification: crate::core::output_verification::VerificationSnapshot,
    pub proof: crate::core::context_proof::ProofStatsSnapshot,
    pub pipeline: crate::core::pipeline::PipelineStats,
}

pub fn snapshot_v1() -> VerificationObservabilityV1 {
    let created_at = chrono::Utc::now().to_rfc3339();
    let role = crate::core::roles::active_role_name();
    let profile = crate::core::profiles::active_profile_name();

    let verification = crate::core::output_verification::stats_snapshot();
    let proof = crate::core::context_proof::proof_stats_snapshot();
    let pipeline = crate::core::pipeline::PipelineStats::load();

    VerificationObservabilityV1 {
        schema_version: crate::core::contracts::VERIFICATION_OBSERVABILITY_V1_SCHEMA_VERSION,
        created_at,
        role,
        profile,
        verification,
        proof,
        pipeline,
    }
}

pub fn format_compact(v: &VerificationObservabilityV1) -> String {
    let proof_last = v
        .proof
        .last_written_at
        .clone()
        .unwrap_or_else(|| "-".to_string());
    format!(
        "{}\nProof: written={} last={proof_last}",
        v.verification.format_compact(),
        v.proof.written
    )
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn snapshot_has_schema_version() {
        let s = snapshot_v1();
        assert_eq!(s.schema_version, 1);
        assert!(s.created_at.contains('T'));
        let compact = format_compact(&s);
        assert!(compact.contains("Verification:"));
        assert!(compact.contains("Proof: written="));
    }
}