🌙 מנוע הביצוע הלילי — פסק המועצה

PASSED — אופציה A

Codex CLI + DeepSeek V4-Flash (ריצות לילה = חלון ההנחה של DeepSeek, ‑50%)

weights: A 3 · B 0 · C 0 — cast 3/3 · threshold 2/3 · archive clean

מושבים: engineering · tamar · ari — שלושתם עלו מ-medium ל-high בחקירה הצולבת, כל אחד בנימוק ראייתי שונה

הראיה המכריעה

aider מחזיר exit 0 גם בכישלון (עריכות שבורות, טסטים נופלים, סירוב מודל) — ריצת לילה לא מסוגלת להבדיל בין "בוצע" ל"לא קרה כלום". ‏Codex exec נותן פסק-דין מכני לכל כרטיס (--output-schema) — וזה מה שהופך receipt לאמת.

בנוסף: לולאת ה-codex-ticket כבר הוכחה אצלנו (#36, ‏9 פגמים נתפסו בביקורת צולבת) — ‏A מחליף רק את המודל. ‏aider כבר נפסל אצלנו בפסיקה עומדת (bdp-20260810).

תנאים מחייבים לפני ריצה ראשונה

1 · ‏bake-off של 5 כרטיסים (על changes מאורכבים) — מריצה tal, לא המבצע. לא עובר → נשארים עם מושבי Claude.
2 · תקציב max_usd מאושר ע"י בן על הדיסק + timeout לכרטיס.
3 · בידוד config — אף פעם לא לגעת ב-config.toml המשותף של בן.
4 · worktree זרוק לכל ריצה · ריצה אחת בו-זמנית על ה-VPS · שורת RAM ב-receipt.
5 · המבצע לא מאשר את עצמו — ביקורת tal על Claude (צולב-מודלים).
6 · ‏falsifier: דגרדציה שקטה → נסיגה ל-Codex עם המודל המקורי — לעולם לא ל-aider.
ביצוע כפוף ל: הקפאת D-040 (עד buzz שלב 4) + אישור תקציב של בן. הפרוטוקול המלא: round-record.md בתיקיית הריצה.