@nola-lang/compiler 0.1.0-alpha.0

package/dist/schema-expr.js

@@ -0,0 +1,211 @@
+import { programBody, } from "@nola-lang/ast";
+import { moduleIdFor } from "./companion-name.js";
+import { jsdocDescription } from "./schema.js";
+export function accessorNameFor(typeName) {
+    return `__nola_type_${typeName}`;
+}
+const IDENT = /^[A-Za-z_$][A-Za-z0-9_$]*$/;
+/**
+ * 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 function deriveTypeExpr(t, ctx) {
+    const refs = new Set();
+    const companions = new Map();
+    const result = walk(t, ctx, refs, companions);
+    return result.ok ? { ok: true, expr: result.expr, refs, companions } : result;
+}
+/** All named ImportSpecifier bindings (type or value; default/namespace skipped). */
+export function collectTypeImports(ast) {
+    const out = new Map();
+    const importDecls = programBody(ast).filter((n) => n.type === "ImportDeclaration");
+    for (const decl of importDecls) {
+        const specifier = decl.source?.value;
+        if (!specifier)
+            continue;
+        const specs = decl.specifiers?.filter((s) => s.type === "ImportSpecifier");
+        for (const spec of specs ?? []) {
+            const imported = spec.imported;
+            const local = spec.local?.name;
+            const importedName = imported?.type === "StringLiteral" ? imported.value : imported?.name;
+            if (importedName && local)
+                out.set(local, { specifier, importedName });
+        }
+    }
+    return out;
+}
+/** Transitively derive accessor bodies for named local types (worklist). */
+export function buildAccessorPlan(entryRefs, ctx) {
+    const plan = { accessors: new Map(), companions: new Map(), errors: [] };
+    const queue = [...entryRefs];
+    while (queue.length > 0) {
+        const name = queue.shift();
+        if (plan.accessors.has(name))
+            continue;
+        const decl = ctx.registry.get(name);
+        if (!decl)
+            continue; // the reference itself was already diagnosed
+        plan.accessors.set(name, ""); // reserve slot to break cycles
+        const derived = deriveTypeExpr(decl, ctx);
+        if (derived.ok) {
+            plan.accessors.set(name, derived.expr);
+            queue.push(...derived.refs);
+            for (const [local, imp] of derived.companions)
+                plan.companions.set(local, imp);
+        }
+        else {
+            plan.accessors.delete(name);
+            plan.errors.push({ name, message: derived.message, node: derived.node });
+        }
+    }
+    return plan;
+}
+function walk(t, ctx, refs, companions) {
+    switch (t.type) {
+        case "TSStringKeyword":
+            return { ok: true, expr: "__nola.types.string()" };
+        case "TSNumberKeyword":
+            return { ok: true, expr: "__nola.types.number()" };
+        case "TSBooleanKeyword":
+            return { ok: true, expr: "__nola.types.boolean()" };
+        case "TSArrayType": {
+            const inner = walk(t.elementType, ctx, refs, companions);
+            return inner.ok ? { ok: true, expr: `__nola.types.array(${inner.expr})` } : inner;
+        }
+        case "TSTypeLiteral":
+            return walkObject(t.members ?? [], ctx, refs, companions, t);
+        case "TSInterfaceDeclaration": {
+            const bodyMembers = t.body?.body ?? [];
+            return walkObject(bodyMembers, ctx, refs, companions, t);
+        }
+        case "TSUnionType": {
+            const labels = [];
+            for (const member of t.types ?? []) {
+                const literal = member.type === "TSLiteralType" ? member.literal : undefined;
+                if (literal?.type !== "StringLiteral") {
+                    return {
+                        ok: false,
+                        message: "only unions of string literals are supported in intent schemas",
+                        node: member,
+                    };
+                }
+                const value = literal.value ?? "";
+                if (!labels.includes(value))
+                    labels.push(value);
+            }
+            return { ok: true, expr: `__nola.types.enum([${labels.map((l) => JSON.stringify(l)).join(",")}])` };
+        }
+        case "TSEnumDeclaration": {
+            const decl = t;
+            const members = decl.body?.members ?? decl.members ?? [];
+            const labels = [];
+            for (const member of members) {
+                const init = member.initializer;
+                if (init?.type !== "StringLiteral") {
+                    return { ok: false, message: "only string-valued enums are supported in intent schemas", node: member };
+                }
+                const value = init.value ?? "";
+                if (!labels.includes(value))
+                    labels.push(value);
+            }
+            return { ok: true, expr: `__nola.types.enum([${labels.map((l) => JSON.stringify(l)).join(",")}])` };
+        }
+        case "TSTypeReference": {
+            const ref = t;
+            const typeName = ref.typeName;
+            const hasParams = Boolean(ref.typeParameters ?? ref.typeArguments);
+            if (typeName?.type !== "Identifier" || hasParams) {
+                return {
+                    ok: false,
+                    message: `unsupported type for intent schema: ${ctx.source.slice(t.start, t.end)}`,
+                    node: t,
+                };
+            }
+            const name = typeName.name ?? "";
+            // Checked before the registry: a dead name must not re-enter refs (that
+            // is what makes the prune loop's dead-ref set monotone and terminating).
+            if (ctx.lossy && ctx.deadRefs?.has(name)) {
+                return { ok: false, message: `type '${name}' has no derivable members`, node: t };
+            }
+            if (ctx.registry.has(name)) {
+                refs.add(name);
+                return {
+                    ok: true,
+                    expr: `__nola.types.ref(${JSON.stringify(ctx.refQualifier + name)}, ${accessorNameFor(name)})`,
+                };
+            }
+            const imp = ctx.imports.get(name);
+            if (imp) {
+                if (!imp.specifier.startsWith("./") && !imp.specifier.startsWith("../")) {
+                    return {
+                        ok: false,
+                        message: `type '${name}' is imported from a package ("${imp.specifier}") — intent schema types must come from project files`,
+                        node: t,
+                    };
+                }
+                companions.set(name, imp);
+                const id = moduleIdFor(ctx.importerDisplayFile, imp.specifier);
+                return {
+                    ok: true,
+                    expr: `__nola.types.ref(${JSON.stringify(`${id}#${imp.importedName}`)}, ${accessorNameFor(name)})`,
+                };
+            }
+            // Built-in Date (only when no local declaration or import shadows it):
+            // wire format is an ISO 8601 string; the runtime revives it to a Date.
+            if (name === "Date")
+                return { ok: true, expr: "__nola.types.date()" };
+            return {
+                ok: false,
+                message: `type '${name}' must be a non-generic type alias, interface, or enum declared in this file or imported with a named import`,
+                node: t,
+            };
+        }
+        default:
+            return { ok: false, message: `unsupported type for intent schema: ${t.type}`, node: t };
+    }
+}
+function walkObject(members, ctx, refs, companions, owner) {
+    const parts = [];
+    for (const member of members) {
+        if (member.type !== "TSPropertySignature") {
+            if (ctx.lossy)
+                continue; // prune: methods, index signatures, ... just vanish from the description
+            return { ok: false, message: `unsupported member '${member.type}' in intent schema object`, node: member };
+        }
+        const prop = member;
+        const key = prop.key;
+        const name = key?.type === "Identifier" ? key.name : key?.type === "StringLiteral" ? key.value : undefined;
+        if (!name) {
+            if (ctx.lossy)
+                continue;
+            return { ok: false, message: "unsupported property key in intent schema object", node: member };
+        }
+        const annotation = prop.typeAnnotation?.typeAnnotation;
+        if (!annotation) {
+            if (ctx.lossy)
+                continue;
+            return { ok: false, message: `property '${name}' needs a type annotation`, node: member };
+        }
+        const inner = walk(annotation, ctx, refs, companions);
+        if (!inner.ok) {
+            if (ctx.lossy)
+                continue;
+            return inner;
+        }
+        let expr = inner.expr;
+        if (prop.optional)
+            expr = `__nola.types.optional(${expr})`;
+        const description = jsdocDescription(member);
+        if (description)
+            expr = `${expr}.describe(${JSON.stringify(description)})`;
+        parts.push(`${IDENT.test(name) ? name : JSON.stringify(name)}: ${expr}`);
+    }
+    if (parts.length === 0) {
+        return { ok: false, message: "empty object types are not useful as intent schemas", node: owner };
+    }
+    return { ok: true, expr: `__nola.types.object({ ${parts.join(", ")} })` };
+}
+//# sourceMappingURL=schema-expr.js.map

