Function render_kernel_table 

pub fn render_kernel_table(
    embedded: &[(&str, &[u8])],
    set_hash: &str,
    shadowed_dropped: &[(&str, &str)],
    expected_absent: &[(&str, &str)],
) -> String

Render the embedded kernel set (embedded = the LOADED target’s TargetPtxSet::modules) plus the runtime resolution overlay. set_hash is atlas_kernels::KERNEL_SET_HASH. shadowed_dropped drives the SHADOWED column; expected_absent is the target’s MODEL.toml declaration and drives the required-vs-expected split (via super::classify_failures — this file does not own that rule).