2. Lire la décision🔗

Le cas valide raconte une chaîne courte, dans cet ordre :

1. event-1 fige le protocole : métrique synthetic_delta, unité ratio, seuil 0.001, comparaison stricte, plafond de coût 10.00 cpu_s.

2. event-4 enregistre 0.002 ratio pour la même métrique et le même essai.

3. event-5 enregistre 2.50 cpu_s, sous le plafond déclaré.

4. event-6 cite l'observation et porte le verdict pass selon la règle locale exact_v0.

5. event-7 cite cette évaluation et porte la décision promote.

Le seuil est strict parce que le protocole combine direction: "gte" et inclusive: false : 0.002 > 0.001. Slean vérifie aussi que les références existent et que l'évaluation et la décision ne précèdent pas leurs éléments d'appui. pass est le verdict de l'évaluation ; promote est une décision distincte. Une dérogation humaine override exige une justification et ne devient pas un pass.

Le plafond de 10.00 cpu_s concerne ce protocole figé pour l'ensemble de ses essais. Chaque montant enregistré en cpu_s compte, même si sa couverture est partielle. Un second essai qui ajoute 7.51 cpu_s après les 2.50 cpu_s du premier est refusé avec cost_cap_exceeded ; une autre unité de coût reste enregistrée sans conversion.

Vous pouvez figer la lecture au moment exact de la décision :

lake exe slean replay examples/valid.json 7

Ce rejeu ne prend que les sept premiers événements. Les événements event-8 à event-10 ne peuvent donc pas modifier rétroactivement le résultat de ce préfixe. La vue agent du chapitre précédent projette ensuite ce qui peut être montré à cette audience.

Un dossier peut être valide mais indéterminé. Comparez la vue de l'exemple sans mesure :

lake exe slean view examples/unknown.json agent

L'observation y a status: "unknown" et value: null ; la décision est defer. null veut dire « aucune mesure disponible », pas zéro. L'exemple technical-error.json conserve aussi une valeur nulle et une décision différée, avec un état d'erreur technique distinct.

La lecture des portes ET et OU montre ensuite comment des dépendances consignées s'ajoutent au journal sans recalculer cette décision.