available_in

metrale_model_layers::circuit_exec::kernels

Function available_in 

Source 
pub fn available_in(
    rules: &[Rule],
    modules: &[(&str, &[u8])],
) -> Result<AvailableKernels>
Expand description

2026-09-28: Every kernel rules name that the target’s modules ((name, PTX)) define. Read from the PTX, not by lookup: a lookup of an entry the target lacks would count as an unresolved kernel at the boot gate. Capability bits are not probed yet, so a rule that requires one is refused rather than assumed present or silently skipped.