vyre 0.4.0

GPU compute intermediate representation with a standard operation library
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

pub fn generate_spec_toml(
    id: &str,
    archetype: &str,
    display_name: &str,
    summary: &str,
    category: &str,
) -> String {
    let composition = if category == "A" {
        "\n# Composition-backed ops must list composed dependencies.\ncomposition_of = []\n"
    } else {
        ""
    };

    // A Category-C op must declare backend-intrinsic spellings. Leave
    // them blank (empty strings) by default — the spec loader rejects
    // empty intrinsic strings with a `Fix:`-prefixed error, so the
    // contributor has to supply them before the op lands, and the
    // generated file never ships with "TODO" text that LAW 9
    // (zero-stubs enforcer) would flag on contributor PRs.
    let intrinsic = if category == "C" {
        "\n[intrinsic]\nwgsl = \"\"\nspirv = \"\"\ncuda = \"\"\nmetal = \"\"\n"
    } else {
        ""
    };

    format!(
        r##"schema_version = 1

id = "{id}"
archetype = "{archetype}"
display_name = "{display_name}"
summary = "{summary}"
category = "{category}"{composition}
{intrinsic}
[signature]
inputs = ["U32", "U32"]
output = "U32"

# Concrete laws from `vyre_spec::AlgebraicLaw` go here (Commutative,
# Associative, Identity {{ element = ... }}, …). An empty list is
# valid for ops that declare no algebraic claims; the conform gate
# then only checks parity, not law verification.
laws = []

# Adversarial equivalence classes for this op. Empty is valid; the
# adversarial gauntlet widens coverage later. Populate once mutation
# testing surfaces a defect the default classes miss.
equivalence_classes = []

workgroup_size = [64, 1, 1]

tags = []
"##
    )
}