Commit

8517fad

@dtinth #40 is green: every smoke run passes the new ~/.local/bin PATH check, and Devin had no comments. I also corrected the smoke totals in AGENTS.md to what CI reports (78 and 80). Ready to merge.

commit 8517fad