codeanalyzer-typescript emits L3 ddg edges with prov: ["reaching-defs"] — a sanctioned additive deviation from the canonical ssa token (it is reaching-definitions, not SSA form; decision recorded in codellm-devkit/codeanalyzer-typescript#32). The SDK's Pydantic model must accept reaching-defs in the prov literal so it does not reject a valid analysis.json, and should land in lockstep with the analyzer.
Ref: codellm-devkit/codeanalyzer-typescript#32 (part of epic #26).
codeanalyzer-typescriptemits L3ddgedges withprov: ["reaching-defs"]— a sanctioned additive deviation from the canonicalssatoken (it is reaching-definitions, not SSA form; decision recorded in codellm-devkit/codeanalyzer-typescript#32). The SDK's Pydantic model must acceptreaching-defsin theprovliteral so it does not reject a validanalysis.json, and should land in lockstep with the analyzer.Ref: codellm-devkit/codeanalyzer-typescript#32 (part of epic #26).