@flighthq/tool-compiler 0.5.1-edge.1687.b63c819

package/dist/packages/compiler-structural/src/compilerStructuralTypeAssignability.js

@@ -0,0 +1,261 @@
+export function analyzeIrTypeStructuralAssignability(source, target) {
+    const result = analyzeIrTypeStructuralAssignabilityPair(source, target, [], { ancestors: new WeakMap() });
+    return Object.freeze({
+        diagnostics: Object.freeze(result.diagnostics.map((diagnostic) => Object.freeze({ ...diagnostic, path: Object.freeze([...diagnostic.path]) }))),
+        schema: 'flight-compiler-structural-type-assignability/1',
+        status: result.status,
+    });
+}
+export function isCompilerStructuralTypeAssignabilityFailure(value) {
+    return (value instanceof Error &&
+        'kind' in value &&
+        value.kind === 'compiler-structural-type-assignability' &&
+        'code' in value &&
+        compilerStructuralTypeAssignabilityFailureCodes.has(value.code) &&
+        'path' in value &&
+        Array.isArray(value.path) &&
+        value.path.every((segment) => typeof segment === 'string' || typeof segment === 'number'));
+}
+function analyzeIrTypeStructuralAssignabilityPair(source, target, path, state) {
+    if (!source || !target || typeof source !== 'object' || typeof target !== 'object') {
+        return createStructuralAssignabilityDiagnostic('type-incompatible', 'incompatible', path, 'Structural assignability requires two type records');
+    }
+    const targets = state.ancestors.get(source) ?? new WeakSet();
+    if (targets.has(target)) {
+        throw createCompilerStructuralTypeAssignabilityFailure('cyclic-type', path, 'Structural type values cannot be cyclic');
+    }
+    targets.add(target);
+    state.ancestors.set(source, targets);
+    try {
+        if (source.kind === 'never')
+            return compatibleStructuralAssignability();
+        if (target.kind === 'unknown' && (target.source === 'any' || target.source === 'unknown')) {
+            return compatibleStructuralAssignability();
+        }
+        if (source.kind === 'unknown' &&
+            source.source === 'object' &&
+            target.kind === 'unknown' &&
+            target.source === 'object') {
+            return compatibleStructuralAssignability();
+        }
+        if (source.kind === 'union')
+            return analyzeIrSourceUnionAssignability(source.types, target, path, state);
+        if (target.kind === 'union')
+            return analyzeIrTargetUnionAssignability(source, target.types, path, state);
+        if (source.kind === 'unknown' || target.kind === 'unknown') {
+            return createStructuralAssignabilityDiagnostic('unknown-type-indeterminate', 'indeterminate', path, 'Unknown, object, any, and this evidence requires semantic narrowing before assignment');
+        }
+        if (source.kind === 'literal' && target.kind === 'primitive' && typeof source.value === target.name) {
+            return compatibleStructuralAssignability();
+        }
+        switch (source.kind) {
+            case 'array':
+                if (target.kind !== 'array')
+                    return incompatibleTypeStructuralAssignability(source, target, path);
+                return analyzeIrArrayTypeStructuralAssignability(source, target, path, state);
+            case 'function':
+                if (target.kind !== 'function')
+                    return incompatibleTypeStructuralAssignability(source, target, path);
+                return analyzeIrFunctionTypeStructuralAssignability(source, target, path, state);
+            case 'literal':
+                return target.kind === 'literal' && Object.is(source.value, target.value)
+                    ? compatibleStructuralAssignability()
+                    : incompatibleTypeStructuralAssignability(source, target, path);
+            case 'named':
+                if (target.kind !== 'named')
+                    return incompatibleTypeStructuralAssignability(source, target, path);
+                return analyzeIrNamedTypeStructuralAssignability(source, target, path, state);
+            case 'null':
+                return target.kind === 'null'
+                    ? compatibleStructuralAssignability()
+                    : incompatibleTypeStructuralAssignability(source, target, path);
+            case 'undefined':
+                return target.kind === 'undefined'
+                    ? compatibleStructuralAssignability()
+                    : incompatibleTypeStructuralAssignability(source, target, path);
+            case 'object':
+                if (target.kind !== 'object')
+                    return incompatibleTypeStructuralAssignability(source, target, path);
+                return analyzeIrObjectTypeStructuralAssignability(source.properties, target.properties, path, state);
+            case 'primitive':
+                return target.kind === 'primitive' && source.name === target.name
+                    ? compatibleStructuralAssignability()
+                    : incompatibleTypeStructuralAssignability(source, target, path);
+            case 'tuple':
+                if (target.kind !== 'tuple')
+                    return incompatibleTypeStructuralAssignability(source, target, path);
+                return analyzeIrTupleTypeStructuralAssignability(source, target, path, state);
+            case 'indexedAccess':
+            case 'conditionalFacet':
+            case 'intersection':
+            case 'keyof':
+            case 'typeOf':
+                if (target.kind !== source.kind)
+                    return incompatibleTypeStructuralAssignability(source, target, path);
+                return createStructuralAssignabilityDiagnostic('type-operator-indeterminate', 'indeterminate', path, `Structural assignability for ${source.kind} requires semantic resolution`);
+        }
+    }
+    finally {
+        targets.delete(target);
+    }
+}
+function analyzeIrArrayTypeStructuralAssignability(source, target, path, state) {
+    if (source.readonly && !target.readonly)
+        return readonlyContainerStructuralAssignability(path);
+    const forward = analyzeIrTypeStructuralAssignabilityPair(source.element, target.element, [...path, 'element'], state);
+    if (target.readonly || forward.status !== 'compatible')
+        return forward;
+    return combineStructuralAssignabilityResults([
+        forward,
+        analyzeIrTypeStructuralAssignabilityPair(target.element, source.element, [...path, 'element'], state),
+    ]);
+}
+function analyzeIrFunctionTypeStructuralAssignability(source, target, path, state) {
+    if (source.typeParameters.length > 0 || target.typeParameters.length > 0) {
+        return createStructuralAssignabilityDiagnostic('generic-callable-indeterminate', 'indeterminate', path, 'Generic callable assignability requires type-parameter instantiation evidence');
+    }
+    const sourceRequired = source.parameters.filter((parameter) => !parameter.optional && !parameter.rest).length;
+    const targetRequired = target.parameters.filter((parameter) => !parameter.optional && !parameter.rest).length;
+    const sourceRest = source.parameters.find((parameter) => parameter.rest);
+    if (sourceRequired > targetRequired) {
+        return createStructuralAssignabilityDiagnostic('callable-parameter-cardinality-incompatible', 'incompatible', [...path, 'parameters'], 'Source callable cannot accept every target call cardinality');
+    }
+    const results = [];
+    target.parameters.forEach((parameter, index) => {
+        const sourceParameter = source.parameters[index] ?? sourceRest;
+        if (sourceParameter) {
+            results.push(analyzeIrTypeStructuralAssignabilityPair(parameter.type, sourceParameter.type, [...path, 'parameters', index], state));
+        }
+    });
+    results.push(analyzeIrTypeStructuralAssignabilityPair(source.returns, target.returns, [...path, 'returns'], state));
+    return combineStructuralAssignabilityResults(results);
+}
+function analyzeIrNamedTypeStructuralAssignability(source, target, path, state) {
+    const sourceIdentity = getIrTypeReferenceStructuralIdentity(source);
+    const targetIdentity = getIrTypeReferenceStructuralIdentity(target);
+    if (sourceIdentity !== targetIdentity || source.typeArguments.length !== target.typeArguments.length) {
+        return createStructuralAssignabilityDiagnostic('named-type-indeterminate', 'indeterminate', path, 'Distinct named types require declaration resolution before structural assignment');
+    }
+    return combineStructuralAssignabilityResults(source.typeArguments.flatMap((argument, index) => {
+        const targetArgument = target.typeArguments[index];
+        return [
+            analyzeIrTypeStructuralAssignabilityPair(argument, targetArgument, [...path, 'typeArguments', index], state),
+            analyzeIrTypeStructuralAssignabilityPair(targetArgument, argument, [...path, 'typeArguments', index], state),
+        ];
+    }));
+}
+function analyzeIrObjectTypeStructuralAssignability(source, target, path, state) {
+    const sourceProperties = createIrObjectTypePropertyMap(source, [...path, 'source', 'properties']);
+    createIrObjectTypePropertyMap(target, [...path, 'target', 'properties']);
+    const results = [];
+    target.forEach((targetProperty) => {
+        const propertyPath = [...path, 'properties', targetProperty.name];
+        const sourceProperty = sourceProperties.get(targetProperty.name);
+        if (!sourceProperty) {
+            if (!targetProperty.optional) {
+                results.push(createStructuralAssignabilityDiagnostic('missing-required-property', 'incompatible', propertyPath, `Required property ${targetProperty.name} is missing`));
+            }
+            return;
+        }
+        if (sourceProperty.optional && !targetProperty.optional) {
+            results.push(createStructuralAssignabilityDiagnostic('optional-member-incompatible', 'incompatible', propertyPath, `Optional property ${targetProperty.name} cannot satisfy a required property`));
+        }
+        if (sourceProperty.readonly && !targetProperty.readonly) {
+            results.push(createStructuralAssignabilityDiagnostic('readonly-member-incompatible', 'incompatible', propertyPath, `Readonly property ${targetProperty.name} cannot satisfy mutable storage`));
+        }
+        results.push(analyzeIrTypeStructuralAssignabilityPair(sourceProperty.type, targetProperty.type, propertyPath, state));
+    });
+    return combineStructuralAssignabilityResults(results);
+}
+function analyzeIrTupleTypeStructuralAssignability(source, target, path, state) {
+    if (source.readonly && !target.readonly)
+        return readonlyContainerStructuralAssignability(path);
+    const sourceRest = source.elements.find((element) => element.rest);
+    const targetRest = target.elements.find((element) => element.rest);
+    const sourceFixed = source.elements.filter((element) => !element.rest);
+    const targetFixed = target.elements.filter((element) => !element.rest);
+    if ((!targetRest && (sourceRest || sourceFixed.length > targetFixed.length)) ||
+        targetFixed.some((element, index) => !element.optional && (!sourceFixed[index] || sourceFixed[index].optional))) {
+        return createStructuralAssignabilityDiagnostic('tuple-cardinality-incompatible', 'incompatible', [...path, 'elements'], 'Source tuple cardinality cannot satisfy the target tuple');
+    }
+    const results = [];
+    targetFixed.forEach((element, index) => {
+        const sourceElement = sourceFixed[index];
+        if (sourceElement) {
+            results.push(analyzeIrTypeStructuralAssignabilityPair(sourceElement.type, element.type, [...path, 'elements', index], state));
+        }
+    });
+    if (targetRest) {
+        sourceFixed
+            .slice(targetFixed.length)
+            .forEach((element, index) => results.push(analyzeIrTypeStructuralAssignabilityPair(element.type, targetRest.type, [...path, 'elements', targetFixed.length + index], state)));
+        if (sourceRest) {
+            results.push(analyzeIrTypeStructuralAssignabilityPair(sourceRest.type, targetRest.type, [...path, 'elements', 'rest'], state));
+        }
+    }
+    return combineStructuralAssignabilityResults(results);
+}
+function analyzeIrSourceUnionAssignability(sources, target, path, state) {
+    return combineStructuralAssignabilityResults(sources.map((source, index) => analyzeIrTypeStructuralAssignabilityPair(source, target, [...path, 'types', index], state)));
+}
+function analyzeIrTargetUnionAssignability(source, targets, path, state) {
+    const alternatives = targets.map((target, index) => analyzeIrTypeStructuralAssignabilityPair(source, target, [...path, 'types', index], state));
+    if (alternatives.some((alternative) => alternative.status === 'compatible'))
+        return compatibleStructuralAssignability();
+    const indeterminate = alternatives.some((alternative) => alternative.status === 'indeterminate');
+    return createStructuralAssignabilityDiagnostic(indeterminate ? 'union-target-indeterminate' : 'union-target-incompatible', indeterminate ? 'indeterminate' : 'incompatible', path, indeterminate
+        ? 'No target union branch is proven compatible and at least one requires semantic resolution'
+        : 'Source type is incompatible with every target union branch');
+}
+function createIrObjectTypePropertyMap(properties, path) {
+    const result = new Map();
+    properties.forEach((property, index) => {
+        if (result.has(property.name)) {
+            throw createCompilerStructuralTypeAssignabilityFailure('duplicate-object-property', [...path, index], `Structural type property ${property.name} is duplicated`);
+        }
+        result.set(property.name, property);
+    });
+    return result;
+}
+function getIrTypeReferenceStructuralIdentity(type) {
+    return type.reference.kind === 'ambient'
+        ? `ambient:${type.reference.name}`
+        : `binding:${type.reference.binding.id}:${type.reference.path.join('.')}`;
+}
+function combineStructuralAssignabilityResults(results) {
+    const diagnostics = results.flatMap((result) => result.diagnostics);
+    return {
+        diagnostics,
+        status: diagnostics.some((diagnostic) => diagnostic.disposition === 'incompatible')
+            ? 'incompatible'
+            : diagnostics.length > 0
+                ? 'indeterminate'
+                : 'compatible',
+    };
+}
+function compatibleStructuralAssignability() {
+    return { diagnostics: [], status: 'compatible' };
+}
+function createStructuralAssignabilityDiagnostic(code, disposition, path, message) {
+    return { diagnostics: [{ code, disposition, message, path }], status: disposition };
+}
+function incompatibleTypeStructuralAssignability(source, target, path) {
+    return createStructuralAssignabilityDiagnostic('type-incompatible', 'incompatible', path, `Source ${source.kind} type is incompatible with target ${target.kind} type`);
+}
+function readonlyContainerStructuralAssignability(path) {
+    return createStructuralAssignabilityDiagnostic('readonly-container-incompatible', 'incompatible', path, 'Readonly source storage cannot satisfy a mutable target container');
+}
+function createCompilerStructuralTypeAssignabilityFailure(code, path, message) {
+    const failure = Object.assign(new Error(message), {
+        code,
+        kind: 'compiler-structural-type-assignability',
+        path: Object.freeze([...path]),
+    });
+    failure.name = 'CompilerStructuralTypeAssignabilityError';
+    return failure;
+}
+const compilerStructuralTypeAssignabilityFailureCodes = new Set([
+    'cyclic-type',
+    'duplicate-object-property',
+]);
+//# sourceMappingURL=compilerStructuralTypeAssignability.js.map

