weavatrix-rust 2.16.1

Protocol-independent Rust repository intelligence: typed evidence graphs for impact, architecture, APIs, Git, search, and memory
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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105

//! The context bundle never trades its subject away for its periphery.

mod language_fixture;

use blazingly_json::json;
use language_fixture::Fixture;
use std::fmt::Write as _;
use weavatrix_rust::{Weavatrix, tools};

fn hub_fixture() -> Fixture {
    let fixture = Fixture::new();
    let mut big = String::new();
    for index in 0..120 {
        let _ = writeln!(
            big,
            "import {{ hub }} from './hub.js';\nexport function caller{index}() {{ return hub(); }}"
        );
    }
    fixture.write("src/big.js", &big);
    fixture.write("src/hub.js", "export function hub() {\n  return 42;\n}\n");
    fixture
}

/// The repo-lens regression: a small budget deleted the target's own source
/// and kept a large relationships array. The trim order is relationships and
/// related source first; the target survives every budget the answer accepts.
#[test]
fn a_budgeted_bundle_keeps_the_target_source_and_trims_the_periphery() {
    let fixture = hub_fixture();
    let mut engine = Weavatrix::open(&fixture.root).unwrap();
    let report = tools::call(
        &mut engine,
        "context_bundle",
        json!({"label": "hub", "token_budget": 700}),
    )
    .unwrap();

    let lines = report["inspection"]["source"]["lines"].as_array().unwrap();
    assert!(
        !lines.is_empty(),
        "the target symbol's own source must survive the budget: {report}"
    );
    assert_eq!(
        report["token_budget"]["fit"], true,
        "after trimming the periphery the answer must fit: {report}"
    );
    let neighbors = report["inspection"]["relationships"]["neighbors"]
        .as_array()
        .unwrap();
    assert_eq!(
        report["inspection"]["relationships"]["page"]["returned"],
        neighbors.len() as u64,
        "pagination must describe the trimmed array, not the pre-trim one: {report}"
    );
}

/// A budget below the target symbol itself is an explicit caller error, not a
/// silent fit:false with the subject deleted.
#[test]
fn a_budget_below_the_target_itself_is_an_explicit_error() {
    let fixture = hub_fixture();
    let mut engine = Weavatrix::open(&fixture.root).unwrap();
    let error = tools::call(
        &mut engine,
        "context_bundle",
        json!({"label": "hub", "token_budget": 40}),
    )
    .unwrap_err();
    assert!(
        error.contains("token_budget") && error.contains("target"),
        "the error must name the budget and the target: {error}"
    );
}

/// `max_references` caps the relationships array, which was previously
/// advertised and ignored.
#[test]
fn max_references_caps_the_relationship_evidence() {
    let fixture = hub_fixture();
    let mut engine = Weavatrix::open(&fixture.root).unwrap();
    let report = tools::call(
        &mut engine,
        "context_bundle",
        json!({"label": "hub", "max_references": 7}),
    )
    .unwrap();
    let neighbors = report["inspection"]["relationships"]["neighbors"]
        .as_array()
        .unwrap();
    assert_eq!(
        neighbors.len(),
        7,
        "max_references must cap the returned relationships: {report}"
    );
    let error = tools::call(
        &mut engine,
        "inspect_symbol",
        json!({"label": "hub", "max_references": 0}),
    )
    .unwrap_err();
    assert!(
        error.contains("max_references"),
        "an out-of-range cap is a caller error: {error}"
    );
}