feat: accept reaching-defs ddg prov token from codeanalyzer-typescript #232

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).