Module declared_precision 

2026-09-30: DeclaredPrecision, the EdgePrecision that gives every projection the formats its checkpoint DECLARES (DeclaredPrecisionPlan), before any serving policy: the weight as stored, and the input activation as the checkpoint declares it (FP8 per token, per tensor with a static scale, NVFP4 group 16, or 16-bit).

Owner: metrale-circuit. Invariants:

• A declared format the circuit has no edge format for (an integer scheme, an FP8 weight with an unstated granularity, …) is recorded, never guessed; DeclaredPrecision::refusals lists them and the caller refuses the checkpoint.
• A module the plan does not cover is 16-bit (LayerPrecision::UNQUANTIZED); an expert projection is covered by its fused-experts module’s declaration (2026-10-02).

Structs

DeclaredPrecision

2026-09-30: The checkpoint’s declared formats as an EdgePrecision.