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

    # PROOF_STATUS_LIMITS_RU_v3_7

    ## Иерархия статусов

    ```text
    not_claimed
    < internal_scheme
    < model_verified_synthetic
    < model_verified
    < domain_calibrated
    < certificate_ready
    < package_index_ready
    < published_card_ready
    ```

    ## Правило запрета инфляции

    \[
    rank(S_{public})\le rank(S_{internal}).
    \]

    Публичная карточка не может объявлять доменную валидацию, если есть только синтетическая модельная проверка. Это странно, конечно: приходится прямо запрещать самообман. Но человечество любит раскрашивать гипотезы под теоремы, так что фиксируем.

    ## Блокирующие условия

    - нет `D`;
    - нет `Dom`;
    - нет observation layer;
    - не выполнены dominance inequalities;
    - `CGI >= 1`;
    - отсутствует допустимый `PLD`;
    - нет независимой validation split.

    ## Публичная формулировка

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