@shapeshift-labs/frontier-lang-compiler 0.2.41 → 0.2.42

package/dist/declarations/import-adapter-options-native.d.ts

@@ -0,0 +1,185 @@
+import type {
+  CapabilityAdapterBinding,
+  CapabilityUnsupportedTarget,
+  CompileTarget,
+  EvidenceRecord,
+  FrontierLangDocument,
+  FrontierUniversalAstEnvelope,
+  FrontierSourceLanguage,
+  LanguageImportResult,
+  NativeAstLossRecord,
+  NativeAstNode,
+  NativeAstRecord,
+  NativeSourceNode,
+  SemanticMergeCandidateRecord,
+  SemanticMergeReadiness,
+  SemanticIndexRecord,
+  SemanticNode,
+  SemanticPatchBundle,
+  SourceMapMappingRecord,
+  SourceMapRecord,
+  SourcePreservationLevel,
+  SourcePreservationRecord,
+  SourceSpan,
+  UniversalAstLayerMap,
+  UniversalAstLayerRecord
+} from '@shapeshift-labs/frontier-lang-kernel';
+import type { Diagnostic } from '@shapeshift-labs/frontier-lang-checker';
+import type { EmitTypeScriptOptions, TypeScriptAstModule, TypeScriptDocumentSourceMapResult, TypeScriptGeneratedSourceMapResult } from '@shapeshift-labs/frontier-lang-typescript';
+import type { EmitJavaScriptOptions, EmitJavaScriptWithSourceMapResult, JavaScriptAstModule, JavaScriptSourceMapResult } from '@shapeshift-labs/frontier-lang-javascript';
+import type { EmitRustOptions, EmitRustWithSourceMapResult, RustAstModule, RustSourceMapResult } from '@shapeshift-labs/frontier-lang-rust';
+import type { EmitPythonOptions, EmitPythonWithSourceMapResult, PythonAstModule, PythonSourceMapResult } from '@shapeshift-labs/frontier-lang-python';
+import type { CAstHeader, CSourceMapResult, EmitCHeaderOptions, EmitCHeaderWithSourceMapResult } from '@shapeshift-labs/frontier-lang-c';
+import type { FrontierCompileTarget, FrontierCompileEmitOptions, FrontierTargetAst, FrontierTargetSourceMapResult, FrontierTargetDocumentSourceMapResult, FrontierCompileOptions, FrontierCompileResult, CapabilityResolution } from './compile.js';
+import type { NativeImportTaxonomyKind, NativeImportKnownLossKind, NativeImportRegionTaxonomyKind, NativeImportLossSummaryOptions, NativeImportFeatureEvidenceRisk, NativeImportFeatureEvidencePolicy, NativeImportFeatureEvidenceIssue, NativeImportFeatureEvidenceSummary, NativeImportLossSummary, NativeImportReadinessClassification, NativeImportLanguageProfile } from './native-import-losses.js';
+import type { NativeParserAstFormatKind, NativeParserAstFormatProfile, NativeParserAstFormatCoverage, NativeParserAstFormatMatrix, NativeParserAstFormatMatrixOptions } from './native-parser-formats.js';
+import type { NativeParserFeatureCategory, NativeParserFeatureCoverageStatus, NativeParserFeatureCoverage, NativeParserFeatureCoverageMap, NativeParserFeatureMergeAssessment, NativeParserFeatureParserRow, NativeParserFeatureLanguageSummary, NativeParserFeatureMatrix, NativeParserFeatureMatrixOptions, NativeParserFeatureMatrixQuery, NativeParserFeatureMatrixQueryResult, NativeImporterAdapterCoverageAggregate } from './native-parser-features.js';
+import type { NativeImportCoverageLanguage, NativeImportCoverageMatrix, NativeImportCoverageMatrixOptions } from './native-import-coverage.js';
+import type { ProjectionTargetLossClass, ProjectionSourceProjectionCoverage, ProjectionTargetCoverageEntry, ProjectionTargetLanguageCoverage, ProjectionTargetLossMatrix, ProjectionTargetLossMatrixOptions } from './projection-coverage.js';
+import type { UniversalCapabilityLanguageRow, UniversalCapabilityMatrix, UniversalCapabilityMatrixOptions } from './universal-capability.js';
+import type { NativeImportContractSource, NativeImportSourcePreservationRecordSummary, NativeImportSourcePreservationContract, NativeImportAdapterCoverageRecordSummary, NativeImportAdapterCoverageContract, NativeImportRegionSummary, NativeImportSourceMapSummary, NativeImportReadinessContract, NativeImportResultContract, NativeImportResultContractOptions } from './native-import-contracts.js';
+import type { NativeSourceTokenKind, NativeSourcePreservedToken, NativeSourcePreservedDirective, NativeSourcePreservation, CreateNativeSourcePreservationOptions } from './source-preservation.js';
+import type { SemanticImportOwnershipRegion, SemanticImportSidecarSymbol, SemanticImportRegionTaxonomySummary, SemanticImportPatchHint, SemanticImportSidecarImportEntry, SemanticImportSidecarSourcePreservationRecord, SemanticImportSidecarUniversalAstLayerSummary, SemanticImportSidecarProofSpecSummary, SemanticImportSidecarParadigmSemanticsSummary, SemanticImportSidecar, SemanticImportSidecarOptions } from './semantic-sidecar.js';
+import type { NativeSourceChangeKind, NativeSourceChangeProjectionEndpoint, NativeSourceChangeProjectionSourceMapLink, NativeSourceChangeProjectionMetadata, NativeSourceChangeProjectionSummary, NativeSourceChangeSymbol, NativeSourceChangeRegion, NativeSourceChangeSummary, DiffNativeSourceImportsOptions, DiffNativeSourcesOptions, NativeSourceChangeSet } from './native-diff.js';
+import type { SemanticSliceInput, CreateSemanticSliceOptions, SemanticSliceSourceMapLink, SemanticSliceSourceFile, SemanticSliceExpectedAssertion, SemanticSlice, TestSemanticSliceOptions, SemanticSliceTestAssertion, SemanticSliceTestResult } from './semantic-slice.js';
+import type { NativeImporterAdapterExactness, NativeImporterAdapterSemanticCoverage, NativeImporterAdapterCoverageSnapshot, NativeImporterAdapterCoverageObserved, NativeImporterAdapterCoverageCapabilityRow, NativeImporterAdapterCoverageCapabilityEvidence, NativeImporterAdapterCoverageSummary, NativeImporterAdapterCoverageInput } from './adapter-coverage.js';
+import type { NativeImporterAdapterDiagnostic, ImportNativeSourceOptions, NativeSourceImportResult, ExternalSemanticIndexFormat, ImportExternalSemanticIndexOptions, ExternalSemanticIndexImportSummary, ExternalSemanticIndexImportResult, NativeImporterAdapterParseInput, NativeImporterAdapterParseResult, NativeImporterAdapter, NativeImporterAdapterSummary, RunNativeImporterAdapterOptions, NativeImporterAdapterImportResult } from './import-adapter-core.js';
+import type { NativeTargetProjectionAdapterCoverageInput, NativeTargetProjectionAdapterSummary, NativeTargetProjectionAdapterInput, NativeTargetProjectionAdapterResult, NativeTargetProjectionAdapter, NativeTargetProjectionAdapterResolverInput, NativeTargetProjectionResult } from './target-adapters.js';
+import type { NativeProjectSourceInput, ImportNativeProjectOptions, NativeProjectImportResult, NativeSourceProjectionMode, ProjectNativeImportToSourceOptions, NativeSourceProjectionDeclaration, NativeSourceProjectionResult, NativeSourceCompileOutputMode, CompileNativeSourceOptions, NativeSourceCompileResult } from './native-project.js';
+import type { NativeImportRoundtripReadinessStatus, NativeImportRoundtripReadinessOptions, NativeImportRoundtripReadinessClassification } from './roundtrip.js';
+
+export interface JavaScriptNativeImporterAdapterOptions {
+  readonly id?: string;
+  readonly language?: FrontierSourceLanguage;
+  readonly parser?: string;
+  readonly version?: string;
+  readonly capabilities?: readonly string[];
+  readonly coverage?: NativeImporterAdapterCoverageInput;
+  readonly supportedExtensions?: readonly string[];
+  readonly diagnostics?: readonly NativeImporterAdapterDiagnostic[];
+  readonly ast?: unknown;
+  readonly parse?: (sourceText: string, options: Record<string, unknown>) => unknown;
+  readonly parserModule?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly babelParser?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly parserOptions?: Record<string, unknown> | ((input: NativeImporterAdapterParseInput) => Record<string, unknown>);
+  readonly maxNodes?: number;
+}
+
+export interface TypeScriptCompilerNativeImporterAdapterOptions {
+  readonly id?: string;
+  readonly language?: FrontierSourceLanguage;
+  readonly parser?: string;
+  readonly version?: string;
+  readonly capabilities?: readonly string[];
+  readonly coverage?: NativeImporterAdapterCoverageInput;
+  readonly supportedExtensions?: readonly string[];
+  readonly diagnostics?: readonly NativeImporterAdapterDiagnostic[];
+  readonly typescript?: unknown;
+  readonly ts?: unknown;
+  readonly sourceFile?: unknown;
+  readonly createSourceFile?: (input: NativeImporterAdapterParseInput, typescript?: unknown) => unknown;
+  readonly scriptTarget?: unknown;
+  readonly scriptKind?: unknown;
+  readonly maxNodes?: number;
+  readonly includeTokens?: boolean;
+}
+
+export interface PythonAstNativeImporterAdapterOptions {
+  readonly id?: string;
+  readonly language?: FrontierSourceLanguage;
+  readonly parser?: string;
+  readonly version?: string;
+  readonly capabilities?: readonly string[];
+  readonly coverage?: NativeImporterAdapterCoverageInput;
+  readonly supportedExtensions?: readonly string[];
+  readonly diagnostics?: readonly NativeImporterAdapterDiagnostic[];
+  readonly ast?: unknown;
+  readonly parse?: (sourceText: string, options: Record<string, unknown>) => unknown;
+  readonly parserModule?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly pythonAst?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly parserOptions?: Record<string, unknown>;
+  readonly mode?: 'exec' | 'eval' | 'single' | 'func_type' | string;
+  readonly pythonVersion?: string;
+  readonly featureVersion?: string | number;
+  readonly typeComments?: boolean;
+  readonly optimize?: number;
+  readonly includeAttributes?: boolean;
+  readonly maxNodes?: number;
+}
+
+export interface RustSynNativeImporterAdapterOptions {
+  readonly id?: string;
+  readonly language?: FrontierSourceLanguage;
+  readonly parser?: string;
+  readonly version?: string;
+  readonly capabilities?: readonly string[];
+  readonly coverage?: NativeImporterAdapterCoverageInput;
+  readonly supportedExtensions?: readonly string[];
+  readonly diagnostics?: readonly NativeImporterAdapterDiagnostic[];
+  readonly ast?: unknown;
+  readonly file?: unknown;
+  readonly sourceFile?: unknown;
+  readonly parse?: (sourceText: string, options: Record<string, unknown>) => unknown;
+  readonly parserModule?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly rustSyn?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly syn?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly parserOptions?: Record<string, unknown>;
+  readonly rustEdition?: '2015' | '2018' | '2021' | '2024' | string;
+  readonly includeAttributes?: boolean;
+  readonly maxNodes?: number;
+}
+
+export interface ClangAstNativeImporterAdapterOptions {
+  readonly id?: string;
+  readonly language?: FrontierSourceLanguage;
+  readonly parser?: string;
+  readonly version?: string;
+  readonly capabilities?: readonly string[];
+  readonly coverage?: NativeImporterAdapterCoverageInput;
+  readonly supportedExtensions?: readonly string[];
+  readonly diagnostics?: readonly NativeImporterAdapterDiagnostic[];
+  readonly ast?: unknown;
+  readonly translationUnit?: unknown;
+  readonly tu?: unknown;
+  readonly parse?: (sourceText: string, options: Record<string, unknown>) => unknown;
+  readonly parserModule?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly clang?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly libclang?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly parserOptions?: Record<string, unknown>;
+  readonly cStandard?: 'c89' | 'c99' | 'c11' | 'c17' | 'c23' | 'gnu11' | 'gnu17' | 'gnu23' | string;
+  readonly compileFlags?: readonly string[];
+  readonly includeSystemHeaders?: boolean;
+  readonly preprocessorRecords?: readonly unknown[] | { readonly records?: readonly unknown[] };
+  readonly includeGraph?: unknown;
+  readonly maxNodes?: number;
+}
+
+export interface GoAstNativeImporterAdapterOptions {
+  readonly id?: string;
+  readonly language?: FrontierSourceLanguage;
+  readonly parser?: string;
+  readonly version?: string;
+  readonly capabilities?: readonly string[];
+  readonly coverage?: NativeImporterAdapterCoverageInput;
+  readonly supportedExtensions?: readonly string[];
+  readonly diagnostics?: readonly NativeImporterAdapterDiagnostic[];
+  readonly ast?: unknown;
+  readonly file?: unknown;
+  readonly sourceFile?: unknown;
+  readonly package?: unknown;
+  readonly parse?: (sourceText: string, options: Record<string, unknown>) => unknown;
+  readonly parserModule?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly goAst?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly goParser?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly parserOptions?: Record<string, unknown>;
+  readonly mode?: string | number;
+  readonly goVersion?: string;
+  readonly packageName?: string;
+  readonly fileSet?: unknown;
+  readonly fset?: unknown;
+  readonly includeComments?: boolean;
+  readonly buildTags?: readonly string[];
+  readonly generated?: boolean;
+  readonly typeEvidence?: unknown;
+  readonly maxNodes?: number;
+}

