Число прозы без названного измерителя не перепроверяется, а заменяется другим числом
Если предложение говорит «реализация на JavaScript — 53 030 строк в 49 файлах», но не говорит, ЧТО именно считали, следующий проверяющий не может это число подтвердить или опровергнуть. Он может только посчитать по-своему и получить своё — и оба числа будут выглядеть одинаково честно.
Чем подтверждено. 16 августа 2026 в docs/javascript-removal.md сверялась строка «53 030 строк в 49 файлах». Правка, пришедшая на сверку, называла 53 754 в 50. Прогон дал 53 680 в 49. Три разных числа об одном и том же дереве, и все три получены честным подсчётом — расходятся наборы файлов:
| набор | файлов | строк |
|---|---|---|
всё под flang/src, flang/bin + три файла ядра | 51 | 53 916 |
то же без flang/src/host/node.mjs | 50 | 53 754 |
то же без переключателя (bridge.mjs, self.mjs) | 49 | 53 680 |
Разрешил спор не подсчёт, а арифметика самого документа: таблица слоёв в нём складывается в свой итог, и складывалась она ровно в 53 030 на том дереве, где писалась. Отсюда стало видно, какой набор имелся в виду (host/node.mjs входит строкой «ввод-вывод», переключатель не входит вовсе — так и сказано в тексте) и что за сутки выросли ровно два слоя: ядро доказательств 4 659 → 5 296 и ведомость 1 287 → 1 300, вместе 650 строк.
Что из этого следует практически. Рядом с числом писать не «сколько», а «чем мерено»: пути, включения и — главное — ИСКЛЮЧЕНИЯ. Исключение восстановить задним числом нельзя ничем, кроме удачи: файл, которого в подсчёте не было, в дереве ничем не помечен.
Чем ограничено. Сторож чисел (flang/scripts/count-guard.mjs) эту беду не ловит и ловить не может: он сверяет «N строк в путь», то есть случай, когда измеритель уже назван путём. Предложение, где измеритель назван словами («каталоги такие-то и три файла рядом»), для него невидимо. Значит именно такие числа надо писать с оглядкой — их не поймает никто, кроме читателя.
Связано: byte-for-byte-comparison, renaming-a-file-silently-disables-the-guard, checks-that-stopped-comparing, a-measured-zero-is-valuable