package/dist/schema-expr.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-expr.js","sourceRoot":"","sources":["../src/schema-expr.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,WAAW,GAWZ,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAiC/C,MAAM,UAAU,eAAe,CAAC,QAAgB;IAC9C,OAAO,eAAe,QAAQ,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,KAAK,GAAG,4BAA4B,CAAC;AAE3C;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,CAAW,EAAE,GAAkB;IAC5D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,UAAU,GAAG,IAAI,GAAG,EAA2B,CAAC;IACtD,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IAC9C,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AAChF,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,kBAAkB,CAAC,GAAa;IAC9C,MAAM,GAAG,GAAG,IAAI,GAAG,EAA2B,CAAC;IAE/C,MAAM,WAAW,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAA4B,CAAC;IAC9G,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC;QACrC,IAAI,CAAC,SAAS;YAAE,SAAS;QAEzB,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAA0B,CAAC;QACpG,KAAK,MAAM,IAAI,IAAI,KAAK,IAAI,EAAE,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;YAC/B,MAAM,YAAY,GAAG,QAAQ,EAAE,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC;YAE1F,IAAI,YAAY,IAAI,KAAK;gBAAE,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAUD,4EAA4E;AAC5E,MAAM,UAAU,iBAAiB,CAAC,SAAsB,EAAE,GAAkB;IAC1E,MAAM,IAAI,GAAiB,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,UAAU,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACvF,MAAM,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC;IAC7B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAY,CAAC;QACrC,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACvC,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI;YAAE,SAAS,CAAC,6CAA6C;QAClE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,+BAA+B;QAC7D,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC1C,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;YACf,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5B,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,OAAO,CAAC,UAAU;gBAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACjF,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAID,SAAS,IAAI,CAAC,CAAW,EAAE,GAAkB,EAAE,IAAiB,EAAE,UAAwC;IACxG,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,iBAAiB;YACpB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,uBAAuB,EAAE,CAAC;QACrD,KAAK,iBAAiB;YACpB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,uBAAuB,EAAE,CAAC;QACrD,KAAK,kBAAkB;YACrB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC;QACtD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,KAAK,GAAG,IAAI,CAAE,CAAqB,CAAC,WAAW,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;YAC9E,OAAO,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,sBAAsB,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QACpF,CAAC;QACD,KAAK,eAAe;YAClB,OAAO,UAAU,CAAE,CAAuB,CAAC,OAAO,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QACtF,KAAK,wBAAwB,CAAC,CAAC,CAAC;YAC9B,MAAM,WAAW,GAAI,CAAgC,CAAC,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;YACvE,OAAO,UAAU,CAAC,WAAW,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QAC3D,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,MAAM,GAAa,EAAE,CAAC;YAC5B,KAAK,MAAM,MAAM,IAAK,CAAqB,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;gBACxD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAE,MAA4B,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;gBACpG,IAAI,OAAO,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;oBACtC,OAAO;wBACL,EAAE,EAAE,KAAK;wBACT,OAAO,EAAE,gEAAgE;wBACzE,IAAI,EAAE,MAAM;qBACb,CAAC;gBACJ,CAAC;gBACD,MAAM,KAAK,GAAI,OAA6B,CAAC,KAAK,IAAI,EAAE,CAAC;gBACzD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,sBAAsB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACtG,CAAC;QACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,IAAI,GAAG,CAA0B,CAAC;YACxC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,IAAI,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;YACzD,MAAM,MAAM,GAAa,EAAE,CAAC;YAC5B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAI,MAA2B,CAAC,WAAW,CAAC;gBACtD,IAAI,IAAI,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;oBACnC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,0DAA0D,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gBAC1G,CAAC;gBACD,MAAM,KAAK,GAAI,IAA0B,CAAC,KAAK,IAAI,EAAE,CAAC;gBACtD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,sBAAsB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACtG,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,GAAG,GAAG,CAAwB,CAAC;YACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;YAC9B,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,cAAc,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;YACnE,IAAI,QAAQ,EAAE,IAAI,KAAK,YAAY,IAAI,SAAS,EAAE,CAAC;gBACjD,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,OAAO,EAAE,uCAAuC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE;oBAClF,IAAI,EAAE,CAAC;iBACR,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC;YACjC,wEAAwE;YACxE,yEAAyE;YACzE,IAAI,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,IAAI,4BAA4B,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YACpF,CAAC;YACD,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACf,OAAO;oBACL,EAAE,EAAE,IAAI;oBACR,IAAI,EAAE,oBAAoB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,GAAG,IAAI,CAAC,KAAK,eAAe,CAAC,IAAI,CAAC,GAAG;iBAC/F,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,GAAG,EAAE,CAAC;gBACR,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;oBACxE,OAAO;wBACL,EAAE,EAAE,KAAK;wBACT,OAAO,EAAE,SAAS,IAAI,kCAAkC,GAAG,CAAC,SAAS,uDAAuD;wBAC5H,IAAI,EAAE,CAAC;qBACR,CAAC;gBACJ,CAAC;gBACD,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC1B,MAAM,EAAE,GAAG,WAAW,CAAC,GAAG,CAAC,mBAAmB,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;gBAC/D,OAAO;oBACL,EAAE,EAAE,IAAI;oBACR,IAAI,EAAE,oBAAoB,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC,KAAK,eAAe,CAAC,IAAI,CAAC,GAAG;iBACnG,CAAC;YACJ,CAAC;YACD,uEAAuE;YACvE,uEAAuE;YACvE,IAAI,IAAI,KAAK,MAAM;gBAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC;YACtE,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,OAAO,EAAE,SAAS,IAAI,8GAA8G;gBACpI,IAAI,EAAE,CAAC;aACR,CAAC;QACJ,CAAC;QACD;YACE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,uCAAuC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IAC5F,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CACjB,OAAmB,EACnB,GAAkB,EAClB,IAAiB,EACjB,UAAwC,EACxC,KAAe;IAEf,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC1C,IAAI,GAAG,CAAC,KAAK;gBAAE,SAAS,CAAC,yEAAyE;YAClG,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,uBAAuB,MAAM,CAAC,IAAI,2BAA2B,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC7G,CAAC;QACD,MAAM,IAAI,GAAG,MAAiC,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,IAAI,GAAG,GAAG,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3G,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,IAAI,GAAG,CAAC,KAAK;gBAAE,SAAS;YACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,kDAAkD,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAClG,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,EAAE,cAAc,CAAC;QACvD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,IAAI,GAAG,CAAC,KAAK;gBAAE,SAAS;YACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,IAAI,2BAA2B,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC5F,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;QACtD,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;YACd,IAAI,GAAG,CAAC,KAAK;gBAAE,SAAS;YACxB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QACtB,IAAI,IAAI,CAAC,QAAQ;YAAE,IAAI,GAAG,yBAAyB,IAAI,GAAG,CAAC;QAC3D,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,WAAW;YAAE,IAAI,GAAG,GAAG,IAAI,aAAa,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC;QAC3E,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,qDAAqD,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACpG,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,yBAAyB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;AAC5E,CAAC"}

