Bench(fix[lgtm]): Let mypy type-check the scripts without the otel group

why: CI runs `mypy .`, which reaches `scripts/`, but installs only the
default and dev groups -- the `otel` group is deliberately excluded so the
ordinary gates stay lean. Every OpenTelemetry, pyroscope, and rampa import
was therefore unresolvable in CI while resolving fine on a machine that had
the group installed.

what:
- Allow those three imports to be missing, so the scripts type-check in both
  environments rather than only the one the developer happens to have
- Relax subclassing-Any and untyped-decorator for the two modules that build
  on them, scoped per module: an inline ignore would itself be unused wherever
  the group is installed

Author: tony

pyproject.toml

@@ -186,6 +186,30 @@ files = [
   "tests",
 ]
 
+# The observability scripts import third-party packages from the optional
+# `otel` group, which CI does not install so the ordinary gates stay lean.
+# `mypy .` still reaches those scripts, so their imports must be allowed to
+# be absent. `rampa` ships no stubs either way.
+[[tool.mypy.overrides]]
+module = [
+  "opentelemetry.*",
+  "pyroscope",
+  "rampa",
+]
+ignore_missing_imports = true
+
+# Those same packages ship no stubs, so anything derived from them is `Any`:
+# a SpanProcessor subclass and rampa's scenario decorators. Relaxing the two
+# strictness flags here is scoped to these scripts and, unlike an inline
+# ignore, stays correct whether or not the optional group is installed.
+[[tool.mypy.overrides]]
+module = [
+  "telemetry",
+  "load_tmux",
+]
+disallow_subclassing_any = false
+disallow_untyped_decorators = false
+
 
 [tool.ty.environment]
 python-version = "3.10"

scripts/otel_smoke.py

@@ -154,7 +154,7 @@ def _profile_lane(lane: str, *, enabled: bool) -> t.Iterator[None]:
     if not enabled:
         yield
         return
-    import pyroscope  # type: ignore[import-untyped]
+    import pyroscope
 
     with pyroscope.tag_wrapper({"tmux_lane": lane}):
         yield