Операционная модель

Структурный словарь

Что не видно на поверхности

Шесть понятий выше — это видимая часть. Под ней на самом деле 12 типизированных примитивов, разложенных по 5 семантическим «этажам» — структурный, связывающий, доказательный, операционный, публикационный — и у каждого этажа своё правило устаревания (TTL), а не одно общее на всё. Структурный этаж не устаревает никогда. Обязательство («commitment») устаревает через 10 шагов. Доказательство устаревает по формуле F×R×8, основанной на реальном доверии к источнику и его свежести — при высоком доверии (0,8 × 0,9) у вас 6 шагов до устаревания; при низком (0,2 × 0,3) — всего один. Ничего здесь не выбрано на глазок.

«Шлюз» выше — это не одна проверка с исключениями, добавленными по ходу дела, а 9 отдельных защитных правил, каждое с одной зоной ответственности. А логика за ними — не замаскированный if-else: это 6 настоящих пропозициональных операторов (NOT, AND, OR, XOR, IMPLIES, IFF), составленных в реальные правила, а не в демонстрационные. Одно правило из поставляемого примера, deploy_readiness, связывает два оператора AND поверх трёх атомарных фактов, образуя единое правило; risk_escalation вкладывает AND внутрь IMPLIES. Эти правила можно прочитать прямо сейчас, а не просто поверить, что они где-то существуют.

Движок объявляет 10 возможных исходов. Только 7 из них живые — подтверждены прямо кодом, а не оптимистичной документацией. Остальные три (ASK, PUBLISH, REVISE_PLAN) объявлены в enum и названы в докстринге, но ни один код пока их не возвращает. Эта страница говорит об этом прямо — такой список редко найдёшь у проектов, которые обещают больше, чем реально дают.

Конечная система

Пусть S — состояния, A — действия, G — предикаты. Переход допустим только при выполнении роли, требований к данным и формулы шлюза.