package/dist/schema.d.ts

@@ -0,0 +1,16 @@
+import { type BaseNode } from "@nola-lang/ast";
+import type { JsonSchema } from "@nola-lang/core";
+export type SchemaResult = {
+    ok: true;
+    schema: JsonSchema;
+} | {
+    ok: false;
+    message: string;
+    node: BaseNode;
+};
+/** Top-level non-generic `type X = {…}` / `interface X {…}` by name. */
+export declare function collectTypeRegistry(ast: BaseNode): Map<string, BaseNode>;
+/** First JSDoc block (slash-star-star … star-slash) in leadingComments → collapsed description. */
+export declare function jsdocDescription(member: BaseNode): string | undefined;
+export declare function deriveSchema(t: BaseNode, source: string, registry: Map<string, BaseNode>, seen?: Set<string>): SchemaResult;
+//# sourceMappingURL=schema.d.ts.map

package/dist/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,QAAQ,EAcd,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD,MAAM,MAAM,YAAY,GAAG;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,UAAU,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAE7G,wEAAwE;AACxE,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,QAAQ,GAAG,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAgBxE;AAED,mGAAmG;AACnG,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,GAAG,SAAS,CAerE;AAED,wBAAgB,YAAY,CAC1B,CAAC,EAAE,QAAQ,EACX,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,EAC/B,IAAI,GAAE,GAAG,CAAC,MAAM,CAAa,GAC5B,YAAY,CA6Ed"}

