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

package/dist/declarations/native-project-admission.d.ts

@@ -0,0 +1,160 @@
+import type { FrontierSourceLanguage, SemanticMergeReadiness } from '@shapeshift-labs/frontier-lang-kernel';
+import type { NativeImportLossSummary } from './native-import-losses.js';
+import type { NativeImportResultContract } from './native-import-contracts.js';
+import type { NativeProjectImportResult } from './native-project.js';
+
+export type NativeProjectImportAdmissionAction = 'admit' | 'prioritize' | 'reject';
+export type NativeProjectImportAdmissionPriority = 'low' | 'normal' | 'high' | 'critical' | 'blocker';
+export type NativeProjectImportAdmissionRisk = 'low' | 'medium' | 'high' | 'unknown';
+export type NativeProjectSourcePreservationQuality = 'exact' | 'lossy' | 'missing' | 'stale' | 'empty';
+
+export interface NativeProjectAdmissionLanguageSummary {
+  readonly language: FrontierSourceLanguage | string;
+  readonly sourceCount: number;
+  readonly sourcePaths: readonly string[];
+  readonly readiness: SemanticMergeReadiness;
+  readonly semanticSymbols: number;
+  readonly emptySemanticEvidenceSources: number;
+  readonly sourcePreservationQuality: NativeProjectSourcePreservationQuality;
+  readonly staleSourcePaths: readonly string[];
+  readonly mergeCandidates: number;
+  readonly highestRisk: NativeProjectImportAdmissionRisk;
+}
+
+export interface NativeProjectAdmissionLanguages {
+  readonly total: number;
+  readonly byReadiness: Readonly<Record<string, number>>;
+  readonly bySourcePreservationQuality: Readonly<Record<string, number>>;
+  readonly rows: readonly NativeProjectAdmissionLanguageSummary[];
+}
+
+export interface NativeProjectAdmissionSemanticEvidence {
+  readonly empty: boolean;
+  readonly emptySourceCount: number;
+  readonly emptySourcePaths: readonly string[];
+  readonly symbols: number;
+  readonly occurrences: number;
+  readonly relations: number;
+  readonly facts: number;
+  readonly evidenceRecords: number;
+}
+
+export interface NativeProjectAdmissionSourcePreservation {
+  readonly quality: NativeProjectSourcePreservationQuality;
+  readonly total: number;
+  readonly exactSourceAvailable: number;
+  readonly sourceBytes: number;
+  readonly tokens: number;
+  readonly trivia: number;
+  readonly directives: number;
+  readonly comments: number;
+  readonly truncated: boolean;
+  readonly stale: number;
+  readonly missing: number;
+  readonly lossy: number;
+  readonly staleSourcePaths: readonly string[];
+  readonly lossySourcePaths: readonly string[];
+  readonly byQuality: Readonly<Record<string, number>>;
+}
+
+export interface NativeProjectAdmissionOwnership {
+  readonly total: number;
+  readonly changed: number;
+  readonly ids: readonly string[];
+  readonly keys: readonly string[];
+  readonly changedIds: readonly string[];
+  readonly changedKeys: readonly string[];
+  readonly candidateRegionConflictKeys: readonly string[];
+  readonly sourcePaths: readonly string[];
+  readonly byKind: Readonly<Record<string, number>>;
+  readonly byGranularity: Readonly<Record<string, number>>;
+  readonly byPrecision: Readonly<Record<string, number>>;
+  readonly byLanguage: Readonly<Record<string, number>>;
+}
+
+export interface NativeProjectAdmissionMergeCandidates {
+  readonly total: number;
+  readonly readiness: SemanticMergeReadiness;
+  readonly highestRisk: NativeProjectImportAdmissionRisk;
+  readonly byRisk: Readonly<Record<string, number>>;
+  readonly byReadiness: Readonly<Record<string, number>>;
+  readonly highRiskCandidateIds: readonly string[];
+  readonly reviewCandidateIds: readonly string[];
+  readonly blockedCandidateIds: readonly string[];
+  readonly conflictKeys: readonly string[];
+  readonly patchRisk?: NativeProjectImportAdmissionRisk;
+}
+
+export type NativeProjectAdmissionScoreComponentKey =
+  | 'semanticEvidence'
+  | 'sourcePreservation'
+  | 'sourceFreshness'
+  | 'ownershipChange'
+  | 'proofReadiness'
+  | 'targetProjectionCoverage';
+
+export type NativeProjectAdmissionScoreComponentStatus = 'strong' | 'partial' | 'weak' | 'blocked';
+
+export interface NativeProjectAdmissionScoreComponent {
+  readonly key: NativeProjectAdmissionScoreComponentKey;
+  readonly score: number;
+  readonly weight: number;
+  readonly weightedScore: number;
+  readonly status: NativeProjectAdmissionScoreComponentStatus;
+  readonly reasons: readonly string[];
+  readonly signals: Record<string, unknown>;
+}
+
+export interface NativeProjectAdmissionMergeScoreComponents {
+  readonly semanticEvidence: NativeProjectAdmissionScoreComponent;
+  readonly sourcePreservation: NativeProjectAdmissionScoreComponent;
+  readonly sourceFreshness: NativeProjectAdmissionScoreComponent;
+  readonly ownershipChange: NativeProjectAdmissionScoreComponent;
+  readonly proofReadiness: NativeProjectAdmissionScoreComponent;
+  readonly targetProjectionCoverage: NativeProjectAdmissionScoreComponent;
+}
+
+export interface NativeProjectAdmissionMergeScore {
+  readonly schema: 'frontier.lang.semanticMergeScore.v1';
+  readonly version: 1;
+  readonly value: number;
+  readonly uncappedValue: number;
+  readonly sortKey: number;
+  readonly higherIsBetter: true;
+  readonly readiness: SemanticMergeReadiness;
+  readonly risk: NativeProjectImportAdmissionRisk;
+  readonly action: NativeProjectImportAdmissionAction;
+  readonly priority: NativeProjectImportAdmissionPriority;
+  readonly components: NativeProjectAdmissionMergeScoreComponents;
+  readonly penalties: readonly string[];
+}
+
+export interface NativeProjectImportAdmission {
+  readonly kind: 'frontier.lang.projectImportAdmission';
+  readonly version: 1;
+  readonly projectImportId?: string;
+  readonly language?: FrontierSourceLanguage | 'mixed' | string;
+  readonly projectRoot?: string;
+  readonly action: NativeProjectImportAdmissionAction;
+  readonly priority: NativeProjectImportAdmissionPriority;
+  readonly readiness: SemanticMergeReadiness;
+  readonly sourceCount: number;
+  readonly languages: NativeProjectAdmissionLanguages;
+  readonly semanticEvidence: NativeProjectAdmissionSemanticEvidence;
+  readonly sourcePreservation: NativeProjectAdmissionSourcePreservation;
+  readonly ownership: NativeProjectAdmissionOwnership;
+  readonly mergeCandidates: NativeProjectAdmissionMergeCandidates;
+  readonly mergeScore?: NativeProjectAdmissionMergeScore;
+  readonly reasons: readonly string[];
+  readonly metadata: Record<string, unknown>;
+}
+
+export interface CreateProjectImportAdmissionRecordOptions {
+  readonly importResultContract?: NativeImportResultContract;
+  readonly lossSummary?: NativeImportLossSummary;
+}
+
+export declare function createProjectImportAdmissionRecord(
+  projectResult: NativeProjectImportResult,
+  options?: CreateProjectImportAdmissionRecordOptions
+): NativeProjectImportAdmission;

