Expand description
Configuration space model for launchbound.
A kernel declares its tunable dimensions in a kernel.toml next to its
source. This crate loads that spec, enumerates the (constraint-filtered)
configuration space deterministically, and gives every configuration a
canonical, stable, hashable ID. Enumeration is a pure function of the
spec: same spec, same order, byte for byte.
Structs§
- Config
- One point in a kernel’s configuration space: a total assignment of every declared dimension. Dimensions are kept sorted by name, which is what makes the canonical ID canonical.
- Config
Id - Canonical configuration identifier, e.g.
c1-9f2a4c1e77b0d3a5. - Constraint
- Dim
- One tunable dimension.
- Kernel
Spec - A kernel’s declared tuning space, loaded from
kernel.toml.
Enums§
- DimRole
- What a dimension controls.
- Safety
Expectation - What the corpus documents about a kernel’s expected gate behaviour, so the gate is tested in both directions (corpus/README.md).
- Space
Error - Value
- One value a dimension can take.
Functions§
- enumerate
- Enumerate the full constraint-filtered space, in canonical order.
- eval_
arith_ expr - Evaluate a comparison-free arithmetic expression against a candidate’s
dimensions plus extra named variables (bench plans use this for grid
shapes and buffer sizes, e.g.
elements / block_x). - raw_
size - The size of the unfiltered space (product of value counts).