Оценка и границы утверждений

Три уровня утверждений

Determinism	Одно связанное состояние даёт тот же результат шлюза.
Audit	Вход, трасса шлюза и результат показывают допустимость перехода.
Performance	Польза для задачи измеряется относительно альтернатив.

Как проверить, а не просто поверить

Мы не просим верить нам на слово. verify.py запускает 22 автоматические проверки прямо на движке — не на обещаниях, на коде. Вы запускаете их сами, локально, за секунды:

python -m fpf_thinking_map.verify

А когда вы строите собственную семантическую карту поверх библиотеки — свои контексты, защитные правила, правила логики — вы получаете тот же уровень проверки бесплатно: те же свойства детерминизма и аудита применяются к вашей карте, а не только к поставляемому примеру. Вы не покупаете обещание. Вы устанавливаете движок, который можно проверить с первой строчки кода.

И именно потому, что мы просим проверку, мы так же прямо говорим, где она заканчивается:

Чего продукт не утверждает

Он не доказывает семантическую правильность, не гарантирует безопасность и не делает LLM детерминированной. Он делает выбранную часть управления явной и механически проверяемой.