Оболочка в бинарнике из brew: язык можно потрогать сразу после установки

Поставив компилятор через brew или asdf, потрогать язык было нельзя: бинарник
читает JSON со stdin и отвечает JSON — интерфейс для программ, не для человека.
Оболочка была только в Node-версии, то есть ровно там, где Node и так есть.

Вычислителя в этом бинарнике нет — в нём лексер, разбор, типы, завершаемость и
печать. Поэтому выражение вычисляется единственным честным способом: сессия
печатается в C, собирается системным `cc` против рантайма, поставленного рядом
формулой, и запускается. Компилируется только сессия — рантайм уже собран.

Без `cc` оболочка НЕ выключается. Она продолжает делать то, что бинарник умеет,
и говорит об этом один раз при запуске, а не на каждой строке:

  вычислять нечем: компилятора C нет (ни $FLANG_CC, ни cc, ни gcc, ни clang).
  Разбор, типы и завершаемость проверяются по-прежнему; выражение отвечает
  «проверено».

Отдельным файлом, а не внутри прогонщика, потому что обещания у них разные:
прогонщик остаётся переносимым C99, который ничего не спрашивает у мира, а
оболочка обязана спросить, где `cc` и где каталоги установки. И печатается она
по просьбе — осмысленна ровно у одной программы, у самого компилятора: только у
него есть точки входа, которые оболочка зовёт.

НЕПОДВИЖНАЯ ТОЧКА СОШЛАСЬ, и файлов в ней стало семь вместо шести — оболочка
встала в сверку наравне с остальными, а не сбоку.

ПОПУТНО НАЙДЕНА ДЫРА В ПРОВЕРКЕ, и она дороже самой оболочки. «Долги» в
self/SPEC.md записывают, сколько в каждом слое функций и сколько из них
тотальных, и каждая обычная там названа с причиной — то есть это контракт. Но
тест сверял только два слоя из пяти, а числа для них стояли константами в самом
тесте. Итог: «Долги» разошлись с кодом сразу у трёх слоёв — parser, types и
emit-c, — и ни один прогон этого не заметил.

Теперь тест читает числа ИЗ «Долгов» и сверяет все пять слоёв. Список, который
обязан совпадать с кодом, но лежит отдельно от него, расходится — единственная
защита в том, чтобы брать число оттуда, где оно записано.

Проверено настоящим релизным бинарником: объявление принято с доказательством
завершения, «Удвоить» от 21 дало 42, «разложить "мир" на символы» — три буквы,
ошибка типов названа с кодом, строкой и столбцом ВВОДА. Отдельно проверено
поведение без `cc` в PATH. Весь набор: 71 / 416 / 1544, ноль падений.

Author: Marat Zimnurov

README.md

@@ -61,12 +61,15 @@ an install path. Neither needs anything but a C compiler. This is how self-hosti
 ship — Go carried generated C for years, Nim still does.
 
 **Be clear about what that binary is.** It is the five layers of [`flang/self/`](flang/self):
-lexer, parser, types, totality, printing to C. There is no evaluator among them, so running a
-program, running its examples or opening a shell needs the full toolchain below.
+lexer, parser, types, totality, printing to C. There is no evaluator among them — which is why
+`flang repl` there evaluates the only honest way this binary can: it prints the session to C,
+builds it with the system `cc` against the runtime installed beside it, and runs that. Without a
+`cc` the shell does not switch off — it keeps checking parse, types and totality, and says so
+once. Running a program or its examples non-interactively still needs the full toolchain below.
 
 **The full toolchain does need Node.js 20 or newer**, and here is exactly why: the interpreter,
