engineering/java-topology
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
java-topology/defects/lean4
History
russell@unturf.com c9314c264b test: add lean4 test suite — 88 tests across 7 patches (CWE-407 + CWE-362) 
Unit, integration, and functional complexity gates for lean4-0001..0007.
All 88 tests pass. Complexity gates enforce measured speedups:
  lean4-0001: N=2000 fixed <20ms (vs 38ms defective, 34x)
  lean4-0002: K=N=1000 fixed <5ms (vs 14ms defective, 678x)
  lean4-0003: N=1000 fixed <5ms (vs 20ms defective, 210x)
  lean4-0005/0006: concurrent correctness (zero lost jobs/leaked context)
  lean4-0007: N=M=500 fixed <1ms (vs O(N*M) defective)
2026-04-13 11:03:16 -04:00
..
bench bench: lean4-0001/0002/0003 benchmarks — 34x/678x/210x speedups confirmed 2026-04-13 10:22:05 -04:00
patch feat: add lean4-0004 through lean4-0007 patches 2026-04-13 10:24:23 -04:00
tests test: add lean4 test suite — 88 tests across 7 patches (CWE-407 + CWE-362) 2026-04-13 11:03:16 -04:00
Makefile test: add lean4 test suite — 88 tests across 7 patches (CWE-407 + CWE-362) 2026-04-13 11:03:16 -04:00