package/dist/packages/compiler-structural/src/compilerStructuralTypeAssignability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerStructuralTypeAssignability.js","sourceRoot":"","sources":["../../../../../compiler-structural/src/compilerStructuralTypeAssignability.ts"],"names":[],"mappings":"AAoBA,MAAM,UAAU,oCAAoC,CAClD,MAAwB,EACxB,MAAwB;IAExB,MAAM,MAAM,GAAG,wCAAwC,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,OAAO,EAAE,EAAE,CAAC,CAAC;IAC1G,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,WAAW,EAAE,MAAM,CAAC,MAAM,CACxB,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CACpC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAC5E,CACF;QACD,MAAM,EAAE,iDAAiD;QACzD,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,4CAA4C,CAC1D,KAAc;IAEd,OAAO,CACL,KAAK,YAAY,KAAK;QACtB,MAAM,IAAI,KAAK;QACf,KAAK,CAAC,IAAI,KAAK,wCAAwC;QACvD,MAAM,IAAI,KAAK;QACf,+CAA+C,CAAC,GAAG,CAAC,KAAK,CAAC,IAAsD,CAAC;QACjH,MAAM,IAAI,KAAK;QACf,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,OAAO,KAAK,QAAQ,CAAC,CAC1F,CAAC;AACJ,CAAC;AAED,SAAS,wCAAwC,CAC/C,MAAwB,EACxB,MAAwB,EACxB,IAA6B,EAC7B,KAA6C;IAE7C,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QACnF,OAAO,uCAAuC,CAC5C,mBAAmB,EACnB,cAAc,EACd,IAAI,EACJ,oDAAoD,CACrD,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,EAAU,CAAC;IACrE,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACxB,MAAM,gDAAgD,CACpD,aAAa,EACb,IAAI,EACJ,yCAAyC,CAC1C,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpB,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACrC,IAAI,CAAC;QACH,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,iCAAiC,EAAE,CAAC;QACxE,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,KAAK,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;YAC1F,OAAO,iCAAiC,EAAE,CAAC;QAC7C,CAAC;QACD,IACE,MAAM,CAAC,IAAI,KAAK,SAAS;YACzB,MAAM,CAAC,MAAM,KAAK,QAAQ;YAC1B,MAAM,CAAC,IAAI,KAAK,SAAS;YACzB,MAAM,CAAC,MAAM,KAAK,QAAQ,EAC1B,CAAC;YACD,OAAO,iCAAiC,EAAE,CAAC;QAC7C,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,iCAAiC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACzG,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,iCAAiC,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACzG,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3D,OAAO,uCAAuC,CAC5C,4BAA4B,EAC5B,eAAe,EACf,IAAI,EACJ,uFAAuF,CACxF,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;YACpG,OAAO,iCAAiC,EAAE,CAAC;QAC7C,CAAC;QACD,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,OAAO;gBACV,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;oBAAE,OAAO,uCAAuC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBAClG,OAAO,yCAAyC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YAChF,KAAK,UAAU;gBACb,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;oBAAE,OAAO,uCAAuC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBACrG,OAAO,4CAA4C,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YACnF,KAAK,SAAS;gBACZ,OAAO,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC;oBACvE,CAAC,CAAC,iCAAiC,EAAE;oBACrC,CAAC,CAAC,uCAAuC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACpE,KAAK,OAAO;gBACV,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;oBAAE,OAAO,uCAAuC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBAClG,OAAO,yCAAyC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YAChF,KAAK,MAAM;gBACT,OAAO,MAAM,CAAC,IAAI,KAAK,MAAM;oBAC3B,CAAC,CAAC,iCAAiC,EAAE;oBACrC,CAAC,CAAC,uCAAuC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACpE,KAAK,WAAW;gBACd,OAAO,MAAM,CAAC,IAAI,KAAK,WAAW;oBAChC,CAAC,CAAC,iCAAiC,EAAE;oBACrC,CAAC,CAAC,uCAAuC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACpE,KAAK,QAAQ;gBACX,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,uCAAuC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBACnG,OAAO,0CAA0C,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YACvG,KAAK,WAAW;gBACd,OAAO,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;oBAC/D,CAAC,CAAC,iCAAiC,EAAE;oBACrC,CAAC,CAAC,uCAAuC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACpE,KAAK,OAAO;gBACV,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;oBAAE,OAAO,uCAAuC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBAClG,OAAO,yCAAyC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YAChF,KAAK,eAAe,CAAC;YACrB,KAAK,kBAAkB,CAAC;YACxB,KAAK,cAAc,CAAC;YACpB,KAAK,OAAO,CAAC;YACb,KAAK,QAAQ;gBACX,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;oBAAE,OAAO,uCAAuC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBACtG,OAAO,uCAAuC,CAC5C,6BAA6B,EAC7B,eAAe,EACf,IAAI,EACJ,gCAAgC,MAAM,CAAC,IAAI,+BAA+B,CAC3E,CAAC;QACN,CAAC;IACH,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;AACH,CAAC;AAED,SAAS,yCAAyC,CAChD,MAAoD,EACpD,MAAoD,EACpD,IAA6B,EAC7B,KAA6C;IAE7C,IAAI,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ;QAAE,OAAO,wCAAwC,CAAC,IAAI,CAAC,CAAC;IAC/F,MAAM,OAAO,GAAG,wCAAwC,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;IACtH,IAAI,MAAM,CAAC,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,YAAY;QAAE,OAAO,OAAO,CAAC;IACvE,OAAO,qCAAqC,CAAC;QAC3C,OAAO;QACP,wCAAwC,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC;KACtG,CAAC,CAAC;AACL,CAAC;AAED,SAAS,4CAA4C,CACnD,MAAuD,EACvD,MAAuD,EACvD,IAA6B,EAC7B,KAA6C;IAE7C,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzE,OAAO,uCAAuC,CAC5C,gCAAgC,EAChC,eAAe,EACf,IAAI,EACJ,+EAA+E,CAChF,CAAC;IACJ,CAAC;IACD,MAAM,cAAc,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IAC9G,MAAM,cAAc,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IAC9G,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACzE,IAAI,cAAc,GAAG,cAAc,EAAE,CAAC;QACpC,OAAO,uCAAuC,CAC5C,6CAA6C,EAC7C,cAAc,EACd,CAAC,GAAG,IAAI,EAAE,YAAY,CAAC,EACvB,6DAA6D,CAC9D,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAoC,EAAE,CAAC;IACpD,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QAC7C,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,UAAU,CAAC;QAC/D,IAAI,eAAe,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CACV,wCAAwC,CACtC,SAAS,CAAC,IAAI,EACd,eAAe,CAAC,IAAI,EACpB,CAAC,GAAG,IAAI,EAAE,YAAY,EAAE,KAAK,CAAC,EAC9B,KAAK,CACN,CACF,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,IAAI,CAAC,wCAAwC,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACpH,OAAO,qCAAqC,CAAC,OAAO,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,yCAAyC,CAChD,MAAoD,EACpD,MAAoD,EACpD,IAA6B,EAC7B,KAA6C;IAE7C,MAAM,cAAc,GAAG,oCAAoC,CAAC,MAAM,CAAC,CAAC;IACpE,MAAM,cAAc,GAAG,oCAAoC,CAAC,MAAM,CAAC,CAAC;IACpE,IAAI,cAAc,KAAK,cAAc,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;QACrG,OAAO,uCAAuC,CAC5C,0BAA0B,EAC1B,eAAe,EACf,IAAI,EACJ,kFAAkF,CACnF,CAAC;IACJ,CAAC;IACD,OAAO,qCAAqC,CAC1C,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QAC/C,MAAM,cAAc,GAAG,MAAM,CAAC,aAAa,CAAC,KAAK,CAAE,CAAC;QACpD,OAAO;YACL,wCAAwC,CAAC,QAAQ,EAAE,cAAc,EAAE,CAAC,GAAG,IAAI,EAAE,eAAe,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC;YAC5G,wCAAwC,CAAC,cAAc,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,EAAE,eAAe,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC;SAC7G,CAAC;IACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,0CAA0C,CACjD,MAAiD,EACjD,MAAiD,EACjD,IAA6B,EAC7B,KAA6C;IAE7C,MAAM,gBAAgB,GAAG,6BAA6B,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;IAClG,6BAA6B,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;IACzE,MAAM,OAAO,GAAoC,EAAE,CAAC;IACpD,MAAM,CAAC,OAAO,CAAC,CAAC,cAAc,EAAE,EAAE;QAChC,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,EAAE,YAAY,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC;QAClE,MAAM,cAAc,GAAG,gBAAgB,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QACjE,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC;gBAC7B,OAAO,CAAC,IAAI,CACV,uCAAuC,CACrC,2BAA2B,EAC3B,cAAc,EACd,YAAY,EACZ,qBAAqB,cAAc,CAAC,IAAI,aAAa,CACtD,CACF,CAAC;YACJ,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,cAAc,CAAC,QAAQ,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC;YACxD,OAAO,CAAC,IAAI,CACV,uCAAuC,CACrC,8BAA8B,EAC9B,cAAc,EACd,YAAY,EACZ,qBAAqB,cAAc,CAAC,IAAI,qCAAqC,CAC9E,CACF,CAAC;QACJ,CAAC;QACD,IAAI,cAAc,CAAC,QAAQ,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC;YACxD,OAAO,CAAC,IAAI,CACV,uCAAuC,CACrC,8BAA8B,EAC9B,cAAc,EACd,YAAY,EACZ,qBAAqB,cAAc,CAAC,IAAI,iCAAiC,CAC1E,CACF,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,IAAI,CACV,wCAAwC,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,CAAC,CACxG,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO,qCAAqC,CAAC,OAAO,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,yCAAyC,CAChD,MAAoD,EACpD,MAAoD,EACpD,IAA6B,EAC7B,KAA6C;IAE7C,IAAI,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ;QAAE,OAAO,wCAAwC,CAAC,IAAI,CAAC,CAAC;IAC/F,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACnE,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACvE,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACvE,IACE,CAAC,CAAC,UAAU,IAAI,CAAC,UAAU,IAAI,WAAW,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QACxE,WAAW,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,EAC/G,CAAC;QACD,OAAO,uCAAuC,CAC5C,gCAAgC,EAChC,cAAc,EACd,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC,EACrB,0DAA0D,CAC3D,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAoC,EAAE,CAAC;IACpD,WAAW,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QACrC,MAAM,aAAa,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,aAAa,EAAE,CAAC;YAClB,OAAO,CAAC,IAAI,CACV,wCAAwC,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAChH,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAI,UAAU,EAAE,CAAC;QACf,WAAW;aACR,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;aACzB,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAC1B,OAAO,CAAC,IAAI,CACV,wCAAwC,CACtC,OAAO,CAAC,IAAI,EACZ,UAAU,CAAC,IAAI,EACf,CAAC,GAAG,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC,MAAM,GAAG,KAAK,CAAC,EACjD,KAAK,CACN,CACF,CACF,CAAC;QACJ,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CACV,wCAAwC,CACtC,UAAU,CAAC,IAAI,EACf,UAAU,CAAC,IAAI,EACf,CAAC,GAAG,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,EAC7B,KAAK,CACN,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,qCAAqC,CAAC,OAAO,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,iCAAiC,CACxC,OAA0B,EAC1B,MAAwB,EACxB,IAA6B,EAC7B,KAA6C;IAE7C,OAAO,qCAAqC,CAC1C,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAC5B,wCAAwC,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAC3F,CACF,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC,CACxC,MAAwB,EACxB,OAA0B,EAC1B,IAA6B,EAC7B,KAA6C;IAE7C,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CACjD,wCAAwC,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAC3F,CAAC;IACF,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,KAAK,YAAY,CAAC;QACzE,OAAO,iCAAiC,EAAE,CAAC;IAC7C,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,KAAK,eAAe,CAAC,CAAC;IACjG,OAAO,uCAAuC,CAC5C,aAAa,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,2BAA2B,EAC1E,aAAa,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,EAChD,IAAI,EACJ,aAAa;QACX,CAAC,CAAC,2FAA2F;QAC7F,CAAC,CAAC,4DAA4D,CACjE,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CACpC,UAAqD,EACrD,IAA6B;IAE7B,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0C,CAAC;IACjE,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QACrC,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,gDAAgD,CACpD,2BAA2B,EAC3B,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,EAChB,4BAA4B,QAAQ,CAAC,IAAI,gBAAgB,CAC1D,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oCAAoC,CAAC,IAAkD;IAC9F,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS;QACtC,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE;QAClC,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED,SAAS,qCAAqC,CAC5C,OAA2D;IAE3D,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACpE,OAAO;QACL,WAAW;QACX,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,KAAK,cAAc,CAAC;YACjF,CAAC,CAAC,cAAc;YAChB,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;gBACtB,CAAC,CAAC,eAAe;gBACjB,CAAC,CAAC,YAAY;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC;IACxC,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,uCAAuC,CAC9C,IAAuD,EACvD,WAAyE,EACzE,IAA6B,EAC7B,OAAe;IAEf,OAAO,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;AACtF,CAAC;AAED,SAAS,uCAAuC,CAC9C,MAAwB,EACxB,MAAwB,EACxB,IAA6B;IAE7B,OAAO,uCAAuC,CAC5C,mBAAmB,EACnB,cAAc,EACd,IAAI,EACJ,UAAU,MAAM,CAAC,IAAI,qCAAqC,MAAM,CAAC,IAAI,OAAO,CAC7E,CAAC;AACJ,CAAC;AAED,SAAS,wCAAwC,CAAC,IAA6B;IAC7E,OAAO,uCAAuC,CAC5C,iCAAiC,EACjC,cAAc,EACd,IAAI,EACJ,mEAAmE,CACpE,CAAC;AACJ,CAAC;AAED,SAAS,gDAAgD,CACvD,IAAoD,EACpD,IAA6B,EAC7B,OAAe;IAEf,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE;QAChD,IAAI;QACJ,IAAI,EAAE,wCAAiD;QACvD,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;KAC/B,CAAC,CAAC;IACH,OAAO,CAAC,IAAI,GAAG,0CAA0C,CAAC;IAC1D,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,+CAA+C,GAAG,IAAI,GAAG,CAAiD;IAC9G,aAAa;IACb,2BAA2B;CAC5B,CAAC,CAAC"}

