refactor(probes): run the probe sets from plans

.github/workflows/binary.yml

@@ -393,9 +393,9 @@ jobs:
       #
       # Счётчиков долга в дереве было три — раздел «Вне языка» в docs/ROADMAP.md,
       # docs/javascript-inventory.md и числа сайта, — и все три считали ОДИН
-      # язык: JavaScript. Оболочка (93 файлов, 23372 строк), HTML, CSS, пробы на
-      # СНЯТО 2026-09-17 файлов *.sh = 93 (задача 5821: семь скриптов scripts/** переехали с оболочки на flang; до них 101, снято 2026-09-17)
-      # СНЯТО 2026-09-17 строк-в *.sh = 23372 (задача 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)
+      # язык: JavaScript. Оболочка (89 файлов, 22906 строк), 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)
       # C, Python, awk и Erlang не считались нигде и ни в одной проверке. Долг,
       # которого никто не считает, не убывает: его не видно ни в отчёте, ни в
       # ленте, и растёт он молча.
@@ -1762,59 +1762,20 @@ jobs:
         env:
           FLANG_BIN: ${{ github.workspace }}/bootstrap/flang
 
-      # ── ЧЕТЫРЕ ИСХОДА СТРОГОГО РЕЖИМА (задача 5502, пункт 5 аудита) ───────
-      #
-      # Аудит требует, чтобы успех был невозможен без независимой проверки всех
-      # обязательств. Прогоном 19 сентября 2026 показано обратное: программа с
-      # ЛОЖНЫМ постусловием («результат не больше 100» при теле «н плюс н») и
-      # парой строк `пример` получала код 0 и от `flang check`, и от
-      # `flang check --proof`, и от независимого сверщика разом — при том что
-      # `flang run --на-веру` на н = 100 печатал FLANG_PROPERTY и код 1. Ноль
-      # ПОКУПАЛСЯ примером: тот же файл без `пример` давал 3.
-      #
-      # Набор держит ОБЕ половины одной таблицей: строки без «--строго» стерегут
-      # умолчание (оно правкой не тронуто ни на знак — разъедься оно, сломалось
-      # бы всё дерево разом), строки с ключом — сами четыре исхода. Слово
-      # проверяется вместе с кодом: смена причины при том же коде — тоже
-      # расхождение.
-      #
-      # Место здесь, а не в работе `chekker`: та собирает C-сверщик БЕЗ
-      # компилятора нарочно, а этот набор спрашивает мнение компилятора о нём
-      # самом. Двоичный уже собран этой работой; лишней сборки нет. Замер: 20
-      # проб, около 2 секунд на всё.
       - name: Check strict mode
-        run: sh flang/proof/probes/strict/run.sh
-        env:
-          FLANG_BIN: ${{ github.workspace }}/bootstrap/flang
-          FLANG_TMP: ${{ runner.temp }}
-
-      # Ворота недоказанного настраиваются тремя способами — ключом команды,
-      # переменной среды и .flangrc, — и старшинство между ними названо. Проба
-      # гоняет все три и каждую пару, иначе «ключ бьёт файл» осталось бы словами.
+        run: bootstrap/flang io flang/proof/probes/strict/run.fscript --plan Binary
       - name: Check unproven gate
-        run: sh flang/proof/probes/unproven/run.sh
-
-      # ПРОБЫ СИЛЛОГИЗМА. Набор лежал с 20 сентября 2026 и НЕ ЗВАЛСЯ НИОТКУДА:
-      # ни один workflow его не трогал, и 25 сентября, после перепечатки семени,
-      # все шесть проб разошлись с таблицей молча — таблица ждала от двоичного
-      # отказа разбора слова `следует`, а он его уже знал. Проверка, которую
-      # никто не зовёт, ничего не проверяет; поэтому шаг здесь. Замер 26 сентября
-      # 2026: шесть проб, около двух секунд на всё — той же ценой, что соседи.
-      - name: Check syllogism probes
-        run: sh flang/proof/probes/syllogism/run.sh
+        run: bootstrap/flang io flang/proof/probes/unproven/run.fscript --plan Binary
         env:
-          FLANG_BIN: ${{ github.workspace }}/bootstrap/flang
           FLANG_TMP: ${{ runner.temp }}
