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

package/dist/packages/compiler-types/src/compilerRustOwnershipContract.d.ts

@@ -0,0 +1,25 @@
+import type { IrBindingIdentity } from './compilerBindingIntermediateRepresentation.js';
+import type { CompilerModuleIdentity } from './compilerSourceIdentity.js';
+import type { CompilerIrTraversalPath } from './compilerTraversalObserverContract.js';
+import type { IrType } from './compilerTypeIntermediateRepresentation.js';
+export type CompilerRustOwnershipBoundary = 'closureCapture' | 'statementValueCarrier' | 'structuralRecord' | 'suspension';
+export interface CompilerRustOwnershipUseEvidence {
+    readonly kind: 'read' | 'rebind' | 'referentMutation';
+    readonly path: CompilerIrTraversalPath;
+}
+export interface CompilerRustOwnershipBindingEvidence {
+    readonly binding: IrBindingIdentity;
+    readonly boundaries: readonly CompilerRustOwnershipBoundary[];
+    readonly declaration: 'immutable' | 'mutable' | 'parameter';
+    readonly mutation: 'bindingAndReferent' | 'bindingReassigned' | 'none' | 'referentMutated';
+    readonly reuse: 'multiple' | 'single' | 'unused';
+    readonly storage: 'indeterminate' | 'sharedIdentity' | 'valueSemantic';
+    readonly type: IrType;
+    readonly uses: readonly CompilerRustOwnershipUseEvidence[];
+}
+export interface CompilerRustOwnershipEvidence {
+    readonly bindings: readonly CompilerRustOwnershipBindingEvidence[];
+    readonly module: CompilerModuleIdentity;
+    readonly schema: 'flight-compiler-rust-ownership-evidence/1';
+}
+//# sourceMappingURL=compilerRustOwnershipContract.d.ts.map

package/dist/packages/compiler-types/src/compilerRustOwnershipContract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerRustOwnershipContract.d.ts","sourceRoot":"","sources":["../../../../../compiler-types/src/compilerRustOwnershipContract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gDAAgD,CAAC;AACxF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACtF,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,6CAA6C,CAAC;AAE1E,MAAM,MAAM,6BAA6B,GACrC,gBAAgB,GAChB,uBAAuB,GACvB,kBAAkB,GAClB,YAAY,CAAC;AAEjB,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,kBAAkB,CAAC;IACtD,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;CACxC;AAED,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,SAAS,6BAA6B,EAAE,CAAC;IAC9D,QAAQ,CAAC,WAAW,EAAE,WAAW,GAAG,SAAS,GAAG,WAAW,CAAC;IAC5D,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,GAAG,mBAAmB,GAAG,MAAM,GAAG,iBAAiB,CAAC;IAC3F,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACjD,QAAQ,CAAC,OAAO,EAAE,eAAe,GAAG,gBAAgB,GAAG,eAAe,CAAC;IACvE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,gCAAgC,EAAE,CAAC;CAC5D;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,QAAQ,EAAE,SAAS,oCAAoC,EAAE,CAAC;IACnE,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,2CAA2C,CAAC;CAC9D"}

package/dist/packages/compiler-types/src/compilerRustOwnershipContract.js

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

package/dist/packages/compiler-types/src/compilerRustOwnershipContract.js.map

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

package/dist/packages/compiler-types/src/compilerSemanticPatchContract.d.ts

@@ -0,0 +1,80 @@
+import type { IrDeclaration } from './compilerDeclarationIntermediateRepresentation.js';
+import type { IrStatement } from './compilerExecutableIntermediateRepresentation.js';
+import type { IrModule } from './compilerModuleIntermediateRepresentation.js';
+import type { CompilerSourceFingerprint } from './compilerSourceFingerprint.js';
+import type { CompilerExportIdentity } from './compilerSourceIdentity.js';
+import type { IrType } from './compilerTypeIntermediateRepresentation.js';
+export type SemanticPatchTarget = CompilerExportIdentity;
+export type PatchScope = {
+    readonly kind: 'neutral';
+} | {
+    readonly backend: string;
+    readonly kind: 'backend';
+};
+interface BasePatch {
+    readonly expect: {
+        readonly fingerprint: CompilerSourceFingerprint;
+        readonly kind: 'class' | 'enum' | 'function' | 'interface' | 'typeAlias' | 'variable';
+    };
+    readonly id: string;
+    readonly reason: string;
+    readonly scope: PatchScope;
+    readonly target: SemanticPatchTarget;
+}
+export type SemanticPatch = (BasePatch & {
+    readonly operation: 'remove';
+}) | (BasePatch & {
+    readonly name: string;
+    readonly operation: 'rename';
+}) | (BasePatch & {
+    readonly body: readonly IrStatement[];
+    readonly operation: 'replaceBody';
+}) | (BasePatch & {
+    readonly operation: 'replaceType';
+    readonly type: IrType;
+});
+export interface PatchAuditRecord {
+    readonly fingerprint: CompilerSourceFingerprint;
+    readonly id: string;
+    readonly operation: SemanticPatch['operation'];
+    readonly reason: string;
+    readonly scope: PatchScope;
+    readonly target: SemanticPatchTarget;
+}
+export type PatchAuditSkipReason = 'backend-mismatch';
+export interface PatchAuditSkippedRecord extends PatchAuditRecord {
+    readonly skipReason: PatchAuditSkipReason;
+}
+export interface PatchAudit {
+    readonly applied: readonly PatchAuditRecord[];
+    readonly backend: string;
+    readonly schema: 'flight-compiler-patch-audit/2';
+    readonly skipped: readonly PatchAuditSkippedRecord[];
+    readonly summary: {
+        readonly applied: number;
+        readonly skipped: number;
+    };
+}
+export interface AppliedSemanticPatches {
+    readonly audit: PatchAudit;
+    readonly modules: readonly IrModule[];
+}
+export interface SemanticPatchAnalysisChange {
+    readonly after?: IrDeclaration;
+    readonly before: IrDeclaration;
+    readonly patch: PatchAuditRecord;
+}
+export interface SemanticPatchAnalysis {
+    readonly audit: PatchAudit;
+    readonly changes: readonly SemanticPatchAnalysisChange[];
+    readonly schema: 'flight-compiler-patch-analysis/1';
+}
+export type SemanticPatchFailureCode = 'ambiguous-patch-target' | 'conflicting-patch-operation' | 'conflicting-patch-removal' | 'duplicate-patch-id' | 'incompatible-patch-operation' | 'invalid-patch-backend' | 'invalid-patch-expectation' | 'invalid-patch-id' | 'invalid-patch-operation' | 'invalid-patch-reason' | 'invalid-patch-scope' | 'invalid-patch-target' | 'patch-index-desynchronized' | 'patch-kind-mismatch' | 'stale-patch-fingerprint' | 'unmatched-patch-target';
+export interface SemanticPatchFailure extends Error {
+    readonly code: SemanticPatchFailureCode;
+    readonly kind: 'semantic-patch';
+    readonly patchIds: readonly string[];
+    readonly subject: string;
+}
+export {};
+//# sourceMappingURL=compilerSemanticPatchContract.d.ts.map

