Function compile 

pub fn compile(
    source: &str,
    supplied: &BTreeMap<String, String>,
) -> Result<Program, Vec<Diagnostic>>

Parse declarations, resolve explicit module imports, and validate type/trait contracts.

All authored declarations and bodies are statically checked before initialization. Runtime value and resource checks preserve transactional execution.

Errors

Returns source-linked syntax, declaration, module, or trait-contract diagnostics.