Repository navigation

Fix(lean,#17357): KNOTS-02 -- 3 faux positifs (audit perime) + 3 constats confirmes (s, sections, ancrage) - #20139

Merged

myia-ai-01 merged 2 commits into

mainfrom

fix/17357-knots02-stale-claims

Oct 10, 2026

Merged

Fix(lean,#17357): KNOTS-02 -- 3 faux positifs (audit perime) + 3 constats confirmes (s, sections, ancrage)#20139
myia-ai-01 merged 2 commits into
mainfrom
fix/17357-knots02-stale-claims

Commits on Oct 9, 2026
- Fix(lean,#17357): KNOTS-02 -- l'invariant s ne separe pas Conway de K-T + ancrage des sections 5.1 et 6/7
  jsboige
  committed
  214c54e
- Fix(notebooks,#17357): KNOTS-02 -- le separateur orphelin de la §7 masquait un en-tete de section
  
  jsboige
  and
  claude
  committed
  9a36284