vyre-driver 0.7.2

Driver layer: registry, runtime, pipeline, routing, diagnostics. Substrate-agnostic backend machinery. 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

//! Typed artifact invocation-grid contracts.

use vyre_driver::{BackendError, BindingSet};
use vyre_megakernel::Digest;

/// WHY: runtime workload geometry varies independently of immutable artifact identity,
/// but zero-sized grids must fail before target submission.
#[test]
fn invocation_grid_is_typed_validated_and_identity_neutral() {
    let artifact = Digest([7; 32]);
    let mut bindings = BindingSet::new(artifact);

    bindings
        .set_invocation_grid([3, 2, 1])
        .expect("positive invocation grid must be accepted");
    assert_eq!(bindings.artifact(), artifact);
    assert_eq!(bindings.invocation_grid(), Some([3, 2, 1]));

    let error = bindings
        .set_invocation_grid([3, 0, 1])
        .expect_err("zero invocation extent must fail closed");
    let BackendError::InvalidProgram { fix } = error else {
        panic!("zero invocation extent must be an invalid-program error");
    };
    assert!(fix.contains("axis 1") && fix.contains("must be positive"));
    assert_eq!(bindings.invocation_grid(), Some([3, 2, 1]));
}