@virune/compiler 1.1.0-rc.0

package/dist/src/semantic-evidence/snapshot.d.ts

@@ -0,0 +1,114 @@
+export declare const EXPERIMENTAL_SEMANTIC_SNAPSHOT_VERSION: 1;
+export type SemanticEvidencePlatform = 'node' | 'browser' | 'neutral';
+export type SemanticCoverageStatus = 'modeled' | 'partial' | 'opaque' | 'unknown';
+export type SemanticReachability = 'yes' | 'no' | 'unknown';
+export type SemanticInteropTier = 'direct' | 'adapter' | 'host' | 'unsafe' | 'unknown';
+export type SemanticRootScopeStatus = 'project-wide' | 'partial';
+export interface SemanticInputClosureV1 {
+    readonly languageVersion: string;
+    readonly platform: SemanticEvidencePlatform;
+    readonly profile: string;
+    readonly analyzerSha256: string;
+    readonly sourceManifestSha256: string;
+    readonly projectManifestSha256: string;
+    readonly stdlibSha256: string;
+    readonly runtimeSha256: string;
+    readonly dependencyArtifactsSha256: string;
+    readonly interopManifestSha256: string | null;
+    readonly configurationSha256: string | null;
+}
+export interface SemanticRootScopeV1 {
+    readonly status: SemanticRootScopeStatus;
+    readonly includedRootClasses: readonly string[];
+    readonly excludedRootClasses: readonly string[];
+}
+export interface SemanticSourceEvidenceV1 {
+    readonly sourcePath: string;
+    readonly startOffset: number;
+    readonly endOffset: number;
+}
+export interface SemanticDimensionStateV1 {
+    readonly coverage: SemanticCoverageStatus;
+    readonly reasons: readonly string[];
+    readonly assumptions: readonly string[];
+    readonly sourceEvidence: readonly SemanticSourceEvidenceV1[];
+}
+export interface SemanticDimensionStatesV1 {
+    readonly publicAbi: SemanticDimensionStateV1;
+    readonly directEffects: SemanticDimensionStateV1;
+    readonly transitiveEffects: SemanticDimensionStateV1;
+    readonly interop: SemanticDimensionStateV1;
+    readonly reachableFailures: SemanticDimensionStateV1;
+    readonly panic: SemanticDimensionStateV1;
+    readonly discard: SemanticDimensionStateV1;
+}
+export interface SemanticPublicAbiFactV1 {
+    readonly symbol: string;
+    readonly declarationKind: string;
+    readonly signature: string;
+}
+export interface SemanticInteropFactV1 {
+    readonly specifier: string;
+    readonly tier: SemanticInteropTier;
+    readonly assumptions: readonly string[];
+}
+export interface SemanticRootInputV1 {
+    readonly root: string;
+    readonly dimensions: SemanticDimensionStatesV1;
+    readonly implementationSha256: string;
+    readonly publicAbi: readonly SemanticPublicAbiFactV1[];
+    readonly directEffects: readonly string[];
+    readonly transitiveEffects: readonly string[];
+    readonly interop: readonly SemanticInteropFactV1[];
+    readonly reachableFailures: readonly string[];
+    readonly panic: SemanticReachability;
+    readonly discard: SemanticReachability;
+}
+export interface SemanticSnapshotInputV1 {
+    readonly closure: SemanticInputClosureV1;
+    readonly rootScope: SemanticRootScopeV1;
+    readonly roots: readonly SemanticRootInputV1[];
+}
+export interface SemanticCoverageSummaryV1 {
+    readonly enumeratedRoots: number;
+    readonly modeled: number;
+    readonly partial: number;
+    readonly opaque: number;
+    readonly unknown: number;
+    readonly allEnumeratedRootsModeled: boolean;
+}
+export interface SemanticRootSnapshotV1 extends SemanticRootInputV1 {
+    readonly coverage: SemanticCoverageStatus;
+}
+export interface ExperimentalSemanticSnapshotV1 {
+    readonly version: typeof EXPERIMENTAL_SEMANTIC_SNAPSHOT_VERSION;
+    readonly experimental: true;
+    readonly closure: SemanticInputClosureV1;
+    readonly rootScope: SemanticRootScopeV1;
+    readonly coverage: SemanticCoverageSummaryV1;
+    readonly roots: readonly SemanticRootSnapshotV1[];
+}
+export declare class SemanticSnapshotError extends Error {
+    readonly path: string;
+    readonly name = "SemanticSnapshotError";
+    constructor(path: string, message: string);
+}
+/**
+ * Build the experimental Semantic Change Evidence snapshot without assigning
+ * safety meaning to missing facts. Coverage, unresolved reasons, assumptions,
+ * and provenance are explicit per semantic dimension; aggregate root coverage
+ * is derived conservatively from those dimension states and is never accepted
+ * from the caller.
+ *
+ * Root discovery scope is explicit and separate from per-root coverage: all
+ * enumerated roots being modeled does not imply project-wide root discovery.
+ * The Semantic Input Closure binds source, project, toolchain/runtime,
+ * dependency, Interop, and configuration identities needed by later
+ * reproducibility checks.
+ *
+ * This module is intentionally internal and experimental. It is not a stable
+ * Compiler API or artifact-schema compatibility promise.
+ */
+export declare function createExperimentalSemanticSnapshot(input: SemanticSnapshotInputV1): ExperimentalSemanticSnapshotV1;
+export declare function serializeExperimentalSemanticSnapshot(input: SemanticSnapshotInputV1): string;
+//# sourceMappingURL=snapshot.d.ts.map

