chore: traffic data 2026-07-31

Author: github-actions[bot]

traffic/stats-history.ndjson

@@ -103,3 +103,4 @@
 {"date": "2026-07-28", "stars": 414, "forks": 133, "watchers": 5, "open_issues": 1}
 {"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}