fix(cases): מספור 5-ספרתי לבל"מ — סיווג, ולידציה, וחיפוש פסיקה-חסרה

נוהל-יו"ר (2026-06-11): מבנה מספר-תיק = <סידורי>-<חודש>-<שנה>, ואורך הסידורי
מקודד את סוג-ההליך — 4 ספרות = ערר, 5 ספרות = בל"מ. הספרה הראשונה ממשיכה
לקבוע תחום בשני האורכים (1→רישוי, 8→היטל, 9→פיצויים). הכלל חד-כיווני:
5-ספרתי הוא תמיד בל"מ; 4-ספרתי אינו מחייב ערר (בל"מ-מורשת מזוהה מהנושא).

הבאג שדיווח עליו היו"ר: חיפוש פסיקה-חסרה לפי מספר-תיק החזיר 404 על כל ערך
שאינו תיק קיים — שבר את הטבלה תוך כדי הקלדה ועל מספרי 5-ספרות.

תיקונים:
- web/app.py: GET /api/missing-precedents — מסנן case_number שלא תאם תיק מחזיר
  רשימה ריקה (200), לא 404. סמנטיקה תקינה ל-collection-filter.
- missing-precedents/page.tsx: debounce (350ms) על שדות-הסינון — קוורי אחד
  אחרי שמפסיקים להקליד, לא אחד לכל הקשה.
- practice_area.py: regex סידורי \d{4}→\d{4,5}; case_serial_digits() +
  is_blam_by_number() (5⇒בל"מ); derive_subtype_with_blam ו-derive_proceeding_type
  מזהים בל"מ גם מ-5-ספרות (בנוסף לנושא). callers: cases.py, internal_decisions.py.
- proofreader.py: דפוסי חילוץ-שם-קובץ \d{3,4}→\d{3,5}.
- web-ui: practice-area.ts (מראָה ל-backend), schemas/case.ts (regex
  serial-month-year, 4-or-5 ספרות, superRefine 5⇒בל"מ), placeholder בוויזרד.
- תיעוד: docs/spec/X1-identifiers.md §1א + legal-ai/CLAUDE.md.

Invariants: מקיים G1 (נרמול-במקור — ספרה ראשונה כמקור-אמת יחיד לתחום),
G2 (מסלול-סיווג יחיד, אין כפילות), INV-DM/X1 (מפתח קנוני + proceeding_type).

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

web-ui/src/lib/schemas/case.ts

@@ -12,16 +12,26 @@
 import { z } from "zod";
 import type { PracticeArea, AppealSubtype } from "@/lib/practice-area";
 
-/* Appeal numbers follow the 1xxx / 8xxx / 9xxx convention from CLAUDE.md.
- * Two accepted formats, both hyphen-separated:
- *   NNNN-YY         → "1033-25"     (case sequence + 2-digit year)
- *   NNNN-MM-YY      → "1000-04-26"  (case sequence + 2-digit month + year)
+/* Appeal numbers follow the 1xxx / 8xxx / 9xxx domain convention (leading
+ * digit) from CLAUDE.md, plus the post-reform serial-length rule:
+ *   4-digit serial → ערר  (appeal)             e.g. "1230-04-26"
+ *   5-digit serial → בל"מ (extension-of-time)   e.g. "85074-09-24"
+ *
+ * New cases MUST carry the month — the canonical serial-month-year form
+ * NNNN[N]-MM-YY (X1-identifiers spec §1; chair procedure 2026-06-11). The
+ * legacy NNNN-YY (no-month) form is still tolerated by backend lookup for
+ * historical records, but is no longer accepted when opening a new case.
  *
  * Slashes are deliberately forbidden: FastAPI path routing can't capture
  * a `/` inside a {case_number} segment even when URL-encoded as %2F, so
  * any case with a slash becomes unreachable at
  * GET /api/cases/{case_number}/details. */
-const caseNumberRe = /^[1-9]\d{3}(?:-\d{2}){1,2}$/;
+const caseNumberRe = /^[1-9]\d{3,4}-\d{2}-\d{2}$/;
+
+/* Serial digit-count: leading numeric group before month/year (4 = ערר,
+ * 5 = בל"מ). Returns 0 when no serial is present. */
+const caseSerialLen = (n: string): number =>
+  n.trim().match(/^(\d{4,5})/)?.[1].length ?? 0;
 
 const hebrewPartyRe = /[\u0590-\u05FFA-Za-z]/;
 
@@ -55,7 +65,10 @@ export const caseCreateSchema = z.object({
     .string()
     .trim()
     .min(1, "שדה חובה")
-    .regex(caseNumberRe, "פורמט: NNNN-YY או NNNN-MM-YY (למשל 1033-25 או 1000-04-26)"),
+    .regex(
+      caseNumberRe,
+      'פורמט: מספר-חודש-שנה. 4 ספרות = ערר (1230-04-26), 5 ספרות = בל"מ (85074-09-24)',
+    ),
   title: z.string().trim().min(3, "כותרת קצרה מדי").max(200, "כותרת ארוכה מדי"),
   appellants: z
     .array(z.string().trim().min(1).refine((v) => hebrewPartyRe.test(v), "שם לא תקין"))
@@ -86,6 +99,16 @@ export const caseCreateSchema = z.object({
     "unknown",
   ] as const satisfies readonly AppealSubtype[]),
   proceeding_type: z.enum(["ערר", 'בל"מ'] as const),
+}).superRefine((d, ctx) => {
+  /* Post-reform rule: a 5-digit serial IS a בל"מ. One-directional — a
+   * 4-digit serial may still be a legacy בל"מ, so we don't force ערר. */
+  if (caseSerialLen(d.case_number) === 5 && d.proceeding_type !== 'בל"מ') {
+    ctx.addIssue({
+      code: z.ZodIssueCode.custom,
+      path: ["proceeding_type"],
+      message: 'מספר בן 5 ספרות הוא תיק בל"מ — סוג התיק חייב להיות בל"מ',
+    });
+  }
 });
 
 export type CaseCreateInput = z.infer<typeof caseCreateSchema>;