Reconciliation Is Probabilistic, and That's the Point
The sharpest objection to identity engineering is that you can't formally verify code against natural-language constraints. That's true. It's also irrelevant. Every quality mechanism in software is probabilistic. Reconciliation just needs to be better than nothing.