Module select 

The engine a host chooses, the provenance mode a compiled engine is built with, and the selector that picks a mode from a graph’s shape when the host leaves it to Provenance::Auto.

Structs

EnginePlan

What a kernel’s engine decided for its program: how much of it runs as native segments, as closure steps, and on the interpreter. The one planning detail a kernel exposes, on every engine (Kernel::plan).

GraphAnalysis

Graph analysis results used by the engine selection heuristic.

Enums

Engine

The engine a program runs on. Every engine accepts every program the interpreter accepts, or refuses it with a reason (KernelError::Refused); the choice changes how fast the program runs and nothing else (docs/design/engine_parity.md).

KernelError

Why a kernel was not built: the one error type of every constructor that takes an Engine.

ProvMode

Which provenance optimization the compiler selected.

Provenance

How much of a kernel’s work is skipped when inputs repeat: the provenance mode a compiled engine is built with. Every mode computes the same values; the modes differ in what they recompute.

Functions

analyze_graph

Analyze a resolved DAG to compute structural metrics.

select_prov_mode

Select the optimal provenance mode based on graph analysis.