От мнения к явной посылке

ПРОЕКТ ЛОГИКА КУРПИШЕВА 2 · KLT-RBDv6 · RUN-033 / ARBD45. Автор проекта: Курпишев Иван Борисович. Дата: 15 сентября 2026 года.

Выпуск продолжает RUN-032: реализует самостоятельное заполнение читательских карт, явное сопоставление переменных и отдельный договорённый переход от нормы к описательному условию. На источниковом уровне выровнен один полный абзац Фишера в немецкой, русской и английской версиях.

Что можно сделать

Пользователь редактирует карту в форме, сохраняет незавершённый черновик, явно фиксирует заполненный ответ и связывает две карты собственной биекцией переменных. Изменение ответа требует повторной фиксации. Учебные формы явно отделены от самодеклараций людей.

Граница результата

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

SCIENCE=ABSTAIN; truth_layer_promotion=0; independent_review=NOT_RUN; real_forecast_trial=NOT_RUN; EXT-RUN=NOT_RUN.

Старые источниковые данные и пилот RUN-029 не переписаны. Замороженный случай Фишер — Кант остаётся RUN-031; новая сверка оформлена дополнением. Покрытие 155/156 относится к прежнему срезу компонентов, а не ко всем сочинениям Канта.

1. Черновик и зафиксированный ответ

Новая схема ARBD-READER-DRAFT-v1 допускает неполные поля и текст незавершённой формулы. Она отличается от ARBD-READER-CARD-v2: черновик не проходит как поданный ответ. Фиксация требует отдельного подтверждения, заполнения всех обязательных оценок, источниковых привязок, типов, контекста и декларации осведомлённости.

Операция фиксации

Функция создаёт глубокую копию карты, проставляет статус SUBMITTED и указанное время, проверяет её прежним валидатором RUN-032 и вычисляет SHA-256 канонического содержимого. В интерфейсе время берётся из часов браузера; это не доверенная внешняя метка времени. Снимок не отправляется людям или на сервер.

draft → explicit confirmation → validate(copy) → snapshot. Любая последующая правка относится к новому черновику.

Связывание версий

Соответствие содержит хеш случая и хеши обеих конкретных карт. Если изменить хотя бы пояснение, прежняя привязка не принимается. Хеширование опирается на практическую стойкость SHA-256 к коллизиям, а не на математическую инъективность хеша. Идентификатор читателя не является цифровой подписью.

Интерфейс сбрасывает снимок текущей карты, результаты и соответствия при правке. Результат асинхронной операции отображается только для неизменённой редакции состояния. Импортированный файл сохраняется вне программы неизменным; редактируется копия.

Учебные карты сохраняют происхождение SYNTHETIC_DEMO при редактировании. Эта защита предотвращает случайное переименование в интерфейсе; она не доказывает происхождение произвольно отредактированного внешнего JSON.

2. Тип и область сопоставления

Утверждение определяется обозначением, пояснением и полями property, domain, subject, time, modality. Типы DESCRIPTIVE, NORMATIVE_REQUIREMENT, NORMATIVE_PERMISSION, NORMATIVE_PROHIBITION, EPISTEMIC и OBJECT_OF_HOPE различаются. Здесь это метки разных атомов; полное исчисление модальностей не построено.

Явная биекция

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

ΩA, ΩB — множества допустимых оценок после явного переименования. Альтернативные прочтения дают ΩA ∪ ΩB; совместное принятие обеих теорий даёт ΩA ∩ ΩB.

Почему объединение

Если неизвестно, какое из прочтений допустимо, каждый сценарий, разрешённый хотя бы одним, остаётся возможным. Пересечение оставило бы только сценарии, разрешённые обоими, и добавило бы отсутствующую посылку о совместном принятии. Следовательно, пересечение нельзя выдавать за неопределённость между альтернативами.

