Correspondence is deliberately stricter than causal-equivalence: each legal linear extension is a distinct trace. Concurrency therefore cannot hide a missing or extra Reactor execution order behind an equivalence class.