@aiquants/spreadsheet 0.8.0 → 0.9.0

package/src/header/useHeaderResize.ts

@@ -15,6 +15,17 @@
  * bucketed by font key so `ctx.font` is assigned once per distinct font) / row default-height
  * restore / unhide marker restore. While the editor is pointing at a formula reference
  * (v0.8 §4.2.10) a strip press is consumed (focus back to the sink, no gesture, no commit).
+ * v0.9 (ADR-26 / ADR-21): the gesture record and the guide carry a REQUIRED
+ * `anchor: "leading" | "trailing"` discriminator (classified by attribute presence —
+ * `data-aqsp-resize-anchor`, emitted by the trailing header subtrees only); trailing gestures
+ * take the INVERTED delta `pendingSize = max(0, round(initialSize − delta))` (pinned-right
+ * idiom — dragging left/up grows, the pointer and the moving edge travel together) and BOTH
+ * guide writers (the rAF move writer and the press-time write) place the guide at the
+ * prospective MOVING edge `offsetOf(index) + initialSize − pendingSize`; the leading path is
+ * byte-identical (sign +1, guide `offsetOf + pendingSize`, both writers). Column autofit
+ * measures the union `[0, R_eff) ∪ [rowStart, rowEnd] ∪ [rowCount − T_eff, rowCount)` (each
+ * filtered by sizeOf > 0 — ADR-21, band counts from a judgment-time `getFrozenSize()` read)
+ * and the measured-cell budget gate counts band rows.
  *
  * ヘッダーリサイズ / unhide 機械 (§7 PT-1)。単一フックが両帯を結線 (§7.4 の機械勘定 = 1)。
  * 帯へ wire-once の native capture pointerdown を 1 本 (ストリップはリスナーを持たない —
@@ -30,6 +41,15 @@
  * 代入を異なりフォント毎 1 回にする) / 行は既定行高復元 / unhide マーカーは既定サイズ復元。
  * 参照ポインティング中 (v0.8 §4.2.10) のストリップ押下は consume (シンクへ焦点、ジェスチャも
  * 確定もなし)。
+ * v0.9 (ADR-26 / ADR-21): ジェスチャレコードとガイドは必須の
+ * `anchor: "leading" | "trailing"` 判別子を持つ (分類は属性保持 — `data-aqsp-resize-anchor`
+ * は末尾ヘッダーサブツリーのみ発行)。末尾ジェスチャは反転デルタ
+ * `pendingSize = max(0, round(initialSize − delta))` (pinned-right イディオム — 左 / 上
+ * ドラッグで拡大、ポインタと動く辺が同行)、ガイドは**両方の書き手** (rAF 移動書き手と押下
+ * 即時書込) が予定動く辺 `offsetOf(index) + initialSize − pendingSize` に置く。leading パスは
+ * byte 恒等 (符号 +1、ガイド `offsetOf + pendingSize`、両書き手)。列 autofit の測定行集合は
+ * 和集合 `[0, R_eff) ∪ [rowStart, rowEnd] ∪ [rowCount − T_eff, rowCount)` (各 sizeOf > 0 —
+ * ADR-21。帯件数は判断時 `getFrozenSize()` 読み)、計測セル予算ゲートは帯行を算入する。
  */
 
 import type { VirtualGridHandle } from "@aiquants/virtualscroll"
@@ -126,11 +146,28 @@ type ResizeGesture = {
     axis: "row" | "col"
     kind: "resize" | "unhide"
     index: number
+    /** REQUIRED anchor discriminator (ADR-26 — no optional/default): "trailing" inverts the delta sign and the guide formula. / 必須アンカー判別子 (ADR-26 — optional / default なし): "trailing" はデルタ符号とガイド式を反転。 */
+    anchor: "leading" | "trailing"
     initialSize: number
     startClientX: number
     startClientY: number
 }
 
