@virune/compiler 1.1.0-rc.0

package/dist/src/interop/repetition-host-locator.d.ts

@@ -0,0 +1,25 @@
+import type * as A from '../ast/nodes.js';
+import type { SourceSpan } from '../source.js';
+export interface RepetitionHostSourceModule {
+    readonly path: string;
+    readonly ast: A.ModuleNode;
+}
+export interface RepetitionHostLocator {
+    readonly module: string;
+    readonly exportName: string;
+    readonly protocolVersion: 1;
+    readonly declarationFile: string;
+    readonly span: SourceSpan;
+}
+export type RepetitionHostLocatorResolution = {
+    readonly status: 'none';
+} | {
+    readonly status: 'ready';
+    readonly locator: RepetitionHostLocator;
+} | {
+    readonly status: 'ambiguous';
+    readonly locators: readonly RepetitionHostLocator[];
+};
+export declare function discoverRepetitionHostLocator(modules: readonly RepetitionHostSourceModule[]): RepetitionHostLocatorResolution;
+export declare function collectIdentityViewRepetitions(module: A.ModuleNode): readonly A.ViewRepetition[];
+//# sourceMappingURL=repetition-host-locator.d.ts.map

package/dist/src/interop/repetition-host-locator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repetition-host-locator.d.ts","sourceRoot":"","sources":["../../../src/interop/repetition-host-locator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,CAAC,MAAM,iBAAiB,CAAC;AAC1C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE/C,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,CAAC,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC1B;AAED,MAAM,MAAM,+BAA+B,GACxC;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAA;CAAE,GACrE;IAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,qBAAqB,EAAE,CAAA;CAAE,CAAC;AAqBzF,wBAAgB,6BAA6B,CAAC,OAAO,EAAE,SAAS,0BAA0B,EAAE,GAAG,+BAA+B,CAW7H;AAED,wBAAgB,8BAA8B,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,GAAG,SAAS,CAAC,CAAC,cAAc,EAAE,CAIhG"}

package/dist/src/interop/repetition-host-locator.js

@@ -0,0 +1,61 @@
+function locatorFromDeclaration(declaration, declarationFile) {
+    if (declaration.kind !== 'ExternDeclaration' || declaration.unsafe)
+        return undefined;
+    const attributes = declaration.attributes.filter(item => item.name === 'repetitionHost');
+    if (attributes.length !== 1)
+        return undefined;
+    const attribute = attributes[0];
+    if (attribute.arguments.length !== 2)
+        return undefined;
+    const exportName = attribute.arguments[0];
+    const version = attribute.arguments[1];
+    if (exportName?.kind !== 'LiteralExpression' || exportName.literalKind !== 'String')
+        return undefined;
+    if (version?.kind !== 'LiteralExpression' || version.literalKind !== 'Int' || version.value !== 1)
+        return undefined;
+    return {
+        module: declaration.module,
+        exportName: String(exportName.value),
+        protocolVersion: 1,
+        declarationFile,
+        span: attribute.span,
+    };
+}
+export function discoverRepetitionHostLocator(modules) {
+    const locators = [];
+    for (const module of modules) {
+        for (const declaration of module.ast.declarations) {
+            const locator = locatorFromDeclaration(declaration, module.path);
+            if (locator !== undefined)
+                locators.push(locator);
+        }
+    }
+    if (locators.length === 0)
+        return { status: 'none' };
+    if (locators.length === 1)
+        return { status: 'ready', locator: locators[0] };
+    return { status: 'ambiguous', locators };
+}
+export function collectIdentityViewRepetitions(module) {
+    const repetitions = [];
+    collectIdentityViewRepetitionsFromValue(module, repetitions);
+    return repetitions;
+}
+function collectIdentityViewRepetitionsFromValue(value, repetitions) {
+    if (Array.isArray(value)) {
+        for (const item of value)
+            collectIdentityViewRepetitionsFromValue(item, repetitions);
+        return;
+    }
+    if (value === null || typeof value !== 'object')
+        return;
+    const node = value;
+    if (node.kind === 'ViewRepetition')
+        repetitions.push(node);
+    for (const [key, child] of Object.entries(node)) {
+        if (key === 'span' || key === 'checkedEvidence' || key === 'documentation')
+            continue;
+        collectIdentityViewRepetitionsFromValue(child, repetitions);
+    }
+}
+//# sourceMappingURL=repetition-host-locator.js.map

package/dist/src/interop/repetition-host-locator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repetition-host-locator.js","sourceRoot":"","sources":["../../../src/interop/repetition-host-locator.ts"],"names":[],"mappings":"AAqBA,SAAS,sBAAsB,CAAC,WAA0B,EAAE,eAAuB;IAClF,IAAI,WAAW,CAAC,IAAI,KAAK,mBAAmB,IAAI,WAAW,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IACrF,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC;IACzF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;IACjC,IAAI,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACvD,MAAM,UAAU,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACvC,IAAI,UAAU,EAAE,IAAI,KAAK,mBAAmB,IAAI,UAAU,CAAC,WAAW,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACtG,IAAI,OAAO,EAAE,IAAI,KAAK,mBAAmB,IAAI,OAAO,CAAC,WAAW,KAAK,KAAK,IAAI,OAAO,CAAC,KAAK,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACpH,OAAO;QACN,MAAM,EAAE,WAAW,CAAC,MAAM;QAC1B,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC;QACpC,eAAe,EAAE,CAAC;QAClB,eAAe;QACf,IAAI,EAAE,SAAS,CAAC,IAAI;KACpB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,OAA8C;IAC3F,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC9B,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC;YACnD,MAAM,OAAO,GAAG,sBAAsB,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YACjE,IAAI,OAAO,KAAK,SAAS;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnD,CAAC;IACF,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC;IAC7E,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,MAAoB;IAClE,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,uCAAuC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC7D,OAAO,WAAW,CAAC;AACpB,CAAC;AAED,SAAS,uCAAuC,CAAC,KAAc,EAAE,WAA+B;IAC/F,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,uCAAuC,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACrF,OAAO;IACR,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO;IACxD,MAAM,IAAI,GAAG,KAAgC,CAAC;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAAE,WAAW,CAAC,IAAI,CAAC,IAAmC,CAAC,CAAC;IAC1F,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,iBAAiB,IAAI,GAAG,KAAK,eAAe;YAAE,SAAS;QACrF,uCAAuC,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC7D,CAAC;AACF,CAAC"}

