Proof-status ограничения

Логика Курпишева · MASTER-5 v3.8 · site deployment package

На главную

Запрет инфляции статуса

Публичная карточка не может иметь статус выше внутреннего математического или доменного статуса.

rank(S_public) ≤ rank(S_internal)

Предсказательный слой не объявляет абсолютное будущее, а строит область допустимых будущих Reper-состояний.

Открыть proof-status