scc-cli 0.2.11

System Context Compiler CLI, daemon, MCP server, and Claude Code plugin
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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87

//! Wave 9 python extractor semantic-facts integration: indexing the
//! python-facts-service fixture must surface export/annotation/field/
//! registration/configuration/callback entities and their typed
//! relationships in the System IR export.

mod common;

use common::{copy_fixture, run_ok, workdir};
// trace:v1 id=test.scc.facts.python verifies=REQ-SCC-IR exercises=impl.scc.facts,impl.scc.extract.python

#[test]
fn python_facts_appear_in_system_ir() {
    let repo = copy_fixture("python-facts-service");
    let dir = workdir(repo.path());
    run_ok(&dir, &["index", "--quiet"]);

    let out = run_ok(&dir, &["export", "system-ir.json"]);
    let v: serde_json::Value = serde_json::from_str(&out).unwrap();
    let entities = v["entities"].as_array().expect("entities array");
    let rels = v["relationships"].as_array().expect("relationships array");

    let count_kind = |k: &str| entities.iter().filter(|e| e["kind"] == k).count();
    assert!(count_kind("export") >= 3, "export entities: {}", count_kind("export"));
    assert!(count_kind("annotation") >= 3, "annotation entities: {}", count_kind("annotation"));
    assert!(count_kind("field") >= 2, "field entities: {}", count_kind("field"));
    assert!(count_kind("configuration") >= 1, "configuration entities: {}", count_kind("configuration"));

    let count_pred = |p: &str| rels.iter().filter(|r| r["predicate"] == p).count();
    assert!(count_pred("exports") >= 3, "exports rels: {}", count_pred("exports"));
    assert!(count_pred("annotates") >= 3, "annotates rels: {}", count_pred("annotates"));
    assert!(count_pred("registers") >= 2, "registers rels: {}", count_pred("registers"));
    // No handles_callback edges here by design: this fixture's callbacks are
    // lifecycle names (`@app.on_event("startup")`), not callable symbols, so
    // emitting symbol-typed edges to them fabricated dangling objects. The
    // wiring survives as `annotates` (app.on_event -> startup_event); genuine
    // symbol-to-symbol callbacks are covered by facts_go.
    assert_eq!(count_pred("handles_callback"), 0, "handles_callback rels: {}", count_pred("handles_callback"));
    assert!(count_pred("configured_by") >= 1, "configured_by rels: {}", count_pred("configured_by"));
}

#[test]
fn python_facts_include_expected_symbols() {
    let repo = copy_fixture("python-facts-service");
    let dir = workdir(repo.path());
    run_ok(&dir, &["index", "--quiet"]);

    let out = run_ok(&dir, &["export", "system-ir.json"]);
    let v: serde_json::Value = serde_json::from_str(&out).unwrap();
    let entities = v["entities"].as_array().unwrap();

    let has = |kind: &str, name: &str| {
        entities
            .iter()
            .any(|e| e["kind"] == kind && e["name"].as_str() == Some(name))
    };
    // public exports: create_app + the __all__-only entry
    assert!(has("export", "create_app"), "export entity for create_app");
    assert!(has("export", "ping"), "export entity for ping");
    assert!(has("export", "Item"), "export entity for Item");
    // annotations
    assert!(has("annotation", "dataclass"), "annotation entity for @dataclass");
    assert!(has("annotation", "router.get"), "annotation entity for @router.get");
    assert!(has("annotation", "celery.task"), "annotation entity for @celery.task");
    // fields are owned namespaced entities
    assert!(has("field", "Cart.items"), "field entity Cart.items");
    // configuration keys
    assert!(has("configuration", "PORT"), "configuration entity PORT");
    assert!(has("configuration", "DATABASE_URL"), "configuration entity DATABASE_URL");

    // registrations resolve to owner symbols: create_app performs them
    let owners: Vec<&str> = rels(v["relationships"].as_array().unwrap())
        .filter(|r| r["predicate"] == "registers")
        .filter_map(|r| {
            entities
                .iter()
                .find(|e| e["id"] == r["subject"])
                .map(|e| e["name"].as_str().unwrap_or(""))
        })
        .collect();
    assert!(owners.contains(&"create_app"), "create_app performs registrations, got: {owners:?}");
    assert!(owners.contains(&"make_web"), "make_web performs registrations, got: {owners:?}");
    assert!(owners.contains(&"send_email"), "send_email registers as a celery task, got: {owners:?}");
}

fn rels(rs: &[serde_json::Value]) -> impl Iterator<Item = &serde_json::Value> {
    rs.iter()
}