Function render_artifact_bytes 

pub fn render_artifact_bytes(bytes: &[u8]) -> String

Checker-authored Lean module containing the exact artifact bytes. A certificate package never supplies this module; production verification and direct-Lake test harnesses materialize it from the .wasm under test.