sim-numerics/PREREG_decision_place_2026-09-21.md

# PREREG — слот 2: похожесть в МЕСТЕ РЕШЕНИЯ (доверять модели или делить)

Составлено до прогона. Продолжение `PREREG_similarity_per_slot_2026-09-21.md` §4; слот 1 уже измерен
(`FINDINGS_similarity_per_slot.md`), и его результат сюда не переносится.

## 1. Почему именно это место

Измеренная причина всего остатка разрыва: **порядок модели** — 0.93 половинения на пробу против 2.26
у Чандрупатлы. Пять беспараметрических обходов в *месте длины шага* провалились. Но Чандрупатла
выигрывает не длиной шага: он **отказывается** от своей модели на 72% шагов, по безразмерной полосе
приёма

    1 − √(1 − ξ) < φ < √ξ,   ξ = (x−u)/(v−u),   φ = (f(x)−f(u))/(f(v)−f(u))

У нас в этом месте похожести **нет вовсе**: знаковый гейт по наклону (слот 1 прошлой сессии) и
проекция предохранителя, то есть ремонт **после** шага. Это последнее непроверенное место, где
похожесть могла бы стоять.

## 2. Что читается в этом месте (все чтения безразмерны и без констант)

`ξ` и `φ` — отношения ПОЛОЖЕНИЙ и ЗНАЧЕНИЙ в тройке; для линейной `f` они равны. Оба инвариантны к
аффинному масштабированию `x` и `f`, то есть это та же безразмерная валюта, в которой написана полоса
Чандрупатлы.

| режим | правило | чей |
|---|---|---|
| `prestep="band"` | делить, если `φ` вне `(1−√(1−ξ), √ξ)` | **ЧАНДРУПАТЛЫ, 1997** — диагностика, не наша заявка |
| `prestep="defect"` | делить, если `|φ−ξ| > min(ξ, 1−ξ)` | наше: дефект линейности против смещения от центра, обе величины посчитаны |
| `prestep="simpair"` | делить, если `S(|φ−ξ|) < S(z)` | наше: похожесть конфигурации на линейную против похожести точки к корню |

Никакого меню: `simpair` берёт **ту же** `S`, что и шаг, — минимальный выбор, а не подбор пары
функций по месту. Перебор `S` по местам остался бы тем же изъяном, что жёсткая константа.

## 3. Зачем в сетке чужое чтение

`band` — **измерительный прибор, а не предложение**. Он отвечает на один вопрос: лежит ли остаток
разрыва в месте решения. Если наш шаг с ЕГО полосой закрывает разрыв — место найдено, и дальше
осмысленно искать своё беспараметрическое чтение. Если не закрывает — место решения тоже не держит
разрыв, и вывод «дело в порядке модели» усиливается пятой независимой проверкой. В статью `band`
может войти только под именем Чандрупатлы.

## 4. Точка отсчёта и цели

| величина | текущее | цель |
|---|---|---|
| APS-154 | 2527 (лучшее наше) | **≤ 2527** |
| CHA-45 по-наборно | 2683 | **< 2683**, Chandrupatla 2423 |
| два набора | 5511 | **< 5511** |
| решено | 193/199 | ≥ 193 |
| гарантия `over2x` | 0 | **0** в семействе гарантии (project/safe/credit) |

## 5. Предсказания и фальсификаторы

| # | Предсказание | ФАЛЬСИФИКАТОР → вывод |
|---|---|---|
| **M1** | с чужой полосой (`band`) CHA опускается ниже 2683 | не опускается → **место решения разрыва не держит**; пятое независимое подтверждение, что дело в порядке модели, и линия закрывается по правилу остановки |
| **M2** | хотя бы одно НАШЕ чтение (`defect`/`simpair`) даёт CHA < 2683 | ни одно → своего беспараметрического чтения в этом месте нет; `band` остаётся чужим и в статью как наше не идёт |
| **M3** | APS не хуже 2527 | хуже → обмен «широкие за счёт узких», шестой раз |
| **M4** | гарантия цела | нарушена → немедленное закрытие |
| **M5** | чтение реально РЕШАЕТ: доля отказов не 0% и не 100% | ~0% или ~100% → это не решение, а переобозначение; результат ячейки ничего не значит и так и пишется |

**Правило остановки:** M1 и M2 ложны ⇒ **линия «где стоит похожесть» закрывается полностью**: все
четыре места (длина, направление, точки модели, решение) измерены, и остаток разрыва объяснён
порядком модели, а не размещением. M1 верна, M2 ложна ⇒ место найдено, но своего чтения нет — это
открытая задача, а не результат.

🔴 **Запрет:** `band` нельзя ни назвать нашим, ни оставить в предлагаемом методе. Он входит в прогон
как контроль и выходит либо в диагностику, либо в «Отрицательные результаты» со ссылкой на
Chandrupatla 1997.