tokitai-operator 0.1.0

Verified DL kernel compiler: formally-checked GEMM, p-adic, sheaf, contract-carrying ops. Paper-artifact grade.
Documentation
//! Layer kinds: `TensorTile`, `Fusion`, etc.
//!
//! `LayerKind` is the abstract classification of an IR layer.
//! `LayerSchedule` is the per-layer schedule action (e.g. tile
//! along axis 0 by factor 4). The planner reads these to decide
//! tiling and fusion.
//!
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub enum LayerKind {
    TensorTile,
    CoverElement,
    OverlapRegion,
    ValuationStratum,
    Precision,
    Hardware,
    Algorithmic,
}

#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub struct Layer {
    pub id: String,
    pub kind: LayerKind,
}

#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub struct LayerTransition {
    pub from: String,
    pub to: String,
    pub rule: String,
}