package/dist/packages/compiler-types/src/compilerSemanticPatchContract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerSemanticPatchContract.d.ts","sourceRoot":"","sources":["../../../../../compiler-types/src/compilerSemanticPatchContract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oDAAoD,CAAC;AACxF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mDAAmD,CAAC;AACrF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,+CAA+C,CAAC;AAC9E,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAChF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,6CAA6C,CAAC;AAE1E,MAAM,MAAM,mBAAmB,GAAG,sBAAsB,CAAC;AAEzD,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAE/G,UAAU,SAAS;IACjB,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,WAAW,EAAE,yBAAyB,CAAC;QAChD,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,GAAG,UAAU,GAAG,WAAW,GAAG,WAAW,GAAG,UAAU,CAAC;KACvF,CAAC;IACF,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;CACtC;AAED,MAAM,MAAM,aAAa,GACrB,CAAC,SAAS,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAA;CAAE,CAAC,GAC9C,CAAC,SAAS,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAA;CAAE,CAAC,GACrE,CAAC,SAAS,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAA;CAAE,CAAC,GAC1F,CAAC,SAAS,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAE/E,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,WAAW,EAAE,yBAAyB,CAAC;IAChD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;CACtC;AAED,MAAM,MAAM,oBAAoB,GAAG,kBAAkB,CAAC;AAEtD,MAAM,WAAW,uBAAwB,SAAQ,gBAAgB;IAC/D,QAAQ,CAAC,UAAU,EAAE,oBAAoB,CAAC;CAC3C;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,+BAA+B,CAAC;IACjD,QAAQ,CAAC,OAAO,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACrD,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;KAC1B,CAAC;CACH;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;CAClC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,2BAA2B,EAAE,CAAC;IACzD,QAAQ,CAAC,MAAM,EAAE,kCAAkC,CAAC;CACrD;AAED,MAAM,MAAM,wBAAwB,GAChC,wBAAwB,GACxB,6BAA6B,GAC7B,2BAA2B,GAC3B,oBAAoB,GACpB,8BAA8B,GAC9B,uBAAuB,GACvB,2BAA2B,GAC3B,kBAAkB,GAClB,yBAAyB,GACzB,sBAAsB,GACtB,qBAAqB,GACrB,sBAAsB,GACtB,4BAA4B,GAC5B,qBAAqB,GACrB,yBAAyB,GACzB,wBAAwB,CAAC;AAE7B,MAAM,WAAW,oBAAqB,SAAQ,KAAK;IACjD,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B"}

package/dist/packages/compiler-types/src/compilerSemanticPatchContract.js

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

package/dist/packages/compiler-types/src/compilerSemanticPatchContract.js.map

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

package/dist/packages/compiler-types/src/compilerSourceFingerprint.d.ts

@@ -0,0 +1,2 @@
+export type CompilerSourceFingerprint = `sha256:${string}`;
+//# sourceMappingURL=compilerSourceFingerprint.d.ts.map

package/dist/packages/compiler-types/src/compilerSourceFingerprint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerSourceFingerprint.d.ts","sourceRoot":"","sources":["../../../../../compiler-types/src/compilerSourceFingerprint.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,yBAAyB,GAAG,UAAU,MAAM,EAAE,CAAC"}

package/dist/packages/compiler-types/src/compilerSourceFingerprint.js

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

package/dist/packages/compiler-types/src/compilerSourceFingerprint.js.map

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

package/dist/packages/compiler-types/src/compilerSourceIdentity.d.ts

@@ -0,0 +1,21 @@
+export interface CompilerSourceIdentity {
+    readonly packageName: string;
+    readonly source: string;
+}
+export interface CompilerModuleIdentity extends CompilerSourceIdentity {
+    readonly name: string;
+}
+export interface CompilerExportIdentity extends CompilerSourceIdentity {
+    readonly exportName: string;
+}
+export interface CompilerSourceLocation extends CompilerSourceIdentity {
+    /** One-based source column. */
+    readonly column: number;
+    /** One-based source line. */
+    readonly line: number;
+}
+export interface CompilerSourceOrigin extends CompilerSourceLocation {
+    readonly fingerprint: CompilerSourceFingerprint;
+}
+import type { CompilerSourceFingerprint } from './compilerSourceFingerprint.js';
+//# sourceMappingURL=compilerSourceIdentity.d.ts.map

package/dist/packages/compiler-types/src/compilerSourceIdentity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerSourceIdentity.d.ts","sourceRoot":"","sources":["../../../../../compiler-types/src/compilerSourceIdentity.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,sBAAuB,SAAQ,sBAAsB;IACpE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,sBAAuB,SAAQ,sBAAsB;IACpE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,sBAAuB,SAAQ,sBAAsB;IACpE,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,6BAA6B;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,oBAAqB,SAAQ,sBAAsB;IAClE,QAAQ,CAAC,WAAW,EAAE,yBAAyB,CAAC;CACjD;AACD,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC"}

package/dist/packages/compiler-types/src/compilerSourceIdentity.js

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

