@nola-lang/compiler 0.1.0-alpha.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Evgen Mykhailenko
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,7 @@
+Part of [Nola](https://github.com/nola-lang/nola), a TypeScript superset (`.tsi`) where `infer` functions and `ask` extractors turn prompts into typed values.
+
+**Internal package** — you probably want [`nola-lang`](https://www.npmjs.com/package/nola-lang) (the dev tool) or [`@nola-lang/runtime`](https://www.npmjs.com/package/@nola-lang/runtime) (the app dependency).
+
+This package lowers Nola constructs to plain TypeScript (the JSX model): byte-identical outside replaced spans, source maps, schema derivation, and companion modules for cross-file types.
+
+Versioned in lockstep with the whole toolchain; internal APIs may change in any release.

package/dist/ambient-stub.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Ambient declarations of the emit surface — what lowered code references when
+ * the real `@nola-lang/runtime` package is not resolvable (bare test projects).
+ * Single-sourced here since Track 2; tshost (nola check) and the tsc-clean test
+ * helper both import it. Keep in lockstep with __nola.ts + emit-surface.test.ts.
+ */
+export declare const RUNTIME_AMBIENT_STUB = "\nexport type JsonSchema = { type: string } & Record<string, unknown>;\nexport interface Askable<T = unknown> {\n  withRetry(retries: number): Askable<T>;\n  withProvider(provider: string): Askable<T>;\n  withParams(params: Record<string, unknown>): Askable<T>;\n}\nexport interface Intent<T = unknown> extends Askable<T>, PromiseLike<T> {\n  withRetry(retries: number): Intent<T>;\n  withProvider(provider: string): Intent<T>;\n  withParams(params: Record<string, unknown>): Intent<T>;\n  withTimeout(timeout: number): Intent<T>;\n  detached(): Intent<T>;\n}\nexport interface InferContext {\n  scope(data: Record<string, unknown>): InferContext;\n}\nexport interface InferType<T = unknown> {\n  describe(text: string): InferType<T>;\n  toJsonSchema(): JsonSchema;\n}\nexport interface FunctionInferContext extends InferContext {\n  readonly __nolaFunctionScope: true;\n}\nexport interface FileInferContext extends InferContext {\n  func(init: {\n    fn: string; instruction?: string;\n    args?: Array<{ name: string; type?: InferType<unknown>; contextual?: boolean; value?: unknown }>;\n  }): FunctionInferContext;\n}\nexport interface Frame {\n  readonly infer: InferContext;\n}\nexport interface UnsupportedType<Reason extends string = string> {\n  readonly __nolaTypeUnsupported: Reason;\n}\nexport declare const __nola: {\n  intents: {\n    Intent<T>(executor: (ctx: Frame) => Promise<T>, scope: FunctionInferContext): Intent<T>;\n    ExtractIntent<T = unknown>(init: { instruction: string; type: unknown; loc: string }): Askable<T>;\n    FunctionCallingIntent<T = unknown>(init: {\n      fn: unknown; name: string; instruction: string; loc: string; args: unknown[];\n    }): Askable<T>;\n  };\n  types: {\n    string(): InferType<string>;\n    number(): InferType<number>;\n    boolean(): InferType<boolean>;\n    date(): InferType<Date>;\n    enum(labels: readonly string[]): InferType<string>;\n    array<T>(item: InferType<T>): InferType<T[]>;\n    object(props: Record<string, InferType<unknown>>): InferType<Record<string, unknown>>;\n    optional<T>(t: InferType<T>): InferType<T | undefined>;\n    ref<T = unknown>(name: string, resolve: () => InferType<T>): InferType<T>;\n    unsupported<R extends string>(reason: R): UnsupportedType<R>;\n  };\n  context: {\n    file(file: string): FileInferContext;\n  };\n  ask<T>(value: Askable<T>, ctx: Frame, provider?: string): Promise<T>;\n  fmt(value: unknown): string;\n  useRuntime(v: number): void;\n};\n";
+//# sourceMappingURL=ambient-stub.d.ts.map

package/dist/ambient-stub.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ambient-stub.d.ts","sourceRoot":"","sources":["../src/ambient-stub.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,u6EA+DhC,CAAC"}

package/dist/ambient-stub.js

@@ -0,0 +1,71 @@
+/**
+ * Ambient declarations of the emit surface — what lowered code references when
+ * the real `@nola-lang/runtime` package is not resolvable (bare test projects).
+ * Single-sourced here since Track 2; tshost (nola check) and the tsc-clean test
+ * helper both import it. Keep in lockstep with __nola.ts + emit-surface.test.ts.
+ */
+export const RUNTIME_AMBIENT_STUB = `
+export type JsonSchema = { type: string } & Record<string, unknown>;
+export interface Askable<T = unknown> {
+  withRetry(retries: number): Askable<T>;
+  withProvider(provider: string): Askable<T>;
+  withParams(params: Record<string, unknown>): Askable<T>;
+}
+export interface Intent<T = unknown> extends Askable<T>, PromiseLike<T> {
+  withRetry(retries: number): Intent<T>;
+  withProvider(provider: string): Intent<T>;
+  withParams(params: Record<string, unknown>): Intent<T>;
+  withTimeout(timeout: number): Intent<T>;
+  detached(): Intent<T>;
+}
+export interface InferContext {
+  scope(data: Record<string, unknown>): InferContext;
+}
+export interface InferType<T = unknown> {
+  describe(text: string): InferType<T>;
+  toJsonSchema(): JsonSchema;
+}
+export interface FunctionInferContext extends InferContext {
+  readonly __nolaFunctionScope: true;
+}
+export interface FileInferContext extends InferContext {
+  func(init: {
+    fn: string; instruction?: string;
+    args?: Array<{ name: string; type?: InferType<unknown>; contextual?: boolean; value?: unknown }>;
+  }): FunctionInferContext;
+}
+export interface Frame {
+  readonly infer: InferContext;
+}
+export interface UnsupportedType<Reason extends string = string> {
+  readonly __nolaTypeUnsupported: Reason;
+}
+export declare const __nola: {
+  intents: {
+    Intent<T>(executor: (ctx: Frame) => Promise<T>, scope: FunctionInferContext): Intent<T>;
+    ExtractIntent<T = unknown>(init: { instruction: string; type: unknown; loc: string }): Askable<T>;
+    FunctionCallingIntent<T = unknown>(init: {
+      fn: unknown; name: string; instruction: string; loc: string; args: unknown[];
+    }): Askable<T>;
+  };
+  types: {
+    string(): InferType<string>;
+    number(): InferType<number>;
+    boolean(): InferType<boolean>;
+    date(): InferType<Date>;
+    enum(labels: readonly string[]): InferType<string>;
+    array<T>(item: InferType<T>): InferType<T[]>;
+    object(props: Record<string, InferType<unknown>>): InferType<Record<string, unknown>>;
+    optional<T>(t: InferType<T>): InferType<T | undefined>;
+    ref<T = unknown>(name: string, resolve: () => InferType<T>): InferType<T>;
+    unsupported<R extends string>(reason: R): UnsupportedType<R>;
+  };
+  context: {
+    file(file: string): FileInferContext;
+  };
+  ask<T>(value: Askable<T>, ctx: Frame, provider?: string): Promise<T>;
+  fmt(value: unknown): string;
+  useRuntime(v: number): void;
+};
+`;
+//# sourceMappingURL=ambient-stub.js.map

package/dist/ambient-stub.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ambient-stub.js","sourceRoot":"","sources":["../src/ambient-stub.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+DnC,CAAC"}

package/dist/companion-name.d.ts

@@ -0,0 +1,22 @@
+/** Pure string transforms for the reserved `*.nola.js` companion namespace. */
+export declare function isCompanionSpecifier(s: string): boolean;
+/**
+ * Forward transform: the specifier the lowerer emits for a type import.
+ * `.js`/`.ts` are interchangeable origins (NodeNext vs type-stripping worlds),
+ * so both collapse to the extensionless base; `.tsi` and `.d.ts` stay whole so
+ * the reverse is exact.
+ */
+export declare function companionSpecifierFor(sourceSpecifier: string): string;
+/** Reverse transform: candidate source specifiers, in probe order. */
+export declare function companionSourceCandidates(companionSpecifier: string): string[];
+/**
+ * Stable identity of the module a specifier points at, relative to the project
+ * root — used to qualify ref names so same-named types from different files
+ * stay distinct inside one $defs. Pure path arithmetic, no resolution.
+ */
+export declare function moduleIdFor(importerDisplayFile: string, specifier: string): string;
+/** The whole `*.nola.*` filename namespace is reserved (spec invariant 3). */
+export declare function isReservedNolaName(fileName: string): boolean;
+/** The virtual TS document name for a lowered .tsi file (tshost + editor share it). */
+export declare function loweredVirtualNameFor(file: string): string;
+//# sourceMappingURL=companion-name.d.ts.map

package/dist/companion-name.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"companion-name.d.ts","sourceRoot":"","sources":["../src/companion-name.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAE/E,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAEvD;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,eAAe,EAAE,MAAM,GAAG,MAAM,CAGrE;AAED,sEAAsE;AACtE,wBAAgB,yBAAyB,CAAC,kBAAkB,EAAE,MAAM,GAAG,MAAM,EAAE,CAI9E;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,mBAAmB,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAQlF;AAED,8EAA8E;AAC9E,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAG5D;AAED,uFAAuF;AACvF,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE1D"}

package/dist/companion-name.js

@@ -0,0 +1,48 @@
+/** Pure string transforms for the reserved `*.nola.js` companion namespace. */
+export function isCompanionSpecifier(s) {
+    return s.endsWith(".nola.js");
+}
+/**
+ * Forward transform: the specifier the lowerer emits for a type import.
+ * `.js`/`.ts` are interchangeable origins (NodeNext vs type-stripping worlds),
+ * so both collapse to the extensionless base; `.tsi` and `.d.ts` stay whole so
+ * the reverse is exact.
+ */
+export function companionSpecifierFor(sourceSpecifier) {
+    const base = /\.d\.ts$/.test(sourceSpecifier) ? sourceSpecifier : sourceSpecifier.replace(/\.(?:js|ts)$/, "");
+    return `${base}.nola.js`;
+}
+/** Reverse transform: candidate source specifiers, in probe order. */
+export function companionSourceCandidates(companionSpecifier) {
+    const base = companionSpecifier.slice(0, -".nola.js".length);
+    if (/\.(?:tsi|d\.ts)$/.test(base))
+        return [base];
+    return [`${base}.ts`, `${base}.tsi`, `${base}.js`];
+}
+/**
+ * Stable identity of the module a specifier points at, relative to the project
+ * root — used to qualify ref names so same-named types from different files
+ * stay distinct inside one $defs. Pure path arithmetic, no resolution.
+ */
+export function moduleIdFor(importerDisplayFile, specifier) {
+    const stack = importerDisplayFile.replace(/\\/g, "/").split("/").slice(0, -1);
+    for (const part of specifier.replace(/\\/g, "/").split("/")) {
+        if (part === "" || part === ".")
+            continue;
+        if (part === "..")
+            stack.pop();
+        else
+            stack.push(part);
+    }
+    return stack.join("/").replace(/\.(?:tsi|ts|js)$/, "");
+}
+/** The whole `*.nola.*` filename namespace is reserved (spec invariant 3). */
+export function isReservedNolaName(fileName) {
+    const base = fileName.replace(/\\/g, "/").split("/").pop() ?? "";
+    return /\.nola\./.test(base);
+}
+/** The virtual TS document name for a lowered .tsi file (tshost + editor share it). */
+export function loweredVirtualNameFor(file) {
+    return `${file.replace(/\\/g, "/")}.ts`;
+}
+//# sourceMappingURL=companion-name.js.map

package/dist/companion-name.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"companion-name.js","sourceRoot":"","sources":["../src/companion-name.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAE/E,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,eAAuB;IAC3D,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IAC9G,OAAO,GAAG,IAAI,UAAU,CAAC;AAC3B,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,yBAAyB,CAAC,kBAA0B;IAClE,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC7D,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACjD,OAAO,CAAC,GAAG,IAAI,KAAK,EAAE,GAAG,IAAI,MAAM,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;AACrD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,mBAA2B,EAAE,SAAiB;IACxE,MAAM,KAAK,GAAG,mBAAmB,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9E,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5D,IAAI,IAAI,KAAK,EAAE,IAAI,IAAI,KAAK,GAAG;YAAE,SAAS;QAC1C,IAAI,IAAI,KAAK,IAAI;YAAE,KAAK,CAAC,GAAG,EAAE,CAAC;;YAC1B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;IACjE,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC;AAC1C,CAAC"}

package/dist/companion.d.ts

@@ -0,0 +1,22 @@
+import { type Diagnostic } from "@nola-lang/ast";
+import type { CompileOptions } from "./types.js";
+export interface CompanionResult {
+    /** a TS module; "" when the source could not be parsed at all */
+    code: string;
+    /** companion specifiers THIS module imports (transitive worklist fuel) */
+    companions: string[];
+    diagnostics: Diagnostic[];
+}
+/**
+ * Derive the companion module of one source file: an accessor per exported
+ * type (plus reachable private helpers), re-exported under the type's own
+ * name (`<Name>` — companions are INTERNAL, only generated code imports
+ * them, so the export name needs no user-facing disambiguation). Every
+ * accessor is a hoisted `function` declaration and exports are aliases — ESM
+ * initializes function bindings during instantiation, which is what makes
+ * CIRCULAR companion imports work. All refs are `<moduleId>#`-qualified so
+ * same-named types from different files stay distinct in one $defs. Pure —
+ * same inputs as compileNola; hosts do all I/O and probing.
+ */
+export declare function compileCompanion(source: string, file: string, options?: CompileOptions): CompanionResult;
+//# sourceMappingURL=companion.d.ts.map

package/dist/companion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"companion.d.ts","sourceRoot":"","sources":["../src/companion.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,UAAU,EAMhB,MAAM,gBAAgB,CAAC;AAcxB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD,MAAM,WAAW,eAAe;IAC9B,iEAAiE;IACjE,IAAI,EAAE,MAAM,CAAC;IACb,0EAA0E;IAC1E,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAqBD;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,cAAmB,GAAG,eAAe,CAwD5G"}

package/dist/companion.js

@@ -0,0 +1,90 @@
+import { programBody, } from "@nola-lang/ast";
+import { NOLA_EMIT } from "@nola-lang/core";
+import { parseNola } from "@nola-lang/parser";
+import { companionSpecifierFor } from "./companion-name.js";
+import { displayPathFor } from "./path.js";
+import { collectTypeRegistry } from "./schema.js";
+import { accessorNameFor, buildAccessorPlan, collectTypeImports, deriveTypeExpr, } from "./schema-expr.js";
+/** Exported type/interface/enum names, in declaration order. */
+function collectExportedTypeNames(ast) {
+    const out = [];
+    for (const stmt of programBody(ast)) {
+        if (stmt.type !== "ExportNamedDeclaration")
+            continue;
+        const decl = stmt.declaration;
+        if (!decl)
+            continue;
+        if (decl.type === "TSTypeAliasDeclaration" ||
+            decl.type === "TSInterfaceDeclaration" ||
+            decl.type === "TSEnumDeclaration") {
+            const name = decl.id?.name;
+            if (name)
+                out.push(name);
+        }
+    }
+    return out;
+}
+/**
+ * Derive the companion module of one source file: an accessor per exported
+ * type (plus reachable private helpers), re-exported under the type's own
+ * name (`<Name>` — companions are INTERNAL, only generated code imports
+ * them, so the export name needs no user-facing disambiguation). Every
+ * accessor is a hoisted `function` declaration and exports are aliases — ESM
+ * initializes function bindings during instantiation, which is what makes
+ * CIRCULAR companion imports work. All refs are `<moduleId>#`-qualified so
+ * same-named types from different files stay distinct in one $defs. Pure —
+ * same inputs as compileNola; hosts do all I/O and probing.
+ */
+export function compileCompanion(source, file, options = {}) {
+    const { ast, diagnostics } = parseNola(source, file, { tolerant: true });
+    if (!ast)
+        return { code: "", companions: [], diagnostics };
+    const displayFile = displayPathFor(file, options.sourceRoot);
+    const moduleId = displayFile.replace(/\\/g, "/").replace(/\.(?:tsi|ts|js)$/, "");
+    const registry = collectTypeRegistry(ast);
+    const ctx = {
+        source,
+        registry,
+        imports: collectTypeImports(ast),
+        importerDisplayFile: displayFile,
+        refQualifier: `${moduleId}#`,
+    };
+    const exported = collectExportedTypeNames(ast).filter((n) => registry.has(n));
+    const accessors = new Map(); // name -> full statement text
+    const companionImports = new Map();
+    const plan = buildAccessorPlan(new Set(exported), ctx);
+    for (const [local, imp] of plan.companions)
+        companionImports.set(local, imp);
+    for (const [name, expr] of plan.accessors) {
+        accessors.set(name, `function ${accessorNameFor(name)}(): InferType<unknown> { return ${expr}; }`);
+    }
+    // Exported types the plan could not derive become unsupported accessors: the
+    // module still compiles, and the failure surfaces at the USE site as a TS
+    // error carrying the reason (UnsupportedType<Reason>) or NOLA3009 at run
+    // time if it executes anyway.
+    for (const name of exported) {
+        if (accessors.has(name))
+            continue;
+        const decl = registry.get(name);
+        const derived = deriveTypeExpr(decl, ctx);
+        const reason = derived.ok ? "internal: derivation succeeded on retry" : derived.message;
+        const literal = JSON.stringify(reason);
+        accessors.set(name, `function ${accessorNameFor(name)}(): UnsupportedType<${literal}> { return __nola.types.unsupported(${literal}) as UnsupportedType<${literal}>; }`);
+    }
+    const lines = [
+        `import { __nola } from "@nola-lang/runtime";`,
+        `__nola.useRuntime(${NOLA_EMIT});`,
+        `import type { InferType, UnsupportedType } from "@nola-lang/runtime";`,
+    ];
+    for (const [local, imp] of companionImports) {
+        lines.push(`import { ${imp.importedName} as ${accessorNameFor(local)} } from ${JSON.stringify(companionSpecifierFor(imp.specifier))};`);
+    }
+    for (const body of accessors.values())
+        lines.push(body);
+    if (exported.length > 0) {
+        lines.push(`export { ${exported.map((n) => `${accessorNameFor(n)} as ${n}`).join(", ")} };`);
+    }
+    const companions = [...new Set([...companionImports.values()].map((i) => companionSpecifierFor(i.specifier)))].sort();
+    return { code: `${lines.join("\n")}\n`, companions, diagnostics };
+}
+//# sourceMappingURL=companion.js.map

package/dist/companion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"companion.js","sourceRoot":"","sources":["../src/companion.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,WAAW,GAIZ,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EACL,eAAe,EACf,iBAAiB,EAEjB,kBAAkB,EAElB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAW1B,gEAAgE;AAChE,SAAS,wBAAwB,CAAC,GAAa;IAC7C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,wBAAwB;YAAE,SAAS;QACrD,MAAM,IAAI,GAAI,IAAmC,CAAC,WAAW,CAAC;QAC9D,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,IACE,IAAI,CAAC,IAAI,KAAK,wBAAwB;YACtC,IAAI,CAAC,IAAI,KAAK,wBAAwB;YACtC,IAAI,CAAC,IAAI,KAAK,mBAAmB,EACjC,CAAC;YACD,MAAM,IAAI,GAAI,IAAwF,CAAC,EAAE,EAAE,IAAI,CAAC;YAChH,IAAI,IAAI;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAc,EAAE,IAAY,EAAE,UAA0B,EAAE;IACzF,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IACzE,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC;IAE3D,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;IACjF,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAkB;QACzB,MAAM;QACN,QAAQ;QACR,OAAO,EAAE,kBAAkB,CAAC,GAAG,CAAC;QAChC,mBAAmB,EAAE,WAAW;QAChC,YAAY,EAAE,GAAG,QAAQ,GAAG;KAC7B,CAAC;IAEF,MAAM,QAAQ,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,8BAA8B;IAC3E,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAA2B,CAAC;IAE5D,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC;IACvD,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU;QAAE,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QAC1C,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,eAAe,CAAC,IAAI,CAAC,mCAAmC,IAAI,KAAK,CAAC,CAAC;IACrG,CAAC;IACD,6EAA6E;IAC7E,0EAA0E;IAC1E,yEAAyE;IACzE,8BAA8B;IAC9B,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAClC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAa,CAAC;QAC5C,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,yCAAyC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QACxF,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACvC,SAAS,CAAC,GAAG,CACX,IAAI,EACJ,YAAY,eAAe,CAAC,IAAI,CAAC,uBAAuB,OAAO,uCAAuC,OAAO,wBAAwB,OAAO,MAAM,CACnJ,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAa;QACtB,8CAA8C;QAC9C,qBAAqB,SAAS,IAAI;QAClC,uEAAuE;KACxE,CAAC;IACF,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,gBAAgB,EAAE,CAAC;QAC5C,KAAK,CAAC,IAAI,CACR,YAAY,GAAG,CAAC,YAAY,OAAO,eAAe,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,GAAG,CAC5H,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,YAAY,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/F,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACtH,OAAO,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;AACpE,CAAC"}

package/dist/compile.d.ts

@@ -0,0 +1,3 @@
+import type { CompileOptions, CompileResult } from "./types.js";
+export declare function compileNola(source: string, file: string, options?: CompileOptions): CompileResult;
+//# sourceMappingURL=compile.d.ts.map

package/dist/compile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../src/compile.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhE,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,cAAmB,GAAG,aAAa,CA4BrG"}

package/dist/compile.js

@@ -0,0 +1,33 @@
+import { parseNola } from "@nola-lang/parser";
+import { lower } from "./lower/index.js";
+import { displayPathFor } from "./path.js";
+export function compileNola(source, file, options = {}) {
+    const { ast, diagnostics } = parseNola(source, file, { tolerant: options.tolerant });
+    if (!ast) {
+        return {
+            code: source,
+            map: { mappings: "", sources: [file] },
+            meta: {
+                nolaFunctions: [],
+                spans: [
+                    {
+                        sourceStart: 0,
+                        sourceEnd: source.length,
+                        generatedStart: 0,
+                        generatedEnd: source.length,
+                        kind: "verbatim",
+                    },
+                ],
+                anchors: [],
+                companions: [],
+                mode: "bailed",
+            },
+            diagnostics,
+        };
+    }
+    const result = lower(source, file, ast, displayPathFor(file, options.sourceRoot), {
+        underivableContextType: options.underivableContextType,
+    });
+    return { ...result, diagnostics: [...diagnostics, ...result.diagnostics] };
+}
+//# sourceMappingURL=compile.js.map

package/dist/compile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../src/compile.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAE9C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAG3C,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,IAAY,EAAE,UAA0B,EAAE;IACpF,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;IACrF,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAA0B;YAC9D,IAAI,EAAE;gBACJ,aAAa,EAAE,EAAE;gBACjB,KAAK,EAAE;oBACL;wBACE,WAAW,EAAE,CAAC;wBACd,SAAS,EAAE,MAAM,CAAC,MAAM;wBACxB,cAAc,EAAE,CAAC;wBACjB,YAAY,EAAE,MAAM,CAAC,MAAM;wBAC3B,IAAI,EAAE,UAAU;qBACjB;iBACF;gBACD,OAAO,EAAE,EAAE;gBACX,UAAU,EAAE,EAAE;gBACd,IAAI,EAAE,QAAQ;aACf;YACD,WAAW;SACZ,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,GAAe,EAAE,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,EAAE;QAC5F,sBAAsB,EAAE,OAAO,CAAC,sBAAsB;KACvD,CAAC,CAAC;IACH,OAAO,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;AAC7E,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,12 @@
+export type { SourceMap } from "magic-string";
+export { RUNTIME_AMBIENT_STUB } from "./ambient-stub.js";
+export { type CompanionResult, compileCompanion } from "./companion.js";
+export { companionSourceCandidates, companionSpecifierFor, isCompanionSpecifier, isReservedNolaName, loweredVirtualNameFor, moduleIdFor, } from "./companion-name.js";
+export { compileNola } from "./compile.js";
+export { displayPathFor } from "./path.js";
+export { collectTypeRegistry, deriveSchema, type SchemaResult } from "./schema.js";
+export { type AccessorPlan, accessorNameFor, buildAccessorPlan, type CompanionImport, collectTypeImports, type DeriveContext, deriveTypeExpr, type TypeExprResult, } from "./schema-expr.js";
+export { type Anchor, type EditAnchor, type Span, type SpanKind, SpanRecorder } from "./spans.js";
+export { type StaticContextTypeMode, staticUnderivableContextType } from "./static-config.js";
+export type { CompileOptions, CompileResult } from "./types.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,KAAK,eAAe,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACxE,OAAO,EACL,yBAAyB,EACzB,qBAAqB,EACrB,oBAAoB,EACpB,kBAAkB,EAClB,qBAAqB,EACrB,WAAW,GACZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AACnF,OAAO,EACL,KAAK,YAAY,EACjB,eAAe,EACf,iBAAiB,EACjB,KAAK,eAAe,EACpB,kBAAkB,EAClB,KAAK,aAAa,EAClB,cAAc,EACd,KAAK,cAAc,GACpB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,UAAU,EAAE,KAAK,IAAI,EAAE,KAAK,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAClG,OAAO,EAAE,KAAK,qBAAqB,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAC9F,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC"}

package/dist/index.js

@@ -0,0 +1,10 @@
+export { RUNTIME_AMBIENT_STUB } from "./ambient-stub.js";
+export { compileCompanion } from "./companion.js";
+export { companionSourceCandidates, companionSpecifierFor, isCompanionSpecifier, isReservedNolaName, loweredVirtualNameFor, moduleIdFor, } from "./companion-name.js";
+export { compileNola } from "./compile.js";
+export { displayPathFor } from "./path.js";
+export { collectTypeRegistry, deriveSchema } from "./schema.js";
+export { accessorNameFor, buildAccessorPlan, collectTypeImports, deriveTypeExpr, } from "./schema-expr.js";
+export { SpanRecorder } from "./spans.js";
+export { staticUnderivableContextType } from "./static-config.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAwB,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACxE,OAAO,EACL,yBAAyB,EACzB,qBAAqB,EACrB,oBAAoB,EACpB,kBAAkB,EAClB,qBAAqB,EACrB,WAAW,GACZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAqB,MAAM,aAAa,CAAC;AACnF,OAAO,EAEL,eAAe,EACf,iBAAiB,EAEjB,kBAAkB,EAElB,cAAc,GAEf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAA0D,YAAY,EAAE,MAAM,YAAY,CAAC;AAClG,OAAO,EAA8B,4BAA4B,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/lower/Lowerer.d.ts

@@ -0,0 +1,56 @@
+import { type BaseNode } from "@nola-lang/ast";
+import type { CompileResult } from "../types.js";
+export declare class Lowerer {
+    private readonly s;
+    private readonly source;
+    /** Absolute on-disk path. Diagnostics and source maps use this. */
+    private readonly file;
+    /** Project-root-relative path. Only this reaches the emitted code. */
+    private readonly displayFile;
+    private readonly ast;
+    private readonly diagnostics;
+    private readonly meta;
+    private usedRuntime;
+    /** named types needing a __nola_type_<Name> accessor in the appendix, in first-use order */
+    private readonly typeAccessors;
+    /** local binding name -> companion import emitted in the appendix */
+    private readonly companionImports;
+    /** shared derivation context (registry, imports, display file, bare ref names) */
+    private readonly deriveCtx;
+    /** policy for underivable `..`-contextual param types (compiler.underivableContextType) */
+    private readonly underivableContextType;
+    constructor(source: string, file: string, ast: BaseNode, displayFile: string, options?: {
+        underivableContextType?: "error" | "prune" | "omit";
+    });
+    run(): CompileResult;
+    private diag;
+    /** Fold a derivation's transitive needs (accessors, companion imports) into the state. */
+    private absorbPlan;
+    private absorbTypeNeeds;
+    /**
+     * A `..`-contextual param's type failed to derive (shallowly or in its
+     * accessor plan). Resolve it per the configured policy; the returned expr
+     * (if any) replaces the failed one.
+     */
+    private applyContextTypePolicy;
+    /**
+     * Lossy derivation for the prune policy: underivable object members drop out
+     * instead of failing the type. Named refs derive lazily, so "underivable" is
+     * discovered through the accessor plan — every plan failure marks its type
+     * dead and the derivation reruns with refs to dead names failing (and thus
+     * pruning) at their use sites. deadRefs grows monotonically and is bounded
+     * by the registry, so the loop terminates. Returns undefined (-> omit) when
+     * the top-level type itself prunes away.
+     */
+    private pruneDerive;
+    private visit;
+    private lowerInferFunction;
+    private lowerCallIntent;
+    /**
+     * NOLA2004 for untyped extractors in slot positions: direct args and anywhere
+     * inside plain object/array literal nesting (mirrors the runtime slot walk).
+     */
+    private checkCallIntentArg;
+    private lowerExtract;
+}
+//# sourceMappingURL=lowerer.d.ts.map

package/dist/lower/Lowerer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lowerer.d.ts","sourceRoot":"","sources":["../../src/lower/lowerer.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,QAAQ,EAYd,MAAM,gBAAgB,CAAC;AAYxB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAuBjD,qBAAa,OAAO;IAClB,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAe;IACjC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAS;IAChC,mEAAmE;IACnE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAS;IAC9B,sEAAsE;IACtE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAS;IACrC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAW;IAC/B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAoB;IAChD,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAsD;IAC3E,OAAO,CAAC,WAAW,CAAS;IAC5B,4FAA4F;IAC5F,OAAO,CAAC,QAAQ,CAAC,aAAa,CAA6B;IAC3D,qEAAqE;IACrE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAsC;IACvE,kFAAkF;IAClF,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAgB;IAC1C,2FAA2F;IAC3F,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAA6B;gBAGlE,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,QAAQ,EACb,WAAW,EAAE,MAAM,EACnB,OAAO,GAAE;QAAE,sBAAsB,CAAC,EAAE,OAAO,GAAG,OAAO,GAAG,MAAM,CAAA;KAAO;IAiBvE,GAAG,IAAI,aAAa;IAyBpB,OAAO,CAAC,IAAI;IAIZ,0FAA0F;IAC1F,OAAO,CAAC,UAAU;IAQlB,OAAO,CAAC,eAAe;IAMvB;;;;OAIG;IACH,OAAO,CAAC,sBAAsB;IAiB9B;;;;;;;;OAQG;IACH,OAAO,CAAC,WAAW;IAiBnB,OAAO,CAAC,KAAK;IA6Eb,OAAO,CAAC,kBAAkB;IAwD1B,OAAO,CAAC,eAAe;IAyBvB;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IAwB1B,OAAO,CAAC,YAAY;CA2CrB"}