@virune/compiler 1.1.0-rc.0

package/dist/src/selfhost/full-language-inventory.js

@@ -0,0 +1,163 @@
+function compareText(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
+function isCanonical(values, key) {
+    let previous = null;
+    for (const value of values) {
+        const current = key(value);
+        if (previous !== null && current < previous)
+            return false;
+        previous = current;
+    }
+    return true;
+}
+function diagnosticPositionKey(diagnostic) {
+    return [
+        diagnostic.span.start.offset.toString().padStart(12, '0'),
+        diagnostic.span.end.offset.toString().padStart(12, '0'),
+        diagnostic.code,
+        diagnostic.message,
+    ].join('\0');
+}
+function inventoryStatus(result) {
+    return result.accepted && result.diagnostics.length === 0 ? 'ready' : 'incomplete';
+}
+function boundaryBlockers(sourcePaths, result, capability, status) {
+    const blockers = [];
+    const sourcePathSet = new Set(sourcePaths);
+    const parsedModules = result.stats.parsedModules + result.stats.reusedParsedModules;
+    const checkedModules = result.stats.checkedModules + result.stats.reusedCheckedModules;
+    if (sourcePathSet.size !== sourcePaths.length)
+        blockers.push('duplicate-source-path');
+    if (parsedModules !== sourcePaths.length)
+        blockers.push('parsed-module-coverage-mismatch');
+    if (checkedModules !== sourcePaths.length)
+        blockers.push('checked-module-coverage-mismatch');
+    if (result.stats.emittedModules !== result.emittedModules.length) {
+        blockers.push('emitted-module-count-mismatch');
+    }
+    if (result.diagnostics.some(item => item.sourcePath !== null && !sourcePathSet.has(item.sourcePath))) {
+        blockers.push('diagnostic-references-unknown-source');
+    }
+    if (!isCanonical(result.dependencies, item => `${item.modulePath}\0${item.sourceKind}\0${item.specifier}`)) {
+        blockers.push('non-canonical-dependency-metadata');
+    }
+    if (!isCanonical(result.exportedSymbols, item => `${item.modulePath}\0${item.name}\0${item.declarationKind}`)) {
+        blockers.push('non-canonical-export-metadata');
+    }
+    if (!isCanonical(capability.blockers, value => value)) {
+        blockers.push('non-canonical-capability-blockers');
+    }
+    if (new Set(capability.blockers).size !== capability.blockers.length) {
+        blockers.push('duplicate-capability-blocker');
+    }
+    if (result.accepted && result.diagnostics.length > 0)
+        blockers.push('accepted-with-diagnostics');
+    if (!result.accepted && result.diagnostics.length === 0)
+        blockers.push('rejected-without-diagnostics');
+    if (result.diagnostics.some(item => item.code === 'SHP2001')) {
+        blockers.push('obsolete-project-linking-placeholder');
+    }
+    if (status === 'ready') {
+        if (!capability.ready)
+            blockers.push('capability-not-ready-for-ready-inventory');
+        if (capability.blockers.length > 0)
+            blockers.push('ready-capability-has-blockers');
+        if (result.emittedModules.length === 0)
+            blockers.push('ready-without-emitted-modules');
+    }
+    else {
+        if (capability.ready)
+            blockers.push('capability-ready-for-incomplete-inventory');
+    }
+    return blockers.sort(compareText);
+}
+export function inventoryFromFullLanguageResult(sourcePaths, result, capability) {
+    const groups = new Map();
+    const codeCounts = new Map();
+    const sourcesWithDiagnostics = new Set();
+    const firstDiagnosticBySource = new Map();
+    for (const diagnostic of result.diagnostics) {
+        const key = `${diagnostic.code}\u0000${diagnostic.message}`;
+        const current = groups.get(key) ?? {
+            message: diagnostic.message,
+            count: 0,
+            sourcePaths: new Set(),
+        };
+        current.count += 1;
+        codeCounts.set(diagnostic.code, (codeCounts.get(diagnostic.code) ?? 0) + 1);
+        if (diagnostic.sourcePath !== null) {
+            current.sourcePaths.add(diagnostic.sourcePath);
+            sourcesWithDiagnostics.add(diagnostic.sourcePath);
+            const previous = firstDiagnosticBySource.get(diagnostic.sourcePath);
+            if (previous === undefined || diagnosticPositionKey(diagnostic) < diagnosticPositionKey(previous)) {
+                firstDiagnosticBySource.set(diagnostic.sourcePath, diagnostic);
+            }
+        }
+        groups.set(key, current);
+    }
+    const entries = [...groups.entries()]
+        .map(([key, value]) => ({
+        code: key.slice(0, key.indexOf('\u0000')),
+        message: value.message,
+        count: value.count,
+        sourcePaths: [...value.sourcePaths].sort(compareText),
+    }))
+        .sort((left, right) => compareText(left.code, right.code) || compareText(left.message, right.message));
+    const sortedSourcesWithDiagnostics = [...sourcesWithDiagnostics].sort(compareText);
+    const sourcesWithoutDiagnostics = sourcePaths
+        .filter(sourcePath => !sourcesWithDiagnostics.has(sourcePath))
+        .sort(compareText);
+    const firstDiagnostics = [...firstDiagnosticBySource.entries()]
+        .sort(([left], [right]) => compareText(left, right))
+        .map(([sourcePath, diagnostic]) => ({
+        sourcePath,
+        code: diagnostic.code,
+        message: diagnostic.message,
+        span: diagnostic.span,
+    }));
+    const status = inventoryStatus(result);
+    const parsedModules = result.stats.parsedModules + result.stats.reusedParsedModules;
+    const checkedModules = result.stats.checkedModules + result.stats.reusedCheckedModules;
+    return {
+        schemaVersion: 1,
+        status,
+        capability: {
+            ready: capability.ready,
+            blockers: [...capability.blockers],
+        },
+        sourceCount: sourcePaths.length,
+        parsedModules,
+        checkedModules,
+        emittedModules: result.stats.emittedModules,
+        diagnosticCount: result.diagnostics.length,
+        diagnosticSourceCount: sortedSourcesWithDiagnostics.length,
+        sourcesWithDiagnostics: sortedSourcesWithDiagnostics,
+        sourcesWithoutDiagnostics,
+        boundaryBlockers: boundaryBlockers(sourcePaths, result, capability, status),
+        codeCounts: [...codeCounts.entries()]
+            .sort(([left], [right]) => compareText(left, right))
+            .map(([code, count]) => ({ code, count })),
+        entries,
+        firstDiagnostics,
+    };
+}
+export function serializeFullLanguageInventory(inventory) {
+    return `${JSON.stringify(inventory)}\n`;
+}
+export function formatFullLanguageInventorySummary(inventory) {
+    const codeSummary = inventory.codeCounts.length === 0
+        ? 'none'
+        : inventory.codeCounts.map(entry => `${entry.code}=${entry.count}`).join(', ');
+    return [
+        `Self-host full-language inventory: ${inventory.status.toUpperCase()}`,
+        `Sources: ${inventory.sourceCount}; parsed: ${inventory.parsedModules}; checked: ${inventory.checkedModules}; emitted: ${inventory.emittedModules}`,
+        `Diagnostics: ${inventory.diagnosticCount} across ${inventory.diagnosticSourceCount} source(s); codes: ${codeSummary}`,
+        `Boundary blockers: ${inventory.boundaryBlockers.length === 0 ? 'none' : inventory.boundaryBlockers.join(', ')}`,
+    ];
+}
+//# sourceMappingURL=full-language-inventory.js.map

package/dist/src/selfhost/full-language-inventory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"full-language-inventory.js","sourceRoot":"","sources":["../../../src/selfhost/full-language-inventory.ts"],"names":[],"mappings":"AAgDA,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC/C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACV,CAAC;AAED,SAAS,WAAW,CAAI,MAAoB,EAAE,GAAyB;IACtE,IAAI,QAAQ,GAAkB,IAAI,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,QAAQ,KAAK,IAAI,IAAI,OAAO,GAAG,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC1D,QAAQ,GAAG,OAAO,CAAC;IACpB,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,SAAS,qBAAqB,CAAC,UAAuC;IACrE,OAAO;QACN,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC;QACzD,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC;QACvD,UAAU,CAAC,IAAI;QACf,UAAU,CAAC,OAAO;KAClB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,MAA+B;IACvD,OAAO,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC;AACpF,CAAC;AAED,SAAS,gBAAgB,CACxB,WAA8B,EAC9B,MAA+B,EAC/B,UAAuC,EACvC,MAAmC;IAEnC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC;IACpF,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACvF,IAAI,aAAa,CAAC,IAAI,KAAK,WAAW,CAAC,MAAM;QAAE,QAAQ,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACtF,IAAI,aAAa,KAAK,WAAW,CAAC,MAAM;QAAE,QAAQ,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC3F,IAAI,cAAc,KAAK,WAAW,CAAC,MAAM;QAAE,QAAQ,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAC7F,IAAI,MAAM,CAAC,KAAK,CAAC,cAAc,KAAK,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC;QAClE,QAAQ,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QACtG,QAAQ,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,CAAC,WAAW,CACf,MAAM,CAAC,YAAY,EACnB,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,SAAS,EAAE,CACnE,EAAE,CAAC;QACH,QAAQ,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,CAAC,WAAW,CACf,MAAM,CAAC,eAAe,EACtB,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,eAAe,EAAE,CACnE,EAAE,CAAC;QACH,QAAQ,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,QAAQ,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QACtE,QAAQ,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACjG,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IACvG,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;QAC9D,QAAQ,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,UAAU,CAAC,KAAK;YAAE,QAAQ,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;QACjF,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QACnF,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IACxF,CAAC;SAAM,CAAC;QACP,IAAI,UAAU,CAAC,KAAK;YAAE,QAAQ,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC9C,WAA8B,EAC9B,MAA+B,EAC/B,UAAuC;IAEvC,MAAM,MAAM,GAAG,IAAI,GAAG,EAIlB,CAAC;IACL,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAAU,CAAC;IACjD,MAAM,uBAAuB,GAAG,IAAI,GAAG,EAAuC,CAAC;IAC/E,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,GAAG,UAAU,CAAC,IAAI,SAAS,UAAU,CAAC,OAAO,EAAE,CAAC;QAC5D,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI;YAClC,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,KAAK,EAAE,CAAC;YACR,WAAW,EAAE,IAAI,GAAG,EAAU;SAC9B,CAAC;QACF,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC;QACnB,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5E,IAAI,UAAU,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YACpC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAC/C,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAClD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YACpE,IAAI,QAAQ,KAAK,SAAS,IAAI,qBAAqB,CAAC,UAAU,CAAC,GAAG,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACnG,uBAAuB,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;YAChE,CAAC;QACF,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;SACnC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QACvB,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACzC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;KACrD,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IACxG,MAAM,4BAA4B,GAAG,CAAC,GAAG,sBAAsB,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACnF,MAAM,yBAAyB,GAAG,WAAW;SAC3C,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;SAC7D,IAAI,CAAC,WAAW,CAAC,CAAC;IACpB,MAAM,gBAAgB,GAAG,CAAC,GAAG,uBAAuB,CAAC,OAAO,EAAE,CAAC;SAC7D,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;SACnD,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;QACnC,UAAU;QACV,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,IAAI,EAAE,UAAU,CAAC,IAAI;KACrB,CAAC,CAAC,CAAC;IACL,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC;IACpF,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACvF,OAAO;QACN,aAAa,EAAE,CAAC;QAChB,MAAM;QACN,UAAU,EAAE;YACX,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,QAAQ,EAAE,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC;SAClC;QACD,WAAW,EAAE,WAAW,CAAC,MAAM;QAC/B,aAAa;QACb,cAAc;QACd,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,cAAc;QAC3C,eAAe,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM;QAC1C,qBAAqB,EAAE,4BAA4B,CAAC,MAAM;QAC1D,sBAAsB,EAAE,4BAA4B;QACpD,yBAAyB;QACzB,gBAAgB,EAAE,gBAAgB,CAAC,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC;QAC3E,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC;aACnC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;aACnD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAC3C,OAAO;QACP,gBAAgB;KAChB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,SAAgC;IAC9E,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,kCAAkC,CAAC,SAAgC;IAClF,MAAM,WAAW,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QACpD,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChF,OAAO;QACN,sCAAsC,SAAS,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE;QACtE,YAAY,SAAS,CAAC,WAAW,aAAa,SAAS,CAAC,aAAa,cAAc,SAAS,CAAC,cAAc,cAAc,SAAS,CAAC,cAAc,EAAE;QACnJ,gBAAgB,SAAS,CAAC,eAAe,WAAW,SAAS,CAAC,qBAAqB,sBAAsB,WAAW,EAAE;QACtH,sBAAsB,SAAS,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;KAChH,CAAC;AACH,CAAC"}