package/dist/packages/compiler-structural/src/compilerStructuralTypeShapeIdentity.d.ts

@@ -0,0 +1,4 @@
+import type { CompilerStructuralTypeShapeFailure, CompilerStructuralTypeShapeIdentity, IrObjectTypeProperty } from '../../compiler-types/src/index.js';
+export declare function createIrObjectTypeShapeIdentity(properties: readonly Readonly<IrObjectTypeProperty>[]): CompilerStructuralTypeShapeIdentity;
+export declare function isCompilerStructuralTypeShapeFailure(value: unknown): value is CompilerStructuralTypeShapeFailure;
+//# sourceMappingURL=compilerStructuralTypeShapeIdentity.d.ts.map

package/dist/packages/compiler-structural/src/compilerStructuralTypeShapeIdentity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerStructuralTypeShapeIdentity.d.ts","sourceRoot":"","sources":["../../../../../compiler-structural/src/compilerStructuralTypeShapeIdentity.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAEV,kCAAkC,EAElC,mCAAmC,EACnC,oBAAoB,EAKrB,MAAM,mCAAmC,CAAC;AAO3C,wBAAgB,+BAA+B,CAC7C,UAAU,EAAE,SAAS,QAAQ,CAAC,oBAAoB,CAAC,EAAE,GACpD,mCAAmC,CAOrC;AAED,wBAAgB,oCAAoC,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,kCAAkC,CAahH"}

