Сверка печати ловит правку руками, а не обновление языка

.github/workflows/check.yml

@@ -24,6 +24,21 @@ permissions:
 
 env:
   GO_VERSION: "1.26.5"
+  # ВЕРСИЯ КОМПИЛЯТОРА ЗАКРЕПЛЕНА, и это не осторожность, а условие того, чтобы
+  # сверка печати проверяла то, что обещает.
+  #
+  # Шаг ниже клонировал master языка. Язык живёт своей жизнью и меняет, среди
+  # прочего, нумерацию временных в напечатанном коде: `t700` против `t686`,
+  # `e413` против `e399`. От этого цель `сверка` краснела сама собой, а её
+  # собственный комментарий продолжал уверять, что «расхождение значит, что
+  # кто-то правил вывод компилятора руками». Руками никто не правил — просто
+  # компилятор в прогоне был не тем, которым напечатано дерево.
+  #
+  # Теперь берётся ВЫПУЩЕННЫЙ тег: тот же двоичный, что ставится формулой, и
+  # тот же, которым перепечатано ui-flang/out-go. Язык выпустил новую версию —
+  # тег здесь поднимается ОДНОЙ правкой вместе с перепечаткой, и это видно в
+  # истории, а не случается молча между двумя прогонами.
+  FLANG_TAG: "v0.7.10"
 
 jobs:
   linux:
@@ -49,8 +64,9 @@ jobs:
       # клона, как написано в README.
       - name: Компилятор flang
         run: |
-          git clone --depth 1 https://github.com/digitable-lol/flang.git /tmp/flang-src
+          git clone --depth 1 --branch "$FLANG_TAG" https://github.com/digitable-lol/flang.git /tmp/flang-src
           make -C /tmp/flang-src/bootstrap
+          "/tmp/flang-src/bootstrap/flang" --version
           echo "/tmp/flang-src/bootstrap" >> "$GITHUB_PATH"
 
       - name: Лицензионный сторож

core/out-c/flang_runtime.c

@@ -37,6 +37,20 @@
 #define FL_POSIX_STACK 1
 #endif
 
+/*
+ * ТОТ ЖЕ РАЗРЫВ, ЧТО У `flang_repl.c` (см. его комментарий выше по дереву и
+ * `docs/zettel/a-feature-macro-that-opens-on-glibc-closes-on-darwin.md`):
+ * `_POSIX_C_SOURCE` на Darwin ЗАКРЫВАЕТ то, что на glibc открывает. Здесь под
+ * ним `sigaction`/`sigemptyset` (окно наблюдения) и `getrlimit` (предел
+ * стека) — не проверено на настоящем Darwin (машины нет), но фикс безвреден
+ * там, где не нужен: `_DARWIN_C_SOURCE` только поднимает видимость, ничего
+ * не забирая. Без него этот файл рискует тем же самым `error: call to
+ * undeclared function`, только с другим именем функции.
+ */
+#if defined(__APPLE__) && !defined(_DARWIN_C_SOURCE)
+#define _DARWIN_C_SOURCE
+#endif
+
 #if defined(__wasm__) && !defined(FL_NO_WASM_STACK)
 #define FL_WASM_STACK 1
 #endif

ui-flang/Makefile

@@ -59,8 +59,14 @@ all: проверка печать
 	  ( cd out-go/$$m && test -z "$$(gofmt -l .)" && go vet ./... && go build ./... ) || exit 1; \
 	done
 
-# Сверка: перепечатать во временный каталог и сравнить с деревом. Расхождение
-# значит, что кто-то правил вывод компилятора руками.
+# Сверка: перепечатать во временный каталог и сравнить с деревом.
+#
+# Расхождение значит одно из двух, и различать их обязан тот, кто читает отказ:
+# либо кто-то правил вывод компилятора руками, либо ПЕЧАТАЛ ДРУГОЙ КОМПИЛЯТОР.
+# Второе случалось: прогон брал master языка, тот менял нумерацию временных
+# (`t700` против `t686`), и сверка краснела, хотя руками никто ничего не
+# трогал. Поэтому версия компилятора в прогоне закреплена тегом выпуска
+# (FLANG_TAG в .github/workflows/check.yml), а дерево перепечатывается им же.
 сверка:
 	@rm -rf .перепечатка && mkdir -p .перепечатка
 	@for m in $(МОДУЛИ); do \