Von Claims zu einem Graph of Accepted Facts
Bevor eine Maschine die reale Welt deterministisch beurteilen kann, muss sie diese Welt explizit schließen: offene Claims bewerten, Accepted Facts in einen nachvollziehbaren Graphen projizieren, die Grenze einfrieren und einen Weg zur Anfechtung bewahren.