Dos Claims a um Graph of Accepted Facts
Antes que uma máquina possa julgar o mundo real de forma determinística, ela precisa fechar explicitamente esse mundo: avaliar Claims abertos, projetar Accepted Facts em um grafo rastreável, congelar a fronteira e preservar um caminho de recurso.