package/dist/packages/compiler-types/src/compilerSourceIdentity.js.map

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

package/dist/packages/compiler-types/src/compilerStatementCompletionContract.d.ts

@@ -0,0 +1,7 @@
+export type CompilerStatementCompletionFailureCode = 'invalid-control-flow-label' | 'invalid-statement-list' | 'unknown-statement-kind';
+export interface CompilerStatementCompletionFailure extends Error {
+    readonly code: CompilerStatementCompletionFailureCode;
+    readonly kind: 'compiler-statement-completion';
+    readonly path: readonly (number | string)[];
+}
+//# sourceMappingURL=compilerStatementCompletionContract.d.ts.map

package/dist/packages/compiler-types/src/compilerStatementCompletionContract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerStatementCompletionContract.d.ts","sourceRoot":"","sources":["../../../../../compiler-types/src/compilerStatementCompletionContract.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,sCAAsC,GAC9C,4BAA4B,GAC5B,wBAAwB,GACxB,wBAAwB,CAAC;AAE7B,MAAM,WAAW,kCAAmC,SAAQ,KAAK;IAC/D,QAAQ,CAAC,IAAI,EAAE,sCAAsC,CAAC;IACtD,QAAQ,CAAC,IAAI,EAAE,+BAA+B,CAAC;IAC/C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;CAC7C"}

package/dist/packages/compiler-types/src/compilerStatementCompletionContract.js

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

package/dist/packages/compiler-types/src/compilerStatementCompletionContract.js.map

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

package/dist/packages/compiler-types/src/compilerStaticFactContract.d.ts

@@ -0,0 +1,71 @@
+import type { IrIndexedReceiver, IrTypedArrayElementWidth, IrTypedArrayReceiver } from './compilerAccessSemanticIntermediateRepresentation.js';
+import type { IrAssignmentOperator, IrBinaryOperator, IrPostfixUnaryOperator, IrPrefixUnaryOperator } from './compilerOperatorIntermediateRepresentation.js';
+import type { IrOperatorOperandDomains, IrOperatorValueDomain } from './compilerOperatorSemanticIntermediateRepresentation.js';
+export type CompilerStaticTruthinessContext = 'conditionalExpression' | 'controlFlowCondition' | 'logicalOperand' | 'negationOperand';
+export type CompilerStaticIndexedAccessMode = 'read' | 'readWrite' | 'write';
+export type CompilerStaticNumericArithmeticFact = Readonly<{
+    kind: 'numericArithmetic';
+    left: IrOperatorOperandDomains;
+    operation: 'assignment';
+    operator: Extract<IrAssignmentOperator, '%=' | '**=' | '*=' | '+=' | '-=' | '/='>;
+    result: 'bigint' | 'number';
+    right: IrOperatorOperandDomains;
+}> | Readonly<{
+    kind: 'numericArithmetic';
+    left: IrOperatorOperandDomains;
+    operation: 'binary';
+    operator: Extract<IrBinaryOperator, '%' | '**' | '*' | '+' | '-' | '/'>;
+    result: 'bigint' | 'number';
+    right: IrOperatorOperandDomains;
+}> | Readonly<{
+    kind: 'numericArithmetic';
+    operand: IrOperatorOperandDomains;
+    operation: 'postfixUnary';
+    operator: IrPostfixUnaryOperator;
+    result: 'bigint' | 'number';
+}> | Readonly<{
+    kind: 'numericArithmetic';
+    operand: IrOperatorOperandDomains;
+    operation: 'prefixUnary';
+    operator: Extract<IrPrefixUnaryOperator, '+' | '++' | '-' | '--'>;
+    result: 'bigint' | 'number';
+}>;
+export type CompilerStaticFactCount = Readonly<{
+    count: number;
+    domain: IrOperatorValueDomain;
+    kind: 'truthiness';
+    context: CompilerStaticTruthinessContext;
+}> | Readonly<{
+    count: number;
+    domain: 'bigint' | 'number';
+    kind: 'numericRelation';
+}> | (CompilerStaticNumericArithmeticFact & Readonly<{
+    count: number;
+}>) | Readonly<{
+    count: number;
+    kind: 'logicalExpression';
+    left: IrOperatorValueDomain;
+    operator: Extract<IrBinaryOperator, '&&' | '||'>;
+    result: IrOperatorValueDomain;
+    right: IrOperatorValueDomain;
+}> | Readonly<{
+    access: CompilerStaticIndexedAccessMode;
+    count: number;
+    kind: 'indexedAccess';
+    receivers: readonly [IrIndexedReceiver, ...IrIndexedReceiver[]];
+}> | Readonly<{
+    count: number;
+    kind: 'typedArraySet';
+    receivers: readonly [IrTypedArrayReceiver, ...IrTypedArrayReceiver[]];
+}> | Readonly<{
+    count: number;
+    kind: 'mixedWidthIndexedWrite';
+    receivers: readonly [IrTypedArrayReceiver, IrTypedArrayReceiver, ...IrTypedArrayReceiver[]];
+    widths: readonly [IrTypedArrayElementWidth, IrTypedArrayElementWidth, ...IrTypedArrayElementWidth[]];
+}>;
+export interface CompilerStaticFactAudit {
+    readonly facts: readonly CompilerStaticFactCount[];
+    readonly modules: number;
+    readonly schema: 'flight-compiler-static-facts/5';
+}
+//# sourceMappingURL=compilerStaticFactContract.d.ts.map

