weavatrix-rust 2.16.0

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
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140

mod web3_support;

use blazingly_json::json;
use weavatrix_rust::tools;
use web3_support::{dump, engine};

#[test]
fn deposit_indexed_mask_change_reaches_old_viem_consumers() {
    let (_fixture, mut engine) = engine();
    let inventory = tools::call(&mut engine, "web3_inventory", json!({})).unwrap();
    let text = dump(&inventory);
    assert!(text.contains("Deposit"), "{text}");
    assert!(
        text.contains("web3.consumer") || text.contains("decodeEventLog"),
        "{text}"
    );
    assert_eq!(inventory["coverage"]["deployment"], "not_provided");

    let events = engine
        .state()
        .graph()
        .nodes()
        .iter()
        .filter(|node| node.kind.as_str() == "web3.consumer")
        .count();
    assert!(
        events >= 2,
        "both proven decodeEventLog sites must remain: {events}"
    );

    let impact = tools::call(
        &mut engine,
        "web3_impact",
        json!({
            "task": "change-event",
            "baseline": "app/abis/Vault.json",
            "candidate": "out/Vault.sol/Vault.json"
        }),
    )
    .unwrap();
    let report = dump(&impact);
    assert!(report.contains("EVENT_LAYOUT_CHANGED"), "{report}");
    assert_eq!(impact["changes"][0]["silent_misdecode"], true, "{report}");
    assert!(
        !report.contains("0x000000000000000000000000000000000000002a"),
        "educational example must not be a computed witness: {report}"
    );
    assert!(report.contains("not_provided"), "{report}");
    assert!(
        !report.contains("deployed implementation was verified"),
        "{report}"
    );
}

#[test]
fn same_selector_does_not_merge_two_contracts() {
    let (_fixture, engine) = engine();
    let transfers = engine
        .state()
        .graph()
        .nodes()
        .iter()
        .filter(|node| node.label == "transfer(address,uint256)")
        .count();
    assert_eq!(
        transfers, 2,
        "two contracts must keep separate transfer members"
    );
}

#[test]
fn output_change_is_kept_when_selector_matches() {
    let (_fixture, mut engine) = engine();
    let left = engine
        .state()
        .graph()
        .nodes()
        .iter()
        .find(|node| {
            node.label == "transfer(address,uint256)"
                && node
                    .span
                    .as_ref()
                    .is_some_and(|span| span.file.contains("Other.json"))
        })
        .unwrap()
        .id
        .clone();
    let impact = tools::call(
        &mut engine,
        "web3_impact",
        json!({
            "baseline": "contracts/Other.json",
            "candidate": "contracts/Copy.json"
        }),
    )
    .unwrap();
    let text = dump(&impact);
    assert!(text.contains("OUTPUT_CHANGED"), "{text}");
    let context = tools::call(
        &mut engine,
        "web3_context",
        json!({"label": left.as_str(), "task": "change-output"}),
    )
    .unwrap();
    let context_text = dump(&context);
    assert!(
        context_text.contains("(bool)") || context_text.contains("web3.return"),
        "{context_text}"
    );
}

#[test]
fn unknown_spread_stays_unresolved() {
    let (_fixture, engine) = engine();
    let unresolved = engine.state().graph().nodes().iter().any(|node| {
        node.kind.as_str() == "web3.consumer"
            && engine
                .state()
                .graph()
                .nodes()
                .iter()
                .any(|domain| domain.label == "web3.unresolved:dynamic_or_spread")
    });
    assert!(unresolved, "spread after abi must not invent a target");
}

#[test]
fn package_manifest_is_not_an_abi() {
    let (_fixture, engine) = engine();
    assert!(
        engine
            .state()
            .graph()
            .nodes()
            .iter()
            .filter(|node| node.label == "web3-fixtures")
            .all(|node| node.kind.as_str() != "web3.abi")
    );
}