C3.8I consolidated
Proof-and-Source Navigation
RESULT → SOURCE → PAGE/SECTION → PROOF OBLIGATION → IMPLEMENTATION → TEST → STATUS.
| Result | Source / locator | PO / implementation / status |
|---|---|---|
| KLT / Reper(R,I,U;D) MATHEMATICS | tom1_v197_ru.pdf Глава 5 «Reper(R,I,U;D): определение и аксиоматика», с. 19 (по оглавлению источника) SOURCE_ANCHORED | Не отдельный PN.2-PO; базовый аксиоматический/методический слой KLT-RBDv6; KLT-RBD/RPD |
| NAPG / FOS GEOMETRY | tom2_v1_0 / T2-FREEZE-v1.0 Точный page/section anchor в текущем коннекторном чтении не материализован ANCHOR_PENDING | Внутренние теоремы NAPG должны сохранять область определения и не переноситься автоматически в физику Том II; SIGMA/NAPG страницы |
| Неассоциативная пакетная алгебра R⋆R ALGEBRA | PN2_theorem_ru_v1.0 §2 Нотация; §12 PO-1…PO-10; Приложения A–B только для вспомогательной A2 SOURCE_ANCHORED | PO-1…PO-10 для конкретной R⋆R остаются зависимыми от явной спецификации и мостов Теоремные и вычислительные исследования; отдельный сертификат A2 |
| Теорема Дезарга—Курпишева GEOMETRY | desargues_kurpishev_theorem_ru.pdf Точный page/section anchor требует отдельного чтения канонического PDF ANCHOR_PENDING | Формальная проверка формулировки/доказательства и отдельный prior-art контур RU/EN/TeX публикационные материалы |
| ПН.2 / PN.2 PHYSICS | PN2_theorem_ru_v1.0 §7 Теорема 7.1; §12 PO-1…PO-12; §13 F-1…F-14; Приложение A (PO-11); Приложение B (PO-12) SOURCE_ANCHORED | PO-11 CLOSED abstractly; PO-12 CLOSED abstractly; PO-1…PO-10 не считаются закрытыми этим сертификатом Канонический теоремный пакет, журнальная редакция, verification protocol, сертификат PN2-PO12-A2-v1.0 |
| V*P-физика и стратифицированное время PHYSICS | Том III / PN2_theorem_ru_v1.0 Том III — точный page anchor pending; PN.2 §13: F-7…F-14 PARTIAL_ANCHOR | Физические мосты, операционализация, единицы, нулевая модель и независимая проверка Том III; физико-космологические страницы |
| KLT-RBD / RPD / PredRep COMPUTATION | tom5_ru_v1_0.pdf Глава 13 «PredRep и пространство допустимых продолжений», с. 82; гл. 26–27 — теоремный/доказательный пакет (по оглавлению) SOURCE_ANCHORED | Каждый обязательный blocker должен вести в ABSTAIN; предметная валидность прогнозов требует matched-null/independent tests KLT-RBD/RPD, graph memory, PredRep, HumanGate |
| KLT-RBD-CHEM / Evidence-D CHEMISTRY | T6_RU_FREEZE_v1_0.pdf Freeze-паспорт, стр. 1–2; полный chapter anchor будет добавлен после page-level extraction PARTIAL_ANCHOR | DHC_chem=OPEN-NOT-CONFIRMED; EXT-RUN=NOT_RUN; matched-null/blind gates обязательны Корпус v95–v116; химические графы; KLT-MATDES interface |
| KLT-MATDES CHEMISTRY | Инженерный полигон + проектный документ Точный Drive page anchor проектного документа пока не найден текущим поиском ANCHOR_PENDING | Инженерный прототип не равен внешней материаловедческой валидации Live KLT-MATDES; Python/SQLite/графовый контур |
| KLT-RBDv6 Analyzer COMPUTATION | Инженерный полигон + Том V Том V: PredRep/ABSTAIN; точный page anchor программной спецификации pending PARTIAL_ANCHOR | Ошибочные/неполные основания должны приводить к GAP/BLOCKED/ABSTAIN, а не к молчаливому выводу Live analyzer; объединяемая network/offline архитектура |
| Антропология познания и «Что есть Истина?» PHILOSOPHY | Том IV + рабочая сборка Тома VII Точный page anchor философского Тома IV/VII требует отдельной source-bound разметки ANCHOR_PENDING | Философская аргументация и историческая типология не маркируются как математическая теорема или эмпирический тест Том IV; статьи; редакционная сборка Тома VII |