@nola-lang/compiler 0.1.0-alpha.0

package/dist/lower.js

@@ -0,0 +1,322 @@
+import { Codes, children, } from "@nola-lang/ast";
+import { NOLA_EMIT } from "@nola-lang/core";
+import { companionSpecifierFor } from "./companion-name.js";
+import { collectTypeRegistry } from "./schema.js";
+import { accessorNameFor, buildAccessorPlan, collectTypeImports, deriveTypeExpr, } from "./schema-expr.js";
+import { SpanRecorder } from "./spans.js";
+/**
+ * Appended at EOF so no original line/column shifts: ESM hoists the import, and a
+ * `function` declaration hoists with its value. `__nola_file_ctx` must NOT be a
+ * `const`/`let` — an infer function called during its own module's evaluation
+ * (`const eager = go();`) reads it before the declaration runs and hits the TDZ.
+ * It holds no state: `__nola.context.file` is memoized by path in the runtime.
+ */
+const RUNTIME_IMPORT = (displayFile) => `
+import { __nola } from "nola-lang/runtime";
+__nola.useRuntime(${NOLA_EMIT});
+function __nola_file_ctx() { return __nola.context.file(${JSON.stringify(displayFile)}); }
+`;
+export function lower(source, file, ast, displayFile = file) {
+    return new Lowerer(source, file, ast, displayFile).run();
+}
+class Lowerer {
+    s;
+    source;
+    /** Absolute on-disk path. Diagnostics and source maps use this. */
+    file;
+    /** Project-root-relative path. Only this reaches the emitted code. */
+    displayFile;
+    ast;
+    diagnostics = [];
+    meta = { nolaFunctions: [] };
+    usedRuntime = false;
+    /** named types needing a __nola_type_<Name> accessor in the appendix, in first-use order */
+    typeAccessors = new Map();
+    /** local binding name -> companion import emitted in the appendix */
+    companionImports = new Map();
+    /** shared derivation context (registry, imports, display file, bare ref names) */
+    deriveCtx;
+    constructor(source, file, ast, displayFile) {
+        this.s = new SpanRecorder(source);
+        this.source = source;
+        this.file = file;
+        this.displayFile = displayFile;
+        this.ast = ast;
+        this.deriveCtx = {
+            source,
+            registry: collectTypeRegistry(ast),
+            imports: collectTypeImports(ast),
+            importerDisplayFile: displayFile,
+            refQualifier: "",
+        };
+    }
+    run() {
+        this.visit(this.ast, false, true);
+        if (this.usedRuntime) {
+            // Accessors are `function` declarations for the same TDZ reason as
+            // __nola_file_ctx: a top-level extractor evaluates during module
+            // evaluation, before any appendix statement runs.
+            let appendix = RUNTIME_IMPORT(this.displayFile);
+            for (const [name, expr] of this.typeAccessors) {
+                // The explicit return type is required: a self-recursive accessor has no
+                // inferable return type (TS7023 under strict). The inline import type is
+                // erased by esbuild and resolves against both the stub and the runtime.
+                appendix += `function ${accessorNameFor(name)}(): import("nola-lang/runtime").InferType<unknown> { return ${expr}; }\n`;
+            }
+            // Companion imports hoist like any ESM import; the binding is a companion
+            // accessor function, initialized before module evaluation (cycle-safe).
+            for (const [local, imp] of this.companionImports) {
+                appendix += `import { ${imp.importedName}$type as ${accessorNameFor(local)} } from ${JSON.stringify(companionSpecifierFor(imp.specifier))};\n`;
+            }
+            this.s.appendix(appendix);
+        }
+        const map = this.s.generateMap({ source: this.file, hires: true, includeContent: true });
+        const spans = this.s.finalize(this.source.length);
+        const companions = [
+            ...new Set([...this.companionImports.values()].map((i) => companionSpecifierFor(i.specifier))),
+        ].sort();
+        return {
+            code: this.s.toString(),
+            map,
+            diagnostics: this.diagnostics,
+            meta: { ...this.meta, spans, companions, mode: "lowered" },
+        };
+    }
+    diag(code, message, node) {
+        this.diagnostics.push({ code, message, file: this.file, start: node.start, end: node.end, loc: node.loc });
+    }
+    /** Fold a derivation's transitive needs (accessors, companion imports) into the state. */
+    absorbPlan(companions, plan) {
+        for (const [local, imp] of companions)
+            this.companionImports.set(local, imp);
+        for (const [name, expr] of plan.accessors) {
+            if (!this.typeAccessors.has(name))
+                this.typeAccessors.set(name, expr);
+        }
+        for (const [local, imp] of plan.companions)
+            this.companionImports.set(local, imp);
+    }
+    absorbTypeNeeds(refs, companions) {
+        const plan = buildAccessorPlan(refs, this.deriveCtx);
+        this.absorbPlan(companions, plan);
+        for (const e of plan.errors)
+            this.diag(Codes.UnsupportedIntentType, e.message, e.node);
+    }
+    // inNolaFnBody: directly inside a nola function body.
+    // topLevel: current node is a direct child of Program (or an export wrapper).
+    visit(node, inNolaFnBody, topLevel) {
+        switch (node.type) {
+            case "NolaExtractExpression": {
+                const extract = node;
+                // Tolerant-parse placeholder: diagnostic already recorded; leave the
+                // span's original bytes untouched.
+                if (extract.nolaError || !extract.quasi)
+                    return;
+                this.lowerExtract(extract, inNolaFnBody);
+                return;
+            }
+            case "NolaAskExpression": {
+                const ask = node;
+                if (!inNolaFnBody) {
+                    this.diag(Codes.AskOutsideNolaFunction, "`ask` is only allowed directly inside an infer function body.", node);
+                }
+                else {
+                    // Overwriting up to the operand also removes an `with <alias>` span;
+                    // the alias re-enters as ask's third argument.
+                    this.s.overwrite(node.start, ask.argument.start, "await __nola.ask(");
+                    const provider = ask.provider ? `, ${JSON.stringify(ask.provider.name)}` : "";
+                    // appendRight: extract-lowering suffixes use appendLeft at the same
+                    // position and must land BEFORE this closing paren.
+                    this.s.appendRight(node.end, `, __ctx${provider})`);
+                    this.usedRuntime = true;
+                }
+                this.visit(ask.argument, inNolaFnBody, false);
+                return;
+            }
+            case "FunctionDeclaration": {
+                const fn = node;
+                if (!fn.nolaInfer) {
+                    break;
+                }
+                if (!topLevel) {
+                    // TODO: to discuss - wew should not have this limitation
+                    this.diag(Codes.NolaFnNotTopLevel, "infer functions must be declared at module top level.", node);
+                    break;
+                }
+                this.lowerInferFunction(fn);
+                if (fn.body) {
+                    for (const child of children(fn.body)) {
+                        this.visit(child, true, false);
+                    }
+                }
+                return;
+            }
+            case "CallExpression": {
+                const call = node;
+                if (call.callee.type === "TaggedTemplateExpression") {
+                    this.lowerCallIntent(call, inNolaFnBody);
+                    return;
+                }
+                break;
+            }
+            default:
+                break;
+        }
+        const isFunctionScope = node.type === "FunctionDeclaration" ||
+            node.type === "FunctionExpression" ||
+            node.type === "ArrowFunctionExpression" ||
+            node.type === "ObjectMethod" ||
+            node.type === "ClassMethod";
+        const nextTopLevel = node.type === "File" ||
+            node.type === "Program" ||
+            (topLevel && (node.type === "ExportNamedDeclaration" || node.type === "ExportDefaultDeclaration"));
+        for (const child of children(node)) {
+            this.visit(child, isFunctionScope ? false : inNolaFnBody, nextTopLevel);
+        }
+    }
+    lowerInferFunction(fn) {
+        const infer = fn.nolaInfer;
+        if (!infer)
+            return;
+        const name = fn.id?.name ?? "anonymous";
+        // Removes `infer ` including trailing whitespace up to `function`.
+        this.s.remove(infer.start, infer.end);
+        const instruction = fn.nolaMarker?.instruction ?? "";
+        if (fn.nolaMarker)
+            this.s.remove(fn.nolaMarker.start, fn.nolaMarker.end);
+        const body = fn.body;
+        if (!body)
+            return;
+        // Harvest params into FunctionScopeInit args: every named param contributes
+        // name (+ InferType when derivable); only `..`-prefixed params contribute
+        // the live value. Underivable/unannotated types are silently omitted — an
+        // UnsupportedType here would fail tsc-clean, and a missing arg type must
+        // not block compilation the way it deliberately does for extractors.
+        const argEntries = [];
+        for (const p of (fn.params ?? [])) {
+            if (p.nolaContextual)
+                this.s.remove(p.nolaContextual.start, p.nolaContextual.end);
+            const target = p.type === "AssignmentPattern" ? p.left : p;
+            if (target.type !== "Identifier")
+                continue; // patterns: parser already diagnosed `..` misuse; nothing to harvest
+            const paramName = target.name;
+            if (!paramName)
+                continue;
+            let typeField = "";
+            const tsAnn = target.typeAnnotation?.typeAnnotation;
+            if (tsAnn) {
+                const derived = deriveTypeExpr(tsAnn, this.deriveCtx);
+                if (derived.ok) {
+                    // ref() derivation is lazy — a named type's body only derives inside
+                    // the accessor plan, so "derivable" is only known once the plan builds
+                    // cleanly. On any transitive failure, omit like the shallow case:
+                    // nothing absorbed, no dangling __nola_type_* ref, no diagnostic.
+                    const plan = buildAccessorPlan(derived.refs, this.deriveCtx);
+                    if (plan.errors.length === 0) {
+                        typeField = `, type: ${derived.expr}`;
+                        this.absorbPlan(derived.companions, plan);
+                    }
+                }
+            }
+            const ctxField = p.nolaContextual ? `, contextual: true, value: ${paramName}` : "";
+            argEntries.push(`{ name: ${JSON.stringify(paramName)}${typeField}${ctxField} }`);
+        }
+        const argsField = argEntries.length > 0 ? `, args: [${argEntries.join(", ")}]` : "";
+        this.s.appendRight(body.start + 1, "\n  return __nola.intents.Intent(async (__ctx) => {");
+        this.s.appendLeft(body.end - 1, `  }, __nola_file_ctx().func({ fn: ${JSON.stringify(name)}, instruction: ${JSON.stringify(instruction)}${argsField} }));\n`);
+        this.meta.nolaFunctions.push(name);
+        this.usedRuntime = true;
+    }
+    lowerCallIntent(call, inNolaFnBody) {
+        const callee = call.callee;
+        const { tag, quasi } = callee;
+        if (quasi.expressions.length > 0) {
+            this.diag(Codes.SubstitutionInCallMarker, 
+            // biome-ignore lint/suspicious/noTemplateCurlyInString: literal ${...} in a diagnostic message
+            "`${...}` substitutions are not allowed in a call-intent marker.", quasi.expressions[0]);
+            return;
+        }
+        for (const arg of call.arguments)
+            this.checkCallIntentArg(arg);
+        const instruction = quasi.quasis.map((q) => q.value.cooked ?? q.value.raw).join("");
+        const tagText = this.source.slice(tag.start, tag.end);
+        const simple = tag.type === "Identifier" || tag.type === "MemberExpression";
+        const typeText = simple ? `<Awaited<ReturnType<typeof ${tagText}>>>` : "";
+        const { line, column } = call.loc.start;
+        this.s.appendLeft(call.start, `__nola.intents.FunctionCallingIntent${typeText}({ fn: `);
+        const argsStart = call.arguments.length > 0 ? call.arguments[0].start : call.end - 1;
+        this.s.overwrite(tag.end, argsStart, `, name: ${JSON.stringify(tagText)}, instruction: ${JSON.stringify(instruction)}, ` +
+            `loc: ${JSON.stringify(`${line}:${column + 1}`)}, args: [`);
+        this.s.overwrite(call.end - 1, call.end, "] })");
+        this.usedRuntime = true;
+        for (const arg of call.arguments)
+            this.visit(arg, inNolaFnBody, false);
+    }
+    /**
+     * NOLA2004 for untyped extractors in slot positions: direct args and anywhere
+     * inside plain object/array literal nesting (mirrors the runtime slot walk).
+     */
+    checkCallIntentArg(arg) {
+        if (arg.type === "NolaExtractExpression") {
+            if (!arg.typeArgs) {
+                this.diag(Codes.UntypedCallIntentArg, "an extractor used as a call-intent argument must have an explicit <T>.", arg);
+            }
+            return;
+        }
+        if (arg.type === "ObjectExpression") {
+            for (const prop of arg.properties) {
+                if (prop.type === "ObjectProperty")
+                    this.checkCallIntentArg(prop.value);
+            }
+            return;
+        }
+        if (arg.type === "ArrayExpression") {
+            for (const el of arg.elements) {
+                if (el)
+                    this.checkCallIntentArg(el);
+            }
+        }
+    }
+    lowerExtract(node, inNolaFnBody) {
+        const quasi = node.quasi;
+        if (!quasi)
+            return;
+        let typeExpr = "__nola.types.string()";
+        let typeText = "<any>";
+        if (node.typeArgs) {
+            const t = node.typeArgs.params[0];
+            if (t) {
+                typeText = `<${this.source.slice(t.start, t.end)}>`;
+                const derived = deriveTypeExpr(t, this.deriveCtx);
+                if (derived.ok) {
+                    typeExpr = derived.expr;
+                    this.absorbTypeNeeds(derived.refs, derived.companions);
+                }
+                else {
+                    this.diag(Codes.UnsupportedIntentType, derived.message, derived.node);
+                }
+            }
+        }
+        const { line, column } = node.loc.start;
+        // Prefix up to (but not including) the template preserves the template's
+        // original bytes; each ${expr} gets __nola.fmt(...) wrapped around it.
+        this.s.overwrite(node.start, quasi.start, `__nola.intents.ExtractIntent${typeText}({ instruction: `);
+        for (const expr of quasi.expressions) {
+            this.s.appendLeft(expr.start, "__nola.fmt(");
+            this.s.appendLeft(expr.end, ")");
+        }
+        const suffix = `, type: ${typeExpr}, loc: ${JSON.stringify(`${line}:${column + 1}`)} })`;
+        if (node.end > quasi.end) {
+            // Replaces the <T> span (which follows the template).
+            this.s.overwrite(quasi.end, node.end, suffix);
+        }
+        else {
+            // appendLeft: must precede an enclosing ask's appendRight ")".
+            this.s.appendLeft(node.end, suffix);
+        }
+        this.usedRuntime = true;
+        for (const expr of quasi.expressions)
+            this.visit(expr, inNolaFnBody, false);
+    }
+}
+//# sourceMappingURL=lower.js.map

