specfold-core 0.7.1

Library behind specfold: typed Markdown documents, owners, a derived graph and checks.
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

//! Unit tests for the graph: resolution and queries.

use super::*;
use crate::config::{Config, OwnerKind, RawConfig};
use crate::corpus::{Corpus, LoadOptions};

fn write(root: &std::path::Path, rel: &str, text: &str) {
    let p = root.join(rel);
    std::fs::create_dir_all(p.parent().unwrap()).unwrap();
    std::fs::write(p, text).unwrap();
}

#[test]
fn resolves_and_queries() {
    let tmp = tempfile::tempdir().unwrap();
    let r = tmp.path();
    std::fs::create_dir_all(r.join("services/shop/src/cart")).unwrap();
    write(
        r,
        "services/shop/.spec/sot/cart.sot.md",
        "---\nstatus: active\nrel:\n  governs: [\"services/shop/src/cart/**\"]\n---\n# Cart\n## Totals {#CO-1}\n",
    );
    write(
        r,
        "services/shop/.spec/adr/20260101000000-old.adr.md",
        "---\nstatus: superseded\naliases: [ADR-7]\n---\n# Old\n",
    );
    write(
        r,
        "services/shop/.spec/adr/20260201000000-new.adr.md",
        "---\nstatus: active\nrel:\n  supersedes: [ADR-7]\n  implements: [\"sot:shop/cart#CO-1\"]\n---\n# New\n",
    );
    write(
        r,
        "services/shop/.spec/research/20260301000000-ship.research.md",
        "---\nstatus: active\n---\n# Ship\n[[adr:shop/20260201000000]] [[sot:shop/cart#NOPE]]\n",
    );
    let mut raw = RawConfig::default();
    raw.owners.kinds = vec![OwnerKind { pattern: "services/*".into(), id: "{1}".into(), manifest: false }];
    let c = Corpus::load(Config::from_raw(r.to_path_buf(), raw, false), &LoadOptions::default());
    let g = Graph::build(&c);
    let idx = |id: &str| g.by_id[id];
    assert!(matches!(g.resolve("ADR-7"), Resolution::Doc { via_alias: true, .. }));
    let relative = g.resolve("../../services/shop/.spec/sot/cart.sot.md");
    assert!(matches!(relative, Resolution::Doc { idx, .. } if idx == g.by_id["sot:shop/cart"]));
    assert!(matches!(g.resolve("sot:shop/cart#NOPE"), Resolution::MissingAnchor { .. }));
    assert_eq!(
        query::chain(&g, idx("adr:shop/20260101000000")),
        [idx("adr:shop/20260101000000"), idx("adr:shop/20260201000000")]
    );
    let imp: Vec<usize> = query::impact(&g, idx("sot:shop/cart")).into_iter().map(|x| x.0).collect();
    assert_eq!(imp, [idx("adr:shop/20260201000000"), idx("research:shop/20260301000000")]);
    let gov = query::governing(&c, "services/shop/src/cart/total.rs");
    assert_eq!(gov[0].idx, idx("sot:shop/cart"));
    assert_eq!(gov.len(), 4);
}