Главная Обзор Помощь
Регистрация Вход
haiany
/
codegraph
зеркало из https://github.com/colbymchenry/codegraph.git
1
0
Ответвить 0
Файлы Задачи 0 Вики
Ветка: main
Ветки Метки
codegraph
/
docs
/
design
/
lua-luau-kernel-port-checklist.md

lua-luau-kernel-port-checklist.md 48 KB
Постоянная ссылка История Исходник

Lua + Luau kernel port (R7b batch 4) — the bug-for-bug checklist

Status: SURVEY COMPLETE (2026-07-20) — one combined checklist for BOTH languages: languages/luau.ts is 36 lines extending languages/lua.ts, the two grammars share their node-name vocabulary, and the recommendation is ONE walker module (codegraph-kernel/src/lua.rs, ccpp-style language-parameterized — "lua" | "luau" => lua::extract(&file_path, &content, &language) in lib.rs:214-226). Survey basis: every TS-side branch a .lua/.luau file exercises, with file:line anchors as of 45a53eb (HEAD at survey time, clean main). Every grammar-shape claim was probed against the production vendored wasms (dist/extraction/wasm/tree-sitter-{lua,luau}.wasm) via CST dumps and childForFieldName truth tables, and every extraction-behavior claim was pinned against the real dist/ extractor (extract-*.txt ground-truth dumps in the session scratchpad svy-lua/ — §Probe artifacts), not derived from code reading alone. Read WITH docs/design/rust-kernel-migration-plan.md (§0a recipe, §2 boundary, §4 tracker, §5 gates) and the format precedents (kotlin-kernel-port-checklist.md — the depth bar — plus swift-kernel-port-checklist.md, ruby-kernel-port-checklist.md).

Blocking findings: none. Three eyes-open items. (1) No grammar bump at all — both languages are already in VENDORED_WASM_LANGS (grammars.ts:292) and the vendored wasms are the exact port-target revisions (../scratchpad/batch4-grammar-probe.md, verified 2026-07-20: lua = the v0.4.1 tag, table-identical; luau = crate 1.2.0, table-identical). The port is kernel-side only: lua takes the vendored-grammar-C route (kotlin mechanism, second use) because v0.4.1 is not on crates.io; luau is a plain crate pin tree-sitter-luau = "=1.2.0" (csharp-style), and the crate tarball's parser.c/scanner.c are sha-identical to the v1.2.0 tag (§Grammar prep — the swift tag≠crate divergence does NOT recur here). (2) Error incidence is near-zero for lua (kong 0.08% — a single deliberately invalid fixture; lazy.nvim and lua-resty-core 0.00%) — ruby-style: any deferral on a lua sweep is a walker-bug signal. Luau real-world incidence is 1.4–7.1% (lune 1.36%, Fusion 7.08%), driven by two grammar-inherent shapes — generic type packs (A...) -> T and default type parameters <T = D> — both-arm by construction (same grammar revision on both arms). (3) The single biggest bug-for-bug surface is the require/visitNode-hook machinery and its asymmetries: requires at top level (anywhere visitNode reaches, including inside top-level if/for/while blocks) become import nodes, while the IDENTICAL statement inside a function body emits a calls "require" ref (visitFunctionBody never runs the hook); a top-level local x = foo() initializer emits no calls ref while a top-level global assignment x = foo() does (§extractVariable). Get these exactly wrong and sweeps light up on file one.

Grammar prep (kernel-side only — no wasm change, no bump gate)

