@algosail/lang 0.2.12 → 0.5.1

package/test/codegen/emit-body.test.js

@@ -0,0 +1,163 @@
+/**
+ * L5 этап 1: emitWordBodyIr (irSteps + valueBindings).
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { typecheckSail } from '../../index.js'
+import { buildModuleIr } from '../../lib/ir/index.js'
+import { emitWordBodyIr } from '../../lib/codegen/emit-body.js'
+
+const root = path.resolve('/virtual/sail-codegen-emit-body')
+function vfs (files) {
+  const norm = Object.fromEntries(
+    Object.entries(files).map(([k, v]) => [path.normalize(k), v])
+  )
+  return (p) => norm[path.normalize(p)] ?? null
+}
+
+/** Эвристика: не моделируем стек массивом с push/pop (см. план этапа 1). */
+function assertNoStackArrayModel (t, source) {
+  t.ok(
+    !/\.push\s*\(/.test(source) && !/\.pop\s*\(/.test(source),
+    'ожидался код без .push( / .pop( как у массива-стека'
+  )
+}
+
+test('emit-body: dup — без stack-array, два одинаковых значения на выходе', function (t) {
+  const main = path.join(root, '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('; '))
+  const norm = path.normalize(main)
+  const payload = buildModuleIr(r.env, norm, {
+    moduleStatus: 'ok',
+    valueBindings: true
+  })
+  const w = payload.words.find((x) => x.name === 'w')
+  const sig = w.normalizedSig
+  const { source } = emitWordBodyIr(w.irSteps, {
+    normalizedSig: sig,
+    wordName: 'w'
+  })
+  assertNoStackArrayModel(t, source)
+  t.ok(/const v\d+ = 1/.test(source), 'литерал 1')
+  t.ok(/return \[v\d+, v\d+\]/.test(source), 'return двух значений')
+  t.end()
+})
+
+test('emit-body: swap', function (t) {
+  const main = path.join(root, 'swap.sail')
+  const src = ['@w ( -> Num Num )', '', '  1', '', '  2', '', '  swap', ''].join(
+    '\n'
+  )
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const norm = path.normalize(main)
+  const payload = buildModuleIr(r.env, norm, {
+    moduleStatus: 'ok',
+    valueBindings: true
+  })
+  const w = payload.words.find((x) => x.name === 'w')
+  const { source } = emitWordBodyIr(w.irSteps, {
+    normalizedSig: w.normalizedSig,
+    wordName: 'w'
+  })
+  assertNoStackArrayModel(t, source)
+  t.ok(source.includes('1') && source.includes('2'), 'литералы присутствуют')
+  t.ok(
+    !/const\s+v\d+\s*=\s+v\d+\s*;/.test(source),
+    'swap — без лишних const (только перестановка ссылок на уже существующие имена)'
+  )
+  t.end()
+})
+
+test('emit-body: drop', function (t) {
+  const main = path.join(root, 'drop.sail')
+  const src = ['@w ( -> )', '', '  1', '', '  drop', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const norm = path.normalize(main)
+  const payload = buildModuleIr(r.env, norm, {
+    moduleStatus: 'ok',
+    valueBindings: true
+  })
+  const w = payload.words.find((x) => x.name === 'w')
+  const { source } = emitWordBodyIr(w.irSteps, {
+    normalizedSig: w.normalizedSig,
+    wordName: 'w'
+  })
+  assertNoStackArrayModel(t, source)
+  t.ok(/\breturn;\s*$/.test(source.trim()), 'пустой результат — return;')
+  t.end()
+})
+
+test('emit-body: локальный вызов Word (вершина — последний аргумент)', function (t) {
+  const main = path.join(root, 'local.sail')
+  const src = [
+    '@idem ( Num -> Num )',
+    '',
+    '  dup drop',
+    '',
+    '@caller ( Num -> Num )',
+    '',
+    '  /idem',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const norm = path.normalize(main)
+  const payload = buildModuleIr(r.env, norm, {
+    moduleStatus: 'ok',
+    valueBindings: true
+  })
+  const caller = payload.words.find((x) => x.name === 'caller')
+  const { source } = emitWordBodyIr(caller.irSteps, {
+    normalizedSig: caller.normalizedSig,
+    wordName: 'caller'
+  })
+  assertNoStackArrayModel(t, source)
+  t.ok(/idem\s*\(\s*p0\s*\)/.test(source), 'вызов idem(p0) — вершина последний аргумент')
+  t.end()
+})
+
+test('emit-body: strict — шаг без valueBindings', function (t) {
+  const main = path.join(root, 'strict.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('; '))
+  const norm = path.normalize(main)
+  const payload = buildModuleIr(r.env, norm, {
+    moduleStatus: 'ok',
+    valueBindings: true
+  })
+  const w = payload.words.find((x) => x.name === 'w')
+  const steps = structuredClone(w.irSteps)
+  delete steps[0].valueBindings
+  t.exception(
+    () => {
+      emitWordBodyIr(steps, { strict: true, wordName: 'w' })
+    },
+    /без valueBindings/
+  )
+  t.end()
+})
+
+test('emit-body: исполнение числового сценария через new Function', function (t) {
+  const main = path.join(root, 'num.sail')
+  const src = ['@w ( -> Num )', '', '  7', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const norm = path.normalize(main)
+  const payload = buildModuleIr(r.env, norm, {
+    moduleStatus: 'ok',
+    valueBindings: true
+  })
+  const w = payload.words.find((x) => x.name === 'w')
+  const { source } = emitWordBodyIr(w.irSteps, {
+    normalizedSig: w.normalizedSig,
+    wordName: 'w'
+  })
+  const fn = new Function(`${source}`)
+  t.is(fn(), 7)
+  t.end()
+})

package/test/codegen/emit-builtins-stage7.test.js

@@ -0,0 +1,258 @@
+/**
+ * L5 этап 7: комбинаторы dip, keep, bi, tri, spread, both (RFC-builtins §4.4–4.6).
+ * Литеральные quotation с ожидаемой сигнатурой задаются через вспомогательные слова `( -> (...) )`.
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { typecheckSail } from '../../index.js'
+import {
+  emitModuleEsmSource,
+  resolveCompileLayout
+} from '../../lib/codegen/index.js'
+
+const root = path.resolve('/virtual/sail-codegen-builtins-7')
+
+function esmSourceForNewFunction (source) {
+  return source.replace(/^export function /gm, 'function ')
+}
+
+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 sharedPrelude = [
+  '@id ( Num -> Num )',
+  '',
+  '  dup',
+  '',
+  '  drop',
+  '',
+  '',
+  '@innerQ ( -> ( Num -> Num ) )',
+  '',
+  '  ( /id )',
+  '',
+  '',
+  '@innerK ( -> ( Num Num -> Num ) )',
+  '',
+  '  ( drop )',
+  ''
+].join('\n')
+
+test('stage7: dip', function (t) {
+  const sourceRoot = path.join(root, 'dip')
+  const main = path.join(sourceRoot, 'main.sail')
+  const src =
+    sharedPrelude +
+    [
+      '@dipCase ( -> Num Num )',
+      '',
+      '  1',
+      '',
+      '  2',
+      '',
+      '  /innerQ',
+      '',
+      '  dip',
+      ''
+    ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok)
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(sourceRoot, '_out'),
+    sourceRoot
+  })
+  const g = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(g.ok)
+  const mod = new Function(
+    `${esmSourceForNewFunction(g.source)}; return { dipCase }`
+  )()
+  const out = mod.dipCase()
+  t.ok(Array.isArray(out))
+  t.is(out.length, 2)
+  t.is(out[0], 1)
+  t.is(out[1], 2)
+  t.end()
+})
+
+test('stage7: keep', function (t) {
+  const sourceRoot = path.join(root, 'keep')
+  const main = path.join(sourceRoot, 'main.sail')
+  const src =
+    sharedPrelude +
+    [
+      '@keepCase ( -> Num Num )',
+      '',
+      '  1',
+      '',
+      '  2',
+      '',
+      '  /innerK',
+      '',
+      '  keep',
+      ''
+    ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(sourceRoot, '_out'),
+    sourceRoot
+  })
+  const g = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(g.ok)
+  const mod = new Function(
+    `${esmSourceForNewFunction(g.source)}; return { keepCase }`
+  )()
+  const out = mod.keepCase()
+  t.alike(out, [1, 2])
+  t.end()
+})
+
+test('stage7: bi', function (t) {
+  const sourceRoot = path.join(root, 'bi')
+  const main = path.join(sourceRoot, 'main.sail')
+  const src =
+    sharedPrelude +
+    [
+      '@biCase ( -> Num Num Num )',
+      '',
+      '  0',
+      '',
+      '  1',
+      '',
+      '  /innerQ',
+      '',
+      '  /innerQ',
+      '',
+      '  bi',
+      ''
+    ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok)
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(sourceRoot, '_out'),
+    sourceRoot
+  })
+  const g = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(g.ok)
+  const mod = new Function(
+    `${esmSourceForNewFunction(g.source)}; return { biCase }`
+  )()
+  t.alike(mod.biCase(), [0, 1, 1])
+  t.end()
+})
+
+test('stage7: tri', function (t) {
+  const sourceRoot = path.join(root, 'tri')
+  const main = path.join(sourceRoot, 'main.sail')
+  const src =
+    sharedPrelude +
+    [
+      '@triCase ( -> Num Num Num Num )',
+      '',
+      '  0',
+      '',
+      '  1',
+      '',
+      '  /innerQ',
+      '',
+      '  /innerQ',
+      '',
+      '  /innerQ',
+      '',
+      '  tri',
+      ''
+    ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok)
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(sourceRoot, '_out'),
+    sourceRoot
+  })
+  const g = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(g.ok)
+  const mod = new Function(
+    `${esmSourceForNewFunction(g.source)}; return { triCase }`
+  )()
+  t.alike(mod.triCase(), [0, 1, 1, 1])
+  t.end()
+})
+
+test('stage7: spread', function (t) {
+  const sourceRoot = path.join(root, 'spread')
+  const main = path.join(sourceRoot, 'main.sail')
+  const src =
+    sharedPrelude +
+    [
+      '@spreadCase ( -> Num Num Num )',
+      '',
+      '  0',
+      '',
+      '  1',
+      '',
+      '  2',
+      '',
+      '  /innerQ',
+      '',
+      '  /innerQ',
+      '',
+      '  spread',
+      ''
+    ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok)
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(sourceRoot, '_out'),
+    sourceRoot
+  })
+  const g = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(g.ok)
+  const mod = new Function(
+    `${esmSourceForNewFunction(g.source)}; return { spreadCase }`
+  )()
+  t.alike(mod.spreadCase(), [0, 1, 2])
+  t.end()
+})
+
+test('stage7: both', function (t) {
+  const sourceRoot = path.join(root, 'both')
+  const main = path.join(sourceRoot, 'main.sail')
+  const src =
+    sharedPrelude +
+    [
+      '@bothCase ( -> Num Num Num )',
+      '',
+      '  0',
+      '',
+      '  5',
+      '',
+      '  7',
+      '',
+      '  /innerQ',
+      '',
+      '  both',
+      ''
+    ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok)
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(sourceRoot, '_out'),
+    sourceRoot
+  })
+  const g = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(g.ok)
+  const mod = new Function(
+    `${esmSourceForNewFunction(g.source)}; return { bothCase }`
+  )()
+  t.alike(mod.bothCase(), [0, 5, 7])
+  t.end()
+})

package/test/codegen/emit-diagnostics-stage9.test.js

@@ -0,0 +1,90 @@
+/**
+ * L5 этап 9: диагностики codegen (E51xx–E53xx), поле path, валидация layout.
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { typecheckSail } from '../../index.js'
+import { emitCodegenStage0Stub } from '../../lib/codegen/compile-graph.js'
+import {
+  compileSailToOutDir,
+  resolveCompileLayout,
+  sailModuleToOutputJsPath
+} from '../../lib/codegen/index.js'
+
+const root = path.resolve('/virtual/sail-codegen-diag9')
+
+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('stage9: E5105 — entryPath вне явного sourceRoot', async function (t) {
+  const sourceRoot = path.join(root, 'sr')
+  const entryOutside = path.join(root, 'other', 'main.sail')
+  const files = {
+    [entryOutside]: ['@m ( -> )', '', ''].join('\n')
+  }
+  const r = await compileSailToOutDir({
+    entryPath: entryOutside,
+    outDir: path.join(root, 'out'),
+    sourceRoot,
+    readFile: vfs(files)
+  })
+  t.ok(r.ok === false)
+  t.is(r.diagnostics[0].code, 'E5105')
+  t.ok(typeof r.diagnostics[0].path === 'string')
+  t.end()
+})
+
+test('stage9: E5101 + path — sailModuleToOutputJsPath вне source-root', function (t) {
+  const layout = resolveCompileLayout({
+    entryPath: path.join(root, 'e.sail'),
+    outDir: path.join(root, 'o'),
+    sourceRoot: path.join(root, 'src')
+  })
+  const modOutside = path.join(root, 'external', 'm.sail')
+  const mapped = sailModuleToOutputJsPath(layout, modOutside)
+  t.ok(mapped.ok === false)
+  t.is(mapped.diagnostic.code, 'E5101')
+  t.is(path.normalize(mapped.diagnostic.path), path.normalize(modOutside))
+  t.end()
+})
+
+test('stage9: E5301 — FFI в замыкании без readFile у emitCodegenStage0Stub', async function (t) {
+  const sourceRoot = path.join(root, 'ffi-noread')
+  const main = path.join(sourceRoot, 'main.sail')
+  const helper = path.join(sourceRoot, 'helper.js')
+  const files = {
+    [main]: [
+      '+H ( @add ) ./helper.js',
+      '@main ( Num Num -> Num )',
+      '',
+      '  /add'
+    ].join('\n'),
+    [helper]: [
+      '/**',
+      ' * @sail',
+      ' * @add ( Num Num -> Num )',
+      ' */',
+      'export function add (a, b) { return a + b }'
+    ].join('\n')
+  }
+  const read = vfs(files)
+  const tc = typecheckSail({ entryPath: main, readFile: read })
+  t.ok(tc.ok, tc.diagnostics?.map((d) => d.message).join('; ') ?? '')
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(sourceRoot, '_out'),
+    sourceRoot
+  })
+  const sink = {
+    mkdir: async () => {},
+    writeFile: async () => {}
+  }
+  const gen = await emitCodegenStage0Stub(tc.env, layout, sink, undefined)
+  t.ok(gen.ok === false)
+  t.is(gen.diagnostics[0].code, 'E5301')
+  t.end()
+})

package/test/codegen/emit-jsdoc-stage8.test.js

@@ -0,0 +1,113 @@
+/**
+ * L5 этап 8: JSDoc `@sail` в сгенерированном ESM (RFC-compile §11, RFC-0.1 §10.1).
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { parseSource, typecheckSail } from '../../index.js'
+import {
+  emitModuleEsmSource,
+  resolveCompileLayout
+} from '../../lib/codegen/index.js'
+import { extractSailFragmentsFromJs } from '../../lib/ffi/extract-jsdoc-sail.js'
+
+const root = path.resolve('/virtual/sail-codegen-jsdoc8')
+
+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('stage8: extractSailFragmentsFromJs — & в первом фрагменте, @word во втором', function (t) {
+  const main = path.join(root, 'twoblock.sail')
+  const src = [
+    '& Color',
+    '-- цветовой тип --',
+    '| Red',
+    '| Green',
+    '',
+    '@label ( -> Str )',
+    '-- текст для слова --',
+    '  "ok"',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(root, '_out'),
+    sourceRoot: root
+  })
+  const g = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(g.ok, g.ok === false ? g.diagnostics?.[0]?.message : '')
+  const frags = extractSailFragmentsFromJs(g.source)
+  t.ok(frags.length >= 2, 'минимум: заголовок + слово')
+  t.ok(frags[0].includes('& Color'), 'первый фрагмент: ADT')
+  t.ok(frags[0].includes('| Red'), 'теги sum в заголовке')
+  const wordFrag = frags.find((f) => f.includes('@label'))
+  t.ok(wordFrag, 'фрагмент с @label')
+  t.ok(wordFrag.includes('@label'), '@label в извлечённом')
+  for (const f of frags) {
+    const pr = parseSource(f)
+    t.ok(pr.ok, `фрагмент парсится как Sail: ${pr.diagnostics?.[0]?.message ?? ''}`)
+  }
+  t.ok(g.source.includes('текст для слова'), 'doc слова в префиксе JSDoc у export')
+  t.end()
+})
+
+test('stage8: текст из doc AST — в префиксе JSDoc до @sail и валидный Sail после', function (t) {
+  const main = path.join(root, 'prose.sail')
+  const typeNote = 'заметка к типу Bit'
+  const src = [
+    '& Bit',
+    `-- ${typeNote} --`,
+    '| B0',
+    '| B1',
+    '',
+    '@flip ( Num -> )',
+    '  drop',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(root, '_out2'),
+    sourceRoot: root
+  })
+  const g = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(g.ok, g.ok === false ? g.diagnostics?.[0]?.message : '')
+  const idx = g.source.indexOf('@sail')
+  t.ok(idx >= 0)
+  const beforeFirstTag = g.source.slice(0, idx)
+  t.ok(
+    beforeFirstTag.includes(typeNote),
+    'doc типа продублирован строками ` * …` до первого @sail'
+  )
+  const frags = extractSailFragmentsFromJs(g.source)
+  const head = frags[0]
+  t.ok(head.includes('--'), 'в извлечённом заголовке есть sail doc_block')
+  const pr = parseSource(head)
+  t.ok(pr.ok, pr.diagnostics?.[0]?.message ?? '')
+  t.end()
+})
+
+test('stage8: exportAsync — +Async в фрагменте @sail у экспорта', function (t) {
+  const main = path.join(root, 'asyncfrag.sail')
+  const src = ['@wake ( -> +Async )', '', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(root, '_out3'),
+    sourceRoot: root
+  })
+  const g = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(g.ok, g.ok === false ? g.diagnostics?.[0]?.message : '')
+  t.ok(/\bexport async function wake\b/.test(g.source), 'async export')
+  const frags = extractSailFragmentsFromJs(g.source)
+  const wFrag = frags.find((f) => f.includes('@wake'))
+  t.ok(wFrag && /\+Async/.test(wFrag), '+Async в контракте wake')
+  t.end()
+})

package/test/codegen/emit-module-stage3.test.js

@@ -0,0 +1,78 @@
+/**
+ * L5 этап 3: один модуль → ESM (импорты + export function), без записи на диск.
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { typecheckSail } from '../../index.js'
+import {
+  emitModuleEsmSource,
+  resolveCompileLayout
+} from '../../lib/codegen/index.js'
+
+const root = path.resolve('/virtual/sail-codegen-stage3')
+
+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('emit-module stage3: два .sail — import * as Lib и export function', function (t) {
+  const sourceRoot = path.join(root, 'repo')
+  const main = path.join(sourceRoot, 'main.sail')
+  const lib = path.join(sourceRoot, 'lib.sail')
+  const files = {
+    [main]: ['+Lib ./lib.sail', '@main ( -> )', '', '  ~Lib/hello'].join('\n'),
+    [lib]: ['@hello ( -> )', '', ''].join('\n')
+  }
+  const r = typecheckSail({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(sourceRoot, '_out'),
+    sourceRoot
+  })
+  const libGen = emitModuleEsmSource({ env: r.env, modulePath: lib, layout })
+  t.ok(libGen.ok, libGen.ok === false ? libGen.diagnostics?.[0]?.message : '')
+  t.ok(
+    /\bexport function hello\s*\(/.test(libGen.source),
+    'lib: export function hello'
+  )
+  const mainGen = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(mainGen.ok, mainGen.ok === false ? mainGen.diagnostics?.[0]?.message : '')
+  t.ok(
+    mainGen.source.includes('import * as Lib from "./lib.js"'),
+    'main: статический import относительного .js'
+  )
+  t.ok(/\bLib\.hello\s*\(/.test(mainGen.source), 'main: вызов Lib.hello()')
+  t.ok(!/\bimport\s*\(/.test(mainGen.source), 'без import() в сгенерированном тексте')
+  t.end()
+})
+
+test('emit-module stage3: скобочный импорт — import { hello } и вызов hello()', function (t) {
+  const sourceRoot = path.join(root, 'bracket')
+  const main = path.join(sourceRoot, 'main.sail')
+  const lib = path.join(sourceRoot, 'lib.sail')
+  const files = {
+    [main]: ['+Lib ( @hello ) ./lib.sail', '@main ( -> )', '', '  ~Lib/hello'].join(
+      '\n'
+    ),
+    [lib]: ['@hello ( -> )', '', ''].join('\n')
+  }
+  const r = typecheckSail({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(sourceRoot, '_out'),
+    sourceRoot
+  })
+  const mainGen = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(mainGen.ok, mainGen.ok === false ? mainGen.diagnostics?.[0]?.message : '')
+  t.ok(
+    /import \{\s*hello\s*\} from/.test(mainGen.source),
+    'именованный import hello'
+  )
+  t.ok(/\bhello\s*\(\s*\)/.test(mainGen.source), 'вызов hello(), не Lib.hello')
+  t.end()
+})