Repository navigation

Densite Argument_Analysis Ontology_Virtues: lectures chiffrees (966 -> 1245, #13410) - #16515

Merged

jsboige merged 5 commits into

mainfrom

feature/13410-density-argontology

Sep 21, 2026

Commits on Sep 17, 2026
- Add: 5 cellules markdown de lecture chiffree - SMT/Z3-API 13-UnsatCores (densite 1018 -> 1375)
  
  jsboige
  and
  claude
  committed
  8a66cd9
- Add: densite Argument_Analysis Ontology_Virtues - 4 lectures chiffrees (966 -> 1287)
  
  jsboige
  and
  claude
  committed
  1e8aa0d
- retract: remove Z3-Python-13-UnsatCores from this branch (delivered by #16514)
  
  jsboige
  and
  claude
  committed
  6cf2af9
Commits on Sep 20, 2026
- fix(argument-analysis,#13410): absorber 3 lectures chiffrees dans les lectures existantes (regle STOP #13410)
  
  jsboige
  and
  claude
  committed
  559eab2
- Merge branch 'main' into feature/13410-density-argontology
  jsboige
  committed
  ec220d1