import type { EvidenceRecord, FrontierSourceLanguage, SemanticMergeReadiness } from '@shapeshift-labs/frontier-lang-kernel'; import type { FrontierCompileTarget } from './compile.js'; import type { UniversalRuntimeCapabilityKind, UniversalRuntimeProofSignalKind } from './universal-runtime-capabilities.js'; import type { UniversalConversionRuntimeRouteFields } from './universal-conversion-artifact-runtime-routes.js'; import type { UniversalConversionTargetProjectionFields, UniversalConversionTargetProjectionQuery, UniversalConversionTargetProjectionCompactCounts } 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, UniversalConversionMachineGraphCompactCounts } from './universal-conversion-machine-graph-evidence.js'; import type { UniversalConversionDecisionGraphFields, UniversalConversionDecisionGraphQuery, UniversalConversionDecisionGraphCompactCounts } from './universal-conversion-decision-graph-evidence.js'; import type { UniversalConversionArtifactIndex, UniversalConversionSemanticEditMetricKey } from './universal-conversion-artifact-query.js'; import type { UniversalConversionRouteDialectCompactCounts, UniversalConversionSemanticEditCompactCounts, UniversalConversionSemanticEditCompactCountKey, UniversalConversionTranslationAdmissionCompactCounts } from './universal-conversion-compact-counts.js'; import type { UniversalDialectConstructKind, UniversalDialectProjectionDisposition } from './universal-dialects.js'; import type { UniversalInterlinguaConstraintEdgeKind, UniversalInterlinguaLoweringDisposition } from './universal-interlingua.js'; import type { UniversalConversionAdmissionAction, UniversalConversionPlan, UniversalConversionPlanOptions, UniversalConversionRoute, UniversalConversionRouteMode, UniversalTranslationAdmissionAction, UniversalTranslationAdmissionStatus } from './universal-conversion-plan.js'; import type { VCF, VCQ } from './universal-conversion-view-contracts.js'; export type UniversalConversionRouteEvidenceBinding = 'bound' | 'rejected'; export interface UniversalConversionRouteEvidenceReceiptSemanticEditFields extends Pick {} export type UniversalConversionRouteEvidenceRejectionReason = | 'unscoped-evidence' | 'route-id-mismatch' | 'source-language-mismatch' | 'target-mismatch' | 'not-route-bound' | string; export interface UniversalConversionRouteEvidenceReceiptRecord { readonly id: string; readonly kind: string; readonly status: string; readonly binding: UniversalConversionRouteEvidenceBinding; readonly routeIds: readonly string[]; readonly sourceLanguages: readonly string[]; readonly targets: readonly string[]; readonly proof: boolean; readonly reason?: UniversalConversionRouteEvidenceRejectionReason; readonly autoMergeClaim: false; readonly semanticEquivalenceClaim: false; } export interface UniversalConversionRouteRuntimeProofReceiptRecord { readonly id: string; readonly capability?: UniversalRuntimeCapabilityKind; readonly adapterRequirementId?: string; readonly adapterKind?: string; readonly sourceHost?: string; readonly targetHost?: string; readonly status: string; readonly action?: string; readonly requiredSignals: readonly UniversalRuntimeProofSignalKind[]; readonly providedSignals: readonly UniversalRuntimeProofSignalKind[]; readonly missingSignals: readonly UniversalRuntimeProofSignalKind[]; readonly missingEvidence: readonly string[]; readonly evidenceIds: readonly string[]; readonly runtimeEquivalenceClaim: false; readonly renderEquivalenceClaim: false; readonly autoMergeClaim: false; readonly semanticEquivalenceClaim: false; } export interface UniversalConversionRouteInterlinguaObligationReceiptRecord { readonly id: string; readonly edgeId: string; readonly family: UniversalInterlinguaConstraintEdgeKind; readonly kind: string; readonly status: string; readonly sourceId?: string; readonly sourceNodeIds: readonly string[]; readonly targetNodeIds: readonly string[]; readonly evidenceIds: readonly string[]; readonly missingEvidence: readonly string[]; readonly severity: string; readonly autoMergeClaim: false; readonly semanticEquivalenceClaim: false; } export interface UniversalConversionTranslationAdmissionDenominatorFields { 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 UniversalRuntimeCapabilityKind[]; readonly translationRuntimeProofStatuses: readonly string[]; readonly translationRuntimeProofRequiredSignals: readonly UniversalRuntimeProofSignalKind[]; readonly translationRuntimeProofProvidedSignals: readonly UniversalRuntimeProofSignalKind[]; readonly translationRuntimeProofMissingSignals: readonly UniversalRuntimeProofSignalKind[]; 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[]; } export interface UniversalConversionRouteDialectDenominatorFields { readonly dialectReadiness?: string; readonly dialectRegistryIds: readonly string[]; readonly dialectRecordIds: readonly string[]; readonly dialectConstructKinds: readonly string[]; readonly dialectExternKinds: readonly string[]; readonly dialectDispositions: readonly string[]; readonly dialectEvidenceIds: readonly string[]; readonly dialectLossIds: readonly string[]; } export interface UniversalConversionRouteEvidenceReceiptOptions extends VCQ, UniversalConversionTargetProjectionQuery, UniversalConversionRuntimeCapabilityQuery, UniversalConversionPackageCanvasQuery, UniversalConversionMachineGraphQuery, UniversalConversionDecisionGraphQuery { 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 mode?: UniversalConversionRouteMode | readonly UniversalConversionRouteMode[]; readonly readiness?: SemanticMergeReadiness | string | readonly (SemanticMergeReadiness | string)[]; readonly admissionAction?: UniversalConversionAdmissionAction | readonly UniversalConversionAdmissionAction[]; readonly runtimeRouteId?: string | readonly string[]; readonly sourceHostId?: string | readonly string[]; readonly targetHostId?: string | readonly string[]; readonly sourceRuntime?: string | readonly string[]; readonly runtime?: string | readonly string[]; readonly targetRuntime?: string | readonly string[]; readonly runtimeReadiness?: SemanticMergeReadiness | string | readonly (SemanticMergeReadiness | string)[]; readonly missingRuntimeCapability?: UniversalRuntimeCapabilityKind | readonly UniversalRuntimeCapabilityKind[]; readonly runtimeAdapterRequirementId?: string | readonly string[]; readonly runtimeProofObligationId?: string | readonly string[]; readonly runtimeProofCapability?: UniversalRuntimeCapabilityKind | readonly UniversalRuntimeCapabilityKind[]; readonly runtimeProofStatus?: string | readonly string[]; readonly runtimeProofRequiredSignal?: UniversalRuntimeProofSignalKind | readonly UniversalRuntimeProofSignalKind[]; readonly runtimeProofProvidedSignal?: UniversalRuntimeProofSignalKind | readonly UniversalRuntimeProofSignalKind[]; readonly runtimeProofMissingSignal?: UniversalRuntimeProofSignalKind | readonly UniversalRuntimeProofSignalKind[]; readonly dialectReadiness?: SemanticMergeReadiness | string | readonly (SemanticMergeReadiness | string)[]; readonly dialectRegistryId?: string | readonly string[]; readonly dialectRecordId?: string | readonly string[]; readonly dialectConstructKind?: UniversalDialectConstructKind | readonly UniversalDialectConstructKind[]; readonly dialectExternKind?: string | readonly string[]; readonly dialectDisposition?: UniversalDialectProjectionDisposition | readonly UniversalDialectProjectionDisposition[]; readonly dialectEvidenceId?: string | readonly string[]; readonly dialectLossId?: string | readonly string[]; readonly translationRuntimeReadiness?: SemanticMergeReadiness | string | readonly (SemanticMergeReadiness | string)[]; readonly translationRuntimeAdapterRequirementId?: string | readonly string[]; readonly translationRuntimeProofObligationId?: string | readonly string[]; readonly translationRuntimeProofCapability?: UniversalRuntimeCapabilityKind | readonly UniversalRuntimeCapabilityKind[]; readonly translationRuntimeProofStatus?: string | readonly string[]; readonly translationRuntimeProofRequiredSignal?: UniversalRuntimeProofSignalKind | readonly UniversalRuntimeProofSignalKind[]; readonly translationRuntimeProofProvidedSignal?: UniversalRuntimeProofSignalKind | readonly UniversalRuntimeProofSignalKind[]; readonly translationRuntimeProofMissingSignal?: UniversalRuntimeProofSignalKind | readonly UniversalRuntimeProofSignalKind[]; readonly translationDialectReadiness?: SemanticMergeReadiness | string | readonly (SemanticMergeReadiness | string)[]; readonly translationDialectRecordId?: string | readonly string[]; readonly translationParserFailClosedStatus?: string | readonly string[]; readonly translationParserUnknownRowId?: string | readonly string[]; readonly translationParserProofGapCode?: string | readonly string[]; readonly translationParserErrorId?: string | readonly string[]; readonly translationParserBlockerReasonCode?: string | readonly string[]; readonly translationParserMissingEvidence?: string | readonly string[]; 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 requiredTranslationConstructKind?: string | readonly string[]; readonly representedTranslationConstructKind?: string | readonly string[]; readonly targetAdapterId?: string | readonly string[]; readonly evidence?: readonly EvidenceRecord[] | readonly Record[]; readonly includeRejectedEvidence?: boolean; } export interface UniversalConversionRouteEvidenceReceipt extends VCF, UniversalConversionRuntimeRouteFields, UniversalConversionTargetProjectionFields, UniversalConversionRuntimeCapabilityFields, UniversalConversionPackageCanvasFields, UniversalConversionMachineGraphFields, UniversalConversionDecisionGraphFields, UniversalConversionTranslationAdmissionDenominatorFields, UniversalConversionRouteDialectDenominatorFields, UniversalConversionRouteEvidenceReceiptSemanticEditFields { readonly kind: 'frontier.lang.universalConversionRouteEvidenceReceipt'; readonly version: 1; readonly schema: 'frontier.lang.universalConversionRouteEvidenceReceipt.v1'; readonly id: string; readonly routeId: string; readonly planId?: string; readonly sourceLanguage?: FrontierSourceLanguage | string; readonly languageIds: readonly string[]; readonly target?: FrontierCompileTarget | string; readonly mode: UniversalConversionRouteMode; readonly readiness: SemanticMergeReadiness | string; readonly admissionAction: UniversalConversionAdmissionAction; readonly translationAdmissionStatus?: UniversalTranslationAdmissionStatus; readonly translationAdmissionAction?: UniversalTranslationAdmissionAction; readonly runtimeAdapterRequirementIds: readonly string[]; readonly runtimeProofObligationIds: readonly string[]; readonly runtimeProofCapabilities: readonly UniversalRuntimeCapabilityKind[]; readonly runtimeProofStatuses: readonly string[]; readonly runtimeProofRequiredSignals: readonly UniversalRuntimeProofSignalKind[]; readonly runtimeProofProvidedSignals: readonly UniversalRuntimeProofSignalKind[]; readonly runtimeProofMissingSignals: readonly UniversalRuntimeProofSignalKind[]; readonly interlinguaRecordId?: string; readonly interlinguaLoweringDisposition?: UniversalInterlinguaLoweringDisposition; 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 evidenceIds: readonly string[]; readonly proofEvidenceIds: readonly string[]; readonly missingEvidence: readonly string[]; readonly blockers: readonly string[]; readonly review: readonly string[]; readonly sources: UniversalConversionRoute['mergeRefs']['sources']; readonly ownershipKeys: readonly string[]; readonly conflictKeys: readonly string[]; readonly sourceMapIds: readonly string[]; readonly sourceMapMappingIds: readonly string[]; readonly sourceMapLinkIds: readonly string[]; readonly records: { readonly bound: readonly UniversalConversionRouteEvidenceReceiptRecord[]; readonly rejected: readonly UniversalConversionRouteEvidenceReceiptRecord[]; readonly runtimeProof: readonly UniversalConversionRouteRuntimeProofReceiptRecord[]; readonly interlinguaObligations: readonly UniversalConversionRouteInterlinguaObligationReceiptRecord[]; }; readonly summary: { readonly boundEvidence: number; readonly rejectedEvidence: number; readonly proofEvidence: number; readonly sourceMapIds: Readonly>; readonly sourceMapMappingIds: Readonly>; readonly sourceMapLinkIds: Readonly>; readonly semanticEdit: UniversalConversionSemanticEditCompactCounts; readonly missingEvidence: number; readonly translationAdmission: UniversalConversionTranslationAdmissionCompactCounts; readonly routeDialect: UniversalConversionRouteDialectCompactCounts; readonly targetProjection: UniversalConversionTargetProjectionCompactCounts; readonly machineGraph: UniversalConversionMachineGraphCompactCounts; readonly decisionGraph: UniversalConversionDecisionGraphCompactCounts; readonly runtimeProofObligations: number; readonly runtimeProofByStatus: Readonly>; readonly runtimeProofByCapability: Readonly>; readonly runtimeProofRequiredSignals: Readonly>; readonly runtimeProofMissingSignals: Readonly>; readonly runtimeProofProvidedSignals: Readonly>; readonly interlinguaConstraintObligations: number; readonly interlinguaConstraintByFamily: Readonly>; readonly interlinguaConstraintByStatus: Readonly>; readonly interlinguaConstraintActions: Readonly>; readonly interlinguaConstraintSourceIds: Readonly>; readonly interlinguaConstraintEvidenceIds: Readonly>; readonly interlinguaConstraintRequiredKinds: Readonly>; readonly interlinguaConstraintRepresentedKinds: Readonly>; readonly interlinguaConstraintMissingKinds: Readonly>; readonly interlinguaConstraintMissingEvidence: Readonly>; readonly interlinguaConstraintObligationKinds: Readonly>; readonly interlinguaConstraintObligationStatuses: Readonly>; readonly interlinguaConstraintObligationEvidenceIds: Readonly>; readonly interlinguaConstraintObligationMissingEvidence: Readonly>; readonly blockers: number; readonly reviewReasons: number; readonly byKind: Readonly>; readonly byStatus: Readonly>; readonly rejectedByReason: Readonly>; readonly autoMergeClaims: 0; readonly semanticEquivalenceClaims: 0; }; readonly autoMergeClaim: false; readonly semanticEquivalenceClaim: false; readonly metadata: { readonly routeEvidenceRequired: true; readonly runtimeProofRequired: boolean; readonly semanticEditEvidenceRequired: boolean; readonly interlinguaConstraintsRequired: boolean; readonly sourceBound: boolean; readonly sourceMapped: boolean; readonly note: string; }; } export type CreateUniversalConversionRouteEvidenceReceiptInput = | UniversalConversionRoute | UniversalConversionPlan | UniversalConversionPlanOptions; export declare function createUniversalConversionRouteEvidenceReceipt( routeOrInput?: CreateUniversalConversionRouteEvidenceReceiptInput, options?: UniversalConversionRouteEvidenceReceiptOptions ): UniversalConversionRouteEvidenceReceipt;