Infrastructure · Primitives
ParetoFront
Nondominated candidates across declared axes
Definition
Mechanism
Given an input candidate set and declared axes, use Compare under each axis's no-worse relation. Candidate X dominates Y when X is no worse than Y on every axis and, on at least one axis, Y is not no worse than X. Return every input candidate not dominated by another input candidate. Ordering or selecting among returned candidates is caller policy.
Preconditions
- At least two axes are declared.
- Each axis supplies a reflexive, transitive no-worse relation applicable to every candidate pair.
Invariants
- Dominance: X dominates Y iff X is no worse than Y on every declared axis and there is at least one axis on which Y is not no worse than X.
- Frontier Completeness: Every undominated input candidate is returned, and no dominated input candidate is returned.
Risks
Failure modes
None stated.
Relationships
Builds on
Composes with
Relational check
Used by
Composes with
Mind
Deeply optimizing a solution across PURE dimensions
Reference