Interface IHigherOrderVoting

interface IHigherOrderVoting {
    aggregateWithCorrelation(
        votes: ReadonlyMap<
            string,
            {
                decision: "approve"
                | "reject"
                | "abstain";
                reasoning: string;
                confidence: number;
                conditions?: string[];
                rejectionCategories?: (
                    | "YAGNI"
                    | "DRY_VIOLATION"
                    | "OVER_ENGINEERING"
                    | "SCOPE_CREEP"
                    | "SECURITY_RISK"
                    | "MISALIGNED"
                    | "INSUFFICIENT_EVIDENCE"
                )[];
                findings?: {
                    summary: string;
                    location: string;
                    severity: "low"
                    | "medium"
                    | "high"
                    | "critical";
                    gate: {
                        reread_cited_line: "failed" | "skipped" | "passed";
                        traced_call_path: "failed" | "skipped" | "passed";
                        named_assertion: string;
                        ruled_out_language_non_issue: "failed" | "skipped" | "passed";
                    };
                    claim: string;
                }[];
                timestamp?: string;
            },
        >,
        correlationMatrix: CorrelationMatrix,
    ): HigherOrderVotingResult;
    estimateCorrelation(tracker: ICorrelationTracker): CorrelationMatrix;
    computeISP(
        votes: ReadonlyMap<
            string,
            {
                decision: "approve"
                | "reject"
                | "abstain";
                reasoning: string;
                confidence: number;
                conditions?: string[];
                rejectionCategories?: (
                    | "YAGNI"
                    | "DRY_VIOLATION"
                    | "OVER_ENGINEERING"
                    | "SCOPE_CREEP"
                    | "SECURITY_RISK"
                    | "MISALIGNED"
                    | "INSUFFICIENT_EVIDENCE"
                )[];
                findings?: {
                    summary: string;
                    location: string;
                    severity: "low"
                    | "medium"
                    | "high"
                    | "critical";
                    gate: {
                        reread_cited_line: "failed" | "skipped" | "passed";
                        traced_call_path: "failed" | "skipped" | "passed";
                        named_assertion: string;
                        ruled_out_language_non_issue: "failed" | "skipped" | "passed";
                    };
                    claim: string;
                }[];
                timestamp?: string;
            },
        >,
        independentSubsets: readonly IndependentSubset[],
    ): HigherOrderVotingResult;
    aggregate(
        votes: ReadonlyMap<
            string,
            {
                decision: "approve"
                | "reject"
                | "abstain";
                reasoning: string;
                confidence: number;
                conditions?: string[];
                rejectionCategories?: (
                    | "YAGNI"
                    | "DRY_VIOLATION"
                    | "OVER_ENGINEERING"
                    | "SCOPE_CREEP"
                    | "SECURITY_RISK"
                    | "MISALIGNED"
                    | "INSUFFICIENT_EVIDENCE"
                )[];
                findings?: {
                    summary: string;
                    location: string;
                    severity: "low"
                    | "medium"
                    | "high"
                    | "critical";
                    gate: {
                        reread_cited_line: "failed" | "skipped" | "passed";
                        traced_call_path: "failed" | "skipped" | "passed";
                        named_assertion: string;
                        ruled_out_language_non_issue: "failed" | "skipped" | "passed";
                    };
                    claim: string;
                }[];
                timestamp?: string;
            },
        >,
        tracker: ICorrelationTracker,
    ): HigherOrderVotingResult;
    getConfig(): HigherOrderVotingConfig;
}