@virune/compiler 1.1.0-rc.0

package/dist/src/diagnostics/diagnostic.d.ts

@@ -0,0 +1,41 @@
+import type { SourceSpan } from '../source.js';
+export type DiagnosticSeverity = 'error' | 'warning' | 'information' | 'hint';
+export interface DiagnosticCause {
+    readonly kind: 'unknown' | 'internal';
+    readonly message: string;
+    readonly name?: string;
+    readonly stack?: string;
+}
+export interface DiagnosticFix {
+    readonly id?: string;
+    readonly title: string;
+    readonly kind: 'insert' | 'replace' | 'remove' | 'rewrite';
+    readonly span?: SourceSpan;
+    readonly text?: string;
+}
+export interface RelatedDiagnostic {
+    readonly message: string;
+    readonly span: SourceSpan;
+}
+export interface Diagnostic {
+    readonly code: string;
+    readonly severity: DiagnosticSeverity;
+    readonly message: string;
+    readonly span: SourceSpan;
+    readonly related?: readonly RelatedDiagnostic[];
+    readonly help?: string;
+    readonly fixes?: readonly DiagnosticFix[];
+    readonly cause?: DiagnosticCause;
+}
+export declare class DiagnosticBag {
+    #private;
+    add(diagnostic: Diagnostic): void;
+    error(code: string, message: string, span: SourceSpan, options?: Omit<Diagnostic, 'code' | 'message' | 'span' | 'severity'>): void;
+    warning(code: string, message: string, span: SourceSpan, options?: Omit<Diagnostic, 'code' | 'message' | 'span' | 'severity'>): void;
+    information(code: string, message: string, span: SourceSpan, options?: Omit<Diagnostic, 'code' | 'message' | 'span' | 'severity'>): void;
+    hint(code: string, message: string, span: SourceSpan, options?: Omit<Diagnostic, 'code' | 'message' | 'span' | 'severity'>): void;
+    get items(): readonly Diagnostic[];
+    get hasErrors(): boolean;
+}
+export declare function diagnosticCause(error: unknown, kind?: DiagnosticCause['kind']): DiagnosticCause;
+//# sourceMappingURL=diagnostic.d.ts.map

package/dist/src/diagnostics/diagnostic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.d.ts","sourceRoot":"","sources":["../../../src/diagnostics/diagnostic.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE/C,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,SAAS,GAAG,aAAa,GAAG,MAAM,CAAC;AAE9E,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,UAAU,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC3D,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC1B;AAED,MAAM,WAAW,UAAU;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,CAAC,EAAE,eAAe,CAAC;CACjC;AAED,qBAAa,aAAa;;IAElB,GAAG,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI;IAGjC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,GAAE,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,UAAU,CAAM,GAAG,IAAI;IAGtI,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,GAAE,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,UAAU,CAAM,GAAG,IAAI;IAGxI,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,GAAE,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,UAAU,CAAM,GAAG,IAAI;IAG5I,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,GAAE,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,UAAU,CAAM,GAAG,IAAI;IAG5I,IAAW,KAAK,IAAI,SAAS,UAAU,EAAE,CAA8B;IACvE,IAAW,SAAS,IAAI,OAAO,CAAsE;CACrG;AAqBD,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,GAAE,eAAe,CAAC,MAAM,CAAc,GAAG,eAAe,CAU3G"}

package/dist/src/diagnostics/diagnostic.js

