C3.8I consolidated
Proof-and-Source Navigation
RESULT → SOURCE → PAGE/SECTION → PROOF OBLIGATION → IMPLEMENTATION → TEST → STATUS.
Where is it proved?
A unified ledger connects each result to its document, edition, section, page, formula, obligations and status. Source anchoring is distinct from scientific validity.
Records: 51 / 51
No records match. Change the search or filter.
KLT and Reper(R,I,U;D)KLT-REPERPARTIAL_ANCHOR
- Document
- tom1_v197_ru.pdf
- Edition
- Not assigned
- Section
- Not assigned
- Page
- Not confirmed
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- FORMAL_CORE
Source record inherited; exact page and edition have not been confirmed against current source bytes.
NAPG / FOSNAPG-FOSANCHOR_PENDING
- Document
- tom2_v1_0 / T2-FREEZE-v1.0
- Edition
- Not assigned
- Section
- Not assigned
- Page
- Not confirmed
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- FORMAL_GEOMETRY
Source record inherited; exact page and edition have not been confirmed against current source bytes.
Non-associative packet algebra R⋆RRSTAR-RSOURCE_ANCHORED
- Document
- PN.2 theorem v1.0 — source excerpt
- Edition
- v1.0; original title date 11 July 2026; excerpt prepared 6 September 2026
- Section
- 2; 3
- Page
- 2
- Formula / pointer
- K = r_L-r_R
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- OPEN_PROOF_OBLIGATIONS
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
Source excerpt verified; page numbering retained. Anchoring a definition does not close physical obligations.
Desargues–Kurpishev TheoremDESARGUES-KURPISHEVANCHOR_PENDING
- Document
- desargues_kurpishev_theorem_ru.pdf
- Edition
- Not assigned
- Section
- Not assigned
- Page
- Not confirmed
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- THEOREM_PACKAGE
Source record inherited; exact page and edition have not been confirmed against current source bytes.
PN.2PN2SOURCE_ANCHORED
- Document
- PN.2 theorem v1.0 — source excerpt
- Edition
- v1.0; original title date 11 July 2026; excerpt prepared 6 September 2026
- Section
- 7; 8
- Page
- 4
- Formula / pointer
- PN.2-S / PN.2-R / PN.2-K
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- MATH_PLUS_OPEN_PHYSICS
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
Source excerpt verified; page numbering retained. Anchoring a definition does not close physical obligations.
V*P Physics and Stratified TimeVSTAR-PPARTIAL_ANCHOR
- Document
- Том III / PN2_theorem_ru_v1.0
- Edition
- Not assigned
- Section
- Not assigned
- Page
- Not confirmed
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- RESEARCH_PROGRAM
Source record inherited; exact page and edition have not been confirmed against current source bytes.
KLT-RBD / RPD / PredRepKLT-RBD-PREDREPPARTIAL_ANCHOR
- Document
- tom5_ru_v1_0.pdf
- Edition
- Not assigned
- Section
- Not assigned
- Page
- Not confirmed
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- COMPUTATIONAL_CORE
Source record inherited; exact page and edition have not been confirmed against current source bytes.
KLT-RBD-CHEM / Evidence-DKLT-RBD-CHEMPARTIAL_ANCHOR
- Document
- T6_RU_FREEZE_v1_0.pdf
- Edition
- Not assigned
- Section
- Not assigned
- Page
- Not confirmed
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PROTOTYPE_OPEN_TESTS
Source record inherited; exact page and edition have not been confirmed against current source bytes.
KLT-MATDESKLT-MATDESANCHOR_PENDING
- Document
- Инженерный полигон + проектный документ
- Edition
- Not assigned
- Section
- Not assigned
- Page
- Not confirmed
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- LIVE_ENGINEERING_PROTOTYPE
Source record inherited; exact page and edition have not been confirmed against current source bytes.
KLT-RBDv6 AnalyzerKLT-RBDv6PARTIAL_ANCHOR
- Document
- Инженерный полигон + Том V
- Edition
- Not assigned
- Section
- Not assigned
- Page
- Not confirmed
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- LIVE_ENGINEERING_PROTOTYPE
Source record inherited; exact page and edition have not been confirmed against current source bytes.
Anthropology of Cognition and “What Is Truth?”TRUTH-ANTHROPOLOGYANCHOR_PENDING
- Document
- Том IV + рабочая сборка Тома VII
- Edition
- Not assigned
- Section
- Not assigned
- Page
- Not confirmed
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PHILOSOPHICAL_CORPUS
Source record inherited; exact page and edition have not been confirmed against current source bytes.
PN2-STAT-A1-A6PN2-STAT-A1-A6SOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 RU / 2026-09-06
- Section
- 2
- Page
- 1
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- EXPLICIT_ASSUMPTIONS
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Exact anchor inherited from v3.6; PDF bytes are unchanged.
PN2-STAT-OVERLAPPN2-STAT-OVERLAPSOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 RU / 2026-09-06
- Section
- 3
- Page
- 3
- Formula / pointer
- (4)
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Exact anchor inherited from v3.6; PDF bytes are unchanged.
PN2-STAT-T1PN2-STAT-T1SOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 RU / 2026-09-06
- Section
- 4
- Page
- 3
- Formula / pointer
- (T1)
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Exact anchor inherited from v3.6; PDF bytes are unchanged.
PN2-STAT-T2-SPN2-STAT-T2-SSOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 RU / 2026-09-06
- Section
- 5
- Page
- 4
- Formula / pointer
- (T2-S)
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Exact anchor inherited from v3.6; PDF bytes are unchanged.
PN2-STAT-T2-RPN2-STAT-T2-RSOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 RU / 2026-09-06
- Section
- 5
- Page
- 4
- Formula / pointer
- (T2-R)
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Exact anchor inherited from v3.6; PDF bytes are unchanged.
PN2-STAT-T2-cPN2-STAT-T2-cSOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 RU / 2026-09-06
- Section
- 5
- Page
- 4
- Formula / pointer
- (T2-c)
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PROVED_UNDER_A1_A6_AND_C_SEPARATION
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Exact anchor inherited from v3.6; PDF bytes are unchanged.
PN2-STAT-TAU0PN2-STAT-TAU0SOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 RU / 2026-09-06
- Section
- 6
- Page
- 4
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Exact anchor inherited from v3.6; PDF bytes are unchanged.
PN2-STAT-TAU1PN2-STAT-TAU1SOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 RU / 2026-09-06
- Section
- 6
- Page
- 4
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Exact anchor inherited from v3.6; PDF bytes are unchanged.
PN2-STAT-SHARPNESS-D1PN2-STAT-SHARPNESS-D1SOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 RU / 2026-09-06
- Section
- 7
- Page
- 4
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- SHARP_IN_ERASURE_FAMILY
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Exact anchor inherited from v3.6; PDF bytes are unchanged.
PN2-STAT-ASYMMETRIC-D3PN2-STAT-ASYMMETRIC-D3SOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 RU / 2026-09-06
- Section
- 7
- Page
- 5
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- MINIMAX_RISK_1_OVER_3
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Exact anchor inherited from v3.6; PDF bytes are unchanged.
PN2-STAT-UNIFORM-C1PN2-STAT-UNIFORM-C1SOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 RU / 2026-09-06
- Section
- 8
- Page
- 5
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Exact anchor inherited from v3.6; PDF bytes are unchanged.
PN2-STAT-NORMAL-C2PN2-STAT-NORMAL-C2SOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 RU / 2026-09-06
- Section
- 8
- Page
- 5
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Exact anchor inherited from v3.6; PDF bytes are unchanged.
PN2-STAT-COUNTEREXAMPLESPN2-STAT-COUNTEREXAMPLESSOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 RU / 2026-09-06
- Section
- 9
- Page
- 6
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- CE1_TO_CE7_REFUTE_STRONGER_FORMS
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Exact anchor inherited from v3.6; PDF bytes are unchanged.
PN2-STAT-ATTRIBUTIONPN2-STAT-ATTRIBUTIONSOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 RU / 2026-09-06
- Section
- 10
- Page
- 6
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- CLASSICAL_LE_CAM_METHOD
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Exact anchor inherited from v3.6; PDF bytes are unchanged.
PN2-STAT-CANON-PROPOSALPN2-STAT-CANON-PROPOSALSOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 RU / 2026-09-06
- Section
- 13
- Page
- 8
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- AUTHOR_DECISION_PENDING
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Exact anchor inherited from v3.6; PDF bytes are unchanged.
ARBD-HIERARCHYARBD-HIERARCHYSOURCE_ANCHORED
- Document
- inputs/AUTHOR_REPER_DB_SPEC.md
- Edition
- ARBD Build 28 / KANT R017
- Section
- 1. Entity hierarchy
- Page
- Not confirmed
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- ABSTAIN
- SHA-256
- a1ed863cfe2e66248b3d65d6381c0eedb0faf9454a018a8302d7fc9aecd8e880
Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.
ARBD-ACPARBD-ACPSOURCE_ANCHORED
- Document
- inputs/FORMAL_MODEL.md
- Edition
- ARBD Build 28 / KANT R017
- Section
- Core_A / ACP
- Page
- Not confirmed
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- ABSTAIN
- SHA-256
- 9149bd0802b74ab67feee2508c6e466cc903771a2d410e098c50900aa6007700
Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.
ARBD-KANT-METRICSARBD-KANT-METRICSSOURCE_ANCHORED
- Document
- run/ARBD_MODEL.json
- Edition
- ARBD Build 28 / KANT R017
- Section
- Not assigned
- Page
- Not confirmed
- Formula / pointer
- /summary
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- ABSTAIN
- SHA-256
- 7d06af7fe13dbfd979d386db230aaf60874f0a5c933e34e7c66e10d7b1432979
Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.
ARBD-SOFTWARE-QAARBD-SOFTWARE-QASOURCE_ANCHORED
- Document
- QA_REPORT.json
- Edition
- ARBD Build 28 / KANT R017
- Section
- Not assigned
- Page
- Not confirmed
- Formula / pointer
- /unit_tests
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- ABSTAIN
- SHA-256
- ea582b6e845b6e12a5c1f7bf585de2b9cab28b95fd19d9b427c6b11fe7a7d506
Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.
ARBD-INTEGRATIONARBD-INTEGRATIONSOURCE_ANCHORED
- Document
- KLT_ADAPTER_CONTRACT.md
- Edition
- ARBD Build 28 / KANT R017
- Section
- Граница интеграции
- Page
- Not confirmed
- Formula / pointer
- Not assigned
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- ABSTAIN
- SHA-256
- 80f5875353f8e89fe0a4e66f42a737ec4f88b9067b9566f433366cc1d5f53c72
Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.
KANT-AR-025KANT-AR-025SOURCE_ANCHORED
- Document
- run/ARBD_MODEL.json
- Edition
- ARBD Build 28 / KANT R017
- Section
- Not assigned
- Page
- Not confirmed
- Formula / pointer
- /candidates/24
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- ABSTAIN
- SHA-256
- 7d06af7fe13dbfd979d386db230aaf60874f0a5c933e34e7c66e10d7b1432979
Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.
KANT-AR-035KANT-AR-035SOURCE_ANCHORED
- Document
- run/ARBD_MODEL.json
- Edition
- ARBD Build 28 / KANT R017
- Section
- Not assigned
- Page
- Not confirmed
- Formula / pointer
- /candidates/34
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- ABSTAIN
- SHA-256
- 7d06af7fe13dbfd979d386db230aaf60874f0a5c933e34e7c66e10d7b1432979
Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.
KANT-AR-039KANT-AR-039SOURCE_ANCHORED
- Document
- run/ARBD_MODEL.json
- Edition
- ARBD Build 28 / KANT R017
- Section
- Not assigned
- Page
- Not confirmed
- Formula / pointer
- /candidates/38
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- ABSTAIN
- SHA-256
- 7d06af7fe13dbfd979d386db230aaf60874f0a5c933e34e7c66e10d7b1432979
Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.
KANT-AR-053KANT-AR-053SOURCE_ANCHORED
- Document
- run/ARBD_MODEL.json
- Edition
- ARBD Build 28 / KANT R017
- Section
- Not assigned
- Page
- Not confirmed
- Formula / pointer
- /candidates/52
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- ABSTAIN
- SHA-256
- 7d06af7fe13dbfd979d386db230aaf60874f0a5c933e34e7c66e10d7b1432979
Document verified inside the source ZIP. Markdown/JSON has no asserted PDF page; the public source record is available.
AssociatorFORMULA-K-DEFSOURCE_ANCHORED
- Document
- PN.2 theorem v1.0 — source excerpt
- Edition
- PN.2 v1.0 / source excerpt v1.0
- Section
- 2; 3.1
- Page
- 2
- Formula / pointer
- K
- PO obligations
- PO-1, PO-3
- Certificate
- Not assigned
- Evidence status
- DEFINITION
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
Objects and domain are specified in a normed algebra; this is a definition, not an experimental result.
Branch separationsFORMULA-GAPSSOURCE_ANCHORED
- Document
- PN.2 theorem v1.0 — source excerpt
- Edition
- PN.2 v1.0 / source excerpt v1.0
- Section
- 3.4
- Page
- 3
- Formula / pointer
- Delta_S / Delta_D / Delta_R
- PO obligations
- PO-4
- Certificate
- Not assigned
- Evidence status
- DEFINITION
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
Objects and domain are specified in a normed algebra; this is a definition, not an experimental result.
Deterministic errorFORMULA-DET-ERRORSOURCE_ANCHORED
- Document
- PN.2 theorem v1.0 — source excerpt
- Edition
- PN.2 v1.0 / source excerpt v1.0
- Section
- 3.3
- Page
- 3
- Formula / pointer
- e_S / e_D / e_R
- PO obligations
- PO-6
- Certificate
- Not assigned
- Evidence status
- NOTATIONAL_UNIFICATION_OF_SOURCE_DEFINITIONS
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
Theorem package: A1–A4, one estimator for hidden branches. A positive bound requires nonzero separations.
c-separation conditionFORMULA-C-SEPSOURCE_ANCHORED
- Document
- PN.2 theorem v1.0 — source excerpt
- Edition
- PN.2 v1.0 / source excerpt v1.0
- Section
- 3.5
- Page
- 3
- Formula / pointer
- c-separation
- PO obligations
- PO-5
- Certificate
- Not assigned
- Evidence status
- ASSUMPTION
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
Additionally c > 0 and Δ_S(u) ≥ c‖K(u)‖. A numerical row does not prove separation over all of Ω.
PN.2-S · scalar formFORMULA-PN2-SSOURCE_ANCHORED
- Document
- PN.2 theorem v1.0 — source excerpt
- Edition
- PN.2 v1.0 / source excerpt v1.0
- Section
- 7; 8
- Page
- 4
- Formula / pointer
- PN.2-S
- PO obligations
- PO-5, PO-6
- Certificate
- Not assigned
- Evidence status
- PROVED_IN_STATED_ABSTRACT_MODEL
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
Theorem package: A1–A4, one estimator for hidden branches. A positive bound requires nonzero separations.
PN.2-R · full stateFORMULA-PN2-RSOURCE_ANCHORED
- Document
- PN.2 theorem v1.0 — source excerpt
- Edition
- PN.2 v1.0 / source excerpt v1.0
- Section
- 7; 8
- Page
- 4
- Formula / pointer
- PN.2-R
- PO obligations
- PO-3, PO-6
- Certificate
- Not assigned
- Evidence status
- PROVED_IN_STATED_ABSTRACT_MODEL
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
Theorem package: A1–A4, one estimator for hidden branches. A positive bound requires nonzero separations.
PN.2-K · c-separationFORMULA-PN2-KSOURCE_ANCHORED
- Document
- PN.2 theorem v1.0 — source excerpt
- Edition
- PN.2 v1.0 / source excerpt v1.0
- Section
- 7; 8
- Page
- 5
- Formula / pointer
- PN.2-K
- PO obligations
- PO-5, PO-6
- Certificate
- Not assigned
- Evidence status
- PROVED_CONDITIONALLY_IN_MODEL
- SHA-256
- 5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6
Additionally c > 0 and Δ_S(u) ≥ c‖K(u)‖. A numerical row does not prove separation over all of Ω.
Data distinguishabilityFORMULA-TVSOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 / 2026-09-06
- Section
- 3
- Page
- 2
- Formula / pointer
- (3)
- PO obligations
- PO-6
- Certificate
- Not assigned
- Evidence status
- DEFINITION
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Two probability laws on one measurable space; τ uses the entire accessible observation.
Overlap of lawsFORMULA-OVERLAPSOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 / 2026-09-06
- Section
- 3
- Page
- 3
- Formula / pointer
- (4)
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PROVED_UNDER_STATED_ASSUMPTIONS
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Two probability laws on one measurable space; τ uses the entire accessible observation.
Worst expected riskFORMULA-STAT-RISKSOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 / 2026-09-06
- Section
- 2
- Page
- 2
- Formula / pointer
- (1)
- PO obligations
- PO-6
- Certificate
- Not assigned
- Evidence status
- DEFINITION
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
C3.8T audit: A1–A6, common complete-data laws and one decision kernel; finite risks.
Risk SFORMULA-STAT-SSOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 / 2026-09-06
- Section
- 4; 5
- Page
- 3
- Formula / pointer
- (8)
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
C3.8T audit: A1–A6, common complete-data laws and one decision kernel; finite risks.
Risk DFORMULA-STAT-DSOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 / 2026-09-06
- Section
- 4; 5
- Page
- 3
- Formula / pointer
- (8)
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
C3.8T audit: A1–A6, common complete-data laws and one decision kernel; finite risks.
Risk RFORMULA-STAT-RSOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 / 2026-09-06
- Section
- 4; 5
- Page
- 3
- Formula / pointer
- (8)
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
C3.8T audit: A1–A6, common complete-data laws and one decision kernel; finite risks.
Product of S/D risksFORMULA-STAT-SDSOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 / 2026-09-06
- Section
- 5
- Page
- 4
- Formula / pointer
- T2-S
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
C3.8T audit: A1–A6, common complete-data laws and one decision kernel; finite risks.
Product of R/D risksFORMULA-STAT-RDSOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 / 2026-09-06
- Section
- 5
- Page
- 4
- Formula / pointer
- T2-R
- PO obligations
- Not assigned
- Certificate
- Not assigned
- Evidence status
- PROVED_UNDER_A1_A6
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
C3.8T audit: A1–A6, common complete-data laws and one decision kernel; finite risks.
Risks with c-separationFORMULA-STAT-cSDSOURCE_ANCHORED
- Document
- Statistical PN.2 audit C3.8T v1.0 RU
- Edition
- C3.8T v1.0 / 2026-09-06
- Section
- 5
- Page
- 4
- Formula / pointer
- T2-c
- PO obligations
- PO-5
- Certificate
- Not assigned
- Evidence status
- PROVED_UNDER_A1_A6_AND_C_SEPARATION
- SHA-256
- 9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a
Additionally c > 0 and Δ_S(u) ≥ c‖K(u)‖. A numerical row does not prove separation over all of Ω.
| 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 |
| ARBD · Build 28 / KANT-RUN-017 | ARBD_MODEL.json / summary · QA_REPORT.json / unit_tests SOURCE_ANCHORED | Build 28: reproducible provenance, attribution, ACP and incompleteness diagnostics. The source QA report records 34/34 software checks; scientific status remains ABSTAIN. |
| C3.8T · T1 / T2 | SOURCE_ANCHORED · PDF / TeX / JSON | C3.8T: the candidate bound is verified under explicit assumptions. A full proof, sharp examples and counterexamples are available. The canonical patch has not been applied. |