package/dist/src/interop/repetition-host-usage-validation.d.ts

@@ -0,0 +1,11 @@
+import type { JsInteropProvider, JsImportRequest } from './types.js';
+interface RepetitionHostTypeScriptUsageOptions {
+    readonly containingFile: string;
+    readonly platform: JsImportRequest['platform'];
+    readonly moduleSpecifier: string;
+    readonly exportName: string;
+    readonly jsInteropProvider?: JsInteropProvider;
+}
+export declare function validateRepetitionHostTypeScriptUsage(options: RepetitionHostTypeScriptUsageOptions): boolean;
+export {};
+//# sourceMappingURL=repetition-host-usage-validation.d.ts.map

package/dist/src/interop/repetition-host-usage-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repetition-host-usage-validation.d.ts","sourceRoot":"","sources":["../../../src/interop/repetition-host-usage-validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAErE,UAAU,oCAAoC;IAC7C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC;IAC/C,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CAC/C;AAED,wBAAgB,qCAAqC,CAAC,OAAO,EAAE,oCAAoC,GAAG,OAAO,CAqF5G"}

package/dist/src/interop/repetition-host-usage-validation.js

@@ -0,0 +1,89 @@
+export function validateRepetitionHostTypeScriptUsage(options) {
+    const provider = options.jsInteropProvider;
+    const resolver = provider?.resolveJsxUsage;
+    if (provider === undefined || resolver === undefined)
+        return false;
+    const moduleSpecifier = JSON.stringify(options.moduleSpecifier);
+    const exportName = JSON.stringify(options.exportName);
+    const sourceText = [
+        `import * as __viruneRepetitionHostModule from ${moduleSpecifier};`,
+        `const __viruneRepetitionHost = __viruneRepetitionHostModule[${exportName}];`,
+        'type __ViruneIsNever<T> = [T] extends [never] ? true : false;',
+        'type __ViruneIsAny<T> = 0 extends (1 & T) ? true : false;',
+        'type __ViruneIsUnknown<T> = __ViruneIsAny<T> extends true ? false : unknown extends T ? ([keyof T] extends [never] ? true : false) : false;',
+        'type __ViruneSafe<T> = __ViruneIsNever<T> extends true ? never : __ViruneIsAny<T> extends true ? never : __ViruneIsUnknown<T> extends true ? never : true;',
+        'function __viruneRequireSafe<T>(_proof: __ViruneSafe<T>): void {}',
+        'declare function __ViruneProbeComponent(): never;',
+        '__viruneRequireSafe<typeof __viruneRepetitionHost>(true);',
+        'type __ViruneHostParameters = Parameters<typeof __viruneRepetitionHost>;',
+        '__viruneRequireSafe<__ViruneHostParameters[0]>(true);',
+        '__viruneRequireSafe<__ViruneHostParameters[1]>(true);',
+        'type __ViruneBodyResult = __ViruneHostParameters[1] extends (...args: never[]) => infer TResult ? TResult : never;',
+        '__viruneRequireSafe<__ViruneBodyResult>(true);',
+        'const __viruneBodyResultProbe: __ViruneBodyResult = <__ViruneProbeComponent />;',
+        'void __viruneBodyResultProbe;',
+        'type __ViruneSnapshotResult = __ViruneHostParameters[0] extends (...args: never[]) => infer TResult ? TResult : never;',
+        '__viruneRequireSafe<__ViruneSnapshotResult>(true);',
+        'type __ViruneSnapshotEntry = __ViruneSnapshotResult extends readonly (infer TEntry)[] ? TEntry : never;',
+        'type __ViruneSnapshotId = __ViruneSnapshotEntry extends { id: infer TId } ? TId : never;',
+        'type __ViruneSnapshotIndex = __ViruneSnapshotEntry extends { index: infer TIndex } ? TIndex : never;',
+        '__viruneRequireSafe<__ViruneSnapshotId>(true);',
+        '__viruneRequireSafe<__ViruneSnapshotIndex>(true);',
+        'declare const __viruneSnapshotId: __ViruneSnapshotId;',
+        'declare const __viruneSnapshotIndex: __ViruneSnapshotIndex;',
+        'declare const __viruneStringIdentity: string;',
+        'declare const __viruneNumberIndex: number;',
+        'const __viruneSnapshotIdAsString: string = __viruneSnapshotId;',
+        'const __viruneStringAsSnapshotId: __ViruneSnapshotId = __viruneStringIdentity;',
+        'const __viruneSnapshotIndexAsNumber: number = __viruneSnapshotIndex;',
+        'const __viruneNumberAsSnapshotIndex: __ViruneSnapshotIndex = __viruneNumberIndex;',
+        'void __viruneSnapshotIdAsString; void __viruneStringAsSnapshotId; void __viruneSnapshotIndexAsNumber; void __viruneNumberAsSnapshotIndex;',
+        'function __viruneRequireGenericHost<T>(__viruneValue: T, __viruneIndex: number, __viruneSnapshotIdentity: string): void {',
+        '  const __viruneSnapshot: readonly { id: string; index: number; value: T }[] = [{ id: __viruneSnapshotIdentity, index: __viruneIndex, value: __viruneValue }];',
+        '  const __viruneGenericResult = __viruneRepetitionHost(',
+        '    () => __viruneSnapshot,',
+        '    (__viruneReadValue, __viruneReadIndex, __viruneGroupIdentity) => {',
+        '      const __viruneRoundTripValue: T = __viruneReadValue();',
+        '      const __viruneValueRoundTrip: ReturnType<typeof __viruneReadValue> = __viruneValue;',
+        '      const __viruneRoundTripIndex: number = __viruneReadIndex();',
+        '      const __viruneIndexRoundTrip: ReturnType<typeof __viruneReadIndex> = __viruneIndex;',
+        '      const __viruneRoundTripId: string = __viruneGroupIdentity;',
+        '      const __viruneIdRoundTrip: typeof __viruneGroupIdentity = __viruneSnapshotIdentity;',
+        '      void __viruneRoundTripValue; void __viruneValueRoundTrip; void __viruneRoundTripIndex; void __viruneIndexRoundTrip; void __viruneRoundTripId; void __viruneIdRoundTrip;',
+        '      return <__ViruneProbeComponent />;',
+        '    },',
+        '  );',
+        '  void __viruneGenericResult;',
+        '}',
+        '__viruneRequireGenericHost({ marker: "virune-generic-probe" }, 0, "s:virune-generic-probe");',
+        'const __viruneRepetitionHostResult = __viruneRepetitionHost(',
+        '  () => [{ id: "s:virune-probe", index: 0, value: { marker: "virune-probe" } }],',
+        '  (__viruneReadValue, __viruneReadIndex, __viruneIdentity) => {',
+        '    __viruneRequireSafe<typeof __viruneReadValue>(true);',
+        '    __viruneRequireSafe<ReturnType<typeof __viruneReadValue>>(true);',
+        '    __viruneRequireSafe<typeof __viruneReadIndex>(true);',
+        '    __viruneRequireSafe<ReturnType<typeof __viruneReadIndex>>(true);',
+        '    __viruneRequireSafe<typeof __viruneIdentity>(true);',
+        '    const __viruneMarker: string = __viruneReadValue().marker;',
+        '    const __viruneIndex: number = __viruneReadIndex();',
+        '    const __viruneId: string = __viruneIdentity;',
+        '    void __viruneMarker; void __viruneIndex; void __viruneId;',
+        '    return <__ViruneProbeComponent />;',
+        '  },',
+        ');',
+        '__viruneRequireSafe<typeof __viruneRepetitionHostResult>(true);',
+        'const __viruneHostResultAsBody: __ViruneBodyResult = __viruneRepetitionHostResult;',
+        'void __viruneHostResultAsBody; void __viruneRepetitionHostResult;',
+    ].join('\n');
+    try {
+        return resolver.call(provider, {
+            containingFile: options.containingFile,
+            platform: options.platform,
+            sourceText,
+        })?.accepted === true;
+    }
+    catch {
+        return false;
+    }
+}
+//# sourceMappingURL=repetition-host-usage-validation.js.map

