docs(spec): רישום G12 (שער-הפלטפורמה) בחוקה + תבנית-PR + CLAUDE (R0b, #109) #173

Merged
chaim merged 1 commits from worktree-register-g12-platform-port into main 2026-06-10 09:14:13 +00:00
Owner

מה ולמה

R0b — מעלה את G12 (שער-הפלטפורמה) ל-invariant גלובלי first-class. הספ X15 כבר מוזג (PR #170); זו החוליה הפורמלית. תיעוד בלבד.

  • 00-constitution.md §5א: INV-G12 בתבנית-ה-invariant התקנית (מקורות: Cockburn Ports & Adapters + Martin Dependency Rule + Evans Anti-Corruption Layer, verified). תיאור-הבמה → "G1–G10, G12 הנדסיים". אינדקס §7: הושלמו שורות X14/X15/X16 (X14 חסר היה קודם) ועודכן ל-G1–G12.
  • PULL_REQUEST_TEMPLATE.md: שורת-צ'קליסט "□ לא הוספתי מגע-Paperclip מחוץ ל-Platform Port (G12)" + דוגמה.
  • CLAUDE.md: מצביע ל-X15 ב-§Paperclip וב-§פרוטוקול-כתיבת-קוד.
  • X15 §2: סומן R0b הושלם.

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

  • נוגע / מקיים: G12 (מוגדר ונרשם בחוקה) · G2 (שאותו G12 מיישם — מקור-אמת יחיד למגע-פלטפורמה). אין שינוי-קוד.

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

  • קראתי את 00-constitution.md + X15
  • לא יוצר מסלול מקביל (G2) — מתעד את התפר היחיד
  • אין בליעה שקטה — לא רלוונטי (תיעוד)
  • בדקתי מול gap-audit — R0b, ללא חפיפה
  • בדיקות — לא נדרשות (docs)

אימות

docs/spec/00-constitution.md, docs/spec/X15-agent-platform-port.md, .gitea/PULL_REQUEST_TEMPLATE.md, CLAUDE.md. אין שינוי-קוד.

🤖 Generated with Claude Code

## מה ולמה R0b — מעלה את **G12 (שער-הפלטפורמה)** ל-invariant גלובלי first-class. הספ X15 כבר מוזג (PR #170); זו החוליה הפורמלית. **תיעוד בלבד.** - **00-constitution.md §5א:** `INV-G12` בתבנית-ה-invariant התקנית (מקורות: Cockburn *Ports & Adapters* + Martin *Dependency Rule* + Evans *Anti-Corruption Layer*, verified). תיאור-הבמה → "G1–G10, G12 הנדסיים". אינדקס §7: הושלמו שורות **X14/X15/X16** (X14 חסר היה קודם) ועודכן ל-G1–G12. - **PULL_REQUEST_TEMPLATE.md:** שורת-צ'קליסט "□ לא הוספתי מגע-Paperclip מחוץ ל-Platform Port (G12)" + דוגמה. - **CLAUDE.md:** מצביע ל-X15 ב-§Paperclip וב-§פרוטוקול-כתיבת-קוד. - **X15 §2:** סומן R0b הושלם. ## Invariants — הצהרה (חובה) - **נוגע / מקיים:** **G12** (מוגדר ונרשם בחוקה) · **G2** (שאותו G12 מיישם — מקור-אמת יחיד למגע-פלטפורמה). אין שינוי-קוד. ## צ'קליסט — פרוטוקול כתיבת-קוד - [x] קראתי את `00-constitution.md` + X15 - [x] לא יוצר מסלול מקביל (G2) — מתעד את התפר היחיד - [x] אין בליעה שקטה — לא רלוונטי (תיעוד) - [x] בדקתי מול gap-audit — R0b, ללא חפיפה - [x] בדיקות — לא נדרשות (docs) ## אימות `docs/spec/00-constitution.md`, `docs/spec/X15-agent-platform-port.md`, `.gitea/PULL_REQUEST_TEMPLATE.md`, `CLAUDE.md`. אין שינוי-קוד. 🤖 Generated with [Claude Code](https://claude.com/claude-code)
chaim added 1 commit 2026-06-10 09:14:08 +00:00
- 00-constitution.md §5א: INV-G12 (שער-הפלטפורמה) — Paperclip מאחורי Port יחיד;
  מקורות Cockburn Ports&Adapters + Martin Dependency Rule + Evans ACL, verified.
  עדכון תיאור-הבמה ל-"G1–G10, G12 הנדסיים"; אינדקס §7 השלים X14/X15/X16 + G1–G12.
- PULL_REQUEST_TEMPLATE.md: שורת-צ'קליסט G12 + דוגמה בהצהרת-invariants.
- CLAUDE.md: מצביע ל-X15 ב-§Paperclip ו-§פרוטוקול-כתיבת-קוד; G1–G12.
- X15 §2: סומן ש-R0b הושלם (G12 רשום בחוקה).

תיעוד בלבד. Invariants: G12 (מוגדר/נרשם), G2 (מיישם).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
chaim merged commit 8b69adc7bd into main 2026-06-10 09:14:13 +00:00
chaim deleted branch worktree-register-g12-platform-port 2026-06-10 09:14:13 +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#173