Des Claims au Graph of Accepted Facts
Avant qu'une machine puisse juger le monde réel de façon déterministe, elle doit d'abord le fermer explicitement : évaluer les Claims ouverts, projeter les Accepted Facts dans un graphe traçable, geler la frontière, et préserver un chemin d'appel.
