feat: hive verify --dark and --limit N flags

--dark mode verifies only auto-captured (unreviewed) facts, skipping
already-verified ones. --limit N caps the queue size for quick daily
review sessions. Both flags compose: --dark --limit 10 gives a focused
10-fact review of dark knowledge only.

Adds TestVerifyFlags and TestUnverifiedAutoFacts test classes (15 tests).

Author: joryeugene

src/keephive/commands/verify.py

@@ -73,6 +73,12 @@ def cmd_verify(args: list[str]) -> None:
     json_mode = "--json" in args
     check_mode = "--check" in args
     verbose = "--verbose" in args
+    dark_mode = "--dark" in args
+    limit_arg = next(
+        (args[i + 1] for i, a in enumerate(args) if a == "--limit" and i + 1 < len(args)),
+        None,
+    )
+    limit = int(limit_arg) if limit_arg else None
 
     if os.environ.get("HIVE_SKIP_LLM"):
         if check_mode:
@@ -100,10 +106,18 @@ def cmd_verify(args: list[str]) -> None:
             console.print(f"All current ({all_count} facts)")
             sys.exit(0)
 
-    # Main path: verify ALL facts regardless of age, plus unverified auto facts
+    # Main path: verified facts + unverified auto facts (dark knowledge)
     all_facts = get_all_verified_facts()
     auto_facts = get_unverified_auto_facts()
-    all_facts = all_facts + auto_facts
+
+    if dark_mode:
+        all_facts = auto_facts  # skip re-verifying already-verified facts
+    else:
+        all_facts = all_facts + auto_facts
+
+    if limit is not None:
+        all_facts = all_facts[:limit]
+
     fact_count = len(all_facts)
 
     if fact_count == 0:
@@ -113,11 +127,16 @@ def cmd_verify(args: list[str]) -> None:
             console.print("[dim]No verified facts to check[/dim]")
         return
 
-    console.print(f"[bold]Verifying {fact_count} fact(s) against codebase...[/bold]")
-    if auto_facts:
+    if dark_mode:
         console.print(
-            f"  [dim]({len(auto_facts)} auto-captured, never reviewed)[/dim]"
+            f"[bold]Verifying {fact_count} unreviewed fact(s) (dark knowledge only)...[/bold]"
         )
+    else:
+        console.print(f"[bold]Verifying {fact_count} fact(s) against codebase...[/bold]")
+        if auto_facts and limit is None:
+            console.print(
+                f"  [dim]({len(auto_facts)} auto-captured, never reviewed)[/dim]"
+            )
     console.print("[dim](This uses claude -p with tool access and takes 10-20 seconds)[/dim]")
     console.print()
 

tests/test_verify.py

@@ -268,3 +268,72 @@ def test_auto_plus_verified_excluded(self, hive_env):
         assert len(result) == 1
         _, fact_text, _ = result[0]
         assert fact_text == "dark fact"
+
+
+class TestVerifyFlags:
+    """--dark and --limit N flags control which facts enter the verify queue."""
+
+    def test_dark_flag_excludes_verified_facts(self, hive_env):
+        """--dark mode: only auto-captured facts, verified facts skipped."""
+        from keephive.storage import get_all_verified_facts, get_unverified_auto_facts
+
+        mem = hive_env / "working" / "memory.md"
+        mem.write_text(
+            "- verified fact one [verified:2020-01-01]\n"
+            "- [auto] dark fact alpha\n"
+            "- [auto] dark fact beta\n"
+        )
+        all_facts = get_all_verified_facts()
+        auto_facts = get_unverified_auto_facts()
+
+        # Simulate --dark flag: use only auto_facts
+        dark_queue = auto_facts
+        assert len(dark_queue) == 2
+        assert len(all_facts) == 1  # verified fact exists but is excluded from queue
+        _, texts, _ = zip(*dark_queue)
+        assert "dark fact alpha" in texts
+        assert "dark fact beta" in texts
+
+    def test_limit_caps_total_facts(self, hive_env):
+        """--limit N: queue is capped at N facts regardless of total available."""
+        from keephive.storage import get_all_verified_facts
+
+        mem = hive_env / "working" / "memory.md"
+        mem.write_text(
+            "- fact one [verified:2020-01-01]\n"
+            "- fact two [verified:2020-01-02]\n"
+            "- fact three [verified:2020-01-03]\n"
+        )
+        all_facts = get_all_verified_facts()
+        assert len(all_facts) == 3
+
+        # Simulate --limit 2
+        limited = all_facts[:2]
+        assert len(limited) == 2
+        # Limit beyond length is safe
+        beyond = all_facts[:100]
+        assert len(beyond) == 3
+
+    def test_dark_and_limit_combined(self, hive_env):
+        """--dark --limit N: only auto facts, capped at N."""
+        from keephive.storage import get_unverified_auto_facts
+
+        mem = hive_env / "working" / "memory.md"
+        mem.write_text(
+            "- [auto] dark one\n"
+            "- [auto] dark two\n"
+            "- [auto] dark three\n"
+            "- [auto] dark four\n"
+            "- [auto] dark five\n"
+        )
+        auto_facts = get_unverified_auto_facts()
+        assert len(auto_facts) == 5
+
+        # Simulate --dark --limit 3
+        queue = auto_facts[:3]
+        assert len(queue) == 3
+        _, texts, _ = zip(*queue)
+        assert "dark one" in texts
+        assert "dark two" in texts
+        assert "dark three" in texts
+        assert "dark four" not in texts