pub const ISA: &str = "rv64imc_zba_zbb_zbs_zicond";
The frozen ISA string PVM2’s compute core conforms to (RV64E run as the RV64I superset for the oracle, never naming x16–x31).