# Уточнения спецификаций Build 28 для ARBD 0.1.0

Основание — неизменённые AUTHOR_REPER_DB_SPEC.md и FORMAL_MODEL.md, полученные из Google Drive 5 сентября 2026 года. Этот документ определяет решения реализации там, где спецификация не задаёт знаменатели, алгоритм подобия, смысл пустых значений или протокол проверки цитат. Он не подменяет исходную спецификацию.

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

Author, WorkFamily, Work, ReperOccurrence и AuthorReperCandidate связаны стабильными ID и внешними ключами. AuthorConceptGraph — представление кандидатов, типизированных связей, происхождения и временных аннотаций. Старые данные, включая 169 снимков источниковых аннотаций, хранятся в исходном архиве и базе; они не переименовываются в новые первоисточники.

Голос и посредничество — разные оси. `AUTHORIAL_TRANSLATION` адаптера RUN-017 означает предполагаемый текст Канта в переводе, а не высказывание переводчика. Без отдельной проверки голос нормализуется как UNKNOWN с указанием причины. После обоснованной редакционной проверки переводное вхождение может получить AUTHORIAL, оставаясь произведением relation=TRANSLATION. Семейство при этом не меняется.

Немецкие `AUTHORIAL_GERMAN_CRITICAL_TEXT` принимаются как унаследованные декларации AUTHORIAL, а не как результат новой независимой экспертизы. `JASCHE_MEDIATED_KANT_MATERIAL` остаётся UNKNOWN. QUOTED_OTHER и EDITORIAL не входят в авторскую часть кандидата; TRANSLATORIAL и UNKNOWN требуют проверки. COMMENTARY и SECONDARY_ABOUT_AUTHOR не питают авторскую часть.

## Подобие и классы

Новый алгоритм семантического кластеризования здесь не выдуман. Наследуется редакционная принадлежность вхождений к реперам. Для признания группы классом эквивалентности необходимо непересечение авторских вхождений с другими группами. Это лишь структурная предпосылка, не доказательство семантического тождества членов.

Шесть пересекающихся вхождений не дублируются как новые свидетельства. 145 — число вхождений, 152 — число связей принадлежности. Запрещено молча выполнять транзитивное слияние кластеров: оно может отождествить разные значения свободы, публичности или прогресса. Для перекрытий сохранены исходные ID и GAP-CONCEPT-BRIDGE.

## Операционный статус ядра

Четыре условия спецификации вычисляются отдельно в `criteria.build28_four_conditions`: наличие авторских вхождений, минимум два независимых семейства, отсутствие блокеров атрибуции, отсутствие прямого незакрытого противоречия в поданном реестре и поддержанном фрагменте проверки.

Для выдачи статуса программой дополнительно требуются `partition_gate` и `two_source_bound_families`: отсутствие пересечения авторских вхождений и хотя бы два семейства с воспроизводимыми источниками. Дополнительные условия являются консервативной политикой этого модуля и явно отделены от четырёх условий Build 28. Неполнота D/Dom и аргументации остаётся в профиле; статус ядра не свидетельствует о закрытии всех пробелов.

Сходство формулировок и полнота концепции не доказаны. Фраза «нет прямого незакрытого противоречия» имеет только объявленную область проверки; весь корпус логически не сертифицирован.

## ACP: точные определения

Пусть M — множество уникальных ID членов кандидата, N=|M|, A — допущенные авторские члены. Для N=0 доли равны null, а не 0 или 1.

| Координата | Реализация |
|---|---|
| family_recurrence | Число различных work_family_id среди A; копии, переводы и редакции одного семейства не увеличивают его |
| temporal_span | Минимальный и максимальный год произведений среди A; не дата сканирования, не точная дата изменения взглядов |
| attribution_coverage | \|A\|/N; числитель и знаменатель сохраняются явно |
| D_coverage | Число членов с непустым D и воспроизведённым источниковым фрагментом, делённое на N |
| Dom_coverage | Число членов с ровно одним типизированным ключом области, привязанным через наследующую компонентную аннотацию к той же странице и реперу, делённое на N |
| contradiction_load | Число прямых незакрытых случаев, связанных с кандидатом, в поддержанном реестре/правиле; пять напряжений учитываются отдельно |
| orphan_load | Число диагностик ORPHAN-DEFINITION и ORPHAN-CONCLUSION для кандидата в сопоставленном графе |

Dom_coverage проверяет наличие однозначной аннотации области, не её философскую адекватность. D_coverage — документарное покрытие, не физическая структурная координата из других частей KLT. Эти определения не задают универсальную скаляризацию ACP. Из ACP не вычисляются λ, вероятность истины, рейтинг автора или научная подтверждённость KLT.

## Источники и цитаты

Сохраняется HTTP-тело отдельной страницы электронной транскрипции AA. SHA-256 страницы отличается от SHA-256 извлечённого UTF-8-фрагмента. Снимок страницы не равен полному произведению, скану печатного тома или заверению издателя.

Нумерованные строки читаются из HTML ISO-8859-1; сущности декодируются, последовательности пробелов внутри строки сводятся к одному пробелу, межстрочные переносы сохраняются. Если строки нет, диапазон не обрезается автоматически. Многостраничные и раздельные интервалы сохраняются отдельными фрагментами. Локатор целой страницы не переименовывается в точную строку.

При сравнении старых цитат отдельно допускаются нормализация пробелов, пробелов внутри круглых скобок и склейка печатного переноса слова на границе строк. Регистр, слова и пунктуация не удаляются. Объявленные `segments` проверяются по отдельности в указанном порядке; разделитель `||` не объявляется частью цитаты Канта. Сноска принимается только при единственном однозначном числовом HTML-якоре на указанной странице.

87/90 — проверка размещения цитатных записей с перечисленными правилами, не 87 дословно совпавших строк: 28 являются точными подстроками, 55 требуют нормализации, три являются упорядоченными раздельными фрагментами и одна расположена в сноске.

## Противоречия и пробелы

Минимальное решающее правило принимает только проверенные утвердительные литералы P и не-P с одной областью, аргументами, модальностью, значением термина, временем и атомарным отрицанием. Для вопросов, универсальных/экзистенциальных формул, сложных выражений и непроверенных нормализаций ответ ABSTAIN. Теоретическое отрицание познаваемости и практическое принятие не отождествляются.

Все десять минимальных типов пробелов поддерживаются. Нулевое число GAP-D или GAP-UNRESOLVED-LINEAGE в данном прогоне не означает отсутствия этих проверок: соответствующие негативные случаи включены в тесты. ORPHAN относится к неполноте зарегистрированной аргументации, а не доказывает, что у Канта нет определения или основания.

287 новых диагностик, 43 старых семантических пробела и 39 исторических записей корпуса — разные уровни реестра. Их механическое суммирование как числа противоречий или недостатков философии запрещено. Ни одна из этих операций не повышает truth_layer.
