Merge origin/main into claude/complete-task-18-NewVw

Resolved conflicts keeping our bug fixes (#24, #25) and task #19 implementation:
- assume.ts: Keep _setCurrentContextValue for scoped assumptions
- CHANGELOG.md: Include inequality evaluation feature
- DONE.md: Include tasks #19, #24, #25 documentation

https://claude.ai/code/session_01Xx26gPU9ThyiypRqdLcmZQ

Author: claude