Function compile_json 

pub fn compile_json(source: &str) -> String

Checks and lowers source, and answers what a reader would want to see before running it.

{"ok":bool,"diagnostics":[...],"ir":string|null}

ok is “nothing stopped this from running”, which is not the same as “no diagnostics”: a warning leaves ok true and is still shown. ir is this crate’s own rendering of the lowered program’s disassembly, minus the standard library, and is null for a source that did not reach the lowering.