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-состояний. Реальный прогноз допустим только после доменной калибровки и проверки источников.