package/dist/packages/compiler-types/src/compilerStaticFactContract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerStaticFactContract.d.ts","sourceRoot":"","sources":["../../../../../compiler-types/src/compilerStaticFactContract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,iBAAiB,EACjB,wBAAwB,EACxB,oBAAoB,EACrB,MAAM,uDAAuD,CAAC;AAC/D,OAAO,KAAK,EACV,oBAAoB,EACpB,gBAAgB,EAChB,sBAAsB,EACtB,qBAAqB,EACtB,MAAM,iDAAiD,CAAC;AACzD,OAAO,KAAK,EACV,wBAAwB,EACxB,qBAAqB,EACtB,MAAM,yDAAyD,CAAC;AAEjE,MAAM,MAAM,+BAA+B,GACvC,uBAAuB,GACvB,sBAAsB,GACtB,gBAAgB,GAChB,iBAAiB,CAAC;AAEtB,MAAM,MAAM,+BAA+B,GAAG,MAAM,GAAG,WAAW,GAAG,OAAO,CAAC;AAE7E,MAAM,MAAM,mCAAmC,GAC3C,QAAQ,CAAC;IACP,IAAI,EAAE,mBAAmB,CAAC;IAC1B,IAAI,EAAE,wBAAwB,CAAC;IAC/B,SAAS,EAAE,YAAY,CAAC;IACxB,QAAQ,EAAE,OAAO,CAAC,oBAAoB,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;IAClF,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC5B,KAAK,EAAE,wBAAwB,CAAC;CACjC,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,mBAAmB,CAAC;IAC1B,IAAI,EAAE,wBAAwB,CAAC;IAC/B,SAAS,EAAE,QAAQ,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC,gBAAgB,EAAE,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC;IACxE,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC5B,KAAK,EAAE,wBAAwB,CAAC;CACjC,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,mBAAmB,CAAC;IAC1B,OAAO,EAAE,wBAAwB,CAAC;IAClC,SAAS,EAAE,cAAc,CAAC;IAC1B,QAAQ,EAAE,sBAAsB,CAAC;IACjC,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAC;CAC7B,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,mBAAmB,CAAC;IAC1B,OAAO,EAAE,wBAAwB,CAAC;IAClC,SAAS,EAAE,aAAa,CAAC;IACzB,QAAQ,EAAE,OAAO,CAAC,qBAAqB,EAAE,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC,CAAC;IAClE,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAC;CAC7B,CAAC,CAAC;AAEP,MAAM,MAAM,uBAAuB,GAC/B,QAAQ,CAAC;IACP,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,qBAAqB,CAAC;IAC9B,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,+BAA+B,CAAC;CAC1C,CAAC,GACF,QAAQ,CAAC;IACP,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,iBAAiB,CAAC;CACzB,CAAC,GACF,CAAC,mCAAmC,GAAG,QAAQ,CAAC;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC,GACnE,QAAQ,CAAC;IACP,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,mBAAmB,CAAC;IAC1B,IAAI,EAAE,qBAAqB,CAAC;IAC5B,QAAQ,EAAE,OAAO,CAAC,gBAAgB,EAAE,IAAI,GAAG,IAAI,CAAC,CAAC;IACjD,MAAM,EAAE,qBAAqB,CAAC;IAC9B,KAAK,EAAE,qBAAqB,CAAC;CAC9B,CAAC,GACF,QAAQ,CAAC;IACP,MAAM,EAAE,+BAA+B,CAAC;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,eAAe,CAAC;IACtB,SAAS,EAAE,SAAS,CAAC,iBAAiB,EAAE,GAAG,iBAAiB,EAAE,CAAC,CAAC;CACjE,CAAC,GACF,QAAQ,CAAC;IACP,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,eAAe,CAAC;IACtB,SAAS,EAAE,SAAS,CAAC,oBAAoB,EAAE,GAAG,oBAAoB,EAAE,CAAC,CAAC;CACvE,CAAC,GACF,QAAQ,CAAC;IACP,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,wBAAwB,CAAC;IAC/B,SAAS,EAAE,SAAS,CAAC,oBAAoB,EAAE,oBAAoB,EAAE,GAAG,oBAAoB,EAAE,CAAC,CAAC;IAC5F,MAAM,EAAE,SAAS,CAAC,wBAAwB,EAAE,wBAAwB,EAAE,GAAG,wBAAwB,EAAE,CAAC,CAAC;CACtG,CAAC,CAAC;AAEP,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,KAAK,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACnD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,gCAAgC,CAAC;CACnD"}

package/dist/packages/compiler-types/src/compilerStaticFactContract.js

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

package/dist/packages/compiler-types/src/compilerStaticFactContract.js.map

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

package/dist/packages/compiler-types/src/compilerStructuralObjectCompatibilityContract.d.ts

@@ -0,0 +1,18 @@
+import type { CompilerModuleIdentity } from './compilerSourceIdentity.js';
+import type { CompilerIrTraversalPath } from './compilerTraversalObserverContract.js';
+export type CompilerStructuralObjectCompatibilityDiagnostic = Readonly<{
+    code: CompilerStructuralObjectCompatibilityDiagnosticCode;
+    disposition: CompilerStructuralObjectCompatibilityDisposition;
+    message: string;
+    path: CompilerIrTraversalPath;
+    property?: string | undefined;
+}>;
+export type CompilerStructuralObjectCompatibilityDiagnosticCode = 'ambiguous-named-construction-target' | 'computed-property-indeterminate' | 'cyclic-construction-target' | 'duplicate-property-requires-normalization' | 'invalid-type-application' | 'missing-required-property' | 'non-structural-construction-target' | 'open-construction-target' | 'spread-membership-indeterminate' | 'unknown-property' | 'unresolved-named-construction-target';
+export type CompilerStructuralObjectCompatibilityDisposition = 'incompatible' | 'indeterminate' | 'requires-lowering';
+export interface CompilerStructuralObjectCompatibilityReport {
+    readonly diagnostics: readonly CompilerStructuralObjectCompatibilityDiagnostic[];
+    readonly module: CompilerModuleIdentity;
+    readonly schema: 'flight-compiler-structural-object-compatibility/1';
+    readonly status: 'compatible' | 'incompatible' | 'indeterminate';
+}
+//# sourceMappingURL=compilerStructuralObjectCompatibilityContract.d.ts.map

