chore: traffic data 2026-08-01

Author: github-actions[bot]

traffic/stats-history.ndjson

@@ -104,3 +104,4 @@
 {"date": "2026-07-29", "stars": 415, "forks": 133, "watchers": 5, "open_issues": 1}
 {"date": "2026-07-30", "stars": 415, "forks": 133, "watchers": 5, "open_issues": 1}
 {"date": "2026-07-31", "stars": 415, "forks": 133, "watchers": 5, "open_issues": 1}
+{"date": "2026-08-01", "stars": 415, "forks": 132, "watchers": 5, "open_issues": 0}