RUN-030. Источник, мнение и проверяемое возражение

Проект «ЛОГИКА КУРПИШЕВА 2». KLT-RBDv6 / ARBD42. Автор метода и научной постановки: Курпишев Иван Борисович. 14 сентября 2026 года.

Поправка к рабочему протоколу

Мнения читателей, редакторов, переводчиков и иных авторов, помещённые до или после используемого источника либо опубликованные отдельно, учитываются как мнения для попытки опровержения, дополнения или альтернативного прочтения. Термин «фальсифицирование» здесь означает проверку на опровержимость. Умысел на подделку нельзя приписать автору мнения без отдельного свидетельства.

Собственное предисловие Канта и его авторские примечания сохраняют авторскую принадлежность. Печатное положение и дата публикации не заменяют атрибуцию. Сторонняя критика сохраняется в отдельном связанном реестре и не становится высказыванием Канта по факту включения в одну книгу.

Результат выпуска

Созданы реестр четырёх исторических фрагментов, страница критического чтения на RU/EN/ZH, проверка происхождения контрпримера, импорт и экспорт конечной модели и автономный CLI. Каждая цитата связана с исходным PDF, координатой, изображением и контрольной суммой отдельной транскрипции.

В формальном расчёте различаются: контрпример однозначности внутри исходной модели; условная неоднозначность при добавлении гипотезы критика; однозначность в заданном конечном множестве. Истинность исторического источника ни один из этих статусов автоматически не устанавливает.

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

SCIENCE=ABSTAIN; truth_layer_promotion=0. Независимая разметка, реальный прогностический пилот и EXT-RUN: NOT_RUN. Четыре исторических мнения пока имеют привязку к произведению или изданию; точная опровергаемая пропозиция не определена. Числовые примеры вымышлены. Покрытие 155 из 156 прежних смысловых компонентов не изменяется.

1. Четыре записи и их источниковые основания

Н. Я. Грот: оценка перевода и назначение приложения

В предисловии на PDF-странице 5 (печатная VII) Грот оценивает перевод Вл. Соловьёва: «Лучшаго перевода Канта у насъ нѣтъ и вѣроятно никогда не будетъ.» Это оценочное мнение редактора, не доказательство точности перевода. Подпись «Проф. Н. Я. Гротъ» и дата «Москва, 8 мая 1889 г.» проверены на PDF-странице 8; календарная система не преобразовывалась.

На PDF-странице 6 (VIII) редактор объясняет, что приложение Куно Фишера добавляется для облегчения понимания Канта. Там же перевод приложения приписан Н. А. Иванцову. Это уточнение основано на самом издании; независимая библиографическая проверка ещё не выполнена. Перевод приложения нельзя автоматически приписывать переводчику основного сочинения.

Куно Фишер: критическое чтение и собственная схема изложения

На PDF-странице 217 приведены имя Куно-Фишера, заглавие «Критика Кантовской философіи» и правило правильного понимания перед обсуждением. Запись отмечает критическое намерение главы. В выбранной цитате нет конкретного опровергнутого утверждения Канта; формальный контрпример не заявлен.

На PDF-странице 218 (печатная 204) Фишер выделяет «ученіе о познаніи, ученіе о свободѣ и ученіе о развитіи». Это его интерпретационная схема. Она сохраняется как дополнение для анализа и не переносится автоматически в авторский реперный слой Канта.

Две независимые координаты

placement фиксирует положение BEFORE_MAIN или AFTER_MAIN в данном томе. publication_relation сравнивает только установленные годы именно названных публикаций. Для мнений Грота о том же издании указан SAME_YEAR=1889. Для Фишера точная целевая первопубликация и её отношение к выбранной записи не установлены: UNKNOWN. Текст после произведения в книге не обязательно написан позже него.

Цитаты заново транскрибированы помощником по изображениям: строки соединены, внутрисловные переносы сняты, дореформенная орфография сохранена. Это отдельные производные записи с новыми SHA-256. Прежние OCR, пакет RUN-028 и контракт RUN-029 не заменялись. Независимая проверка транскрипций: NOT_RUN.

2. Точный критерий однозначности и минимаксная ошибка

Пусть Ω — непустое конечное множество допустимых сценариев в фиксированной модели. Реперное представление ρ отображает Ω в набор наблюдаемых значений, а f:Ω→R задаёт числовой целевой исход. Допустим произвольный детерминированный предиктор g по ρ; потеря равна абсолютной ошибке. Вероятности сценариям не назначаются.

Dρ(Ω) = max {|f(x) − f(y)| : x,y∈Ω, ρ(x)=ρ(y)}

R*(Ω,ρ) = inf[g] max[x∈Ω] |g(ρ(x)) − f(x)| = Dρ(Ω)/2

Теорема 1. Достижимость границы

Для каждой непустой группы Ωz={x:ρ(x)=z} положим az=min f(Ωz), bz=max f(Ωz). Предиктор g*(z)=(az+bz)/2 достигает худшей ошибки (bz−az)/2 в этой группе. Максимум по группам равен Dρ/2.

