From 8262ee3142cd1bf596175312ae782708bc61969a Mon Sep 17 00:00:00 2001 From: heaven Date: Fri, 18 Sep 2026 16:18:57 +0300 Subject: [PATCH] Record that a premise about a neighbouring module's output must be measured on its output, and that a pin built on the same premise as the fix closes nothing --- docs/orchestrator-norms-scratchpad.md | 30 +++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/docs/orchestrator-norms-scratchpad.md b/docs/orchestrator-norms-scratchpad.md index 63ea6e9c..c48607b2 100644 --- a/docs/orchestrator-norms-scratchpad.md +++ b/docs/orchestrator-norms-scratchpad.md @@ -749,3 +749,33 @@ to grep»), вытаскивает тревожные маркеры регис ⭐ Родня всему, что смена уже купила: **прибор честно сделал то, о чём его попросили.** Разница в том, что измерительная ошибка даёт неверное ЧИСЛО, а эта — неверный НОСИТЕЛЬ, который следующая смена прочтёт как ратифицированное. + +## ⛔⛔ ПОСЫЛКА «ТАКОВА ФОРМА, КОТОРУЮ ПРОИЗВОДИТ СОСЕДНИЙ МОДУЛЬ» ОБЯЗАНА БЫТЬ СНЯТА С ЕГО ВЫХОДА, А НЕ ВЫВЕДЕНА ИЗ ЕГО КОДА (18.09) + +**Замер зоны, найден её же кругом сходимости.** Починка инверсии выделения опиралась на правило: «открывающий +маркер никогда не стоит после буквы или цифры, потому что такова форма, какую производит ингест». Посылка +**ложна**: замер по выходу САМОГО ингеста боевой английской книги дал **68 прогонов из 4842**, где маркер +открывается сразу после буквы или знака препинания — курсив на точке, на запятой, внутри слова. Правило такие +маркеры отвергает как открывающие, их закрывающий становится открывающим ⇒ **правило воспроизвело ровно ту +инверсию, ради запрета которой писалось**: 68 потерянных выделений, 136 звёздочек наружу, 67 абзацев, +отрендеренных иначе — в файле, который открывает читатель. + +⛔ **Три свойства делают этот класс дорогим, и все три были налицо:** +1. **Батарея зелёная.** Порча не краснеет нигде: она в СОДЕРЖАНИИ отгружаемого файла, а не в его валидности. +2. **Собственный новый пин держит постоянной ровно ту форму, которая ломается** — во всех пяти его кейсах + открывающий стоит после пробела или в начале строки. Это записанный класс «фикстура держит что-то + постоянным, пин отчитывается за КЛАСС, а меряет СРЕЗ», встреченный автором у себя после того, как он весь + проход ловил его у других. +3. **Мутация, поставленная под починку, фиксирует сломанное поведение как норму** — то есть гейт защищает + дефект. + +⇒ **Норма:** правило, чья посылка есть утверждение о ВЫХОДЕ соседнего модуля, снимается **замером этого +выхода на боевом материале**, а не выводится чтением его кода. Чтение даёт форму, которую модуль производит +В ЗАМЫСЛЕ; замер даёт форму, которую он производит НА ЭТОЙ КНИГЕ. Разница здесь — 68 случаев из 4842, то есть +1.4 %, и именно они ломаются. +⭐ И верное лечение зона назвала сама: опираться на то, что модуль гарантирует **ПО ПОСТРОЕНИЮ** (внутренняя +сторона маркера не пробел), а не на эмпирику о тексте. + +⚠ **Для приёмки отсюда следует практическое:** «пин есть» и «мутация красная» не закрывают вопрос, если обе +построены автором починки на той же посылке, что и починка. Спрашивать надо: **что удовлетворяет этот пин, и +не та ли это форма, которую починка считает единственной.**