-the shell, the language server, the MCP server and seven of the eight backends exist only in
-JavaScript. The self-hosted compiler — the one in the release — prints to **C and nothing else**.
+the language server, the MCP server and seven of the eight backends exist only in JavaScript. The
+self-hosted compiler — the one in the release — prints to **C and nothing else**.
 
 ```bash
 npm install -g @digitable-lol/fts

README.ru.md

@@ -64,11 +64,15 @@ make                        # cc -std=c99 -Wall -Wextra -Werror -pedantic -O2
 сгенерированный C, Nim возит до сих пор.
 
 **Стоит назвать прямо, что это за бинарник.** Это пять слоёв [`flang/self/`](flang/self): лексер,
-парсер, типы, завершаемость, печать в C. Вычислителя среди них нет, поэтому запустить программу,
-прогнать её примеры или открыть оболочку можно только полным инструментарием — он ниже.
+парсер, типы, завершаемость, печать в C. Вычислителя среди них нет — и `flang repl` здесь
+вычисляет единственным способом, каким этот бинарник может: печатает сессию в C, собирает её
+системным `cc` против рантайма, поставленного рядом, и запускает. Без `cc` оболочка не
+выключается: она по-прежнему проверяет разбор, типы и завершаемость и говорит об этом один раз.
+Запустить программу или прогнать её примеры не в оболочке можно только полным
+инструментарием — он ниже.
 
 **Полному инструментарию Node.js 20 или новее нужен**, и вот почему именно: интерпретатор,
-оболочка, языковой сервер, сервер MCP и семь бэкендов из восьми существуют только на JavaScript.
+языковой сервер, сервер MCP и семь бэкендов из восьми существуют только на JavaScript.
 Самоприменяющийся компилятор — тот, что лежит в релизе, — печатает **в C и никуда больше**.
 
 ```bash

docs/overview.ru.md

@@ -157,8 +157,13 @@ Node.js для установки не нужен. Такой способ ра
 самоприменяющиеся языки: Go долго возил сгенерированный C, Nim возит до сих пор.
 Проблема начальной загрузки остаётся у тех, кто развивает сам язык.
 
