49 lines
3.8 KiB
Markdown
49 lines
3.8 KiB
Markdown
# PREREG — плоский режим: «обещание не сбылось дважды подряд»
|
||
|
||
Составлено до кода и до прогона, ветка `signfix-and-gates`. Валерий: «пред-регистрируй и проверяй
|
||
„обещание не сбылось дважды подряд"».
|
||
|
||
## Основание
|
||
|
||
Флаг `flat` (`PREREG_flat_regime_2026-09-21.md`, коммит `e7e74d7`) распознаёт плоский режим (53.6%
|
||
шагов модели на плоских fun3–6), но ложно поднимается на 21.6% шагов APS: на простом корне модель
|
||
однократно не сбывает обещание, пока не вышла на сходимость. В предложенный метод не принят: APS
|
||
2806 → 3029. На плоской функции недолёт повторяется по циклу (два недолёта подряд с
|
||
r = (1−1/m)^m, `results_diag_contraction_sequence.txt`), на простом корне однократная неудача обычно
|
||
сменяется быстрой сходимостью.
|
||
|
||
## Правило (порог тот же, r* = ¼, новых констант нет)
|
||
|
||
Шаг модели «не сбыл обещание», если он был шагом самой модели (точка вычисления = предложение
|
||
модели), знак f не сменился и r = f_new/f_old ≥ ¼. Счётчик считает **подряд идущие** такие шаги;
|
||
любой другой шаг (деление, поправка предохранителя, перескок, r < ¼) обнуляет его.
|
||
Режим `prestep="flat2"`: если счётчик ≥ 2, следующий шаг — деление пополам.
|
||
«Два» — наименьшее число, при котором «повтор» вообще определён, а не подобранный параметр.
|
||
|
||
## Этап 1 — различимость (метод не меняется)
|
||
|
||
На трассах предложенного метода — доля шагов модели, после которых счётчик ≥ 2, по группам (APS,
|
||
fun1, плоские fun3–6, fun7, прочие CHA). Рядом — одиночный флаг: 53.6% / 21.6% / 17.0%.
|
||
|
||
| # | ПРОЙДЕНО, если |
|
||
|---|---|
|
||
| **T1** | на плоских выше, чем на APS и на fun1 |
|
||
| **T2** | отношение «плоские / APS» выше, чем у одиночного флага (53.6 / 21.6 = 2.48) — то есть повтор отсекает ложные срабатывания сильнее, чем истинные |
|
||
|
||
**Фальсификатор этапа 1:** T1 или T2 ложна — этап 2 не проводится.
|
||
|
||
## Этап 2 — в методе (только если этап 1 пройден)
|
||
|
||
Пары «без / с `flat2`» для предложенного метода и для него же с Г2; все 7 предохранителей; девять
|
||
функций без чтений. Точка отсчёта — та же сетка без флага.
|
||
|
||
| # | ПРОЙДЕНО, если |
|
||
|---|---|
|
||
| **W1** | CHA ниже, чем без флага (3220; с Г2 — 3169) |
|
||
| **W2** | APS не выше, чем без флага (2806; с Г2 — 2782) |
|
||
| **W3** | гарантия: 0 нарушений в семействе, решено ≥ 193 |
|
||
| **W4** | плоские fun3–6 дешевле |
|
||
| **W5** | сообщается: по задачам против Чандрупатлы на APS; итог по обоим наборам против 5228 |
|
||
|
||
**Правило остановки:** принимается, только если W1, W2, W3 выполнены одновременно.
|