package/dist/lower.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower.js","sourceRoot":"","sources":["../src/lower.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,KAAK,EACL,QAAQ,GAST,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAEL,eAAe,EACf,iBAAiB,EAEjB,kBAAkB,EAElB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAG1C;;;;;;GAMG;AACH,MAAM,cAAc,GAAG,CAAC,WAAmB,EAAE,EAAE,CAAC;;oBAE5B,SAAS;0DAC6B,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC;CACpF,CAAC;AAEF,MAAM,UAAU,KAAK,CAAC,MAAc,EAAE,IAAY,EAAE,GAAa,EAAE,cAAsB,IAAI;IAC3F,OAAO,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC;AAC3D,CAAC;AAED,MAAM,OAAO;IACM,CAAC,CAAe;IAChB,MAAM,CAAS;IAChC,mEAAmE;IAClD,IAAI,CAAS;IAC9B,sEAAsE;IACrD,WAAW,CAAS;IACpB,GAAG,CAAW;IACd,WAAW,GAAiB,EAAE,CAAC;IAC/B,IAAI,GAAgC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IACnE,WAAW,GAAG,KAAK,CAAC;IAC5B,4FAA4F;IAC3E,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3D,qEAAqE;IACpD,gBAAgB,GAAG,IAAI,GAAG,EAA2B,CAAC;IACvE,kFAAkF;IACjE,SAAS,CAAgB;IAE1C,YAAY,MAAc,EAAE,IAAY,EAAE,GAAa,EAAE,WAAmB;QAC1E,IAAI,CAAC,CAAC,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,IAAI,CAAC,SAAS,GAAG;YACf,MAAM;YACN,QAAQ,EAAE,mBAAmB,CAAC,GAAG,CAAC;YAClC,OAAO,EAAE,kBAAkB,CAAC,GAAG,CAAC;YAChC,mBAAmB,EAAE,WAAW;YAChC,YAAY,EAAE,EAAE;SACjB,CAAC;IACJ,CAAC;IAED,GAAG;QACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAElC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,mEAAmE;YACnE,iEAAiE;YACjE,kDAAkD;YAClD,IAAI,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAChD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBAC9C,yEAAyE;gBACzE,yEAAyE;gBACzE,wEAAwE;gBACxE,QAAQ,IAAI,YAAY,eAAe,CAAC,IAAI,CAAC,+DAA+D,IAAI,OAAO,CAAC;YAC1H,CAAC;YACD,0EAA0E;YAC1E,wEAAwE;YACxE,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACjD,QAAQ,IAAI,YAAY,GAAG,CAAC,YAAY,YAAY,eAAe,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC;YACjJ,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC5B,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QACzF,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,UAAU,GAAG;YACjB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;SAC/F,CAAC,IAAI,EAAE,CAAC;QAET,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE;YACvB,GAAG;YACH,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE;SAC3D,CAAC;IACJ,CAAC;IAEO,IAAI,CAAC,IAAY,EAAE,OAAe,EAAE,IAAc;QACxD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAC7G,CAAC;IAED,0FAA0F;IAClF,UAAU,CAAC,UAAwC,EAAE,IAAkB;QAC7E,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,UAAU;YAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC7E,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAC1C,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACxE,CAAC;QACD,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU;YAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACpF,CAAC;IAEO,eAAe,CAAC,IAAiB,EAAE,UAAwC;QACjF,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QACrD,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACzF,CAAC;IAED,sDAAsD;IACtD,8EAA8E;IACtE,KAAK,CAAC,IAAc,EAAE,YAAqB,EAAE,QAAiB;QACpE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,uBAAuB,CAAC,CAAC,CAAC;gBAC7B,MAAM,OAAO,GAAG,IAA6B,CAAC;gBAC9C,qEAAqE;gBACrE,mCAAmC;gBACnC,IAAI,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,KAAK;oBAAE,OAAO;gBAChD,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;gBACzC,OAAO;YACT,CAAC;YACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBACzB,MAAM,GAAG,GAAG,IAAyB,CAAC;gBACtC,IAAI,CAAC,YAAY,EAAE,CAAC;oBAClB,IAAI,CAAC,IAAI,CACP,KAAK,CAAC,sBAAsB,EAC5B,+DAA+D,EAC/D,IAAI,CACL,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,qEAAqE;oBACrE,+CAA+C;oBAC/C,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;oBACtE,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC9E,oEAAoE;oBACpE,oDAAoD;oBACpD,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,QAAQ,GAAG,CAAC,CAAC;oBACpD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;gBAC1B,CAAC;gBACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;gBAC9C,OAAO;YACT,CAAC;YACD,KAAK,qBAAqB,CAAC,CAAC,CAAC;gBAC3B,MAAM,EAAE,GAAG,IAAwB,CAAC;gBACpC,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC;oBAClB,MAAM;gBACR,CAAC;gBAED,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,yDAAyD;oBACzD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,uDAAuD,EAAE,IAAI,CAAC,CAAC;oBAClG,MAAM;gBACR,CAAC;gBAED,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;gBAE5B,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;oBACZ,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;wBACtC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;oBACjC,CAAC;gBACH,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,IAAI,GAAG,IAA0B,CAAC;gBACxC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,0BAA0B,EAAE,CAAC;oBACpD,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;oBACzC,OAAO;gBACT,CAAC;gBACD,MAAM;YACR,CAAC;YACD;gBACE,MAAM;QACV,CAAC;QACD,MAAM,eAAe,GACnB,IAAI,CAAC,IAAI,KAAK,qBAAqB;YACnC,IAAI,CAAC,IAAI,KAAK,oBAAoB;YAClC,IAAI,CAAC,IAAI,KAAK,yBAAyB;YACvC,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,IAAI,CAAC,IAAI,KAAK,aAAa,CAAC;QAC9B,MAAM,YAAY,GAChB,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,SAAS;YACvB,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,wBAAwB,IAAI,IAAI,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC,CAAC;QACrG,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAEO,kBAAkB,CAAC,EAAoB;QAC7C,MAAM,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC;QAC3B,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,EAAE,IAAI,IAAI,WAAW,CAAC;QACxC,mEAAmE;QACnE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,WAAW,GAAG,EAAE,CAAC,UAAU,EAAE,WAAW,IAAI,EAAE,CAAC;QACrD,IAAI,EAAE,CAAC,UAAU;YAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACzE,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;QACrB,IAAI,CAAC,IAAI;YAAE,OAAO;QAElB,4EAA4E;QAC5E,0EAA0E;QAC1E,0EAA0E;QAC1E,yEAAyE;QACzE,qEAAqE;QACrE,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,CAAoB,EAAE,CAAC;YACrD,IAAI,CAAC,CAAC,cAAc;gBAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;YAClF,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAG,CAA2B,CAAC,IAAsB,CAAC,CAAC,CAAC,CAAC,CAAC;YACzG,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY;gBAAE,SAAS,CAAC,qEAAqE;YACjH,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC;YAC9B,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,IAAI,SAAS,GAAG,EAAE,CAAC;YACnB,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,EAAE,cAAc,CAAC;YACpD,IAAI,KAAK,EAAE,CAAC;gBACV,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;gBACtD,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;oBACf,qEAAqE;oBACrE,uEAAuE;oBACvE,kEAAkE;oBAClE,kEAAkE;oBAClE,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;oBAC7D,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAC7B,SAAS,GAAG,WAAW,OAAO,CAAC,IAAI,EAAE,CAAC;wBACtC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM,QAAQ,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,8BAA8B,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnF,UAAU,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,SAAS,GAAG,QAAQ,IAAI,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAEpF,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,qDAAqD,CAAC,CAAC;QAC1F,IAAI,CAAC,CAAC,CAAC,UAAU,CACf,IAAI,CAAC,GAAG,GAAG,CAAC,EACZ,qCAAqC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,GAAG,SAAS,SAAS,CAC5H,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IAC1B,CAAC;IAEO,eAAe,CAAC,IAAwB,EAAE,YAAqB;QACrE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAsC,CAAC;QAC3D,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;QAC9B,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,IAAI,CACP,KAAK,CAAC,wBAAwB;YAC9B,+FAA+F;YAC/F,iEAAiE,EACjE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAa,CACjC,CAAC;YACF,OAAO;QACT,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;QAC/D,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpF,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB,CAAC;QAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,8BAA8B,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QACxC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,uCAAuC,QAAQ,SAAS,CAAC,CAAC;QACxF,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAc,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QACnG,IAAI,CAAC,CAAC,CAAC,SAAS,CACd,GAAG,CAAC,GAAG,EACP,SAAS,EACT,WAAW,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI;YACjF,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC,WAAW,CAC7D,CAAC;QACF,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACjD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QACxB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IACzE,CAAC;IAED;;;OAGG;IACK,kBAAkB,CAAC,GAAa;QACtC,IAAI,GAAG,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;YACzC,IAAI,CAAE,GAA6B,CAAC,QAAQ,EAAE,CAAC;gBAC7C,IAAI,CAAC,IAAI,CACP,KAAK,CAAC,oBAAoB,EAC1B,wEAAwE,EACxE,GAAG,CACJ,CAAC;YACJ,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACpC,KAAK,MAAM,IAAI,IAAK,GAA4B,CAAC,UAAU,EAAE,CAAC;gBAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;oBAAE,IAAI,CAAC,kBAAkB,CAAE,IAA2B,CAAC,KAAK,CAAC,CAAC;YAClG,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACnC,KAAK,MAAM,EAAE,IAAK,GAA2B,CAAC,QAAQ,EAAE,CAAC;gBACvD,IAAI,EAAE;oBAAE,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,IAA2B,EAAE,YAAqB;QACrE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,IAAI,QAAQ,GAAG,uBAAuB,CAAC;QACvC,IAAI,QAAQ,GAAG,OAAO,CAAC;QACvB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,CAAC,EAAE,CAAC;gBACN,QAAQ,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;gBACpD,MAAM,OAAO,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;gBAClD,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;oBACf,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;oBACxB,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;gBACzD,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;gBACxE,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QACxC,yEAAyE;QACzE,uEAAuE;QACvE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,+BAA+B,QAAQ,kBAAkB,CAAC,CAAC;QACrG,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACrC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;YAC7C,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,CAAC;QACD,MAAM,MAAM,GAAG,WAAW,QAAQ,UAAU,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;QACzF,IAAI,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;YACzB,sDAAsD;YACtD,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAChD,CAAC;aAAM,CAAC;YACN,+DAA+D;YAC/D,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,CAAC;QACD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,WAAW;YAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IAC9E,CAAC;CACF"}

