PREREG before code and run: entry with the analogy remembered. The judgment (nearer to own past than to the line, m >= 2) is made at every gate state; once it holds, the run is flagged analogous and the regime is entered at the next unkept promise; an exit (midpoint judged linear) clears it. Stop rule M1-M4 (M4: CHA below flatanalog, 2635 / 2625 with G2); goal vs Chandrupatla reported.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
@@ -0,0 +1,51 @@
|
|||||||
|
# PREREG — вход в плоский режим с запомненной аналогией
|
||||||
|
|
||||||
|
Составлено до кода и до прогона, ветка `signfix-and-gates`. Валерий: «пред-регистрируй и проверяй
|
||||||
|
вход с запомненной аналогией».
|
||||||
|
|
||||||
|
## Основание (`b7271a1`, диагностика по трассам, метод не менялся)
|
||||||
|
|
||||||
|
- Вход по аналогии (`flatanalog`, принят с Г2: канонические 2780, широкие 2625) на плоских
|
||||||
|
запаздывает: 1234 против 1057 у входа по одному флагу.
|
||||||
|
- Причина: в моменты флага до входа — «не похожа на прошлое» 118 раз, «нет памяти» 7, «m < 2» 2.
|
||||||
|
В цикле периода 4 флаг поднимается в фазах, которые **не повторяются** (недолёт с всё более
|
||||||
|
пустым шагом, перескок); повторяются фазы с опущенным флагом, и там порядок читается верно
|
||||||
|
(fun4 = 6(x−2)⁵: m ≈ 4.9). Вход требует обоих **в одном состоянии**.
|
||||||
|
- Аналогия — свойство прогона, флаг — свойство момента. Если запоминать аналогию до ближайшего
|
||||||
|
флага (по трассам): средний шаг входа на плоских 12.9 → 8.2; задач с входом: канонические 3 → 8,
|
||||||
|
fun9 0 → 1, остальные без изменений, плоские 20 из 20.
|
||||||
|
|
||||||
|
## Правило (новых констант нет)
|
||||||
|
|
||||||
|
Режим `prestep="flatanalogmem"`. Память конфигураций и суждение «ближе к прошлому, чем к прямой,
|
||||||
|
и m ≥ 2» — те же, что у `flatanalog`, но выносятся на **каждом** состоянии, которое видит гейт.
|
||||||
|
|
||||||
|
- **Аналогия установлена**, как только суждение выполнено хотя бы в одном состоянии прогона.
|
||||||
|
- **Вход:** флаг (шаг модели, знак не сменился, r ≥ ¼) и аналогия установлена (в этом или
|
||||||
|
прежнем состоянии).
|
||||||
|
- **В режиме:** каждый шаг — середина.
|
||||||
|
- **Выход:** на середине f(M) ближе к (FA + FB)/2, чем к нулю. Выход **снимает** установленную
|
||||||
|
аналогию: суждение «линейно» опровергает «плоско»; чтобы войти снова, аналогия должна
|
||||||
|
установиться заново.
|
||||||
|
|
||||||
|
Предохранитель применяется к шагу как всегда.
|
||||||
|
|
||||||
|
## Проверка
|
||||||
|
|
||||||
|
Решение по **смоуку** (предложенный метод на всех 199 задачах), сервер — только подтвердить
|
||||||
|
прошедшее. Ячейки: предложенный метод и он же с Г2; `none / flatanalogmem / flatanalog`.
|
||||||
|
|
||||||
|
| # | ПРОЙДЕНО, если |
|
||||||
|
|---|---|
|
||||||
|
| **M1** | широкие ниже, чем без режима (3220; с Г2 — 3169) |
|
||||||
|
| **M2** | канонические не выше, чем без режима (2806; с Г2 — 2782) |
|
||||||
|
| **M3** | гарантия: 0 нарушений, решено ≥ 193 |
|
||||||
|
| **M4** | широкие ниже, чем у `flatanalog` (2635; с Г2 — 2625) — иначе запоминание не заслужено |
|
||||||
|
| **ЦЕЛЬ** | канонические < 2787 **и** широкие < 2441 (Чандрупатла) — сообщается |
|
||||||
|
|
||||||
|
**Правило остановки:** принимается, если M1, M2, M3, M4 выполнены одновременно (без Г2 и с Г2 —
|
||||||
|
отдельно).
|
||||||
|
|
||||||
|
**Ожидание, записано заранее:** плоские между 1057 и 1234; канонические могут вырасти от 5
|
||||||
|
лишних входов (3 → 8) — это и есть риск для M2, особенно без Г2, где запас нулевой (2807 уже
|
||||||
|
против 2806).
|
||||||
Reference in New Issue
Block a user