vyre-spec 0.1.1

Frozen data contracts for vyre — OpSpec, AlgebraicLaw, Category, IntrinsicTable
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//! Frozen invariant-category tags used for catalog grouping and reporting.

/// Coarse grouping of invariants by concern in the frozen data contract.
///
/// Example: `InvariantCategory::Resource` groups bounded allocation, no panic,
/// and no undefined-behavior invariants.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub enum InvariantCategory {
    /// Properties of a single program run.
    Execution,
    /// Properties of the law and composition layer.
    Algebra,
    /// Bounds on allocations, panics, and undefined behaviour.
    Resource,
    /// Stability guarantees across versions.
    Stability,
}