@nola-lang/core 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 holds the dependency-free core: public `Intent`/`Askable` types, provider/config contracts, the error family, redaction, and ask fingerprinting.
+
+Versioned in lockstep with the whole toolchain; internal APIs may change in any release.

package/dist/errors.d.ts

@@ -0,0 +1,60 @@
+import type { InvocationTrace, Site } from "./index.js";
+export declare class NolaConfigError extends Error {
+    readonly code?: string | undefined;
+    name: string;
+    constructor(message: string, code?: string | undefined);
+}
+export interface ResolutionDetails {
+    prompt: string;
+    raw: string;
+    site: Site;
+}
+export declare class NolaResolutionError extends Error {
+    readonly details: ResolutionDetails;
+    name: string;
+    /** execution trace of the failing invocation, stamped by the innermost frame */
+    trace?: InvocationTrace;
+    constructor(message: string, details: ResolutionDetails, options?: {
+        cause?: unknown;
+    });
+}
+/** An intent that carries no construction scope (extract/call) was resolved
+ * outside `ask` — nothing can supply its frame. Definitive. */
+export declare class NolaIntentError extends Error {
+    readonly code: string;
+    name: string;
+    constructor(message: string, code: string);
+}
+/** A type that could not be derived reached an ask (companion `unsupported`). Definitive. */
+export declare class NolaSchemaError extends Error {
+    readonly code: string;
+    name: string;
+    constructor(message: string, code: string);
+}
+export interface ProviderErrorOptions {
+    status?: number;
+    definitive?: boolean;
+    /** provider-requested wait before retrying (Retry-After), in ms */
+    retryAfterMs?: number;
+    cause?: unknown;
+}
+export declare class NolaProviderError extends Error {
+    name: string;
+    readonly status?: number;
+    readonly definitive?: boolean;
+    readonly retryAfterMs?: number;
+    constructor(message: string, options?: ProviderErrorOptions);
+}
+export interface VersionDetails {
+    expected: number;
+    actual: number;
+    direction?: "rebuild" | "update-runtime";
+    urls?: [string, string];
+}
+export declare class NolaVersionError extends Error {
+    readonly code: string;
+    readonly details: VersionDetails;
+    name: string;
+    constructor(message: string, code: string, details: VersionDetails);
+}
+//# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAExD,qBAAa,eAAgB,SAAQ,KAAK;IAItC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM;IAHf,IAAI,SAAqB;gBAEhC,OAAO,EAAE,MAAM,EACN,IAAI,CAAC,EAAE,MAAM,YAAA;CAIzB;AAED,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,qBAAa,mBAAoB,SAAQ,KAAK;IAM1C,QAAQ,CAAC,OAAO,EAAE,iBAAiB;IAL5B,IAAI,SAAyB;IACtC,gFAAgF;IAChF,KAAK,CAAC,EAAE,eAAe,CAAC;gBAEtB,OAAO,EAAE,MAAM,EACN,OAAO,EAAE,iBAAiB,EACnC,OAAO,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE;CAIhC;AAED;+DAC+D;AAC/D,qBAAa,eAAgB,SAAQ,KAAK;IAItC,QAAQ,CAAC,IAAI,EAAE,MAAM;IAHd,IAAI,SAAqB;gBAEhC,OAAO,EAAE,MAAM,EACN,IAAI,EAAE,MAAM;CAIxB;AAED,6FAA6F;AAC7F,qBAAa,eAAgB,SAAQ,KAAK;IAItC,QAAQ,CAAC,IAAI,EAAE,MAAM;IAHd,IAAI,SAAqB;gBAEhC,OAAO,EAAE,MAAM,EACN,IAAI,EAAE,MAAM;CAIxB;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,mEAAmE;IACnE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,qBAAa,iBAAkB,SAAQ,KAAK;IACjC,IAAI,SAAuB;IACpC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;gBACnB,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,oBAAyB;CAMhE;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,SAAS,GAAG,gBAAgB,CAAC;IACzC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACzB;AAED,qBAAa,gBAAiB,SAAQ,KAAK;IAIvC,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,QAAQ,CAAC,OAAO,EAAE,cAAc;IAJzB,IAAI,SAAsB;gBAEjC,OAAO,EAAE,MAAM,EACN,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,cAAc;CAInC"}

package/dist/errors.js

