@aiquants/spreadsheet 0.9.0 → 0.11.0

package/src/clipboard/tiling.ts

@@ -10,7 +10,11 @@
  * the conditional-format translation moves rule ranges by these origins). `tileCells` returns
  * the tile origins it entered (a tile whose origin lies inside the grid, even when the grid edge
  * clips part of it). Grid-edge clipping is silent (the §6.5.3 deviation). estimatePasteCellCount
- * pre-checks WITHOUT materializing (ADR-12). The private expandCutPaste is the cut-move path:
+ * pre-checks WITHOUT materializing (ADR-12). v0.10 (ONE geometry, TWO readers — ADR-28 rule 5):
+ * computePasteTargetRect is the tiler's geometry judgment extracted pure (consumed by tileCells
+ * AND walked by the G5 / G6a read-only paste walls) and fillExtensionRects is the disjoint
+ * ≤2-rect decomposition of box ∖ source the G7 wall walks (bound to expandFill's emission set by
+ * the per-geometry set-equality spec, never by restructuring the filler). The private expandCutPaste is the cut-move path:
  * never tiles, and the CALLER rejects grid-edge clipping. Fill (§8.3, barrel-PRIVATE):
  * expandFill fills every box cell OUTSIDE the source with 2D source-start modular anchoring
  * (single-axis bands and diagonal L-shapes share one formula — v0.3), generic over the source
@@ -28,7 +32,10 @@
  * タイルの原点 (タイル毎に 1 つの共有 object — 条件付き書式のレンジ平行移動が使う) を
  * 受け取る。`tileCells` は入ったタイルの原点 (原点がグリッド内のタイル — 端で一部が切れても
  * 残る) を返す。グリッド外は静かに切り捨て (§6.5.3 の逸脱)。estimatePasteCellCount は
