pub fn rev_tag(op: &Op) -> String
The reversibility-contract tag for one ISA instruction — the adiabatic annotation the Silicon backend reads to decide whether an instruction charge-recovers (Bijection) or needs a history cell.