Three Sets, One Diff: A Write-Set Glossary, a Four-Leaf Tree, and a Worked Example at Every Leaf

The pull request looked finished. Twenty-three files. Tests green. A free coding model had been left...