@aiquants/spreadsheet 0.8.0 → 0.10.0

package/src/popover/usePopovers.ts

@@ -21,6 +21,13 @@
  * cell binds —) and the
  * IME guard the layer applies to every popover keydown (`isCompositionKeydown`). No DOM is
  * rendered here — PopoverLayer.tsx renders from `context` / `tipContext` (lazy mount).
+ * v0.10 read-only (design ADR-30, refusals via the required `rejectReadOnly` funnel): S3 = ONE
+ * interactive-context builder site for the declaration-gated `cellReadOnly` key (note / comment /
+ * link builds and the G14a re-present all share it); G14a re-checks live at `commitOrReject`'s
+ * head (refusal re-presents with `cellReadOnly` recomputed, `rejected` kept false, draft
+ * preserved); G14b is the list commit's defense-in-depth; G14c refuses a list open PRE-open —
+ * after the RangeError wiring check, BEFORE the commit gate (doomed-open: no force-commit).
+ * Capability undeclared = contexts and conduct byte-identical to v0.9.
  *
  * ポップオーバー状態機械 (v0.8 §1.8 / §4.1.15 — ADR-15 対話層)。6 種 (note エディタ / ホバー
  * note tip / コメントスレッド / ハイパーリンクエディタ / 検証リスト / 検証メッセージ) を overlay が
@@ -39,7 +46,12 @@
  * 変化 (root の active 効果が呼ぶ) のたびに再評価し、離れれば外し、ホバー中セルへ乗れば結ぶ —)、
  * 層が全 popover keydown に掛ける
  * IME ガード (`isCompositionKeydown`)。DOM は描かない — PopoverLayer.tsx が `context` /
- * `tipContext` から遅延マウントする。
+ * `tipContext` から遅延マウントする。v0.10 読み取り専用 (設計 ADR-30、拒否は必須 `rejectReadOnly`
+ * 漏斗): S3 = 宣言ゲートキー `cellReadOnly` の単一対話 context ビルダ (note / comment / link の
+ * 構築と G14a 再提示が共有)、G14a = commitOrReject 頭の live 再検査 (拒否は cellReadOnly 再計算 +
+ * rejected false のまま + 下書き保持で再提示)、G14b = list commit の縦深防御、G14c = list の
+ * pre-open 拒否 (RangeError 結線検査の後・commit ゲートの前 — doomed-open で force-commit なし)。
+ * 能力未宣言は context も品行も v0.9 とバイト恒等。
  */
 
 import type { VirtualGridHandle } from "@aiquants/virtualscroll"
@@ -48,7 +60,7 @@ import { isCompositionKeydown } from "../keyboard/compositionGuard.ts"
 import type { AxisModel } from "../model/axisModel.ts"
 import { type CellComment, type CellCommentInput, normalizeAdapterHyperlink, normalizeHyperlink } from "../model/cellAnnotations.ts"
 import { type CellCoord, clampCoord, coordEquals } from "../model/cellCoord.ts"
-import type { CellEdit, EditRejection, SpreadsheetDataAdapter } from "../model/dataAdapter.ts"
+import { type CellEdit, type EditRejection, isReadOnlyCell, type ReadOnlyRejection, readOnlyDeclared, type SpreadsheetDataAdapter } from "../model/dataAdapter.ts"
 import { colToViewportX, rowToViewportY, viewportXToCol, viewportYToRow } from "../model/frozenPartition.ts"
 import { resolveLabel, type SpreadsheetLabels } from "../model/labels.ts"
 import { NOTE_TIP_LEAVE_GRACE_MS, type PopoverRect, shouldShowNoteTip } from "./placement.ts"