package/dist/path.d.ts

@@ -0,0 +1,16 @@
+/**
+ * The path baked into lowered output (`file:` fields, `__nola.context.file(...)`).
+ *
+ * Absolute paths would leak the build machine's layout into `dist/` and make builds
+ * non-reproducible across checkouts, so emit a posix-separated path relative to the
+ * project root instead. Nothing at run time resolves this string — it is a memo key
+ * for `fileContext` and a label in errors, logs, and receipts.
+ *
+ * Falls back to the input when there is no root, or when the file sits outside it
+ * (a `../..` chain is no more portable than the absolute path it came from). Callers
+ * derive `file` and `sourceRoot` from the same `resolve()`/`fileURLToPath()` pass, so
+ * a plain prefix match is enough — no need for `node:path`, which this package (alone
+ * among the build-time ones) does not depend on.
+ */
+export declare function displayPathFor(file: string, sourceRoot?: string): string;
+//# sourceMappingURL=path.d.ts.map

package/dist/path.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"path.d.ts","sourceRoot":"","sources":["../src/path.ts"],"names":[],"mappings":"AAKA;;;;;;;;;;;;;GAaG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,CAMxE"}

package/dist/path.js

@@ -0,0 +1,28 @@
+/** Backslashes → posix, and no trailing slash. */
+function toPosix(p) {
+    return p.replace(/\\/g, "/").replace(/\/+$/, "");
+}
+/**
+ * The path baked into lowered output (`file:` fields, `__nola.context.file(...)`).
+ *
+ * Absolute paths would leak the build machine's layout into `dist/` and make builds
+ * non-reproducible across checkouts, so emit a posix-separated path relative to the
+ * project root instead. Nothing at run time resolves this string — it is a memo key
+ * for `fileContext` and a label in errors, logs, and receipts.
+ *
+ * Falls back to the input when there is no root, or when the file sits outside it
+ * (a `../..` chain is no more portable than the absolute path it came from). Callers
+ * derive `file` and `sourceRoot` from the same `resolve()`/`fileURLToPath()` pass, so
+ * a plain prefix match is enough — no need for `node:path`, which this package (alone
+ * among the build-time ones) does not depend on.
+ */
+export function displayPathFor(file, sourceRoot) {
+    if (!sourceRoot)
+        return file;
+    const root = toPosix(sourceRoot);
+    if (root === "")
+        return file;
+    const posix = file.replace(/\\/g, "/");
+    return posix.startsWith(`${root}/`) ? posix.slice(root.length + 1) : file;
+}
+//# sourceMappingURL=path.js.map

