Repository navigation

ci(lean,#22519): cabler le gate proof-integrity sur les 13 lakes matriciels qui n'en portaient pas - #23019

Merged

jsboige merged 7 commits into

mainfrom

feature/22519-axiom-gate-matrix

Oct 31, 2026

Merged

ci(lean,#22519): cabler le gate proof-integrity sur les 13 lakes matriciels qui n'en portaient pas#23019
jsboige merged 7 commits into
mainfrom
feature/22519-axiom-gate-matrix

Commits on Oct 27, 2026
- ci(lean,#22519): cabler le gate d'axiomes sur les 13 lakes matriciels restants
  
  jsboige
  and
  claude
  committed
  3e25e42
- Fix(ci,#22519): nommer l'axiome `arrow_impossibility` et retirer les compteurs de prose du doc
  
  jsboige
  and
  claude
  committed
  f0361dd
- Fix(ci,#22519): decider deux lakes SANS gate plutot que les cabler a vide
  
  jsboige
  and
  claude
  committed
  f8df429
Commits on Oct 28, 2026
- Fix(lean,#22519): globber les modules racines Perceptron et PacLearning
  
  jsboige
  and
  claude
  committed
  a0adf91
- Fix(lean,#22519): matcher de justification delimite (anti-prefixe, anti-negation) + test sur le manifeste livre + doc l.326 alignee (#23019)
  
  jsboige
  and
  claude
  committed
  0492073
Commits on Oct 30, 2026
- Merge branch 'main' into feature/22519-axiom-gate-matrix -- conflit doc resolu a la main
  
  jsboige
  and
  claude
  committed
  cbf8a01
- Merge branch 'main' into feature/22519-axiom-gate-matrix
  jsboige
  authored
  f075186