Wire the observability per-fixture driver keys

tests/conformance/harness/vocabulary.py

@@ -287,19 +287,9 @@
     # post_state, which graph-engine section 6 dispatch timing and fixture 061 do
     # not allow. Awaiting a spec ruling.
     ("expected", "expected_observer_event"): ("006-middleware-error-recovery",),
-    # observability per-fixture drivers. Some assert the claim by hardcoding it
-    # rather than reading the key, so a changed fixture value would go unnoticed.
-    ("nodes.*", "also_emits_via_global_tracer"): ("005-otel-llm-provider-span-nested",),
-    ("expected", "determinism_check"): ("011-otel-determinism",),
-    ("resume", "from_first_run"): ("037-langfuse-trace-input-output",),
-    ("expected", "invocation_count"): ("009-otel-correlation-id-cross-cutting",),
-    ("expected", "no_edge_spans"): ("004-otel-routing-error-attribution",),
-    ("expected", "no_llm_provider_span"): ("005-otel-llm-provider-span-nested",),
-    ("expected", "no_openarmature_spans_on_global"): ("005-otel-llm-provider-span-nested",),
+    # observability: the detached-trace drivers check their trees by hand rather
+    # than reading these keys, so a changed fixture value would go unnoticed.
     ("expected", "parent_trace"): ("008-otel-detached-trace-mode",),
-    ("expected", "span_tree_global"): ("005-otel-llm-provider-span-nested",),
-    ("expected", "span_tree_private"): ("005-otel-llm-provider-span-nested",),
-    ("nodes.*", "subgraph_call"): ("039-nested-lineage-augmentation",),
     ("expected", "traces"): (
         "008-otel-detached-trace-mode",
         "058-implementation-attribution-otel",

tests/conformance/test_harness_fidelity.py

@@ -32,14 +32,10 @@
         "_run_fixture_001",
         "_run_fixture_002",
         "_run_fixture_003",
-        "_run_fixture_004",
-        "_run_fixture_005",
         "_run_fixture_006",
         "_run_fixture_007",
         "_run_fixture_008",
-        "_run_fixture_009",
         "_run_fixture_010",
-        "_run_fixture_011",
         "_run_fixture_028",
         "_run_fixture_038",
         "_run_fixture_050",
@@ -92,6 +88,13 @@ def test_every_dispatched_driver_is_registered_or_explicitly_unguarded() -> None
     # And the lists must not accumulate names for drivers that no longer exist.
     stale = sorted((_UNGUARDED_SINGLE_FIXTURE_DRIVERS | _UNGUARDED_SHARED_DRIVERS) - dispatched)
     assert not stale, f"unguarded lists name drivers nothing dispatches to: {stale}"
+    # Nor keep a driver once it is registered: the subset check above is satisfied
+    # either way, so the list would go on claiming a guarded driver is unguarded.
+    registered = sorted(
+        set(otel_runner._DRIVER_EXPECTED_KEYS)  # noqa: SLF001
+        & (_UNGUARDED_SINGLE_FIXTURE_DRIVERS | _UNGUARDED_SHARED_DRIVERS)
+    )
+    assert not registered, f"unguarded lists name drivers registered in `_DRIVER_EXPECTED_KEYS`: {registered}"
 
 
 def _invariant_names_read_by(func: object, param: str) -> set[str]: