Boolean run property w:val="0" dropped on save — bold spreads to untouched runs

[kiki830621]

Problem

Original observation（2026-08-28 session，編輯一份會議摘要 docx）：
原始檔 bold runs = 13（僅標題／作者／機構列）；經 open_document → replace_text ×4 → save_document 一輪後，所有段落（含完全未觸及的 Keywords / Type / Research area 段）全部變粗體（bold runs = 21）。

機制（最小重現已確認）：save round-trip 把顯式關閉的 boolean run property <w:b w:val="0"/> 重新序列化成 <w:b/>（開）。OOXML 的 on/off property 語意是 presence + w:val：<w:b w:val="0"/> = 關；presence-based 解析把 w:val 丟掉後，語意翻轉成開。推測同族 boolean property（bCs / i / iCs / strike / vanish …）都受影響。

Type

bug

Repro（最小、確定性）

1. 建 docx，word/document.xml body：

   <w:p><w:r><w:rPr><w:b w:val="0"/></w:rPr><w:t>alpha beta</w:t></w:r></w:p>
   <w:p><w:r><w:t>gamma delta</w:t></w:r></w:p>

2. open_document → replace_text("gamma" → "GAMMA")（完全不碰 P0）→ save_document → close_document

3. 讀回 word/document.xml

Expected

P0 的 <w:b w:val="0"/> 原樣保留，或至少語意等價（非粗體）。

Actual

P0 變成 <w:rPr><w:b/></w:rPr>——未觸及的 run 由「顯式非粗體」翻轉為「粗體」。實測輸出：

<w:body><w:p><w:r><w:rPr><w:b/></w:rPr><w:t>alpha beta</w:t></w:r></w:p><w:p><w:r><w:t>GAMMA delta</w:t></w:r></w:p>…

（save 時的既知 normalization——注入 sectPr、補 xmlns——不在本 issue 範圍。）

Impact

• 靜默資料毀損：Word 產出的文件常帶 w:val="0" 顯式關閉；任何 mutation + save 後格式翻轉，工具鏈全程回報成功。
• 實際案例：投稿用摘要 docx 全文變粗體，最後靠 zip/XML 手術才還原。

Environment

che-word-mcp（plugin cache 最新 4.0.7，session 內經 MCP server 實測）；macdoc CLI 0.7.0；macOS 27.0。

Priority: P1

Cross-repo implementation

• PsychQuant/ooxml-swift#115 — explicit false on/off run properties and merge presence semantics
• PsychQuant/che-word-mcp#197 — persisted consumer regression and dependency release

---

Current Status

Phase: implemented (upstream verified; awaiting merge/release)
Last updated: 2026-08-31 by idd-verify

Key Decisions

• Primary implementation is bug: preserve explicit false run properties across read/write ooxml-swift#115 / PR Harden che-word-mcp wrapper with sha256 + code-signature verification (security follow-up from #112 push review) #116.
• Preserve public Bool reads while storing absent/on/off presence; all copy/revision paths share canonical emission.
• Consumer verification remains bug: format_text false values are reported as success but ignored che-word-mcp#197 / draft PR #198.

Scope Changes

• Pre-existing OMath splice rPr carrier defect is isolated as bug: OMath splice rPr modes are bypassed by Run.rawXML ooxml-swift#117.

Blocking

• PR Harden che-word-mcp wrapper with sha256 + code-signature verification (security follow-up from #112 push review) #116 is verified and MERGEABLE/CLEAN but intentionally not auto-merged.
• After human merge/release, draft PR #198 must replace the exact revision with a released version constraint; macdoc then updates the submodule pointer.

Commits

• Upstream program 563039c; verified snapshot a3fab8b.
• Consumer draft cd3e592.

Verification

• Upstream full report: refactor: preserve explicit false run properties ooxml-swift#116 (comment)
• ooxml 1,451 tests / 31 skips / 0 failures.
• che-word 347 tests / 12 skips / 0 failures.

Pull Requests

• refactor: preserve explicit false run properties ooxml-swift#116 — verified, awaiting human merge.
• refactor: honor false text formatting che-word-mcp#198 — draft dependency integration.

[kiki830621]

Diagnosis

Type

bug

Root Cause / Analysis

問題可在目前 ooxml-swift v3.4.0 與 v3.5.0 原始碼直接確認：RunProperties.bold／italic／strikethrough／noProof 是 plain Bool；DocxReader.parseRunProperties 只看 element 是否存在；RunProperties.toXML() 對 true 只輸出 naked element，對 false 完全不輸出。因此 <w:b w:val="0"/> 在 typed read 時被解析為 true，任何使 document.xml typed-dirty 的 mutation 都會把它重建成 <w:b/>。

這不是 replace_text 本身修改了 P0，而是共享 OOXML on/off property 模型把 absent／on／off 三態壓成二態。已建立 upstream child：PsychQuant/ooxml-swift#115。

Impact

• Primary implementation：bug: preserve explicit false run properties across read/write ooxml-swift#115。
• Consumer verification：bug: format_text false values are reported as success but ignored che-word-mcp#197。
• 影響所有經 typed reader/writer 重建的 Word 文件；未觸及 run 也可能靜默翻轉 bold/italic/strike/noProof。

Strategy

• 在 ooxml-swift 先加入 explicit-off read/write 與 unrelated-mutation RED。
• 保留既有 public Bool read surface，另保存 absent/on/off presence；assignment false 必須代表 explicit patch。
• parser 接受 ST_OnOff 的 off/on spellings；emitter 對 explicit false 產生語意等價 off。
• 讓 merge 能區分 fresh unspecified property 與 explicit false。
• 在 che-word-mcp 跑完整 save/reopen consumer regression，再更新 macdoc submodule pointer。

Conflict Class

C_shared_module_coord — 共享資源是 published ooxml-swift RunProperties 契約與 che-word-mcp consumer；必須先 upstream、後 consumer、最後 root pointer。

Complexity

Spectra — 變更 published model 的 mutation semantics，且需跨 reader、writer、merge、consumer persistence 與 release ordering。

Risks

• 直接把 Bool 改成 Bool? 會造成廣泛 source break；需維持現有讀取介面。
• 若 fresh RunProperties() 被誤視為 explicit false，任何 partial format patch 都會清掉未指定格式。
• 只修 bold 會讓同型 typed booleans 保留相同資料毀損風險。

Residue

未被 typed model 擷取的 bCs／iCs／vanish 等 raw run-property children，應由既有 tree/raw preservation 保護；若獨立反例失敗，另立 follow-up，不擴張本 issue。

Sister Concerns Filed

• bug: preserve explicit false run properties across read/write ooxml-swift#115 — upstream tri-state/presence model。
• bug: format_text false values are reported as success but ignored che-word-mcp#197 — format_text false consumer contract。