Module precision 

2026-09-28: The precision a linear node runs at: the EdgePrecision resolver, and PrecisionTable, a table-driven implementation read from kernels/circuits/precision/<checkpoint>.toml.

The trait is shaped after DeclaredPrecisionPlan::resolve(module) -> LayerPrecision (branch perf/weight-quantization, crates/config/src/precision_plan.rs): a module path in, the weight and input-activation formats out. Once that plan and WeightQuantPolicy are on main, an adapter implements this trait from them and the tables go.

Owner: metrale-circuit. Invariants:

• A table ends with a catch-all match = "*" entry, so every module resolves to a stated format; there is no implicit default.
• The first matching entry wins, in file order.

Structs

LinearFormats

2026-09-28: The formats one linear module runs at.

PrecisionTable

2026-09-28: A glob-matched table of linear formats.

Enums

PrecisionError

2026-09-28: Why a precision table did not load.

Traits

EdgePrecision

2026-09-28: Answers the formats of a linear module, e.g. layers.3.mlp.down_proj. Module paths are relative to the circuit’s module_prefix.