CI benchmark gates & leak checks
37 memories · 11 remembered, 26 forgotten (30% kept).
Members
avoid-update-clobbering-pinned-baselinesbench-pin-derive-from-gate-log-percentilesbenchmark-peak-memory-gatedefault-flip-requires-baseline-refreshgate-red-triage-histogram-methodgil-strategy-decisioninvariant-findall-gate-is-structural-not-wallclockinvariant-gil-profile-timing-test-ratioinvariant-repeat-run-equality-projectionspr-bench-gate-jitter-riskvalgrind-error-summary-leak-kindsangr-3gog-leak-check-landedb15-bridge-residue-obviated-by-e2bench-gate-retry-all-dimensionsbenchmark-baseline-refresh-2026-05-25benchmark-baseline-refresh-fresh-bench-calibrationbenchmark-gate-single-sample-noisebenchmark-leak-check-rust-baselinebenchmark-libvex-ffi-default-flipbenchmark-peak-memory-2026-05-02benchmark-peak-memory-gate-promotedbenchmark-peak-memory-gate-solve-independentbenchmark-unmapped-analysis-baseline-driftbenchmark-valgrind-leak-gate-baselineci-gate-audit-2026-06-03ci-gate-bench-regression-mediumci-gate-property-fuzzer-quickci-gate-rss-leak-smokegate-noise-floor-15pctgate-runner-smoke-bench-drift-gapinvariant-baseline-isolation-vs-gate-load-divergenceinvariant-ci-gate-hygieneinvariant-leak-gate-must-prove-it-can-failleak-check-baseline-mma-howtousevacuous-perf-test-rename-not-assertz087y-stage2-bench-gate-proofz087y-stage2-perf-proof