Struct KernelBinding 

pub struct KernelBinding {
    pub contract: String,
    pub equation: String,
    pub module_path: Option<String>,
    pub function: Option<String>,
    pub signature: Option<String>,
    pub status: ImplStatus,
    pub notes: Option<String>,
    pub kernel: bool,
}

A single binding: one contract equation mapped to one implementation.

Fields

contract: String

Contract YAML filename (e.g. “softmax-kernel-v1.yaml”).

equation: String

Equation name within the contract (e.g. “softmax”).

module_path: Option<String>

Full Rust module path (e.g. aprender::nn::functional::softmax).

function: Option<String>

Function or method name.

signature: Option<String>

Full Rust signature string.

status: ImplStatus

Implementation status.

notes: Option<String>

Free-form notes.

kernel: bool

This entry binds a cuda-oxide #[kernel] beside the equation’s CPU reference (ONT-4c4, #4069): the ontology joins the two by the shared equation. BINDING-006 keys on it, so an equation holds at most one reference and one kernel, and BindingRegistry::find_binding never returns the kernel entry.

Implementations

impl KernelBinding

pub fn function_defined_in(&self, fn_names: &HashSet<String>) -> bool

True when this binding’s function is present in the given set of function names discovered in source. A binding with no function field cannot be verified and returns false.

Trait Implementations

impl Clone for KernelBinding

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for KernelBinding

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for KernelBinding

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for KernelBinding

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.