Repository navigation

Foundation fixes: sum (core+symbolic), string-keyed dicts, recursion/enabled/changes/partial-dict errors, fmt safety, soundness oracle - #93

Draft

danwt wants to merge 13 commits into

mainfrom

danwt/claude/foundation-fixes

Draft

Foundation fixes: sum (core+symbolic), string-keyed dicts, recursion/enabled/changes/partial-dict errors, fmt safety, soundness oracle#93
danwt wants to merge 13 commits into
mainfrom
danwt/claude/foundation-fixes

Commits on Jun 26, 2026
- claude: feat(lang): add sum() builtin over collections
  danwt
  committed
  bfe37fd
- claude: fix(types): widen subrange into containing range in unify
  danwt
  committed
  ddd448e
- claude: fix(ir): reject recursive functions instead of overflowing the stack
  danwt
  committed
  7aa30fe
- claude: fix(types): reject enabled()/changes() instead of silent wrong value
  danwt
  committed
  d6d3510
- claude: fix(ir): don't flag nested non-recursive calls as recursion
  danwt
  committed
  daae594
- claude: feat(cli): qualify OK verdict when liveness properties are ignored
  danwt
  committed
  e587185
- claude: fix(fmt): never delete comments; leave commented files unchanged
  danwt
  committed
  415715e
- claude: docs(lang): note parenthesizing membership `in` in let value position
  danwt
  committed
  c03c5f5
- claude: feat(symbolic): encode sum() over dicts, sets, and comprehensions
  danwt
  committed
  a11f4ef
- claude: fix(mc): reject partial dict init instead of panicking
  danwt
  committed
  1d0032e
- claude: feat(lang): support string-keyed dicts under BFS
  danwt
  committed
  4e504b8
- claude: test(soundness): add cross-tool oracle vs TLC
  danwt
  committed
  1793a92
- claude: chore: remove TLC soundness oracle from public repo
  danwt
  committed
  2731a74