Program

validate: interprets builder programs into accumulated diagnostics.

deps: interprets builder programs into dependency and provenance graphs.

dry-run: interprets builder programs into operation summaries without materializing derivations.

plan-view: surfaces typed BuildPlan records and rendered shell commands without forcing derivations.

describe: interprets builder programs into a typed self-documentation model.

introspect: composed builder self-view over validation, deps, dry-run, plan-view, describe, and materialize.

materialize: lowers builder programs into typed BuildPlan records and runCommand derivations.

backends: plan translators that emit non-Nix build artifacts from a substrate-neutral BuildPlan.

former: derives a builder kind's op-coproduct side and state-ornament side from one argument tuple.

plan-export: serializes the pre-finalize PlanState to JSON with thunk-boxed derivation fields as the omission boundary.