Module device 

2026-09-30: kernels/DEVICES.toml: the GPU SKUs a circuit is planned for, the kernel class each builds, its roofline and the tensor-core instruction kinds it runs natively, plus the source guards that compile a kernel only where an instruction kind exists.

Owner: metrale-circuit (hardware). Invariants:

• Nothing defaults: every key the planner reads is required; an unknown top-level key, guard key, instruction family, native_mma key, source id or a duplicate device id is a typed error. A profile’s other spec keys are carried for the roadmap and not read.
• A peak the device lacks (fp4_block_scale on Hopper, 0.0 in the research file) is None here, and native_mma must agree with the dense peaks.

Structs

Device

2026-09-30: One SKU.

Guard

2026-09-30: A source guard and the instruction kind it stands for.

Instr

2026-09-30: One instruction kind, <family>.<kind>.

Peaks

2026-09-30: Dense tensor peaks, TFLOPS; a kind the device has no MMA for is None.

Registry

2026-09-30: The parsed registry.

Enums

MmaFamily

2026-09-30: The tensor-core instruction family.

MmaKind

2026-09-30: The operand format class an MMA multiplies.

Polarity

2026-09-30: Whether a guarded region compiles when its macro is defined or when it is not.

Functions

parse_devices

2026-09-30: Parse kernels/DEVICES.toml.