De Claims a un Grafo de Hechos Aceptados
Antes de que una máquina pueda juzgar el mundo real de forma determinista, debe cerrar explícitamente ese mundo: evaluar Claims abiertos, proyectar Accepted Facts en un grafo trazable, congelar el límite y preservar una vía de apelación.
