weavatrix-rust 2.0.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

use super::contracts;
use super::model::{ContractResults, EvidencePage, TraceSummary};
use crate::engine::RepositoryState;
use blazingly_json::{Value, json};
use std::collections::BTreeSet;

pub(super) fn summarize(results: &ContractResults) -> TraceSummary {
    let http_mismatches = total(&results.http, "method_mismatches");
    let event_mismatches = total(&results.events, "mismatches");
    let typed_mismatches =
        total(&results.graphql, "mismatches") + total(&results.grpc, "mismatches");
    let matched = [
        &results.http,
        &results.events,
        &results.graphql,
        &results.grpc,
    ]
    .into_iter()
    .map(|result| total(result, "matches"))
    .sum();
    let verdict = if typed_mismatches > 0 {
        "TYPED_API_CONTRACT_MISMATCH"
    } else if event_mismatches > 0 {
        "EVENT_CONTRACT_MISMATCH"
    } else if http_mismatches > 0 {
        "HTTP_METHOD_MISMATCH"
    } else if matched > 0 {
        "MATCHED"
    } else {
        "NO_STATIC_CLIENT_MATCH"
    };
    TraceSummary {
        verdict,
        http_mismatches,
        event_mismatches,
        typed_mismatches,
        matched,
    }
}

pub(super) fn build(
    backend: &RepositoryState,
    clients: &BTreeSet<&str>,
    results: &ContractResults,
    page: &EvidencePage,
    reasons: &[String],
    summary: &TraceSummary,
) -> Value {
    let has_more = page.end < page.total_items;
    let next_cursor = has_more.then(|| format!("v1:{}", page.end));
    let matched_contracts = contracts::matches(results);
    let unmatched = contracts::unmatched_endpoints(results);
    json!({
        "crossRepoContractV": 1,
        "status": "COMPLETE",
        "verdict": {
            "code": summary.verdict,
            "method_mismatches": summary.http_mismatches,
            "event_mismatches": summary.event_mismatches,
            "typed_contract_mismatches": summary.typed_mismatches,
            "matched_contracts": summary.matched
        },
        "repositories": {
            "backend": backend.root(),
            "clients": clients
        },
        "transport": results.transport,
        "http": results.http,
        "graphql": results.graphql,
        "grpc": results.grpc,
        "transport_contracts": results.events,
        "matches": matched_contracts,
        "unmatched_endpoints": unmatched,
        "evidencePage": {
            "detail": page.detail,
            "offset": page.offset,
            "page_size": page.page_size,
            "total_items": page.total_items,
            "returned_items": page.items.len(),
            "has_more": has_more,
            "next_cursor": next_cursor,
            "items": page.items
        },
        "completeness": {
            "complete": reasons.is_empty(),
            "status": "COMPLETE",
            "reasons": reasons
        },
        "precision": "lossless-parser-derived GraphQL/protobuf contracts, exact typed graph matches, event semantics, and exact or template-prefix HTTP literals",
        "dynamic_contracts": {
            "evaluated": true,
            "method": "bounded static candidates plus revision-bound runtime evidence when supplied"
        },
        "source_mutation": "NONE",
        "network": "NONE"
    })
}

fn total(value: &Value, key: &str) -> u64 {
    value["totals"][key].as_u64().unwrap_or(0)
}