docs: 行內元素三分類（KaTeX 肢解修復）＋ v1 相容層移除（changelog 2026-06-12、index）

changelog 新增 2026-06-12 條目：下游問題六（jinze 透明下潛肢解 KaTeX）三根因修復（元素判透明／avoidsSelf 自身判定／descend 三態 blocked）；三分類確立（透明／隔離 isolateSelector 新增／整體）；v1 相容層移除（I8 退役）。md 孿生塊補回填 06-09／06-11 兩條（前兩輪漏更）。 index：頭注 v1 改已移除；功能表 spacing／jinze 行補三分類口徑；新增「行內元素三分類」節（對照表＋pill 建議）；v1 節改移除記錄；md 孿生塊同步。重建 changelog.html／index.html。
2026-06-12 17:21:01 +08:00
parent 445716e34e
commit 4b4505654f
4 changed files with 232 additions and 28 deletions
@@ -1,11 +1,11 @@
-<!-- built with theme=dracula, mode=report, at=2026-06-11T08:19:00Z -->
+<!-- built with theme=dracula, mode=report, at=2026-06-12T09:20:32Z -->
 <!DOCTYPE html>
 <html lang="zh-Hant">
 <head>
 <meta charset="UTF-8">
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <title>變更紀錄（Changelog）</title>
-<meta name="generated-at" content="2026-06-09">
+<meta name="generated-at" content="2026-06-12">
 <meta name="source" content="cjk-autospace · 變更紀錄">
 <style>
 /* ---------- Core tokens ----------
@@ -2531,7 +2531,7 @@ main > *:nth-child(n+6)            { animation-delay: 0.46s; }
    <div class="meta">
        <h1>變更紀錄（Changelog）</h1>
        <p class="subtitle">聚珍（Juzhen）／cjk-autospace 之版本變更紀錄。</p>
-        <p class="timestamp"><time>2026-06-09</time> · <span>cjk-autospace · 變更紀錄</span></p>
+        <p class="timestamp"><time>2026-06-12</time> · <span>cjk-autospace · 變更紀錄</span></p>
    </div>
    <div class="actions">
        <button class="btn" type="button" data-action="export-md"    title="Copy Markdown to clipboard">Copy MD</button>
@@ -2546,6 +2546,28 @@ main > *:nth-child(n+6)            { animation-delay: 0.46s; }
 <!-- BODY -->
 <p class="lede">聚珍（Juzhen）／cjk-autospace 變更紀錄。<a href="./index.html">← 回文檔</a></p>

+<h2>行內元素三分類（KaTeX 肢解修復）＋ v1 相容層移除 <span class="badge accent">2026-06-12</span></h2>
+<p>下游問題六（KaTeX 公式被禁則綁定肢解）修復：確立行內元素<strong>三分類</strong>口徑（透明／隔離／整體），所有遍歷原語共用同一判定。v1 相容層隨最後一批消費端遷移完成而移除。單元測試 101→112 全綠。</p>
+<h3>修復（下游問題六）</h3>
+<ul>
+<li><strong>Bug：jinze 透明下潛肢解 pill</strong>。行內公式緊鄰禁則標點（<code>…$x$，</code>）時，jinze 為綁鄰字下潛 <code>.katex</code>——KaTeX 全樹皆 <code>&lt;span&gt;</code>，舊版<strong>僅憑標籤名判透明</strong>，把公式內側末字連同完整殼層逐層克隆切出（<code>splitoff</code>），上標漂移錯位；<code>pillSelector</code>／<code>skipAttribute</code>／<code>scope.avoid</code> 三層防護全被刺穿。復現另揭兩向量：相鄰兩 pill 時 <code>descend</code> 刺穿致 <code>jz-hws</code> 插入公式內部；pill 內部標點被 jiya charify。</li>
+<li><strong>根因一：判透明以標籤名而非元素</strong>。<code>transparentInline(el)</code> 改以元素判定——先排除 pill／isolate／avoid 再查標籤集；<code>core/split</code> 之 <code>canSplit</code> 諮詢 finder（pill／isolate／avoid 一律不可切 → 退化<strong>整元素綁定</strong>——pill 即「作為原子鄰字單位整體綁入 <code>jz-jinze</code>」之期望行為）。</li>
+<li><strong>根因二：avoid 僅查祖先</strong>。新增 <code>avoidsSelf(el)</code> 自身判定——元素自身命中 <code>scope.avoid</code>／<code>skipAttribute</code>／<code>data-jz-skip</code> 時即為邊界（舊版被當透明穿越，防護形同虛設）。</li>
+<li><strong>根因三：descend 越界跳找</strong>。<code>adjacentLogicalChar</code> 之 <code>descend</code> 改三態（邊界字／無內容續找兄弟／<strong>blocked</strong> 終止）——遇 pill／isolate／avoid 不可跳過續找更遠之字。</li>
+<li><strong>pill 內部全面不可見</strong>：<code>eachTextNode</code> 過濾 <code>insidePill</code>——pill 內部不 charify、不插間隙、不做長詞包裝（舊版消費端自加之 pill 如 <code>.katex</code> 內部曾被直接變更）。</li>
+</ul>
+<h3>新增：行內元素三分類（§4.1）</h3>
+<ul>
+<li><strong>透明</strong>（<code>styleInlines</code> ＋ <code>jz-*</code>）：穿越、run 延續、禁則可克隆切分——<code>strong</code>／<code>em</code> 等純樣式。</li>
+<li><strong>隔離</strong>（<code>isolateSelector</code>，<strong>新增選項</strong>，預設 <code>"mark"</code>，<code>""</code> 停用）：邊界斷 run／斷相鄰／不可切分、<strong>兩端補隙</strong>（同 pill），<strong>內部照常處理</strong>（自成脈絡）——帶背景色之 <code>&lt;mark&gt;</code> 等盒樣式行內（切分背景盒有可見接縫，<code>MARK</code> 並自可切白名單移除）。</li>
+<li><strong>整體</strong>（<code>pillSelector</code>）：內部對一切 pass 不可見，禁則時整體綁入——<code>code</code>／<code>kbd</code>、行內公式 <code>.katex</code>、引用標 <code>.cite-ref</code> 等宜納入。</li>
+<li>spacing Pass B 邊界選擇器擴為 <strong>pill ∪ isolate</strong>；jiyaAdjacency 對 isolate 斷相鄰而內部自成脈絡；orphan 補 avoid 塊不綁（舊漏判）。</li>
+</ul>
+<h3>移除：v1 相容層</h3>
+<ul>
+<li>最後一批 v1 消費端遷移 v2 API 完成，<code>src/compat/v1.ts</code>（<code>createCjkAutospace</code>）、IIFE 全域別名、死選項 <code>autospaceClass</code>（經查從未被任何 pass 讀取）一併移除；不變量 I8 退役。v1 原始碼保存於 <code>v1-autospace</code> 分支。</li>
+</ul>
+
 <h2>行內排版透明性修復 ＋ 標點懸掛移除 <span class="badge accent">2026-06-11</span></h2>
 <p>修復兩個下游 Bug（同源於「行內元素對排版透明」原則在各遍歷原語口徑不一）＋三項同根隱患審計；並把上一輪「停用」之標點懸掛<strong>正式移除</strong>（負 margin 程式碼／CSS／型別一併刪）。單元測試 90→101 全綠。</p>
 <h3>修復</h3>
@@ -2699,6 +2721,36 @@ main > *:nth-child(n+6)            { animation-delay: 0.46s; }
 <script type="text/markdown" id="md-source">
 # 變更紀錄（Changelog）— 聚珍（Juzhen）／cjk-autospace

+## 行內元素三分類（KaTeX 肢解修復）＋ v1 相容層移除（2026-06-12）
+
+### 修復（下游問題六）
+- jinze 透明下潛肢解 pill：行內公式緊鄰禁則標點時，KaTeX 全樹皆 span、舊版僅憑標籤名判透明，公式內側末字連殼層被克隆切出（splitoff）、上標漂移；pillSelector／skipAttribute／scope.avoid 三層防護全被刺穿。另修：相鄰 pill 時 descend 刺穿致 jz-hws 插入公式內部；pill 內部標點被 jiya charify。
+- 根因修復：transparentInline 以元素判定（先排除 pill／isolate／avoid）；canSplit 諮詢 finder（不可切→整元素綁定，pill 即整體綁入 jz-jinze）；avoidsSelf 自身判定（舊僅查祖先）；descend 三態（blocked 終止、不越界跳找）；eachTextNode 過濾 pill 內部。
+
+### 新增：行內元素三分類（§4.1）
+- 透明（styleInlines＋jz-*）：穿越、run 延續、可克隆切分。
+- 隔離（isolateSelector 新增選項，預設 "mark"，"" 停用）：邊界斷 run／斷相鄰／不可切分、兩端補隙，內部照常處理。MARK 自可切白名單移除（背景盒切分有可見接縫）。
+- 整體（pillSelector）：內部對一切 pass 不可見，禁則時整體綁入。spacing Pass B 邊界選擇器擴為 pill ∪ isolate。
+
+### 移除：v1 相容層
+- createCjkAutospace／IIFE 全域別名／死選項 autospaceClass 一併刪（消費端已全數遷移 v2 API）；I8 退役。測試 101→112 全綠。
+
+## 行內排版透明性修復 ＋ 標點懸掛移除（2026-06-11）
+
+### 修復
+- pill 前標點誤加間隙（漢字。\<code\>）：descend 越過 jz-char 取更前字誤補 jz-hws；isTransparentInline 補 JZ-CHAR／JZ-INNER。
+- 行內樣式元素整體掉行：core/split 克隆切分（splitoff），禁則／垂懸字只綁邊界詞元、revert 延後階段併回。
+- 審計 T4 lineedge 攀爬集由 styleInlines 派生；T5 jiyaAdjacency 遇 pill 斷相鄰；T6 spacing processPills 補 per-node 功能閘。
+
+### 移除
+- 標點懸掛由停用轉正式移除（寬度守恆矛盾，CSS 接觸不到斷行器；負 margin 程式碼／CSS／型別一併刪；hanging 選項保留為 no-op）。
+
+## 功能分級 ＋ 垂懸字（2026-06-09）
+
+- 功能分級：文本級（spacing／jiya）vs 段落級（jinze／orphan／longWord）；data-jz-level／level:{text} 標記。
+- 垂懸字避免 orphan（方案 C，斷行層無測量，預設開 chars=2）。
+- lineedge 行端半形（squeeze）＋行歸屬判定改垂直區間比較；標點懸掛實作後確認不可行、全面停用。
+
 ## 標點挤压一致性（2026-06-04）

 ### 新增／修復
@@ -4965,6 +5017,12 @@ window.__JUZHEN_PUNCT__="quanjiao";window.__JUZHEN_JUSTIFY_ATOMS__=true;window._
                      規則，結構性綁定故與分頁無關（academic 安全）。
         · longWord — 長英文段包 `<span lang="en">`，配合 `[lang|="en"]`
                      之 `hyphens: auto` 由瀏覽器原生斷詞（DOM 無連字符）。
+         · orphan   — 垂懸字避免：段末行 CJK 實義字 < 2 時把末 2 字綁
+                      `<jz-orphan nowrap>`，杜絕孤字成行（標點不計）；屬段落
+                      級、斷行層無測量，分頁安全。lib 預設即開。
+       功能分級（level）：上列 jinze／longWord／orphan 為「段落級」，僅作用於
+       段落類元素；標題與 UI chrome 經 `level.text` 標為「文本級」，只跑 spacing
+       ＋jiya（見下方 createJuzhen）。標點懸掛 hanging 上游已停用，不採用。

       標點擠壓政策（開明／全角）為「逐模式」而非逐語言：build.sh 依模式
       注入 `window.__JUZHEN_PUNCT__`（academic → kaiming 開明式；其餘 →
@@ -5059,10 +5117,39 @@ window.__JUZHEN_PUNCT__="quanjiao";window.__JUZHEN_JUSTIFY_ATOMS__=true;window._
        catch (e) { /* getComputedStyle 不可用時退預設 halt */ }
        window.Juzhen.createJuzhen({
            pillSelector:  "code, kbd, mark, .badge, .katex, .cite-ref",
+            /* KaTeX 整樹另列 avoid 範圍：公式內部任何文本都不得被聚珍觸碰。
+               ⚠ 已知上游缺陷（已記 ~/.scratch/juzhen-feedback.md，待上游修）：jinze
+               綁定公式緊鄰禁則標點（`$x$，`／`（$x$`）時，adjacentLogicalChar 經
+               styleInlines 透明下潛（SPAN 在透明清單、KaTeX 全樹皆 span）刺穿 pill／
+               skipAttribute／scope.avoid 三層防護，把公式內側末字（如 10^{-17} 之
+               「17」）連同克隆殼層切出 jz-jinze——上標漂位、公式碎裂。消費端無乾淨
+               攔法（三種防護實測均被刺穿），等上游令 descend 尊重邊界後，本行 avoid
+               即為正式屏障。 */
+            scope:         { avoid: ".katex" },
            skipAttribute: "data-md-key",
            spacing:       true,
            jinze:         true,
            longWord:      true,
+            /* level（功能分級，聚珍 §6.5.0a）：段落級功能（禁則 jinze／垂懸 orphan／長詞
+               斷字 longWord）需行／段布局，對標題、控制項、純 UI chrome 套用無益甚至有害
+               （標題被 longWord 連字斷開、單行 chrome 字串被 orphan／jinze 綁成 nowrap 而
+               溢出）。故把「非段落類」標籤標為文本級（`level.text`），僅保留文本級功能（中西
+               間隙 spacing＋標點擠壓 jiya）；真正的段落（p／li／td／blockquote／figcaption／
+               .lede／.marginalia／.references／.appendix……）不命中、維持全功能。最近祖先勝，
+               故標題與 chrome 容器一旦命中，其後代（如 .slide-title 內的 .section-name／
+               .slide-dot、.title-page 內的作者欄）一併降級。選擇器涵蓋三模式；某模式不存在之
+               class 自然不命中。 */
+            level: {
+                text: [
+                    "h1, h2, h3, h4, h5, h6",                 // 全部標題（含 deck-／section-／slide-／tp-／toc-title）
+                    "button, [role=button], .btn",            // 控制項
+                    ".subtitle, .section-subtitle, .deck-subtitle",   // 副標題
+                    ".meta, .timestamp, .actions, .page",     // report chrome
+                    ".cover-block, .slide-foot, .toc-list",   // slides 封面／頁尾／目錄條目
+                    ".deck-nav, .deck-counter, .deck-author, .deck-institute, .deck-date, .deck-actions, .deck-stage",
+                    ".title-page, .toc-page, .simple-title",  // academic 前置 chrome（含 tp-／st- 欄位）
+                ].join(", "),
+            },
            /* orphan（垂懸字避免，聚珍 §6.5.1）：段末行 CJK 實義字 < 2 時，把末 2 字
               包入 `<jz-orphan white-space:nowrap>` 拉下首字，杜絕「孤字成行」。判定僅計
               漢字實義字（標點／符號不納入）。方案 C 屬斷行層、無測量，結構性 nowrap 同