revert admin page to FileLock-compatible imports

src/app.py

@@ -115,7 +115,10 @@ from src.ui.screens_preference import screen_pair_intro
 # ---------------------------------------------------------------------------
 def _screen_admin(cfg: dict) -> None:
     """Coverage dashboard — visit ?admin=1 to see this."""
-    from src.data import _fetch_hf_state, _load_pool, _pool_path
+    from src.data import (
+        _get_accepted_counts, _load_pool, _pool_path,
+        _load_reservations, _expire_reservations,
+    )
 
     st.markdown("## 📊 Study Coverage Dashboard")
     st.caption(
@@ -125,22 +128,25 @@ def _screen_admin(cfg: dict) -> None:
     )
 
     if st.button("🔄 Refresh", type="primary"):
+        # Invalidate HF completion caches so we re-scan
+        from src.data import _data_dir
+        for f in _data_dir(cfg).glob("completion_cache*"):
+            f.unlink()
         st.rerun()
 
-    hf_state = _fetch_hf_state(cfg)
-
     for cat_cfg in cfg["categories"]:
-        cat  = cat_cfg["name"]
-        pool = _load_pool(str(_pool_path(cat, cfg)))
+        cat   = cat_cfg["name"]
+        pool  = _load_pool(str(_pool_path(cat, cfg)))
         total = len(pool)
 
-        covered_dict  = hf_state.get(cat, {}).get("covered", {})
-        reserved_dict = hf_state.get(cat, {}).get("reserved", {})
+        counts       = _get_accepted_counts(cat, cfg)
+        reservations = _load_reservations(cfg)
+        _expire_reservations(reservations)
 
-        covered = sum(1 for v in covered_dict.values() if v >= 1)
+        covered = sum(1 for v in counts.values() if v >= 1)
         reserved_uncovered = sum(
-            1 for idx in reserved_dict
-            if covered_dict.get(idx, 0) == 0
+            1 for k in reservations
+            if counts.get(k, 0) == 0
         )
         truly_uncovered = total - covered - reserved_uncovered
 
@@ -149,7 +155,7 @@ def _screen_admin(cfg: dict) -> None:
         col1.metric("Total items",     total)
         col2.metric("Covered ✅",      covered)
         col3.metric("In progress 🔄",  reserved_uncovered,
-                    help="Reserved by active users (HF-synced)")
+                    help="Reserved by active users — will complete soon")
         col4.metric("Still needed ⚠️", truly_uncovered,
                     delta=f"-{truly_uncovered}" if truly_uncovered > 0 else None,
                     delta_color="inverse")