feat(igla-race): ASHA INV-2 threshold + INV-9 QK gain constant#301

Merged

gHashTag merged 6 commits into

mainfrom

feature/asha-inv2-fix

May 19, 2026

Commits on May 19, 2026

feat(igla-L11): Worker pool module + composite invariant (INV-L11)

authored and
gHashTag
committed
feat(igla-L7): Coq proof igla_found_criterion.v, 4 QED, 3 Admitted witnesses. JSON INV-7 entry. Rust victory.rs ext. L7 DONE.

Dmitrii Vasilev
authored and
gHashTag
committed
feat(igla-L11): worker pool compilation fixes

Dmitrii Vasilev
authored and
gHashTag
committed
feat(igla-INV-9): QK gain phi^2 invariant

Dmitrii Vasilev
authored and
gHashTag
committed
fix(igla-race): ASHA pruning threshold INV-2 (3.5) instead of 3.0

authored and
gHashTag
committed
feat(igla-race): INV-9 QK gain phi_sq constant (L9)

authored and
gHashTag
committed