# Соответствие Build 28 и область исполнения

Основание: две неизменённые спецификации в `inputs/`. Таблица описывает реализованные операции; она не является независимой сертификацией семантики Канта.

| Требование | Исполнение | Свидетельство и граница |
|---|---|---|
| Author → WorkFamily → Work → ReperOccurrence → AuthorReperCandidate → AuthorConceptGraph | Стабильные ID, проверка принадлежности одному автору, внешние ключи SQLite | `ARBD_MODEL.json`, `kant_arbd_b28.sqlite`; унаследованы все 145 вхождений и 152 связи принадлежности |
| Attribution firewall | AUTHORIAL допускается; QUOTED_OTHER / EDITORIAL исключаются; UNKNOWN / TRANSLATORIAL требуют проверки; вторичные источники не пополняют авторскую часть | 109 унаследованных допусков, 36 записей для проверки; голос перевода отделён от посредничества |
| Независимая повторяемость | Множество work_family_id среди допущенных авторских вхождений | 14 семейств при 20 записях изданий; негативные тесты редакций и переводов |
| AUTHOR_CORE_CANDIDATE | Четыре условия спецификации вычисляются отдельно | `criteria.build28_four_conditions`; две дополнительные консервативные проверки источников и пересечений объявлены явно |
| Репер как проверяемый класс | Наследуются предложения кластеров, перекрытия сохраняются открытыми | Шесть вхождений в восьми кластерах; доказательства смысловой эквивалентности нет |
| Семимерный ACP без скаляризации | Семь координат с явными числителями/знаменателями; пустое покрытие = null | `ACP_PROFILES.json`; λ и оценка истинности не вычисляются |
| Восемь типов графовых связей | Проверяемый словарь типов, ID концов, происхождение и временные аннотации | 12 предложенных сопоставлений, все 59 прежних связей сохранены; 47 требуют типизации |
| Источник и происхождение | Исходный HTTP-ответ, SHA-256 страницы, локатор, отдельные фрагменты, SHA-256 извлечения | 136 страниц; 87/90 цитатных записей привязаны; полного замороженного произведения нет |
| Conflict_A | Реестр пяти напряжений и узкое правило противоположных проверенных литералов | Все 1711 пары унаследованных формул дают ABSTAIN; непротиворечивость корпуса не установлена |
| Gap_A | Все десять минимальных типов поддерживаются | 287 новых диагностик; 43 прежних компонентных пробела и 39 исторических записей сохраняются на своих уровнях |
| Evolution_A | Годы, редакции, семейства и происхождение сохраняются | Временной порядок записей не объявляется доказанным изменением убеждений |
| truth_layer_promotion=0 | Рекурсивная проверка входов/вложенного JSON, ограничения новых таблиц SQLite | Негативные тесты запрещённого повышения; SCIENCE=ABSTAIN |
| Воспроизводимость и наследование | Проверка входных хешей, отдельная сборка, повторение без сети | 34/34 теста; JSON/HTML побайтово совпали; схемы и данные всех 90 старых таблиц сохранены |

Программный вход `analyze()` принимает проверенные адаптером данные. Флаг `source_verified=true`, произвольно присланный сторонним клиентом, не является доказательством происхождения. Для наследующего прогона доверенная граница — `build`, повторно проверяющий исходные байты и локаторы.

`truth_layer_promotion=0`
