{ "schema": "kurpishev/evidence-ledger/1.0", "version": "3.7.0", "entries": [ { "id": "KLT-REPER", "family": "project", "title": { "ru": "KLT и Reper(R,I,U;D)", "en": "KLT and Reper(R,I,U;D)", "zh": "KLT 与 Reper(R,I,U;D)" }, "document_title": "tom1_v197_ru.pdf", "document_revision": null, "document_path": null, "document_sha256": null, "section": null, "page": null, "formula": null, "po": [], "certificate": null, "mathematical_status": "FORMAL_CORE", "legacy_anchor_status": "SOURCE_ANCHORED", "anchor_status": "PARTIAL_ANCHOR", "anchor_note": { "ru": "Унаследована запись источника; точная страница и редакция ещё не подтверждены текущими байтами.", "en": "Source record inherited; exact page and edition have not been confirmed against current source bytes.", "zh": "继承了来源记录；具体页码与版本尚未按当前源文件确认。" }, "record_path": "data/proof-source-data.json", "record_pointer": "/0", "truth_layer_promotion": 0 }, { "id": "NAPG-FOS", "family": "project", "title": { "ru": "NAPG / FOS", "en": "NAPG / FOS", "zh": "NAPG / FOS" }, "document_title": "tom2_v1_0 / T2-FREEZE-v1.0", "document_revision": null, "document_path": null, "document_sha256": null, "section": null, "page": null, "formula": null, "po": [], "certificate": null, "mathematical_status": "FORMAL_GEOMETRY", "legacy_anchor_status": "ANCHOR_PENDING", "anchor_status": "ANCHOR_PENDING", "anchor_note": { "ru": "Унаследована запись источника; точная страница и редакция ещё не подтверждены текущими байтами.", "en": "Source record inherited; exact page and edition have not been confirmed against current source bytes.", "zh": "继承了来源记录；具体页码与版本尚未按当前源文件确认。" }, "record_path": "data/proof-source-data.json", "record_pointer": "/1", "truth_layer_promotion": 0 }, { "id": "RSTAR-R", "family": "project", "title": { "ru": "Неассоциативная пакетная алгебра R⋆R", "en": "Non-associative packet algebra R⋆R", "zh": "非结合分组代数 R⋆R" }, "document_title": "PN.2 theorem v1.0 — source excerpt", "document_revision": "v1.0; original title date 11 July 2026; excerpt prepared 6 September 2026", "document_path": "publications/pn2/PN2_THEOREM_v1_0_FORMULA_EXCERPT_v1_0.pdf", "document_sha256": "5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6", "section": "2; 3", "page": 2, "formula": "K = r_L-r_R", "po": [], "certificate": null, "mathematical_status": "OPEN_PROOF_OBLIGATIONS", "legacy_anchor_status": "SOURCE_ANCHORED", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Проверена выдержка источника; нумерация страниц сохранена. Привязка определения не закрывает физические обязательства.", "en": "Source excerpt verified; page numbering retained. Anchoring a definition does not close physical obligations.", "zh": "已核对来源摘录并保留页码。定义的来源定位不关闭物理义务。" }, "record_path": "data/proof-source-data.json", "record_pointer": "/2", "truth_layer_promotion": 0, "pages": [ 2, 3 ] }, { "id": "DESARGUES-KURPISHEV", "family": "project", "title": { "ru": "Теорема Дезарга—Курпишева", "en": "Desargues–Kurpishev Theorem", "zh": "德萨格—库尔皮舍夫定理" }, "document_title": "desargues_kurpishev_theorem_ru.pdf", "document_revision": null, "document_path": null, "document_sha256": null, "section": null, "page": null, "formula": null, "po": [], "certificate": null, "mathematical_status": "THEOREM_PACKAGE", "legacy_anchor_status": "ANCHOR_PENDING", "anchor_status": "ANCHOR_PENDING", "anchor_note": { "ru": "Унаследована запись источника; точная страница и редакция ещё не подтверждены текущими байтами.", "en": "Source record inherited; exact page and edition have not been confirmed against current source bytes.", "zh": "继承了来源记录；具体页码与版本尚未按当前源文件确认。" }, "record_path": "data/proof-source-data.json", "record_pointer": "/3", "truth_layer_promotion": 0 }, { "id": "PN2", "family": "project", "title": { "ru": "ПН.2 / PN.2", "en": "PN.2", "zh": "PN.2" }, "document_title": "PN.2 theorem v1.0 — source excerpt", "document_revision": "v1.0; original title date 11 July 2026; excerpt prepared 6 September 2026", "document_path": "publications/pn2/PN2_THEOREM_v1_0_FORMULA_EXCERPT_v1_0.pdf", "document_sha256": "5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6", "section": "7; 8", "page": 4, "formula": "PN.2-S / PN.2-R / PN.2-K", "po": [], "certificate": null, "mathematical_status": "MATH_PLUS_OPEN_PHYSICS", "legacy_anchor_status": "SOURCE_ANCHORED", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Проверена выдержка источника; нумерация страниц сохранена. Привязка определения не закрывает физические обязательства.", "en": "Source excerpt verified; page numbering retained. Anchoring a definition does not close physical obligations.", "zh": "已核对来源摘录并保留页码。定义的来源定位不关闭物理义务。" }, "record_path": "data/proof-source-data.json", "record_pointer": "/4", "truth_layer_promotion": 0, "pages": [ 4, 5 ] }, { "id": "VSTAR-P", "family": "project", "title": { "ru": "V*P-физика и стратифицированное время", "en": "V*P Physics and Stratified Time", "zh": "V*P 物理与分层时间" }, "document_title": "Том III / PN2_theorem_ru_v1.0", "document_revision": null, "document_path": null, "document_sha256": null, "section": null, "page": null, "formula": null, "po": [], "certificate": null, "mathematical_status": "RESEARCH_PROGRAM", "legacy_anchor_status": "PARTIAL_ANCHOR", "anchor_status": "PARTIAL_ANCHOR", "anchor_note": { "ru": "Унаследована запись источника; точная страница и редакция ещё не подтверждены текущими байтами.", "en": "Source record inherited; exact page and edition have not been confirmed against current source bytes.", "zh": "继承了来源记录；具体页码与版本尚未按当前源文件确认。" }, "record_path": "data/proof-source-data.json", "record_pointer": "/5", "truth_layer_promotion": 0 }, { "id": "KLT-RBD-PREDREP", "family": "project", "title": { "ru": "KLT-RBD / RPD / PredRep", "en": "KLT-RBD / RPD / PredRep", "zh": "KLT-RBD / RPD / PredRep" }, "document_title": "tom5_ru_v1_0.pdf", "document_revision": null, "document_path": null, "document_sha256": null, "section": null, "page": null, "formula": null, "po": [], "certificate": null, "mathematical_status": "COMPUTATIONAL_CORE", "legacy_anchor_status": "SOURCE_ANCHORED", "anchor_status": "PARTIAL_ANCHOR", "anchor_note": { "ru": "Унаследована запись источника; точная страница и редакция ещё не подтверждены текущими байтами.", "en": "Source record inherited; exact page and edition have not been confirmed against current source bytes.", "zh": "继承了来源记录；具体页码与版本尚未按当前源文件确认。" }, "record_path": "data/proof-source-data.json", "record_pointer": "/6", "truth_layer_promotion": 0 }, { "id": "KLT-RBD-CHEM", "family": "project", "title": { "ru": "KLT-RBD-CHEM / Evidence-D", "en": "KLT-RBD-CHEM / Evidence-D", "zh": "KLT-RBD-CHEM / Evidence-D" }, "document_title": "T6_RU_FREEZE_v1_0.pdf", "document_revision": null, "document_path": null, "document_sha256": null, "section": null, "page": null, "formula": null, "po": [], "certificate": null, "mathematical_status": "PROTOTYPE_OPEN_TESTS", "legacy_anchor_status": "PARTIAL_ANCHOR", "anchor_status": "PARTIAL_ANCHOR", "anchor_note": { "ru": "Унаследована запись источника; точная страница и редакция ещё не подтверждены текущими байтами.", "en": "Source record inherited; exact page and edition have not been confirmed against current source bytes.", "zh": "继承了来源记录；具体页码与版本尚未按当前源文件确认。" }, "record_path": "data/proof-source-data.json", "record_pointer": "/7", "truth_layer_promotion": 0 }, { "id": "KLT-MATDES", "family": "project", "title": { "ru": "KLT-MATDES", "en": "KLT-MATDES", "zh": "KLT-MATDES" }, "document_title": "Инженерный полигон + проектный документ", "document_revision": null, "document_path": null, "document_sha256": null, "section": null, "page": null, "formula": null, "po": [], "certificate": null, "mathematical_status": "LIVE_ENGINEERING_PROTOTYPE", "legacy_anchor_status": "ANCHOR_PENDING", "anchor_status": "ANCHOR_PENDING", "anchor_note": { "ru": "Унаследована запись источника; точная страница и редакция ещё не подтверждены текущими байтами.", "en": "Source record inherited; exact page and edition have not been confirmed against current source bytes.", "zh": "继承了来源记录；具体页码与版本尚未按当前源文件确认。" }, "record_path": "data/proof-source-data.json", "record_pointer": "/8", "truth_layer_promotion": 0 }, { "id": "KLT-RBDv6", "family": "project", "title": { "ru": "KLT-RBDv6 Analyzer", "en": "KLT-RBDv6 Analyzer", "zh": "KLT-RBDv6 Analyzer" }, "document_title": "Инженерный полигон + Том V", "document_revision": null, "document_path": null, "document_sha256": null, "section": null, "page": null, "formula": null, "po": [], "certificate": null, "mathematical_status": "LIVE_ENGINEERING_PROTOTYPE", "legacy_anchor_status": "PARTIAL_ANCHOR", "anchor_status": "PARTIAL_ANCHOR", "anchor_note": { "ru": "Унаследована запись источника; точная страница и редакция ещё не подтверждены текущими байтами.", "en": "Source record inherited; exact page and edition have not been confirmed against current source bytes.", "zh": "继承了来源记录；具体页码与版本尚未按当前源文件确认。" }, "record_path": "data/proof-source-data.json", "record_pointer": "/9", "truth_layer_promotion": 0 }, { "id": "TRUTH-ANTHROPOLOGY", "family": "project", "title": { "ru": "Антропология познания и «Что есть Истина?»", "en": "Anthropology of Cognition and “What Is Truth?”", "zh": "认知人类学与《什么是真理？》" }, "document_title": "Том IV + рабочая сборка Тома VII", "document_revision": null, "document_path": null, "document_sha256": null, "section": null, "page": null, "formula": null, "po": [], "certificate": null, "mathematical_status": "PHILOSOPHICAL_CORPUS", "legacy_anchor_status": "ANCHOR_PENDING", "anchor_status": "ANCHOR_PENDING", "anchor_note": { "ru": "Унаследована запись источника; точная страница и редакция ещё не подтверждены текущими байтами.", "en": "Source record inherited; exact page and edition have not been confirmed against current source bytes.", "zh": "继承了来源记录；具体页码与版本尚未按当前源文件确认。" }, "record_path": "data/proof-source-data.json", "record_pointer": "/10", "truth_layer_promotion": 0 }, { "id": "PN2-STAT-A1-A6", "family": "audit", "title": { "ru": "PN2-STAT-A1-A6", "en": "PN2-STAT-A1-A6", "zh": "PN2-STAT-A1-A6" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 RU / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "2", "page": 1, "pages": [ 1, 2 ], "formula": null, "po": [], "certificate": null, "mathematical_status": "EXPLICIT_ASSUMPTIONS", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Точная привязка унаследована из аудита v3.6; PDF сохранён без изменения байтов.", "en": "Exact anchor inherited from v3.6; PDF bytes are unchanged.", "zh": "继承 v3.6 的精确定位；PDF 字节未改变。" }, "record_path": "data/pn2-statistical-audit-ledger.json", "truth_layer_promotion": 0 }, { "id": "PN2-STAT-OVERLAP", "family": "audit", "title": { "ru": "PN2-STAT-OVERLAP", "en": "PN2-STAT-OVERLAP", "zh": "PN2-STAT-OVERLAP" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 RU / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "3", "page": 3, "pages": [ 3 ], "formula": "(4)", "po": [], "certificate": null, "mathematical_status": "PROVED_UNDER_A1_A6", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Точная привязка унаследована из аудита v3.6; PDF сохранён без изменения байтов.", "en": "Exact anchor inherited from v3.6; PDF bytes are unchanged.", "zh": "继承 v3.6 的精确定位；PDF 字节未改变。" }, "record_path": "data/pn2-statistical-audit-ledger.json", "truth_layer_promotion": 0 }, { "id": "PN2-STAT-T1", "family": "audit", "title": { "ru": "PN2-STAT-T1", "en": "PN2-STAT-T1", "zh": "PN2-STAT-T1" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 RU / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "4", "page": 3, "pages": [ 3 ], "formula": "(T1)", "po": [], "certificate": null, "mathematical_status": "PROVED_UNDER_A1_A6", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Точная привязка унаследована из аудита v3.6; PDF сохранён без изменения байтов.", "en": "Exact anchor inherited from v3.6; PDF bytes are unchanged.", "zh": "继承 v3.6 的精确定位；PDF 字节未改变。" }, "record_path": "data/pn2-statistical-audit-ledger.json", "truth_layer_promotion": 0 }, { "id": "PN2-STAT-T2-S", "family": "audit", "title": { "ru": "PN2-STAT-T2-S", "en": "PN2-STAT-T2-S", "zh": "PN2-STAT-T2-S" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 RU / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "5", "page": 4, "pages": [ 4 ], "formula": "(T2-S)", "po": [], "certificate": null, "mathematical_status": "PROVED_UNDER_A1_A6", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Точная привязка унаследована из аудита v3.6; PDF сохранён без изменения байтов.", "en": "Exact anchor inherited from v3.6; PDF bytes are unchanged.", "zh": "继承 v3.6 的精确定位；PDF 字节未改变。" }, "record_path": "data/pn2-statistical-audit-ledger.json", "truth_layer_promotion": 0 }, { "id": "PN2-STAT-T2-R", "family": "audit", "title": { "ru": "PN2-STAT-T2-R", "en": "PN2-STAT-T2-R", "zh": "PN2-STAT-T2-R" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 RU / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "5", "page": 4, "pages": [ 4 ], "formula": "(T2-R)", "po": [], "certificate": null, "mathematical_status": "PROVED_UNDER_A1_A6", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Точная привязка унаследована из аудита v3.6; PDF сохранён без изменения байтов.", "en": "Exact anchor inherited from v3.6; PDF bytes are unchanged.", "zh": "继承 v3.6 的精确定位；PDF 字节未改变。" }, "record_path": "data/pn2-statistical-audit-ledger.json", "truth_layer_promotion": 0 }, { "id": "PN2-STAT-T2-c", "family": "audit", "title": { "ru": "PN2-STAT-T2-c", "en": "PN2-STAT-T2-c", "zh": "PN2-STAT-T2-c" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 RU / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "5", "page": 4, "pages": [ 4 ], "formula": "(T2-c)", "po": [], "certificate": null, "mathematical_status": "PROVED_UNDER_A1_A6_AND_C_SEPARATION", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Точная привязка унаследована из аудита v3.6; PDF сохранён без изменения байтов.", "en": "Exact anchor inherited from v3.6; PDF bytes are unchanged.", "zh": "继承 v3.6 的精确定位；PDF 字节未改变。" }, "record_path": "data/pn2-statistical-audit-ledger.json", "truth_layer_promotion": 0 }, { "id": "PN2-STAT-TAU0", "family": "audit", "title": { "ru": "PN2-STAT-TAU0", "en": "PN2-STAT-TAU0", "zh": "PN2-STAT-TAU0" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 RU / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "6", "page": 4, "pages": [ 4 ], "formula": null, "po": [], "certificate": null, "mathematical_status": "PROVED_UNDER_A1_A6", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Точная привязка унаследована из аудита v3.6; PDF сохранён без изменения байтов.", "en": "Exact anchor inherited from v3.6; PDF bytes are unchanged.", "zh": "继承 v3.6 的精确定位；PDF 字节未改变。" }, "record_path": "data/pn2-statistical-audit-ledger.json", "truth_layer_promotion": 0 }, { "id": "PN2-STAT-TAU1", "family": "audit", "title": { "ru": "PN2-STAT-TAU1", "en": "PN2-STAT-TAU1", "zh": "PN2-STAT-TAU1" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 RU / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "6", "page": 4, "pages": [ 4 ], "formula": null, "po": [], "certificate": null, "mathematical_status": "PROVED_UNDER_A1_A6", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Точная привязка унаследована из аудита v3.6; PDF сохранён без изменения байтов.", "en": "Exact anchor inherited from v3.6; PDF bytes are unchanged.", "zh": "继承 v3.6 的精确定位；PDF 字节未改变。" }, "record_path": "data/pn2-statistical-audit-ledger.json", "truth_layer_promotion": 0 }, { "id": "PN2-STAT-SHARPNESS-D1", "family": "audit", "title": { "ru": "PN2-STAT-SHARPNESS-D1", "en": "PN2-STAT-SHARPNESS-D1", "zh": "PN2-STAT-SHARPNESS-D1" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 RU / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "7", "page": 4, "pages": [ 4, 5 ], "formula": null, "po": [], "certificate": null, "mathematical_status": "SHARP_IN_ERASURE_FAMILY", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Точная привязка унаследована из аудита v3.6; PDF сохранён без изменения байтов.", "en": "Exact anchor inherited from v3.6; PDF bytes are unchanged.", "zh": "继承 v3.6 的精确定位；PDF 字节未改变。" }, "record_path": "data/pn2-statistical-audit-ledger.json", "truth_layer_promotion": 0 }, { "id": "PN2-STAT-ASYMMETRIC-D3", "family": "audit", "title": { "ru": "PN2-STAT-ASYMMETRIC-D3", "en": "PN2-STAT-ASYMMETRIC-D3", "zh": "PN2-STAT-ASYMMETRIC-D3" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 RU / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "7", "page": 5, "pages": [ 5 ], "formula": null, "po": [], "certificate": null, "mathematical_status": "MINIMAX_RISK_1_OVER_3", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Точная привязка унаследована из аудита v3.6; PDF сохранён без изменения байтов.", "en": "Exact anchor inherited from v3.6; PDF bytes are unchanged.", "zh": "继承 v3.6 的精确定位；PDF 字节未改变。" }, "record_path": "data/pn2-statistical-audit-ledger.json", "truth_layer_promotion": 0 }, { "id": "PN2-STAT-UNIFORM-C1", "family": "audit", "title": { "ru": "PN2-STAT-UNIFORM-C1", "en": "PN2-STAT-UNIFORM-C1", "zh": "PN2-STAT-UNIFORM-C1" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 RU / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "8", "page": 5, "pages": [ 5 ], "formula": null, "po": [], "certificate": null, "mathematical_status": "PROVED_UNDER_A1_A6", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Точная привязка унаследована из аудита v3.6; PDF сохранён без изменения байтов.", "en": "Exact anchor inherited from v3.6; PDF bytes are unchanged.", "zh": "继承 v3.6 的精确定位；PDF 字节未改变。" }, "record_path": "data/pn2-statistical-audit-ledger.json", "truth_layer_promotion": 0 }, { "id": "PN2-STAT-NORMAL-C2", "family": "audit", "title": { "ru": "PN2-STAT-NORMAL-C2", "en": "PN2-STAT-NORMAL-C2", "zh": "PN2-STAT-NORMAL-C2" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 RU / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "8", "page": 5, "pages": [ 5 ], "formula": null, "po": [], "certificate": null, "mathematical_status": "PROVED_UNDER_A1_A6", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Точная привязка унаследована из аудита v3.6; PDF сохранён без изменения байтов.", "en": "Exact anchor inherited from v3.6; PDF bytes are unchanged.", "zh": "继承 v3.6 的精确定位；PDF 字节未改变。" }, "record_path": "data/pn2-statistical-audit-ledger.json", "truth_layer_promotion": 0 }, { "id": "PN2-STAT-COUNTEREXAMPLES", "family": "audit", "title": { "ru": "PN2-STAT-COUNTEREXAMPLES", "en": "PN2-STAT-COUNTEREXAMPLES", "zh": "PN2-STAT-COUNTEREXAMPLES" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 RU / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "9", "page": 6, "pages": [ 6 ], "formula": null, "po": [], "certificate": null, "mathematical_status": "CE1_TO_CE7_REFUTE_STRONGER_FORMS", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Точная привязка унаследована из аудита v3.6; PDF сохранён без изменения байтов.", "en": "Exact anchor inherited from v3.6; PDF bytes are unchanged.", "zh": "继承 v3.6 的精确定位；PDF 字节未改变。" }, "record_path": "data/pn2-statistical-audit-ledger.json", "truth_layer_promotion": 0 }, { "id": "PN2-STAT-ATTRIBUTION", "family": "audit", "title": { "ru": "PN2-STAT-ATTRIBUTION", "en": "PN2-STAT-ATTRIBUTION", "zh": "PN2-STAT-ATTRIBUTION" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 RU / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "10", "page": 6, "pages": [ 6, 7 ], "formula": null, "po": [], "certificate": null, "mathematical_status": "CLASSICAL_LE_CAM_METHOD", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Точная привязка унаследована из аудита v3.6; PDF сохранён без изменения байтов.", "en": "Exact anchor inherited from v3.6; PDF bytes are unchanged.", "zh": "继承 v3.6 的精确定位；PDF 字节未改变。" }, "record_path": "data/pn2-statistical-audit-ledger.json", "truth_layer_promotion": 0 }, { "id": "PN2-STAT-CANON-PROPOSAL", "family": "audit", "title": { "ru": "PN2-STAT-CANON-PROPOSAL", "en": "PN2-STAT-CANON-PROPOSAL", "zh": "PN2-STAT-CANON-PROPOSAL" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 RU / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "13", "page": 8, "pages": [ 8 ], "formula": null, "po": [], "certificate": null, "mathematical_status": "AUTHOR_DECISION_PENDING", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Точная привязка унаследована из аудита v3.6; PDF сохранён без изменения байтов.", "en": "Exact anchor inherited from v3.6; PDF bytes are unchanged.", "zh": "继承 v3.6 的精确定位；PDF 字节未改变。" }, "record_path": "data/pn2-statistical-audit-ledger.json", "truth_layer_promotion": 0 }, { "id": "ARBD-HIERARCHY", "family": "arbd", "title": { "ru": "ARBD-HIERARCHY", "en": "ARBD-HIERARCHY", "zh": "ARBD-HIERARCHY" }, "document_title": "inputs/AUTHOR_REPER_DB_SPEC.md", "document_revision": "ARBD Build 28 / KANT R017", "document_path": null, "document_sha256": "a1ed863cfe2e66248b3d65d6381c0eedb0faf9454a018a8302d7fc9aecd8e880", "section": "1. Entity hierarchy", "page": null, "formula": null, "json_pointer": null, "po": [], "certificate": null, "mathematical_status": "ABSTAIN", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Документ проверен внутри исходного ZIP. Для Markdown/JSON номер PDF-страницы не назначается; открывается публичная запись источника.", "en": "Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.", "zh": "已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。" }, "record_path": "data/arbd-evidence-ledger.json", "truth_layer_promotion": 0 }, { "id": "ARBD-ACP", "family": "arbd", "title": { "ru": "ARBD-ACP", "en": "ARBD-ACP", "zh": "ARBD-ACP" }, "document_title": "inputs/FORMAL_MODEL.md", "document_revision": "ARBD Build 28 / KANT R017", "document_path": null, "document_sha256": "9149bd0802b74ab67feee2508c6e466cc903771a2d410e098c50900aa6007700", "section": "Core_A / ACP", "page": null, "formula": null, "json_pointer": null, "po": [], "certificate": null, "mathematical_status": "ABSTAIN", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Документ проверен внутри исходного ZIP. Для Markdown/JSON номер PDF-страницы не назначается; открывается публичная запись источника.", "en": "Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.", "zh": "已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。" }, "record_path": "data/arbd-evidence-ledger.json", "truth_layer_promotion": 0 }, { "id": "ARBD-KANT-METRICS", "family": "arbd", "title": { "ru": "ARBD-KANT-METRICS", "en": "ARBD-KANT-METRICS", "zh": "ARBD-KANT-METRICS" }, "document_title": "run/ARBD_MODEL.json", "document_revision": "ARBD Build 28 / KANT R017", "document_path": null, "document_sha256": "7d06af7fe13dbfd979d386db230aaf60874f0a5c933e34e7c66e10d7b1432979", "section": null, "page": null, "formula": null, "json_pointer": "/summary", "po": [], "certificate": null, "mathematical_status": "ABSTAIN", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Документ проверен внутри исходного ZIP. Для Markdown/JSON номер PDF-страницы не назначается; открывается публичная запись источника.", "en": "Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.", "zh": "已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。" }, "record_path": "data/arbd-evidence-ledger.json", "truth_layer_promotion": 0 }, { "id": "ARBD-SOFTWARE-QA", "family": "arbd", "title": { "ru": "ARBD-SOFTWARE-QA", "en": "ARBD-SOFTWARE-QA", "zh": "ARBD-SOFTWARE-QA" }, "document_title": "QA_REPORT.json", "document_revision": "ARBD Build 28 / KANT R017", "document_path": null, "document_sha256": "ea582b6e845b6e12a5c1f7bf585de2b9cab28b95fd19d9b427c6b11fe7a7d506", "section": null, "page": null, "formula": null, "json_pointer": "/unit_tests", "po": [], "certificate": null, "mathematical_status": "ABSTAIN", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Документ проверен внутри исходного ZIP. Для Markdown/JSON номер PDF-страницы не назначается; открывается публичная запись источника.", "en": "Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.", "zh": "已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。" }, "record_path": "data/arbd-evidence-ledger.json", "truth_layer_promotion": 0 }, { "id": "ARBD-INTEGRATION", "family": "arbd", "title": { "ru": "ARBD-INTEGRATION", "en": "ARBD-INTEGRATION", "zh": "ARBD-INTEGRATION" }, "document_title": "KLT_ADAPTER_CONTRACT.md", "document_revision": "ARBD Build 28 / KANT R017", "document_path": null, "document_sha256": "80f5875353f8e89fe0a4e66f42a737ec4f88b9067b9566f433366cc1d5f53c72", "section": "Граница интеграции", "page": null, "formula": null, "json_pointer": null, "po": [], "certificate": null, "mathematical_status": "ABSTAIN", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Документ проверен внутри исходного ZIP. Для Markdown/JSON номер PDF-страницы не назначается; открывается публичная запись источника.", "en": "Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.", "zh": "已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。" }, "record_path": "data/arbd-evidence-ledger.json", "truth_layer_promotion": 0 }, { "id": "KANT-AR-025", "family": "arbd", "title": { "ru": "KANT-AR-025", "en": "KANT-AR-025", "zh": "KANT-AR-025" }, "document_title": "run/ARBD_MODEL.json", "document_revision": "ARBD Build 28 / KANT R017", "document_path": null, "document_sha256": "7d06af7fe13dbfd979d386db230aaf60874f0a5c933e34e7c66e10d7b1432979", "section": null, "page": null, "formula": null, "json_pointer": "/candidates/24", "po": [], "certificate": null, "mathematical_status": "ABSTAIN", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Документ проверен внутри исходного ZIP. Для Markdown/JSON номер PDF-страницы не назначается; открывается публичная запись источника.", "en": "Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.", "zh": "已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。" }, "record_path": "data/arbd-evidence-ledger.json", "truth_layer_promotion": 0 }, { "id": "KANT-AR-035", "family": "arbd", "title": { "ru": "KANT-AR-035", "en": "KANT-AR-035", "zh": "KANT-AR-035" }, "document_title": "run/ARBD_MODEL.json", "document_revision": "ARBD Build 28 / KANT R017", "document_path": null, "document_sha256": "7d06af7fe13dbfd979d386db230aaf60874f0a5c933e34e7c66e10d7b1432979", "section": null, "page": null, "formula": null, "json_pointer": "/candidates/34", "po": [], "certificate": null, "mathematical_status": "ABSTAIN", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Документ проверен внутри исходного ZIP. Для Markdown/JSON номер PDF-страницы не назначается; открывается публичная запись источника.", "en": "Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.", "zh": "已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。" }, "record_path": "data/arbd-evidence-ledger.json", "truth_layer_promotion": 0 }, { "id": "KANT-AR-039", "family": "arbd", "title": { "ru": "KANT-AR-039", "en": "KANT-AR-039", "zh": "KANT-AR-039" }, "document_title": "run/ARBD_MODEL.json", "document_revision": "ARBD Build 28 / KANT R017", "document_path": null, "document_sha256": "7d06af7fe13dbfd979d386db230aaf60874f0a5c933e34e7c66e10d7b1432979", "section": null, "page": null, "formula": null, "json_pointer": "/candidates/38", "po": [], "certificate": null, "mathematical_status": "ABSTAIN", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Документ проверен внутри исходного ZIP. Для Markdown/JSON номер PDF-страницы не назначается; открывается публичная запись источника.", "en": "Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.", "zh": "已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。" }, "record_path": "data/arbd-evidence-ledger.json", "truth_layer_promotion": 0 }, { "id": "KANT-AR-053", "family": "arbd", "title": { "ru": "KANT-AR-053", "en": "KANT-AR-053", "zh": "KANT-AR-053" }, "document_title": "run/ARBD_MODEL.json", "document_revision": "ARBD Build 28 / KANT R017", "document_path": null, "document_sha256": "7d06af7fe13dbfd979d386db230aaf60874f0a5c933e34e7c66e10d7b1432979", "section": null, "page": null, "formula": null, "json_pointer": "/candidates/52", "po": [], "certificate": null, "mathematical_status": "ABSTAIN", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Документ проверен внутри исходного ZIP. Для Markdown/JSON номер PDF-страницы не назначается; открывается публичная запись источника.", "en": "Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.", "zh": "已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。" }, "record_path": "data/arbd-evidence-ledger.json", "truth_layer_promotion": 0 }, { "id": "FORMULA-K-DEF", "family": "formula", "title": { "ru": "Ассоциатор", "en": "Associator", "zh": "结合子" }, "document_title": "PN.2 theorem v1.0 — source excerpt", "document_path": "publications/pn2/PN2_THEOREM_v1_0_FORMULA_EXCERPT_v1_0.pdf", "document_revision": "PN.2 v1.0 / source excerpt v1.0", "document_sha256": "5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6", "section": "2; 3.1", "page": 2, "formula": "K", "po": [ "PO-1", "PO-3" ], "certificate": null, "mathematical_status": "DEFINITION", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Объекты и область заданы в нормированной алгебре; это определение, а не экспериментальный результат.", "en": "Objects and domain are specified in a normed algebra; this is a definition, not an experimental result.", "zh": "对象与定义域在赋范代数中给出；这是定义，并非实验结果。" }, "record_path": "data/formula-ledger.json", "formula_id": "K-DEF", "truth_layer_promotion": 0 }, { "id": "FORMULA-GAPS", "family": "formula", "title": { "ru": "Разрывы между ветвями", "en": "Branch separations", "zh": "分支间距" }, "document_title": "PN.2 theorem v1.0 — source excerpt", "document_path": "publications/pn2/PN2_THEOREM_v1_0_FORMULA_EXCERPT_v1_0.pdf", "document_revision": "PN.2 v1.0 / source excerpt v1.0", "document_sha256": "5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6", "section": "3.4", "page": 3, "formula": "Delta_S / Delta_D / Delta_R", "po": [ "PO-4" ], "certificate": null, "mathematical_status": "DEFINITION", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Объекты и область заданы в нормированной алгебре; это определение, а не экспериментальный результат.", "en": "Objects and domain are specified in a normed algebra; this is a definition, not an experimental result.", "zh": "对象与定义域在赋范代数中给出；这是定义，并非实验结果。" }, "record_path": "data/formula-ledger.json", "formula_id": "GAPS", "truth_layer_promotion": 0 }, { "id": "FORMULA-DET-ERROR", "family": "formula", "title": { "ru": "Детерминированная ошибка", "en": "Deterministic error", "zh": "确定性误差" }, "document_title": "PN.2 theorem v1.0 — source excerpt", "document_path": "publications/pn2/PN2_THEOREM_v1_0_FORMULA_EXCERPT_v1_0.pdf", "document_revision": "PN.2 v1.0 / source excerpt v1.0", "document_sha256": "5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6", "section": "3.3", "page": 3, "formula": "e_S / e_D / e_R", "po": [ "PO-6" ], "certificate": null, "mathematical_status": "NOTATIONAL_UNIFICATION_OF_SOURCE_DEFINITIONS", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Теоремный пакет: A1–A4, один оцениватель для скрытых ветвей. Положительная граница требует ненулевых разрывов.", "en": "Theorem package: A1–A4, one estimator for hidden branches. A positive bound requires nonzero separations.", "zh": "定理文本的 A1–A4：两个隐藏分支共用同一估计。正下界需要非零间距。" }, "record_path": "data/formula-ledger.json", "formula_id": "DET-ERROR", "truth_layer_promotion": 0 }, { "id": "FORMULA-C-SEP", "family": "formula", "title": { "ru": "Условие c-разделения", "en": "c-separation condition", "zh": "c 分离条件" }, "document_title": "PN.2 theorem v1.0 — source excerpt", "document_path": "publications/pn2/PN2_THEOREM_v1_0_FORMULA_EXCERPT_v1_0.pdf", "document_revision": "PN.2 v1.0 / source excerpt v1.0", "document_sha256": "5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6", "section": "3.5", "page": 3, "formula": "c-separation", "po": [ "PO-5" ], "certificate": null, "mathematical_status": "ASSUMPTION", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Дополнительно c > 0 и Δ_S(u) ≥ c‖K(u)‖. Проверка одной числовой строки не доказывает разделение на всей Ω.", "en": "Additionally c > 0 and Δ_S(u) ≥ c‖K(u)‖. A numerical row does not prove separation over all of Ω.", "zh": "另需 c > 0 且 Δ_S(u) ≥ c‖K(u)‖。单行数值检验不能证明整个 Ω 上的分离。" }, "record_path": "data/formula-ledger.json", "formula_id": "C-SEP", "truth_layer_promotion": 0 }, { "id": "FORMULA-PN2-S", "family": "formula", "title": { "ru": "ПН.2-S · скалярная форма", "en": "PN.2-S · scalar form", "zh": "PN.2-S · 标量形式" }, "document_title": "PN.2 theorem v1.0 — source excerpt", "document_path": "publications/pn2/PN2_THEOREM_v1_0_FORMULA_EXCERPT_v1_0.pdf", "document_revision": "PN.2 v1.0 / source excerpt v1.0", "document_sha256": "5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6", "section": "7; 8", "page": 4, "formula": "PN.2-S", "po": [ "PO-5", "PO-6" ], "certificate": null, "mathematical_status": "PROVED_IN_STATED_ABSTRACT_MODEL", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Теоремный пакет: A1–A4, один оцениватель для скрытых ветвей. Положительная граница требует ненулевых разрывов.", "en": "Theorem package: A1–A4, one estimator for hidden branches. A positive bound requires nonzero separations.", "zh": "定理文本的 A1–A4：两个隐藏分支共用同一估计。正下界需要非零间距。" }, "record_path": "data/formula-ledger.json", "formula_id": "PN2-S", "truth_layer_promotion": 0 }, { "id": "FORMULA-PN2-R", "family": "formula", "title": { "ru": "ПН.2-R · состояние", "en": "PN.2-R · full state", "zh": "PN.2-R · 完整状态" }, "document_title": "PN.2 theorem v1.0 — source excerpt", "document_path": "publications/pn2/PN2_THEOREM_v1_0_FORMULA_EXCERPT_v1_0.pdf", "document_revision": "PN.2 v1.0 / source excerpt v1.0", "document_sha256": "5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6", "section": "7; 8", "page": 4, "formula": "PN.2-R", "po": [ "PO-3", "PO-6" ], "certificate": null, "mathematical_status": "PROVED_IN_STATED_ABSTRACT_MODEL", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Теоремный пакет: A1–A4, один оцениватель для скрытых ветвей. Положительная граница требует ненулевых разрывов.", "en": "Theorem package: A1–A4, one estimator for hidden branches. A positive bound requires nonzero separations.", "zh": "定理文本的 A1–A4：两个隐藏分支共用同一估计。正下界需要非零间距。" }, "record_path": "data/formula-ledger.json", "formula_id": "PN2-R", "truth_layer_promotion": 0 }, { "id": "FORMULA-PN2-K", "family": "formula", "title": { "ru": "ПН.2-K · c-разделение", "en": "PN.2-K · c-separation", "zh": "PN.2-K · c 分离" }, "document_title": "PN.2 theorem v1.0 — source excerpt", "document_path": "publications/pn2/PN2_THEOREM_v1_0_FORMULA_EXCERPT_v1_0.pdf", "document_revision": "PN.2 v1.0 / source excerpt v1.0", "document_sha256": "5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6", "section": "7; 8", "page": 5, "formula": "PN.2-K", "po": [ "PO-5", "PO-6" ], "certificate": null, "mathematical_status": "PROVED_CONDITIONALLY_IN_MODEL", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Дополнительно c > 0 и Δ_S(u) ≥ c‖K(u)‖. Проверка одной числовой строки не доказывает разделение на всей Ω.", "en": "Additionally c > 0 and Δ_S(u) ≥ c‖K(u)‖. A numerical row does not prove separation over all of Ω.", "zh": "另需 c > 0 且 Δ_S(u) ≥ c‖K(u)‖。单行数值检验不能证明整个 Ω 上的分离。" }, "record_path": "data/formula-ledger.json", "formula_id": "PN2-K", "truth_layer_promotion": 0 }, { "id": "FORMULA-TV", "family": "formula", "title": { "ru": "Различимость данных", "en": "Data distinguishability", "zh": "数据可区分度" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "3", "page": 2, "formula": "(3)", "po": [ "PO-6" ], "certificate": null, "mathematical_status": "DEFINITION", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Два вероятностных закона на одном измеримом пространстве; τ использует весь доступный протокол данных.", "en": "Two probability laws on one measurable space; τ uses the entire accessible observation.", "zh": "同一可测空间上的两个概率分布；τ 必须基于全部可用观测。" }, "record_path": "data/formula-ledger.json", "formula_id": "TV", "truth_layer_promotion": 0 }, { "id": "FORMULA-OVERLAP", "family": "formula", "title": { "ru": "Общая часть распределений", "en": "Overlap of laws", "zh": "分布的重叠部分" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "3", "page": 3, "formula": "(4)", "po": [], "certificate": null, "mathematical_status": "PROVED_UNDER_STATED_ASSUMPTIONS", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Два вероятностных закона на одном измеримом пространстве; τ использует весь доступный протокол данных.", "en": "Two probability laws on one measurable space; τ uses the entire accessible observation.", "zh": "同一可测空间上的两个概率分布；τ 必须基于全部可用观测。" }, "record_path": "data/formula-ledger.json", "formula_id": "OVERLAP", "truth_layer_promotion": 0 }, { "id": "FORMULA-STAT-RISK", "family": "formula", "title": { "ru": "Худший ожидаемый риск", "en": "Worst expected risk", "zh": "最坏期望风险" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "2", "page": 2, "formula": "(1)", "po": [ "PO-6" ], "certificate": null, "mathematical_status": "DEFINITION", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Аудит C3.8T: A1–A6, общие законы полных данных и одно решающее ядро; риски конечны.", "en": "C3.8T audit: A1–A6, common complete-data laws and one decision kernel; finite risks.", "zh": "C3.8T 审计的 A1–A6：完整数据的共同分布与同一决策核；风险有限。" }, "record_path": "data/formula-ledger.json", "formula_id": "STAT-RISK", "truth_layer_promotion": 0 }, { "id": "FORMULA-STAT-S", "family": "formula", "title": { "ru": "Риск S", "en": "Risk S", "zh": "风险 S" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "4; 5", "page": 3, "formula": "(8)", "po": [], "certificate": null, "mathematical_status": "PROVED_UNDER_A1_A6", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Аудит C3.8T: A1–A6, общие законы полных данных и одно решающее ядро; риски конечны.", "en": "C3.8T audit: A1–A6, common complete-data laws and one decision kernel; finite risks.", "zh": "C3.8T 审计的 A1–A6：完整数据的共同分布与同一决策核；风险有限。" }, "record_path": "data/formula-ledger.json", "formula_id": "STAT-S", "truth_layer_promotion": 0 }, { "id": "FORMULA-STAT-D", "family": "formula", "title": { "ru": "Риск D", "en": "Risk D", "zh": "风险 D" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "4; 5", "page": 3, "formula": "(8)", "po": [], "certificate": null, "mathematical_status": "PROVED_UNDER_A1_A6", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Аудит C3.8T: A1–A6, общие законы полных данных и одно решающее ядро; риски конечны.", "en": "C3.8T audit: A1–A6, common complete-data laws and one decision kernel; finite risks.", "zh": "C3.8T 审计的 A1–A6：完整数据的共同分布与同一决策核；风险有限。" }, "record_path": "data/formula-ledger.json", "formula_id": "STAT-D", "truth_layer_promotion": 0 }, { "id": "FORMULA-STAT-R", "family": "formula", "title": { "ru": "Риск R", "en": "Risk R", "zh": "风险 R" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "4; 5", "page": 3, "formula": "(8)", "po": [], "certificate": null, "mathematical_status": "PROVED_UNDER_A1_A6", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Аудит C3.8T: A1–A6, общие законы полных данных и одно решающее ядро; риски конечны.", "en": "C3.8T audit: A1–A6, common complete-data laws and one decision kernel; finite risks.", "zh": "C3.8T 审计的 A1–A6：完整数据的共同分布与同一决策核；风险有限。" }, "record_path": "data/formula-ledger.json", "formula_id": "STAT-R", "truth_layer_promotion": 0 }, { "id": "FORMULA-STAT-SD", "family": "formula", "title": { "ru": "Произведение рисков S/D", "en": "Product of S/D risks", "zh": "S/D 风险乘积" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "5", "page": 4, "formula": "T2-S", "po": [], "certificate": null, "mathematical_status": "PROVED_UNDER_A1_A6", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Аудит C3.8T: A1–A6, общие законы полных данных и одно решающее ядро; риски конечны.", "en": "C3.8T audit: A1–A6, common complete-data laws and one decision kernel; finite risks.", "zh": "C3.8T 审计的 A1–A6：完整数据的共同分布与同一决策核；风险有限。" }, "record_path": "data/formula-ledger.json", "formula_id": "STAT-SD", "truth_layer_promotion": 0 }, { "id": "FORMULA-STAT-RD", "family": "formula", "title": { "ru": "Произведение рисков R/D", "en": "Product of R/D risks", "zh": "R/D 风险乘积" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "5", "page": 4, "formula": "T2-R", "po": [], "certificate": null, "mathematical_status": "PROVED_UNDER_A1_A6", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Аудит C3.8T: A1–A6, общие законы полных данных и одно решающее ядро; риски конечны.", "en": "C3.8T audit: A1–A6, common complete-data laws and one decision kernel; finite risks.", "zh": "C3.8T 审计的 A1–A6：完整数据的共同分布与同一决策核；风险有限。" }, "record_path": "data/formula-ledger.json", "formula_id": "STAT-RD", "truth_layer_promotion": 0 }, { "id": "FORMULA-STAT-cSD", "family": "formula", "title": { "ru": "Риски при c-разделении", "en": "Risks with c-separation", "zh": "c 分离下的风险" }, "document_title": "Statistical PN.2 audit C3.8T v1.0 RU", "document_path": "publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf", "document_revision": "C3.8T v1.0 / 2026-09-06", "document_sha256": "9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a", "section": "5", "page": 4, "formula": "T2-c", "po": [ "PO-5" ], "certificate": null, "mathematical_status": "PROVED_UNDER_A1_A6_AND_C_SEPARATION", "anchor_status": "SOURCE_ANCHORED", "anchor_note": { "ru": "Дополнительно c > 0 и Δ_S(u) ≥ c‖K(u)‖. Проверка одной числовой строки не доказывает разделение на всей Ω.", "en": "Additionally c > 0 and Δ_S(u) ≥ c‖K(u)‖. A numerical row does not prove separation over all of Ω.", "zh": "另需 c > 0 且 Δ_S(u) ≥ c‖K(u)‖。单行数值检验不能证明整个 Ω 上的分离。" }, "record_path": "data/formula-ledger.json", "formula_id": "STAT-cSD", "truth_layer_promotion": 0 } ], "anchor_policy": { "SOURCE_ANCHORED": "Exact document bytes and a verified page, section or JSON Pointer. Source access and scientific validity are separate.", "PARTIAL_ANCHOR": "Source identified but exact current edition/page not confirmed.", "ANCHOR_PENDING": "Precise source location remains to be established." }, "legacy_sources_preserved": true, "page_number_policy": "No inferred volume/page numbers. Null is intentional for unverified pages and non-paginated documents.", "truth_layer_promotion": 0, "NO_LOSS_FREEZE": "BLOCKED" }