Expand description
§Weavatrix Graph
weavatrix-graph is a small Rust library for deterministic, typed,
evidence-carrying graphs. It is the graph foundation of Weavatrix, but it is
usable by repository analyzers, architecture tools, dependency explorers, and
other applications without depending on Weavatrix itself.
The crate owns graph integrity and serialization. It does not walk files, parse programming languages, execute commands, access the network, or provide an MCP/CLI transport.
§Properties
- typed nodes and edges with custom extension kinds;
- strongly typed, non-empty node identifiers;
- source spans, optional language labels, evidence kind, confidence, and extractor provenance;
- structured node and edge attributes for parser-specific metadata;
- deterministic node and edge order independent of insertion order;
- indexed node lookup plus incoming and outgoing adjacency queries;
- idempotent insertion of identical nodes and edges;
- rejection of conflicting nodes, dangling edges, and invalid source spans;
- validated deserialization that cannot bypass graph invariants;
- compatibility conversion from Weavatrix’s legacy
{ nodes, links }graph; - no unsafe code and one runtime dependency:
serde.
§Example
use weavatrix_graph::{
Confidence, Edge, EdgeKind, EvidenceKind, GraphBuilder, Node, NodeKind,
Provenance,
};
let repository = Node::new("repo:demo", "demo", NodeKind::Repository)?;
let file = Node::new("file:src/lib.rs", "src/lib.rs", NodeKind::File)?;
let mut builder = GraphBuilder::new();
builder.add_node(repository.clone())?;
builder.add_node(file.clone())?;
builder.add_edge(Edge::new(
repository.id,
file.id,
EdgeKind::Contains,
Provenance::new("example", EvidenceKind::Parsed, Confidence::High)?,
))?;
let graph = builder.build()?;
assert_eq!(graph.node_count(), 2);
assert_eq!(graph.edge_count(), 1);§Extension Kinds
Known relation and node kinds are enum variants. Ecosystem-specific kinds remain
forward-compatible through Custom values. Language taxonomies intentionally
belong to analyzers, not the graph core; nodes carry language as a validated
string label.
use weavatrix_graph::NodeKind;
let kind = NodeKind::custom("terraform_resource")?;
assert_eq!(kind.as_str(), "terraform_resource");§Weavatrix compatibility
The core graph format intentionally keeps canonical nodes and edges, but the
crate can ingest the current JavaScript Weavatrix { nodes, links } shape:
use weavatrix_graph::{Graph, LegacyGraph};
let legacy: LegacyGraph = serde_json::from_str(r#"{
"nodes": [
{ "id": "src/lib.rs", "label": "lib.rs" },
{ "id": "src/lib.rs#entry@1", "label": "entry()" }
],
"links": [
{
"source": "src/lib.rs",
"target": "src/lib.rs#entry@1",
"relation": "contains",
"confidence": "EXTRACTED"
}
],
"edgeTypesV": 2,
"edgeProvenanceV": 1
}"#)?;
let graph: Graph = legacy.into_graph("weavatrix-js")?;
assert_eq!(graph.edge_count(), 1);Legacy metadata such as line, compileOnly, typeOnly, specifier,
usage, source_range, and unknown extension fields is preserved as structured
attributes.
§Benchmarks
The repository includes dependency-free benchmark harnesses for graph construction, indexed queries, JSON serialization, and validated deserialization:
cargo bench --lockedEach workload runs two warmups and 11 measured iterations, then reports the median and minimum. Sample result on Windows 11 with Rust 1.97.1:
| Workload | Graph size | Median |
|---|---|---|
| Validated build | 10,000 nodes / 30,000 edges | 55.5 ms |
| 10,000 node lookups + 20,000 adjacency walks | 10,000 / 30,000 | 4.4 ms |
| JSON serialization | 5,000 / 15,000, 2.86 MB | 3.4 ms |
| Validated JSON deserialization | 5,000 / 15,000, 2.86 MB | 28.7 ms |
Incoming and outgoing indexes are rebuilt during graph construction and
deserialization. They are intentionally excluded from JSON, so the canonical
wire format remains only nodes and edges.
Timing varies by allocator, CPU, and build toolchain. Run the included harnesses on the deployment target before using these figures for capacity planning.
§Quality Gates
Local checks:
cargo fmt --check
cargo test --locked
cargo clippy --locked --all-targets -- -D warnings
cargo doc --locked --no-deps
cargo bench --lockedThe test suite includes architecture and duplicate-contract ratchets: source
files stay below 300 lines, model and kind remain focused folder modules,
runtime dependencies remain limited, and canonical kind strings cannot collide.
CI also runs measured Rust coverage with cargo-tarpaulin and fails below 85%.
Weavatrix architecture verification is backed by .weavatrix/architecture.json.
§License
MIT
Structs§
- Edge
- Finite
F64 - Deterministic JSON-like attribute value for graph extensions.
- Graph
- Graph
Builder - Legacy
Graph - Compatibility representation for the current JavaScript Weavatrix graph.
- Legacy
Link - Legacy link shape with all unknown fields preserved as attributes.
- Legacy
Node - Legacy node shape with all unknown fields preserved as attributes.
- Legacy
Point - Legacy
Range - Node
- NodeId
- Provenance
- Source
Position - Source
Span
Enums§
- Attribute
Value - Deterministic JSON-like attribute value for graph extensions.
- Confidence
- Edge
Kind - Semantic relationship between two graph nodes.
- Evidence
Kind - Origin of the evidence supporting an edge.
- Graph
Error - Node
Kind - Semantic role of a graph node.