package/dist/packages/compiler-structural/src/compilerStructuralTypeShapeIdentity.js

@@ -0,0 +1,168 @@
+import { compareTextCodeUnits, normalizeCompilerStructuralValueCanonical, } from '../../compiler-canonical-form/src/index.js';
+export function createIrObjectTypeShapeIdentity(properties) {
+    const canonical = createIrTypeCanonical({ kind: 'object', properties }, { ancestors: new Set(), typeParameters: new Map() }, []);
+    return `flight-structural-type-shape/1:${canonical}`;
+}
+export function isCompilerStructuralTypeShapeFailure(value) {
+    return (value instanceof Error &&
+        'kind' in value &&
+        value.kind === 'compiler-structural-type-shape' &&
+        'code' in value &&
+        (value.code === 'cyclic-type' ||
+            value.code === 'duplicate-object-property' ||
+            value.code === 'non-finite-literal') &&
+        'path' in value &&
+        Array.isArray(value.path) &&
+        value.path.every((segment) => typeof segment === 'string' || typeof segment === 'number'));
+}
+function createIrTypeCanonical(type, context, path) {
+    if (context.ancestors.has(type)) {
+        throw createCompilerStructuralTypeShapeFailure('cyclic-type', path, 'Structural type values cannot be cyclic');
+    }
+    context.ancestors.add(type);
+    try {
+        switch (type.kind) {
+            case 'array':
+                return normalizeCompilerStructuralValueCanonical([
+                    'array',
+                    type.readonly,
+                    createIrTypeCanonical(type.element, context, [...path, 'element']),
+                ]);
+            case 'conditionalFacet':
+                return normalizeCompilerStructuralValueCanonical([
+                    'conditionalFacet',
+                    createIrTypeCanonical(type.check, context, [...path, 'check']),
+                    type.path,
+                    createIrTypeCanonical(type.facet, context, [...path, 'facet']),
+                ]);
+            case 'function':
+                return createIrFunctionTypeCanonical(type, context, path);
+            case 'indexedAccess':
+                return normalizeCompilerStructuralValueCanonical([
+                    'indexedAccess',
+                    createIrTypeCanonical(type.object, context, [...path, 'object']),
+                    createIrTypeCanonical(type.index, context, [...path, 'index']),
+                ]);
+            case 'intersection':
+            case 'union':
+                return createIrCompoundTypeCanonical(type, context, path);
+            case 'keyof':
+                return normalizeCompilerStructuralValueCanonical([
+                    'keyof',
+                    createIrTypeCanonical(type.type, context, [...path, 'type']),
+                ]);
+            case 'literal':
+                if (typeof type.value === 'number' && !Number.isFinite(type.value)) {
+                    throw createCompilerStructuralTypeShapeFailure('non-finite-literal', [...path, 'value'], 'Structural type literals require finite numbers');
+                }
+                return normalizeCompilerStructuralValueCanonical(['literal', type.value]);
+            case 'named':
+                return normalizeCompilerStructuralValueCanonical([
+                    'named',
+                    createIrTypeNameReferenceCanonical(type.reference, context),
+                    type.typeArguments.map((argument, index) => createIrTypeCanonical(argument, context, [...path, 'typeArguments', index])),
+                ]);
+            case 'never':
+            case 'null':
+            case 'undefined':
+                return normalizeCompilerStructuralValueCanonical([type.kind]);
+            case 'object':
+                return createIrObjectTypeCanonical(type.properties, context, path);
+            case 'primitive':
+                return normalizeCompilerStructuralValueCanonical(['primitive', type.name]);
+            case 'tuple':
+                return normalizeCompilerStructuralValueCanonical([
+                    'tuple',
+                    type.readonly,
+                    type.elements.map((element, index) => [
+                        element.optional,
+                        element.rest,
+                        createIrTypeCanonical(element.type, context, [...path, 'elements', index, 'type']),
+                    ]),
+                ]);
+            case 'typeOf':
+                return normalizeCompilerStructuralValueCanonical([
+                    'typeOf',
+                    createIrValueNameReferenceCanonical(type.reference),
+                ]);
+            case 'unknown':
+                return normalizeCompilerStructuralValueCanonical(['unknown', type.source]);
+        }
+    }
+    finally {
+        context.ancestors.delete(type);
+    }
+}
+function createIrCompoundTypeCanonical(type, context, path) {
+    const members = type.types
+        .map((member, index) => createIrTypeCanonical(member, context, [...path, 'types', index]))
+        .sort(compareTextCodeUnits)
+        .filter((member, index, values) => index === 0 || member !== values[index - 1]);
+    return members.length === 1 ? members[0] : normalizeCompilerStructuralValueCanonical([type.kind, members]);
+}
+function createIrFunctionTypeCanonical(type, context, path) {
+    const typeParameters = new Map(context.typeParameters);
+    const offset = typeParameters.size;
+    type.typeParameters.forEach((parameter, index) => typeParameters.set(parameter.binding.id, offset + index));
+    const nestedContext = { ancestors: context.ancestors, typeParameters };
+    return normalizeCompilerStructuralValueCanonical([
+        'function',
+        type.typeParameters.map((parameter, index) => createIrTypeParameterCanonical(parameter, nestedContext, [...path, 'typeParameters', index])),
+        type.parameters.map((parameter, index) => [
+            parameter.optional,
+            parameter.rest,
+            createIrTypeCanonical(parameter.type, nestedContext, [...path, 'parameters', index, 'type']),
+        ]),
+        createIrTypeCanonical(type.returns, nestedContext, [...path, 'returns']),
+    ]);
+}
+function createIrObjectTypeCanonical(properties, context, path) {
+    const ordered = properties
+        .map((property, index) => ({ index, property }))
+        .sort((left, right) => compareTextCodeUnits(left.property.name, right.property.name));
+    for (let index = 1; index < ordered.length; index += 1) {
+        if (ordered[index - 1].property.name === ordered[index].property.name) {
+            const duplicate = ordered[index];
+            throw createCompilerStructuralTypeShapeFailure('duplicate-object-property', [...path, 'properties', duplicate.index], `Structural type contains duplicate property ${JSON.stringify(duplicate.property.name)}`);
+        }
+    }
+    return normalizeCompilerStructuralValueCanonical([
+        'object',
+        ordered.map(({ index, property }) => [
+            property.computedKey
+                ? ['computed', property.name, createIrValueNameReferenceCanonical(property.computedKey)]
+                : property.name,
+            property.optional,
+            property.phantom === true,
+            property.readonly,
+            createIrTypeCanonical(property.type, context, [...path, 'properties', index, 'type']),
+        ]),
+    ]);
+}
+function createIrTypeNameReferenceCanonical(reference, context) {
+    if (reference.kind === 'ambient')
+        return ['ambient', reference.name];
+    const typeParameter = context.typeParameters.get(reference.binding.id);
+    return typeParameter === undefined
+        ? ['binding', reference.binding.id, reference.binding.space, reference.path]
+        : ['typeParameter', typeParameter, reference.path];
+}
+function createIrTypeParameterCanonical(parameter, context, path) {
+    return [
+        parameter.constraint ? createIrTypeCanonical(parameter.constraint, context, [...path, 'constraint']) : ['absent'],
+        parameter.default ? createIrTypeCanonical(parameter.default, context, [...path, 'default']) : ['absent'],
+    ];
+}
+function createIrValueNameReferenceCanonical(reference) {
+    return reference.kind === 'ambient' ? ['ambient', reference.name] : ['binding', reference.binding.id, reference.path];
+}
+function createCompilerStructuralTypeShapeFailure(code, path, message) {
+    const failure = Object.assign(new Error(message), {
+        code,
+        kind: 'compiler-structural-type-shape',
+        path: Object.freeze([...path]),
+    });
+    failure.name = 'CompilerStructuralTypeShapeError';
+    return failure;
+}
+//# sourceMappingURL=compilerStructuralTypeShapeIdentity.js.map

