vyre-spec 0.4.1

Frozen data contracts for vyre — OpDef, AlgebraicLaw, Category, IntrinsicTable
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

//! Frozen metadata category tags emitted into generated operation catalogs.

/// High-level operation category for generated catalogs in the frozen contract.
///
/// Example: `MetadataCategory::Intrinsic` marks an operation whose implementation is a
/// hardware intrinsic path.
#[derive(Debug, Clone, PartialEq, Eq, Hash, serde::Deserialize, serde::Serialize)]
#[non_exhaustive]
pub enum MetadataCategory {
    /// Category A: zero-overhead composition or handwritten equivalent.
    A,
    /// Category B: guarded tripwire path.
    B,
    /// Category C: hardware intrinsic path.
    C,
    /// Catalog producer did not assign a category.
    Unclassified,
}

impl MetadataCategory {
    /// Stable category label.
    #[must_use]
    pub const fn category_id(&self) -> &'static str {
        match self {
            Self::A => "A",
            Self::B => "B",
            Self::C => "C",
            Self::Unclassified => "unclassified",
        }
    }
}