@@ -0,0 +1,60 @@
+export class NolaConfigError extends Error {
+    code;
+    name = "NolaConfigError";
+    constructor(message, code) {
+        super(message);
+        this.code = code;
+    }
+}
+export class NolaResolutionError extends Error {
+    details;
+    name = "NolaResolutionError";
+    /** execution trace of the failing invocation, stamped by the innermost frame */
+    trace;
+    constructor(message, details, options) {
+        super(message, options);
+        this.details = details;
+    }
+}
+/** An intent that carries no construction scope (extract/call) was resolved
+ * outside `ask` — nothing can supply its frame. Definitive. */
+export class NolaIntentError extends Error {
+    code;
+    name = "NolaIntentError";
+    constructor(message, code) {
+        super(message);
+        this.code = code;
+    }
+}
+/** A type that could not be derived reached an ask (companion `unsupported`). Definitive. */
+export class NolaSchemaError extends Error {
+    code;
+    name = "NolaSchemaError";
+    constructor(message, code) {
+        super(message);
+        this.code = code;
+    }
+}
+export class NolaProviderError extends Error {
+    name = "NolaProviderError";
+    status;
+    definitive;
+    retryAfterMs;
+    constructor(message, options = {}) {
+        super(message, options.cause !== undefined ? { cause: options.cause } : undefined);
+        this.status = options.status;
+        this.definitive = options.definitive;
+        this.retryAfterMs = options.retryAfterMs;
+    }
+}
+export class NolaVersionError extends Error {
+    code;
+    details;
+    name = "NolaVersionError";
+    constructor(message, code, details) {
+        super(message);
+        this.code = code;
+        this.details = details;
+    }
+}
+//# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,eAAgB,SAAQ,KAAK;IAI7B;IAHF,IAAI,GAAG,iBAAiB,CAAC;IAClC,YACE,OAAe,EACN,IAAa;QAEtB,KAAK,CAAC,OAAO,CAAC,CAAC;QAFN,SAAI,GAAJ,IAAI,CAAS;IAGxB,CAAC;CACF;AAQD,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAMjC;IALF,IAAI,GAAG,qBAAqB,CAAC;IACtC,gFAAgF;IAChF,KAAK,CAAmB;IACxB,YACE,OAAe,EACN,OAA0B,EACnC,OAA6B;QAE7B,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAHf,YAAO,GAAP,OAAO,CAAmB;IAIrC,CAAC;CACF;AAED;+DAC+D;AAC/D,MAAM,OAAO,eAAgB,SAAQ,KAAK;IAI7B;IAHF,IAAI,GAAG,iBAAiB,CAAC;IAClC,YACE,OAAe,EACN,IAAY;QAErB,KAAK,CAAC,OAAO,CAAC,CAAC;QAFN,SAAI,GAAJ,IAAI,CAAQ;IAGvB,CAAC;CACF;AAED,6FAA6F;AAC7F,MAAM,OAAO,eAAgB,SAAQ,KAAK;IAI7B;IAHF,IAAI,GAAG,iBAAiB,CAAC;IAClC,YACE,OAAe,EACN,IAAY;QAErB,KAAK,CAAC,OAAO,CAAC,CAAC;QAFN,SAAI,GAAJ,IAAI,CAAQ;IAGvB,CAAC;CACF;AAUD,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IACjC,IAAI,GAAG,mBAAmB,CAAC;IAC3B,MAAM,CAAU;IAChB,UAAU,CAAW;IACrB,YAAY,CAAU;IAC/B,YAAY,OAAe,EAAE,UAAgC,EAAE;QAC7D,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACnF,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC7B,IAAI,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;QACrC,IAAI,CAAC,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;IAC3C,CAAC;CACF;AASD,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IAI9B;IACA;IAJF,IAAI,GAAG,kBAAkB,CAAC;IACnC,YACE,OAAe,EACN,IAAY,EACZ,OAAuB;QAEhC,KAAK,CAAC,OAAO,CAAC,CAAC;QAHN,SAAI,GAAJ,IAAI,CAAQ;QACZ,YAAO,GAAP,OAAO,CAAgB;IAGlC,CAAC;CACF"}

package/dist/fingerprint.d.ts

@@ -0,0 +1,37 @@
+import type { HistoryRecord, JsonSchema, Message, ProviderOutput, ProviderParams } from "./index.js";
+/**
+ * Version baked into every ask fingerprint. Bump when the canonical
+ * serialization changes shape — old caches/ledgers must not silently match.
+ * v3: fingerprintRequest hashes the full ProviderOutput (was bare schema) and
+ * ProviderParams.
+ */
+export declare const FINGERPRINT_VERSION = 3;
+/** Deterministic JSON: recursively sorted object keys, arrays in order. */
+export declare function canonicalize(value: unknown): string;
+export declare function sha256Hex(text: string): string;
+export interface AskFingerprintInput {
+    lineage: ReadonlyArray<Readonly<Record<string, unknown>>>;
+    history: ReadonlyArray<HistoryRecord>;
+    prompt: string;
+    schema: JsonSchema;
+    provider: string;
+    preamble: string;
+}
+/**
+ * Everything that determines a provider exchange, nothing volatile (no askId,
+ * no timestamps, no invocationId). History is hashed as the prompt sees it.
+ */
+export declare function fingerprintAsk(input: AskFingerprintInput): string;
+/**
+ * Fingerprint of exactly what crosses the NolaProvider.complete seam: the
+ * system text plus what composeInferParams returned (messages + output
+ * contract). Extra properties on `req` (e.g. a full ProviderRequest with its
+ * signal) are ignored — only the three named fields are hashed.
+ */
+export declare function fingerprintRequest(req: {
+    system: string;
+    messages: ReadonlyArray<Message>;
+    output: ProviderOutput;
+    params?: ProviderParams;
+}): string;
+//# sourceMappingURL=fingerprint.d.ts.map

package/dist/fingerprint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.d.ts","sourceRoot":"","sources":["../src/fingerprint.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAErG;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,IAAI,CAAC;AAYrC,2EAA2E;AAC3E,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEnD;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE9C;AAED,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1D,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;IACtC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,UAAU,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAcjE;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE;IACtC,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,CAAC,EAAE,cAAc,CAAC;CACzB,GAAG,MAAM,CAUT"}

package/dist/fingerprint.js

