Detect same-name symbols with differing SymPy assumptions - #2486

Draft

ThrudPrimrose wants to merge 11 commits into

mainfrom

symbol-assumption-collision-check

Commits on Aug 11, 2026

Merge remote-tracking branch 'origin/main' into symbol-assumption-collision-check
ThrudPrimrose
committed
2a38211
fix: skip UndefinedSymbol in assumption intake
ThrudPrimrose
committed
dce7ec7
fix: store map ranges with bare symbols
ThrudPrimrose
committed
c808966
fix: bare every subset bound at construction
ThrudPrimrose
committed
e39de0b
perf: cache the assumed spelling reasoning asks for
ThrudPrimrose
committed
aca208f
feat: reject scope parameters that shadow the registry
ThrudPrimrose
committed
78c7df4
test: bare storage, registry strength, scope rules
ThrudPrimrose
committed
2215e59