sim-numerics/FINDINGS_similarity_per_slot.md

FINDINGS — функция похожести ПО МЕСТУ (слот 1)

Пред-регистрация: PREREG_similarity_per_slot_2026-09-21.md. Сетка: 252 конфигурации × 199 задач, сервер 161, sweep_order.json, лог results_sweep_order.txt. Якорь достоверности: pure.ratio.derived3 воспроизводит опубликованное 2806 бит-в-бит.

Вердикты

#	предсказание	вердикт
L1	показатель улучшает чтение по дальнему концу	ВЕРНА — но только при соответствующей функции похожести
L2	CHA < 2683	ЛОЖНА — лучшее 2884
L3	APS не хуже точки отсчёта	ЛОЖНА в чтении по наклону — 2806 → 2854
L4	гарантия цела	ВЕРНА — 0 нарушений из 108 ячеек семейства гарантии
L5	шаг не выходит за скобку	ВЕРНА — закреплено тестом, с документированным насыщением до ровно 1.0 при z ≳ 1/eps

Главное: место определяет функцию

far + rational — единственное сочетание, в котором чтение по дальнему концу есть точная обратная интерполяция. Там показатель выигрывает 7 из 7 предохранителей:

предохранитель	APS none → order	CHA none → order
both	4522 → 3675	3387 → 3216
bracket	4606 → 3542	3571 → 3303
credit	5190 → 4686	3013 → 2884
project	6932 → 6364	4794 → 4559
safe	5987 → 5229	4108 → 3923
step	6435 → 5551	4257 → 4022
none	10676 → 10043	8265 → 7794

По всем девяти функциям похожести — 29 из 60 ячеек, то есть неотличимо от монеты. Вывод, который это позволяет сделать: показатель порядка не универсальное улучшение, а согласование функции похожести с местом, где она читается. Там, где функция месту не соответствует, измеренный порядок не помогает и не мешает систематически.

Чего НЕ получилось, прямо

1. Chandrupatla не побит. 2884 против 2683 (наше лучшее) и 2423 (его). Пятая попытка против одной и той же измеренной причины.
2. Стойло false position беспараметрически не вылечено. Незащищённый: 127/154 и 10676 → 128/154 и 10043 (−6%, +1 задача). Illinois с константой ½: 153/154 и 7045. Показатель снимает шестую часть разрыва, а не разрыв. ⚠️ Наши 10676 и опубликованные 10560 — не один алгоритм: наш метод стартует из середины скобки, классический false position — с конца.
3. В чтении по наклону показатель вредит на APS (2806 → 2854) и теряет задачи на CHA.

Измеренная граница оценки порядка

Трёхточечная оценка читает чистый куб как 2.830, а не 3 — смещение −5.7%, направленное к единице, то есть к неисправленному чтению. Парабола через три точки несёт только вторую разность, поэтому порядок кубики недооценивается даже в идеальном бесшумном случае. Закреплено тестом test_local_order_reads_a_cube_low_by_a_fixed_bias; в статье должно стоять как смещение, а не как точность.

Найденный по ходу баг (не в новом коде)

Коммит cc2c499 вставил ветку derived3_cap прямо перед примечанием derived3_m и проглотил его делитель: derived3_m молча стал псевдонимом derived3 (2806 против 2806), и опровержение, записанное в статью, перестало воспроизводиться. Поймал полный пин test_m_loses_on_the_full_benchmark — ровно то, для чего он и стоит. Исправлено; добавлен дешёвый пин test_derived3_m_actually_divides_by_the_order.

Что остаётся неисследованным

Слот 2 пред-регистрации: место решения предохранителя. Полоса приёма Чандрупатлы (1−√(1−ξ) < φ < √ξ) — это другая функция похожести в другом месте: похожесть конфигурации на линейную, читаемая не для длины шага, а для выбора «модель или деление». У нас в этом месте похожести нет вовсе. Гонять отдельной сеткой.