docs(spec): X15 שער-הפלטפורמה (G12) + X16 עמידות-פייפליין #170

Merged
chaim merged 1 commits from worktree-platform-port-durability-spec into main 2026-06-09 16:27:40 +00:00
Owner

מה ולמה

שני ספי-תחום חדשים, תכנון בלבד — ללא שינוי-קוד, בעקבות שאלת "האם להחליף את Paperclip" וניתוח מבחן-הנטישה.

  • X15 — שער-הפלטפורמה (Agent Platform Port): ממסגר את Paperclip כמעטפת ניתנת-להחלפה מאחורי Port יחיד, לא כליבה. מגדיר INV-PORT1 / G12 (Ports & Adapters · Dependency Rule · Anti-Corruption Layer), מצאי-דליפה baseline (mcp-server נקי כמעט-לחלוטין; דליפה ב-app.py, ב-10 פרומפטי-סוכנים, וב-web-ui), מפת-תיקון R0–R4, ומנגנון-אכיפה נגד דליפה-עתידית (leak-guard ע"ג spec-guard.sh + שורת-G12 בתבנית-PR).
  • X16 — עמידות-פייפליין: הטמעת LangGraph כספרייה בתוך הסקריפט (לא תחליף-פלטפורמה) ל-final_halacha/final_learning. מגדיר INV-DUR1 (checkpointing+replay, מימוש משותף _pipeline_runtime.py), SqliteSaver תחת data/checkpoints, גרעיניות מדורגת P0–P3, שימור-חוזה-CLI.

המשימות R0b–R4 + P0–P3 נפתחות ב-TaskMaster (tag legal-ai). הביצוע בפועל לא התחיל — לפי בקשת היו"ר.

Invariants — הצהרה (חובה)

  • נוגע / מקיים: G2 (מקור-אמת יחיד) — X15 מאחד מגע-פלטפורמה משוכפל למסלול-Port יחיד; G3 (idempotency) — X16 מחזק ל-durable execution. מגדיר G12 חדש (שער-הפלטפורמה) — רישומו בחוקה הוא משימת R0b. INV-PORT1, INV-DUR1.

צ'קליסט — פרוטוקול כתיבת-קוד

  • קראתי את docs/spec/00-constitution.md + ספ-התחום הרלוונטי לפני הכתיבה
  • השינוי לא יוצר מסלול מקביל ליכולת קיימת (G2) — להפך, מתעד איחוד
  • אין בליעה שקטה של שגיאות — לא רלוונטי (תיעוד בלבד)
  • בדקתי מול docs/spec/gap-audit.md — אין חפיפה ל-FU קיים
  • בדיקות — לא נדרשות (תיעוד בלבד)

אימות

docs/ בלבד — שלושה קבצים: X15-agent-platform-port.md, X16-pipeline-durability.md, ועדכון README.md (אינדקס X15–X16). אין שינוי-קוד, אין migration.

🤖 Generated with Claude Code

## מה ולמה שני ספי-תחום חדשים, **תכנון בלבד — ללא שינוי-קוד**, בעקבות שאלת "האם להחליף את Paperclip" וניתוח מבחן-הנטישה. - **X15 — שער-הפלטפורמה (Agent Platform Port):** ממסגר את Paperclip כ**מעטפת ניתנת-להחלפה מאחורי Port יחיד**, לא כליבה. מגדיר **INV-PORT1 / G12** (Ports & Adapters · Dependency Rule · Anti-Corruption Layer), מצאי-דליפה **baseline** (mcp-server נקי כמעט-לחלוטין; דליפה ב-`app.py`, ב-10 פרומפטי-סוכנים, וב-web-ui), מפת-תיקון **R0–R4**, ומנגנון-אכיפה נגד דליפה-עתידית (leak-guard ע"ג spec-guard.sh + שורת-G12 בתבנית-PR). - **X16 — עמידות-פייפליין:** הטמעת **LangGraph כספרייה בתוך הסקריפט** (לא תחליף-פלטפורמה) ל-`final_halacha`/`final_learning`. מגדיר **INV-DUR1** (checkpointing+replay, מימוש משותף `_pipeline_runtime.py`), SqliteSaver תחת `data/checkpoints`, גרעיניות מדורגת **P0–P3**, שימור-חוזה-CLI. המשימות R0b–R4 + P0–P3 נפתחות ב-TaskMaster (tag `legal-ai`). הביצוע בפועל **לא** התחיל — לפי בקשת היו"ר. ## Invariants — הצהרה (חובה) - **נוגע / מקיים:** **G2** (מקור-אמת יחיד) — X15 מאחד מגע-פלטפורמה משוכפל למסלול-Port יחיד; **G3** (idempotency) — X16 מחזק ל-durable execution. מגדיר **G12** חדש (שער-הפלטפורמה) — רישומו בחוקה הוא משימת R0b. INV-PORT1, INV-DUR1. ## צ'קליסט — פרוטוקול כתיבת-קוד - [x] קראתי את `docs/spec/00-constitution.md` + ספ-התחום הרלוונטי לפני הכתיבה - [x] השינוי **לא** יוצר מסלול מקביל ליכולת קיימת (G2) — להפך, מתעד איחוד - [x] אין בליעה שקטה של שגיאות — לא רלוונטי (תיעוד בלבד) - [x] בדקתי מול `docs/spec/gap-audit.md` — אין חפיפה ל-FU קיים - [x] בדיקות — לא נדרשות (תיעוד בלבד) ## אימות `docs/` בלבד — שלושה קבצים: `X15-agent-platform-port.md`, `X16-pipeline-durability.md`, ועדכון `README.md` (אינדקס X15–X16). אין שינוי-קוד, אין migration. 🤖 Generated with [Claude Code](https://claude.com/claude-code)
chaim added 1 commit 2026-06-09 16:27:34 +00:00
X15 — Agent Platform Port: Paperclip כמעטפת ניתנת-להחלפה מאחורי Port יחיד.
מגדיר INV-PORT1/G12 (Ports&Adapters + Dependency Rule + Anti-Corruption Layer),
מצאי-דליפה baseline (mcp-server נקי; דליפה ב-app.py + 10 פרומפטים + web-ui),
מפת-תיקון R0–R4, ומנגנון-אכיפה נגד דליפה-עתידית (leak-guard + תבנית-PR).

X16 — Durable Pipeline Execution: LangGraph כספרייה בתוך הסקריפט (לא תחליף-פלטפורמה)
ל-final_halacha/final_learning. מגדיר INV-DUR1 (checkpointing+replay, מימוש משותף),
SqliteSaver תחת data/checkpoints, גרעיניות מדורגת P0–P3, שימור-חוזה-CLI.

מיישם/מחזק: G2 (X15), G3 (X16). תכנון בלבד — ללא שינוי-קוד.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
chaim merged commit 33d8faf74a into main 2026-06-09 16:27:40 +00:00
chaim deleted branch worktree-platform-port-durability-spec 2026-06-09 16:27:40 +00:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: ezer-mishpati/legal-ai#170