feat(self): print batch 2 with the exact integer and the exact fraction

.flangrc

@@ -64,6 +64,7 @@ script.ru-morphology:probe = bootstrap/flang io flang/proof/probes/ru-morphology
 script.ru-morphology:forgery = bootstrap/flang io flang/proof/probes/ru-morphology/run.fscript --plan Forgery
 script.ru-morphology:snap = bootstrap/flang io flang/proof/probes/ru-morphology/run.fscript --plan Snap
 script.ru-syllogism:demo = bootstrap/flang io flang/experimental/ru-syllogism-demo.fscript --plan Demo --timeout 600000
+script.ring-rules:probe = bootstrap/flang io flang/proof/probes/ring-laws/run.fscript --plan Binary --max-steps 4000000000 --timeout 1800000
 script.translation:check = bootstrap/flang io flang/translation/run.fscript --plan Проверка
 script.proved-share:check = bootstrap/flang io flang/proof/share-measure.fscript --max-steps 4000000000 --timeout 900000 -- --set corpus
 script.proved-share:forgery = bootstrap/flang io flang/proof/share-ledger-forgery.fscript --max-steps 4000000000 --timeout 900000

.github/workflows/binary.yml

@@ -407,9 +407,9 @@ jobs:
       # оболочке или на Python останавливает работу в тот же день.
       #
       # Замер на этом дереве: 17,7 с и 471 МБ, двоичному хватает `git` и `wc`.
-      # Предел шагов поднят с умолчания (10 млн): опись обходит 190 файлов и
+      # Предел шагов поднят с умолчания (10 млн): опись обходит 199 файлов и
       # семнадцать языков, и в умолчание не укладывается.
-      # СНЯТО 2026-10-04 файлов *.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 = 190 (перенос scripts/guards/proved-share-vs-tree.sh и guards-without-forgery-probe.sh на планы снял два файла вне flang; до них 192, снято 2026-10-04) (перенос flang/translation/run.sh на план flang/translation/run.fscript снял один файл вне flang; до него 193, снято 2026-10-04) (задачи 0049 и 5821: сняты flang/scripts/word-occupancy.mjs, scripts/seed/seed-freshness.sh и scripts/guards/version-derivations-guard.sh — у каждого двойник на flang доказан прогоном; до них 196, снято 2026-10-04) (две честные пары сличителя перевода: отбор по признаку и объявленная мера; до них 194, снято 2026-09-17) (задача 5821: семь проверок scripts/** стали планами; до них 251, снято 2026-09-27) (задача 5821: семь скриптов scripts/** переехали с оболочки на flang; до них 256, снято 2026-09-17)
+      # СНЯТО 2026-10-04 файлов *.sh,*.c,*.h,*.py,*.html,*.css,*.awk,*.erl,*.js,*.mjs,*.java,*.cs,*.ex,*.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,.githooks/commit-msg,.githooks/pre-commit = 199 (мера починена: правило «Язык пути» описи знает только *.ex, а водители пробы на .exs и .ts языком не считает, зато считает .githooks/commit-msg и .githooks/pre-commit — их в мере не было; по прежней мере вышло бы 198, снято 2026-10-04) (задача 1413: семь водителей пробы flang/proof/probes/exact-integer-in-targets/drivers/* на C, C++, Java, C#, Go, Rust и JS — судья, который считает десятичную запись точного целого на самой цели; до них 190, снято 2026-10-04) (перенос scripts/guards/proved-share-vs-tree.sh и guards-without-forgery-probe.sh на планы снял два файла вне flang; до них 192, снято 2026-10-04) (перенос flang/translation/run.sh на план flang/translation/run.fscript снял один файл вне flang; до него 193, снято 2026-10-04) (задачи 0049 и 5821: сняты flang/scripts/word-occupancy.mjs, scripts/seed/seed-freshness.sh и scripts/guards/version-derivations-guard.sh — у каждого двойник на flang доказан прогоном; до них 196, снято 2026-10-04) (две честные пары сличителя перевода: отбор по признаку и объявленная мера; до них 194, снято 2026-09-17) (задача 5821: семь проверок scripts/** стали планами; до них 251, снято 2026-09-27) (задача 5821: семь скриптов scripts/** переехали с оболочки на flang; до них 256, снято 2026-09-17)
       #
       # СКОЛЬКО ИЗ ЭТИХ ПЯТИДЕСЯТИ МИЛЛИОНОВ УХОДИТ, замер 29 августа 2026.
       # Меряно перебором самого предела: при 10 500 000 опись умирает
@@ -679,9 +679,10 @@ jobs:
   # Шаги «Run kernel examples» и «Run stdlib examples» выше зовут `flang test`
   # на двух
   # каталогах, и `flang/self/` среди них нет. Каталог при этом не пустой: 64
-  # файл и 5297 примеров, объявленных внутри функций.
+  # файл и 5405 примеров, объявленных внутри функций.
   # СНЯТО 2026-09-17 файлов flang/self/*.flang = 64
