Repository navigation
docs(evidence): N1 competitor gate — GO-CANDIDATE-N1 (3/4 missed by CA2000 AllPaths) - #417
Merged
Merged
Conversation
Four confirmed N1 fixes (whizbang#1204, rockbot#638, NexusKit#34, BareWire#73) as buggy/fixed reproductions with stubbed third-party types; CA2000 (default, AllPaths, ownership-transfer variants, AllPathsOnlyNotDisposed), IDisposableAnalyzers 4.0.8 and Sonar 10.35 with every rule on. GO-CANDIDATE only if >=2 pairs are missed by every configuration; harness control must pass first. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01TFkNAFFQz9KoTzpPws8vYG
…A2000 AllPaths) Scored run (stubs as a separate assembly): CA2000 with AllPaths catches whizbang#1204 (`new ServiceBusClient`) and misses rockbot#638 (awaited external async factory), NexusKit#34 (BuildServiceProvider) and BareWire#73 (awaited interface factory) in K1-K5; IDisposableAnalyzers and Sonar report nothing on any acquisition line. Probes with opaque throwing steps pin the limit to the acquisition form; ablation finds no other silencing feature. Disclosed: SARIF 1.0 reader bug (run 0) and in-compilation stubs (run 1, same verdicts). 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 competitor gate under
GO-N1-COMPETITOR-GATE(0.25 agent-day; no third-party build, no package download).Result:
GO-CANDIDATE-N1, for the owner's decision; not a GO on a PoC. 3 of 4 confirmed N1 defects are missed by every configuration of CA2000 (default,AllPaths, both ownership-transfer switches,AllPathsOnlyNotDisposed), IDisposableAnalyzers 4.0.8 and Sonar 10.35.AllPaths)new ServiceBusClient(…)await McpClient.CreateAsync(…): external async factoryservices.BuildServiceProvider(…)await _connection.CreateChannelAsync(…): interface async factoryd06caf75, committed before any analyzer run. The harness control is valid:AllPathsreports and the default does not.AllPathstracksnew, sync factories, stores, wrapping and async iterators. It does not track awaited external factories, interface-method results orBuildServiceProvider. Ablation finds no other feature that silences it, so the misses come from the real code's own acquisition API.interprocedural_analysis_kindwas not varied. Own.NET today misses all three as well (Phase 0).Research only, under
docs/evidence/n1-competitor-gate-2026-10/.🤖 Generated with Claude Code
https://claude.ai/code/session_01TFkNAFFQz9KoTzpPws8vYG