chore: traffic data 2026-08-02

Author: github-actions[bot]

traffic/stats-history.ndjson

@@ -105,3 +105,4 @@
 {"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}
+{"date": "2026-08-02", "stars": 415, "forks": 132, "watchers": 5, "open_issues": 0}