@algosail/lang 0.2.12 → 0.5.0

package/test/typecheck/container-contract-e1309.test.js

@@ -0,0 +1,258 @@
+/**
+ * E1309: встроенные контейнеры List / Dict / Map — сходимость параметров (RFC-0.1 §13, unify-type.js).
+ */
+import test from 'brittle'
+import path from 'node:path'
+import * as d from '../../lib/parse/diagnostics.js'
+import { typecheckSail } from '../../index.js'
+import { unifyTypes } from '../../lib/typecheck/unify-type.js'
+
+const root = path.resolve('/virtual/sail-e1309-containers')
+function vfs (files) {
+  const norm = Object.fromEntries(
+    Object.entries(files).map(([k, v]) => [path.normalize(k), v])
+  )
+  return (p) => norm[path.normalize(p)] ?? null
+}
+
+function prim (name) {
+  return { kind: 'prim', name, source: null, decl: null }
+}
+
+function app (ctor, args) {
+  return { kind: 'app', ctor, args, source: null, decl: null }
+}
+
+test('E1309: unifyTypes List Num vs List Str', function (t) {
+  const subst = new WeakMap()
+  const diags = []
+  const ok = unifyTypes(
+    app('List', [prim('Num')]),
+    app('List', [prim('Str')]),
+    subst,
+    diags,
+    null
+  )
+  t.ok(ok === false)
+  t.is(diags.length, 1)
+  t.is(diags[0].code, 'E1309')
+  t.is(
+    diags[0].message,
+    d.e1309ContainerContract('List', 'Num', 'Str')
+  )
+  t.end()
+})
+
+test('E1309: unifyTypes Dict — несходимость ключа', function (t) {
+  const subst = new WeakMap()
+  const diags = []
+  const ok = unifyTypes(
+    app('Dict', [prim('Bool'), prim('Num')]),
+    app('Dict', [prim('Str'), prim('Num')]),
+    subst,
+    diags,
+    null
+  )
+  t.ok(ok === false)
+  t.is(diags[0].code, 'E1309')
+  t.is(
+    diags[0].message,
+    d.e1309ContainerContract('Dict', 'Bool', 'Str')
+  )
+  t.end()
+})
+
+test('E1309: unifyTypes Dict — несходимость значения', function (t) {
+  const subst = new WeakMap()
+  const diags = []
+  const ok = unifyTypes(
+    app('Dict', [prim('Str'), prim('Bool')]),
+    app('Dict', [prim('Str'), prim('Num')]),
+    subst,
+    diags,
+    null
+  )
+  t.ok(ok === false)
+  t.is(diags[0].code, 'E1309')
+  t.is(
+    diags[0].message,
+    d.e1309ContainerContract('Dict', 'Bool', 'Num')
+  )
+  t.end()
+})
+
+test('E1309: unifyTypes Map — только первая позиция (одна диагностика)', function (t) {
+  const subst = new WeakMap()
+  const diags = []
+  const ok = unifyTypes(
+    app('Map', [prim('Bool'), prim('Bool')]),
+    app('Map', [prim('Str'), prim('Num')]),
+    subst,
+    diags,
+    null
+  )
+  t.ok(ok === false)
+  t.is(diags.filter((x) => x.code === 'E1309').length, 1)
+  t.is(
+    diags[0].message,
+    d.e1309ContainerContract('Map', 'Bool', 'Str')
+  )
+  t.end()
+})
+
+test('E1309: unifyTypes Map — вторая позиция', function (t) {
+  const subst = new WeakMap()
+  const diags = []
+  const ok = unifyTypes(
+    app('Map', [prim('Str'), prim('Bool')]),
+    app('Map', [prim('Str'), prim('Num')]),
+    subst,
+    diags,
+    null
+  )
+  t.ok(ok === false)
+  t.is(diags[0].code, 'E1309')
+  t.is(
+    diags[0].message,
+    d.e1309ContainerContract('Map', 'Bool', 'Num')
+  )
+  t.end()
+})
+
+test('E1305 внутри List: не подменять на E1309', function (t) {
+  const subst = new WeakMap()
+  const diags = []
+  const v = { kind: 'tvar', name: 'a', source: null, decl: null }
+  const inner = app('List', [v])
+  const ok = unifyTypes(v, inner, subst, diags, null)
+  t.ok(ok === false)
+  t.is(diags[0].code, 'E1305')
+  t.end()
+})
+
+test('E1304: List vs Map (разные конструкторы)', function (t) {
+  const subst = new WeakMap()
+  const diags = []
+  const ok = unifyTypes(
+    app('List', [prim('Num')]),
+    app('Map', [prim('Str'), prim('Num')]),
+    subst,
+    diags,
+    null
+  )
+  t.ok(ok === false)
+  t.is(diags[0].code, 'E1304')
+  t.ok(diags[0].message.includes('List'))
+  t.ok(diags[0].message.includes('Map'))
+  t.end()
+})
+
+test('интеграция: List Num vs List Str при вызове — E1309', function (t) {
+  const main = path.join(root, 'list-call.sail')
+  const src = [
+    '@need ( List Str -> )',
+    '',
+    '  drop',
+    '',
+    '',
+    '@w ( List Num -> )',
+    '',
+    '  /need',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  const e1309 = r.diagnostics.filter((x) => x.code === 'E1309')
+  t.is(e1309.length, 1)
+  t.is(e1309[0].message, d.e1309ContainerContract('List', 'Num', 'Str'))
+  t.end()
+})
+
+test('интеграция: Map ключ — E1309', function (t) {
+  const main = path.join(root, 'map-key.sail')
+  const src = [
+    '@need ( (Map Str Num) -> )',
+    '',
+    '  drop',
+    '',
+    '',
+    '@w ( (Map Bool Num) -> )',
+    '',
+    '  /need',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.is(r.diagnostics.filter((x) => x.code === 'E1309').length, 1)
+  t.ok(
+    r.diagnostics.some(
+      (x) =>
+        x.code === 'E1309' &&
+        x.message === d.e1309ContainerContract('Map', 'Bool', 'Str')
+    )
+  )
+  t.end()
+})
+
+test('интеграция: Map значение — E1309', function (t) {
+  const main = path.join(root, 'map-val.sail')
+  const src = [
+    '@need ( (Map Str Num) -> )',
+    '',
+    '  drop',
+    '',
+    '',
+    '@w ( (Map Str Bool) -> )',
+    '',
+    '  /need',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.is(r.diagnostics.filter((x) => x.code === 'E1309').length, 1)
+  t.ok(
+    r.diagnostics.some(
+      (x) =>
+        x.code === 'E1309' &&
+        x.message === d.e1309ContainerContract('Map', 'Bool', 'Num')
+    )
+  )
+  t.end()
+})
+
+test('интеграция: List vs Map — E1304', function (t) {
+  const main = path.join(root, 'list-vs-map.sail')
+  const src = [
+    '@need ( List Num -> )',
+    '',
+    '  drop',
+    '',
+    '',
+    '@w ( (Map Str Num) -> )',
+    '',
+    '  /need',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.ok(r.diagnostics.some((x) => x.code === 'E1304'))
+  t.ok(!r.diagnostics.some((x) => x.code === 'E1309'))
+  t.end()
+})
+
+test('вложенный контейнер: внутреннее расхождение — E1309 по внутреннему List', function (t) {
+  const subst = new WeakMap()
+  const diags = []
+  const ok = unifyTypes(
+    app('List', [app('List', [prim('Num')])]),
+    app('List', [app('List', [prim('Str')])]),
+    subst,
+    diags,
+    null
+  )
+  t.ok(ok === false)
+  const e1309 = diags.filter((x) => x.code === 'E1309')
+  t.ok(e1309.length >= 1)
+  t.is(e1309[0].message, d.e1309ContainerContract('List', 'Num', 'Str'))
+  t.end()
+})

package/test/typecheck/ffi-bracket-l3.test.js

@@ -0,0 +1,61 @@
+/**
+ * L3: FFI `.js` — контракт из JSDoc без проверки тела; скобочный импорт и вызов /word.
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { typecheckSail } from '../../index.js'
+
+const root = path.resolve('/virtual/sail-l3-ffi-bracket')
+
+function vfs (files) {
+  const norm = Object.fromEntries(
+    Object.entries(files).map(([k, v]) => [path.normalize(k), v])
+  )
+  return (p) => norm[path.normalize(p)] ?? null
+}
+
+test('L3: скобочный FFI + /add — ok', function (t) {
+  const main = path.join(root, 'main.sail')
+  const num = path.join(root, 'num.js')
+  const files = {
+    [main]: [
+      '+Num ( @add ) ./num.js',
+      '@main ( Num Num -> Num )',
+      '',
+      '  /add'
+    ].join('\n'),
+    [num]: [
+      '/**',
+      ' * @sail',
+      ' * @add ( Num Num -> Num )',
+      ' */',
+      'export function add (a, b) { return a + b }'
+    ].join('\n')
+  }
+  const r = typecheckSail({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok, r.ok === false ? r.diagnostics.map((d) => d.message).join('; ') : '')
+  t.end()
+})
+
+test('L3: полный импорт FFI + ~Num/add — ok', function (t) {
+  const main = path.join(root, 'main-full.sail')
+  const num = path.join(root, 'num-full.js')
+  const files = {
+    [main]: [
+      '+Num ./num-full.js',
+      '@main ( Num Num -> Num )',
+      '',
+      '  ~Num/add'
+    ].join('\n'),
+    [num]: [
+      '/**',
+      ' * @sail',
+      ' * @add ( Num Num -> Num )',
+      ' */',
+      'export function add (a, b) { return a + b }'
+    ].join('\n')
+  }
+  const r = typecheckSail({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok, r.ok === false ? r.diagnostics.map((d) => d.message).join('; ') : '')
+  t.end()
+})

package/test/typecheck/l3-diagnostics-matrix.test.js

@@ -0,0 +1,248 @@
+/**
+ * Матрица L3 (RFC-0.1 §13 E1301–E1314, RFC-typecheck-0.1): диагностики typecheck.
+ * Шаблоны сообщений дублируются здесь для навигации рядом со сценариями; канон — [l3-diagnostics-contract.test.js](../parse/l3-diagnostics-contract.test.js).
+ * Эталонные многофайловые сценарии — [conformance/suite.json](../../../conformance/suite.json), прогон L2/L3: [conformance-suite-l3.test.js](../conformance/conformance-suite-l3.test.js).
+ *
+ * | Код   | Источник (lang/lib/typecheck/ и др.) | Тест(ы) | conformance `id` (если есть) |
+ * |-------|--------------------------------------|---------|------------------------------|
+ * | E1301 | normalize-sig.js (normalizeWordSignature) | **ниже** | — |
+ * | E1302 | шаблон RFC; эмиссия из normalize-sig **не подключена** (зарезервировано до уточнения RFC, см. JSDoc `typecheckSail`) | **ниже** (шаблон) | — |
+ * | E1303 | check-word-body.js, unify-type.js | **ниже** | reject-e1303-stack-underflow; reject-e1307 (`codes`) |
+ * | E1304 | normalize-sig.js (`type_app` без ADT), check-word-body.js, unify-type.js | **ниже** | reject-e1304-unknown-type-app-ctor; reject-e1307 (`codes`). Свободный `type_name` без ADT → **opaque** (RFC-0.1 §5.4), не E1304. |
+ * | E1305 | unify-type.js (occurs check) | **ниже** (unifyTypes) | — |
+ * | E1306 | check-word-body.js `applyCallStack` | **ниже**; `call` без quotation на вершине | — |
+ * | E1307 | check-word-body.js (eliminator) | **ниже** | reject-e1307-eliminator-branches |
+ * | E1308 | check-word-body.js (eliminator) | **ниже** | reject-e1308-eliminator-missing-quotes |
+ * | E1309 | unify-type.js (встроенные List/Dict/Map, несходимость параметров) | [container-contract-e1309.test.js](container-contract-e1309.test.js), **ниже** (шаблон) | — |
+ * | E1310 | check-word-body.js (+Async) | **ниже** | reject-e1310-async-not-propagated |
+ * | E1311 | normalize-sig.js | **ниже** | reject-e1311-parameterized-slot |
+ * | E1312 | check-word-body.js (+Fail) | **ниже** | reject-e1312-fail-not-propagated |
+ * | E1313 | check-word-body.js (:slot) | **ниже** | reject-e1313-slot-redefine |
+ * | E1314 | check-word-body.js (;slot) | **ниже** | reject-e1314-slot-read-before-write |
+ *
+ * L2 (не E13xx, но тот же раннер conformance): E1110–E1112, E1201, E1206 — names/resolve и см. conformance `reject-e*`.
+ */
+import test from 'brittle'
+import path from 'node:path'
+import * as d from '../../lib/parse/diagnostics.js'
+import { typecheckSail } from '../../index.js'
+import { normalizeWordSignature } from '../../lib/typecheck/normalize-sig.js'
+import { unifyTypes } from '../../lib/typecheck/unify-type.js'
+
+const root = path.resolve('/virtual/sail-l3-matrix')
+function vfs (files) {
+  const norm = Object.fromEntries(
+    Object.entries(files).map(([k, v]) => [path.normalize(k), v])
+  )
+  return (p) => norm[path.normalize(p)] ?? null
+}
+
+const mockSpan = {
+  start: { offset: 0, line: 1, column: 1 },
+  end: { offset: 1, line: 1, column: 2 }
+}
+
+test('E1301: нет сигнатуры у слова — normalizeWordSignature', function (t) {
+  const ctx = {
+    env: { snapshots: new Map() },
+    modulePath: root,
+    scopeInfo: { typeIndex: new Map(), importMap: new Map() },
+    diagnostics: []
+  }
+  const word = { name: 'w', signature: null, span: mockSpan }
+  const ir = normalizeWordSignature(word, ctx)
+  t.is(ir, null)
+  const diag0 = ctx.diagnostics[0]
+  t.is(diag0.code, 'E1301')
+  t.is(diag0.message, d.e1301WordSignature('w'))
+  t.end()
+})
+
+test('E1302: шаблон RFC (эмиссия E1302 из typecheck пока не подключена)', function (t) {
+  t.is(
+    d.e1302QuotationSig('oops'),
+    "Некорректная сигнатура quotation: 'oops'."
+  )
+  t.end()
+})
+
+test('E1303: несогласованный стек (drop при Int -> Int)', function (t) {
+  const main = path.join(root, 'e1303-drop.sail')
+  const src = ['@main ( Int -> Int )', '', '  drop', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.ok(r.diagnostics.some((x) => x.code === 'E1303'), 'expected E1303')
+  t.end()
+})
+
+test('E1304: неизвестный ctor в type_app (opaque только как голый TypeName)', function (t) {
+  const main = path.join(root, 'e1304-unknown-ctor.sail')
+  const src = ['@m ( UnknownCtor Num -> )', '', '  drop', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  const di = r.diagnostics.find((x) => x.code === 'E1304')
+  t.ok(di, 'E1304')
+  t.ok(di.message.includes('UnknownCtor'))
+  t.end()
+})
+
+test('E1305: occurs-check при унификации (tvar внутри себя)', function (t) {
+  const subst = new WeakMap()
+  const diags = []
+  const a = { kind: 'tvar', name: 'a', source: null }
+  const listA = {
+    kind: 'app',
+    ctor: 'List',
+    args: [a],
+    source: null,
+    decl: null
+  }
+  const ok = unifyTypes(a, listA, subst, diags, null)
+  t.ok(ok === false)
+  const di = diags.find((x) => x.code === 'E1305')
+  t.ok(di, 'E1305')
+  t.is(di.message, d.e1305OccursCheck('a'))
+  t.end()
+})
+
+test('E1306: шаблон RFC; call без quotation на вершине — E1306', function (t) {
+  t.is(
+    d.e1306CallNeedsQuote('Num'),
+    'Нельзя применить CALL: ожидается Quote (I -> O), получено Num.'
+  )
+  const main = path.join(root, 'e1306-call-num.sail')
+  const src = ['@w ( Num -> )', '', '  1', '', '  call', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  const hit = r.diagnostics.find((x) => x.code === 'E1306')
+  t.ok(hit, 'call с Num на вершине → E1306')
+  t.is(hit.message, d.e1306CallNeedsQuote('Num'))
+  t.end()
+})
+
+test('E1306: call при вершине Bool — E1306', function (t) {
+  const main = path.join(root, 'e1306-call-bool.sail')
+  const src = ['@w ( Bool -> )', '', '  true', '', '  call', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  const hit = r.diagnostics.find((x) => x.code === 'E1306')
+  t.ok(hit)
+  t.is(hit.message, d.e1306CallNeedsQuote('Bool'))
+  t.end()
+})
+
+test('E1307: ветки /maybe несовместимы', function (t) {
+  const main = path.join(root, 'e1307-maybe.sail')
+  const src = [
+    '&Maybe a',
+    '| Nothing',
+    '| Just a',
+    '',
+    '@w ( ~s (Maybe a) -> ~s Num )',
+    '  ( )',
+    '  ( )',
+    '  /maybe',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.ok(r.diagnostics.some((x) => x.code === 'E1307'), 'E1307')
+  t.end()
+})
+
+test('E1308: eliminator /maybe без quotations', function (t) {
+  const main = path.join(root, 'e1308-maybe.sail')
+  const src = [
+    '&Maybe a',
+    '| Nothing',
+    '| Just a',
+    '',
+    '@w ( ~s (Maybe a) -> ~s )',
+    '  /maybe',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.ok(r.diagnostics.some((x) => x.code === 'E1308'), 'E1308')
+  t.end()
+})
+
+test('E1309: шаблон RFC (сценарии — container-contract-e1309.test.js)', function (t) {
+  t.is(
+    d.e1309ContainerContract('List', 'T', 'Str'),
+    "Нарушение ограничений контейнера 'List': expected T, got Str."
+  )
+  t.end()
+})
+
+test('E1310: +Async не всплывает к вызывающему', function (t) {
+  const main = path.join(root, 'e1310-async.sail')
+  const src = [
+    '@run ( -> +Async )',
+    '',
+    '@main ( -> )',
+    '',
+    '  /run',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.ok(r.diagnostics.some((x) => x.code === 'E1310'), 'E1310')
+  t.end()
+})
+
+test('E1311: параметризованный тип без скобок в слоте', function (t) {
+  const main = path.join(root, 'e1311-maybe.sail')
+  const src = [
+    '&Maybe a',
+    '| Nothing',
+    '| Just a',
+    '',
+    '@f ( Maybe -> )',
+    '',
+    '  drop',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.ok(r.diagnostics.some((x) => x.code === 'E1311'), 'E1311')
+  t.end()
+})
+
+test('E1312: +Fail не всплывает к вызывающему', function (t) {
+  const main = path.join(root, 'e1312-fail.sail')
+  const src = [
+    '@risky ( -> +Fail )',
+    '',
+    '@main ( -> )',
+    '',
+    '  /risky',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.ok(r.diagnostics.some((x) => x.code === 'E1312'), 'E1312')
+  t.end()
+})
+
+test('E1313: повторная :x', function (t) {
+  const main = path.join(root, 'e1313-slot.sail')
+  const src = ['@w ( Num -> Num )', '', '  dup', '', '  :x', '', '  :x', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  const di = r.diagnostics.find((x) => x.code === 'E1313')
+  t.ok(di, 'E1313')
+  t.is(di.message, d.e1313DuplicateSlotWrite('x'))
+  t.end()
+})
+
+test('E1314: ;x до :x', function (t) {
+  const main = path.join(root, 'e1314-slot.sail')
+  const src = ['@w ( Num -> Num )', '', '  ;x', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  const di = r.diagnostics.find((x) => x.code === 'E1314')
+  t.ok(di, 'E1314')
+  t.is(di.message, d.e1314SlotReadBeforeWrite('x'))
+  t.end()
+})

package/test/typecheck/l3-partial-pipeline.test.js

@@ -0,0 +1,74 @@
+/**
+ * L3: частичный env и полный отчёт диагностик (RFC-typecheck §5.1, §3).
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { typecheckSail } from '../../index.js'
+import { verifySnapshotChainStitches } from '../../lib/typecheck/stack-step-snapshots.js'
+
+const root = path.resolve('/virtual/sail-l3-partial')
+function vfs (files) {
+  const norm = Object.fromEntries(
+    Object.entries(files).map(([k, v]) => [path.normalize(k), v])
+  )
+  return (p) => norm[path.normalize(p)] ?? null
+}
+
+test('L3: два ADT — сломанный не в adtByPath, валидный остаётся', function (t) {
+  const main = path.join(root, 'two-adt.sail')
+  const lib = path.join(root, 'libpt.sail')
+  const files = {
+    [main]: [
+      '+Lib ./libpt.sail',
+      '&Bad',
+      '  |X ~Lib/Ghost',
+      '&Good',
+      '  |Y Num',
+      '@main ( -> )',
+      ''
+    ].join('\n'),
+    [lib]: ['&Point', '  :x Num', '  :y Num', ''].join('\n')
+  }
+  const r = typecheckSail({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok === false)
+  t.ok(r.diagnostics.some((d) => d.code === 'E1204'), 'ошибка по Bad')
+  const good = r.env.adtByPath?.get(main)?.get('Good')
+  t.ok(good && good.name === 'Good')
+  t.ok(!r.env.adtByPath?.get(main)?.get('Bad'))
+  t.end()
+})
+
+test('L3: две сигнатуры — одна с E1304 (неизвестный тип), вторая нормализуется и тело проверяется', function (t) {
+  const main = path.join(root, 'two-sig.sail')
+  const src = [
+    '@broken ( UnknownCtor Num -> )',
+    '',
+    '  drop',
+    '',
+    '@fine ( -> )',
+    '',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.ok(r.diagnostics.some((d) => d.code === 'E1304'), 'ошибка нормализации broken')
+  const sig = r.env?.sigIrByPath?.get(main)?.get('fine')
+  t.ok(sig, 'частичный sigIrByPath для успешного слова')
+  const per = r.env?.stackSnapshotsByPath?.get(main)
+  t.ok(per?.has('fine'))
+  t.is(per.get('fine').steps.length, 0)
+  t.end()
+})
+
+test('L3: ошибка выхода слова — полная цепь pre/post по шагам в снимке', function (t) {
+  const main = path.join(root, 'out-mismatch.sail')
+  const src = ['@w ( Num -> Num )', '', '  drop', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  const rec = r.env.stackSnapshotsByPath.get(main).get('w')
+  t.ok(rec)
+  t.is(rec.steps.length, 1)
+  t.ok(rec.steps[0].pre && rec.steps[0].post)
+  t.ok(verifySnapshotChainStitches(rec))
+  t.end()
+})