Class HigherOrderVotingStrategy

constructor

• new HigherOrderVotingStrategy(
      options?: OWVotingOptions,
  ): HigherOrderVotingStrategy

  Parameters

  • options: OWVotingOptions = {}

  Returns HigherOrderVotingStrategy

Readonlyalgorithm

calculateOutcome

• calculateOutcome(
      votes: Map<
          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;
          },
      >,
      _weights?: Map<string, number>,
  ): VotingOutcome

  IVotingStrategy implementation for integration with ConsensusEngine.

  Parameters

  • votes: Map<
        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;
        },
    >
  • Optional_weights: Map<string, number>

  Returns VotingOutcome

aggregateWithCorrelation

• 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

  Aggregate votes using Bayesian correlation-aware method.

  Parameters

  • 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

  Returns HigherOrderVotingResult

estimateCorrelation

• estimateCorrelation(tracker: ICorrelationTracker): CorrelationMatrix

  Estimate correlation matrix from voting history.

  Parameters

  • tracker: ICorrelationTracker

  Returns CorrelationMatrix

computeISP

• 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

  Compute result using Independent Subset Partition method.

  Parameters

  • 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[]

  Returns HigherOrderVotingResult

aggregate

• 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

  Full pipeline: estimate correlation, compute result.

  Parameters

  • 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

  Returns HigherOrderVotingResult

getConfig

• getConfig(): HigherOrderVotingConfig

  Get the current configuration.

  Returns HigherOrderVotingConfig