@@ -0,0 +1,50 @@
+export class DiagnosticBag {
+    #diagnostics = [];
+    add(diagnostic) {
+        if (this.#diagnostics.length < 100)
+            this.#diagnostics.push({ ...diagnostic, span: normalizeSpan(diagnostic.span) });
+    }
+    error(code, message, span, options = {}) {
+        this.add({ code, severity: 'error', message, span, ...options });
+    }
+    warning(code, message, span, options = {}) {
+        this.add({ code, severity: 'warning', message, span, ...options });
+    }
+    information(code, message, span, options = {}) {
+        this.add({ code, severity: 'information', message, span, ...options });
+    }
+    hint(code, message, span, options = {}) {
+        this.add({ code, severity: 'hint', message, span, ...options });
+    }
+    get items() { return this.#diagnostics; }
+    get hasErrors() { return this.#diagnostics.some(item => item.severity === 'error'); }
+}
+function normalizeSpan(span) {
+    const startOffset = finiteAtLeast(span.start.offset, 0);
+    const startLine = finiteAtLeast(span.start.line, 1);
+    const startColumn = finiteAtLeast(span.start.column, 1);
+    return {
+        fileId: span.fileId,
+        start: { offset: startOffset, line: startLine, column: startColumn },
+        end: {
+            offset: finiteAtLeast(span.end.offset, startOffset),
+            line: finiteAtLeast(span.end.line, startLine),
+            column: finiteAtLeast(span.end.column, startColumn),
+        },
+    };
+}
+function finiteAtLeast(value, minimum) {
+    return Number.isFinite(value) && value >= minimum ? value : minimum;
+}
+export function diagnosticCause(error, kind = 'internal') {
+    if (error instanceof Error) {
+        return {
+            kind,
+            message: error.message,
+            ...(error.name === '' ? {} : { name: error.name }),
+            ...(error.stack === undefined ? {} : { stack: error.stack }),
+        };
+    }
+    return { kind, message: String(error) };
+}
+//# sourceMappingURL=diagnostic.js.map

package/dist/src/diagnostics/diagnostic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.js","sourceRoot":"","sources":["../../../src/diagnostics/diagnostic.ts"],"names":[],"mappings":"AAmCA,MAAM,OAAO,aAAa;IAChB,YAAY,GAAiB,EAAE,CAAC;IAClC,GAAG,CAAC,UAAsB;QAChC,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,GAAG;YAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrH,CAAC;IACM,KAAK,CAAC,IAAY,EAAE,OAAe,EAAE,IAAgB,EAAE,UAAsE,EAAE;QACrI,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;IAClE,CAAC;IACM,OAAO,CAAC,IAAY,EAAE,OAAe,EAAE,IAAgB,EAAE,UAAsE,EAAE;QACvI,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;IACpE,CAAC;IACM,WAAW,CAAC,IAAY,EAAE,OAAe,EAAE,IAAgB,EAAE,UAAsE,EAAE;QAC3I,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;IACxE,CAAC;IACM,IAAI,CAAC,IAAY,EAAE,OAAe,EAAE,IAAgB,EAAE,UAAsE,EAAE;QACpI,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,IAAW,KAAK,KAA4B,OAAO,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;IACvE,IAAW,SAAS,KAAc,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;CACrG;AAED,SAAS,aAAa,CAAC,IAAgB;IACtC,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACpD,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACxD,OAAO;QACN,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,KAAK,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE;QACpE,GAAG,EAAE;YACJ,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC;YACnD,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC;YAC7C,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC;SACnD;KACD,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAa,EAAE,OAAe;IACpD,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAc,EAAE,OAAgC,UAAU;IACzF,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;QAC5B,OAAO;YACN,IAAI;YACJ,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YAClD,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;SAC5D,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACzC,CAAC"}

package/dist/src/diagnostics/render.d.ts

@@ -0,0 +1,44 @@
+import { DIAGNOSTIC_SCHEMA_VERSION, DIAGNOSTIC_SOURCE, type DiagnosticCategory } from './codes.js';
+import type { Diagnostic } from './diagnostic.js';
+import type { SourceFile } from '../source.js';
+export interface JsonDiagnosticPosition {
+    readonly line: number;
+    readonly column: number;
+}
+export interface JsonDiagnosticRange {
+    readonly start: JsonDiagnosticPosition;
+    readonly end: JsonDiagnosticPosition;
+}
+export interface JsonRelatedDiagnostic {
+    readonly message: string;
+    readonly file: string;
+    readonly range: JsonDiagnosticRange;
+}
+export interface JsonDiagnosticCause {
+    readonly kind: 'unknown' | 'internal';
+    readonly message: string;
+    readonly name?: string;
+    readonly stack?: string;
+}
+export interface JsonDiagnostic {
+    readonly source: typeof DIAGNOSTIC_SOURCE;
+    readonly code: string;
+    readonly qualifiedCode: string;
+    readonly category: DiagnosticCategory;
+    readonly severity: Diagnostic['severity'];
+    readonly message: string;
+    readonly file: string;
+    readonly range: JsonDiagnosticRange;
+    readonly related: readonly JsonRelatedDiagnostic[];
+    readonly help: string | null;
+    readonly fixIds: readonly string[];
+    readonly cause: JsonDiagnosticCause | null;
+}
+export interface JsonDiagnosticDocument {
+    readonly schemaVersion: typeof DIAGNOSTIC_SCHEMA_VERSION;
+    readonly diagnostics: readonly JsonDiagnostic[];
+}
+export declare function renderDiagnostic(diagnostic: Diagnostic, file: SourceFile): string;
+export declare function diagnosticsToDocument(diagnostics: readonly Diagnostic[], files: ReadonlyMap<number, SourceFile>): JsonDiagnosticDocument;
+export declare function diagnosticsToJson(diagnostics: readonly Diagnostic[], files: ReadonlyMap<number, SourceFile>): string;
+//# sourceMappingURL=render.d.ts.map

package/dist/src/diagnostics/render.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"render.d.ts","sourceRoot":"","sources":["../../../src/diagnostics/render.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAE,iBAAiB,EAA6C,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAC9I,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,UAAU,EAAc,MAAM,cAAc,CAAC;AAE3D,MAAM,WAAW,sBAAsB;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,KAAK,EAAE,sBAAsB,CAAC;IACvC,QAAQ,CAAC,GAAG,EAAE,sBAAsB,CAAC;CACrC;AAED,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;CACpC;AAED,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,UAAU,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,MAAM,EAAE,OAAO,iBAAiB,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,GAAG,IAAI,CAAC;CAC3C;AAED,MAAM,WAAW,sBAAsB;IACtC,QAAQ,CAAC,aAAa,EAAE,OAAO,yBAAyB,CAAC;IACzD,QAAQ,CAAC,WAAW,EAAE,SAAS,cAAc,EAAE,CAAC;CAChD;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,GAAG,MAAM,CAMjF;AAED,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,sBAAsB,CAyBxI;AAED,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,MAAM,CAEpH"}

package/dist/src/diagnostics/render.js

@@ -0,0 +1,44 @@
+import { DIAGNOSTIC_SCHEMA_VERSION, DIAGNOSTIC_SOURCE, diagnosticCategory, qualifyDiagnosticCode } from './codes.js';
+export function renderDiagnostic(diagnostic, file) {
+    const line = file.text.split(/\r?\n/u)[diagnostic.span.start.line - 1] ?? '';
+    const width = Math.max(1, diagnostic.span.end.column - diagnostic.span.start.column);
+    const marker = `${' '.repeat(Math.max(0, diagnostic.span.start.column - 1))}${'^'.repeat(width)}`;
+    const help = diagnostic.help === undefined ? '' : `\n\nhelp: ${diagnostic.help}`;
+    return `${diagnostic.severity}[${diagnostic.code}]: ${diagnostic.message}\n\n  ${file.path}:${diagnostic.span.start.line}:${diagnostic.span.start.column}\n   |\n${String(diagnostic.span.start.line).padStart(3)} | ${line}\n   | ${marker}${help}`;
+}
+export function diagnosticsToDocument(diagnostics, files) {
+    return {
+        schemaVersion: DIAGNOSTIC_SCHEMA_VERSION,
+        diagnostics: diagnostics.map(diagnostic => {
+            const file = files.get(diagnostic.span.fileId);
+            return {
+                source: DIAGNOSTIC_SOURCE,
+                code: diagnostic.code,
+                qualifiedCode: qualifyDiagnosticCode(diagnostic.code),
+                category: diagnosticCategory(diagnostic.code) ?? 'internal',
+                severity: diagnostic.severity,
+                message: diagnostic.message,
+                file: file?.path ?? '<unknown>',
+                range: jsonRange(diagnostic.span),
+                related: (diagnostic.related ?? []).map(item => ({
+                    message: item.message,
+                    file: files.get(item.span.fileId)?.path ?? '<unknown>',
+                    range: jsonRange(item.span),
+                })),
+                help: diagnostic.help ?? null,
+                fixIds: (diagnostic.fixes ?? []).map((fix, index) => fix.id ?? `${qualifyDiagnosticCode(diagnostic.code)}/fix-${index + 1}`),
+                cause: diagnostic.cause ?? null,
+            };
+        }),
+    };
+}
+export function diagnosticsToJson(diagnostics, files) {
+    return JSON.stringify(diagnosticsToDocument(diagnostics, files), null, 2);
+}
+function jsonRange(span) {
+    return {
+        start: { line: span.start.line, column: span.start.column },
+        end: { line: span.end.line, column: span.end.column },
+    };
+}
+//# sourceMappingURL=render.js.map

package/dist/src/diagnostics/render.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"render.js","sourceRoot":"","sources":["../../../src/diagnostics/render.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,qBAAqB,EAA2B,MAAM,YAAY,CAAC;AA+C9I,MAAM,UAAU,gBAAgB,CAAC,UAAsB,EAAE,IAAgB;IACxE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAClG,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,UAAU,CAAC,IAAI,EAAE,CAAC;IACjF,OAAO,GAAG,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,IAAI,MAAM,UAAU,CAAC,OAAO,SAAS,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,WAAW,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,IAAI,UAAU,MAAM,GAAG,IAAI,EAAE,CAAC;AACtP,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,WAAkC,EAAE,KAAsC;IAC/G,OAAO;QACN,aAAa,EAAE,yBAAyB;QACxC,WAAW,EAAE,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE;YACzC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC/C,OAAO;gBACN,MAAM,EAAE,iBAAiB;gBACzB,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,aAAa,EAAE,qBAAqB,CAAC,UAAU,CAAC,IAAI,CAAC;gBACrD,QAAQ,EAAE,kBAAkB,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU;gBAC3D,QAAQ,EAAE,UAAU,CAAC,QAAQ;gBAC7B,OAAO,EAAE,UAAU,CAAC,OAAO;gBAC3B,IAAI,EAAE,IAAI,EAAE,IAAI,IAAI,WAAW;gBAC/B,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC;gBACjC,OAAO,EAAE,CAAC,UAAU,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBAChD,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,IAAI,WAAW;oBACtD,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;iBAC3B,CAAC,CAAC;gBACH,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,IAAI;gBAC7B,MAAM,EAAE,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,GAAG,qBAAqB,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,KAAK,GAAG,CAAC,EAAE,CAAC;gBAC5H,KAAK,EAAE,UAAU,CAAC,KAAK,IAAI,IAAI;aAC/B,CAAC;QACH,CAAC,CAAC;KACF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,WAAkC,EAAE,KAAsC;IAC3G,OAAO,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,SAAS,CAAC,IAAgB;IAClC,OAAO;QACN,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE;QAC3D,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE;KACrD,CAAC;AACH,CAAC"}

package/dist/src/experimental-api.d.ts

@@ -0,0 +1,19 @@
+export * from './compiler.js';
+export * from './project/project.js';
+export * from './ast/nodes.js';
+export * from './diagnostics/codes.js';
+export * from './diagnostics/diagnostic.js';
+export * from './diagnostics/render.js';
+export * from './checker/checker.js';
+export * from './types/types.js';
+export * from './hir/nodes.js';
+export * from './source.js';
+export { lex } from './syntax/tokens.js';
+export { parseSource } from './project/project.js';
+export * from './project/incremental.js';
+export { buildProject, checkModule, compileSource, IncrementalProjectBuilder, TypeChecker, } from './interop/checked-api.js';
+export * from './interop/decision.js';
+export { externalExecutionReadiness, externalOperationSequence, type ExternalExecutionReadiness, type ExternalExecutionReadinessBlocker, } from './interop/operation-api.js';
+export type { ExternalAwaitOperationIR, ExternalBridgeForeignPrimitiveOperationIR, ExternalBuildObjectOperationIR, ExternalCallableProjectionIR, ExternalCallOperationIR, ExternalConstructOperationIR, ExternalForeignOrigin, ExternalForeignValueShape, ExternalModuleLoadOperationIR, ExternalObjectCallableProjectionIR, ExternalOperationEffect, ExternalOperationIR, ExternalOperationKind, ExternalReadIndexOperationIR, ExternalReadPropertyOperationIR, ExternalRuntimeResolutionWitness, ExternalSourcePosition, ExternalSourceSpan, ExternalWriteIndexOperationIR, ExternalWritePropertyOperationIR, } from './interop/operation.js';
+export type { CallableProjectionEvidence, CanonicalForeignTypeIdentity, ContextualCallablePrimitiveKind, ContextualCallableResult, ForeignCallResolution, ForeignJsxCallbackResolution, ForeignIndexResolution, ForeignObjectEntryResolution, ForeignObjectResolution, ForeignOrigin, ForeignPrimitiveKind, ForeignTypeRef, ForeignTypeSnapshot, ForeignUsage, ForeignWriteResolution, InteropArgumentType, InteropCallableArgumentResolution, InteropCallTarget, InteropCallUsage, InteropIndexUsage, InteropJsxCallbackUsage, InteropJsxPropertyUsage, InteropLiteralValue, InteropObjectArgumentResolution, InteropObjectEntryUsage, InteropObjectUsage, InteropSemanticModel, InteropWriteUsage, JsImportKind, JsImportRequest, JsImportResolution, JsInteropProvider, ModuleResolutionWitness, NativeCallableBoundaryDescriptor, NativeCallablePrimitiveKind, NativeCallableTypeTemplate, ObjectCallableProjectionEvidence, PrimitiveBridgeKind, RuntimeImportPlan, } from './interop/types.js';
+//# sourceMappingURL=experimental-api.d.ts.map

package/dist/src/experimental-api.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"experimental-api.d.ts","sourceRoot":"","sources":["../../src/experimental-api.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC;AACrC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,wBAAwB,CAAC;AACvC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,yBAAyB,CAAC;AACxC,cAAc,sBAAsB,CAAC;AACrC,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,OAAO,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAEzC,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,cAAc,0BAA0B,CAAC;AACzC,OAAO,EACN,YAAY,EACZ,WAAW,EACX,aAAa,EACb,yBAAyB,EACzB,WAAW,GACX,MAAM,0BAA0B,CAAC;AAClC,cAAc,uBAAuB,CAAC;AACtC,OAAO,EACN,0BAA0B,EAC1B,yBAAyB,EACzB,KAAK,0BAA0B,EAC/B,KAAK,iCAAiC,GACtC,MAAM,4BAA4B,CAAC;AACpC,YAAY,EACX,wBAAwB,EACxB,yCAAyC,EACzC,8BAA8B,EAC9B,4BAA4B,EAC5B,uBAAuB,EACvB,4BAA4B,EAC5B,qBAAqB,EACrB,yBAAyB,EACzB,6BAA6B,EAC7B,kCAAkC,EAClC,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,4BAA4B,EAC5B,+BAA+B,EAC/B,gCAAgC,EAChC,sBAAsB,EACtB,kBAAkB,EAClB,6BAA6B,EAC7B,gCAAgC,GAChC,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACX,0BAA0B,EAC1B,4BAA4B,EAC5B,+BAA+B,EAC/B,wBAAwB,EACxB,qBAAqB,EACrB,4BAA4B,EAC5B,sBAAsB,EACtB,4BAA4B,EAC5B,uBAAuB,EACvB,aAAa,EACb,oBAAoB,EACpB,cAAc,EACd,mBAAmB,EACnB,YAAY,EACZ,sBAAsB,EACtB,mBAAmB,EACnB,iCAAiC,EACjC,iBAAiB,EACjB,gBAAgB,EAChB,iBAAiB,EACjB,uBAAuB,EACvB,uBAAuB,EACvB,mBAAmB,EACnB,+BAA+B,EAC/B,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,EACpB,iBAAiB,EACjB,YAAY,EACZ,eAAe,EACf,kBAAkB,EAClB,iBAAiB,EACjB,uBAAuB,EACvB,gCAAgC,EAChC,2BAA2B,EAC3B,0BAA0B,EAC1B,gCAAgC,EAChC,mBAAmB,EACnB,iBAAiB,GACjB,MAAM,oBAAoB,CAAC"}

package/dist/src/experimental-api.js

@@ -0,0 +1,17 @@
+export * from './compiler.js';
+export * from './project/project.js';
+export * from './ast/nodes.js';
+export * from './diagnostics/codes.js';
+export * from './diagnostics/diagnostic.js';
+export * from './diagnostics/render.js';
+export * from './checker/checker.js';
+export * from './types/types.js';
+export * from './hir/nodes.js';
+export * from './source.js';
+export { lex } from './syntax/tokens.js';
+export { parseSource } from './project/project.js';
+export * from './project/incremental.js';
+export { buildProject, checkModule, compileSource, IncrementalProjectBuilder, TypeChecker, } from './interop/checked-api.js';
+export * from './interop/decision.js';
+export { externalExecutionReadiness, externalOperationSequence, } from './interop/operation-api.js';
+//# sourceMappingURL=experimental-api.js.map

package/dist/src/experimental-api.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"experimental-api.js","sourceRoot":"","sources":["../../src/experimental-api.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC;AACrC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,wBAAwB,CAAC;AACvC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,yBAAyB,CAAC;AACxC,cAAc,sBAAsB,CAAC;AACrC,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,OAAO,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAEzC,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,cAAc,0BAA0B,CAAC;AACzC,OAAO,EACN,YAAY,EACZ,WAAW,EACX,aAAa,EACb,yBAAyB,EACzB,WAAW,GACX,MAAM,0BAA0B,CAAC;AAClC,cAAc,uBAAuB,CAAC;AACtC,OAAO,EACN,0BAA0B,EAC1B,yBAAyB,GAGzB,MAAM,4BAA4B,CAAC"}

package/dist/src/hir/lower.d.ts

@@ -0,0 +1,6 @@
+import type * as A from '../ast/nodes.js';
+import type { SemanticModel } from '../checker/checker.js';
+import type { TypedHirModule } from './nodes.js';
+export type HirModule = TypedHirModule;
+export declare function lowerToHir(module: A.ModuleNode, semantic: SemanticModel): HirModule;
+//# sourceMappingURL=lower.d.ts.map

package/dist/src/hir/lower.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower.d.ts","sourceRoot":"","sources":["../../../src/hir/lower.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,CAAC,MAAM,iBAAiB,CAAC;AAC1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAG3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD,MAAM,MAAM,SAAS,GAAG,cAAc,CAAC;AAgFvC,wBAAgB,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,aAAa,GAAG,SAAS,CAiBnF"}

package/dist/src/hir/lower.js

@@ -0,0 +1,124 @@
+import { lowerFunctionToMir } from '../mir/lower.js';
+function lowerExpression(expression) {
+    switch (expression.kind) {
+        case 'PipelineExpression': {
+            const left = lowerExpression(expression.left);
+            const right = lowerExpression(expression.right);
+            if (right.kind === 'CallExpression')
+                return { ...right, arguments: [left, ...right.arguments.map(lowerExpression)] };
+            return { id: expression.id, kind: 'CallExpression', span: expression.span, callee: right, typeArguments: [], arguments: [left], ...(expression.inferredTypeId === undefined ? {} : { inferredTypeId: expression.inferredTypeId }) };
+        }
+        case 'CallExpression': return { ...expression, callee: lowerExpression(expression.callee), arguments: expression.arguments.map(lowerExpression) };
+        case 'FieldExpression': return { ...expression, target: lowerExpression(expression.target) };
+        case 'IndexExpression': return { ...expression, target: lowerExpression(expression.target), index: lowerExpression(expression.index) };
+        case 'BinaryExpression': return { ...expression, left: lowerExpression(expression.left), right: lowerExpression(expression.right) };
+        case 'UnaryExpression': return { ...expression, operand: lowerExpression(expression.operand) };
+        case 'TryExpression': return { ...expression, operand: lowerExpression(expression.operand) };
+        case 'AwaitExpression': return { ...expression, operand: lowerExpression(expression.operand) };
+        case 'RecordExpression': return { ...expression, entries: expression.entries.map(entry => ({ ...entry, value: lowerExpression(entry.value) })) };
+        case 'RecordUpdateExpression': return { ...expression, base: lowerExpression(expression.base), entries: expression.entries.map(entry => ({ ...entry, value: lowerExpression(entry.value) })) };
+        case 'ContextualAggregateExpression': return { ...expression, entries: expression.entries.map(entry => ({ ...entry, value: lowerExpression(entry.value) })) };
+        case 'ListExpression': return { ...expression, items: expression.items.map(lowerExpression) };
+        case 'TupleExpression': return { ...expression, items: expression.items.map(lowerExpression) };
+        case 'ConditionalExpression': return { ...expression, condition: lowerExpression(expression.condition), thenExpression: lowerExpression(expression.thenExpression), elseExpression: lowerExpression(expression.elseExpression) };
+        case 'MatchExpression': return { ...expression, target: lowerExpression(expression.target), arms: expression.arms.map(arm => ({ ...arm, ...(arm.guard === undefined ? {} : { guard: lowerExpression(arm.guard) }), expression: lowerExpression(arm.expression) })) };
+        case 'LambdaExpression': return { ...expression, body: expression.expressionBody ? lowerExpression(expression.body) : lowerBlock(expression.body) };
+        case 'ParallelExpression': return { ...expression, entries: expression.entries.map(entry => ({ ...entry, value: lowerExpression(entry.value) })) };
+        case 'ViewExpression': return { ...expression, body: lowerViewBlock(expression.body) };
+        default: return expression;
+    }
+}
+function lowerViewBlock(block) {
+    return { ...block, children: block.children.map(lowerViewChild) };
+}
+function lowerViewChild(child) {
+    switch (child.kind) {
+        case 'ViewTextChild':
+            return { ...child, value: child.value.replaceAll('{{', '{').replaceAll('}}', '}') };
+        case 'ViewChildrenSlot':
+            return child;
+        case 'ViewExpressionChild':
+            return { ...child, expression: lowerExpression(child.expression) };
+        case 'ViewElement':
+            return {
+                ...child,
+                properties: child.properties.map(property => ({ ...property, value: lowerExpression(property.value) })),
+                ...(child.children === undefined ? {} : { children: lowerViewBlock(child.children) }),
+            };
+        case 'ViewConditional':
+            return {
+                ...child,
+                condition: lowerExpression(child.condition),
+                thenBlock: lowerViewBlock(child.thenBlock),
+                ...(child.elseBranch === undefined ? {} : { elseBranch: child.elseBranch.kind === 'ViewBlock' ? lowerViewBlock(child.elseBranch) : lowerViewChild(child.elseBranch) }),
+            };
+        case 'ViewRepetition':
+            return { ...child, source: lowerExpression(child.source), identity: lowerExpression(child.identity), body: lowerViewBlock(child.body) };
+    }
+}
+function lowerStatement(statement) {
+    switch (statement.kind) {
+        case 'LetStatement': return { ...statement, value: lowerExpression(statement.value) };
+        case 'ReturnStatement': return statement.value === undefined ? statement : { ...statement, value: lowerExpression(statement.value) };
+        case 'IfStatement': return { ...statement, condition: lowerExpression(statement.condition), thenBlock: lowerBlock(statement.thenBlock), ...(statement.elseBranch === undefined ? {} : { elseBranch: statement.elseBranch.kind === 'BlockStatement' ? lowerBlock(statement.elseBranch) : lowerStatement(statement.elseBranch) }) };
+        case 'ForStatement': return { ...statement, iterable: lowerExpression(statement.iterable), body: lowerBlock(statement.body) };
+        case 'WhileStatement': return { ...statement, condition: lowerExpression(statement.condition), body: lowerBlock(statement.body) };
+        case 'AssignmentStatement': return { ...statement, ...(statement.invalidTarget === undefined ? {} : { invalidTarget: lowerExpression(statement.invalidTarget) }), value: lowerExpression(statement.value) };
+        case 'MemberAssignmentStatement': return { ...statement, target: lowerExpression(statement.target), value: lowerExpression(statement.value) };
+        case 'IndexAssignmentStatement': return { ...statement, target: lowerExpression(statement.target), index: lowerExpression(statement.index), value: lowerExpression(statement.value) };
+        case 'DiscardStatement': return { ...statement, expression: lowerExpression(statement.expression) };
+        case 'ExpressionStatement': return { ...statement, expression: lowerExpression(statement.expression) };
+        case 'BreakStatement':
+        case 'ContinueStatement': return statement;
+        case 'DeferStatement': return { ...statement, expression: lowerExpression(statement.expression) };
+    }
+}
+function lowerBlock(block) { return { ...block, statements: block.statements.map(lowerStatement) }; }
+export function lowerToHir(module, semantic) {
+    const declarations = module.declarations.map(declaration => {
+        if (declaration.kind === 'FunctionDeclaration')
+            return { ...declaration, body: declaration.expressionBody ? lowerExpression(declaration.body) : lowerBlock(declaration.body) };
+        if (declaration.kind === 'ComponentDeclaration')
+            return { ...declaration, body: lowerBlock(declaration.body) };
+        if (declaration.kind === 'TopLevelLetDeclaration')
+            return { ...declaration, value: lowerExpression(declaration.value) };
+        if (declaration.kind === 'TestDeclaration')
+            return { ...declaration, body: lowerBlock(declaration.body) };
+        return declaration;
+    });
+    const loweredModule = { ...module, declarations };
+    const nodeTypes = new Map();
+    const symbolReferences = new Map();
+    collectSemanticMetadata(loweredModule, nodeTypes, symbolReferences);
+    const mirFunctions = declarations
+        .filter((declaration) => declaration.kind === 'FunctionDeclaration')
+        .map(lowerFunctionToMir)
+        .filter((value) => value !== undefined);
+    return { module: loweredModule, semantic, nodeTypes, symbolReferences, mirFunctions };
+}
+function collectSemanticMetadata(value, nodeTypes, symbolReferences) {
+    if (value === null || typeof value !== 'object')
+        return;
+    if (Array.isArray(value)) {
+        for (const item of value)
+            collectSemanticMetadata(item, nodeTypes, symbolReferences);
+        return;
+    }
+    const node = value;
+    if (typeof node.id === 'number') {
+        if (typeof node.inferredTypeId === 'number')
+            nodeTypes.set(node.id, node.inferredTypeId);
+        if (typeof node.resolvedTypeId === 'number')
+            nodeTypes.set(node.id, node.resolvedTypeId);
+        if (typeof node.symbolId === 'number')
+            symbolReferences.set(node.id, node.symbolId);
+        if (typeof node.targetSymbolId === 'number')
+            symbolReferences.set(node.id, node.targetSymbolId);
+    }
+    for (const [key, child] of Object.entries(node)) {
+        if (key === 'span' || key === 'inferredTypeId' || key === 'resolvedTypeId' || key === 'symbolId' || key === 'targetSymbolId')
+            continue;
+        collectSemanticMetadata(child, nodeTypes, symbolReferences);
+    }
+}
+//# sourceMappingURL=lower.js.map

package/dist/src/hir/lower.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower.js","sourceRoot":"","sources":["../../../src/hir/lower.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAKrD,SAAS,eAAe,CAAC,UAAwB;IAChD,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACzB,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC3B,MAAM,IAAI,GAAG,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAChD,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB;gBAAE,OAAO,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC;YACrH,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,UAAU,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC;QACrO,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,MAAM,EAAE,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;QAClJ,KAAK,iBAAiB,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,MAAM,EAAE,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7F,KAAK,iBAAiB,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,MAAM,EAAE,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACvI,KAAK,kBAAkB,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACpI,KAAK,iBAAiB,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,eAAe,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/F,KAAK,eAAe,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,eAAe,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7F,KAAK,iBAAiB,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,eAAe,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/F,KAAK,kBAAkB,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACjJ,KAAK,wBAAwB,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC/L,KAAK,+BAA+B,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC9J,KAAK,gBAAgB,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;QAC9F,KAAK,iBAAiB,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;QAC/F,KAAK,uBAAuB,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,SAAS,EAAE,eAAe,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,cAAc,EAAE,eAAe,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,cAAc,EAAE,eAAe,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QACjO,KAAK,iBAAiB,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,MAAM,EAAE,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACrQ,KAAK,kBAAkB,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC,eAAe,CAAC,UAAU,CAAC,IAAoB,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,IAAwB,CAAC,EAAE,CAAC;QACxL,KAAK,oBAAoB,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACnJ,KAAK,gBAAgB,CAAC,CAAC,OAAO,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,cAAc,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACvF,OAAO,CAAC,CAAC,OAAO,UAAU,CAAC;IAC5B,CAAC;AACF,CAAC;AAED,SAAS,cAAc,CAAC,KAAkB;IACzC,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;AACnE,CAAC;AAED,SAAS,cAAc,CAAC,KAAkB;IACzC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,eAAe;YACnB,OAAO,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACrF,KAAK,kBAAkB;YACtB,OAAO,KAAK,CAAC;QACd,KAAK,qBAAqB;YACzB,OAAO,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACpE,KAAK,aAAa;YACjB,OAAO;gBACN,GAAG,KAAK;gBACR,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACvG,GAAG,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;aACrF,CAAC;QACH,KAAK,iBAAiB;YACrB,OAAO;gBACN,GAAG,KAAK;gBACR,SAAS,EAAE,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC;gBAC3C,SAAS,EAAE,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC;gBAC1C,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,UAAU,CAAsB,EAAE,CAAC;aAC3L,CAAC;QACH,KAAK,gBAAgB;YACpB,OAAO,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;IAC1I,CAAC;AACF,CAAC;AAED,SAAS,cAAc,CAAC,SAAsB;IAC7C,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,cAAc,CAAC,CAAC,OAAO,EAAE,GAAG,SAAS,EAAE,KAAK,EAAE,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACtF,KAAK,iBAAiB,CAAC,CAAC,OAAO,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,KAAK,EAAE,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACrI,KAAK,aAAa,CAAC,CAAC,OAAO,EAAE,GAAG,SAAS,EAAE,SAAS,EAAE,eAAe,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,UAAU,CAAkB,EAAE,CAAC,EAAE,CAAC;QACnV,KAAK,cAAc,CAAC,CAAC,OAAO,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,eAAe,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9H,KAAK,gBAAgB,CAAC,CAAC,OAAO,EAAE,GAAG,SAAS,EAAE,SAAS,EAAE,eAAe,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAClI,KAAK,qBAAqB,CAAC,CAAC,OAAO,EAAE,GAAG,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,eAAe,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5M,KAAK,2BAA2B,CAAC,CAAC,OAAO,EAAE,GAAG,SAAS,EAAE,MAAM,EAAE,eAAe,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9I,KAAK,0BAA0B,CAAC,CAAC,OAAO,EAAE,GAAG,SAAS,EAAE,MAAM,EAAE,eAAe,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACtL,KAAK,kBAAkB,CAAC,CAAC,OAAO,EAAE,GAAG,SAAS,EAAE,UAAU,EAAE,eAAe,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QACpG,KAAK,qBAAqB,CAAC,CAAC,OAAO,EAAE,GAAG,SAAS,EAAE,UAAU,EAAE,eAAe,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QACvG,KAAK,gBAAgB,CAAC;QAAC,KAAK,mBAAmB,CAAC,CAAC,OAAO,SAAS,CAAC;QAClE,KAAK,gBAAgB,CAAC,CAAC,OAAO,EAAE,GAAG,SAAS,EAAE,UAAU,EAAE,eAAe,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;IACnG,CAAC;AACF,CAAC;AAED,SAAS,UAAU,CAAC,KAAuB,IAAsB,OAAO,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC;AAEzI,MAAM,UAAU,UAAU,CAAC,MAAoB,EAAE,QAAuB;IACvE,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE;QAC1D,IAAI,WAAW,CAAC,IAAI,KAAK,qBAAqB;YAAE,OAAO,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC,eAAe,CAAC,WAAW,CAAC,IAAoB,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,IAAwB,CAAC,EAAE,CAAC;QACnN,IAAI,WAAW,CAAC,IAAI,KAAK,sBAAsB;YAAE,OAAO,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/G,IAAI,WAAW,CAAC,IAAI,KAAK,wBAAwB;YAAE,OAAO,EAAE,GAAG,WAAW,EAAE,KAAK,EAAE,eAAe,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;QACxH,IAAI,WAAW,CAAC,IAAI,KAAK,iBAAiB;YAAE,OAAO,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1G,OAAO,WAAW,CAAC;IACpB,CAAC,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,EAAE,GAAG,MAAM,EAAE,YAAY,EAAE,CAAC;IAClD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAoB,CAAC;IACrD,uBAAuB,CAAC,aAAa,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IACpE,MAAM,YAAY,GAAG,YAAY;SAC/B,MAAM,CAAC,CAAC,WAAW,EAAwC,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB,CAAC;SACzG,GAAG,CAAC,kBAAkB,CAAC;SACvB,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IAC7E,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,gBAAgB,EAAE,YAAY,EAAE,CAAC;AACvF,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAc,EAAE,SAA8B,EAAE,gBAAuC;IACvH,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO;IACxD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAAC,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,uBAAuB,CAAC,IAAI,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;QAAC,OAAO;IAAC,CAAC;IAC3H,MAAM,IAAI,GAAG,KAAgC,CAAC;IAC9C,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;QACjC,IAAI,OAAO,IAAI,CAAC,cAAc,KAAK,QAAQ;YAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;QACzF,IAAI,OAAO,IAAI,CAAC,cAAc,KAAK,QAAQ;YAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;QACzF,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;YAAE,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpF,IAAI,OAAO,IAAI,CAAC,cAAc,KAAK,QAAQ;YAAE,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;IACjG,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,gBAAgB,IAAI,GAAG,KAAK,gBAAgB,IAAI,GAAG,KAAK,UAAU,IAAI,GAAG,KAAK,gBAAgB;YAAE,SAAS;QACvI,uBAAuB,CAAC,KAAK,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IAC7D,CAAC;AACF,CAAC"}

package/dist/src/hir/nodes.d.ts

@@ -0,0 +1,12 @@
+import type * as A from '../ast/nodes.js';
+import type { SemanticModel } from '../checker/checker.js';
+import type { NodeId, SymbolId, TypeId } from '../source.js';
+import type { MirFunction } from '../mir/nodes.js';
+export interface TypedHirModule {
+    readonly module: A.ModuleNode;
+    readonly semantic: SemanticModel;
+    readonly nodeTypes: ReadonlyMap<NodeId, TypeId>;
+    readonly symbolReferences: ReadonlyMap<NodeId, SymbolId>;
+    readonly mirFunctions: readonly MirFunction[];
+}
+//# sourceMappingURL=nodes.d.ts.map

package/dist/src/hir/nodes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodes.d.ts","sourceRoot":"","sources":["../../../src/hir/nodes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,CAAC,MAAM,iBAAiB,CAAC;AAC1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAEnD,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChD,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACzD,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;CAC9C"}

package/dist/src/hir/nodes.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=nodes.js.map

package/dist/src/hir/nodes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodes.js","sourceRoot":"","sources":["../../../src/hir/nodes.ts"],"names":[],"mappings":""}

package/dist/src/index.d.ts

@@ -0,0 +1,2 @@
+export * from './public-api.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC"}

package/dist/src/index.js

@@ -0,0 +1,2 @@
+export * from './public-api.js';
+//# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC"}

package/dist/src/interop/checked-api.d.ts

@@ -0,0 +1,21 @@
+import type * as A from '../ast/nodes.js';
+import { type CompileOptions, type CompileResult } from '../compiler.js';
+import { TypeChecker as BaseTypeChecker, type SemanticModel, type TypeCheckerOptions } from '../checker/checker.js';
+import { type BuildProjectOptions, type ProjectBuildResult } from '../project/project.js';
+import { IncrementalProjectBuilder as BaseIncrementalProjectBuilder } from '../project/incremental.js';
+import type { SourceFile } from '../source.js';
+/** Experimental compiler entry point that attaches provider-independent operation evidence. */
+export declare function compileSource(source: SourceFile, options?: CompileOptions): CompileResult;
+/** Experimental checker entry point that attaches provider-independent operation evidence. */
+export declare function checkModule(module: A.ModuleNode, options?: TypeCheckerOptions): SemanticModel;
+/** Experimental checker class for callers that construct the checker directly. */
+export declare class TypeChecker extends BaseTypeChecker {
+    check(module: A.ModuleNode): SemanticModel;
+}
+export declare function buildProject(rootDirectory: string, options?: BuildProjectOptions): Promise<ProjectBuildResult>;
+export declare function buildProject(rootDirectory: string, write?: boolean, additionalEntries?: readonly string[]): Promise<ProjectBuildResult>;
+/** Stateful experimental project compiler; caching semantics remain owned by ProjectBuildCache. */
+export declare class IncrementalProjectBuilder extends BaseIncrementalProjectBuilder {
+    build(rootDirectory: string, options?: Omit<BuildProjectOptions, 'incrementalCache'>): Promise<ProjectBuildResult>;
+}
+//# sourceMappingURL=checked-api.d.ts.map

package/dist/src/interop/checked-api.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checked-api.d.ts","sourceRoot":"","sources":["../../../src/interop/checked-api.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,CAAC,MAAM,iBAAiB,CAAC;AAC1C,OAAO,EAEN,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAEN,WAAW,IAAI,eAAe,EAC9B,KAAK,aAAa,EAClB,KAAK,kBAAkB,EACvB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAEN,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,EACvB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,yBAAyB,IAAI,6BAA6B,EAAE,MAAM,2BAA2B,CAAC;AACvG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAU/C,+FAA+F;AAC/F,wBAAgB,aAAa,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,GAAE,cAAmB,GAAG,aAAa,CAI7F;AAED,8FAA8F;AAC9F,wBAAgB,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,GAAE,kBAAuB,GAAG,aAAa,CAIjG;AAED,kFAAkF;AAClF,qBAAa,WAAY,SAAQ,eAAe;IAC/B,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,GAAG,aAAa;CAK1D;AAED,wBAAgB,YAAY,CAAC,aAAa,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;AAChH,wBAAgB,YAAY,CAAC,aAAa,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;AAYzI,mGAAmG;AACnG,qBAAa,yBAA0B,SAAQ,6BAA6B;IACrD,KAAK,CAC1B,aAAa,EAAE,MAAM,EACrB,OAAO,GAAE,IAAI,CAAC,mBAAmB,EAAE,kBAAkB,CAAM,GACzD,OAAO,CAAC,kBAAkB,CAAC;CAG9B"}

package/dist/src/interop/checked-api.js

@@ -0,0 +1,46 @@
+import { compileSource as compileSourceBase, } from '../compiler.js';
+import { checkModule as checkModuleBase, TypeChecker as BaseTypeChecker, } from '../checker/checker.js';
+import { buildProject as buildProjectBase, } from '../project/project.js';
+import { IncrementalProjectBuilder as BaseIncrementalProjectBuilder } from '../project/incremental.js';
+import { registerExternalOperationSnapshot } from './operation-api.js';
+function registerProjectResult(result) {
+    for (const module of result.modules) {
+        if (module.ast !== undefined && module.semantic !== undefined)
+            registerExternalOperationSnapshot(module.ast, module.semantic);
+    }
+    return result;
+}
+/** Experimental compiler entry point that attaches provider-independent operation evidence. */
+export function compileSource(source, options = {}) {
+    const result = compileSourceBase(source, options);
+    if (result.ast !== undefined && result.semantic !== undefined)
+        registerExternalOperationSnapshot(result.ast, result.semantic);
+    return result;
+}
+/** Experimental checker entry point that attaches provider-independent operation evidence. */
+export function checkModule(module, options = {}) {
+    const semantic = checkModuleBase(module, options);
+    registerExternalOperationSnapshot(module, semantic);
+    return semantic;
+}
+/** Experimental checker class for callers that construct the checker directly. */
+export class TypeChecker extends BaseTypeChecker {
+    check(module) {
+        const semantic = super.check(module);
+        registerExternalOperationSnapshot(module, semantic);
+        return semantic;
+    }
+}
+export async function buildProject(rootDirectory, optionsOrWrite = true, legacyAdditionalEntries = []) {
+    const result = typeof optionsOrWrite === 'boolean'
+        ? await buildProjectBase(rootDirectory, optionsOrWrite, legacyAdditionalEntries)
+        : await buildProjectBase(rootDirectory, optionsOrWrite);
+    return registerProjectResult(result);
+}
+/** Stateful experimental project compiler; caching semantics remain owned by ProjectBuildCache. */
+export class IncrementalProjectBuilder extends BaseIncrementalProjectBuilder {
+    async build(rootDirectory, options = {}) {
+        return registerProjectResult(await super.build(rootDirectory, options));
+    }
+}
+//# sourceMappingURL=checked-api.js.map

package/dist/src/interop/checked-api.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checked-api.js","sourceRoot":"","sources":["../../../src/interop/checked-api.ts"],"names":[],"mappings":"AACA,OAAO,EACN,aAAa,IAAI,iBAAiB,GAGlC,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACN,WAAW,IAAI,eAAe,EAC9B,WAAW,IAAI,eAAe,GAG9B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACN,YAAY,IAAI,gBAAgB,GAGhC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,yBAAyB,IAAI,6BAA6B,EAAE,MAAM,2BAA2B,CAAC;AAEvG,OAAO,EAAE,iCAAiC,EAAE,MAAM,oBAAoB,CAAC;AAEvE,SAAS,qBAAqB,CAAC,MAA0B;IACxD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,GAAG,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS;YAAE,iCAAiC,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC/H,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,aAAa,CAAC,MAAkB,EAAE,UAA0B,EAAE;IAC7E,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClD,IAAI,MAAM,CAAC,GAAG,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS;QAAE,iCAAiC,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC9H,OAAO,MAAM,CAAC;AACf,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,WAAW,CAAC,MAAoB,EAAE,UAA8B,EAAE;IACjF,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClD,iCAAiC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACpD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED,kFAAkF;AAClF,MAAM,OAAO,WAAY,SAAQ,eAAe;IAC/B,KAAK,CAAC,MAAoB;QACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrC,iCAAiC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACpD,OAAO,QAAQ,CAAC;IACjB,CAAC;CACD;AAID,MAAM,CAAC,KAAK,UAAU,YAAY,CACjC,aAAqB,EACrB,iBAAgD,IAAI,EACpD,0BAA6C,EAAE;IAE/C,MAAM,MAAM,GAAG,OAAO,cAAc,KAAK,SAAS;QACjD,CAAC,CAAC,MAAM,gBAAgB,CAAC,aAAa,EAAE,cAAc,EAAE,uBAAuB,CAAC;QAChF,CAAC,CAAC,MAAM,gBAAgB,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;IACzD,OAAO,qBAAqB,CAAC,MAAM,CAAC,CAAC;AACtC,CAAC;AAED,mGAAmG;AACnG,MAAM,OAAO,yBAA0B,SAAQ,6BAA6B;IAC3D,KAAK,CAAC,KAAK,CAC1B,aAAqB,EACrB,UAAyD,EAAE;QAE3D,OAAO,qBAAqB,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC;IACzE,CAAC;CACD"}

package/dist/src/interop/decision.d.ts

@@ -0,0 +1,24 @@
+export type InteropDecisionStatus = 'resolved' | 'obligation-pending' | 'unresolved';
+export type InteropMechanism = 'direct' | 'callable-shim' | 'managed' | 'host' | 'user-adapter' | 'unsafe';
+export type InteropAuthoring = 'none' | 'generated' | 'user';
+export type InteropSafetyClaim = 'foreign-identity-preserved' | 'primitive-bridge-validated' | 'receiver-preserved' | 'type-boundary-safe';
+export type InteropObligationKind = 'runtime-resolution';
+export type InteropObligationStage = 'check' | 'codegen' | 'build' | 'runtime';
+export type InteropObligationStatus = 'pending' | 'discharged';
+export interface InteropObligationIR {
+    readonly kind: InteropObligationKind;
+    readonly stage: InteropObligationStage;
+    readonly status: InteropObligationStatus;
+}
+export interface InteropDecisionIR {
+    readonly status: InteropDecisionStatus;
+    readonly mechanism: InteropMechanism;
+    readonly authoring: InteropAuthoring;
+    readonly claims: readonly InteropSafetyClaim[];
+    readonly obligations: readonly InteropObligationIR[];
+}
+/** Canonicalize provider-independent decision facts without treating JS object identity as a security boundary. */
+export declare function canonicalizeInteropDecision(decision: InteropDecisionIR): InteropDecisionIR;
+/** Only fully resolved, non-authored Direct decisions with discharged obligations are success evidence. */
+export declare function isResolvedDirectInteropDecision(decision: InteropDecisionIR): boolean;
+//# sourceMappingURL=decision.d.ts.map

package/dist/src/interop/decision.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision.d.ts","sourceRoot":"","sources":["../../../src/interop/decision.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,qBAAqB,GAAG,UAAU,GAAG,oBAAoB,GAAG,YAAY,CAAC;AACrF,MAAM,MAAM,gBAAgB,GAAG,QAAQ,GAAG,eAAe,GAAG,SAAS,GAAG,MAAM,GAAG,cAAc,GAAG,QAAQ,CAAC;AAC3G,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,WAAW,GAAG,MAAM,CAAC;AAC7D,MAAM,MAAM,kBAAkB,GAC3B,4BAA4B,GAC5B,4BAA4B,GAC5B,oBAAoB,GACpB,oBAAoB,CAAC;AACxB,MAAM,MAAM,qBAAqB,GAAG,oBAAoB,CAAC;AACzD,MAAM,MAAM,sBAAsB,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,CAAC;AAC/E,MAAM,MAAM,uBAAuB,GAAG,SAAS,GAAG,YAAY,CAAC;AAE/D,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,sBAAsB,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;CACzC;AAED,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACrD;AAiBD,mHAAmH;AACnH,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,iBAAiB,GAAG,iBAAiB,CAsC1F;AAED,2GAA2G;AAC3G,wBAAgB,+BAA+B,CAAC,QAAQ,EAAE,iBAAiB,GAAG,OAAO,CAUpF"}