От Claims к графу принятых фактов
Прежде чем машина сможет детерминированно судить о реальном мире, она должна явно замкнуть этот мир: оценить открытые Claims, спроецировать Accepted Facts в прослеживаемый граф, зафиксировать границу и сохранить путь к обжалованию.
