feat(diff): highlight where the walkthrough points, dim what a rule can prove is mechanical - #22

Merged

fiddur merged 2 commits into

Aug 21, 2026

Commits on Aug 21, 2026

feat(diff): highlight where the walkthrough points, dim what a rule can prove is mechanical

fiddur
and
claude
committed
fa418d1
fix(diff): bind the attention props, and render components in tests

fiddur
and
claude
committed
a8d4926