Skip to content

docs(readme): function-detection target closed; refresh tri-comparison stats - #2476

Merged
squid-protocol merged 2 commits into
mainfrom
readme-accuracy-milestone
Aug 30, 2026
Merged

docs(readme): function-detection target closed; refresh tri-comparison stats#2476
squid-protocol merged 2 commits into
mainfrom
readme-accuracy-milestone

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

Docs-only. Two spots in README.md carried stale tri-comparison numbers from early in the sweep.

Changes

"Structural validation" section:

  • 16 more get two13 more get two (current tool coverage: 24 all-three / 13 two / 5 manual)
  • manual-verification set abap/dockerfile/jcl/livecode/yamlabap/agc_assembly/dockerfile/jcl/livecode (matches manual_verification.json; yaml gained a comparator, agc_assembly needs manual verification for args where no tool emits a signature)
  • 87 of 180 discrepancy shapes validated (48%)200 of 201 (99.5%)
  • dropped the "the goal is to … publish final precision/recall measurements" line — function measurements now exist
  • new paragraph: function detection is the first closed target — 100.0% recall + 100.0% validated precision across all 31 tree-sitter-comparable languages on the pinned corpus. Deliberately framed narrow (one target = existence, one fixed corpus, small-n languages where the % means little, not an "as accurate as an AST" claim), with a pointer to the mandatory recall audit as the process for the next real-world gap.

"Evidence → Tri-comparison" bullet: same number refresh + one sentence on the function-detection result and "its limits".

No engine or measurement code touched.

🤖 Generated with Claude Code

https://claude.ai/code/session_019Zm1uVBpVEZJ9SB7bWFR8S

…n stats

The "Structural validation" and "Evidence" sections carried stale numbers
(87/180 discrepancies validated, 16 languages on a 2-tool comparison) from
early in the tri-comparison sweep. Current: 200/201 shapes validated, 13 on a
2-tool comparison, and the manual-verification set is abap/agc_assembly/
dockerfile/jcl/livecode (yaml gained a comparator; agc_assembly needs manual
verification for `args` since no tool emits a signature there).

Adds the first closed target: every tree-sitter-comparable language (31) now
measures 100.0% function recall and 100.0% validated function precision on the
pinned corpus. Framed narrowly on purpose — one structural target (existence),
one fixed corpus, small-n languages where the percentage means little, not an
"as accurate as an AST" claim — with a pointer to the mandatory recall audit as
the process for the next real-world gap. Class and args targets still open.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019Zm1uVBpVEZJ9SB7bWFR8S
@github-actions

Copy link
Copy Markdown
Contributor

🐦‍⬛ Muninn Security Scan

✅ No security issues found.

🐦‍⬛ Powered by Muninn · Skald Lab

… shell recall is 30/31

The first draft said "class and argument targets still in progress" and "all 31
at 100% function recall" — both overstated in one direction and understated in
the other. Corrected against the ledger:

- Function precision: 100% validated, all 31 (accurate).
- Function recall: 100% for 30 of 31. Shell is 99.8% — one function defined
  inside an `if` guard that the top-level-only Mode-D shell extractor skips by
  design (validated as an intentional limitation, ledger shape
  `shell/function/existence/agree[ctags,tree_sitter]_vs[gitgalaxy]`). The c and
  haskell `_vs[gitgalaxy]` shapes are validated comparison-tool artifacts
  (shared macro hallucination; multi-clause tagging) with 0 counted misses.
- Classes: GitGalaxy is never the debited tool in any class shape — 100%
  validated recall and precision wherever a class ground truth exists.
- Args: GitGalaxy is never debited in any *validated* args shape; every one is
  tree-sitter/ctags miscounting or a no-formal-params language. One objc shape
  (n=2) remains unvalidated.

Reframed as "current state" bullets rather than "first target closed".

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019Zm1uVBpVEZJ9SB7bWFR8S
@squid-protocol
squid-protocol merged commit 01a5f0a into main Aug 30, 2026
28 checks passed
@squid-protocol
squid-protocol deleted the readme-accuracy-milestone branch August 30, 2026 10:55
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