=== v8-0001: CWE-407: list-scan inside loop in v8-0001 (generic model) ===
N=100   k=100  : defective=0.090ms  fixed=0.004ms  speedup=25.6x
N=500   k=500  : defective=2.267ms  fixed=0.021ms  speedup=105.7x
N=1000  k=1000 : defective=8.783ms  fixed=0.046ms  speedup=192.4x
N=2000  k=2000 : defective=35.590ms  fixed=0.098ms  speedup=364.4x

=== v8-0002: v8-0002 — objects/intl: CanonicalizeLocaleList seen-list O(N²) → O(N) ===
N=100   k=100  : defective=0.084ms  fixed=0.003ms  speedup=24.4x
N=500   k=500  : defective=2.145ms  fixed=0.088ms  speedup=24.4x
N=1000  k=1000 : defective=8.706ms  fixed=0.046ms  speedup=190.4x
N=2000  k=2000 : defective=35.124ms  fixed=0.097ms  speedup=360.9x

=== v8-0003: v8-0003 — compiler/revectorizer: SLPTree::TryReduceLoadChain loads O(L×N) → O(L) ===
N=100   k=100  : defective=0.084ms  fixed=0.003ms  speedup=24.5x
N=500   k=500  : defective=2.278ms  fixed=0.020ms  speedup=111.4x
N=1000  k=1000 : defective=8.727ms  fixed=0.046ms  speedup=188.6x
N=2000  k=2000 : defective=37.904ms  fixed=0.096ms  speedup=393.8x

=== v8-0004: KnownMapsMerger::IntersectWithKnownNodeAspects std::find O(P×R) → O(P+R) merge ===
N=100   k=100  : defective=0.084ms  fixed=0.003ms  speedup=24.5x
N=500   k=500  : defective=2.117ms  fixed=0.036ms  speedup=58.9x
N=1000  k=1000 : defective=8.716ms  fixed=0.046ms  speedup=189.5x
N=2000  k=2000 : defective=35.753ms  fixed=0.097ms  speedup=367.7x

