[ { "id": "KLT-REPER", "result": "KLT / Reper(R,I,U;D)", "domain": "MATHEMATICS", "source": "tom1_v197_ru.pdf", "source_url": "", "location": "Глава 5 «Reper(R,I,U;D): определение и аксиоматика», с. 19 (по оглавлению источника)", "location_status": "SOURCE_ANCHORED", "proof_obligation": "Не отдельный PN.2-PO; базовый аксиоматический/методический слой", "implementation": "KLT-RBDv6; KLT-RBD/RPD", "test": "Тесты программы и предметные валидации должны ссылаться на конкретный корпус", "status": "FORMAL_CORE", "note": "Source-bound inspection подтверждает наличие главы 5 и терминов C@C, Reper, D/Dom, λ.", "source_access": "REFERENCE_WITHHELD_FROM_PUBLIC_BUILD" }, { "id": "NAPG-FOS", "result": "NAPG / FOS", "domain": "GEOMETRY", "source": "tom2_v1_0 / T2-FREEZE-v1.0", "source_url": "https://kurpishev.com/tom2/files/tom2_v1_0.pdf", "location": "Точный page/section anchor в текущем коннекторном чтении не материализован", "location_status": "ANCHOR_PENDING", "proof_obligation": "Внутренние теоремы NAPG должны сохранять область определения и не переноситься автоматически в физику", "implementation": "Том II; SIGMA/NAPG страницы", "test": "Формальные вычислительные/геометрические проверки по отдельным теоремам", "status": "FORMAL_GEOMETRY", "note": "Том III импортирует T2-FREEZE-v1.0 как математическую инфраструктуру, не как уже подтверждённую физическую геометрию.", "source_access": "PUBLIC_URL" }, { "id": "RSTAR-R", "result": "Неассоциативная пакетная алгебра R⋆R", "domain": "ALGEBRA", "source": "PN2_theorem_ru_v1.0", "source_url": "", "location": "§2 Нотация; §12 PO-1…PO-10; Приложения A–B только для вспомогательной A2", "location_status": "SOURCE_ANCHORED", "proof_obligation": "PO-1…PO-10 для конкретной R⋆R остаются зависимыми от явной спецификации и мостов", "implementation": "Теоремные и вычислительные исследования; отдельный сертификат A2", "test": "После закрытия PO-1…PO-10 — перенос вычислимого сертификата на конкретную R⋆R", "status": "OPEN_PROOF_OBLIGATIONS", "note": "Канонический PN.2 прямо запрещает перенос сертификата A2 на R⋆R без закрытия соответствующих PO.", "source_access": "REFERENCE_WITHHELD_FROM_PUBLIC_BUILD" }, { "id": "DESARGUES-KURPISHEV", "result": "Теорема Дезарга—Курпишева", "domain": "GEOMETRY", "source": "desargues_kurpishev_theorem_ru.pdf", "source_url": "https://kurpishev.com/desargues_kurpishev_theorem_ru.pdf", "location": "Точный page/section anchor требует отдельного чтения канонического PDF", "location_status": "ANCHOR_PENDING", "proof_obligation": "Формальная проверка формулировки/доказательства и отдельный prior-art контур", "implementation": "RU/EN/TeX публикационные материалы", "test": "Повторная проверка доказательства и машинная формализация — отдельный контур", "status": "THEOREM_PACKAGE", "note": "Выставочная карточка не заменяет внешнюю оценку новизны.", "source_access": "PUBLIC_URL" }, { "id": "PN2", "result": "ПН.2 / PN.2", "domain": "PHYSICS", "source": "PN2_theorem_ru_v1.0", "source_url": "", "location": "§7 Теорема 7.1; §12 PO-1…PO-12; §13 F-1…F-14; Приложение A (PO-11); Приложение B (PO-12)", "location_status": "SOURCE_ANCHORED", "proof_obligation": "PO-11 CLOSED abstractly; PO-12 CLOSED abstractly; PO-1…PO-10 не считаются закрытыми этим сертификатом", "implementation": "Канонический теоремный пакет, журнальная редакция, verification protocol, сертификат PN2-PO12-A2-v1.0", "test": "11 автоматических тестов сертификата; F-1…F-14 требуют независимого EXT-RUN", "status": "MATH_PLUS_OPEN_PHYSICS", "note": "Теорема 7.1 доказана внутри модели скрытой скобочной альтернативы; физические мосты остаются гипотезами.", "source_access": "REFERENCE_WITHHELD_FROM_PUBLIC_BUILD" }, { "id": "VSTAR-P", "result": "V*P-физика и стратифицированное время", "domain": "PHYSICS", "source": "Том III / PN2_theorem_ru_v1.0", "source_url": "https://kurpishev.com/t3.pdf", "location": "Том III — точный page anchor pending; PN.2 §13: F-7…F-14", "location_status": "PARTIAL_ANCHOR", "proof_obligation": "Физические мосты, операционализация, единицы, нулевая модель и независимая проверка", "implementation": "Том III; физико-космологические страницы", "test": "Протокол EXT-RUN / F-1…F-14, без повышения статуса до выполнения", "status": "RESEARCH_PROGRAM", "note": "PN.2 §13 прямо отделяет F-1…F-14 от математической теоремы.", "source_access": "PUBLIC_URL" }, { "id": "KLT-RBD-PREDREP", "result": "KLT-RBD / RPD / PredRep", "domain": "COMPUTATION", "source": "tom5_ru_v1_0.pdf", "source_url": "", "location": "Глава 13 «PredRep и пространство допустимых продолжений», с. 82; гл. 26–27 — теоремный/доказательный пакет (по оглавлению)", "location_status": "SOURCE_ANCHORED", "proof_obligation": "Каждый обязательный blocker должен вести в ABSTAIN; предметная валидность прогнозов требует matched-null/independent tests", "implementation": "KLT-RBD/RPD, graph memory, PredRep, HumanGate", "test": "Matched-null, blind/hidden channel, независимые предметные тесты", "status": "COMPUTATIONAL_CORE", "note": "Source-bound inspection подтверждает главу 13 и правило ABSTAIN при обязательном блокере.", "source_access": "REFERENCE_WITHHELD_FROM_PUBLIC_BUILD" }, { "id": "KLT-RBD-CHEM", "result": "KLT-RBD-CHEM / Evidence-D", "domain": "CHEMISTRY", "source": "T6_RU_FREEZE_v1_0.pdf", "source_url": "", "location": "Freeze-паспорт, стр. 1–2; полный chapter anchor будет добавлен после page-level extraction", "location_status": "PARTIAL_ANCHOR", "proof_obligation": "DHC_chem=OPEN-NOT-CONFIRMED; EXT-RUN=NOT_RUN; matched-null/blind gates обязательны", "implementation": "Корпус v95–v116; химические графы; KLT-MATDES interface", "test": "Source-bound corpus → prereg matched-null → blind reveal → independent EXT-RUN", "status": "PROTOTYPE_OPEN_TESTS", "note": "Freeze прямо фиксирует science=ABSTAIN, DHC_chem=OPEN-NOT-CONFIRMED, EXT-RUN=NOT_RUN.", "source_access": "REFERENCE_WITHHELD_FROM_PUBLIC_BUILD" }, { "id": "KLT-MATDES", "result": "KLT-MATDES", "domain": "CHEMISTRY", "source": "Инженерный полигон + проектный документ", "source_url": "https://klt-matdes.workspace-406992.chatgpt.site/", "location": "Точный Drive page anchor проектного документа пока не найден текущим поиском", "location_status": "ANCHOR_PENDING", "proof_obligation": "Инженерный прототип не равен внешней материаловедческой валидации", "implementation": "Live KLT-MATDES; Python/SQLite/графовый контур", "test": "Валидация на открытых авторитетных химических базах и независимый расчёт", "status": "LIVE_ENGINEERING_PROTOTYPE", "note": "На этом этапе источниковая карточка сохраняет честный ANCHOR_PENDING вместо выдуманной страницы.", "source_access": "PUBLIC_URL" }, { "id": "KLT-RBDv6", "result": "KLT-RBDv6 Analyzer", "domain": "COMPUTATION", "source": "Инженерный полигон + Том V", "source_url": "https://klt-rbdv6-analyzer.workspace-406992.chatgpt.site/", "location": "Том V: PredRep/ABSTAIN; точный page anchor программной спецификации pending", "location_status": "PARTIAL_ANCHOR", "proof_obligation": "Ошибочные/неполные основания должны приводить к GAP/BLOCKED/ABSTAIN, а не к молчаливому выводу", "implementation": "Live analyzer; объединяемая network/offline архитектура", "test": "Файловые форматы, графы, шкалы, citations, regression QA, предметные корпуса", "status": "LIVE_ENGINEERING_PROTOTYPE", "note": "Программная работоспособность не является независимой научной валидацией предметных выводов.", "source_access": "PUBLIC_URL" }, { "id": "TRUTH-ANTHROPOLOGY", "result": "Антропология познания и «Что есть Истина?»", "domain": "PHILOSOPHY", "source": "Том IV + рабочая сборка Тома VII", "source_url": "https://kurpishev.com/klt6/ru/t4.pdf", "location": "Точный page anchor философского Тома IV/VII требует отдельной source-bound разметки", "location_status": "ANCHOR_PENDING", "proof_obligation": "Философская аргументация и историческая типология не маркируются как математическая теорема или эмпирический тест", "implementation": "Том IV; статьи; редакционная сборка Тома VII", "test": "Источниковая атрибуция, цитирование, философская критика и сопоставление с prior art", "status": "PHILOSOPHICAL_CORPUS", "note": "Статус философского корпуса отделён от formal/math и EXT-RUN.", "source_access": "PUBLIC_URL" } ]