Module taxon 

2026-09-26: The gate’s view of the kernel taxonomy kernels/<hardware>/<model>/<quant>/: target enumeration, sources and configs, path-to-node helpers, and the set of targets a change affects.

What a target compiles comes from metrale_closure::layout, the resolver the kernels build script also uses; that crate has no CUDA dependency.

Owner: bench gate. Invariants:

• A target that does not resolve is never reported unaffected: sources returns None for it, and affected includes it for any path under kernels/.
• walk panics on a tree the resolver refuses; resolves is the non-panicking check.

Structs

Target

2026-09-26: One compiled unit: (hardware, model, quant).

Functions

affected

2026-09-26: Targets a changed path set can affect: the union of two rules.

configs

2026-09-26: Config files that steer a target’s compile without being sources, in the order closure_attestation in the kernels build script hashes them: HARDWARE.toml, every KERNEL.toml the resolution read (least specific first), the target’s own MODEL.toml, then (2026-09-28) the circuit files of metrale_closure::circuit_configs. Files that do not exist are left out. When the target does not resolve, the list is the hardware’s and the model’s manifests and the circuit files only. (2026-09-30) An inherited rule chain that does not resolve is an error: a shorter list would leave an ancestor’s FUSIONS.toml out of the hash.

hardware_of

2026-09-26: The hardware node a repo-relative path sits under: the first component after kernels/.

hardware_span

2026-09-26: Hardware nodes the changed paths sit under.

model_of

2026-09-26: The (hardware, model) node a path sits under. None for a path outside kernels/, a file directly in a hardware dir, and anything under common/.

model_span

2026-09-26: (hardware, model) nodes the changed paths sit under.

resolves

2026-09-26: Whether the resolver can enumerate the tree, without the panic of walk.

sources

2026-09-26: Kernel module sources for target, after shadowing, sorted. None when the target does not resolve or resolves to no sources; callers treat that as affected.

walk

2026-09-26: Every target in the tree, as the resolver enumerates it: a hardware dir holds HARDWARE.toml, a model dir holds MODEL.toml (no common/ does), and the quants are the subdirectories of the model’s resolved kernel source directory, here or in the tree it inherits.