# Mesure

Ce que le générateur trouve dans les contrats, produit par produit.
Ces pages sont **dérivées** de la représentation intermédiaire : elles
ne s'écrivent pas à la main, et elles changent le jour où l'API change.

```{warning}
La couverture Day-2 se lit avec son dénominateur, et cette colonne
compte les opérations **classées** pour la génération automatique.
LIFECYCLE et IGNORE n'y sont pas, parce que ce n'est pas du travail
automatisé mais du travail écarté.

Classée n'est pas portée par un module : la classification autorise la
génération, elle ne la produit pas. Le compte rendu de génération de
chaque produit publie les deux ratios côte à côte, et l'écart s'y lit
module par module, chacun avec sa raison.
```

| produit | opérations | candidates Day-2 | AUTO | MANUAL | classées |
|---|---|---|---|---|---|
| [instance v1](instance.v1.md) | 74 | 40 | 39 | 1 | 97,5 % |
| [lb v1](lb.v1.md) | 54 | 29 | 29 | 0 | 100,0 % |

Chaque produit porte aussi un **compte rendu de génération** : ce qui a
été écrit, ce qui a été écarté avec sa raison, et ce que le contrat n'a
pas su dire. C'est là que se lit pourquoi tel module n'existe pas.

```{toctree}
:hidden:

instance.v1
instance.v1.generation
lb.v1
lb.v1.generation
```