Design, Verification, and Software Development Decisions Require a Single Source of Truth