chore: traffic data 2026-05-15

Author: github-actions[bot]

traffic/stats-history.ndjson

@@ -26,3 +26,4 @@
 {"date": "2026-05-12", "stars": 409, "forks": 130, "watchers": 5, "open_issues": 6}
 {"date": "2026-05-13", "stars": 410, "forks": 132, "watchers": 5, "open_issues": 7}
 {"date": "2026-05-14", "stars": 411, "forks": 132, "watchers": 5, "open_issues": 0}
+{"date": "2026-05-15", "stars": 413, "forks": 132, "watchers": 5, "open_issues": 0}