Repository navigation

refactor(search,#17802): descente de 09d dans Discrepancy/ -- Discrepancy-02-Komlos-Lean - #19151

Merged

myia-ai-01 merged 8 commits into

mainfrom

feature/17802-search-09d-discrepancy

Oct 5, 2026

Commits on Oct 4, 2026
- rename(#16231): git mv purs (1 notebooks)
  jsboige
  committed
  8c55736
- rename(#16231): referents reecrits par surface (7 fichiers)
  jsboige
  committed
  ea0362c
- fix(search,#17802): liens relatifs casses par la descente de 09d -- prefixe recalcule
  
  jsboige
  and
  claude
  committed
  2d0ec03
- Docs(Search): completer les referents du renommage Search-09d -> Discrepancy-02
  
  jsboige
  and
  claude
  committed
  d809ec0
- docs(search,#17802): completer les referents de la descente 09d -- inventaire Lean et index
  
  jsboige
  and
  claude
  committed
  13ffb21
Commits on Oct 5, 2026