Refresh generated project statistics and attribution

[Vilin97]

Regenerates README statistics and NOTICE from the accepted project cards and attribution notes. No proof sources change.

[greptile-apps]

Advisory cross-file review against Lean Pool's supervisory rubric. This is not by itself a significance, source-verification, or merge verdict.

[Low risk] Updates project statistics and attribution lists.

No blocking issue was found in this metadata-only change.

Summary

Refreshes generated metadata without changing proof sources.

• README.md now reports 292 projects and 9,969,037 lines of Lean.
• NOTICE adds the upstream repository for AbstractLinearControl under Apache-2.0, matching its existing project card.
• Exact totals were not independently recounted. The upstream license was checked for internal consistency, not against external source material.

_{Reviews (1) · Last reviewed commit: "Refresh generated project statistics and..." · Reviewed by Greptile}

[Vilin97]

🤖 LLM review — refactor (gpt-6.1-sol)

Reviewed head: 96959d223334f8ec2a3a1a5f2e0af987b54b23e3

Verdict: ✅ approve

Updates README statistics and adds the existing AbstractLinearControl project to NOTICE. The attribution entry matches its project card and generator output, and the 4,875-line increase matches its local sources. Aggregate totals were not independently recounted. The complete diff changes no Lean sources or tooling, so proof structure, reusability, and automation remain unchanged.

Aspect	Value
Scope	generated metadata refresh
Introduces tech debt	✅ no
Maintainability	➖ unchanged
Brittleness	➖ unchanged
Risk	✅ low

This mechanical metadata refresh introduces no actionable maintenance debt.

---

Tokens: 181,879 in / 3,540 out · Tier: codex-subscription · Effort: xhigh · Billing: Codex subscription quota (no API credits) · Estimated cost: $0.3992 (Standard API equivalent; uncached input)
Automated review against .github/REFACTOR_REVIEW_RULES.md. Disagree? Reply on the PR; rules can be updated in a PR of their own.