Move candidates dir to repo root

.gitignore

@@ -12,5 +12,5 @@ __pycache__/
 # Aggregator: the Reservoir manifest is fetched on demand and kept
 # locally only. Curated per-package files in candidates/packages/
 # are the source of truth that gets committed.
-/aggregator/candidates/raw_data/
+/candidates/raw_data/
 .claude/

python/lean_pool/aggregator/__main__.py

@@ -34,7 +34,7 @@
 )
 
 REPO_ROOT = Path(__file__).resolve().parents[3]
-CANDIDATES_DIR = REPO_ROOT / "aggregator" / "candidates"
+CANDIDATES_DIR = REPO_ROOT / "candidates"
 DEFAULT_MANIFEST = CANDIDATES_DIR / "raw_data" / "manifest.json"
 DEFAULT_MANUAL_LIST = CANDIDATES_DIR / "manual.txt"
 DEFAULT_MANUAL_DATA = CANDIDATES_DIR / "raw_data" / "manual_packages.json"

python/lean_pool/aggregator/cloner.py

@@ -6,7 +6,7 @@
 clone is typically a few hundred KB.
 
 The cache lives at
-``aggregator/candidates/raw_data/clones/<owner>/<name>/``, keyed by the
+``candidates/raw_data/clones/<owner>/<name>/``, keyed by the
 package's canonical GitHub key (lowercased, ``.lean``/``.git`` suffix
 stripped) so two manifest entries pointing at the same repo (e.g.
 Reservoir's ``leanprover-community/mathlib`` and a manual entry's

python/lean_pool/aggregator/manual.py

@@ -8,8 +8,8 @@
 metadata from the GitHub REST API at the same time we fetch the
 Reservoir manifest.
 
-The list lives at ``aggregator/candidates/manual.txt`` — one GitHub URL
-per line, ``#`` comments and blank lines allowed.
+The list lives at ``candidates/manual.txt`` — one GitHub URL per line,
+``#`` comments and blank lines allowed.
 """
 
 from __future__ import annotations

python/lean_pool/aggregator/render.py

@@ -6,7 +6,7 @@
 one source of truth for the descriptive fields.
 
 The renderer replaces the content between two HTML comment markers in
-``aggregator/candidates/README.md``:
+``candidates/README.md``:
 
     <!-- BEGIN AUTOGENERATED TABLE -->
     ...generated table goes here...