Язык научился читать файл и ходить в сеть, не перестав быть чистым

Это то, ради чего затевалось всё остальное: до сих пор на flang нельзя было ни
прочитать файл, ни сходить в сеть, и это было записано недостачей в README, в
docs/overview.ru.md и на витрине Rosetta.

РЕШЕНИЕ ИЗ КОНТРАКТА, ДОСЛОВНО. Язык остаётся ЧИСТЫМ. `вариант «Прочитать файл»
с путь равным "адрес.txt"` не читает файл — оно строит ОПИСАНИЕ действия,
обычное значение обычной суммы типов. Исполняет хозяин: среда, в которую
напечатан модуль. Отсюда всё остальное.

НАБОР ПОРУЧЕНИЙ ЗАКРЫТ И РАВЕН ПЯТИ: прочитать файл, записать файл, запрос по
сети, текущее время, случайное число. Это утверждение, а не текущее состояние:
каждое поручение обязан уметь исполнить КАЖДЫЙ из восьми хозяев, включая
напечатанного в C. Шестое пришлось бы либо писать восемь раз, либо объявлять
«кое-где не работает» — а это уже не контракт.

ЭТО НЕ МОНАДА, И ЭТО НАЗВАНО ПРЯМО. Монада ввода-вывода требует типа
`Действие А`, параметрического по результату: без параметра не выразить
`соединение`. Параметрических типов ещё нет, и ждать их было нельзя — без
ввода-вывода язык не читает файл сегодня. Вместо монады — машина продолжений:

  монада прячет продолжение в замыкании;
  здесь продолжение — ЗНАЧЕНИЕ объявленного автором типа.

Это дефункционализация монады, сделанная руками, — тот самый приём, которым
PLAN.md собирается печатать функции первого класса. Что потеряно, перечислено
четырьмя пунктами в cat/SPEC.md: связывание не выражение, тип результата
поручения не отслеживается, продолжение лежит в джокере `любое`, законов монады
нет. Когда появится полиморфизм, форма `в монаде` будет разворачиваться
компилятором в ту же машину — написанное сегодня продолжит работать.

ГЛАВНОЕ СВОЙСТВО — ПРОВЕРЯЕМОСТЬ БЕЗ ЭФФЕКТОВ. Описание сравнивается с
ожидаемым описанием, поэтому функция с вводом-выводом проверяется ОБЫЧНЫМ
примером. В examples/io/link-report.flang десять примеров, включая пути отказа,
и ни один не трогает ни файла, ни сокета. Там же второе следствие чистоты: все
семь функций программы, ходящей в сеть, ДОКАЗАНЫ ТОТАЛЬНЫМИ — завершается
описание, а ждёт ответа хозяин.

ОДНО НОВОЕ СЛОВО. `план` объявляется теми же тремя строками, что процесс:
`состояние`, `начинает с`, `обрабатывает`, — потому что форма у них одна и та
же, и разные слова для одинаковых строк заставили бы помнить два словаря.
Занятость проверена grep-ом по всем .flang и .fts: «план» и «plan» — ноль голых
вхождений. Слово «шаг» ОТВЕРГНУТО: семь голых вхождений (поле записи и
переменная в core/lexer.flang, накопитель свёртки в rosetta/fibonacci.flang) —
ключевое слово сломало бы два файла, к вводу-выводу отношения не имеющих.
Таблица поправлена в обоих местах: src/lexer.mjs и self/lexer.flang.

Имена вариантов проверялись отдельно, хоть ключевыми словами и не становятся:
«Готово» занято в core/evaluate.flang, «Начало» — в self/lexer.flang, поэтому в
словаре «Конец работы» и «Пока ничего».

ХОЗЯИН НА NODE — НАСТОЯЩИЙ. src/host/node.mjs: node:fs, fetch, часы, mulberry32
от семени. Все эффекты языка живут ровно в этом файле, пять функций. Полномочия
принадлежат хозяину и сужаются ключами (--no-net, --no-write, --in-dir …);
запрещённое поручение возвращается программе откликом «Сбой», а не падением —
«сеть выключили» и «сеть не ответила» обязаны идти одним путём.

