That control system example has been what 95% of software development has been over my career. It's amazing how often devs simply won't recognize or acknowledge that they're resolving ambiguities by guessing. Ultimately everything we build rests atop a mountain of assumptions.