21 KiB
00 — חוקת המערכת (Constitution)
זהו שער-הכניסה היחיד לספ המערכת עוזר משפטי. הוא מגדיר את הייעוד, עקרונות-העבודה, תבנית ה-invariant, פרוטוקול-האימות, ה-invariants הגלובליים (G1–G11), כללי-ההנדסה, אינדקס הספ ונספח המקורות. כל קובץ-תחום (01–07, X1–X5) כפוף לחוקה זו ומפנה אליה.
1. ייעוד
מערכת AI שמסייעת ליו"ר ועדת הערר לתכנון ובנייה (מחוז ירושלים, עו"ד דפנה תמיר) לנסח החלטות מעין-שיפוטיות כתובות ומנומקות — מסמכים משפטיים פורמליים שעומדים לביקורת שיפוטית — תוך שמירה על הקול, השיקול והאחריות של היו"ר.
- משרת: יו"ר הוועדה (משתמש-על) והסוכנים הפועלים בשמה.
- מחזור-חיים: ניהול תיקים → בסיס ידע (3 קורפוסים) → אחזור סמנטי (RAG) → סיוע-כתיבה (12 בלוקים, סגנון דפנה) → ייצוא DOCX.
- 3 סוגי עררים: רישוי ובנייה (1xxx, חם), היטל השבחה (8xxx, קר), פיצויים ס'197 (9xxx, קר).
- ה"למה" העמוק: המערכת מסייעת — היו"ר מכריעה (שערים קריטיים ידניים בכוונה); מנוע צבירת-ידע (לומד מהחלטות סופיות ומפידבק); רב-חברתי (CMP/CMPA).
2. עקרונות-עבודה
- אסור להניח שהקיים תקין (בהנדסה). כל מה שמופה בקוד = "טענה לבדיקה", לא "אמת". "תקין" מבחינה הנדסית נגזר ממקורות חיצוניים סמכותיים, לא מהמערכת שתחת חשד.
- פרוטוקול אימות 3-מקורות — חל על החלטות הנדסה/פיתוח בלבד: כל invariant הנדסי/
ארכיטקטוני (תכנון ובניית האפליקציה — נתונים, מזהים, ingest, אחזור) מגובה ב-≥3 מקורות
סמכותיים מוכרים בעלי ידע מקצועי מוכח. כשאין 3 → מסומן
⚠ UNVERIFIEDומועלה ליו"ר. התוכן המשפטי אינו כפוף לכלל זה — הסמכות עליו היא היו"ר (דפנה) ומסמכי-הפרויקט (block-schema, decision-methodology, legal-decision-lessons, skills/decision), לא מקורות חיצוניים. - מנגנון: מחקר עצמאי → טיוטה לביקורת. קודם חוקרים את הסמכויות החיצוניות (להחלטות הנדסה), ורק אז מנסחים את ה-invariant.
- מודל-שיתוף: על החלטות טכניות/אדריכליות אני חוקר ומכריע מקצועית ומציג תוצאה מוגמרת. שואל את היו"ר (חיים) רק במקום שבו הוא הסמכות — כוונה, עדיפויות עסקיות, ותוכן משפטי-דומייני.
3. תבנית-invariant
מבנה אחיד לכל חוק בספ (בכל הקבצים):
### INV-<תחום><מספר>: <כותרת קצרה>
**כלל:** <ניסוח נורמטיבי חד — מה חייב להתקיים>
**מקורות:** <≥3 סמכויות> | סטטוס: verified / ⚠ UNVERIFIED
**אכיפה:** <היכן/איך נאכף — schema / ולידציית-כתיבה / בדיקת-בריאות / שער אנושי>
**הפרה ידועה:** <דוגמה מהמערכת, אם יש — מקשר ל-audit; אחרת "—">
שדה המקורות לפי סוג invariant (שלושה מודלי-סמכות):
- הנדסי (תאוריה כללית — נתונים/אחזור/ארכיטקטורה) →
מקורות= ≥3 סמכויות חיצוניות +סטטוס.- תוכן-משפטי →
מקור-סמכות= היו"ר + מסמכי-הפרויקט (ללא סטטוס-אימות חיצוני).- פרויקטלי-תפעולי (עובדות על האינטגרציה/התפעול של מערכת זו — אין להן סמכות חיצונית, למשל "wakeup דרך API") →
מקור-סמכות= ה-runbooks של הפרויקט (CLAUDE.md, HEARTBEAT.md, סקריפטים), קשור ל-invariant הנדסי גלובלי שאותו הוא מיישם.
4. פרוטוקול-אימות
חל על invariants הנדסיים (G1–G10) — החלטות תכנון/בניית האפליקציה. ה-invariant של תוכן-משפטי (G11) אינו כפוף לפרוטוקול זה; הסמכות עליו היא היו"ר + מסמכי-הפרויקט.
- כל invariant הנדסי נושא שדה
מקורות+סטטוס: verified / ⚠ UNVERIFIED. - verified = מגובה ב-≥3 מקורות סמכותיים מוכרים בעלי ידע מקצועי מוכח.
- ⚠ UNVERIFIED = החלטה הנדסית שיש לה פחות מ-3 מקורות סמכותיים מאומתים. פריט כזה לא מוכרע לבד — מועלה ליו"ר עם הערת-הסלמה המתעדת מה חסר והיכן יאומת.
- החלטות טכניות → מחקר עצמאי + הכרעה מקצועית + הצגת תוצאה. שאלה ליו"ר רק במקום שבו הוא הסמכות (ראה עיקרון 4 לעיל).
5. Invariants גלובליים
אלה החוקים החוצים את כל המערכת — לב החוקה. הם נחלקים לשני סוגים לפי מקור-הסמכות:
- G1–G10 — invariants הנדסיים (תכנון/בניית האפליקציה): כל אחד מגובה ב-≥3 סמכויות טכניות מוכרות (נספח §8). ביחד הם מייבשים את כשל-השורש החוזר: מסלולים/קורפוסים מקבילים שמתפצלים (drift) בלי שכבה שמגדירה ואוכפת "תקין".
- G11 — invariant תוכן-משפטי: הסמכות עליו היא היו"ר (דפנה) + מסמכי-הפרויקט, לא מקורות חיצוניים, ואינו כפוף לפרוטוקול ≥3-המקורות.
5א. Invariants הנדסיים (G1–G10)
INV-G1: מזהה קנוני מנורמל בכתיבה
כלל: לכל ישות יש מזהה קנוני יחיד, מנורמל בנקודת-הכתיבה (לא תיקון-סלחני בקריאה
בלבד). case_number נשמר בצורה קנונית אחת; קריאה משווה מול הצורה הקנונית, לא מטליאה.
מקורות: SSOT (Single Source of Truth — normalization principle) · E.F. Codd, First
Normal Form (CACM 13(6), 1970) · Martin Kleppmann, Designing Data-Intensive Applications
(O'Reilly, 2017) | סטטוס: verified
אכיפה: schema (אילוץ ייחודיות על המפתח הקנוני) + ולידציית-כתיבה בנקודת-הקליטה;
מפורט ב-X1-identifiers.md ו-02-data-model.md.
הפרה ידועה: _normalize_case_number סלחני בקריאה בלבד (קומיט "tolerant case_number
lookup"); 8126-25 לא נמצא מול האמיתי 8126-03-25 → ממצא ל-audit.
INV-G2: מקור-אמת יחיד — אין מסלולים מקבילים מתפצלים
כלל: לכל סוג-נתון יש מקור-אמת יחיד ומסלול-קוד קנוני אחד. אסור להוסיף מסלול
מקביל ליכולת קיימת — ישויות-אחיות חולקות מסלול קנוני אחד; נתונים נגזרים (derived)
משוחזרים מהמקור, לא נכתבים במקביל.
מקורות: Martin Kleppmann (system of record vs. derived data, DDIA 2017) · Martin
Fowler (Canonical Data Model) · SSOT (Single Source of Truth) | סטטוס: verified
אכיפה: ביקורת-ארכיטקטורה + כלל-הנדסה "סימטריה" (§6); מפורט ב-01-ingest.md.
הפרה ידועה: שני מסלולי ingest מקבילים לישויות-אחיות (ingest_precedent מול
ingest_internal_decision) שמתפצלים — לדוגמה: המסלול החיצוני מתזמן חילוץ metadata
(request_metadata_extraction), והמסלול הפנימי לא — ולכן ערן סופר 8046/24 נקלטה בלי
metadata → ממצא ל-audit.
INV-G3: ingest אחיד ו-idempotent
כלל: קליטה היא אחידה ו-idempotent — upsert על מפתח דטרמיניסטי. קליטה חוזרת של
אותו פריט אינה יוצרת כפילות ואינה משנה תוצאה.
מקורות: Martin Kleppmann (DDIA, idempotence & exactly-once) · Stripe / CDC
idempotency-key pattern · ISO 8000 (Data quality) | סטטוס: verified
אכיפה: ולידציית-כתיבה + מפתח-upsert דטרמיניסטי בנקודת-הקליטה; מפורט ב-
01-ingest.md.
הפרה ידועה: 3 החלטות "סופר" נקלטו ב-3 פורמטים שונים (8126/24, ציטוט-מלא
כ-case_number) — היעדר upsert דטרמיניסטי → ממצא ל-audit.
INV-G4: חוזה-שלמות לפני "שמיש / ניתן-לחיפוש"
כלל: רשומה אינה נחשבת "שמישה" או "ניתנת-לחיפוש" עד ששדות-החובה שלה מולאו ואומתו
מול spec מפורש. שלמות נבדקת לפני חשיפה לאחזור.
מקורות: ISO 8000 (completeness) · DAMA-UK Six Primary Dimensions for Data Quality
(2013, completeness) · ISO 15489-1:2016 (records reliability) | סטטוס: verified
אכיפה: חוזה-שלמות באכיפת-קוד + בדיקת-בריאות; מפורט ב-02-data-model.md
ו-03-retrieval.md.
הפרה ידועה: ערן סופר 8046/24 אונדקס עם headnote/summary/tags ריקים → ממצא
ל-audit.
INV-G5: metadata מלא + הפרדת-קורפוס נאכפת בכל query
כלל: לכל פריט מואנדקס יש metadata מלא (כולל מזהה-מקור וסוג-קורפוס), והפרדת-
הקורפוס נאכפת בכל מסלול-query — אין דליפה בין 3 הקורפוסים.
מקורות: Pinecone (multitenancy / metadata filtering) · RAG attribution (Lewis et al.,
2020, NeurIPS) · ISO 8000 (Data quality) | סטטוס: verified
אכיפה: schema (metadata חובה) + פילטר-קורפוס נאכף בשכבת-החיפוש; מפורט ב-
03-retrieval.md ו-X5-audit-provenance.md.
הפרה ידועה: משימה #56 — דליפת source_kind ב-halacha_filters בין קורפוסים →
ממצא ל-audit.
INV-G6: re-index בכל שינוי תוכן
כלל: כל שינוי-תוכן של פריט מואנדקס מפעיל re-index של ה-embedding שלו. אין embeddings מיושנים מול התוכן הנוכחי. מקורות: Pinecone (index freshness / data sync) · Weaviate (re-vectorization on update) · RAG freshness (Lewis et al., 2020) | סטטוס: verified אכיפה: טריגר re-index בנקודת-העדכון + בדיקת-בריאות (גילוי drift); מפורט ב- 02-data-model.md ו-03-retrieval.md. הפרה ידועה: —
INV-G7: מיזוג RRF — לא סכום-ציונים
כלל: מיזוג תוצאות בין retrievers נעשה לפי דירוג (Reciprocal Rank Fusion), לא סכום/ממוצע ציונים גולמיים — שכן ציונים בסקיילים שונים אינם בני-השוואה ישירה. מקורות: Elastic (Reciprocal Rank Fusion) · Weaviate (Hybrid Search Explained) · OpenSearch / Azure AI Search (corroborating RRF guidance) | סטטוס: verified אכיפה: קוד-המיזוג בשכבת-האחזור; מפורט ב-03-retrieval.md. הפרה ידועה: —
INV-G8: איכות-אחזור נמדדת — precision + recall
כלל: איכות-האחזור נמדדת אמפירית (precision + recall) באמצעות eval harness, לא מונחת. שינוי בשכבת-האחזור מלווה במדידה. מקורות: Manning, Raghavan & Schütze, Introduction to Information Retrieval (CUP, 2008) · RAG evaluation literature (Lewis et al., 2020 ואחריו) · Elastic (relevance evaluation guidance) | סטטוס: verified אכיפה: eval harness + בדיקת-בריאות תקופתית; מפורט ב-03-retrieval.md. הפרה ידועה: —
INV-G9: עקיבוּת-מקור + audit-trail ל-AI
כלל: כל פלט של המערכת עקיב למקורו (citation/provenance), וכל שימוש ב-AI מתועד ב-audit-trail הניתן לביקורת. מקורות: Council of Europe / CEPEJ — European Ethical Charter on AI in judicial systems (2018, user-control principle) · NCSC/JTC — Principles & Practices for AI Use in Courts · ISO 15489-1:2016 (records authenticity/integrity) | סטטוס: verified אכיפה: audit-trail באכיפת-קוד + עקיבוּת-מקור בכל פלט; מפורט ב- X5-audit-provenance.md. הפרה ידועה: —
INV-G10: המערכת מסייעת — שערים אנושיים הם invariant
כלל: המערכת מסייעת ואינה מחליפה את שיקול-הדעת האנושי. השערים האנושיים (אישור הלכה, בחירת תוצאה, פידבק היו"ר) הם invariant — חובה, לא רשות. מקורות: NCSC/JTC — Principles & Practices for AI Use in Courts ("never replace human judgment") · CEPEJ (2018, under user control) · Federal Judicial Center — Judicial Writing Manual (2d ed.) | סטטוס: verified אכיפה: שערים אנושיים בקוד-הזרימה (gate לא ניתן לעקיפה); מפורט ב-05-qa-review.md. הפרה ידועה: 10/19 הלכות מאושרות, התגלה במקרה — שער ידני שקוף בלי נראות backlog → ממצא ל-audit.
5ב. Invariant תוכן-משפטי (G11)
INV-G11: תוכן החלטה מנומקת
כלל: החלטה מנומקת מקיימת: רקע ניטרלי (עובדות בלבד, ללא שיפוט) · ללא כפילות (בלוק דיון מפנה, לא חוזר) · מענה לטענות הצד המפסיד · "מבחן-השופט" (קריא לשופט שלא מכיר את התיק) · טענות מקוריות בלבד (מכתבי הטענות). מקור-סמכות: היו"ר (עו"ד דפנה תמיר) + מסמכי-הפרויקט — block-schema.md, decision-methodology.md, legal-decision-lessons.md, skills/decision/SKILL.md. אינו כפוף לפרוטוקול ≥3-המקורות החיצוני — זהו תוכן משפטי-דומייני, באחריות היו"ר. אכיפה: שערי QA + checklist-תוכן לפי סוג-ערר; מפורט ב-04-analysis-writing.md ו-05-qa-review.md. הפרה ידועה: —
6. כללי-הנדסה (מונעים הישנות)
- סימטריה: אסור להוסיף מסלול מקביל ליכולת קיימת — מרחיבים את המסלול הקנוני (נגזר מ-G2).
- נרמול לא תיקון-תסמין: מתקנים נתון במקור (קנוני), לא מטליאים בקריאה (נגזר מ-G1).
- Quality-at-source: שלמות נאכפת קרוב ככל האפשר לקליטה (Martin Fowler — Data Mesh / quality-at-source; נגזר מ-G4).
- אין בליעה שקטה: רשומה חסרה/פגומה מסומנת ומדווחת, לא מתקבלת בשקט (תואם feedback
קיים — אסור bare
except: pass; נגזר מ-G4).
7. אינדקס הספ
הערה: נכון לעכשיו קיימת רק החוקה (קובץ זה). הקבצים 01–07 ו-X1–X5 ייכתבו בהמשך — הקישורים אליהם הם הפניות-קדימה, לא קישורים שבורים.
| קובץ | תפקיד | אוכף invariants |
|---|---|---|
| 00-constitution.md | חוקה — ייעוד, invariants גלובליים, כללי-הנדסה, אינדקס | G1–G11 |
| 01-ingest.md | קליטה מאוחדת: מסמכי-תיק / פסיקה חיצונית / החלטות-ועדה — חוזה מסלול-יחיד | G2, G3 |
| 02-data-model.md | אחסון: ישויות (cases, case_law, documents, chunks, halachot…) + חוזה-שלמות לכל ישות | G1, G4, G6 |
| 03-retrieval.md | 3 קורפוסים + כלי-חיפוש · hybrid/RRF · attribution · eval harness | G4, G5, G6, G7, G8, G9 |
| 04-analysis-writing.md | חילוץ טענות · 12 בלוקים · סגנון דפנה (מצטט block-schema.md) | G11 |
| 05-qa-review.md | שערי QA + שערים אנושיים (אישור הלכה, בחירת תוצאה, פידבק) כ-invariant | G10, G11 |
| 06-export.md | ייצוא DOCX לפי תבנית דפנה | — |
| 07-learning.md | Hermes · לקחים · לולאת פידבק היו"ר · צמיחת קורפוס (quality-at-source) | G4, G10 |
| X1-identifiers.md | מודל מזהים קנוני: נרמול case_number בכתיבה · cases מול case_law · פורמטי ציטוט | G1 |
| X2-multi-company.md | CMP/CMPA · 14 סוכנים · כללי sync | G2 |
| X3-integration-deploy.md | Paperclip (wakeup, ניתוב comments, webhooks) · Coolify/pm2 | G2, G9 (תפעולי) |
| X4-agents.md | מפת הסוכנים (דומיין + סוכני-התהליך) | G10 |
| X5-audit-provenance.md | audit-trail לשימוש ב-AI · עקיבוּת כל מקור מצוטט · שלמות-רשומה | G5, G9 |
עקרונות: כל קובץ עצמאי, ממוקד, agent-readable, יעד ≤~500 שורות (תפיחה = סימן
לפיצול). מסמכים קיימים (architecture.md, product-specification.md, block-schema.md…)
לא נמחקים ולא משוכפלים — מצוטטים כ"מקור" ומאומתים מול הסמכויות; סתירה = ממצא ל-audit.
8. נספח מקורות סמכותיים
(מאומתים במחקר 30.5.2026)
ממשל-AI שיפוטי + שערים אנושיים (G9, G10)
- NCSC / JTC — Court Technology Standards + Principles & Practices for AI Use in Courts. https://www.ncsc.org/our-centers-projects/joint-technology-committee/court-technology-standards
- Council of Europe / CEPEJ — European Ethical Charter on the use of AI in judicial systems (2018, user-control principle).
- Federal Judicial Center — Judicial Writing Manual (2d ed.) — לעניין שיקול-הדעת האנושי בכתיבה השיפוטית. https://www.fjc.gov/content/judicial-writing-manual-pocket-guide-judges-second-edition
אחזור / RAG / IR
- Lewis et al. (2020) — Retrieval-Augmented Generation (NeurIPS). https://arxiv.org/abs/2005.11401
- Manning, Raghavan & Schütze — Introduction to Information Retrieval (CUP, 2008). https://nlp.stanford.edu/IR-book/
- Elastic — Reciprocal Rank Fusion. https://www.elastic.co/docs/reference/elasticsearch/rest-apis/reciprocal-rank-fusion
- Pinecone — Implement multitenancy. https://docs.pinecone.io/guides/index-data/implement-multitenancy
- Weaviate — Hybrid Search Explained. https://weaviate.io/blog/hybrid-search-explained
שלמות-נתונים / איכות / רשומות
- DAMA-DMBOK2 + DAMA-UK — Six Primary Dimensions for Data Quality (2013).
- ISO 8000 — Data quality (8000-8/61/110).
- ISO 15489-1:2016 — Records management (authenticity/reliability/integrity/usability).
- Martin Kleppmann — Designing Data-Intensive Applications (O'Reilly, 2017).
- E.F. Codd — Relational model & normalization (CACM 13(6), 1970).
- Martin Fowler — Canonical Data Model / Data Mesh (quality-at-source).
(נספח המקורות מתייחס ל-invariants ההנדסיים G1–G10 בלבד. התוכן המשפטי — G11 — נשען על מסמכי-הפרויקט וסמכות היו"ר, כמפורט ב-G11.)