chore: add .gitignore

This commit is contained in:
dom
2026-03-05 00:37:41 +01:00
parent 542797a124
commit 2578afb6ff
1716 changed files with 1905609 additions and 18 deletions

View File

@@ -0,0 +1,43 @@
=== Batch Run: 20260219_115718 ===
ROOT_INPUT=input N=10 FORCE=1 CLEAN=1 RANDOM_PICK=0
CODER=gemma3:27b VERIFIER=deepseek-v3.2:cloud OLLAMA_MAX_PARALLEL=1
→ Dossiers sélectionnés: 10
▶️ START 100_23054899
✅ DONE 100_23054899
▶️ START 101_23041413
✅ DONE 101_23041413
▶️ START 102_23056463
✅ DONE 102_23056463
▶️ START 10_23079252
✅ DONE 10_23079252
▶️ START 103_23056749
✅ DONE 103_23056749
▶️ START 104_23001083
✅ DONE 104_23001083
▶️ START 105_23052612
✅ DONE 105_23052612
▶️ START 106_23056475
✅ DONE 106_23056475
▶️ START 107_23030611
✅ DONE 107_23030611
▶️ START 108_23061103
✅ DONE 108_23061103
→ JSON trouvés pour stats: 6
=== STATS (sur ce run uniquement) ===
--- Verdicts ---
3 PASS
3 FAIL
--- Top VETOs ---
26 VETO-03
5 VETO-09
3 VETO-15
1 VETO-16
--- Dossiers avec HARD ---
102_23056463 HARD=1
10_23079252 HARD=1
103_23056749 HARD=1