package/dist/declarations/import-adapter-options-platform.d.ts

@@ -0,0 +1,204 @@
+import type {
+  CapabilityAdapterBinding,
+  CapabilityUnsupportedTarget,
+  CompileTarget,
+  EvidenceRecord,
+  FrontierLangDocument,
+  FrontierUniversalAstEnvelope,
+  FrontierSourceLanguage,
+  LanguageImportResult,
+  NativeAstLossRecord,
+  NativeAstNode,
+  NativeAstRecord,
+  NativeSourceNode,
+  SemanticMergeCandidateRecord,
+  SemanticMergeReadiness,
+  SemanticIndexRecord,
+  SemanticNode,
+  SemanticPatchBundle,
+  SourceMapMappingRecord,
+  SourceMapRecord,
+  SourcePreservationLevel,
+  SourcePreservationRecord,
+  SourceSpan,
+  UniversalAstLayerMap,
+  UniversalAstLayerRecord
+} from '@shapeshift-labs/frontier-lang-kernel';
+import type { Diagnostic } from '@shapeshift-labs/frontier-lang-checker';
+import type { EmitTypeScriptOptions, TypeScriptAstModule, TypeScriptDocumentSourceMapResult, TypeScriptGeneratedSourceMapResult } from '@shapeshift-labs/frontier-lang-typescript';
+import type { EmitJavaScriptOptions, EmitJavaScriptWithSourceMapResult, JavaScriptAstModule, JavaScriptSourceMapResult } from '@shapeshift-labs/frontier-lang-javascript';
+import type { EmitRustOptions, EmitRustWithSourceMapResult, RustAstModule, RustSourceMapResult } from '@shapeshift-labs/frontier-lang-rust';
+import type { EmitPythonOptions, EmitPythonWithSourceMapResult, PythonAstModule, PythonSourceMapResult } from '@shapeshift-labs/frontier-lang-python';
+import type { CAstHeader, CSourceMapResult, EmitCHeaderOptions, EmitCHeaderWithSourceMapResult } from '@shapeshift-labs/frontier-lang-c';
+import type { FrontierCompileTarget, FrontierCompileEmitOptions, FrontierTargetAst, FrontierTargetSourceMapResult, FrontierTargetDocumentSourceMapResult, FrontierCompileOptions, FrontierCompileResult, CapabilityResolution } from './compile.js';
+import type { NativeImportTaxonomyKind, NativeImportKnownLossKind, NativeImportRegionTaxonomyKind, NativeImportLossSummaryOptions, NativeImportFeatureEvidenceRisk, NativeImportFeatureEvidencePolicy, NativeImportFeatureEvidenceIssue, NativeImportFeatureEvidenceSummary, NativeImportLossSummary, NativeImportReadinessClassification, NativeImportLanguageProfile } from './native-import-losses.js';
+import type { NativeParserAstFormatKind, NativeParserAstFormatProfile, NativeParserAstFormatCoverage, NativeParserAstFormatMatrix, NativeParserAstFormatMatrixOptions } from './native-parser-formats.js';
+import type { NativeParserFeatureCategory, NativeParserFeatureCoverageStatus, NativeParserFeatureCoverage, NativeParserFeatureCoverageMap, NativeParserFeatureMergeAssessment, NativeParserFeatureParserRow, NativeParserFeatureLanguageSummary, NativeParserFeatureMatrix, NativeParserFeatureMatrixOptions, NativeParserFeatureMatrixQuery, NativeParserFeatureMatrixQueryResult, NativeImporterAdapterCoverageAggregate } from './native-parser-features.js';
+import type { NativeImportCoverageLanguage, NativeImportCoverageMatrix, NativeImportCoverageMatrixOptions } from './native-import-coverage.js';
+import type { ProjectionTargetLossClass, ProjectionSourceProjectionCoverage, ProjectionTargetCoverageEntry, ProjectionTargetLanguageCoverage, ProjectionTargetLossMatrix, ProjectionTargetLossMatrixOptions } from './projection-coverage.js';
+import type { UniversalCapabilityLanguageRow, UniversalCapabilityMatrix, UniversalCapabilityMatrixOptions } from './universal-capability.js';
+import type { NativeImportContractSource, NativeImportSourcePreservationRecordSummary, NativeImportSourcePreservationContract, NativeImportAdapterCoverageRecordSummary, NativeImportAdapterCoverageContract, NativeImportRegionSummary, NativeImportSourceMapSummary, NativeImportReadinessContract, NativeImportResultContract, NativeImportResultContractOptions } from './native-import-contracts.js';
+import type { NativeSourceTokenKind, NativeSourcePreservedToken, NativeSourcePreservedDirective, NativeSourcePreservation, CreateNativeSourcePreservationOptions } from './source-preservation.js';
+import type { SemanticImportOwnershipRegion, SemanticImportSidecarSymbol, SemanticImportRegionTaxonomySummary, SemanticImportPatchHint, SemanticImportSidecarImportEntry, SemanticImportSidecarSourcePreservationRecord, SemanticImportSidecarUniversalAstLayerSummary, SemanticImportSidecarProofSpecSummary, SemanticImportSidecarParadigmSemanticsSummary, SemanticImportSidecar, SemanticImportSidecarOptions } from './semantic-sidecar.js';
+import type { NativeSourceChangeKind, NativeSourceChangeProjectionEndpoint, NativeSourceChangeProjectionSourceMapLink, NativeSourceChangeProjectionMetadata, NativeSourceChangeProjectionSummary, NativeSourceChangeSymbol, NativeSourceChangeRegion, NativeSourceChangeSummary, DiffNativeSourceImportsOptions, DiffNativeSourcesOptions, NativeSourceChangeSet } from './native-diff.js';
+import type { SemanticSliceInput, CreateSemanticSliceOptions, SemanticSliceSourceMapLink, SemanticSliceSourceFile, SemanticSliceExpectedAssertion, SemanticSlice, TestSemanticSliceOptions, SemanticSliceTestAssertion, SemanticSliceTestResult } from './semantic-slice.js';
+import type { NativeImporterAdapterExactness, NativeImporterAdapterSemanticCoverage, NativeImporterAdapterCoverageSnapshot, NativeImporterAdapterCoverageObserved, NativeImporterAdapterCoverageCapabilityRow, NativeImporterAdapterCoverageCapabilityEvidence, NativeImporterAdapterCoverageSummary, NativeImporterAdapterCoverageInput } from './adapter-coverage.js';
+import type { NativeImporterAdapterDiagnostic, ImportNativeSourceOptions, NativeSourceImportResult, ExternalSemanticIndexFormat, ImportExternalSemanticIndexOptions, ExternalSemanticIndexImportSummary, ExternalSemanticIndexImportResult, NativeImporterAdapterParseInput, NativeImporterAdapterParseResult, NativeImporterAdapter, NativeImporterAdapterSummary, RunNativeImporterAdapterOptions, NativeImporterAdapterImportResult } from './import-adapter-core.js';
+import type { NativeTargetProjectionAdapterCoverageInput, NativeTargetProjectionAdapterSummary, NativeTargetProjectionAdapterInput, NativeTargetProjectionAdapterResult, NativeTargetProjectionAdapter, NativeTargetProjectionAdapterResolverInput, NativeTargetProjectionResult } from './target-adapters.js';
+import type { NativeProjectSourceInput, ImportNativeProjectOptions, NativeProjectImportResult, NativeSourceProjectionMode, ProjectNativeImportToSourceOptions, NativeSourceProjectionDeclaration, NativeSourceProjectionResult, NativeSourceCompileOutputMode, CompileNativeSourceOptions, NativeSourceCompileResult } from './native-project.js';
+import type { NativeImportRoundtripReadinessStatus, NativeImportRoundtripReadinessOptions, NativeImportRoundtripReadinessClassification } from './roundtrip.js';
+
+export interface JavaAstNativeImporterAdapterOptions {
+  readonly id?: string;
+  readonly language?: FrontierSourceLanguage;
+  readonly parser?: string;
+  readonly version?: string;
+  readonly capabilities?: readonly string[];
+  readonly coverage?: NativeImporterAdapterCoverageInput;
+  readonly supportedExtensions?: readonly string[];
+  readonly diagnostics?: readonly NativeImporterAdapterDiagnostic[];
+  readonly ast?: unknown;
+  readonly compilationUnit?: unknown;
+  readonly unit?: unknown;
+  readonly sourceFile?: unknown;
+  readonly parse?: (sourceText: string, options: Record<string, unknown>) => unknown;
+  readonly parserModule?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly javac?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly jdt?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly javaParser?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly parserOptions?: Record<string, unknown>;
+  readonly javaVersion?: string;
+  readonly sourceLevel?: string;
+  readonly classPath?: readonly string[] | string | unknown;
+  readonly modulePath?: readonly string[] | string | unknown;
+  readonly generated?: boolean;
+  readonly annotationProcessing?: unknown;
+  readonly bindingEvidence?: unknown;
+  readonly positionResolver?: (position: unknown) => unknown;
+  readonly lineMap?: unknown;
+  readonly includeAnnotations?: boolean;
+  readonly maxNodes?: number;
+}
+
+export interface KotlinPsiNativeImporterAdapterOptions {
+  readonly id?: string;
+  readonly language?: FrontierSourceLanguage;
+  readonly parser?: string;
+  readonly version?: string;
+  readonly capabilities?: readonly string[];
+  readonly coverage?: NativeImporterAdapterCoverageInput;
+  readonly supportedExtensions?: readonly string[];
+  readonly diagnostics?: readonly NativeImporterAdapterDiagnostic[];
+  readonly ast?: unknown;
+  readonly nativeAst?: unknown;
+  readonly ktFile?: unknown;
+  readonly file?: unknown;
+  readonly sourceFile?: unknown;
+  readonly root?: unknown;
+  readonly parse?: (sourceText: string, options: Record<string, unknown>) => unknown;
+  readonly parserModule?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly kotlinPsi?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly kotlinCompiler?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly intellijPsi?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly parserOptions?: Record<string, unknown>;
+  readonly kotlinVersion?: string;
+  readonly languageVersion?: string;
+  readonly apiVersion?: string;
+  readonly script?: boolean;
+  readonly generated?: boolean;
+  readonly analysisApiEvidence?: unknown;
+  readonly firEvidence?: unknown;
+  readonly compilerPluginEvidence?: unknown;
+  readonly kspEvidence?: unknown;
+  readonly kaptEvidence?: unknown;
+  readonly multiplatformEvidence?: unknown;
+  readonly buildVariantEvidence?: unknown;
+  readonly positionResolver?: (position: unknown) => unknown;
+  readonly lineMap?: unknown;
+  readonly includeAnnotations?: boolean;
+  readonly maxNodes?: number;
+}
+
+export interface CSharpRoslynNativeImporterAdapterOptions {
+  readonly id?: string;
+  readonly language?: FrontierSourceLanguage;
+  readonly parser?: string;
+  readonly version?: string;
+  readonly capabilities?: readonly string[];
+  readonly coverage?: NativeImporterAdapterCoverageInput;
+  readonly supportedExtensions?: readonly string[];
+  readonly diagnostics?: readonly NativeImporterAdapterDiagnostic[];
+  readonly ast?: unknown;
+  readonly nativeAst?: unknown;
+  readonly syntaxTree?: unknown;
+  readonly tree?: unknown;
+  readonly root?: unknown;
+  readonly compilationUnit?: unknown;
+  readonly parse?: (sourceText: string, options: Record<string, unknown>) => unknown;
+  readonly parserModule?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly roslyn?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly csharpRoslyn?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly parserOptions?: Record<string, unknown>;
+  readonly csharpVersion?: string;
+  readonly languageVersion?: string;
+  readonly nullableContext?: string | boolean;
+  readonly sourceCodeKind?: string;
+  readonly generated?: boolean;
+  readonly projectReferences?: unknown;
+  readonly analyzerDiagnostics?: unknown;
+  readonly semanticModelEvidence?: unknown;
+  readonly sourceGeneratorEvidence?: unknown;
+  readonly positionResolver?: (position: unknown) => unknown;
+  readonly lineMap?: unknown;
+  readonly maxNodes?: number;
+}
+
+export interface SwiftSyntaxNativeImporterAdapterOptions {
+  readonly id?: string;
+  readonly language?: FrontierSourceLanguage;
+  readonly parser?: string;
+  readonly version?: string;
+  readonly capabilities?: readonly string[];
+  readonly coverage?: NativeImporterAdapterCoverageInput;
+  readonly supportedExtensions?: readonly string[];
+  readonly diagnostics?: readonly NativeImporterAdapterDiagnostic[];
+  readonly ast?: unknown;
+  readonly nativeAst?: unknown;
+  readonly sourceFile?: unknown;
+  readonly sourceFileSyntax?: unknown;
+  readonly root?: unknown;
+  readonly parse?: (sourceText: string, options: Record<string, unknown>) => unknown;
+  readonly parserModule?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly swiftSyntax?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly swiftParser?: { readonly parse: (sourceText: string, options: Record<string, unknown>) => unknown };
+  readonly parserOptions?: Record<string, unknown>;
+  readonly swiftVersion?: string;
+  readonly languageMode?: string;
+  readonly enableBareSlashRegex?: boolean;
+  readonly parseTransition?: string;
+  readonly generated?: boolean;
+  readonly sourceKitEvidence?: unknown;
+  readonly macroExpansionEvidence?: unknown;
+  readonly packageResolutionEvidence?: unknown;
+  readonly positionResolver?: (position: unknown) => unknown;
+  readonly lineMap?: unknown;
+  readonly sourceLocationConverter?: unknown;
+  readonly maxNodes?: number;
+}
+
+export interface TreeSitterNativeImporterAdapterOptions {
+  readonly id?: string;
+  readonly language?: FrontierSourceLanguage;
+  readonly parser?: string | { readonly parse?: (sourceText: string) => unknown };
+  readonly parserName?: string;
+  readonly version?: string;
+  readonly capabilities?: readonly string[];
+  readonly coverage?: NativeImporterAdapterCoverageInput;
+  readonly supportedExtensions?: readonly string[];
+  readonly diagnostics?: readonly NativeImporterAdapterDiagnostic[];
+  readonly parserInstance?: { readonly parse: (sourceText: string) => unknown };
+  readonly treeSitterParser?: { readonly parse: (sourceText: string) => unknown };
+  readonly parse?: (input: NativeImporterAdapterParseInput) => unknown;
+  readonly tree?: unknown;
+  readonly maxNodes?: number;
+}