package/dist/src/semantic-evidence/snapshot.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../../../src/semantic-evidence/snapshot.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,sCAAsC,EAAG,CAAU,CAAC;AAEjE,MAAM,MAAM,wBAAwB,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;AACtE,MAAM,MAAM,sBAAsB,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,CAAC;AAClF,MAAM,MAAM,oBAAoB,GAAG,KAAK,GAAG,IAAI,GAAG,SAAS,CAAC;AAC5D,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;AACvF,MAAM,MAAM,uBAAuB,GAAG,cAAc,GAAG,SAAS,CAAC;AAEjE,MAAM,WAAW,sBAAsB;IACtC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9C,QAAQ,CAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;CAC5C;AAED,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;CAChD;AAED,MAAM,WAAW,wBAAwB;IACxC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,wBAAwB;IACxC,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,cAAc,EAAE,SAAS,wBAAwB,EAAE,CAAC;CAC7D;AAED,MAAM,WAAW,yBAAyB;IACzC,QAAQ,CAAC,SAAS,EAAE,wBAAwB,CAAC;IAC7C,QAAQ,CAAC,aAAa,EAAE,wBAAwB,CAAC;IACjD,QAAQ,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;IACrD,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC;IAC3C,QAAQ,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;IACrD,QAAQ,CAAC,KAAK,EAAE,wBAAwB,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC;CAC3C;AAED,MAAM,WAAW,uBAAuB;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC;AAED,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,yBAAyB,CAAC;IAC/C,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACvD,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACnD,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC;CACvC;AAED,MAAM,WAAW,uBAAuB;IACvC,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,SAAS,mBAAmB,EAAE,CAAC;CAC/C;AAED,MAAM,WAAW,yBAAyB;IACzC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,yBAAyB,EAAE,OAAO,CAAC;CAC5C;AAED,MAAM,WAAW,sBAAuB,SAAQ,mBAAmB;IAClE,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;CAC1C;AAED,MAAM,WAAW,8BAA8B;IAC9C,QAAQ,CAAC,OAAO,EAAE,OAAO,sCAAsC,CAAC;IAChE,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,yBAAyB,CAAC;IAC7C,QAAQ,CAAC,KAAK,EAAE,SAAS,sBAAsB,EAAE,CAAC;CAClD;AAED,qBAAa,qBAAsB,SAAQ,KAAK;aAEZ,IAAI,EAAE,MAAM;IAD/C,SAAyB,IAAI,2BAA2B;gBACrB,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAGhE;AAID;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,kCAAkC,CACjD,KAAK,EAAE,uBAAuB,GAC5B,8BAA8B,CAehC;AAED,wBAAgB,qCAAqC,CAAC,KAAK,EAAE,uBAAuB,GAAG,MAAM,CAE5F"}

package/dist/src/semantic-evidence/snapshot.js

