pub fn certify(
program: TypedCommons,
diagnostics: Vec<CompileError>,
) -> Result<CheckedProgram, Vec<CompileError>>Expand description
The single place “may we emit?” is asked (R3.10). Rejects — returning
every diagnostic, not just the error-severity ones, matching
check_record’s own error-path convention — if diagnostics contains an
error-severity entry; otherwise wraps program as certified.