Skip to content

Commit 167ba4d

Browse files
committed
oracle: TEMP dev-only fresh-repo sweep — target 1 Dapper (ADO.NET niche)
Point the push-triggered oracle at DapperLib/Dapper to look for new FP classes / recall gaps in our target niche (ADO.NET owned-API recognition). Dev-only; reverted after the sweep. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019846YSZ35c7CdkWQ1qX5gm
1 parent 7daf0aa commit 167ba4d

2 files changed

Lines changed: 6 additions & 12 deletions

File tree

‎.github/workflows/oracle.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -45,6 +45,7 @@ on:
4545
push:
4646
branches:
4747
- claude/zen-pasteur-76hfs1
48+
- claude/mos-ownership-summary-n3q3j4
4849
paths:
4950
- corpus/oracle-target.txt
5051

‎corpus/oracle-target.txt‎

Lines changed: 5 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -3,15 +3,8 @@
33
# or "local:<in-repo path>" (a fixture copied into the oracle's target/).
44
# Optional lines: ref=, paths=, build=, include_tests=. Dev-branch only.
55
#
6-
# 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 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.
16-
local:corpus/fixtures/systemevents-console
17-
build=SystemEventsLeak.csproj
6+
# TEMPORARY (revert before any PR): fresh-repo oracle sweep for new FP classes / recall gaps.
7+
# Target 1: DapperLib/Dapper — an ADO.NET micro-ORM that exercises our owned-API recognition
8+
# (DbConnection/DbCommand.CreateCommand/ExecuteReader → owned IDisposable), our target niche.
9+
# Triaged: product code only (include_tests default false). See docs/notes/oracle-known-fps.md.
10+
DapperLib/Dapper

0 commit comments

Comments
 (0)