Repository navigation
docs(evidence): N1-F0 — KILL-N1 at F0-B (may-throw model, not ownership) - #418
Merged
Merged
Conversation
F0-A: CA2000 interprocedural kinds and every disposal-related diagnostic inside the buggy methods. F0-B: ownership oracle by repository-internal disposal of the hand-over target (field, collection, in-source wrapper), borrow table only suppresses; real R/B/X base+fix files and controls N1-N9, P-R/P-B/P-X. F0-C: can existing OwnIR facts carry factory acquisition, hand-over and throw edges. Fixed before any run. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01TFkNAFFQz9KoTzpPws8vYG
…llector Oracle (rules 1-3, defect rule) with "disposes r" operationalised in the header; one control-driven fix (a dispose of r inside the catch is not a throwing site, control N6). Controls: N1-N9 silent, P-R/P-B/P-X reported. F0-A collector script (method spans, interprocedural kinds). Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01TFkNAFFQz9KoTzpPws8vYG
F0-A pass: R, X, B stay missed under every CA2000 interprocedural kind with all disposal diagnostics in the method collected. F0-B fail: the frozen oracle establishes ownership on all three real base files via repository-internal disposal (no IDisposable/Create*/await cue) and is silent on N1-N9, but flags the BareWire fix because the registered "any invocation may throw" rule counts Guid.NewGuid() before the early hand-over. F0-C: existing acquire/release/throw-edge facts suffice, but the existing StatementMayThrow is the same coarse model. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01TFkNAFFQz9KoTzpPws8vYG
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
N1-F0 ownership feasibility gate under
ACCEPT-N1-COMPETITOR-GATE / GO-N1-OWNERSHIP-FEASIBILITY / NO-PRODUCTION.Result:
KILL-N1; the first failing part is F0-B. The failure is in the may-throw model, not in ownership.interprocedural_analysis_kind(None / NonContextSensitive / ContextSensitive) and both ownership-transfer switches. Every disposal-related diagnostic inside the method was collected; R has only an adjacent CA2000 onout var oldClientIDisposable/Create*/awaitcue, and is silent on N1–N9. It flags the BareWire fix, because the registered "any invocation may throw" rule countsGuid.NewGuid().ToString("N")before the early hand-overacquire/release/throw-edge facts suffice, with extractor-side work only. But the existingStatementMayThrowis the same coarse model (the extractor's own "CA2000 firehose")66731cc2, then the oracle frozen in081b68ee(after control-only debugging), then one scored run on the real files.Research only, under
docs/evidence/n1-f0-2026-10/; third-party sources are referenced by SHA and hash, not committed.🤖 Generated with Claude Code
https://claude.ai/code/session_01TFkNAFFQz9KoTzpPws8vYG