package/dist/schema.js

@@ -0,0 +1,152 @@
+import { programBody, } from "@nola-lang/ast";
+/** Top-level non-generic `type X = {…}` / `interface X {…}` by name. */
+export function collectTypeRegistry(ast) {
+    const registry = new Map();
+    for (const raw of programBody(ast)) {
+        const stmt = (raw.type === "ExportNamedDeclaration" ? raw.declaration : raw) ?? raw;
+        if (stmt.type === "TSTypeAliasDeclaration") {
+            const alias = stmt;
+            if (!alias.typeParameters)
+                registry.set(alias.id?.name ?? "", alias.typeAnnotation);
+        }
+        else if (stmt.type === "TSInterfaceDeclaration") {
+            const iface = stmt;
+            if (!iface.typeParameters && !iface.extends?.length)
+                registry.set(iface.id?.name ?? "", iface);
+        }
+        else if (stmt.type === "TSEnumDeclaration") {
+            registry.set(stmt.id?.name ?? "", stmt);
+        }
+    }
+    registry.delete("");
+    return registry;
+}
+/** First JSDoc block (slash-star-star … star-slash) in leadingComments → collapsed description. */
+export function jsdocDescription(member) {
+    const comments = member.leadingComments;
+    if (!comments)
+        return undefined;
+    for (const c of comments) {
+        if (c.type === "CommentBlock" && c.value.startsWith("*")) {
+            const text = c.value
+                .split("\n")
+                .map((l) => l.replace(/^\s*\*+\s?/, "").trim())
+                .filter((l) => l.length > 0)
+                .join(" ")
+                .trim();
+            if (text)
+                return text;
+        }
+    }
+    return undefined;
+}
+export function deriveSchema(t, source, registry, seen = new Set()) {
+    switch (t.type) {
+        case "TSStringKeyword":
+            return { ok: true, schema: { type: "string" } };
+        case "TSNumberKeyword":
+            return { ok: true, schema: { type: "number" } };
+        case "TSBooleanKeyword":
+            return { ok: true, schema: { type: "boolean" } };
+        case "TSArrayType": {
+            const inner = deriveSchema(t.elementType, source, registry, seen);
+            return inner.ok ? { ok: true, schema: { type: "array", items: inner.schema } } : inner;
+        }
+        case "TSTypeLiteral":
+            return deriveObject(t.members ?? [], source, registry, seen, t);
+        case "TSInterfaceDeclaration": {
+            const bodyMembers = t.body?.body ?? [];
+            return deriveObject(bodyMembers, source, registry, seen, t);
+        }
+        case "TSUnionType": {
+            const labels = [];
+            for (const member of t.types ?? []) {
+                const literal = member.type === "TSLiteralType" ? member.literal : undefined;
+                if (literal?.type !== "StringLiteral") {
+                    return {
+                        ok: false,
+                        message: "only unions of string literals are supported in intent schemas",
+                        node: member,
+                    };
+                }
+                const value = literal.value ?? "";
+                if (!labels.includes(value))
+                    labels.push(value);
+            }
+            return { ok: true, schema: { type: "string", enum: labels } };
+        }
+        case "TSEnumDeclaration": {
+            const decl = t;
+            const members = decl.body?.members ?? decl.members ?? [];
+            const labels = [];
+            for (const member of members) {
+                const init = member.initializer;
+                if (init?.type !== "StringLiteral") {
+                    return { ok: false, message: "only string-valued enums are supported in intent schemas", node: member };
+                }
+                const value = init.value ?? "";
+                if (!labels.includes(value))
+                    labels.push(value);
+            }
+            return { ok: true, schema: { type: "string", enum: labels } };
+        }
+        case "TSTypeReference": {
+            const ref = t;
+            const typeName = ref.typeName;
+            const hasParams = Boolean(ref.typeParameters ?? ref.typeArguments);
+            if (typeName?.type !== "Identifier" || hasParams) {
+                return { ok: false, message: `unsupported type for intent schema: ${source.slice(t.start, t.end)}`, node: t };
+            }
+            const name = typeName.name ?? "";
+            if (seen.has(name)) {
+                return { ok: false, message: `recursive type '${name}' is not supported in intent schemas`, node: t };
+            }
+            const target = registry.get(name);
+            if (!target) {
+                // Built-in Date (unshadowed): ISO 8601 string on the wire, revived by
+                // the runtime — keep in lockstep with deriveTypeExpr/inferTypes.date.
+                if (name === "Date")
+                    return { ok: true, schema: { type: "string", format: "date-time" } };
+                return {
+                    ok: false,
+                    message: `type '${name}' must be a non-generic type alias or interface declared in the same file`,
+                    node: t,
+                };
+            }
+            const nextSeen = new Set(seen);
+            nextSeen.add(name);
+            return deriveSchema(target, source, registry, nextSeen);
+        }
+        default:
+            return { ok: false, message: `unsupported type for intent schema: ${t.type}`, node: t };
+    }
+}
+function deriveObject(members, source, registry, seen, owner) {
+    const properties = {};
+    const required = [];
+    for (const member of members) {
+        if (member.type !== "TSPropertySignature") {
+            return { ok: false, message: `unsupported member '${member.type}' in intent schema object`, node: member };
+        }
+        const prop = member;
+        const key = prop.key;
+        const name = key?.type === "Identifier" ? key.name : key?.type === "StringLiteral" ? key.value : undefined;
+        if (!name)
+            return { ok: false, message: "unsupported property key in intent schema object", node: member };
+        const annotation = prop.typeAnnotation?.typeAnnotation;
+        if (!annotation)
+            return { ok: false, message: `property '${name}' needs a type annotation`, node: member };
+        const inner = deriveSchema(annotation, source, registry, seen);
+        if (!inner.ok)
+            return inner;
+        const description = jsdocDescription(member);
+        properties[name] = description ? { ...inner.schema, description } : inner.schema;
+        if (!prop.optional)
+            required.push(name);
+    }
+    if (Object.keys(properties).length === 0) {
+        return { ok: false, message: "empty object types are not useful as intent schemas", node: owner };
+    }
+    return { ok: true, schema: { type: "object", properties, required, additionalProperties: false } };
+}
+//# sourceMappingURL=schema.js.map

