export type UniversalConversionMachineGraphFieldKey =
  | 'machineGraphIds' | 'machineGraphRecordIds' | 'machineGraphLabelIds' | 'machineGraphDirectiveIds'
  | 'machineGraphRegisterIds' | 'machineGraphFlagIds' | 'machineGraphBasicBlockIds'
  | 'machineGraphInstructionIds' | 'machineGraphOperandIds' | 'machineGraphMemoryEffectIds'
  | 'machineGraphControlEdgeIds' | 'machineGraphControlFlowEdgeIds' | 'machineGraphBranchIds' | 'machineGraphCallIds'
  | 'machineGraphReturnIds' | 'machineGraphInterruptIds' | 'machineGraphProofObligationIds'
  | 'machineGraphProofGapCodes' | 'machineGraphEvidenceIds' | 'machineGraphProofEvidenceIds'
  | 'machineGraphSourceMapIds' | 'machineGraphSourceMapMappingIds' | 'machineGraphConflictKeys'
  | 'machineGraphMissingEvidence' | 'machineGraphReadinesses';
type MGS = readonly string[];
type MGQS = string | MGS;
export interface UniversalConversionMachineGraphFields extends Readonly<Record<UniversalConversionMachineGraphFieldKey, MGS>> {}
export interface UniversalConversionMachineGraphQuery {
  readonly machineGraphId?: MGQS; readonly authoredMachineGraphId?: MGQS; readonly machineGraphRecordId?: MGQS;
  readonly machineGraphLabelId?: MGQS; readonly machineGraphDirectiveId?: MGQS; readonly machineGraphRegisterId?: MGQS;
  readonly machineGraphFlagId?: MGQS; readonly machineGraphBasicBlockId?: MGQS; readonly machineGraphInstructionId?: MGQS;
  readonly machineGraphOperandId?: MGQS; readonly machineGraphMemoryEffectId?: MGQS; readonly machineGraphControlEdgeId?: MGQS;
  readonly machineGraphControlFlowEdgeId?: MGQS;
  readonly machineGraphBranchId?: MGQS; readonly machineGraphCallId?: MGQS; readonly machineGraphReturnId?: MGQS;
  readonly machineGraphInterruptId?: MGQS; readonly machineGraphProofObligationId?: MGQS;
  readonly machineGraphProofGapCode?: MGQS; readonly machineGraphEvidenceId?: MGQS;
  readonly machineGraphProofEvidenceId?: MGQS; readonly machineGraphSourceMapId?: MGQS;
  readonly machineGraphSourceMapMappingId?: MGQS; readonly machineGraphConflictKey?: MGQS;
  readonly machineGraphMissingEvidence?: MGQS; readonly machineGraphReadiness?: MGQS;
}
export interface UniversalConversionMachineGraphCompactCounts {
  readonly routeArtifacts: number; readonly receipts: number; readonly ids: Readonly<Record<string, number>>;
  readonly records: Readonly<Record<string, number>>; readonly instructions: Readonly<Record<string, number>>;
  readonly memoryEffects: Readonly<Record<string, number>>; readonly controlEdges: Readonly<Record<string, number>>;
  readonly controlFlowEdges: Readonly<Record<string, number>>;
  readonly proofObligations: Readonly<Record<string, number>>; readonly proofGapCodes: Readonly<Record<string, number>>;
  readonly evidence: Readonly<Record<string, number>>; readonly proofEvidence: Readonly<Record<string, number>>;
  readonly sourceMaps: Readonly<Record<string, number>>; readonly sourceMapMappings: Readonly<Record<string, number>>;
  readonly conflictKeys: Readonly<Record<string, number>>; readonly missingEvidence: Readonly<Record<string, number>>;
  readonly readinesses: Readonly<Record<string, number>>;
}
export type MGF = UniversalConversionMachineGraphFieldKey;
export interface MGQ extends UniversalConversionMachineGraphQuery {}