Improve predicate observation handling for convergence checks#84

Merged

InauguralPhysicist merged 3 commits intomainfrom

copilot/identify-areas-of-improvement

Dec 19, 2025

Commits on Dec 18, 2025

Initial plan
Copilot
committed

Commits on Dec 19, 2025

fix: observe predicate variables for compiler predicates

Copilot
and
InauguralPhysicist
committed
refactor: streamline predicate observation handling

Copilot
and
InauguralPhysicist
committed