package/dist/src/interop/repetition-host-usage-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repetition-host-usage-validation.js","sourceRoot":"","sources":["../../../src/interop/repetition-host-usage-validation.ts"],"names":[],"mappings":"AAUA,MAAM,UAAU,qCAAqC,CAAC,OAA6C;IAClG,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAC3C,MAAM,QAAQ,GAAG,QAAQ,EAAE,eAAe,CAAC;IAC3C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACnE,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAChE,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG;QAClB,iDAAiD,eAAe,GAAG;QACnE,+DAA+D,UAAU,IAAI;QAC7E,+DAA+D;QAC/D,2DAA2D;QAC3D,6IAA6I;QAC7I,4JAA4J;QAC5J,mEAAmE;QACnE,mDAAmD;QACnD,2DAA2D;QAC3D,0EAA0E;QAC1E,uDAAuD;QACvD,uDAAuD;QACvD,oHAAoH;QACpH,gDAAgD;QAChD,iFAAiF;QACjF,+BAA+B;QAC/B,wHAAwH;QACxH,oDAAoD;QACpD,yGAAyG;QACzG,0FAA0F;QAC1F,sGAAsG;QACtG,gDAAgD;QAChD,mDAAmD;QACnD,uDAAuD;QACvD,6DAA6D;QAC7D,+CAA+C;QAC/C,4CAA4C;QAC5C,gEAAgE;QAChE,gFAAgF;QAChF,sEAAsE;QACtE,mFAAmF;QACnF,2IAA2I;QAC3I,2HAA2H;QAC3H,gKAAgK;QAChK,yDAAyD;QACzD,6BAA6B;QAC7B,wEAAwE;QACxE,8DAA8D;QAC9D,2FAA2F;QAC3F,mEAAmE;QACnE,2FAA2F;QAC3F,kEAAkE;QAClE,2FAA2F;QAC3F,+KAA+K;QAC/K,0CAA0C;QAC1C,QAAQ;QACR,MAAM;QACN,+BAA+B;QAC/B,GAAG;QACH,8FAA8F;QAC9F,8DAA8D;QAC9D,kFAAkF;QAClF,iEAAiE;QACjE,0DAA0D;QAC1D,sEAAsE;QACtE,0DAA0D;QAC1D,sEAAsE;QACtE,yDAAyD;QACzD,gEAAgE;QAChE,wDAAwD;QACxD,kDAAkD;QAClD,+DAA+D;QAC/D,wCAAwC;QACxC,MAAM;QACN,IAAI;QACJ,iEAAiE;QACjE,oFAAoF;QACpF,mEAAmE;KACnE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,IAAI,CAAC;QACJ,OAAO,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE;YAC9B,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,UAAU;SACV,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAC;IACvB,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,KAAK,CAAC;IACd,CAAC;AACF,CAAC"}

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

