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