Flowproof makes drag replay pass 20 of 20

Flowproof 0.12.0 lifted the same browser drag test from 4 successful drops in 8 attempts to 20 in 20. Its release changelog traces the failure to inconsistent source-and-target layouts and intermediate moves that omitted the held mouse button; the new drag grammar also refuses to compile unless the next step asserts the drop’s effect. For teams testing agent-authored workflows, file that discipline beside Octobench’s five-task harness swing: deterministic replay is useful only when an action proves its outcome instead of merely proving that events fired.