Observability

Metrics

Last modified March 10, 2026: minor fixes (dd8e7cd)