Skip to content

Commit 768864d

Browse files
committed
oracle: re-run on SystemEvents fixture to validate the OWN014 migration
Bump the push-triggered oracle sentinel to re-run the cross-tool comparison (Own.NET vs CodeQL vs Infer#) on corpus/fixtures/systemevents-console after the OWN001 -> OWN014 migration for static-event subscriptions (PR #35). The fixture's subscription leak now reports as OWN014; with OWN014 in the comparator's OWN_LEAK set it must still land "Own.NET-only" (the oracles have no subscription-leak query). Confirms the differentiation survived on real tool output, not just the --selftest fixtures. Eval-only; no product code changes. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Rg8kSk1YT14x7A1vo5zgED
1 parent 98faca2 commit 768864d

1 file changed

Lines changed: 9 additions & 7 deletions

File tree

corpus/oracle-target.txt

Lines changed: 9 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -4,12 +4,14 @@
44
# Optional lines: ref=, paths=, build=, include_tests=. Dev-branch only.
55
#
66
# Cross-tool oracle on a Linux-buildable fixture, so ALL THREE tools run (Infer#
7-
# included — ScreenToGif's WPF won't build on Linux). Re-run #2 of the EXCEPTION-EDGE
8-
# slice after the first run surfaced two artifacts: (a) #3 (tfLeak) was double-reported
9-
# — a never-disposed local in a try leaks on BOTH the injected exceptional exit and the
10-
# normal end; now deduped in the bridge; (b) #4's anchors were >3 lines apart (Own.NET
11-
# acquire / CodeQL Dispose / Infer# last-access) so the ±3 window split it — the try is
12-
# now a one-liner adjacent to the acquire. Expect #2/#3/#4 in "Agree" (no dup), #1
13-
# Own.NET-only, 0 oracle-only. See the README.
7+
# included — ScreenToGif's WPF won't build on Linux). Re-run after the OWN014
8+
# migration (PR #35): the fixture's SUBSCRIPTION leak (#1 — SystemEvents.Display
9+
# SettingsChanged += with no -=) is now lowered by the extractor to a `capture`
10+
# fact and reported as OWN014 (region escape), not OWN001; OWN014 was added to the
11+
# comparator's OWN_LEAK set. So #1 must STILL land "Own.NET-only" (CodeQL / Infer#
12+
# have no event-subscription-leak query) — this run confirms the migration kept the
13+
# differentiation, on real cross-tool output rather than the selftest's fixtures.
14+
# Expect: #1 Own.NET-only (now OWN014), #2/#3/#4 dispose leaks in "Agree", 0
15+
# oracle-only.
1416
local:corpus/fixtures/systemevents-console
1517
build=SystemEventsLeak.csproj

0 commit comments

Comments
 (0)