Measure rebuild/search cost; make the @UF clear opt-in - #44
Closed
oflatt-claude wants to merge 118 commits into
Closed
Measure rebuild/search cost; make the @UF clear opt-in#44oflatt-claude wants to merge 118 commits into
oflatt-claude wants to merge 118 commits into
CodSpeed HQ / CodSpeed Performance Analysis
succeeded
Aug 1, 2026 in 0s
Performance Gate Passed
⚡ 6 improved benchmarks
Performance Changes
| Mode | Benchmark | BASE |
HEAD |
Efficiency | |
|---|---|---|---|---|---|
| ⚡ | Simulation | files[integer_math_proofs] |
172.1 ms | 109.3 ms | +57.41% |
| ⚡ | Memory | files[integer_math_proofs] |
11.6 MB | 7.7 MB | +51.1% |
| ⚡ | Simulation | files[resolution_proofs] |
74.9 ms | 53.7 ms | +39.6% |
| ⚡ | Simulation | files[rw_analysis_proofs] |
251.1 ms | 189 ms | +32.85% |
| ⚡ | Memory | files[resolution_proofs] |
4.2 MB | 3.3 MB | +25.88% |
| ⚡ | Memory | files[rw_analysis_proofs] |
12.1 MB | 10 MB | +20.48% |
Tip
Curious why this is faster? Comment @codspeedbot explain why this is faster on this PR, or directly use the CodSpeed MCP with your agent.
Comparing oflatt-claude:worktree-uf-clear (b7d2d6c) with main (f72b0dd)
Loading