I call this Risc-6: The RISC-V "Good Parts" edition, leaving behind the academic complications and unfortunate premature pessimizations, crystallizing out a sin

I call this Risc-6: The RISC-V "Good Parts" edition, leaving behind the academic complications and unfortunate premature pessimizations, crystallizing out a single compilation target that is simplest to implement for maximum performance for mainstream implementations. The expensive formal verification work could be inherited by fixed mapping.