type RO<T> = readonly T[];
type AR = Readonly<Record<string, unknown>>;
export type TPFI = 'translationParserFailClosedStatuses'|'translationParserUnknownRowIds'|'translationParserProofGapCodes'|'translationParserErrorIds'|'translationParserBlockerReasonCodes'|'translationParserMissingEvidence';
export type TPFQ = 'translationParserFailClosedStatus'|'translationParserUnknownRowId'|'translationParserProofGapCode'|'translationParserErrorId'|'translationParserBlockerReasonCode'|'translationParserMissingEvidence';

export interface UniversalParserFailClosedEvidence {
  readonly kind?: string; readonly version?: number; readonly id?: string;
  readonly status: 'blocked' | string; readonly action: 'requires-parser-support' | string; readonly failClosed: true;
  readonly unknownRows?: readonly AR[]; readonly proofGaps?: readonly AR[]; readonly parserErrors?: readonly AR[];
  readonly unknownRowIds: RO<string>; readonly proofGapCodes: RO<string>; readonly parserErrorIds: RO<string>;
  readonly blockerReasonCodes: RO<string>; readonly missingEvidence: RO<string>; readonly sourceSpans?: readonly AR[];
  readonly summary?: { readonly unknownRows?: number; readonly proofGaps?: number; readonly parseErrors?: number; readonly failClosed?: true; };
  readonly autoMergeClaim: false; readonly semanticEquivalenceClaim: false;
}