deer-flow/backend/tests/test_thread_id_route_contract.py
Zeren Wang a58ab484a6
feat(projects): Projects MVP Phase 2 — instructions, document shelf, promotion, trash (#5443)
* feat(projects): Projects MVP Phase 2 — instructions, document shelf, promotion, trash

Implements docs/superpowers/specs/2026-09-12-projects-mvp-phase2-design.md
(issue #5160, tracker #5129) in the slice order of the spec's §16.

Slices:
- A: ProjectsConfig + write-time 422 UTF-8 byte cap; PROJECT_CONTEXT_KEY
  admission pinning (both server-owned sets + worker hoist); latest-only
  request-scoped <project> block via DynamicContextMiddleware
  wrap_model_call/awrap_model_call (idempotent reassembly, reserved ID
  prefix + marker + provenance, never persisted); journal audit
  fingerprints; Instructions tab.
- B: ProjectDocumentRow + migration 0023; ProjectDocumentRepository with
  locked check-and-set; hash-qualified immutable shelf storage with
  Paths helpers; upload/list/content/delete-to-trash routes; project
  delete trashes the shelf in-transaction; request-scoped bounded
  <documents> index with honest count/shown + actionable overflow note;
  list_project_documents/read_project_document tools registered only on
  pinned runs; PAT allowlist + drift guards; blocking-IO anchors.
- C: shared thread-upload ingestion service (uploads router refactored to
  parity); POST from-thread with provenance; attach-to-thread with
  lock-staged copy (archived source allowed); read-only thread-files
  view with per-group truncation reporting.
- D: restore (restored/merged/not_found/no_target/content_missing; no
  file moves), purge (continuous row lock across unlink/delete/commit,
  retryable on FS errors), retention sweep (lazy + startup, 24h orphan
  guard, row-side reconciliation never deletes).
- E: Documents tab (shelf + conversation-files browser, provenance,
  archived banner, content-missing rows), /workspace/trash route,
  sidebar entry, composer attach handoff, i18n (en-US/zh-CN), e2e mocks
  + specs.

Review hardening folded in (10 rounds, all with tests):
- force active shelf content (HTML/XML family) to download; nosniff on
  artifact + content responses; unified unsandboxed-iframe PDF preview
  (fixes the pre-existing Chromium sandbox blank in the artifact viewer)
- scope document trash to the URL project under the document lock
- atomic no-overwrite filename reservation for ALL ingestion (seeded
  claims + os.link commit with suffix retry; same-name re-upload now
  unique-names instead of replacing); hidden staging only, no visible
  placeholders; lease cleanup on setup failure
- serialize conversion under the document lock with post-lock active
  revalidation; drain locked filesystem work on cancellation; preserve
  bytes when an insert's commit state is uncertain (including trashed
  rows)
- original-integrity checks before serving text or cached conversions;
  content_missing surfaced in list responses (UI reads the flag, no
  409-probe); downloads always serve original bytes
- bounded streaming document reads with cached char counts; shelf limits
  declared in middleware release identity
- thread-root confinement for from-thread sources; config fallback
  rejects fractional/infinite values; composer counts staged
  attachments; pending attachments persist until submission or removal;
  in-flight instruction/rename edits survive save refetches; shelf and
  trash pagination; conversation-file and thread-files pages stay
  subscribed to refetches

Docs: README/README_zh, backend API.md/ARCHITECTURE.md, AGENTS.md
contracts, config.example.yaml projects block.

Review follow-ups (head b4807477 → this revision):
- The trash retention sweep is split so repeated lazy triggers stay
  bounded: the indexed expiry purge still runs on every trigger
  (GET /api/trash/documents, POST /api/trash/purge) while the
  O(all rows + all files) reconciliation is throttled to one run per
  user per 15 minutes (process-local, per-user window). The startup
  sweep now runs as a background task instead of blocking gateway
  readiness, and shutdown awaits it (bounded).
- The export scrub (stripInternalMarkers) is fence- and indentation-aware
  like the render path, so a pasted, fenced <project>/<documents> snippet
  survives markdown export while real injected blocks (never fenced) are
  still removed. Fence regexes moved to a dependency-free leaf module to
  avoid the messages↔streamdown import cycle.
- The artifact viewer's PDF iframe no longer carries an added title
  attribute (the upstream e2e contract locates it via :not([title])), and
  the upstream artifact-preview spec now pins the new contract: PDFs
  render unsandboxed, images keep sandbox="".

* fix(projects): round-2 review — cancel an overrun trash sweep, restore the PDF frame title

- Shutdown cancelled only the shield around the background startup sweep,
  so an all-users reconciliation that outlived the 5s budget kept walking
  rows and files while the document repo and DB engine were disposed
  underneath it. The wait now lives in `_shutdown_startup_trash_sweep`,
  which cancels the task and drains it before worker exit: the shield
  keeps the wait bounded, the cancel makes it final (CancelledError lands
  at the sweep's next await, and `_run_startup_trash_sweep` only catches
  `Exception`, so nothing swallows it).
- The browser-preview iframe lost `title={getFileName(filepath)}` in the
  previous fix round, leaving the PDF frame without an accessible name
  while its siblings keep theirs. Restore it (WCAG frame titles), assert
  it in the DOM test, and anchor the e2e on `iframe[title="report.pdf"]`
  instead of `iframe:not([title])`.

* fix(projects): round-3 review — report the sweep's late finish, not a phantom cancel

`Task.cancel()` returns False when the sweep already finished inside the
window between the deadline firing and the cancel, so the shutdown log
claimed a cancellation that never happened. Branch on that outcome: the
warning stays for a real cancel, a late finish is logged at info, and both
paths still reap the task before worker exit.

* fix(projects): round-4 review — make Empty trash delete what it confirms

`POST /api/trash/purge` only ran the retention sweep, and the sweep's
candidate selection is age-gated, so a freshly trashed document survived
"Empty trash" even though the confirmation promises that every listed
document is permanently deleted. With one trashed row the route answered
`{"purged": 0}` and left it in place; `GET /api/trash/documents` sweeps
expired rows before listing, so the visible rows were normally ineligible
for the action by construction.

Empty trash now drives `purge_all_trashed`: the caller's trashed rows
(`list_all_trashed`, no age filter) each go through the same guarded,
row-locked `purge` as the single-document delete — bytes first, then the
row, in one transaction — so a row restored mid-flight is skipped instead of
force-deleted, and an unlink failure rolls that row back and answers 500 with
a retryable message. Retention expiry stays where it was: the sweep's
`purge_candidates` is now the only age-gated selection, and the lazy
retention sweep still runs on the listing and at startup.

Tests: the router suite replaces the retention-gated expectation with the
reviewer's repro (fresh row purged, bytes unlinked, shelf and other users'
trash untouched, a failing unlink stays retryable and 500); a blocking-I/O
anchor drives the new entry point through the offload; the mocked e2e covers
the action end to end; a new real-backend spec performs it against the real
gateway and re-reads `GET /api/trash/documents`. README, API, ARCHITECTURE
and the phase-2 design docs (en+zh) state the age-independent contract.
2026-09-16 18:46:18 +08:00