ЖИВОЙ ПРОГОН. flang io на examples/io/link-report.flang читает адрес.txt, идёт
по адресу настоящим сокетом, пишет отчёт, печатает журнал поручений. Тот же
план прогоняется поддельным хозяином из списка откликов — журналы сравнимы
напрямую.

ПЕЧАТЬ УЖЕ РАБОТАЕТ ВО ВСЕХ ВОСЬМИ ЦЕЛЯХ: план — это две обычные функции и три
обычные суммы. Проверено сборкой: emit --target c, cc -std=c99 -Wall -Wextra
-Werror -pedantic, и напечатанный C выдаёт то же описание поручения, что
интерпретатор. Чего не хватает семи целям — цикла хозяина и пяти исполнителей —
расписано таблицей в cat/SPEC.md, по строке на цель, с указанием, чего нет в
стандартной библиотеке (HTTP в C и Rust) и что с этим делать.

Словарь приписывается программе только по употреблению — программа без
ввода-вывода остаётся побайтово прежней, иначе неподвижная точка сошлась бы к
другому AST. В types.mjs добавлены ровно две строки: импорт и вызов; сама
проверка плана живёт в io.mjs.

Диагностики свои, а не общий FLANG_TYPE: FLANG_PLAN, FLANG_UNKNOWN_PLAN,
FLANG_IO, FLANG_IO_LIMIT, FLANG_IO_DENIED.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01P6ehGNnEcrkCK1V5iMHNYi

Author: Marat Zimnurov

README.md

@@ -1026,9 +1026,14 @@ attaching a solver to the verification conditions is an open task, not a feature
   Higher-order work is covered by `отобразить` / `отфильтровать` / `свёртка`, which take a *body*
   rather than a function. The price is that exponential objects are inexpressible, and with them
   part of the category constructions.
-- Effects are described, not performed. The language is pure; work with a network or a file is
-  meant to be a description of an action that the host executes. The I/O monad is not
-  implemented, so today the host does that work — as `examples/library-api/host/` shows.
+- Effects are described, not performed — and this works: `вариант «Прочитать файл» с путь
+  равным …` builds a value, and the host executes it (`flang io`, `flang/src/host/node.mjs`).
+  There are five orders — read a file, write a file, make a network request, read the clock,
+  draw a random number — and the set is closed. There is no I/O monad, though: a monad needs
+  parametric polymorphism, so sequencing is expressed by a continuation machine where the
+  continuation is a declared value rather than a hidden closure. How that differs from a monad,
+  and what changes once polymorphism lands, is in `flang/cat/SPEC.md`. The execution layer
+  exists for one target out of eight (Node); emitting a program with a plan works for all eight.
 - No dictionaries, no arrays with random access, no bitwise operations. Table-driven dynamic
   programming (Coin Change, Edit Distance) does not transfer; a dictionary is a list of pairs.
 - The totality analysis knows structural decrease only. A number getting smaller is not decrease,

README.ru.md

@@ -1038,9 +1038,14 @@ node --test flang/test/core-json.test.mjs
   разрешимым. Всё, ради чего обычно берут высший порядок, закрывают `отобразить` /
   `отфильтровать` / `свёртка` — они принимают *тело*, а не функцию. Цена — экспоненциальные
   объекты невыразимы, а вместе с ними часть категорных конструкций.
-- Эффекты описываются, а не выполняются. Язык чистый; работа с сетью или файлами задумана как
-  построение описания действия, которое исполняет хозяин. Монада ввода-вывода не реализована,
-  поэтому сегодня эту работу делает хозяин — как в `examples/library-api/host/`.
+- Эффекты описываются, а не выполняются, и это работает: `вариант «Прочитать файл» с путь
+  равным …` строит значение, а исполняет его хозяин (`flang io`, `flang/src/host/node.mjs`).
+  Поручений пять — чтение и запись файла, запрос по сети, время, случайное число, — набор
+  закрыт. Монады ввода-вывода при этом НЕТ: она требует параметрического полиморфизма, поэтому
+  последовательность действий выражается машиной продолжений, где продолжение объявлено
+  значением, а не спрятано в замыкании. Чем это отличается от монады и что изменится, когда
+  полиморфизм появится, — `flang/cat/SPEC.md`, раздел «Эффекты и HTTP». Слой исполнения сделан
+  для одной цели из восьми (Node); печать программы с планом работает во всех восьми.
 - Нет словарей, нет массивов с произвольным доступом, нет побитовых операций. Табличное
   динамическое программирование (Coin Change, Edit Distance) не переносится; словарь — это список
   пар.