package/dist/packages/compiler-types/src/compilerStructuralObjectCompatibilityContract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerStructuralObjectCompatibilityContract.d.ts","sourceRoot":"","sources":["../../../../../compiler-types/src/compilerStructuralObjectCompatibilityContract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AAEtF,MAAM,MAAM,+CAA+C,GAAG,QAAQ,CAAC;IACrE,IAAI,EAAE,mDAAmD,CAAC;IAC1D,WAAW,EAAE,gDAAgD,CAAC;IAC9D,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,uBAAuB,CAAC;IAC9B,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC/B,CAAC,CAAC;AAEH,MAAM,MAAM,mDAAmD,GAC3D,qCAAqC,GACrC,iCAAiC,GACjC,4BAA4B,GAC5B,2CAA2C,GAC3C,0BAA0B,GAC1B,2BAA2B,GAC3B,oCAAoC,GACpC,0BAA0B,GAC1B,iCAAiC,GACjC,kBAAkB,GAClB,sCAAsC,CAAC;AAE3C,MAAM,MAAM,gDAAgD,GAAG,cAAc,GAAG,eAAe,GAAG,mBAAmB,CAAC;AAEtH,MAAM,WAAW,2CAA2C;IAC1D,QAAQ,CAAC,WAAW,EAAE,SAAS,+CAA+C,EAAE,CAAC;IACjF,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,mDAAmD,CAAC;IACrE,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,cAAc,GAAG,eAAe,CAAC;CAClE"}

package/dist/packages/compiler-types/src/compilerStructuralObjectCompatibilityContract.js

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

package/dist/packages/compiler-types/src/compilerStructuralObjectCompatibilityContract.js.map

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

package/dist/packages/compiler-types/src/compilerStructuralTypeAssignabilityContract.d.ts

@@ -0,0 +1,20 @@
+import type { CompilerIrTraversalPath } from './compilerTraversalObserverContract.js';
+export type CompilerStructuralTypeAssignabilityDiagnosticCode = 'callable-parameter-cardinality-incompatible' | 'generic-callable-indeterminate' | 'missing-required-property' | 'named-type-indeterminate' | 'optional-member-incompatible' | 'readonly-container-incompatible' | 'readonly-member-incompatible' | 'tuple-cardinality-incompatible' | 'type-incompatible' | 'type-operator-indeterminate' | 'unknown-type-indeterminate' | 'union-target-incompatible' | 'union-target-indeterminate';
+export interface CompilerStructuralTypeAssignabilityDiagnostic {
+    readonly code: CompilerStructuralTypeAssignabilityDiagnosticCode;
+    readonly disposition: 'incompatible' | 'indeterminate';
+    readonly message: string;
+    readonly path: CompilerIrTraversalPath;
+}
+export interface CompilerStructuralTypeAssignabilityReport {
+    readonly diagnostics: readonly CompilerStructuralTypeAssignabilityDiagnostic[];
+    readonly schema: 'flight-compiler-structural-type-assignability/1';
+    readonly status: 'compatible' | 'incompatible' | 'indeterminate';
+}
+export type CompilerStructuralTypeAssignabilityFailureCode = 'cyclic-type' | 'duplicate-object-property';
+export interface CompilerStructuralTypeAssignabilityFailure extends Error {
+    readonly code: CompilerStructuralTypeAssignabilityFailureCode;
+    readonly kind: 'compiler-structural-type-assignability';
+    readonly path: CompilerIrTraversalPath;
+}
+//# sourceMappingURL=compilerStructuralTypeAssignabilityContract.d.ts.map

package/dist/packages/compiler-types/src/compilerStructuralTypeAssignabilityContract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerStructuralTypeAssignabilityContract.d.ts","sourceRoot":"","sources":["../../../../../compiler-types/src/compilerStructuralTypeAssignabilityContract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AAEtF,MAAM,MAAM,iDAAiD,GACzD,6CAA6C,GAC7C,gCAAgC,GAChC,2BAA2B,GAC3B,0BAA0B,GAC1B,8BAA8B,GAC9B,iCAAiC,GACjC,8BAA8B,GAC9B,gCAAgC,GAChC,mBAAmB,GACnB,6BAA6B,GAC7B,4BAA4B,GAC5B,2BAA2B,GAC3B,4BAA4B,CAAC;AAEjC,MAAM,WAAW,6CAA6C;IAC5D,QAAQ,CAAC,IAAI,EAAE,iDAAiD,CAAC;IACjE,QAAQ,CAAC,WAAW,EAAE,cAAc,GAAG,eAAe,CAAC;IACvD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;CACxC;AAED,MAAM,WAAW,yCAAyC;IACxD,QAAQ,CAAC,WAAW,EAAE,SAAS,6CAA6C,EAAE,CAAC;IAC/E,QAAQ,CAAC,MAAM,EAAE,iDAAiD,CAAC;IACnE,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,cAAc,GAAG,eAAe,CAAC;CAClE;AAED,MAAM,MAAM,8CAA8C,GAAG,aAAa,GAAG,2BAA2B,CAAC;AAEzG,MAAM,WAAW,0CAA2C,SAAQ,KAAK;IACvE,QAAQ,CAAC,IAAI,EAAE,8CAA8C,CAAC;IAC9D,QAAQ,CAAC,IAAI,EAAE,wCAAwC,CAAC;IACxD,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;CACxC"}

package/dist/packages/compiler-types/src/compilerStructuralTypeAssignabilityContract.js

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

package/dist/packages/compiler-types/src/compilerStructuralTypeAssignabilityContract.js.map

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

package/dist/packages/compiler-types/src/compilerStructuralTypeShapeContract.d.ts

@@ -0,0 +1,22 @@
+import type { CompilerModuleIdentity } from './compilerSourceIdentity.js';
+import type { CompilerIrTraversalPath } from './compilerTraversalObserverContract.js';
+export type CompilerStructuralTypeShapeIdentity = `flight-structural-type-shape/1:${string}`;
+export type CompilerStructuralTypeShapeFailureCode = 'cyclic-type' | 'duplicate-object-property' | 'non-finite-literal';
+export interface CompilerStructuralTypeShapeFailure extends Error {
+    readonly code: CompilerStructuralTypeShapeFailureCode;
+    readonly kind: 'compiler-structural-type-shape';
+    readonly path: CompilerIrTraversalPath;
+}
+export interface CompilerStructuralTypeShapeOccurrence extends CompilerModuleIdentity {
+    readonly path: CompilerIrTraversalPath;
+}
+export interface CompilerStructuralTypeShape {
+    readonly identity: CompilerStructuralTypeShapeIdentity;
+    readonly occurrences: readonly CompilerStructuralTypeShapeOccurrence[];
+}
+export interface CompilerStructuralTypeShapeInventory {
+    readonly modules: number;
+    readonly schema: 'flight-compiler-structural-type-shapes/1';
+    readonly shapes: readonly CompilerStructuralTypeShape[];
+}
+//# sourceMappingURL=compilerStructuralTypeShapeContract.d.ts.map