package/dist/packages/compiler-structural/src/compilerStructuralTypeShapeIdentity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerStructuralTypeShapeIdentity.js","sourceRoot":"","sources":["../../../../../compiler-structural/src/compilerStructuralTypeShapeIdentity.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,yCAAyC,GAC1C,MAAM,4CAA4C,CAAC;AAkBpD,MAAM,UAAU,+BAA+B,CAC7C,UAAqD;IAErD,MAAM,SAAS,GAAG,qBAAqB,CACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAC9B,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,cAAc,EAAE,IAAI,GAAG,EAAE,EAAE,EACnD,EAAE,CACH,CAAC;IACF,OAAO,kCAAkC,SAAS,EAAE,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,oCAAoC,CAAC,KAAc;IACjE,OAAO,CACL,KAAK,YAAY,KAAK;QACtB,MAAM,IAAI,KAAK;QACf,KAAK,CAAC,IAAI,KAAK,gCAAgC;QAC/C,MAAM,IAAI,KAAK;QACf,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa;YAC3B,KAAK,CAAC,IAAI,KAAK,2BAA2B;YAC1C,KAAK,CAAC,IAAI,KAAK,oBAAoB,CAAC;QACtC,MAAM,IAAI,KAAK;QACf,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,OAAO,KAAK,QAAQ,CAAC,CAC1F,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAsB,EACtB,OAAuC,EACvC,IAA6B;IAE7B,IAAI,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,wCAAwC,CAAC,aAAa,EAAE,IAAI,EAAE,yCAAyC,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,CAAC;QACH,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,OAAO;gBACV,OAAO,yCAAyC,CAAC;oBAC/C,OAAO;oBACP,IAAI,CAAC,QAAQ;oBACb,qBAAqB,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC;iBACnE,CAAC,CAAC;YACL,KAAK,kBAAkB;gBACrB,OAAO,yCAAyC,CAAC;oBAC/C,kBAAkB;oBAClB,qBAAqB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC9D,IAAI,CAAC,IAAI;oBACT,qBAAqB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC;iBAC/D,CAAC,CAAC;YACL,KAAK,UAAU;gBACb,OAAO,6BAA6B,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YAC5D,KAAK,eAAe;gBAClB,OAAO,yCAAyC,CAAC;oBAC/C,eAAe;oBACf,qBAAqB,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC;oBAChE,qBAAqB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC;iBAC/D,CAAC,CAAC;YACL,KAAK,cAAc,CAAC;YACpB,KAAK,OAAO;gBACV,OAAO,6BAA6B,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YAC5D,KAAK,OAAO;gBACV,OAAO,yCAAyC,CAAC;oBAC/C,OAAO;oBACP,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;iBAC7D,CAAC,CAAC;YACL,KAAK,SAAS;gBACZ,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBACnE,MAAM,wCAAwC,CAC5C,oBAAoB,EACpB,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,EAClB,iDAAiD,CAClD,CAAC;gBACJ,CAAC;gBACD,OAAO,yCAAyC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAC5E,KAAK,OAAO;gBACV,OAAO,yCAAyC,CAAC;oBAC/C,OAAO;oBACP,kCAAkC,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC;oBAC3D,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CACzC,qBAAqB,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,eAAe,EAAE,KAAK,CAAC,CAAC,CAC5E;iBACF,CAAC,CAAC;YACL,KAAK,OAAO,CAAC;YACb,KAAK,MAAM,CAAC;YACZ,KAAK,WAAW;gBACd,OAAO,yCAAyC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAChE,KAAK,QAAQ;gBACX,OAAO,2BAA2B,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YACrE,KAAK,WAAW;gBACd,OAAO,yCAAyC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC7E,KAAK,OAAO;gBACV,OAAO,yCAAyC,CAAC;oBAC/C,OAAO;oBACP,IAAI,CAAC,QAAQ;oBACb,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC;wBACpC,OAAO,CAAC,QAAQ;wBAChB,OAAO,CAAC,IAAI;wBACZ,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;qBACnF,CAAC;iBACH,CAAC,CAAC;YACL,KAAK,QAAQ;gBACX,OAAO,yCAAyC,CAAC;oBAC/C,QAAQ;oBACR,mCAAmC,CAAC,IAAI,CAAC,SAAS,CAAC;iBACpD,CAAC,CAAC;YACL,KAAK,SAAS;gBACZ,OAAO,yCAAyC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;AACH,CAAC;AAED,SAAS,6BAA6B,CACpC,IAAmE,EACnE,OAAuC,EACvC,IAA6B;IAE7B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK;SACvB,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;SACzF,IAAI,CAAC,oBAAoB,CAAC;SAC1B,MAAM,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM,KAAK,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IAClF,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,yCAAyC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AAC9G,CAAC;AAED,SAAS,6BAA6B,CACpC,IAAqD,EACrD,OAAuC,EACvC,IAA6B;IAE7B,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC;IACnC,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC;IAC5G,MAAM,aAAa,GAAG,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,CAAC;IACvE,OAAO,yCAAyC,CAAC;QAC/C,UAAU;QACV,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAC3C,8BAA8B,CAAC,SAAS,EAAE,aAAa,EAAE,CAAC,GAAG,IAAI,EAAE,gBAAgB,EAAE,KAAK,CAAC,CAAC,CAC7F;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC;YACxC,SAAS,CAAC,QAAQ;YAClB,SAAS,CAAC,IAAI;YACd,qBAAqB,CAAC,SAAS,CAAC,IAAI,EAAE,aAAa,EAAE,CAAC,GAAG,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;SAC7F,CAAC;QACF,qBAAqB,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC;KACzE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,2BAA2B,CAClC,UAAqD,EACrD,OAAuC,EACvC,IAA6B;IAE7B,MAAM,OAAO,GAAG,UAAU;SACvB,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;SAC/C,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACxF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,OAAO,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,KAAK,CAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YACxE,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAE,CAAC;YAClC,MAAM,wCAAwC,CAC5C,2BAA2B,EAC3B,CAAC,GAAG,IAAI,EAAE,YAAY,EAAE,SAAS,CAAC,KAAK,CAAC,EACxC,+CAA+C,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CACzF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,yCAAyC,CAAC;QAC/C,QAAQ;QACR,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;YACnC,QAAQ,CAAC,WAAW;gBAClB,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,EAAE,mCAAmC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;gBACxF,CAAC,CAAC,QAAQ,CAAC,IAAI;YACjB,QAAQ,CAAC,QAAQ;YACjB,QAAQ,CAAC,OAAO,KAAK,IAAI;YACzB,QAAQ,CAAC,QAAQ;YACjB,qBAAqB,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;SACtF,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kCAAkC,CACzC,SAAwC,EACxC,OAAuC;IAEvC,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IACrE,MAAM,aAAa,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACvE,OAAO,aAAa,KAAK,SAAS;QAChC,CAAC,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC;QAC5E,CAAC,CAAC,CAAC,eAAe,EAAE,aAAa,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,8BAA8B,CACrC,SAAoC,EACpC,OAAuC,EACvC,IAA6B;IAE7B,OAAO;QACL,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,qBAAqB,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QACjH,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;KACzG,CAAC;AACJ,CAAC;AAED,SAAS,mCAAmC,CAAC,SAAyC;IACpF,OAAO,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;AACxH,CAAC;AAED,SAAS,wCAAwC,CAC/C,IAA4C,EAC5C,IAA6B,EAC7B,OAAe;IAEf,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE;QAChD,IAAI;QACJ,IAAI,EAAE,gCAAyC;QAC/C,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;KAC/B,CAAC,CAAC;IACH,OAAO,CAAC,IAAI,GAAG,kCAAkC,CAAC;IAClD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/packages/compiler-structural/src/compilerStructuralTypeShapeInventory.d.ts

