From a25cffad1d0aba9b7216dd5f2afc04d1230fdef0 Mon Sep 17 00:00:00 2001 From: Valeri Sitnikov Date: Mon, 21 Sep 2026 11:56:36 +0100 Subject: [PATCH] PREREG before code and run: step extrapolation (A) inside the method - step/(1-S) with S the ratio similarity of the proposed step and the previous displacement, capped at the far end; paired grid; criteria X1-X5 and stop rule declared against the library baselines. Co-Authored-By: Claude Opus 5 --- PREREG_extrapolate_in_method_2026-09-21.md | 46 ++++++++++++++++++++++ 1 file changed, 46 insertions(+) create mode 100644 PREREG_extrapolate_in_method_2026-09-21.md diff --git a/PREREG_extrapolate_in_method_2026-09-21.md b/PREREG_extrapolate_in_method_2026-09-21.md new file mode 100644 index 0000000..4ca9796 --- /dev/null +++ b/PREREG_extrapolate_in_method_2026-09-21.md @@ -0,0 +1,46 @@ +# PREREG — встраивание A в метод (похожесть соседних шагов как множитель) + +Составлено до кода и до прогона. Валерий: «пред-регистрируй и встраивай A в метод». Основание — +одношаговая проверка A (`results_diag_A_B_fixed_metric.txt`): на плоских 0.26 → 2.82 половинения +на вычисление, на APS 6.32 → 8.49, без вреда. + +## Правило в методе + +Режим `extrapolate="steps"` (по умолчанию `"none"` — опубликованное поведение бит-в-бит). +Применяется только к шагу, посчитанному по похожести (не к делению пополам от гейтов): + + d_prev = x − x_prev предыдущее перемещение + S = min(|step|, |d_prev|) / max(|step|, |d_prev|), если step и d_prev одного знака; иначе 0 + step ← step / (1 − S), но не дальше дальнего конца: |step| ≤ |far − x| + +Ограничение дальним концом — та же граница, что у самого шага (1 − S_tent = min(1, z)), а не новая +константа. При S = 1 ряд не сходится, экстраполяция не применяется. Предохранитель (проекция, +credit) работает после, как и раньше, поэтому гарантия не меняется. + +## Сетка + +Каждая конфигурация — парой «без A / с A», меняется только режим: +- tent, три точки, все 7 предохранителей: без гейтов, `slope`, `shape`+`slope`, `dissimilar`+`slope`, + `defect`; +- девять функций похожести, три точки, все 7 предохранителей, без гейтов (закон по сетке). + +## Точка отсчёта (библиотечные соперники) + +| | APS | CHA | оба | +|---|---|---|---| +| предложенный метод (проекция) | 2806 | 3220 | 6026 | +| рекорды: `defect` / `shape` / `dissimilar` | 2523 / 2527 / 2726 | 3210 / 3108 / 2785 | 5733 / 5635 / 5511 | +| Чандрупатла | 2787 | 2441 | 5228 | + +## Предсказания и фальсификаторы + +| # | предсказание | ФАЛЬСИФИКАТОР → вывод | +|---|---|---| +| **X1** | предложенный метод + A: CHA < 3220 | нет → одношаговый выигрыш не переносится на прогон | +| **X2** | предложенный метод + A: APS ≤ 2806 | хуже → снова обмен «широкие за счёт узких» | +| **X3** | гарантия цела: over2x = 0 в семействе гарантии, решено ≥ 193/199 | нарушена → немедленное закрытие | +| **X4** | плоские fun3–6 (сумма по семейству) дешевле, чем без A | нет → механизм (разрыв цикла) не работает в прогоне | +| **X5** | лучшая пара по обоим наборам < 5511; цель — < 5228 (Чандрупатла) | сообщается | + +**Правило остановки:** X1 или X2 ложны — режим не принимается в предложенный метод (результат +записывается как есть). X3 ложна — стоп.