Skip to content

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

Fix(notebooks,#17357): KNOTS-02 -- le separateur orphelin de la §7 ma…

9a36284
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar