@aiquants/spreadsheet 0.8.0 → 0.10.0

package/src/commands/useCommands.ts

@@ -39,6 +39,15 @@
  * - Return value: true = committed (or nothing needed writing), false = gate rejection / adapter
  *   rejection / command unavailable / commit-gate refusal. Every callback is identity-stable
  *   (params are read through `paramsRef`).
+ * - v0.10 read-only walls (design ADR-28/30, all through the dataAdapter helpers, refusals via the
+ *   required `rejectReadOnly` funnel): G8 `runFill` two-phase collect → walk → materialise (the
+ *   walk covers the producer's own targets — a read-only SOURCE stays legal), G9 editing
+ *   `fillSelection`, G10 `writeFormat` (walks the invoked target ranges, never the selection),
+ *   G11 `runCalc`, G12 idle insertNow, G13 the four annotate setters (commit-gate-first kept),
+ *   and G15 — ONE shared pre-check for the four popover-open command ids between the availability
+ *   bail and the dispatch-level `requestCommit` (content-present annotate chords fall through and
+ *   open the viewer; content-absent and the list chord consume + refuse without force-committing).
+ *   Capability undeclared = every wall compiles to the previous behaviour byte-identically.
  *
  * コマンド実行器 (v0.8 §4.1.13 — ADR-17)。70 の SpreadsheetCommand 全件の executeCommand、handle の
  * 書込群 (applyFormat / setBorders / setHyperlink / setNote / addComment / setValidation)、能力
@@ -67,7 +76,13 @@
  * トグルは setHighlight。formatCommandAnnouncement (opt-in) は書式コマンド成功後に announce へ
  * (state はトグルの適用後状態、非トグルは null)。戻り値: true = commit 成功 (書くものが無い場合も)、
  * false = ゲート拒否 / アダプタ拒否 / 不可用 / commit ゲート拒否。全コールバックは identity 安定
- * (パラメータは paramsRef 経由で読む)。
+ * (パラメータは paramsRef 経由で読む)。v0.10 の読み取り専用壁 (設計 ADR-28/30、全て dataAdapter
+ * ヘルパ経由、拒否は必須 `rejectReadOnly` 漏斗): G8 runFill の 2 相化 (収集 → walk → 実体化 —
+ * walk はプロデューサ自身の targets、読み取り専用ソースは合法のまま)、G9 編集中 fillSelection、
+ * G10 writeFormat (呼出しパラメータを walk — 選択ではない)、G11 runCalc、G12 idle insertNow、
+ * G13 注釈 setter ×4 (commit-gate-first 維持)、G15 = popover 系 4 コマンド id の単一 pre-check
+ * (availability bail と dispatch 水準 requestCommit の間 — 内容有の注釈チョードはビューア開通、
+ * 内容無と list は force-commit なしの消費拒否)。能力未宣言 = 全壁が従来挙動と byte 恒等。
  */
 
 import { useCallback, useMemo, useRef } from "react"
@@ -80,7 +95,7 @@ import { type CellCommentInput, normalizeAdapterHyperlink, normalizeHyperlink }
 import { type CellCoord, type CellRange, countRangeCells, enumerateRangeCells, makeRange, type SpreadsheetOperation } from "../model/cellCoord.ts"
 import { BORDER_DEFAULT_COLOR, type CellBorder, type CellBorders, type CellFormat, type CellFormatPatch, type CellValueFormat, mergeFormat } from "../model/cellFormat.ts"
 import { normalizeColor } from "../model/cellPaint.ts"
-import type { CellEdit, EditRejection, SpreadsheetDataAdapter } from "../model/dataAdapter.ts"
+import { type CellEdit, type EditRejection, isReadOnlyCell, type ReadOnlyRejection, rangesContainReadOnly, type SpreadsheetDataAdapter } from "../model/dataAdapter.ts"
 import type { DataValidationRule, ValidationVerdict } from "../model/dataValidation.ts"
 import type { PopoverKind, PopoverOverrides } from "../popover/usePopovers.ts"
 import type { SelectionState } from "../selection/selectionState.ts"
@@ -118,6 +133,15 @@ export type UseCommandsParams = {
     refreshEditPaint: () => void
     maxOperationCells: number
     onOperationRejected?: (op: SpreadsheetOperation, cellCount: number, reason: "limit" | "bounds") => void
+    /**
+     * v0.10 read-only refusal funnel (required seam — the root always wires it; identity-stable,
+     * read through paramsRef): the producer walls G8–G13 and the popover-chord pre-check G15
+     * fire it once per refused gesture. Capability absent ⇒ never called (byte identity).
+     * v0.10 読み取り専用拒否漏斗 (必須 seam — root が常に渡す。identity 安定、paramsRef 読み):
+     * プロデューサ壁 G8–G13 と popover チョード pre-check G15 が拒否ジェスチャ毎 1 回発火する。
+     * 能力未宣言なら一度も呼ばれない (バイト恒等)。
+     */
+    rejectReadOnly: (rejection: ReadOnlyRejection) => void
     /** Custom colour slots (5 each) for fillColorCustomN / fontColorCustomN. / fillColorCustomN / fontColorCustomN の色スロット (各 5)。 */
     colors: { fill: readonly string[]; font: readonly string[] }
     /** The formatCurrency currency / rendering locale; undefined ⇒ formatCurrency is unavailable (passes through). / formatCurrency の通貨 / locale。未宣言なら formatCurrency は行不在 (素通し)。 */
@@ -395,6 +419,13 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
             if (!gateSelectionWrite("format", ranges, p.maxOperationCells, p.onOperationRejected)) {
                 return false
             }
+            // G10 (v0.10 §6.9): 読み取り専用壁 — walk は**呼出しパラメータ** (targetRanges) であって選択では
+            // ない (編集列トグルはセッションセル 1×1 を渡す — 古い混在選択で拒否しない。設計 rule 3)。
+            // 限度ゲートの後 = O(1) 算術が O(cells) walk を守る既存拒否ランク
+            if (rangesContainReadOnly(p.adapter, ranges)) {
+                p.rejectReadOnly({ kind: "operation", op: "format", cellCount: countRangeCells(ranges) })
+                return false
+            }
             // memo: バケット (パッチの同一性) × base identity — パッチはジェスチャ内で定数なので
             // intern された base 1 つにつき mergeFormat は 1 回 (applyEdits 引数の format identity は 1 つ)
             const memo = new Map<number, Map<CellFormat | undefined, CellFormat | undefined>>()
@@ -478,7 +509,16 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
         }
     }, [])
 