@@ -0,0 +1,3 @@
+import type { CompilerStructuralTypeShapeInventory, IrModule } from '../../compiler-types/src/index.js';
+export declare function collectIrModulesStructuralTypeShapes(modules: readonly Readonly<IrModule>[]): CompilerStructuralTypeShapeInventory;
+//# sourceMappingURL=compilerStructuralTypeShapeInventory.d.ts.map

package/dist/packages/compiler-structural/src/compilerStructuralTypeShapeInventory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerStructuralTypeShapeInventory.d.ts","sourceRoot":"","sources":["../../../../../compiler-structural/src/compilerStructuralTypeShapeInventory.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAGV,oCAAoC,EAEpC,QAAQ,EACT,MAAM,mCAAmC,CAAC;AAG3C,wBAAgB,oCAAoC,CAClD,OAAO,EAAE,SAAS,QAAQ,CAAC,QAAQ,CAAC,EAAE,GACrC,oCAAoC,CAmCtC"}

package/dist/packages/compiler-structural/src/compilerStructuralTypeShapeInventory.js

@@ -0,0 +1,50 @@
+import { compareTextCodeUnits, normalizeCompilerStructuralValueCanonical, } from '../../compiler-canonical-form/src/index.js';
+import { analyzeIrModuleTraversal } from '../../compiler-ir-traversal/src/index.js';
+import { createIrObjectTypeShapeIdentity } from './compilerStructuralTypeShapeIdentity.js';
+export function collectIrModulesStructuralTypeShapes(modules) {
+    const occurrences = new Map();
+    for (const module of modules) {
+        analyzeIrModuleTraversal(module, {
+            type(type, path) {
+                if (type.kind !== 'object')
+                    return;
+                const identity = createIrObjectTypeShapeIdentity(type.properties);
+                const occurrence = Object.freeze({
+                    name: module.name,
+                    packageName: module.packageName,
+                    path: Object.freeze([...path]),
+                    source: module.source,
+                });
+                const identityOccurrences = occurrences.get(identity) ?? new Map();
+                identityOccurrences.set(createCompilerStructuralTypeOccurrenceKey(occurrence), occurrence);
+                occurrences.set(identity, identityOccurrences);
+            },
+        });
+    }
+    const shapes = [...occurrences]
+        .sort(([left], [right]) => compareTextCodeUnits(left, right))
+        .map(([identity, identityOccurrences]) => Object.freeze({
+        identity,
+        occurrences: Object.freeze([...identityOccurrences.values()].sort(compareCompilerStructuralTypeOccurrences)),
+    }));
+    return Object.freeze({
+        modules: modules.length,
+        schema: 'flight-compiler-structural-type-shapes/1',
+        shapes: Object.freeze(shapes),
+    });
+}
+function compareCompilerStructuralTypeOccurrences(left, right) {
+    return (compareTextCodeUnits(left.packageName, right.packageName) ||
+        compareTextCodeUnits(left.source, right.source) ||
+        compareTextCodeUnits(left.name, right.name) ||
+        compareTextCodeUnits(normalizeCompilerStructuralValueCanonical(left.path), normalizeCompilerStructuralValueCanonical(right.path)));
+}
+function createCompilerStructuralTypeOccurrenceKey(occurrence) {
+    return normalizeCompilerStructuralValueCanonical([
+        occurrence.packageName,
+        occurrence.source,
+        occurrence.name,
+        occurrence.path,
+    ]);
+}
+//# sourceMappingURL=compilerStructuralTypeShapeInventory.js.map

