fix(lean,#17357): Lean-16g -- excursion du noyau (y=10, pas 11) et ancre pulsar_RLE corrigee - #20130

Oct 10, 2026

fix(lean,#17357): Lean-16g -- excursion du noyau (y=10, pas 11) et ancre pulsar_RLE corrigee#20130
myia-ai-01 merged 1 commit into
mainfrom
fix/17357-lean16g-canons-prose

fix(lean,#17357): Lean-16g -- excursion du noyau (y=10) et ancre pulsar_RLE