@@ -0,0 +1,61 @@
+import { createHash } from "node:crypto";
+/**
+ * Version baked into every ask fingerprint. Bump when the canonical
+ * serialization changes shape — old caches/ledgers must not silently match.
+ * v3: fingerprintRequest hashes the full ProviderOutput (was bare schema) and
+ * ProviderParams.
+ */
+export const FINGERPRINT_VERSION = 3;
+function sortValue(v) {
+    if (Array.isArray(v))
+        return v.map(sortValue);
+    if (v !== null && typeof v === "object") {
+        const out = {};
+        for (const k of Object.keys(v).sort())
+            out[k] = sortValue(v[k]);
+        return out;
+    }
+    return v;
+}
+/** Deterministic JSON: recursively sorted object keys, arrays in order. */
+export function canonicalize(value) {
+    return JSON.stringify(sortValue(value));
+}
+export function sha256Hex(text) {
+    return createHash("sha256").update(text, "utf8").digest("hex");
+}
+/**
+ * Everything that determines a provider exchange, nothing volatile (no askId,
+ * no timestamps, no invocationId). History is hashed as the prompt sees it.
+ */
+export function fingerprintAsk(input) {
+    const payload = {
+        v: FINGERPRINT_VERSION,
+        lineage: input.lineage,
+        history: input.history.map((h) => ({
+            prompt: h.prompt,
+            value: h.promptValue !== undefined ? h.promptValue : h.value,
+        })),
+        prompt: input.prompt,
+        schema: input.schema,
+        provider: input.provider,
+        preamble: input.preamble,
+    };
+    return sha256Hex(canonicalize(payload));
+}
+/**
+ * Fingerprint of exactly what crosses the NolaProvider.complete seam: the
+ * system text plus what composeInferParams returned (messages + output
+ * contract). Extra properties on `req` (e.g. a full ProviderRequest with its
+ * signal) are ignored — only the three named fields are hashed.
+ */
+export function fingerprintRequest(req) {
+    return sha256Hex(canonicalize({
+        v: FINGERPRINT_VERSION,
+        system: req.system,
+        messages: req.messages,
+        output: req.output,
+        params: req.params ?? null,
+    }));
+}
+//# sourceMappingURL=fingerprint.js.map

