nocter-target-program

Responsibility

Validate one checked program against a selected toolchain target, then close one executable or test root into a deterministic concrete reachable program.

Contract

TargetProgram owns target/toolchain acceptance for check, build, and run. ExecutableProgram owns entry-driven monomorphization, concrete callable closure, frozen dispatch, and executable type representations consumed by MIR. The crate does not inspect syntax or repeat checking decisions.

Internal Responsibilities

• target capabilities and primitive completeness
• package target and entry validation
• executable and test root selection
• concrete instance, closure, and drop reachability
• monomorphized item and representation closure

Invariants

• Target validation runs once before executable specialization.
• Every concrete dispatch comes from checking's selected semantic authority.
• Reachability uses semantic identities, never runtime symbol spelling.
• MIR receives no unresolved requirement, interface implementation, or generic lookup.

The cross-stage contract is documented in Target, Executable, and MIR Program Design.