Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 3 additions & 1 deletion docs/language_status/c.md
Original file line number Diff line number Diff line change
Expand Up @@ -289,7 +289,9 @@ does not (6 occurrences) was individually read. **All 6 are inside `#if 0` dead
(`sqlite/lemon.c:3443`, K&R-style *and* dead). tree-sitter-c has no preprocessor model and
parses the dead branch; GitGalaxy correctly skips it (Claim 8). The accuracy audit was corrected
to drop `#if 0` / `#if false` function definitions from ground truth — **C func recall 99.7% →
100.0%**, zero real recall gaps.
100.0%**, zero real recall gaps. The C `func_start` compiler-attribute shield also picked up the
same [#2460](https://github.com/squid-protocol/gitgalaxy/issues/2460) SAL / entry-point
annotation-macro prefix as C++ (for consistency; the C corpus does not currently exercise it).
(found and fixed as part of the same pass) or a known tree-sitter-c/ctags limitation — never
GitGalaxy's regex engine itself. Current measured numbers
(`tests/tools/tri_comparison_chart.py --languages c`, `language-crucible/data/c/` —
Expand Down
5 changes: 4 additions & 1 deletion docs/language_status/cpp.md
Original file line number Diff line number Diff line change
Expand Up @@ -312,7 +312,10 @@ breakdown:
tree-sitter has no preprocessor model (Claim 8).
- **1 real GitGalaxy recall gap** — `__control_entrypoint(DllExport) STDAPI DllCanUnloadNow()`
in `powertoys/ImageResizerExt.cpp`: a macro-supplied return type `func_start` doesn't admit.
→ [#2460](https://github.com/squid-protocol/gitgalaxy/issues/2460).
→ [#2460](https://github.com/squid-protocol/gitgalaxy/issues/2460). **Fixed** (2026-08-29): the
`func_start` compiler-attribute shield now also consumes a `__`- / `_Uppercase`-prefixed
SAL / entry-point annotation macro (naming-shape bounded so it can't eat a real call). Cpp func
recall 99.9% → 100.0%.

Six real GitGalaxy engine defects were confirmed and filed in this sweep — more than any other
language this sweep methodology has been run against so far, though that reflects C++'s syntactic
Expand Down
18 changes: 10 additions & 8 deletions docs/language_status/lua.md
Original file line number Diff line number Diff line change
Expand Up @@ -60,11 +60,12 @@ tradeoff.

## 5. Known limitations (accepted / tracked)

- **Two recall misses** (skill step 2.6 recall audit, 2026-08-29 — func recall 99.7%), both
filed as [#2461](https://github.com/squid-protocol/gitgalaxy/issues/2461):
- `constructs.lua:105` — `local a; local function f(x) ... end`. `func_start` is
start-of-line anchored, so a `local function` that is not the first statement on its line is
missed. GitGalaxy finds the other 4 `function f` in the file; this is a real, narrow gap.
- **One residual recall miss** (skill step 2.6 recall audit, 2026-08-29 — func recall 99.7% →
**99.8%** after the fix below), filed as
[#2461](https://github.com/squid-protocol/gitgalaxy/issues/2461):
- `constructs.lua:105` — `local a; local function f(x) ... end`. **Fixed** (2026-08-29):
`func_start` / `function_opener` now also anchor after a bare `;` statement separator, not
only start-of-line.
- `literals.lua:80` — `local function lexerror (s, err)`, inside `test/literals.lua` (the Lua
suite's *lexer-torture fixture*, adversarial nested `[==[[===[[=[…]]=][====[…]` long
brackets that defeat `_LUA_LONG_BRACKET_RE`'s single-backref shielding). Only ever exercised
Expand Down Expand Up @@ -267,9 +268,10 @@ shared reason." This is the common case per the skill's step 4 guidance.
heuristic matched ALL_CAPS data tables.
- [#2440](https://github.com/squid-protocol/gitgalaxy/issues/2440) — **fixed**: polyglot
segmentation split a function at `<style>` / `<script>` inside a `[[ ]]` string.
- [#2461](https://github.com/squid-protocol/gitgalaxy/issues/2461) — `local function` not first
on its line (`local a; local function f(x)`); + the `literals.lua` lexer-torture nested-bracket
shielding gap. Found by the step 2.6 recall audit — §5.
- [#2461](https://github.com/squid-protocol/gitgalaxy/issues/2461) — **fixed** (`;`-anchored
`func_start` / `function_opener`): `local function` not first on its line (`local a; local
function f(x)`). Residual: the `literals.lua` lexer-torture nested-bracket shielding gap (one
adversarial fixture only). Found by the step 2.6 recall audit — §5.

### Full record

Expand Down
19 changes: 10 additions & 9 deletions docs/self_scan/tri_comparison_README.md
Original file line number Diff line number Diff line change
Expand Up @@ -87,15 +87,16 @@ step 8 capstone is not done until its list is empty of unassessed entries.

<!-- RECALL_AUDIT:BEGIN -->
As of the 2026-08-29 full sweep (`recall_audit.py` over all 31 tree-sitter-comparable languages),
the complete list — GitGalaxy's genuine cross-corpus function recall is ~99.9%:

| Language | Source form GitGalaxy misses | Issue |
|---|---|---|
| shell | a control-flow keyword (`for`/`if`/…) as a plain unquoted argument word desyncs Mode-D (`echo … limit for $x …` → `t_[Truncated]`) | [#2459](https://github.com/squid-protocol/gitgalaxy/issues/2459) |
| cpp / c | return type supplied by a macro — `__control_entrypoint(x) STDAPI Foo()`, `IFACEMETHODIMP_(HRESULT, Bar)` | [#2460](https://github.com/squid-protocol/gitgalaxy/issues/2460) |
| lua | a `local function` that is not the first statement on its line (`local a; local function f(x) … end`) | [#2461](https://github.com/squid-protocol/gitgalaxy/issues/2461) |
| dart | bodyless default constructors (`_Foo();`), the `extension` keyword, generic methods with `<T extends …>` return-type prefixes | [#2462](https://github.com/squid-protocol/gitgalaxy/issues/2462) |
| typescript | object-literal method shorthand (`{ return: async () => … }`, AsyncIterator protocol); bodyless overload signatures with a `=>`/nested-`<>` generic type-parameter list | [#2464](https://github.com/squid-protocol/gitgalaxy/issues/2464) |
GitGalaxy's genuine cross-corpus function recall is ~99.95%. The five real recall gaps the sweep
found have since been fixed (leaving only the narrow residuals in the last column):

| Language | Source form GitGalaxy missed | Issue | Fixed | Residual |
|---|---|---|---|---|
| shell | a control-flow keyword (`for`/`if`/…) as a plain unquoted argument word desyncs Mode-D (`echo … limit for $x …` → `t_[Truncated]`) | [#2459](https://github.com/squid-protocol/gitgalaxy/issues/2459) | ✅ command-position guard | — |
| cpp / c | return type supplied by a SAL / entry-point macro — `__control_entrypoint(x) STDAPI Foo()` | [#2460](https://github.com/squid-protocol/gitgalaxy/issues/2460) | ✅ macro-prefix shield | — |
| lua | a `local function` that is not the first statement on its line (`local a; local function f(x) … end`) | [#2461](https://github.com/squid-protocol/gitgalaxy/issues/2461) | ✅ `;`-anchored opener | — |
| dart | multi-line arrow methods, `<T extends State<Widget>>` generic methods, bodyless default constructors (`_Foo();`) | [#2462](https://github.com/squid-protocol/gitgalaxy/issues/2462) | ✅ 8/9 occurrences | a method literally named `extension` (1 occ., semi-reserved word) |
| typescript | object-literal method shorthand (`{ return: async () => … }`, AsyncIterator protocol) | [#2464](https://github.com/squid-protocol/gitgalaxy/issues/2464) | ✅ enclosing-container depth fix | bodyless overload signature with a `=>` inside its generic bound (1 occ.; the implementation line is captured) |

Every other `tree-sitter-finds / GitGalaxy-misses` occurrence `recall_audit.py` prints was
individually assessed and is a comparison/audit-tool artifact — `#if 0` dead code (tree-sitter
Expand Down
54 changes: 27 additions & 27 deletions docs/self_scan/tri_comparison_chart.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Loading