# ЛОГИКА — паспорт продолжения KLT–SYL–DK v1.1

Автор проекта: Курпишев Иван Борисович. Дата: 17.09.2026.

## Подтверждённая точка

Открыть README_RU.md, KLT_SYL_DK_v1_1_RU.pdf, evidence/checkpoint.json, qa/math_checks.json и qa/delivery_checks.json. Перед изменениями проверить SHA256SUMS.txt.

Реально созданы 10 SVG и 10 PNG: восемь схем четырёх силлогизмов в 2D/3D, две геометрические схемы. PDF — 12 страниц. Математические проверки 59/59; поставка 52/52. Браузер проверял локальные байты через set_content; публикация не выполнена. Полные чаты и недоступные архивы не считаются прочитанными.

## Обязательные различения

S/M/P — классы; A/E/I/O — формы суждений; A/B/C/Dg в геометрическом примере — точки на p. Dg не тождествен документированному достаточному основанию. I/U в рукописи имеют пометы частного/общего и конусов; их отождествление с каноническими компонентами Reper не доказано.

Проективность сохраняет λ, не улучшает её. Обратное отображение не обращает импликацию. Свидетель x для Darii/Ferio сохраняется. Конусные семантические области не включают общую вершину.

## Не повышать статусы

SCIENCE=ABSTAIN; truth_layer_promotion=0; EXT_RUN=NOT_RUN.
Канонические DK-PO-1 и DK-PO-2 остаются OPEN. Конструкция H из готовой оси с выбранным центром не является каноническим выводом оси из двух коник. Локальные RBD-карточки не означают обновления мастер-базы.

## Следующий этап KLT–SYL–DK v1.2

1. Закрепить точную авторскую карту рукописных ролей I/U/R/D и РПЛД1/РПЛД2: носители, морфизмы, порядок аргументов, обратимость. Не нормализовать неоднозначный знак на странице 73 догадкой.
2. Отделить источник, определение, доказательство, модель и открытое обязательство в новых карточках. Не повышать эмпирические и физические статусы.
3. При подготовке размещения получить исходные HTML-байты рабочей страницы /ru/categorical-syllogistic_ru.html, вычислить SHA-256, сохранить резервную копию. Альтернативное написание categorial не подтверждено.
4. Создать добавочную локальную версию через code/patch_page.py. Сравнить удаление ровно одного блока с исходником побайтно. Проверить реальные маршруты на сервере только после фактического размещения; не подменять их set_content-проверкой.
5. При необходимости развернуть EN/ZH из кратких атласов в полные переводы русской статьи с сохранением формул и статусов.

Отсутствующий ZIP v1.0 не является проверенной точкой отката. Текущая точка отката — фактически полученный v1.1 со своим манифестом.