From d6703f49d556476a47b61b52f5f3bc828f1fb3ba Mon Sep 17 00:00:00 2001 From: Gergo Magyar Date: Mon, 15 Jun 2026 13:47:52 +0000 Subject: [PATCH] perf(cfg): switch production reaching-defs to the sparse solver (#2201 U5) --- gitnexus/src/core/ingestion/cfg/reaching-defs.ts | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gitnexus/src/core/ingestion/cfg/reaching-defs.ts b/gitnexus/src/core/ingestion/cfg/reaching-defs.ts index 9ee2292a7..be2544a36 100644 --- a/gitnexus/src/core/ingestion/cfg/reaching-defs.ts +++ b/gitnexus/src/core/ingestion/cfg/reaching-defs.ts @@ -191,9 +191,10 @@ type InSetsComputer = ( * MUST be byte-identical (status, bindings, sorted facts, def/use telemetry). */ export function computeReachingDefs(cfg: FunctionCfg, limits?: ReachingDefsLimits): FunctionDefUse { - // #2201: production still runs the dense solver until U5 flips this to - // computeInSetsSparse (once the differential fuzz is byte-identical green). - return solveReachingDefs(cfg, limits, computeInSetsDense); + // #2201 U5: production runs the sparse, change-driven solver. The dense + // worklist ({@link computeReachingDefsDense}) is retained as the differential + // equivalence oracle the fuzz suite holds this byte-identical to. + return solveReachingDefs(cfg, limits, computeInSetsSparse); } /**