export const contractContradicted = function contractContradicted(contradicted: readonly string[]): string {
    return (
        `REFUSED  The gate report describes one of its own fields in a way the field's contents contradict: ` +
        `${contradicted.join("; ")}. The report was not written. Correct the description or the field, then run ` +
        "the gates again.\n"
    );
};

export const unfixturedKind = function unfixturedKind(kind: string): string {
    return `    unfixtured ${kind.padEnd(16)} a rule emits this kind, and no fixture pair covers it\n`;
};