@shapeshift-labs/frontier-lang-compiler 0.2.65 → 0.2.67

package/dist/declarations/semantic-merge-candidates.d.ts

@@ -0,0 +1,200 @@
+import type {
+  EvidenceRecord,
+  FrontierSourceLanguage,
+  SemanticMergeCandidateRecord,
+  SemanticMergeReadiness,
+  SourceSpan
+} from '@shapeshift-labs/frontier-lang-kernel';
+import type { NativeSourceChangeKind, NativeSourceChangeSet } from './native-diff.js';
+import type { SemanticMergeConflictSummary } from './semantic-merge-conflicts.js';
+
+export type SemanticMergeCandidateProjectionRisk = 'low' | 'medium' | 'high' | 'unknown';
+
+export interface SemanticMergeCandidateChangedRegion {
+  readonly id?: string;
+  readonly key?: string;
+  readonly conflictKey?: string;
+  readonly changeKind?: NativeSourceChangeKind | string;
+  readonly regionKind?: string;
+  readonly granularity?: string;
+  readonly precision?: string;
+  readonly projectionRisk?: SemanticMergeCandidateProjectionRisk;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly sourcePath?: string;
+  readonly sourceHash?: string;
+  readonly baseHash?: string;
+  readonly targetHash?: string;
+  readonly symbolId?: string;
+  readonly symbolName?: string;
+  readonly symbolKind?: string;
+  readonly semanticNodeId?: string;
+  readonly nativeAstNodeId?: string;
+  readonly sourceSpan?: SourceSpan;
+  readonly sourceMapLinkIds?: readonly string[];
+  readonly sourceMapIds?: readonly string[];
+  readonly sourceMapMappingIds?: readonly string[];
+  readonly admission?: {
+    readonly readiness?: SemanticMergeReadiness | string;
+    readonly action?: string;
+    readonly reasonCodes?: readonly string[];
+    readonly conflictKeys?: readonly string[];
+  };
+}
+
+export interface SemanticMergeCandidateOverlapRecord {
+  readonly schema: 'frontier.lang.semanticMergeCandidateOverlap.v1';
+  readonly id: string;
+  readonly overlapKind: 'conflict-key' | 'region-key' | 'source-span' | string;
+  readonly risk: 'medium' | 'high' | string;
+  readonly readiness: SemanticMergeReadiness | string;
+  readonly recordIds: readonly string[];
+  readonly candidateIds: readonly string[];
+  readonly regionIds: readonly string[];
+  readonly regionKeys: readonly string[];
+  readonly conflictKeys: readonly string[];
+  readonly sourcePath?: string;
+  readonly leftRegion: Partial<SemanticMergeCandidateChangedRegion>;
+  readonly rightRegion: Partial<SemanticMergeCandidateChangedRegion>;
+}
+
+export interface SemanticMergeCandidateAdmissionRecord {
+  readonly kind: 'frontier.lang.semanticMergeCandidateAdmissionRecord';
+  readonly version: 1;
+  readonly schema: 'frontier.lang.semanticMergeCandidateAdmissionRecord.v1';
+  readonly id: string;
+  readonly candidateId?: string;
+  readonly importResultId?: string;
+  readonly patchId?: string;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly sourcePath?: string;
+  readonly readiness: SemanticMergeReadiness | string;
+  readonly readinessSortKey: number;
+  readonly projectionRisk: SemanticMergeCandidateProjectionRisk;
+  readonly sourceHashes: {
+    readonly baseHash?: string;
+    readonly targetHash?: string;
+    readonly values: readonly string[];
+  };
+  readonly baseHash?: string;
+  readonly targetHash?: string;
+  readonly changedSemanticRegions: readonly SemanticMergeCandidateChangedRegion[];
+  readonly conflictKeys: readonly string[];
+  readonly evidenceIds: readonly string[];
+  readonly proofIds: readonly string[];
+  readonly overlapSummary: {
+    readonly total: number;
+    readonly hasOverlaps: boolean;
+    readonly byKind: Readonly<Record<string, number>>;
+    readonly conflictKeys: readonly string[];
+    readonly pairs: readonly SemanticMergeCandidateOverlapRecord[];
+  };
+  readonly admission: {
+    readonly readiness: SemanticMergeReadiness | string;
+    readonly reviewRequired: boolean;
+    readonly action: 'admit' | 'prioritize-review' | 'block' | string;
+    readonly sortKey: number;
+    readonly reasonCodes: readonly string[];
+    readonly conflictKeys: readonly string[];
+  };
+  readonly index: {
+    readonly candidateIds: readonly string[];
+    readonly importResultIds: readonly string[];
+    readonly patchIds: readonly string[];
+    readonly sourcePaths: readonly string[];
+    readonly sourceHashes: readonly string[];
+    readonly baseHashes: readonly string[];
+    readonly targetHashes: readonly string[];
+    readonly regionIds: readonly string[];
+    readonly regionKeys: readonly string[];
+    readonly regionKinds: readonly string[];
+    readonly conflictKeys: readonly string[];
+    readonly evidenceIds: readonly string[];
+    readonly proofIds: readonly string[];
+    readonly readinesses: readonly string[];
+    readonly projectionRisks: readonly string[];
+  };
+  readonly summary: {
+    readonly changedSemanticRegions: number;
+    readonly conflictKeys: number;
+    readonly evidenceIds: number;
+    readonly proofIds: number;
+    readonly overlaps: number;
+    readonly readiness: SemanticMergeReadiness | string;
+    readonly projectionRisk: SemanticMergeCandidateProjectionRisk;
+    readonly reviewRequired: boolean;
+  };
+  readonly metadata?: Record<string, unknown> & {
+    readonly conflictSummary?: SemanticMergeConflictSummary;
+  };
+}
+
+export type SemanticMergeCandidateAdmissionInput =
+  | NativeSourceChangeSet
+  | SemanticMergeCandidateRecord
+  | SemanticMergeCandidateAdmissionRecord
+  | Record<string, unknown>;
+
+export interface CreateSemanticMergeCandidateAdmissionRecordOptions {
+  readonly id?: string;
+  readonly changeSet?: NativeSourceChangeSet;
+  readonly candidate?: SemanticMergeCandidateRecord | Record<string, unknown>;
+  readonly patch?: unknown;
+  readonly candidateId?: string;
+  readonly importResultId?: string;
+  readonly patchId?: string;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly sourcePath?: string;
+  readonly sourceHash?: string;
+  readonly sourceHashes?: readonly string[] | string;
+  readonly baseHash?: string;
+  readonly targetHash?: string;
+  readonly readiness?: SemanticMergeReadiness | string;
+  readonly projectionRisk?: SemanticMergeCandidateProjectionRisk | string;
+  readonly changedRegions?: readonly unknown[] | unknown;
+  readonly conflictKeys?: readonly string[] | string;
+  readonly evidence?: readonly EvidenceRecord[] | EvidenceRecord;
+  readonly evidenceIds?: readonly string[] | string;
+  readonly proofIds?: readonly string[] | string;
+  readonly reasonCodes?: readonly string[] | string;
+  readonly metadata?: Record<string, unknown>;
+}
+
+export type SemanticMergeCandidateWithAdmission = SemanticMergeCandidateRecord & {
+  readonly changedSemanticRegions?: readonly SemanticMergeCandidateChangedRegion[];
+  readonly sourceHashes?: SemanticMergeCandidateAdmissionRecord['sourceHashes'];
+  readonly evidenceIds?: readonly string[];
+  readonly proofIds?: readonly string[];
+  readonly projectionRisk?: SemanticMergeCandidateProjectionRisk;
+  readonly readinessSortKey?: number;
+  readonly mergeAdmission?: SemanticMergeCandidateAdmissionRecord;
+};
+
+export interface SemanticMergeCandidateAdmissionOverlapQuery {
+  readonly id?: string | readonly string[];
+  readonly ids?: readonly string[];
+  readonly candidateId?: string | readonly string[];
+  readonly candidateIds?: readonly string[];
+  readonly recordId?: string | readonly string[];
+  readonly recordIds?: readonly string[];
+  readonly regionId?: string | readonly string[];
+  readonly regionIds?: readonly string[];
+  readonly regionKey?: string | readonly string[];
+  readonly regionKeys?: readonly string[];
+  readonly conflictKey?: string | readonly string[];
+  readonly conflictKeys?: readonly string[];
+  readonly sourcePath?: string | readonly string[];
+  readonly sourcePaths?: readonly string[];
+  readonly overlapKind?: string | readonly string[];
+  readonly overlapKinds?: readonly string[];
+  readonly readiness?: SemanticMergeReadiness | string | readonly string[];
+  readonly readinesses?: readonly string[];
+  readonly risk?: string | readonly string[];
+  readonly risks?: readonly string[];
+}
+
+export declare const SemanticMergeCandidateProjectionRisks: readonly SemanticMergeCandidateProjectionRisk[];
+export declare function createSemanticMergeCandidateAdmissionRecord(input?: SemanticMergeCandidateAdmissionInput, options?: CreateSemanticMergeCandidateAdmissionRecordOptions): SemanticMergeCandidateAdmissionRecord;
+export declare function decorateSemanticMergeCandidateForAdmission<T extends SemanticMergeCandidateRecord | Record<string, unknown>>(input?: T, options?: CreateSemanticMergeCandidateAdmissionRecordOptions): T & SemanticMergeCandidateWithAdmission;
+export declare function querySemanticMergeCandidateAdmissionOverlaps(records: SemanticMergeCandidateAdmissionInput | readonly SemanticMergeCandidateAdmissionInput[], query?: SemanticMergeCandidateAdmissionOverlapQuery): readonly SemanticMergeCandidateOverlapRecord[];
+export declare function semanticMergeCandidateReadinessSortKey(candidateOrRecord: Partial<SemanticMergeCandidateAdmissionRecord> | Partial<SemanticMergeCandidateWithAdmission>): number;
+export declare function sortSemanticMergeCandidateAdmissionRecords<T extends SemanticMergeCandidateAdmissionInput>(records: readonly T[], options?: { readonly desc?: boolean }): readonly SemanticMergeCandidateAdmissionRecord[];