package/dist/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,WAAW,GAYZ,MAAM,gBAAgB,CAAC;AAKxB,wEAAwE;AACxE,MAAM,UAAU,mBAAmB,CAAC,GAAa;IAC/C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,wBAAwB,CAAC,CAAC,CAAE,GAAkC,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;QACpH,IAAI,IAAI,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,IAAkC,CAAC;YACjD,IAAI,CAAC,KAAK,CAAC,cAAc;gBAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,IAAI,EAAE,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;QACtF,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;YAClD,MAAM,KAAK,GAAG,IAAkC,CAAC;YACjD,IAAI,CAAC,KAAK,CAAC,cAAc,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM;gBAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;QACjG,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC7C,QAAQ,CAAC,GAAG,CAAE,IAA8B,CAAC,EAAE,EAAE,IAAI,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACD,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACpB,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,gBAAgB,CAAC,MAAgB;IAC/C,MAAM,QAAQ,GAAG,MAAM,CAAC,eAAe,CAAC;IACxC,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK;iBACjB,KAAK,CAAC,IAAI,CAAC;iBACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;iBAC9C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;iBAC3B,IAAI,CAAC,GAAG,CAAC;iBACT,IAAI,EAAE,CAAC;YACV,IAAI,IAAI;gBAAE,OAAO,IAAI,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,CAAW,EACX,MAAc,EACd,QAA+B,EAC/B,OAAoB,IAAI,GAAG,EAAE;IAE7B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,iBAAiB;YACpB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;QAClD,KAAK,iBAAiB;YACpB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;QAClD,KAAK,kBAAkB;YACrB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC;QACnD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,KAAK,GAAG,YAAY,CAAE,CAAqB,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YACvF,OAAO,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QACzF,CAAC;QACD,KAAK,eAAe;YAClB,OAAO,YAAY,CAAE,CAAuB,CAAC,OAAO,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACzF,KAAK,wBAAwB,CAAC,CAAC,CAAC;YAC9B,MAAM,WAAW,GAAI,CAAgC,CAAC,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;YACvE,OAAO,YAAY,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC9D,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,MAAM,GAAa,EAAE,CAAC;YAC5B,KAAK,MAAM,MAAM,IAAK,CAAqB,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;gBACxD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAE,MAA4B,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;gBACpG,IAAI,OAAO,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;oBACtC,OAAO;wBACL,EAAE,EAAE,KAAK;wBACT,OAAO,EAAE,gEAAgE;wBACzE,IAAI,EAAE,MAAM;qBACb,CAAC;gBACJ,CAAC;gBACD,MAAM,KAAK,GAAI,OAA6B,CAAC,KAAK,IAAI,EAAE,CAAC;gBACzD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;QAChE,CAAC;QACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,IAAI,GAAG,CAA0B,CAAC;YACxC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,IAAI,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;YACzD,MAAM,MAAM,GAAa,EAAE,CAAC;YAC5B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAI,MAA2B,CAAC,WAAW,CAAC;gBACtD,IAAI,IAAI,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;oBACnC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,0DAA0D,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gBAC1G,CAAC;gBACD,MAAM,KAAK,GAAI,IAA0B,CAAC,KAAK,IAAI,EAAE,CAAC;gBACtD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;QAChE,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,GAAG,GAAG,CAAwB,CAAC;YACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;YAC9B,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,cAAc,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;YACnE,IAAI,QAAQ,EAAE,IAAI,KAAK,YAAY,IAAI,SAAS,EAAE,CAAC;gBACjD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,uCAAuC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAChH,CAAC;YACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,mBAAmB,IAAI,sCAAsC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YACxG,CAAC;YACD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,sEAAsE;gBACtE,sEAAsE;gBACtE,IAAI,IAAI,KAAK,MAAM;oBAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC;gBAC1F,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,OAAO,EAAE,SAAS,IAAI,2EAA2E;oBACjG,IAAI,EAAE,CAAC;iBACR,CAAC;YACJ,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnB,OAAO,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC1D,CAAC;QACD;YACE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,uCAAuC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IAC5F,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,OAAmB,EACnB,MAAc,EACd,QAA+B,EAC/B,IAAiB,EACjB,KAAe;IAEf,MAAM,UAAU,GAA+B,EAAE,CAAC;IAClD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC1C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,uBAAuB,MAAM,CAAC,IAAI,2BAA2B,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC7G,CAAC;QACD,MAAM,IAAI,GAAG,MAAiC,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,IAAI,GAAG,GAAG,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3G,IAAI,CAAC,IAAI;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,kDAAkD,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC3G,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,EAAE,cAAc,CAAC;QACvD,IAAI,CAAC,UAAU;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,IAAI,2BAA2B,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC3G,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC/D,IAAI,CAAC,KAAK,CAAC,EAAE;YAAE,OAAO,KAAK,CAAC;QAC5B,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAC7C,UAAU,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;QACjF,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,qDAAqD,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACpG,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,oBAAoB,EAAE,KAAK,EAAE,EAAE,CAAC;AACrG,CAAC"}

