Searching protocol for "constraint-propagation"
Bidirectional constraint propagation.
Establish ground truth axioms as foundational constraints.
Implement ad-hoc polymorphism.
Tune JUDO query performance.
Automate formal methods and software verification.
Systematically refactor code with test-driven hole resolution.