ci: enable push-triggered oracle dev-loop on claude/oracle-sweep-201

The automation token can't workflow_dispatch (403 Resource not
accessible by integration), same limitation recorded in
real-world-mining.md. Reuse the existing push-triggered scaffolding
(oracle.yml's push path + corpus/oracle-target.txt) on this branch to
run the issue #201 sweep. Dev-loop only — reverted before merge.

Author: claude

.github/workflows/oracle.yml

@@ -45,6 +45,7 @@ on:
   push:
     branches:
       - claude/zen-pasteur-76hfs1
+      - claude/oracle-sweep-201
     paths:
       - corpus/oracle-target.txt
 

corpus/oracle-target.txt

@@ -3,15 +3,6 @@
 # or "local:<in-repo path>" (a fixture copied into the oracle's target/).
 # Optional lines: ref=, paths=, build=, include_tests=. Dev-branch only.
 #
-# Cross-tool oracle on a Linux-buildable fixture, so ALL THREE tools run (Infer#
-# included — ScreenToGif's WPF won't build on Linux). Re-run after the OWN014
-# migration (PR #35): the fixture's SUBSCRIPTION leak (#1 — SystemEvents.Display
-# SettingsChanged += with no -=) is now lowered by the extractor to a `capture`
-# fact and reported as OWN014 (region escape), not OWN001; OWN014 was added to the
-# comparator's OWN_LEAK set. So #1 must STILL land "Own.NET-only" (CodeQL / Infer#
-# have no event-subscription-leak query) — this run confirms the migration kept the
-# differentiation, on real cross-tool output rather than the selftest's fixtures.
-# Expect: #1 Own.NET-only (now OWN014), #2/#3/#4 dispose leaks in "Agree", 0
-# oracle-only.
-local:corpus/fixtures/systemevents-console
-build=SystemEventsLeak.csproj
+# issue #201 oracle sweep (1/7): ShareX/ShareX — WinForms screen-capture app,
+# same domain as the ScreenToGif flagship find (subscription/timer-dense).
+ShareX/ShareX