diff --git a/docs/precedent-corpus-redesign/00-final-synthesis.md b/docs/precedent-corpus-redesign/00-final-synthesis.md index 4811ddc..29e021c 100644 --- a/docs/precedent-corpus-redesign/00-final-synthesis.md +++ b/docs/precedent-corpus-redesign/00-final-synthesis.md @@ -1,13 +1,15 @@ # 00 — סינתזה סופית — קורפוס-הפסיקה -> מאחדת 01–05 + **מבחן-האמת על 8508-03-24** להחלטת-ארכיטקטורה. אילוץ-העל: **אפס-ביקורת-אנושית**. -> גרסה זו מזוקקת אחרי שהמבחן הפריך הנחה מרכזית (ראה §2). +> מאחדת 01–06 + מבחן-אמת על 3 תיקים + nli-audit + **הכרעת-חיים הסופית** (§3): אפס-תור, אמינות=אזכור. +> אילוץ-העל: **אפס-ביקורת-אנושית — מוחלט.** -## 1. שתי רמות — לא לבלבל +## 1. שתי שכבות — לא לבלבל ```text -רמה A — אילו עקרונות לשמור מהחלטה נתונה → ניקוי-רעש + dedup (לא cap, לא "רק-חדש") -רמה B — אילו עקרונות לצוף באחזור לכתיבה → importance ranking (קאנון/ציטוט) +שכבת-רקע = כל החילוץ הגולמי. אוטומטי, אין תור/שער/cap. נותן recall, מדורג-נמוך. +שכבת-מאומת = רק מה שיו"ר ציטף בפועל בהקשר. הסיגנל היחיד לאמינות. גדל לפי אזכורים. ``` +(ההבחנה הישנה "רמה A=מה-לשמור / רמה B=מה-לצוף" התמזגה לכאן: לא שומרים/חותכים — **שומרים-הכל** כרקע, +והאזכור מקדם ל-trusted.) ## 2. ⚠️ מבחן-האמת ששינה את ההחלטה (8508-03-24) — שתי הרצות תיק היטל-השבחה (יו"ר אחר) שמפיק 70 עקרונות. הרצנו **שני משטרים** על אותם 70: @@ -39,46 +41,51 @@ החלטת-דפנה-עצמה). הרעש קטן (16→15→2) — "יותר מדי הלכות" היתה אבחנה-שגויה; הבעיה = **תור-אישור + היעדר-דירוג**, לא עודף-זבל. מתקנים את שניהם, והעקרונות בלתי-מזיקים (שוקעים בדירוג, נשמרים לאחזור). -## 3. ההחלטה (מזוקקת) +## 3. ההחלטה (סופית — הכרעת-חיים 2026-06-20: "אמינות=אזכור, אפס-תור") -### עמוד 1 — לא לבנות-מחדש, לא לחתוך הרסני, **לא לתחום** -שומרים את הקורפוס שלם. **אין cap. אין סינון-"רק-חדש".** החלטה עשירה = ~22 עקרונות לגיטימית. +### עמוד 1 — שתי שכבות מובחנות +```text +שכבת-רקע (לא-מאומת) = כל החילוץ הגולמי (5,489). אוטומטי לחלוטין. אין תור, אין שער, אין cap. +שכבת-מאומת (trusted) = רק עיקרון שיו"ר ציטט בפועל, בהקשר שבו הביא אותו. גדל לפי אזכורים בלבד. +``` -### עמוד 2 — רמה A: כמעט-כלום במקור (dedup אופציונלי בלבד) -המבחן הראה ש-curator זהיר שומר ~כל ה-70 (כולם בני-ציטוט). לכן במקור: **לא מסננים תוכן.** -הפעולה היחידה המותרת = **dedup של כפילויות-קרובות** (מיזוג לקנוני אחד, לא מחיקת-עיקרון-מובחן) — -ואפילו זה לא קריטי (כפילויות מדורגות-יחד וצורכות אחסון בלבד). הפאנל התלת-מודלי, אם בכלל, ל-dedup -+ ולידציית-עיגון (INV-AH) — **לא** לחיתוך/תקרה/novelty. -> **תיקון ל-PR#304:** לבטל את `HALACHA_PANEL_MAX_NEW` (cap) ואת מסנן-ה-novelty בפרומפט-הוועדה — -> הוכח אמפירית שהם משמידים עקרוני-ליבה (לוסטרניק). +### עמוד 2 — ⛔ ביטול-מוחלט של תור-ההלכות +**אין `pending_review`. אין קריאת-רשומות. אין אישור-ידני. אף פעם.** החילוץ פשוט קורה (אוטומטי), +והפלט יושב כשכבת-רקע. ה-2,402 הממתינות → מבוטלות. **מאומת אף פעם לא בא מאישור — רק מאזכור.** +> דגלי-האיכות **לא משמשים כשער** — אומת ש-`nli_unsupported`=**97% false-positive** (29/30); ה"רעש" +> שהתור כביכול תפס היה מדומה. הדגלים, אם בכלל, סיגנל-דירוג-משני בלבד. -### עמוד 3 — רמה B: דירוג-בזמן-אחזור (הלב) -`importance` כ-boost ב-RRF: קאנון-ידני[max, מיידי] · תדירות-ציטוט-מדורגת (דפנה≫יו"ר-אחר≫כללי) · -יומון · סמכות · −overruled. **רעש/החלטות-שוליות שוקעים; שום עיקרון לא נמחק.** (8508 importance=0 → -70 עקרונותיו שוקעים ממילא — אבל לוסטרניק *נשמר* אם כותב יחפש סיבתיות-בהיטל.) +### עמוד 3 — שכבת-המאומת = קאנון-אוטומטי מאזכורים +"מאומת" = `precedent_internal_citations` + **`match_context`** (ההקשר שבו היו"ר הביא את העיקרון). +נבנית **אוטומטית** מכל החלטה שיו"ר כותב — כל אזכור מוסיף עיקרון-מאומת-בהקשר. זהו **בדיוק** הקאנון-הידני +([daphna-precedent-network](daphna-precedent-network.md)), אך נבנה-מעצמו. **בינתיים מעט מאומתים — וזה בסדר** +(8508 = 0 אזכורים → 0 מאומתים). גדל עם השימוש (active-learning, INV-LRN). -### עמוד 4 — אפס-ביקורת -אין תור-`pending_review`. עקרונות לא-מאושרים מדורגים-לפי-איכות ולא צצים. active-learning מציטוטי-דפנה. -שער-conformal זמין אם יידרש ערבון; ברירת-מחדל אוטו-מלא. +### עמוד 4 — אחזור: מאומת ≫ רקע +דירוג ב-RRF: **מאומת (אזכור-יו"ר-בהקשר) צף ראשון**; שכבת-הרקע נותנת recall ומדורגת-מתחת לפי +importance (דפנה≫יו"ר-אחר≫סמכות). שום עיקרון לא נמחק; הרקע פשוט שוקע. (לוסטרניק נשמר ברקע, וצף +ל-trusted ברגע שדפנה תצטט אותו.) ### עמוד 5 — V41 canonical: לעקוף -100% תקוע + בנוי-על-אישור → האחזור מדרג ישירות על `halachot`. V41 נדחה (הפיך). +100% תקוע + בנוי-על-אישור (סותר אפס-תור) → האחזור מדרג ישירות על `halachot`. V41 נדחה (הפיך). ## 4. תיקוני-תשתית (תנאי-מקדים) - חוזה-קליטה חיצוני: 87% בלי practice_area → חילוץ-אוטומטי/`searchable=false` (G1). - לצופף גרף-ציטוטים: citator על כל 363 (לא רק 42 של דפנה). - להטמיע פסיקת-קאנון-חסרה (חוף-השרון, הרמלין) דרך X13. -## 5. מה השתנה מהזמנית (בעקבות 8508) -| היה (זמנית) | עכשיו (מזוקק) | +## 5. אבולוציית-ההחלטה +| שלב | עמדה | |---|---| -| רמה A = פאנל + **cap-5** | רמה A = **ניקוי-רעש + dedup בלבד, ללא cap/novelty** | -| "8508 עתידי → ≤5" | "8508 עתידי → ~22 עקרונות אמיתיים, פחות 16 רעש" | -| PR#304 regime נשאר כמו-שהוא | **PR#304 regime זקוק לרוויזיה** (לבטל cap+novelty) | +| זמנית | פאנל + cap-5 במקור | +| אחרי 8508/1049/1200 | לא-לחתוך; cap הרסני (איבד לוסטרניק ב-3 תיקים, גם של דפנה) | +| אחרי nli-audit | דגלי-איכות לא-אמינים (97% FP) — לא שער ולא מסנן | +| **הכרעת-חיים (סופי)** | **ביטול-תור מוחלט; "מאומת"=אזכור-יו"ר-בהקשר בלבד; גדל לפי אזכורים; מעט-מאומתים-בינתיים תקין** | ## 6. תוכנית-ביצוע (סדר) -1. תיקון-חוזה-קליטה (practice_area) — עוצר דימום. -2. רוויזיית-רמה-A: dedup+noise-only (ביטול cap/novelty ב-extractor). -3. רמה-B: importance מ-קאנון+ציטוט → boost ב-RRF (האחזור). -4. צפיפות-גרף (citator על כל 363) + הטמעת-קאנון-חסר. -5. (נדחה) V41/conformal אם יידרש. +1. **לבטל את תור-ההלכות** — להסיר `pending_review` כשער; חילוץ→שכבת-רקע אוטומטית (אפס-אדם). +2. **שכבת-מאומת מאזכורים** — לבנות מ-`precedent_internal_citations`+`match_context`; job שמעדכן בכל החלטה חדשה (גם להריץ citator על 91 הוועדות שטרם חולצו → להעשיר מאומתים). +3. **אחזור: מאומת ≫ רקע** — boost ב-RRF (האחזור). +4. **תיקון-חוזה-קליטה** (practice_area) — היגיינת-מקור. +5. **רוויזיית-PR#304** — לבטל cap+novelty (הרסניים). הפאנל/דגלים לכל-היותר סיגנל-דירוג. +6. (נדחה) V41/conformal/הטמעת-קאנון-חסר. diff --git a/docs/precedent-corpus-redesign/00-index.md b/docs/precedent-corpus-redesign/00-index.md index 7d8d210..d948ab0 100644 --- a/docs/precedent-corpus-redesign/00-index.md +++ b/docs/precedent-corpus-redesign/00-index.md @@ -19,6 +19,7 @@ | 04 | [daphna-canon-as-importance-ground-truth](04-daphna-canon-as-importance-ground-truth.md) | **הקאנון-הידני כ-ground-truth** — מתואם עם תדירות-הציטוט (מאמת הפרוקסי), חושף פערי-קורפוס, 4 שימושים ל-RAG. | Claude | | 05 | [ingest-contract-and-citation-graph-gaps](05-ingest-contract-and-citation-graph-gaps.md) | **3 מחוללי-הכאב במספרים חיים** — 87% מהחיצוני בלי practice_area; גרף-ציטוטים ריק; V41 100% תקוע (מתנגש עם אפס-ביקורת). | Claude | +| 06 | [extractor-generosity-committee-application](06-extractor-generosity-committee-application.md) | **כימות חוצה-קורפוס:** `application`=13.7% בוועדות (תכונת-מקור, לא באג) → לא לסנן. ⭐ ממצא: `nli_unsupported`=40% בפסיקה החיצונית — סוגיית-רמה-A הפתוחה. | Claude (סשן אחר) | > **הסינתזה הסופית:** [`00-final-synthesis.md`](00-final-synthesis.md) — מאחדת 01–05 + מבחן-8508. החלטה: שמור-הכל + דרג-בזמן-אחזור; רמה-A=ניקוי-רעש+dedup בלבד (ללא cap/novelty).