fix(precedents): נרמול case_number עמיד-להתנגשות — מדלג ומתעד, לא קורס (#145)
All checks were successful
G12 Leak-Guard / leak-guard (pull_request) Successful in 4s
Lint — undefined names / undefined-names (pull_request) Successful in 11s

ה-backfill של citation_formatted חשף קריסה ב-apply_to_record: כשפסק-דין
חיצוני מכיל docket שכבר שייך לרשומה כפולה אחרת, נרמול case_number → docket-נקי
נתקל ב-uq_case_law_external_number ומפיל את כל המיזוג (כולל הציטוט).
דוגמה: 'ע"א 3213/97' → '3213/97' שכבר קיים (כפילות נקר).

- db.case_number_collides(case_number, exclude_id) — בודק אם docket כבר שייך
  לרשומה לא-internal אחרת (האינדקס החלקי).
- apply_to_record — מדלג על נרמול ה-case_number כשיש התנגשות (כפילות לדדופ
  בהמשך, לא ענייננו כאן) וממשיך לכתוב את הציטוט. no-silent-swallow: מתעד warning.
- scripts/backfill_precedent_citations.py — try/except per-row + מונה שגיאות,
  כך ששורה אחת לא מפילה את האצווה.

אומת: ריצה-מחדש מלאה ללא קריסה (0 שגיאות); ההתנגשות תועדה ודולגה כצפוי;
פסיקת בית-משפט: 224/228 מולאו, 4 נמנעו (חסר צדדים/תאריך — abstention, INV-AH).
test_fu2b_reconcile ✓.

Invariants: INV-AH (abstention) · G1 (נרמול-בכתיבה נשמר, רק לא קורס) ·
חוקה §6 (אין בליעה שקטה — דילוג מתועד).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This commit is contained in:
2026-06-15 04:17:07 +00:00
parent 7043de0ac2
commit a02b929b5c
3 changed files with 38 additions and 4 deletions

View File

@@ -4112,6 +4112,20 @@ async def get_case_law_by_citation(case_number: str) -> dict | None:
return _row_to_case_law(row) if row else None
async def case_number_collides(case_number: str, exclude_id: UUID) -> bool:
"""True if assigning ``case_number`` to a NON-internal row would violate the
partial unique index ``uq_case_law_external_number`` (``case_number`` WHERE
source_kind <> 'internal_committee') — i.e. another non-internal row already owns
that docket. Lets a caller SKIP the identity normalization (a duplicate to dedupe
later) instead of crashing the whole operation on the unique violation."""
pool = await get_pool()
return bool(await pool.fetchval(
"SELECT 1 FROM case_law WHERE case_number = $1 AND id <> $2 "
"AND source_kind <> 'internal_committee' LIMIT 1",
case_number, exclude_id,
))
async def create_external_case_law(
case_number: str,
case_name: str,