Accurate Observability
Kind: invariant
Record: reasoning:invariant-accurate-observability
Canonical: Reasoning
Logs, metrics and traces report the system accurately
Listed in Reasoning records, after Configuration Validity and before Reachable Check.