vyre-foundation 0.7.2

Foundation layer: IR, type system, memory model, wire format. Zero application semantics. Part of the vyre GPU compiler.
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

//! Coverage contract for the canonical validation-code catalog.

use std::collections::BTreeSet;
use std::fs;

use vyre_foundation::validate::ValidationCode;

#[test]
fn every_registered_validation_code_is_cataloged() {
    let workspace_root = std::path::Path::new(env!("CARGO_MANIFEST_DIR"))
        .parent()
        .expect("foundation must live below the workspace root");
    let markdown = fs::read_to_string(workspace_root.join("docs/error-codes.md"))
        .expect("canonical error-code catalog must be readable");
    let documented = markdown
        .lines()
        .filter_map(|line| {
            let code = line.strip_prefix("| `V")?.split('`').next()?;
            (code.len() == 3 && code.bytes().all(|byte| byte.is_ascii_digit()))
                .then(|| format!("V{code}"))
        })
        .collect::<BTreeSet<_>>();
    let registered = ValidationCode::registered()
        .map(|(code, _)| code.to_string())
        .collect::<BTreeSet<_>>();

    assert_eq!(
        documented, registered,
        "Fix: docs/error-codes.md must contain exactly one row for every live validation rule."
    );
}