+/**
+ * Prospective guide TREE position for one gesture (ADR-26 — shared by BOTH writer sites: the
+ * rAF move writer and the press-time immediate write). Leading: the prospective FAR boundary
+ * `offsetOf(index) + pendingSize` (v0.8 byte-identical). Trailing: the prospective MOVING
+ * (near) edge `offsetOf(index) + initialSize − pendingSize` — at press pendingSize =
+ * initialSize, so the trailing form lands on `offsetOf(index)` (the pressed strip's own near
+ * boundary, under the pointer), where the leading form would flash the track's far boundary.
+ * ジェスチャ 1 件の予定ガイド木位置 (ADR-26 — rAF 移動書き手と押下即時書込の**両書き手**で共有)。
+ * leading は予定遠端境界 `offsetOf(index) + pendingSize` (v0.8 byte 恒等)。trailing は予定
+ * **動く辺** (近端) `offsetOf(index) + initialSize − pendingSize` — 押下時 pendingSize =
+ * initialSize のため trailing 式は `offsetOf(index)` (押下ストリップ自身の近端 = ポインタ直下)
+ * に着地し、leading 式のままだと遠端に点滅する (§14-6 の押下のみピン)。
+ */
+const guidePositionOf = (gesture: ResizeGesture, axisModel: AxisModel, pendingSize: number): number => (gesture.anchor === "trailing" ? axisModel.offsetOf(gesture.index) + gesture.initialSize - pendingSize : axisModel.offsetOf(gesture.index) + pendingSize)
+
 /**
  * Wires the resize/unhide machine onto both header bands; returns the §7.4 composite surface.
  * 両ヘッダー帯へリサイズ / unhide 機械を結線し、§7.4 の合成面を返す。
@@ -267,7 +304,7 @@ export const useHeaderResize = (params: UseHeaderResizeParams): SelectionEngine
         [collectTargets, applyEntries],
     )
 
-    /** Column autofit (§7.3 / v0.8 §4.2.10): per-column canvas measurement over the visible window in each cell's painted font, bucketed by font key. / 列 autofit (可視ウィンドウをセルの塗りフォントで計測、フォントキーでバケット化)。 */
+    /** Column autofit (§7.3 / v0.8 §4.2.10 / ADR-21): per-column canvas measurement over the union of both frozen bands and the visible window — `[0, R_eff) ∪ [rowStart, rowEnd] ∪ [rowCount − T_eff, rowCount)`, each filtered by sizeOf > 0 — in each cell's painted font, bucketed by font key. / 列 autofit (§7.3 / v0.8 §4.2.10 / ADR-21): 両凍結帯 + 可視ウィンドウの和集合 `[0, R_eff) ∪ [rowStart, rowEnd] ∪ [rowCount − T_eff, rowCount)` (各 sizeOf > 0) をセルの塗りフォントで計測、フォントキーでバケット化。 */
     const autofitColumns = useCallback(
         (band: HTMLElement, pressedIndex: number): void => {
             const p = paramsRef.current
@@ -275,23 +312,45 @@ export const useHeaderResize = (params: UseHeaderResizeParams): SelectionEngine
             if (targets === null) {
                 return
             }
-            // 可視ウィンドウ内の可視行 (幅 0 行は計測しない)
+            // 帯件数は判断時ハンドル読み (ADR-21 / ADR-19 の判断時規律 — getFrozenSize().rows /
+            // .trailingRows はエンジンクランプ済み実効値)。装着前 (null) は帯集合なし — 測定集合が
+            // 窓のみに縮む v0.8 恒等の能力分岐 (値代替フォールバックではない)
+            const handle = p.handleRef.current
+            const frozenSize = handle === null ? null : handle.getFrozenSize()
+            const leadingRows = frozenSize === null ? 0 : frozenSize.rows
+            const trailingRows = frozenSize === null ? 0 : frozenSize.trailingRows
+            // 測定行集合 = [0, R_eff) ∪ [rowStart, rowEnd] ∪ [rowCount − T_eff, rowCount) の順序付き
+            // 和集合 (ADR-21 — v0.9 §4.14)。幅 0 行は計測しない (sizeOf > 0 フィルタ)、重複は Set で
+            // 去重 (R = T = 0 は窓のみ = v0.8 恒等)
             const { rowStart, rowEnd } = p.viewStore.get()
             const last = Math.min(rowEnd, p.rowAxis.count - 1)
-            const visibleRows: number[] = []
-            for (let row = rowStart; row <= last; row += 1) {
-                if (p.rowAxis.sizeOf(row) > 0) {
-                    visibleRows.push(row)
+            const measuredRows: number[] = []
+            const seen = new Set<number>()
+            const pushRow = (row: number): void => {
+                if (!seen.has(row) && p.rowAxis.sizeOf(row) > 0) {
+                    seen.add(row)
+                    measuredRows.push(row)
                 }
             }
-            // 計測対象の可視行がゼロ (命令 API 経由の全窓内非表示) は no-op — Excel も計測対象
+            for (let row = 0; row < leadingRows; row += 1) {
+                pushRow(row)
+            }
+            for (let row = rowStart; row <= last; row += 1) {
+                pushRow(row)
+            }
+            // 末尾帯の開始 = rowCount − T_eff (エンジンクランプ済みのため常に ≥ R_eff ≥ 0 — §1.2)
+            for (let row = p.rowAxis.count - trailingRows; row < p.rowAxis.count; row += 1) {
+                pushRow(row)
+            }
+            // 計測対象の可視行がゼロ (全帯 + 窓が非表示) は no-op — Excel も計測対象
             // なしでは幅を変えない (0 計測 → 9px 潰しの破壊を作らない。R1(B) 所見)
-            if (visibleRows.length === 0) {
+            if (measuredRows.length === 0) {
                 return
             }
             // 上限ゲートは計測セル数単位 (§7.3 — トラック数単位では 16k 列 × 可視 40 行が素通り
-            // する)。上限は autofit 専用の低い係数 (§13 (e) の設計返却 — 実測根拠は定数 docstring)
-            const measuredCells = targets.length * visibleRows.length
+            // する)。上限は autofit 専用の低い係数 (§13 (e) の設計返却 — 実測根拠は定数 docstring)。
+            // 帯行も算入する (ADR-21 — measuredRows が帯行を含む)
+            const measuredCells = targets.length * measuredRows.length
             const measureLimit = Math.floor(p.maxOperationCells / AUTOFIT_MEASURE_DIVISOR)
             if (measuredCells > measureLimit) {
                 p.onOperationRejected?.("resize", measuredCells, "limit")
@@ -317,7 +376,7 @@ export const useHeaderResize = (params: UseHeaderResizeParams): SelectionEngine
             const buckets = new Map<string, { col: number; text: string }[]>()
             for (const col of targets) {
                 const colIndex = cfRules === null ? null : buildCfIndex(cfRules.filter((rule) => rule.ranges.some((range) => col >= range.startCol && col <= range.endCol)))
-                for (const row of visibleRows) {
+                for (const row of measuredRows) {
                     // 計測対象は**画面に描かれる表示文字列** (v0.7 — 値書式適用後)。素の getCellText を測ると
                     // 通貨 "￥1,234,567" が素値 "1234567" の幅に潰されて最上位桁ごと左クリップされる (誤読事故)。
                     // 書式なしセルは formatCellValue が素通しするため従来と同一。interned フォーマッタにより
@@ -374,8 +433,8 @@ export const useHeaderResize = (params: UseHeaderResizeParams): SelectionEngine
         /** Per-axis closest() selector (structural exclusivity of the two hooks). / 軸別 closest() セレクタ。 */
         const selectorFor = (axis: "row" | "col"): string => (axis === "col" ? "[data-aqsp-col-resize], [data-aqsp-unhide]" : "[data-aqsp-row-resize], [data-aqsp-unhide]")
 
-        /** Resolves a strip hit to a gesture seed. / ストリップ命中のジェスチャ種解決。 */
-        const resolveHit = (axis: "row" | "col", target: EventTarget | null): { kind: "resize" | "unhide"; index: number } | null => {
+        /** Resolves a strip hit to a gesture seed (incl. the ADR-26 anchor). / ストリップ命中のジェスチャ種解決 (ADR-26 の anchor 込み)。 */
+        const resolveHit = (axis: "row" | "col", target: EventTarget | null): { kind: "resize" | "unhide"; index: number; anchor: "leading" | "trailing" } | null => {
             if (!(target instanceof Element)) {
                 return null
             }
@@ -385,7 +444,10 @@ export const useHeaderResize = (params: UseHeaderResizeParams): SelectionEngine
             }
             const isUnhide = hit.hasAttribute("data-aqsp-unhide")
             const index = Number(hit.getAttribute(isUnhide ? "data-aqsp-unhide" : axis === "col" ? "data-aqsp-col-resize" : "data-aqsp-row-resize"))
-            return { kind: isUnhide ? "unhide" : "resize", index }
+            // 末尾判別は属性保持の分類分岐 (§2.6 — isUnhide と同型。属性は末尾サブツリーのみ発行、
+            // leading DOM は不変なのでフォールバックではない)
+            const anchor: "leading" | "trailing" = hit.hasAttribute("data-aqsp-resize-anchor") ? "trailing" : "leading"
+            return { kind: isUnhide ? "unhide" : "resize", index, anchor }
         }
 
         const applyWindowPointerMove = (event: PointerEvent) => {
@@ -398,7 +460,9 @@ export const useHeaderResize = (params: UseHeaderResizeParams): SelectionEngine
             }
             // ズーム境界 (v0.3): ドラッグ差分は視覚 px — 論理 px へ 1 回だけ除算して適用する
             const delta = (gesture.axis === "col" ? event.clientX - gesture.startClientX : event.clientY - gesture.startClientY) / paramsRef.current.zoomRef.current
-            pendingSizeRef.current = Math.max(0, Math.round(gesture.initialSize + delta))
+            // 末尾アンカーは反転デルタ (ADR-26 — pinned-right: 左 / 上ドラッグで拡大、ポインタと
+            // 動く辺が同行)。leading は v0.8 byte 恒等の +delta
+            pendingSizeRef.current = Math.max(0, Math.round(gesture.anchor === "trailing" ? gesture.initialSize - delta : gesture.initialSize + delta))
             // ガイドラインは rAF 合流の直書き 1 ノードのみ (§7.2 — セル実サイズは確定まで不変)
             if (guideRafRef.current === null) {
                 guideRafRef.current = requestAnimationFrame(() => {
@@ -409,7 +473,8 @@ export const useHeaderResize = (params: UseHeaderResizeParams): SelectionEngine
                     }
                     const p = paramsRef.current
                     const axisModel = live.axis === "col" ? p.colAxis : p.rowAxis
-                    p.writeResizeGuide({ axis: live.axis, position: axisModel.offsetOf(live.index) + pendingSizeRef.current })
+                    // rAF 移動書き手もアンカー分岐 (ADR-26 — guidePositionOf が両書き手の単一式)
+                    p.writeResizeGuide({ axis: live.axis, position: guidePositionOf(live, axisModel, pendingSizeRef.current), anchor: live.anchor })
                 })
             }
         }
@@ -473,8 +538,9 @@ export const useHeaderResize = (params: UseHeaderResizeParams): SelectionEngine
             }
             p.focusSink()
             const axisModel = axis === "col" ? p.colAxis : p.rowAxis
-            gestureRef.current = { axis, kind: hit.kind, index: hit.index, initialSize: axisModel.sizeOf(hit.index), startClientX: event.clientX, startClientY: event.clientY }
-            pendingSizeRef.current = gestureRef.current.initialSize
+            const gesture: ResizeGesture = { axis, kind: hit.kind, index: hit.index, anchor: hit.anchor, initialSize: axisModel.sizeOf(hit.index), startClientX: event.clientX, startClientY: event.clientY }
+            gestureRef.current = gesture
+            pendingSizeRef.current = gesture.initialSize
             pressButtonsRef.current = event.buttons
             draggingRef.current = true
             // 自機フラグセット後の義務 press repaint (§8.2 の repaint エッジ — fill ハンドル消灯等)
@@ -492,8 +558,10 @@ export const useHeaderResize = (params: UseHeaderResizeParams): SelectionEngine
             windowListenersRef.current = { move, up }
             window.addEventListener("pointermove", move)
             window.addEventListener("pointerup", up)
-            // 押下位置の境界にガイドラインを即時表示
-            p.writeResizeGuide({ axis, position: axisModel.offsetOf(hit.index) + pendingSizeRef.current })
+            // 押下位置の境界にガイドラインを即時表示 — 押下書き手もアンカー分岐 (ADR-26 §14-6:
+            // 押下時 pendingSize = initialSize のため trailing 式は押下ストリップ自身の近端
+            // offsetOf(index) に着地する。leading 式のままだと最初の pointermove まで遠端に点滅)
+            p.writeResizeGuide({ axis, position: guidePositionOf(gesture, axisModel, pendingSizeRef.current), anchor: gesture.anchor })
         }
 
         /** Band dblclick: autofit / unhide-restore (mouse via lastPointerTypeRef — dblclick has no pointerType). / 帯 dblclick (autofit / 復元)。 */

package/src/header/useHeaderSelection.ts

@@ -101,7 +101,18 @@ export const useHeaderSelection = (params: UseHeaderSelectionParams): SelectionE
     /** Reserved press index ((a) subtract target / (b) conversion anchor seed). / 予約押下 index ((a) の減算対象 / (b) 変換時の anchor 種)。 */
     const reservedIndexRef = useRef(0)
 
-    /** Band coordinate to main-axis index (columns add hx, rows add vy). / 帯座標 → 主軸 index (列は hx、行は vy を加算)。 */
+    /**
+     * Band coordinate to main-axis index via the three-way inverse map (columns add hx, rows add
+     * vy; leading > trailing > middle — v0.9 plan §4.3, census #2). Each axis branch takes its
+     * OWN handle snapshot and builds the AxisInverseCtx inline (`trailingSize` = the TREE field,
+     * `extent` = a judgment-time `getViewportSize()` read — plan §2.1 rules 1/2; extent 0 keeps
+     * the trailing branch inert, byte-matching v0.8). The [0, count − 1] clamp is unchanged.
+     * 帯座標 → 主軸 index の 3 分岐逆写像 (列は hx、行は vy を加算。先頭 > 末尾 > 中央 — v0.9
+     * 計画 §4.3、census #2)。列 / 行の各分岐が自前ハンドルスナップショットを取り AxisInverseCtx を
+     * インライン構築 (`trailingSize` は TREE フィールド、`extent` は判断時 `getViewportSize()`
+     * 読み — 計画 §2.1 規則 1/2。extent 0 は末尾分岐を不活性に保ち v0.8 と byte 一致)。クランプ
+     * [0, count − 1] は不変。
+     */
     const hitIndex = useCallback((clientX: number, clientY: number): number | null => {
         const { axis, mainAxis, handleRef, zoomRef } = paramsRef.current
         const rect = headerRectRef.current
@@ -112,22 +123,30 @@ export const useHeaderSelection = (params: UseHeaderSelectionParams): SelectionE
         // 位置は両軸ともハンドルの同期読み (§7-4 — ドラッグ中オートスクロールでも最新の hx で
         // 着地列が決まる。旧 rAF 写像読みは列ヘッダー帯ドラッグの鮮度非対称の現存証拠だった)
         const z = zoomRef.current
+        const handle = handleRef.current
+        if (handle === null) {
+            return null
+        }
         if (axis === "col") {
-            const hx = handleRef.current?.getScrollPosition().x ?? -1
+            const hx = handle.getScrollPosition().x
             if (hx < 0) {
                 return null
             }
-            // 凍結パーティション逆写像 (v0.5 計画 §2) — 凍結ヘッダー帯上の押下は静的座標で解決
-            const frozenWidth = handleRef.current?.getFrozenSize().width ?? 0
-            return Math.min(Math.max(viewportXToCol(mainAxis, (clientX - rect.left) / z, hx, frozenWidth), 0), mainAxis.count - 1)
+            // 凍結パーティション 3 分岐逆写像 (v0.5 計画 §2、末尾は v0.9 §2.1) — ctx は列分岐の
+            // 自前スナップショットからこの場でインライン構築 (規則 1)。trailingSize は TREE
+            // フィールド (規則 2)、extent は判断時の getViewportSize() 読み
+            const frozen = handle.getFrozenSize()
+            const viewport = handle.getViewportSize()
+            return Math.min(Math.max(viewportXToCol(mainAxis, (clientX - rect.left) / z, { scroll: hx, frozenSize: frozen.width, trailingSize: frozen.trailingWidth, extent: viewport.width }), 0), mainAxis.count - 1)
         }
-        const vy = handleRef.current?.getScrollPosition().y ?? -1
+        const vy = handle.getScrollPosition().y
         if (vy < 0) {
             return null
         }
-        // 行ヘッダーも凍結パーティション逆写像 (v0.6 計画 §2 — 凍結行ヘッダー帯上の押下は静的解決)
-        const frozenHeight = handleRef.current?.getFrozenSize().height ?? 0
-        return Math.min(Math.max(viewportYToRow(mainAxis, (clientY - rect.top) / z, vy, frozenHeight), 0), mainAxis.count - 1)
+        // 行ヘッダーも 3 分岐逆写像 (v0.6 計画 §2、末尾は v0.9 §2.1) — 行分岐の自前スナップショット
+        const frozen = handle.getFrozenSize()
+        const viewport = handle.getViewportSize()
+        return Math.min(Math.max(viewportYToRow(mainAxis, (clientY - rect.top) / z, { scroll: vy, frozenSize: frozen.height, trailingSize: frozen.trailingHeight, extent: viewport.height }), 0), mainAxis.count - 1)
     }, [])
 
     /** Index to axis-full span corner cells. / index → 片軸全域スパンの両端セル。 */

package/src/keyboard/ensureCellVisible.ts

@@ -3,11 +3,22 @@
  * "no-op when visible" align (start/end/center only, and it pins anchors), so arrow-key
  * navigation must use edge-delta scrollBy on BOTH axes to avoid per-keystroke snapping
  * (§7-7 of the VirtualGrid design plan — scrollTo is the floor-and-pin jump API and is
- * deliberately not used here).
+ * deliberately not used here). v0.9 (plan §4.7, census #9): trailing frozen tracks are
+ * always visible and become per-axis no-ops (`row >= rowCount − trailingRows` blocks the
+ * vertical drive, `col >= colCount − trailingCols` the horizontal one), and the far
+ * visibility limit of SCROLL tracks shrinks by the trailing band's visible size
+ * (`viewport − trailingVisible*` — the Handsontable #5947 under-band landing class); all
+ * trailing fields are judgment-time `getFrozenSize()` reads, and T = 0 leaves every
+ * expression byte-identical to the v0.8 arithmetic.
  *
  * 自前 nearest 可視化スクロール (§6.6.3)。scrollToCell に「可視なら no-op」は存在しない
  * (start/end/center のみ、かつアンカーを張る) ため、矢印ナビは両軸ともはみ出し分だけの
  * scrollBy で自作する (設計計画 §7-7 — scrollTo は floor + アンカー張りのジャンプ API で不使用)。
+ * v0.9 (計画 §4.7、census #9): 末尾凍結トラックは常時可視のため軸別 no-op (縦は
+ * `row >= rowCount − trailingRows`、横は `col >= colCount − trailingCols` で遮断)、SCROLL
+ * トラックの遠可視限界は末尾帯の可視寸ぶん縮小 (`viewport − trailingVisible*` — Handsontable
+ * #5947 類の帯下敷き着地の回避)。trailing 系は全て判断時 `getFrozenSize()` 読みで、T = 0 は
+ * 全式が v0.8 算術と byte 一致。
  */
 
 import type { VirtualGridHandle } from "@aiquants/virtualscroll"
@@ -25,9 +36,14 @@ type EnsureCellVisibleDeps = {
 /**
  * Builds the ensureCellVisible helper (constructed once in Spreadsheet, injected into
  * keyboard / editor / Shift+F10 — §6.9-7 ownership). Both axes read the grid handle
- * synchronously (the truth — §7-4) and land via edge-delta scrollBy.
+ * synchronously (the truth — §7-4) and land via edge-delta scrollBy. v0.9 (plan §4.7):
+ * trailing frozen tracks are always-visible per-axis no-ops and the far limit of scroll
+ * tracks shrinks by the trailing band's viewport-clipped visible size (the vis fields —
+ * judgment-time handle reads, never render-surface rederivations).
  * ensureCellVisible の構築 (Spreadsheet で 1 回構築し keyboard / editor / Shift+F10 へ配る)。
- * 両軸ともグリッドハンドルの同期読み (§7-4 の真実) + 端差分 scrollBy で着地する。
+ * 両軸ともグリッドハンドルの同期読み (§7-4 の真実) + 端差分 scrollBy で着地する。v0.9 (計画
+ * §4.7): 末尾凍結トラックは常時可視の軸別 no-op、スクロールトラックの遠限界は末尾帯の
+ * viewport クリップ済み可視寸 (vis フィールド — 判断時ハンドル読み、レンダ面再導出禁止) ぶん縮小。
  */
 export const createEnsureCellVisible = ({ handleRef, rowAxis, colAxis }: EnsureCellVisibleDeps) => {
     return (cell: CellCoord): void => {
@@ -43,34 +59,41 @@ export const createEnsureCellVisible = ({ handleRef, rowAxis, colAxis }: EnsureC
         if (vy < 0 || hx < 0) {
             return
         }
+        // 帯幾何は判断毎の同期スナップショット 1 回 (leading / trailing とも同じ鮮度で読む)
+        const frozen = handle.getFrozenSize()
         // 縦: 論理座標で可視域と比較し、はみ出しぶんだけ scrollBy (端差分 — §7-7)。
-        // 凍結行 (v0.6 計画 §3 — 横の凍結列 no-op と同文) は常時可視のため縦成分のみ no-op
-        // (横調整は下ブロックで続行 — 凍結行 × スクロール列のセルは横スクロールが要る)。
-        // スクロール行の上可視限界は木座標 H_F + vy (viewport 上端 y = H_F がスクロール帯の始まり)
-        if (viewportH > 0 && cell.row >= handle.getFrozenSize().rows) {
-            const frozenHeight = handle.getFrozenSize().height
+        // 凍結行 (v0.6 計画 §3 — 横の凍結列 no-op と同文) と末尾行 (v0.9 §4.7 — row >=
+        // rowCount − trailingRows は常時可視) は縦成分のみ no-op (横調整は下ブロックで続行 —
+        // 帯行 × スクロール列のセルは横スクロールが要る)。スクロール行の上可視限界は木座標
+        // H_F + vy、下可視限界は末尾帯の可視高ぶん縮小した vy + viewportH − H_T_vis (v0.9 §4.7
+        // の縮小遠限界 — 素の viewportH のままだと着地行が末尾帯の下敷きになる)
+        if (viewportH > 0 && cell.row >= frozen.rows && cell.row < rowAxis.count - frozen.trailingRows) {
             const top = rowAxis.offsetOf(cell.row)
             const bottom = top + rowAxis.sizeOf(cell.row)
-            if (top < frozenHeight + vy) {
-                handle.scrollBy({ y: top - (frozenHeight + vy) })
-            } else if (bottom > vy + viewportH) {
-                handle.scrollBy({ y: bottom - (vy + viewportH) })
+            if (top < frozen.height + vy) {
+                handle.scrollBy({ y: top - (frozen.height + vy) })
+            } else if (bottom > vy + viewportH - frozen.trailingVisibleHeight) {
+                handle.scrollBy({ y: bottom - (vy + viewportH - frozen.trailingVisibleHeight) })
             }
         }
         // 横: 同型の nearest 計算 → 端差分 scrollBy (クランプはハンドルが担う)。
-        // 凍結列 (v0.5 計画 §3-4) は常時可視のため no-op。スクロール列の左可視限界は木座標
-        // W_F + hx (viewport 左端 x = W_F がスクロール帯の始まり — エンジン §8-a)
+        // 凍結列 (v0.5 計画 §3-4) と末尾列 (v0.9 §4.7 — col >= colCount − trailingCols) は
+        // 常時可視のため no-op (横ブロックは末尾処理なので早期 return で足りる)。スクロール列の
+        // 左可視限界は木座標 W_F + hx (viewport 左端 x = W_F がスクロール帯の始まり — エンジン
+        // §8-a)、右可視限界は末尾帯の可視幅ぶん縮小した hx + viewportW − W_T_vis (v0.9 §4.7)
         if (viewportW > 0) {
-            const frozen = handle.getFrozenSize()
             if (cell.col < frozen.cols) {
                 return
             }
+            if (cell.col >= colAxis.count - frozen.trailingCols) {
+                return
+            }
             const left = colAxis.offsetOf(cell.col)
             const right = left + colAxis.sizeOf(cell.col)
             if (left < frozen.width + hx) {
                 handle.scrollBy({ x: left - (frozen.width + hx) })
-            } else if (right > hx + viewportW) {
-                handle.scrollBy({ x: right - (hx + viewportW) })
+            } else if (right > hx + viewportW - frozen.trailingVisibleWidth) {
+                handle.scrollBy({ x: right - (hx + viewportW - frozen.trailingVisibleWidth) })
             }
         }
     }

package/src/keyboard/useGridKeyboard.ts

@@ -773,19 +773,25 @@ export const useGridKeyboard = (params: UseGridKeyboardParams): void => {
                 // 両軸ともハンドルの同期読み (§7-4): ensureCellVisible 直後の cellRect は
                 // 最新位置で計算しないと横画面外からのメニュー表示が旧位置へ誤配置される
                 const handle = handleRef.current
-                const position = handle?.getScrollPosition() ?? { x: 0, y: 0 }
+                const position = handle === null ? { x: 0, y: 0 } : handle.getScrollPosition()
                 // 両軸とも読点で番兵クランプ (対称 — detached の {-1,-1} を座標へ流さない)
                 const vy = Math.max(0, position.y)
                 const hx = Math.max(0, position.x)
+                // 帯件数と extent も同じ判断で読む (v0.9 計画 §4.8、census #10 — AxisForwardCtx は
+                // この場でインライン構築、§2.1 規則 1)。detached ハンドルは件数 0 / extent 0 の縮退
+                // (末尾分岐不活性 = v0.8 恒等)
+                const frozenMenu = handle === null ? { rows: 0, cols: 0, trailingRows: 0, trailingCols: 0 } : handle.getFrozenSize()
+                const viewportMenu = handle === null ? { width: 0, height: 0 } : handle.getViewportSize()
                 // ズーム境界 (v0.3): cellRect は視覚 px (論理 × z) — consumer は胴体ペインの
                 // gBCR (視覚 px) と直接加算して fixed 配置できる (デモ /render が参照実装)
                 const zMenu = p.zoomRef.current
                 p.onCellContextMenu?.(active, {
                     kind: "keyboard",
                     cellRect: {
-                        // 行 / 列とも凍結パーティション順写像 (v0.6 / v0.5 計画 §2 — 凍結軸は静的座標)
-                        top: rowToViewportY(p.rowAxis, active.row, vy, handle?.getFrozenSize().rows ?? 0) * zMenu,
-                        left: colToViewportX(p.colAxis, active.col, hx, handle?.getFrozenSize().cols ?? 0) * zMenu,
+                        // 行 / 列とも凍結パーティション 3 分岐順写像 (v0.6 / v0.5 計画 §2、末尾は
+                        // v0.9 §2.1 — 凍結軸は静的座標、末尾軸は extent アンカー)。×zoom は写像後 (契約不変)
+                        top: rowToViewportY(p.rowAxis, active.row, { scroll: vy, frozenCount: frozenMenu.rows, trailingCount: frozenMenu.trailingRows, extent: viewportMenu.height }) * zMenu,
+                        left: colToViewportX(p.colAxis, active.col, { scroll: hx, frozenCount: frozenMenu.cols, trailingCount: frozenMenu.trailingCols, extent: viewportMenu.width }) * zMenu,
                         width: p.colAxis.sizeOf(active.col) * zMenu,
                         height: p.rowAxis.sizeOf(active.row) * zMenu,
                     },