package/dist/packages/compiler-types/src/compilerStructuralTypeShapeContract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerStructuralTypeShapeContract.d.ts","sourceRoot":"","sources":["../../../../../compiler-types/src/compilerStructuralTypeShapeContract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AAEtF,MAAM,MAAM,mCAAmC,GAAG,kCAAkC,MAAM,EAAE,CAAC;AAE7F,MAAM,MAAM,sCAAsC,GAAG,aAAa,GAAG,2BAA2B,GAAG,oBAAoB,CAAC;AAExH,MAAM,WAAW,kCAAmC,SAAQ,KAAK;IAC/D,QAAQ,CAAC,IAAI,EAAE,sCAAsC,CAAC;IACtD,QAAQ,CAAC,IAAI,EAAE,gCAAgC,CAAC;IAChD,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;CACxC;AAED,MAAM,WAAW,qCAAsC,SAAQ,sBAAsB;IACnF,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;CACxC;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,QAAQ,EAAE,mCAAmC,CAAC;IACvD,QAAQ,CAAC,WAAW,EAAE,SAAS,qCAAqC,EAAE,CAAC;CACxE;AAED,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,0CAA0C,CAAC;IAC5D,QAAQ,CAAC,MAAM,EAAE,SAAS,2BAA2B,EAAE,CAAC;CACzD"}

package/dist/packages/compiler-types/src/compilerStructuralTypeShapeContract.js

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

package/dist/packages/compiler-types/src/compilerStructuralTypeShapeContract.js.map

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

package/dist/packages/compiler-types/src/compilerStructuralTypeSubstitutionContract.d.ts

@@ -0,0 +1,17 @@
+import type { CompilerIrTraversalPath } from './compilerTraversalObserverContract.js';
+import type { IrType, IrTypeParameter } from './compilerTypeIntermediateRepresentation.js';
+export interface CompilerStructuralTypeSubstitution {
+    readonly parameter: IrTypeParameter['binding'];
+    readonly type: IrType;
+}
+export interface CompilerStructuralTypeSubstitutionPlan {
+    readonly schema: 'flight-compiler-structural-type-substitution/1';
+    readonly substitutions: readonly CompilerStructuralTypeSubstitution[];
+}
+export type CompilerStructuralTypeSubstitutionFailureCode = 'cyclic-type-substitution' | 'duplicate-type-parameter' | 'invalid-substitution-plan' | 'invalid-type-parameter-reference' | 'missing-type-argument' | 'too-many-type-arguments';
+export interface CompilerStructuralTypeSubstitutionFailure extends Error {
+    readonly code: CompilerStructuralTypeSubstitutionFailureCode;
+    readonly kind: 'compiler-structural-type-substitution';
+    readonly path: CompilerIrTraversalPath;
+}
+//# sourceMappingURL=compilerStructuralTypeSubstitutionContract.d.ts.map

package/dist/packages/compiler-types/src/compilerStructuralTypeSubstitutionContract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerStructuralTypeSubstitutionContract.d.ts","sourceRoot":"","sources":["../../../../../compiler-types/src/compilerStructuralTypeSubstitutionContract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACtF,OAAO,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,6CAA6C,CAAC;AAE3F,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC,SAAS,CAAC,CAAC;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,sCAAsC;IACrD,QAAQ,CAAC,MAAM,EAAE,gDAAgD,CAAC;IAClE,QAAQ,CAAC,aAAa,EAAE,SAAS,kCAAkC,EAAE,CAAC;CACvE;AAED,MAAM,MAAM,6CAA6C,GACrD,0BAA0B,GAC1B,0BAA0B,GAC1B,2BAA2B,GAC3B,kCAAkC,GAClC,uBAAuB,GACvB,yBAAyB,CAAC;AAE9B,MAAM,WAAW,yCAA0C,SAAQ,KAAK;IACtE,QAAQ,CAAC,IAAI,EAAE,6CAA6C,CAAC;IAC7D,QAAQ,CAAC,IAAI,EAAE,uCAAuC,CAAC;IACvD,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;CACxC"}

package/dist/packages/compiler-types/src/compilerStructuralTypeSubstitutionContract.js

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

package/dist/packages/compiler-types/src/compilerStructuralTypeSubstitutionContract.js.map

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

package/dist/packages/compiler-types/src/compilerTargetCompilationSmokeContract.d.ts

@@ -0,0 +1,26 @@
+import type { EmittedFile, EmittedFileIdentity } from './compilerBackendContract.js';
+export interface CompilerTargetCompilationSmokeDiagnostic extends EmittedFileIdentity {
+    readonly code: string;
+    /** One-based source column reported by the target compiler. */
+    readonly column: number;
+    /** One-based source line reported by the target compiler. */
+    readonly line: number;
+    readonly message: string;
+}
+export interface CompilerTargetCompilationSmoke {
+    /** Returns compiler diagnostics for the complete supported file set; process failures remain thrown errors. */
+    readonly compileEmittedSources: (files: readonly Readonly<EmittedFile>[]) => readonly CompilerTargetCompilationSmokeDiagnostic[];
+    readonly name: string;
+    readonly supportsEmittedSource: (file: Readonly<EmittedFileIdentity>) => boolean;
+}
+export interface CompilerTargetCompilationSmokeReport {
+    readonly checkedFiles: number;
+    readonly compiler: string;
+    readonly skippedFiles: readonly string[];
+}
+export interface CompilerTargetCompilationSmokeFailure extends Error {
+    readonly compiler: string;
+    readonly diagnostics: readonly CompilerTargetCompilationSmokeDiagnostic[];
+    readonly kind: 'target-compilation-smoke';
+}
+//# sourceMappingURL=compilerTargetCompilationSmokeContract.d.ts.map