Неполная биекция, разный субъект или время, замена запрета наблюдаемым фактом, несовпадение цели, дублирование читателя либо смешение демонстрации с человеческой самодекларацией блокируют сопоставление. Семантическая правильность карты остаётся CANDIDATE.

3. Из нормы не следует её соблюдение

Пусть N означает нормативный запрет определённого поведения, а D — факт этого поведения в том же контексте. Нормативная посылка N сама по себе не задаёт значение D. Для требования рассуждение симметрично.

Ω({N}) = {(N=1,D=0), (N=1,D=1)}. Поэтому {N} не влечёт ¬D.

Доказательство контрмоделью

Оценка N=1, D=1 удовлетворяет единственной нормативной посылке, но опровергает описательное отрицание. Следовательно, переход к ¬D логически неверен в выбранном языке. Это утверждение о модели различённых атомов; оно не является новым историческим тезисом о Канте.

Явный контракт

ARBD-NORM-FACT-CONTRACT-v1 привязывается к хешу всей исходной модели. Он указывает нормативный и описательный атомы, одно свойство, область, субъект, время, вид COMPLIANCE_ASSUMPTION и самостоятельное основание с пояснением. Для запрета добавляется N → ¬D, для требования N → D. Разрешение не принимается за требование соблюдения.

Добавленное правило имеет роль READER_HYPOTHESIS. Наличие записи основания не удостоверяет его истинность, независимость или эмпирическую пригодность. Результат имеет basis_verified=false; исходная модель сохраняется. Программа не выводит самостоятельное основание из самого наличия нормы.

Критика и комментарии читателей, редакторов и переводчиков сохраняются как отдельные мнения об опровержении или дополнении источника. Их расположение до или после сочинения не меняет авторства и доказательной силы.

4. Сужение сценариев и пустая область

Пусть Γ — исходная конечная теория, b — явно добавленная посылка соблюдения, q — булева целевая формула. При добавлении посылки допустимые сценарии могут только исчезать.

Ω(Γ ∪ {b}) = Ω(Γ) ∩ Ω({b}) ⊆ Ω(Γ).

Доказательство

Оценка удовлетворяет Γ и b ровно тогда, когда она принадлежит обоим множествам моделей. Отсюда следует включение. Если в обоих множествах цели есть значения, минимум на подмножестве не меньше исходного минимума, а максимум не больше исходного максимума.

Для непустого конечного Y ⊆ ℝ: ρ(Y) = inf_a max_y∈Y |a−y| = (max Y − min Y)/2.

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

Исключение, которое нельзя скрывать

Если дополнительная посылка исключила все сценарии, целевое множество пусто. Вывод о меньшей ошибке не применяется: в реализации значения и радиус равны null, решение — ABSTAIN_INCONSISTENT_CANDIDATE. Пустая модель не означает идеальный прогноз.

В учебной карте A условия H и N оставляют два значения D. Дополнительное N → ¬D оставляет один сценарий. В учебной карте B уже добавлено H → D; вместе с N → ¬D оно исключает все сценарии. Это конфликт добавленных посылок, а не установленное опровержение Канта.

5. Фишер: полный абзац в трёх версиях

Сверен один полный абзац: DE München, Fr. Bassermann, 1883, S.30–31 / PDF46–47; RU приложение к «Пролегоменам», 1889, с.245–246 / PDF259–260; EN W. S. Hough, A Critique of Kant, 1888, p.47–48 / PDF63–64. Он разделён на 14 смысловых единиц с хешами текста и привязкой к сканам.

В EN единицы 06–07 составляют одно предложение; разбиение не объявлено одинаковой сегментацией оригиналов. Полные строки и разночтения находятся в collation.html и editor-data/collation.json. Выравнивание и транскрипция выполнены помощником, независимой проверки не было.

Разночтения

DE künftiger und ewiger и EN future and eternal содержат определение «вечное»; русский вопрос содержит только «будущему». DE Lauterkeit der Gesinnung и EN purity of disposition сопоставлены с RU «чистоты совести». DE der Philosoph передан в EN как Kant. Эти различия нельзя молча уничтожать при формализации.