@@ -0,0 +1,336 @@
+export const EXPERIMENTAL_SEMANTIC_SNAPSHOT_VERSION = 1;
+export class SemanticSnapshotError extends Error {
+    path;
+    name = 'SemanticSnapshotError';
+    constructor(path, message) {
+        super(`${path}: ${message}`);
+        this.path = path;
+    }
+}
+const SHA256_PATTERN = /^[0-9a-f]{64}$/u;
+/**
+ * Build the experimental Semantic Change Evidence snapshot without assigning
+ * safety meaning to missing facts. Coverage, unresolved reasons, assumptions,
+ * and provenance are explicit per semantic dimension; aggregate root coverage
+ * is derived conservatively from those dimension states and is never accepted
+ * from the caller.
+ *
+ * Root discovery scope is explicit and separate from per-root coverage: all
+ * enumerated roots being modeled does not imply project-wide root discovery.
+ * The Semantic Input Closure binds source, project, toolchain/runtime,
+ * dependency, Interop, and configuration identities needed by later
+ * reproducibility checks.
+ *
+ * This module is intentionally internal and experimental. It is not a stable
+ * Compiler API or artifact-schema compatibility promise.
+ */
+export function createExperimentalSemanticSnapshot(input) {
+    const closure = canonicalClosure(input.closure);
+    const rootScope = canonicalRootScope(input.rootScope);
+    const roots = input.roots.map((root, index) => canonicalRoot(root, `$.roots[${index}]`));
+    roots.sort((left, right) => compareText(left.root, right.root));
+    assertUnique(roots.map(root => root.root), '$.roots', 'root');
+    assertNoCaseCollidingSourcePaths(roots);
+    return {
+        version: EXPERIMENTAL_SEMANTIC_SNAPSHOT_VERSION,
+        experimental: true,
+        closure,
+        rootScope,
+        coverage: summarizeCoverage(roots),
+        roots,
+    };
+}
+export function serializeExperimentalSemanticSnapshot(input) {
+    return JSON.stringify(createExperimentalSemanticSnapshot(input));
+}
+function canonicalClosure(value) {
+    return {
+        languageVersion: nonEmptyText(value.languageVersion, '$.closure.languageVersion'),
+        platform: oneOf(value.platform, ['node', 'browser', 'neutral'], '$.closure.platform'),
+        profile: nonEmptyText(value.profile, '$.closure.profile'),
+        analyzerSha256: sha256(value.analyzerSha256, '$.closure.analyzerSha256'),
+        sourceManifestSha256: sha256(value.sourceManifestSha256, '$.closure.sourceManifestSha256'),
+        projectManifestSha256: sha256(value.projectManifestSha256, '$.closure.projectManifestSha256'),
+        stdlibSha256: sha256(value.stdlibSha256, '$.closure.stdlibSha256'),
+        runtimeSha256: sha256(value.runtimeSha256, '$.closure.runtimeSha256'),
+        dependencyArtifactsSha256: sha256(value.dependencyArtifactsSha256, '$.closure.dependencyArtifactsSha256'),
+        interopManifestSha256: nullableSha256(value.interopManifestSha256, '$.closure.interopManifestSha256'),
+        configurationSha256: nullableSha256(value.configurationSha256, '$.closure.configurationSha256'),
+    };
+}
+function canonicalRootScope(value) {
+    const status = oneOf(value.status, ['project-wide', 'partial'], '$.rootScope.status');
+    const includedRootClasses = canonicalTextSet(value.includedRootClasses, '$.rootScope.includedRootClasses');
+    const excludedRootClasses = canonicalTextSet(value.excludedRootClasses, '$.rootScope.excludedRootClasses');
+    if (includedRootClasses.length === 0) {
+        throw new SemanticSnapshotError('$.rootScope.includedRootClasses', 'at least one included root class is required');
+    }
+    const overlap = includedRootClasses.filter(item => excludedRootClasses.includes(item));
+    if (overlap.length > 0) {
+        throw new SemanticSnapshotError('$.rootScope', `root classes cannot be both included and excluded: ${overlap.join(', ')}`);
+    }
+    if (status === 'project-wide' && excludedRootClasses.length > 0) {
+        throw new SemanticSnapshotError('$.rootScope.excludedRootClasses', 'project-wide scope cannot exclude root classes');
+    }
+    if (status === 'partial' && excludedRootClasses.length === 0) {
+        throw new SemanticSnapshotError('$.rootScope.excludedRootClasses', 'partial scope requires at least one excluded root class');
+    }
+    return { status, includedRootClasses, excludedRootClasses };
+}
+function canonicalRoot(value, path) {
+    const dimensions = canonicalDimensions(value.dimensions, `${path}.dimensions`);
+    const publicAbi = canonicalPublicAbi(value.publicAbi, `${path}.publicAbi`);
+    const directEffects = canonicalTextSet(value.directEffects, `${path}.directEffects`);
+    const transitiveEffects = canonicalTextSet(value.transitiveEffects, `${path}.transitiveEffects`);
+    const interop = canonicalInterop(value.interop, `${path}.interop`);
+    const reachableFailures = canonicalTextSet(value.reachableFailures, `${path}.reachableFailures`);
+    const panic = oneOf(value.panic, ['yes', 'no', 'unknown'], `${path}.panic`);
+    const discard = oneOf(value.discard, ['yes', 'no', 'unknown'], `${path}.discard`);
+    if (dimensions.transitiveEffects.coverage === 'modeled'
+        && (dimensions.directEffects.coverage === 'opaque' || dimensions.directEffects.coverage === 'unknown')) {
+        throw new SemanticSnapshotError(`${path}.dimensions.transitiveEffects.coverage`, 'modeled transitive effects require direct effects coverage to be modeled or partial');
+    }
+    if (dimensions.transitiveEffects.coverage === 'modeled' || dimensions.transitiveEffects.coverage === 'partial') {
+        for (const effect of directEffects) {
+            if (!transitiveEffects.includes(effect)) {
+                throw new SemanticSnapshotError(`${path}.transitiveEffects`, `${dimensions.transitiveEffects.coverage} transitive effects must include direct effect ${effect}`);
+            }
+        }
+    }
+    if (dimensions.panic.coverage === 'modeled' && panic === 'unknown') {
+        throw new SemanticSnapshotError(`${path}.panic`, 'modeled panic dimension cannot contain unknown reachability');
+    }
+    if (dimensions.discard.coverage === 'modeled' && discard === 'unknown') {
+        throw new SemanticSnapshotError(`${path}.discard`, 'modeled discard dimension cannot contain unknown reachability');
+    }
+    if (dimensions.interop.coverage === 'modeled' && interop.some(item => item.tier === 'unknown')) {
+        throw new SemanticSnapshotError(`${path}.interop`, 'modeled interoperability dimension cannot contain an unknown tier');
+    }
+    return {
+        root: nonEmptyText(value.root, `${path}.root`),
+        coverage: aggregateDimensionCoverage(dimensions),
+        dimensions,
+        implementationSha256: sha256(value.implementationSha256, `${path}.implementationSha256`),
+        publicAbi,
+        directEffects,
+        transitiveEffects,
+        interop,
+        reachableFailures,
+        panic,
+        discard,
+    };
+}
+function canonicalDimensions(value, path) {
+    return {
+        publicAbi: canonicalDimensionState(value.publicAbi, `${path}.publicAbi`),
+        directEffects: canonicalDimensionState(value.directEffects, `${path}.directEffects`),
+        transitiveEffects: canonicalDimensionState(value.transitiveEffects, `${path}.transitiveEffects`),
+        interop: canonicalDimensionState(value.interop, `${path}.interop`),
+        reachableFailures: canonicalDimensionState(value.reachableFailures, `${path}.reachableFailures`),
+        panic: canonicalDimensionState(value.panic, `${path}.panic`),
+        discard: canonicalDimensionState(value.discard, `${path}.discard`),
+    };
+}
+function canonicalDimensionState(value, path) {
+    const coverage = oneOf(value.coverage, ['modeled', 'partial', 'opaque', 'unknown'], `${path}.coverage`);
+    const reasons = canonicalTextSet(value.reasons, `${path}.reasons`);
+    const assumptions = canonicalTextSet(value.assumptions, `${path}.assumptions`);
+    const sourceEvidence = canonicalSourceEvidence(value.sourceEvidence, `${path}.sourceEvidence`);
+    if (sourceEvidence.length === 0) {
+        throw new SemanticSnapshotError(`${path}.sourceEvidence`, 'at least one source evidence range is required');
+    }
+    if (coverage === 'modeled' && reasons.length > 0) {
+        throw new SemanticSnapshotError(`${path}.reasons`, 'modeled coverage must not carry unresolved reasons');
+    }
+    if (coverage !== 'modeled' && reasons.length === 0) {
+        throw new SemanticSnapshotError(`${path}.reasons`, `${coverage} coverage requires at least one explicit reason`);
+    }
+    return { coverage, reasons, assumptions, sourceEvidence };
+}
+function aggregateDimensionCoverage(value) {
+    const states = dimensionStates(value).map(item => item.coverage);
+    if (states.includes('unknown'))
+        return 'unknown';
+    if (states.includes('opaque'))
+        return 'opaque';
+    if (states.includes('partial'))
+        return 'partial';
+    return 'modeled';
+}
+function dimensionStates(value) {
+    return [
+        value.publicAbi,
+        value.directEffects,
+        value.transitiveEffects,
+        value.interop,
+        value.reachableFailures,
+        value.panic,
+        value.discard,
+    ];
+}
+function canonicalSourceEvidence(values, path) {
+    if (!Array.isArray(values))
+        throw new SemanticSnapshotError(path, 'expected an array');
+    const result = values.map((value, index) => {
+        const itemPath = `${path}[${index}]`;
+        const startOffset = nonNegativeInteger(value.startOffset, `${itemPath}.startOffset`);
+        const endOffset = nonNegativeInteger(value.endOffset, `${itemPath}.endOffset`);
+        if (endOffset < startOffset)
+            throw new SemanticSnapshotError(`${itemPath}.endOffset`, 'must be >= startOffset');
+        return {
+            sourcePath: normalizedSourcePath(value.sourcePath, `${itemPath}.sourcePath`),
+            startOffset,
+            endOffset,
+        };
+    });
+    result.sort((left, right) => compareTuple([left.sourcePath, numericKey(left.startOffset), numericKey(left.endOffset)], [right.sourcePath, numericKey(right.startOffset), numericKey(right.endOffset)]));
+    assertUnique(result.map(item => `${item.sourcePath}\u0000${item.startOffset}\u0000${item.endOffset}`), path, 'source evidence');
+    return result;
+}
+function canonicalPublicAbi(values, path) {
+    if (!Array.isArray(values))
+        throw new SemanticSnapshotError(path, 'expected an array');
+    const result = values.map((value, index) => ({
+        symbol: nonEmptyText(value.symbol, `${path}[${index}].symbol`),
+        declarationKind: nonEmptyText(value.declarationKind, `${path}[${index}].declarationKind`),
+        signature: nonEmptyText(value.signature, `${path}[${index}].signature`),
+    }));
+    result.sort((left, right) => compareTuple([left.symbol, left.declarationKind, left.signature], [right.symbol, right.declarationKind, right.signature]));
+    assertUnique(result.map(item => `${item.symbol}\u0000${item.declarationKind}\u0000${item.signature}`), path, 'public ABI fact');
+    return result;
+}
+function canonicalInterop(values, path) {
+    if (!Array.isArray(values))
+        throw new SemanticSnapshotError(path, 'expected an array');
+    const result = values.map((value, index) => ({
+        specifier: nonEmptyText(value.specifier, `${path}[${index}].specifier`),
+        tier: oneOf(value.tier, ['direct', 'adapter', 'host', 'unsafe', 'unknown'], `${path}[${index}].tier`),
+        assumptions: canonicalTextSet(value.assumptions, `${path}[${index}].assumptions`),
+    }));
+    result.sort((left, right) => compareText(left.specifier, right.specifier));
+    assertUnique(result.map(item => item.specifier), path, 'interop specifier');
+    return result;
+}
+function summarizeCoverage(roots) {
+    let modeled = 0;
+    let partial = 0;
+    let opaque = 0;
+    let unknown = 0;
+    for (const root of roots) {
+        switch (root.coverage) {
+            case 'modeled':
+                modeled += 1;
+                break;
+            case 'partial':
+                partial += 1;
+                break;
+            case 'opaque':
+                opaque += 1;
+                break;
+            case 'unknown':
+                unknown += 1;
+                break;
+        }
+    }
+    return {
+        enumeratedRoots: roots.length,
+        modeled,
+        partial,
+        opaque,
+        unknown,
+        allEnumeratedRootsModeled: roots.length > 0 && partial === 0 && opaque === 0 && unknown === 0,
+    };
+}
+function assertNoCaseCollidingSourcePaths(roots) {
+    const seen = new Map();
+    for (const root of roots) {
+        for (const dimension of dimensionStates(root.dimensions)) {
+            for (const evidence of dimension.sourceEvidence) {
+                const sourcePath = evidence.sourcePath.normalize('NFC');
+                const folded = sourcePath.toLowerCase();
+                const previous = seen.get(folded);
+                if (previous !== undefined && previous !== sourcePath) {
+                    throw new SemanticSnapshotError('$.roots', `case-colliding source paths are not allowed: ${previous}, ${sourcePath}`);
+                }
+                seen.set(folded, sourcePath);
+            }
+        }
+    }
+}
+function canonicalTextSet(values, path) {
+    if (!Array.isArray(values))
+        throw new SemanticSnapshotError(path, 'expected an array');
+    const result = values.map((value, index) => nonEmptyText(value, `${path}[${index}]`)).sort(compareText);
+    assertUnique(result, path, 'value');
+    return result;
+}
+function normalizedSourcePath(value, path) {
+    const text = nonEmptyText(value, path).replaceAll('\\', '/').normalize('NFC');
+    if (text.startsWith('/') || /^[A-Za-z]:\//u.test(text))
+        throw new SemanticSnapshotError(path, 'absolute paths are not allowed');
+    if (/^[A-Za-z][A-Za-z0-9+.-]*:/u.test(text))
+        throw new SemanticSnapshotError(path, 'URI-scheme source paths are not allowed');
+    const parts = [];
+    for (const segment of text.split('/')) {
+        if (segment.length === 0 || segment === '.')
+            continue;
+        if (segment === '..')
+            throw new SemanticSnapshotError(path, 'parent path segments are not allowed');
+        parts.push(segment);
+    }
+    if (parts.length === 0)
+        throw new SemanticSnapshotError(path, 'path must identify a source');
+    return parts.join('/');
+}
+function nullableSha256(value, path) {
+    return value === null ? null : sha256(value, path);
+}
+function sha256(value, path) {
+    const text = nonEmptyText(value, path).toLowerCase();
+    if (!SHA256_PATTERN.test(text))
+        throw new SemanticSnapshotError(path, 'expected a SHA-256 hex digest');
+    return text;
+}
+function nonEmptyText(value, path) {
+    if (typeof value !== 'string')
+        throw new SemanticSnapshotError(path, 'expected a string');
+    if (value.length === 0 || value.trim().length === 0) {
+        throw new SemanticSnapshotError(path, 'string must contain non-whitespace text');
+    }
+    if (value.includes('\u0000'))
+        throw new SemanticSnapshotError(path, 'NUL is not allowed');
+    return value;
+}
+function nonNegativeInteger(value, path) {
+    if (!Number.isSafeInteger(value) || value < 0)
+        throw new SemanticSnapshotError(path, 'expected a non-negative safe integer');
+    return value;
+}
+function oneOf(value, allowed, path) {
+    if (typeof value !== 'string' || !allowed.includes(value)) {
+        throw new SemanticSnapshotError(path, `expected one of ${allowed.join(', ')}`);
+    }
+    return value;
+}
+function assertUnique(values, path, name) {
+    const sorted = [...values].sort(compareText);
+    for (let index = 1; index < sorted.length; index += 1) {
+        if (sorted[index] === sorted[index - 1])
+            throw new SemanticSnapshotError(path, `duplicate ${name} ${sorted[index]}`);
+    }
+}
+function numericKey(value) {
+    return String(value).padStart(16, '0');
+}
+function compareTuple(left, right) {
+    for (let index = 0; index < Math.max(left.length, right.length); index += 1) {
+        const comparison = compareText(left[index] ?? '', right[index] ?? '');
+        if (comparison !== 0)
+            return comparison;
+    }
+    return 0;
+}
+function compareText(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+//# sourceMappingURL=snapshot.js.map

package/dist/src/semantic-evidence/snapshot.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.js","sourceRoot":"","sources":["../../../src/semantic-evidence/snapshot.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,sCAAsC,GAAG,CAAU,CAAC;AAwGjE,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAEZ;IADV,IAAI,GAAG,uBAAuB,CAAC;IACxD,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,cAAc,GAAG,iBAAiB,CAAC;AAEzC;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,kCAAkC,CACjD,KAA8B;IAE9B,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,kBAAkB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,WAAW,KAAK,GAAG,CAAC,CAAC,CAAC;IACzF,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IAC9D,gCAAgC,CAAC,KAAK,CAAC,CAAC;IACxC,OAAO;QACN,OAAO,EAAE,sCAAsC;QAC/C,YAAY,EAAE,IAAI;QAClB,OAAO;QACP,SAAS;QACT,QAAQ,EAAE,iBAAiB,CAAC,KAAK,CAAC;QAClC,KAAK;KACL,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qCAAqC,CAAC,KAA8B;IACnF,OAAO,IAAI,CAAC,SAAS,CAAC,kCAAkC,CAAC,KAAK,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA6B;IACtD,OAAO;QACN,eAAe,EAAE,YAAY,CAAC,KAAK,CAAC,eAAe,EAAE,2BAA2B,CAAC;QACjF,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,CAAU,EAAE,oBAAoB,CAAC;QAC9F,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,OAAO,EAAE,mBAAmB,CAAC;QACzD,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,0BAA0B,CAAC;QACxE,oBAAoB,EAAE,MAAM,CAAC,KAAK,CAAC,oBAAoB,EAAE,gCAAgC,CAAC;QAC1F,qBAAqB,EAAE,MAAM,CAAC,KAAK,CAAC,qBAAqB,EAAE,iCAAiC,CAAC;QAC7F,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,wBAAwB,CAAC;QAClE,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,yBAAyB,CAAC;QACrE,yBAAyB,EAAE,MAAM,CAAC,KAAK,CAAC,yBAAyB,EAAE,qCAAqC,CAAC;QACzG,qBAAqB,EAAE,cAAc,CAAC,KAAK,CAAC,qBAAqB,EAAE,iCAAiC,CAAC;QACrG,mBAAmB,EAAE,cAAc,CAAC,KAAK,CAAC,mBAAmB,EAAE,+BAA+B,CAAC;KAC/F,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAA0B;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,cAAc,EAAE,SAAS,CAAU,EAAE,oBAAoB,CAAC,CAAC;IAC/F,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,KAAK,CAAC,mBAAmB,EAAE,iCAAiC,CAAC,CAAC;IAC3G,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,KAAK,CAAC,mBAAmB,EAAE,iCAAiC,CAAC,CAAC;IAC3G,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,qBAAqB,CAAC,iCAAiC,EAAE,8CAA8C,CAAC,CAAC;IACpH,CAAC;IACD,MAAM,OAAO,GAAG,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,qBAAqB,CAAC,aAAa,EAAE,sDAAsD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5H,CAAC;IACD,IAAI,MAAM,KAAK,cAAc,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,qBAAqB,CAAC,iCAAiC,EAAE,gDAAgD,CAAC,CAAC;IACtH,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,qBAAqB,CAAC,iCAAiC,EAAE,yDAAyD,CAAC,CAAC;IAC/H,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,aAAa,CAAC,KAA0B,EAAE,IAAY;IAC9D,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,CAAC,CAAC;IAC/E,MAAM,SAAS,GAAG,kBAAkB,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;IAC3E,MAAM,aAAa,GAAG,gBAAgB,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,IAAI,gBAAgB,CAAC,CAAC;IACrF,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,KAAK,CAAC,iBAAiB,EAAE,GAAG,IAAI,oBAAoB,CAAC,CAAC;IACjG,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC;IACnE,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,KAAK,CAAC,iBAAiB,EAAE,GAAG,IAAI,oBAAoB,CAAC,CAAC;IACjG,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,CAAU,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;IACrF,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,CAAU,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC;IAE3F,IAAI,UAAU,CAAC,iBAAiB,CAAC,QAAQ,KAAK,SAAS;WACnD,CAAC,UAAU,CAAC,aAAa,CAAC,QAAQ,KAAK,QAAQ,IAAI,UAAU,CAAC,aAAa,CAAC,QAAQ,KAAK,SAAS,CAAC,EAAE,CAAC;QACzG,MAAM,IAAI,qBAAqB,CAC9B,GAAG,IAAI,wCAAwC,EAC/C,qFAAqF,CACrF,CAAC;IACH,CAAC;IACD,IAAI,UAAU,CAAC,iBAAiB,CAAC,QAAQ,KAAK,SAAS,IAAI,UAAU,CAAC,iBAAiB,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChH,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;YACpC,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzC,MAAM,IAAI,qBAAqB,CAAC,GAAG,IAAI,oBAAoB,EAAE,GAAG,UAAU,CAAC,iBAAiB,CAAC,QAAQ,kDAAkD,MAAM,EAAE,CAAC,CAAC;YAClK,CAAC;QACF,CAAC;IACF,CAAC;IACD,IAAI,UAAU,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACpE,MAAM,IAAI,qBAAqB,CAAC,GAAG,IAAI,QAAQ,EAAE,6DAA6D,CAAC,CAAC;IACjH,CAAC;IACD,IAAI,UAAU,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACxE,MAAM,IAAI,qBAAqB,CAAC,GAAG,IAAI,UAAU,EAAE,+DAA+D,CAAC,CAAC;IACrH,CAAC;IACD,IAAI,UAAU,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;QAChG,MAAM,IAAI,qBAAqB,CAAC,GAAG,IAAI,UAAU,EAAE,mEAAmE,CAAC,CAAC;IACzH,CAAC;IAED,OAAO;QACN,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC;QAC9C,QAAQ,EAAE,0BAA0B,CAAC,UAAU,CAAC;QAChD,UAAU;QACV,oBAAoB,EAAE,MAAM,CAAC,KAAK,CAAC,oBAAoB,EAAE,GAAG,IAAI,uBAAuB,CAAC;QACxF,SAAS;QACT,aAAa;QACb,iBAAiB;QACjB,OAAO;QACP,iBAAiB;QACjB,KAAK;QACL,OAAO;KACP,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAgC,EAAE,IAAY;IAC1E,OAAO;QACN,SAAS,EAAE,uBAAuB,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,CAAC;QACxE,aAAa,EAAE,uBAAuB,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,IAAI,gBAAgB,CAAC;QACpF,iBAAiB,EAAE,uBAAuB,CAAC,KAAK,CAAC,iBAAiB,EAAE,GAAG,IAAI,oBAAoB,CAAC;QAChG,OAAO,EAAE,uBAAuB,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,CAAC;QAClE,iBAAiB,EAAE,uBAAuB,CAAC,KAAK,CAAC,iBAAiB,EAAE,GAAG,IAAI,oBAAoB,CAAC;QAChG,KAAK,EAAE,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,CAAC;QAC5D,OAAO,EAAE,uBAAuB,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,CAAC;KAClE,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,KAA+B,EAAE,IAAY;IAC7E,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAU,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC;IACjH,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC;IACnE,MAAM,WAAW,GAAG,gBAAgB,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC;IAC/E,MAAM,cAAc,GAAG,uBAAuB,CAAC,KAAK,CAAC,cAAc,EAAE,GAAG,IAAI,iBAAiB,CAAC,CAAC;IAC/F,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,qBAAqB,CAAC,GAAG,IAAI,iBAAiB,EAAE,gDAAgD,CAAC,CAAC;IAC7G,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,qBAAqB,CAAC,GAAG,IAAI,UAAU,EAAE,oDAAoD,CAAC,CAAC;IAC1G,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,qBAAqB,CAAC,GAAG,IAAI,UAAU,EAAE,GAAG,QAAQ,iDAAiD,CAAC,CAAC;IAClH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAgC;IACnE,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjE,IAAI,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IACjD,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC/C,IAAI,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IACjD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED,SAAS,eAAe,CAAC,KAAgC;IACxD,OAAO;QACN,KAAK,CAAC,SAAS;QACf,KAAK,CAAC,aAAa;QACnB,KAAK,CAAC,iBAAiB;QACvB,KAAK,CAAC,OAAO;QACb,KAAK,CAAC,iBAAiB;QACvB,KAAK,CAAC,KAAK;QACX,KAAK,CAAC,OAAO;KACb,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC/B,MAA2C,EAC3C,IAAY;IAEZ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAC1C,MAAM,QAAQ,GAAG,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC;QACrC,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,QAAQ,cAAc,CAAC,CAAC;QACrF,MAAM,SAAS,GAAG,kBAAkB,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,QAAQ,YAAY,CAAC,CAAC;QAC/E,IAAI,SAAS,GAAG,WAAW;YAAE,MAAM,IAAI,qBAAqB,CAAC,GAAG,QAAQ,YAAY,EAAE,wBAAwB,CAAC,CAAC;QAChH,OAAO;YACN,UAAU,EAAE,oBAAoB,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,QAAQ,aAAa,CAAC;YAC5E,WAAW;YACX,SAAS;SACT,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CACxC,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAC3E,CAAC,KAAK,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAC9E,CAAC,CAAC;IACH,YAAY,CACX,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,SAAS,IAAI,CAAC,WAAW,SAAS,IAAI,CAAC,SAAS,EAAE,CAAC,EACxF,IAAI,EACJ,iBAAiB,CACjB,CAAC;IACF,OAAO,MAAM,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAC1B,MAA0C,EAC1C,IAAY;IAEZ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC5C,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,IAAI,IAAI,KAAK,UAAU,CAAC;QAC9D,eAAe,EAAE,YAAY,CAAC,KAAK,CAAC,eAAe,EAAE,GAAG,IAAI,IAAI,KAAK,mBAAmB,CAAC;QACzF,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,IAAI,IAAI,KAAK,aAAa,CAAC;KACvE,CAAC,CAAC,CAAC;IACJ,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CACxC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,SAAS,CAAC,EACnD,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,SAAS,CAAC,CACtD,CAAC,CAAC;IACH,YAAY,CACX,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,SAAS,IAAI,CAAC,eAAe,SAAS,IAAI,CAAC,SAAS,EAAE,CAAC,EACxF,IAAI,EACJ,iBAAiB,CACjB,CAAC;IACF,OAAO,MAAM,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAwC,EAAE,IAAY;IAC/E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC5C,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,IAAI,IAAI,KAAK,aAAa,CAAC;QACvE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAU,EAAE,GAAG,IAAI,IAAI,KAAK,QAAQ,CAAC;QAC9G,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,IAAI,IAAI,KAAK,eAAe,CAAC;KACjF,CAAC,CAAC,CAAC;IACJ,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IAC3E,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,mBAAmB,CAAC,CAAC;IAC5E,OAAO,MAAM,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAwC;IAClE,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;YACvB,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC,CAAC;gBAAC,MAAM;YACpC,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC,CAAC;gBAAC,MAAM;YACpC,KAAK,QAAQ;gBAAE,MAAM,IAAI,CAAC,CAAC;gBAAC,MAAM;YAClC,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC,CAAC;gBAAC,MAAM;QACrC,CAAC;IACF,CAAC;IACD,OAAO;QACN,eAAe,EAAE,KAAK,CAAC,MAAM;QAC7B,OAAO;QACP,OAAO;QACP,MAAM;QACN,OAAO;QACP,yBAAyB,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,MAAM,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC;KAC7F,CAAC;AACH,CAAC;AAED,SAAS,gCAAgC,CAAC,KAAwC;IACjF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,KAAK,MAAM,SAAS,IAAI,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC1D,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,cAAc,EAAE,CAAC;gBACjD,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBACxD,MAAM,MAAM,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;gBACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAClC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;oBACvD,MAAM,IAAI,qBAAqB,CAAC,SAAS,EAAE,gDAAgD,QAAQ,KAAK,UAAU,EAAE,CAAC,CAAC;gBACvH,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YAC9B,CAAC;QACF,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAyB,EAAE,IAAY;IAChE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxG,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACpC,OAAO,MAAM,CAAC;AACf,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAa,EAAE,IAAY;IACxD,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9E,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC;IAChI,IAAI,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,IAAI,EAAE,yCAAyC,CAAC,CAAC;IAC9H,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACvC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,KAAK,GAAG;YAAE,SAAS;QACtD,IAAI,OAAO,KAAK,IAAI;YAAE,MAAM,IAAI,qBAAqB,CAAC,IAAI,EAAE,sCAAsC,CAAC,CAAC;QACpG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrB,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,IAAI,EAAE,6BAA6B,CAAC,CAAC;IAC7F,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,cAAc,CAAC,KAAoB,EAAE,IAAY;IACzD,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,MAAM,CAAC,KAAa,EAAE,IAAY;IAC1C,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IACrD,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,IAAI,EAAE,+BAA+B,CAAC,CAAC;IACvG,OAAO,IAAI,CAAC;AACb,CAAC;AAED,SAAS,YAAY,CAAC,KAAa,EAAE,IAAY;IAChD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;IAC1F,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,qBAAqB,CAAC,IAAI,EAAE,yCAAyC,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAC1F,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa,EAAE,IAAY;IACtD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,IAAI,EAAE,sCAAsC,CAAC,CAAC;IAC7H,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,KAAK,CAAoC,KAAa,EAAE,OAAU,EAAE,IAAY;IACxF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,KAAkB,CAAC;AAC3B,CAAC;AAED,SAAS,YAAY,CAAC,MAAyB,EAAE,IAAY,EAAE,IAAY;IAC1E,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC7C,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,qBAAqB,CAAC,IAAI,EAAE,aAAa,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACtH,CAAC;AACF,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAChC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,YAAY,CAAC,IAAuB,EAAE,KAAwB;IACtE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC7E,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACtE,IAAI,UAAU,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC;IACzC,CAAC;IACD,OAAO,CAAC,CAAC;AACV,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/source.d.ts

@@ -0,0 +1,25 @@
+export type FileId = number;
+export type NodeId = number;
+export type SymbolId = number;
+export type TypeId = number;
+export interface SourceFile {
+    readonly id: FileId;
+    readonly path: string;
+    readonly text: string;
+}
+export interface SourcePosition {
+    readonly offset: number;
+    readonly line: number;
+    readonly column: number;
+}
+export interface SourceSpan {
+    readonly fileId: FileId;
+    readonly start: SourcePosition;
+    readonly end: SourcePosition;
+}
+export declare const zeroSpan: (fileId: FileId) => SourceSpan;
+export declare class IdGenerator {
+    #private;
+    next(): number;
+}
+//# sourceMappingURL=source.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../src/source.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAC5B,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAC5B,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC;AAC9B,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B,MAAM,WAAW,UAAU;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,UAAU;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAC;CAC7B;AAED,eAAO,MAAM,QAAQ,GAAI,QAAQ,MAAM,KAAG,UAIxC,CAAC;AAEH,qBAAa,WAAW;;IAEhB,IAAI,IAAI,MAAM;CACrB"}

package/dist/src/source.js

@@ -0,0 +1,10 @@
+export const zeroSpan = (fileId) => ({
+    fileId,
+    start: { offset: 0, line: 1, column: 1 },
+    end: { offset: 0, line: 1, column: 1 },
+});
+export class IdGenerator {
+    #next = 1;
+    next() { return this.#next++; }
+}
+//# sourceMappingURL=source.js.map

package/dist/src/source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.js","sourceRoot":"","sources":["../../src/source.ts"],"names":[],"mappings":"AAuBA,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,MAAc,EAAc,EAAE,CAAC,CAAC;IACxD,MAAM;IACN,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;IACxC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;CACtC,CAAC,CAAC;AAEH,MAAM,OAAO,WAAW;IACvB,KAAK,GAAG,CAAC,CAAC;IACH,IAAI,KAAa,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC9C"}

package/dist/src/syntax/cst-to-ast.d.ts

@@ -0,0 +1,108 @@
+import type { CstNode, IToken } from 'chevrotain';
+import type * as A from '../ast/nodes.js';
+import { type FileId } from '../source.js';
+import { baseCstVisitorConstructor } from './parser.js';
+type Ctx = Record<string, Array<CstNode | IToken>>;
+export declare class AstBuilder extends baseCstVisitorConstructor {
+    #private;
+    constructor(fileId: FileId);
+    private id;
+    private visitNode;
+    private visitNodes;
+    module(ctx: Ctx): A.ModuleNode;
+    importDeclaration(ctx: Ctx): A.ImportDeclaration;
+    importItem(ctx: Ctx): A.ImportItem;
+    declaration(ctx: Ctx): A.Declaration;
+    attribute(ctx: Ctx): A.AttributeNode;
+    functionDeclaration(ctx: Ctx): A.FunctionDeclaration;
+    componentDeclaration(ctx: Ctx): A.ComponentDeclaration;
+    typeParameters(ctx: Ctx): A.TypeParameterNode[];
+    parameterList(ctx: Ctx): A.ParameterNode[];
+    parameter(ctx: Ctx): A.ParameterNode;
+    usesClause(ctx: Ctx): string[];
+    recordDeclaration(ctx: Ctx): A.RecordDeclaration;
+    recordField(ctx: Ctx): A.RecordFieldNode;
+    derivesClause(ctx: Ctx): string[];
+    enumDeclaration(ctx: Ctx): A.EnumDeclaration;
+    enumVariant(ctx: Ctx): A.EnumVariantNode;
+    newtypeDeclaration(ctx: Ctx): A.NewtypeDeclaration;
+    typeAliasDeclaration(ctx: Ctx): A.TypeAliasDeclaration;
+    externDeclaration(ctx: Ctx): A.ExternDeclaration;
+    externFunction(ctx: Ctx): A.ExternFunctionNode;
+    testDeclaration(ctx: Ctx): A.TestDeclaration;
+    topLevelLetDeclaration(ctx: Ctx): A.TopLevelLetDeclaration;
+    typeReference(ctx: Ctx): A.TypeReferenceNode;
+    functionTypeReference(ctx: Ctx): A.FunctionTypeReference;
+    block(ctx: Ctx): A.BlockStatement;
+    statement(ctx: Ctx): A.Statement;
+    letStatement(ctx: Ctx): A.LetStatement;
+    returnStatement(ctx: Ctx): A.ReturnStatement;
+    ifStatement(ctx: Ctx): A.IfStatement;
+    forStatement(ctx: Ctx): A.ForStatement;
+    whileStatement(ctx: Ctx): A.WhileStatement;
+    breakStatement(ctx: Ctx): A.BreakStatement;
+    continueStatement(ctx: Ctx): A.ContinueStatement;
+    discardStatement(ctx: Ctx): A.DiscardStatement;
+    assignmentStatement(ctx: Ctx): A.AssignmentStatement | A.MemberAssignmentStatement | A.IndexAssignmentStatement;
+    deferStatement(ctx: Ctx): A.DeferStatement;
+    expressionStatement(ctx: Ctx): A.ExpressionStatement;
+    lineEnd(): undefined;
+    expression(ctx: Ctx): A.Expression;
+    pipelineExpression(ctx: Ctx): A.Expression;
+    orExpression(ctx: Ctx): A.Expression;
+    andExpression(ctx: Ctx): A.Expression;
+    equalityExpression(ctx: Ctx): A.Expression;
+    comparisonExpression(ctx: Ctx): A.Expression;
+    additiveExpression(ctx: Ctx): A.Expression;
+    multiplicativeExpression(ctx: Ctx): A.Expression;
+    unaryExpression(ctx: Ctx): A.Expression;
+    postfixExpression(ctx: Ctx): A.Expression;
+    indexSuffix(ctx: Ctx): A.Expression;
+    typeArguments(ctx: Ctx): A.TypeReferenceNode[];
+    argumentList(ctx: Ctx): A.Expression[];
+    primaryExpression(ctx: Ctx): A.Expression;
+    viewExpression(ctx: Ctx): A.ViewExpression;
+    viewBlock(ctx: Ctx): A.ViewBlock;
+    viewChild(ctx: Ctx): A.ViewChild;
+    viewElement(ctx: Ctx): A.ViewElement;
+    viewTag(ctx: Ctx): string[];
+    viewPropertyList(ctx: Ctx): A.ViewProperty[];
+    viewProperty(ctx: Ctx): A.ViewProperty;
+    viewConditional(ctx: Ctx): A.ViewConditional;
+    viewRepetition(ctx: Ctx): A.ViewRepetition;
+    viewTextChild(ctx: Ctx): A.ViewTextChild;
+    viewExpressionChild(ctx: Ctx): A.ViewExpressionChild;
+    viewChildrenSlot(ctx: Ctx): A.ViewChildrenSlot;
+    recordExpression(ctx: Ctx): A.RecordExpression;
+    recordFieldBlock(ctx: Ctx): A.RecordEntryNode[];
+    recordEntry(ctx: Ctx): A.RecordEntryNode;
+    contextualAggregateExpression(ctx: Ctx): A.ContextualAggregateExpression;
+    contextualAggregateEntry(ctx: Ctx): A.ContextualAggregateEntryNode;
+    listExpression(ctx: Ctx): A.ListExpression;
+    parenthesizedOrTupleExpression(ctx: Ctx): A.Expression;
+    conditionalExpression(ctx: Ctx): A.ConditionalExpression;
+    matchExpression(ctx: Ctx): A.MatchExpression;
+    matchArm(ctx: Ctx): A.MatchArmNode;
+    pattern(ctx: Ctx): A.Pattern;
+    orPattern(ctx: Ctx): A.Pattern;
+    primaryPattern(ctx: Ctx): A.Pattern;
+    rangePattern(ctx: Ctx): A.RangePattern;
+    listPattern(ctx: Ctx): A.ListPattern;
+    tuplePattern(ctx: Ctx): A.TuplePattern;
+    variantPattern(ctx: Ctx): A.VariantPattern;
+    recordPattern(ctx: Ctx): A.RecordPattern;
+    recordPatternField(ctx: Ctx): A.RecordPatternField;
+    lambdaExpression(ctx: Ctx): A.LambdaExpression;
+    lambdaParameterList(ctx: Ctx): A.LambdaParameterNode[];
+    lambdaParameter(ctx: Ctx): A.LambdaParameterNode;
+    parallelExpression(ctx: Ctx): A.ParallelExpression;
+    parallelEntry(ctx: Ctx): A.ParallelEntryNode;
+    private foldBinary;
+    private literal;
+    private mergeSpan;
+    private spanFromChildren;
+    private currentNode;
+}
+export declare function buildAst(fileId: FileId, cst: CstNode): A.ModuleNode;
+export {};
+//# sourceMappingURL=cst-to-ast.d.ts.map

package/dist/src/syntax/cst-to-ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cst-to-ast.d.ts","sourceRoot":"","sources":["../../../src/syntax/cst-to-ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,KAAK,KAAK,CAAC,MAAM,iBAAiB,CAAC;AAC1C,OAAO,EAAe,KAAK,MAAM,EAA6B,MAAM,cAAc,CAAC;AACnF,OAAO,EAAE,yBAAyB,EAAE,MAAM,aAAa,CAAC;AAGxD,KAAK,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC;AA4CnD,qBAAa,UAAW,SAAQ,yBAAyB;;gBAIrC,MAAM,EAAE,MAAM;IAMjC,OAAO,CAAC,EAAE;IACV,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,UAAU;IAEX,MAAM,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU;IAM9B,iBAAiB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,iBAAiB;IAmBhD,UAAU,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU;IAKlC,WAAW,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,WAAW;IASpC,SAAS,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,aAAa;IAIpC,mBAAmB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,mBAAmB;IAcpD,oBAAoB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,oBAAoB;IAUtD,cAAc,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,iBAAiB,EAAE;IAC/C,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,aAAa,EAAE;IAC1C,SAAS,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,aAAa;IACpC,UAAU,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,EAAE;IAE9B,iBAAiB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,iBAAiB;IAGhD,WAAW,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,eAAe;IACxC,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,EAAE;IACjC,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,eAAe;IAC5C,WAAW,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,eAAe;IACxC,kBAAkB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,kBAAkB;IAClD,oBAAoB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,oBAAoB;IACtD,iBAAiB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,iBAAiB;IAChD,cAAc,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,kBAAkB;IAC9C,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,eAAe;IAC5C,sBAAsB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,sBAAsB;IAE1D,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,iBAAiB;IAY5C,qBAAqB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,qBAAqB;IAKxD,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,cAAc;IACjC,SAAS,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,SAAS;IAChC,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,YAAY;IACtC,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,eAAe;IAC5C,WAAW,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,WAAW;IACpC,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,YAAY;IACtC,cAAc,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,cAAc;IAC1C,cAAc,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,cAAc;IAC1C,iBAAiB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,iBAAiB;IAChD,gBAAgB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,gBAAgB;IAC9C,mBAAmB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,mBAAmB,GAAG,CAAC,CAAC,yBAAyB,GAAG,CAAC,CAAC,wBAAwB;IAS/G,cAAc,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,cAAc;IAC1C,mBAAmB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,mBAAmB;IACpD,OAAO,IAAI,SAAS;IAEpB,UAAU,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU;IAClC,kBAAkB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU;IAC1C,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU;IACpC,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU;IACrC,kBAAkB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU;IAC1C,oBAAoB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU;IAC5C,kBAAkB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU;IAC1C,wBAAwB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU;IAEhD,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU;IAcvC,iBAAiB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU;IAoCzC,WAAW,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU;IACnC,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,iBAAiB,EAAE;IAE9C,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU,EAAE;IACtC,iBAAiB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU;IAYzC,cAAc,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,cAAc;IAC1C,SAAS,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,SAAS;IAChC,SAAS,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,SAAS;IAMhC,WAAW,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,WAAW;IACpC,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,EAAE;IAC3B,gBAAgB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,YAAY,EAAE;IAC5C,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,YAAY;IAKtC,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,eAAe;IAK5C,cAAc,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,cAAc;IAW1C,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,aAAa;IACxC,mBAAmB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,mBAAmB;IACpD,gBAAgB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,gBAAgB;IAE9C,gBAAgB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,gBAAgB;IAC9C,gBAAgB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,eAAe,EAAE;IAC/C,WAAW,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,eAAe;IACxC,6BAA6B,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,6BAA6B;IACxE,wBAAwB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,4BAA4B;IAClE,cAAc,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,cAAc;IAC1C,8BAA8B,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU;IACtD,qBAAqB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,qBAAqB;IACxD,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,eAAe;IAC5C,QAAQ,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,YAAY;IAClC,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,OAAO;IAC5B,SAAS,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,OAAO;IAI9B,cAAc,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,OAAO;IASnC,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,YAAY;IACtC,WAAW,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,WAAW;IAMpC,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,YAAY;IACtC,cAAc,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,cAAc;IAC1C,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,aAAa;IACxC,kBAAkB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,kBAAkB;IAClD,gBAAgB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,gBAAgB;IAU9C,mBAAmB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,mBAAmB,EAAE;IACtD,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,mBAAmB;IAChD,kBAAkB,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,kBAAkB;IAClD,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,iBAAiB;IAEnD,OAAO,CAAC,UAAU;IAWlB,OAAO,CAAC,OAAO;IAcf,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,WAAW;CACnB;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,CAAC,CAAC,UAAU,CAA8D"}