Ordered Comparison

Abstract intermediate. A two-operand boolean comparison whose ordering comes from a declared transitive property rather than numeric magnitude. Operands are resource references compared by canonical identity (publisher + package + name; version ignored), the same identity rule as Equals. Evaluators receive the property's transitive closure as evaluation context supplied by the caller; they never resolve packages or compute the closure themselves. Not directly instantiable; authors instantiate IsAtLeast or Dominates.