package/dist/declarations/language-adapter-package-contracts.d.ts

@@ -0,0 +1,190 @@
+import type {
+  FrontierSourceLanguage,
+  SemanticMergeReadiness
+} from '@shapeshift-labs/frontier-lang-kernel';
+import type { FrontierCompileTarget } from './compile.js';
+import type { ExternalSemanticIndexFormat } from './import-adapter-core.js';
+import type { NativeImporterAdapterExactness } from './adapter-coverage.js';
+import type { NativeParserAstFormatKind } from './native-parser-formats.js';
+import type { ProjectionTargetLossClass } from './projection-coverage.js';
+
+export type LanguageAdapterPackageClass =
+  | 'target-projection'
+  | 'native-importer'
+  | 'platform-importer'
+  | string;
+
+export type LanguageAdapterPackageReleaseReadinessStatus =
+  | SemanticMergeReadiness
+  | string;
+
+export interface LanguageAdapterPackageSourceParserContract {
+  readonly language: FrontierSourceLanguage | string;
+  readonly parser: string;
+  readonly format: NativeParserAstFormatKind | string;
+  readonly supportedLanguages: readonly (FrontierSourceLanguage | string)[];
+  readonly supportedFormats: readonly (NativeParserAstFormatKind | string)[];
+  readonly formatKind: 'abstract-ast' | 'concrete-syntax-tree' | 'compiler-ast' | 'semantic-index' | string;
+  readonly exactness: NativeImporterAdapterExactness;
+  readonly sourceRangeModel: string;
+  readonly preservesTokens: boolean;
+  readonly preservesTrivia: boolean;
+  readonly supportsErrorRecovery: boolean;
+  readonly caveats: readonly string[];
+}
+
+export interface LanguageAdapterPackageTargetProjectionSupport {
+  readonly target: FrontierCompileTarget | string;
+  readonly supported: boolean;
+  readonly support: 'package-projection' | 'not-shipped' | 'preserved-source' | 'stubs' | string;
+  readonly readiness: LanguageAdapterPackageReleaseReadinessStatus;
+  readonly lossClass: ProjectionTargetLossClass | string;
+  readonly reasons: readonly string[];
+}
+
+export interface LanguageAdapterPackageTargetProjectionContract {
+  readonly supported: boolean;
+  readonly targets: readonly (FrontierCompileTarget | string)[];
+  readonly defaultTarget?: FrontierCompileTarget | string;
+  readonly support: readonly LanguageAdapterPackageTargetProjectionSupport[];
+  readonly caveats: readonly string[];
+}
+
+export interface LanguageAdapterPackageSemanticIndexContract {
+  readonly supported: boolean;
+  readonly formats: readonly (ExternalSemanticIndexFormat | string)[];
+  readonly capabilities: readonly string[];
+  readonly hostEvidenceRequired: boolean;
+}
+
+export interface LanguageAdapterPackageProofEvidenceContract {
+  readonly supported: boolean;
+  readonly evidenceKinds: readonly string[];
+  readonly proofKinds: readonly string[];
+  readonly requiredEvidenceKeys: readonly string[];
+  readonly hostEvidenceRequired: boolean;
+}
+
+export interface LanguageAdapterPackageReleaseReadiness {
+  readonly status: LanguageAdapterPackageReleaseReadinessStatus;
+  readonly releaseReady: boolean;
+  readonly packageName: string;
+  readonly packageVersion: string;
+  readonly versionSource: string;
+  readonly reasons: readonly string[];
+  readonly blockers: readonly string[];
+  readonly signals: readonly string[];
+}
+
+export interface LanguageAdapterPackageContract {
+  readonly kind: 'frontier.lang.languageAdapterPackageContract';
+  readonly version: 3;
+  readonly id: string;
+  readonly packageName: string;
+  readonly packageVersion: string;
+  readonly package: {
+    readonly name: string;
+    readonly version: string;
+    readonly exportPath: string;
+    readonly packageClass: LanguageAdapterPackageClass;
+    readonly family: string;
+    readonly adapterId: string;
+  };
+  readonly sourceParser: LanguageAdapterPackageSourceParserContract;
+  readonly targetProjection: LanguageAdapterPackageTargetProjectionContract;
+  readonly semanticIndex: LanguageAdapterPackageSemanticIndexContract;
+  readonly proofEvidence: LanguageAdapterPackageProofEvidenceContract;
+  readonly releaseReadiness: LanguageAdapterPackageReleaseReadiness;
+  readonly runtime: {
+    readonly importsAdapterPackage: false;
+    readonly contractOnly: true;
+    readonly importPath: string;
+  };
+  readonly metadata: Record<string, unknown>;
+}
+
+export interface LanguageAdapterPackageContractInput {
+  readonly id?: string;
+  readonly packageName?: string;
+  readonly packageVersion?: string;
+  readonly packageClass?: LanguageAdapterPackageClass;
+  readonly package?: Partial<LanguageAdapterPackageContract['package']>;
+  readonly family?: string;
+  readonly adapterId?: string;
+  readonly exportPath?: string;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly languages?: readonly (FrontierSourceLanguage | string)[];
+  readonly parser?: string;
+  readonly parserFormat?: NativeParserAstFormatKind | string;
+  readonly sourceParser?: Partial<LanguageAdapterPackageSourceParserContract>;
+  readonly supportedLanguages?: readonly (FrontierSourceLanguage | string)[];
+  readonly supportedFormats?: readonly (NativeParserAstFormatKind | string)[];
+  readonly formats?: readonly (NativeParserAstFormatKind | string)[];
+  readonly target?: FrontierCompileTarget | string;
+  readonly targets?: readonly (FrontierCompileTarget | string)[] | FrontierCompileTarget | string;
+  readonly targetProjection?: Partial<LanguageAdapterPackageTargetProjectionContract> & {
+    readonly readiness?: LanguageAdapterPackageReleaseReadinessStatus;
+    readonly lossClass?: ProjectionTargetLossClass | string;
+    readonly reasons?: readonly string[];
+  };
+  readonly semanticIndex?: Partial<LanguageAdapterPackageSemanticIndexContract>;
+  readonly proofEvidence?: Partial<LanguageAdapterPackageProofEvidenceContract>;
+  readonly proofKeys?: readonly string[];
+  readonly releaseReadiness?: Partial<LanguageAdapterPackageReleaseReadiness> | LanguageAdapterPackageReleaseReadinessStatus;
+  readonly releaseReady?: boolean;
+  readonly readiness?: LanguageAdapterPackageReleaseReadinessStatus;
+  readonly reasons?: readonly string[];
+  readonly blockers?: readonly string[];
+  readonly versionSource?: string;
+  readonly signals?: readonly string[];
+  readonly exactness?: NativeImporterAdapterExactness;
+  readonly sourceRangeModel?: string;
+  readonly preservesTokens?: boolean;
+  readonly preservesTrivia?: boolean;
+  readonly supportsErrorRecovery?: boolean;
+  readonly parserCaveats?: readonly string[];
+  readonly targetCaveats?: readonly string[];
+  readonly runtime?: { readonly importPath?: string };
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface LanguageAdapterPackageContractQuery {
+  readonly packageName?: string;
+  readonly packageClass?: LanguageAdapterPackageClass;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly sourceLanguage?: FrontierSourceLanguage | string;
+  readonly target?: FrontierCompileTarget | string;
+  readonly semanticIndexFormat?: ExternalSemanticIndexFormat | string;
+  readonly releaseReady?: boolean;
+  readonly importsAdapterPackage?: boolean;
+  readonly proofEvidenceSupported?: boolean;
+}
+
+export interface LanguageAdapterPackageContractSummary {
+  readonly kind: 'frontier.lang.languageAdapterPackageContractSummary';
+  readonly version: 1;
+  readonly packages: number;
+  readonly releaseReady: number;
+  readonly runtimeImportsAdapterPackages: number;
+  readonly languages: readonly string[];
+  readonly parserFormats: readonly string[];
+  readonly projectionTargets: readonly string[];
+  readonly semanticIndexFormats: readonly string[];
+  readonly byPackageClass: Readonly<Record<string, number>>;
+  readonly byReleaseReadiness: Readonly<Record<string, number>>;
+}
+
+export declare const LanguageAdapterPackageReleaseReadinessStatuses: readonly LanguageAdapterPackageReleaseReadinessStatus[];
+export declare const LanguageAdapterPackageContracts: readonly LanguageAdapterPackageContract[];
+export declare function createLanguageAdapterPackageContract(input?: LanguageAdapterPackageContractInput): LanguageAdapterPackageContract;
+export declare function getLanguageAdapterPackageContract(
+  ref: string | LanguageAdapterPackageContractQuery,
+  contracts?: readonly LanguageAdapterPackageContract[]
+): LanguageAdapterPackageContract | undefined;
+export declare function queryLanguageAdapterPackageContracts(
+  query?: LanguageAdapterPackageContractQuery,
+  contracts?: readonly LanguageAdapterPackageContract[]
+): readonly LanguageAdapterPackageContract[];
+export declare function summarizeLanguageAdapterPackageContracts(
+  contracts?: readonly LanguageAdapterPackageContract[]
+): LanguageAdapterPackageContractSummary;