Доказательство нижней границы. Для любых двух сценариев одной группы и любого c по неравенству треугольника |f(x)−f(y)|≤|f(x)−c|+|c−f(y)|. Поэтому хотя бы одна ошибка не меньше половины разности исходов. Выбор экстремальных исходов даёт (bz−az)/2. Предложенный центр достигает этой границы одновременно в каждой группе, что доказывает равенство.

Следствие об однозначности

Функция g с f=g∘ρ существует на Ω тогда и только тогда, когда Dρ(Ω)=0. При Dρ>0 пара с одинаковыми реперами и разными исходами является явным контрпримером утверждению об однозначности в этой модели. При допустимой абсолютной ошибке ε≥0 предиктор с худшей ошибкой не более ε существует тогда и только тогда, когда Dρ≤2ε.

Это утверждение зависит от Ω, ρ, f и свободы выбора g. Оно не гарантирует, что реальный случай принадлежит Ω; не проверяет наличие наблюдений к моменту прогноза; не переносится без изменений на векторный исход, иную потерю или ограниченный класс предикторов. Вопрос времени наблюдений остаётся в паспорте RUN-025.

3. Что изменяет добавление критической гипотезы

Пусть Ω0 — исходные сценарии, а E — дополнительные сценарии, предложенные читателем или критиком. Их происхождение сохраняется. Расчёт объединения Ω+=Ω0∪E условен: сам по себе он не доказывает допустимость E. Удаление исходного сценария или замена его исхода требует новой версии модели и отдельного обоснования.

Теорема 2. Добавление сценариев не уменьшает неопределённость

Dρ(Ω0∪E) ≥ Dρ(Ω0), R*(Ω0∪E,ρ) ≥ R*(Ω0,ρ)

Доказательство. Каждая пара исходных сценариев с одинаковыми реперами остаётся допустимой парой в объединении. Максимум берётся по большему множеству и не может уменьшиться. Для риска применяется теорема 1.

Dρ(Ω0∪E) = max {Dρ(Ω0), Dρ(E), Dcross}; Dcross = max |f(x)−f(e)| при x∈Ω0, e∈E, ρ(x)=ρ(e)

При отсутствии подходящих пар соответствующий максимум принимается равным 0; для пустого E полагается Dρ(E)=0. Равенство следует из разбиения пар на исходные, предложенные и смешанные. Оно показывает, какие предпосылки необходимы для конкретной неоднозначности.

Теорема 3. Уточнение реперов не увеличивает ошибку

Если ρ′ уточняет ρ, то есть ρ′(x)=ρ′(y) влечёт ρ(x)=ρ(y), то Dρ′(Ω)≤Dρ(Ω). Доказательство: множество неразличимых пар сужается. Следовательно, R*(Ω,ρ′)≤R*(Ω,ρ). Реальная доступность и цена дополнительного наблюдения этим следствием не установлены.

Три статуса и происхождение свидетеля

Если Dρ(Ω0)>0, возвращается PRIMARY_MODEL_COUNTEREXAMPLE с парой только из Ω0, даже если гипотеза даёт больший разброс. Если Dρ(Ω0)=0, но Dρ(Ω+)>0, возвращается CONDITIONAL_EXTENSION_CONFLICT. Если обе границы нулевые, возвращается IDENTIFIABLE_IN_DECLARED_DOMAIN. Последнее не означает доказанной полноты модели и не исключает будущего контрпримера.

Математические свойства конечных множеств здесь элементарны; не заявляется их открытие. Результат выпуска — исполнимое сохранение происхождения гипотез и точных границ в источниковом протоколе ARBD.

4. Воспроизводимый пример и числовой контракт

A: X=0, Q=0, f=0; B: X=1, Q=0, f=10; C: X=0, Q=1, f=4

A и B образуют исходную модель. C — вымышленная гипотеза критика; эти числа не извлекались из сочинений Канта, Грота или Фишера. При ρ=X исходный риск равен 0. После добавления C группа X=0 имеет исходы {0,4}; центр равен 2, минимаксная ошибка — 2. Пара A,C требует дополнительной гипотезы и потому даёт только условное возражение.

При ρ′=(X,Q) все три сценария различимы: риск снова 0. При ρ=Q исходные A и B неразличимы и уже дают риск 5. Программа возвращает именно эту исходную пару как свидетельство неидентифицируемости. При выборе пустого набора реперов все сценарии относятся к одной группе.

Точность реализации

Этот модуль принимает только целые исходы в диапазоне от −1 000 000 до 1 000 000. Центры и радиусы сохраняются как пары целых n/2; все суммы и разности в разрешённом диапазоне точно представимы. Нецелые, бесконечные, неопределённые и выходящие за диапазон значения отклоняются. Для более общего числа нужен отдельный числовой контракт, а не неявное округление.

