“static admission serialized 96.7% of executions, including 93.3% of clean cases, and therefore recovered reliability largely by collapsing toward serial execution”

An unusually honest negative result from the tool's own author: safety came from giving up parallelism, with no wall-clock gain. The dynamic variant failed closed on undeclared scope in 46 of 90 runs.