Function lower_program 

pub fn lower_program(
    resolved: &ResolvedProgram,
    frontend: &ProgramFrontendOutput,
    options: LowerOptions,
) -> Result<ExecutableProgram, ProgramLowerError>

Lowers one canonical resolved program and its matching frontend products.

Static linkage becomes live metadata only. Dynamic imports remain instructions backed by dynamic-capable edges.

Errors

Returns a path- and phase-typed failure for frontend mismatch, metadata construction, module lowering/verification, or final program linking.