Skip to content

docs: log #1427 as Claim 3 in why_gitgalaxy_beats_ast_here.md - #1560

Merged
squid-protocol merged 1 commit into
mainfrom
docs/beats-ast-claim3-csharp-1427
Aug 14, 2026
Merged

docs: log #1427 as Claim 3 in why_gitgalaxy_beats_ast_here.md#1560
squid-protocol merged 1 commit into
mainfrom
docs/beats-ast-claim3-csharp-1427

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

Per CLAUDE.md's standing instruction to log evidenced cases of GitGalaxy beating tree-sitter ground truth as their own dated claim, rather than leaving them as a PR-body aside.

#1427 (merged in #1551 during the pool-of-5 sweep round) is a genuinely new mechanism from the existing two claims: tree-sitter-c-sharp's installed grammar fails to parse valid, modern C# 7.2+ ref struct syntax, and the resulting ERROR node cascade swallows unrelated real methods elsewhere in the file. This is a grammar parse-error/version-gap corrupting ground truth for syntactically-unrelated code -- distinct from Claim 2 (a dialect the grammar has no concept of at all, e.g. Cython) and Claim 1 (a language that structurally has no formal syntax for the signal in question).

Docs only, no code behavior change (the actual fix already merged in #1551) -- adds cross-references between the doc and the audit tool's module docstring, matching the existing pattern for Claims 1 and 2.

🤖 Generated with Claude Code

Per CLAUDE.md's standing instruction to log evidenced cases of GitGalaxy
beating tree-sitter ground truth as their own dated claim. #1427 (merged
#1551) is a genuinely new mechanism, distinct from the existing two claims:
tree-sitter-c-sharp fails to parse valid C# 7.2+ `ref struct` syntax, and the
resulting ERROR node cascade swallows unrelated real methods elsewhere in the
file -- a grammar parse-error/version-gap corrupting ground truth for
syntactically-unrelated code, not a dialect the grammar has no concept of
(Claim 2) or a language-design absence of formal syntax (Claim 1).

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@squid-protocol
squid-protocol merged commit 619077a into main Aug 14, 2026
27 checks passed
@squid-protocol
squid-protocol deleted the docs/beats-ast-claim3-csharp-1427 branch August 14, 2026 03:31
@github-actions

Copy link
Copy Markdown
Contributor

🐦‍⬛ Muninn Security Scan

✅ No security issues found.

🐦‍⬛ Powered by Muninn · Skald Lab

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant