[Antithesis](https://antithesis.com/) uncovered additional panics in time computations in the Rust simulator. <img width="1020" height="266" alt="Image" src="https://github.com/user-attachments/assets/a0c106aa-2b14-4df3-9886-bb8f5df75413" /> **Artifacts** - [Antithesis report](https://cardano.antithesis.com/report/731xny74PHqrdzZhMARwbWWz/xwLUuaCZWaq5IB7LsiidN5M3-8f7TNos2HytYpKdJaI.html?auth=v2.public.eyJuYmYiOiIyMDI1LTA5LTIyVDE0OjA3OjQ5LjYwODI1ODkyOFoiLCJzY29wZSI6eyJSZXBvcnRTY29wZVYxIjp7ImFzc2V0IjoieHdMVXVhQ1pXYXE1SUI3THNpaWRONU0zLThmN1ROb3MySHl0WXBLZEphSS5odG1sIiwicmVwb3J0X2lkIjoiNzMxeG55NzRQSHFyZHpaaE1BUndiV1d6In19fX71QqZm3VRitifs_93pNdICDfzmHBdjI6Wgk7gC1foqOvlyMt-2y3CG2IGisyeNdRxangjMaFBxgK7U9unQ9Q4) - [Log dump](https://cardano.antithesis.com/de7e466d-039d-4130-9115-70bd701c8730) - [Configuration](https://github.com/input-output-hk/ouroboros-leios/blob/main/antithesis/Dockerfile)
