Skip to content

ruff_charon: no '?' dispatch targets; record witnessed effects with exact assert kind - #135

Merged
AdaWorldAPI merged 6 commits into
mainfrom
claude/sgr-charon-identity
Nov 2, 2026
Merged

ruff_charon: no '?' dispatch targets; record witnessed effects with exact assert kind#135
AdaWorldAPI merged 6 commits into
mainfrom
claude/sgr-charon-identity

ruff_charon: cover DEREF_WRITE effects with an argument/local/plain f…

482a3dd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar