test(smoke): drop dead examples-dir probe pointing at deleted SafeDOMExample.res

The examples-directory smoke test was probing for the file
`examples/SafeDOMExample.res` as its existence-proxy. That file is
being deleted in this same PR (estate-wide gitbot-fleet#208 sweep —
stale over-propagated ReScript fixture), so the probe would
immediately go red on the next CI run. Replaced with a comment
noting when to re-add the probe (after affinescript#56 lands a
canonical .affine equivalent).

Refs hyperpolymath/gitbot-fleet#148, #208
Refs hyperpolymath/affinescript#56, #57, #229

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

tests/idris2/SmokeTest.idr

@@ -151,9 +151,12 @@ allSuites =
       ok <- fileExists "docs/CITATIONS.adoc"
       assertTrue "docs/ present" ok
 
-  , test "smoke: required directory exists - examples" $ do
-      ok <- fileExists "examples/SafeDOMExample.res"
-      assertTrue "examples/ present" ok
+  -- Examples-directory probe removed 2026-05-26: the probe used
+  -- `examples/SafeDOMExample.res` as its proxy file, but that ReScript
+  -- fixture is being deleted estate-wide (gitbot-fleet#208 SafeDOM
+  -- sweep). Re-add a probe when a non-stale `examples/` file lands
+  -- (likely after the affinescript#56 DOM-binding survey produces a
+  -- canonical `examples/SafeDOMExample.affine`).
 
   , test "smoke: required directory exists - contractiles" $ do
       ok <- fileExists "contractiles/README.adoc"