backend differential harness: queued vs direct vs channel — stepwise DOM equality, trap-vector equality, flush-on-trap.