@kernlang/cli 3.3.9 → 3.4.1

package/dist/lib/cross-module-registry.d.ts

@@ -0,0 +1,21 @@
+/** Slice 7 v2 — project-wide registry of exported Result/Option-returning
+ *  fns. Built once before the compile loop; consulted per-file via a
+ *  caller-specific `ImportResolver` that resolves `use path="…"` strings
+ *  against the current module's directory.
+ *
+ *  Scope: the registry only indexes fns whose `returns` is exactly
+ *  `Result<…>` or `Option<…>` (the same shape `parser-validate-propagation`
+ *  classifies as `result`/`option`). Imports of any other return shape
+ *  contribute nothing — the propagation pass leaves those calls alone. */
+import { type ImportResolver, type ModuleExports } from '@kernlang/core';
+/** Walk every `.kern` file in the project once and produce a
+ *  `Map<absoluteFilePath, ModuleExports>`. Files that fail to parse are
+ *  skipped silently — their per-file compile will surface its own errors. */
+export declare function buildCrossModuleRegistry(kernFiles: readonly string[]): Map<string, ModuleExports>;
+/** Build a per-file `ImportResolver` that maps `use path="…"` strings to
+ *  the corresponding `ModuleExports`. Resolves relative paths against the
+ *  current file's directory and accepts both `./helper` and `./helper.kern`
+ *  forms (preserving parity with KERN's import syntax). Bare imports
+ *  (`zod`, `react`, …) and unresolvable paths return `null`, leaving the
+ *  call to pass through propagation unchanged. */
+export declare function makeImportResolverForFile(currentFileAbs: string, registry: Map<string, ModuleExports>): ImportResolver;

package/dist/lib/cross-module-registry.js

@@ -0,0 +1,95 @@
+/** Slice 7 v2 — project-wide registry of exported Result/Option-returning
+ *  fns. Built once before the compile loop; consulted per-file via a
+ *  caller-specific `ImportResolver` that resolves `use path="…"` strings
+ *  against the current module's directory.
+ *
+ *  Scope: the registry only indexes fns whose `returns` is exactly
+ *  `Result<…>` or `Option<…>` (the same shape `parser-validate-propagation`
+ *  classifies as `result`/`option`). Imports of any other return shape
+ *  contribute nothing — the propagation pass leaves those calls alone. */
+import { parseDocument } from '@kernlang/core';
+import { existsSync, readFileSync } from 'fs';
+import { dirname, resolve } from 'path';
+const RESULT_RETURN_RE = /^Result<[\s\S]*>$/;
+const OPTION_RETURN_RE = /^Option<[\s\S]*>$/;
+/** Strip an outer `Promise<…>` wrapper if present. Mirrors the helper in
+ *  `parser-validate-propagation.ts` so the registry classifies async
+ *  exports the same way the propagation pass does. */
+function unwrapPromise(s) {
+    const t = s.trim();
+    if (t.startsWith('Promise<') && t.endsWith('>')) {
+        return { inner: t.slice('Promise<'.length, -1).trim(), wasPromise: true };
+    }
+    return { inner: t, wasPromise: false };
+}
+function classifyExports(root) {
+    const resultFns = new Set();
+    const optionFns = new Set();
+    const asyncResultFns = new Set();
+    const asyncOptionFns = new Set();
+    function walk(node) {
+        if (node.type === 'fn' || node.type === 'method') {
+            const props = node.props || {};
+            const name = typeof props.name === 'string' ? props.name : null;
+            const returns = props.returns;
+            // KERN fns are exported by default; `export=false` opts out. Only
+            // exported names contribute to cross-module recognition.
+            const exportProp = props.export;
+            const isExported = !(exportProp === 'false' || exportProp === false);
+            const isAsync = props.async === true || props.async === 'true';
+            if (name && isExported && typeof returns === 'string') {
+                const { inner, wasPromise } = unwrapPromise(returns);
+                const effectivelyAsync = wasPromise || isAsync;
+                if (RESULT_RETURN_RE.test(inner)) {
+                    (effectivelyAsync ? asyncResultFns : resultFns).add(name);
+                }
+                else if (OPTION_RETURN_RE.test(inner)) {
+                    (effectivelyAsync ? asyncOptionFns : optionFns).add(name);
+                }
+            }
+        }
+        if (node.children)
+            for (const c of node.children)
+                walk(c);
+    }
+    walk(root);
+    return { resultFns, optionFns, asyncResultFns, asyncOptionFns };
+}
+/** Walk every `.kern` file in the project once and produce a
+ *  `Map<absoluteFilePath, ModuleExports>`. Files that fail to parse are
+ *  skipped silently — their per-file compile will surface its own errors. */
+export function buildCrossModuleRegistry(kernFiles) {
+    const registry = new Map();
+    for (const file of kernFiles) {
+        try {
+            const abs = resolve(file);
+            const source = readFileSync(abs, 'utf-8');
+            const root = parseDocument(source);
+            registry.set(abs, classifyExports(root));
+        }
+        catch {
+            // Parse failures aren't a registry concern — skip and let the
+            // per-file compile surface its diagnostics.
+        }
+    }
+    return registry;
+}
+/** Build a per-file `ImportResolver` that maps `use path="…"` strings to
+ *  the corresponding `ModuleExports`. Resolves relative paths against the
+ *  current file's directory and accepts both `./helper` and `./helper.kern`
+ *  forms (preserving parity with KERN's import syntax). Bare imports
+ *  (`zod`, `react`, …) and unresolvable paths return `null`, leaving the
+ *  call to pass through propagation unchanged. */
+export function makeImportResolverForFile(currentFileAbs, registry) {
+    const dir = dirname(currentFileAbs);
+    return (path) => {
+        if (!path.startsWith('./') && !path.startsWith('../'))
+            return null;
+        const withExt = path.endsWith('.kern') ? path : `${path}.kern`;
+        const abs = resolve(dir, withExt);
+        if (!existsSync(abs))
+            return null;
+        return registry.get(abs) ?? null;
+    };
+}
+//# sourceMappingURL=cross-module-registry.js.map

