diff --git a/PREREG_half_contra_2026-09-21.md b/PREREG_half_contra_2026-09-21.md
new file mode 100644
index 0000000..4fb4a75
--- /dev/null
+++ b/PREREG_half_contra_2026-09-21.md
@@ -0,0 +1,47 @@
+# PREREG — устранение ложного обещания «корень здесь»
+
+Составлено до кода и до прогона, ветка `signfix-and-gates`. Валерий: «пред-регистрируй и проверяй
+устранение ложного обещания „корень здесь“».
+
+## Основание (`cc82156`, `485f25f`, диагностика, метод не менялся)
+
+- На склоне fun9.5 в x = 20.25 трёхточечный наклон, в котором доминирует f(81) = 1.5·10³⁵, даёт
+  z ≈ 0, S ≈ 1: модель обещает корень «здесь». Следующий вызов — 20.2501, f почти не изменилась.
+- Цена: пустой вызов и **засорение памяти аналогии** (вырожденные тройки, ξ ≈ 0, затем −1.7·10⁷) —
+  аналогия на склоне находится только через 8 шагов; от 20.25 до 10.39 ушло 9 вызовов там, где
+  хватило бы одного деления (≈ 8 из +10 проигрыша fun9.5). На fun9 таких пустых вызовов 8 (27 без
+  решений).
+
+## Правило `half` (новых констант нет; ½ — константа самого деления пополам)
+
+Две модели того, в какой половине скобки корень:
+- **шаг** (трёхточечная модель): при S(z) ≥ ½ шаг не длиннее половины пути к дальнему концу —
+  корень обещан в **ближней к x** половине;
+- **скобка** (прямая через x и дальний конец): корень ближе к концу с меньшим |f| — если
+  |f(дальнего)| < |f(x)|, корень в **дальней** половине.
+
+Если обещание шага и картина скобки **расходятся в половине** (S ≥ ½ и |f(дальнего)| < |f(x)|),
+модель не принимается, шаг — середина. Сравниваются два порядковых суждения; порога нет.
+
+Составляющая `half` в составном `prestep` (своя категория), порядок: решение → плоский режим →
+противоречие знака → `half`. Действует, только если шаг ещё не отдан другому решению.
+
+## Проверка
+
+Решение по **смоуку** (все 199 задач); сервер — подтвердить, если принято. Пары «без / с `half`»
+для предложенного метода и с Г2:
+`none`, `defect+flatanalogmempt+exp`, `contra+flatanalogmempt+exp`.
+
+| # | ПРОЙДЕНО, если (для пары) |
+|---|---|
+| **H1** | fun9 дешевле (сообщается) |
+| **H2** | широкие не дороже |
+| **H3** | канонические не дороже |
+| **H4** | гарантия: 0 нарушений, решено ≥ 193 |
+| **ЦЕЛЬ** | ячейка ниже Чандрупатлы на обоих наборах (2787 / 2441) |
+
+**Правило остановки:** `half` принимается, если хотя бы в одной паре H1–H4 выполнены одновременно и
+цель сохранена. Сообщается число срабатываний по группам.
+
+**Риск, записан заранее:** после перескока новая точка часто хуже дальнего конца по |f|; если модель
+там обещает ближнюю половину верно (кривизна), правило отнимет хороший шаг — канонические (H3).