package/dist/fingerprint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.js","sourceRoot":"","sources":["../src/fingerprint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAErC,SAAS,SAAS,CAAC,CAAU;IAC3B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACxC,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAW,CAAC,CAAC,IAAI,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,CAAE,CAA6B,CAAC,CAAC,CAAC,CAAC,CAAC;QACvG,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACjE,CAAC;AAWD;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,KAA0B;IACvD,MAAM,OAAO,GAAG;QACd,CAAC,EAAE,mBAAmB;QACtB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,KAAK,EAAE,CAAC,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK;SAC7D,CAAC,CAAC;QACH,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC;IACF,OAAO,SAAS,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAKlC;IACC,OAAO,SAAS,CACd,YAAY,CAAC;QACX,CAAC,EAAE,mBAAmB;QACtB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,MAAM,EAAE,GAAG,CAAC,MAAM,IAAI,IAAI;KAC3B,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,375 @@
+export type JsonSchema = {
+    type: "string";
+    enum?: string[];
+    /** wire convention for revived types (e.g. Date); validator enforces parseability */
+    format?: "date-time";
+    description?: string;
+    $defs?: Record<string, JsonSchema>;
+} | {
+    type: "number" | "boolean";
+    description?: string;
+    $defs?: Record<string, JsonSchema>;
+} | {
+    type: "array";
+    items: JsonSchema;
+    description?: string;
+    $defs?: Record<string, JsonSchema>;
+} | {
+    type: "object";
+    properties: Record<string, JsonSchema>;
+    required: string[];
+    additionalProperties: false;
+    description?: string;
+    $defs?: Record<string, JsonSchema>;
+} | {
+    $ref: string;
+    description?: string;
+    $defs?: Record<string, JsonSchema>;
+};
+export declare const INTENT_BRAND: "nola.intent";
+/**
+ * The site of an ask: project-relative display file + "line:col"
+ * (both 1-based; "?" when the site is unknown). The human-facing form is
+ * `file:line:col`. Frozen and JSON-serializable ({ file, loc }).
+ */
+export declare class Site {
+    readonly file: string;
+    readonly loc: string;
+    constructor(file: string, loc: string);
+    toString(): string;
+    /**
+     * Strict inverse of toString(). loc is matched from the right ("line:col"
+     * or "?"), so a file path containing ":" cannot confuse it. Throws on
+     * anything else — parse failures are programmer errors, not NOLA codes.
+     */
+    static parse(text: string): Site;
+}
+/**
+ * The emit contract between compiler output and the `__nola` runtime
+ * namespace. Bump ONLY when the lowered-code ↔ runtime contract changes
+ * shape or semantics (new/renamed factory or helper, changed argument
+ * meaning, changed context protocol). Routine releases leave it alone.
+ * The surface-snapshot test in packages/runtime/test/emit-surface.test.ts
+ * fails when the surface changes without a bump.
+ * Emit 5: ask-site schemas are `__nola.types` combinator expressions
+ * (InferType carrier) with per-file `__nola_type_<Name>` accessors in the
+ * EOF appendix; recursion is legal via named refs ($defs/$ref).
+ * Emit 6: `__nola.types.unsupported` (companion modules for cross-file types).
+ * Emit 7: ExtractIntent's init renames — the InferType expression moves under
+ * `type` (was `schema` — a misnomer since the emit-5 carrier switch) and the
+ * backtick text under `instruction` (was `message`), unifying the name for
+ * authored backtick text across intents and the infer-function scope.
+ * Emit 8: function scopes come from `__nola_file_ctx().func({ fn, instruction,
+ * args })` with harvested params; the file accessor moves under
+ * `__nola.context.file`.
+ * Emit 9: `__nola.types.date` — `Date` lowers to a string schema carrying
+ * format: "date-time"; the intent revives the wire string to a Date.
+ */
+export declare const NOLA_EMIT = 10;
+/**
+ * The narrow public tier: an intent resolvable ONLY through `ask` — what a
+ * raw `..` extractor or call intent is. Not thenable (bare await/run on one
+ * throws NOLA3010 at runtime, so the type does not offer it) and no
+ * root-only knobs (timeout/detached act when an intent roots an invocation,
+ * which these never do). The fluent methods clone.
+ *
+ * T is deliberately phantom — it appears only in the fluent returns, so
+ * differently-parameterized Askables collapse structurally. Any member that
+ * used T (even symbol-keyed) would surface in editor completion, and a clean
+ * completion list IS this interface's purpose; `ask` still infers T from the
+ * type reference (or, for class-typed operands, through the class's `then`).
+ */
+export interface Askable<T = unknown> {
+    /** extra whole-ask attempts, flat (no backoff) — unrelated to the provider-level `withRetry` combinator */
+    withRetry(retries: number): Askable<T>;
+    withProvider(provider: ProviderRef): Askable<T>;
+    /** wire-tuning knobs, shallow-merged over any params already on the intent */
+    withParams(params: ProviderParams): Askable<T>;
+}
+/**
+ * A lazy, thenable intent (the async/await analogy) — what calling an infer
+ * function returns. `ask`/`await` resolves it to `T`; the fluent methods
+ * clone. Implemented as a class in `@nola-lang/runtime` (the class carries
+ * the runtime `__nolaBrand`; the public type deliberately does not); not
+ * JSON-serializable (it holds an executor closure).
+ */
+export interface Intent<T = unknown> extends Askable<T>, PromiseLike<T> {
+    /** extra whole-ask attempts, flat (no backoff) — unrelated to the provider-level `withRetry` combinator */
+    withRetry(retries: number): Intent<T>;
+    withProvider(provider: ProviderRef): Intent<T>;
+    /** per-invocation timeout in ms when this intent roots the invocation; 0 disables */
+    withTimeout(timeout: number): Intent<T>;
+    /** wire-tuning knobs, shallow-merged over any params already on the intent */
+    withParams(params: ProviderParams): Intent<T>;
+    /** resolve without inheriting the caller frame's context (stack-frame opt-out) */
+    detached(): Intent<T>;
+}
+export type Message = {
+    role: "user" | "assistant";
+    content: string;
+};
+export type JsonProviderOutput = {
+    /** wire syntax of the expected reply text */
+    syntax: "json";
+    /** contract for the parsed value; absent = any value / free text */
+    schema?: JsonSchema;
+};
+export type CodeProviderOutput = {
+    syntax: "code";
+    /** syntax "code" only: fence language hint ("ts", "sql", …) */
+    language?: string;
+};
+export type ProviderOutput = JsonProviderOutput | CodeProviderOutput;
+/**
+ * Wire-tuning knobs an intent can set (.withParams). Absent fields mean
+ * "provider default". Part of the ask fingerprint — two asks differing only
+ * in params never share a cache/replay entry.
+ */
+export interface ProviderParams {
+    temperature?: number;
+    maxOutputTokens?: number;
+    /**
+     * Opaque provider-specific knobs (reasoning budget, top_p, penalties, …) —
+     * passed through to NolaProvider.complete untouched. Merged per key like
+     * the typed fields; must be JSON-serializable (it joins the fingerprint).
+     */
+    providerOptions?: Record<string, unknown>;
+}
+/**
+ * The one merge rule for ProviderParams: patch fields win per field, and
+ * providerOptions merges per key rather than being replaced wholesale. Used
+ * by .withParams() chaining and by frame-chain resolution.
+ */
+export declare function mergeProviderParams(base?: ProviderParams, patch?: ProviderParams): ProviderParams | undefined;
+export interface ProviderRequest {
+    system: string;
+    messages: Message[];
+    output: ProviderOutput;
+    params?: ProviderParams;
+    signal?: AbortSignal;
+}
+export type ProviderResponse = {
+    text: string;
+    durationMs?: number;
+};
+export interface NolaProvider {
+    name: string;
+    complete(req: ProviderRequest): Promise<ProviderResponse>;
+}
+export type ProviderRef = NolaProvider | string;
+export type NolaLogLevel = "silent" | "error" | "warn" | "info" | "debug";
+export interface AskReceipt {
+    askId: string;
+    site: Site;
+    /** the composed conversation as first composed for this ask */
+    originalPrompt: string;
+    /** as last sent to the provider — diverges on a correction retry (and future middleware rewrites) */
+    effectivePrompt: string;
+    schema: JsonSchema;
+    /** provider name, or a middleware label such as "cache" on a short-circuit */
+    servedBy: string;
+    /** provider round trips actually performed (0 on a short-circuit) */
+    attempts: number;
+    outcome: {
+        ok: true;
+        value: unknown;
+    } | {
+        ok: false;
+        error: string;
+    };
+    usage?: {
+        inputTokens?: number;
+        outputTokens?: number;
+    };
+    durationMs: number;
+    meta: Record<string, unknown>;
+    /** invocation this ask belongs to (absent only for legacy synthesized receipts) */
+    invocationId?: string;
+    /** invocationIds from root frame to owning frame */
+    spanPath?: readonly string[];
+    /** canonical ask fingerprint (absent when a middleware short-circuited before the terminal) */
+    fingerprint?: string;
+}
+export interface AttemptRecord {
+    attempt: number;
+    provider: string;
+    durationMs: number;
+    validationError?: string;
+}
+export interface AskSpanTrace {
+    kind: "ask";
+    askId: string;
+    site: Site;
+    originalPrompt: string;
+    effectivePrompt: string;
+    schema: JsonSchema;
+    attempts: AttemptRecord[];
+    servedBy: string;
+    outcome: {
+        ok: true;
+        value: unknown;
+    } | {
+        ok: false;
+        error: string;
+    };
+    durationMs: number;
+    fingerprint?: string;
+}
+export interface InvocationTrace {
+    kind: "invocation";
+    invocationId: string;
+    fn: string;
+    file: string;
+    spans: Array<AskSpanTrace | InvocationTrace>;
+}
+export interface AskStartEvent {
+    readonly askId: string;
+    readonly site: Site;
+    readonly provider: string;
+}
+export interface ProviderRequestEvent {
+    readonly askId: string;
+    readonly attempt: number;
+    readonly provider: string;
+    readonly messages: ReadonlyArray<{
+        role: "user" | "assistant";
+        content: string;
+    }>;
+}
+export interface ProviderResponseEvent {
+    readonly askId: string;
+    readonly attempt: number;
+    readonly provider: string;
+    readonly text: string;
+    readonly durationMs: number;
+}
+export interface ValidationFailedEvent {
+    readonly askId: string;
+    readonly attempt: number;
+    readonly error: string;
+    readonly site: Site;
+}
+export interface RetryEvent {
+    readonly askId: string;
+    readonly attempt: number;
+    readonly reason: string;
+    readonly site: Site;
+}
+export interface AskEndEvent {
+    readonly askId: string;
+    readonly receipt: AskReceipt;
+}
+export interface InvocationEndEvent {
+    readonly invocationId: string;
+    readonly trace: InvocationTrace;
+}
+/**
+ * Observers. Fed from fixed points OUTSIDE the middleware pipeline, so middleware
+ * cannot suppress them. Hooks may not mutate payloads or short-circuit; a throwing
+ * hook is swallowed with one warning.
+ */
+export interface NolaHook {
+    name?: string;
+    onAskStart?(event: AskStartEvent): void;
+    onProviderRequest?(event: ProviderRequestEvent): void;
+    onProviderResponse?(event: ProviderResponseEvent): void;
+    onValidationFailed?(event: ValidationFailedEvent): void;
+    onRetry?(event: RetryEvent): void;
+    onAskEnd?(event: AskEndEvent): void;
+    onInvocationEnd?(event: InvocationEndEvent): void;
+}
+/**
+ * The mutable state of one ask as it travels the middleware pipeline.
+ * Runtime-owned fields are readonly at the type level and frozen at runtime:
+ * assigning to them is a compile error AND a TypeError.
+ */
+export interface AskContext {
+    readonly askId: string;
+    readonly site: Site;
+    readonly abortSignal: AbortSignal;
+    /** effective prompt; starts equal to originalPrompt */
+    /** re-route before the wire; ignored when config.forceProvider is set */
+    provider?: ProviderRef;
+    /** cross-stage scratch; lands in the receipt */
+    meta: Record<string, unknown>;
+}
+export interface AskResult {
+    /** must validate against ctx.schema, including on a short-circuit */
+    value: unknown;
+    /** provider name, or a middleware label such as "cache" */
+    servedBy: string;
+}
+/** In the call path: may mutate, short-circuit (return without calling next), or throw. */
+export type NolaMiddleware = (ctx: AskContext, next: (ctx: AskContext) => Promise<AskResult>) => Promise<AskResult>;
+/** Fingerprint-keyed cache. get() returning undefined means miss (values are JSON, never undefined). */
+export interface NolaCacheStore {
+    get(fingerprint: string): unknown | Promise<unknown>;
+    set(fingerprint: string, value: unknown): void | Promise<void>;
+}
+/**
+ * What the lowering does when a `..`-contextual parameter's type cannot be
+ * derived into an intent schema: fail the compile, drop just the underivable
+ * members (keeping the rest of the type), or drop the whole type silently.
+ */
+export type UnderivableContextTypeMode = "error" | "prune" | "omit";
+/** Compile-time behavior. Read by `nola build`/`check` and the loader; the runtime ignores it. */
+export interface NolaCompilerConfig {
+    /** Policy for underivable `..`-contextual parameter types. Default: "error". */
+    underivableContextType?: UnderivableContextTypeMode;
+}
+export interface NolaConfig {
+    /** Named providers. `default` is required; other names are user-chosen. */
+    providers: {
+        default: NolaProvider;
+    } & Record<string, NolaProvider>;
+    /**
+     * Hermetic force-all override: when set, EVERY ask resolves through this
+     * provider, including intents pinned with .withProvider(). Must name a key
+     * of `providers`. Drive it from env: `process.env.CI ? "mock" : undefined`.
+     */
+    forceProvider?: string;
+    observability?: {
+        logLevel?: NolaLogLevel;
+    };
+    /** Ordered pipeline around every resolution; the first entry is outermost. */
+    middleware?: NolaMiddleware[];
+    /** Observers; all hooks receive all events. Order is not meaningful. */
+    hooks?: NolaHook[];
+    /** Opt-in ask cache keyed by canonical fingerprint. Omit `store` for in-memory. */
+    cache?: {
+        store?: NolaCacheStore;
+    };
+    /** Extra system-prompt text, composed after the Nola protocol preamble on every ask. */
+    system?: {
+        message?: string;
+    };
+    /**
+     * Ask-path knobs. timeoutMs is the default per-invocation timeout in
+     * milliseconds — the root frame's abort signal fires when it elapses; every
+     * provider call receives that signal. 0 disables. Intents override it with
+     * .withTimeout(ms).
+     */
+    ask?: {
+        timeoutMs?: number;
+    };
+    /** Compile-time behavior; validated here, consumed by build/check/loader — never by the runtime. */
+    compiler?: NolaCompilerConfig;
+    /** Reserved for a future Nola version. Rejected at load. */
+    plugins?: never;
+}
+/**
+ * One completed ask as later prompts may see it. Lives in core (not the
+ * runtime's Frame) because fingerprinting hashes history and providers
+ * (record/replay) consume fingerprints — neither may depend on the runtime.
+ */
+export interface HistoryRecord {
+    prompt: string;
+    /** what the program received */
+    value: unknown;
+    /** what subsequent prompts see; reserved — no user API sets it in Phase 1 */
+    promptValue?: unknown;
+}
+export { NolaConfigError, NolaIntentError, NolaProviderError, NolaResolutionError, NolaSchemaError, NolaVersionError, type ProviderErrorOptions, type ResolutionDetails, type VersionDetails, } from "./errors.js";
+export { type AskFingerprintInput, canonicalize, FINGERPRINT_VERSION, fingerprintAsk, fingerprintRequest, sha256Hex, } from "./fingerprint.js";
+export { redactError, redactSecrets } from "./redact.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,MAAM,MAAM,UAAU,GAClB;IACA,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,qFAAqF;IACrF,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;CACpC,GACC;IAAE,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;CAAE,GACxF;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,UAAU,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;CAAE,GAC9F;IACA,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACvC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,oBAAoB,EAAE,KAAK,CAAC;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;CACpC,GACC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;CAAE,CAAC;AAE/E,eAAO,MAAM,YAAY,EAAG,aAAsB,CAAC;AAEnD;;;;GAIG;AACH,qBAAa,IAAI;IAEb,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM;gBADX,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,MAAM;IAKtB,QAAQ,IAAI,MAAM;IAIlB;;;;OAIG;IACH,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;CAKjC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,SAAS,KAAK,CAAC;AAE5B;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,GAAG,OAAO;IAClC,2GAA2G;IAC3G,SAAS,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACvC,YAAY,CAAC,QAAQ,EAAE,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAChD,8EAA8E;IAC9E,UAAU,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;CAChD;AAED;;;;;;GAMG;AACH,MAAM,WAAW,MAAM,CAAC,CAAC,GAAG,OAAO,CAAE,SAAQ,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;IACrE,2GAA2G;IAC3G,SAAS,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACtC,YAAY,CAAC,QAAQ,EAAE,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/C,qFAAqF;IACrF,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxC,8EAA8E;IAC9E,UAAU,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAC9C,kFAAkF;IAClF,QAAQ,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;CACvB;AAED,MAAM,MAAM,OAAO,GAAG;IAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtE,MAAM,MAAM,kBAAkB,GAAG;IAC/B,6CAA6C;IAC7C,MAAM,EAAE,MAAM,CAAC;IACf,oEAAoE;IACpE,MAAM,CAAC,EAAE,UAAU,CAAC;CACrB,CAAA;AACD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC;AAGF,MAAM,MAAM,cAAc,GAAG,kBAAkB,GAAG,kBAAkB,CAAC;AAErE;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB;;;;OAIG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC3C;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,CAAC,EAAE,cAAc,EACrB,KAAK,CAAC,EAAE,cAAc,GACrB,cAAc,GAAG,SAAS,CAO5B;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED,MAAM,MAAM,gBAAgB,GAAG;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,CAAA;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,GAAG,EAAE,eAAe,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;CAC3D;AAED,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,MAAM,CAAC;AAEhD,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAE1E,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,IAAI,CAAC;IACX,+DAA+D;IAC/D,cAAc,EAAE,MAAM,CAAC;IACvB,qGAAqG;IACrG,eAAe,EAAE,MAAM,CAAC;IACxB,MAAM,EAAE,UAAU,CAAC;IACnB,8EAA8E;IAC9E,QAAQ,EAAE,MAAM,CAAC;IACjB,qEAAqE;IACrE,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE;QAAE,EAAE,EAAE,IAAI,CAAC;QAAC,KAAK,EAAE,OAAO,CAAA;KAAE,GAAG;QAAE,EAAE,EAAE,KAAK,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACrE,KAAK,CAAC,EAAE;QAAE,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACxD,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9B,mFAAmF;IACnF,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,oDAAoD;IACpD,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,+FAA+F;IAC/F,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,KAAK,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,IAAI,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,MAAM,EAAE,UAAU,CAAC;IACnB,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE;QAAE,EAAE,EAAE,IAAI,CAAC;QAAC,KAAK,EAAE,OAAO,CAAA;KAAE,GAAG;QAAE,EAAE,EAAE,KAAK,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACrE,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,YAAY,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,KAAK,CAAC,YAAY,GAAG,eAAe,CAAC,CAAC;CAC9C;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAGpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;QAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACnF;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;CAC9B;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,CAAC,KAAK,EAAE,aAAa,GAAG,IAAI,CAAC;IACxC,iBAAiB,CAAC,CAAC,KAAK,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACtD,kBAAkB,CAAC,CAAC,KAAK,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACxD,kBAAkB,CAAC,CAAC,KAAK,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACxD,OAAO,CAAC,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,CAAC,KAAK,EAAE,WAAW,GAAG,IAAI,CAAC;IACpC,eAAe,CAAC,CAAC,KAAK,EAAE,kBAAkB,GAAG,IAAI,CAAC;CACnD;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAGpB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,uDAAuD;IAEvD,yEAAyE;IACzE,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC/B;AAED,MAAM,WAAW,SAAS;IACxB,qEAAqE;IACrE,KAAK,EAAE,OAAO,CAAC;IACf,2DAA2D;IAC3D,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,2FAA2F;AAC3F,MAAM,MAAM,cAAc,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,OAAO,CAAC,SAAS,CAAC,KAAK,OAAO,CAAC,SAAS,CAAC,CAAC;AAEpH,wGAAwG;AACxG,MAAM,WAAW,cAAc;IAC7B,GAAG,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACrD,GAAG,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAChE;AAED;;;;GAIG;AACH,MAAM,MAAM,0BAA0B,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AAEpE,kGAAkG;AAClG,MAAM,WAAW,kBAAkB;IACjC,gFAAgF;IAChF,sBAAsB,CAAC,EAAE,0BAA0B,CAAC;CACrD;AAED,MAAM,WAAW,UAAU;IACzB,2EAA2E;IAC3E,SAAS,EAAE;QAAE,OAAO,EAAE,YAAY,CAAA;KAAE,GAAG,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACpE;;;;OAIG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,aAAa,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,YAAY,CAAA;KAAE,CAAC;IAC5C,8EAA8E;IAC9E,UAAU,CAAC,EAAE,cAAc,EAAE,CAAC;IAC9B,wEAAwE;IACxE,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;IACnB,mFAAmF;IACnF,KAAK,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,cAAc,CAAA;KAAE,CAAC;IACnC,wFAAwF;IACxF,MAAM,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9B;;;;;OAKG;IACH,GAAG,CAAC,EAAE;QAAE,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7B,oGAAoG;IACpG,QAAQ,CAAC,EAAE,kBAAkB,CAAC;IAC9B,4DAA4D;IAC5D,OAAO,CAAC,EAAE,KAAK,CAAC;CACjB;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,gCAAgC;IAChC,KAAK,EAAE,OAAO,CAAC;IACf,6EAA6E;IAC7E,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED,OAAO,EACL,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,mBAAmB,EACnB,eAAe,EACf,gBAAgB,EAChB,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACtB,KAAK,cAAc,GACpB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,KAAK,mBAAmB,EACxB,YAAY,EACZ,mBAAmB,EACnB,cAAc,EACd,kBAAkB,EAClB,SAAS,GACV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC"}