-    /** fillDown / fillRight / fillSelection (idle). / fillDown / fillRight / fillSelection (idle)。 */
+    /**
+     * fillDown / fillRight / fillSelection (idle) — two phases since v0.10 (§0.2 R2): phase 1
+     * collects the (source, targets) pairs with coordinate arithmetic only (no reads, no edits),
+     * the G8 read-only walk runs over the collected targets, and only a passing gesture
+     * materialises (readFillSource + fillSourceEdit) and commits.
+     * fillDown / fillRight / fillSelection (idle) — v0.10 から 2 相 (§0.2 R2): 第 1 相は座標算術
+     * だけで (source, targets) 対を収集 (読みも edits 生成もしない)、G8 の読み取り専用 walk を
+     * 収集済み targets に掛け、通過したジェスチャだけが実体化 (readFillSource + fillSourceEdit)
+     * して commit する。
+     */
     const runFill = useCallback(
         (direction: "down" | "right" | "selection"): boolean => {
             const p = paramsRef.current
@@ -486,7 +526,8 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
             if (!gateSelectionWrite("fill", selection.ranges, p.maxOperationCells, p.onOperationRejected)) {
                 return false
             }
-            const edits: CellEdit[] = []
+            // 第 1 相: (source, targets) 対の収集のみ — 対の順序は従来の fillEdits 呼出し順と同一 (byte 恒等)
+            const pairs: { source: CellCoord; targets: CellCoord[] }[] = []
             if (direction === "selection") {
                 // active の内容を active 以外の全選択セルへ
                 const active = selection.active
@@ -496,7 +537,7 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
                         targets.push(cell)
                     }
                 })
-                fillEdits(active, targets, edits)
+                pairs.push({ source: active, targets })
             } else {
                 for (const range of selection.ranges) {
                     if (direction === "down") {
@@ -511,7 +552,7 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
                             for (let row = single ? range.startRow : range.startRow + 1; row <= range.endRow; row += 1) {
                                 targets.push({ row, col })
                             }
-                            fillEdits({ row: sourceRow, col }, targets, edits)
+                            pairs.push({ source: { row: sourceRow, col }, targets })
                         }
                     } else {
                         const single = range.startCol === range.endCol
@@ -525,11 +566,31 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
                             for (let col = single ? range.startCol : range.startCol + 1; col <= range.endCol; col += 1) {
                                 targets.push({ row, col })
                             }
-                            fillEdits({ row, col: sourceCol }, targets, edits)
+                            pairs.push({ source: { row, col: sourceCol }, targets })
+                        }
+                    }
+                }
+            }
+            // G8 (v0.10 §6.9): 収集済み対の全 targets を 1 サイトで walk (最初の hit で短絡)。読み取り
+            // 専用**ソース**は walk 外 = 合法のまま (Excel 同等 — RC-G8)。拒否 cellCount = Σ targets.length
+            // (overlap-naive — ONE 語彙)。実体化 (ソース読み) より前に立つ
+            for (const pair of pairs) {
+                for (const target of pair.targets) {
+                    if (isReadOnlyCell(p.adapter, target.row, target.col)) {
+                        let cellCount = 0
+                        for (const counted of pairs) {
+                            cellCount += counted.targets.length
                         }
+                        p.rejectReadOnly({ kind: "operation", op: "fill", cellCount })
+                        return false
                     }
                 }
             }
