Module model 

2026-09-30: The model side of a hardware plan: a circuit at its checkpoint’s formats, the serving policy its rules read, and the kernel target (<model>/<quant>) whose sources a class compiles for it. CircuitSource is the one seam between the hardware axis and how a circuit is instantiated (today kernels/circuits/INSTANCES.toml; the checkpoint instantiation plugs in behind the same trait).

Owner: metrale-circuit (hardware). Invariants:

• Settings a class’s HARDWARE.toml [defaults] decides are re-read from the device’s class (policy_on_class), except on the class a recipe was written for (ModelUnderPlan::settings_class), where the recipe’s value stands: it may pin one away from the class default.
• recipe precision is the instance’s own (the golden plans’ formats); declared is the checkpoint’s declared formats. Neither is chosen silently: the report prints which.

Structs

InstancesSource

2026-09-30: The source over kernels/circuits/INSTANCES.toml.

ModelSpec

2026-09-30: What names the model.

ModelUnderPlan

2026-09-30: A model ready to plan.

Enums

PrecisionChoice

2026-09-30: Which formats a plan serves.

Constants

CLASS_DEFAULT_SETTINGS

2026-09-30: Policy settings a class’s HARDWARE.toml [defaults] decides: setting to the defaults key (booleans map to on / off). INSTANCES.toml cites these rows for the values its recipes state.

Traits

CircuitSource

2026-09-30: Instantiates the model a spec names.

Functions

header_on

2026-09-30: header with the target re-spelled for class.

model_of

2026-09-30: inst loaded as a model to plan.

policy_on_class

2026-09-30: policy with the class-decided settings re-read from class, unless class is the settings_class the policy was stated for; the changed keys are returned for the report. A class that does not state one is an error either way.