Module sources 

2026-09-30: What the caller resolves from the kernel tree for one class: the modules a target of the class compiles (after inheritance, shadows and [modules] renames), every file the resolution stages, and the kernels its MODEL.tomls declare absent. The pure planner reads nothing else about the sources.

Owner: metrale-circuit (hardware). Invariants:

• The caller resolves with the same layout the kernels build uses (metrale-closure), so “compiled” here is what the build compiles; the crate never walks a directory itself.
• A class with no target for the model resolves its common layer only (target = None), and the report says so: its model-specific kernels are absent, not assumed.

Structs

ClassSources

2026-09-30: The kernel sources of one class for one model target.

Module

2026-09-30: One compiled module.

Traits

KernelTree

2026-09-30: A repository that can also resolve a class’s kernel sources.