+            // 第 2 相: 実体化 — ソース毎に 1 回読み、対象へ複製 (従来と同じ呼出し順)
+            const edits: CellEdit[] = []
+            for (const pair of pairs) {
+                fillEdits(pair.source, pair.targets, edits)
+            }
             if (edits.length === 0) {
                 return true
             }
@@ -538,6 +599,60 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
         [fillEdits],
     )
 
+    /**
+     * Editing-column Ctrl+Enter (`fillSelection` with an open session): writes the session text
+     * to every selected cell as ONE applyEdits and closes the session. Order: limit gate → the
+     * G9 read-only wall (v0.10 — whole refusal, session kept, `validateCommit` unreached) → the
+     * per-target validation walk (the first strict refusal aborts before the adapter) → commit →
+     * `cancelEdit` (no double write).
+     * 編集列 Ctrl+Enter (セッション中の fillSelection): セッション文字列を全選択セルへ 1 applyEdits
+     * で書き、セッションを閉じる。順序: 限度ゲート → G9 読み取り専用壁 (v0.10 — 全体拒否・
+     * セッション保持・validateCommit 不到達) → 対象セル毎の検証 walk (最初の strict 拒否で adapter
+     * 前に中断) → commit → cancelEdit (二重書込なし)。
+     */
+    const runFillSelectionEditing = useCallback((): boolean => {
+        const p = paramsRef.current
+        // 編集列: セッション文字列を全選択セルへ 1 applyEdits、セッション閉鎖
+        const text = p.getSessionText()
+        if (text === null) {
+            return false
+        }
+        const selection = p.getSelection()
+        if (!gateSelectionWrite("fill", selection.ranges, p.maxOperationCells, p.onOperationRejected)) {
+            return false
+        }
+        // G9 (v0.10 §6.9): 読み取り専用壁 — validateCommit walk より前・セッション保持で
+        // 全体拒否 (書込集合 = 選択そのもの、意図した粗さ — 設計 rule 3)
+        if (rangesContainReadOnly(p.adapter, selection.ranges)) {
+            p.rejectReadOnly({ kind: "operation", op: "fill", cellCount: countRangeCells(selection.ranges) })
+            return false
+        }
+        // 検証ゲート (分冊 08 §4.2) は対象セル毎 — 規則はセル毎に違い得る。最初の strict 拒否で
+        // 走査を打ち切り applyEdits へ届けない (通知と message ポップオーバーは root の validateCommit が担う)
+        const edits: CellEdit[] = []
+        let rejected = false
+        enumerateRangeCells(selection.ranges, (cell) => {
+            if (rejected) {
+                return
+            }
+            if (!p.validateCommit(cell, text).ok) {
+                rejected = true
+                return
+            }
+            edits.push({ row: cell.row, col: cell.col, text })
+        })
+        // 拒否はセッション維持のまま false (Enter の keep 経路と同じ — Escape で取消 / 修正して再試行)
+        if (rejected) {
+            return false
+        }
+        if (p.commitEdits(edits, { source: "fill" }) === null) {
+            return false
+        }
+        // 値は全セルへ書かれた — セッションは破棄で閉じる (二重書込なし)
+        p.cancelEdit()
+        return true
+    }, [])
+
     /** Self-calc over the selection (source "calc"). / 選択の自己計算 (source "calc")。 */
     const runCalc = useCallback((transform: { text: (text: string) => string | null; formula: (formula: string) => string }): boolean => {
         const p = paramsRef.current
@@ -545,6 +660,11 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
         if (!gateSelectionWrite("calc", selection.ranges, p.maxOperationCells, p.onOperationRejected)) {
             return false
         }
+        // G11 (v0.10 §6.9): 読み取り専用壁 — 限度ゲート後・列挙 (アダプタ読み) 前の全体拒否
+        if (rangesContainReadOnly(p.adapter, selection.ranges)) {
+            p.rejectReadOnly({ kind: "operation", op: "calc", cellCount: countRangeCells(selection.ranges) })
+            return false
+        }
         const edits: CellEdit[] = []
         const adapter = p.adapter
         enumerateRangeCells(selection.ranges, (cell) => {
@@ -660,6 +780,68 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
         [activeHyperlink],
     )
 
+    /**
+     * G15 (v0.10 — design ADR-30): the SINGLE read-only pre-check for the popover-opening
+     * dispatches — the four popover-open command ids (`spec.kind === "popover"`) plus the
+     * `openHyperlink` host-undeclared fallback, whose execute arm opens the SAME link popover
+     * (Ctrl+K equivalent) and therefore walks the link arm of this gate. Returns false when the
+     * chord was consumed AND refused (the dispatcher aborts BEFORE its session `requestCommit` —
+     * doomed-open), true when dispatch may proceed: non-popover-opening commands (including
+     * `openHyperlink` with a declared host — a pure read), editable cells, and the
+     * content-PRESENT annotate chords (the normal open path then serves the viewer — S3 carries
+     * `cellReadOnly`, G14a is the wall; opening is a success, no callback). Content presence
+     * reads ONLY the command's own capability member (availability already guarantees the
+     * declaration); an empty note string / empty comment thread counts as ABSENT (design §8).
+     * `openValidationList` is always refused (the list surface has no view value).
+     * G15 (v0.10 — 設計 ADR-30): popover を開くディスパッチの**単一** pre-check — popover 系
+     * 4 コマンド id (`spec.kind === "popover"`) に加え、execute 腕が**同じ** link ポップオーバーを
+     * 開く `openHyperlink` の host 未宣言 fallback (Ctrl+K 同等) も link 腕を通る。false =
+     * チョード消費 + 拒否 (dispatcher はセッション requestCommit の**前**に中断 — doomed-open)、
+     * true = 続行 (popover を開かないコマンド / host 宣言時の `openHyperlink` (純粋な読み) /
+     * 編集可能セル / 内容**有**の注釈チョード — 通常 open 経路がビューアを開く。S3 が
+     * cellReadOnly を運び G14a が壁。開通は成功で callback なし)。内容有無は当該コマンドの能力
+     * メンバーだけを読む (availability が宣言を保証済み)。空文字ノート / 空スレッドは「無」扱い
+     * (設計 §8)。openValidationList は常に拒否 (list 面に閲覧価値は無い)。
+     */
+    const gateReadOnlyChord = useCallback(
+        (spec: CommandSpec): boolean => {
+            const p = paramsRef.current
+            // 壁の対象 = execute 腕が開く popover 種。openHyperlink の host 未宣言 fallback は
+            // Ctrl+K 同等の link open (宣言時は読み = 対象外。リンク無しの行不在は availability が先に落とす)
+            const popover: PopoverKind | undefined = spec.kind === "popover" ? spec.popover : spec.kind === "openHyperlink" && p.onHyperlinkOpen === undefined ? "link" : undefined
+            if (popover === undefined) {
+                return true
+            }
+            const active = p.getActive()
+            if (!isReadOnlyCell(p.adapter, active.row, active.col)) {
+                return true
+            }
+            if (popover === "list") {
+                // list 面に閲覧価値は無い (対話 = 書込そのもの) — 常に消費拒否
+                p.rejectReadOnly({ kind: "edit", cell: active, editSession: "none" })
+                return false
+            }
+            // 注釈 3 種は内容の有無で分岐 (このパッケージに独立ビューアは無い — WCAG 2.1.1)
+            let present: boolean
+            if (popover === "link") {
+                present = activeHyperlink() !== undefined
+            } else if (popover === "note") {
+                const note = p.adapter.getCellNote === undefined ? undefined : p.adapter.getCellNote(active.row, active.col)
+                present = note !== undefined && note !== ""
+            } else {
+                const thread = p.adapter.getCellComments === undefined ? undefined : p.adapter.getCellComments(active.row, active.col)
+                present = thread !== undefined && thread.length > 0
+            }
+            if (!present) {
+                // 内容無 = 純粋な追加意図 (doomed empty editor) — 消費拒否、requestCommit 不実行
+                p.rejectReadOnly({ kind: "operation", op: "annotate", cellCount: 1 })
+                return false
+            }
+            return true
+        },
+        [activeHyperlink],
+    )
+
     const executeCommand = useCallback(
         (command: SpreadsheetCommand): boolean => {
             const p = paramsRef.current
@@ -667,6 +849,14 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
                 return false
             }
             const spec = COMMAND_SPECS[command]
+            // G15 (v0.10 §6.9 / 設計 ADR-30): popover を開くディスパッチ (popover 系 4 コマンド id +
+            // openHyperlink の host 未宣言 fallback) の**単一** pre-check — 座席は availability bail と
+            // dispatch 水準 requestCommit の**間** (doomed-open 原則: 拒否腕は無関係セッションを
+            // force-commit しない)。チョードは keymap が execute 前に消費済み。
+            // imperative 経路 (handle.executeCommand / commandDispatch.execute) も同関数で自動継承
+            if (!gateReadOnlyChord(spec)) {
+                return false
+            }
             const editing = p.isEditing()
             // 編集列に無いコマンドは先にセッションを確定する (拒否なら中断)
             if (editing && !EDITING_COLUMN_COMMANDS.has(command) && !p.requestCommit()) {
@@ -733,39 +923,7 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
                     return runCalc({ text: reverseSignText, formula: reverseSignFormula })
                 case "fill": {
                     if (editing && spec.direction === "selection") {
-                        // 編集列: セッション文字列を全選択セルへ 1 applyEdits、セッション閉鎖
-                        const text = p.getSessionText()
-                        if (text === null) {
-                            return false
-                        }
-                        const selection = p.getSelection()
-                        if (!gateSelectionWrite("fill", selection.ranges, p.maxOperationCells, p.onOperationRejected)) {
-                            return false
-                        }
-                        // 検証ゲート (分冊 08 §4.2) は対象セル毎 — 規則はセル毎に違い得る。最初の strict 拒否で
-                        // 走査を打ち切り applyEdits へ届けない (通知と message ポップオーバーは root の validateCommit が担う)
-                        const edits: CellEdit[] = []
-                        let rejected = false
-                        enumerateRangeCells(selection.ranges, (cell) => {
-                            if (rejected) {
-                                return
-                            }
-                            if (!p.validateCommit(cell, text).ok) {
-                                rejected = true
-                                return
-                            }
-                            edits.push({ row: cell.row, col: cell.col, text })
-                        })
-                        // 拒否はセッション維持のまま false (Enter の keep 経路と同じ — Escape で取消 / 修正して再試行)
-                        if (rejected) {
-                            return false
-                        }
-                        if (p.commitEdits(edits, { source: "fill" }) === null) {
-                            return false
-                        }
-                        // 値は全セルへ書かれた — セッションは破棄で閉じる (二重書込なし)
-                        p.cancelEdit()
-                        return true
+                        return runFillSelectionEditing()
                     }
                     return runFill(spec.direction)
                 }
@@ -782,7 +940,8 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
                         p.onHyperlinkOpen(url, p.getActive())
                         return true
                     }
-                    // 未宣言: link ポップオーバー (Open ボタンなし)
+                    // 未宣言: link ポップオーバー (Open ボタンなし)。読み取り専用 × リンク無しの
+                    // doomed empty editor は G15 の link 腕が拒否済み (ここに届くのは開通できる open のみ)
                     p.openPopover("link")
                     return true
                 }
@@ -806,6 +965,11 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
                     }
                     // idle: active セルだけへ 1 applyEdits (選択全体には書かない)、直接確定 (セッションは無い = discarded)
                     const active = p.getActive()
+                    // G12 (v0.10 §6.9): 読み取り専用壁 — セッションレス "edit" 書込も validateCommit より前で拒否
+                    if (isReadOnlyCell(p.adapter, active.row, active.col)) {
+                        p.rejectReadOnly({ kind: "edit", cell: active, editSession: "none" })
+                        return false
+                    }
                     // Excel の Ctrl+; は編集モード経由で Enter 確定が検証される (strict ⇒ 拒否) — 分冊 08 §4.2 の
                     // fill / 貼り付け非検証免除はここへ及ばないため、strict 拒否は書込前に判定する
                     // (通知と message ポップオーバーは root の validateCommit が担う)
@@ -838,7 +1002,7 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
                 }
             }
         },