package/dist/src/selfhost/interop-resolution-witness.d.ts

@@ -0,0 +1,35 @@
+import { KERNEL_CONTRACT_VERSION, type KernelPlatform } from './contract.js';
+export declare const INTEROP_RESOLUTION_WITNESS_VERSION: 1;
+export type InteropResolutionKind = 'builtin' | 'package' | 'relative' | 'url';
+export type InteropRuntimeFormat = 'commonjs' | 'esm' | 'global' | 'side-effect';
+export interface InteropResolutionWitnessModuleV1 {
+    readonly specifier: string;
+    readonly resolutionKind: InteropResolutionKind;
+    readonly resolvedId: string;
+    readonly runtimeFormat: InteropRuntimeFormat;
+    readonly artifactSha256: string | null;
+    readonly typeSnapshotSha256: string;
+}
+export interface InteropResolutionWitnessV1 {
+    readonly version: typeof INTEROP_RESOLUTION_WITNESS_VERSION;
+    readonly contractVersion: typeof KERNEL_CONTRACT_VERSION;
+    readonly platform: KernelPlatform;
+    readonly candidateSha: string;
+    readonly sourceManifestSha256: string;
+    readonly modules: readonly InteropResolutionWitnessModuleV1[];
+}
+export interface InteropResolutionExpectation {
+    readonly contractVersion: typeof KERNEL_CONTRACT_VERSION;
+    readonly platform: KernelPlatform;
+    readonly candidateSha: string;
+    readonly sourceManifestSha256: string;
+    readonly specifiers: readonly string[];
+}
+export declare class InteropResolutionWitnessError extends Error {
+    readonly path: string;
+    readonly name = "InteropResolutionWitnessError";
+    constructor(path: string, message: string);
+}
+export declare function validateInteropResolutionWitness(value: unknown, expectation: InteropResolutionExpectation): InteropResolutionWitnessV1;
+export declare function serializeInteropResolutionWitness(witness: InteropResolutionWitnessV1): string;
+//# sourceMappingURL=interop-resolution-witness.d.ts.map