package/dist/lib/cross-module-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-module-registry.js","sourceRoot":"","sources":["../../src/lib/cross-module-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;0EAQ0E;AAE1E,OAAO,EAAwD,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACrG,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAExC,MAAM,gBAAgB,GAAG,mBAAmB,CAAC;AAC7C,MAAM,gBAAgB,GAAG,mBAAmB,CAAC;AAE7C;;sDAEsD;AACtD,SAAS,aAAa,CAAC,CAAS;IAC9B,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnB,IAAI,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAChD,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC5E,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IAEzC,SAAS,IAAI,CAAC,IAAY;QACxB,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAChE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;YAC9B,kEAAkE;YAClE,yDAAyD;YACzD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC;YAChC,MAAM,UAAU,GAAG,CAAC,CAAC,UAAU,KAAK,OAAO,IAAI,UAAU,KAAK,KAAK,CAAC,CAAC;YACrE,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC;YAC/D,IAAI,IAAI,IAAI,UAAU,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;gBACtD,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;gBACrD,MAAM,gBAAgB,GAAG,UAAU,IAAI,OAAO,CAAC;gBAC/C,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBACjC,CAAC,gBAAgB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC5D,CAAC;qBAAM,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBACxC,CAAC,gBAAgB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ;YAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ;gBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,cAAc,EAAE,cAAc,EAAE,CAAC;AAClE,CAAC;AAED;;6EAE6E;AAC7E,MAAM,UAAU,wBAAwB,CAAC,SAA4B;IACnE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;IAClD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC1B,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC1C,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;YACnC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3C,CAAC;QAAC,MAAM,CAAC;YACP,8DAA8D;YAC9D,4CAA4C;QAC9C,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;kDAKkD;AAClD,MAAM,UAAU,yBAAyB,CACvC,cAAsB,EACtB,QAAoC;IAEpC,MAAM,GAAG,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IACpC,OAAO,CAAC,IAAY,EAAwB,EAAE;QAC5C,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACnE,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,OAAO,CAAC;QAC/D,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAClC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAClC,OAAO,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;IACnC,CAAC,CAAC;AACJ,CAAC"}

package/dist/remote-repo.js

@@ -2,6 +2,7 @@ import { execFileSync } from 'child_process';
 import { existsSync, mkdtempSync, rmSync } from 'fs';
 import { tmpdir } from 'os';
 import { join, resolve } from 'path';