@@ -0,0 +1,365 @@
+import type { NodeId, SourceSpan, TypeId } from '../source.js';
+export type ForeignPrimitiveKind = 'boolean' | 'string' | 'number' | 'bigint' | 'void' | 'undefined' | 'null';
+export type NativeCallablePrimitiveKind = 'Bool' | 'Int' | 'Float' | 'BigInt' | 'String' | 'Unit';
+export type ContextualCallablePrimitiveKind = 'boolean' | 'string' | 'number' | 'bigint' | 'undefined';
+export type CanonicalForeignTypeIdentity = 'ecmascript:Promise';
+/** Opaque reference whose lifetime is limited to one provider generation. */
+export interface ForeignTypeRef {
+    readonly providerId: string;
+    readonly generation: number;
+    readonly id: string;
+}
+/** Ephemeral editor metadata. Providers must not serialize this into stable semantic evidence. */
+export interface ForeignTypeNavigation {
+    readonly declarationPath: string;
+}
+export interface ForeignTypeSnapshot {
+    readonly ref: ForeignTypeRef;
+    readonly display: string;
+    readonly category: 'primitive' | 'literal' | 'object' | 'function' | 'constructor' | 'promise' | 'array' | 'tuple' | 'union' | 'unknown' | 'any';
+    readonly primitive?: ForeignPrimitiveKind;
+    readonly mustUse?: boolean;
+    readonly canonicalIdentity?: CanonicalForeignTypeIdentity;
+    readonly origin?: ForeignOrigin;
+    readonly navigation?: ForeignTypeNavigation;
+}
+export interface ForeignOrigin {
+    readonly moduleSpecifier: string;
+    readonly packageName?: string;
+    readonly packageVersion?: string;
+    readonly declarationPath?: string;
+    readonly exportName?: string;
+}
+export type JsImportKind = 'named' | 'default' | 'namespace' | 'side-effect' | 'type-only';
+export interface JsImportRequest {
+    readonly containingFile: string;
+    readonly moduleSpecifier: string;
+    readonly kind: JsImportKind;
+    readonly importedName?: string;
+    readonly platform: 'node' | 'browser' | 'neutral';
+}
+export interface JsImportResolution {
+    readonly type?: ForeignTypeSnapshot;
+    readonly runtime: RuntimeImportPlan;
+    readonly witness: ModuleResolutionWitness;
+}
+export type RuntimeImportPlan = {
+    readonly kind: 'named';
+    readonly importedName: string;
+} | {
+    readonly kind: 'default';
+} | {
+    readonly kind: 'namespace';
+} | {
+    readonly kind: 'side-effect';
+} | {
+    readonly kind: 'type-only';
+};
+export interface ModuleResolutionWitness {
+    readonly moduleSpecifier: string;
+    /** Runtime package selected by the target loader. */
+    readonly packageName?: string;
+    readonly packageVersion?: string;
+    /** Declaration package when types are supplied separately, for example @types/lodash. */
+    readonly declarationPackageName?: string;
+    readonly declarationPackageVersion?: string;
+    readonly declarationEntry?: string;
+    readonly runtimeEntry?: string;
+    readonly runtimeFormat?: 'esm' | 'commonjs' | 'builtin' | 'bundler' | 'unknown';
+    readonly conditions: readonly string[];
+    readonly platform: 'node' | 'browser' | 'neutral';
+    readonly providerVersion: string;
+    readonly declarationGraphHash?: string;
+    readonly packageJsonHash?: string;
+    readonly declarationPackageJsonHash?: string;
+}
+export type InteropLiteralValue = {
+    readonly kind: 'String';
+    readonly value: string;
+} | {
+    readonly kind: 'Bool';
+    readonly value: boolean;
+} | {
+    readonly kind: 'Int' | 'Float';
+    readonly value: number;
+} | {
+    readonly kind: 'BigInt';
+    readonly value: string;
+};
+/** Provider-facing native callable template. Compiler-owned effects and provenance are intentionally excluded. */
+export interface NativeCallableTypeTemplate {
+    readonly parameters: readonly (NativeCallablePrimitiveKind | {
+        readonly kind: 'foreign';
+        readonly type: ForeignTypeRef;
+    })[];
+    readonly result: NativeCallablePrimitiveKind | {
+        readonly kind: 'foreign';
+        readonly type: ForeignTypeRef;
+    } | {
+        readonly kind: 'callable';
+        readonly callable: {
+            readonly parameters: readonly NativeCallablePrimitiveKind[];
+            readonly result: NativeCallablePrimitiveKind;
+            readonly async: false;
+        };
+    } | 'Never';
+    readonly async: boolean;
+}
+export interface InteropObjectEntryUsage {
+    readonly property: string;
+    readonly value: InteropArgumentType;
+}
+export interface InteropObjectUsage {
+    readonly entries: readonly InteropObjectEntryUsage[];
+}
+export interface InteropJsxPropertyUsage {
+    readonly property: string;
+    readonly value: InteropArgumentType;
+}
+export interface InteropJsxCallbackUsage {
+    readonly properties: readonly InteropJsxPropertyUsage[];
+    readonly callbackIndex: number;
+    readonly parameterCount: number;
+    readonly async: boolean;
+}
+export interface ForeignJsxCallbackResolution {
+    readonly parameters: readonly ForeignTypeSnapshot[];
+}
+export type InteropArgumentType = {
+    readonly kind: 'foreign';
+    readonly type: ForeignTypeRef;
+} | {
+    readonly kind: 'native-primitive';
+    readonly primitive: NativeCallablePrimitiveKind;
+    readonly literal?: InteropLiteralValue;
+} | {
+    readonly kind: 'native-callable';
+    readonly callable: NativeCallableTypeTemplate;
+} | {
+    readonly kind: 'contextual-callable';
+    readonly parameterCount: number;
+    readonly async: boolean;
+} | {
+    readonly kind: 'contextual-object';
+    readonly object: InteropObjectUsage;
+} | {
+    readonly kind: 'unknown';
+};
+export type InteropCallTarget = {
+    readonly kind: 'value';
+} | {
+    readonly kind: 'member';
+    readonly receiver: ForeignTypeRef;
+    readonly property: string;
+} | {
+    readonly kind: 'indexed-member';
+    readonly receiver: ForeignTypeRef;
+    readonly index: InteropArgumentType;
+};
+export interface InteropCallUsage {
+    readonly target: InteropCallTarget;
+    readonly arguments: readonly InteropArgumentType[];
+}
+export interface InteropIndexUsage {
+    readonly index: InteropArgumentType;
+}
+export type InteropWriteUsage = {
+    readonly kind: 'property';
+    readonly property: string;
+    readonly value: InteropArgumentType;
+} | {
+    readonly kind: 'index';
+    readonly index: InteropArgumentType;
+    readonly value: InteropArgumentType;
+};
+export type ContextualCallableResult = {
+    readonly kind: 'void';
+} | {
+    readonly kind: 'value';
+    readonly value: ContextualCallablePrimitiveKind;
+} | {
+    readonly kind: 'promise';
+    readonly value: ContextualCallablePrimitiveKind | 'void';
+} | {
+    readonly kind: 'callable';
+    readonly callable: {
+        readonly parameters: readonly ContextualCallablePrimitiveKind[];
+        readonly result: {
+            readonly kind: 'void';
+        } | {
+            readonly kind: 'value';
+            readonly value: ContextualCallablePrimitiveKind;
+        };
+    };
+} | {
+    readonly kind: 'external';
+} | {
+    readonly kind: 'deferred';
+};
+/** Selected TypeScript callback facts for one native-callable argument or contextual object entry. */
+export interface InteropCallableArgumentResolution {
+    readonly index: number;
+    readonly target: {
+        readonly parameters: readonly (ContextualCallablePrimitiveKind | ForeignTypeSnapshot)[];
+        readonly result: ContextualCallableResult;
+    };
+}
+export interface ForeignObjectEntryResolution {
+    readonly index: number;
+    readonly property: string;
+    readonly callable?: InteropCallableArgumentResolution['target'];
+    readonly object?: ForeignObjectResolution;
+}
+/** Whole-object contextual proof from one fixed provider snapshot. Entries retain source order. */
+export interface ForeignObjectResolution {
+    readonly result: ForeignTypeSnapshot;
+    readonly entries: readonly ForeignObjectEntryResolution[];
+}
+export interface InteropObjectArgumentResolution {
+    readonly index: number;
+    readonly object: ForeignObjectResolution;
+}
+export interface ForeignCallResolution {
+    readonly result: ForeignTypeSnapshot;
+    readonly parameterCount: number;
+    readonly optionalParameterCount: number;
+    readonly minimumArgumentCount?: number;
+    readonly rest: boolean;
+    readonly mayReject: boolean;
+    readonly receiverMode: 'none' | 'preserve-this';
+    readonly callableArguments?: readonly InteropCallableArgumentResolution[];
+    readonly contextualCallableArguments?: readonly InteropCallableArgumentResolution[];
+    readonly objectArguments?: readonly InteropObjectArgumentResolution[];
+}
+export interface ForeignIndexResolution {
+    readonly result: ForeignTypeSnapshot;
+}
+export interface ForeignWriteResolution {
+    readonly accepted: true;
+    readonly objectValue?: ForeignObjectResolution;
+}
+export interface JsInteropProvider {
+    readonly id: string;
+    readonly version: string;
+    readonly generation: number;
+    resolveImport(request: JsImportRequest): JsImportResolution;
+    getProperty(type: ForeignTypeRef, name: string): ForeignTypeSnapshot | undefined;
+    /** Whole-usage resolver. When implemented, callers must not fall back to resolveCall after it returns undefined. */
+    resolveCallUsage?(type: ForeignTypeRef, usage: InteropCallUsage): ForeignCallResolution | undefined;
+    /** Whole-usage construct resolver. A call-like source is constructable only when call usage is not also valid. */
+    resolveConstructUsage?(type: ForeignTypeRef, usage: InteropCallUsage): ForeignCallResolution | undefined;
+    /** Whole-usage index resolver. Unknown/unsupported receiver or key evidence must return undefined. */
+    resolveIndexUsage?(type: ForeignTypeRef, usage: InteropIndexUsage): ForeignIndexResolution | undefined;
+    /** Declared element resolver for a proven Array or ReadonlyArray repetition source. */
+    resolveArrayElement?(type: ForeignTypeRef): ForeignTypeSnapshot | undefined;
+    /** Whole-usage writable-facet resolver. Unknown/readonly/inaccessible evidence must return undefined. */
+    resolveWriteUsage?(type: ForeignTypeRef, usage: InteropWriteUsage): ForeignWriteResolution | undefined;
+    /** Contextual object resolver for an already-known External expected type. */
+    resolveObjectUsage?(type: ForeignTypeRef, usage: InteropObjectUsage): ForeignObjectResolution | undefined;
+    /** Contextual callback parameter resolver for one actual External JSX property usage. */
+    resolveJsxCallbackUsage?(type: ForeignTypeRef, usage: InteropJsxCallbackUsage): ForeignJsxCallbackResolution | undefined;
+    /** Whole generated TSX usage resolver. Any syntactic, semantic, or JSX-environment uncertainty must fail closed. */
+    resolveJsxUsage?(usage: {
+        readonly containingFile: string;
+        readonly platform: JsImportRequest['platform'];
+        readonly sourceText: string;
+    }): {
+        readonly accepted: true;
+    } | undefined;
+    resolveCall(type: ForeignTypeRef, argumentsList: readonly InteropArgumentType[]): ForeignCallResolution | undefined;
+    resolveConstruct(type: ForeignTypeRef, argumentsList: readonly InteropArgumentType[]): ForeignCallResolution | undefined;
+    getAwaitedType(type: ForeignTypeRef): ForeignTypeSnapshot | undefined;
+    display(type: ForeignTypeRef): string;
+}
+export type PrimitiveBridgeKind = 'string' | 'bool' | 'float' | 'bigint' | 'unit' | 'unknown';
+export interface PrimitiveBridgePlan {
+    readonly kind: 'primitive';
+    readonly bridge: PrimitiveBridgeKind;
+    readonly targetType: TypeId;
+}
+/** Stable compiler-owned description of one generated native-to-JavaScript callable boundary. */
+interface NativeCallableBoundaryDescriptorV1 {
+    readonly version: 'virune-callable-shim/v1';
+    readonly parameters: readonly NativeCallablePrimitiveKind[];
+    readonly result: NativeCallablePrimitiveKind;
+    readonly async: boolean;
+    readonly effects: readonly string[];
+    readonly contextMode: 'root-argument';
+}
+interface NativeCallableBoundaryDescriptorV2 {
+    readonly version: 'virune-callable-shim/v2';
+    readonly parameters: readonly 'External'[];
+    readonly result: 'External' | 'Never';
+    readonly async: boolean;
+    readonly effects: readonly string[];
+    readonly contextMode: 'root-argument';
+}
+interface NativeCallableBoundaryDescriptorV3 {
+    readonly version: 'virune-callable-shim/v3';
+    readonly parameters: readonly NativeCallablePrimitiveKind[];
+    readonly result: NativeCallableBoundaryDescriptorV1;
+    readonly async: false;
+    readonly effects: readonly string[];
+    readonly contextMode: 'root-argument';
+}
+export type NativeCallableBoundaryDescriptor = NativeCallableBoundaryDescriptorV1 | NativeCallableBoundaryDescriptorV2 | NativeCallableBoundaryDescriptorV3;
+/** Ordering evidence for a callable projection performed while evaluating a JavaScript call argument. */
+export interface CallableProjectionEvidence {
+    readonly callNodeId: NodeId;
+    readonly argumentIndex: number;
+    readonly nodeId: NodeId;
+    readonly span: SourceSpan;
+    readonly beforeUsageIndex: number;
+    readonly descriptor: NativeCallableBoundaryDescriptor;
+}
+/** Ordering evidence for a callable projection performed while evaluating a contextual External object entry. */
+export interface ObjectCallableProjectionEvidence {
+    readonly objectNodeId: NodeId;
+    readonly entryIndex: number;
+    readonly property: string;
+    readonly beforeUsageIndex: number;
+    readonly descriptor: NativeCallableBoundaryDescriptor;
+}
+export interface ForeignUsage {
+    readonly kind: 'import' | 'property' | 'index' | 'write-property' | 'write-index' | 'object' | 'call' | 'construct' | 'await' | 'bridge';
+    readonly nodeId: NodeId;
+    readonly span: SourceSpan;
+    readonly foreignType: ForeignTypeSnapshot;
+    readonly runtimeImport?: RuntimeImportPlan;
+    readonly moduleWitness?: ModuleResolutionWitness;
+    readonly receiverMode?: 'none' | 'preserve-this';
+    readonly mayReject?: boolean;
+    readonly property?: string;
+    readonly bridge?: PrimitiveBridgePlan;
+}
+export interface StableForeignTypeSnapshot {
+    readonly display: string;
+    readonly category: ForeignTypeSnapshot['category'];
+    readonly primitive?: ForeignPrimitiveKind;
+    readonly mustUse?: boolean;
+    readonly canonicalIdentity?: CanonicalForeignTypeIdentity;
+    readonly origin?: ForeignOrigin;
+}
+export interface ForeignUsageIR {
+    readonly kind: ForeignUsage['kind'];
+    readonly nodeId: NodeId;
+    readonly span: SourceSpan;
+    readonly foreignType: StableForeignTypeSnapshot;
+    readonly runtimeImport?: RuntimeImportPlan;
+    readonly moduleWitness?: ModuleResolutionWitness;
+    readonly receiverMode?: 'none' | 'preserve-this';
+    readonly mayReject?: boolean;
+    readonly property?: string;
+    readonly bridge?: PrimitiveBridgePlan;
+}
+export interface InteropSemanticModel {
+    readonly usages: readonly ForeignUsage[];
+    /** Serializable provider-independent records consumed by downstream tools. */
+    readonly usageIR: readonly ForeignUsageIR[];
+    readonly callableProjections?: readonly CallableProjectionEvidence[];
+    readonly objectCallableProjections?: readonly ObjectCallableProjectionEvidence[];
+    readonly moduleWitnesses: readonly ModuleResolutionWitness[];
+    readonly requiresJavaScriptInitialization: boolean;
+}
+export {};
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/interop/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAE/D,MAAM,MAAM,oBAAoB,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,WAAW,GAAG,MAAM,CAAC;AAC9G,MAAM,MAAM,2BAA2B,GAAG,MAAM,GAAG,KAAK,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;AAClG,MAAM,MAAM,+BAA+B,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,CAAC;AACvG,MAAM,MAAM,4BAA4B,GAAG,oBAAoB,CAAC;AAEhE,6EAA6E;AAC7E,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACpB;AAED,kGAAkG;AAClG,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,WAAW,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,GAAG,aAAa,GAAG,SAAS,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,SAAS,GAAG,KAAK,CAAC;IACjJ,QAAQ,CAAC,SAAS,CAAC,EAAE,oBAAoB,CAAC;IAC1C,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,4BAA4B,CAAC;IAC1D,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,UAAU,CAAC,EAAE,qBAAqB,CAAC;CAC5C;AAED,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,SAAS,GAAG,WAAW,GAAG,aAAa,GAAG,WAAW,CAAC;AAE3F,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;CAClD;AAED,MAAM,WAAW,kBAAkB;IAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,mBAAmB,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,uBAAuB,CAAC;CAC1C;AAED,MAAM,MAAM,iBAAiB,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAAE,GAC9B;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;CAAE,GAChC;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC;AAElC,MAAM,WAAW,uBAAuB;IACvC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,qDAAqD;IACrD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,yFAAyF;IACzF,QAAQ,CAAC,sBAAsB,CAAC,EAAE,MAAM,CAAC;IACzC,QAAQ,CAAC,yBAAyB,CAAC,EAAE,MAAM,CAAC;IAC5C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,CAAC,EAAE,KAAK,GAAG,UAAU,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,CAAC;IAChF,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,0BAA0B,CAAC,EAAE,MAAM,CAAC;CAC7C;AAED,MAAM,MAAM,mBAAmB,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD,kHAAkH;AAClH,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,2BAA2B,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;KAAE,CAAC,EAAE,CAAC;IAC5H,QAAQ,CAAC,MAAM,EAAE,2BAA2B,GACzC;QAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;KAAE,GAC3D;QACD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;QAC1B,QAAQ,CAAC,QAAQ,EAAE;YAClB,QAAQ,CAAC,UAAU,EAAE,SAAS,2BAA2B,EAAE,CAAC;YAC5D,QAAQ,CAAC,MAAM,EAAE,2BAA2B,CAAC;YAC7C,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;SACtB,CAAC;KACF,GACC,OAAO,CAAC;IACX,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,uBAAuB;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;CACpC;AAED,MAAM,WAAW,kBAAkB;IAClC,QAAQ,CAAC,OAAO,EAAE,SAAS,uBAAuB,EAAE,CAAC;CACrD;AAED,MAAM,WAAW,uBAAuB;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;CACpC;AAED,MAAM,WAAW,uBAAuB;IACvC,QAAQ,CAAC,UAAU,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACxD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,4BAA4B;IAC5C,QAAQ,CAAC,UAAU,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACpD;AAED,MAAM,MAAM,mBAAmB,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;CAAE,GAC3D;IAAE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,2BAA2B,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,mBAAmB,CAAA;CAAE,GAC9H;IAAE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,0BAA0B,CAAA;CAAE,GACnF;IAAE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAClG;IAAE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAEhC,MAAM,MAAM,iBAAiB,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GACzF;IAAE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAA;CAAE,CAAC;AAE/G,MAAM,WAAW,gBAAgB;IAChC,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACnD;AAED,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;CACpC;AAED,MAAM,MAAM,iBAAiB,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAA;CAAE,GAC7F;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAA;CAAE,CAAC;AAExG,MAAM,MAAM,wBAAwB,GACjC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,+BAA+B,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,+BAA+B,GAAG,MAAM,CAAA;CAAE,GACtF;IACD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE;QAClB,QAAQ,CAAC,UAAU,EAAE,SAAS,+BAA+B,EAAE,CAAC;QAChE,QAAQ,CAAC,MAAM,EACZ;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,GACzB;YAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;YAAC,QAAQ,CAAC,KAAK,EAAE,+BAA+B,CAAA;SAAE,CAAC;KAC/E,CAAC;CACF,GACC;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AAEjC,sGAAsG;AACtG,MAAM,WAAW,iCAAiC;IACjD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE;QAChB,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,+BAA+B,GAAG,mBAAmB,CAAC,EAAE,CAAC;QACxF,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC;KAC1C,CAAC;CACF;AAED,MAAM,WAAW,4BAA4B;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,iCAAiC,CAAC,QAAQ,CAAC,CAAC;IAChE,QAAQ,CAAC,MAAM,CAAC,EAAE,uBAAuB,CAAC;CAC1C;AAED,mGAAmG;AACnG,MAAM,WAAW,uBAAuB;IACvC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,4BAA4B,EAAE,CAAC;CAC1D;AAED,MAAM,WAAW,+BAA+B;IAC/C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;CACzC;AAED,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,eAAe,CAAC;IAChD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,iCAAiC,EAAE,CAAC;IAC1E,QAAQ,CAAC,2BAA2B,CAAC,EAAE,SAAS,iCAAiC,EAAE,CAAC;IACpF,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,+BAA+B,EAAE,CAAC;CACtE;AAED,MAAM,WAAW,sBAAsB;IACtC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;CACrC;AAED,MAAM,WAAW,sBAAsB;IACtC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,uBAAuB,CAAC;CAC/C;AAED,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,aAAa,CAAC,OAAO,EAAE,eAAe,GAAG,kBAAkB,CAAC;IAC5D,WAAW,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,GAAG,mBAAmB,GAAG,SAAS,CAAC;IACjF,oHAAoH;IACpH,gBAAgB,CAAC,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,gBAAgB,GAAG,qBAAqB,GAAG,SAAS,CAAC;IACpG,kHAAkH;IAClH,qBAAqB,CAAC,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,gBAAgB,GAAG,qBAAqB,GAAG,SAAS,CAAC;IACzG,sGAAsG;IACtG,iBAAiB,CAAC,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,iBAAiB,GAAG,sBAAsB,GAAG,SAAS,CAAC;IACvG,uFAAuF;IACvF,mBAAmB,CAAC,CAAC,IAAI,EAAE,cAAc,GAAG,mBAAmB,GAAG,SAAS,CAAC;IAC5E,yGAAyG;IACzG,iBAAiB,CAAC,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,iBAAiB,GAAG,sBAAsB,GAAG,SAAS,CAAC;IACvG,8EAA8E;IAC9E,kBAAkB,CAAC,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,kBAAkB,GAAG,uBAAuB,GAAG,SAAS,CAAC;IAC1G,yFAAyF;IACzF,uBAAuB,CAAC,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,uBAAuB,GAAG,4BAA4B,GAAG,SAAS,CAAC;IACzH,oHAAoH;IACpH,eAAe,CAAC,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC;QAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;KAAE,GAAG;QAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAA;KAAE,GAAG,SAAS,CAAC;IACnL,WAAW,CAAC,IAAI,EAAE,cAAc,EAAE,aAAa,EAAE,SAAS,mBAAmB,EAAE,GAAG,qBAAqB,GAAG,SAAS,CAAC;IACpH,gBAAgB,CAAC,IAAI,EAAE,cAAc,EAAE,aAAa,EAAE,SAAS,mBAAmB,EAAE,GAAG,qBAAqB,GAAG,SAAS,CAAC;IACzH,cAAc,CAAC,IAAI,EAAE,cAAc,GAAG,mBAAmB,GAAG,SAAS,CAAC;IACtE,OAAO,CAAC,IAAI,EAAE,cAAc,GAAG,MAAM,CAAC;CACtC;AAED,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,GAAG,QAAQ,GAAG,MAAM,GAAG,SAAS,CAAC;AAE9F,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC5B;AAED,iGAAiG;AACjG,UAAU,kCAAkC;IAC3C,QAAQ,CAAC,OAAO,EAAE,yBAAyB,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,SAAS,2BAA2B,EAAE,CAAC;IAC5D,QAAQ,CAAC,MAAM,EAAE,2BAA2B,CAAC;IAC7C,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC;CACtC;AAED,UAAU,kCAAkC;IAC3C,QAAQ,CAAC,OAAO,EAAE,yBAAyB,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,SAAS,UAAU,EAAE,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC;CACtC;AAED,UAAU,kCAAkC;IAC3C,QAAQ,CAAC,OAAO,EAAE,yBAAyB,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,SAAS,2BAA2B,EAAE,CAAC;IAC5D,QAAQ,CAAC,MAAM,EAAE,kCAAkC,CAAC;IACpD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC;CACtC;AAED,MAAM,MAAM,gCAAgC,GAAG,kCAAkC,GAAG,kCAAkC,GAAG,kCAAkC,CAAC;AAE5J,yGAAyG;AACzG,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,gCAAgC,CAAC;CACtD;AAED,iHAAiH;AACjH,MAAM,WAAW,gCAAgC;IAChD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,gCAAgC,CAAC;CACtD;AAED,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,UAAU,GAAG,OAAO,GAAG,gBAAgB,GAAG,aAAa,GAAG,QAAQ,GAAG,MAAM,GAAG,WAAW,GAAG,OAAO,GAAG,QAAQ,CAAC;IACzI,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAC3C,QAAQ,CAAC,aAAa,CAAC,EAAE,uBAAuB,CAAC;IACjD,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,eAAe,CAAC;IACjD,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,mBAAmB,CAAC;CACtC;AAED,MAAM,WAAW,yBAAyB;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC,UAAU,CAAC,CAAC;IACnD,QAAQ,CAAC,SAAS,CAAC,EAAE,oBAAoB,CAAC;IAC1C,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,4BAA4B,CAAC;IAC1D,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC;CAChC;AAED,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,yBAAyB,CAAC;IAChD,QAAQ,CAAC,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAC3C,QAAQ,CAAC,aAAa,CAAC,EAAE,uBAAuB,CAAC;IACjD,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,eAAe,CAAC;IACjD,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,mBAAmB,CAAC;CACtC;AAED,MAAM,WAAW,oBAAoB;IACpC,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,0BAA0B,EAAE,CAAC;IACrE,QAAQ,CAAC,yBAAyB,CAAC,EAAE,SAAS,gCAAgC,EAAE,CAAC;IACjF,QAAQ,CAAC,eAAe,EAAE,SAAS,uBAAuB,EAAE,CAAC;IAC7D,QAAQ,CAAC,gCAAgC,EAAE,OAAO,CAAC;CACnD"}

package/dist/src/interop/types.js

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

package/dist/src/interop/types.js.map

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

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

@@ -0,0 +1,4 @@
+import type * as A from '../ast/nodes.js';
+import type { MirFunction } from './nodes.js';
+export declare function lowerFunctionToMir(declaration: A.FunctionDeclaration): MirFunction | undefined;
+//# sourceMappingURL=lower.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lower.d.ts","sourceRoot":"","sources":["../../../src/mir/lower.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,CAAC,MAAM,iBAAiB,CAAC;AAC1C,OAAO,KAAK,EAA6B,WAAW,EAAiC,MAAM,YAAY,CAAC;AAiIxG,wBAAgB,kBAAkB,CAAC,WAAW,EAAE,CAAC,CAAC,mBAAmB,GAAG,WAAW,GAAG,SAAS,CAE9F"}