LTL-UI · Selected-31 · latest run

Cross-replay error review

One decision per identity · separate evidence for every represented replay