package/dist/packages/compiler-types/src/compilerTargetCompilationSmokeContract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerTargetCompilationSmokeContract.d.ts","sourceRoot":"","sources":["../../../../../compiler-types/src/compilerTargetCompilationSmokeContract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAErF,MAAM,WAAW,wCAAyC,SAAQ,mBAAmB;IACnF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,6DAA6D;IAC7D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,8BAA8B;IAC7C,+GAA+G;IAC/G,QAAQ,CAAC,qBAAqB,EAAE,CAC9B,KAAK,EAAE,SAAS,QAAQ,CAAC,WAAW,CAAC,EAAE,KACpC,SAAS,wCAAwC,EAAE,CAAC;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,qBAAqB,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,mBAAmB,CAAC,KAAK,OAAO,CAAC;CAClF;AAED,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,qCAAsC,SAAQ,KAAK;IAClE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,SAAS,wCAAwC,EAAE,CAAC;IAC1E,QAAQ,CAAC,IAAI,EAAE,0BAA0B,CAAC;CAC3C"}

package/dist/packages/compiler-types/src/compilerTargetCompilationSmokeContract.js

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

package/dist/packages/compiler-types/src/compilerTargetCompilationSmokeContract.js.map

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

package/dist/packages/compiler-types/src/compilerTargetNamingContract.d.ts

@@ -0,0 +1,27 @@
+import type { IrBindingIdentity, IrTypeBindingIdentity } from './compilerBindingIntermediateRepresentation.js';
+export interface CompilerTargetNameCandidate {
+    readonly disposition: CompilerTargetNameDisposition;
+    readonly identity: string;
+    readonly preferredName: string;
+    readonly scope: string;
+    readonly sourceName: string;
+}
+export type CompilerTargetNameDisposition = 'fixed' | 'renamable';
+export type CompilerTargetNamePreference = (binding: Readonly<IrBindingIdentity | IrTypeBindingIdentity>) => Readonly<{
+    namespace: string;
+    preferredName: string;
+}>;
+export interface CompilerTargetNameAllocation {
+    readonly identity: string;
+    readonly name: string;
+    readonly scope: string;
+}
+export type CompilerTargetNameAllocationFailureCode = 'fixed-target-name-collision';
+export interface CompilerTargetNameAllocationFailure extends Error {
+    readonly code: CompilerTargetNameAllocationFailureCode;
+    readonly identities: readonly string[];
+    readonly kind: 'target-name-allocation';
+    readonly scope: string;
+    readonly targetName: string;
+}
+//# sourceMappingURL=compilerTargetNamingContract.d.ts.map

package/dist/packages/compiler-types/src/compilerTargetNamingContract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerTargetNamingContract.d.ts","sourceRoot":"","sources":["../../../../../compiler-types/src/compilerTargetNamingContract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,gDAAgD,CAAC;AAE/G,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,WAAW,EAAE,6BAA6B,CAAC;IACpD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAKvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,MAAM,6BAA6B,GAAG,OAAO,GAAG,WAAW,CAAC;AAElE,MAAM,MAAM,4BAA4B,GAAG,CACzC,OAAO,EAAE,QAAQ,CAAC,iBAAiB,GAAG,qBAAqB,CAAC,KACzD,QAAQ,CAAC;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAE5D,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,MAAM,uCAAuC,GAAG,6BAA6B,CAAC;AAEpF,MAAM,WAAW,mCAAoC,SAAQ,KAAK;IAChE,QAAQ,CAAC,IAAI,EAAE,uCAAuC,CAAC;IACvD,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B"}

package/dist/packages/compiler-types/src/compilerTargetNamingContract.js

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

package/dist/packages/compiler-types/src/compilerTargetNamingContract.js.map

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

package/dist/packages/compiler-types/src/compilerTaskOperationSemanticsContract.d.ts

@@ -0,0 +1,65 @@
+export type CompilerTaskOperationName = 'catch' | 'finally' | 'joinAll' | 'ready' | 'reject' | 'then';
+interface CompilerTaskOperationSemanticsCommon {
+    readonly operation: CompilerTaskOperationName;
+    readonly schema: 'flight-compiler-task-operation-semantics/1';
+}
+export type CompilerTaskOperationSemantics = (CompilerTaskOperationSemanticsCommon & Readonly<{
+    inputObservation: 'once';
+    operation: 'ready';
+    selfResolution: 'reject-type-error';
+    settlement: 'normalize-value-task-or-thenable';
+    settlementRace: 'first-call-wins';
+    taskIdentity: 'reuse-compatible-task-otherwise-new';
+    thenableFailure: 'reject-if-get-or-call-throws-before-settlement';
+    thenableMethod: 'get-once-call-once';
+}>) | (CompilerTaskOperationSemanticsCommon & Readonly<{
+    operation: 'reject';
+    reasonObservation: 'once';
+    settlement: 'reject-exact-reason-without-assimilation';
+    taskCreation: 'before-reason-observation';
+}>) | (CompilerTaskOperationSemanticsCommon & Readonly<{
+    elementResolution: 'normalize-value-task-or-thenable';
+    emptyInput: 'resolve-empty-list';
+    fulfillment: 'ordered-values-after-all-fulfill';
+    iteration: 'get-iterator-once-consume-in-order';
+    iterationFailure: 'reject';
+    iteratorClose: 'on-abrupt-iteration';
+    operation: 'joinAll';
+    rejection: 'first-observed-rejection';
+    taskCreation: 'before-iteration';
+}>) | (CompilerTaskOperationSemanticsCommon & Readonly<{
+    continuation: 'enqueue-after-source-settlement';
+    derivedTask: 'always-new';
+    fulfillmentHandlerArgument: 'source-value';
+    fulfillmentHandler: 'normalize-return-reject-on-throw';
+    handlerThis: 'undefined';
+    missingFulfillmentHandler: 'forward-fulfillment';
+    missingRejectionHandler: 'forward-rejection';
+    nonCallableHandler: 'treat-as-missing';
+    operation: 'then';
+    rejectionHandlerArgument: 'source-reason';
+    rejectionHandler: 'normalize-return-reject-on-throw';
+    taskCreation: 'before-handler-registration';
+}>) | (CompilerTaskOperationSemanticsCommon & Readonly<{
+    equivalent: 'then-with-missing-fulfillment-handler';
+    operation: 'catch';
+}>) | (CompilerTaskOperationSemanticsCommon & Readonly<{
+    continuation: 'enqueue-after-source-settlement';
+    derivedTask: 'always-new';
+    handlerArguments: 'none';
+    handlerFailure: 'replace-with-rejection';
+    handlerResult: 'normalize-and-ignore-fulfillment-value';
+    handlerThis: 'undefined';
+    nonCallableHandler: 'forward-source-settlement';
+    operation: 'finally';
+    sourceSettlement: 'preserve-after-handler-fulfillment';
+    taskCreation: 'before-handler-registration';
+}>);
+export type CompilerTaskOperationSemanticsFailureCode = 'unknown-operation';
+export interface CompilerTaskOperationSemanticsFailure extends Error {
+    readonly code: CompilerTaskOperationSemanticsFailureCode;
+    readonly kind: 'compiler-task-operation-semantics';
+    readonly received: string;
+}
+export {};
+//# sourceMappingURL=compilerTaskOperationSemanticsContract.d.ts.map

