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 Chapter 5, Reper(R,I,U;D): definition and axioms, p. 19 (according to the source contents) SOURCE_ANCHORED | Basic axiomatic/methodological layer; not a separate PN.2 obligation KLT-RBDv6; KLT-RBD/RPD |
| NAPG / FOS GEOMETRY | tom2_v1_0 / T2-FREEZE-v1.0 An exact page/section anchor has not yet been established in the current source inspection ANCHOR_PENDING | NAPG theorems must retain their domains and must not be transferred automatically to physics Volume II; SIGMA/NAPG pages |
| Non-associative packet algebra R⋆R ALGEBRA | PN2_theorem_ru_v1.0 §2 Notation; §12 PO-1…PO-10; Appendices A–B concern only auxiliary A2 SOURCE_ANCHORED | PO-1…PO-10 for concrete R⋆R remain dependent on an explicit specification and bridges Theoretical and computational studies; separate A2 certificate |
| Desargues–Kurpishev theorem GEOMETRY | desargues_kurpishev_theorem_ru.pdf An exact page/section anchor requires a separate reading of the canonical PDF ANCHOR_PENDING | Formal review of statement/proof and a separate prior-art track RU/EN/TeX publication materials |
| PN.2 PHYSICS | PN2_theorem_ru_v1.0 §7 Theorem 7.1; §12 PO-1…PO-12; §13 F-1…F-14; Appendix A (PO-11); Appendix B (PO-12) SOURCE_ANCHORED | PO-11 and PO-12 are closed abstractly; this certificate does not close PO-1…PO-10 Canonical theorem package, journal edition, verification protocol, certificate PN2-PO12-A2-v1.0 |
| V*P Physics and Stratified Time PHYSICS | Volume III / PN2_theorem_ru_v1.0 Volume III: exact page anchor pending; PN.2 §13: F-7…F-14 PARTIAL_ANCHOR | Physical bridges, operationalization, units, a null model and independent verification Volume III; physics/cosmology pages |
| KLT-RBD / RPD / PredRep COMPUTATION | tom5_ru_v1_0.pdf Chapter 13, PredRep and the space of admissible continuations, p. 82; chapters 26–27: theorem/proof package (according to the contents) SOURCE_ANCHORED | Every mandatory blocker must lead to ABSTAIN; subject-matter prediction validity requires matched-null/independent tests KLT-RBD/RPD, graph memory, PredRep, HumanGate |
| KLT-RBD-CHEM / Evidence-D CHEMISTRY | T6_RU_FREEZE_v1_0.pdf Freeze specification, pp. 1–2; full chapter anchors await page-level extraction PARTIAL_ANCHOR | DHC_chem=OPEN-NOT-CONFIRMED; EXT-RUN=NOT_RUN; matched-null/blind gates are required Corpus v95–v116; chemical graphs; KLT-MATDES interface |
| KLT-MATDES CHEMISTRY | Engineering testbed + project document The exact project-document page anchor has not yet been located ANCHOR_PENDING | An engineering prototype is not external materials-science validation Live KLT-MATDES; Python/SQLite/graph architecture |
| KLT-RBDv6 Analyzer COMPUTATION | Engineering testbed + Volume V Volume V: PredRep/ABSTAIN; exact software-specification page anchor pending PARTIAL_ANCHOR | Incorrect or incomplete grounds must yield GAP/BLOCKED/ABSTAIN, not a silent inference Live analyzer; a combined network/offline architecture |
| Anthropology of Cognition and “What Is Truth?” PHILOSOPHY | Volume IV + working edition of Volume VII Exact page anchors for philosophical Volumes IV/VII require separate source-based markup ANCHOR_PENDING | Philosophical arguments and historical typologies are not labelled as mathematical theorems or empirical tests Volume IV; articles; editorial edition of Volume VII |