@aiquants/spreadsheet 0.8.0 → 0.9.0

package/src/overlay/useFillHandle.ts

@@ -15,6 +15,14 @@
  * plus every declared aspect (format / validation / hyperlink / note), comments never; a v0.7
  * adapter yields exactly `{ row, col, text }`.
  *
+ * v0.9 trailing freeze (plan §2.1 / §4.5 — census #5 / #6): the hover hit test builds BOTH
+ * inverse ctx literals inline from one handle snapshot (a NEW judgment-time `getViewportSize()`
+ * read supplies `extent`; `trailingSize` cites the TREE fields); the press-time grab arithmetic
+ * builds the forward ctx pair, classifies the corner strictly (`endCol >= count − T` is
+ * trailing — the boundary track is SCROLL) and gains the ceiling clamp twins
+ * `min(inside, extent − vis − 1)` so a non-trailing corner's inside pixel never re-anchors into
+ * the trailing band (the FZ19 floor's far mirror). T = 0 keeps every path byte-identical.
+ *
  * fill ハンドル機械 (§8 PT-2 — copy fill のみ)。常設ハンドルノードへ wire-once の pointerdown
  * を 1 本。press は義務 repaint より先に自機フラグをセット (§8.1 の可視凍結が評価前に成立して
  * いないと display:none が capture を殺す)。ドラッグはボックス方式 (v0.3 の斜め
@@ -29,6 +37,13 @@
  * `readFillSource` / `fillSourceEdit`): `getCellFormula` 宣言時は対象毎に相対シフトした数式ソース、
  * 宣言済み側面 (format / validation / hyperlink / note) の全部、comments は決して運ばず、v0.7
  * アダプタは `{ row, col, text }` ちょうど。
+ *
+ * v0.9 末尾凍結 (計画 §2.1 / §4.5 — census #5 / #6): hover ヒットテストは 1 ハンドル快照から
+ * 両軸の逆写像 ctx をインライン構築 (新規の判断時 `getViewportSize()` 読みが `extent` を供給、
+ * `trailingSize` は TREE フィールドを引用)。押下時の grab 算術は順写像 ctx 対を構築し、隅を
+ * 厳密分類 (`endCol >= count − T` が末尾 — 境界トラックは SCROLL) して天井クランプ双子
+ * `min(inside, extent − vis − 1)` を得る (非末尾隅の内側 px が末尾帯へ再アンカーされない —
+ * FZ19 床の遠ミラー)。T = 0 は全経路 byte 恒等。
  */
 
 import type { VirtualGridHandle } from "@aiquants/virtualscroll"
@@ -37,7 +52,7 @@ import { estimateFillCellCount, expandFill, fillSourceEdit, readFillSource } fro
 import type { AxisModel } from "../model/axisModel.ts"
 import { type CellCoord, type CellRange, clampCoord, makeRange, type SpreadsheetOperation } from "../model/cellCoord.ts"
 import type { CellEdit, EditRejection, SpreadsheetDataAdapter } from "../model/dataAdapter.ts"
-import { colToViewportX, rowToViewportY, viewportXToCol, viewportYToRow } from "../model/frozenPartition.ts"
+import { type AxisForwardCtx, colToViewportX, rowToViewportY, viewportXToCol, viewportYToRow } from "../model/frozenPartition.ts"
 import type { SelectionState } from "../selection/selectionState.ts"
 import type { AutoScroller } from "../selection/useAutoScroller.ts"
 import type { SelectionEngine } from "../selection/useSelectionEngine.ts"
@@ -56,6 +71,17 @@ import type { SelectionEngine } from "../selection/useSelectionEngine.ts"
  */
 const FILL_ARM_THRESHOLD = 4
 
+/** `getFrozenSize()` snapshot shape (engine 3.5.0 — 10 fields incl. the trailing family). / `getFrozenSize()` 快照の形 (エンジン 3.5.0 — 末尾族込みの 10 フィールド)。 */
+type FrozenSnapshot = ReturnType<VirtualGridHandle["getFrozenSize"]>
+
+/**
+ * Pre-attach frozen-size snapshot (all zeros — the capability branch for a not-yet-attached
+ * handle, byte-matching the engine's pre-measure state, not a value fallback).
+ * 装着前の凍結寸法快照 (全 0 — 未装着ハンドルの能力分岐。エンジンの未測定状態と byte 一致で、
+ * 値フォールバックではない)。
+ */
+const EMPTY_FROZEN_SIZE: FrozenSnapshot = Object.freeze({ cols: 0, width: 0, rows: 0, height: 0, trailingCols: 0, trailingRows: 0, trailingWidth: 0, trailingHeight: 0, trailingVisibleWidth: 0, trailingVisibleHeight: 0 })
+
 type UseFillHandleParams = {
     /** Zoom scale reader (v0.3): client px = logical px × zoom — divide client deltas once at this boundary. / ズーム倍率 reader (v0.3)。client px = 論理 px × zoom — client 差分はこの境界で 1 回だけ除算する。 */
     zoomRef: RefObject<number>
@@ -150,10 +176,21 @@ export const useFillHandle = (params: UseFillHandleParams): SelectionEngine => {
             return null
         }
         // ズーム境界 (v0.3): client 差分を z で 1 回だけ除算して論理 px へ。
-        // 列は凍結パーティション逆写像 (v0.5 計画 §2)
+        // 両軸とも凍結パーティション 3 分岐逆写像 (v0.5 / v0.6 計画 §2、v0.9 §2.1)
         const z = paramsRef.current.zoomRef.current
         const frozen = handle.getFrozenSize()
-        return clampCoord({ row: viewportYToRow(rowAxis, (clientY - rect.top) / z, vy, frozen.height), col: viewportXToCol(colAxis, (clientX - rect.left) / z, hx, frozen.width) }, rowAxis.count, colAxis.count)
+        // 判断時 extent (v0.9 §2.1 — census #5 の新規 getViewportSize() 読み)。逆写像 ctx は
+        // この場でインライン構築し (跨サイト共有ビルダ禁止 — §5.3)、trailingSize は TREE
+        // フィールド trailingWidth / trailingHeight を正準に引く (vis 代替は分類等価ゆえ命名ピン)
+        const viewport = handle.getViewportSize()
+        return clampCoord(
+            {
+                row: viewportYToRow(rowAxis, (clientY - rect.top) / z, { scroll: vy, frozenSize: frozen.height, trailingSize: frozen.trailingHeight, extent: viewport.height }),
+                col: viewportXToCol(colAxis, (clientX - rect.left) / z, { scroll: hx, frozenSize: frozen.width, trailingSize: frozen.trailingWidth, extent: viewport.width }),
+            },
+            rowAxis.count,
+            colAxis.count,
+        )
     }, [])
 
     /**
@@ -357,13 +394,19 @@ export const useFillHandle = (params: UseFillHandleParams): SelectionEngine => {
                 const hx = pressPosition.x
                 // ズーム境界 (v0.3): 論理オフセットは ×z で視覚 px へ写してから client と比較する
                 const zPress = p.zoomRef.current
-                // 隅の x は凍結パーティション順写像 (v0.5 計画 §2 — repaintOverlay のハンドル描画と
-                // 同式)。無条件 −hx だと凍結 endCol の押下で dx が hx·z ぶん膨らみ、以後の全ヒット
-                // テストが左へ hx ずれる (誤列への fill 確定 + 暴走左オートスクロール)
-                const pressFrozen = p.handleRef.current?.getFrozenSize() ?? { cols: 0, width: 0, rows: 0, height: 0 }
-                const cornerViewportX = colToViewportX(p.colAxis, source.endCol, hx, pressFrozen.cols) + p.colAxis.sizeOf(source.endCol)
+                // 隅の x は凍結パーティション順写像 (v0.5 計画 §2、v0.9 §2.1 で 3 分岐 —
+                // repaintOverlay のハンドル描画と同式)。無条件 −hx だと凍結 endCol の押下で dx が
+                // hx·z ぶん膨らみ、以後の全ヒットテストが左へ hx ずれる (誤列への fill 確定 +
+                // 暴走左オートスクロール)
+                const pressFrozen = p.handleRef.current?.getFrozenSize() ?? EMPTY_FROZEN_SIZE
+                // 判断時 forward ctx (v0.9 §2.1 — census #6): 押下 1 スナップショットの
+                // getViewportSize() を extent に両軸をその場インライン構築 (§5.3)
+                const pressViewport = p.handleRef.current?.getViewportSize() ?? { width: 0, height: 0 }
+                const pressCtxX: AxisForwardCtx = { scroll: hx, frozenCount: pressFrozen.cols, trailingCount: pressFrozen.trailingCols, extent: pressViewport.width }
+                const pressCtxY: AxisForwardCtx = { scroll: pressVy, frozenCount: pressFrozen.rows, trailingCount: pressFrozen.trailingRows, extent: pressViewport.height }
+                const cornerViewportX = colToViewportX(p.colAxis, source.endCol, pressCtxX) + p.colAxis.sizeOf(source.endCol)
                 // 隅 y も凍結パーティション順写像 (v0.6 — repaintOverlay のハンドル描画と同式)
-                const cornerViewportY = rowToViewportY(p.rowAxis, source.endRow, pressVy, pressFrozen.rows) + p.rowAxis.sizeOf(source.endRow)
+                const cornerViewportY = rowToViewportY(p.rowAxis, source.endRow, pressCtxY) + p.rowAxis.sizeOf(source.endRow)
                 // 内側 1px は論理 px の概念 (「隅の内側最終 px」) — 視覚 1px のままだと z < 1 で
                 // 1/z 論理 px に膨らみ、極小トラック (< 1/z px) では隣トラックへ再アンカーされて
                 // 押下点回帰キャンセルが 1 トラック fill に化ける。×zPress で論理 1px に固定。
@@ -371,11 +414,22 @@ export const useFillHandle = (params: UseFillHandleParams): SelectionEngine => {
                 // 内側 px が凍結帯へ潜って全ヒットテストが F−1 列へ解決する — 帯下限 W_F で
                 // クランプ (R2 是正。凍結 endCol と W_F = 0 はクランプ不要 — 後者は v0.4 恒等)
                 const insideRawX = cornerViewportX - 1
-                const insideViewportX = source.endCol >= pressFrozen.cols && pressFrozen.width > 0 ? Math.max(insideRawX, pressFrozen.width) : insideRawX
+                const flooredInsideX = source.endCol >= pressFrozen.cols && pressFrozen.width > 0 ? Math.max(insideRawX, pressFrozen.width) : insideRawX
+                // 厳密分類 (v0.9 §4.5 — FZ21 ミラー): endCol >= count − T が末尾 (境界列
+                // count − T − 1 は SCROLL)。T = 0 は count − 0 = count で恒偽
+                const endColIsTrailing = source.endCol >= p.colAxis.count - pressFrozen.trailingCols
+                // 天井双子 (v0.9 §4.5 — FZ19 の帯床クランプのミラー): 非末尾 endCol の内側 px が
+                // 末尾帯 [extent − vis, extent) へ潜ると全ヒットテストが末尾列へ解決し、押下点回帰
+                // キャンセルが末尾への fill 書込に化ける — 帯直前の最終 px extent − vis − 1 で
+                // クランプ (末尾 endCol 自身は帯内が正位置なのでクランプしない。T_px = 0 は恒等)
+                const insideViewportX = !endColIsTrailing && pressFrozen.trailingWidth > 0 ? Math.min(flooredInsideX, pressViewport.width - pressFrozen.trailingVisibleWidth - 1) : flooredInsideX
                 // 内側 py も帯下限 H_F でクランプ (v0.6 — 横の insideViewportX と対称。小数 vy の隅
                 // すきまでスクロール帯 endRow が凍結帯へ潜る dy ギャップを閉塞)
                 const insideRawY = cornerViewportY - 1
-                const insideViewportY = source.endRow >= pressFrozen.rows && pressFrozen.height > 0 ? Math.max(insideRawY, pressFrozen.height) : insideRawY
+                const flooredInsideY = source.endRow >= pressFrozen.rows && pressFrozen.height > 0 ? Math.max(insideRawY, pressFrozen.height) : insideRawY
+                // 縦の天井双子 (v0.9 §4.5 — 横と対称の末尾帯クランプ)
+                const endRowIsTrailing = source.endRow >= p.rowAxis.count - pressFrozen.trailingRows
+                const insideViewportY = !endRowIsTrailing && pressFrozen.trailingHeight > 0 ? Math.min(flooredInsideY, pressViewport.height - pressFrozen.trailingVisibleHeight - 1) : flooredInsideY
                 grabOffsetRef.current = { dx: event.clientX - (rect.left + insideViewportX * zPress), dy: event.clientY - (rect.top + insideViewportY * zPress) }
             } else {
                 grabOffsetRef.current = { dx: 0, dy: 0 }

package/src/popover/usePopovers.ts

@@ -207,16 +207,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 +360,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 +383,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,
+        )
     }, [])
 
     /**

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;
+  }
+}