package/dist/packages/compiler-structural/src/compilerStructuralTypeShapeInventory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerStructuralTypeShapeInventory.js","sourceRoot":"","sources":["../../../../../compiler-structural/src/compilerStructuralTypeShapeInventory.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,yCAAyC,GAC1C,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AAQpF,OAAO,EAAE,+BAA+B,EAAE,MAAM,0CAA0C,CAAC;AAE3F,MAAM,UAAU,oCAAoC,CAClD,OAAsC;IAEtC,MAAM,WAAW,GAAG,IAAI,GAAG,EAGxB,CAAC;IACJ,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,wBAAwB,CAAC,MAAM,EAAE;YAC/B,IAAI,CAAC,IAAI,EAAE,IAAI;gBACb,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO;gBACnC,MAAM,QAAQ,GAAG,+BAA+B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAClE,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;oBAC/B,IAAI,EAAE,MAAM,CAAC,IAAI;oBACjB,WAAW,EAAE,MAAM,CAAC,WAAW;oBAC/B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;oBAC9B,MAAM,EAAE,MAAM,CAAC,MAAM;iBACtB,CAAC,CAAC;gBACH,MAAM,mBAAmB,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;gBACnE,mBAAmB,CAAC,GAAG,CAAC,yCAAyC,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC;gBAC3F,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;YACjD,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAkC,CAAC,GAAG,WAAW,CAAC;SAC3D,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;SAC5D,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,mBAAmB,CAAC,EAAE,EAAE,CACvC,MAAM,CAAC,MAAM,CAAC;QACZ,QAAQ;QACR,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,mBAAmB,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;KAC7G,CAAC,CACH,CAAC;IACJ,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,OAAO,CAAC,MAAM;QACvB,MAAM,EAAE,0CAA0C;QAClD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;KAC9B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,wCAAwC,CAC/C,IAAqD,EACrD,KAAsD;IAEtD,OAAO,CACL,oBAAoB,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC;QACzD,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;QAC/C,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;QAC3C,oBAAoB,CAClB,yCAAyC,CAAC,IAAI,CAAC,IAAI,CAAC,EACpD,yCAAyC,CAAC,KAAK,CAAC,IAAI,CAAC,CACtD,CACF,CAAC;AACJ,CAAC;AAED,SAAS,yCAAyC,CAChD,UAA2D;IAE3D,OAAO,yCAAyC,CAAC;QAC/C,UAAU,CAAC,WAAW;QACtB,UAAU,CAAC,MAAM;QACjB,UAAU,CAAC,IAAI;QACf,UAAU,CAAC,IAAI;KAChB,CAAC,CAAC;AACL,CAAC"}