package/dist/spans.d.ts

@@ -0,0 +1,73 @@
+import type { SourceMap } from "magic-string";
+import MagicString from "magic-string";
+export type SpanKind = "verbatim" | "replaced" | "appendix";
+export interface Span {
+    sourceStart: number;
+    sourceEnd: number;
+    generatedStart: number;
+    generatedEnd: number;
+    kind: SpanKind;
+}
+/**
+ * A source fragment copied byte-identically into replacement text (e.g. the
+ * extractor's `<T>` type text re-emitted inside `ExtractIntent<T>`). Anchors
+ * ride on top of the span tiling: the source range also belongs to a replaced
+ * span (which keeps diagnostics), while the anchor gives the fragment
+ * full-feature editor mappings (navigation, hover, completion).
+ */
+export interface Anchor {
+    sourceStart: number;
+    sourceEnd: number;
+    generatedStart: number;
+    generatedEnd: number;
+}
+/** A copied fragment declared at edit time: where its bytes came from, and where they sit in `text`. */
+export interface EditAnchor {
+    sourceStart: number;
+    sourceEnd: number;
+    /** offset of the copied bytes within the edit's replacement text */
+    textOffset: number;
+}
+/**
+ * Records every MagicString mutation lower() performs so finalize() can
+ * reconstruct the generated file as a tiling of spans. meta.spans is the
+ * ground truth for editor mappings (spec §4c); the v3 source map stays as
+ * derived output for the loader and `nola check`.
+ *
+ * Only the mutations lower() actually uses are exposed. The correctness
+ * anchor is the byte-equality invariant test, not this class: if MagicString
+ * ordering ever disagrees with finalize()'s model, spans.test.ts fails.
+ */
+/**
+ * Debugger hygiene for the v3 map: every generated line that BEGINS inside
+ * replaced/inserted text gets a line-start segment anchored at the edit's
+ * source position. magic-string emits no mappings for inserted text, which
+ * leaves whole wrapper lines (the infer-function opener and closer) unmapped;
+ * the loader's esbuild merge then attributes such a line to the previous
+ * mapped token via esbuild's line-start carry segment — observed as F11 into
+ * an infer function displaying the body's LAST line while actually paused in
+ * intent construction. With the anchor, the opener pauses display the
+ * function header and the closer (including the arrow's return position)
+ * displays the close-brace line. The appendix keeps its unmapped contract.
+ */
+export declare function anchorInsertedLines(map: SourceMap, spans: Span[], generated: string, source: string): void;
+export declare class SpanRecorder {
+    private readonly s;
+    private readonly edits;
+    private appendixText;
+    private seq;
+    constructor(source: string);
+    overwrite(start: number, end: number, text: string, anchors?: EditAnchor[]): void;
+    remove(start: number, end: number): void;
+    appendLeft(pos: number, text: string): void;
+    appendRight(pos: number, text: string): void;
+    /** The EOF insert (runtime import + accessors). Always the last content. */
+    appendix(text: string): void;
+    toString(): string;
+    generateMap(options: Parameters<MagicString["generateMap"]>[0]): SourceMap;
+    finalize(sourceLength: number): {
+        spans: Span[];
+        anchors: Anchor[];
+    };
+}
+//# sourceMappingURL=spans.d.ts.map

