Observability as a First-Class Requirement ()