package/dist/index.js

@@ -0,0 +1,69 @@
+export const INTENT_BRAND = "nola.intent";
+/**
+ * The site of an ask: project-relative display file + "line:col"
+ * (both 1-based; "?" when the site is unknown). The human-facing form is
+ * `file:line:col`. Frozen and JSON-serializable ({ file, loc }).
+ */
+export class Site {
+    file;
+    loc;
+    constructor(file, loc) {
+        this.file = file;
+        this.loc = loc;
+        Object.freeze(this);
+    }
+    toString() {
+        return `${this.file}:${this.loc}`;
+    }
+    /**
+     * Strict inverse of toString(). loc is matched from the right ("line:col"
+     * or "?"), so a file path containing ":" cannot confuse it. Throws on
+     * anything else — parse failures are programmer errors, not NOLA codes.
+     */
+    static parse(text) {
+        const m = /^([\s\S]+):(\d+:\d+|\?)$/.exec(text);
+        if (!m)
+            throw new Error(`not a source location: ${text}`);
+        return new Site(m[1], m[2]);
+    }
+}
+/**
+ * The emit contract between compiler output and the `__nola` runtime
+ * namespace. Bump ONLY when the lowered-code ↔ runtime contract changes
+ * shape or semantics (new/renamed factory or helper, changed argument
+ * meaning, changed context protocol). Routine releases leave it alone.
+ * The surface-snapshot test in packages/runtime/test/emit-surface.test.ts
+ * fails when the surface changes without a bump.
+ * Emit 5: ask-site schemas are `__nola.types` combinator expressions
+ * (InferType carrier) with per-file `__nola_type_<Name>` accessors in the
+ * EOF appendix; recursion is legal via named refs ($defs/$ref).
+ * Emit 6: `__nola.types.unsupported` (companion modules for cross-file types).
+ * Emit 7: ExtractIntent's init renames — the InferType expression moves under
+ * `type` (was `schema` — a misnomer since the emit-5 carrier switch) and the
+ * backtick text under `instruction` (was `message`), unifying the name for
+ * authored backtick text across intents and the infer-function scope.
+ * Emit 8: function scopes come from `__nola_file_ctx().func({ fn, instruction,
+ * args })` with harvested params; the file accessor moves under
+ * `__nola.context.file`.
+ * Emit 9: `__nola.types.date` — `Date` lowers to a string schema carrying
+ * format: "date-time"; the intent revives the wire string to a Date.
+ */
+export const NOLA_EMIT = 10;
+/**
+ * The one merge rule for ProviderParams: patch fields win per field, and
+ * providerOptions merges per key rather than being replaced wholesale. Used
+ * by .withParams() chaining and by frame-chain resolution.
+ */
+export function mergeProviderParams(base, patch) {
+    if (!base || !patch)
+        return patch ?? base;
+    const merged = { ...base, ...patch };
+    if (base.providerOptions && patch.providerOptions) {
+        merged.providerOptions = { ...base.providerOptions, ...patch.providerOptions };
+    }
+    return merged;
+}
+export { NolaConfigError, NolaIntentError, NolaProviderError, NolaResolutionError, NolaSchemaError, NolaVersionError, } from "./errors.js";
+export { canonicalize, FINGERPRINT_VERSION, fingerprintAsk, fingerprintRequest, sha256Hex, } from "./fingerprint.js";
+export { redactError, redactSecrets } from "./redact.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":"AAqBA,MAAM,CAAC,MAAM,YAAY,GAAG,aAAsB,CAAC;AAEnD;;;;GAIG;AACH,MAAM,OAAO,IAAI;IAEJ;IACA;IAFX,YACW,IAAY,EACZ,GAAW;QADX,SAAI,GAAJ,IAAI,CAAQ;QACZ,QAAG,GAAH,GAAG,CAAQ;QAEpB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IAED,QAAQ;QACN,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;IACpC,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,KAAK,CAAC,IAAY;QACvB,MAAM,CAAC,GAAG,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,EAAE,CAAC,CAAC;QAC1D,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAW,EAAE,CAAC,CAAC,CAAC,CAAW,CAAC,CAAC;IAClD,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,EAAE,CAAC;AA2E5B;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAqB,EACrB,KAAsB;IAEtB,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,IAAI,IAAI,CAAC;IAC1C,MAAM,MAAM,GAAmB,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,EAAE,CAAC;IACrD,IAAI,IAAI,CAAC,eAAe,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QAClD,MAAM,CAAC,eAAe,GAAG,EAAE,GAAG,IAAI,CAAC,eAAe,EAAE,GAAG,KAAK,CAAC,eAAe,EAAE,CAAC;IACjF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAwOD,OAAO,EACL,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,mBAAmB,EACnB,eAAe,EACf,gBAAgB,GAIjB,MAAM,aAAa,CAAC;AACrB,OAAO,EAEL,YAAY,EACZ,mBAAmB,EACnB,cAAc,EACd,kBAAkB,EAClB,SAAS,GACV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC"}