docs/overview.ru.md

@@ -196,9 +196,14 @@ npm install -g @digitable-lol/fts
 задачей.
 
 **Эффекты выражаются описанием, а не выполняются.** Язык чистый; работа с сетью
-или файлами задумана как построение описания действия, которое исполняет
-хозяин — среда, в которую напечатан модуль. На момент этой редакции монада
-ввода-вывода не реализована.
+или файлами — это построение описания действия, которое исполняет хозяин, среда,
+в которую напечатан модуль. Сделано: пять поручений (чтение и запись файла,
+запрос по сети, время, случайное число), объявление `план`, хозяин на Node и
+команда `flang io`. Функции, строящие поручения, проверяются обычными примерами
+и остаются тотальными — сеть в язык не входит. Монады ввода-вывода при этом нет:
+она требует параметрического полиморфизма, и вместо неё — машина продолжений
+(`flang/cat/SPEC.md`, «Чем это не монада»). Слой исполнения написан для одной
+цели из восьми.
 
 ## См. также
 

examples/library-api/README.md

@@ -38,7 +38,7 @@ examples/library-api/
 |---|---|---|
 | **FTS** (`domain/`) | тариф штрафа, право выдать книгу | это правят не программисты; у правил есть примеры, у права — сертификат |
 | **flang** (`lib/`, `stdlib/`) | разбор ISBN и строки запроса, отбор, сводка, печать карточки | FTS для этого слишком узок: у утилиты нет ни строк, ни списков, ни рекурсии |
-| **Node** (`host/`) | HTTP, маршруты, хранилище, percent-декодирование | у языка нет эффектов, монады ввода-вывода и функций первого класса |
+| **Node** (`host/`) | HTTP-сервер, маршруты, хранилище, percent-декодирование | сервер — не эффект, а ожидание входящих: поручения такого рода в языке нет и не планируется |
 
 Граница проведена по одному правилу: **если у куска логики может быть пример —
 он уезжает в модель или в модуль языка**, где пример выполняется набором. На
@@ -146,8 +146,14 @@ node -e 'import("./out-js/prikladnoy_sloy.js").then(m => console.log(m.kodVeren(
 
 ## Где проходит граница честности
 
-HTTP на flang не написан и написан быть не может. В языке нет эффектов, нет
-монады ввода-вывода и нет функций первого класса; `host/server.mjs` — обычный
+HTTP на flang не написан и написан быть не может. `host/server.mjs` — обычный
 модуль Node, и это не обходной путь, а устройство. Язык отвечает за то, что
 происходит с данными, и отвечает за это с примерами и доказанным завершением.
 Всё остальное — работа хозяина.
+
+С 7 августа 2026 у языка появились эффекты — описанием, которое исполняет
+хозяин (`flang/cat/SPEC.md`, «Эффекты и HTTP»). Здесь это ничего не меняет, и
+причина стоит того, чтобы её назвать: набор поручений закрыт и описывает
+ИСХОДЯЩИЕ действия — прочитать файл, сходить по адресу. Сервер — это обратное:
+ожидание входящих. Поручения «слушать порт» в наборе нет и не будет, потому что
+исполнить его обязан был бы каждый из восьми хозяев, включая напечатанного в C.

examples/library-api/host/server.mjs

@@ -6,10 +6,15 @@
  *
  * Что здесь есть и почему именно здесь: сокет, маршруты, коды ответов,
  * percent-декодирование, чтение тела запроса, хранилище. Ничего из этого в
