Function image_with_ro 

pub fn image_with_ro(words: &[u32], ro_start: u32, ro_bytes: &[u8]) -> Image

Build an Image from raw instruction words (+ ecalli 0 terminator) with a pinned read-only data cap of ro_bytes mapped at ro_start — for category-#3 read-only-cluster differential tests. Both engines materialize it PinnedCapRo (interp perm-RO, recompiler MatRange) and charge it per 2 MiB cluster.