Couverture des sources
Part des sources officielles déclarées au registre qui sont en collecte normale à l'instant du calcul.
- Comment il est calculé
- Le dénominateur est le registre des connecteurs du dépôt, pas la table des sources : une source retirée de la base sans être retirée du registre ferait autrement remonter la couverture. L'état de chaque source vient de ses trois horloges persistées, comparées à son propre rythme de publication.
- Ce qui est écarté du calcul
- Une source déclarée au registre mais absente de la base est comptée comme non couverte, jamais ignorée.
- Son seuil, et pourquoi celui-là
- Toutes les sources déclarées doivent être en collecte normale. Une source en silence anormal fait passer la mesure sous son seuil, et la page de statut en donne le détail.