package/dist/declarations/semantic-merge-conflicts.d.ts

@@ -3,6 +3,11 @@ import type {
   SemanticMergeCandidateRecord,
   SemanticMergeReadiness
 } from '@shapeshift-labs/frontier-lang-kernel';
+import type {
+  SemanticMergeCandidateAdmissionRecord,
+  SemanticMergeCandidateChangedRegion,
+  SemanticMergeCandidateProjectionRisk
+} from './semantic-merge-candidates.js';
 
 export type SemanticMergeConflictClass =
   | 'same-symbol-edit'
@@ -45,6 +50,13 @@ export interface SemanticMergeConflictSummary {
 }
 
 export type SemanticMergeCandidateWithConflicts = SemanticMergeCandidateRecord & {
+  readonly changedSemanticRegions?: readonly SemanticMergeCandidateChangedRegion[];
+  readonly sourceHashes?: SemanticMergeCandidateAdmissionRecord['sourceHashes'];
+  readonly evidenceIds?: readonly string[];
+  readonly proofIds?: readonly string[];
+  readonly projectionRisk?: SemanticMergeCandidateProjectionRisk;
+  readonly readinessSortKey?: number;
+  readonly mergeAdmission?: SemanticMergeCandidateAdmissionRecord;
   readonly conflictClasses?: readonly SemanticMergeConflictClassRecord[];
   readonly conflictSummary?: SemanticMergeConflictSummary;
   readonly metadata?: SemanticMergeCandidateRecord['metadata'] & {

package/dist/declarations/semantic-sidecar.d.ts

@@ -25,6 +25,7 @@ import type {
   UniversalAstLayerRecord
 } from '@shapeshift-labs/frontier-lang-kernel';
 import type { SemanticImportSidecarAdmission, SemanticImportSidecarQuality } from './semantic-sidecar-admission.js';
+import type { SemanticMergeCandidateAdmissionRecord, SemanticMergeCandidateProjectionRisk } from './semantic-merge-candidates.js';
 import type { SemanticMergeConflictClass, SemanticMergeConflictSummary } from './semantic-merge-conflicts.js';
 import type { SemanticImportImpactSummary } from './semantic-impact.js';
 import type { Diagnostic } from '@shapeshift-labs/frontier-lang-checker';
@@ -274,6 +275,12 @@ export interface SemanticImportSidecar {
     readonly reasons: readonly string[];
     readonly conflictClasses?: readonly SemanticMergeConflictClass[];
     readonly conflictSummary?: SemanticMergeConflictSummary;
+    readonly changedSemanticRegions?: number;
+    readonly sourceHashes?: SemanticMergeCandidateAdmissionRecord['sourceHashes'];
+    readonly evidenceIds?: readonly string[];
+    readonly projectionRisk?: SemanticMergeCandidateProjectionRisk;
+    readonly readinessSortKey?: number;
+    readonly overlapSummary?: SemanticMergeCandidateAdmissionRecord['overlapSummary'];
     readonly risk?: string;
     readonly operationCount: number;
   }[];
@@ -309,7 +316,5 @@ export interface SemanticImportSidecar {
     readonly semanticImportExpected: boolean; readonly semanticImportExpectedSatisfied: boolean; readonly semanticImportExpectedMissingReasonCodes: readonly string[];
     readonly readiness: SemanticMergeReadiness; readonly emptySemanticIndex: boolean;
   };
-  readonly metadata?: Record<string, unknown>;
-}
-
+  readonly metadata?: Record<string, unknown>; }
 export interface SemanticImportSidecarOptions { readonly id?: string; readonly generatedAt?: number; readonly regionPrefix?: string; readonly targetPath?: string; readonly expected?: boolean; readonly semanticImportExpected?: boolean; readonly metadata?: Record<string, unknown>; }

