meta-ast 0.7.0

Polyglot static-analysis engine: extract symbols and cross-language dependency graphs from 9 supported source languages, with optional MetaCall deployment manifest generation.
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

//! Manifest validation and cut-edge fairness checks.
//!
//! Verifies that every edge cut in the deployment plan has a
//! corresponding RPC stub entry in the manifest, so a forced split
//! can never silently drop a call.

use std::collections::HashSet;

use crate::deploy::cut::CutEdge;
use crate::deploy::manifest::PodManifest;

/// Verify that every cut edge has a corresponding manifest entry.
///
/// Principles (aligned with ADR 0003):
/// - Every cut edge must appear in `manifest.edges[]` with cut annotations.
/// - No non-cut edge may carry cut annotations.
/// - Every cut edge must have `kind: "rpc_stub"`.
pub fn check_cut_fairness(manifest: &PodManifest, cuts: &[CutEdge]) -> Vec<String> {
    let mut diagnostics = Vec::new();

    let cut_pairs: HashSet<(usize, usize)> = cuts.iter().map(|c| (c.from_pod, c.to_pod)).collect();

    for cut in cuts {
        let present = manifest.edges.iter().any(|e| {
            e.from_pod == cut.from_pod && e.to_pod == cut.to_pod && !e.cut_annotations.is_empty()
        });
        if !present {
            diagnostics.push(format!(
                "cut edge ({}, {}) missing from manifest or missing cut annotation",
                cut.from_pod, cut.to_pod
            ));
        }

        // An RPC boundary between two pods is symmetric at the fairness level:
        // the cut direction is chosen by the SCC's lowest-confidence edge and
        // may be the reverse of the call-site-derived rpc_stub. A stub in
        // either direction proves the cross-boundary call is preserved.
        let has_rpc_stub = manifest.edges.iter().any(|e| {
            e.kind == "rpc_stub"
                && ((e.from_pod == cut.from_pod && e.to_pod == cut.to_pod)
                    || (e.from_pod == cut.to_pod && e.to_pod == cut.from_pod))
        });
        if !has_rpc_stub {
            diagnostics.push(format!(
                "cut edge ({}, {}) has no corresponding 'rpc_stub' entry",
                cut.from_pod, cut.to_pod
            ));
        }
    }

    for edge in &manifest.edges {
        if !edge.cut_annotations.is_empty() && !cut_pairs.contains(&(edge.from_pod, edge.to_pod)) {
            diagnostics.push(format!(
                "edge ({}, {}) has cut annotations but is not in the cut list",
                edge.from_pod, edge.to_pod
            ));
        }
    }

    diagnostics
}