package/dist/declarations/native-project.d.ts

@@ -0,0 +1,209 @@
+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 { NativeProjectImportAdmission } from './native-project-admission.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 { JavaScriptNativeImporterAdapterOptions, TypeScriptCompilerNativeImporterAdapterOptions, PythonAstNativeImporterAdapterOptions, RustSynNativeImporterAdapterOptions, ClangAstNativeImporterAdapterOptions, GoAstNativeImporterAdapterOptions } from './import-adapter-options-native.js';
+import type { JavaAstNativeImporterAdapterOptions, KotlinPsiNativeImporterAdapterOptions, CSharpRoslynNativeImporterAdapterOptions, SwiftSyntaxNativeImporterAdapterOptions, TreeSitterNativeImporterAdapterOptions } from './import-adapter-options-platform.js';
+import type { NativeTargetProjectionAdapterCoverageInput, NativeTargetProjectionAdapterSummary, NativeTargetProjectionAdapterInput, NativeTargetProjectionAdapterResult, NativeTargetProjectionAdapter, NativeTargetProjectionAdapterResolverInput, NativeTargetProjectionResult } from './target-adapters.js';
+import type { NativeImportRoundtripReadinessStatus, NativeImportRoundtripReadinessOptions, NativeImportRoundtripReadinessClassification } from './roundtrip.js';
+
+export interface NativeProjectSourceInput extends ImportNativeSourceOptions {
+  readonly adapter?: NativeImporterAdapter | string;
+  readonly adapterOptions?: Record<string, unknown>;
+  readonly adapterMetadata?: Record<string, unknown>;
+}
+
+export interface ImportNativeProjectOptions {
+  readonly id?: string;
+  readonly name?: string;
+  readonly language?: FrontierSourceLanguage | 'mixed';
+  readonly projectRoot?: string;
+  readonly documentId?: string;
+  readonly documentName?: string;
+  readonly documentMetadata?: Record<string, unknown>;
+  readonly universalAstId?: string;
+  readonly universalAstMetadata?: Record<string, unknown>;
+  readonly semanticIndexId?: string;
+  readonly patchId?: string;
+  readonly author?: string;
+  readonly metadata?: Record<string, unknown>;
+  readonly adapterOptions?: Record<string, unknown>;
+  readonly adapterMetadata?: Record<string, unknown>;
+  readonly adapters?: readonly NativeImporterAdapter[];
+  readonly adapterResolver?: (source: NativeProjectSourceInput, adapters: readonly NativeImporterAdapter[]) => NativeImporterAdapter | undefined;
+  readonly sources: readonly NativeProjectSourceInput[];
+}
+
+export interface NativeProjectImportResultMetadata extends Record<string, unknown> {
+  readonly importResultContract?: NativeImportResultContract;
+  readonly projectAdmission?: NativeProjectImportAdmission;
+  readonly semanticMergeAdmission?: NativeProjectImportAdmission;
+  readonly nativeImportLossSummary?: NativeImportLossSummary;
+  readonly semanticMergeReadiness?: SemanticMergeReadiness;
+  readonly readinessReasons?: readonly string[];
+}
+
+export interface NativeProjectImportResult {
+  readonly kind: 'frontier.lang.projectImportResult';
+  readonly version: 1;
+  readonly id: string;
+  readonly language: FrontierSourceLanguage | 'mixed';
+  readonly projectRoot?: string;
+  readonly imports: readonly NativeSourceImportResult[];
+  readonly document: FrontierLangDocument;
+  readonly patch: SemanticPatchBundle;
+  readonly nativeSources: readonly NativeSourceNode[];
+  readonly semanticIndex?: SemanticIndexRecord;
+  readonly universalAst: FrontierUniversalAstEnvelope;
+  readonly sourceMaps: readonly SourceMapRecord[];
+  readonly losses: readonly NativeAstLossRecord[];
+  readonly evidence: readonly EvidenceRecord[];
+  readonly mergeCandidates: readonly SemanticMergeCandidateRecord[];
+  readonly metadata?: NativeProjectImportResultMetadata;
+}
+
+export type NativeSourceProjectionMode = 'preserved-source' | 'native-source-stubs';
+
+export interface ProjectNativeImportToSourceOptions {
+  readonly id?: string;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly sourcePath?: string;
+  readonly expectedSourceHash?: string;
+  readonly sourceText?: string;
+  readonly preservedSourceText?: string;
+  readonly exactSourceText?: string;
+  readonly sourceHash?: string;
+  readonly verifySourceHash?: boolean;
+  readonly preferPreservedSource?: boolean;
+  readonly stubBanner?: string | false;
+  readonly evidenceId?: string;
+  readonly parser?: string;
+  readonly semanticStatus?: string;
+  readonly nativeSource?: NativeSourceNode;
+  readonly nativeAst?: NativeAstRecord;
+  readonly semanticIndex?: SemanticIndexRecord;
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface NativeSourceProjectionDeclaration {
+  readonly name: string;
+  readonly kind: string;
+  readonly symbolId?: string;
+  readonly nativeAstNodeId?: string;
+  readonly sourceSpan?: SourceSpan;
+  readonly ownershipRegionId?: string;
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface NativeSourceProjectionResult {
+  readonly kind: 'frontier.lang.nativeSourceProjection';
+  readonly version: 1;
+  readonly id: string;
+  readonly language: FrontierSourceLanguage | string;
+  readonly sourcePath?: string;
+  readonly sourceHash?: string;
+  readonly mode: NativeSourceProjectionMode;
+  readonly sourceText: string;
+  readonly outputHash: string;
+  readonly declarations: readonly NativeSourceProjectionDeclaration[];
+  readonly losses: readonly NativeAstLossRecord[];
+  readonly lossSummary: NativeImportLossSummary;
+  readonly readiness: NativeImportReadinessClassification;
+  readonly evidence: readonly EvidenceRecord[];
+  readonly metadata: Record<string, unknown>;
+}
+
+export type NativeSourceCompileOutputMode = NativeSourceProjectionMode | 'target-stubs' | 'target-adapter';
+
+export interface CompileNativeSourceOptions extends ProjectNativeImportToSourceOptions {
+  readonly target?: FrontierCompileTarget | string;
+  readonly adapters?: readonly NativeImporterAdapter[];
+  readonly targetAdapters?: readonly NativeTargetProjectionAdapter[];
+  readonly targetAdapter?: NativeTargetProjectionAdapter | string;
+  readonly targetAdapterResolver?: (
+    input: NativeTargetProjectionAdapterResolverInput,
+    adapters: readonly NativeTargetProjectionAdapter[]
+  ) => NativeTargetProjectionAdapter | undefined;
+  readonly targetAdapterOptions?: Record<string, unknown>;
+  readonly targetAdapterMetadata?: Record<string, unknown>;
+  readonly languages?: readonly NativeImportLanguageProfile[];
+  readonly generatedAt?: number;
+  readonly emitOnBlocked?: boolean;
+  readonly emitSourceMap?: boolean;
+  readonly targetPath?: string;
+  readonly targetHash?: string;
+  readonly sourceMapId?: string;
+  readonly projectionId?: string;
+  readonly projectionEvidenceId?: string;
+  readonly compileEvidenceId?: string;
+  readonly evidence?: readonly EvidenceRecord[];
+  readonly losses?: readonly NativeAstLossRecord[];
+}
+
+export interface NativeSourceCompileResult {
+  readonly kind: 'frontier.lang.nativeSourceCompileResult';
+  readonly version: 1;
+  readonly id: string;
+  readonly ok: boolean;
+  readonly target: FrontierCompileTarget | string;
+  readonly language: FrontierSourceLanguage | string;
+  readonly sourcePath?: string;
+  readonly output: string;
+  readonly outputHash: string;
+  readonly outputMode: NativeSourceCompileOutputMode;
+  readonly sourceMap?: SourceMapRecord;
+  readonly sourceMaps: readonly SourceMapRecord[];
+  readonly importResult: NativeSourceImportResult;
+  readonly projection: NativeSourceProjectionResult;
+  readonly targetProjection?: NativeTargetProjectionResult;
+  readonly targetCoverage: ProjectionTargetCoverageEntry;
+  readonly projectionMatrix: ProjectionTargetLossMatrix;
+  readonly losses: readonly NativeAstLossRecord[];
+  readonly lossSummary: NativeImportLossSummary;
+  readonly readiness: NativeImportReadinessClassification;
+  readonly evidence: readonly EvidenceRecord[];
+  readonly metadata: Record<string, unknown>;
+}

package/dist/declarations/projection-coverage.d.ts

@@ -0,0 +1,146 @@
+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 { 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 { JavaScriptNativeImporterAdapterOptions, TypeScriptCompilerNativeImporterAdapterOptions, PythonAstNativeImporterAdapterOptions, RustSynNativeImporterAdapterOptions, ClangAstNativeImporterAdapterOptions, GoAstNativeImporterAdapterOptions } from './import-adapter-options-native.js';
+import type { JavaAstNativeImporterAdapterOptions, KotlinPsiNativeImporterAdapterOptions, CSharpRoslynNativeImporterAdapterOptions, SwiftSyntaxNativeImporterAdapterOptions, TreeSitterNativeImporterAdapterOptions } from './import-adapter-options-platform.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 type ProjectionTargetLossClass =
+  | 'exactSourceProjection'
+  | 'nativeSourceStubs'
+  | 'unsupportedTargetFeatures'
+  | 'targetAdapterProjection'
+  | 'missingAdapter'
+  | string;
+
+export interface ProjectionSourceProjectionCoverage {
+  readonly lossClass: ProjectionTargetLossClass;
+  readonly mode: NativeSourceProjectionMode;
+  readonly supported: boolean;
+  readonly readiness: SemanticMergeReadiness;
+  readonly lossKinds: readonly NativeImportKnownLossKind[];
+  readonly categories: readonly NativeImportTaxonomyKind[];
+  readonly reason: string;
+  readonly evidence: {
+    readonly imports: number;
+    readonly importsWithExactSource?: number;
+    readonly importsWithDeclarations?: number;
+  };
+  readonly notes: readonly string[];
+}
+
+export interface ProjectionTargetCoverageEntry {
+  readonly target: FrontierCompileTarget | string;
+  readonly lossClass: ProjectionTargetLossClass;
+  readonly supported: boolean;
+  readonly readiness: SemanticMergeReadiness;
+  readonly lossKinds: readonly NativeImportKnownLossKind[];
+  readonly categories: readonly NativeImportTaxonomyKind[];
+  readonly reason: string;
+  readonly adapter?: string;
+  readonly adapterKind?: 'importer' | 'targetProjection' | string;
+  readonly adapterVersion?: string;
+  readonly adapterCoverage?: NativeTargetProjectionAdapterCoverageInput;
+  readonly notes: readonly string[];
+}
+
+export interface ProjectionTargetLanguageCoverage {
+  readonly language: FrontierSourceLanguage | string;
+  readonly aliases: readonly string[];
+  readonly extensions: readonly string[];
+  readonly supportsLightweightScan: boolean;
+  readonly parserAdapters: readonly string[];
+  readonly projectionTargets: readonly (FrontierCompileTarget | string)[];
+  readonly knownLossKinds: readonly NativeImportKnownLossKind[];
+  readonly defaultReadiness: SemanticMergeReadiness;
+  readonly notes: readonly string[];
+  readonly sourceProjection: {
+    readonly exactSource: ProjectionSourceProjectionCoverage;
+    readonly stubs: ProjectionSourceProjectionCoverage;
+  };
+  readonly targets: readonly ProjectionTargetCoverageEntry[];
+  readonly summary: {
+    readonly imports: number;
+    readonly parserAdapters: number;
+    readonly targetEntries: number;
+    readonly byLossClass: Readonly<Record<ProjectionTargetLossClass, number>>;
+    readonly exactSourceImports: number;
+    readonly stubDeclarationImports: number;
+  };
+}
+
+export interface ProjectionTargetLossMatrix {
+  readonly kind: 'frontier.lang.projectionTargetLossMatrix';
+  readonly version: 1;
+  readonly generatedAt: number;
+  readonly languages: readonly ProjectionTargetLanguageCoverage[];
+  readonly summary: {
+    readonly languages: number;
+    readonly targetEntries: number;
+    readonly byLossClass: Readonly<Record<ProjectionTargetLossClass, number>>;
+    readonly sourceProjectionByLossClass: Readonly<Record<ProjectionTargetLossClass, number>>;
+    readonly exactSourceProjection: number;
+    readonly nativeSourceStubs: number;
+    readonly targetAdapterProjection: number;
+    readonly unsupportedTargetFeatures: number;
+    readonly missingAdapters: number;
+  };
+  readonly metadata: {
+    readonly compileTargets: readonly (FrontierCompileTarget | string)[];
+    readonly lossClasses: readonly ProjectionTargetLossClass[];
+    readonly note: string;
+  };
+}
+
+export interface ProjectionTargetLossMatrixOptions {
+  readonly languages?: readonly NativeImportLanguageProfile[];
+  readonly imports?: readonly NativeSourceImportResult[];
+  readonly adapters?: readonly NativeImporterAdapter[];
+  readonly targetAdapters?: readonly NativeTargetProjectionAdapter[];
+  readonly targets?: readonly (FrontierCompileTarget | string)[];
+  readonly generatedAt?: number;
+}

package/dist/declarations/projection-readiness.d.ts

@@ -0,0 +1,115 @@
+import type {
+  FrontierSourceLanguage,
+  SemanticMergeReadiness
+} from '@shapeshift-labs/frontier-lang-kernel';
+import type { FrontierCompileTarget } from './compile.js';
+import type { NativeImportKnownLossKind, NativeImportTaxonomyKind } from './native-import-losses.js';
+import type { NativeParserFeatureCategory } from './native-parser-features.js';
+import type {
+  ProjectionTargetLossClass,
+  ProjectionTargetLossMatrix,
+  ProjectionTargetLossMatrixOptions
+} from './projection-coverage.js';
+
+export type ProjectionReadinessStatus = 'preserve' | 'lower' | 'shim' | 'lossy' | 'blocked' | string;
+
+export interface ProjectionReadinessFeatureCell {
+  readonly category: NativeParserFeatureCategory;
+  readonly status: ProjectionReadinessStatus;
+  readonly readiness: SemanticMergeReadiness;
+  readonly lossClass: ProjectionTargetLossClass;
+  readonly lossKinds: readonly NativeImportKnownLossKind[];
+  readonly reasons: readonly string[];
+  readonly notes: readonly string[];
+}
+
+export interface ProjectionReadinessTargetCell {
+  readonly sourceLanguage: FrontierSourceLanguage | string;
+  readonly target: FrontierCompileTarget | string;
+  readonly status: ProjectionReadinessStatus;
+  readonly readiness: SemanticMergeReadiness;
+  readonly lossClass: ProjectionTargetLossClass;
+  readonly supported: boolean;
+  readonly adapter?: string;
+  readonly adapterKind?: 'importer' | 'targetProjection' | string;
+  readonly features: readonly ProjectionReadinessFeatureCell[];
+  readonly byFeature: Readonly<Partial<Record<NativeParserFeatureCategory, ProjectionReadinessStatus>>>;
+  readonly blockingFeatures: readonly NativeParserFeatureCategory[];
+  readonly lossyFeatures: readonly NativeParserFeatureCategory[];
+  readonly shimFeatures: readonly NativeParserFeatureCategory[];
+  readonly lowerFeatures: readonly NativeParserFeatureCategory[];
+  readonly preserveFeatures: readonly NativeParserFeatureCategory[];
+  readonly lossKinds: readonly NativeImportKnownLossKind[];
+  readonly categories: readonly NativeImportTaxonomyKind[];
+  readonly reasons: readonly string[];
+  readonly notes: readonly string[];
+}
+
+export interface ProjectionReadinessLanguageRow {
+  readonly language: FrontierSourceLanguage | string;
+  readonly aliases: readonly string[];
+  readonly extensions: readonly string[];
+  readonly targets: readonly ProjectionReadinessTargetCell[];
+  readonly summary: ProjectionReadinessSummary;
+}
+
+export interface ProjectionReadinessSummary {
+  readonly targetEntries: number;
+  readonly featureCells: number;
+  readonly byStatus: Readonly<Record<ProjectionReadinessStatus, number>>;
+  readonly byFeatureStatus: Readonly<Partial<Record<NativeParserFeatureCategory, Readonly<Record<ProjectionReadinessStatus, number>>>>>;
+  readonly preserveTargets: number;
+  readonly lowerTargets: number;
+  readonly shimTargets: number;
+  readonly lossyTargets: number;
+  readonly blockedTargets: number;
+}
+
+export interface ProjectionReadinessMatrix {
+  readonly kind: 'frontier.lang.projectionReadinessMatrix';
+  readonly version: 1;
+  readonly generatedAt: number;
+  readonly languages: readonly ProjectionReadinessLanguageRow[];
+  readonly summary: ProjectionReadinessSummary & { readonly languages: number };
+  readonly matrices: { readonly projectionTargets: ProjectionTargetLossMatrix };
+  readonly metadata: {
+    readonly statuses: readonly ProjectionReadinessStatus[];
+    readonly featureCategories: readonly NativeParserFeatureCategory[];
+    readonly compileTargets: readonly (FrontierCompileTarget | string)[];
+    readonly note: string;
+  };
+}
+
+export interface ProjectionReadinessMatrixOptions extends ProjectionTargetLossMatrixOptions {
+  readonly featureCategories?: readonly (NativeParserFeatureCategory | string)[] | NativeParserFeatureCategory | string;
+  readonly projectionTargetMatrix?: ProjectionTargetLossMatrix;
+}
+
+export interface ProjectionReadinessMatrixQuery {
+  readonly sourceLanguage?: FrontierSourceLanguage | string;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly target?: FrontierCompileTarget | string;
+  readonly featureCategory?: NativeParserFeatureCategory | string;
+  readonly category?: NativeParserFeatureCategory | string;
+}
+
+export interface ProjectionReadinessMatrixQueryResult {
+  readonly kind: 'frontier.lang.projectionReadinessQuery';
+  readonly version: 1;
+  readonly found: boolean;
+  readonly sourceLanguage?: FrontierSourceLanguage | string;
+  readonly target?: FrontierCompileTarget | string;
+  readonly featureCategory?: NativeParserFeatureCategory | string;
+  readonly status: ProjectionReadinessStatus;
+  readonly readiness: SemanticMergeReadiness;
+  readonly cell?: ProjectionReadinessTargetCell;
+  readonly feature?: ProjectionReadinessFeatureCell;
+  readonly reasons: readonly string[];
+}
+
+export declare const ProjectionReadinessStatuses: readonly ProjectionReadinessStatus[];
+export declare function createProjectionReadinessMatrix(options?: ProjectionReadinessMatrixOptions): ProjectionReadinessMatrix;
+export declare function queryProjectionReadinessMatrix(
+  matrixOrOptions?: ProjectionReadinessMatrix | ProjectionReadinessMatrixOptions,
+  query?: ProjectionReadinessMatrixQuery
+): ProjectionReadinessMatrixQueryResult;