Replication materials for Sharp coverage bounds with shared delayed outcomes

Code and derived experimental outputs for exact coverage auditing with shared delayed outcomes. Contains an exact rational interval reducer and window-state solver, independently expressed enumeration/MaxSAT/variable-frontier references, synthetic generators, original measured results, and scripts for controlled replay of public Brest AIS trajectories. Public archiving and the experiment freeze were authorized on 2026-09-28. Code is MIT licensed; accompanying documentation and derived experimental outputs are CC BY-NC-SA 4.0. Raw AIS identifiers and coordinates are not redistributed. Arrival delays and loss are simulated. See EXPERIMENTS_FROZEN.md and the reproduction instructions for scope and file-level terms.