Le modèle est dehors, la preuve est dedans. Chaque réponse traverse le Proof Graph : comprise, mise à l'épreuve, recroisée avec les sources, éprouvée dans ses conséquences, arbitrée, puis certifiée ou refusée. Cliquez un noeud, ou lancez une démonstration.
Artefact d'auditabilité généré par le démonstrateur. Illustratif, non opposable en l'état. La décision finale reste humaine.