PASS 200000 clock/IRQ replay steps + 400 bounded cold-start failures (RAM model only)
