4. Suivre la provenance🔗

La vue permet de remonter de la décision à l'évaluation, de l'évaluation à observation-1, puis de l'observation à run-1 et artifact-1. Les identifiants sont des références vérifiées dans le dossier ; le simple texte d'une décision ne suffit pas. event-8 ajoute un lien de soutien de l'observation vers claim-1, après le préfixe de décision.

La visibilité est appliquée avant le calcul de la vue. Sur le dossier synthétique, comparez :

lake exe slean view examples/valid.json agent
lake exe slean view examples/valid.json owner

La vue agent contient observation-1 avec 0.002, mais pas private-observation-1. La vue owner contient aussi cette seconde observation et sa valeur inventée 0.009. Sur un vrai dossier, traitez la sortie owner comme privée ; ne l'envoyez pas à un agent ou à un site public. Vérifiez également le texte visible dans l'export agent avant de le partager.

Le schéma 0.2 permet de conserver des enregistrements source réservés au propriétaire. L'adaptateur borné vérifie notamment l'ordre des événements source, le gel initial, les liens entre prédictions et observations, la cohérence de l'achèvement avec le manifeste et la couverture de chaque observation. Il lit la trace en mémoire et ne sauvegarde pas le dossier privé. Python calcule les empreintes SHA-256 des artefacts source ; Lean vérifie les liens vers ces empreintes fournies, pas le calcul du hash ni le fonctionnement de l'évaluateur externe.