Repository navigation

fix(guard,#18916): ratchet output-failure distingue le fallback DÉCLARÉ du mode démo (Lean-10) - #19038

Merged

myia-ai-01 merged 3 commits into

mainfrom

fix/18916-ratchet-declared-fallback

Oct 5, 2026

Merged

fix(guard,#18916): ratchet output-failure distingue le fallback DÉCLARÉ du mode démo (Lean-10)#19038
myia-ai-01 merged 3 commits into
mainfrom
fix/18916-ratchet-declared-fallback

Commits on Oct 3, 2026
- fix(guard,#18916): ratchet output-failure distingue le fallback DECLARE du mode demo
  
  jsboige
  and
  claude
  committed
  26eccac
Commits on Oct 4, 2026
- fix(guard,#18916): conditionner l'exemption DECLARED_FALLBACK a la base
  
  jsboige
  and
  claude
  committed
  8f430c8
- Merge remote-tracking branch 'origin/main' into fix/18916-ratchet-declared-fallback
  jsboige
  committed
  a17fcca