package/dist/src/selfhost/interop-resolution-witness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"interop-resolution-witness.d.ts","sourceRoot":"","sources":["../../../src/selfhost/interop-resolution-witness.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,uBAAuB,EAEvB,KAAK,cAAc,EACnB,MAAM,eAAe,CAAC;AAEvB,eAAO,MAAM,kCAAkC,EAAG,CAAU,CAAC;AAE7D,MAAM,MAAM,qBAAqB,GAAG,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,KAAK,CAAC;AAC/E,MAAM,MAAM,oBAAoB,GAAG,UAAU,GAAG,KAAK,GAAG,QAAQ,GAAG,aAAa,CAAC;AAEjF,MAAM,WAAW,gCAAgC;IAChD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,qBAAqB,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,oBAAoB,CAAC;IAC7C,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACpC;AAED,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,OAAO,EAAE,OAAO,kCAAkC,CAAC;IAC5D,QAAQ,CAAC,eAAe,EAAE,OAAO,uBAAuB,CAAC;IACzD,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,gCAAgC,EAAE,CAAC;CAC9D;AAED,MAAM,WAAW,4BAA4B;IAC5C,QAAQ,CAAC,eAAe,EAAE,OAAO,uBAAuB,CAAC;IACzD,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAED,qBAAa,6BAA8B,SAAQ,KAAK;aAEpB,IAAI,EAAE,MAAM;IAD/C,SAAyB,IAAI,mCAAmC;gBAC7B,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAGhE;AAKD,wBAAgB,gCAAgC,CAC/C,KAAK,EAAE,OAAO,EACd,WAAW,EAAE,4BAA4B,GACvC,0BAA0B,CAmC5B;AAED,wBAAgB,iCAAiC,CAAC,OAAO,EAAE,0BAA0B,GAAG,MAAM,CAE7F"}

