docs: oracle sweep over 5 new OSS repos, 8 precision-gap follow-ups (issue #201)#226
Conversation
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.
Runs the cross-tool oracle over 5 repos never mined before — ShareX (WinForms app), MahApps.Metro / MaterialDesignInXamlToolkit / AvalonEdit (WPF UI toolkits and controls), and ClosedXML (plain library, the clean-code control) — and triages every own-only finding against the target's real source. Per the triage boundary: draft verdicts only for obvious, source-verified cases; anything ambiguous is listed explicitly under "needs maintainer review" rather than self-certified. No analyzer code changes here — every confirmed precision gap is filed as its own follow-up issue (#218-#225), the most corroborated being a DependencyProperty/property-changed old-new subscription-rotation false positive confirmed in 3 separate repos. Nine new idioms ledgered in field-notes-patterns.md (entries 11-19). One flagship true positive (ShareX's ShapeManager.menuForm — a full annotation toolbar Form leaked every capture session) is reduced to a corpus/real-world/ regression fixture; cfg_parity.json regenerated to match. The push-triggered oracle dev-loop scaffolding used to run these sweeps (workflow_dispatch isn't available to this token) is reverted to its pre-sweep state, per the existing dev-branch-only convention. Closes #201 Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01D6Naf8CcezjCbikueKdeYv
|
Warning Review limit reached
Next review available in: 15 minutes Enable usage-based reviews in Billing to review now. Otherwise, wait until the next included review is available. How can I continue?After more reviews become available, a review can be triggered using the To avoid repeated limits, reduce automatic review volume by pausing incremental auto-reviews earlier, using label-based review opt-in, excluding WIP or generated PR titles, or requesting reviews manually when the PR is ready. If your team needs uninterrupted high-volume reviews, an organization admin can enable usage-based reviews. How do review limits work?CodeRabbit enforces per-developer PR review limits for each organization. Most developers receive the normal plan review availability. For paid Pro and Pro+ PR reviews, CodeRabbit uses adaptive limits for sustained high-volume activity. When a developer's recent PR review activity reaches the 95th percentile or higher among CodeRabbit users, additional reviews become available more gradually as earlier reviews age out of the rolling window. Please refer docs for additional details. Review details⚙️ Run configurationConfiguration used: Path: .coderabbit.yaml Review profile: CHILL Plan: Pro Plus Run ID: 📒 Files selected for processing (8)
✨ Finishing Touches🧪 Generate unit tests (beta)
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
2 participants
Что и зачем
Прогон differentiation-oracle по 5 новым OSS C#-репозиториям (issue #201): ShareX (WinForms-приложение), MahApps.Metro / MaterialDesignInXamlToolkit / AvalonEdit (WPF UI-тулкиты и контролы) и ClosedXML (обычная библиотека без UI — контроль на «чистом» коде). Каждая own-only находка сверена с реальным исходным кодом целевого репозитория; черновые вердикты — только для очевидных случаев, спорные вынесены в явный список "needs maintainer review". Финальные TP/FP-вердикты — за мейнтейнером.
Тип изменения
Как проверено
python tests/run_tests.pyruff check .иmypypython scripts/<...>.py --selftest)Дополнительно:
python tests/test_corpus.py(33/33, включая новый фикстур) иcd rust && cargo test— оба зелёные.tests/fixtures/cfg_parity.jsonперегенерирован под новый corpus-кейс.Связанные issue
Closes #201
Чеклист
sharex-shapemanager-menuform-leakпрогнан черезtest_corpus.py/run_tests.py/cargo testdocs/notes/oracle-sweep-2026-07-10.md, 9 новых паттернов вfield-notes-patterns.mdfeat:,fix:,docs:…)Детали
Метод.
workflow_dispatchнедоступен этому токену (403), поэтому использован уже существующий push-triggered dev-looporacle.yml(тот же приём, что и вreal-world-mining.md) — временно на этой ветке; оба файла (oracle.yml,corpus/oracle-target.txt) возвращены к состояниюmainперед мержем.Итоги по репозиториям (own-only / oracle-only, agree):
Dispose()на пользовательском типе) — чистый контрольный результат.Без изменений в анализаторе. Все найденные precision-дыры оформлены отдельными issues #218-#225, самая ценная (и трижды подтверждённая) — ротация подписки old/new при смене DependencyProperty/свойства.
Generated by Claude Code