整合 C3.8I
证明与来源导航
RESULT → SOURCE → PAGE/SECTION → PROOF OBLIGATION → IMPLEMENTATION → TEST → STATUS.
证明在哪里？
统一台账将结果连接到文档、版本、章节、页码、公式、义务和状态。来源定位与科学有效性分别记录。
记录数: 51 / 51
没有匹配记录。请修改搜索或筛选条件。
KLT 与 Reper(R,I,U;D)KLT-REPERPARTIAL_ANCHOR
- 文档
- tom1_v197_ru.pdf
- 版本
- 未指定
- 章节
- 未指定
- 页码
- 未确认
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- FORMAL_CORE
继承了来源记录；具体页码与版本尚未按当前源文件确认。
NAPG / FOSNAPG-FOSANCHOR_PENDING
- 文档
- tom2_v1_0 / T2-FREEZE-v1.0
- 版本
- 未指定
- 章节
- 未指定
- 页码
- 未确认
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- FORMAL_GEOMETRY
继承了来源记录；具体页码与版本尚未按当前源文件确认。
非结合分组代数 R⋆RRSTAR-RSOURCE_ANCHORED
- 文档
- PN.2 theorem v1.0 — source excerpt
- 版本
- v1.0; original title date 11 July 2026; excerpt prepared 6 September 2026
- 章节
- 2; 3
- 页码
- 2
- 公式／指针
- K = r_L-r_R
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- OPEN_PROOF_OBLIGATIONS
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
已核对来源摘录并保留页码。定义的来源定位不关闭物理义务。
德萨格—库尔皮舍夫定理DESARGUES-KURPISHEVANCHOR_PENDING
- 文档
- desargues_kurpishev_theorem_ru.pdf
- 版本
- 未指定
- 章节
- 未指定
- 页码
- 未确认
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- THEOREM_PACKAGE
继承了来源记录；具体页码与版本尚未按当前源文件确认。
PN.2PN2SOURCE_ANCHORED
- 文档
- PN.2 theorem v1.0 — source excerpt
- 版本
- v1.0; original title date 11 July 2026; excerpt prepared 6 September 2026
- 章节
- 7; 8
- 页码
- 4
- 公式／指针
- PN.2-S / PN.2-R / PN.2-K
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- MATH_PLUS_OPEN_PHYSICS
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
已核对来源摘录并保留页码。定义的来源定位不关闭物理义务。
V*P 物理与分层时间VSTAR-PPARTIAL_ANCHOR
- 文档
- Том III / PN2_theorem_ru_v1.0
- 版本
- 未指定
- 章节
- 未指定
- 页码
- 未确认
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- RESEARCH_PROGRAM
继承了来源记录；具体页码与版本尚未按当前源文件确认。
KLT-RBD / RPD / PredRepKLT-RBD-PREDREPPARTIAL_ANCHOR
- 文档
- tom5_ru_v1_0.pdf
- 版本
- 未指定
- 章节
- 未指定
- 页码
- 未确认
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- COMPUTATIONAL_CORE
继承了来源记录；具体页码与版本尚未按当前源文件确认。
KLT-RBD-CHEM / Evidence-DKLT-RBD-CHEMPARTIAL_ANCHOR
- 文档
- T6_RU_FREEZE_v1_0.pdf
- 版本
- 未指定
- 章节
- 未指定
- 页码
- 未确认
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PROTOTYPE_OPEN_TESTS
继承了来源记录；具体页码与版本尚未按当前源文件确认。
KLT-MATDESKLT-MATDESANCHOR_PENDING
- 文档
- Инженерный полигон + проектный документ
- 版本
- 未指定
- 章节
- 未指定
- 页码
- 未确认
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- LIVE_ENGINEERING_PROTOTYPE
继承了来源记录；具体页码与版本尚未按当前源文件确认。
KLT-RBDv6 AnalyzerKLT-RBDv6PARTIAL_ANCHOR
- 文档
- Инженерный полигон + Том V
- 版本
- 未指定
- 章节
- 未指定
- 页码
- 未确认
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- LIVE_ENGINEERING_PROTOTYPE
继承了来源记录；具体页码与版本尚未按当前源文件确认。
认知人类学与《什么是真理？》TRUTH-ANTHROPOLOGYANCHOR_PENDING
- 文档
- Том IV + рабочая сборка Тома VII
- 版本
- 未指定
- 章节
- 未指定
- 页码
- 未确认
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PHILOSOPHICAL_CORPUS
继承了来源记录；具体页码与版本尚未按当前源文件确认。
PN2-STAT-A1-A6PN2-STAT-A1-A6SOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 RU / 2026-09-06
- 章节
- 2
- 页码
- 1
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- EXPLICIT_ASSUMPTIONS
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
继承 v3.6 的精确定位；PDF 字节未改变。
PN2-STAT-OVERLAPPN2-STAT-OVERLAPSOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 RU / 2026-09-06
- 章节
- 3
- 页码
- 3
- 公式／指针
- (4)
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
继承 v3.6 的精确定位；PDF 字节未改变。
PN2-STAT-T1PN2-STAT-T1SOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 RU / 2026-09-06
- 章节
- 4
- 页码
- 3
- 公式／指针
- (T1)
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
继承 v3.6 的精确定位；PDF 字节未改变。
PN2-STAT-T2-SPN2-STAT-T2-SSOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 RU / 2026-09-06
- 章节
- 5
- 页码
- 4
- 公式／指针
- (T2-S)
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
继承 v3.6 的精确定位；PDF 字节未改变。
PN2-STAT-T2-RPN2-STAT-T2-RSOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 RU / 2026-09-06
- 章节
- 5
- 页码
- 4
- 公式／指针
- (T2-R)
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
继承 v3.6 的精确定位；PDF 字节未改变。
PN2-STAT-T2-cPN2-STAT-T2-cSOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 RU / 2026-09-06
- 章节
- 5
- 页码
- 4
- 公式／指针
- (T2-c)
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PROVED_UNDER_A1_A6_AND_C_SEPARATION
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
继承 v3.6 的精确定位；PDF 字节未改变。
PN2-STAT-TAU0PN2-STAT-TAU0SOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 RU / 2026-09-06
- 章节
- 6
- 页码
- 4
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
继承 v3.6 的精确定位；PDF 字节未改变。
PN2-STAT-TAU1PN2-STAT-TAU1SOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 RU / 2026-09-06
- 章节
- 6
- 页码
- 4
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
继承 v3.6 的精确定位；PDF 字节未改变。
PN2-STAT-SHARPNESS-D1PN2-STAT-SHARPNESS-D1SOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 RU / 2026-09-06
- 章节
- 7
- 页码
- 4
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- SHARP_IN_ERASURE_FAMILY
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
继承 v3.6 的精确定位；PDF 字节未改变。
PN2-STAT-ASYMMETRIC-D3PN2-STAT-ASYMMETRIC-D3SOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 RU / 2026-09-06
- 章节
- 7
- 页码
- 5
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- MINIMAX_RISK_1_OVER_3
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
继承 v3.6 的精确定位；PDF 字节未改变。
PN2-STAT-UNIFORM-C1PN2-STAT-UNIFORM-C1SOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 RU / 2026-09-06
- 章节
- 8
- 页码
- 5
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
继承 v3.6 的精确定位；PDF 字节未改变。
PN2-STAT-NORMAL-C2PN2-STAT-NORMAL-C2SOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 RU / 2026-09-06
- 章节
- 8
- 页码
- 5
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
继承 v3.6 的精确定位；PDF 字节未改变。
PN2-STAT-COUNTEREXAMPLESPN2-STAT-COUNTEREXAMPLESSOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 RU / 2026-09-06
- 章节
- 9
- 页码
- 6
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- CE1_TO_CE7_REFUTE_STRONGER_FORMS
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
继承 v3.6 的精确定位；PDF 字节未改变。
PN2-STAT-ATTRIBUTIONPN2-STAT-ATTRIBUTIONSOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 RU / 2026-09-06
- 章节
- 10
- 页码
- 6
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- CLASSICAL_LE_CAM_METHOD
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
继承 v3.6 的精确定位；PDF 字节未改变。
PN2-STAT-CANON-PROPOSALPN2-STAT-CANON-PROPOSALSOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 RU / 2026-09-06
- 章节
- 13
- 页码
- 8
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- AUTHOR_DECISION_PENDING
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
继承 v3.6 的精确定位；PDF 字节未改变。
ARBD-HIERARCHYARBD-HIERARCHYSOURCE_ANCHORED
- 文档
- inputs/AUTHOR_REPER_DB_SPEC.md
- 版本
- ARBD Build 28 / KANT R017
- 章节
- 1. Entity hierarchy
- 页码
- 未确认
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- ABSTAIN
- SHA-256
- a1ed863cfe2e66248b3d65d6381c0eedb0faf9454a018a8302d7fc9aecd8e880
已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。
ARBD-ACPARBD-ACPSOURCE_ANCHORED
- 文档
- inputs/FORMAL_MODEL.md
- 版本
- ARBD Build 28 / KANT R017
- 章节
- Core_A / ACP
- 页码
- 未确认
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- ABSTAIN
- SHA-256
- 9149bd0802b74ab67feee2508c6e466cc903771a2d410e098c50900aa6007700
已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。
ARBD-KANT-METRICSARBD-KANT-METRICSSOURCE_ANCHORED
- 文档
- run/ARBD_MODEL.json
- 版本
- ARBD Build 28 / KANT R017
- 章节
- 未指定
- 页码
- 未确认
- 公式／指针
- /summary
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- ABSTAIN
- SHA-256
- 7d06af7fe13dbfd979d386db230aaf60874f0a5c933e34e7c66e10d7b1432979
已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。
ARBD-SOFTWARE-QAARBD-SOFTWARE-QASOURCE_ANCHORED
- 文档
- QA_REPORT.json
- 版本
- ARBD Build 28 / KANT R017
- 章节
- 未指定
- 页码
- 未确认
- 公式／指针
- /unit_tests
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- ABSTAIN
- SHA-256
- ea582b6e845b6e12a5c1f7bf585de2b9cab28b95fd19d9b427c6b11fe7a7d506
已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。
ARBD-INTEGRATIONARBD-INTEGRATIONSOURCE_ANCHORED
- 文档
- KLT_ADAPTER_CONTRACT.md
- 版本
- ARBD Build 28 / KANT R017
- 章节
- Граница интеграции
- 页码
- 未确认
- 公式／指针
- 未指定
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- ABSTAIN
- SHA-256
- 80f5875353f8e89fe0a4e66f42a737ec4f88b9067b9566f433366cc1d5f53c72
已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。
KANT-AR-025KANT-AR-025SOURCE_ANCHORED
- 文档
- run/ARBD_MODEL.json
- 版本
- ARBD Build 28 / KANT R017
- 章节
- 未指定
- 页码
- 未确认
- 公式／指针
- /candidates/24
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- ABSTAIN
- SHA-256
- 7d06af7fe13dbfd979d386db230aaf60874f0a5c933e34e7c66e10d7b1432979
已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。
KANT-AR-035KANT-AR-035SOURCE_ANCHORED
- 文档
- run/ARBD_MODEL.json
- 版本
- ARBD Build 28 / KANT R017
- 章节
- 未指定
- 页码
- 未确认
- 公式／指针
- /candidates/34
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- ABSTAIN
- SHA-256
- 7d06af7fe13dbfd979d386db230aaf60874f0a5c933e34e7c66e10d7b1432979
已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。
KANT-AR-039KANT-AR-039SOURCE_ANCHORED
- 文档
- run/ARBD_MODEL.json
- 版本
- ARBD Build 28 / KANT R017
- 章节
- 未指定
- 页码
- 未确认
- 公式／指针
- /candidates/38
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- ABSTAIN
- SHA-256
- 7d06af7fe13dbfd979d386db230aaf60874f0a5c933e34e7c66e10d7b1432979
已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。
KANT-AR-053KANT-AR-053SOURCE_ANCHORED
- 文档
- run/ARBD_MODEL.json
- 版本
- ARBD Build 28 / KANT R017
- 章节
- 未指定
- 页码
- 未确认
- 公式／指针
- /candidates/52
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- ABSTAIN
- SHA-256
- 7d06af7fe13dbfd979d386db230aaf60874f0a5c933e34e7c66e10d7b1432979
已在源 ZIP 中核对文档。Markdown/JSON 不虚构 PDF 页码；可打开公开来源记录。
结合子FORMULA-K-DEFSOURCE_ANCHORED
- 文档
- PN.2 theorem v1.0 — source excerpt
- 版本
- PN.2 v1.0 / source excerpt v1.0
- 章节
- 2; 3.1
- 页码
- 2
- 公式／指针
- K
- PO 义务
- PO-1, PO-3
- 证书
- 未指定
- 证据状态
- DEFINITION
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
对象与定义域在赋范代数中给出；这是定义，并非实验结果。
分支间距FORMULA-GAPSSOURCE_ANCHORED
- 文档
- PN.2 theorem v1.0 — source excerpt
- 版本
- PN.2 v1.0 / source excerpt v1.0
- 章节
- 3.4
- 页码
- 3
- 公式／指针
- Delta_S / Delta_D / Delta_R
- PO 义务
- PO-4
- 证书
- 未指定
- 证据状态
- DEFINITION
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
对象与定义域在赋范代数中给出；这是定义，并非实验结果。
确定性误差FORMULA-DET-ERRORSOURCE_ANCHORED
- 文档
- PN.2 theorem v1.0 — source excerpt
- 版本
- PN.2 v1.0 / source excerpt v1.0
- 章节
- 3.3
- 页码
- 3
- 公式／指针
- e_S / e_D / e_R
- PO 义务
- PO-6
- 证书
- 未指定
- 证据状态
- NOTATIONAL_UNIFICATION_OF_SOURCE_DEFINITIONS
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
定理文本的 A1–A4：两个隐藏分支共用同一估计。正下界需要非零间距。
c 分离条件FORMULA-C-SEPSOURCE_ANCHORED
- 文档
- PN.2 theorem v1.0 — source excerpt
- 版本
- PN.2 v1.0 / source excerpt v1.0
- 章节
- 3.5
- 页码
- 3
- 公式／指针
- c-separation
- PO 义务
- PO-5
- 证书
- 未指定
- 证据状态
- ASSUMPTION
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
另需 c > 0 且 Δ_S(u) ≥ c‖K(u)‖。单行数值检验不能证明整个 Ω 上的分离。
PN.2-S · 标量形式FORMULA-PN2-SSOURCE_ANCHORED
- 文档
- PN.2 theorem v1.0 — source excerpt
- 版本
- PN.2 v1.0 / source excerpt v1.0
- 章节
- 7; 8
- 页码
- 4
- 公式／指针
- PN.2-S
- PO 义务
- PO-5, PO-6
- 证书
- 未指定
- 证据状态
- PROVED_IN_STATED_ABSTRACT_MODEL
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
定理文本的 A1–A4：两个隐藏分支共用同一估计。正下界需要非零间距。
PN.2-R · 完整状态FORMULA-PN2-RSOURCE_ANCHORED
- 文档
- PN.2 theorem v1.0 — source excerpt
- 版本
- PN.2 v1.0 / source excerpt v1.0
- 章节
- 7; 8
- 页码
- 4
- 公式／指针
- PN.2-R
- PO 义务
- PO-3, PO-6
- 证书
- 未指定
- 证据状态
- PROVED_IN_STATED_ABSTRACT_MODEL
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
定理文本的 A1–A4：两个隐藏分支共用同一估计。正下界需要非零间距。
PN.2-K · c 分离FORMULA-PN2-KSOURCE_ANCHORED
- 文档
- PN.2 theorem v1.0 — source excerpt
- 版本
- PN.2 v1.0 / source excerpt v1.0
- 章节
- 7; 8
- 页码
- 5
- 公式／指针
- PN.2-K
- PO 义务
- PO-5, PO-6
- 证书
- 未指定
- 证据状态
- PROVED_CONDITIONALLY_IN_MODEL
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
另需 c > 0 且 Δ_S(u) ≥ c‖K(u)‖。单行数值检验不能证明整个 Ω 上的分离。
数据可区分度FORMULA-TVSOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 / 2026-09-06
- 章节
- 3
- 页码
- 2
- 公式／指针
- (3)
- PO 义务
- PO-6
- 证书
- 未指定
- 证据状态
- DEFINITION
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
同一可测空间上的两个概率分布；τ 必须基于全部可用观测。
分布的重叠部分FORMULA-OVERLAPSOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 / 2026-09-06
- 章节
- 3
- 页码
- 3
- 公式／指针
- (4)
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PROVED_UNDER_STATED_ASSUMPTIONS
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
同一可测空间上的两个概率分布；τ 必须基于全部可用观测。
最坏期望风险FORMULA-STAT-RISKSOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 / 2026-09-06
- 章节
- 2
- 页码
- 2
- 公式／指针
- (1)
- PO 义务
- PO-6
- 证书
- 未指定
- 证据状态
- DEFINITION
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
C3.8T 审计的 A1–A6：完整数据的共同分布与同一决策核；风险有限。
风险 SFORMULA-STAT-SSOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 / 2026-09-06
- 章节
- 4; 5
- 页码
- 3
- 公式／指针
- (8)
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
C3.8T 审计的 A1–A6：完整数据的共同分布与同一决策核；风险有限。
风险 DFORMULA-STAT-DSOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 / 2026-09-06
- 章节
- 4; 5
- 页码
- 3
- 公式／指针
- (8)
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
C3.8T 审计的 A1–A6：完整数据的共同分布与同一决策核；风险有限。
风险 RFORMULA-STAT-RSOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 / 2026-09-06
- 章节
- 4; 5
- 页码
- 3
- 公式／指针
- (8)
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
C3.8T 审计的 A1–A6：完整数据的共同分布与同一决策核；风险有限。
S/D 风险乘积FORMULA-STAT-SDSOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 / 2026-09-06
- 章节
- 5
- 页码
- 4
- 公式／指针
- T2-S
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
C3.8T 审计的 A1–A6：完整数据的共同分布与同一决策核；风险有限。
R/D 风险乘积FORMULA-STAT-RDSOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 / 2026-09-06
- 章节
- 5
- 页码
- 4
- 公式／指针
- T2-R
- PO 义务
- 未指定
- 证书
- 未指定
- 证据状态
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
C3.8T 审计的 A1–A6：完整数据的共同分布与同一决策核；风险有限。
c 分离下的风险FORMULA-STAT-cSDSOURCE_ANCHORED
- 文档
- Statistical PN.2 audit C3.8T v1.0 RU
- 版本
- C3.8T v1.0 / 2026-09-06
- 章节
- 5
- 页码
- 4
- 公式／指针
- T2-c
- PO 义务
- PO-5
- 证书
- 未指定
- 证据状态
- PROVED_UNDER_A1_A6_AND_C_SEPARATION
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
另需 c > 0 且 Δ_S(u) ≥ c‖K(u)‖。单行数值检验不能证明整个 Ω 上的分离。
| 结果 | 来源／定位 | PO／实现／状态 |
|---|---|---|
| KLT / Reper(R,I,U;D) MATHEMATICS | tom1_v197_ru.pdf 第 5 章《Reper(R,I,U;D)：定义与公理》，第 19 页（据来源目录） SOURCE_ANCHORED | 基础公理／方法层；并非独立的 PN.2 义务 KLT-RBDv6; KLT-RBD/RPD |
| NAPG / FOS GEOMETRY | tom2_v1_0 / T2-FREEZE-v1.0 当前来源审阅尚未确立精确页码／章节锚点 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 | 具体 R⋆R 的 PO-1…PO-10 仍依赖明确规格与桥接 理论与计算研究；独立 A2 证书 |
| 笛沙格—库尔皮舍夫定理 GEOMETRY | desargues_kurpishev_theorem_ru.pdf 精确页码／章节锚点需要另行阅读权威 PDF ANCHOR_PENDING | 表述／证明的形式审查及独立先行研究调查 RU/EN/TeX 出版材料 |
| 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 与 PO-12 在抽象层面闭合；此证书不闭合 PO-1…PO-10 规范定理包、期刊版本、验证协议、证书 PN2-PO12-A2-v1.0 |
| V*P 物理与分层时间 PHYSICS | 第 III 卷／PN2_theorem_ru_v1.0 第 III 卷：精确页码锚点待定；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 | 每个必要阻碍项均须导致 ABSTAIN；预测的学科有效性需要匹配零模型／独立测试 KLT-RBD/RPD, graph memory, PredRep, HumanGate |
| KLT-RBD-CHEM / Evidence-D CHEMISTRY | T6_RU_FREEZE_v1_0.pdf 冻结规格，第 1–2 页；完整章节锚点等待逐页提取 PARTIAL_ANCHOR | DHC_chem=OPEN-NOT-CONFIRMED；EXT-RUN=NOT_RUN；必须满足匹配零模型／盲测条件 v95–v116 文献；化学图；KLT-MATDES 界面 |
| KLT-MATDES CHEMISTRY | 工程试验平台与项目文档 尚未定位项目文档的精确页码锚点 ANCHOR_PENDING | 工程原型不等同于外部材料科学验证 在线 KLT-MATDES；Python/SQLite/图架构 |
| KLT-RBDv6 Analyzer COMPUTATION | 工程试验平台与第 V 卷 第 V 卷：PredRep/ABSTAIN；软件规格精确页码锚点待定 PARTIAL_ANCHOR | 错误或不完整根据必须导致 GAP/BLOCKED/ABSTAIN，不得静默推断 在线分析器；网络／离线整合架构 |
| 认知人类学与《什么是真理？》 PHILOSOPHY | 第 IV 卷与第 VII 卷工作版本 哲学第 IV/VII 卷的精确页码锚点需要独立的来源标注 ANCHOR_PENDING | 哲学论证与历史类型学不标记为数学定理或经验检验 第 IV 卷；文章；第 VII 卷编辑版本 |
| ARBD · Build 28 / KANT-RUN-017 | ARBD_MODEL.json / summary · QA_REPORT.json / unit_tests SOURCE_ANCHORED | Build 28：可复现来源、作者归属、ACP 与不完整性诊断。原始 QA 报告记录 34/34 项软件检查；科学状态仍为 ABSTAIN。 |
| C3.8T · T1 / T2 | SOURCE_ANCHORED · PDF / TeX / JSON | C3.8T：候选下界已在明确假设下通过审查。提供完整证明、精确例子及反例；尚未应用规范文本补丁。 |