diff --git a/docs/spec/00-constitution.md b/docs/spec/00-constitution.md
index 73e6eb1..98d72d5 100644
--- a/docs/spec/00-constitution.md
+++ b/docs/spec/00-constitution.md
@@ -216,8 +216,7 @@ Manual* (2d ed.) | סטטוס: verified
 
 ## 7. אינדקס הספ
 
-> הערה: נכון לעכשיו קיימת רק החוקה (קובץ זה). הקבצים 01–07 ו-X1–X5 ייכתבו בהמשך —
-> הקישורים אליהם הם הפניות-קדימה, לא קישורים שבורים.
+> הערה: כל קבצי הספ (00, 01–07, X1–X5) קיימים. החוקה היא שער-הכניסה; כל קובץ-תחום כפוף לה.
 
 | קובץ | תפקיד | אוכף invariants |
 |------|--------|-----------------|
@@ -227,7 +226,7 @@ Manual* (2d ed.) | סטטוס: verified
 | [03-retrieval.md](03-retrieval.md) | 3 קורפוסים + כלי-חיפוש · hybrid/RRF · attribution · eval harness | G4, G5, G6, G7, G8, G9 |
 | [04-analysis-writing.md](04-analysis-writing.md) | חילוץ טענות · 12 בלוקים · סגנון דפנה (מצטט block-schema.md) | G11 |
 | [05-qa-review.md](05-qa-review.md) | שערי QA + שערים אנושיים (אישור הלכה, בחירת תוצאה, פידבק) כ-invariant | G10, G11 |
-| [06-export.md](06-export.md) | ייצוא DOCX לפי תבנית דפנה | — |
+| [06-export.md](06-export.md) | ייצוא DOCX לפי תבנית דפנה | G2, G9 |
 | [07-learning.md](07-learning.md) | Hermes · לקחים · לולאת פידבק היו"ר · צמיחת קורפוס (quality-at-source) | G4, G10 |
 | [X1-identifiers.md](X1-identifiers.md) | מודל מזהים קנוני: נרמול case_number בכתיבה · cases מול case_law · פורמטי ציטוט | G1 |
 | [X2-multi-company.md](X2-multi-company.md) | CMP/CMPA · 14 סוכנים · כללי sync | G2 |
diff --git a/docs/spec/X3-integration-deploy.md b/docs/spec/X3-integration-deploy.md
index 3fa35c6..299b253 100644
--- a/docs/spec/X3-integration-deploy.md
+++ b/docs/spec/X3-integration-deploy.md
@@ -174,7 +174,7 @@ drift אפשרי Infisical↔Coolify env (env לא מתעדכן אוטומטית
 `pc_request` (Python/FastAPI) — ולעולם לא `curl`/`httpx` גולמי. ה-helper מזריק `Authorization`,
 `X-Paperclip-Run-Id` (audit), ו-`Content-Type` באופן עקבי, ותומך ב-board API keys long-lived
 (מופע של [G2](00-constitution.md#inv-g2-מקור-אמת-יחיד--אין-מסלולים-מקבילים-מתפצלים) — מסלול-גישה
-קנוני יחיד ל-Paperclip; ושל [G9](00-constitution.md#inv-g9-עקיבות-מקור--audit-trail-ל-ai) —
+קנוני יחיד ל-Paperclip; ושל [G9](00-constitution.md#inv-g9-עקיבוּת-מקור--audit-trail-ל-ai) —
 audit-trail עקבי).
 **מקור-סמכות:** "קריאות API — תמיד דרך helper" ב-[legal-ai/CLAUDE.md](../../CLAUDE.md) +
 [HEARTBEAT.md §0, שורות 15–32](../../.claude/agents/HEARTBEAT.md) +
@@ -201,7 +201,7 @@ audit-trail עקבי).
 ## 5. הפניות-אחיות
 
 - [00-constitution.md](00-constitution.md) — [G2](00-constitution.md#inv-g2-מקור-אמת-יחיד--אין-מסלולים-מקבילים-מתפצלים)
-  (מסלול קנוני יחיד) + [G9](00-constitution.md#inv-g9-עקיבות-מקור--audit-trail-ל-ai) (audit-trail) +
+  (מסלול קנוני יחיד) + [G9](00-constitution.md#inv-g9-עקיבוּת-מקור--audit-trail-ל-ai) (audit-trail) +
   כלל-ההנדסה "סימטריה" ([§6](00-constitution.md#6-כללי-הנדסה-מונעים-הישנות)).
 - [X2-multi-company.md](X2-multi-company.md) — wakeup-per-company + ניתוב לפי `company_id` משלים את §1 כאן.
 - [X4-agents.md](X4-agents.md) — מפת הסוכנים שה-CEO מנתב אליהם comments.