package/dist/path.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"path.js","sourceRoot":"","sources":["../src/path.ts"],"names":[],"mappings":"AAAA,kDAAkD;AAClD,SAAS,OAAO,CAAC,CAAS;IACxB,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AACnD,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,UAAmB;IAC9D,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IACjC,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5E,CAAC"}

package/dist/schema-expr.d.ts

@@ -0,0 +1,61 @@
+import { type BaseNode } from "@nola-lang/ast";
+export interface CompanionImport {
+    specifier: string;
+    importedName: string;
+}
+export interface DeriveContext {
+    source: string;
+    registry: Map<string, BaseNode>;
+    /** local name -> named type/value import it came from */
+    imports: Map<string, CompanionImport>;
+    importerDisplayFile: string;
+    /** "" in lowered .tsi files; "<moduleId>#" inside companions */
+    refQualifier: string;
+    /**
+     * Prune mode (harvest seam only): an object member whose type fails to
+     * derive is dropped instead of failing the whole object. An object that
+     * prunes to empty still fails upward, so its own parent drops it too.
+     */
+    lossy?: boolean;
+    /**
+     * Named types known to be underivable even lossily. Grown iteratively by the
+     * prune loop in the Lowerer: a reference to a dead name fails (and is then
+     * pruned by its enclosing object like any other underivable member).
+     */
+    deadRefs?: Set<string>;
+}
+export type TypeExprResult = {
+    ok: true;
+    expr: string;
+    refs: Set<string>;
+    companions: Map<string, CompanionImport>;
+} | {
+    ok: false;
+    message: string;
+    node: BaseNode;
+};
+export declare function accessorNameFor(typeName: string): string;
+/**
+ * Emit-5/6 companion of deriveSchema: same supported surface, but produces a
+ * `__nola.types.*` combinator expression instead of inline JSON. Named
+ * registry references become ref() calls — which is what makes recursion
+ * legal (toJsonSchema resolves cycles to $defs/$ref at run time) — and named
+ * IMPORTS become module-qualified refs bound to companion accessors.
+ */
+export declare function deriveTypeExpr(t: BaseNode, ctx: DeriveContext): TypeExprResult;
+/** All named ImportSpecifier bindings (type or value; default/namespace skipped). */
+export declare function collectTypeImports(ast: BaseNode): Map<string, CompanionImport>;
+export interface AccessorPlan {
+    /** local type name -> body expr, in first-use order */
+    accessors: Map<string, string>;
+    /** local binding name -> companion import */
+    companions: Map<string, CompanionImport>;
+    errors: Array<{
+        name: string;
+        message: string;
+        node: BaseNode;
+    }>;
+}
+/** Transitively derive accessor bodies for named local types (worklist). */
+export declare function buildAccessorPlan(entryRefs: Set<string>, ctx: DeriveContext): AccessorPlan;
+//# sourceMappingURL=schema-expr.d.ts.map

package/dist/schema-expr.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-expr.d.ts","sourceRoot":"","sources":["../src/schema-expr.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,QAAQ,EAcd,MAAM,gBAAgB,CAAC;AAIxB,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAChC,yDAAyD;IACzD,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACtC,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gEAAgE;IAChE,YAAY,EAAE,MAAM,CAAC;IACrB;;;;OAIG;IACH,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CACxB;AAED,MAAM,MAAM,cAAc,GACtB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAAC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;CAAE,GACvF;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEnD,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAExD;AAID;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,aAAa,GAAG,cAAc,CAK9E;AAED,qFAAqF;AACrF,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,QAAQ,GAAG,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAmB9E;AAED,MAAM,WAAW,YAAY;IAC3B,uDAAuD;IACvD,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,6CAA6C;IAC7C,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACzC,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,QAAQ,CAAA;KAAE,CAAC,CAAC;CAClE;AAED,4EAA4E;AAC5E,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,aAAa,GAAG,YAAY,CAoB1F"}