Replication package for Finite-Horizon Collision Bounds for Adaptive Cruise Control under Undetected Sensor Attacks

Replication package accompanying “Finite-Horizon Collision Bounds for Adaptive Cruise Control under Undetected Sensor Attacks.” The ZIP contains the 40-page manuscript and 43 matching LaTeX compilation inputs, portable Python checks, four Simulink models, simulation summaries and saved validation traces, fixed protocols, pulse-search outputs, interval analyses, a file catalog, and reproduction instructions. The Python runner reproduces calibration, paired statistics, the 45,000-row pulse enumeration, clean reference margins, interval certificates, an amplitude-only comparison, saved-trace audits, and additional deterministic checks. Full historical Simulink campaign archives and binary MAT checkpoints are retained separately and are not included in this compact package. Simulink execution requires the complete original project layout and MATLAB/Simulink. The contact certificate applies to the specified discrete-time model with zero realized measurement noise, trusted backup and speed inputs, and attack errors held between detector observations. It does not establish noisy, post-alarm, or continuous-time safety. Package: acc_mathematics_replication_20261102.zipSHA-256: a4ae33c9a3c9f76fff85d89425bf4621a5643cf38342cb68bfc0c259a8e27d16 Access to the package files is restricted.