feat(export): INV-EX4 single-template source + fix edit-path justification

מקור-תבנית-יחיד לכל מפיקי-מסמכי-ההחלטה: כולם מחילים סגנונות דרך
skills/docx/decision_template.docx בלבד; אסור hand-setting של פונט/גודל.

- docs/spec/06-export.md — INV-EX4 חדש (מקור-תבנית-יחיד, →G2)
- docx_reviser: מסלול-העריכה (revise_draft/apply_user_edit) הכניס פסקאות
  עם jc=right קשיח + David/sz ידני → איבד יישור דו-צדדי של התבנית.
  עכשיו מחיל pStyle מן-הטמפלט (Normal/Heading 2/Quote) + jc=both קנוני,
  בלי rFonts/sz ידני (הגופן/גודל מגיעים מהסגנון).
- שומר-CI test_docx_template_single_source — נכשל על בניית rFonts/sz
  במפיקים מחוץ לטמפלט (חריג מסומן # INV-EX4-ok ל-_mark_run_rtl,
  שמחזק את גופן-התבנית David כעקיפת באג-RTL של Word).
- אומת: build_party_claims_summary_docx (סיכום-מנהלים, WS3) + export_decision
  (סופי/טיוטת-ביניים) כבר תבניתיים ותואמי-INV-EX4.
- ארכוב scripts/exec_summary_1043.py (one-off; הוחלף ב-build_party_claims_summary_docx).
- עדכון 2 טסטים שאימתו את ההתנהגות הישנה (rFonts על run מוכנס).

Invariants: מקיים INV-EX4 (חדש), INV-G2 (מקור-יחיד, אין מסלול-סגנון מקביל),
INV-EX1 (DOCX נגזר). נוגע ב-docx_reviser/docx_exporter/analysis_docx_exporter.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

mcp-server/tests/test_docx_reviser.py

@@ -130,6 +130,16 @@ def _find_ins_with_runs(tree: etree._Element) -> etree._Element | None:
     return None
 
 
+def _find_enclosing_p(element: etree._Element) -> etree._Element | None:
+    """Walk up to the enclosing <w:p>."""
+    cur = element
+    while cur is not None:
+        if cur.tag == _w("p"):
+            return cur
+        cur = cur.getparent()
+    return None
+
+
 def test_insert_after_ins_has_author_and_date(sample_docx: Path, tmp_path: Path) -> None:
     out = tmp_path / "out.docx"
     rev = Revision(id="r1", type="insert_after",
@@ -147,7 +157,10 @@ def test_insert_after_ins_has_author_and_date(sample_docx: Path, tmp_path: Path)
     assert date_str.endswith("Z")  # ISO 8601 UTC
 
 
-def test_insert_after_uses_rtl_and_david(sample_docx: Path, tmp_path: Path) -> None:
+def test_insert_after_uses_rtl_and_template_style(sample_docx: Path, tmp_path: Path) -> None:
+    """INV-EX4: an inserted paragraph carries the template's named style via
+    <w:pStyle> and an <w:rtl/> run marker — but does NOT hand-set rFonts/sz
+    (font/size come from the style). jc is the canonical body 'both'."""
     out = tmp_path / "out.docx"
     rev = Revision(id="r1", type="insert_after",
                    anchor_bookmark="block-alef", content="מוסף")
@@ -162,10 +175,22 @@ def test_insert_after_uses_rtl_and_david(sample_docx: Path, tmp_path: Path) -> N
     assert run is not None
     rPr = run.find(_w("rPr"))
     assert rPr is not None
+    # RTL marker preserved (so Word picks the style's cs=David slot)…
     assert rPr.find(_w("rtl")) is not None
-    rFonts = rPr.find(_w("rFonts"))
-    assert rFonts is not None
-    assert rFonts.get(_w("ascii")) == "David"
+    # …but NO hand-set font/size on the run (INV-EX4).
+    assert rPr.find(_w("rFonts")) is None
+    assert rPr.find(_w("sz")) is None
+    assert rPr.find(_w("szCs")) is None
+
+    # The enclosing paragraph references a template style + canonical jc=both.
+    para = _find_enclosing_p(ins)
+    assert para is not None
+    pPr = para.find(_w("pPr"))
+    assert pPr is not None
+    pStyle = pPr.find(_w("pStyle"))
+    assert pStyle is not None and pStyle.get(_w("val"))  # Normal → real styleId
+    jc = pPr.find(_w("jc"))
+    assert jc is not None and jc.get(_w("val")) == "both"
 
 
 # ── apply_tracked_revisions: insert_before ────────────────────────