package/dist/packages/compiler-structural/src/compilerStructuralTypeSubstitution.d.ts

@@ -0,0 +1,5 @@
+import type { CompilerStructuralTypeSubstitutionFailure, CompilerStructuralTypeSubstitutionPlan, IrType, IrTypeParameter } from '../../compiler-types/src/index.js';
+export declare function createIrTypeParameterSubstitutionPlan(parameters: readonly Readonly<IrTypeParameter>[], arguments_: readonly Readonly<IrType>[]): CompilerStructuralTypeSubstitutionPlan;
+export declare function isCompilerStructuralTypeSubstitutionFailure(value: unknown): value is CompilerStructuralTypeSubstitutionFailure;
+export declare function resolveIrTypeStructuralSubstitution(type: Readonly<IrType>, plan: Readonly<CompilerStructuralTypeSubstitutionPlan>): IrType;
+//# sourceMappingURL=compilerStructuralTypeSubstitution.d.ts.map

package/dist/packages/compiler-structural/src/compilerStructuralTypeSubstitution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerStructuralTypeSubstitution.d.ts","sourceRoot":"","sources":["../../../../../compiler-structural/src/compilerStructuralTypeSubstitution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,yCAAyC,EAEzC,sCAAsC,EACtC,MAAM,EACN,eAAe,EAChB,MAAM,mCAAmC,CAAC;AAQ3C,wBAAgB,qCAAqC,CACnD,UAAU,EAAE,SAAS,QAAQ,CAAC,eAAe,CAAC,EAAE,EAChD,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,GACtC,sCAAsC,CA0CxC;AAED,wBAAgB,2CAA2C,CACzD,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,yCAAyC,CAWpD;AAED,wBAAgB,mCAAmC,CACjD,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EACtB,IAAI,EAAE,QAAQ,CAAC,sCAAsC,CAAC,GACrD,MAAM,CA4BR"}