unsloth/tests/studio/test_cancel_id_wiring.py
Leo Borcherding 1dd2fc4583
tests: read checked-in files as UTF-8 instead of the platform default (#7438)
* tests: read checked-in files as UTF-8 instead of the platform default

Path.read_text() with no encoding uses locale.getpreferredencoding(), which
is UTF-8 on the Linux runners and cp1252 on a stock Windows install. Nine
module-level reads of checked-in source files were relying on that default.

studio/backend/routes/inference.py carries the DeepSeek tool-call token
regexes, so it holds U+FF5C and U+2581. Under cp1252 that read raised
UnicodeDecodeError on byte 0x81 at position 97806, and because the reads run
at import time it took test_cancel_atomicity.py and test_cancel_id_wiring.py
out at collection, not as failures. Green on CI, permanently broken for a
Windows contributor running the suite locally.

Adds a guard: at module scope there is no tmp_path fixture, so a bare
read_text()/write_text()/open() there is always touching a checked-in file.
That makes the rule mechanical enough to enforce with no allowlist, while
staying quiet about temp-dir I/O inside test bodies where the platform
default is harmless.

The repo already spells this correctly in 464 other places; this only stops
the stragglers coming back.

* tests: cover import-time helper reads and keep the guard py3.9-safe

Follows up on the Codex review:

- add `from __future__ import annotations`, since `str | None` in
  `_offender` is evaluated at import on Python 3.9 and pyproject declares
  requires-python ">=3.9,<3.15".
- widen the guard from module scope to import time. Class bodies and the
  bodies of module-level helpers called from an executing statement run
  during collection too, so `CODE = _extract_mixed_precision_code()` was
  the same hazard as an inline read. `if __name__ == "__main__":` blocks
  are skipped: pytest never executes them.
- scan studio/backend/tests/ as well as tests/. Both trees are collected
  on Windows by separate CI jobs, and the offender that started this,
  test_tool_xml_strip.py reading routes/inference.py, lives there.

Widening it surfaced seven more import-time reads of checked-in sources;
all now name utf-8.

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

* Harden the import-time encoding guard for PR #7438

Close the detector gaps raised in review, all of which I reproduced against
the actual AST before changing anything.

False negatives (the guard let a real hazard through):
- _is_main_guard ignored the comparison operator, so if __name__ != "__main__"
  counted as script-only even though its body runs at import.
- The else arm of a main guard was discarded with the rest of the If node.
- Decorators and argument defaults on a module-level def were skipped with the
  body, though both are evaluated when the def executes.
- Path.open() in text mode was invisible; only builtin open() was matched.
- encoding = None and encoding = "locale" both re-select the platform default,
  but the keyword merely being present counted as pinned.

False positives (the guard would have blocked a compliant contributor):
- A non-literal mode fell through to the "r" default, so open(p, mode) was
  flagged even when mode is "rb", where adding encoding= is a ValueError and
  there is no edit that satisfies the rule.
- Same for open(*args) and a **kwargs splat, which hide the mode and can hide
  an encoding.
- Lambda bodies and comprehension elements were walked even though neither runs
  at definition.

Verified: still reports the same 22 offenders on unpatched main, green on this
branch and on the tree merged with latest main (557 files), and an adversarial
corpus of 33 cases now scores zero false positives and zero false negatives.
Also corrected two docstring claims: neither collecting job runs on Windows,
and the read is governed by locale.getencoding().

* Walk eager comprehensions and treat io.open as the builtin

Two regressions from the previous commit, both reproduced against the AST
before changing anything.

Lumping list, set and dict comprehensions in with generator expressions was
wrong. Only a genexp is lazy; the other three run their element expression,
their filters and their nested iterators immediately, so
CONTENTS = [p.read_text() for p in PATHS] at module scope is an import-time
read the guard was silently missing. Comprehensions are now walked in full and
only the genexp keeps the outermost-iterable-only treatment.

io was also in the not-a-path-opener list, but io.open is the builtin, with the
same mode position and the same platform default. io.open(CHECKED_IN_FILE) is
exactly the hazard this guard exists for, so it is matched now, with binary
modes and a pinned encoding still exempt. tarfile.open and fitz.open stay
exempt since neither has an encoding to name.

Verified: 13 targeted cases covering all five eager comprehension forms and
io.open in text, binary and pinned shapes all classify correctly; still 22
offenders on unpatched main; green on this branch and on the tree merged with
latest main.

* Close three more walker gaps in the import-time guard

All three reproduced against the AST first.

A generator expression handed straight to a call is consumed there, so
DATA = "".join(p.read_text() for p in paths) runs its element at import. Only
an unconsumed genexp bound to a name stays lazy, so the walker now follows the
consumed ones in full and keeps the outermost-iterable-only treatment for the
rest.

if "__main__" == __name__ is an equivalent and accepted spelling of the main
guard, but requiring __name__ on the left meant its body was treated as
import-time code. That is a false positive on a block pytest never runs, so
both operand orders are recognised now.

The helper table was built from module-level defs only, so a def in a class
body invoked while the class is constructed was never followed, contradicting
the walker's stated coverage of class bodies. Helpers are now collected from
the module body and from class bodies at any nesting.

Verified: 15 targeted cases including all three fixes and the earlier ones
still classify correctly; still 22 offenders on unpatched main; green on this
branch and on the tree merged with latest main.

* Handle positional read_text encodings, lazy generators and nested helpers

* Guard reads reached from test bodies, unbound Path calls and __file__ paths

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

* Follow derived paths, skip lazy generator helpers, cover compressed openers

* Guard the CLI tests, helper parameters and unbound Path arguments

* Discover test roots and follow literal, in-place and tuple-derived paths

* Identify module openers by import, unwrap starred paths, pin subprocess snippets

* Resolve import origins, seed helper locals, follow named generators and parametrize

* Scope imports lexically, list tracked test files, bind unpacked names

* Resolve aliased openers, keyword-only params, destructured targets, next()

* Pin the encoding on subprocess snippets, workflow lint and CLI output for PR #7438

* Harden the CLI encoding guard against detached streams for PR #7438

* Tighten the encoding guard's path and scope analysis for PR #7438

* Resolve path provenance more precisely and keep POSIX stream encodings for PR #7438

* Resolve qualified path classes and scope conditional imports for PR #7438

* Scope CLI stream setup to the entry point and align two encoding pairs for PR #7438

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Co-authored-by: danielhanchen <danielhanchen@gmail.com>
2026-07-26 23:31:56 -07:00

152 lines
5.8 KiB
Python

"""Wiring tests for the per-run cancel_id field.
A thread-scoped session_id is unsafe as a cancel key (a late stop POST can match
a later run on the same thread); cancel_id is a fresh per-generation UUID sent in
both the completion payload and the /api/inference/cancel body. Verifies the
field on backend/frontend types and the chat-adapter.ts generation + wiring."""
from __future__ import annotations
import ast
import re
from pathlib import Path
WORKSPACE = Path(__file__).resolve().parents[2]
MODELS_SRC = (WORKSPACE / "studio/backend/models/inference.py").read_text(encoding = "utf-8")
ROUTES_SRC = (WORKSPACE / "studio/backend/routes/inference.py").read_text(encoding = "utf-8")
ADAPTER_SRC = (WORKSPACE / "studio/frontend/src/features/chat/api/chat-adapter.ts").read_text(
encoding = "utf-8"
)
API_TYPES_SRC = (WORKSPACE / "studio/frontend/src/features/chat/types/api.ts").read_text(
encoding = "utf-8"
)
def _find_class(tree: ast.AST, name: str) -> ast.ClassDef | None:
for node in ast.walk(tree):
if isinstance(node, ast.ClassDef) and node.name == name:
return node
return None
def test_chat_completion_request_has_cancel_id_field():
tree = ast.parse(MODELS_SRC)
cls = _find_class(tree, "ChatCompletionRequest")
assert cls is not None
fields = {
n.target.id
for n in cls.body
if isinstance(n, ast.AnnAssign) and isinstance(n.target, ast.Name)
}
assert (
"cancel_id" in fields
), "ChatCompletionRequest must expose a cancel_id field for per-run cancellation routing"
def test_cancel_route_matches_cancel_id_exclusively_when_present():
# A stale POST with cancel_id AND session_id must not cancel a later run via
# session_id; the handler must early-return through an exclusive-cancel_id path
# (atomic helper, or a keys list with ONLY cancel_id).
for node in ast.walk(ast.parse(ROUTES_SRC)):
if isinstance(node, ast.AsyncFunctionDef) and node.name == "cancel_inference":
break
else:
raise AssertionError("cancel_inference handler missing")
cancel_id_exclusive_branch = False
for sub in ast.walk(node):
if not isinstance(sub, ast.If):
continue
test_src = ast.unparse(sub.test)
if "cancel_id" not in test_src or "isinstance" not in test_src:
continue
branch_src = "\n".join(ast.unparse(s) for s in sub.body)
before_return = branch_src.split("return", 1)[0]
matches_cancel_id_only = (
"_cancel_by_cancel_id_or_stash(cancel_id)" in branch_src
or "_cancel_by_keys([cancel_id])" in branch_src
)
if matches_cancel_id_only and "session_id" not in before_return:
cancel_id_exclusive_branch = True
break
assert cancel_id_exclusive_branch, (
"cancel_inference must early-return with an exclusive cancel_id "
"match when a cancel_id is supplied, so a stale stop POST "
"cannot cancel a later run on the same thread via session_id"
)
def test_cancel_route_falls_back_to_session_or_completion_when_no_cancel_id():
for node in ast.walk(ast.parse(ROUTES_SRC)):
if isinstance(node, ast.AsyncFunctionDef) and node.name == "cancel_inference":
break
else:
raise AssertionError("cancel_inference handler missing")
src = ast.unparse(node)
assert "session_id" in src and "completion_id" in src, (
"cancel_inference must still accept session_id / completion_id as "
"fallback keys when cancel_id is absent"
)
def test_frontend_request_type_has_cancel_id():
assert re.search(
r"cancel_id\?\s*:\s*string\s*;", API_TYPES_SRC
), "OpenAIChatCompletionsRequest must expose an optional cancel_id"
def test_chat_adapter_generates_cancel_id_per_run():
m = re.search(
r"const\s+cancelId\s*=\s*([^;]+);",
ADAPTER_SRC,
)
assert m, "chat-adapter.ts must declare a per-run `cancelId` constant"
rhs = m.group(1)
assert "randomUUID" in rhs, "cancelId should prefer crypto.randomUUID() for uniqueness"
def test_chat_adapter_sends_cancel_id_in_completion_payload():
assert "cancel_id: cancelId" in ADAPTER_SRC, (
"chat-adapter.ts must include cancel_id in the streamChatCompletions "
"request payload so the backend registers under that key"
)
def test_chat_adapter_sends_cancel_id_in_abort_cancel_post():
m = re.search(
r"const\s+onAbortCancel\s*=\s*\(\)\s*=>\s*\{(.*?)\};",
ADAPTER_SRC,
flags = re.DOTALL,
)
assert m, "onAbortCancel arrow function missing"
body = m.group(1)
assert re.search(r"cancel_id\s*:\s*cancelId", body), (
"onAbortCancel must include cancel_id in the /inference/cancel body "
"so a stop POST matches the specific run, not the whole thread"
)
def test_abort_cancel_post_uses_plain_fetch_with_manual_auth_header():
# authFetch redirects to login on 401, kicking the user out mid-stop if the
# token expired. Use plain fetch + manual Authorization for a best-effort cancel.
start = ADAPTER_SRC.find("const onAbortCancel")
assert start >= 0, "onAbortCancel handler missing"
rest = ADAPTER_SRC[start:]
end = rest.find("\n try {")
body = rest if end < 0 else rest[:end]
assert "/api/inference/cancel" in body
assert "authFetch(" not in body, (
"onAbortCancel must NOT call authFetch; a 401 from it would "
"redirect the user to the login page during a stop click"
)
assert "fetch(" in body, "onAbortCancel must use plain fetch(...)"
assert "getAuthToken" in body, (
"onAbortCancel must read the bearer token via getAuthToken() "
"rather than relying on authFetch's 401 flow"
)
assert "Authorization" in body
assert (
"keepalive: true" in body
), "keepalive is required so the fetch survives page unload during stop"