ezer-mishpati/legal-ai
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat(learning): FU-1 — לכידת סבבי-פאנל להלכות (active-learning, #133) #214

Merged
chaim merged 1 commits from worktree-panel-rounds-capture into main 2026-06-12 04:23:32 +00:00
Conversation 0 Commits 1 Files Changed 3 +168 -61
chaim commented 2026-06-12 04:23:26 +00:00
Owner
Copy Link

מה ולמה

לולאת ה-active-learning (#133) זקוקה לסיגנל ללמוד ממנו, אבל הפאנל (halacha_panel_approve.py) זרק עד כה את הצבעות-3-השופטים ואת ההנמקות — שרד רק review_status הסופי על halachot. בלי ההצבעות+הנימוקים אין מאיפה לזקק rubric משופר. FU-1 הוא התנאי-המקדים: לתפוס כל סבב-פאנל.

שינויים

  • halacha_panel_rounds (SCHEMA_V35) — שורה לכל (הלכה, סבב): הצבעה+נימוק לכל לינאז' (claude/deepseek/gemini), ה-verdict, applied_action, apply_mode, round_ts. במתכונת עמודות-הפאנל של halacha_goldset.
  • db.insert_panel_round() — helper כתיבה, capture-only.
  • halacha_panel_approve.py — שומר את התשובות הגולמיות (במקום לזרוק את ה-reason), מוסיף reason ל-NLI_SYSTEM (שביקש עד כה bool בלבד), וכותב סבב לכל פריט בשני המצבים (dry-run ו---apply). דגל --no-capture לדילוג.

עיגון-ספ / Invariants

  • INV-G10 — capture-only: לעולם לא נוגע ב-halachot. שער-היו"ר ב-/precedents נשאר מקור-האמת היחיד; אין שער/עמוד-אישור חדש.
  • INV-LRN1/LRN3 — לכידה-מבנית (לא ad-hoc); propose-only — אין auto-commit. ה-seed ללמידה נוצר מאוחר יותר בהצלבת סבב מול הכרעת-היו"ר על אותה הלכה (FU-2).
  • G1 לכידה-במקור · G2 יכולת חדשה ולא מסלול-מקביל · G12 לא נוגע ב-Paperclip port.

בדיקה

  • py_compile נקי לשני הקבצים.
  • smoke (dry-run --limit 8): 6 nli captured · errors=0 · נימוקים מלאים מ-3 השופטים ב-DB. דפוס שיטתי כבר נצפה (Gemini נוטה not-entailed / DeepSeek entailed) — בדיוק חומר-הגלם ל-FU-4.

חלק מ-#133. אחרי merge: deploy (הקונטיינר ירוץ SCHEMA_V35).

## מה ולמה לולאת ה-active-learning (#133) זקוקה לסיגנל ללמוד ממנו, אבל הפאנל (`halacha_panel_approve.py`) **זרק עד כה את הצבעות-3-השופטים ואת ההנמקות** — שרד רק `review_status` הסופי על `halachot`. בלי ההצבעות+הנימוקים אין מאיפה לזקק rubric משופר. FU-1 הוא התנאי-המקדים: לתפוס כל סבב-פאנל. ## שינויים - **`halacha_panel_rounds` (SCHEMA_V35)** — שורה לכל (הלכה, סבב): הצבעה+נימוק לכל לינאז' (claude/deepseek/gemini), ה-`verdict`, `applied_action`, `apply_mode`, `round_ts`. במתכונת עמודות-הפאנל של `halacha_goldset`. - **`db.insert_panel_round()`** — helper כתיבה, capture-only. - **`halacha_panel_approve.py`** — שומר את התשובות הגולמיות (במקום לזרוק את ה-`reason`), מוסיף `reason` ל-`NLI_SYSTEM` (שביקש עד כה bool בלבד), וכותב סבב לכל פריט **בשני המצבים** (dry-run ו-`--apply`). דגל `--no-capture` לדילוג. ## עיגון-ספ / Invariants - **INV-G10** — capture-only: לעולם לא נוגע ב-`halachot`. שער-היו"ר ב-`/precedents` נשאר מקור-האמת היחיד; אין שער/עמוד-אישור חדש. - **INV-LRN1/LRN3** — לכידה-מבנית (לא ad-hoc); propose-only — אין auto-commit. ה-seed ללמידה נוצר מאוחר יותר בהצלבת סבב מול הכרעת-היו"ר על אותה הלכה (FU-2). - **G1** לכידה-במקור · **G2** יכולת חדשה ולא מסלול-מקביל · **G12** לא נוגע ב-Paperclip port. ## בדיקה - `py_compile` נקי לשני הקבצים. - smoke (dry-run `--limit 8`): 6 nli captured · errors=0 · נימוקים מלאים מ-3 השופטים ב-DB. דפוס שיטתי כבר נצפה (Gemini נוטה not-entailed / DeepSeek entailed) — בדיוק חומר-הגלם ל-FU-4. חלק מ-#133. אחרי merge: deploy (הקונטיינר ירוץ SCHEMA_V35).
chaim added 1 commit 2026-06-12 04:23:26 +00:00
feat(learning): FU-1 — לכידת סבבי-פאנל להלכות (#133)
All checks were successful
G12 Leak-Guard / leak-guard (pull_request) Successful in 7s
Details
0a7869175e 
לולאת ה-active-learning זקוקה לסיגנל ללמוד ממנו, אבל הפאנל
(halacha_panel_approve.py) זרק עד כה את הצבעות-3-השופטים ואת
ההנמקות — שרד רק review_status הסופי על halachot. בלי
ההצבעות+הנימוקים אין דרך לזקק rubric משופר.

FU-1:
- טבלה חדשה halacha_panel_rounds (SCHEMA_V35) — שורה לכל
  (הלכה, סבב): הצבעה+נימוק לכל לינאז' (claude/deepseek/gemini),
  ה-verdict, ומה הריצה עשתה (applied_action), apply_mode.
  במתכונת עמודות-הפאנל של halacha_goldset.
- db.insert_panel_round() — helper כתיבה (capture-only).
- halacha_panel_approve.py: שומר את התשובות הגולמיות (במקום
  לזרוק את הנימוק), מוסיף reason ל-NLI_SYSTEM, וכותב סבב לכל
  פריט בשני המצבים (dry-run ו---apply). --no-capture לדילוג.

capture-only: לעולם לא נוגע ב-halachot — שער-היו"ר ב-/precedents
נשאר מקור-האמת היחיד (INV-G10). ה-seed ללמידה נוצר בהצלבה מול
הכרעת-היו"ר המאוחרת על אותה הלכה (FU-2).

Invariants: מקיים INV-G10 (capture-only, שער-יו"ר יחיד),
INV-LRN1/3 (לכידה-מבנית; propose-only — אין auto-commit),
G1 (לכידה-במקור), G2 (יכולת חדשה, לא מסלול-מקביל),
G12 (לא נוגע ב-Paperclip port). חלק מ-#133.

smoke (dry-run --limit 8): 6 nli captured, errors=0, נימוקים
מלאים מ-3 השופטים.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
chaim merged commit b79f1a2420 into main 2026-06-12 04:23:32 +00:00
chaim deleted branch worktree-panel-rounds-capture 2026-06-12 04:23:32 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
chaim
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: ezer-mishpati/legal-ai#214
Delete Branch "worktree-panel-rounds-capture"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?