feat(learning): כל החלטה שלנו נכנסת תמיד לספריית-הפסיקה + בדיקת-ציטוטים אוטומטית

סוגר את הפער שלולאת-צמיחת-הקורפוס (07-learning §1.3) הוגדרה אך לא חווטה: מסלול
/final/upload הכניס רק לקורפוס-הסגנון, וההכנסה ל-case_law הייתה best-effort
שקטה שנכשלה כש-chair_name ריק.

web/app.py — /api/cases/{case}/final/upload עכשיו, סינכרונית:
- קובע chair_name דטרמיניסטית (תיק → ברירת-מחדל-ועדה לפי prefix; לעולם לא ריק →
  אילוץ case_law_internal_chair_check תמיד מסופק). לא נשען על חילוץ-LLM —
  להחלטות שלנו היו"ר ידוע.
- מכניס את ההחלטה ל-case_law כ-internal_committee (תמיד, לא best-effort) →
  ברת-ציטוט בהחלטות עתידיות. מטה-דאטה נוסף מועשר אסינכרונית (Gemini).
- מחלץ את הציטוטים שההחלטה מצטטת (extract_internal_citations), ו**מסמן
  אוטומטית** כל ציטוט שאינו בספרייה כ-missing_precedent (open) — dedup מול קיימים.
- התוצאה מוחזרת ב-response (enrolled/linked/missing_flagged) — לא נבלעת בשקט.

הציטוטים-המקושרים מזינים את לולאת-ה-corroboration (X11) — תוקן הניתוק שבו
החלטות שלנו לא היו ב-case_law ולכן לא חיזקו הלכות.

web-ui — toast מציג "נוספה לספרייה · N ציטוטים · M חסרים סומנו".
ספ: 07-learning §0.6 עודכן. אומת ידנית על בל"מ 8126-03-25 (15 קושרו / 6 סומנו).

Invariants: INV-LRN4, X11; G2 (יכולת חסרה, לא מקבילה); feedback_silent_swallow
(כשל-הכנסה צף, לא נבלע); DM7 (סמכות נגזרת).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

web-ui/src/components/cases/drafts-panel.tsx

@@ -166,6 +166,15 @@ export function DraftsPanel({
         toast.success(
           `ההחלטה הסופית נקלטה — ${data.final_words} מילים (לעומת ${data.draft_words} בטיוטה)`,
         );
+        const lib = data.library;
+        if (lib?.enrolled) {
+          toast.success(
+            `נוספה לספריית-הפסיקה · ${lib.linked ?? 0} ציטוטים קושרו · ` +
+              `${lib.missing_flagged ?? 0} חסרים סומנו להעלאה`,
+          );
+        } else if (lib?.error) {
+          toast.warning(`לא נוספה לספריית-הפסיקה: ${lib.error}`);
+        }
       },
       onError: (err) =>
         toast.error(err instanceof Error ? err.message : "שגיאה בהעלאה"),

web-ui/src/lib/api/exports.ts

@@ -189,6 +189,15 @@ export type FinalUploadResult = {
   pair_id: string | null;
   draft_words: number;
   final_words: number;
+  chair_name?: string;
+  library?: {
+    enrolled: boolean;
+    case_law_id?: string | null;
+    linked?: number;
+    missing_flagged?: number;
+    error?: string;
+    citation_error?: string;
+  };
   status: string;
 };