pub const ISA_OPCODES: &[&str];Expand description
The APPEND-ONLY opcode table: opcode(op) == position of op.name() in this slice.
Order IS the ABI — a new op appends at the end and keeps every prior number fixed; the
totality lock (this module’s unit test opcode_map_is_total_over_the_isa) forces a newly-added Op to
be registered here, and the append-only lock pins the reversible-core numbers so a chip
decoder built against them can never silently mismatch. Never reorder or delete an entry.