package/dist/redact.d.ts

@@ -0,0 +1,5 @@
+/** Replace anything that looks like a credential with `[redacted]`. */
+export declare function redactSecrets(text: string): string;
+/** Render any thrown value as a redacted single-line string. */
+export declare function redactError(error: unknown): string;
+//# sourceMappingURL=redact.d.ts.map

package/dist/redact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"redact.d.ts","sourceRoot":"","sources":["../src/redact.ts"],"names":[],"mappings":"AAUA,uEAAuE;AACvE,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAUlD;AAED,gEAAgE;AAChE,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAElD"}

package/dist/redact.js

@@ -0,0 +1,25 @@
+// Dependency-free leaf module: provider error bodies echo key fingerprints, and the
+// runtime re-throws them into user stacks and persists them into receipts.
+const PATTERNS = [
+    /\b(?:sk|rk|pk)-[A-Za-z0-9_-]{8,}/g, // OpenAI-family keys
+    /\bAIza[0-9A-Za-z_-]{10,}/g, // Google API keys
+    /\b(?:Bearer|Basic)\s+[A-Za-z0-9._~+/=-]{8,}/gi, // Authorization values
+    /\b[0-9a-f]{32,}\b/gi, // long hex blobs (key fingerprints)
+];
+/** Replace anything that looks like a credential with `[redacted]`. */
+export function redactSecrets(text) {
+    let out = text;
+    for (const pattern of PATTERNS) {
+        out = out.replace(pattern, (match) => {
+            const space = match.indexOf(" ");
+            // keep the scheme word ("Bearer"/"Basic"), redact only the value
+            return space === -1 ? "[redacted]" : `${match.slice(0, space)} [redacted]`;
+        });
+    }
+    return out;
+}
+/** Render any thrown value as a redacted single-line string. */
+export function redactError(error) {
+    return redactSecrets(error instanceof Error ? error.message : String(error));
+}
+//# sourceMappingURL=redact.js.map

