Корпус сверки перестал зависеть от чужого домашнего каталога

Два теста ядра — core-json и core-parser — подхватывали модели из
/home/m/projects/courses/static/fts/models/ по факту существования каталога.
Охват молча менялся от машины к машине: 56 моделей здесь, 47 на чистом клоне,
и в выводе теста это никак не отражалось. Из-за этого я публиковал «побайтовое
совпадение на 56 моделях из 56» — утверждение, которое у читателя не
воспроизводится.

Внешний корпус теперь подключается только переменной FTS_MODEL_PATH, списком
каталогов через разделитель PATH — как FTS_TOOLCHAIN_PATH рядом. Автоподхвата
не осталось.

Проверка переменной стоит на верхнем уровне модуля, а не внутри сборки
корпуса, и это не стилистика: при ленивой проверке битый путь давал «прошло 38,
упало 1» — половина сверки успевала отчитаться об успехе на урезанном корпусе,
и ошибку снова было бы легко проглядеть. Теперь битая переменная роняет
загрузку файла до объявления первого теста.

Негодность переменной — падение с внятным текстом: нет каталога, файл вместо
каталога, каталог без единой модели. Хвостовой разделитель ошибкой не считается.

Охват виден в имени теста, а не в тихой диагностике: «47 моделей: только
репозиторий, внешний корпус не подключён» против «56 моделей: репозиторий 47 +
внешние 9 (FTS_MODEL_PATH)». Печатается и «моделей N из M файлов» — если
каталог даст файлы, но не даст моделей, это будет видно.

Числа в core/SPEC.md заменены с «56 из 56» на воспроизводимые «47 из 47» с
оговоркой про переменную; FTS_MODEL_PATH описана в README рядом с остальными.

Проверено в обоих режимах: 1267 тестов без внешнего корпуса, 1285 с ним,
0 падений. Разница ровно 18 = 2 × 9 моделей.

Author: the-homeless-god

flang/core/SPEC.md

@@ -247,8 +247,11 @@
 произвольному значению и по вложенному утверждению убывает по полю варианта и
 элементу коллекции, то есть доказывается обычным правилом.
 
-Дифференциальная сверка (раздел 5) на всех `.fts` репозитория и внешнего
-каталога моделей: 56 моделей, ноль расхождений с `JSON.stringify(compile(…))`.
+Дифференциальная сверка (раздел 5) на всех `.fts` репозитория: **47 моделей из
+47**, ноль расхождений с `JSON.stringify(compile(…))`. Это число воспроизводится
+на чистом клоне и ни от чего вне репозитория не зависит; подключение внешних
+каталогов моделей (`FTS_MODEL_PATH`, см. `flang/test/corpus.mjs`) охват
+увеличивает — фактический печатает сам тест, первой же строкой вывода.
 Проверка — `flang/test/core-json.test.mjs`.
 
 Расхождения и отступления, оставленные сознательно:
@@ -391,8 +394,11 @@
 `totality.mjs`.
 
 Сквозная сверка (раздел 5) — `текст → лексер → парсер → печать JSON` против
-`JSON.stringify(compile(…))`: **56 моделей из 56, ноль расхождений**, обе
-поверхности. Диагностики сверены отдельно: на 34 намеренно сломанных моделях
+`JSON.stringify(compile(…))`: **47 моделей из 47, ноль расхождений**, обе
+поверхности. Число — репозиторное, воспроизводимое на чистом клоне; внешние
+каталоги моделей подключаются переменной `FTS_MODEL_PATH` и охват увеличивают,
+а фактический охват прогона тест печатает сам.
+Диагностики сверены отдельно: на 34 намеренно сломанных моделях
 отступной поверхности и на 13 моделях скобочной совпадают и код, и текст
 сообщения. Проверка — `flang/test/core-parser.test.mjs`.
 

flang/test/core-json.test.mjs

@@ -2,11 +2,11 @@
  * Печать документа FTS в JSON на flang (`flang/core/json.flang`).
  *
  * Главная проверка здесь одна и она дифференциальная: для каждой модели `.fts`
- * репозитория (и внешнего каталога моделей, если он есть) документ, полученный
- * настоящим ядром на TypeScript (`compile` из `dist/`), печатается функцией
- * «Печать документа» — и обязан совпасть с `JSON.stringify` того же документа
- * **побайтово**. Не «эквивалентный JSON», а тот же байт: порядок ключей,
- * экранирование, запись чисел (flang/core/SPEC.md, раздел 5).
+ * репозитория (и внешних каталогов, если они перечислены в `FTS_MODEL_PATH`)
+ * документ, полученный настоящим ядром на TypeScript (`compile` из `dist/`),
+ * печатается функцией «Печать документа» — и обязан совпасть с `JSON.stringify`
+ * того же документа **побайтово**. Не «эквивалентный JSON», а тот же байт:
+ * порядок ключей, экранирование, запись чисел (flang/core/SPEC.md, раздел 5).
  *
  * Документ ядра — это обычный JSON, а значения flang — записи и варианты сумм,
  * поэтому между ними стоит перевод (`документ` и его помощники ниже). Перевод
