E.11.PUR:5.4 - Method precondition and a real ordered pair

An already-current material-kind classification is a solutionConditions fit fact for one machining candidate; it supplies no second candidate and no ordering pair.

By contrast, candidate A inspects the intact surface of one specimen and candidate B destructively tests that specimen. If B destroys the very surface condition A needs and A-before-B preserves both applicable uses, the methodPrecondition predicate supports that direction. If B leaves A’s required condition unaffected, this ground supplies no precedence. Two individually fitting candidates alone do not establish an edge.