Promote the Sweep Correction and the Carried-Text Record - #661

Merged

ptr727 merged 2 commits into

mainfrom

Aug 11, 2026

Commits on Aug 10, 2026

Record That a Disproof About Carried Text Has Nowhere to Live (#659)

ptr727
and
claude
authored
9614d99
Say That a Path Grep Misses a Description of the File (#660)

ptr727
and
claude
authored
3b9db5d