feat: phases 77–80 — navbar view refresh, static background, API tokens, history suggestion chips

Single consolidated commit for four completed, validated phases (77, 78,
79, 80). The pipeline run left all work uncommitted because the harness
commits only with PHASE_COMMIT=1 while child executors are forbidden from
committing; the phases themselves all passed validation and moved to
.agents/phases/complete/.

Phase 77 — navbar view refresh
- router.js dispatches bor:view-refresh on re-show / active re-click /
  popstate (gated on wasMounted; first show and boot exempt)
- History / RAG / Sources / Tuning re-fetch on refresh (admin branch);
  Chat deliberately excluded (stream survival)
- History "Refresh" button (admin-only, in-flight disable + status line)
- New story suite tests/e2e/test_navbar_refresh.py (7 tests)

Phase 78 — static background
- Removed the animated glow layers; static 44px grid over the flat --bg
  canvas; default and reduced-motion renders byte-identical
- Updated background/theme E2E suites; removed bg-glow test pins

Phase 79 — API tokens
- api_tokens model + migration 0012; hash-only token service
- Admin tokens API + Tokens admin view; POST /api/token-auth;
  live-revoking require_user on chat / suggestions / document content
- Frontend token gate with localStorage cache; anonymous E2E suites
  migrated to token login
- New story suite tests/e2e/test_api_tokens.py (9 tests)

Phase 80 — history suggestion chips
- last_questions() endpoint with SEED fallback; startNewChat() refetch
- Seed-semantics docs (config.py, .env.example, README)
- Integration state matrix + E2E suite rewritten to the 4 chip states

Also included: phase-76 report artifacts and the repo restore-test-db
skill (previously untracked), scripts/* ruff fixes from phase 77.

Final gate state (phase 80 final pass, covers everything above):
- uv run pytest --cov=app → 1637 passed, 0 failed, app/ coverage 99%
- uv run ruff check . && uv run pyright → clean, 0 errors
- Per-phase story E2E suites green in isolation

scripts/model_benchmark.py

@@ -51,7 +51,6 @@ Usage from any test script::
 from __future__ import annotations
 
 import csv
-import os
 from datetime import date
 from pathlib import Path
 

scripts/test_embed_model.py

@@ -85,7 +85,7 @@ class EmbedResult:
 # ── helpers ─────────────────────────────────────────────────────────────
 
 def _cosine(a: list[float], b: list[float]) -> float:
-    dot = sum(x * y for x, y in zip(a, b))
+    dot = sum(x * y for x, y in zip(a, b, strict=True))
     na = math.sqrt(sum(x * x for x in a))
     nb = math.sqrt(sum(x * x for x in b))
     if na == 0 or nb == 0:
@@ -94,10 +94,7 @@ def _cosine(a: list[float], b: list[float]) -> float:
 
 
 def _has_nan_or_inf(vec: list[float]) -> bool:
-    for v in vec:
-        if math.isnan(v) or math.isinf(v):
-            return True
-    return False
+    return any(math.isnan(v) or math.isinf(v) for v in vec)
 
 
 async def _embed(client: httpx.AsyncClient, model: str, texts: list[str]) -> list[list[float]]:
@@ -170,8 +167,6 @@ async def _test_cosine(model: str) -> EmbedResult:
         # a[2] vs a[3] (dissimilar)
         dissim = _cosine(vectors[i + 2], vectors[i + 3])
         dissimilar_scores.append(dissim)
-        # Cross: a[0] vs a[2] (should be lower than similar)
-        cross = _cosine(vectors[i], vectors[i + 2])
 
     avg_similar = sum(similar_scores) / len(similar_scores)
     avg_dissimilar = sum(dissimilar_scores) / len(dissimilar_scores)

scripts/test_summary_model.py

@@ -27,7 +27,7 @@ import asyncio
 import os
 import sys
 import time
-from dataclasses import dataclass, field
+from dataclasses import dataclass
 
 from dotenv import load_dotenv
 
@@ -235,8 +235,8 @@ def _detect_hallucination(summary: str, source: str) -> bool:
     uncommon = summary_tokens - source_tokens
     # Filter out very common English words
     common = {"system", "service", "network", "server", "data", "file",
-              "host", "port", "port", "running", "config", "value",
-              "model", "image", "container", "running", "local", "local"}
+              "host", "port", "running", "config", "value",
+              "model", "image", "container", "local"}
     flagged = uncommon - common
     return len(flagged) > 3  # more than 3 uncommon new tokens
 
@@ -250,7 +250,7 @@ async def run_benchmark(
     """Run the summary benchmark and return results."""
     all_results: list[SummaryResult] = []
 
-    for run_idx in range(runs):
+    for _run_idx in range(runs):
         for label, text in _FIXTURE_TEXTS:
             summary, wall = await _summarize(None, model, text)
             src_len = len(text)