Keep only the non-obvious constraints (unit contract, daemon no-keep-alive assumption, ContextVar fail-open threading, replace-not-narrow intent) and cut prose that restates the code. The module docstring in first_token_timeout.py stays the single canonical description of the path.