Task 18 et al#281

Merged

arnog merged 7 commits intomainfrom

claude/complete-task-18-NewVw

Feb 1, 2026

Commits on Jan 31, 2026

fix: implement value resolution from equality assumptions (#18)
claude
committed
feat: implement inequality evaluation using assumptions (#19)
claude
committed
fix: forget() and scoped assumptions now properly clear values (#24, #25)
claude
committed
Merge origin/main into claude/complete-task-18-NewVw
claude
committed
Merge remote-tracking branch 'origin/main' into claude/complete-task-18-NewVw
claude
committed
feat: implement type inference from assumptions (#21)
claude
committed
feat: implement tautology and contradiction detection for assumptions (#20)
claude
committed