oracle: re-run on NLog to confirm the dispose-helper fix clears 4 timer FPs

Temporary, dev-only: point the push-triggered oracle at NLog/NLog and disable
the four direct/alias timer baseline entries that the CallReleasesReceiver fix
(6f4818c) should now clear. If they stay out of own-only on the live run, the
fix cleared them for real and the entries are deleted; if they resurface, they
are restored. TimeoutContinuation stays baselined — its Interlocked.Exchange
ref-alias is out of the fix's scope. Reverted after the run.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019846YSZ35c7CdkWQ1qX5gm

Author: claude

.github/workflows/oracle.yml

@@ -45,6 +45,7 @@ on:
   push:
     branches:
       - claude/zen-pasteur-76hfs1
+      - claude/mos-ownership-summary-n3q3j4
     paths:
       - corpus/oracle-target.txt
 

corpus/oracle-fp-baseline.txt

@@ -26,11 +26,14 @@
 # custom dispose-sink the extractor's intra-Dispose() field scan can't see. Two
 # also dispose only in the dispose-pattern override / lifecycle hook (Dispose(bool
 # disposing), CloseTarget()), neither of which the field scan visits.
-NLog/NLog | TimeoutContinuation.cs | OWN001 | _timeoutTimer | disposed via Dispose() -> StopTimer() -> Timer.WaitForDispose(); interprocedural custom dispose-sink not traced
-NLog/NLog | AsyncTaskTarget.cs | OWN001 | _taskTimeoutTimer | disposed in Dispose(bool disposing) via Timer.WaitForDispose(); dispose-pattern override + custom sink not traced
-NLog/NLog | AsyncTaskTarget.cs | OWN001 | _lazyWriterTimer | disposed in Dispose(bool disposing) via Timer.WaitForDispose(); dispose-pattern override + custom sink not traced
-NLog/NLog | AsyncTargetWrapper.cs | OWN001 | _lazyWriterTimer | disposed in CloseTarget() -> StopLazyWriterThread() -> Timer.WaitForDispose(); lifecycle hook + custom sink not traced
-NLog/NLog | BufferingTargetWrapper.cs | OWN001 | _flushTimer | disposed in CloseTarget() via Timer.WaitForDispose(); lifecycle hook + custom sink not traced
+NLog/NLog | TimeoutContinuation.cs | OWN001 | _timeoutTimer | disposed via Dispose() -> StopTimer() -> Timer.WaitForDispose() on the result of Interlocked.Exchange(ref _timeoutTimer, null) — a ref-exchange alias the extractor does not yet track (CallReleasesReceiver clears the direct/simple-alias siblings, not this one)
+# [fix-pending experiment] The four entries below are cleared by the CallReleasesReceiver
+# extractor fix (commit 6f4818c) — disabled here to confirm on a live NLog oracle run that
+# they no longer fire; if confirmed they are deleted, if they resurface they are restored.
+# NLog/NLog | AsyncTaskTarget.cs | OWN001 | _taskTimeoutTimer | disposed in Dispose(bool disposing) via Timer.WaitForDispose(); dispose-pattern override + custom sink not traced
+# NLog/NLog | AsyncTaskTarget.cs | OWN001 | _lazyWriterTimer | disposed in Dispose(bool disposing) via Timer.WaitForDispose(); dispose-pattern override + custom sink not traced
+# NLog/NLog | AsyncTargetWrapper.cs | OWN001 | _lazyWriterTimer | disposed in CloseTarget() -> StopLazyWriterThread() -> Timer.WaitForDispose(); lifecycle hook + custom sink not traced
+# NLog/NLog | BufferingTargetWrapper.cs | OWN001 | _flushTimer | disposed in CloseTarget() via Timer.WaitForDispose(); lifecycle hook + custom sink not traced
 
 # --- protobuf-net/protobuf-net --------------------------------------------------
 protobuf-net/protobuf-net | ProtoWriter.BufferWriter.cs | OWN001 | _nullWriter | intentional null-object kept attached for pooled reuse; Dispose() documents "don't cascade dispose to the null one"

corpus/oracle-target.txt

@@ -13,5 +13,7 @@
 # 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
+# [temporary] pointed at NLog to confirm the CallReleasesReceiver fix clears the 4
+# direct/alias timer FPs; restored to the systemevents-console fixture after the run.
+NLog/NLog
+include_tests=false