- * 展開せず事前見積もる (ADR-12)。expandCutPaste は cut-move 専用 (タイルしない — グリッド外
+ * 展開せず事前見積もる (ADR-12)。v0.10 (1 幾何 2 読者 — ADR-28 rule 5): computePasteTargetRect
+ * はタイラーの幾何判断の純関数抽出 (tileCells が消費し、G5 / G6a の読み取り専用 paste 壁が
+ * walk する)、fillExtensionRects は G7 壁が walk する box ∖ source の非交 ≤2 矩形分解
+ * (expandFill の発行集合とは幾何毎の集合等値 spec で束ね、filler は再構成しない)。expandCutPaste は cut-move 専用 (タイルしない — グリッド外
  * クリップの拒否は呼び出し側 §6.5.4-4)。fill (§8.3 — barrel 非公開): expandFill はソース
  * 開始端 anchoring の 2D 剰余式で「バウンディングボックス − ソース」へ展開 (単軸帯も斜め
  * L 字も同一式 — v0.3 の斜めフィル) し、ソースセル型に generic で対象毎の emitter を受ける
@@ -39,7 +46,7 @@
  */
 
 import { normalizeAdapterHyperlink } from "../model/cellAnnotations.ts"
-import { type CellCoord, type CellRange, rangeSize } from "../model/cellCoord.ts"
+import { type CellCoord, type CellRange, makeRange, rangeSize } from "../model/cellCoord.ts"
 import { type CellFormat, canonicalizeFormat } from "../model/cellFormat.ts"
 import { type CellEdit, resolveEditText, type SpreadsheetDataAdapter } from "../model/dataAdapter.ts"
 import type { DataValidationRule } from "../model/dataValidation.ts"
@@ -57,6 +64,45 @@ export const estimatePasteCellCount = (source: readonly (readonly string[])[], t
     return isTileTarget ? size.rows * size.cols : srcRows * srcCols
 }
 
+/**
+ * The grid-clamped rectangle a paste occupies, from dimensions alone (v0.10 — ONE geometry,
+ * TWO readers, ADR-28 rule 5): the §6.5.3 table's judgment verbatim — a non-1×1 target whose
+ * both extents are exact multiples of the dims tiles (output = target extents), anything else
+ * expands once (output = the dims); the origin is `active` for a 1×1 target, else the target's
+ * top-left; the output rectangle is clamped to the grid. Null when the origin lies outside the
+ * grid or the dims are empty — exactly the case `tileCells` visits nothing. `tileCells` consumes
+ * THIS function for its geometry and the G5 / G6a read-only walls walk THIS rect, so the walled
+ * rectangle and the written rectangle cannot drift.
+ * 寸法だけから貼り付けが占めるグリッド clamp 済み矩形 (v0.10 — 1 幾何 2 読者、ADR-28 rule 5)。
+ * §6.5.3 の表の判断そのまま — 非 1×1 かつ両軸が寸法の整数倍のターゲットはタイル (出力 =
+ * ターゲット寸法)、それ以外は 1 回展開 (出力 = 寸法)。基点は 1×1 ターゲットなら `active`、
+ * さもなくばターゲット左上。出力矩形はグリッドへ clamp。基点がグリッド外か寸法が空なら null —
+ * `tileCells` が何も訪問しないケースと厳密一致。`tileCells` はこの関数を幾何として消費し、
+ * G5 / G6a の読み取り専用壁もこの矩形を walk する — 壁の矩形と書込矩形は乖離し得ない。
+ */
+export const computePasteTargetRect = (dims: { rows: number; cols: number }, target: CellRange, active: CellCoord, rowCount: number, colCount: number): CellRange | null => {
+    // 空寸法は占有矩形なし (tileCells の空ソース早期 return と同じ意味論)
+    if (dims.rows === 0 || dims.cols === 0) {
+        return null
+    }
+    const size = rangeSize(target)
+    const isSingleTarget = size.rows === 1 && size.cols === 1
+    // 整数倍レンジ (1×1 を除く) はタイル、それ以外は 1 回展開 (§6.5.3 の表)
+    const isTileTarget = !isSingleTarget && size.rows % dims.rows === 0 && size.cols % dims.cols === 0
+    const outRows = isTileTarget ? size.rows : dims.rows
+    const outCols = isTileTarget ? size.cols : dims.cols
+    // 基点: 単一セル選択なら active、それ以外は現在レンジの左上 (表の規則そのもの)
+    const origin = isSingleTarget ? active : { row: target.startRow, col: target.startCol }
+    // グリッド外は切り捨て (逸脱 — Excel は拒否。§6.5.3 の表参照): 出力矩形をグリッド境界でクランプ
+    const rowEnd = Math.min(outRows, rowCount - origin.row)
+    const colEnd = Math.min(outCols, colCount - origin.col)
+    // 基点自体がグリッド外 = 訪問セルゼロ (タイラーは何も書かない)
+    if (rowEnd <= 0 || colEnd <= 0) {
+        return null
+    }
+    return makeRange(origin, { row: origin.row + rowEnd - 1, col: origin.col + colEnd - 1 })
+}
+
 /**
  * Generic tiler — the §6.5.3 table over any cell type (spec 03 §4, v0.8): the one construction
  * point the string paste and the rich paste both delegate to. Visits every output cell in
@@ -67,7 +113,9 @@ export const estimatePasteCellCount = (source: readonly (readonly string[])[], t
  * deviation): the output rectangle is clamped to the grid before visiting, so a tile whose
  * origin is inside the grid is entered (and returned) even when only part of it fits, and a
  * tile entirely outside is never entered. Empty source (no rows or no columns) visits nothing
- * and returns no tiles. Returns the tile origins in the same row-major order.
+ * and returns no tiles. Returns the tile origins in the same row-major order. The occupied
+ * rectangle itself comes from `computePasteTargetRect` (v0.10 — the shared geometry the G5 wall
+ * also walks; ADR-28 rule 5).
  * generic タイラー — §6.5.3 の表を任意セル型で (spec 03 §4、v0.8)。文字列貼り付けとリッチ
  * 貼り付けが委譲する唯一の構築点。出力矩形全体の行優先 (v0.7 のフラットループ順 — タイル毎
  * ではない) で全セルを `(row, col, cell, tile)` で訪問: `cell` はソース要素そのもの (同一参照、
@@ -75,24 +123,21 @@ export const estimatePasteCellCount = (source: readonly (readonly string[])[], t
  * 戻り値にも載せる。グリッド端は静かに切り捨て (copy 経路の逸脱): 出力矩形を訪問前に
  * グリッドへクランプするため、原点がグリッド内のタイルは一部しか収まらなくても入り (戻り値
  * にも載り)、全体が外のタイルには入らない。空ソース (行なし / 列なし) は訪問なし・タイル
- * なし。戻り値は入ったタイルの原点 (同じ行優先順)。
+ * なし。戻り値は入ったタイルの原点 (同じ行優先順)。占有矩形そのものは `computePasteTargetRect`
+ * (v0.10 — G5 壁も walk する共有幾何、ADR-28 rule 5) から得る。
  */
 export const tileCells = <T>(source: readonly (readonly T[])[], target: CellRange, active: CellCoord, rowCount: number, colCount: number, visit: (row: number, col: number, cell: T, tile: CellCoord) => void): CellCoord[] => {
     const srcRows = source.length
     const srcCols = source[0]?.length ?? 0
-    if (srcRows === 0 || srcCols === 0) {
+    // 幾何判断 (タイル vs 1 回展開、基点、クランプ) は共有関数 1 箇所 (1 幾何 2 読者 — ADR-28 rule 5)
+    const rect = computePasteTargetRect({ rows: srcRows, cols: srcCols }, target, active, rowCount, colCount)
+    // null = 空ソースか基点グリッド外 — 訪問なし・タイルなし (従来の早期 return / 空ループと同一挙動)
+    if (rect === null) {
         return []
     }
-    const size = rangeSize(target)
-    const isSingleTarget = size.rows === 1 && size.cols === 1
-    const isTileTarget = !isSingleTarget && size.rows % srcRows === 0 && size.cols % srcCols === 0
-    const outRows = isTileTarget ? size.rows : srcRows
-    const outCols = isTileTarget ? size.cols : srcCols
-    // 基点: 単一セル選択なら active、それ以外は現在レンジの左上 (表の規則そのもの)
-    const origin = isSingleTarget ? active : { row: target.startRow, col: target.startCol }
-    // グリッド外は切り捨て (逸脱 — Excel は拒否。§6.5.3 の表参照): 出力矩形をグリッド境界でクランプ
-    const rowEnd = Math.min(outRows, rowCount - origin.row)
-    const colEnd = Math.min(outCols, colCount - origin.col)
+    const origin: CellCoord = { row: rect.startRow, col: rect.startCol }
+    const rowEnd = rect.endRow - rect.startRow + 1
+    const colEnd = rect.endCol - rect.startCol + 1
     const tiles: CellCoord[] = []
     for (let r0 = 0; r0 < rowEnd; r0 += srcRows) {
         // このタイル行の原点をタイル毎に 1 object だけ作る (同一タイルの全セルへ同じ参照を渡す)
@@ -212,6 +257,51 @@ export const estimateFillCellCount = (sourceRange: CellRange, box: CellRange): n
     return boxSize.rows * boxSize.cols - srcSize.rows * srcSize.cols + rowsRead * colsRead
 }
 
+/**
+ * The disjoint decomposition of box ∖ source into edge strips (v0.10 — ONE geometry, TWO
+ * readers, ADR-28 rules 3/5): one row strip per extended row side (the new rows × the full box
+ * width) plus one column strip per extended column side (the new columns × the source's row
+ * span). A fill box is the bounding rect of source ∪ ONE hover point, so extension is at most
+ * one side per axis and the result is ≤2 disjoint rects (an L on a diagonal drag); the
+ * decomposition stays total for any containing box. The G7 read-only wall walks these rects;
+ * `expandFill` is NOT restructured to consume them (its row-major emission order is pinned
+ * shipped behaviour) — the per-geometry set-equality spec binds the two readers instead. Zero
+ * extension (box == source) = empty array; a box not containing the source is a caller bug
+ * (RangeError, fail-fast — `expandFill`'s assert family).
+ * box ∖ source の非交な縁ストリップ分解 (v0.10 — 1 幾何 2 読者、ADR-28 rules 3/5): 拡張された
+ * 行側毎に行ストリップ (新規行 × box 全幅) + 拡張された列側毎に列ストリップ (新規列 × source
+ * 行スパン)。fill の box は source ∪ hover 1 点の外接矩形のため拡張は軸毎に片側のみ = 結果は
+ * 非交 ≤2 矩形 (斜めドラッグは L 字)。分解自体は包含する任意の box に対して全域。G7 の
+ * 読み取り専用壁がこの矩形群を walk する。`expandFill` は再構成しない (行優先の発行順は
+ * 出荷ピン) — 両読者は幾何毎の集合等値 spec が束ねる。拡張ゼロ (box == source) = 空配列、
+ * source を包含しない box は呼び出し側バグ (RangeError で fail-fast — `expandFill` と同じ
+ * assert 系)。
+ */
+export const fillExtensionRects = (sourceRange: CellRange, box: CellRange): readonly CellRange[] => {
+    // 包含だけを検査 (assertFillBox と違い box == source は合法 — 拡張ゼロ = 空配列。部分重なりは
+    // 呼び出し側バグとして fail-fast)
+    const contains = box.startRow <= sourceRange.startRow && box.endRow >= sourceRange.endRow && box.startCol <= sourceRange.startCol && box.endCol >= sourceRange.endCol
+    if (!contains) {
+        throw new RangeError(`[spreadsheet] fillExtensionRects requires a box containing the source (source ${JSON.stringify(sourceRange)}, box ${JSON.stringify(box)})`)
+    }
+    const rects: CellRange[] = []
+    // 行ストリップ: 新規行 × box 全幅 (source 行スパン外の全セルを被覆)
+    if (box.startRow < sourceRange.startRow) {
+        rects.push(makeRange({ row: box.startRow, col: box.startCol }, { row: sourceRange.startRow - 1, col: box.endCol }))
+    }
+    if (box.endRow > sourceRange.endRow) {
+        rects.push(makeRange({ row: sourceRange.endRow + 1, col: box.startCol }, { row: box.endRow, col: box.endCol }))
+    }
+    // 列ストリップ: 新規列 × source 行スパン (行ストリップと非交 — 行は source の行スパンに限る)
+    if (box.startCol < sourceRange.startCol) {
+        rects.push(makeRange({ row: sourceRange.startRow, col: box.startCol }, { row: sourceRange.endRow, col: sourceRange.startCol - 1 }))
+    }
+    if (box.endCol > sourceRange.endCol) {
+        rects.push(makeRange({ row: sourceRange.startRow, col: sourceRange.endCol + 1 }, { row: sourceRange.endRow, col: box.endCol }))
+    }
+    return rects
+}
+
 /**
  * Expands a fill box into cell edits for every cell of the box OUTSIDE the source (§8.3 —
  * copy fill only), generic over the source cell type (v0.8): `readCell` resolves one source

package/src/clipboard/useClipboard.ts

@@ -18,7 +18,18 @@
  * `pasteSpecial.ts`, tiling in the generic `expandRichPaste`, sizes through `gateResizeEntries`
  * (non-undo geometry). Every v0.8 parameter is a capability declaration — absent ⇒ the v0.7 branch
  * byte-for-byte (TSV-only adapters — the commit seam `commitPaste` is the one required member). rearm stays with the setSelection
- * wrapper (§6.9-1 no-double-actor rule).
+ * wrapper (§6.9-1 no-double-actor rule). v0.10 read-only walls (whole-operation, before any
+ * commit, through the `rejectReadOnly` funnel): G4 refuses ARMING a cut whose source range
+ * contains a read-only cell (preventDefault, zero setData, armed clip unchanged, before the
+ * multi-range advisory); G5 refuses a paste whose shared target rect (`computePasteTargetRect`,
+ * transpose-aware) contains one — only for modes writing a cell aspect (CF-only / columnWidths-only
+ * pass); G6a/G6b re-check the cut-move target block and the CURRENT source adapter state before
+ * EITHER commit (the cross-sheet source has no dataVersion channel — the move-time re-read is its
+ * only wall). Capability absent ⇒ all four compile to the previous path byte-identically.
+ * v0.10 paste feedback (plan §3.1): `onPasteResolved(outcome, channel)` — the menu channel is
+ * the promise's 1:1 mirror at the single `paste` wrap site, the event channel fires once per
+ * `runPaste`-reaching gesture; the drag-freeze and null-`clipboardData` pre-reach branches stay
+ * deliberately silent. Prop absent ⇒ never called.
  *
  * シンク上のクリップボード結線 (§6.5.4、v0.8 §4.2.5 / ADR-14)。copy / cut は 3 フレーバー —
  * `text/plain` (素の TSV)、`text/html` (lossless payload を先頭属性 `data-aqsp-clip` に運ぶ相互運用
@@ -35,7 +46,16 @@
  * `navigator.clipboard.read({ unsanitized: ["text/html"] })`) から、変換は `pasteSpecial.ts`、タイル
  * は generic `expandRichPaste`、寸法は `gateResizeEntries` (非 undo 幾何)。v0.8 のパラメータは全て
  * 能力宣言 — 不在なら v0.7 分岐そのまま (TSV のみのアダプタ — commit シーム `commitPaste` だけが必須メンバー)。rearm は
- * setSelection ラッパーの専有 (§6.9-1)。
+ * setSelection ラッパーの専有 (§6.9-1)。v0.10 の読み取り専用壁 (操作全体・両 commit より前・
+ * `rejectReadOnly` 漏斗経由): G4 は元レンジに読み取り専用セルを含む cut の**武装**を拒否
+ * (preventDefault・setData 0 回・装填クリップ不変・複数レンジ通知の前)、G5 は共有ターゲット矩形
+ * (`computePasteTargetRect` — 転置対応) に含む貼り付けを拒否 (セル側面を書くモードだけ — CF-only /
+ * columnWidths-only は素通し)、G6a/G6b は cut-move の移動先ブロックと元アダプタの**今の**状態を
+ * 両 commit より前に再検査 (跨ぎ元シートは dataVersion チャネルが無く移動時再読が唯一の壁)。
+ * 能力未宣言なら 4 壁とも従来経路とバイト同一。v0.10 貼り付けフィードバック (計画 §3.1):
+ * `onPasteResolved(outcome, channel)` — menu チャネルは単一ラップサイト `paste` での promise
+ * 1:1 鏡、event チャネルは `runPaste` 到達ゲスチャ毎 1 回。ドラッグ凍結と `clipboardData` null
+ * の到達前 2 分岐は意図的無言。prop 未指定なら一度も呼ばれない。
  */
 
 import { type RefObject, useCallback, useEffect, useMemo, useRef } from "react"
@@ -45,7 +65,7 @@ import { isWholeCols, isWholeRows, normalizeAdapterHyperlink, normalizeHyperlink
 import { type CellCoord, type CellRange, countRangeCells, enumerateRangeCells, makeRange, rangeSize, type SpreadsheetOperation } from "../model/cellCoord.ts"
 import type { CellFormat } from "../model/cellFormat.ts"
 import type { ConditionalFormatRule, ConditionalFormatRuleInput } from "../model/conditionalFormat.ts"
-import { type AspectCapabilities, aspectCapabilities, type CellEdit, type EditRejection, type EditSource, resolveEditText, type SpreadsheetDataAdapter } from "../model/dataAdapter.ts"
+import { type AspectCapabilities, aspectCapabilities, type CellEdit, type EditRejection, type EditSource, type ReadOnlyRejection, rectContainsReadOnly, resolveEditText, type SpreadsheetDataAdapter } from "../model/dataAdapter.ts"
 import { toR1C1 } from "../model/formulaRefs.ts"
 import type { SelectionState } from "../selection/selectionState.ts"
 import {
@@ -67,7 +87,7 @@ import {
 } from "./clipPayload.ts"
 import { parseHtmlTable, serializeHtmlTable } from "./htmlInterop.ts"
 import { DEFAULT_PASTE_OPTIONS, MODE_ASPECTS, type PasteAspects, type PasteOptions, patchFromClipCell, stripUndeclaredAspects, translateConditionalFormats, transposePayload } from "./pasteSpecial.ts"
-import { expandRichPaste } from "./tiling.ts"
+import { computePasteTargetRect, expandRichPaste } from "./tiling.ts"
 import { measureTsv, parseTsv, serializeTsv } from "./tsv.ts"
 
 /** The armed clip surface a consumer sees (`onClipChange` / `getClip`): `foreign` = the record belongs to another adapter (sheet switch kept a cut). / consumer が見る装填クリップ (`onClipChange` / `getClip`): `foreign` = 記録が別アダプタのもの (シート切替が cut を保持)。 */
@@ -136,6 +156,32 @@ export type UseClipboardParams = {
     onClipboardUnavailable?: (cause: ClipboardUnavailableCause) => void
     /** Source-side rejection of a cross-sheet cut (the target commit already stands). / 跨ぎ cut の元側拒否 (対象 commit は立っている)。 */
     onEditRejected?: (error: unknown, rejection: EditRejection) => void
+    /**
+     * v0.10 read-only refusal funnel (required seam — the root always wires it; identity-stable,
+     * read through paramsRef): G4 (a refused cut arming, `{op:"cut"}`), G5 (a refused paste over
+     * the shared target rect, `{op:"paste"}`) and G6a/G6b (the cut-move target / source walls,
+     * `{op:"paste"}` / `{op:"cut"}`) fire it once per refused gesture. Capability absent ⇒ never
+     * called (byte identity).
+     * v0.10 読み取り専用拒否漏斗 (必須 seam — root が常に渡す。identity 安定、paramsRef 読み):
+     * G4 (cut 武装拒否 — `{op:"cut"}`)、G5 (共有ターゲット矩形への貼付拒否 — `{op:"paste"}`)、
+     * G6a/G6b (cut-move の移動先 / 元側の両壁 — `{op:"paste"}` / `{op:"cut"}`) が拒否ジェスチャ毎
+     * 1 回発火する。能力未宣言なら一度も呼ばれない (バイト恒等)。
+     */
+    rejectReadOnly: (rejection: ReadOnlyRejection) => void
+    /**
+     * v0.10 paste feedback (plan §3.1): the menu channel mirrors `paste(options)`'s resolve value
+     * 1:1 from the single wrap site (read refusals and the write-time re-gate included); the
+     * event channel fires once per gesture that REACHES `runPaste` — the two pre-reach gate
+     * consumptions (drag-freeze, null `clipboardData`) stay deliberately silent. Cause-specific
+     * callbacks (`onClipboardUnavailable` / `onOperationRejected` / `onReadOnlyRejected`) fire
+     * FIRST; the outcome is the trailing summary. Absent ⇒ never called (byte identity).
+     * v0.10 貼り付けフィードバック (計画 §3.1): menu チャネルは `paste(options)` の resolve 値の
+     * 1:1 鏡 (単一ラップサイト — 読み拒否・書込時再ゲートも含む)、event チャネルは `runPaste` に
+     * **到達した**ゲスチャ毎 1 回 (到達前 2 分岐 — ドラッグ凍結消費と `clipboardData` null — は
+     * 意図的無言)。原因特定系 callback が先、outcome は後追いの要約。未指定なら一度も呼ばれない
+     * (バイト恒等)。
+     */
+    onPasteResolved?: (outcome: PasteOutcome, channel: ClipChannel) => void
 }
 
 /** The clip surface (§6.5.4-4 — copy/cut unified in v0.3.2, widened in v0.8). / クリップ状態の公開面 (v0.3.2 で copy / cut 統一、v0.8 で拡張)。 */
@@ -192,6 +238,18 @@ export const estimateTiledCells = (rows: number, cols: number, target: CellRange
 /** True for the plain Ctrl+V options — the only paste that may move a cut (transforms are copy semantics). / 素の Ctrl+V オプションだけ真 — cut を move できる唯一の貼り付け (変換は copy 意味論)。 */
 const isPlainPaste = (options: PasteOptions): boolean => options.mode === "all" && options.operation === undefined && options.transpose !== true && options.skipBlanks !== true
 
+/**
+ * Whether a paste mode writes any CELL aspect (v0.10 G5 wall condition): text / formula /
+ * format / borders / note / comments / hyperlink / validation. `cf` and `sizes` are the
+ * NON-cell channels — a CF-only or columnWidths-only mode never walks the read-only wall
+ * (sheet-level rules and geometry are not cell content, ADR-28 out-of-scope registration).
+ * 貼り付けモードがセル側面 (text / formula / format / borders / note / comments / hyperlink /
+ * validation のいずれか) を書くか (v0.10 G5 の壁条件)。`cf` と `sizes` は非セルチャネル —
+ * CF だけ / 列幅だけのモードは読み取り専用壁を walk しない (シート水準の規則と幾何はセル内容
+ * ではない — ADR-28 のスコープ外登記)。
+ */
+const hasCellAspect = (aspects: PasteAspects): boolean => aspects.text || aspects.formula || aspects.format || aspects.borders || aspects.note || aspects.comments || aspects.hyperlink || aspects.validation
+
 /**
  * The event channel's flavours: the DataTransfer types and a `getData` memoised per type for the
  * gesture (a paste event's `getData` re-materialises the string on every call — 91 ms for 15.8 MB).
@@ -633,6 +691,14 @@ export const useClipboard = (params: UseClipboardParams): ClipboardController =>
                 p.onOperationRejected?.(op, count, "limit")
                 return null
             }
+            // G4 (v0.10 §3-6): cut の武装壁 — 上限ゲート直後・複数レンジ通知の前 (拒否 cut に advisory を
+            // 出さない)。preventDefault はネイティブ cut がシンクの " " を OS クリップボードへ書くのも防ぎ、
+            // setData 0 回 = OS クリップボードも装填クリップも不変。copy は無条件 ALLOW (§3-9)
+            if (op === "cut" && rectContainsReadOnly(p.adapter, range)) {
+                event.preventDefault()
+                p.rejectReadOnly({ kind: "operation", op: "cut", cellCount: count })
+                return null
+            }
             // 複数レンジ選択は末尾レンジのみ + 通知 (明示逸脱 — Excel の整列連結コピーは非対応 §6.5.4-3)
             if (selection.ranges.length > 1) {
                 p.onCopyMultiRange?.()
@@ -746,6 +812,20 @@ export const useClipboard = (params: UseClipboardParams): ClipboardController =>
                 p.onOperationRejected?.("paste", cellCount, "bounds")
                 return "rejected"
             }
+            // G6a (v0.10 §3-7): 移動先の読み取り専用壁 — staleness bounds 拒否の後・遅延読みの前 (両 commit
+            // より前)。cut はタイルしない: 矩形は共有幾何へ 1×1 ターゲット (= 原点 1 回展開) を渡した装填
+            // ブロックそのもの (ADR-28 rule 5 — bounds 通過済みなので clamp は恒等で null は構造的に不能)
+            const targetRect = computePasteTargetRect({ rows: snapshot.rows, cols: snapshot.cols }, makeRange(origin, origin), origin, adapter.rowCount, adapter.colCount)
+            if (targetRect !== null && rectContainsReadOnly(adapter, targetRect)) {
+                p.rejectReadOnly({ kind: "operation", op: "paste", cellCount: snapshot.rows * snapshot.cols })
+                return "rejected" // クリップは維持 (bounds 拒否と同じ品行)
+            }
+            // G6b (v0.10 §3-8): 元レンジの移動時再検査 — 装填後の flip と跨ぎ元シート (dataVersion チャネルの
+            // 無い唯一の面 — ADR-28 rule 4) に対する壁。offending セルは元 = payload は {op:"cut"} (G4 と同文言)
+            if (rectContainsReadOnly(armed.sourceAdapter, armed.range)) {
+                p.rejectReadOnly({ kind: "operation", op: "cut", cellCount: countRangeCells([armed.range]) })
+                return "rejected"
+            }
             // 遅延読み: Ctrl+X 後の書式 / 注釈 commit を運ぶ (ゲートは snapshot 寸法で済んでいる)
             const payload = armedPayload(armed)
             const caps = aspectCapabilities(adapter)
@@ -925,6 +1005,18 @@ export const useClipboard = (params: UseClipboardParams): ClipboardController =>
             const caps = aspectCapabilities(adapter)
             const shaped = stripUndeclaredAspects(transpose ? transposePayload(payload) : payload, caps)
             const aspects = MODE_ASPECTS[options.mode]
+            // G5 (v0.10 §3-4): 読み取り専用壁 — cut ルーティング / 転置 / 側面剥離の後・実体化
+            // (expandRichPaste) の前。壁はセル側面を書くモードだけ (CF-only / columnWidths-only は
+            // walk なしで ALLOW — §3-5)。矩形はタイラーと同一の共有幾何 (computePasteTargetRect —
+            // ADR-28 rule 5、寸法は転置済み shaped のもの)。null (基点グリッド外) は walk せず従来の
+            // "empty" 経路へ落とす。拒否はクリップ / 選択 / CF / サイズ全チャネル不動 (whole gesture)
+            if (hasCellAspect(aspects)) {
+                const wallRect = computePasteTargetRect({ rows: shaped.rows, cols: shaped.cols }, target, selection.active, adapter.rowCount, adapter.colCount)
+                if (wallRect !== null && rectContainsReadOnly(adapter, wallRect)) {
+                    p.rejectReadOnly({ kind: "operation", op: "paste", cellCount: countRangeCells([wallRect]) })
+                    return "rejected"
+                }
+            }
             const cursor: PasteCursor = {
                 row: 0,
                 col: 0,
@@ -995,7 +1087,7 @@ export const useClipboard = (params: UseClipboardParams): ClipboardController =>
      * `onClipboardUnavailable` を鳴らして `"rejected"` (promise は決して reject しない)。イベント
      * 経路の凍結 / 編集中 / 無効ゲートは書込時点で適用。
      */
-    const paste = useCallback(
+    const pasteInner = useCallback(
         async (options: PasteOptions): Promise<PasteOutcome> => {
             const unavailable = (cause: ClipboardUnavailableCause): PasteOutcome => {
                 paramsRef.current.onClipboardUnavailable?.(cause)
@@ -1051,6 +1143,24 @@ export const useClipboard = (params: UseClipboardParams): ClipboardController =>
         [runPaste],
     )
 
+    /**
+     * The public menu paste: `pasteInner`'s resolve value mirrored 1:1 to `onPasteResolved`
+     * from this SINGLE wrap site (v0.10 plan §3.1) — `handle.paste` and the command dispatch's
+     * `void paste(...)` both route here, so every menu gesture is mirrored exactly once.
+     * 公開メニュー貼り付け: `pasteInner` の resolve 値をこの**単一**ラップサイトから
+     * `onPasteResolved` へ 1:1 で鏡映 (v0.10 計画 §3.1)。`handle.paste` もコマンド発行の
+     * `void paste(...)` もここを通るため、menu ゲスチャ毎ちょうど 1 回。
+     */
+    const paste = useCallback(
+        async (options: PasteOptions): Promise<PasteOutcome> => {
+            const outcome = await pasteInner(options)
+            // 原因特定系 callback (pasteInner 内で発火済み) が先、outcome の要約が後 (§3.1 の登記順)
+            paramsRef.current.onPasteResolved?.(outcome, "menu")
+            return outcome
+        },
+        [pasteInner],
+    )
+
     const { enabled, sinkRef } = params
     useEffect(() => {
         const sink = sinkRef.current
@@ -1121,11 +1231,14 @@ export const useClipboard = (params: UseClipboardParams): ClipboardController =>
                 armedRef.current = null
             }
             const data = clipboardDataOf(event)
-            // clipboardData の無い paste イベントは読むものが無い (v0.7 の空文字 no-op と同じ)
+            // clipboardData の無い paste イベントは読むものが無い (v0.7 の空文字 no-op と同じ —
+            // 到達前分岐は意図的無言、onPasteResolved は鳴らさない)
             if (data === null) {
                 return
             }
-            runPaste(flavoursOf(data), "event", options)
+            // event チャネルの発火点は runPaste 到達ゲスチャ毎にここ 1 箇所 (v0.10 計画 §3.1)
+            const outcome = runPaste(flavoursOf(data), "event", options)
+            p.onPasteResolved?.(outcome, "event")
         }
 
         sink.addEventListener("copy", onCopy)