package/dist/spans.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spans.d.ts","sourceRoot":"","sources":["../src/spans.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,WAAW,MAAM,cAAc,CAAC;AAEvC,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,CAAC;AAE5D,MAAM,WAAW,IAAI;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;CAChB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,MAAM;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,wGAAwG;AACxG,MAAM,WAAW,UAAU;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,oEAAoE;IACpE,UAAU,EAAE,MAAM,CAAC;CACpB;AAYD;;;;;;;;;GASG;AACH;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAoC1G;AAED,qBAAa,YAAY;IACvB,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAc;IAChC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAc;IACpC,OAAO,CAAC,YAAY,CAAM;IAC1B,OAAO,CAAC,GAAG,CAAK;gBAEJ,MAAM,EAAE,MAAM;IAI1B,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,UAAU,EAAE,GAAG,IAAI;IAKjF,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI;IAKxC,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAK3C,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAK5C,4EAA4E;IAC5E,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAK5B,QAAQ,IAAI,MAAM;IAIlB,WAAW,CAAC,OAAO,EAAE,UAAU,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS;IAI1E,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE;CA8DrE"}

package/dist/spans.js

@@ -0,0 +1,169 @@
+import { decode, encode } from "@jridgewell/sourcemap-codec";
+import MagicString from "magic-string";
+/**
+ * Records every MagicString mutation lower() performs so finalize() can
+ * reconstruct the generated file as a tiling of spans. meta.spans is the
+ * ground truth for editor mappings (spec §4c); the v3 source map stays as
+ * derived output for the loader and `nola check`.
+ *
+ * Only the mutations lower() actually uses are exposed. The correctness
+ * anchor is the byte-equality invariant test, not this class: if MagicString
+ * ordering ever disagrees with finalize()'s model, spans.test.ts fails.
+ */
+/**
+ * Debugger hygiene for the v3 map: every generated line that BEGINS inside
+ * replaced/inserted text gets a line-start segment anchored at the edit's
+ * source position. magic-string emits no mappings for inserted text, which
+ * leaves whole wrapper lines (the infer-function opener and closer) unmapped;
+ * the loader's esbuild merge then attributes such a line to the previous
+ * mapped token via esbuild's line-start carry segment — observed as F11 into
+ * an infer function displaying the body's LAST line while actually paused in
+ * intent construction. With the anchor, the opener pauses display the
+ * function header and the closer (including the arrow's return position)
+ * displays the close-brace line. The appendix keeps its unmapped contract.
+ */
+export function anchorInsertedLines(map, spans, generated, source) {
+    const lineStartsOf = (text) => {
+        const starts = [0];
+        for (let i = 0; i < text.length; i++)
+            if (text[i] === "\n")
+                starts.push(i + 1);
+        return starts;
+    };
+    const lineOf = (starts, offset) => {
+        let lo = 0;
+        let hi = starts.length - 1;
+        while (lo < hi) {
+            const mid = (lo + hi + 1) >> 1;
+            if (starts[mid] <= offset)
+                lo = mid;
+            else
+                hi = mid - 1;
+        }
+        return lo;
+    };
+    const genStarts = lineStartsOf(generated);
+    const srcStarts = lineStartsOf(source);
+    const decoded = decode(map.mappings);
+    let changed = false;
+    for (const sp of spans) {
+        if (sp.kind !== "replaced")
+            continue;
+        const srcLine = lineOf(srcStarts, sp.sourceStart);
+        const srcCol = sp.sourceStart - srcStarts[srcLine];
+        let line = lineOf(genStarts, sp.generatedStart);
+        if (genStarts[line] < sp.generatedStart)
+            line += 1;
+        for (; line < genStarts.length && genStarts[line] < sp.generatedEnd; line++) {
+            while (decoded.length <= line)
+                decoded.push([]);
+            const segs = decoded[line];
+            if (segs.length === 0 || segs[0][0] > 0) {
+                segs.unshift([0, 0, srcLine, srcCol]);
+                changed = true;
+            }
+        }
+    }
+    if (changed)
+        map.mappings = encode(decoded);
+}
+export class SpanRecorder {
+    s;
+    edits = [];
+    appendixText = "";
+    seq = 0;
+    constructor(source) {
+        this.s = new MagicString(source);
+    }
+    overwrite(start, end, text, anchors) {
+        this.s.overwrite(start, end, text);
+        this.edits.push({ sourceStart: start, sourceEnd: end, text, side: 0, seq: this.seq++, anchors });
+    }
+    remove(start, end) {
+        this.s.remove(start, end);
+        this.edits.push({ sourceStart: start, sourceEnd: end, text: "", side: 0, seq: this.seq++ });
+    }
+    appendLeft(pos, text) {
+        this.s.appendLeft(pos, text);
+        this.edits.push({ sourceStart: pos, sourceEnd: pos, text, side: 0, seq: this.seq++ });
+    }
+    appendRight(pos, text) {
+        this.s.appendRight(pos, text);
+        this.edits.push({ sourceStart: pos, sourceEnd: pos, text, side: 1, seq: this.seq++ });
+    }
+    /** The EOF insert (runtime import + accessors). Always the last content. */
+    appendix(text) {
+        this.s.append(text);
+        this.appendixText += text;
+    }
+    toString() {
+        return this.s.toString();
+    }
+    generateMap(options) {
+        return this.s.generateMap(options);
+    }
+    finalize(sourceLength) {
+        // MagicString emission order at a shared position: appendLeft content
+        // precedes appendRight content; same-side calls emit in call order.
+        // Sorting by (sourceStart, side, seq) reproduces that order.
+        const edits = [...this.edits].sort((a, b) => a.sourceStart - b.sourceStart || a.side - b.side || a.seq - b.seq);
+        const spans = [];
+        const anchors = [];
+        let src = 0;
+        let gen = 0;
+        const pushVerbatim = (to) => {
+            if (to > src) {
+                spans.push({
+                    sourceStart: src,
+                    sourceEnd: to,
+                    generatedStart: gen,
+                    generatedEnd: gen + (to - src),
+                    kind: "verbatim",
+                });
+                gen += to - src;
+                src = to;
+            }
+        };
+        for (const e of edits) {
+            pushVerbatim(e.sourceStart);
+            for (const a of e.anchors ?? []) {
+                anchors.push({
+                    sourceStart: a.sourceStart,
+                    sourceEnd: a.sourceEnd,
+                    generatedStart: gen + a.textOffset,
+                    generatedEnd: gen + a.textOffset + (a.sourceEnd - a.sourceStart),
+                });
+            }
+            const prev = spans[spans.length - 1];
+            if (prev && prev.kind === "replaced" && prev.sourceEnd === e.sourceStart && prev.generatedEnd === gen) {
+                // Coalesce adjacent replacements (e.g. an extract suffix appendLeft
+                // and the enclosing ask's appendRight at the same position).
+                prev.sourceEnd = e.sourceEnd;
+                prev.generatedEnd += e.text.length;
+            }
+            else {
+                spans.push({
+                    sourceStart: e.sourceStart,
+                    sourceEnd: e.sourceEnd,
+                    generatedStart: gen,
+                    generatedEnd: gen + e.text.length,
+                    kind: "replaced",
+                });
+            }
+            gen += e.text.length;
+            src = Math.max(src, e.sourceEnd);
+        }
+        pushVerbatim(sourceLength);
+        if (this.appendixText.length > 0) {
+            spans.push({
+                sourceStart: sourceLength,
+                sourceEnd: sourceLength,
+                generatedStart: gen,
+                generatedEnd: gen + this.appendixText.length,
+                kind: "appendix",
+            });
+        }
+        return { spans, anchors };
+    }
+}
+//# sourceMappingURL=spans.js.map