From bf221531ac36bccb7ab7ca0e1119c71c59da97cd Mon Sep 17 00:00:00 2001 From: Valeri Sitnikov Date: Sun, 20 Sep 2026 22:45:31 +0100 Subject: [PATCH] =?UTF-8?q?findings:=20baseline=20reproduces=20on=20Linux?= =?UTF-8?q?=20(665=20passed,=20all=2072=20paper=20numbers=20match)=20and?= =?UTF-8?q?=20the=20two=20admission=20gates=20are=20INCOMPATIBLE=20in=20th?= =?UTF-8?q?eir=20strict=20form=20=E2=80=94=20derived,=20no=20run=20needed:?= =?UTF-8?q?=20a=20march=20needs=20a=20RATIO=20of=20distances=20while=20ide?= =?UTF-8?q?ntity=20needs=20an=20ABSOLUTE=20unit,=20and=20no=20parameter-fr?= =?UTF-8?q?ee=20s=20gives=20both=20(this=20also=20explains=20why=20cbrt=20?= =?UTF-8?q?worked=20by=20accident).=20Fork=20A/B=20recorded=20for=20Valeri?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Opus 5 --- FINDINGS_logarithmic.md | 47 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 47 insertions(+) create mode 100644 FINDINGS_logarithmic.md diff --git a/FINDINGS_logarithmic.md b/FINDINGS_logarithmic.md new file mode 100644 index 0000000..274a9de --- /dev/null +++ b/FINDINGS_logarithmic.md @@ -0,0 +1,47 @@ +# Findings — логарифмическая замена переменной (линия `NEXT_PAPER_logarithmic.md`) + +Пред-регистрация: `PREREG_logarithmic_2026-09-20.md`. Здесь — то, что установлено, в порядке +установления. Числа только с Linux (libm). + +--- + +## 0. Базовое состояние воспроизведено (2026-09-20, сервер) + +- `pytest tests/ -q` → **665 passed, 9 skipped, 364.91 s**. +- `verify_article.py` → **«every number stated in the paper matches the sweep data»** (все 72 числа). +- 🟡 Несоответствие документации: README обещает «490 tests», фактически 674. README не правлю — + он описывает опубликованный артефакт; расхождение зафиксировано здесь. +- 🟡 На сервере не было ни одного `*.json`: `sweep_full.json` (1 349 222 байта) залит с ноутбука, иначе + проверки, сверяющие статью с данными, молча пропускаются (те самые 9 skipped). + +## 1. 🔴 Два гейта допуска НЕСОВМЕСТИМЫ в строгой формулировке — установлено ВЫВОДОМ, без прогона + +Шаг метода: `step = (1 − S(|f|/sc))·(far − x)`, `sc = |slope|·|far − x|`. +Гейт **G1** — `c`, `s` выводятся из скобки; гейт **G2** — на узких скобках преобразование тождественно +до округления, то есть требует `|x − c| / s → 0` при сжатии скобки. + +| выбор единицы `s` (все беспараметрические) | узкая скобка | широкая скобка | +|---|---|---| +| `s = \|f(c)\|/\|f'(c)\|` — ньютоновская длина (пред-регистрированный кандидат) | у простого корня `\|x−c\| ~ \|f\|/\|f'\| ~ s`, отношение → **O(1)**, тождественности **НЕТ** | марш есть | +| `s = w₀` — исходная ширина скобки (датум задачи) | `\|x−c\|/w₀ → 0`, тождественность **есть** | `\|x−c\|/w₀ ≤ 1` ⇒ снова почти тождественность, **марша НЕТ** | +| `u = log\|x−c\|` — без единицы вовсе | режима тождественности **нет** и `x = c` не определено | марш есть | +| `s = \|x−c\|` — самомасштабируемая | мультипликативный шаг отличается от аддитивного во **втором порядке** `O((Δ/(x−c))²)` ⇒ строгой тождественности **НЕТ** | марш есть | + +**Вывод:** ни одна доступная беспараметрическая единица не удовлетворяет G1 и строгому G2 +одновременно. Это свойство постановки, а не деталь реализации. + +**Что из этого следует содержательно:** марш требует **отношения** расстояний, а тождественность — +**абсолютной** шкалы; одно преобразование не может быть одновременно масштабно-свободным и +масштабно-привязанным. Заодно это объясняет, почему `cbrt` «работал случайно»: он берёт фиксированную +долю скобки, то есть отношение, и потому марширует — но фиксирует показатель 1/3 как константу, чего +метод себе позволить не может. + +**Развилка, вынесенная Валерию (решение не моё):** +- **A** — оставить G2 строгим ⇒ линия закрывается сейчас, по выводу; отрицательный результат + постановки, сам вывод сохранён. +- **B** — заменить G2 на его же измеримое чтение из пред-регистрации (L2: «на APS-154 суммарная цена + не растёт»), реализовать самомасштабируемый режим и мерить; строгая тождественность была лишним + обещанием, а не требованием протокола статьи. + +Ослабление пред-регистрированного гейта после его провала — приём, которым легко обмануть себя, +поэтому он делается только по явному решению, и оба варианта записаны здесь заранее.