Struct KernelSpec 

pub struct KernelSpec {
    pub name: String,
    pub entry: String,
    pub domain: u8,
    pub needs_cc: Option<String>,
    pub known: SafetyExpectation,
    pub dir: PathBuf,
    pub dims: Vec<Dim>,
    pub constraints: Vec<Constraint>,
}

A kernel’s declared tuning space, loaded from kernel.toml.

Fields

name: String

Kernel name, matching the corpus directory.

entry: String

The #[kernel] entry function name.

domain: u8

Launch-contract domain (1, 2 or 3).

needs_cc: Option<String>

Minimum compute capability the kernel needs, e.g. “7.0”.

known: SafetyExpectation

What the corpus asserts this kernel’s gate result should be, so a regression in the analyzer shows up as a corpus failure.

dir: PathBuf

Directory holding the kernel crate (where kernel.toml lives).

dims: Vec<Dim>

Every declared dimension, sorted by name — the order that makes crate::Config::id canonical.

constraints: Vec<Constraint>

Expressions every enumerated configuration must satisfy.

Implementations

impl KernelSpec

pub fn load(dir: &Path) -> Result<Self, SpaceError>

Load <dir>/kernel.toml.

pub fn from_toml_str(origin: &str, text: &str) -> Result<Self, SpaceError>

Parse from a string (tests).

pub fn dim(&self, name: &str) -> Option<&Dim>

One dimension by name, or None if the spec does not declare it.

pub fn dims_sorted(&self) -> Vec<&Dim>

Dimensions in canonical (name-sorted) order.

Trait Implementations

impl Clone for KernelSpec

fn clone(&self) -> KernelSpec

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for KernelSpec

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.