-        [isCommandAvailable, activeHyperlink, activeBase, writeConstantPatch, announceFormat, setBorders, runCalc, runFill, runHide],
+        [isCommandAvailable, gateReadOnlyChord, activeHyperlink, activeBase, writeConstantPatch, announceFormat, setBorders, runCalc, runFill, runFillSelectionEditing, runHide],
     )
 
     /** Commit gate shared by the annotation setters. / 注釈 setter 共通の commit ゲート。 */
@@ -861,6 +1025,11 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
                 return false
             }
             const active = p.getActive()
+            // G13 (v0.10 §6.9): 読み取り専用壁 — commit-gate-first は登記済み品行 (§3 preamble)、壁は commit 前
+            if (isReadOnlyCell(p.adapter, active.row, active.col)) {
+                p.rejectReadOnly({ kind: "operation", op: "annotate", cellCount: 1 })
+                return false
+            }
             return p.commitEdits([{ row: active.row, col: active.col, hyperlink: normalized }], { source: "annotate" }) !== null
         },
         [commitGate],
@@ -876,6 +1045,11 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
                 return false
             }
             const active = p.getActive()
+            // G13 (v0.10 §6.9): 読み取り専用壁 — commit 前の単一ターゲット walk
+            if (isReadOnlyCell(p.adapter, active.row, active.col)) {
+                p.rejectReadOnly({ kind: "operation", op: "annotate", cellCount: 1 })
+                return false
+            }
             return p.commitEdits([{ row: active.row, col: active.col, note: text }], { source: "annotate" }) !== null
         },
         [commitGate],