-Полный инструментарий — восемь бэкендов, интерпретатор, оболочка `flang repl`
-и сервер MCP — распространяется через npm и требует Node:
+Оболочка `flang repl` есть и здесь: вычислителя в бинарнике нет, поэтому она
+печатает сессию в C, собирает её системным `cc` против поставленного рядом
+рантайма и запускает; без `cc` она продолжает проверять разбор, типы и
+завершаемость.
+
+Полный инструментарий — восемь бэкендов, интерпретатор и сервер MCP —
+распространяется через npm и требует Node:
 
 ```bash
 npm install -g @digitable-lol/fts

flang/self/SPEC.md

@@ -195,7 +195,7 @@ AST** и выдаёт **те же диагностики и тот же верд
 
 ### `self/emit-c.flang`
 
-Состояние: 328 функций, 190 тотальных, 138 обычных. Напечатанный C совпадает с
+Состояние: 329 функций, 191 тотальная, 138 обычных. Напечатанный C совпадает с
 эталоном (`src/emit/c.mjs`) **побайтово** на 37 программах `.flang` репозитория
 (`flang/stdlib`, `flang/examples`, `flang/core`, включая собственный исходник) и
 на 17 моделях `.fts` через `compat.mjs` — вместе с постусловиями, которых в
@@ -273,7 +273,7 @@ AST** и выдаёт **те же диагностики и тот же верд
 
 ### `self/parser.flang`
 
-Состояние: 372 функции, 147 тотальных, 225 обычных. AST совпадает с эталоном
+Состояние: 373 функции, 147 тотальных, 226 обычных. AST совпадает с эталоном
 (`src/parser.mjs`) **побайтово** — то есть `«Печать значения»` от построенного
 узла и `JSON.stringify(parse(исходник))` дают одну и ту же строку — на 38
 исходниках `.flang` репозитория (`flang/stdlib`, `flang/core`,
@@ -395,7 +395,7 @@ AST означала бы, что из неё можно что-то постр
 
 ### `self/types.flang`
 
-Состояние: 276 функций, 148 тотальных, 128 обычных. Множество диагностик
+Состояние: 277 функций, 148 тотальных, 129 обычных. Множество диагностик
 совпадает с эталоном (`src/types.mjs`) — **код, текст сообщения и место (строка
 и столбец), в том же порядке** — на всех 40 файлах `.flang` репозитория
 (`flang/stdlib`, `flang/core`, `flang/examples/leetcode`, `flang/self`, включая

flang/self/emit-c.flang

@@ -2762,6 +2762,8 @@
   «рантайм заголовок»: строка
   «рантайм исходник»: строка
   «исходник прогонщика»: строка
+  «оболочка»: признак
+  «исходник оболочки»: строка
 
 объект «Итог печати»
   «файлы»: список «Файл»
@@ -3180,11 +3182,12 @@
   соединить [(«Без перевода в конце» от «шапка»), "\n\n", («Склеить тела» от «тела»), "\n"] по ""
 
 тотальная функция «Печать Makefile»
-  принимает «файл»: строка, «прогонщик»: признак
+  принимает «файл»: строка, «прогонщик»: признак, «оболочка»: признак
   возвращает строка
   пусть «цель» равно (если «прогонщик» то " flang_cli" иначе "")
-  пусть «правило» равно (если «прогонщик» то (соединить ["\nflang_cli: flang_cli.o $(OBJECTS)\n\t$(CC) $(CFLAGS) -o $@ flang_cli.o $(OBJECTS) $(LDLIBS)\n"] по "") иначе "")
-  соединить ["# Сгенерировано flang (бэкенд C). Флаги здесь — часть контракта бэкенда:\n", "# сгенерированный код обязан собираться без единого предупреждения.\n", "CC ?= cc\n", "CFLAGS ?= -std=c99 -Wall -Wextra -Werror -pedantic -O2\n", "LDLIBS ?= -lm\n", "\n", "OBJECTS = flang_runtime.o ", «файл», ".o\n", "\n", "all: lib", «файл», ".a", «цель», "\n", "\n", "lib", «файл», ".a: $(OBJECTS)\n", "\tar rcs $@ $(OBJECTS)\n", «правило», "\n", "clean:\n", "\trm -f $(OBJECTS) flang_cli.o flang_cli lib", «файл», ".a\n", "\n", ".PHONY: all clean\n"] по ""
+  пусть «объект оболочки» равно (если «оболочка» то " flang_repl.o" иначе "")
+  пусть «правило» равно (если «прогонщик» то (соединить ["\nflang_cli: flang_cli.o", «объект оболочки», " $(OBJECTS)\n\t$(CC) $(CFLAGS) -o $@ flang_cli.o", «объект оболочки», " $(OBJECTS) $(LDLIBS)\n"] по "") иначе "")
+  соединить ["# Сгенерировано flang (бэкенд C). Флаги здесь — часть контракта бэкенда:\n", "# сгенерированный код обязан собираться без единого предупреждения.\n", "CC ?= cc\n", "CFLAGS ?= -std=c99 -Wall -Wextra -Werror -pedantic -O2\n", "LDLIBS ?= -lm\n", "\n", "OBJECTS = flang_runtime.o ", «файл», ".o\n", "\n", "all: lib", «файл», ".a", «цель», "\n", "\n", "lib", «файл», ".a: $(OBJECTS)\n", "\tar rcs $@ $(OBJECTS)\n", «правило», "\n", "clean:\n", "\trm -f $(OBJECTS) flang_cli.o", «объект оболочки», " flang_cli lib", «файл», ".a\n", "\n", ".PHONY: all clean\n"] по ""
 
 // ═══════════════════════════ печать программы ═══════════════════════════
 
@@ -3316,8 +3319,11 @@
   пусть «файлы рантайма» равно [(запись «Файл» с «путь» равным "flang_runtime.h" и «содержимое» равным «заголовок рантайма»), (запись «Файл» с «путь» равным "flang_runtime.c" и «содержимое» равным «исходник рантайма»)]
   пусть «файлы модуля» равно [(запись «Файл» с «путь» равным (соединить «файл» с ".h") и «содержимое» равным («Заголовок модуля» от «файл» и «есть модуль» и «модуль» и «общее»)), (запись «Файл» с «путь» равным (соединить «файл» с ".c") и «содержимое» равным («Исходник модуля» от «файл» и «есть модуль» и «модуль» и «общее» и «состояние» и («тела».«части»)))]
   пусть «с модулем» равно («Слить файлы» от «файлы рантайма» и «файлы модуля»)
+  // Оболочка живёт только рядом с прогонщиком: звать её больше неоткуда.
+  пусть «нужна оболочка» равно (если («настройки».«прогонщик») то («настройки».«оболочка») иначе нет)
   пусть «с прогонщиком» равно (если («настройки».«прогонщик») то («Слить файлы» от «с модулем» и [(«Файл прогонщика» от «есть модуль» и «модуль» и «общее» и «настройки»)]) иначе «с модулем»)
-  пусть «все» равно (добавить (запись «Файл» с «путь» равным "Makefile" и «содержимое» равным («Печать Makefile» от «файл» и («настройки».«прогонщик»))) к «с прогонщиком»)
+  пусть «с оболочкой» равно (если «нужна оболочка» то («Слить файлы» от «с прогонщиком» и [(«Файл оболочки» от «есть модуль» и «модуль» и «общее» и «настройки»)]) иначе «с прогонщиком»)
+  пусть «все» равно (добавить (запись «Файл» с «путь» равным "Makefile" и «содержимое» равным («Печать Makefile» от «файл» и («настройки».«прогонщик») и «нужна оболочка»)) к «с оболочкой»)
   запись «Итог печати» с «файлы» равным «все» и «ошибка» равным («состояние».«ошибка»)
 
 тотальная функция «Слить файлы»
@@ -3328,9 +3334,22 @@
 тотальная функция «Файл прогонщика»
   принимает «есть модуль»: признак, «модуль»: строка, «общее»: «Общее», «настройки»: «Настройки»
   возвращает «Файл»
-  пусть «содержимое» равно (соединить [(«Шапка файла» от «есть модуль» и «модуль» и "прогонщик: JSON на входе, JSON на выходе"), "\n#define FL_PROGRAM_CALL ", («общее».«префикс»), "_call\n\n", («настройки».«исходник прогонщика»)] по "")
+  пусть «просьба» равно (если («настройки».«оболочка») то "#define FL_WITH_REPL 1\n" иначе "")
+  пусть «содержимое» равно (соединить [(«Шапка файла» от «есть модуль» и «модуль» и "прогонщик: JSON на входе, JSON на выходе"), "\n#define FL_PROGRAM_CALL ", («общее».«префикс»), "_call\n", «просьба», "\n", («настройки».«исходник прогонщика»)] по "")
   запись «Файл» с «путь» равным "flang_cli.c" и «содержимое» равным «содержимое»
 
+// Оболочка печатается рядом с прогонщиком, а не внутри него, и линкуется с ним
+// в один бинарник. Порознь они потому, что обещания у них разные: прогонщик —
+// переносимый C99, который ни от чего не зависит и ничего не спрашивает у мира;
+// оболочка обязана спросить, где `cc` и где каталоги установки. И печатается
+// она по просьбе: осмысленна она ровно у одной программы — у самого компилятора
+// flang, потому что только у него есть точки входа, которые она зовёт.
+тотальная функция «Файл оболочки»
+  принимает «есть модуль»: признак, «модуль»: строка, «общее»: «Общее», «настройки»: «Настройки»
+  возвращает «Файл»
+  пусть «содержимое» равно (соединить [(«Шапка файла» от «есть модуль» и «модуль» и "оболочка: «flang repl» для человека"), "\n#define FL_PROGRAM_CALL ", («общее».«префикс»), "_call\n\n", («настройки».«исходник оболочки»)] по "")
+  запись «Файл» с «путь» равным "flang_repl.c" и «содержимое» равным «содержимое»
+
 тотальная функция «Блок настроек»
   принимает «настройки»: «Настройки», «общее»: «Общее»
   возвращает строка