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

This commit is contained in:
heaven 2026-09-18 16:18:57 +03:00
parent 92da857b4a
commit 8262ee3142

View file

@ -749,3 +749,33 @@ to grep»), вытаскивает тревожные маркеры регис
⭐ Родня всему, что смена уже купила: **прибор честно сделал то, о чём его попросили.** Разница в том, что
измерительная ошибка даёт неверное ЧИСЛО, а эта — неверный НОСИТЕЛЬ, который следующая смена прочтёт как
ратифицированное.
## ⛔⛔ ПОСЫЛКА «ТАКОВА ФОРМА, КОТОРУЮ ПРОИЗВОДИТ СОСЕДНИЙ МОДУЛЬ» ОБЯЗАНА БЫТЬ СНЯТА С ЕГО ВЫХОДА, А НЕ ВЫВЕДЕНА ИЗ ЕГО КОДА (18.09)
**Замер зоны, найден её же кругом сходимости.** Починка инверсии выделения опиралась на правило: «открывающий
маркер никогда не стоит после буквы или цифры, потому что такова форма, какую производит ингест». Посылка
**ложна**: замер по выходу САМОГО ингеста боевой английской книги дал **68 прогонов из 4842**, где маркер
открывается сразу после буквы или знака препинания — курсив на точке, на запятой, внутри слова. Правило такие
маркеры отвергает как открывающие, их закрывающий становится открывающим ⇒ **правило воспроизвело ровно ту
инверсию, ради запрета которой писалось**: 68 потерянных выделений, 136 звёздочек наружу, 67 абзацев,
отрендеренных иначе — в файле, который открывает читатель.
⛔ **Три свойства делают этот класс дорогим, и все три были налицо:**
1. **Батарея зелёная.** Порча не краснеет нигде: она в СОДЕРЖАНИИ отгружаемого файла, а не в его валидности.
2. **Собственный новый пин держит постоянной ровно ту форму, которая ломается** — во всех пяти его кейсах
открывающий стоит после пробела или в начале строки. Это записанный класс «фикстура держит что-то
постоянным, пин отчитывается за КЛАСС, а меряет СРЕЗ», встреченный автором у себя после того, как он весь
проход ловил его у других.
3. **Мутация, поставленная под починку, фиксирует сломанное поведение как норму** — то есть гейт защищает
дефект.
**Норма:** правило, чья посылка есть утверждение о ВЫХОДЕ соседнего модуля, снимается **замером этого
выхода на боевом материале**, а не выводится чтением его кода. Чтение даёт форму, которую модуль производит
В ЗАМЫСЛЕ; замер даёт форму, которую он производит НА ЭТОЙ КНИГЕ. Разница здесь — 68 случаев из 4842, то есть
1.4 %, и именно они ломаются.
⭐ И верное лечение зона назвала сама: опираться на то, что модуль гарантирует **ПО ПОСТРОЕНИЮ** (внутренняя
сторона маркера не пробел), а не на эмпирику о тексте.
**Для приёмки отсюда следует практическое:** «пин есть» и «мутация красная» не закрывают вопрос, если обе
построены автором починки на той же посылке, что и починка. Спрашивать надо: **что удовлетворяет этот пин, и
не та ли это форма, которую починка считает единственной.**