@@ -62,17 +74,28 @@ export const POPOVER_KINDS: readonly PopoverKind[] = ["note", "note-tip", "comme
 /** The `popovers` prop: `false` disables a kind (its commands pass through, `openPopover` throws). / `popovers` prop: `false` はその kind を無効化 (コマンドは素通し、`openPopover` は RangeError)。 */
 export type PopoverOverrides = { readonly [K in PopoverKind]?: boolean }
 
-/** Note editor context (v0.8 §1.8). `current` undefined = no note yet; `commit(null)` clears. / note エディタ文脈。current undefined = ノートなし、commit(null) は消去。 */
-export type NotePopoverContext = { kind: "note"; cell: CellCoord; anchorRect: PopoverRect; current: string | undefined; commit: (next: string | null) => void; close: () => void; rejected: boolean }
+/** Note editor context (v0.8 §1.8). `current` undefined = no note yet; `commit(null)` clears. `cellReadOnly` (v0.10, declaration-gated): key ABSENT = the `isCellReadOnly` capability is undeclared (byte-identical context), else the live predicate answer — `true` disables the default component's commit affordance (G14a walls the commit regardless). / note エディタ文脈。current undefined = ノートなし、commit(null) は消去。cellReadOnly (v0.10、宣言ゲート): キー不在 = isCellReadOnly 能力未宣言 (context はバイト恒等)、あれば live 述語の答え — true は既定コンポーネントの確定操作を disabled にする (壁は G14a)。 */
+export type NotePopoverContext = { kind: "note"; cell: CellCoord; anchorRect: PopoverRect; current: string | undefined; commit: (next: string | null) => void; close: () => void; rejected: boolean; cellReadOnly?: boolean }
 
 /** Hover note tip context (read-only). / ホバー note tip 文脈 (読み取り専用)。 */
 export type NoteTipContext = { kind: "note-tip"; cell: CellCoord; anchorRect: PopoverRect; current: string; close: () => void }
 
-/** Comment thread context: the reply UI commits `[...current (with ids), { text }]`; `null` clears the thread. / コメントスレッド文脈: 返信 UI は `[...current (id つき), { text }]` を commit、null はスレッド消去。 */
-export type CommentPopoverContext = { kind: "comment"; cell: CellCoord; anchorRect: PopoverRect; current: readonly CellComment[]; commit: (next: readonly CellCommentInput[] | null) => void; close: () => void; rejected: boolean }
+/** Comment thread context: the reply UI commits `[...current (with ids), { text }]`; `null` clears the thread. `cellReadOnly` (v0.10): same declaration-gated key as the note context. / コメントスレッド文脈: 返信 UI は `[...current (id つき), { text }]` を commit、null はスレッド消去。cellReadOnly (v0.10) は note 文脈と同じ宣言ゲートキー。 */
+export type CommentPopoverContext = { kind: "comment"; cell: CellCoord; anchorRect: PopoverRect; current: readonly CellComment[]; commit: (next: readonly CellCommentInput[] | null) => void; close: () => void; rejected: boolean; cellReadOnly?: boolean }
 
-/** Hyperlink editor context: `url` on commit is a normalised href or null (clear); `canOpen` = onHyperlinkOpen declared. / ハイパーリンクエディタ文脈: commit の url は正規化済み href か null (消去)、canOpen = onHyperlinkOpen 宣言。 */
-export type LinkPopoverContext = { kind: "link"; cell: CellCoord; anchorRect: PopoverRect; current: { text: string; url: string | undefined }; commit: (next: { text: string; url: string | null }) => void; close: () => void; canOpen: boolean; open: () => void; rejected: boolean }
+/** Hyperlink editor context: `url` on commit is a normalised href or null (clear); `canOpen` = onHyperlinkOpen declared. `cellReadOnly` (v0.10): same declaration-gated key as the note context (the Open button stays live — navigation is a read). / ハイパーリンクエディタ文脈: commit の url は正規化済み href か null (消去)、canOpen = onHyperlinkOpen 宣言。cellReadOnly (v0.10) は note 文脈と同じ宣言ゲートキー (Open は読みなので生きたまま)。 */
+export type LinkPopoverContext = {
+    kind: "link"
+    cell: CellCoord
+    anchorRect: PopoverRect
+    current: { text: string; url: string | undefined }
+    commit: (next: { text: string; url: string | null }) => void
+    close: () => void
+    canOpen: boolean
+    open: () => void
+    rejected: boolean
+    cellReadOnly?: boolean
+}
 
 /** Validation list picker context: `current` = the list rule's values, `typed` = the prefix that opened it. / 検証リスト文脈: current = list 規則の値、typed = 開いたときの入力プレフィックス。 */
 export type ListPopoverContext = { kind: "list"; cell: CellCoord; anchorRect: PopoverRect; current: readonly string[]; typed: string; commit: (value: string) => void; close: () => void }
@@ -144,6 +167,15 @@ export type UsePopoversParams = {
     /** Composite drag probe incl. the reference drag — the tip is never shown mid-drag. / 参照ドラッグ含む合成ドラッグ判定 — ドラッグ中は tip を出さない。 */
     isDraggingAny: () => boolean
     commitEdits: (edits: readonly CellEdit[], rejection: EditRejection) => number | null
+    /**
+     * v0.10 read-only refusal funnel (required seam — the root always wires it; identity-stable,
+     * read through paramsRef): G14a (interactive commit), G14b (list commit) and G14c (the list
+     * pre-open refusal) fire it once per refused gesture. Capability absent ⇒ never called.
+     * v0.10 読み取り専用拒否漏斗 (必須 seam — root が常に渡す。identity 安定、paramsRef 読み):
+     * G14a (対話 commit)・G14b (list commit)・G14c (list の pre-open 拒否) が拒否ジェスチャ毎
+     * 1 回発火する。能力未宣言なら一度も呼ばれない。
+     */
+    rejectReadOnly: (rejection: ReadOnlyRejection) => void
     labels: SpreadsheetLabels
     onHyperlinkOpen?: (url: string, cell: CellCoord) => void
     /** Root-owned anchor state the overlay positions. / root 所有のアンカー状態 (overlay が配置)。 */
@@ -207,16 +239,28 @@ export const usePopovers = (params: UsePopoversParams): PopoverController => {
     const compositionEndedAtRef = useRef<number | null>(null)
     const tipId = useId()
 
-    /** The active cell's rect in layer px (the overlay's forward map — the same recipe as the keyboard cellRect). / active セルの層 px 矩形 (overlay の順写像 — keyboard cellRect と同じ式)。 */
+    /**
+     * The active cell's rect in layer px (the overlay's three-way forward map — the same recipe
+     * as the keyboard cellRect; v0.9 plan §4.6, census #7): the AxisForwardCtx pair is built
+     * INLINE from one handle snapshot per judgment, `extent` from a judgment-time
+     * `getViewportSize()` read (plan §2.1 rule 1) — a trailing cell's anchor is extent-anchored
+     * and scroll-static, exactly like the engine's trailing band.
+     * active セルの層 px 矩形 (overlay の 3 分岐順写像 — keyboard cellRect と同じ式。v0.9 計画
+     * §4.6、census #7)。AxisForwardCtx の対は判断毎に 1 ハンドルスナップショットからインライン
+     * 構築し、`extent` は判断時 `getViewportSize()` 読み (計画 §2.1 規則 1) — 末尾セルのアンカーは
+     * extent アンカーでスクロール静的 (エンジンの末尾帯と同じ)。
+     */
     const anchorRectOf = useCallback((cell: CellCoord): PopoverRect => {
         const p = paramsRef.current
         const handle = p.handleRef.current
-        // detached ハンドルは原点扱い (番兵クランプは keyboard と同じ)
+        // detached ハンドルは原点扱い (番兵クランプは keyboard と同じ)。件数 0 / extent 0 の縮退で
+        // 末尾分岐は不活性 — 未装着ホストの矩形は v0.8 と byte 一致
         const position = handle === null ? { x: 0, y: 0 } : handle.getScrollPosition()
-        const frozen = handle === null ? { rows: 0, cols: 0, width: 0, height: 0 } : handle.getFrozenSize()
+        const frozen = handle === null ? { rows: 0, cols: 0, trailingRows: 0, trailingCols: 0 } : handle.getFrozenSize()
+        const viewport = handle === null ? { width: 0, height: 0 } : handle.getViewportSize()
         return {
-            top: rowToViewportY(p.rowAxis, cell.row, Math.max(0, position.y), frozen.rows),
-            left: colToViewportX(p.colAxis, cell.col, Math.max(0, position.x), frozen.cols),
+            top: rowToViewportY(p.rowAxis, cell.row, { scroll: Math.max(0, position.y), frozenCount: frozen.rows, trailingCount: frozen.trailingRows, extent: viewport.height }),
+            left: colToViewportX(p.colAxis, cell.col, { scroll: Math.max(0, position.x), frozenCount: frozen.cols, trailingCount: frozen.trailingCols, extent: viewport.width }),
             width: p.colAxis.sizeOf(cell.col),
             height: p.rowAxis.sizeOf(cell.row),
         }
@@ -348,7 +392,18 @@ export const usePopovers = (params: UsePopoversParams): PopoverController => {
         [showTip, cancelGrace, startGrace],
     )
 
-    /** Hit-tests a client position to a cell (the fill machine's recipe). / client 座標をセルへヒットテスト (fill 機械と同じ式)。 */
+    /**
+     * Hit-tests a client position to a cell — the fill machine's recipe, three-way since v0.9
+     * (plan §4.6, census #8): the AxisInverseCtx pair is built INLINE per judgment,
+     * `trailingSize` from the TREE fields and `extent` from a NEW judgment-time
+     * `getViewportSize()` read (plan §2.1 rules 1/2 — the pre-existing dimension-probe read in
+     * `getLayerSize` is unrelated; extent 0 keeps the trailing branch inert, byte-matching v0.8).
+     * client 座標をセルへヒットテスト — fill 機械と同じ式、v0.9 から 3 分岐 (計画 §4.6、census
+     * #8)。AxisInverseCtx の対は判断毎にインライン構築し、`trailingSize` は TREE フィールド、
+     * `extent` は**新規**の判断時 `getViewportSize()` 読み (計画 §2.1 規則 1/2 — 既存の
+     * `getLayerSize` の寸法プローブ読みは無関係。extent 0 は末尾分岐を不活性に保ち v0.8 と byte
+     * 一致)。
+     */
     const hitTest = useCallback((clientX: number, clientY: number): CellCoord | null => {
         const p = paramsRef.current
         const body = p.bodyRef.current
@@ -360,7 +415,16 @@ export const usePopovers = (params: UsePopoversParams): PopoverController => {
         const z = p.zoomRef.current
         const position = handle.getScrollPosition()
         const frozen = handle.getFrozenSize()
-        return clampCoord({ row: viewportYToRow(p.rowAxis, (clientY - rect.top) / z, Math.max(0, position.y), frozen.height), col: viewportXToCol(p.colAxis, (clientX - rect.left) / z, Math.max(0, position.x), frozen.width) }, p.rowAxis.count, p.colAxis.count)
+        // 判断時の viewport 読み (§2.1 規則 1 — census #8 の新規読み。キャッシュ / ストア由来の extent は不可)
+        const viewport = handle.getViewportSize()
+        return clampCoord(
+            {
+                row: viewportYToRow(p.rowAxis, (clientY - rect.top) / z, { scroll: Math.max(0, position.y), frozenSize: frozen.height, trailingSize: frozen.trailingHeight, extent: viewport.height }),
+                col: viewportXToCol(p.colAxis, (clientX - rect.left) / z, { scroll: Math.max(0, position.x), frozenSize: frozen.width, trailingSize: frozen.trailingWidth, extent: viewport.width }),
+            },
+            p.rowAxis.count,
+            p.colAxis.count,
+        )
     }, [])
 
     /**
@@ -419,10 +483,34 @@ export const usePopovers = (params: UsePopoversParams): PopoverController => {
         [writeAnchors],
     )
 
-    /** Runs an annotate commit; a rejection re-presents the context with `rejected: true`. / annotate の commit を実行し、拒否なら rejected: true で再提示する。 */
+    /**
+     * S3 (v0.10): the SINGLE interactive-context builder site for the declaration-gated
+     * `cellReadOnly` key — the three build paths (note / comment / link) and the G14a re-present
+     * all spread this result, so the census stays at one `readOnlyDeclared` + one `isReadOnlyCell`
+     * call. Key absent = capability undeclared (context byte-identical), else the live answer.
+     * S3 (v0.10): 宣言ゲートキー `cellReadOnly` の**単一**対話 context ビルダサイト — 3 つの構築
+     * 経路 (note / comment / link) と G14a の再提示が全てこの戻り値を spread するため、census は
+     * readOnlyDeclared 1 + isReadOnlyCell 1 のまま。キー不在 = 能力未宣言 (context バイト恒等)、
+     * あれば live の答え。
+     */
+    const readOnlyKeyOf = useCallback((cell: CellCoord): { cellReadOnly?: boolean } => {
+        const p = paramsRef.current
+        // 宣言時だけキーを出す (undefined キーも出さない — v0.9 形ホストの context はバイト恒等)
+        return readOnlyDeclared(p.adapter) ? { cellReadOnly: isReadOnlyCell(p.adapter, cell.row, cell.col) } : {}
+    }, [])
+
+    /** Runs an annotate commit; a G14a read-only refusal re-presents with `cellReadOnly` recomputed (`rejected` stays false), an adapter rejection re-presents with `rejected: true`. / annotate の commit を実行。G14a の読み取り専用拒否は cellReadOnly を再計算して再提示 (rejected は false のまま)、アダプタ拒否は rejected: true で再提示。 */
     const commitOrReject = useCallback(
         (ctx: NotePopoverContext | CommentPopoverContext | LinkPopoverContext, edits: readonly CellEdit[]) => {
             const p = paramsRef.current
+            // G14a (v0.10 §6.10): commit 頭の live 再検査 — adapter 不到達。再提示は cellReadOnly 再計算
+            // (今は true — 既定コンポーネントが確定操作を disabled に)、rejected は false のまま
+            // (true は「adapter が投げた、再試行の余地あり」の意味 — ここでは嘘になる)、入力値は保持
+            if (isReadOnlyCell(p.adapter, ctx.cell.row, ctx.cell.col)) {
+                p.rejectReadOnly({ kind: "operation", op: "annotate", cellCount: 1 })
+                present({ ...ctx, ...readOnlyKeyOf(ctx.cell) })
+                return
+            }
             if (p.commitEdits(edits, { source: "annotate" }) === null) {
                 // 拒否: 開いたまま rejected 状態へ (既定コンポーネントが Ctrl+Enter 再試行 / Escape 破棄を担う)
                 present({ ...ctx, rejected: true })
@@ -430,7 +518,7 @@ export const usePopovers = (params: UsePopoversParams): PopoverController => {
             }
             close()
         },
-        [present, close],
+        [present, close, readOnlyKeyOf],
     )
 
     const open = useCallback(
@@ -440,6 +528,14 @@ export const usePopovers = (params: UsePopoversParams): PopoverController => {
                 throw new RangeError(`[spreadsheet] openPopover("${kind}") is unavailable: the kind is disabled by the popovers prop or its adapter capability is undeclared`)
             }
             const cell = p.getActive()
+            // G14c (v0.10 §6.10 — doomed-open 原則): list の pre-open 拒否。座席は RangeError 結線検査の
+            // 後 (結線バグはデータ状態に優先 — fail-fast 序列保存)・open 経路 commit ゲートの**前**
+            // (拒否される open が無関係セッションを force-commit しない)。picker の対話 = 書込そのもの
+            // なので popover は開かない。RangeError にはしない (読み取り専用はデータ状態で結線バグではない)
+            if (kind === "list" && isReadOnlyCell(p.adapter, cell.row, cell.col)) {
+                p.rejectReadOnly({ kind: "edit", cell, editSession: "none" })
+                return
+            }
             if (kind === "note-tip") {
                 // 手動表示: active セルにノートがあるときだけ (ホバー述語とは独立)
                 showTip(cell)
@@ -483,6 +579,14 @@ export const usePopovers = (params: UsePopoversParams): PopoverController => {
                     current: rule.values,
                     typed,
                     commit: (value: string) => {
+                        // G14b (v0.10 §6.10): list commit の縦深防御 — 開いている間の読み取り専用化を
+                        // commitEdits 前に live 再検査 (G14c が正門、ここは第二壁)。拒否は無書込で閉じる
+                        // (picker に他の対話は無い — Escape 相当の閉鎖)
+                        if (isReadOnlyCell(paramsRef.current.adapter, cell.row, cell.col)) {
+                            paramsRef.current.rejectReadOnly({ kind: "edit", cell, editSession: "none" })
+                            close()
+                            return
+                        }
                         // リスト確定はセル編集 (source "edit"、セッションなし = discarded)
                         paramsRef.current.commitEdits([{ row: cell.row, col: cell.col, text: value }], { source: "edit", editSession: "discarded" })
                         close()
@@ -505,6 +609,8 @@ export const usePopovers = (params: UsePopoversParams): PopoverController => {
                     },
                     close,
                     rejected: false,
+                    // S3: 宣言ゲートキー (単一ビルダ経由 — 未宣言はキー不在で context バイト恒等)
+                    ...readOnlyKeyOf(cell),
                 }
                 present(ctx)
                 return
@@ -522,6 +628,8 @@ export const usePopovers = (params: UsePopoversParams): PopoverController => {
                     },
                     close,
                     rejected: false,
+                    // S3: 宣言ゲートキー (単一ビルダ経由)
+                    ...readOnlyKeyOf(cell),
                 }
                 present(ctx)
                 return
@@ -553,10 +661,12 @@ export const usePopovers = (params: UsePopoversParams): PopoverController => {
                     }
                 },
                 rejected: false,
+                // S3: 宣言ゲートキー (単一ビルダ経由)
+                ...readOnlyKeyOf(cell),
             }
             present(ctx)
         },
-        [anchorRectOf, close, commitOrReject, hideTipNow, present, showTip],
+        [anchorRectOf, close, commitOrReject, hideTipNow, present, showTip, readOnlyKeyOf],
     )
 
     const { enabled, bodyRef } = params

package/src/selection/useAutoScroller.ts

@@ -2,11 +2,22 @@
  * @fileoverview Edge-zone rAF auto-scroller for drag selection (§6.4.4). Driven by the
  * selection engine via start/stop; hit tests use the 2-axis scrollBy synchronous return
  * (freshness hierarchy §7-4: scrollBy return > getScrollPosition() — the store carries no
- * positions since v0.4).
+ * positions since v0.4). v0.9 (plan §4.4, census #3/#4): the far zones (right / bottom) are
+ * band-based — `p > pane − trailingVisible* − EDGE_ZONE` — with the trailing home-territory
+ * suppressor (anchor inside the trailing band AND T_px > 0 AND pointer inside the band ⇒ no
+ * drive, the exact far twin of the v0.5 R5 leading rule), and the hover resolution builds
+ * its AxisInverseCtx inline per tick, reusing the tick-top `getViewportSize()` snapshot as
+ * `extent` (same-tick freshness — plan §0.4 R1). T = 0 leaves every zone and ctx expression
+ * byte-identical to the v0.8 arithmetic.
  *
  * ドラッグ選択の端ゾーン rAF オートスクロール (§6.4.4)。エンジンが start/stop で駆動し、
  * ヒットテストは 2 軸 scrollBy の同期返り値を使う (鮮度序列 §7-4: scrollBy 返り値 >
- * getScrollPosition — v0.4 からストアは位置を運ばない)。
+ * getScrollPosition — v0.4 からストアは位置を運ばない)。v0.9 (計画 §4.4、census #3/#4): 遠
+ * ゾーン (右 / 下) は帯基準 `p > pane − trailingVisible* − EDGE_ZONE`、末尾ホームテリトリー
+ * (アンカー末尾帯 ∧ T_px > 0 ∧ ポインタ帯内 ⇒ 無駆動 — v0.5 R5 の leading 規則の遠端双子) を
+ * 併設。hover 解決は AxisInverseCtx を tick 内その場構築し、extent は tick 冒頭の
+ * `getViewportSize()` スナップショットを再利用 (同 tick 鮮度 — 計画 §0.4 R1)。T = 0 は全
+ * ゾーン / ctx 式が v0.8 算術と byte 一致。
  */
 
 import type { VirtualGridHandle } from "@aiquants/virtualscroll"
@@ -49,17 +60,22 @@ export type AutoScrollContext = {
      * Drag-anchor column for the frozen home-territory rule (v0.5 R5 fix): when the anchor is
      * a frozen column AND the pointer sits inside the frozen band, the band-based left zone
      * does NOT drive — operating within the frozen pane must not scroll the band (Excel-like).
+     * v0.9 (plan §4.4): the same anchor also feeds the TRAILING home territory — an anchor in
+     * the trailing band with the pointer inside that band suppresses the band-based right zone.
      * Omit for vertical-only drags.
      * 凍結ホームテリトリー規則 (v0.5 R5 是正) 用のドラッグアンカー列。アンカーが凍結列で
      * ポインタも凍結帯内なら帯基準左ゾーンは駆動しない — 凍結ペイン内の操作は可動帯を
-     * スクロールさせない (Excel 同型)。縦専用ドラッグでは省略。
+     * スクロールさせない (Excel 同型)。v0.9 (計画 §4.4): 同じアンカーが末尾ホームテリトリーにも
+     * 供給され、末尾帯アンカー × ポインタ帯内は帯基準右ゾーンを抑止。縦専用ドラッグでは省略。
      */
     anchorCol?: number
     /**
      * Drag-anchor row for the vertical frozen home-territory rule (row twin of anchorCol — v0.6):
-     * anchor frozen AND pointer inside the frozen band suppresses the band-based top zone.
+     * anchor frozen AND pointer inside the frozen band suppresses the band-based top zone; the
+     * trailing twin (v0.9 plan §4.4) suppresses the band-based bottom zone.
      * 縦の凍結ホームテリトリー規則用のドラッグアンカー行 (anchorCol の行双子 — v0.6)。アンカーが
-     * 凍結行でポインタも凍結帯内なら帯基準上ゾーンは駆動しない。
+     * 凍結行でポインタも凍結帯内なら帯基準上ゾーンは駆動しない。末尾双子 (v0.9 計画 §4.4) は
+     * 帯基準下ゾーンを抑止。
      */
     anchorRow?: number
 }
@@ -143,10 +159,20 @@ export const useAutoScroller = ({ handleRef, rowAxis, colAxis, bodyRef, onDragFr
         let dx = 0
         if (axis !== "x") {
             // 上端ゾーンは帯基準 (v0.6 計画 §3 — 横の左端ゾーンと対称): スクロール帯の上端 = H_F。
-            // 下端優先 + 凍結ホームテリトリー (アンカー凍結行 × ポインタ帯内は駆動しない、H_F = 0 除外)
+            // 下端優先 + 凍結ホームテリトリー (アンカー凍結行 × ポインタ帯内は駆動しない、H_F = 0 除外)。
+            // v0.9 (計画 §4.4): 下端ゾーンも帯基準 — スクロール帯の下端 = paneH − H_T_vis (vis =
+            // getFrozenSize().trailingVisibleHeight、tick スナップショット)。末尾ホームテリトリーは
+            // leading 双子と同形: アンカー末尾帯 (row >= count − trailingRows) ∧ T_px > 0 ∧ ポインタ
+            // 帯内 (py >= paneH − vis — 境界画素の >= は逆写像の末尾分類とミラー) ⇒ 駆動しない。
+            // T_px = 0 (末尾行が全て非表示) は可視帯が存在しない — ペイン外の深い py を帯内と誤認
+            // して抑止しない (leading の H_F = 0 除外の双子)
             const frozenV = handle.getFrozenSize()
-            if (py > paneH - EDGE_ZONE) {
-                dy = speedFor(py - (paneH - EDGE_ZONE))
+            const visH = frozenV.trailingVisibleHeight
+            if (py > paneH - visH - EDGE_ZONE) {
+                const anchorTrailingRow = context.anchorRow !== undefined && frozenV.trailingRows > 0 && context.anchorRow >= rowAxis.count - frozenV.trailingRows
+                if (!(anchorTrailingRow && visH > 0 && py >= paneH - visH)) {
+                    dy = speedFor(py - (paneH - visH - EDGE_ZONE))
+                }
             } else if (py < frozenV.height + EDGE_ZONE) {
                 const anchorFrozenRow = context.anchorRow !== undefined && context.anchorRow < frozenV.rows
                 if (!(anchorFrozenRow && frozenV.height > 0 && py < frozenV.height)) {
@@ -158,12 +184,19 @@ export const useAutoScroller = ({ handleRef, rowAxis, colAxis, bodyRef, onDragFr
             // 左端ゾーンは帯基準 (v0.5 計画 §3-6): スクロール帯の左端 = W_F。スクロール帯アンカーの
             // ドラッグは凍結帯上の保持でも左スクロールが継続する (Excel 同型 — 帯を跨いだ引き寄せ)。
             // 判定は右端優先 (R2 是正): 帯幅 < 2×EDGE_ZONE で両ゾーンが重なると左優先は右端保持の
-            // ドラッグを逆走させる — 重なりは右端が勝つ。凍結ホームテリトリー (R5 是正): アンカーが
-            // 凍結列でポインタも凍結帯内なら駆動しない — 凍結ペイン内の選択操作が可動帯を勝手に
-            // 左スクロールさせない (帯外 [W_F, W_F+EDGE_ZONE) の戻りドラッグは従来どおり駆動)
+            // ドラッグを逆走させる — 重なりは右端が勝つ (v0.9 でも far-edge-wins 形は不変)。凍結
+            // ホームテリトリー (R5 是正): アンカーが凍結列でポインタも凍結帯内なら駆動しない —
+            // 凍結ペイン内の選択操作が可動帯を勝手に左スクロールさせない (帯外 [W_F, W_F+EDGE_ZONE)
+            // の戻りドラッグは従来どおり駆動)。v0.9 (計画 §4.4): 右端ゾーンも帯基準 — スクロール帯の
+            // 右端 = paneW − W_T_vis。末尾ホームテリトリーは縦と同形 (アンカー末尾列 ∧ T_px > 0 ∧
+            // ポインタ帯内 ⇒ 無駆動、T_px = 0 除外)
             const frozen = handle.getFrozenSize()
-            if (px > paneW - EDGE_ZONE) {
-                dx = speedFor(px - (paneW - EDGE_ZONE))
+            const visW = frozen.trailingVisibleWidth
+            if (px > paneW - visW - EDGE_ZONE) {
+                const anchorTrailingCol = context.anchorCol !== undefined && frozen.trailingCols > 0 && context.anchorCol >= colAxis.count - frozen.trailingCols
+                if (!(anchorTrailingCol && visW > 0 && px >= paneW - visW)) {
+                    dx = speedFor(px - (paneW - visW - EDGE_ZONE))
+                }
             } else if (px < frozen.width + EDGE_ZONE) {
                 // W_F = 0 (凍結列が全て非表示) は可視の凍結帯が存在しない — 負 px を帯内と
                 // 誤認して抑止しない (R5 是正)
@@ -183,9 +216,19 @@ export const useAutoScroller = ({ handleRef, rowAxis, colAxis, bodyRef, onDragFr
         // 静止 + 無スクロール + hover 同値の tick は書き込みをスキップ (同値スタイルの毎フレーム
         // 再書き込みを抑止 — スクロール追随の再配置は repaintOverlay 側が担う)
         if (vy >= 0 && hx >= 0 && rowAxis.totalSize() > 0 && colAxis.totalSize() > 0) {
-            // 行 / 列とも凍結パーティション逆写像 (v0.6 / v0.5 計画 §2)
+            // 行 / 列とも凍結パーティション 3 分岐逆写像 (v0.6 / v0.5 計画 §2、末尾は v0.9 §2.1)。
+            // ctx は判断のこの場でインライン構築 (§2.1 規則 1 — census #4)。trailingSize は TREE
+            // フィールド (規則 2)、extent は tick 冒頭の viewport スナップショットを再利用 (同 tick
+            // 鮮度 — 計画 §0.4 R1。paneW/H <= 0 は上で次フレームへ抜けるため extent > 0 が保たれる)
             const frozenHover = handle.getFrozenSize()
-            const hover = clampCoord({ row: viewportYToRow(rowAxis, py, vy, frozenHover.height), col: viewportXToCol(colAxis, px, hx, frozenHover.width) }, rowAxis.count, colAxis.count)
+            const hover = clampCoord(
+                {
+                    row: viewportYToRow(rowAxis, py, { scroll: vy, frozenSize: frozenHover.height, trailingSize: frozenHover.trailingHeight, extent: viewport.height }),
+                    col: viewportXToCol(colAxis, px, { scroll: hx, frozenSize: frozenHover.width, trailingSize: frozenHover.trailingWidth, extent: viewport.width }),
+                },
+                rowAxis.count,
+                colAxis.count,
+            )
             const last = lastHoverRef.current
             if (dy !== 0 || dx !== 0 || last === null || last.row !== hover.row || last.col !== hover.col) {
                 lastHoverRef.current = hover

package/src/selection/useSelectionEngine.ts

@@ -85,15 +85,22 @@ const caretIndexFromPoint = (clientX: number, clientY: number, cell: CellCoord):
 /**
  * Body-relative pointer → cell hit test with the §7-4 freshness hierarchy: the handle's
  * synchronous scroll position, the press-cached body rect, one zoom division at the boundary
- * and the frozen-partition inverse mapping on both axes, clamped into the grid. ONE mapping
- * shared by the cell engine and the reference-drag owner (usePointDrag — plan §4.1.18) so an
- * identical pointer resolves to an identical cell in both. null = unmeasurable (no handle /
- * rect, detached scroll sentinel, empty axis).
+ * and the three-way frozen-partition inverse mapping on both axes (leading > trailing >
+ * middle — v0.9 plan §4.2, census #1), clamped into the grid. The AxisInverseCtx pair is
+ * built INLINE from one handle snapshot per judgment (`trailingSize` = the TREE fields,
+ * `extent` = a judgment-time `getViewportSize()` read — plan §2.1 rules 1/2; extent 0 keeps
+ * the trailing branch inert, byte-matching v0.8). ONE mapping shared by the cell engine and
+ * the reference-drag owner (usePointDrag — plan §4.1.18) so an identical pointer resolves to
+ * an identical cell in both. null = unmeasurable (no handle / rect, detached scroll
+ * sentinel, empty axis).
  * body 基準のポインタ → セルのヒットテスト (§7-4 の鮮度序列): ハンドルの同期スクロール位置・
- * 押下時計測の body rect・境界で 1 回だけのズーム除算・両軸の凍結パーティション逆写像、グリッド内
- * へクランプ。セルエンジンと参照ドラッグ所有者 (usePointDrag — 計画 §4.1.18) が共有する単一写像
- * (同じポインタは両者で同じセルに解決する)。null = 計測不能 (ハンドル / rect 不在、detached 番兵、
- * 空軸)。
+ * 押下時計測の body rect・境界で 1 回だけのズーム除算・両軸の凍結パーティション 3 分岐逆写像
+ * (先頭 > 末尾 > 中央 — v0.9 計画 §4.2、census #1)、グリッド内へクランプ。AxisInverseCtx の対は
+ * 判断毎に 1 ハンドルスナップショットからインライン構築 (`trailingSize` は TREE フィールド、
+ * `extent` は判断時 `getViewportSize()` 読み — 計画 §2.1 規則 1/2。extent 0 は末尾分岐を不活性に
+ * 保ち v0.8 と byte 一致)。セルエンジンと参照ドラッグ所有者 (usePointDrag — 計画 §4.1.18) が
+ * 共有する単一写像 (同じポインタは両者で同じセルに解決する)。null = 計測不能 (ハンドル / rect
+ * 不在、detached 番兵、空軸)。
  */
 export const hitTestCell = (handle: VirtualGridHandle | null, rect: DOMRect | null, rowAxis: AxisModel, colAxis: AxisModel, zoom: number, clientX: number, clientY: number): CellCoord | null => {
     if (handle === null || rect === null) {
@@ -109,9 +116,19 @@ export const hitTestCell = (handle: VirtualGridHandle | null, rect: DOMRect | nu
         return null
     }
     // ズーム境界 (v0.3): rect / client は視覚 px、軸は論理 px — 差分を zoom で 1 回だけ除算。
-    // 行 / 列とも凍結パーティション逆写像 (v0.6 / v0.5 計画 §2 — 帯サイズ未満は静的凍結帯、以上は + スクロール)
+    // 行 / 列とも凍結パーティション 3 分岐逆写像 (v0.6 / v0.5 計画 §2、末尾は v0.9 §2.1)。ctx は
+    // この判断のその場構築 (規則 1): trailingSize は TREE フィールド (規則 2)、extent は判断時の
+    // getViewportSize() 読み (未測定 {0,0} は末尾分岐が不活性のまま = v0.8 恒等の縮退)
     const frozen = handle.getFrozenSize()
-    return clampCoord({ row: viewportYToRow(rowAxis, (clientY - rect.top) / zoom, vy, frozen.height), col: viewportXToCol(colAxis, (clientX - rect.left) / zoom, hx, frozen.width) }, rowAxis.count, colAxis.count)
+    const viewport = handle.getViewportSize()
+    return clampCoord(
+        {
+            row: viewportYToRow(rowAxis, (clientY - rect.top) / zoom, { scroll: vy, frozenSize: frozen.height, trailingSize: frozen.trailingHeight, extent: viewport.height }),
+            col: viewportXToCol(colAxis, (clientX - rect.left) / zoom, { scroll: hx, frozenSize: frozen.width, trailingSize: frozen.trailingWidth, extent: viewport.width }),
+        },
+        rowAxis.count,
+        colAxis.count,
+    )
 }
 
 type UseSelectionEngineParams = {

package/src/styles/spreadsheet.css

@@ -1027,3 +1027,35 @@
   width: 100%;
   height: 100%;
 }
+
+/*
+ * v0.9 凍結分割線 (計画 §2.4 — ADR-20 / ADR-24): 全凍結境界の強い Excel / Sheets 風の線。
+ * consumer 面は CSS 変数 2 つだけ (--aqsp-divider-color / --aqsp-divider-width — パッケージは
+ * 読むだけで書き手は consumer スタイルシート単独)。既定は 2px の #9ca3af (gray-400 — 既存全
+ * 罫線より 1 段濃い)。width 0px は逃げ道 — 象限別 fill 断片の継ぎ目が再露出し forced-colors も
+ * 無描画 (意図的、README / 分冊 05 §8 登記)。位置 (leading 縁 0 / trailing 縁 0) と長さは
+ * 各セグメントの静的インライン幾何 + ホストクリップが供給し、このブロックは太さと色だけを持つ。
+ * pointer-events: none — バーは不活性で、リサイズの operand は帯側隣接ストリップ (ADR-20)。
+ */
+.aqsp-freeze-divider {
+  position: absolute;
+  background: var(--aqsp-divider-color, #9ca3af);
+  pointer-events: none;
+}
+
+/* 縦線 (x 境界) は太さ = width、横線 (y 境界) は太さ = height (共有変数 1 本) */
+.aqsp-freeze-divider-v {
+  width: var(--aqsp-divider-width, 2px);
+}
+
+.aqsp-freeze-divider-h {
+  height: var(--aqsp-divider-width, 2px);
+}
+
+/* forced-colors: 不透明な実線は再着色で生存する — CanvasText へ寄せるだけ (§2.4。凍結クリップの
+   無装飾免除とは別物で、分割線は自前の規則を持つ) */
+@media (forced-colors: active) {
+  .aqsp-freeze-divider {
+    background: CanvasText;
+  }
+}