From 37dfeb845d71310c054826bd55b75ba1cac55454 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Sun, 11 Oct 2026 11:24:07 +0000
Subject: [PATCH] Refresh generated project statistics and attribution

---
 NOTICE    | 1 +
 README.md | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/NOTICE b/NOTICE
index ab45763db9..9770a27fa2 100644
--- a/NOTICE
+++ b/NOTICE
@@ -362,6 +362,7 @@ MIT permission notice that follows them.
   LeanPool/PartialRegularity         https://github.com/AxiomMath/partial-regularity
       Copyright (c) 2026 Axiom Math
 
+  LeanPool/PersistentSOS             https://github.com/JD-Jones-ASES/persistent-sos
   LeanPool/PolyaEnumerationTheorem   https://github.com/Luka-O/polya-enumeration-theorem
       Copyright (c) 2024 Luka-O
 
diff --git a/README.md b/README.md
index 11c39dc7ef..b9c02db6b5 100644
--- a/README.md
+++ b/README.md
@@ -24,7 +24,7 @@ from projects and files down to declarations and source lines. The
 the badge shows the date of the latest completed recording.
 
 <!-- BEGIN STATS -->
-**297** formalization projects · **10,961,357** lines of Lean
+**298** formalization projects · **10,977,403** lines of Lean
 <!-- END STATS -->
 
 <sub>(stats above are refreshed automatically by the [generated-metadata workflow](.github/workflows/notice.yml) — edit [`python/lean_pool/stats.py`](python/lean_pool/stats.py), not the numbers)</sub>