-
-      # ПЕРЕПЕЧАТКИ ЖДАЛ И ДОЖДАЛСЯ. Слово «Размер экрана» заведено в словарь
-      # 22 сентября 2026, и прежний двоичный его не знал — шаг был КРАСЕН по
-      # названному долгу. Печать прошла 25 сентября 2026 (выпуск 0.7.22); замер
-      # 26 сентября на дереве `gh/dev` `d5e203b89`: сошлось 6 проб из 6, код 0.
+      - name: Check syllogism probes
+        run: bootstrap/flang io flang/proof/probes/syllogism/run.fscript --plan Binary
+      - name: Check run verdict
+        run: bootstrap/flang io flang/proof/probes/run/run.fscript --plan Binary
+      - name: Check environment and argument orders
+        run: bootstrap/flang io flang/proof/probes/orders/run.fscript --plan Binary
       - name: Check screen size
-        run: cd flang/proof/probes/screen-size && ../../../../bootstrap/flang io run.fscript
-        env:
-          FLANG_BIN: ${{ github.workspace }}/bootstrap/flang
-          FLANG_TMP: ${{ runner.temp }}
+        run: bootstrap/flang io flang/proof/probes/screen-size/run.fscript --plan Binary
       - name: Check memory limit
         run: cd flang/proof/probes/memory-limit && ../../../../bootstrap/flang io run.fscript
         env:

.github/workflows/ci.yml

@@ -206,8 +206,8 @@ jobs:
   # 31 августа 2026 в дереве нашлось 31 место в 14 файлах, где записанное рукой
   # число разошлось с тем, что лежит рядом: `docs/tree-inventory.md` считала
   # `seed-parses-sources-guard.sh` в 83 строки при 195, оболочку — в 66 файлов
-  # при 71 тогдашних — сегодня их 93;
-  # СНЯТО 2026-09-17 файлов *.sh = 93 (задача 5821: семь скриптов scripts/** переехали с оболочки на flang; до них 101, снято 2026-09-21) `flang/cat/SPEC.md` обещала восемнадцать поручений при 22;
+  # при 71 тогдашних — сегодня их 89;
+  # СНЯТО 2026-09-17 файлов *.sh = 89 (задача 5821: семь скриптов scripts/** переехали с оболочки на flang; до них 101, снято 2026-09-21) `flang/cat/SPEC.md` обещала восемнадцать поручений при 22;
   # `flang/PLAN.md` — пять вариантов «Поручение» при 22. Каждое из этих чисел
   # было ВЕРНО В ДЕНЬ ЗАПИСИ и солгало назавтра, и сторожа не было ни на одном.
   #

docs/adr/0045-run-and-io-print-the-verdict-and-refuse-an-unproved-program.md

@@ -17,8 +17,8 @@
 **Основание:** задача 8222; замеры 17 сентября 2026 на копии `wK1` (ветка
 `a/8222-run-verdict`, двоичный `bootstrap/flang` 0.7.19 из семени 12 сентября): «до» —
 `sh flang/proof/probes/run/run.sh`, «после» — то же с `--зондом`.
-**Проверяется:** `sh flang/proof/probes/run/run.sh --зондом` до перепечатки семени;
-`sh flang/proof/probes/run/run.sh` — после неё и правки хозяина.
+**Проверяется:** `bootstrap/flang io flang/proof/probes/run/run.fscript --plan Binary`;
+до перепечатки семени проверялось толкованием исходников, `run.sh --зондом`.
 
 ---
 

docs/adr/0047-a-syllogism-gets-one-surface-word-not-four.md

@@ -15,9 +15,9 @@
 правка ядра; [ADR-0023](0023-forgeries-live-in-a-set-not-in-the-metric-corpus.md) — набор
 подделок; [ADR-0045](0045-run-and-io-print-the-verdict-and-refuse-an-unproved-program.md) —
 вердикт при запуске.