@@ -20,18 +20,16 @@
  * списки, вложенность. Оракул везде один и тот же — `JSON.stringify`.
  */
 import assert from "node:assert/strict"
-import { existsSync, readFileSync } from "node:fs"
+import { readFileSync } from "node:fs"
 import test from "node:test"
-import { fileURLToPath } from "node:url"
 
 import { valuesEqual } from "../src/builtins.mjs"
 import { evaluate } from "../src/interpret.mjs"
 import { parse } from "../src/parser.mjs"
 import { checkTotality } from "../src/totality.mjs"
 import { checkTypes } from "../src/types.mjs"
-import { globSync } from "./glob.mjs"
+import { строкиОхвата, текстМодели, файлыКорпуса } from "./corpus.mjs"
 
-const root = fileURLToPath(new URL("../..", import.meta.url))
 const source = readFileSync(new URL("../core/json.flang", import.meta.url), "utf8")
 const program = parse(source, "json.flang")
 const types = checkTypes(program)
@@ -619,46 +617,42 @@ test("документ: кириллица и кавычки в именах н
 /* ─────────────────── дифференциальная сверка на моделях ─────────────────── */
 
 /**
- * Корпус: все `.fts` репозитория плюс внешний каталог моделей, если он есть на
- * машине. Внешний каталог не обязателен — тест не имеет права зависеть от
- * чужого рабочего дерева, поэтому проверяется существование.
+ * Корпус: все `.fts` репозитория плюс модели из каталогов, явно перечисленных
+ * в `FTS_MODEL_PATH`. Состав корпуса и его источники печатаются ниже отдельным
+ * тестом: охват сверки обязан быть виден в выводе, а не подразумеваться
+ * (почему именно так — `flang/test/corpus.mjs`).
  */
 function модели() {
-  const пути = globSync("**/*.fts", { cwd: root, exclude: (path) => path.includes("node_modules") })
-    .sort()
-    .map((path) => ({ имя: path, путь: root + path }))
-  const внешний = "/home/m/projects/courses/static/fts/models/"
-  if (existsSync(внешний)) {
-    for (const path of globSync("*.fts", { cwd: внешний }).sort()) {
-      пути.push({ имя: `courses/${path}`, путь: внешний + path })
-    }
-  }
-
   const найденные = []
-  for (const { имя, путь } of пути) {
-    const текст = readFileSync(путь, "utf8")
+  for (const запись of файлы) {
+    const текст = текстМодели(запись)
     let тело = текст
     try {
       /* Файлы `tools/**` начинаются с заголовка `модуль …`, которого ядро не
          знает; файлы-функторы документами FTS не являются вовсе. */
-      const разобранный = parseModuleFile(текст, имя)
+      const разобранный = parseModuleFile(текст, запись.имя)
       if (разобранный.kind !== "module") continue
       тело = разобранный.body
     } catch {
       continue
     }
     try {
-      найденные.push({ имя, документ: core.compile(тело) })
+      найденные.push({ имя: запись.имя, источник: запись.источник, документ: core.compile(тело) })
     } catch {
       /* Не документ ядра (другой диалект, намеренно сломанная модель). */
     }
   }
   return найденные
 }
 
+const файлы = файлыКорпуса()
 const корпус = модели()
+const охват = строкиОхвата(корпус, файлы)
 
-test("корпус моделей найден", () => {
+/* Число моделей стоит прямо в имени теста, источники — в диагностике: по
+   выводу должно быть видно, каким был охват именно этого прогона. */
+test(`корпус моделей найден — ${охват[0]}`, (t) => {
+  for (const строка of охват) t.diagnostic(строка)
   assert.ok(корпус.length >= 40, `моделей: ${корпус.length}`)
 })
 

flang/test/core-parser.test.mjs

@@ -2,9 +2,9 @@
  * Парсер ядра FTS на flang — `flang/core/parser.flang`.
  *
  * Главная проверка здесь одна и она сквозная: для каждой модели `.fts`
- * репозитория (и внешнего каталога моделей, если он есть) строится вся цепочка
- * ядра на flang — текст → лексер (`core/lexer.flang`) → парсер
- * (`core/parser.flang`) → печать JSON (`core/json.flang`) — и результат обязан
+ * репозитория (и внешних каталогов, если они перечислены в `FTS_MODEL_PATH`)
+ * строится вся цепочка ядра на flang — текст → лексер (`core/lexer.flang`) →
+ * парсер (`core/parser.flang`) → печать JSON (`core/json.flang`) — и результат обязан
  * совпасть с `JSON.stringify(compile(текст))` настоящего ядра на TypeScript
  * **побайтово**. Критерий готовности из `flang/core/SPEC.md`, раздел 5: ядро
  * верно не тогда, когда проходят его собственные тесты. Сверяются обе
@@ -21,7 +21,7 @@
  * всех видов в утверждении скобочной поверхности.
  */
 import assert from "node:assert/strict"
-import { existsSync, readFileSync } from "node:fs"
+import { readFileSync } from "node:fs"
 import test from "node:test"
 import { fileURLToPath } from "node:url"
 
@@ -31,9 +31,8 @@ import { linkProgram } from "../src/link.mjs"
 import { parse } from "../src/parser.mjs"
 import { checkTotality } from "../src/totality.mjs"
 import { checkTypes } from "../src/types.mjs"
-import { globSync } from "./glob.mjs"
+import { строкиОхвата, текстМодели, файлыКорпуса } from "./corpus.mjs"
 
-const root = fileURLToPath(new URL("../..", import.meta.url))
 const файл = fileURLToPath(new URL("../core/parser.flang", import.meta.url))
 const исходник = readFileSync(файл, "utf8")
 
@@ -455,24 +454,16 @@ for (const [имя, src] of Object.entries(СЛОМАННЫЕ_СКОБКИ)) {
 /* ─────────────────── сквозная сверка на моделях репозитория ─────────────── */
 
 /**
- * Корпус тот же, что у печати JSON: все `.fts` репозитория плюс внешний
- * каталог моделей, если он есть на машине. Внешний каталог не обязателен —
- * тест не имеет права зависеть от чужого рабочего дерева.
+ * Корпус тот же, что у печати JSON: все `.fts` репозитория плюс модели из
+ * каталогов, явно перечисленных в `FTS_MODEL_PATH`. Охват печатается ниже
+ * отдельным тестом — по выводу должно быть видно, сколько моделей проверено и
+ * откуда они взяты (почему это обязательно — `flang/test/corpus.mjs`).
  */
 function модели() {
-  const пути = globSync("**/*.fts", { cwd: root, exclude: (path) => path.includes("node_modules") })
-    .sort()
-    .map((path) => ({ имя: path, путь: root + path }))
-  const внешний = "/home/m/projects/courses/static/fts/models/"
-  if (existsSync(внешний)) {
-    for (const path of globSync("*.fts", { cwd: внешний }).sort()) {
-      пути.push({ имя: `courses/${path}`, путь: внешний + path })
-    }
-  }
-
   const найденные = []
-  for (const { имя, путь } of пути) {
-    const текст = readFileSync(путь, "utf8")
+  for (const запись of файлы) {
+    const { имя, источник } = запись
+    const текст = текстМодели(запись)
     let тело = текст
     try {
       /* Файлы `tools/**` начинаются с заголовка `модуль …`, которого ядро не
@@ -494,16 +485,22 @@ function модели() {
        каждого диалекта: сверка для обоих одна и та же — побайтовая. */
     const первая = тело.replace(/^/u, "").split(/\r?\n/u).map((строка) => строка.trim()).find((строка) => строка.length > 0 && !строка.startsWith("//"))
     const натуральная = /^(?:категория|category)(?:\s|$)/u.test(первая ?? "") && !(первая ?? "").includes("{")
-    найденные.push({ имя, тело, документ, натуральная })
+    найденные.push({ имя, источник, тело, документ, натуральная })
   }
   return найденные
 }
 
+const файлы = файлыКорпуса()
 const корпус = модели()
 const натуральные = корпус.filter(({ натуральная }) => натуральная)
 const скобочные = корпус.filter(({ натуральная }) => !натуральная)
+const охват = строкиОхвата(корпус, файлы)
 
-test("корпус моделей найден, и обе поверхности в нём есть", () => {
+/* Число моделей стоит прямо в имени теста, источники — в диагностике: по
+   выводу должно быть видно, каким был охват именно этого прогона. */
+test(`корпус моделей найден, и обе поверхности в нём есть — ${охват[0]}`, (t) => {
+  for (const строка of охват) t.diagnostic(строка)
+  t.diagnostic(`  поверхности: натуральных ${натуральные.length}, скобочных ${скобочные.length}`)
   assert.ok(корпус.length >= 40, `моделей: ${корпус.length}`)
   assert.ok(натуральные.length >= 40, `натуральных моделей: ${натуральные.length}`)
   assert.ok(скобочные.length >= 3, `скобочных моделей: ${скобочные.length}`)