Greptile Summary

This PR fixes two false-positive dead-code classification bugs (#1723): function parameters were unconditionally assigned dead-leaf via a WHERE kind IN ('parameter', 'property') SQL bypass, and interface/type members (e.g. Owner.member declarations) fell through to dead-unresolved with no way to distinguish them from genuinely dead class methods. The fix is applied symmetrically across the TS/WASM classifier and the native Rust classifier.

• Parameters are removed from the SQL leaf queries in both structure.ts and roles.rs and from the main rows queries, so they receive no role at all \u2014 consistent with file/directory nodes.
• A new isTypeDeclarationMember / is_type_declaration_member helper short-circuits classification for method/property-kind members of interface/type/struct/enum/trait/record owners, returning leaf unconditionally.
• Both changes are covered by focused unit tests including a regression repro matching the exact issue codegraph roles --role dead flags used function parameters and interface members as dead #1723 scenario.

Confidence Score: 4/5

The fix is correct and well-tested for the practical cases; only minor consistency gaps remain between the pure-function and SQL-backed paths.

The core logic is sound: parameters are excluded from all queries and receive no role, and interface/type members are correctly short-circuited to leaf via the new isTypeDeclarationMember helper in both TS and Rust. Two minor inconsistencies remain: LEAF_KINDS still includes parameter in both roles.ts and roles.rs, and the SQL leaf path unconditionally marks all property-kind nodes as dead-leaf before isTypeDeclarationMember can inspect them.

src/graph/classifiers/roles.ts and crates/codegraph-core/src/graph/classifiers/roles.rs (stale LEAF_KINDS); src/features/structure.ts has the latent pure-vs-SQL divergence for property-kind type members.

Important Files Changed

Flowchart

%%{init: {'theme': 'neutral'}}%%
flowchart TD
    A[Node from DB] --> B{kind?}
    B -->|parameter| C[Excluded from all queries\nrole = NULL]
    B -->|property| D[Leaf SQL query\ndead-leaf]
    B -->|file / directory| E[Excluded from all queries\nrole = NULL]
    B -->|method / function / class / etc.| F[Main rows query]
    F --> G{isTypeDeclarationMember?\nOwner in TYPE_DEF_KINDS\nsame file}
    G -->|yes| H[leaf]
    G -->|no| I{fanIn == 0 &&\nnot exported?}
    I -->|yes| J[classifyDeadSubRole\ndead-leaf / dead-ffi / dead-entry / dead-unresolved]
    I -->|no| K{fanIn > 0?}
    K -->|yes| L[core / utility / adapter / leaf\nbased on fan shape]
    K -->|no, exported| M[entry]

%%{init: {'theme': 'base', 'themeVariables': {"darkMode": true, "background": "#0d1117", "primaryColor": "#21262d", "primaryTextColor": "#e6edf3", "primaryBorderColor": "#8b949e", "lineColor": "#8b949e", "textColor": "#e6edf3", "edgeLabelBackground": "#161b22", "actorBkg": "#21262d", "actorBorder": "#8b949e", "actorTextColor": "#e6edf3", "actorLineColor": "#8b949e", "signalColor": "#8b949e", "signalTextColor": "#e6edf3", "noteBkgColor": "#373320", "noteBorderColor": "#d4a72c", "noteTextColor": "#f0e6c0", "labelBoxBkgColor": "#21262d", "labelBoxBorderColor": "#8b949e", "labelTextColor": "#e6edf3", "loopTextColor": "#e6edf3", "activationBkgColor": "#30363d", "activationBorderColor": "#8b949e"}}}%%
flowchart TD
    A[Node from DB] --> B{kind?}
    B -->|parameter| C[Excluded from all queries\nrole = NULL]
    B -->|property| D[Leaf SQL query\ndead-leaf]
    B -->|file / directory| E[Excluded from all queries\nrole = NULL]
    B -->|method / function / class / etc.| F[Main rows query]
    F --> G{isTypeDeclarationMember?\nOwner in TYPE_DEF_KINDS\nsame file}
    G -->|yes| H[leaf]
    G -->|no| I{fanIn == 0 &&\nnot exported?}
    I -->|yes| J[classifyDeadSubRole\ndead-leaf / dead-ffi / dead-entry / dead-unresolved]
    I -->|no| K{fanIn > 0?}
    K -->|yes| L[core / utility / adapter / leaf\nbased on fan shape]
    K -->|no, exported| M[entry]

Comments Outside Diff (3)

1. src/graph/classifiers/roles.ts, line 32 (link)

   Stale LEAF_KINDS entry for parameter — the constant still includes 'parameter', which means any caller that passes a parameter-kind node directly to classifyRoles or classifyDeadSubRole (e.g. an external consumer of the exported classifyRoles, a future unit test, or the existing test file if it adds a parameter node) will get dead-leaf back instead of no role. The top-of-file doc comment states "parameter-kind nodes never reach this module in production", but the constant itself is a public-facing footgun for any caller that isn't the SQL-backed path. The same issue exists at line 17 of roles.rs.

   

2. crates/codegraph-core/src/graph/classifiers/roles.rs, line 17 (link)

   Same stale LEAF_KINDS issue as in roles.ts: "parameter" is still present, so classify_dead_sub_role would return "dead-leaf" for any parameter-kind node that reaches it (which can't happen today due to the SQL exclusion, but becomes a silent footgun if the exclusion is ever relaxed or bypassed in tests). Removing "parameter" here keeps the constant consistent with the stated design in do_classify_full's comment.

   

3. src/features/structure.ts, line 785-800 (link)

   SQL leaf path bypasses isTypeDeclarationMember for property-kind type members

   The leaf SQL query (WHERE kind = 'property') assigns dead-leaf to every property-kind node before the classifier runs, so isTypeDeclarationMember never gets a chance to inspect them. The pure classifyRoles function correctly returns leaf for Foo.bar (kind: property) when Foo is an interface/type owner, and the pure-function test in roles.test.ts explicitly covers this case. If the extractor is later fixed to emit property kind for type-alias property signatures (rather than the current method mislabeling tracked separately), the SQL path will silently misclassify those nodes as dead-leaf while the pure function path would return the correct leaf.

   

Reviews (1): Last reviewed commit: "fix: exclude parameters and interface/ty..." | Re-trigger Greptile

Codegraph Impact Analysis

6 functions changed → 5 callers affected across 2 files

• classifyNodeRolesFull in src/features/structure.ts:779 (1 transitive callers)
• classifyNodeRolesIncremental in src/features/structure.ts:939 (1 transitive callers)
• computeTypeDefNamesByFile in src/graph/classifiers/roles.ts:75 (4 transitive callers)
• isTypeDeclarationMember in src/graph/classifiers/roles.ts:107 (4 transitive callers)
• classifyNodeRole in src/graph/classifiers/roles.ts:247 (4 transitive callers)
• classifyRoles in src/graph/classifiers/roles.ts:287 (3 transitive callers)