[gatesn]

Extract generic dynamic predicate falsification from #10665. Keep proofs live across predicate generations and conservatively retain rows when a proof or required statistic is unavailable.

[codspeed]

Merging this PR will degrade performance by 6.3%

2 warnings

⚠️ Walltime results may be unreliable

Some benchmarks used the Walltime instrument outside CodSpeed Macro Runners, which can make the results inconsistent.

Learn more about Macro Runners

See affected benchmarks

⚠️ 2 benchmarks are dominated by system calls

System calls cannot be simulated consistently and are left out of the measure. The reported value understates the real cost. Switch to the Walltime instrument to measure them.

Learn more about system calls

See affected benchmarks

⚡ 2 improved benchmarks
❌ 3 regressed benchmarks
✅ 2199 untouched benchmarks
⏩ 370 skipped benchmarks¹
🗄️ 30 archived benchmarks run²

Warning

Please fix the performance issues or acknowledge them on CodSpeed.

Performance Changes

	Mode	Benchmark	BASE	HEAD	Efficiency
❌	Walltime	filter_neon[64]	1.8 µs	2.4 µs	-25.62%
❌	Walltime	threshold_neon[64]	2.6 µs	3.1 µs	-18.26%
❌	Walltime	filter_neon[80]	2.5 µs	3.1 µs	-16.6%
⚡	CPU Simulation	missing_stats[16]	88.5 µs	71 µs	+24.56%
⚡	Walltime	threshold_avx2[80]	3 µs	2.6 µs	+14.35%

Tip

Investigate this regression by commenting @codspeedbot fix this regression on this PR, or directly use the CodSpeed MCP with your agent.

---

_{Comparing ngates/dynamic-expression-statistics (646c5df) with develop (bdae6a7)}

Footnotes

1. 370 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

2. 30 benchmarks were run, but are now archived. If they were deleted in another branch, consider rebasing to remove them from the report. Instead if they were added back, click here to restore them. ↩