package/dist/redact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"redact.js","sourceRoot":"","sources":["../src/redact.ts"],"names":[],"mappings":"AAAA,oFAAoF;AACpF,2EAA2E;AAE3E,MAAM,QAAQ,GAAsB;IAClC,mCAAmC,EAAE,qBAAqB;IAC1D,2BAA2B,EAAE,kBAAkB;IAC/C,+CAA+C,EAAE,uBAAuB;IACxE,qBAAqB,EAAE,oCAAoC;CAC5D,CAAC;AAEF,uEAAuE;AACvE,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,IAAI,GAAG,GAAG,IAAI,CAAC;IACf,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;YACnC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACjC,iEAAiE;YACjE,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,aAAa,CAAC;QAC7E,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,WAAW,CAAC,KAAc;IACxC,OAAO,aAAa,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AAC/E,CAAC"}

package/package.json

@@ -0,0 +1,35 @@
+{
+  "name": "@nola-lang/core",
+  "version": "0.1.0-alpha.0",
+  "description": "Core types and shared utilities for the Nola toolchain (internal)",
+  "keywords": [
+    "nola"
+  ],
+  "license": "MIT",
+  "author": "Evgen Mykhailenko",
+  "homepage": "https://github.com/nola-lang/nola#readme",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/nola-lang/nola.git",
+    "directory": "packages/core"
+  },
+  "bugs": {
+    "url": "https://github.com/nola-lang/nola/issues"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "type": "module",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "engines": {
+    "node": ">=22"
+  }
+}