fix(checker): rebuild or refuse a checker binary older than its source

.github/workflows/binary.yml

@@ -393,9 +393,9 @@ jobs:
       #
       # Счётчиков долга в дереве было три — раздел «Вне языка» в docs/ROADMAP.md,
       # docs/javascript-inventory.md и числа сайта, — и все три считали ОДИН
-      # язык: JavaScript. Оболочка (89 файлов, 22906 строк), HTML, CSS, пробы на
+      # язык: JavaScript. Оболочка (89 файлов, 22907 строк), HTML, CSS, пробы на
       # СНЯТО 2026-09-17 файлов *.sh = 89 (задача 5821: семь скриптов scripts/** переехали с оболочки на flang; до них 101, снято 2026-09-17)
-      # СНЯТО 2026-09-17 строк-в *.sh = 22906 (задача 1400: девять проб на подлог и две честные под правила Н6 и О9 прибавили 42 строки в flang/proof/checker/tests/run.sh) (задача 1416: четырнадцать объявлений ярлыков заведены в скриптах и зов «Сбора» — в хуке; до них 23372, снято 2026-09-17) (задача 5821: семь скриптов scripts/** переехали с оболочки на flang; до них 23980, снято 2026-09-22) (ADR-0046: довод в шапках двух сторожей имён — сперва почему flang/proof не судится, потом почему вошёл в область — прибавил 9 строк; до него 23971, снято 2026-09-17)
+      # СНЯТО 2026-09-17 строк-в *.sh = 22907 (задача 1400: девять проб на подлог и две честные под правила Н6 и О9 прибавили 42 строки в flang/proof/checker/tests/run.sh) (задача 1416: четырнадцать объявлений ярлыков заведены в скриптах и зов «Сбора» — в хуке; до них 23372, снято 2026-09-17) (задача 5821: семь скриптов scripts/** переехали с оболочки на flang; до них 23980, снято 2026-09-22) (ADR-0046: довод в шапках двух сторожей имён — сперва почему flang/proof не судится, потом почему вошёл в область — прибавил 9 строк; до него 23971, снято 2026-09-17)
       # C, Python, awk и Erlang не считались нигде и ни в одной проверке. Долг,
       # которого никто не считает, не убывает: его не видно ни в отчёте, ни в
       # ленте, и растёт он молча.

docs/tree-inventory.md

@@ -78,7 +78,7 @@ $ bootstrap/flang io scripts/guards/tree-inventory.fscript --max-steps 50000000
 
 | язык | файлов | строк | долг файлов | долг строк |
 |---|---:|---:|---:|---:|
