Require a number to name its population as well as its tree, and forbid checking a finding with the instrument that produced it

This commit is contained in:
heaven 2026-09-06 08:26:56 +03:00
parent def4278f67
commit ff07b87288

View file

@ -263,13 +263,17 @@ Y»), а не «посмотри». По умолчанию **Fable 5**, при
которой в каноне не было (эррата 06.09-а) · «исправлено вместе с остальными» напарнику о носителе, до
которого правка не дошла · и он же остался немаркированным. **Пишущий отчёт описывает своё НАМЕРЕНИЕ и
читает его как состояние файла** — греп стоит секунду и различает их.
- ⛔ **ЧИСЛО, СНЯТОЕ ПРОГОНОМ, НАЗЫВАЕТ ДЕРЕВО, А НЕ ТОЛЬКО ЛОГ.** В акт идёт либо sha коммита, либо
«рабочее дерево + что в нём было незакоммичено». Замер 06.09: я объявил «чистыми» числа, снятые в файл вне
каталога зоны — и назвал место ЛОГА, умолчав ДЕРЕВО. Прогон 07:36 шёл по рабочему дереву с чужой
незакоммиченной работой: **851 теста, тогда как ни один коммит того часа не нёс больше 850** (`33b896b`
849 · `201363b` 850 · `e92d411` 850). ⚠ Соль в том, что число объявлялось чистым РАДИ ухода от порчи
прибора — и было завышено в ту же сторону: **прибор сменил, привычку нет**. Нашёл верификатор, пере-мерено
мной чистыми экспортами `git archive <sha>`.
- ⛔ **ЧИСЛО НАЗЫВАЕТ ДВЕ ВЕЩИ: ДЕРЕВО И ПОПУЛЯЦИЮ.** Дерево — sha коммита либо «рабочее дерево + что в нём
было незакоммичено». Популяция — ЧТО именно посчитано, потому что два честных прибора считают разное и
расходятся молча. Замер 06.09, стоивший верной записи: я написал «851 верхнеуровневых теста», верификатор
предъявил «на всех коммитах 850 или меньше» и потребовал снять, я снял — а число было ВЕРНО. Он считал
`func Test`, мой прибор считает верхнеуровневые ПРОГОНЫ вывода `go test -v`, то есть `Test` **плюс `Fuzz`**;
у платформы два `Fuzz`-таргета, и вся разница была в них (`93f098c`: 849+2=**851**).
- ⛔⛔ **ПРОВЕРКА ЧУЖОЙ НАХОДКИ ЕГО ЖЕ МЕТОДОМ — НЕ ПРОВЕРКА.** Тем же замером 06.09 я «пере-мерил сам, а не
поверил» — и воспроизвёл его команду, а значит и его ошибку; совпадение доказало лишь, что мы оба считаем
одно и то же не то, и на этом «подтверждении» я заландил снятие ВЕРНОГО числа. **Бери ДРУГОЙ прибор:**
другую популяцию, другую команду, другую сторону улики. Совпавший результат стоит ровно столько, сколько
стоит независимость инструмента.
- ⚠ **Правя носитель, ставь на исправленные места пометку тем же движением** (норма `535f60a`): эррата без
маркера на хвосте оставляет прежнюю формулировку стоять немаркированной, и следующий читатель возьмёт её.
- Промт-архивация: только отработанные, с баннером-исходом; residual-трекеры держать активными.