package/dist/packages/compiler-types/src/compilerTaskOperationSemanticsContract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerTaskOperationSemanticsContract.d.ts","sourceRoot":"","sources":["../../../../../compiler-types/src/compilerTaskOperationSemanticsContract.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,yBAAyB,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,QAAQ,GAAG,MAAM,CAAC;AAEtG,UAAU,oCAAoC;IAC5C,QAAQ,CAAC,SAAS,EAAE,yBAAyB,CAAC;IAC9C,QAAQ,CAAC,MAAM,EAAE,4CAA4C,CAAC;CAC/D;AAED,MAAM,MAAM,8BAA8B,GACtC,CAAC,oCAAoC,GACnC,QAAQ,CAAC;IACP,gBAAgB,EAAE,MAAM,CAAC;IACzB,SAAS,EAAE,OAAO,CAAC;IACnB,cAAc,EAAE,mBAAmB,CAAC;IACpC,UAAU,EAAE,kCAAkC,CAAC;IAC/C,cAAc,EAAE,iBAAiB,CAAC;IAClC,YAAY,EAAE,qCAAqC,CAAC;IACpD,eAAe,EAAE,gDAAgD,CAAC;IAClE,cAAc,EAAE,oBAAoB,CAAC;CACtC,CAAC,CAAC,GACL,CAAC,oCAAoC,GACnC,QAAQ,CAAC;IACP,SAAS,EAAE,QAAQ,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,0CAA0C,CAAC;IACvD,YAAY,EAAE,2BAA2B,CAAC;CAC3C,CAAC,CAAC,GACL,CAAC,oCAAoC,GACnC,QAAQ,CAAC;IACP,iBAAiB,EAAE,kCAAkC,CAAC;IACtD,UAAU,EAAE,oBAAoB,CAAC;IACjC,WAAW,EAAE,kCAAkC,CAAC;IAChD,SAAS,EAAE,oCAAoC,CAAC;IAChD,gBAAgB,EAAE,QAAQ,CAAC;IAC3B,aAAa,EAAE,qBAAqB,CAAC;IACrC,SAAS,EAAE,SAAS,CAAC;IACrB,SAAS,EAAE,0BAA0B,CAAC;IACtC,YAAY,EAAE,kBAAkB,CAAC;CAClC,CAAC,CAAC,GACL,CAAC,oCAAoC,GACnC,QAAQ,CAAC;IACP,YAAY,EAAE,iCAAiC,CAAC;IAChD,WAAW,EAAE,YAAY,CAAC;IAC1B,0BAA0B,EAAE,cAAc,CAAC;IAC3C,kBAAkB,EAAE,kCAAkC,CAAC;IACvD,WAAW,EAAE,WAAW,CAAC;IACzB,yBAAyB,EAAE,qBAAqB,CAAC;IACjD,uBAAuB,EAAE,mBAAmB,CAAC;IAC7C,kBAAkB,EAAE,kBAAkB,CAAC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,wBAAwB,EAAE,eAAe,CAAC;IAC1C,gBAAgB,EAAE,kCAAkC,CAAC;IACrD,YAAY,EAAE,6BAA6B,CAAC;CAC7C,CAAC,CAAC,GACL,CAAC,oCAAoC,GACnC,QAAQ,CAAC;IACP,UAAU,EAAE,uCAAuC,CAAC;IACpD,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC,CAAC,GACL,CAAC,oCAAoC,GACnC,QAAQ,CAAC;IACP,YAAY,EAAE,iCAAiC,CAAC;IAChD,WAAW,EAAE,YAAY,CAAC;IAC1B,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,EAAE,wBAAwB,CAAC;IACzC,aAAa,EAAE,wCAAwC,CAAC;IACxD,WAAW,EAAE,WAAW,CAAC;IACzB,kBAAkB,EAAE,2BAA2B,CAAC;IAChD,SAAS,EAAE,SAAS,CAAC;IACrB,gBAAgB,EAAE,oCAAoC,CAAC;IACvD,YAAY,EAAE,6BAA6B,CAAC;CAC7C,CAAC,CAAC,CAAC;AAEV,MAAM,MAAM,yCAAyC,GAAG,mBAAmB,CAAC;AAE5E,MAAM,WAAW,qCAAsC,SAAQ,KAAK;IAClE,QAAQ,CAAC,IAAI,EAAE,yCAAyC,CAAC;IACzD,QAAQ,CAAC,IAAI,EAAE,mCAAmC,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B"}

package/dist/packages/compiler-types/src/compilerTaskOperationSemanticsContract.js

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

package/dist/packages/compiler-types/src/compilerTaskOperationSemanticsContract.js.map

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