Function evaluate 

pub fn evaluate(
    text: &str,
    file: Option<&str>,
    options: Option<EnvOptions>,
) -> EvaluateResult

Evaluate a complete LiNo knowledge base and return both results and any diagnostics emitted by the parser, evaluator, or type checker.

Each diagnostic carries a code (E001, E002, …), a message, and a source span (1-based line/col). See docs/DIAGNOSTICS.md for the full code list. Errors do not abort evaluation: independent forms continue to be processed after a failing one.