200 lines
7.5 KiB
Python

"""Canonical thread ID contract: every HTTP route and embedded-client entry
point that takes a ``thread_id`` must enforce ``ThreadId`` validation.
Two complementary guards:
1. A static sweep (AST over ``app/gateway/routers/*.py``) asserting every
route handler that declares a ``thread_id`` parameter annotates it
``ThreadId`` — this is what prevents new routes from silently landing
with a raw ``str`` again (the suggestions/thread_runs/threads gaps).
2. A runtime sweep hitting every ``{thread_id}`` route with a non-canonical
ID and asserting a 422 whose error location names ``thread_id``.
Deliberate exceptions (RFC #4588):
- ``DELETE /api/threads/{thread_id}`` keeps ``thread_id: str`` as the
legacy-cleanup escape hatch.
- The browser websocket stream validates on upgrade; covered separately.
"""
from __future__ import annotations
import ast
import re
from pathlib import Path
import pytest
from _router_auth_helpers import make_authed_test_app
from fastapi.testclient import TestClient
ROUTERS_DIR = Path(__file__).resolve().parent.parent / "app" / "gateway" / "routers"
# (handler name) route handlers deliberately allowed to keep ``thread_id: str``.
STATIC_WHITELIST = {"delete_thread_data"}
# (method, path) routes deliberately excluded from the runtime 422 sweep.
RUNTIME_WHITELIST = {
("DELETE", "/api/threads/{thread_id}"), # legacy-cleanup escape hatch
}
BAD_THREAD_ID = "bad.thread.id"
_ROUTE_DECORATOR_RE = re.compile(r"router\.(get|post|delete|put|patch|websocket)")
def _iter_route_handlers(path: Path):
"""Yield (handler_name, has_thread_id_param, annotation) for route handlers."""
tree = ast.parse(path.read_text())
for node in ast.walk(tree):
if not isinstance(node, (ast.FunctionDef, ast.AsyncFunctionDef)):
continue
if not any(isinstance(dec, ast.Call) and isinstance(dec.func, ast.Attribute) and isinstance(dec.func.value, ast.Name) and _ROUTE_DECORATOR_RE.fullmatch(f"{dec.func.value.id}.{dec.func.attr}") for dec in node.decorator_list):
continue
for arg in (*node.args.posonlyargs, *node.args.args, *node.args.kwonlyargs):
if arg.arg == "thread_id":
annotation = ast.unparse(arg.annotation) if arg.annotation else None
yield node.name, annotation
def test_every_thread_id_route_handler_uses_canonical_type():
"""Static guard: no route handler may declare a bare ``str`` thread_id."""
violations = []
for path in sorted(ROUTERS_DIR.glob("*.py")):
for handler, annotation in _iter_route_handlers(path):
if handler in STATIC_WHITELIST:
continue
if annotation != "ThreadId":
violations.append(f"{path.name}:{handler} -> {annotation!r}")
assert not violations, "route handlers with non-canonical thread_id:\n" + "\n".join(violations)
def _collect_thread_id_routes():
"""Import every gateway router and collect (method, full_path) with {thread_id}."""
from app.gateway.routers import (
artifacts,
browser,
feedback,
mcp_tasks,
project_documents,
runs,
scheduled_tasks,
skills,
subagent_batches,
suggestions,
thread_runs,
threads,
uploads,
)
routers = [
artifacts,
browser,
feedback,
mcp_tasks,
project_documents,
runs,
scheduled_tasks,
skills,
subagent_batches,
suggestions,
thread_runs,
threads,
uploads,
]
cases = []
for module in routers:
for route in module.router.routes:
path = getattr(route, "path", "")
if "{thread_id}" not in path:
continue
methods = getattr(route, "methods", None)
if methods is None:
continue # websocket routes — covered by the dedicated test below
for method in sorted(methods):
if (method, path) in RUNTIME_WHITELIST:
continue
cases.append((module.__name__.rsplit(".", 1)[-1], method, path))
return cases
_THREAD_ID_ROUTES = _collect_thread_id_routes()
def test_browser_websocket_rejects_noncanonical_thread_id():
"""The browser stream websocket validates thread_id on upgrade."""
from starlette.websockets import WebSocketDisconnect
from app.gateway.routers import browser
app = make_authed_test_app()
app.include_router(browser.router)
with TestClient(app, raise_server_exceptions=False) as client:
with pytest.raises(WebSocketDisconnect):
with client.websocket_connect(f"/api/threads/{BAD_THREAD_ID}/browser/stream"):
pass
def test_sweep_covers_expected_surface():
"""Sanity: the sweep must actually see the known thread_id routes."""
assert len(_THREAD_ID_ROUTES) >= 30
assert any("suggestions" in name for name, _, _ in _THREAD_ID_ROUTES)
assert any("mcp_tasks" in name for name, _, _ in _THREAD_ID_ROUTES)
assert any("subagent_batches" in name for name, _, _ in _THREAD_ID_ROUTES)
def test_sweep_covers_every_router_module_with_thread_id_routes():
"""No router module declaring ``{thread_id}`` route paths may fall out of
the runtime sweep (a file merely mentioning thread_id in a body field
does not count)."""
import importlib
swept = {name for name, _, _ in _THREAD_ID_ROUTES}
missing = []
for path in sorted(ROUTERS_DIR.glob("*.py")):
module = importlib.import_module(f"app.gateway.routers.{path.stem}")
routes = getattr(getattr(module, "router", None), "routes", None) or []
if not any("{thread_id}" in getattr(route, "path", "") for route in routes):
continue
if path.stem not in swept:
missing.append(path.stem)
assert not missing, f"routers with thread_id routes missing from the runtime sweep: {missing}"
@pytest.mark.parametrize(
("router_name", "method", "path"),
_THREAD_ID_ROUTES,
ids=[f"{name}:{method}:{path}" for name, method, path in _THREAD_ID_ROUTES],
)
def test_noncanonical_thread_id_gets_422(router_name, method, path):
"""Runtime guard: a non-canonical thread_id yields 422 naming thread_id."""
import importlib
from unittest.mock import MagicMock
from app.gateway.deps import get_config
module = importlib.import_module(f"app.gateway.routers.{router_name}")
app = make_authed_test_app()
app.include_router(module.router)
# get_config 503s when no config.yaml exists (CI), and dependency solving
# precedes path-param validation — override it so the 422 contract is
# exercised regardless of the environment.
app.dependency_overrides[get_config] = MagicMock()
url = path.replace("{thread_id}", BAD_THREAD_ID)
# Other path params get a harmless canonical placeholder.
url = re.sub(r"\{(\w+)(?::path)?\}", "x", url)
with TestClient(app, raise_server_exceptions=False) as client:
if method == "GET":
response = client.get(url)
elif method == "DELETE":
response = client.delete(url)
elif method in {"POST", "PUT", "PATCH"}:
response = client.request(method, url, json={})
else: # WEBSOCKET etc. — not expected in the sweep
pytest.skip(f"unsupported method {method}")
assert response.status_code == 422, f"{method} {path} -> {response.status_code}: {response.text[:300]}"
detail = response.json()["detail"]
assert any("thread_id" in str(err.get("loc", ())) for err in detail), f"422 did not name thread_id: {detail}"