# decision.md — PBH-VERIFY-01

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

1. Проверка сходимости на двух сетках, встроенная в эволюционный драйвер: статус снимка выводится из пары разрешений.
2. Необязательные погрешности входов (σ_A, σ_KB, σ_ρ, σ_j) — для данных эволюций и частиц.
3. Решение по вопросам К25, К27, К30 (`verification_plan.md` §10.4).
4. Проверка на реальных EKG-снимках (Code A плана V1b или OllinSphere-BiB): шаг по времени и сеточные масштабы λ_dB там иные, чем в пилоте.