pub fn reversibility(op: &Op) -> RevClassExpand description
★ THE STATIC REVERSIBILITY CATALOG ★ — the single source of truth for how every VM bytecode op
is run backward. EXHAUSTIVE on Op (no _ arm): adding an instruction fails to compile until it
is classified, so no op can silently escape a reversibility strategy. Keep this in lockstep with
the reverse executor (vm::journal / Vm::run_reverse, R1+) — the behavioural roundtrip lock
proves they agree.
R0 ships the classification only; the abelian promotions (Journaled(InPlace) → Bijection,
e.g. CrdtBump) land in R1 alongside the reverse executor that proves each roundtrip.