TASEP-Bench: Exact Stationary Reference for Exclusion-Based Traffic Simulators

A validation harness that gives discrete-time traffic and pedestrian simulators an exact mathematical ground truth for their stationary behavior, built on a newly proved classification of the one-dimensional exclusion process.