Repository navigation

Fix(#18430): transport du banc v2 -- emulation n, extraction multi-ligne, blocs think ; run comparatif livre - #21672

Merged

myia-ai-01 merged 9 commits into

mainfrom

fix/18430-bench-transport-n-et-preuve

Oct 24, 2026

Merged

Fix(#18430): transport du banc v2 -- emulation n, extraction multi-ligne, blocs think ; run comparatif livre#21672
myia-ai-01 merged 9 commits into
mainfrom
fix/18430-bench-transport-n-et-preuve

Commits on Oct 20, 2026
- Fix(#18430): transport du banc volet B -- n emulate + preuve entiere non tronquee
  
  jsboige
  and
  claude
  committed
  a12496b
- Fix(#18430): _extract_whole_proof retire les blocs think avant la fence
  
  jsboige
  and
  claude
  committed
  d266101
- Doc(#18430): run corrige 2026-10-20b -- verdicts d'organe sur les deux modes, ecart rapporte sur #1453
  
  jsboige
  and
  claude
  committed
  718cc27
- Fix(docs,#18430): retire le compteur d'artefact "7 lignes" -- predicat multi-ligne conserve
  
  jsboige
  and
  claude
  committed
  babe724
Commits on Oct 21, 2026
- Merge branch 'main' into fix/18430-bench-transport-n-et-preuve
  jsboige
  authored
  ff3d044
- Merge branch 'main' into fix/18430-bench-transport-n-et-preuve
  jsboige
  authored
  23ce570
Commits on Oct 23, 2026