5 commits

Author	SHA1	Message	Date
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
russell@unturf.com	ae6e04c5bd	feat: add lean4-0004 through lean4-0007 patches ... lean4-0004: collapse 3-phase lock in ir_interpreter lookup_symbol to single unique_lock lean4-0005: replace IO.Ref JobQueue with Std.Mutex in Lake job registry lean4-0006: register thread-local reset for g_opts in kernel/trace.cpp lean4-0007: build unordered_set of override keys outside env-var loop (Windows)	2026-04-13 10:24:23 -04:00
russell@unturf.com	98c6e28978	bench: lean4-0001/0002/0003 benchmarks — 34x/678x/210x speedups confirmed	2026-04-13 10:22:05 -04:00
russell@unturf.com	c63e93b9bb	patches: lean4-0001 — refine Cycle.lean patch, standalone MonadCallStackFast, low-priority fallback instance	2026-04-13 10:03:58 -04:00
russell@unturf.com	77ab58c2db	patches: lean4-0001..0003 — MOAD-0001 Cycle.lean HashSet fix + kernel inductive + util.cpp	2026-04-13 10:03:29 -04:00