format_text bold:false is a no-op — cannot remove existing boolean formatting

[kiki830621]

Problem

Original observation（同 2026-08-28 session）：對已是 <w:b/> 的段落呼叫 format_text(paragraph_index, bold: false)，回報 Applied formatting to paragraph 0，但存檔後 <w:b/> 原樣留在檔案裡。

format_text 的 boolean 參數疑似把 false 與「未提供」合併處理（Optional<Bool> conflation）：true 能加格式；false 既不寫 <w:b w:val="0"/> 也不移除 <w:b/>，卻回報成功。與 #173 同根：boolean 格式的三態（on / off / 未指定）在內部模型被壓成二態。

Type

bug

Repro

1. 承 Boolean run property w:val="0" dropped on save — bold spreads to untouched runs #173 的 min.docx（P0 為 <w:rPr><w:b/></w:rPr>）
2. open_document → format_text(paragraph_index: 0, bold: false) → save_document → close_document
3. 讀回 word/document.xml

Expected

P0 的粗體被移除（刪 <w:b/>，或寫 <w:b w:val="0"/>）；若設計上不支援取消，應回報錯誤而非成功。

Actual

Applied formatting to paragraph 0

存檔後 P0 仍為 <w:rPr><w:b/></w:rPr>（no-op + 成功回報）。

Impact

• 無法用 MCP 取消任何 boolean 格式；成功回報造成「以為改了」的靜默失敗（session 中靠 XML 手術繞過）。
• 修 Boolean run property w:val="0" dropped on save — bold spreads to untouched runs #173 時建議一併補三態表示，兩者共用同一個 root cause。

Environment

同 #173：che-word-mcp（plugin cache 4.0.7）；macOS 27.0。

Priority: P2

Cross-repo implementation

• PsychQuant/ooxml-swift#115 — distinguish omitted patches from explicit false
• PsychQuant/che-word-mcp#197 — MCP-level false mutation and save/reopen verification

---

Current Status

Phase: implemented (draft dependency integration)
Last updated: 2026-08-31 by idd-implement

Key Decisions

• bold:false, italic:false, and underline:false are explicit removals; omitted fields remain unchanged.
• Revision-mode formatting starts from current run properties before applying the partial patch.
• Consumer depends on the tri-state model verified in bug: preserve explicit false run properties across read/write ooxml-swift#115.

Scope Changes

• Added ooxml 3.5.x rawSlotExecutionFailure compatibility required by the dependency upgrade.

Blocking

• Draft PR #198 pins upstream program commit 563039c and must not merge in this form.
• Awaiting verified upstream PR Harden che-word-mcp wrapper with sha256 + code-signature verification (security follow-up from #112 push review) #116 merge and release; then switch to a released version constraint and rerun final verify.

Commits

• Consumer draft head cd3e592.

Verification

• Focused 2/2; full 347 tests with 12 skips and 0 failures against upstream program SHA.

Pull Request

• refactor: honor false text formatting che-word-mcp#198 — draft.

[kiki830621]

Diagnosis

Type

bug

Root Cause / Analysis

format_text 正確讀到 MCP JSON boolean false，也確實執行 format.bold = false；false 並不是在 schema 或 Value.boolValue 層消失。真正的 no-op 發生在 ooxml-swift RunProperties.merge(with:)：bold/italic/strike/noProof 只在 patch 值為 true 時合併，underline 也只在非 nil 時合併。fresh patch 因此無法區分「未提供」與「明確 false」。

所以 #174 與 #173 共用上游表示法，但 consumer 仍需獨立驗證 success message 對應到 persisted mutation。已建立 PsychQuant/che-word-mcp#197，並依賴 PsychQuant/ooxml-swift#115。

Impact

• bold:false、italic:false、underline:false 目前皆可能回報成功但不改變文件。
• 下游自動化無法可靠取消格式，且無錯誤可觸發 fallback。

Strategy

• upstream patch 將 omitted 與 explicit false 分開。
• che-word-mcp 加入 omitted／true／false MCP-level RED→GREEN。
• 驗證 save/reopen 後的 OOXML 與 readback，不只檢查回傳字串。
• 確認 as_revision 對 explicit false 的支援；無法表示時必須 fail-loud。
• upstream release 後更新依賴與 macdoc submodule pointer。

Conflict Class

C_shared_module_coord — 與 #173、ooxml-swift#115、che-word-mcp#197 共用 RunProperties 與 release pointer。

Complexity

Spectra — published MCP mutation contract與 upstream model semantics 同步變更。

Risks

• 在 che-word handler 直接特判 bold 而不修 upstream merge，會留下其他 consumer 與 round-trip 資料毀損。
• 用空 RunProperties 表示 false 會再次把 omission 與 removal 混在一起。
• 若 underline false 只設 nil，仍無法證明 caller 有提出 removal。

Residue

其他尚未暴露為 format_text 參數的 boolean properties 不在 consumer tool scope，但 upstream round-trip 必須維持語意。

Sister Concerns Filed

• bug: preserve explicit false run properties across read/write ooxml-swift#115
• bug: format_text false values are reported as success but ignored che-word-mcp#197