@@ -892,6 +1066,11 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
                 return false
             }
             const active = p.getActive()
+            // G13 (v0.10 §6.9): 読み取り専用壁 — 既存スレッド読み (実体化) より前で拒否
+            if (isReadOnlyCell(p.adapter, active.row, active.col)) {
+                p.rejectReadOnly({ kind: "operation", op: "annotate", cellCount: 1 })
+                return false
+            }
             // 既存スレッド (id つき) を verbatim に保ち input を末尾へ — 1 スレッドとして書く
             const existing = read(active.row, active.col)
             const thread: CellCommentInput[] = existing === undefined ? [input] : [...existing, input]
@@ -913,6 +1092,11 @@ export const useCommands = (params: UseCommandsParams): CommandRunner => {
             if (!gateSelectionWrite("annotate", ranges, p.maxOperationCells, p.onOperationRejected)) {
                 return false
             }
+            // G13 (v0.10 §6.9): 読み取り専用壁 — setValidation だけ選択レンジ walk (限度ゲート後・列挙前)
+            if (rangesContainReadOnly(p.adapter, ranges)) {
+                p.rejectReadOnly({ kind: "operation", op: "annotate", cellCount: countRangeCells(ranges) })
+                return false
+            }
             const edits: CellEdit[] = []
             enumerateRangeCells(ranges, (cell) => {
                 edits.push({ row: cell.row, col: cell.col, validation: rule })

package/src/editor/useCellEditor.ts

@@ -18,7 +18,11 @@
  * F2 — plus the extension anchor of the pointed token (the corner a Shift+Arrow chain is
  * pinned to — Excel / Sheets keyboard pointing), and `data-aqsp-pointing` is a progressive
  * visual hint written after input / selectionchange and after every mutator here — never a
- * decision input.
+ * decision input. v0.10 read-only cells (plan §6.3): G1 refuses edit-mode entry for all six
+ * entry paths at the single `startEdit` funnel (between the sink-null bail and `discardClip` —
+ * ants kept, no scroll jump, before seeding) and G16 live-re-checks the session cell at
+ * `finishEdit` commit time (after the unchanged short-circuit, before `validateCommit`);
+ * both fire the required `rejectReadOnly` funnel, and an undeclared capability is byte-identical.
  *
  * セル編集セッション状態機械 (§6.7.1)。idle / editing(edit) / editing(replace) のセッション
  * 状態・composition 追跡・グリッド外 focusout commit・suppressFocusoutCommit を所有する。
@@ -34,13 +38,17 @@
  * Excel の Enter モード)、F2 でトグル — と指しトークンの伸長アンカー (Shift+Arrow 連鎖が固定
  * する角 — Excel / Sheets のキーボードポインティング)、`data-aqsp-pointing` は input /
  * selectionchange 後と当フックの各変更操作後に書く漸進的な視覚ヒントであり判断根拠にはしない。
+ * v0.10 読み取り専用セル (計画 §6.3): G1 は全 6 入口の単一漏斗 `startEdit` で編集モード進入を
+ * 拒否し (sink-null bail と `discardClip` の間 — アンツ保持・スクロール不跳び・シード前)、G16 は
+ * `finishEdit` の確定時にセッションセルを生再検査する (無変更短絡の後・`validateCommit` の前)。
+ * どちらも必須 `rejectReadOnly` 漏斗へ発火し、能力未宣言は従来挙動とバイト同一。
  */
 
 import { type RefObject, useCallback, useEffect, useMemo, useRef, useState } from "react"
 import type { CellCoord, CellRange } from "../model/cellCoord.ts"
 import type { CellAlign } from "../model/cellFormat.ts"
 import { type EditPaint, IDLE_EDIT_PAINT } from "../model/cellPaint.ts"
-import { type CellEdit, type EditRejection, resolveEditText, type SpreadsheetDataAdapter } from "../model/dataAdapter.ts"
+import { type CellEdit, type EditRejection, isReadOnlyCell, type ReadOnlyRejection, resolveEditText, type SpreadsheetDataAdapter } from "../model/dataAdapter.ts"
 import type { ValidationVerdict } from "../model/dataValidation.ts"
 import { cycleAnchorAt, findReferenceAt, formatRangeReference, isPointingPrefix, type PointingTarget, type ReferenceAxis } from "../model/formulaRefs.ts"
 
@@ -100,6 +108,17 @@ type UseCellEditorParams = {
     discardClip: () => void
     /** Drag/edit mutual exclusion probe (§6.7.1 entry guard). / ドラッグと編集セッションの併存禁止 (冒頭ガード)。 */
     isDragging: () => boolean
+    /**
+     * v0.10 read-only refusal funnel (required seam — the root always wires it; identity-stable,
+     * read through paramsRef): G1 (a refused entry, `editSession: "none"`) and G16 (a refused
+     * commit of a mid-session flipped cell, `editSession: "kept" | "discarded"` per the caller's
+     * declared fate) fire it once per attempt. Capability absent ⇒ never called (byte identity).
+     * v0.10 読み取り専用拒否漏斗 (必須 seam — root が常に渡す。identity 安定、paramsRef 読み):
+     * G1 (入口拒否 — `editSession: "none"`) と G16 (セッション途中で読み取り専用化されたセルの
+     * 確定拒否 — 呼び手宣言の帰結どおり `"kept" | "discarded"`) が試行毎 1 回発火する。能力
+     * 未宣言なら一度も呼ばれない (バイト恒等)。
+     */
+    rejectReadOnly: (rejection: ReadOnlyRejection) => void
     /**
      * The cell's effective alignment for the editing textarea (Excel keeps the cell alignment
      * while editing in place). null = the adapter has no getCellFormat capability — the sink's
@@ -285,8 +304,11 @@ export const useCellEditor = (params: UseCellEditorParams): CellEditor => {
     }, [])
 
     /**
-     * The single terminal transition (idempotent — no-op when idle). commit=true attempts
-     * the validation gate then applyEdits; on rejection `onReject` decides the session's fate
+     * The single terminal transition (idempotent — no-op when idle). commit=true walks the
+     * pinned order: unchanged short-circuit → the v0.10 read-only live re-check (G16 — a
+     * mid-session flip refuses before `validateCommit`, firing `rejectReadOnly` with the
+     * caller-declared fate) → the validation gate → applyEdits; on rejection `onReject`
+     * decides the session's fate
      * and is DECLARED up front so the wrapper can relay it to onEditRejected: "keep" (in-grid
      * commits — the session stays open with the typed value) or "discard" (grid-exit focusout
      * — the session closes, the text-align / paint retire and the sink is re-armed immediately
@@ -295,7 +317,9 @@ export const useCellEditor = (params: UseCellEditorParams): CellEditor => {
      * applyEdits: the session just ends (Sheets-like — opening an editor and leaving without a
      * change is not a write, so read-only hosts get a smooth focus-out instead of a rejection
      * loop).
-     * 終端遷移の一本化 (冪等 — idle なら no-op)。commit=true は検証ゲート → applyEdits の順に
+     * 終端遷移の一本化 (冪等 — idle なら no-op)。commit=true は 無変更短絡 → v0.10 読み取り専用
+     * 生再検査 (G16 — セッション途中の読み取り専用化は `validateCommit` より前に拒否し、呼び手
+     * 宣言の帰結つきで `rejectReadOnly` へ発火) → 検証ゲート → applyEdits の順に
      * 試み、拒否時のセッションの行方は `onReject` が**事前に宣言**する (ラッパーが onEditRejected
      * へ中継できるように): "keep" (グリッド内確定 — 入力値ごと維持) / "discard" (グリッド外
      * focusout — セッションを閉じ、text-align / 塗りを退役し、フォーカスに触れずシンクを即再武装)。
@@ -333,13 +357,28 @@ export const useCellEditor = (params: UseCellEditorParams): CellEditor => {
                 // R4 是正)。replace モードで「打って全消し → 確定」は原文と異なるため従来どおり書込 (セルクリア)
                 const canonical = resolveEditText(p.adapter, session.cell.row, session.cell.col).text.replace(/\r\n?/g, "\n")
                 const unchanged = text === canonical
-                // 拒否文脈は呼び手が事前宣言する (onEditRejected はラッパーが発火 — ここで重ねて発火しない):
-                // keep = グリッド内確定 (セッション維持) / discard = グリッド外 focusout (破棄) の 2 値だけ
-                const rejection: EditRejection = { source: "edit", editSession: options.onReject === "keep" ? "kept" : "discarded" }
-                // 無変更は検証ゲートにも書込にも進まない (短絡)。検証ゲート (能力分岐) の拒否判定はアダプタへ
-                // 届けず applyEdits 拒否と同じ keep / discard 経路へ。commitEdits は成功でトランザクション id、
-                // 拒否で null (= 未確定)
-                const committed = unchanged || ((p.validateCommit === undefined || p.validateCommit(session.cell, text).ok) && p.commitEdits([{ row: session.cell.row, col: session.cell.col, text }], rejection) !== null)
+                // 無変更は G16 にも検証ゲートにも書込にも進まない (短絡が先頭 — 開いて閉じただけは書込で
+                // ない: 読み取り専用化されたセルの focus-out も無音で閉じ、拒否ループに化けない)。
+                // 順序契約 unchanged → G16 → validateCommit → commitEdits (v0.10 §6.3 / RC-G16v)
+                let committed: boolean
+                if (unchanged) {
+                    committed = true
+                } else if (isReadOnlyCell(p.adapter, session.cell.row, session.cell.col)) {
+                    // G16 (v0.10 §6.3 / 設計 ADR-29): セッションと読み取り専用状態は両方ライブ —
+                    // dataVersion 増分はセッションを取り消さないため、確定時にここで生再検査する。
+                    // validateCommit より前 (退路の無い確定が strict 拒否メッセージポップオーバーを
+                    // 開かない — RC-G16v)。帰結は呼び手宣言の keep / discard がそのまま payload の
+                    // editSession になり、後段の既存 keep / discard 機構へ委譲する (strict 検証拒否と同形)
+                    p.rejectReadOnly({ kind: "edit", cell: session.cell, editSession: options.onReject === "keep" ? "kept" : "discarded" })
+                    committed = false
+                } else {
+                    // 拒否文脈は呼び手が事前宣言する (onEditRejected はラッパーが発火 — ここで重ねて発火しない):
+                    // keep = グリッド内確定 (セッション維持) / discard = グリッド外 focusout (破棄) の 2 値だけ
+                    const rejection: EditRejection = { source: "edit", editSession: options.onReject === "keep" ? "kept" : "discarded" }
+                    // 検証ゲート (能力分岐) の拒否判定はアダプタへ届けず applyEdits 拒否と同じ keep / discard
+                    // 経路へ。commitEdits は成功でトランザクション id、拒否で null (= 未確定)
+                    committed = (p.validateCommit === undefined || p.validateCommit(session.cell, text).ok) && p.commitEdits([{ row: session.cell.row, col: session.cell.col, text }], rejection) !== null
+                }
                 if (!committed) {
                     if (options.onReject === "discard") {
                         // グリッド外 focusout の拒否 (§6.7.1): フォーカス無き宙吊りセッションを残さず、
@@ -380,9 +419,19 @@ export const useCellEditor = (params: UseCellEditorParams): CellEditor => {
             if (sink === null) {
                 return
             }
+            // G1 (v0.10 §6.3 / 設計 ADR-29): 全 6 入口の単一漏斗で読み取り専用を拒否する。座席は
+            // sink-null bail の直後・discardClip より前 — アンツ保持 (Excel 同様、拒否試行でコピー /
+            // カットのアンツを消さない)・スクロール不跳び・シード前の非破壊配置。既存 1 回の
+            // getActive 読みをゲート前へ巻上げ (§0.2 R3 — 追加読みゼロ、selection 読みは純粋で
+            // discardClip と独立)。E2/E3/E4 の打鍵 / 変換は武装シンクの自己修復が捨てる (isDragging
+            // 劣化と同じ検証済みの形)。発火は試行毎 1 回 (autorepeat = キーストローク毎)
+            const active = p.getActive()
+            if (isReadOnlyCell(p.adapter, active.row, active.col)) {
+                p.rejectReadOnly({ kind: "edit", cell: active, editSession: "none" })
+                return
+            }
             // 編集開始でクリップを破棄 (§6.5.4-4 — copy アンツも Excel 同様ここで消灯)
             p.discardClip()
-            const active = p.getActive()
             // active はスクロールで画面外に出得る — 画面外セルの上にエディタ / IME 候補窓を開かない (§6.7.1)
             p.ensureCellVisible(active)
             if (mode === "edit") {