-| оболочка | 95 | 23 417 | 83 | 14 683 <!-- СНЯТО 2026-09-29 долг файлов/строк оболочки = 83/14683 (задача 1219: хук перед пушем стал планом .githooks/pre-push.fscript, в файле хука осталось 2 строки из 168; до него 89/15991, снято 2026-09-17) (задача 1416: четырнадцать объявлений ярлыков заведены в скриптах и зов «Сбора» — в хуке; до них 87/15462, снято 2026-09-17) (задача 5821: семь скриптов scripts/** переехали с оболочки на flang; до них 94/16157, снято 2026-09-17) (ADR-0046: довод двух сторожей имён прибавил 5 строк; до него 94/16148, снято 2026-09-17) (задача 1430: записанный довод области сторожа транслита прибавил 57 строк в scripts/guards/translit-file-names-guard.sh; до него 93/15982, снято 2026-09-17) (задача 5502: набор проб строгого режима завёл flang/proof/probes/strict/run.sh, 105 строк; до него 90/15560) (задача 1794: подделка тела К1 прибавила 7 строк в flang/proof/checker/tests/run.sh, вне долга) (ADR-0042, задачи 6432 и 6812: семейства Пр и М прибавили 2 строки в flang/proof/tables-guard.sh; до них 87/15959) (на ветке a/1418-three-moves: обходчик проверок flang/test/обход.sh прибавил 7 строк, задача 1418; на стволе 87/15952), планом «Опись дерева по языкам» (задачи 5332 и 6438 прибавили 42 строки в flang/proof/checker/tests/run.sh и flang/proof/corpus-share.sh, из них долга 14; до них 87/15916) (пары «строка ↔ лемма» в flang/proof/lean/run.sh, задачи 3855 и 1130, прибавили 17 строк; до них 87/15899, снято 2026-09-14) (сверка вердиктов C ↔ Lean, задача 2907, прибавила 152 строки в flang/proof/lean/run.sh; до неё 87/15747, снято 2026-09-12) на стволе 24e6edb34 со слитой уборкой дерева (учебник прибавил 37 строк в scripts/flangtutor-proba.sh, хук — 5 строк в .githooks/pre-push; до них на 4e9a7a8c3 было 102/16682) (8 сентября было 98/15001: задача 3127 завела scripts/module-origin-guard.sh, 277 строк) --><!-- СНЯТО 2026-09-17 файлов *.sh,ярлык,packaging/asdf/bin/download,packaging/asdf/bin/install,packaging/asdf/bin/list-all,.githooks/pre-push,.githooks/commit-msg = 95 (задача 5821: семь скриптов scripts/** переехали с оболочки на flang; до них 106, снято 2026-09-17) --><!-- СНЯТО 2026-09-17 строк-в *.sh,ярлык,packaging/asdf/bin/download,packaging/asdf/bin/install,packaging/asdf/bin/list-all,.githooks/pre-push,.githooks/commit-msg = 23417 (задача 1219: хук перед пушем стал планом .githooks/pre-push.fscript, в файле хука осталось 2 строки из 168; до него 24610, снято 2026-09-17) (задача 1416: четырнадцать объявлений ярлыков заведены в скриптах и зов «Сбора» — в хуке; до них 24025, снято 2026-09-17) (задача 5821: семь скриптов scripts/** переехали с оболочки на flang; до них 24629, снято 2026-09-22) (ADR-0046: довод двух сторожей имён прибавил 9 строк; до него 24620, снято 2026-09-17) (задача 1430: записанный довод области сторожа транслита прибавил 57 строк в scripts/guards/translit-file-names-guard.sh; до него 24454, снято 2026-09-17) --> |
+| оболочка | 95 | 23 418 | 83 | 14 684 <!-- СНЯТО 2026-09-29 долг файлов/строк оболочки = 83/14684 (задача 1219: хук перед пушем стал планом .githooks/pre-push.fscript, в файле хука осталось 2 строки из 168; до него 89/15991, снято 2026-09-17) (задача 1416: четырнадцать объявлений ярлыков заведены в скриптах и зов «Сбора» — в хуке; до них 87/15462, снято 2026-09-17) (задача 5821: семь скриптов scripts/** переехали с оболочки на flang; до них 94/16157, снято 2026-09-17) (ADR-0046: довод двух сторожей имён прибавил 5 строк; до него 94/16148, снято 2026-09-17) (задача 1430: записанный довод области сторожа транслита прибавил 57 строк в scripts/guards/translit-file-names-guard.sh; до него 93/15982, снято 2026-09-17) (задача 5502: набор проб строгого режима завёл flang/proof/probes/strict/run.sh, 105 строк; до него 90/15560) (задача 1794: подделка тела К1 прибавила 7 строк в flang/proof/checker/tests/run.sh, вне долга) (ADR-0042, задачи 6432 и 6812: семейства Пр и М прибавили 2 строки в flang/proof/tables-guard.sh; до них 87/15959) (на ветке a/1418-three-moves: обходчик проверок flang/test/обход.sh прибавил 7 строк, задача 1418; на стволе 87/15952), планом «Опись дерева по языкам» (задачи 5332 и 6438 прибавили 42 строки в flang/proof/checker/tests/run.sh и flang/proof/corpus-share.sh, из них долга 14; до них 87/15916) (пары «строка ↔ лемма» в flang/proof/lean/run.sh, задачи 3855 и 1130, прибавили 17 строк; до них 87/15899, снято 2026-09-14) (сверка вердиктов C ↔ Lean, задача 2907, прибавила 152 строки в flang/proof/lean/run.sh; до неё 87/15747, снято 2026-09-12) на стволе 24e6edb34 со слитой уборкой дерева (учебник прибавил 37 строк в scripts/flangtutor-proba.sh, хук — 5 строк в .githooks/pre-push; до них на 4e9a7a8c3 было 102/16682) (8 сентября было 98/15001: задача 3127 завела scripts/module-origin-guard.sh, 277 строк) --><!-- СНЯТО 2026-09-17 файлов *.sh,ярлык,packaging/asdf/bin/download,packaging/asdf/bin/install,packaging/asdf/bin/list-all,.githooks/pre-push,.githooks/commit-msg = 95 (задача 5821: семь скриптов scripts/** переехали с оболочки на flang; до них 106, снято 2026-09-17) --><!-- СНЯТО 2026-09-17 строк-в *.sh,ярлык,packaging/asdf/bin/download,packaging/asdf/bin/install,packaging/asdf/bin/list-all,.githooks/pre-push,.githooks/commit-msg = 23418 (задача 1219: хук перед пушем стал планом .githooks/pre-push.fscript, в файле хука осталось 2 строки из 168; до него 24610, снято 2026-09-17) (задача 1416: четырнадцать объявлений ярлыков заведены в скриптах и зов «Сбора» — в хуке; до них 24025, снято 2026-09-17) (задача 5821: семь скриптов scripts/** переехали с оболочки на flang; до них 24629, снято 2026-09-22) (ADR-0046: довод двух сторожей имён прибавил 9 строк; до него 24620, снято 2026-09-17) (задача 1430: записанный довод области сторожа транслита прибавил 57 строк в scripts/guards/translit-file-names-guard.sh; до него 24454, снято 2026-09-17) --> |
 | C | 36 | 868 191 | 0 | 0 <!-- СНЯТО 2026-09-19 файлов *.c,*.h = 36 --><!-- СНЯТО 2026-09-17 строк-в *.c,*.h = 868191 (задача 1410: поимённый отказ прибавил по 472 строки в каждый из близнецов flang_repl.c; до неё 864824) --> |
 | C++ | 1 | 404 | 0 | 0 <!-- СНЯТО 2026-09-05 файлов *.cpp,*.cc,*.hpp,*.hh = 1 --><!-- СНЯТО 2026-09-05 строк-в *.cpp,*.cc,*.hpp,*.hh = 404 --> |
 | Python | 16 | 6 031 | 10 | 2 880 <!-- СНЯТО 2026-09-11 файлов *.py = 16 --><!-- СНЯТО 2026-09-22 строк-в *.py = 6031 --> |

flang/proof/checker/tests/run.sh

@@ -36,7 +36,7 @@ PROG=$CHEK/tests/programs
 
 # Двоичного нет — собираем сами, одним вызовом компилятора и без make: у чекера
 # ровно один файл исходника и ноль зависимостей вне libc.
-if [ ! -x "$C" ] && [ -z "${SVERSCHIK:-}" ]; then
+if [ -z "${SVERSCHIK:-}" ] && { [ ! -x "$C" ] || [ "$CHEK/checker.c" -nt "$C" ]; }; then
   ${CC:-cc} -std=c99 -Wall -Wextra -Werror -pedantic -O2 -o "$C" "$CHEK/checker.c"
 fi
 [ -x "$C" ] || { echo "чекера нет и собрать не вышло: $C" >&2; exit 2; }

flang/proof/corpus-share.sh

@@ -217,6 +217,7 @@ checker=$root/flang/proof/checker/сверщик
 # записан при двоичном», стоящий ДО сборки чекера (прогон 34637639507, код 2).
 if [ "$otpechatok" -eq 0 ] && [ "$podlog_otp" -eq 0 ]; then
   [ -x "$checker" ] || { echo "нет чекера $checker — собрать: make -C flang/proof/checker" >&2; exit 2; }
+  [ "$root/flang/proof/checker/checker.c" -nt "$checker" ] && { echo "чекер $checker старше checker.c — пересобрать: make -C flang/proof/checker" >&2; exit 2; }
 fi
 
 tmp=${TMPDIR:-/tmp}/доля-корпуса.$$