Searching protocol for "triangle inequality"
Navigate possible worlds with rigorous constraints.
Chain inequalities for tight, verifiable proofs.