Repository navigation

feat(lean,#13106): pont CHSH / libre arbitre — module Conway.CHSHFreeWill + companion natif Lean-13d - #19020

Merged

myia-ai-01 merged 2 commits into

mainfrom

feature/chsh-freewill-bridge

Oct 4, 2026

Commits on Oct 3, 2026
- feat(lean,#13106): tranche 6 pilote quantique -- pont CHSH / libre arbitre (route statistique)
  
  jsboige
  and
  claude
  committed
  3997ebc
- fix(nav,#19020): raccord chaine navigation 13c->13d (orphan_entry)
  
  jsboige
  and
  claude
  committed
  3599276