From Spec-Driven to Simulation-Driven

Understand why detailed specifications still need simulation to expose contradictions, timing assumptions, and unsafe behavior.