Реперы — не более 12 каналов с полным набором дискретных значений в каждом сценарии; максимум 512 сценариев и 32 ветви. Число 1, строка «1» и true различаются. Пропущенное наблюдение или null не считается нулём. Уникальные идентификаторы и разрешённые поля не позволяют замаскировать удаление, замену исходного сценария или подмену происхождения.

Проверки

22 новых теста проверяют целостность реестра и файлов, отделение авторства и хронологии, ложное повышение статуса, происхождение контрпримера, изменение условий, пропуски, числовые границы и неизменность входов. В 6 912 случаях результат сопоставлен с отдельным перебором центров предиктора; одновременно проверены монотонность добавления и уточнения реперов.

Перебор охватывает все 64 назначения двух бинарных реперов трём сценариям, все 27 векторов исходов из {−1,0,1} и четыре набора реперов. Центры перебираются по {−1,−1/2,0,1/2,1}; на этой области множество содержит каждый оптимальный серединный центр. Пять файлов досье детерминированно пересобираются. Эти проверки программные; они не являются внешним научным испытанием.

5. Независимое чтение и следующий этап

Порядок работы с мнением

Сначала фиксируются автор, точная цитата, координата, версия и область первичного утверждения. Затем отдельно записываются цитата критика, её дата и принадлежность; функция может быть оценочной, критической, дополняющей или интерпретационной. Функция записи — редакторская классификация для проверки, а не доказанное намерение автора.

Для превращения мнения в формальное возражение требуется явная карта от обеих цитат к условиям модели. Контрпример проверяется при тех же предпосылках и той же цели. Если нужны новые предпосылки, результат остаётся условным. Опровержение пересказа, спор о переводе и опровержение утверждения оригинала — разные объекты проверки.

Открытая информация и слепая проверка

Новый реестр раскрывает атрибуцию некоторых фрагментов пакета RUN-028. Читатель, ознакомившийся с этими записями до ответа, не может участвовать в слепой проверке именно этих фрагментов без указания осведомлённости. Следует зафиксировать exposure в протоколе, снять декларацию работы без модельных меток либо подготовить новый удержанный набор. Одинаковый ответ двух читателей не доказывает независимость.

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

Продолжение

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

Открытый компонент KANT-SC-015-038-03 остаётся открытым. Канонические Тома I–V, первичные файлы, основной анализатор и APK не изменяются. RUN-029 является точкой отката; его подтверждённая загрузка PDF и исследовательского ZIP завершена отдельно. Научный статус сохраняет ABSTAIN.

6. Источники, воспроизведение и ограничения

[1] Пролегомены Канта. Перевод Вл. Соловьёва. Москва, 1889. Составной скан, 387 PDF-страниц. Использованы страницы 5, 6, 8, 217 и 218. Имя переводчика основного сочинения не распространяется автоматически на приложение другого автора.

https://commons.wikimedia.org/wiki/File:Пролегомены_Канта.pdf

SHA-256 исходного PDF: 86828c304bff182ebd5fa173f3ec6cc73dea6ef6de0446da06cb2bc2d9af08bd. Изображения и отдельные цитаты снабжены собственными суммами в critical-data/opinions.json. Хеш подтверждает совпадение с сохранёнными байтами; он не доказывает историческую подлинность или правильность прочтения.

[2] Phan Minh Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77 (1995), 321–357. DOI: 10.1016/0004-3702(94)00041-X. Работа рассматривает приемлемость аргументов и формальное отношение атаки. В настоящем выпуске не реализованы полные семантики расширений Dung; наличие критического отношения не объявляется доказательством ложности цели.

https://jmvidal.cse.sc.edu/library/dung95a.pdf

[3] RUN-024 / ARBD37: исходный критерий достаточности реперов. RUN-025 / ARBD38: ограниченные погрешности и время наблюдений. RUN-028 / ARBD40: пакет независимой разметки. RUN-029 / ARBD41: фиксация прогноза и границы ошибки при спорных метках. Все эти слои наследуются, а новые мнения не считаются эталоном классификации.

Команды воспроизведения из исходников

node scripts/build-critical-dossier.mjs; node --test tests/arbd42.test.mjs. CLI: node scripts/critical-cli.mjs evaluate MODEL.json OUTPUT.json X HYPOTHESIS. Для пустого списка используйте -. Команда verify-register проверяет реестр и фактические локальные байты PDF и изображений. Выходной файл не перезаписывается.

Модуль не оценивает вероятность истинности мнения, не устраивает голосование за истину и не объявляет все дополнения допустимыми сценариями. Полнота корпуса Канта, эмпирическая точность метода и независимость разметки остаются отдельными открытыми задачами.

PDF подготовлен ReportLab из общего научного текста; HTML и TeX содержат тот же текст. TeX предоставлен для дальнейшего редактирования и в этом выпуске не компилировался. Синтаксис, конечный расчёт и сборка сайта проверяются отдельно от пользовательского браузерного испытания.