Record that a present edit proves nothing about a whole file, with the heading count that caught it
This commit is contained in:
parent
8cb6268477
commit
0638d2add1
1 changed files with 15 additions and 0 deletions
|
|
@ -330,6 +330,21 @@ D23.3). Владельцу на решение: деньги сверх мело
|
|||
не видел атрибуции без якоря → грепал себя → грепал свой отчёт → исключил чужое вместе со своим. Чинить
|
||||
такой прибор надо с вопросом «что моя починка сделала НЕВИДИМЫМ», а не только «что она починила».
|
||||
|
||||
### ⛔ «МОЯ ПРАВКА НА МЕСТЕ» И «НИЧЕГО НЕ ПОТЕРЯНО» — РАЗНЫЕ УТВЕРЖДЕНИЯ, и второе меряется ТОЛЬКО счётом всего файла
|
||||
|
||||
Замер 11.09, дважды за час, и оба раза на `docs/PROGRESS.md`. **(а)** Дерево оказалось ЗАДВОЕНО (6252 строки
|
||||
против 3691 в HEAD, одна и та же секция дважды). `git diff --numstat` дал «2560 вставок, 0 удалений», я
|
||||
прочитал это как «ничего не потеряно, режь любую копию» — и вырезал ту, в которой лежала СВЕЖАЯ запись зоны.
|
||||
⛔ **«Ноль удалений» доказывает, что ничего не потеряно ОТНОСИТЕЛЬНО HEAD, и не говорит НИ СЛОВА о том,
|
||||
какая из двух вставленных копий новее.** Верный прибор — построчное сравнение копий (дало 44 расхождения, все
|
||||
в её секции); он лежал в её же письме, и я выполнил его ПОСЛЕ, а не ДО. **(б)** Починив, я объявил «в дереве
|
||||
ровно её правка и ничего больше» — и потерял при этом ДВЕ СВОИ строки: заголовок пинга соседней зоне и его
|
||||
вводную, из-за чего пинг стал читаться продолжением чужого отчёта. Нашла зона, счётом ЗАГОЛОВКОВ в файле
|
||||
(140 против 139), а не чтением.
|
||||
|
||||
**Прибор:** после любой правки общего файла — `grep -c '^#'` до и после, плюс пере-вывод СПИСКА непустых строк
|
||||
родителя, отсутствующих в результате, и объяснение КАЖДОЙ. Совпадение своей секции ничего не доказывает про файл.
|
||||
|
||||
### ⛔ КОММЕНТАРИЙ, ОПИСЫВАЮЩИЙ ГАРАНТИЮ, БЕЗ ПОСАДКИ, КОТОРАЯ ЕЁ ЛОМАЕТ, — ДОКУМЕНТ ЗАМЫСЛА, А НЕ КОДА
|
||||
|
||||
Вторая сторона класса ниже, найденная 11.09 приёмкой платформенного пака: **оба дорогих дефекта имели
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue