@algosail/lang 0.2.12 → 0.5.1

package/test/typecheck/opaque-ffi-type.test.js

@@ -0,0 +1,78 @@
+/**
+ * L3: номинальные opaque-типы FFI (RFC-0.1 §5.4–5.4.1).
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { typecheckSail } from '../../index.js'
+
+const root = path.resolve('/virtual/sail-opaque-ffi')
+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('opaque FFI: свободный TypeName — IR kind opaque', function (t) {
+  const main = path.join(root, 'opaque-buffer.sail')
+  const src = ['@pass ( Buffer -> Buffer )', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const slot = r.env.sigIrByPath.get(main).get('pass').left[0]
+  t.is(slot.kind, 'opaque')
+  t.is(slot.name, 'Buffer')
+  t.end()
+})
+
+test('opaque FFI: пустое тело при ( T -> T )', function (t) {
+  const main = path.join(root, 'opaque-id.sail')
+  const src = ['@id ( GhostType -> GhostType )', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('opaque FFI: фактический верх стека Num при объявленном Buffer — E1304', function (t) {
+  const main = path.join(root, 'opaque-mismatch.sail')
+  const src = [
+    '@f ( Buffer -> Buffer )',
+    '',
+    '  drop',
+    '',
+    '  1',
+    ''
+  ].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'), r.diagnostics.map((d) => d.code).join(','))
+  t.end()
+})
+
+test('opaque FFI: пользовательский ADT перекрывает имя — IR kind adt', function (t) {
+  const main = path.join(root, 'opaque-shadow-adt.sail')
+  const src = [
+    '&GdkDisplay',
+    '| Inst',
+    '',
+    '@x ( GdkDisplay -> GdkDisplay )',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const slot = r.env.sigIrByPath.get(main).get('x').left[0]
+  t.is(slot.kind, 'adt')
+  t.is(slot.type, 'GdkDisplay')
+  t.end()
+})
+
+test('L3 sig IR: неизвестный ctor в type_app — E1304 (opaque только без параметров)', function (t) {
+  const main = path.join(root, 'unknown-ctor-app.sail')
+  const src = ['@m ( UnknownCtor Num -> )', '', '  drop', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  const d = r.diagnostics.find((x) => x.code === 'E1304')
+  t.ok(d, 'E1304')
+  t.ok(d.message.includes('UnknownCtor'), 'mentions ctor')
+  t.ok(!r.env.sigIrByPath?.get(main)?.get('m'), 'no sig IR for failed word')
+  t.end()
+})

package/test/typecheck/sig-type-stage3.test.js

@@ -0,0 +1,190 @@
+/**
+ * L3 этап 3: IR сигнатур (нормализация типовых выражений), provenance source/decl.
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { parseSource } from '../../lib/parse/index.js'
+import { normalizeSigItemWithEnv } from '../../lib/typecheck/normalize-sig.js'
+import { typecheckSail } from '../../index.js'
+
+const root = path.resolve('/virtual/sail-l3-sig3')
+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 sig IR: Num -> Str, source на type_name', function (t) {
+  const main = path.join(root, 'prim.sail')
+  const src = ['@f ( Num -> Str )', '', '  drop', '  ""', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, String(r.diagnostics?.map((d) => d.code)))
+  const w = r.env.wordDeclByPath.get(main).get('f')
+  const sig = r.env.sigIrByPath.get(main).get('f')
+  t.ok(w && sig, 'word + sig IR')
+  t.is(sig.left[0].kind, 'prim')
+  t.is(sig.left[0].name, 'Num')
+  t.is(sig.left[0].source.kind, 'type_name')
+  t.is(sig.left[0].source.name, 'Num')
+  t.is(sig.left[0].decl, null)
+  t.is(sig.right[0].kind, 'prim')
+  t.is(sig.right[0].name, 'Str')
+  t.is(sig.right[0].source.kind, 'type_name')
+  t.end()
+})
+
+test('L3 sig IR: (List Num) -> как type_app + prim с source', function (t) {
+  const main = path.join(root, 'list.sail')
+  const src = ['@g ( (List Num) -> )', '', '  drop', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, String(r.diagnostics?.map((d) => d.code)))
+  const sig = r.env.sigIrByPath.get(main).get('g')
+  const app = sig.left[0]
+  t.is(app.kind, 'app')
+  t.is(app.ctor, 'List')
+  t.is(app.source.kind, 'type_app')
+  t.is(app.args.length, 1)
+  t.is(app.args[0].kind, 'prim')
+  t.is(app.args[0].name, 'Num')
+  t.is(app.args[0].source.kind, 'type_name')
+  t.end()
+})
+
+test('L3 sig IR: локальный &Point — adt, path, decl на sum_type', function (t) {
+  const main = path.join(root, 'point.sail')
+  const src = [
+    '&Point',
+    '  :x Num',
+    '  :y Num',
+    '@m ( Point -> Point )',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, String(r.diagnostics?.map((d) => d.code)))
+  const sig = r.env.sigIrByPath.get(main).get('m')
+  t.is(sig.left[0].kind, 'adt')
+  t.is(sig.left[0].type, 'Point')
+  t.is(sig.left[0].path, path.normalize(main))
+  t.is(sig.left[0].decl.path, path.normalize(main))
+  t.is(sig.left[0].decl.node.kind, 'product_type')
+  t.is(sig.left[0].decl.node.name, 'Point')
+  t.is(sig.left[0].source.kind, 'type_name')
+  t.is(sig.left[0].source.name, 'Point')
+  t.is(sig.right[0].kind, 'adt')
+  t.end()
+})
+
+test('L3 sig IR: ~L/SomeType — mod_adt + decl из зависимости', function (t) {
+  const main = path.join(root, 'use-lib.sail')
+  const lib = path.join(root, 'dep-lib.sail')
+  const files = {
+    [main]: ['+L ./dep-lib.sail', '@m ( ~L/SomeType -> )', '', '  drop', ''].join('\n'),
+    [lib]: ['&SomeType', '  |Tag', ''].join('\n')
+  }
+  const r = typecheckSail({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok, String(r.diagnostics?.map((d) => d.code)))
+  const sig = r.env.sigIrByPath.get(main).get('m')
+  t.is(sig.left[0].kind, 'mod_adt')
+  t.is(sig.left[0].module, 'L')
+  t.is(sig.left[0].type, 'SomeType')
+  t.is(sig.left[0].source.kind, 'module_type_ref')
+  t.is(sig.left[0].decl.path, path.normalize(lib))
+  t.is(sig.left[0].decl.node.kind, 'sum_type')
+  t.is(sig.left[0].decl.node.name, 'SomeType')
+  t.end()
+})
+
+test('L3 sig IR: скобочный импорт +T ( &T ), в сигнатуре T без ~ — adt path = модуль определения', function (t) {
+  const main = path.join(root, 'br-main.sail')
+  const lib = path.join(root, 'br-lib.sail')
+  const files = {
+    [main]: ['+L ( &T ) ./br-lib.sail', '@m ( T -> )', '', '  drop', ''].join('\n'),
+    [lib]: ['&T', '  |A', ''].join('\n')
+  }
+  const r = typecheckSail({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok, String(r.diagnostics?.map((d) => d.code)))
+  const sig = r.env.sigIrByPath.get(main).get('m')
+  t.is(sig.left[0].kind, 'adt')
+  t.is(sig.left[0].type, 'T')
+  t.is(sig.left[0].path, path.normalize(lib))
+  t.is(sig.left[0].decl.path, path.normalize(lib))
+  t.is(sig.left[0].decl.node.kind, 'sum_type')
+  t.is(sig.left[0].source.kind, 'type_name')
+  t.is(sig.left[0].source.name, 'T')
+  t.end()
+})
+
+test('L3 sig IR: свободный TypeName без ADT — opaque FFI (RFC-0.1 §5.4)', function (t) {
+  const main = path.join(root, 'ghost-opaque.sail')
+  const src = ['@m ( GhostType -> )', '', '  drop', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const slot = r.env.sigIrByPath.get(main).get('m').left[0]
+  t.is(slot.kind, 'opaque')
+  t.is(slot.name, 'GhostType')
+  t.end()
+})
+
+test('L3 sig IR: quotation_sig (внутри named) — kind quote + source', function (t) {
+  const pr = parseSource('@x ( q: ( Num -> Str ) -> )\n\n')
+  t.ok(pr.ok, pr.diagnostics?.[0]?.message)
+  const quotation = pr.ast.items[0].signature.left[0].quotation
+  t.is(quotation.kind, 'quotation_sig')
+  const main = path.join(root, 'quote-ctx.sail')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: '@f ( -> )\n\n' }) })
+  t.ok(r.ok)
+  const { ir, diagnostics } = normalizeSigItemWithEnv(quotation, r.env, main)
+  t.is(diagnostics.length, 0)
+  t.is(ir.kind, 'quote')
+  t.is(ir.source.kind, 'quotation_sig')
+  t.is(ir.inner.left[0].kind, 'prim')
+  t.is(ir.inner.left[0].source.name, 'Num')
+  t.is(ir.inner.right[0].kind, 'prim')
+  t.is(ir.inner.right[0].source.name, 'Str')
+  t.end()
+})
+
+test('L3 sig IR: named_quotation_sig — prefix + вложенная сигнатура', function (t) {
+  const main = path.join(root, 'namedq.sail')
+  const src = ['@w ( just: ( Num -> Num ) -> )', '', '  drop', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, String(r.diagnostics?.map((d) => d.code)))
+  const sig = r.env.sigIrByPath.get(main).get('w')
+  const n = sig.left[0]
+  t.is(n.kind, 'named_quote')
+  t.is(n.prefix, 'just')
+  t.is(n.source.kind, 'named_quotation_sig')
+  t.is(n.inner.left[0].kind, 'prim')
+  t.is(n.inner.left[0].name, 'Num')
+  t.end()
+})
+
+test('L3 sig stage3: List Num в одном слоте — один type_app (E1311 не из парсера v1)', function (t) {
+  const main = path.join(root, 'list-one-slot.sail')
+  const src = ['@f ( List Num -> )', '', '  drop', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, String(r.diagnostics?.map((d) => d.code)))
+  const ir = r.env.sigIrByPath.get(main).get('f')
+  t.is(ir.left[0].kind, 'app')
+  t.is(ir.left[0].ctor, 'List')
+  t.end()
+})
+
+test('L3 sig stage3: параметризованный sum без аргументов в слоте — E1311 (§4.4)', function (t) {
+  const main = path.join(root, 'bare-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((d) => d.code === 'E1311'), r.diagnostics.map((x) => x.code).join(','))
+  t.end()
+})

package/test/typecheck/stack-check-stage4.test.js

@@ -0,0 +1,149 @@
+/**
+ * L3 этап 4: симуляция стека по телу слова (RFC-typecheck-0.1 §5.2–5.5).
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { typecheckSail } from '../../index.js'
+
+const root = path.resolve('/virtual/sail-l3-st4')
+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 stage4: литерал number — ( -> Num )', function (t) {
+  const main = path.join(root, 'lit-num.sail')
+  const src = ['@w ( -> Num )', '', '  42', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage4: литерал string — ( -> Str )', function (t) {
+  const main = path.join(root, 'lit-str.sail')
+  const src = ['@w ( -> Str )', '', '  "hi"', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage4: литерал bool — ( -> Bool )', function (t) {
+  const main = path.join(root, 'lit-bool.sail')
+  const src = ['@w ( -> Bool )', '', '  true', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage4: литерал nil — ( -> Nil )', function (t) {
+  const main = path.join(root, 'lit-nil.sail')
+  const src = ['@w ( -> Nil )', '', '  nil', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage4: литерал string при сигнатуре ( -> Num ) — E1303/E1304', function (t) {
+  const main = path.join(root, 'lit-mismatch.sail')
+  const src = ['@w ( -> Num )', '', '  "oops"', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  const codes = r.diagnostics.map((d) => d.code)
+  t.ok(codes.includes('E1303') || codes.includes('E1304'), codes.join(','))
+  t.end()
+})
+
+test('L3 stage4: литерал number затем dup — ( -> Num Num )', function (t) {
+  const main = path.join(root, 'lit-num-dup.sail')
+  const src = ['@w ( -> Num Num )', '', '  1', '', '  dup', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage4: dup и контракт ( Num -> Num Num )', function (t) {
+  const main = path.join(root, 'dup-ok.sail')
+  const src = ['@w ( Num -> Num Num )', '', '  dup', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage4: dup полиморфно согласуется с ( Str -> Str Str )', function (t) {
+  const main = path.join(root, 'dup-str.sail')
+  const src = ['@w ( Str -> Str Str )', '', '  dup', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage4: несовпадение выхода ( Num -> Str ) с телом dup — E1303/E1304', function (t) {
+  const main = path.join(root, 'dup-bad-out.sail')
+  const src = ['@w ( Num -> Str )', '', '  dup', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  const codes = r.diagnostics.map((d) => d.code)
+  t.ok(codes.includes('E1303') || codes.includes('E1304'), codes.join(','))
+  t.end()
+})
+
+test('L3 stage4: вызов локального слова /inc', function (t) {
+  const main = path.join(root, 'call-inc.sail')
+  const src = [
+    '@inc ( Num -> Num )',
+    '',
+    '@main ( Num -> Num )',
+    '',
+    '  /inc',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage4: слоты :x и ;x', function (t) {
+  const main = path.join(root, 'slots.sail')
+  const src = ['@w ( Num -> Num )', '', '  :x', '', '  ;x', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage4: повторная :x — E1313', function (t) {
+  const main = path.join(root, 'slot-dup.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)
+  t.ok(r.diagnostics.some((d) => d.code === 'E1313'))
+  t.end()
+})
+
+test('L3 stage4: ;x до :x — E1314', function (t) {
+  const main = path.join(root, 'slot-read-first.sail')
+  const src = ['@w ( Num -> Num )', '', '  ;x', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.ok(r.diagnostics.some((d) => d.code === 'E1314'))
+  t.end()
+})
+
+test('L3 stage4: литерал quotation с неверным телом — E1303 (этап 6)', function (t) {
+  const main = path.join(root, 'quot-body.sail')
+  const src = ['@w ( -> )', '', '  ( dup )', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.ok(r.diagnostics.some((d) => d.code === 'E1303'))
+  t.end()
+})
+
+test('L3 stage4: builtin call без quotation — E1303 (этап 6)', function (t) {
+  const main = path.join(root, 'builtin-call.sail')
+  const src = ['@w ( -> )', '', '  call', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.ok(r.diagnostics.some((d) => d.code === 'E1303'))
+  t.end()
+})

package/test/typecheck/stack-check-stage5.test.js

@@ -0,0 +1,74 @@
+/**
+ * L3 этап 5: метки стека ~s / ~b в сигнатурах (RFC-typecheck-0.1 §4.4, §5.2).
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { typecheckSail } from '../../index.js'
+
+const root = path.resolve('/virtual/sail-l3-st5')
+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 stage5: пустое тело ( ~s -> ~s )', function (t) {
+  const main = path.join(root, 'lbl-id.sail')
+  const src = ['@w ( ~s -> ~s )', '', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage5: ( ~s Num -> ~s ) с drop', function (t) {
+  const main = path.join(root, 'lbl-drop.sail')
+  const src = ['@w ( ~s Num -> ~s )', '', '  drop', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage5: две метки ~s в контракте — drop снимает одну вершину', function (t) {
+  const main = path.join(root, 'lbl-dup-slot.sail')
+  const src = ['@w ( ~s ~s -> ~s )', '', '  drop', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage5: несовместимые ~s и ~b на выходе — E1304', function (t) {
+  const main = path.join(root, 'lbl-mismatch-out.sail')
+  const src = ['@w ( ~s -> ~b )', '', ''].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'), r.diagnostics.map((d) => d.code).join(','))
+  t.end()
+})
+
+test('L3 stage5: регрессия ( a -> a ) пустое тело', function (t) {
+  const main = path.join(root, 'poly-id-empty.sail')
+  const src = ['@id ( a -> a )', '', '@w ( Num -> Num )', '', '  /id', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage5: два вызова полиморфного callee — свежие tvar', function (t) {
+  const main = path.join(root, 'poly-twice.sail')
+  const src = [
+    '@id ( a -> a )',
+    '',
+    '@w ( Num Num -> Num )',
+    '',
+    '  /id',
+    '',
+    '  drop',
+    '',
+    '  /id',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})

package/test/typecheck/stack-check-stage6.test.js

@@ -0,0 +1,56 @@
+/**
+ * L3 этап 6: quotation, call (RFC-typecheck-0.1 §5.6, RFC-builtins §4.3–4.5).
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { typecheckSail } from '../../index.js'
+
+const root = path.resolve('/virtual/sail-l3-st6')
+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 stage6: пустая цитата ( ) и сигнатура ( ~s -> ~s ) в Quote', function (t) {
+  const main = path.join(root, 'empty-q.sail')
+  const src = ['@w ( -> ( ~s -> ~s ) )', '', '  ( )', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage6: ( ) call на пустом стеке', function (t) {
+  const main = path.join(root, 'q-call.sail')
+  const src = ['@w ( -> )', '', '  ( )', '', '  call', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage6: ( 1 ) — quote ( -> Num )', function (t) {
+  const main = path.join(root, 'q-one.sail')
+  const src = ['@w ( -> ( -> Num ) )', '', '  ( 1 )', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage6: ( 1 ) call — quote ( -> Num ), call с I пустым', function (t) {
+  const main = path.join(root, 'call-num.sail')
+  const src = ['@w ( -> Num )', '', '  ( 1 )', '', '  call', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  t.end()
+})
+
+test('L3 stage6: call — несогласованный выход слова — ошибка L3', function (t) {
+  const main = path.join(root, 'call-bad.sail')
+  const src = ['@w ( -> Num )', '', '  ( )', '', '  call', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  const codes = r.diagnostics.map((d) => d.code)
+  t.ok(codes.includes('E1303') || codes.includes('E1304'), codes.join(','))
+  t.end()
+})