-  # СНЯТО 2026-10-03 примеров-в flang/self/*.flang = 5297
+  # СНЯТО 2026-10-05 примеров-в flang/self/*.flang = 5405 (ADR-0062, задача 5243: примеры сокращения дроби, НОД и порока канона; до них 5373, снято 2026-10-04) (задача 1908: сорок шесть примеров у вычитания с займом, умножения столбиком, сравнения и заслона канона — 36 в flang/self/interpret.flang и 11 в flang/self/types.flang, один прежний снят; до них 5327, снято 2026-10-04) (задача 1412: четыре примера у правил кольца над точным целым в flang/self/proof-kernel.flang; до них 5323, снято 2026-10-04) (задача 7182: пять примеров у печати зависимостей Makefile; до них 5318) (задача 1908: примеры точного целого
+  # в типизаторе и вычислителе; до них 5297, снято 2026-10-03)
   #
   # Единственная работа, которая до них добралась бы, — `korpus` ниже
   # (`flang test . --ledger` внутри `обход-примеров.sh`). Она закрыта условием
@@ -1841,9 +1842,20 @@ jobs:
           LC_ALL: C.UTF-8
           FLANG_BIN: ${{ github.workspace }}/bootstrap/flang
 
-      - name: Check the exact integer is still absent
+      - name: Check the exact integer type is in the compiler
         run: bootstrap/flang io flang/proof/probes/exact-integer/run.fscript --plan Binary
 
+      - name: Check the exact fraction type is in the compiler
+        run: bootstrap/flang io flang/proof/probes/exact-fraction/run.fscript --plan Binary
+
+      # Цель без инструментов проба печатает со знаком «?» и на код возврата не
+      # влияет, поэтому бегунок без go или dotnet её не валит. Зелёных столько,
+      # сколько целей РЕАЛЬНО собрано и запущено, — число стоит в ИТОГЕ.
+      - name: Check the exact integer adds beyond 2^53 in every print target
+        run: cd flang/proof/probes/exact-integer-in-targets && ../../../../bootstrap/flang io run.fscript --timeout 180000
+        env:
+          LC_ALL: C.UTF-8
+
       - name: Check user programs are replayed by the checker
         run: cd flang/proof/probes/user-programs && ../../../../bootstrap/flang io run.fscript
         env:
@@ -1877,8 +1889,17 @@ jobs:
       # кодом и выводом знак в знак. Работа `guards-selftest` на раннере идёт
       # 6 мин 47 с — 7 мин 01 с (заходы 37223001273 и 37223864296), и это
       # число на раннере не мерено: 175,5 с — пол, снятый на этой машине.
+      #
+      # ПОРОГ МОЛЧАНИЯ НАЗВАН, потому что умолчание хозяина (30 с) проба
+      # перешагнула: 5 октября 2026 (заходы 37378258270 и 37378267607, дерево
+      # с точным дробным) прогон `hashmap.flang` без памятки молчал дольше
+      # 30 с, и хозяин оборвал его — FLANG_IO_TIMEOUT, код 3, «did not start».
+      # На этой машине тот же прогон идёт 27 с: край, а не запас. Без памятки
+      # ядро считает каждый вызов заново — это самый долгий из шести прогонов
+      # по построению, и порог ему нужен выше умолчания. С порогом 600 с проба
+      # здесь прошла за 174,0 с, пик 0,36 ГиБ, код 0 (6 октября 2026).
       - name: Check kernel memo does not change the answer
-        run: bootstrap/flang io flang/proof/probes/kernel-memo/run.fscript
+        run: bootstrap/flang io flang/proof/probes/kernel-memo/run.fscript --timeout 600000
         env:
           FLANG_BIN: ${{ github.workspace }}/bootstrap/flang
 

.github/workflows/ci.yml

@@ -164,8 +164,8 @@ permissions:
 
 jobs:
   # ДИСЦИПЛИНА СЕМЕНИ идёт ПЕРВОЙ. Она читает `.flang` дерева и `bootstrap/*.c`
-  # планом на flang — 1128 файлов; разбор в задаче 5821.
-  # СНЯТО 2026-10-04 файлов *.flang = 1128 (модуль русской морфологии; до него
+  # планом на flang — 1152 файлов; разбор в задаче 5821.
+  # СНЯТО 2026-10-05 файлов *.flang = 1152 (задача 5243: тринадцать программ набора проб точного дробного; до них 1139, снято 2026-10-04) (партия печати 2: десять программ проб точного целого и одна проба кольцевых законов; до них 1128, снято 2026-10-04) (модуль русской морфологии; до него
   # 1127, снято 2026-10-04) (задача 1116: три программы пробы
   # поверхностей вердикта о прогонах и задача 1113: семь программ пробы
   # порядка списков ввоза; до них 1117, снято 2026-10-04) (две честные пары