Module metrics_public 

Federated /metrics endpoint.

Aggregates environmentd’s local metrics with every clusterd replica’s /metrics output, adding cluster_id, replica_id, process, cluster_name, and replica_name labels onto the clusterd-sourced metrics.

Functions

add_replica_labels 🔒

handle_public_metrics 🔒

The customer-facing /metrics endpoint.

label_pair 🔒

merge_families_by_name 🔒

Merges MetricFamily entries that share a name into a single entry, keeping the first occurrence’s metadata (help text, type) and appending every subsequent same-named family’s metrics into it.

scrape_replica_metrics_endpoint 🔒

scrape_replica_metrics_endpoint_inner 🔒