+import { withoutLocalGitEnv } from './git-env.js';
 import { hasFlag, parseFlagOrNext } from './shared.js';
 function formatGitError(err) {
     if (!(err instanceof Error))
@@ -22,6 +23,7 @@ function formatGitError(err) {
 function runGit(args, cwd) {
     execFileSync('git', args, {
         cwd,
+        env: withoutLocalGitEnv(),
         encoding: 'utf-8',
         stdio: ['ignore', 'pipe', 'pipe'],
     });

package/dist/remote-repo.js.map

@@ -1 +1 @@
-{"version":3,"file":"remote-repo.js","sourceRoot":"","sources":["../src/remote-repo.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC;AAC5B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAuBvD,SAAS,cAAc,CAAC,GAAY;IAClC,IAAI,CAAC,CAAC,GAAG,YAAY,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,GAAqE,CAAC;IACzF,MAAM,MAAM,GACV,OAAO,UAAU,CAAC,MAAM,KAAK,QAAQ;QACnC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE;QAC1B,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC;YAClC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;YAC5C,CAAC,CAAC,EAAE,CAAC;IACX,MAAM,MAAM,GACV,OAAO,UAAU,CAAC,MAAM,KAAK,QAAQ;QACnC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE;QAC1B,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC;YAClC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;YAC5C,CAAC,CAAC,EAAE,CAAC;IACX,OAAO,MAAM,IAAI,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC;AACzC,CAAC;AAED,SAAS,MAAM,CAAC,IAAc,EAAE,GAAY;IAC1C,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE;QACxB,GAAG;QACH,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC;KAClC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAyB;IACvD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;IACvD,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,iCAAiC,KAAK,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,SAAiB,EAAE,WAAoB;IAC7E,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC;IACjC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,SAAS,GACb,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,WAAW,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9G,IAAI,MAAW,CAAC;IAChB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IACjD,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;IAC3C,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACvD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IACjD,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC5D,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IACjD,CAAC;IAED,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,sBAAsB,KAAK,IAAI,IAAI,MAAM,CAAC;IAE3D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IACxC,CAAC;IAED,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC5C,OAAO;YACL,QAAQ;YACR,GAAG,EAAE,WAAW,IAAI,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACnD,WAAW,EAAE,sBAAsB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;SACzF,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7F,OAAO;YACL,QAAQ;YACR,GAAG,EAAE,WAAW,IAAI,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACnD,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;YAC/F,YAAY,EAAE,QAAQ;SACvB,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC9C,OAAO;YACL,QAAQ;YACR,GAAG,EAAE,WAAW,IAAI,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AACxC,CAAC;AAED,SAAS,eAAe,CAAC,SAAiB,EAAE,SAAiB,EAAE,GAAuB,EAAE,SAAkB;IACxG,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;QACnD,IAAI,GAAG,EAAE,CAAC;YACR,MAAM,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;QACxD,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;QACnE,OAAO;IACT,CAAC;IAED,IAAI,CAAC;QACH,MAAM,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,iBAAiB,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;IACzG,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;QACnE,MAAM,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7E,MAAM,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;IACjE,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,IAAc,EACd,OAA0B,EAC1B,GAAmD;IAEnD,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC1B,OAAO,MAAM,GAAG,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3C,MAAM,YAAY,GAAG,uBAAuB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IAClC,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,QAAQ,OAAO,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC;IAE5E,IAAI,CAAC;QACH,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,IAAI,KAAK,CAAC,CAAC;IAChG,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,mBAAmB,SAAS,GAAG,SAAS,KAAK,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtF,CAAC;IAED,MAAM,OAAO,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAChG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,4BAA4B,SAAS,KAAK,YAAY,CAAC,WAAW,EAAE,CAAC,CAAC;IACxF,CAAC;IAED,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,OAAO,GAAG,GAAS,EAAE;QACzB,IAAI,OAAO,IAAI,QAAQ;YAAE,OAAO;QAChC,OAAO,GAAG,IAAI,CAAC;QACf,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,GAAS,EAAE,CAAC,OAAO,EAAE,CAAC;IAE1C,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAChC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAEvB,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,CAAC,KAAK,CAAC,MAAM,OAAO,CAAC,WAAW,2BAA2B,OAAO,EAAE,CAAC,CAAC;IAC/E,CAAC;IAED,IAAI,CAAC;QACH,OAAO,MAAM,GAAG,CAAC;YACf,SAAS;YACT,GAAG,EAAE,YAAY,CAAC,GAAG;YACrB,OAAO,EAAE,OAAO;YAChB,OAAO;YACP,YAAY,EAAE,YAAY,CAAC,YAAY;YACvC,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC3B,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACjC,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC"}
+{"version":3,"file":"remote-repo.js","sourceRoot":"","sources":["../src/remote-repo.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC;AAC5B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AACrC,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAuBvD,SAAS,cAAc,CAAC,GAAY;IAClC,IAAI,CAAC,CAAC,GAAG,YAAY,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,GAAqE,CAAC;IACzF,MAAM,MAAM,GACV,OAAO,UAAU,CAAC,MAAM,KAAK,QAAQ;QACnC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE;QAC1B,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC;YAClC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;YAC5C,CAAC,CAAC,EAAE,CAAC;IACX,MAAM,MAAM,GACV,OAAO,UAAU,CAAC,MAAM,KAAK,QAAQ;QACnC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE;QAC1B,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC;YAClC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;YAC5C,CAAC,CAAC,EAAE,CAAC;IACX,OAAO,MAAM,IAAI,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC;AACzC,CAAC;AAED,SAAS,MAAM,CAAC,IAAc,EAAE,GAAY;IAC1C,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE;QACxB,GAAG;QACH,GAAG,EAAE,kBAAkB,EAAE;QACzB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC;KAClC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAyB;IACvD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;IACvD,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,iCAAiC,KAAK,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,SAAiB,EAAE,WAAoB;IAC7E,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC;IACjC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,SAAS,GACb,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,WAAW,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9G,IAAI,MAAW,CAAC;IAChB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IACjD,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;IAC3C,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACvD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IACjD,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC5D,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IACjD,CAAC;IAED,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,sBAAsB,KAAK,IAAI,IAAI,MAAM,CAAC;IAE3D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IACxC,CAAC;IAED,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC5C,OAAO;YACL,QAAQ;YACR,GAAG,EAAE,WAAW,IAAI,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACnD,WAAW,EAAE,sBAAsB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;SACzF,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7F,OAAO;YACL,QAAQ;YACR,GAAG,EAAE,WAAW,IAAI,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACnD,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;YAC/F,YAAY,EAAE,QAAQ;SACvB,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC9C,OAAO;YACL,QAAQ;YACR,GAAG,EAAE,WAAW,IAAI,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;SACpD,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AACxC,CAAC;AAED,SAAS,eAAe,CAAC,SAAiB,EAAE,SAAiB,EAAE,GAAuB,EAAE,SAAkB;IACxG,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;QACnD,IAAI,GAAG,EAAE,CAAC;YACR,MAAM,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;QACxD,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;QACnE,OAAO;IACT,CAAC;IAED,IAAI,CAAC;QACH,MAAM,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,iBAAiB,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;IACzG,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;QACnE,MAAM,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7E,MAAM,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;IACjE,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,IAAc,EACd,OAA0B,EAC1B,GAAmD;IAEnD,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC1B,OAAO,MAAM,GAAG,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3C,MAAM,YAAY,GAAG,uBAAuB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IAClC,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,QAAQ,OAAO,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC;IAE5E,IAAI,CAAC;QACH,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,IAAI,KAAK,CAAC,CAAC;IAChG,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,mBAAmB,SAAS,GAAG,SAAS,KAAK,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtF,CAAC;IAED,MAAM,OAAO,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAChG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,4BAA4B,SAAS,KAAK,YAAY,CAAC,WAAW,EAAE,CAAC,CAAC;IACxF,CAAC;IAED,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,OAAO,GAAG,GAAS,EAAE;QACzB,IAAI,OAAO,IAAI,QAAQ;YAAE,OAAO;QAChC,OAAO,GAAG,IAAI,CAAC;QACf,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,GAAS,EAAE,CAAC,OAAO,EAAE,CAAC;IAE1C,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAChC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAEvB,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,CAAC,KAAK,CAAC,MAAM,OAAO,CAAC,WAAW,2BAA2B,OAAO,EAAE,CAAC,CAAC;IAC/E,CAAC;IAED,IAAI,CAAC;QACH,OAAO,MAAM,GAAG,CAAC;YACf,SAAS;YACT,GAAG,EAAE,YAAY,CAAC,GAAG;YACrB,OAAO,EAAE,OAAO;YAChB,OAAO;YACP,YAAY,EAAE,YAAY,CAAC,YAAY;YACvC,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC3B,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACjC,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC"}

package/dist/shared.d.ts

@@ -1,5 +1,5 @@
 import type { IRNode, KernTarget, ParseDiagnostic, ResolvedKernConfig, SchemaViolation, ShadowDiagnostic } from '@kernlang/core';
-export declare const GENERATED_HEADER = "// @generated by kern v3.3.9 \u2014 DO NOT EDIT. Source: ";
+export declare const GENERATED_HEADER = "// @generated by kern v3.4.1 \u2014 DO NOT EDIT. Source: ";
 /**
  * Check the existing output file's @generated stamp against the current compiler version.
  * Emits a warning when the stamp is newer (downgrade) or older by a minor/major (drift).
@@ -16,7 +16,7 @@ export declare function surfaceParseDiagnostics(diagnostics: ParseDiagnostic[],
     errors: number;
     warnings: number;
 };
-export declare function parseAndSurface(source: string, file?: string): IRNode;
+export declare function parseAndSurface(source: string, file?: string, options?: import('@kernlang/core').ParseOptions): IRNode;
 export interface FileDiagnosticsJSON {
     file: string;
     success: boolean;
@@ -25,7 +25,7 @@ export interface FileDiagnosticsJSON {
     shadowDiagnostics?: ShadowDiagnostic[];
 }
 /** Parse a .kern file and return structured diagnostics as JSON-serializable object. */
-export declare function parseWithJSONDiagnostics(source: string, file: string): {
+export declare function parseWithJSONDiagnostics(source: string, file: string, options?: import('@kernlang/core').ParseOptions): {
     root: IRNode;
     json: FileDiagnosticsJSON;
 };
@@ -53,7 +53,7 @@ export declare function findNearestPackageJson(startDir: string): string | null;
 export declare function findKernFiles(dir: string, singleFile?: string): string[];
 export declare function collectTsFilesFlat(dirPath: string, recursive: boolean): string[];
 export declare function transpileForTarget(ast: IRNode, cfg: ResolvedKernConfig): import("@kernlang/core").TranspileResult;
-export declare function transpileAndWrite(file: string, cfg: ResolvedKernConfig, args: string[], outDirOverride?: string, inputBase?: string): void;
+export declare function transpileAndWrite(file: string, cfg: ResolvedKernConfig, args: string[], outDirOverride?: string, inputBase?: string, options?: import('@kernlang/core').ParseOptions): void;
 export declare function loadConfig(): ResolvedKernConfig;
 export declare function loadTemplates(cfg: ResolvedKernConfig): void;
 /**

package/dist/shared.js

@@ -1,4 +1,4 @@
-import { analyzeShadow, COMMON_TEMPLATES, clearTemplates, collectCoverageGaps, detectTarget, expandTemplateNode, generateCoreNode, isCoreNode, isTemplateNode, KERN_VERSION, parseWithDiagnostics, registerTemplate, resolveConfig, validateSchema, validateSemantics, writeCoverageGaps, } from '@kernlang/core';
+import { analyzeShadow, COMMON_TEMPLATES, clearTemplates, collectCoverageGaps, detectKernStdlibUsage, detectTarget, expandTemplateNode, generateCoreNode, injectKernStdlibPreamble, injectKernStdlibPreambleIntoSFC, isCoreNode, isTemplateNode, KERN_VERSION, kernStdlibPreamble, parseWithDiagnostics, registerTemplate, resolveConfig, sourceComment, validateSchema, validateSemantics, writeCoverageGaps, } from '@kernlang/core';
 import { transpileExpress } from '@kernlang/express';
 import { transpileFastAPI } from '@kernlang/fastapi';
 import { transpileMCP } from '@kernlang/mcp';
@@ -13,6 +13,29 @@ import { transpileCliApp } from './transpiler-cli.js';
 // ── Constants ────────────────────────────────────────────────────────────
 export const GENERATED_HEADER = `// @generated by kern v${KERN_VERSION} — DO NOT EDIT. Source: `;
 const STAMP_PATTERN = /^\/\/\s*@generated by kern v(\d+)\.(\d+)\.(\d+)/;
+const SOURCE_TRACE_PATTERN = /^\s*\/\/ @kern-source: /m;
+const TRACEABLE_NODE_TYPES = new Set([
+    'action',
+    'class',
+    'config',
+    'const',
+    'enum',
+    'error',
+    'event',
+    'fn',
+    'hook',
+    'interface',
+    'machine',
+    'mcp',
+    'model',
+    'repository',
+    'screen',
+    'service',
+    'store',
+    'tool',
+    'type',
+    'union',
+]);
 function withGeneratedHeader(content, header) {
     if (content.startsWith('#!')) {
         const newline = content.indexOf('\n');
@@ -22,6 +45,79 @@ function withGeneratedHeader(content, header) {
     }
     return `${header}${content}`;
 }
+function escapeRegex(value) {
+    return value.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
+function collectSourceTracePoints(ast, sourceName) {
+    const nodes = [ast, ...(ast.children || [])];
+    return nodes
+        .filter((node) => node.loc && TRACEABLE_NODE_TYPES.has(node.type) && typeof node.props?.name === 'string')
+        .map((node) => ({
+        comment: sourceComment(node, sourceName),
+        name: node.props.name,
+        nodeType: node.type,
+    }))
+        .filter((point) => point.comment.length > 0);
+}
+function declarationPatterns(point) {
+    const name = escapeRegex(point.name);
+    return [
+        new RegExp(`^(\\s*)(?:export\\s+)?(?:default\\s+)?(?:async\\s+)?function\\s+${name}\\b`),
+        new RegExp(`^(\\s*)(?:export\\s+)?(?:default\\s+)?class\\s+${name}\\b`),
+        new RegExp(`^(\\s*)(?:export\\s+)?const\\s+${name}\\b`),
+        new RegExp(`^(\\s*)(?:export\\s+)?let\\s+${name}\\b`),
+        new RegExp(`^(\\s*)(?:export\\s+)?interface\\s+${name}\\b`),
+        new RegExp(`^(\\s*)(?:export\\s+)?type\\s+${name}\\b`),
+        new RegExp(`^(\\s*)(?:export\\s+)?enum\\s+${name}\\b`),
+    ];
+}
+function sourceTraceInsertIndex(lines) {
+    let index = 0;
+    if (lines[index]?.startsWith('#!'))
+        index += 1;
+    if (/^\/\/ @generated by kern\b/.test(lines[index] ?? '')) {
+        index += 1;
+        if (lines[index] === '')
+            index += 1;
+    }
+    return index;
+}
+function entryTracePoints(points) {
+    for (let index = points.length - 1; index >= 0; index -= 1) {
+        if (points[index].nodeType === 'screen')
+            return [points[index]];
+    }
+    return points.length > 0 ? [points[0]] : [];
+}
+function withSourceTraceComments(content, ast, sourceName, options = {}) {
+    if (content.trim().length === 0)
+        return content;
+    if (SOURCE_TRACE_PATTERN.test(content))
+        return content;
+    const collectedPoints = collectSourceTracePoints(ast, sourceName);
+    const points = options.entry ? entryTracePoints(collectedPoints) : collectedPoints;
+    if (points.length === 0)
+        return content;
+    const lines = content.split('\n');
+    const unmatched = [];
+    for (const point of points) {
+        let inserted = false;
+        const patterns = declarationPatterns(point);
+        for (let index = 0; index < lines.length; index += 1) {
+            if (!patterns.some((pattern) => pattern.test(lines[index])))
+                continue;
+            lines.splice(index, 0, point.comment);
+            inserted = true;
+            break;
+        }
+        if (!inserted)
+            unmatched.push(point.comment);
+    }
+    if (unmatched.length > 0) {
+        lines.splice(sourceTraceInsertIndex(lines), 0, ...unmatched, '');
+    }
+    return lines.join('\n');
+}
 /** Parse a [major, minor, patch] tuple from a generated-header line, or null if absent. */
 function parseStampedVersion(file) {
     let candidateLines;
@@ -106,14 +202,14 @@ export function surfaceParseDiagnostics(diagnostics, file) {
     }
     return { errors, warnings };
 }
-export function parseAndSurface(source, file) {
-    const result = parseWithDiagnostics(source);
+export function parseAndSurface(source, file, options) {
+    const result = parseWithDiagnostics(source, undefined, options);
     surfaceParseDiagnostics(result.diagnostics, file);
     return result.root;
 }
 /** Parse a .kern file and return structured diagnostics as JSON-serializable object. */
-export function parseWithJSONDiagnostics(source, file) {
-    const result = parseWithDiagnostics(source);
+export function parseWithJSONDiagnostics(source, file, options) {
+    const result = parseWithDiagnostics(source, undefined, options);
     const schemaViolations = [
         ...validateSchema(result.root),
         ...validateSemantics(result.root).map((sv) => ({
@@ -157,17 +253,35 @@ export function getOutputExtension(target) {
 /** Extract exported symbol names from generated TypeScript lines, distinguishing type-only exports. */
 export function extractExportsFromLines(lines) {
     const exports = [];
-    const re = /^export\s+(?:async\s+)?(?:function\*?|class|const|enum|abstract\s+class)\s+(\w+)/;
+    // `const\s+enum` must come BEFORE the bare `const` branch — otherwise the regex
+    // matches `export const` and captures `enum` as the identifier instead of `Flag`
+    // for `export const enum Flag { ... }` (slice 2b regression caught by Codex).
+    const re = /^export\s+(?:async\s+)?(?:function\*?|class|const\s+enum|const|enum|abstract\s+class)\s+(\w+)/;
     const typeRe = /^export\s+(?:interface|type)\s+(\w+)/;
+    // Slice 2e — function overloads + impl share the same `export function name`
+    // prefix; without dedup the barrel emits `export { add, add, add }` (TS error).
+    // Dedupe by (name, typeOnly) — TS allows a value and a type with the same
+    // name (namespace merging) but not two values.
+    const seen = new Set();
+    const key = (name, typeOnly) => `${typeOnly ? 't' : 'v'}:${name}`;
     for (const line of lines) {
         const m = line.match(re);
         if (m) {
+            const k = key(m[1], false);
+            if (seen.has(k))
+                continue;
+            seen.add(k);
             exports.push({ name: m[1], typeOnly: false });
             continue;
         }
         const tm = line.match(typeRe);
-        if (tm)
+        if (tm) {
+            const k = key(tm[1], true);
+            if (seen.has(k))
+                continue;
+            seen.add(k);
             exports.push({ name: tm[1], typeOnly: true });
+        }
     }
     return exports;
 }
@@ -368,7 +482,11 @@ export function collectTsFilesFlat(dirPath, recursive) {
 function transpileLib(ast, _cfg) {
     const lines = [];
     function processNode(node) {
-        if (isCoreNode(node.type)) {
+        if (isReactNode(node.type)) {
+            lines.push(...generateReactNode(node));
+            lines.push('');
+        }
+        else if (isCoreNode(node.type)) {
             lines.push(...generateCoreNode(node));
             lines.push('');
         }
@@ -376,10 +494,6 @@ function transpileLib(ast, _cfg) {
             lines.push(...expandTemplateNode(node));
             lines.push('');
         }
-        else if (isReactNode(node.type)) {
-            lines.push(...generateReactNode(node));
-            lines.push('');
-        }
     }
     processNode(ast);
     if (ast.children) {
@@ -390,9 +504,71 @@ function transpileLib(ast, _cfg) {
     const code = lines.join('\n');
     return { code, sourceMap: [], irTokenCount: 0, tsTokenCount: 0, tokenReduction: 0 };
 }
+/** Slice 4 layer 2 — apply the Result / Option preamble post-transpile.
+ *
+ *  Lifted from `transpileLib` so every TS-family target picks up the compact
+ *  form without each transpiler needing its own integration. FastAPI is
+ *  excluded (Python).
+ *
+ *  Slice 4 follow-up — Vue / Nuxt SFC outputs route through
+ *  `injectKernStdlibPreambleIntoSFC`, which inserts the preamble INSIDE
+ *  the `<script setup lang="ts">` block instead of before it. The earlier
+ *  blanket pre-injection broke `.vue` parse because raw `type Result<…>`
+ *  text appeared ahead of the SFC. Plain TS-family targets continue to
+ *  use `injectKernStdlibPreamble` (which knows about `'use client'`,
+ *  hashbangs, and JSDoc).
+ *
+ *  Multi-artifact targets (express routes, structured Next.js, etc.) get the
+ *  preamble injected into every artifact whose path ends in `.ts` / `.tsx`
+ *  / `.mts` / `.cts`, since each route file independently references types
+ *  in its handlers. Structured Vue / Nuxt artifacts use the SFC injector
+ *  for `.vue` files. */
+const TS_FAMILY_TARGETS = new Set([
+    'lib',
+    'native',
+    'web',
+    'tailwind',
+    'mcp',
+    'express',
+    'cli',
+    'terminal',
+    'ink',
+    'nextjs',
+]);
+const SFC_TARGETS = new Set(['vue', 'nuxt']);
+function isTsArtifactPath(path) {
+    return path.endsWith('.ts') || path.endsWith('.tsx') || path.endsWith('.mts') || path.endsWith('.cts');
+}
+function isSfcArtifactPath(path) {
+    return path.endsWith('.vue');
+}
+function applyKernStdlibPreamble(ast, target, result) {
+    const isSfc = SFC_TARGETS.has(target);
+    if (!TS_FAMILY_TARGETS.has(target) && !isSfc)
+        return result;
+    const usage = detectKernStdlibUsage(ast);
+    const preamble = kernStdlibPreamble(usage);
+    if (preamble.length === 0)
+        return result;
+    const inject = isSfc ? injectKernStdlibPreambleIntoSFC : injectKernStdlibPreamble;
+    const updatedCode = inject(result.code, preamble);
+    const updatedArtifacts = result.artifacts?.map((art) => {
+        if (isSfcArtifactPath(art.path)) {
+            return { ...art, content: injectKernStdlibPreambleIntoSFC(art.content, preamble) };
+        }
+        if (isTsArtifactPath(art.path)) {
+            return { ...art, content: injectKernStdlibPreamble(art.content, preamble) };
+        }
+        return art;
+    });
+    return {
+        ...result,
+        code: updatedCode,
+        ...(updatedArtifacts ? { artifacts: updatedArtifacts } : {}),
+    };
+}
 // ── Transpile dispatch ───────────────────────────────────────────────────
-export function transpileForTarget(ast, cfg) {
-    const target = cfg.target === 'auto' ? detectTarget(ast) : cfg.target;
+function dispatchTranspile(target, ast, cfg) {
     return target === 'lib'
         ? transpileLib(ast, cfg)
         : target === 'native'
@@ -419,12 +595,21 @@ export function transpileForTarget(ast, cfg) {
                                                     ? transpileNuxt(ast, cfg)
                                                     : transpileNextjs(ast, cfg);
 }
+export function transpileForTarget(ast, cfg) {
+    const target = cfg.target === 'auto' ? detectTarget(ast) : cfg.target;
+    const result = dispatchTranspile(target, ast, cfg);
+    // Slice 4 layer 2 — auto-emit Result / Option type aliases for every
+    // TS-family target. Single integration point so target transpilers don't
+    // each need their own preamble plumbing.
+    return applyKernStdlibPreamble(ast, target, result);
+}
 // ── Transpile + write ────────────────────────────────────────────────────
-export function transpileAndWrite(file, cfg, args, outDirOverride, inputBase) {
+export function transpileAndWrite(file, cfg, args, outDirOverride, inputBase, options) {
     const source = readFileSync(file, 'utf-8');
-    const ast = parseAndSurface(source, file);
+    const ast = parseAndSurface(source, file, options);
     const ext = file.endsWith('.kern') ? '.kern' : '.ir';
     const name = basename(file, ext);
+    const sourceName = basename(file, ext);
     const relSource = relative(process.cwd(), file);
     const header = `${GENERATED_HEADER + relSource}\n\n`;
     if (!args.includes('--no-gaps')) {
@@ -446,7 +631,10 @@ export function transpileAndWrite(file, cfg, args, outDirOverride, inputBase) {
             const artifactPath = resolve(outDir, artifact.path);
             mkdirSync(dirname(artifactPath), { recursive: true });
             checkVersionDrift(artifactPath, relSource);
-            writeFileSync(artifactPath, withGeneratedHeader(artifact.content, header));
+            const tracedContent = withSourceTraceComments(artifact.content, ast, sourceName, {
+                entry: artifact.type === 'entry',
+            });
+            writeFileSync(artifactPath, withGeneratedHeader(tracedContent, header));
         }
     }
     else {
@@ -464,7 +652,7 @@ export function transpileAndWrite(file, cfg, args, outDirOverride, inputBase) {
         const outFilePath = resolve(outDir, outFileName);
         mkdirSync(dirname(outFilePath), { recursive: true });
         checkVersionDrift(outFilePath, relSource);
-        writeFileSync(outFilePath, withGeneratedHeader(result.code, header));
+        writeFileSync(outFilePath, withGeneratedHeader(withSourceTraceComments(result.code, ast, sourceName), header));
         // Flat Ink output still needs a runnable entrypoint. Emit a sibling
         // companion file that imports the generated component by filename, so
         // multi-file directory compiles do not collide on a shared index.tsx.
@@ -475,7 +663,7 @@ export function transpileAndWrite(file, cfg, args, outDirOverride, inputBase) {
                 const componentModule = `./${basename(outFileName, '.tsx')}.js`;
                 const entryContent = entryArtifact.content.replace(/from '\.\/[^']+\.js';/, `from '${componentModule}';`);
                 checkVersionDrift(entryFilePath, relSource);
-                writeFileSync(entryFilePath, withGeneratedHeader(entryContent, header));
+                writeFileSync(entryFilePath, withGeneratedHeader(withSourceTraceComments(entryContent, ast, sourceName, { entry: true }), header));
             }
         }
         // In flat mode (default), other targets skip artifact emission — single file output only.