README: репозиторий называется flang — README теперь описывает flang

Заголовок был «FTS — Formal Type Surface», текст только по-английски, слово
flang встречалось ровно один раз — при том что в репозитории лежит ядро FTS,
написанное на самом flang, компиляторы в C и Go, команда `flang emit` и 1073
теста языка.

Что сделано:

- README переписан от языка. Отдельный раздел «How FTS and flang relate»
  объясняет отношение по коду: FTS — поверхность (эталон на TypeScript в
  src/, 3155 строк), flang — язык (flang/src/), FTS компилируется в flang
  мостом compat.mjs, а flang/core/ — это ядро FTS, переписанное на самом
  flang (3444 строки). Неоднозначность названа прямо: ядро на TS остаётся
  рабочей реализацией и эталоном сверки, flang/core/ его пока не заменяет.
- Раздел Status переписан по фактическому прогону `npm test`, а не по старому
  тексту: core 59/59, tools 402 (10 пропусков), flang 1073 (23 пропуска),
  всего 1534 теста, ноль падений. Каждый пропуск — отсутствующий нативный
  тулчейн (Rust, C#, Elixir, Go), названный поимённо. Убрано утверждение
  «пакет приватен, пока приватен репозиторий»: репозиторий публичный, пакета
  в npm нет.
- Инструментов в tools/ девять, а не три, как утверждал README.
- Добавлен README.ru.md; в шапке обоих файлов взаимные ссылки.
- Правило языков в документации: файл без суффикса — английский, X.ru.md —
  русский; README.md и SPEC.md рядом с кодом остаются под своими именами,
  потому что GitHub показывает их как титульную страницу каталога. По правилу
  переименованы docs/language.md и docs/how-it-works.md (написаны по-русски)
  в *.ru.md, ссылки на них поправлены во всех файлах.
- package.json: добавлены repository, homepage, bugs на digitable-lol/flang;
  description говорит про flang; в bin и files добавлен сам flang, которого
  там не было. package-lock.json нёс license Apache-2.0 — пересобран.
- Битая ссылка github.com/digitable/fts (404) в
  editors/tree-sitter-fts/package.json исправлена на digitable-lol/flang.
- CONTRIBUTING.md требовал заметок в MIGRATION.md, которого нет с коммита
  18b4a3b; требования заменены на действующие, добавлен раздел про flang.
  AGENTS.md утверждал, что в репозитории один язык.
- docs/agents.md: путь к клону назывался fts, и было сказано «после
  публикации» без указания, что публикации ещё нет.

LICENSE проверен: дословный текст BSD 2-Clause без преамбулы, GitHub
определяет лицензию верно. Раздел License называет её правильно.

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

Author: claude

AGENTS.md

@@ -1,11 +1,16 @@
 # Agent guidance
 
-This repository implements the Formal Type Surface language.
+This repository holds two languages: **FTS**, the executable-specification
+surface (`.fts`, reference implementation in TypeScript under `src/`), and
+**flang**, the full language over it (`.flang`, implementation in `flang/src/`).
+Read the "How FTS and flang relate" section of `README.md` before changing either.
 
 - Treat canonical JSON and diagnostic codes as compatibility surfaces.
-- Keep language semantics in `src/parser.ts`, `src/validate.ts`, and `src/interpreter.ts`; CLI and MCP are adapters.
-- Keep the core deterministic and free of runtime dependencies, filesystem access, and network access.
+- Keep FTS semantics in `src/parser.ts`, `src/validate.ts`, and `src/interpreter.ts`; CLI and MCP are adapters.
+- Keep flang semantics in `flang/src/`; `flang/bin/flang.mjs` is an adapter. Interpreter, emitters and `compat.mjs` must agree — the tests compare them, so a divergence is a failure, not a note.
+- The TypeScript core is the reference for `flang/core/`, not the other way round. A deliberate divergence goes into the debt list of `flang/core/SPEC.md`, never in silence.
+- Keep both cores deterministic and free of runtime dependencies, filesystem access, and network access.
 - Add parser, validation, and pipeline tests for language changes.
-- Author and emit only `.fts` source; JSON is the sole interchange form.
-- Keep the tools in `tools/` (`ftsc`, `ftsvm`, `ftspec`) outside the core: they are ES modules that consume `dist/src` and are allowed the filesystem access the library is not.
-- Run `npm test` before completing changes.
+- Author only `.fts` and `.flang` source; JSON is the sole interchange form.
+- Keep the tools in `tools/` outside the core: they are ES modules that consume `dist/src` and are allowed the filesystem access the library is not.
+- Run `npm test` before completing changes — all three suites, zero failures. A test skipped for a missing native toolchain is not a passing test.

CONTRIBUTING.md

@@ -7,12 +7,26 @@ npm install
 npm test
 ```
 
-Language changes must include:
+`npm test` is three suites — `test:core` (the FTS core in TypeScript),
+`test:tools` (the tools in `tools/`), `test:flang` (the language). All three must
+pass. A test skipped for a missing native toolchain is not a passing test; set
+`FTS_REQUIRE_TOOLCHAINS` where the toolchain is supposed to exist.
+
+Changes to the FTS surface must include:
 
 - a canonical JSON representation;
 - parser and semantic-validation tests;
 - a schema update when the model changes;
-- compatibility notes in `MIGRATION.md`;
 - an example for user-visible syntax.
 
+Changes to flang must include:
+
+- the corresponding section of `flang/SPEC.md`, updated in the same change;
+- a type-checker or totality test, whichever the change touches;
+- matching behaviour in the interpreter and in every emitter — the emitter tests
+  compare a compiled binary against the interpreter, so a divergence is a failure,
+  not a note;
+- a debt entry in `flang/core/SPEC.md` when a divergence from the TypeScript core
+  is left in deliberately.
+
 Do not add product-specific structures, filesystem access, or network access to the core library. Build integrations as separate packages over the public `FtsDocument` API.

README.md

@@ -11,13 +11,13 @@ Build the repository, then configure an MCP client to launch:
   "mcpServers": {
     "fts": {
       "command": "node",
-      "args": ["/absolute/path/to/fts/dist/src/mcp.js"]
+      "args": ["/absolute/path/to/flang/dist/src/mcp.js"]
     }
   }
 }
 ```
 
-After npm publication, the command can be `fts-mcp`.
+The package is not published to npm yet, so the server is launched by path. After publication the command can be `fts-mcp`.
 
 The server implements MCP revision `2025-06-18` over stdio and exposes only deterministic, read-only tools. It never reads paths supplied by a model; `.fts` source and context are passed explicitly as tool arguments.
 

README.ru.md

@@ -4,7 +4,7 @@ Everything needed to get `.fts` syntax highlighting in editors, on GitHub, and
 on the Digitable courses site (Hugo/Chroma). Four independent grammars, kept
 in sync by hand against the same three sources of truth:
 
-- `docs/language.md` (repo root) - the full language reference.
+- `docs/language.ru.md` (repo root) - the full language reference.
 - `src/natural-parser.ts` (repo root) - the actual keyword list for both the
   Russian and English natural surfaces. If you add/change a keyword there,
   update all four grammars below and re-run the checks in this README.
@@ -17,7 +17,7 @@ tolerate all three:
 1. **Natural surface** (Russian or English, indentation-significant) -
    `категория «Имя»` / `category Name` followed by an indented body of
    `объект`/`морфизм`/`теорема`/`утилита` blocks. This is the recommended,
-   modern surface (see `docs/language.md`).
+   modern surface (see `docs/language.ru.md`).
 2. **Legacy brace surface** - `category Name { structure X { a: string } }`,
    kept for backward compatibility (`examples/task-status.fts`,
    `examples/socrates.fts`).

docs/agents.md

@@ -11,7 +11,7 @@
   <rules>
     <!--
       FTS has three surfaces that appear in real .fts files (see
-      docs/language.md and tools/ftsc/src/parse-module.mjs in the fts-upstream
+      docs/language.ru.md and tools/ftsc/src/parse-module.mjs in the fts-upstream
       repo): the natural RU/EN indentation surface, the legacy brace/JSON-like
       surface, and the ftsc module/functor-mapping headers layered on top.
 

docs/how-it-works.md docs/how-it-works.ru.mddocs/how-it-works.md renamed to docs/how-it-works.ru.md

@@ -1,7 +1,7 @@
 /**
  * tree-sitter grammar for FTS.
  *
- * FTS has three surfaces that coexist in real files (see docs/language.md
+ * FTS has three surfaces that coexist in real files (see docs/language.ru.md
  * and tools/ftsc/src/parse-module.mjs upstream):
  *
  *  1. The natural, indentation-significant surface (Russian and English