Semantic Observability for Autonomous Systems Diagnostics · Bharat Hunt