Function build_option_result

crates/ffi/src/kernel.rs:2962–2971

Build one `Option CheckError` object from a Rust check result. - `Ok(())` → `none` - `Err((Kernel, msg))` → `some (CheckError.kernelException msg)` - `Err((Compile, msg))` → `some (CheckError.compileError msg)`

(result: &CheckRes)

  for line in status.lines() {
    let Some(rest) = line.strip_prefix("VmRSS:") else {
      continue;
    };
    let kb = rest.split_whitespace().next()?.parse::<u64>().ok()?;
    return Some(kb.div_ceil(1024));
  }
  None
}

fn kernel_check_mem_suffix(peak_rss_mib: Option<&AtomicU64>) -> String {
  if !kernel_check_mem_stats_enabled() {
    return String::new();
  }
  let rss_now = current_rss_mib();