package/dist/declarations/semantic-slice-admission.d.ts

@@ -36,6 +36,115 @@ export interface SemanticSliceAdmissionMergeScore {
   readonly penalties: readonly string[];
 }
 
+export interface SemanticSliceAdmissionSpan {
+  readonly path?: string;
+  readonly sourceId?: string;
+  readonly sourceHash?: string;
+  readonly startLine?: number;
+  readonly startColumn?: number;
+  readonly endLine?: number;
+  readonly endColumn?: number;
+  readonly startOffset?: number;
+  readonly endOffset?: number;
+}
+
+export interface SemanticSliceAdmissionSelectedSymbol {
+  readonly id?: string;
+  readonly name?: string;
+  readonly displayName?: string;
+  readonly kind?: string;
+  readonly signature?: string;
+  readonly nativeAstNodeId?: string;
+  readonly sourcePath?: string;
+  readonly sourceSpan?: SemanticSliceAdmissionSpan;
+  readonly ownershipRegionId?: string;
+  readonly ownershipRegionKey?: string;
+  readonly ownershipRegionKind?: string;
+}
+
+export interface SemanticSliceAdmissionSelectedRegion {
+  readonly id?: string;
+  readonly key?: string;
+  readonly conflictKey?: string;
+  readonly kind?: string;
+  readonly granularity?: string;
+  readonly symbolId?: string;
+  readonly symbolName?: string;
+  readonly nativeAstNodeId?: string;
+  readonly sourcePath?: string;
+  readonly sourceSpan?: SemanticSliceAdmissionSpan;
+}
+
+export interface SemanticSliceAdmissionSelectedNativeNode {
+  readonly id?: string;
+  readonly kind?: string;
+  readonly languageKind?: string;
+  readonly sourcePath?: string;
+  readonly sourceSpan?: SemanticSliceAdmissionSpan;
+  readonly parentId?: string;
+  readonly childCount: number;
+}
+
+export interface SemanticSliceAdmissionSelectedRelation {
+  readonly id?: string;
+  readonly predicate?: string;
+  readonly kind?: string;
+  readonly sourceId?: string;
+  readonly targetId?: string;
+}
+
+export interface SemanticSliceAdmissionSelectedOccurrence {
+  readonly id?: string;
+  readonly symbolId?: string;
+  readonly nativeAstNodeId?: string;
+  readonly role?: string;
+  readonly sourcePath?: string;
+  readonly sourceSpan?: SemanticSliceAdmissionSpan;
+}
+
+export interface SemanticSliceAdmissionSelectedSourceMapLink {
+  readonly id?: string;
+  readonly sourceMapId?: string;
+  readonly sourcePath?: string;
+  readonly sourceHash?: string;
+  readonly targetPath?: string;
+  readonly targetHash?: string;
+  readonly semanticSymbolId?: string;
+  readonly semanticOccurrenceId?: string;
+  readonly semanticNodeId?: string;
+  readonly nativeAstNodeId?: string;
+  readonly ownershipRegionId?: string;
+  readonly ownershipRegionKey?: string;
+  readonly ownershipRegionKind?: string;
+  readonly precision?: string;
+  readonly sourceSpan?: SemanticSliceAdmissionSpan;
+}
+
+export interface SemanticSliceAdmissionSelectedSourceFile {
+  readonly path?: string;
+  readonly sourceHash?: string;
+  readonly spanCount: number;
+  readonly excerptCount: number;
+  readonly sourceTextAvailable: boolean;
+}
+
+export interface SemanticSliceAdmissionSelectedSurface {
+  readonly entryRefs: readonly string[];
+  readonly matchedEntryRefs: readonly string[];
+  readonly unresolvedEntryRefs: readonly string[];
+  readonly symbols: readonly SemanticSliceAdmissionSelectedSymbol[];
+  readonly ownershipRegions: readonly SemanticSliceAdmissionSelectedRegion[];
+  readonly nativeNodes: readonly SemanticSliceAdmissionSelectedNativeNode[];
+  readonly relations: readonly SemanticSliceAdmissionSelectedRelation[];
+  readonly occurrences: readonly SemanticSliceAdmissionSelectedOccurrence[];
+  readonly sourceMapLinks: readonly SemanticSliceAdmissionSelectedSourceMapLink[];
+  readonly sourceSpans: readonly SemanticSliceAdmissionSpan[];
+  readonly sourceFiles: readonly SemanticSliceAdmissionSelectedSourceFile[];
+  readonly sourceHashes: SemanticSlice['mergeAdmission']['sourceHashes'];
+  readonly conflictKeys: readonly string[];
+  readonly ownershipKeys: readonly string[];
+}
+
 export interface SemanticSliceAdmissionRecord {
   readonly kind: 'frontier.lang.semanticSliceAdmission';
   readonly version: 1;
@@ -66,6 +175,8 @@ export interface SemanticSliceAdmissionRecord {
   readonly conflictKeys: readonly string[];
   readonly ownershipKeys: readonly string[];
   readonly sourceHashes: SemanticSlice['mergeAdmission']['sourceHashes'];
+  readonly selectedSurface: SemanticSliceAdmissionSelectedSurface;
+  readonly evidence: readonly EvidenceRecord[];
   readonly testResult?: SemanticSliceTestResult;
   readonly reasons: readonly string[];
   readonly metadata: Record<string, unknown>;

package/dist/declarations/semantic-slice.d.ts

@@ -63,6 +63,19 @@ export type SemanticSliceInput =
     readonly source?: ImportNativeSourceOptions;
   };
 
+export interface SemanticSliceSourceHashExpectation {
+  readonly path?: string;
+  readonly sourcePath?: string;
+  readonly sourceHash?: string;
+  readonly hash?: string;
+  readonly expected?: string;
+}
+
+export type SemanticSliceSourceHashExpectations =
+  | Readonly<Record<string, string>>
+  | ReadonlyMap<string, string>
+  | readonly (SemanticSliceSourceHashExpectation | readonly [string | undefined, string])[];
+
 export interface CreateSemanticSliceOptions {
   readonly id?: string;
   readonly generatedAt?: number;
@@ -73,6 +86,14 @@ export interface CreateSemanticSliceOptions {
   readonly symbol?: string;
   readonly region?: string;
   readonly nativeNodeId?: string;
+  readonly expectedSymbols?: readonly string[] | string;
+  readonly expectedSymbolRefs?: readonly string[] | string;
+  readonly expectedRegions?: readonly string[] | string;
+  readonly expectedRegionRefs?: readonly string[] | string;
+  readonly expectedSourceHashes?: SemanticSliceSourceHashExpectations;
+  readonly expectedSymbolCount?: number;
+  readonly expectedRegionCount?: number;
+  readonly expectedSourceFileCount?: number;
   readonly entryRefs?: readonly string[] | string;
   readonly semanticRefs?: readonly string[] | string;
   readonly refs?: readonly string[] | string;
@@ -126,7 +147,12 @@ export interface SemanticSliceSourceFile {
 
 export interface SemanticSliceExpectedAssertion {
   readonly id: string;
-  readonly expected: boolean;
+  readonly category?: 'symbol' | 'region' | 'sourceHash' | 'summaryCount' | string;
+  readonly ref?: string;
+  readonly path?: string;
+  readonly key?: string;
+  readonly expected: unknown;
+  readonly actual?: unknown;
 }
 
 export interface SemanticSlice {
@@ -195,6 +221,14 @@ export interface TestSemanticSliceOptions {
   readonly generatedAt?: number;
   readonly requireSourceMapLinks?: boolean;
   readonly currentSources?: Readonly<Record<string, string>> | ReadonlyMap<string, string>;
+  readonly expectedSymbols?: readonly string[] | string;
+  readonly expectedSymbolRefs?: readonly string[] | string;
+  readonly expectedRegions?: readonly string[] | string;
+  readonly expectedRegionRefs?: readonly string[] | string;
+  readonly expectedSourceHashes?: SemanticSliceSourceHashExpectations;
+  readonly expectedSymbolCount?: number;
+  readonly expectedRegionCount?: number;
+  readonly expectedSourceFileCount?: number;
   readonly metadata?: Record<string, unknown>;
 }
 
@@ -220,6 +254,7 @@ export interface SemanticSliceTestResult {
     readonly warnings: number;
     readonly failed: number;
     readonly sourceHashChecks: number;
+    readonly expectedAssertions: number;
     readonly symbols: number;
     readonly ownershipRegions: number;
     readonly sourceMapLinks: number;

package/dist/declarations/universal-conversion-plan.d.ts

@@ -9,6 +9,13 @@ import type { NativeParserFeatureCategory } from './native-parser-features.js';
 import type { ProjectionSourceProjectionCoverage, ProjectionTargetCoverageEntry } from './projection-coverage.js';
 import type { ProjectionReadinessTargetCell } from './projection-readiness.js';
 import type { UniversalCapabilityMatrix, UniversalCapabilityMatrixOptions } from './universal-capability.js';
+import type {
+  UniversalRuntimeAdapterRequirement,
+  UniversalRuntimeCapabilityKind,
+  UniversalRuntimeCapabilityMatrix,
+  UniversalRuntimeCapabilityRoute,
+  UniversalRuntimeHostProfile
+} from './universal-runtime-capabilities.js';
 
 export type UniversalConversionRouteMode =
   | 'preserve-source'
@@ -76,6 +83,19 @@ export interface UniversalConversionRouteEvidence {
   readonly targetLossKinds: readonly NativeImportKnownLossKind[];
 }
 
+export interface UniversalConversionRouteRuntime {
+  readonly routeId?: string;
+  readonly source?: UniversalRuntimeCapabilityRoute['source'];
+  readonly target?: UniversalRuntimeCapabilityRoute['target'];
+  readonly requiredCapabilities: readonly UniversalRuntimeCapabilityKind[];
+  readonly satisfiedCapabilities: readonly UniversalRuntimeCapabilityKind[];
+  readonly adapterRequirements: readonly UniversalRuntimeAdapterRequirement[];
+  readonly missingCapabilities: readonly UniversalRuntimeCapabilityKind[];
+  readonly readiness: SemanticMergeReadiness;
+  readonly blockers: readonly string[];
+  readonly review: readonly string[];
+}
+
 export interface UniversalConversionRouteMergeRefs {
   readonly planId: string;
   readonly routeId: string;
@@ -122,6 +142,8 @@ export interface UniversalConversionRoute {
     readonly stubs: ProjectionSourceProjectionCoverage;
   };
   readonly projectionReadiness?: ProjectionReadinessTargetCell;
+  readonly runtime: UniversalConversionRouteRuntime;
+  readonly runtimeAdapterRequirements: readonly UniversalRuntimeAdapterRequirement[];
   readonly evidence: UniversalConversionRouteEvidence;
   readonly missingEvidence: readonly string[];
   readonly blockers: readonly string[];
@@ -153,6 +175,8 @@ export interface UniversalConversionPlan {
     readonly stubOnlyRoutes: number;
     readonly semanticIndexOnlyRoutes: number;
     readonly missingEvidence: number;
+    readonly runtimeAdapterRequirements: number;
+    readonly runtimeRoutesWithAdapters: number;
     readonly blockers: number;
     readonly reviewReasons: number;
     readonly autoMergeClaims: 0;
@@ -160,6 +184,7 @@ export interface UniversalConversionPlan {
   };
   readonly matrices: {
     readonly universalCapability: UniversalCapabilityMatrix;
+    readonly runtimeCapabilities: UniversalRuntimeCapabilityMatrix;
     readonly projectionReadiness?: UniversalCapabilityMatrix['matrices']['projectionReadiness'];
     readonly projectionTargets?: UniversalCapabilityMatrix['matrices']['projectionTargets'];
   };
@@ -175,6 +200,40 @@ export interface UniversalConversionPlan {
 export interface UniversalConversionPlanOptions extends UniversalCapabilityMatrixOptions {
   readonly id?: string;
   readonly universalCapabilityMatrix?: UniversalCapabilityMatrix;
+  readonly universalRuntimeCapabilityMatrix?: UniversalRuntimeCapabilityMatrix;
+  readonly hostProfiles?: readonly UniversalRuntimeHostProfile[];
+  readonly runtimeHosts?: readonly UniversalRuntimeHostProfile[];
+  readonly sourceHosts?: readonly (string | UniversalRuntimeHostProfile)[] | Readonly<Record<string, string | UniversalRuntimeHostProfile>>;
+  readonly sourceRuntimeHosts?: readonly (string | UniversalRuntimeHostProfile)[] | Readonly<Record<string, string | UniversalRuntimeHostProfile>>;
+  readonly targetHosts?: readonly (string | UniversalRuntimeHostProfile)[] | Readonly<Record<string, string | UniversalRuntimeHostProfile>>;
+  readonly targetRuntimeHosts?: readonly (string | UniversalRuntimeHostProfile)[] | Readonly<Record<string, string | UniversalRuntimeHostProfile>>;
+  readonly sourceRuntime?: string;
+  readonly targetRuntime?: string;
+  readonly sourceRuntimes?: Readonly<Record<string, string>>;
+  readonly targetRuntimes?: Readonly<Record<string, string>>;
+  readonly runtimeRequirements?: readonly (
+    | UniversalRuntimeCapabilityKind
+    | {
+      readonly capability?: UniversalRuntimeCapabilityKind;
+      readonly kind?: UniversalRuntimeCapabilityKind;
+      readonly capabilities?: readonly UniversalRuntimeCapabilityKind[];
+      readonly requiredCapabilities?: readonly UniversalRuntimeCapabilityKind[];
+      readonly sourceLanguage?: FrontierSourceLanguage | string;
+      readonly language?: FrontierSourceLanguage | string;
+      readonly sourceRuntime?: string;
+      readonly runtime?: string;
+      readonly sourceHost?: string | UniversalRuntimeHostProfile;
+      readonly sourceRuntimeHost?: string | UniversalRuntimeHostProfile;
+      readonly target?: FrontierCompileTarget | string;
+      readonly targetRuntime?: string;
+      readonly targetHost?: string | UniversalRuntimeHostProfile;
+      readonly targetRuntimeHost?: string | UniversalRuntimeHostProfile;
+      readonly reason?: string;
+      readonly evidenceIds?: readonly string[];
+    }
+  )[];
+  readonly requiredRuntimeCapabilities?: UniversalConversionPlanOptions['runtimeRequirements'];
+  readonly effects?: UniversalConversionPlanOptions['runtimeRequirements'];
   readonly evidence?: readonly EvidenceRecord[];
 }