import type { FrontierSourceLanguage } from '@shapeshift-labs/frontier-lang-kernel'; import type { FrontierCompileTarget } from './compile.js'; import type { UniversalConversionAdmissionAction, UniversalConversionPlan, UniversalConversionPlanOptions, UniversalConversionPriority, UniversalConversionRouteAction, UniversalConversionRouteMode, UniversalTranslationAdmissionAction, UniversalTranslationAdmissionStatus } from './universal-conversion-plan.js'; import type { VCF, VCQ } from './universal-conversion-view-contracts.js'; import type { UniversalInterlinguaConstraintEdgeKind } from './universal-interlingua.js'; import type { UniversalRuntimeCapabilityKind as URK, UniversalRuntimeProofSignalKind as UPS } from './universal-runtime-capabilities.js'; import type { UniversalConversionArtifactRuntimeRouteQuery, UniversalConversionWorklistRuntimeRouteFields } from './universal-conversion-artifact-runtime-routes.js'; import type { UniversalConversionArtifactSourceMapQuery, UniversalConversionWorklistSourceMapFields } from './universal-conversion-artifact-source-maps.js'; import type { UniversalConversionArtifactIndex, UniversalConversionArtifactQuery } from './universal-conversion-artifact-query.js'; import type { UniversalConversionConstraintSpaceFields, UniversalConversionConstraintSpaceQuery } from './universal-conversion-constraint-space.js'; import type { UniversalConversionTargetProjectionFields as UTPF, TPQ as UTPQ } from './universal-conversion-target-projection-evidence.js'; import type { UniversalConversionRuntimeCapabilityFields, UniversalConversionRuntimeCapabilityQuery } from './universal-conversion-runtime-capability-evidence.js'; import type { UniversalConversionPackageCanvasFields, UniversalConversionPackageCanvasQuery } from './universal-conversion-package-canvas-evidence.js'; import type { UniversalConversionMachineGraphFields, UniversalConversionMachineGraphQuery } from './universal-conversion-machine-graph-evidence.js'; type UcwStrs = readonly string[]; type UcwQuery = string | UcwStrs; type UniversalConversionWorklistSemanticEditFieldKey = | 'semanticEditStatuses' | 'semanticEditScriptIds' | 'semanticEditProjectionIds' | 'semanticEditReplayIds' | 'semanticEditReplayStatuses' | 'semanticEditReplayActions' | 'semanticEditAdmissionStatuses' | 'semanticEditAdmissionActions' | 'semanticEditAdmissionReadinesses' | 'semanticEditReplayCurrentHashes' | 'semanticEditReplayOutputHashes' | 'semanticEditKeys' | 'semanticEditHashes' | 'semanticIdentityHashes' | 'sourceIdentityHashes' | 'operationContentHashes' | 'editContentHashes' | 'sourceBackprojectionModes' | 'semanticTransformIds' | 'semanticTransformKeys' | 'semanticTransformIdentityHashes' | 'semanticTransformContentHashes' | 'projectionIdentityHashes' | 'semanticTransformReadinesses' | 'semanticTransformEvidenceIds' | 'transformSourceLanguages' | 'transformTargetLanguages' | 'transformSourcePaths' | 'transformTargetPaths' | 'transformCrossLanguages' | 'transformSourceMapIds' | 'transformSourceMapLinkIds' | 'transformSourceMapMappingIds' | 'transformBaseHashes' | 'transformTargetHashes' | 'targetPortabilityStatuses' | 'targetPortabilityActions' | 'targetPortabilityReasonCodes' | 'semanticEditSidecarQualityRecords' | 'semanticEditSidecarSymbolCount' | 'semanticEditSidecarOwnershipRegionCount' | 'semanticEditSidecarPatchHintCount' | 'semanticEditSidecarWarningCount' | 'semanticEditSidecarZeroRecordWarningCount' | 'semanticEditSidecarWarningCodes' | 'semanticEditSidecarZeroRecordWarningCodes'; type UniversalConversionWorklistSemanticEditQueryKey = | 'semanticEditStatus' | 'semanticEditStatuses' | 'semanticEditScriptId' | 'semanticEditScriptIds' | 'semanticEditProjectionId' | 'semanticEditProjectionIds' | 'semanticEditReplayId' | 'semanticEditReplayIds' | 'semanticEditReplayStatus' | 'semanticEditReplayStatuses' | 'semanticEditReplayAction' | 'semanticEditReplayActions' | 'semanticEditAdmission' | 'semanticEditAdmissionStatus' | 'semanticEditAdmissionStatuses' | 'semanticEditAdmissionAction' | 'semanticEditAdmissionActions' | 'semanticEditAdmissionReadiness' | 'semanticEditAdmissionReadinesses' | 'semanticEditReplayCurrentHash' | 'semanticEditReplayCurrentHashes' | 'semanticEditReplayOutputHash' | 'semanticEditReplayOutputHashes' | 'semanticEditKey' | 'semanticEditKeys' | 'semanticEditHash' | 'semanticEditHashes' | 'semanticIdentityHash' | 'semanticIdentityHashes' | 'sourceIdentityHash' | 'sourceIdentityHashes' | 'operationContentHash' | 'operationContentHashes' | 'editContentHash' | 'editContentHashes' | 'sourceBackprojectionMode' | 'sourceBackprojectionModes' | 'semanticTransformId' | 'semanticTransformIds' | 'semanticTransformKey' | 'semanticTransformKeys' | 'semanticTransformIdentityHash' | 'semanticTransformIdentityHashes' | 'semanticTransformContentHash' | 'semanticTransformContentHashes' | 'projectionIdentityHash' | 'projectionIdentityHashes' | 'semanticTransformReadiness' | 'semanticTransformReadinesses' | 'semanticTransformEvidenceId' | 'semanticTransformEvidenceIds' | 'transformSourceLanguage' | 'transformSourceLanguages' | 'transformTargetLanguage' | 'transformTargetLanguages' | 'transformSourcePath' | 'transformSourcePaths' | 'transformTargetPath' | 'transformTargetPaths' | 'transformCrossLanguage' | 'transformCrossLanguages' | 'transformSourceMapId' | 'transformSourceMapIds' | 'transformSourceMapLinkId' | 'transformSourceMapLinkIds' | 'transformSourceMapMappingId' | 'transformSourceMapMappingIds' | 'transformBaseHash' | 'transformBaseHashes' | 'transformTargetHash' | 'transformTargetHashes' | 'targetPortabilityStatus' | 'targetPortabilityStatuses' | 'targetPortabilityAction' | 'targetPortabilityActions' | 'targetPortabilityReasonCode' | 'targetPortabilityReasonCodes' | 'semanticEditSidecarWarningCode' | 'semanticEditSidecarWarningCodes' | 'semanticEditSidecarZeroRecordWarningCode' | 'semanticEditSidecarZeroRecordWarningCodes'; export interface UniversalConversionWorklistSemanticEditFields extends Pick {} export interface UniversalConversionWorklistSemanticEditQuery extends Pick {} type UniversalConversionWorklistRouteDialectQueryKey='dialectReadiness'|'dialectRegistryId'|'dialectRecordId'|'dialectConstructKind'|'dialectExternKind'|'dialectDisposition'|'dialectEvidenceId'|'dialectLossId'; type UniversalConversionRouteDialectFieldKey='dialectReadinesses'|'dialectRegistryIds'|'dialectRecordIds'|'dialectConstructKinds'|'dialectExternKinds'|'dialectDispositions'|'dialectEvidenceIds'|'dialectLossIds'; export interface UniversalConversionWorklistRouteDialectQuery extends Pick {} export interface UniversalConversionRouteDialectFields extends Readonly> {} export type UniversalConversionWorkItemKind = | 'add-target-adapter' | 'collect-translation-proof' | 'prove-runtime-adapter' | 'collect-runtime-proof-signal' | 'collect-dialect-evidence' | 'collect-interlingua-obligation-proof' | 'review-constraint-space-admission' | 'collect-source-evidence' | 'review-route' | 'unblock-route'; export type UniversalConversionWorkItemAction = | 'add-target-adapter' | 'collect-translation-evidence' | 'collect-runtime-adapter-proof' | 'collect-runtime-proof-signals' | 'collect-dialect-projection-evidence' | 'collect-interlingua-obligation-evidence' | 'review-constraint-space-admission' | 'collect-source-evidence' | 'review-conversion-route' | 'resolve-blocker'; export interface UniversalConversionWorkItem extends UniversalConversionWorklistRuntimeRouteFields, UniversalConversionWorklistSourceMapFields, UniversalConversionWorklistSemanticEditFields, UniversalConversionRouteDialectFields, UniversalConversionConstraintSpaceFields, UTPF, VCF, UniversalConversionRuntimeCapabilityFields, UniversalConversionPackageCanvasFields, UniversalConversionMachineGraphFields { readonly id: string; readonly kind: UniversalConversionWorkItemKind; readonly action: UniversalConversionWorkItemAction; readonly priority: UniversalConversionPriority; readonly routeIds: readonly string[]; readonly sourceLanguages: readonly string[]; readonly languageIds: readonly string[]; readonly targets: readonly string[]; readonly modes: readonly UniversalConversionRouteMode[]; readonly readinesses: readonly string[]; readonly admissionActions: readonly UniversalConversionAdmissionAction[]; readonly routeActions: readonly UniversalConversionRouteAction[]; readonly evidenceKeys: readonly string[]; readonly missingEvidence: readonly string[]; readonly blockers: readonly string[]; readonly review: readonly string[]; readonly tasks: readonly string[]; readonly runtimeAdapterRequirementIds: readonly string[]; readonly runtimeProofObligationIds: readonly string[]; readonly runtimeProofCapabilities: readonly URK[]; readonly runtimeProofStatuses: readonly string[]; readonly runtimeProofRequiredSignals: readonly UPS[]; readonly runtimeProofProvidedSignals: readonly UPS[]; readonly runtimeProofMissingSignals: readonly UPS[]; readonly translationAdmissionStatuses: readonly string[]; readonly translationAdmissionActions: readonly string[]; readonly missingTranslationEvidence: readonly string[]; readonly translationEvidenceIds: readonly string[]; readonly translationProofEvidenceIds: readonly string[]; readonly translationRuntimeReadinesses: readonly string[]; readonly translationRuntimeAdapterRequirementIds: readonly string[]; readonly translationRuntimeProofObligationIds: readonly string[]; readonly translationRuntimeProofCapabilities: readonly URK[]; readonly translationRuntimeProofStatuses: readonly string[]; readonly translationRuntimeProofRequiredSignals: readonly UPS[]; readonly translationRuntimeProofProvidedSignals: readonly UPS[]; readonly translationRuntimeProofMissingSignals: readonly UPS[]; readonly translationDialectReadinesses: readonly string[]; readonly translationDialectRecordIds: readonly string[]; readonly translationParserFailClosedStatuses: readonly string[]; readonly translationParserUnknownRowIds: readonly string[]; readonly translationParserProofGapCodes: readonly string[]; readonly translationParserErrorIds: readonly string[]; readonly translationParserBlockerReasonCodes: readonly string[]; readonly translationParserMissingEvidence: readonly string[]; readonly requiredTranslationConstructKinds: readonly string[]; readonly representedTranslationConstructKinds: readonly string[]; readonly targetAdapterIds: readonly string[]; readonly interlinguaConstraintFamilies: readonly UniversalInterlinguaConstraintEdgeKind[]; readonly interlinguaConstraintStatuses: readonly string[]; readonly interlinguaConstraintActions: readonly string[]; readonly interlinguaConstraintSourceIds: readonly string[]; readonly interlinguaConstraintEvidenceIds: readonly string[]; readonly interlinguaConstraintRequiredKinds: readonly string[]; readonly interlinguaConstraintRepresentedKinds: readonly string[]; readonly interlinguaConstraintMissingKinds: readonly string[]; readonly interlinguaConstraintMissingEvidence: readonly string[]; readonly interlinguaConstraintObligationKinds: readonly string[]; readonly interlinguaConstraintObligationStatuses: readonly string[]; readonly interlinguaConstraintObligationEvidenceIds: readonly string[]; readonly interlinguaConstraintObligationMissingEvidence: readonly string[]; readonly autoMergeClaim: false; readonly semanticEquivalenceClaim: false; } export interface UniversalConversionWorklistOptions extends UniversalConversionArtifactRuntimeRouteQuery, UniversalConversionArtifactSourceMapQuery, UniversalConversionWorklistSemanticEditQuery, UniversalConversionWorklistRouteDialectQuery, UniversalConversionConstraintSpaceQuery, UTPQ, VCQ, UniversalConversionRuntimeCapabilityQuery, UniversalConversionPackageCanvasQuery, UniversalConversionMachineGraphQuery { readonly generatedAt?: number; readonly routeId?: string | readonly string[]; readonly sourceLanguage?: FrontierSourceLanguage | string | readonly (FrontierSourceLanguage | string)[]; readonly language?: FrontierSourceLanguage | string | readonly (FrontierSourceLanguage | string)[]; readonly target?: FrontierCompileTarget | string | readonly (FrontierCompileTarget | string)[]; readonly kind?: UniversalConversionWorkItemKind | readonly UniversalConversionWorkItemKind[]; readonly includeReviewItems?: boolean; readonly translationAdmissionStatus?: UniversalTranslationAdmissionStatus | readonly UniversalTranslationAdmissionStatus[]; readonly translationAdmissionAction?: UniversalTranslationAdmissionAction | readonly UniversalTranslationAdmissionAction[]; readonly missingTranslationEvidence?: string | readonly string[]; readonly translationEvidenceId?: string | readonly string[]; readonly translationProofEvidenceId?: string | readonly string[]; readonly translationRuntimeReadiness?: string | readonly string[]; readonly translationRuntimeAdapterRequirementId?: string | readonly string[]; readonly translationRuntimeProofObligationId?: string | readonly string[]; readonly translationRuntimeProofCapability?: URK | readonly URK[]; readonly translationRuntimeProofStatus?: string | readonly string[]; readonly translationRuntimeProofRequiredSignal?: UPS | readonly UPS[]; readonly translationRuntimeProofProvidedSignal?: UPS | readonly UPS[]; readonly translationRuntimeProofMissingSignal?: UPS | readonly UPS[]; readonly translationDialectReadiness?: string | readonly string[]; readonly translationDialectRecordId?: string | readonly string[]; readonly translationParserFailClosedStatus?: UcwQuery; readonly translationParserUnknownRowId?: UcwQuery; readonly translationParserProofGapCode?: UcwQuery; readonly translationParserErrorId?: UcwQuery; readonly translationParserBlockerReasonCode?: UcwQuery; readonly translationParserMissingEvidence?: UcwQuery; readonly requiredTranslationConstructKind?: string | readonly string[]; readonly representedTranslationConstructKind?: string | readonly string[]; readonly targetAdapterId?: string | readonly string[]; } export interface UniversalConversionWorklistQuery extends UniversalConversionWorklistOptions { readonly id?: string | readonly string[]; readonly itemId?: string | readonly string[]; readonly action?: UniversalConversionWorkItemAction | readonly UniversalConversionWorkItemAction[]; readonly priority?: UniversalConversionPriority | readonly UniversalConversionPriority[]; readonly languageId?: string | readonly string[]; readonly mode?: UniversalConversionRouteMode | readonly UniversalConversionRouteMode[]; readonly readiness?: string | readonly string[]; readonly admissionAction?: UniversalConversionAdmissionAction | readonly UniversalConversionAdmissionAction[]; readonly routeAction?: UniversalConversionRouteAction | readonly UniversalConversionRouteAction[]; readonly evidenceKey?: string | readonly string[]; readonly missingEvidence?: string | readonly string[]; readonly blocker?: string | readonly string[]; readonly reviewReason?: string | readonly string[]; readonly task?: string | readonly string[]; readonly runtimeAdapterRequirementId?: string | readonly string[]; readonly runtimeProofObligationId?: string | readonly string[]; readonly runtimeProofCapability?: URK | readonly URK[]; readonly runtimeProofStatus?: string | readonly string[]; readonly runtimeProofRequiredSignal?: UPS | readonly UPS[]; readonly runtimeProofProvidedSignal?: UPS | readonly UPS[]; readonly runtimeProofMissingSignal?: UPS | readonly UPS[]; readonly targetAdapterId?: string | readonly string[]; readonly interlinguaConstraintFamily?: string | readonly string[]; readonly interlinguaConstraintStatus?: string | readonly string[]; readonly interlinguaConstraintAction?: string | readonly string[]; readonly interlinguaConstraintSourceId?: string | readonly string[]; readonly interlinguaConstraintEvidenceId?: string | readonly string[]; readonly interlinguaConstraintRequiredKind?: string | readonly string[]; readonly interlinguaConstraintRepresentedKind?: string | readonly string[]; readonly interlinguaConstraintMissingKind?: string | readonly string[]; readonly interlinguaConstraintMissingEvidence?: string | readonly string[]; readonly interlinguaConstraintObligationKind?: string | readonly string[]; readonly interlinguaConstraintObligationStatus?: string | readonly string[]; readonly interlinguaConstraintObligationEvidenceId?: string | readonly string[]; readonly interlinguaConstraintObligationMissingEvidence?: string | readonly string[]; } export interface UniversalConversionWorklist { readonly kind: 'frontier.lang.universalConversionWorklist'; readonly version: 1; readonly generatedAt: number; readonly planId: string; readonly items: readonly UniversalConversionWorkItem[]; readonly summary: UniversalConversionWorklistSemanticEditFields & UniversalConversionRouteDialectFields & UniversalConversionConstraintSpaceFields & VCF & UniversalConversionRuntimeCapabilityFields & UniversalConversionMachineGraphFields & { readonly items: number; readonly byKind: Readonly>; readonly byPriority: Readonly>; readonly routeIds: readonly string[]; readonly sourceLanguages: readonly string[]; readonly targets: readonly string[]; readonly evidenceKeys: readonly string[]; readonly missingEvidence: readonly string[]; readonly runtimeRouteIds: readonly string[]; readonly sourceHostIds: readonly string[]; readonly targetHostIds: readonly string[]; readonly sourceRuntimes: readonly string[]; readonly targetRuntimes: readonly string[]; readonly runtimeReadinesses: readonly string[]; readonly requiredRuntimeCapabilities: readonly URK[]; readonly satisfiedRuntimeCapabilities: readonly URK[]; readonly missingRuntimeCapabilities: readonly URK[]; readonly sourceMapIds: readonly string[]; readonly sourceMapMappingIds: readonly string[]; readonly sourceMapLinkIds: readonly string[]; readonly routeSourceMapIds: readonly string[]; readonly routeSourceMapMappingIds: readonly string[]; readonly routeSourceMapLinkIds: readonly string[]; readonly admissionRecordSourceMapIds: readonly string[]; readonly admissionRecordSourceMapMappingIds: readonly string[]; readonly admissionRecordSourceMapLinkIds: readonly string[]; readonly evidenceReceiptSourceMapIds: readonly string[]; readonly evidenceReceiptSourceMapMappingIds: readonly string[]; readonly evidenceReceiptSourceMapLinkIds: readonly string[]; readonly runtimeProofCapabilities: readonly URK[]; readonly runtimeProofStatuses: readonly string[]; readonly runtimeProofRequiredSignals: readonly UPS[]; readonly runtimeProofProvidedSignals: readonly UPS[]; readonly runtimeProofMissingSignals: readonly UPS[]; readonly translationAdmissionStatuses: readonly string[]; readonly translationAdmissionActions: readonly string[]; readonly missingTranslationEvidence: readonly string[]; readonly translationEvidenceIds: readonly string[]; readonly translationProofEvidenceIds: readonly string[]; readonly translationRuntimeReadinesses: readonly string[]; readonly translationRuntimeAdapterRequirementIds: readonly string[]; readonly translationRuntimeProofObligationIds: readonly string[]; readonly translationRuntimeProofCapabilities: readonly URK[]; readonly translationRuntimeProofStatuses: readonly string[]; readonly translationRuntimeProofRequiredSignals: readonly UPS[]; readonly translationRuntimeProofProvidedSignals: readonly UPS[]; readonly translationRuntimeProofMissingSignals: readonly UPS[]; readonly translationDialectReadinesses: readonly string[]; readonly translationDialectRecordIds: readonly string[]; readonly translationParserFailClosedStatuses: readonly string[]; readonly translationParserUnknownRowIds: readonly string[]; readonly translationParserProofGapCodes: readonly string[]; readonly translationParserErrorIds: readonly string[]; readonly translationParserBlockerReasonCodes: readonly string[]; readonly translationParserMissingEvidence: readonly string[]; readonly requiredTranslationConstructKinds: readonly string[]; readonly representedTranslationConstructKinds: readonly string[]; readonly targetAdapterIds: readonly string[]; readonly interlinguaConstraintFamilies: readonly UniversalInterlinguaConstraintEdgeKind[]; readonly interlinguaConstraintStatuses: readonly string[]; readonly interlinguaConstraintActions: readonly string[]; readonly interlinguaConstraintSourceIds: readonly string[]; readonly interlinguaConstraintEvidenceIds: readonly string[]; readonly interlinguaConstraintRequiredKinds: readonly string[]; readonly interlinguaConstraintRepresentedKinds: readonly string[]; readonly interlinguaConstraintMissingKinds: readonly string[]; readonly interlinguaConstraintMissingEvidence: readonly string[]; readonly interlinguaConstraintObligationKinds: readonly string[]; readonly interlinguaConstraintObligationStatuses: readonly string[]; readonly interlinguaConstraintObligationEvidenceIds: readonly string[]; readonly interlinguaConstraintObligationMissingEvidence: readonly string[]; readonly blockers: number; readonly reviewReasons: number; readonly targetAdapterGaps: number; readonly proofEvidenceGaps: number; readonly runtimeAdapterGaps: number; readonly runtimeProofSignalGaps: number; readonly dialectEvidenceGaps: number; readonly interlinguaObligationGaps: number; readonly constraintSpaceAdmissionReviews: number; readonly autoMergeClaims: 0; readonly semanticEquivalenceClaims: 0; }; readonly metadata: { readonly routes: number; readonly autoMergeClaim: false; readonly semanticEquivalenceClaim: false; readonly note: string; }; } export interface UniversalConversionWorklistQueryResult { readonly kind: 'frontier.lang.universalConversionWorklistQuery'; readonly version: 1; readonly found: boolean; readonly items: readonly UniversalConversionWorkItem[]; readonly bestItem?: UniversalConversionWorkItem; readonly summary: UniversalConversionWorklist['summary']; readonly reasons: readonly string[]; } export declare const UniversalConversionWorkItemKinds: readonly UniversalConversionWorkItemKind[]; export declare function createUniversalConversionWorklist(planOrOptions?: UniversalConversionPlan | UniversalConversionPlanOptions, options?: UniversalConversionWorklistOptions): UniversalConversionWorklist; export declare function queryUniversalConversionWorklist(worklistOrOptions?: UniversalConversionWorklist | UniversalConversionPlan | UniversalConversionPlanOptions, query?: UniversalConversionWorklistQuery): UniversalConversionWorklistQueryResult;