Record that a one-line header edit carried another zone's section into the same commit, and how the size mismatch catches it

This commit is contained in:
heaven 2026-09-11 03:30:03 +03:00
parent 54f8f6cfcb
commit 6249a400ef

View file

@ -83,7 +83,14 @@
ветвь толкает сессию строить exemption, чтобы было что пинить.
4. **«Одно определение на две площадки» бывает недостижимо по построению** — опросный путь замка не берёт,
и контракт эту асимметрию ратифицировал. Мерило — число ОПРЕДЕЛЕНИЙ, а не площадок.
5. **Атрибуция нормы к ноте проверяется телом ноты.** Ссылка на `D39.108` п.1 в моём ролевом промте
5. ⛔ **МОЙ КОММИТ УНЁС ЧУЖУЮ СЕКЦИЮ — `54f8f6c`, 11.09.** Я правил ОДНУ строку головы в `docs/PROGRESS.md`
и взял файл pathspec-формой целиком, не сделав `git diff -- docs/PROGRESS.md`; в тот же момент движковая
сессия положила туда свою записку-план, и 32 вставки из 33 оказались её. История НЕ переписана
(переписывание стёрло бы незакоммиченные правки параллельных сессий), содержимое цело, атрибуция
восстановлена сообщением зоне. ⚠ Норма стояла в моём ролевом промте и не сработала, потому что я читал
её как «про чужое в ИНДЕКСЕ». Ловится дёшево и постфактум: **объём коммита против объёма своей правки**
одна строка против тридцати трёх.
6. **Атрибуция нормы к ноте проверяется телом ноты.** Ссылка на `D39.108` п.1 в моём ролевом промте
фантомна: норма верна, нота о другом. Эррата внесена.
## Долг, замеченный попутно (не терять)