Claude/complete task 18 new vw#282

Merged

arnog merged 8 commits into

mainfrom

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

Commits on Feb 1, 2026

Merge branch 'main' into claude/complete-task-18-NewVw
arnog
authored