check-dominance

Purpose

Identify Pareto-dominated and non-dominated alternatives under strict dominance.

Input contract

required: [alternative_set, score_matrix, criterion_directions]
optional: [missing_value_policy, equality_tolerance]
constraints: [all compared scores share declared direction and scale]

Procedure

1. Normalize criterion direction and validate comparable rows.
2. Compare each ordered pair: no worse on every criterion and strictly better on at least one.
3. Record each dominated alternative with its dominator and witness criterion.
4. Return the non-dominated front and unresolved comparisons.