- * flang не выражается — у языка нет эффектов, нет монады ввода-вывода и нет
- * функций первого класса, а значит нет и способа написать обработчик. Это не
- * временное состояние и не недоделка: язык сознательно остановлен там, где
- * начинается внешний мир.
+ * flang не выражается, и это не временное состояние: язык сознательно
+ * остановлен там, где начинается внешний мир.
+ *
+ * У языка с 7 августа 2026 эффекты есть — описанием, которое исполняет хозяин
+ * (`flang/cat/SPEC.md`, «Эффекты и HTTP»). Здесь это ничего не меняет, и
+ * причина в направлении: набор поручений закрыт и описывает ИСХОДЯЩИЕ действия
+ * («прочитать файл», «сходить по адресу»). Сервер — обратное: ожидание
+ * входящих. Поручения «слушать порт» в наборе нет и не будет — исполнить его
+ * обязан был бы каждый из восьми хозяев, включая напечатанного в C.
  *
  * Что здесь СОЗНАТЕЛЬНО отсутствует, хотя написать это на JavaScript было бы
  * на пять строк короче:

flang/PLAN.md

@@ -80,6 +80,16 @@
 2. Функции первого класса ──────┴─→ 5.
 ```
 
+Стрелка «3 → 4» оказалась не блокирующей: ввод-вывод сделан ДО монады, машиной
+продолжений вместо связывания (см. пункт 4). Порядок от этого не сломался —
+монада, когда появится, встанет поверх той же машины, — но честнее показать
+зависимость такой, какой она вышла:
+
+```
+1. Параметрический полиморфизм ──→ 3. Монада ──→ 4. форма «в монаде» поверх готовой машины
+4. Ввод-вывод (машина продолжений) ✅ ──→ 6. Отказоустойчивость
+```
+
 **1. Параметрический полиморфизм.** Без него `Возможно` для чисел и для строк —
 два разных типа с разными именами конструкторов, а `M(M)` — третий, написанный
 руками. Из-за этого невыразима монада, и из-за этого же stdlib дублируется.
@@ -107,10 +117,25 @@
 разворачивается компилятором в вызовы `возврат` и `соединение`; функций первого
 класса ей не нужно, потому что тело известно синтаксически.
 
-**4. Ввод-вывод как монада.** Язык остаётся чистым: `запросить` строит ОПИСАНИЕ
-действия, исполняет его хозяин. Нужен слой исполнения на каждую цель — по разу,
-как рантайм. Здесь же появляется то, ради чего всё: программа на flang сможет
-читать файл и ходить в сеть, не переставая быть проверяемой.
+**4. Ввод-вывод. 🟡 Сделан — но НЕ монадой.** Язык остался чистым: описание
+действия — обычное значение (`«Поручение»`, пять вариантов, набор закрыт), а
+исполняет его хозяин. Программа на flang читает файл, ходит в сеть и пишет
+результат, не переставая быть проверяемой: примеры на функциях с вводом-выводом
+сравнивают ОПИСАНИЕ с ожидаемым описанием, и все они остаются тотальными.
+
+Монады здесь нет и не могло быть: она требует пункта 1 — типа `Действие А`,
+параметрического по результату. Ждать его не стали, потому что без
+ввода-вывода язык не читает файл сегодня. Вместо монады — машина продолжений:
+продолжение не спрятано в замыкании, а объявлено значением. Это
+дефункционализация монады, сделанная руками; когда появится пункт 1, форма
+`в монаде` будет разворачиваться компилятором в ту же машину, и написанное
+сегодня продолжит работать. Подробности и цена — `flang/cat/SPEC.md`, раздел
+«Чем это не монада».
+
+Слой исполнения сделан для одной цели из восьми — Node. Печать программы с
+планом при этом работает во всех восьми (проверено сборкой C), потому что план —
+это две обычные функции и три обычные суммы; чего не хватает остальным семи,
+расписано таблицей в том же разделе контракта.
 
 **5. Стандартная библиотека, настоящая.** Сейчас 76 функций, и они дублируются
 по типам. С (1) и (2) появляются свёртки, отображения и фильтры, работающие с