-**Проверяется:** `sh flang/proof/probes/syllogism/run.sh` (замер «до», двоичным) и
-`sh flang/proof/probes/syllogism/run.sh --печатью` (замер «после», исправленным
-компилятором, напечатанным в JavaScript); `./ярлык слово:занятость`.
+**Проверяется:** `bootstrap/flang io flang/proof/probes/syllogism/run.fscript --plan Binary`
+(двоичным) и тот же файл с `--plan JavaScript` (компилятором, напечатанным в
+JavaScript; каталог печати — в `PRINTED_COMPILER`); `./ярлык слово:занятость`.
 
 **Номер сменён 22 сентября 2026:** черновик носил номер 0046, но пока партия лежала
 невлитой, 0046 занял ADR о переименовании каталога доказательств, влитый в ствол

docs/guide/settings.ru.md

@@ -128,7 +128,7 @@ allow — запустить, вердикта не считая.
 ```
 
 Пробы всех исходов — `flang/proof/probes/unproven/`
-(`sh flang/proof/probes/unproven/run.sh`).
+(`bootstrap/flang io flang/proof/probes/unproven/run.fscript --plan Binary`).
 
 ## Где файл ищется
 

docs/javascript-inventory.md

@@ -67,8 +67,8 @@ JavaScript стало 55, строк 29 733; в трёх каталогах о
 
 Эта опись считает ОДИН язык. Остальные шестнадцать — оболочка, C, C++, Python,
 HTML, CSS, awk, Erlang, Java, C#, Elixir, Go, Rust, Lua, vimscript, Ruby —
-считает [`tree-inventory.md`](tree-inventory.md) (26 сентября 2026: 246 файлов вне flang,
-<!-- СНЯТО 2026-09-17 файлов *.sh,*.c,*.h,*.py,*.html,*.css,*.awk,*.erl,*.js,*.mjs,*.java,*.cs,*.ex,*.exs,*.go,*.rs,*.lua,*.vim,*.rb,*.cpp,*.cc,*.hpp,*.hh,ярлык,packaging/asdf/bin/download,packaging/asdf/bin/install,packaging/asdf/bin/list-all,.githooks/pre-push = 246 (задача 4413: flang/scripts/proof-ledger.mjs и word-guard.mjs сняты — свод корпуса считает двойник на flang; до них 51 файл и 24 386 строк, снято 2026-09-17) (задача 5821: семь скриптов scripts/** переехали с оболочки на flang; до них 256, снято 2026-09-21) -->
+считает [`tree-inventory.md`](tree-inventory.md) (26 сентября 2026: 242 файлов вне flang,
+<!-- СНЯТО 2026-09-17 файлов *.sh,*.c,*.h,*.py,*.html,*.css,*.awk,*.erl,*.js,*.mjs,*.java,*.cs,*.ex,*.exs,*.go,*.rs,*.lua,*.vim,*.rb,*.cpp,*.cc,*.hpp,*.hh,ярлык,packaging/asdf/bin/download,packaging/asdf/bin/install,packaging/asdf/bin/list-all,.githooks/pre-push = 242 (задача 4413: flang/scripts/proof-ledger.mjs и word-guard.mjs сняты — свод корпуса считает двойник на flang; до них 51 файл и 24 386 строк, снято 2026-09-17) (задача 5821: семь скриптов scripts/** переехали с оболочки на flang; до них 256, снято 2026-09-21) -->
 долг вне JavaScript — **97 файлов, 18 427 строк при потолке 63**: храповик
 красен, разбор — задачи 4838 и 7405). Там же названы 569 строк
 JavaScript, лежащих ВНУТРИ файлов `.html`: счёт по именам файлов их не видит, и

docs/site/cli.md

@@ -181,7 +181,7 @@ The key is only meaningful next to `--proof`: `flang check <файл> --стро
 without it exits `2`.
 
 Probes for all four outcomes and for the default are in
-`flang/proof/probes/strict/` (`sh flang/proof/probes/strict/run.sh`).
+`flang/proof/probes/strict/` (`bootstrap/flang io flang/proof/probes/strict/run.fscript --plan Binary`).
 
 ```bash
 $ flang check привет.flang

docs/site/cli.ru.md

@@ -177,7 +177,7 @@ flang check <файл.flang> [--proof [--json] [--строго] [--записа
 код `2`.
 
 Пробы всех четырёх исходов и умолчания — `flang/proof/probes/strict/`
-(`sh flang/proof/probes/strict/run.sh`).
+(`bootstrap/flang io flang/proof/probes/strict/run.fscript --plan Binary`).
 
 ```bash
 $ flang check привет.flang