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