Correct, and checked against someone else
Output is cross-validated against independent decoders — iced-x86, bad64, yaxpeax-arm, riscv-decode — not against asm-rs's own expectations. Branch displacements are swept across each encoding's full range, and a differential fuzz target asks a decoder where each branch really goes.