package/dist/src/selfhost/interop-resolution-witness.js

@@ -0,0 +1,186 @@
+import { KERNEL_CONTRACT_VERSION, normalizeKernelPath, } from './contract.js';
+export const INTEROP_RESOLUTION_WITNESS_VERSION = 1;
+export class InteropResolutionWitnessError extends Error {
+    path;
+    name = 'InteropResolutionWitnessError';
+    constructor(path, message) {
+        super(`${path}: ${message}`);
+        this.path = path;
+    }
+}
+const sha256Pattern = /^[0-9a-f]{64}$/u;
+const commitShaPattern = /^[0-9a-f]{40}$/u;
+export function validateInteropResolutionWitness(value, expectation) {
+    validateExpectation(expectation);
+    const witness = record(value, '$');
+    exactKeys(witness, ['version', 'contractVersion', 'platform', 'candidateSha', 'sourceManifestSha256', 'modules'], '$');
+    if (witness.version !== INTEROP_RESOLUTION_WITNESS_VERSION) {
+        throw new InteropResolutionWitnessError('$.version', `expected ${INTEROP_RESOLUTION_WITNESS_VERSION}`);
+    }
+    const contractVersion = literal(witness.contractVersion, KERNEL_CONTRACT_VERSION, '$.contractVersion');
+    const platform = oneOf(witness.platform, ['node', 'browser', 'neutral'], '$.platform');
+    const candidateSha = commitSha(witness.candidateSha, '$.candidateSha');
+    const sourceManifestSha256 = sha256(witness.sourceManifestSha256, '$.sourceManifestSha256');
+    assertEqual(contractVersion, expectation.contractVersion, '$.contractVersion', 'stale contract version');
+    assertEqual(platform, expectation.platform, '$.platform', 'stale platform');
+    assertEqual(candidateSha, expectation.candidateSha.toLowerCase(), '$.candidateSha', 'stale candidate SHA');
+    assertEqual(sourceManifestSha256, expectation.sourceManifestSha256.toLowerCase(), '$.sourceManifestSha256', 'stale source manifest');
+    const modules = array(witness.modules, '$.modules')
+        .map((module, index) => validateModule(module, `$.modules[${index}]`))
+        .sort((left, right) => compareText(left.specifier, right.specifier));
+    assertUnique(modules.map(module => module.specifier), '$.modules', 'specifier');
+    const actualSpecifiers = modules.map(module => module.specifier);
+    const expectedSpecifiers = canonicalSpecifiers(expectation.specifiers, '$expectation.specifiers');
+    const missing = expectedSpecifiers.filter(specifier => !actualSpecifiers.includes(specifier));
+    const unexpected = actualSpecifiers.filter(specifier => !expectedSpecifiers.includes(specifier));
+    if (missing.length > 0)
+        throw new InteropResolutionWitnessError('$.modules', `missing specifiers: ${missing.join(', ')}`);
+    if (unexpected.length > 0)
+        throw new InteropResolutionWitnessError('$.modules', `unexpected specifiers: ${unexpected.join(', ')}`);
+    return {
+        version: INTEROP_RESOLUTION_WITNESS_VERSION,
+        contractVersion,
+        platform,
+        candidateSha,
+        sourceManifestSha256,
+        modules,
+    };
+}
+export function serializeInteropResolutionWitness(witness) {
+    return JSON.stringify(witness);
+}
+function validateExpectation(expectation) {
+    if (expectation.contractVersion !== KERNEL_CONTRACT_VERSION) {
+        throw new InteropResolutionWitnessError('$expectation.contractVersion', `expected ${KERNEL_CONTRACT_VERSION}`);
+    }
+    oneOf(expectation.platform, ['node', 'browser', 'neutral'], '$expectation.platform');
+    commitSha(expectation.candidateSha, '$expectation.candidateSha');
+    sha256(expectation.sourceManifestSha256, '$expectation.sourceManifestSha256');
+    canonicalSpecifiers(expectation.specifiers, '$expectation.specifiers');
+}
+function validateModule(value, path) {
+    const module = record(value, path);
+    exactKeys(module, ['specifier', 'resolutionKind', 'resolvedId', 'runtimeFormat', 'artifactSha256', 'typeSnapshotSha256'], path);
+    const specifier = nonEmptyString(module.specifier, `${path}.specifier`);
+    const resolutionKind = oneOf(module.resolutionKind, ['builtin', 'package', 'relative', 'url'], `${path}.resolutionKind`);
+    const runtimeFormat = oneOf(module.runtimeFormat, ['commonjs', 'esm', 'global', 'side-effect'], `${path}.runtimeFormat`);
+    const resolvedId = normalizeResolvedId(module.resolvedId, resolutionKind, `${path}.resolvedId`);
+    const artifactSha256 = module.artifactSha256 === null
+        ? null
+        : sha256(module.artifactSha256, `${path}.artifactSha256`);
+    if (resolutionKind === 'builtin' && artifactSha256 !== null) {
+        throw new InteropResolutionWitnessError(`${path}.artifactSha256`, 'builtin modules must use null artifactSha256');
+    }
+    if (resolutionKind !== 'builtin' && artifactSha256 === null) {
+        throw new InteropResolutionWitnessError(`${path}.artifactSha256`, 'non-builtin modules require an artifactSha256');
+    }
+    return {
+        specifier,
+        resolutionKind,
+        resolvedId,
+        runtimeFormat,
+        artifactSha256,
+        typeSnapshotSha256: sha256(module.typeSnapshotSha256, `${path}.typeSnapshotSha256`),
+    };
+}
+function normalizeResolvedId(value, kind, path) {
+    const resolvedId = nonEmptyString(value, path);
+    if (kind === 'builtin') {
+        if (!resolvedId.startsWith('node:') || resolvedId.length === 'node:'.length) {
+            throw new InteropResolutionWitnessError(path, 'builtin resolvedId must use a non-empty node: specifier');
+        }
+        return resolvedId;
+    }
+    if (kind === 'relative') {
+        try {
+            return normalizeKernelPath(resolvedId, path);
+        }
+        catch (error) {
+            throw new InteropResolutionWitnessError(path, error instanceof Error ? error.message.replace(/^.*?: /u, '') : 'invalid path');
+        }
+    }
+    if (kind === 'url') {
+        let url;
+        try {
+            url = new URL(resolvedId);
+        }
+        catch {
+            throw new InteropResolutionWitnessError(path, 'expected an absolute HTTPS URL');
+        }
+        if (url.protocol !== 'https:' || url.username.length > 0 || url.password.length > 0 || url.hash.length > 0) {
+            throw new InteropResolutionWitnessError(path, 'URL resolutions must be credential-free HTTPS URLs without fragments');
+        }
+        return url.toString();
+    }
+    return resolvedId;
+}
+function canonicalSpecifiers(value, path) {
+    if (!Array.isArray(value))
+        throw new InteropResolutionWitnessError(path, 'expected an array');
+    const specifiers = value.map((specifier, index) => nonEmptyString(specifier, `${path}[${index}]`)).sort(compareText);
+    assertUnique(specifiers, path, 'specifier');
+    return specifiers;
+}
+function record(value, path) {
+    if (value === null || typeof value !== 'object' || Array.isArray(value))
+        throw new InteropResolutionWitnessError(path, 'expected an object');
+    return value;
+}
+function array(value, path) {
+    if (!Array.isArray(value))
+        throw new InteropResolutionWitnessError(path, 'expected an array');
+    return value;
+}
+function nonEmptyString(value, path) {
+    if (typeof value !== 'string')
+        throw new InteropResolutionWitnessError(path, 'expected a string');
+    if (value.length === 0)
+        throw new InteropResolutionWitnessError(path, 'string must not be empty');
+    return value;
+}
+function literal(value, expected, path) {
+    if (value !== expected)
+        throw new InteropResolutionWitnessError(path, `expected ${JSON.stringify(expected)}`);
+    return expected;
+}
+function oneOf(value, allowed, path) {
+    if (typeof value !== 'string' || !allowed.includes(value)) {
+        throw new InteropResolutionWitnessError(path, `expected one of ${allowed.join(', ')}`);
+    }
+    return value;
+}
+function sha256(value, path) {
+    const hash = nonEmptyString(value, path).toLowerCase();
+    if (!sha256Pattern.test(hash))
+        throw new InteropResolutionWitnessError(path, 'expected a SHA-256 hex digest');
+    return hash;
+}
+function commitSha(value, path) {
+    const hash = nonEmptyString(value, path).toLowerCase();
+    if (!commitShaPattern.test(hash))
+        throw new InteropResolutionWitnessError(path, 'expected a full 40-character commit SHA');
+    return hash;
+}
+function assertEqual(actual, expected, path, message) {
+    if (actual !== expected)
+        throw new InteropResolutionWitnessError(path, message);
+}
+function assertUnique(values, path, name) {
+    for (let index = 1; index < values.length; index += 1) {
+        if (values[index] === values[index - 1])
+            throw new InteropResolutionWitnessError(path, `duplicate ${name} ${values[index]}`);
+    }
+}
+function exactKeys(value, allowed, path) {
+    const allowedSet = new Set(allowed);
+    for (const key of Object.keys(value))
+        if (!allowedSet.has(key))
+            throw new InteropResolutionWitnessError(`${path}.${key}`, 'unknown property');
+    for (const key of allowed)
+        if (!Object.hasOwn(value, key))
+            throw new InteropResolutionWitnessError(`${path}.${key}`, 'missing property');
+}
+function compareText(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+//# sourceMappingURL=interop-resolution-witness.js.map

package/dist/src/selfhost/interop-resolution-witness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"interop-resolution-witness.js","sourceRoot":"","sources":["../../../src/selfhost/interop-resolution-witness.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,uBAAuB,EACvB,mBAAmB,GAEnB,MAAM,eAAe,CAAC;AAEvB,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAAU,CAAC;AA+B7D,MAAM,OAAO,6BAA8B,SAAQ,KAAK;IAEpB;IADV,IAAI,GAAG,+BAA+B,CAAC;IAChE,YAAmC,IAAY,EAAE,OAAe;QAC/D,KAAK,CAAC,GAAG,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC;QADK,SAAI,GAAJ,IAAI,CAAQ;IAE/C,CAAC;CACD;AAED,MAAM,aAAa,GAAG,iBAAiB,CAAC;AACxC,MAAM,gBAAgB,GAAG,iBAAiB,CAAC;AAE3C,MAAM,UAAU,gCAAgC,CAC/C,KAAc,EACd,WAAyC;IAEzC,mBAAmB,CAAC,WAAW,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnC,SAAS,CAAC,OAAO,EAAE,CAAC,SAAS,EAAE,iBAAiB,EAAE,UAAU,EAAE,cAAc,EAAE,sBAAsB,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC;IACvH,IAAI,OAAO,CAAC,OAAO,KAAK,kCAAkC,EAAE,CAAC;QAC5D,MAAM,IAAI,6BAA6B,CAAC,WAAW,EAAE,YAAY,kCAAkC,EAAE,CAAC,CAAC;IACxG,CAAC;IACD,MAAM,eAAe,GAAG,OAAO,CAAC,OAAO,CAAC,eAAe,EAAE,uBAAuB,EAAE,mBAAmB,CAAC,CAAC;IACvG,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,CAAU,EAAE,YAAY,CAAC,CAAC;IAChG,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC;IACvE,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,CAAC,oBAAoB,EAAE,wBAAwB,CAAC,CAAC;IAC5F,WAAW,CAAC,eAAe,EAAE,WAAW,CAAC,eAAe,EAAE,mBAAmB,EAAE,wBAAwB,CAAC,CAAC;IACzG,WAAW,CAAC,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,YAAY,EAAE,gBAAgB,CAAC,CAAC;IAC5E,WAAW,CAAC,YAAY,EAAE,WAAW,CAAC,YAAY,CAAC,WAAW,EAAE,EAAE,gBAAgB,EAAE,qBAAqB,CAAC,CAAC;IAC3G,WAAW,CAAC,oBAAoB,EAAE,WAAW,CAAC,oBAAoB,CAAC,WAAW,EAAE,EAAE,wBAAwB,EAAE,uBAAuB,CAAC,CAAC;IAErI,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC;SACjD,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,aAAa,KAAK,GAAG,CAAC,CAAC;SACrE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IACtE,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAChF,MAAM,gBAAgB,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACjE,MAAM,kBAAkB,GAAG,mBAAmB,CAAC,WAAW,CAAC,UAAU,EAAE,yBAAyB,CAAC,CAAC;IAClG,MAAM,OAAO,GAAG,kBAAkB,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IAC9F,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IACjG,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,6BAA6B,CAAC,WAAW,EAAE,uBAAuB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1H,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,6BAA6B,CAAC,WAAW,EAAE,0BAA0B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEnI,OAAO;QACN,OAAO,EAAE,kCAAkC;QAC3C,eAAe;QACf,QAAQ;QACR,YAAY;QACZ,oBAAoB;QACpB,OAAO;KACP,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,OAAmC;IACpF,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,mBAAmB,CAAC,WAAyC;IACrE,IAAI,WAAW,CAAC,eAAe,KAAK,uBAAuB,EAAE,CAAC;QAC7D,MAAM,IAAI,6BAA6B,CAAC,8BAA8B,EAAE,YAAY,uBAAuB,EAAE,CAAC,CAAC;IAChH,CAAC;IACD,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,CAAU,EAAE,uBAAuB,CAAC,CAAC;IAC9F,SAAS,CAAC,WAAW,CAAC,YAAY,EAAE,2BAA2B,CAAC,CAAC;IACjE,MAAM,CAAC,WAAW,CAAC,oBAAoB,EAAE,mCAAmC,CAAC,CAAC;IAC9E,mBAAmB,CAAC,WAAW,CAAC,UAAU,EAAE,yBAAyB,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,IAAY;IACnD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACnC,SAAS,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,gBAAgB,EAAE,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,oBAAoB,CAAC,EAAE,IAAI,CAAC,CAAC;IAChI,MAAM,SAAS,GAAG,cAAc,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;IACxE,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,CAAU,EAAE,GAAG,IAAI,iBAAiB,CAAC,CAAC;IAClI,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,CAAU,EAAE,GAAG,IAAI,gBAAgB,CAAC,CAAC;IAClI,MAAM,UAAU,GAAG,mBAAmB,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,GAAG,IAAI,aAAa,CAAC,CAAC;IAChG,MAAM,cAAc,GAAG,MAAM,CAAC,cAAc,KAAK,IAAI;QACpD,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,GAAG,IAAI,iBAAiB,CAAC,CAAC;IAC3D,IAAI,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;QAC7D,MAAM,IAAI,6BAA6B,CAAC,GAAG,IAAI,iBAAiB,EAAE,8CAA8C,CAAC,CAAC;IACnH,CAAC;IACD,IAAI,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;QAC7D,MAAM,IAAI,6BAA6B,CAAC,GAAG,IAAI,iBAAiB,EAAE,+CAA+C,CAAC,CAAC;IACpH,CAAC;IACD,OAAO;QACN,SAAS;QACT,cAAc;QACd,UAAU;QACV,aAAa;QACb,cAAc;QACd,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,GAAG,IAAI,qBAAqB,CAAC;KACnF,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc,EAAE,IAA2B,EAAE,IAAY;IACrF,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YAC7E,MAAM,IAAI,6BAA6B,CAAC,IAAI,EAAE,yDAAyD,CAAC,CAAC;QAC1G,CAAC;QACD,OAAO,UAAU,CAAC;IACnB,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACzB,IAAI,CAAC;YACJ,OAAO,mBAAmB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAC9C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,MAAM,IAAI,6BAA6B,CAAC,IAAI,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QAC/H,CAAC;IACF,CAAC;IACD,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACpB,IAAI,GAAQ,CAAC;QACb,IAAI,CAAC;YACJ,GAAG,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;QAC3B,CAAC;QAAC,MAAM,CAAC;YACR,MAAM,IAAI,6BAA6B,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5G,MAAM,IAAI,6BAA6B,CAAC,IAAI,EAAE,sEAAsE,CAAC,CAAC;QACvH,CAAC;QACD,OAAO,GAAG,CAAC,QAAQ,EAAE,CAAC;IACvB,CAAC;IACD,OAAO,UAAU,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAwB,EAAE,IAAY;IAClE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,6BAA6B,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;IAC9F,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,SAAS,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACrH,YAAY,CAAC,UAAU,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC5C,OAAO,UAAU,CAAC;AACnB,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,IAAY;IAC3C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,6BAA6B,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAC7I,OAAO,KAAgC,CAAC;AACzC,CAAC;AAED,SAAS,KAAK,CAAC,KAAc,EAAE,IAAY;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,6BAA6B,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;IAC9F,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,IAAY;IACnD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,6BAA6B,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;IAClG,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,6BAA6B,CAAC,IAAI,EAAE,0BAA0B,CAAC,CAAC;IAClG,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,OAAO,CAAmB,KAAc,EAAE,QAAW,EAAE,IAAY;IAC3E,IAAI,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,6BAA6B,CAAC,IAAI,EAAE,YAAY,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC9G,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED,SAAS,KAAK,CAAoC,KAAc,EAAE,OAAU,EAAE,IAAY;IACzF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,6BAA6B,CAAC,IAAI,EAAE,mBAAmB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,KAAkB,CAAC;AAC3B,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,IAAY;IAC3C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IACvD,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,6BAA6B,CAAC,IAAI,EAAE,+BAA+B,CAAC,CAAC;IAC9G,OAAO,IAAI,CAAC;AACb,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,IAAY;IAC9C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IACvD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,6BAA6B,CAAC,IAAI,EAAE,yCAAyC,CAAC,CAAC;IAC3H,OAAO,IAAI,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAAC,MAAc,EAAE,QAAgB,EAAE,IAAY,EAAE,OAAe;IACnF,IAAI,MAAM,KAAK,QAAQ;QAAE,MAAM,IAAI,6BAA6B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,YAAY,CAAC,MAAyB,EAAE,IAAY,EAAE,IAAY;IAC1E,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC;YAAE,MAAM,IAAI,6BAA6B,CAAC,IAAI,EAAE,aAAa,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC9H,CAAC;AACF,CAAC;AAED,SAAS,SAAS,CAAC,KAA8B,EAAE,OAA0B,EAAE,IAAY;IAC1F,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,6BAA6B,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,kBAAkB,CAAC,CAAC;IAC9I,KAAK,MAAM,GAAG,IAAI,OAAO;QAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC;YAAE,MAAM,IAAI,6BAA6B,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,kBAAkB,CAAC,CAAC;AAC1I,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC/C,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC"}

package/dist/src/selfhost/kernel-model-host-adapter.d.ts

@@ -0,0 +1,28 @@
+export interface ViruneResultValue<T, E = unknown> {
+    readonly $tag: 'Ok' | 'Err';
+    readonly $values: readonly [T] | readonly [E];
+}
+export interface SelfhostKernelModelModule {
+    readonly encodeCanonicalKernelModel: (raw: unknown) => ViruneResultValue<string>;
+    readonly decodeKernelModel: (raw: unknown) => ViruneResultValue<unknown>;
+    readonly encodeCanonicalTables: (strings: readonly string[], numbers: readonly number[]) => ViruneResultValue<string>;
+    readonly runArenaProbe: () => ViruneResultValue<unknown>;
+}
+export declare class KernelModelHostError extends Error {
+    readonly details: unknown;
+    readonly name = "KernelModelHostError";
+    constructor(message: string, details: unknown);
+}
+export interface KernelModelHostAdapter {
+    readonly encodeCanonicalModel: (raw: unknown) => string;
+    readonly decodeModel: (raw: unknown) => unknown;
+    readonly encodeCanonicalTables: (strings: readonly string[], numbers: readonly number[]) => string;
+    readonly runArenaProbe: () => unknown;
+}
+/**
+ * Adapt the generated Virune kernel-model module to a host-facing exception
+ * boundary. The generated module itself remains Result-based; only this host
+ * adapter converts an explicit Err value into a JavaScript error for callers.
+ */
+export declare function createKernelModelHostAdapter(module: SelfhostKernelModelModule): KernelModelHostAdapter;
+//# sourceMappingURL=kernel-model-host-adapter.d.ts.map

package/dist/src/selfhost/kernel-model-host-adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kernel-model-host-adapter.d.ts","sourceRoot":"","sources":["../../../src/selfhost/kernel-model-host-adapter.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,iBAAiB,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO;IAChD,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,KAAK,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;CAC9C;AAED,MAAM,WAAW,yBAAyB;IACzC,QAAQ,CAAC,0BAA0B,EAAE,CAAC,GAAG,EAAE,OAAO,KAAK,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACjF,QAAQ,CAAC,iBAAiB,EAAE,CAAC,GAAG,EAAE,OAAO,KAAK,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACzE,QAAQ,CAAC,qBAAqB,EAAE,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,KAAK,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACtH,QAAQ,CAAC,aAAa,EAAE,MAAM,iBAAiB,CAAC,OAAO,CAAC,CAAC;CACzD;AAED,qBAAa,oBAAqB,SAAQ,KAAK;aAK7B,OAAO,EAAE,OAAO;IAJjC,SAAyB,IAAI,0BAA0B;gBAGtD,OAAO,EAAE,MAAM,EACC,OAAO,EAAE,OAAO;CAIjC;AAED,MAAM,WAAW,sBAAsB;IACtC,QAAQ,CAAC,oBAAoB,EAAE,CAAC,GAAG,EAAE,OAAO,KAAK,MAAM,CAAC;IACxD,QAAQ,CAAC,WAAW,EAAE,CAAC,GAAG,EAAE,OAAO,KAAK,OAAO,CAAC;IAChD,QAAQ,CAAC,qBAAqB,EAAE,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,KAAK,MAAM,CAAC;IACnG,QAAQ,CAAC,aAAa,EAAE,MAAM,OAAO,CAAC;CACtC;AAED;;;;GAIG;AACH,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,yBAAyB,GAAG,sBAAsB,CAetG"}

package/dist/src/selfhost/kernel-model-host-adapter.js

@@ -0,0 +1,36 @@
+export class KernelModelHostError extends Error {
+    details;
+    name = 'KernelModelHostError';
+    constructor(message, details) {
+        super(message);
+        this.details = details;
+    }
+}
+/**
+ * Adapt the generated Virune kernel-model module to a host-facing exception
+ * boundary. The generated module itself remains Result-based; only this host
+ * adapter converts an explicit Err value into a JavaScript error for callers.
+ */
+export function createKernelModelHostAdapter(module) {
+    return {
+        encodeCanonicalModel(raw) {
+            return unwrapResult(module.encodeCanonicalKernelModel(raw), 'Kernel model encoding failed');
+        },
+        decodeModel(raw) {
+            return unwrapResult(module.decodeKernelModel(raw), 'Kernel model decoding failed');
+        },
+        encodeCanonicalTables(strings, numbers) {
+            return unwrapResult(module.encodeCanonicalTables(strings, numbers), 'Canonical table encoding failed');
+        },
+        runArenaProbe() {
+            return unwrapResult(module.runArenaProbe(), 'Kernel arena probe failed');
+        },
+    };
+}
+function unwrapResult(result, message) {
+    const value = result.$values[0];
+    if (result.$tag === 'Ok')
+        return value;
+    throw new KernelModelHostError(message, value);
+}
+//# sourceMappingURL=kernel-model-host-adapter.js.map

package/dist/src/selfhost/kernel-model-host-adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kernel-model-host-adapter.js","sourceRoot":"","sources":["../../../src/selfhost/kernel-model-host-adapter.ts"],"names":[],"mappings":"AAYA,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAK7B;IAJQ,IAAI,GAAG,sBAAsB,CAAC;IAEvD,YACC,OAAe,EACC,OAAgB;QAEhC,KAAK,CAAC,OAAO,CAAC,CAAC;QAFC,YAAO,GAAP,OAAO,CAAS;IAGjC,CAAC;CACD;AASD;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAAC,MAAiC;IAC7E,OAAO;QACN,oBAAoB,CAAC,GAAY;YAChC,OAAO,YAAY,CAAC,MAAM,CAAC,0BAA0B,CAAC,GAAG,CAAC,EAAE,8BAA8B,CAAC,CAAC;QAC7F,CAAC;QACD,WAAW,CAAC,GAAY;YACvB,OAAO,YAAY,CAAC,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,8BAA8B,CAAC,CAAC;QACpF,CAAC;QACD,qBAAqB,CAAC,OAA0B,EAAE,OAA0B;YAC3E,OAAO,YAAY,CAAC,MAAM,CAAC,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,iCAAiC,CAAC,CAAC;QACxG,CAAC;QACD,aAAa;YACZ,OAAO,YAAY,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,2BAA2B,CAAC,CAAC;QAC1E,CAAC;KACD,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAI,MAA4B,EAAE,OAAe;IACrE,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAU,CAAC;IAC5C,MAAM,IAAI,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;AAChD,CAAC"}

package/dist/src/selfhost/legacy-adapter.d.ts

@@ -0,0 +1,8 @@
+import { type KernelOutputV1 } from './contract.js';
+/**
+ * Execute the current TypeScript compiler behind the versioned, data-only
+ * self-hosting contract. This is an internal comparison path and does not
+ * change the production compiler facade or stable public API.
+ */
+export declare function compileWithLegacyKernel(value: unknown): Promise<KernelOutputV1>;
+//# sourceMappingURL=legacy-adapter.d.ts.map

package/dist/src/selfhost/legacy-adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"legacy-adapter.d.ts","sourceRoot":"","sources":["../../../src/selfhost/legacy-adapter.ts"],"names":[],"mappings":"AAKA,OAAO,EAYN,KAAK,cAAc,EAGnB,MAAM,eAAe,CAAC;AAKvB;;;;GAIG;AACH,wBAAsB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,cAAc,CAAC,CAqCrF"}