weirflow 0.1.0

GPU-first dataflow analysis primitives for Vyre and Santh compiler pipelines.
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

//! Release-evidence contract for Weir.
//!
//! README release claims must point at concrete checked-in evidence. This test
//! prevents prose-only release readiness claims from drifting away from the
//! artifacts used by the Vyre/Weir release train.

use std::fs;
use std::path::Path;

const RELEASE_EVIDENCE: &[&str] = &[
    "release/evidence/weir/weir-analysis-api-matrix.json",
    "release/evidence/weir/weir-vyre-integration-tests.json",
    "release/evidence/benchmarks/weir-dataflow-release.json",
    "release/evidence/docs/weir-integration.md",
];

#[test]
fn readme_release_evidence_paths_exist() {
    let root = Path::new(env!("CARGO_MANIFEST_DIR"));
    let readme = fs::read_to_string(root.join("README.md")).expect("README.md must be readable");

    for relative in RELEASE_EVIDENCE {
        assert!(
            readme.contains(relative),
            "README release evidence section must mention {relative}"
        );
        assert!(
            root.join(relative).is_file(),
            "README release evidence path must exist: {relative}"
        );
    }
}

#[test]
fn json_evidence_files_pin_crate_version_and_release_train() {
    let root = Path::new(env!("CARGO_MANIFEST_DIR"));

    for relative in &RELEASE_EVIDENCE[..3] {
        let text = fs::read_to_string(root.join(relative))
            .unwrap_or_else(|err| panic!("{relative} must be readable: {err}"));
        for required in [
            "\"crate\": \"weir\"",
            "\"version\": \"0.1.0\"",
            "\"release_train\": \"vyre-0.4.2\"",
            "\"status\":",
        ] {
            assert!(
                text.contains(required),
                "{relative} must contain {required}"
            );
        }
    }
}

#[test]
fn integration_evidence_requires_loud_gpu_parity() {
    let root = Path::new(env!("CARGO_MANIFEST_DIR"));
    let text =
        fs::read_to_string(root.join("release/evidence/weir/weir-vyre-integration-tests.json"))
            .expect("integration evidence must be readable");

    for required in [
        "\"gpu_required\": true",
        "df_parity_inventory_sweep.rs",
        "ifds_gpu_solve_gpu_parity.rs",
        "fail loudly rather than skip parity",
    ] {
        assert!(
            text.contains(required),
            "integration evidence must contain {required}"
        );
    }
}

#[test]
fn integration_evidence_requires_exact_dispatch_decode_abi_contracts() {
    let root = Path::new(env!("CARGO_MANIFEST_DIR"));
    let text =
        fs::read_to_string(root.join("release/evidence/weir/weir-vyre-integration-tests.json"))
            .expect("integration evidence must be readable");

    for required in [
        "\"unit_test_filters\"",
        "\"dispatch_decode\"",
        "tests/dispatch_decode_modularity.rs",
        "tests/source_boundary.rs",
        "reject missing outputs",
        "extra outputs",
        "short buffers",
        "trailing bytes",
        "wrong multi-output counts",
    ] {
        assert!(
            text.contains(required),
            "integration evidence must include exact dispatch decode ABI contract marker {required}"
        );
    }
}

#[test]
fn documentation_evidence_declares_cpu_oracle_boundary() {
    let root = Path::new(env!("CARGO_MANIFEST_DIR"));
    let text = fs::read_to_string(root.join("release/evidence/docs/weir-integration.md"))
        .expect("documentation evidence must be readable");

    for required in [
        "backend-neutral",
        "CPU routines are release oracles only",
        "Production modules must not call them directly",
        "cargo test -q --features cpu-parity dispatch_decode",
    ] {
        assert!(
            text.contains(required),
            "docs evidence must contain {required}"
        );
    }
}