after-phase3-trace

C++ After-Phase3-Trace (v2 — filter only)

Called by code-analysis:phase3-trace with a list of dead-code candidate symbols. Returns a filtered list with C++ false positives removed.

Input

{ "candidates": [ { "name": "...", "file": "...", "line": N }, ... ] }

Filters (remove a candidate if any apply)

1. Template instantiation target — symbol is a template function/class; unused template parameter lists are not dead code.
2. Operator overload — operator==, operator<<, etc. — may be invoked implicitly.
3. Virtual override — declared in a subclass, overrides a virtual in any ancestor. Use mcp__gitnexus__cypher to check inheritance:

   MATCH (c:Class)-[:EXTENDS*1..N]->(p:Class)-[:DEFINES]->(m:Member {name: $method, virtual: true})
   RETURN p.name
   

4. Callback-registration target — address-of (&func) appears as argument elsewhere. mcp__gitnexus__cypher:

   MATCH (f:Function {name: $name})<-[:REFERENCES {kind: 'address-of'}]-(caller)
   RETURN caller
   

5. Constructor/destructor — never listed as dead (called implicitly).
6. Friend functions/classes — implicit access paths.

Output

{ "filtered": [ ...candidates that survived... ], "removed_reasons": { "<name>": "template" | "operator" | ... } }

Rules

• Do not add candidates — only remove.
• Do not judge intent — this is a mechanical filter for false positives.