Function finalizeResponseV2

Returns {
    argument:
        | {
            claims: {
                miniId: string;
                role: "conclusion"
                | "premise"
                | "intermediate";
                type: "normal" | "citation" | "axiomatic";
            }[];
            conclusionPremiseMiniId: string;
            derivationBacking?: {
                derivedClaimMiniId: string;
                supportingClaimMiniIds: string[];
            }[];
            premises: { formula: string; miniId: string }[];
            variables: { claimMiniId: string; miniId: string; symbol: string }[];
        }
        | null;
    failureText: string
    | null;
    selectionRationale: string | null;
    uncategorizedText: string | null;
}