Function is_register_alloc_spec 

pub fn is_register_alloc_spec(spec: &str) -> bool

Whether spec is a register-allocation spec (a registers: budget plus at least one live range). This is the single source of truth the Studio uses to route Hardware-mode input to the allocator easter egg, so the wiring (panel visibility, output panel, viz panel) can never drift from what the parser actually accepts.