Function reg_is_reserved 

pub const fn reg_is_reserved(x: u8) -> bool

True iff x is a reserved register (x16..x31 — they do not exist in the RV64E base) — as opposed to x0, which also lacks a slot but is valid. Drives the reserved-encoding (illegal) check in both engines.