Both languages already ship vendored wasms (VENDORED_WASM_LANGS, grammars.ts:291-293; file map lua: 'tree-sitter-lua.wasm' / luau: 'tree-sitter-luau.wasm' at grammars.ts:39,41; the :255 comment records WHY lua was vendored — tree-sitter-wasms' ABI-13 build corrupted the shared WASM heap). Provenance was verified in the batch-4 grammar probe (../scratchpad/batch4-grammar-probe.md) and re-verified in this survey:

  • lua — vendored wasm ≡ tree-sitter-grammars/tree-sitter-lua v0.4.1, tag commit 816840c592ab973500ae9750763c707b447e7fef (release asset table-identical, 0 positional mismatches). Tag parser.c declares ABI 15, STATE_COUNT 262, SYMBOL_COUNT 137, FIELD_COUNT 22 (verified in the tag clone — matches the wasm's tables). v0.4.1 is NOT on crates.io (only 0.1/0.2/0.5 exist) → vendored-grammar-C route, the kotlin mechanism (codegraph-kernel/grammars/kotlin + build.rs cc precedent). 0.5.0 adds Lua-5.5 global (+1 field) — a future accuracy bump, NOT this batch.
  • luau — vendored wasm ≡ tree-sitter-grammars/tree-sitter-luau v1.2.0 ≡ crates.io crate 1.2.0. Survey-verified sha match, tag ↔ crate tarball (the swift lesson checked and CLEAR):
    • src/parser.c 8f25bc1779400fa93d5492310e291fb895363ec051d44753444e724e99a08250 (both)
    • src/scanner.c a157bb5210454add058a08ce53eabcccad41aab6dac7006def2554e5cfebd376 (both) Tag commit a8914d6c1fc5131f8e1c13f769fa704c9f5eb02f. parser.c declares ABI 14, STATE_COUNT 585, SYMBOL_COUNT 197, FIELD_COUNT 21. Crate deps: tree-sitter-language = "0.1" + cc build-dep, tree-sitter only as a dev-dep (0.26.3) → no pin conflict with the kernel's tree-sitter 0.25. Route: tree-sitter-luau = "=1.2.0" in codegraph-kernel/Cargo.toml, "luau" => Some(tree_sitter_luau::LANGUAGE.into()) in langs.rs.
  • Lua kernel C vendor (codegraph-kernel/grammars/lua/), from the v0.4.1 tag's CHECKED-IN generated artifacts (lua HAS an external scanner — comments and long strings):
    • src/parser.c b34a362e43f0311f405721f3089e94f97f31da403b154d456d093e64609a4081
    • src/scanner.c 35bbd630b5a7421d46d2e91185eeea09bf78565d44cb676b63ca20d0f1b54bbd
    • src/tree_sitter/alloc.h b29c1c9fb7cc82f58c84b376df1297d6e2737a1d655fd356db0859e3c29c2fea
    • src/tree_sitter/array.h 5bdf6ed1a78e3409fd443e085ca967a64c188a5d082aaf7f819bccd53a471c94
    • src/tree_sitter/parser.h 180b893c8734778fd32f372dfbc27bd6ad1cd2221f26150b31256ff6716320d2 build.rs: extend the kotlin block — cc::Build with include("grammars/lua"), file(parser.c), file(scanner.c); crib the tag's own bindings/rust/build.rs flags (.std("c11"), include src, msvc -utf-8); println!("cargo:rerun-if-changed=grammars/lua"). langs.rs: extern "C" { fn tree_sitter_lua() -> *const (); } + "lua" => Some(unsafe { tree_sitter_language::LanguageFn::from_raw(tree_sitter_lua) }.into()) (kotlin precedent, langs.rs:17-20,57). LANGUAGES: [&str; 15] → 17 (langs.rs:24).
  • Grammar-parity rows: __tests__/kernel-grammar-parity.test.ts:39 GRAMMAR_LANGUAGES += 'lua', 'luau' — asserts the C build / crate and the vendored wasm are the same revision (id-by-id kind+field tables, ABI 15 for lua / ABI 14 for luau). This replaces the bump gate entirely: there is no old-vs-new dump-diff because nothing wasm-side changes.
  • Error incidence (current wasm, all files ≤1MiB, error-sweep.cjs):

| Repo | lang | files | hasError | phantoms | first-error classes | |---|---|---|---|---|---| | Kong/kong | lua | 1,309 | 1 (0.08%) | 0 | spec/fixtures/invalid-module.lua — deliberately invalid | | folke/lazy.nvim | lua | 65 | 0 (0.00%) | 0 | — | | openresty/lua-resty-core | lua | 38 | 0 (0.00%) | 0 | — | | lune-org/lune | luau | 221 | 3 (1.36%) | 0 | .d.luau type-pack/typeof declaration shapes | | dphfox/Fusion | luau | 113 | 8 (7.08%) | 0 | generic type packs (A...) -> T; default type params type Scope<C = Fusion> | | luau-lang/luau (tests/) | luau | 203 | 39 (19.21%) | 0 | STRESS ONLY — deliberate future-syntax tests (class Point, 123i, export local) | | JohnnyMorganz/StyLua (tests/) | lua | 419 | 118 (28.16%) | 0 | STRESS ONLY — cfxlua dialect (+=, C comments), luau-in-.lua corpora |

ZERO phantom-hasError files anywhere (hasError with no ERROR/missing node — probed per-file across all 2,368 files, plus 31 targeted snippet probes in mini-probes-{lua,luau}.out): unlike kotlin, the defer signal is always accompanied by a real ERROR node. Still gate on has_error() alone — don't scan for ERROR nodes. Error-class probes (errclass*.luau): luau default type parameters type X<T = D> and generic packs (A...) -> T ERROR; luau also rejects @native/@checked attributes (real-Luau 2024+ syntax the 1.2.0 grammar predates) and lua-only syntax (goto, bitwise a & b); lua rejects luau-isms (type X = …, continue, +=, backtick interpolation) — cfxlua dialect files land here too. All of these defer to wasm, which errors identically (same tables both arms) and still emits its best-effort partial extraction.

  • Sweep defaults: --max-deferral 0.1 (kernel-parity.mjs:38) holds everywhere. Expect 0–1 deferrals on lua repos (treat >0 as suspicious, ruby-style) and 1.4–7.1% on luau (typed-framework codebases sit at the high end; a JUMP past ~10% is the bug signal).

Architecture decisions

  1. One walker module, two grammar entries. codegraph-kernel/src/lua.rs with a dialect flag (ccpp precedent — lib.rs:219 "c" | "cpp" => ccpp::extract(..., &language)). The dialect differences are exactly four (§Extractor config): typeAliasTypes, isExported, getSignature return suffix, grammar handle. Everything else — require hook, receiver methods, variable branch, call shapes, docstrings, fn-refs — is byte-shared. go.rs is the closest crib (receiver-QN methods, extract_type_alias → bool, node_ids vec, fn-ref flush deduped on node_ids[from] go.rs:1047).
  2. No preParse (neither lua.ts nor luau.ts has the hook; luau spreads lua) → preParsedSource (kernel/index.ts:109-112) is a no-op; both arms parse raw bytes. No POST_PASSES entry → tryKernelExtractRaw stays eligible (kernel/index.ts:183).
  3. No framework resolver lists lua/luau (grepped src/resolution/frameworks/* — zero hits) → no decoded-path forcing in parse-worker; all repos ride the raw buffers-to-store transport. No synthesis consumer either: CC_LANGUAGES = {swift, kotlin} (callback-synthesizer.ts:77), NATIVE = {java, kotlin, objc, cpp} (:1649). The only downstream consumers are resolution-side and contract-pinned in §Resolution consumers.
  4. .lua → lua, .luau → luau purely by extension (grammars.ts:122-123, detectLanguage :469 — no content sniffing; project codegraph.json extension overrides are TS-side and upstream of the kernel). MAX_FILE_SIZE (1 MiB) and generated-file skips are orchestrator-side and shared.
  5. REF_FLAG_FILE_PATH (wire v2) is NOT needed. The lua hook's addUnresolvedReference (lua.ts:117-123) passes no filePath; zero refs in any ground-truth dump carried one. The ruby/php bit stays unused.
  6. Value-refs, static-member refs, type-annotation refs, instantiates, extends/implements, decorates: ALL structurally absent for lua/luau — §Dead machinery. The walker needs cheap early-outs that preserve exactly this nothing.
  7. Deferral policy: per-file has_error() → defer: (ruby.rs:143 message convention). Expected counts per §Grammar prep. wasm recovery is canonical for erroring files (incl. the cfxlua/@native dialect files).

Extractor config (languages/lua.ts — 152 lines; languages/luau.ts — 36 lines; read both whole)

luauExtractor = { ...luaExtractor, <4 overrides> } (luau.ts:16-36).

Shared types (lua.ts:62-81): functionTypes=function_declaration; classTypes=[] ; methodTypes=[] ; interfaceTypes=[]; structTypes=[]; enumTypes=[]; importTypes=[] (require is a function_call — the hook); callTypes=[function_call]; variableTypes=[variable_declaration]; nameField=name, bodyField=body, paramsField=parameters.

Luau overrides (luau.ts:20-35): typeAliasTypes=type_definition; isExported = source.slice(node.startIndex, node.startIndex + 7) === 'export ' (raw UTF-16 slice of the node's own first 7 chars — export type X nodes START at export, probed); getSignature = params text + : <text of the named child AFTER parameters> unless that child's type is block (finds params by startIndex match in namedChildren, so a leading generic_type_list never disturbs it — probed (v: T): T).

Hooks PRESENT (port each exactly):

  • visitNode (lua.ts:105-151) — the require machinery, §Require hook.
  • getSignature (lua.ts:83-86) — lua: getChildByField(node, 'parameters') text or undefined. Probed: (a, b), (...), (). (Luau override above; both read the REAL parameters field — FIELD_COUNT is non-zero here, unlike kotlin: field lookups are LIVE.)
  • getReceiverType (lua.ts:92-99) — name: field child of type dot_index_expression → its table: field text; method_index_expression → its table: field text; else undefined. The table text is VERBATIM dotted source: function M.sub.deep:chained() → receiver M.sub.deep (probed). Plain function f / local function f (name is identifier) → undefined.

Hooks ABSENT (the walker must NOT invent them): preParse, resolveName, recoverMangledName, isMisparsedFunction, isConst (every lua/luau variable is kind variable — constant never occurs), isAsync/isStatic (both undefined on every node — flag present-bits stay 0; NOT kotlin's literal false), getVisibility (undefined — visibility byte 0), getReturnType (returnType never set — luau return types ride the SIGNATURE string only), extractModifiers (no decorators ever), classifyClassNode, classifyMethodNode, extractPropertyName, propertyTypes, fieldTypes, enumMemberTypes, extraClassNodeTypes, packageTypes/extractPackage (no namespace node, ever — QNs never get a package prefix), resolveBody (body = getChildByField(node, 'body') only; empty one-liner function f() end has NO body field — probed field-truth.out — so no body walk and no endLine extension; the createNode:1329-1334 extension is structurally a no-op since function_declaration's extent includes end), extractImport, extractBareCall, synthesizeMembers, skipBodilessClass, methodsAreTopLevel, resolveTypeAliasKind, interfaceKind, isExported for LUA (undefined — see the wire note in §Parity mechanics).

tree-sitter.ts branches (anchors as of 45a53eb)

visitNode dispatch — what each lua/luau node hits (ladder at 936-1303)

Node Branch Behavior
every node visitNode hook first (943-953) function_call that IS a require → import + ref, handled=true → scanFnRefSubtree + STOP; non-require function_call → false, falls to :1248; variable_declaration → emits imports for require initializers, ALWAYS returns false (falls through to variableTypes)
every node maybeCaptureFnRefs (990) fires for arguments / assignment_statement / field (LUA_SPEC keys) — top-level table registries and call args captured here
function_declaration functionTypes:994 isInsideClassLikeNode() is ALWAYS false (no class-like kinds exist; :1486-1500 checks the STACK TOP only, and lua mints only file/function/method/variable/import/type_alias) → extractFunction:1517, whose :1522 receiver short-circuit diverts function t.f/t:m to extractMethod:1737. skipChildren
variable_declaration variableTypes:1098 gate !isInsideClassLikeNode() ∥ isClassScopeConstantAssignment — always passes (first leg). extractVariable:2538 → lua branch :2789. Then scanFnRefSubtree(node, 0) (:1110) + skipChildren → initializer subtrees are NEVER walked (§extractVariable)
type_definition (luau) typeAliasTypes:1071 extractTypeAlias:2890 → plain path :2967 (no resolveTypeAliasKind) → returns false → children ARE re-visited — how typeof(require(...)) aliases emit an import (§Luau type aliases). Lua: no branch → recursed
function_call (hook-declined) callTypes:1248 extractCall:3684. NO skipChildren → children recursed → nested/inner calls each get their own ref (glued chains, f()())
assignment_statement (top level) no branch maybeCaptureFnRefs('assignment_statement') → RHS candidates; then plain recursion → initializer calls DO emit (globalAssign = topFn(10) → calls topFn — pinned), anon function_definition RHS bodies are walked with the FILE as caller
update_statement (luau +=) no branch, no dispatch key recursed → RHS calls emit; no fn-ref capture (dispatch has no update_statement key)
return_statement / if_statement / for_statement / while_statement / do_statement (top level) no branch recursed → nested variable_declarations/function_calls dispatch normally — top-level conditional requires become imports; block-locals become top-level variable nodes (pinned extract-condreq: if ok then local m = require("in.if") end → import in.if + variable m, both contained by FILE)
comment no branch recursed into content: — nothing matches. Consumed only by getPrecedingDocstring
hash_bang_line (#! line 1, lua) no branch parses clean (probed); not a comment kind → BREAKS a docstring chain scanning past it
INSTANTIATION_KINDS (354-361) / impl_item:1274 / property_signature:1282 / export_statement:1219 / swift property:1121 never no lua/luau node kinds among them. Zero instantiates refs, ever

The require hook (lua.ts:105-151 + requireModule :28-60) — port verbatim

requireModule(callNode): name: field child must be type identifier with text exactly require (a dotted callee is dot/method_index — never require); arguments: field child required. Then, in ORDER:

  1. String win, breadth-first: findDescendant(args, 'string_content') (BFS over namedChildren, lua.ts:9-17) → trimmed text. This catches plain require("a.b"), single-quote and [[...]] requires (string_content is inside the string node), and any require whose argument merely CONTAINS a string anywhere — pinned: require(script:WaitForChild("Kid")) → import "Kid" (the string beats the method-index path); require("a" .. "b") → import "a" (first string_content in BFS order — deterministic garbage, preserve).
  2. Fallback findDescendant(args, 'string') with manual [[ ]]/quote stripping (reached only if a string node had no content child — empty string require("") → mod falsy → null).
  3. Roblox instance path: first descendant dot_index_expression (else method_index_expression) → its field: (else method:) child text — require(script.Parent.Signal) → "Signal" (the trailing segment).
  4. Otherwise null (require(dynName), require()).

Hook dispatch (lua.ts:129-150):

  • node.type === 'function_call': requireModule ≠ null → emit(node) + return true (claimed — never double-counted as a call); null → return false → extractCall emits calls "require" (pinned: require(dynamicTop) at top level → calls require from FILE).
  • node.type === 'variable_declaration': find the assignment_statement child → its expression_list → for EVERY child of type function_call, emit(val) (multi-require local a, b = require("x"), require("y") → two imports — pinned). Always returns false → extractVariable also runs. NOT emitted from here: requires nested deeper in the initializer ({ mod = require("t") } table value — pinned NO import), and require("m").field (the exprList child is dot_index_expression — pinned NO import; the accessed variable still mints).
  • emit(callNode): ctx.createNode('import', mod, callNode, { signature: getNodeText(callNode).trim().slice(0, 100) }) — import node positioned at the CALL node (name = module string, qualifiedName = same via buildQualifiedName, id line = call's line) — then, if the stack is non-empty, addUnresolvedReference({ fromNodeId: stack top (always the FILE node), referenceName: mod, referenceKind: 'imports', line: call startRow+1, column: call startColumn }). No filePath on the ref.
  • The hook NEVER runs inside function bodies (visitFunctionBody has no hook call — §visitFunctionBody): body-level local lazy = require("app.lazy") emits calls "require" from the enclosing function and NO import (pinned, extract-bodies-lua.txt L8-9 — the neovim lazy-loading idiom lands here). Port this asymmetry exactly.

Node creation, IDs, qualified names

  • createNode (1308): id = generateNodeId(filePath, kind, name, startRow+1) = `${kind}:${sha256(`${filePath}:${kind}:${name}:${line}`).hex.slice(0,32)}` (tree-sitter-helpers.ts:18-30). FILE node id = literal file:${filePath} (:509), name = basename, qualifiedName = filePath, endLine = source.split('\n').length, isExported false.
  • No namespace node (no packageTypes → extractFilePackage:1397 returns null). buildQualifiedName (1447-1460) joins the NON-file stack nodes' NAMES with :: — top-level symbols get bare QNs.
  • Receiver-QN override: table/method functions get extraProps. qualifiedName = composeReceiverQualifiedName(receiver, name) (1790-1792) = `${receiverType}::${name}` verbatim (1435-1442; namespacePrefix always empty outside C++). Pinned QNs: M::create, M.sub.deep::chained, _G::installed (yes — function _G.installed() mints method _G::installed). The override REPLACES the stack QN even for nested declarations: function M.attached() inside a body → M::attached, NOT render::attached (pinned).
  • Nested plain functions get stack QNs from node NAMES: local function inner() inside M:render → render::inner (the method's NAME, not its M::render QN — buildQualifiedName reads node.name); a GLOBAL function leakedGlobal() declared inside a body is still stack-scoped → render::leakedGlobal (pinned — quirk, preserve).
  • Variable nodes are positioned at the IDENTIFIER, not the declaration (§extractVariable) — id line/column = the identifier's.
  • contains edge from stack top for every created node (1363); extractModifiers merge (1355-1358) inert (no hook); captureValueRefScope (1374) runs but its output is discarded (§Dead machinery).
  • Duplicate IDs are legal output: local x = 1; local x = 2 on one line → two variable:x rows with the SAME id (pinned, mini-probes sameLineTwoLocals) — minified/one-liner lua bundles hit this routinely. The walker emits both rows verbatim (node_ids vec pattern; store upsert handles collapse — parity compares pre-store output).

extractFunction (1517) / extractMethod (1737)

  • extractFunction: :1522 receiver short-circuit is THE routing — getReceiverType ≠ undefined (name is dot/method_index_expression) → extractMethod. extractName (:97-192): nameField name field hit → :136-143 unwraps dot_index_expression → field: / method_index_expression → method: → the trailing simple name (dotted, method, chain). <anonymous> unreachable for function_declaration (grammar requires a name; function_definition never reaches extractFunction — it's in no type list).
  • Extras (:1574-1580): docstring (§Docstrings), signature (getSignature), visibility undefined, isExported: lua undefined / luau false (hook slice — a function_declaration never starts with export), isAsync undefined, isStatic undefined, returnType undefined. extractTypeAnnotations (:1594) → early-out (§Dead machinery); extractDecoratorsFor (:1599) → scans children/preceding siblings for decorator/annotation/attribute kinds — lua's attribute node (<const>) lives inside variable_list, NEVER adjacent to a function → structurally zero output (keep the traversal or early-out equivalently — output is what's pinned).
  • Body: resolveBody?.() ?? getChildByField(node, 'body') → the body: block (absent on empty one-liners) → visitFunctionBody with the node pushed.
  • extractMethod: receiverType recomputed (1742); gate :1747 passes via receiver. Same extras (NOTE: extractMethod passes NO isExported — luau METHODS have isExported undefined while luau functions have false; pinned in extract-torture-luau.txt: method "make" no flag, function "typedTop" isExported=false). QN override :1790-1792. Owner-contains (:1799-1813) NEVER fires: it requires an in-file node named receiverType with kind ∈ {struct, class, enum, trait} — lua mints none of those kinds, and dotted receivers (M.sub.deep) match no node name anyway. The ONLY containment is the normal stack-top edge (pinned: contains file → method:dotted, contains method:render → method:attached).

extractVariable — the lua/luau branch (2538-2549 head; 2789-2805 branch)

Head: isConst absent → kind ALWAYS variable (:2546-2547); docstring from the DECLARATION node (:2548); isExported = hook ?? false (:2549) → false for both languages (luau's slice sees local …).

Branch (:2789-2805): assign = first namedChild of type assignment_statement ?? node itself (covers bare local x with no =); varList = assign's variable_list child; exprList = assign's expression_list child; names = varList's children of type identifier ONLY (a dot_index_expression/bracket_index_expression LHS — possible only in bare assignment_statements, which never reach here — and attribute nodes (<const>/<close>) are skipped without disturbing positions); values = exprList's namedChildren. Per name, positionally paired:

  • createNode(kind, name, nameNode, …) — positioned at the IDENTIFIER (pinned: variable "http" L2 C6-10).
  • signature = `= ${valueText.slice(0,100)}${'...' if ≥100}` from values[i]; no value at that index → NO signature key at all (pinned: local ok, err = pcall(...) → ok has the signature, err has none). Signatures keep raw bytes verbatim — embedded \n (= [[long\nstring]]), CRLF \r\n, the full anon-function text (= function(v)\n\treturn hidden(v)\nend).
  • docstring and isExported repeated onto EVERY name of the declaration.

Then the ladder (:1110-1111) runs scanFnRefSubtree and sets skipChildren → the initializer subtree is never walked: local fromCall = topFn(3, 4) emits NO calls ref; local anon = function(v) return hidden(v) end emits no function node, no calls (pinned). Contrast the shapes that DO walk (no branch → recursion): top-level x = topFn(10) assignment → calls topFn; M.assigned = function(z) return topFn(z) end → calls topFn from the FILE node (pinned L68). In function BODIES both decl forms walk (§visitFunctionBody) — the asymmetry is top-level-only.

Luau type aliases — extractTypeAlias (2890; plain path :2967-2991)

type_definition → extractName via the name: FIELD: a simple alias's name child is identifier; a generic alias's name child is generic_type and the node NAME is its verbatim text — Generic<T>, Map<K, V> (spaces preserved, pinned). Extras: docstring (works — pinned "doc for Point"), isExported from the luau slice hook — export type → true (the type_definition node STARTS at export, CST-probed), else false. Then :2973's TYPE_ANNOTATION_LANGUAGES.has('luau') is FALSE → no alias-value refs (doubly dead: the value field is also NULL in this grammar — field-truth.out). Returns false → the alias's children are RE-VISITED by the ladder: a typeof(require(...)) alias's function_call child hits the hook → type_alias node + import node + imports ref, all three (pinned: FromTypeof → type_alias L11 C0-55 + import "Config" L11 C25-54 + imports ref from FILE; the alias node is created FIRST). Body-local type X = … (legal luau) minted NOTHING — visitFunctionBody has no typeAlias branch (pinned extract-bodies-luau.txt). Lua: typeAliasTypes=[] — a stray type X = in a .lua file is a parse ERROR anyway (deferred).

extractCall (3684) — the raw-text callee world

Entry: the vbnet (:3698), erlang (:3746), ruby (:3913), arkts (:3996) branches are language-gated off. Generic path :4312-4313: func = getChildByField(node, 'function') ?? node.namedChild(0) — the function field is NULL in this grammar (truth-tabled) → always namedChild(0), which is the name: child (identifier / dot_index / method_index / parenthesized_expression / function_call in chains).

The member branch (:4364) NEVER fires: dot_index_expression and method_index_expression are NOT in the accepted type list (member_expression/attribute/selector_expression/navigation_expression/ field_expression). LITERAL_RECEIVER_TYPES (:373-388), SKIP_RECEIVERS (:4400), and every re-encode are unreachable. Everything falls to the ELSE (:4518-4520): calleeName = RAW SOURCE TEXT of the callee node (UTF-16 substring). Pinned shapes:

  • bare topFn(5) → topFn; sugar calls require 'x' / f {t} route the same (arguments without parens).
  • dotted M.create(2) → M.create; deep core.util.log("x") → core.util.log.
  • colon methods keep the COLON: M:render({}) → M:render; M.sub.deep:chained(13) → M.sub.deep:chained; in bodies self:helperMethod(o) → self:helperMethod, self.field.deep(1) → self.field.deep — self is NEVER stripped (no SKIP_RECEIVERS on this path). Resolution depends on these exact bytes (§Resolution consumers).
  • bracket calls: M.registry[key](3) → M.registry[key]; t2[k2](14) → t2[k2] (brackets verbatim).
  • call-result callees: f2()(15) → outer ref f2() + inner ref f2 (children recursed — every chain link emits).
  • the newline-glue trap (lua's statement ambiguity): a call statement followed by a line starting ( parses as ONE glued chain — obj:foo():bar()\n\t(helper)(4) emits FOUR refs: obj:foo():bar()\n\t(helper) (raw text with embedded newline/tab — byte-verbatim), obj:foo():bar(), obj:foo():bar, obj:foo (pinned extract-bodies-lua.txt L19). Same with string.format("%d", 9)\n("literal"):upper() → three refs (extract-shapes-lua.txt L29). Reproduce byte-for-byte, including the glued middle links whose "callee" is a whole inner function_call's text.
  • paren-conversion regex (:4529-4532): /^\(\s*\*?\s*([A-Za-z_][\w.]*)\s*\)$/ applies — a clean single (handler)(16) statement (semicolon-separated or first-in-body, un-glued) → callee text (handler) → rewritten handler (pinned twice: torture paren_conv; mini-probes parenFirst (cb)() → cb). A glued/quoted parenthesized callee (("x"):upper — pinned raw) does NOT match. Port the regex with JS \s semantics (matches \r).
  • cpp template-strip (:4542-4548) and fn-ptr fan-out (:4556) are gated off.
  • Ref: {fromNodeId = stack top, referenceName, referenceKind 'calls', line = call startRow+1, column = call startColumn (UTF-16)}.
  • Luau extra shapes, all pinned: interpolation calls emit in bodies (`point {p.x} of {Config.total()}` → calls Config.total at the inner call's position); if-expression arms (if p.x > 0 then bump() else drop() → both); v += grow() → calls grow (update_statement recursed).

Docstrings (tree-sitter-helpers.ts:95-127) — LIVE, with byte-level quirks

Both grammars have ONE comment kind, comment (line --, block --[[ ]], LuaDoc ---, directives --!strict) — comment IS in the accepted sibling set (:109-121) → docstrings work everywhere getPrecedingDocstring is called (functions, methods, variables — every name of a multi-name decl —, luau type aliases, imports never — the hook passes no docstring). DOCSTRING_WRAPPER_TYPES (:55-62) contains variable_declaration but the climb inspects PARENTS — a lua declaration's parent is chunk/block → no climb, no effect. cleanCommentMarkers (:77-90), per comment, then .join('\n').trim():

  • --[[ … ]] / --[==[ … ]==] → the --[-open strip (:80, ^--\[=*\[ + \]=*\]$) — pinned "Block comment doc\nspanning two lines", "lvl".
  • line comments → ^--\s? per line (:85). LuaDoc --- keeps a leading - (--- Summary → - Summary, pinned in both langs). --!strict becomes docstring text !strict and JOINS the chain — pinned: torture luau's core docstring is "!strict\nheader comment for torture.luau".
  • Comment runs chain across blank lines (siblings skip whitespace); the chain BREAKS at any non-comment named sibling — including line 1's hash_bang_line, which simply terminates the scan (shebang + comment run → run kept, pinned).
  • CRLF bytes, pinned (extract-torture-crlf-lua.txt): line-comment docstrings are IDENTICAL to LF (each comment .trim()ed → \r gone, joined with \n); block-comment docstrings KEEP interior \r\n ("Block comment doc\r\nspanning two lines") — only the ends are trimmed. Signatures keep raw \r\n too (= function(v)\r\n\treturn …). All gm strips ride js_multiline_strip in docstring.rs (#1329) — the lua strips (lua_open/lua_close :49-50, dashes :56) are already in docstring.rs — call the shared module, port nothing.

Function-as-value capture (#756) — LUA_SPEC (function-ref.ts:322-330)

idTypes = {identifier} (bare identifiers only — dotted values never qualify: { on_make = M.make } captured NOTHING, pinned). dispatch: arguments → args; assignment_statement → rhs with NO field (RHS = LAST named child = the expression_list; the param-storage skip :435-443 reads namedChild(0) = the variable_list, takes its trailing identifier, and compares to the WHOLE rhs text — M.cb = cb skips (pinned, no candidate); multi-value RHS never matches); field → value via the value: field (keyed AND positional table fields — { k = v } and { v1 } both carry value:, truth-tabled). layers: expression_list → null (fan out). No special, no unwrap, no ungatedModes, no addressOfOnly.

  • Capture points: visitNode:990 (top-level call args + assignments + every field node the ladder recurses through), visitFunctionBody:5137, and scanFnRefSubtree (hook-consumed require calls + variable_declaration subtrees). scanFnRefSubtree's halt list (:606-614) does NOT include function_definition → the scan DESCENDS into anonymous-function initializer bodies (depth cap 12), so args/fields inside them still produce candidates attributed to the FILE.
  • Flush (:639-728): definedHere = same-file function/method NAMES; importedNames — lua module paths are dotted, so QUALIFIED_IMPORT (:665) contributes the LAST segment (app.core → core; two.a → a) and SIMPLE_NAME passes Roblox leaves (Signal, Child) — pinned: (helper) glue candidate flushed because import helper existed. No this./:: shapes ever occur → the bare-name gate is the only live path. Dedupe ${fromNodeId}|${name} — first occurrence's position wins (pinned: three topFn table-value candidates → ONE function_ref at the first's line). Emitted refs: {referenceKind:'function_ref'} → wire code 200.
  • Pinned population (torture.lua): pcall(topFn, 7, 8) → topFn (args mode); { on_start = topFn, on_stop = localFn } + { cb = topFn, [1] = localFn, nested = { deep_cb = topFn } } → topFn + localFn once each (field mode + dedupe); skipped = missing gated out; M.cb = cb skipped. Luau: { plain = typedTop } → typedTop; M:update(…, print) → print gated out (not defined/imported).

visitFunctionBody (5129-5286) — the body walker rows

  • maybeCaptureFnRefs (5137) per node. No visitNode hook → the require asymmetry (§Require hook).
  • function_call ∈ callTypes → extractCall (5143); no return → children recursed (chains emit every link).
  • INSTANTIATION_KINDS (5145) never; extractBareCall (5159) absent; cpp declaration/assignment branches (5184-5215) gated off.
  • extractStaticMemberRef (5218) — dead on entry (§Dead machinery).
  • variable_declarator type-annotation branch (5230) — no such node kind.
  • Nested function_declaration (5245) → extractName ≠ <anonymous> always → extractFunction → receiver check: local function inner → function under the enclosing symbol (render::inner); function M.attached → extractMethod with QN M::attached; global function leakedGlobal → function render::leakedGlobal (all pinned).
  • classTypes/structTypes/enumTypes/interfaceTypes (5255-5275) — all empty.
  • variable_declaration in a body: NO branch → plain recursion → the initializer IS walked: body local lazy = require("app.lazy") → calls require; body local x = topFn(9) → calls topFn — the INVERSE of top level. No variable node minted for body locals (pinned).
  • type_definition in a luau body: NO branch → recursed → no alias node; a typeof-require inside it would emit calls require (hook-less).
  • Everything else (if/while/repeat/for, return_statement, update_statement, interpolation, cast_expression, parenthesized_expression) is transparent recursion.

Dead machinery — early-outs the walker must reproduce as SILENCE

  • Value-reference edges: VALUE_REF_LANGS (:401) has no lua/luau → flushValueRefs (:777-784) discards everything captureValueRefScope collected. Zero references edges with valueRef metadata. The assignment shadow-prune (:803-878) never runs — its assignment case (:829) is Python's node kind, not lua's assignment_statement, so even a future opt-in would no-op. (Trap (a) from the survey brief: RESOLVED — structurally dead.)
  • Static-member refs: STATIC_MEMBER_LANGS (:345-347) excludes lua/luau → extractStaticMemberRef (:4750-4751) returns on entry; MEMBER_ACCESS_TYPES (:323-331) has no lua kinds anyway. Zero.
  • Type-annotation refs: TYPE_ANNOTATION_LANGUAGES (:5752-5754) excludes lua/luau → extractTypeAnnotations (:5788-5790) early-outs; luau parameter types (parameter > identifier + type — a node shape lua lacks: lua params are bare name: identifier children) and return types emit NOTHING; type_alias values emit nothing (§Luau type aliases). Zero references refs of any type-flavored kind.
  • Instantiates: INSTANTIATION_KINDS has no lua kinds; the ladder and body walker never call extractInstantiation (:4610). Constructor-ish calls (setmetatable, M.create(2)) are plain calls.
  • Inheritance: extractClass/extractInterface/extractEnum unreachable (empty type lists) → extractInheritance (:5291) never runs. setmetatable metatable-class patterns emit ONLY the calls ref — no class synthesis, no extends (pinned: M.create's body → calls setmetatable, nothing else).
  • Decorates: extractDecoratorsFor (:4897-5024) runs for every function/method but no decorator/annotation/attribute node kind ever appears in the positions it scans (lua's attribute = <const>/<close> lives inside variable_list — pinned: local x <const> = 99 extracts variable x, signature = 99, no ref; luau's real @native/@checked attributes are grammar ERRORS → deferred files). Zero decorates refs.
  • file-level errors: none on clean parses (wasm-arm hasError files add their own — kernel defers those wholesale).

Resolution consumers (TS-side, no port — but they pin the walker's BYTES)

  • resolveLuaRequire (import-resolver.ts:1637-1671, dispatch :1450-1457) resolves each imports ref by treating the referenceName as a dotted path (telescope.config → telescope/config.lua) or Roblox leaf (Signal → Signal.luau), trying <p>.lua|.luau|/init.lua|/init.luau as PATH SUFFIXES, longest-shared-prefix-with-the-requiring-file wins, → file-node target at confidence 0.9. Walker obligation: referenceName = the module string/leaf VERBATIM (dots intact, no normalization).
  • Lua colon-method resolution: extraction emits lg:log-shaped calls; name-matcher's luaColonMatch (:1514-1520, /^([\w.]+):(\w+)$/) splits them for local-variable receiver-type inference (#1108), whose lua patterns (:1218-1234) include the #1124 lookahead — the third pattern \b<r>\b\s*:\s*([A-Z][\w.]*)(?![\w.]|\s*[({"'\[]) rejects PascalCase METHOD CALLS (lg:Log(), the Roblox convention) as fake "type annotations" because Lua's call syntax is the identical receiver:Name shape. The pre-filter (resolution/index.ts:722-736) keeps single-: refs alive when either side (or the capitalized receiver) names a known symbol. Walker obligation: the SINGLE-COLON byte shape (and [\w.]-only receivers — brackets/glue garbage simply never resolves).
  • Nothing else consumes lua/luau specially (no framework resolvers, no synthesizers — §arch-3).

Parity mechanics (all have bitten before)

  • Emission order per construct, pinned across all dumps: file node → source-order walk. Per require-decl: import node → imports ref happens inside the hook, THEN extractVariable's variable nodes (import:two.a, import:two.b, variable:twoA, variable:twoB — hook loop completes first). Contains edges interleave with creation (createNode). Walk-order refs (imports + calls interleaved by source position), then function_ref refs at flush (:538). No value-ref edges. Store/harness are rowid-order-sensitive — reproduce exactly.
  • Wire flags (layout.ts:100-106 bit pairs): lua function/method/import/ type_alias-less world — the ONLY flag ever set for lua is variable isExported=false (present=1, value=0). Luau ADDITIONALLY sets isExported on functions (false) and type_aliases (true for export type, false otherwise) — but NOT on methods (extractMethod passes none). lua functions: present-bit 0 (undefined). Get the present-vs-value distinction byte-right; it is the one lua↔luau node-payload divergence besides signatures/typeAliases.
  • visibility byte 0 everywhere; returnType/decorators/typeParameters absent everywhere.
  • UTF-16 columns/slices (textutil::col16/slice_utf16): every position and every getNodeText (callee raw text, signatures, docstring sources, import signatures + .trim()). Pinned: local préfixe → C6-13 (7 UTF-16 units).
  • CRLF: §Docstrings byte pins; callee raw text and signatures carry \r\n verbatim; the paren-conversion regex's \s* eats \r (JS ⊇ Rust \s — parity holds). CRLF fixture variants derived in-memory (kernel-tsjs-parity pattern).
  • Defer policy: has_error() → defer: (no phantom class observed — but trust the flag anyway, never node-scan). Deferral expectations §arch-7.
  • generateNodeId inputs: variables hash the IDENTIFIER's line; imports the CALL's line; functions/methods the declaration's line; luau type_aliases the type_definition's line (starts at export when exported). Duplicate-id rows are emitted, not deduped.

Gates (per plan §5 — NO standalone bump gate; grammar-parity rows instead)

  • Stage 0 (with or before the walker): kernel C vendor (grammars/lua, shas above) + build.rs block + langs.rs entries (+ crate pin tree-sitter-luau "=1.2.0") + GRAMMAR_LANGUAGES += 'lua','luau' in kernel-grammar-parity — proves C/crate ≡ vendored wasm revision (ABI 15 / ABI 14, kind+field tables id-by-id). No dump-diff needed: the wasm arm is untouched.
  • Torture fixtures per §Fixtures below, in a new __tests__/kernel-lua-parity.test.ts (or kernel-lua-luau-parity) with CRLF variants; full suite ×2 green with CODEGRAPH_KERNEL_EXPECT=1.
  • Parity sweeps (scripts/kernel-parity.mjs <dir>, default --max-deferral 0.1):
    • …/svy-lua/gate-repos/kong (large lua, 1,309 files — expect ≤1 deferral: the invalid fixture)
    • …/gate-repos/lazy.nvim (small lua, 65 — expect 0)
    • …/gate-repos/lua-resty-core (small lua, 38, LuaJIT/OpenResty idioms — expect 0)
    • …/gate-repos/lune (luau, 221 — expect ~3 deferrals)
    • …/gate-repos/Fusion (luau, 113, heavily typed — expect ~8 deferrals)
    • luau-lang/luau tests/ + StyLua tests/ as OPTIONAL stress arms only (deliberate-error corpora — run with --max-deferral 0.3/0.5, judge only the non-deferred parity). (Re-clone public OSS fresh if the scratchpad is gone — agent-eval policy.) Then full-init dump-diffs byte-identical (kernel arm vs CODEGRAPH_KERNEL=0, scripts/dump-graph.mjs, cmp) on kong + lazy.nvim + lune + Fusion.
  • DEFAULT_ROUTED += 'lua', 'luau' (kernel/index.ts:37) only after all of the above; changelog rides the existing kernel entry.

Fixtures to build

  1. torture.lua (survey seed + pinned dump extract-torture-lua.txt — 99 lines, parse-clean). Inventory: shebang + comment-run docstring; require forms — double-quote, Roblox instance path, single-quote, [[ ]], script:WaitForChild("Child") (string-wins), .field-access (NO import), dynamic (NO import), two-in-one-decl (order), pcall-require (nothing); LuaDoc --- (leading - quirk); block-comment doc; variable-with-invisible-anon-initializer; function t.f/t:m/ a.b.c:m/_G.f receiver QNs; body: require→calls-require, self-colon and self-dot calls, bracket-callee calls, dotted-deep calls, nested local/receiver/global functions (QN quirks), M.assigned = function (file-attributed body calls); table fn-ref registries incl. positional [1] = keys + nested tables + dedupe + missing gate-out + M.cb = cb param-storage skip; global-assignment call visibility vs local-decl invisibility; call shapes — bare/dotted/colon/bracket/f2()()/ (handler)(16) conv-rewrite (the survey torture keeps every statement un-glued — verified: each L77-83 call emits its own single-line ref; the newline-GLUE chain is pinned separately, fixture 5); bare local x (no signature key — probed barelocal.lua); one-line multi-statement (local one = 1 local two = 2 print(...)); long strings incl. ]==]; <const> attribute; non-ASCII line + following symbol (UTF-16 columns); goto/label; return M.
  2. torture.luau (seed + extract-torture-luau.txt — 62 lines, parse-clean): --!strict docstring-joining; requires (string + Roblox); type aliases — plain (doc), export type (isExported=true, LuaDoc), generic (Generic<T> verbatim name), typeof(require(...)) (alias+import pair); typed/generic/multi-ret/empty-one-liner function signatures; typed methods (no isExported); body: type-in-body (nothing), require→calls, interpolation call, if-expr arms, += RHS call, cast, continue; registry table (dotted value dropped, bare captured); unicode line.
  3. CRLF variants of both derived in-memory (kernel-tsjs-parity pattern) — pin the block-comment \r\n docstring byte and CRLF signatures.
  4. Defer fixtures: one lua file with luau syntax (x += 1) and one luau file with a default type param (type S<T = U> = {}) — kernel defer:s, wasm-arm output asserted as-is (partial extraction).
  5. Glue fixture (if not folded into torture.lua): call statement + next-line (-open statement → the 3-4-ref garbage chain, byte-pinned.
  6. Duplicate-id fixture: local x = 1; local x = 2 one-liner (two identical-id variable rows).

Probe artifacts (session scratchpad svy-lua/)

cst-dump.cjs (CST dumps with fieldNameForNamedChild labels; --all mode walks anon children via cursor) + cst-shapes-{lua,luau}.txt; field-truth.cjs + field-truth.out (childForFieldName truth table — the NULL function field, name/table/field/method/parameters/body fields, luau generic_type name, positional-field value:); extract-probe.cjs (runs the REAL dist TreeSitterExtractor; prints nodes/edges/refs in emission order with every wire-relevant field) + ground truths extract-shapes-lua.txt, extract-shapes-luau.txt, extract-bodies-{lua,luau}.txt, extract-requires-lua.txt, extract-condreq (inline), extract-torture-{lua,luau}.txt, extract-torture-crlf-{lua,luau}.txt; mini-probes.cjs + mini-probes-{lua,luau}.out (31 snippet probes: one-liners, same-line duplicate ids, long strings/comments, LuaDoc, shebang, goto, paren-callee conv, bracket/call-call/paren-string callees, numeric/ generic for, varargs, CRLF, integer-div/bitops, cross-dialect rejects, unicode, luau type/interp/continue/compound/if-expr/cast/directive/ @native-reject probes); errclass{1-4}.luau (error classification); error-sweep.cjs + errors-{lua,luau}.txt (per-repo incidence + phantom scan); fixtures shapes.lua, shapes.luau, bodies.lua, bodies.luau, requires.lua, condreq.lua, sigs.luau, generic.luau, torture.{lua,luau} + CRLF twins; grammar/ — tree-sitter-lua (v0.4.1 tag clone), tree-sitter-luau (v1.2.0 tag clone), luau-crate/ (crates.io 1.2.0 tarball, sha-matched), shas in §Grammar prep; gate-repos/ — kong, lazy.nvim, lua-resty-core, StyLua, luau, Fusion, lune (shallow clones). Scratch dirs are throwaway — re-derive from this doc if gone.