Skip to main content

Crate launchbound_space

Crate launchbound_space 

Source
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.
ConfigId
Canonical configuration identifier, e.g. c1-9f2a4c1e77b0d3a5.
Constraint
Dim
One tunable dimension.
KernelSpec
A kernel’s declared tuning space, loaded from kernel.toml.

Enums§

DimRole
What a dimension controls.
SafetyExpectation
What the corpus documents about a kernel’s expected gate behaviour, so the gate is tested in both directions (corpus/README.md).
SpaceError
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).