🔗

Une décision de recherche suit-elle les règles et les mesures consignées avant elle ? Slean aide la personne qui prépare ou relit un dossier à vérifier cette cohérence, puis à retrouver chaque élément de la décision.

Ici, un dossier est un fichier JSON contenant la question, le protocole figé, les observations, une décision et le journal des événements. L'exemple de ce manuel est entièrement inventé ; vous pouvez le comprendre sans installer Lean.

Lire le résultat en une minute

• Règle fixée avant la mesure : promouvoir seulement si synthetic_delta est strictement supérieur à 0.001 ratio, avec un coût au plus égal à 10.00 cpu_s.

• Ce qui est consigné : une observation de 0.002 ratio et un coût de 2.50 cpu_s.

• Ce que Slean vérifie : l'observation a la bonne métrique et la bonne unité, arrive après la règle et avant l'évaluation ; 0.002 > 0.001 et le coût reste sous le plafond.

• Ce que le dossier annonce : l'évaluation pass, puis la décision promote. Slean vérifie que cette chaîne est cohérente. Il ne prend pas la décision à la place de l'auteur.

Si l'unité de l'observation change, Slean signale metric_unit à event-4. Si la mesure manque, sa valeur est null et la décision est defer : une mesure absente n'est pas un zéro. Le cas vérifié montre les deux commandes utiles ; lire la décision explique la chaîne et ses limites ; les portes ET et OU ajoutent les liens consignés dans le schéma 0.3.

Slean vérifie le format, les références, l'ordre et les règles locales du dossier. Il ne réalise pas l'expérience, n'authentifie pas le capteur et ne prouve pas que la mesure est vraie.

Version de développement · schéma 0.3.0 · Lean 4.28.0. Aucun tag n'est sélectionné pour ce build.

Essayer sur une copie locale

Si vous avez accès au dépôt et Lean installé, lancez depuis sa racine :

lake build
lake exe slean validate examples/valid.json

La seconde commande affiche exactement :

{"case_id":"synthetic-decision-1","events":10,"ok":true}

ok: true signifie que le dossier respecte les contrôles pris en charge. Ce résultat ne certifie ni les données d'origine ni la vérité de la conclusion.