Русские буквы ѣ/і/ѳ и конечный ъ нормализованы; исторические формы слов сохранены. Начало слова «Непонятно» в единице 08 перекрыто пятном: оно восстановлено по видимым буквам и контексту, что явно помечено. Это не дипломатическая транскрипция.

https://archive.org/details/kritikderkantis00fiscgoog

https://archive.org/details/cu31924029023137

Источник RU: прежний файл «Пролегомены Канта.pdf» Wikimedia Commons, SHA-256 86828c304bff182ebd5fa173f3ec6cc73dea6ef6de0446da06cb2bc2d9af08bd. Использованы уже сохранённые изображения соответствующих страниц.

6. Издание, перевод и проверка

Английский PDF получен 15.09.2026: HTTP 200, 3 787 892 байта, 208 страниц. Просмотрены титул PDF5, предисловие PDF9, абзац PDF63–64. На титуле указаны W. S. Hough, London, Swan Sonnenschein, Lowrey & Co., 1888. Сноска переводческого предисловия прямо называет München, Fr. Bassermann, 1883.

Русское редакторское предисловие VIII/PDF6 называет переводчика Н. А. Иванцова, но не устанавливает точное немецкое издание. Поиск по доступным описаниям и просмотр этой страницы не дали достаточного подтверждения. Точный оригинал русского перевода остаётся NOT_ESTABLISHED; отсутствие найденного свидетельства не доказывает отсутствие такого свидетельства вообще.

Три версии остаются одним семейством для исключения утечки между обучающей и проверочной частями. Параллельный абзац не означает побуквенное тождество всех редакций. Весь корпус Фишера и Канта здесь не сверялся.

Проверка реализации

19 новых тестов проверяют операции черновика и фиксации, неизменность копий, привязку карт, синтаксис формул, типы и контекст, основания дополнительного правила и воздержание при пустой области. Независимый эталон перебирает 64 сочетания конечных теорий, двух видов норм и двух целей; количества сценариев и радиусы совпали.

Полная регрессия ARBD, сборка, проверка главной страницы и воспроизводимость комплекта выполняются перед публикацией; окончательные результаты записываются в VALIDATION.json и инструкцию продолжения. Автоматическое браузерное испытание не проводилось.

7. Продолжение и границы испытания

Новый интерфейс позволяет читателю оформить собственную формализацию без ручной сборки всего JSON. Форма не заменяет чтение источника. Любая оценка требует привязки и пояснения; неполнота блокирует фиксацию. Незавершённое мнение можно сохранить только как черновик.

Следующий этап

RUN-034: проверить переносимость процедуры на ещё одном точно локализованном возражении Фишера; расширить описание оснований условных правил с указанием момента доступности наблюдений; подготовить воспроизводимый кандидат модели для новой регистрации испытания на нераскрытых фрагментах.

Независимые ответы людей добавляются только после фактического получения. Происхождение, осведомлённость и время проверяются отдельно от полноты формата. Старый контракт RUN-029 не изменяется задним числом. Воспроизводимость учебного примера не считается точностью прогноза на реальном корпусе.

Файлы выпуска

Исследовательский комплект включает расчётные модули и их зависимости, CLI, тесты, формы, демонстрационные результаты, этот PDF, TeX и HTML, источниковые изображения и реестр абзаца. Он не является полным автономным клоном сайта. Исходники сайта и предыдущая версия сохраняются для отката.

Публикация на существующем сайте и сохранение рабочих материалов разрешены пользователем. Итоговый номер версии, commit, нативное подтверждение публикации, контрольные суммы и ссылки на копии фиксируются после завершения в KLT_M2_CONTINUE.md с сохранением прежней истории.

Историческая привязка — CANDIDATE. source_refutation_established=false. SCIENCE=ABSTAIN. Открытый компонент KANT-SC-015-038-03 не закрыт.