fix(ci): exclude RL notebook from docs build and relax reinit perf threshold

The RL tutorial requires gymnasium ([rl] extra) which is not installed
in the docs CI environment. Exclude it from notebook execution.

Relax reinit performance test from 2s to 10s for 1000 iterations —
CI runners are 3-4x slower than local machines (observed 7ms/call on
Ubuntu, 3.7ms on Windows vs ~2ms locally).

Author: cuihantao

docs/source/conf.py

@@ -51,6 +51,7 @@
 nb_execution_raise_on_error = True    # Fail build on notebook errors (catch issues in CI)
 nb_execution_excludepatterns = [
     'verification/*',                 # Skip verification notebooks (long-running)
+    'tutorials/15-reinforcement-learning.ipynb',  # Requires gymnasium (rl extra)
 ]
 nb_merge_streams = True               # Merge stdout/stderr into single output
 

tests/test_reinit.py

@@ -158,7 +158,12 @@ def test_busted_recovery(self):
 
 
 class TestReinitPerformance(unittest.TestCase):
-    """reinit() should be fast — target < 2ms per call."""
+    """Performance regression guard for reinit().
+
+    Design target: < 2ms per call on a developer machine.
+    CI threshold: < 10ms per call (10s for 1000 calls) to accommodate
+    slower CI runners (observed: Ubuntu ~7ms, Windows ~3.7ms).
+    """
 
     @classmethod
     def setUpClass(cls):
@@ -172,14 +177,15 @@ def setUpClass(cls):
         cls.ss.TDS.init()
 
     def test_1000_reinits_fast(self):
-        """1000 reinits should complete in < 2 seconds."""
+        """1000 reinits should complete in < 10 seconds."""
         t0 = time.perf_counter()
         for _ in range(1000):
             self.ss.TDS.reinit()
         elapsed = time.perf_counter() - t0
 
-        # < 2 seconds for 1000 reinits = < 2ms per reinit
-        self.assertLess(elapsed, 2.0,
+        # < 10 seconds for 1000 reinits = < 10ms per reinit
+        # CI runners are slower than local machines; typical local ~2ms, CI ~7ms
+        self.assertLess(elapsed, 10.0,
                         f"1000 reinits took {elapsed:.2f}s ({elapsed/1000*1000:.1f}ms each)")