pub fn check_program(program_src: &str, proofs_src: &str) -> CheckResultExpand description
Public entry point: parse both .lino sources, pair queries with
derivations 1:1, and verify each pair structurally. Returns a
CheckResult with one CheckOk per replayed derivation or a list of
CheckErrors describing the first divergence per query.