All documents · PBH-VERIFY-01: the verified sphdiag diagnostics module
decision.md — PBH-VERIFY-01
This document is in Russian (original language). Your browser can translate it; the key results are summarised in English on the Results page.
2026-09-29. Относится к sphdiag на теге impl-B-v0.5 с контрактом contract-v1.4 (матрица v2: 34/35; единственный провал U62 — см. ниже). Числа приведены по results/ (см. README).
Разрешено использовать дальше
| Использование | Условия | Основание |
|---|---|---|
| Геометрические диагностики одного гладкого, разрешённого сферического среза: M_MS, Rθ±/θ±, классы сфер, корни и кандидаты AH с интервалами [R_lo, R_hi] | Данные в формате контракта §2 (смешанные K^r_r, K^θ_θ, знак K = −∇·n); регулярный центр задан явно (vertex/cell) или none; ≥ 8 точек; статус данных OK |
Точные решения: Минковский (3 среза), Шварцшильд PG/KS/изотропный, FLRW k = 0, ±1, расширяющийся и сжимающийся; инвариантность к радиальной замене (T70) и к направлению нумерации (S26); сходимость порядка 4 (D90); независимая матрица v2 |
| Различение космологической marginal-сферы и кандидата AH ЧД | То же | F30–F32, S25, Z81; мутант M5 убит всеми наборами |
| Невязки связей как индикатор согласованности непрерывных (сеточных) данных | Гладкие разрешённые данные; вывод о согласованности — только по сходимости на ≥ 2 сетках; порог обнаружения нарушения при N = 100 около 1e-3 относительного, при N ≥ 200 около 1e-4 (v0.4–v0.5: при N = 100 запасы 2–3.5 — нарушение 1e-4 не ловится, 1e-3 ловится; при N = 200 запасы 37–53) | C60, X50–X52, K40–K41; журнал B v0.4–v0.5 |
| Проекции EKG-вещества (ρ, j_r, S^r_r, S^θ_θ) и адаптер Vlasov | Π = n^a∇_aφ (как в плане V1b §7.2); Vlasov-моменты в n-кадре с ортонормированным J | V02, K40, X50–X52; мутанты M3c, M4a убиты |
Постобработка снимков V1 (pbhgr.cosmo_ev) для классификации горизонта |
Через extension/vlasov_snapshots.py; «первый горизонт» = первый снимок со статусом AH_CANDIDATE (контракт §14 п. 4) |
Расширение на μ = 0.36 и 0.10 |
Заблокировано (или только с оговорками)
| Использование | Почему |
|---|---|
| Любые выводы о f_PBH, о пределе EKG→Vlasov, о космологическом сценарии | Модуль ничего из этого не проверяет; эволюции EKG в пилоте не было (солвера нет) |
| Метки «PBH сформировалась» / «event horizon» по одному снимку | Модуль даёт только локальный кандидат apparent horizon; статусы исхода (COLLAPSE, RESOLVED_NO_COLLAPSE_BY_DEADLINE, …) требуют последовательности снимков с проверкой численной надёжности — в модуль не входят |
| Поточечный статус связей на данных частиц (V1) как критерий качества | Статус VIOLATED при относительной невязке ~1e-5 в объёме определяется шумом выборки (невязка не убывает с K при фиксированных 4 оболочках на ячейку); погрешности входов (σ_E, σ_J) модуль не принимает |
Статус CONSISTENT_WITH_TRUNCATION для особенностей, разрешённых менее чем ~2 шагами сетки |
Матрица v2, U62: в v0.4 ложный VIOLATED на гладких разрешённых данных при N = 100; в v0.5 ложная тревога устранена, но недоразрешённый центральный бугорок (w/h ≈ 1.3–1.5) получает CONSISTENT, и только при w/h = 1.33 и N = 200 — UNRESOLVED. Оценка по одному снимку не разделяет эти случаи |
| Суждение о согласованности негладких данных (изломы, скачки, оболочки) по одному снимку | Эвристика σ = |D⁴−D⁶| на изломе либо даёт VIOLATED, либо на мелкой сетке пропускает излом (CONSISTENT); нужна проверка сходимости на двух сетках |
Использование корней при почти касательных конфигурациях без проверки σ_noise/UNCERTAIN |
Касательные нули между узлами не находятся; шум на масштабе сетки опасен именно у порога ПЧД |
Критерий «2m/R ≥ 1 хотя бы в одном узле» (как в cosmo_ev.diagnostics) как время образования горизонта |
На данных V1 он срабатывает на ядре шириной в одну ячейку, где знаки θ± не разрешены. При μ = 0.10 первый разрешённый кандидат появляется на 0.29 t_H позже (28.43 против 28.14 t_H, ≈ 1 % по времени), при μ = 0.36 — на 0.73 t_H позже. На карты μ_th V1 это влияет на уровне ~1 % по времени (не пересчитано) |
| Начальные данные для космологического порога | Вне объёма пилота; любые данные, построенные без проверки растущей моды, помечаются MODEL_OR_INITIAL_DATA_UNVERIFIED |
Что должно быть сделано до применения в V1b
- Проверка сходимости на двух сетках, встроенная в эволюционный драйвер: статус снимка выводится из пары разрешений.
- Необязательные погрешности входов (σ_A, σ_KB, σ_ρ, σ_j) — для данных эволюций и частиц.
- Решение по вопросам К25, К27, К30 (
verification_plan.md§10.4). - Проверка на реальных EKG-снимках (Code A плана V1b или OllinSphere-BiB): шаг по времени и сеточные масштабы λ_dB там иные, чем в пилоте.