@aiquants/virtualscroll 3.4.0 → 3.5.0

package/src/VirtualGrid.tsx

@@ -89,6 +89,36 @@ export const MAX_FROZEN_LEADING_COLS = 128
  */
 export const MAX_FROZEN_LEADING_ROWS = 128
 
+/**
+ * Hard cap for `frozenTrailingCols` (v3.5.0 trailing-freeze plan §3). The trailing band is NOT
+ * windowed — every trailing column materializes in every rendered row and is EXEMPT from the
+ * MAX_RENDERED_CELLS truncation (the scroll-band budget is reduced by the trailing count
+ * instead) — so the cap is what bounds the band: worst case 128 x MAX_RENDERED_ITEMS rows, and
+ * W_T <= 128 x MAX_TRACK_SIZE = 2^25 (the measured layout wall; practical W_T <= viewport <<
+ * 2^24). Violations fail fast with a RangeError.
+ *
+ * `frozenTrailingCols` の上限 (3.5.0 末尾凍結プラン §3)。末尾帯は窓化されず全描画行で具現化し、
+ * かつ MAX_RENDERED_CELLS の打切り対象外 (代わりにスクロール帯予算を末尾数ぶん控除) のため、
+ * 帯を有界にするのはこの上限そのもの: 最悪 128 × MAX_RENDERED_ITEMS 行、W_T ≤ 128 ×
+ * MAX_TRACK_SIZE = 2^25 (実測壁ちょうど — 実運用は W_T ≤ viewport ≪ 2^24)。違反は fail-fast の
+ * RangeError。
+ */
+export const MAX_FROZEN_TRAILING_COLS = 128
+
+/**
+ * Hard cap for `frozenTrailingRows` (v3.5.0 trailing-freeze plan §3). The trailing-row band is
+ * grid-owned and OUT of the embedded VirtualScroll (the SECOND out-of-pane band, below the
+ * pane): every band row materializes every rendered column and is exempt from
+ * MAX_RENDERED_CELLS (the budget denominator counts band rows instead), so the cap bounds the
+ * band itself. Violations fail fast with a RangeError.
+ *
+ * `frozenTrailingRows` の上限 (3.5.0 末尾凍結プラン §3)。末尾行帯はグリッド所有で埋め込み
+ * VirtualScroll の外 (ペインの**下**の第 2 帯外バンド)。帯行は描画列を全て具現化し
+ * MAX_RENDERED_CELLS の打切り対象外 (予算分母に帯行数を算入) のため、帯を有界にするのは
+ * この上限そのもの。違反は fail-fast の RangeError。
+ */
+export const MAX_FROZEN_TRAILING_ROWS = 128
+
 /**
  * Maximum number of CONSECUTIVE NON-CONVERGENT self-heal flushes. A stable accessor converges in
  * ONE flush (tree == accessor afterwards), so the next collect pass is clean and RESETS this
@@ -303,6 +333,40 @@ export type VirtualGridProps<T> = {
      * 通知しゼロ描画)。
      */
     frozenLeadingRows?: number
+    /**
+     * Number of trailing columns frozen at the right edge (v3.5.0 trailing-freeze plan §3;
+     * default 0). Integer in [0, MAX_FROZEN_TRAILING_COLS] — RangeError otherwise (fail-fast).
+     * Dynamic clamp (documented contract): min(T, colCount − effectiveFrozenCols) — the LEADING
+     * band wins the count space. Trailing cells render in a right-anchored clip outside the
+     * anchor machinery (band-local lefts); `--aqvs-grid-trailing-width` is written iff T > 0.
+     * `scrollToCell` / `initialScrollAnchor` targeting a trailing column are horizontal no-ops
+     * (always visible). T = 0 is structurally identical to the pre-trailing DOM.
+     * 右端に凍結する末尾列数 (3.5.0 末尾凍結プラン §3。既定 0)。[0, MAX_FROZEN_TRAILING_COLS]
+     * の整数 — 違反は RangeError (fail-fast)。動的クランプ (文書化契約): min(T, colCount −
+     * effectiveFrozenCols) — カウント空間は**先頭が勝つ**。末尾セルはアンカー機構の外の
+     * 右アンカークリップに帯ローカル left で描画し、`--aqvs-grid-trailing-width` は T > 0 の
+     * ときのみ書かれる。`scrollToCell` / `initialScrollAnchor` の末尾列狙いは横 no-op
+     * (常時可視)。T = 0 は DOM 構造まで従来と恒等。
+     */
+    frozenTrailingCols?: number
+    /**
+     * Number of trailing rows pinned at the bottom (v3.5.0 trailing-freeze plan §3; default 0).
+     * Integer in [0, MAX_FROZEN_TRAILING_ROWS] — RangeError otherwise (fail-fast). Dynamic
+     * clamp (documented contract): min(T, rowCount − effectiveFrozenRows) — leading wins. The
+     * band is grid-owned BELOW the pane; the embedded scroll rows shrink at the TAIL only
+     * (itemCount = rowCount − R − T, getItem = i + R unchanged), so a runtime T change does NOT
+     * remount the embedded VirtualScroll (ADR-23). `scrollToCell` / `initialScrollAnchor`
+     * targeting a trailing row are vertical no-ops (always visible). T = 0 is structurally
+     * identical to the pre-trailing DOM.
+     * 下端に凍結する末尾行数 (3.5.0 末尾凍結プラン §3。既定 0)。[0, MAX_FROZEN_TRAILING_ROWS]
+     * の整数 — 違反は RangeError (fail-fast)。動的クランプ (文書化契約): min(T, rowCount −
+     * effectiveFrozenRows) — 先頭が勝つ。帯はペインの**下**のグリッド所有バンドで、埋め込み
+     * スクロール行は**末尾**だけが伸縮する (itemCount = rowCount − R − T、getItem = i + R
+     * 不変) — T の実行時変更は埋め込み VirtualScroll を再マウントしない (ADR-23)。
+     * `scrollToCell` / `initialScrollAnchor` の末尾行狙いは縦 no-op (常時可視)。T = 0 は
+     * DOM 構造まで従来と恒等。
+     */
+    frozenTrailingRows?: number
     /** Row-axis overscan (default 3 — a declared, intentional deviation from the bare VirtualScroll default 15; see the bounding contract). / 行軸 overscan (既定 3 — 素の既定 15 からの宣言済み意図的乖離)。 */
     overscanRows?: number
     /** Column-axis overscan (default 3). / 列軸 overscan (既定 3)。 */
@@ -338,7 +402,24 @@ export type VirtualGridHandle = {
     scrollTo(pos: { x?: number; y?: number }): { x: number; y: number }
     /** Relative float-accumulating path (wheel semantics; returns the applied clamped position — drag loops consume it synchronously). / 相対 float 累積経路 (ホイール同義。クランプ後位置を同期 return — ドラッグループが消費)。 */
     scrollBy(delta: { x?: number; y?: number }): { x: number; y: number }
-    /** Cell-targeted jump. alignY uses the row vocabulary (top/bottom/center), alignX its horizontal twin (start/end/center). No "nearest". Targeting a FROZEN column is a horizontal no-op that leaves any previously armed column anchor in place (the visual status quo is preserved; manual horizontal input clears anchors as usual). / セル狙いジャンプ。"nearest" は無し。凍結列狙いの横成分は no-op で、既存の列アンカーはそのまま残る (視覚的現状維持 — 手動横入力が従来どおり解除する)。 */
+    /**
+     * Cell-targeted jump. alignY uses the row vocabulary (top/bottom/center), alignX its
+     * horizontal twin (start/end/center). No "nearest". Targeting a LEADING frozen or TRAILING
+     * frozen column is a horizontal no-op that leaves any previously armed column anchor in
+     * place (the visual status quo is preserved; manual horizontal input clears anchors as
+     * usual); targeting a leading/trailing frozen row is a vertical no-op. Band membership is
+     * judged at CALL time — a T change AFTER arming follows the ADR-23 clamp semantics: a
+     * pending row anchor whose target row lands inside the trailing band after a T increase
+     * clamps to the last scroll row. Overlap registration (ADR-19-1): when the leading +
+     * trailing band extents exceed the viewport, occluded trailing cells cannot be scrolled
+     * into view — the no-op is exact there too.
+     * セル狙いジャンプ。"nearest" は無し。先頭 / 末尾凍結列狙いの横成分は no-op で、既存の
+     * 列アンカーはそのまま残る (視覚的現状維持 — 手動横入力が従来どおり解除する)。先頭 /
+     * 末尾凍結行狙いの縦成分も no-op。帯所属の判定は**呼出し時** — 張った後の T 変更は
+     * ADR-23 のクランプ意味論 (T 増加で末尾帯入りする行を狙った保留行アンカーは最終
+     * スクロール行へクランプ) に従う。重複登記 (ADR-19-1): 先頭 + 末尾の帯寸がビューポートを
+     * 超えるとき、隠れた末尾セルはどのスクロール位置でも可視化できない — no-op はそこでも正確。
+     */
     scrollToCell(row: number, col: number, options?: { alignY?: "top" | "bottom" | "center"; alignX?: "start" | "end" | "center"; offsetX?: number; offsetY?: number }): void
     /** Synchronous-fresh position read (internal refs — safe mid-event; {-1,-1} pre-attach). / 同期・最新の位置読み (内部 ref — イベント中も安全。未接続 {-1,-1})。 */
     getScrollPosition(): { x: number; y: number }
@@ -347,7 +428,7 @@ export type VirtualGridHandle = {
     getViewportSize(): { width: number; height: number }
     getContentSize(): { width: number; height: number }
     getRange(): VirtualGridRange | null
-    /** Pair-call seam: getRowHeight stays the truth; delegates to the row updateItemSize. / 対呼び出しシーム (getRowHeight が正) — 行 updateItemSize へ委譲。 */
+    /** Pair-call seam: getRowHeight stays the truth. 3-way split — leading band rows bump the frozen-row epoch, trailing band rows bump the trailing-row epoch (accessor re-read; the bands hold no tree), scroll rows delegate to the row updateItemSize at −R. / 対呼び出しシーム (getRowHeight が正)。3 分岐 — 先頭帯行は凍結行 epoch、末尾帯行は末尾行 epoch の繰上げ (アクセサ再読 — 帯に木は無い)、スクロール行は −R で行 updateItemSize へ委譲。 */
     updateRowSize(row: number, px: number): void
     /**
      * Column twin: validates (MAX_TRACK_SIZE fail-fast), updates the width tree, and bumps the
@@ -360,8 +441,25 @@ export type VirtualGridHandle = {
      * バッチングで 1 コミットに合流 (設計の rAF 合流意図のコミット粒度での実現)。
      */
     updateColSize(col: number, px: number): void
-    /** Effective frozen-band sizes: {cols, width, rows, height} in the CURRENT trees (cols/rows = dynamic clamps, width = W_F px, height = H_F px). Consumers use it for hit-test partitioning on both axes. / 実効凍結帯寸法 {cols, width, rows, height} (cols / rows は動的クランプ後、width = W_F、height = H_F)。消費側の両軸ヒットテスト分割用。 */
-    getFrozenSize(): { cols: number; width: number; rows: number; height: number }
+    /**
+     * Effective frozen-band sizes on both axes and both ends (v3.5.0 — a non-breaking field
+     * extension of the {cols, width} → {cols, width, rows, height} precedent). cols/rows/
+     * trailingCols/trailingRows = dynamic post-clamp counts; width/height/trailingWidth/
+     * trailingHeight = TREE px (the trailing sizes are tree SUFFIX sums); trailingVisibleWidth/
+     * trailingVisibleHeight = viewport-clipped `min(tree, max(0, viewport − leading))` — THE
+     * single source for W_T_vis / H_T_vis that every consumer judgment/write path cites (never
+     * re-derive the formula). Pre-attach the grid viewport reads {0, 0}, so the vis fields are
+     * 0 (an initial measured state, not a sentinel) while the tree fields stay tree px.
+     * 実効凍結帯寸法 — 両軸・両端 (v3.5.0。{cols, width} → {cols, width, rows, height} の
+     * 前例に続く非破壊のフィールド追加)。cols / rows / trailingCols / trailingRows は動的
+     * クランプ後の実効カウント、width / height / trailingWidth / trailingHeight は**木** px
+     * (末尾寸は木の接尾辞和)、trailingVisibleWidth / trailingVisibleHeight はビューポート
+     * クリップ `min(木, max(0, viewport − 先頭))` — W_T_vis / H_T_vis の**単一情報源**で、
+     * 消費側の判定 / 書込み経路は全てこのフィールドを名指しで読む (式の再導出禁止)。
+     * プレアタッチはビューポート {0, 0} のため vis フィールドは 0 (番兵ではなく初期実測状態)、
+     * 木フィールドは常に木 px。
+     */
+    getFrozenSize(): { cols: number; width: number; rows: number; height: number; trailingCols: number; trailingRows: number; trailingWidth: number; trailingHeight: number; trailingVisibleWidth: number; trailingVisibleHeight: number }
     /** 2-axis wheel bridge entry: vertical → embedded VirtualScroll, horizontal → hx. Returns whether the event was consumed (WheelBridgeTarget contract). / 2 軸ホイールブリッジ口。消費有無を返す (ブリッジ契約)。 */
     applyWheel(event: WheelEvent): boolean
     /** Focuses the row wrapper at `row` (scroll rows via the −R-shifted row-side focusItemAtIndex — enableKeyboardNavigation applies; frozen band rows are focused directly and need no option). / 行ラッパーへフォーカス (スクロール行は −R シフトの行側 focusItemAtIndex — enableKeyboardNavigation が前提。凍結帯行は直接フォーカスでオプション不要)。 */
@@ -525,6 +623,58 @@ const collectFrozenColumns = (frozenCols: number, getColWidth: (col: number) =>
     return { columns, widthUpdates, width: runningLeft }
 }
 
+/**
+ * Enumerates the trailing frozen band (v3.5.0 trailing-freeze plan §6.1-5 — the suffix twin of
+ * collectFrozenColumns): columns [colCount − trailingCols, colCount) with BAND-LOCAL lefts (a
+ * running prefix that starts at 0 — the right-anchored inner owns the placement, so trailing
+ * cells never take the anchor subtraction; W_T is bounded by 128 x MAX_TRACK_SIZE = 2^25),
+ * zero-width columns skipped (no DOM — the shared hidden-track discipline), and width
+ * self-heal deltas collected under the same tree-is-position / accessor-is-width split as
+ * collectVisibleColumns. Returns width = W_T, the TREE suffix width of the band.
+ *
+ * 末尾凍結帯の列挙 (3.5.0 末尾凍結プラン §6.1-5 — collectFrozenColumns の接尾辞双子)。列
+ * [colCount − trailingCols, colCount) を**帯ローカル** left (0 始まりの running 接頭辞 —
+ * 配置は右アンカー inner が担い、末尾セルはアンカー減算を決して取らない。W_T は 128 × 2^18 =
+ * 2^25 で有界) で並べ、幅 0 列は DOM 非生成 (非表示トラックの共有規律)、幅 self-heal 差分は
+ * collectVisibleColumns と同じ「位置は木・幅はアクセサ」分担で収集する。返す width = W_T
+ * (帯の**木**接尾辞幅)。
+ */
+const collectTrailingColumns = (colCount: number, trailingCols: number, getColWidth: (col: number) => number, colTree: ReturnType<typeof useFenwickMapTree>): { columns: PlacedColumn[]; widthUpdates: Array<{ index: number; value: number }>; width: number } => {
+    const columns: PlacedColumn[] = []
+    const widthUpdates: Array<{ index: number; value: number }> = []
+    let runningLeft = 0
+    // T ≤ MAX_FROZEN_TRAILING_COLS のため素朴な O(T) 走査で十分 (幅 0 ジャンプ機構は不要)
+    for (let col = colCount - trailingCols; col < colCount; col += 1) {
+        const width = getColWidth(col)
+        const cached = colTree.get(col)
+        if (width !== cached) {
+            widthUpdates.push({ index: col, value: width })
+        }
+        if (width > 0) {
+            columns.push({ col, left: runningLeft, width })
+        }
+        runningLeft += cached
+    }
+    return { columns, widthUpdates, width: runningLeft }
+}
+
+/**
+ * THE single JS source for W_T_vis / H_T_vis (v3.5.0 trailing-freeze plan §2.1-4): clips a
+ * trailing band's TREE extent to what the viewport can show after the leading band took its
+ * share — `min(trailing, max(0, viewport − leading))`. Consumers are exactly three: the
+ * trailing-rows band template height, the hbar paddingRight, and the getFrozenSize
+ * trailingVisibleWidth/Height export. Never re-derive the formula elsewhere (the CSS max()
+ * left edge of `.aqvs-grid-row-trailing` is the registered calc() equivalent — the ONLY
+ * exception, annotated in the stylesheet).
+ *
+ * W_T_vis / H_T_vis の**単一 JS 源** (3.5.0 末尾凍結プラン §2.1-4)。末尾帯の**木**寸を
+ * 「先頭帯が取った残り」へクリップする `min(末尾, max(0, viewport − 先頭))`。消費先は
+ * 末尾行帯テンプレート高 / hbar paddingRight / getFrozenSize の vis export の 3 点ちょうど —
+ * 式を他所へ複製しない (`.aqvs-grid-row-trailing` の CSS max() 左端だけが登記済みの calc()
+ * 等価形で、スタイルシート側にインライン登記済み)。
+ */
+const trailingVisibleSize = (trailingSize: number, frozenSize: number, viewportSize: number): number => Math.min(trailingSize, Math.max(0, viewportSize - frozenSize))
+
 /** Internal committed column-window state (anchor rides with the window — the M10 coherence unit). / コミット済み列窓状態 (アンカーは窓と一体 — M10 整合の単位)。 */
 type ColumnWindowState = {
     renderingColStart: number
@@ -575,6 +725,8 @@ const VirtualGridInner = <T,>(
         onRowFocus,
         frozenLeadingCols = 0,
         frozenLeadingRows = 0,
+        frozenTrailingCols = 0,
+        frozenTrailingRows = 0,
         horizontalKeyInputs,
         horizontalKeyStep,
         onScroll,
@@ -650,17 +802,34 @@ const VirtualGridInner = <T,>(
     /** Fresh W_F for drag loops / clamps (mirrored from the frozen memo each render). / ドラッグループ / クランプ用の鮮度 W_F (凍結 memo から毎レンダー写像)。 */
     const frozenWidthRef = useRef(0)
 
+    // ---- 末尾凍結列帯 (3.5.0 プラン §6.1-3) — 先頭側と同文の fail-fast。動的クランプは
+    //      min(T, colCount − 先頭実効) で**先頭がカウント空間で勝つ** (ADR-19-1 の文書化契約) ----
+    if (!(Number.isInteger(frozenTrailingCols) && frozenTrailingCols >= 0 && frozenTrailingCols <= MAX_FROZEN_TRAILING_COLS)) {
+        throw new RangeError(`[VirtualGrid] frozenTrailingCols must be an integer in [0, ${MAX_FROZEN_TRAILING_COLS}], received ${frozenTrailingCols}.`)
+    }
+    const effectiveTrailingCols = Math.min(frozenTrailingCols, colCount - effectiveFrozenCols)
+    /** Fresh W_T for drag loops / clamps (mirrored from the trailing memo each render). / ドラッグループ / クランプ用の鮮度 W_T (末尾 memo から毎レンダー写像)。 */
+    const trailingWidthRef = useRef(0)
+
     // ---- 凍結行帯 (行凍結設計 §4-1) — 列と同文の fail-fast + 動的クランプ ----
     if (!(Number.isInteger(frozenLeadingRows) && frozenLeadingRows >= 0 && frozenLeadingRows <= MAX_FROZEN_LEADING_ROWS)) {
         throw new RangeError(`[VirtualGrid] frozenLeadingRows must be an integer in [0, ${MAX_FROZEN_LEADING_ROWS}], received ${frozenLeadingRows}.`)
     }
     const effectiveFrozenRows = Math.min(frozenLeadingRows, rowCount)
-    /** Scroll-row count in the SHIFTED space (design §2 — the embedded VirtualScroll's itemCount). / シフト空間のスクロール行数 (埋め込み VirtualScroll の itemCount)。 */
-    const scrollRowCount = Math.max(0, rowCount - effectiveFrozenRows)
+
+    // ---- 末尾凍結行帯 (3.5.0 プラン §6.1-3) — 列側と同文の fail-fast + 先頭勝ちクランプ ----
+    if (!(Number.isInteger(frozenTrailingRows) && frozenTrailingRows >= 0 && frozenTrailingRows <= MAX_FROZEN_TRAILING_ROWS)) {
+        throw new RangeError(`[VirtualGrid] frozenTrailingRows must be an integer in [0, ${MAX_FROZEN_TRAILING_ROWS}], received ${frozenTrailingRows}.`)
+    }
+    const effectiveTrailingRows = Math.min(frozenTrailingRows, rowCount - effectiveFrozenRows)
+    /** Scroll-row count in the SHIFTED space (design §2; the tail loses T — the embedded VirtualScroll's itemCount). / シフト空間のスクロール行数 (末尾は −T — 埋め込み VirtualScroll の itemCount)。 */
+    const scrollRowCount = Math.max(0, rowCount - effectiveFrozenRows - effectiveTrailingRows)
     /** Degenerate-band flag ref (H_F >= measured viewport — §3.3 の縮退帯と同じ正準空窓へ). / 縮退帯フラグ ref (H_F ≥ 実測ビューポート — §3.3 縮退帯と同じ正準空窓)。 */
     const degenerateBandRef = useRef(false)
     /** Fresh H_F for handle reads (mirrored from the band memo each render). / ハンドル読み用の鮮度 H_F (帯 memo から毎レンダー写像)。 */
     const frozenHeightRef = useRef(0)
+    /** Fresh H_T for handle reads (mirrored from the trailing band memo each render). / ハンドル読み用の鮮度 H_T (末尾帯 memo から毎レンダー写像)。 */
+    const trailingHeightRef = useRef(0)
 
     // ---- 凍結行帯の列挙 (行凍結設計 §4-2) — グリッド所有の帯外バンド。行高の真実は
     //      アクセサ直読 (列帯と違い第 2 の格納庫 = 木 が無いためヒール機構は不要 — 更新経路は
@@ -683,6 +852,28 @@ const VirtualGridInner = <T,>(
         return { frozenRows: rows, frozenHeight: running }
     }, [effectiveFrozenRows, frozenRowEpoch, validatedGetRowHeight])
     frozenHeightRef.current = frozenHeight
+
+    // ---- 末尾行帯の列挙 (3.5.0 プラン §6.1-11) — 先頭行帯と同形の帯外バンド。木もヒール機構も
+    //      持たない (アクセサが唯一の真実 — 先頭行帯の宣言済み非対称と同文)。top は帯ローカル
+    //      接頭辞和 (inner の bottom 定着が右アンカーの行版を担う)。高さ 0 行は DOM 非生成 ----
+    const [trailingRowEpoch, setTrailingRowEpoch] = useState(0)
+    const { trailingRows, trailingHeight } = useMemo(() => {
+        void trailingRowEpoch
+        if (effectiveTrailingRows === 0) {
+            return { trailingRows: [] as Array<{ row: number; top: number; height: number }>, trailingHeight: 0 }
+        }
+        const rows: Array<{ row: number; top: number; height: number }> = []
+        let running = 0
+        for (let row = rowCount - effectiveTrailingRows; row < rowCount; row += 1) {
+            const height = validatedGetRowHeight(row)
+            if (height > 0) {
+                rows.push({ row, top: running, height })
+            }
+            running += height
+        }
+        return { trailingRows: rows, trailingHeight: running }
+    }, [effectiveTrailingRows, rowCount, trailingRowEpoch, validatedGetRowHeight])
+    trailingHeightRef.current = trailingHeight
     /** Shifted row-height accessor for the embedded VirtualScroll (design §2). / 埋め込み VirtualScroll 用のシフト済み行高アクセサ (設計 §2)。 */
     const scrollGetRowHeight = useCallback((index: number) => validatedGetRowHeight(index + effectiveFrozenRows), [validatedGetRowHeight, effectiveFrozenRows])
     // 行フォーカス通知はフル行空間へ +R 翻訳する (シフト漏れの是正 — 素通しは R > 0 でフル行 r の
@@ -696,6 +887,8 @@ const VirtualGridInner = <T,>(
     const shiftedRowFocus = useMemo(() => (hasRowFocus ? (index: number) => onRowFocusRef.current?.(index + effectiveFrozenRows) : undefined), [effectiveFrozenRows, hasRowFocus])
     /** Reactive key for H_F consumers (memo edge — the ref alone would not invalidate). / H_F 消費 memo の反応辺キー (ref 直読は失効しない)。 */
     const frozenHeightEpochKey = frozenHeight
+    /** Reactive key for H_T consumers (the trailing twin). / H_T 消費 memo の反応辺キー (末尾双子)。 */
+    const trailingHeightEpochKey = trailingHeight
 
     // ---- R の実行時変更 (R1 是正): シフト空間の再ペアリングは埋め込み木にとって「中間削除」で、
     //      木の changeSize (末尾意味論) では歪む (実測 +228px の総高汚染)。key 再マウントで木を
@@ -756,8 +949,8 @@ const VirtualGridInner = <T,>(
     const viewport = explicitViewport ?? measuredViewport
     const viewportRef = useRef(viewport)
     viewportRef.current = viewport
-    /** Degenerate band: H_F fills the measured viewport — scroll rows go canonical-EMPTY (§3.3 縮退帯の縦対称). / 縮退帯: H_F が実測ビューポートを食い尽くす — スクロール行は正準空窓 (§3.3 の縦対称)。 */
-    const degenerateBand = viewport.height > 0 && viewport.height - frozenHeight <= 0
+    /** Degenerate band: H_F + H_T fills the measured viewport — scroll rows go canonical-EMPTY (§3.3 縮退帯の縦対称; 3.5.0 で −H_T を一般化). / 縮退帯: H_F + H_T が実測ビューポートを食い尽くす — スクロール行は正準空窓 (§3.3 の縦対称。3.5.0 で −H_T を一般化)。 */
+    const degenerateBand = viewport.height > 0 && viewport.height - frozenHeight - trailingHeight <= 0
     degenerateBandRef.current = degenerateBand
     const hasExplicitViewport = explicitViewport !== null
     useLayoutEffect(() => {
@@ -793,10 +986,21 @@ const VirtualGridInner = <T,>(
         root.style.setProperty("--aqvs-grid-hx-residual", `${committedAnchorRef.current - hxRef.current}px`)
     }, [])
 
+    /**
+     * Fresh scroll-band width from refs (v3.5.0 trailing-freeze plan §6.1-6 — the ONE ref-space
+     * source): viewport minus BOTH band extents. Replaces the three former inline
+     * `max(0, viewport − W_F)` sites (applyHx / refreshColumns / resolveColumnAnchorHx) so a
+     * W_T change can never go stale in just one of them. T = 0 reduces to the pre-trailing form.
+     * ref 空間のスクロール帯幅 (3.5.0 末尾凍結プラン §6.1-6 — ref 面の単一源)。viewport から
+     * 両端の帯寸を控除する。旧 3 箇所のインライン `max(0, viewport − W_F)` を置換し、W_T 変化が
+     * 1 箇所だけ stale 化する余地を構造的に断つ。T = 0 は従来式へ恒等縮退。
+     */
+    const scrollBandWidthRef = useCallback(() => Math.max(0, viewportRef.current.width - frozenWidthRef.current - trailingWidthRef.current), [])
+
     // ---- 列窓の再計算 (setState は窓 / アンカー変化時のみ — key 比較で bail) ----
     const refreshColumns = useCallback(() => {
-        // 凍結帯 (§8-a): 窓探索は木座標 W_F + hx 始まり・帯幅 = viewport − W_F
-        const bandWidth = Math.max(0, viewportRef.current.width - frozenWidthRef.current)
+        // 凍結帯 (§8-a): 窓探索は木座標 W_F + hx 始まり・帯幅 = viewport − W_F − W_T (3.5.0 一般化)
+        const bandWidth = scrollBandWidthRef()
         const placement = computeColumnPlacement(frozenWidthRef.current + hxRef.current, bandWidth, overscanCols, colCount, validatedGetColWidth, colTree, totalWidthRef.current, columnWindowRef.current.colAnchor)
         // 幅 0 の凍結列があると indexAt(W_F + hx) が F 未満へ届く — スクロール窓に凍結列を
         // 再出現させない床クランプ (§8-c: 凍結帯の描画は凍結 subtree の専有)。床は F そのもの:
@@ -806,21 +1010,31 @@ const VirtualGridInner = <T,>(
         if (effectiveFrozenCols > 0) {
             placement.renderingColStart = Math.max(placement.renderingColStart, effectiveFrozenCols)
             placement.visibleColStart = Math.max(placement.visibleColStart, effectiveFrozenCols)
-            // 縮退帯 (帯幅 0 — W_F ≥ viewport) もスクロールセルを描かない状態: 範囲通知を
-            // 全列凍結と同じ空窓正準形へ揃える (非空の可視窓を報告するとヘッダー同期 /
-            // liveRegion 消費側がセル無き列を描く — R3 実証の非対称の解消)
-            if (bandWidth <= 0) {
-                placement.renderingColStart = colCount
-                placement.renderingColEnd = colCount - 1
-                placement.visibleColStart = colCount
-                placement.visibleColEnd = colCount - 1
-            }
+        }
+        // 末尾帯の ceiling clamp (3.5.0 プラン §6.1-6 — F 床クランプの鏡像・anti-#4454):
+        // stale-bandWidth や幅 0 末尾列で窓末端が末尾帯へ届いても、スクロール窓に末尾列を
+        // 再出現させない。天井は colCount − T_eff − 1 そのもの
+        if (effectiveTrailingCols > 0) {
+            const ceiling = colCount - effectiveTrailingCols - 1
+            placement.renderingColEnd = Math.min(placement.renderingColEnd, ceiling)
+            placement.visibleColEnd = Math.min(placement.visibleColEnd, ceiling)
+        }
+        // 空窓ガードの一般化 (3.5.0 プラン §6.1-6): F > 0 または T > 0 のとき、縮退帯
+        // (帯幅 ≤ 0 — W_F + W_T ≥ viewport) と clamp の結果 start > end になった窓は
+        // 全列凍結と同じ空窓正準形へ整形する (非空の可視窓を報告するとヘッダー同期 /
+        // liveRegion 消費側がセル無き列を描く — R3 実証の非対称の解消。T のみ縮退の
+        // phantom 窓もここで封じる)
+        if ((effectiveFrozenCols > 0 || effectiveTrailingCols > 0) && (bandWidth <= 0 || placement.renderingColStart > placement.renderingColEnd)) {
+            placement.renderingColStart = colCount
+            placement.renderingColEnd = colCount - 1
+            placement.visibleColStart = colCount
+            placement.visibleColEnd = colCount - 1
         }
         const key = `${placement.renderingColStart}:${placement.renderingColEnd}:${placement.colAnchor}`
         if (key !== columnWindowRef.current.key) {
             setColumnWindow({ ...placement, key })
         }
-    }, [overscanCols, colCount, validatedGetColWidth, colTree, effectiveFrozenCols])
+    }, [overscanCols, colCount, validatedGetColWidth, colTree, effectiveFrozenCols, effectiveTrailingCols, scrollBandWidthRef])
 
     // ---- 横スクロールバーの追従 (rAF 合流の軽量 state — React 毎フレーム再レンダー回避) ----
     const [barHx, setBarHx] = useState(0)
@@ -866,9 +1080,10 @@ const VirtualGridInner = <T,>(
         // 見積り基点は現在の行窓先頭 (到達済みなら) — マウント前は初期アンカー行。
         // リサイズ時に初期アンカー基点のままだと現在位置と別領域の行高で見積もってしまう
         const basisRow = rowRangeRef.current?.renderingStartIndex ?? initialAnchorRow
-        // 凍結行帯はスクロール行の見積り高から控除する (帯外バンド — 設計 §4-3)
-        return estimateRenderedRowCount(Math.max(0, viewport.height - frozenHeightRef.current), validatedGetRowHeight, rowCount, basisRow, overscanRows)
-    }, [viewport.height, validatedGetRowHeight, rowCount, initialAnchorRow, overscanRows, frozenHeightEpochKey])
+        // 凍結行帯 (先頭 + 末尾) はスクロール行の見積り高から控除する (帯外バンド — 設計 §4-3、
+        // 3.5.0 プラン §6.1-12: −H_T 欠落は高い末尾帯のマウントコミットで偽打切りを発火させる)
+        return estimateRenderedRowCount(Math.max(0, viewport.height - frozenHeightRef.current - trailingHeightRef.current), validatedGetRowHeight, rowCount, basisRow, overscanRows)
+    }, [viewport.height, validatedGetRowHeight, rowCount, initialAnchorRow, overscanRows, frozenHeightEpochKey, trailingHeightEpochKey])
     const effectiveRenderedRows = notifiedRowCount ?? estimatedRowCount
 
     const buildRange = useCallback((): VirtualGridRange | null => {
@@ -889,8 +1104,9 @@ const VirtualGridInner = <T,>(
             scrollX: hxRef.current,
             scrollY: vyRef.current,
             totalWidth: totalWidthRef.current,
-            // 帯高は鮮度加算 (格納はスクロール木のみ — 帯行リサイズ後も総高が正しい。R1 是正)
-            totalHeight: rows.totalHeight + frozenHeightRef.current,
+            // 帯高は鮮度加算 (格納はスクロール木のみ — 帯行リサイズ後も総高が正しい。R1 是正。
+            // 3.5.0: 末尾帯高 H_T も同じ鮮度規律で加算)
+            totalHeight: rows.totalHeight + frozenHeightRef.current + trailingHeightRef.current,
         }
     }, [])
 
@@ -904,10 +1120,11 @@ const VirtualGridInner = <T,>(
     // ---- applyHx — 横論理位置の唯一の書き口 (clamp → ref → 残差 var → 列窓 → 通知 → クランプ後値 return) ----
     const applyHx = useCallback(
         (next: number): number => {
-            // 凍結帯 (§8): スクロール帯幅 = viewport − W_F。maxHx = (総幅 − W_F) − 帯幅で、
-            // W_F < viewport のとき従来式 (総幅 − viewport) と一致する (F = 0 で恒等)
-            const bandWidth = Math.max(0, viewportRef.current.width - frozenWidthRef.current)
-            const maxHx = Math.max(0, totalWidthRef.current - frozenWidthRef.current - bandWidth)
+            // 凍結帯 (§8): スクロール帯幅 = viewport − W_F − W_T (3.5.0 一般化)。maxHx =
+            // (総幅 − W_F − W_T) − 帯幅で、W_F + W_T < viewport のとき従来式 (総幅 − viewport)
+            // と一致する (F = T = 0 で恒等)
+            const bandWidth = scrollBandWidthRef()
+            const maxHx = Math.max(0, totalWidthRef.current - frozenWidthRef.current - trailingWidthRef.current - bandWidth)
             const clamped = minmax(next, 0, maxHx)
             if (clamped !== hxRef.current) {
                 hxRef.current = clamped
@@ -918,7 +1135,7 @@ const VirtualGridInner = <T,>(
             }
             return clamped
         },
-        [writeResidual, refreshColumns, scheduleBarSync],
+        [writeResidual, refreshColumns, scheduleBarSync, scrollBandWidthRef],
     )
     const applyHxRef = useRef(applyHx)
     applyHxRef.current = applyHx
@@ -936,7 +1153,7 @@ const VirtualGridInner = <T,>(
         if (rowRangeRef.current !== null) {
             emitRangeChange()
         }
-    }, [frozenHeight, emitRangeChange])
+    }, [frozenHeight, trailingHeight, emitRangeChange])
 
     // ---- 保留列アンカー (行側 scrollToIndex のアンカー張りの列対): initialScrollAnchor 復元と
     //      scrollToCell が張り、self-heal / 総幅同期 / リサイズで列左が動くたび paint 前に再ピン留め
@@ -951,13 +1168,14 @@ const VirtualGridInner = <T,>(
             const prefix = colTree.prefixSum(safeCol, { materializeOption: { materialize: false } })
             const colLeft = prefix.cumulative - prefix.currentValue
             const colWidth = prefix.currentValue
-            // 凍結帯 (§8): 整列先はスクロール帯 [W_F, viewport) — 列座標から W_F を引き、
-            // 幅もスクロール帯幅で測る (F = 0 では従来式と恒等)
-            const bandWidth = Math.max(0, viewportRef.current.width - frozenWidthRef.current)
+            // 凍結帯 (§8): 整列先はスクロール帯 [W_F, viewport − W_T) — 列座標から W_F を引き、
+            // 幅もスクロール帯幅 (3.5.0 一般化: −W_T 済み) で測る (F = T = 0 では従来式と恒等。
+            // "end" は目標右端を viewport − W_T へ着地させる — §8 の VALUE 行がピンする形)
+            const bandWidth = scrollBandWidthRef()
             const base = anchor.alignX === "end" ? colLeft + colWidth - frozenWidthRef.current - bandWidth : anchor.alignX === "center" ? colLeft + colWidth / 2 - frozenWidthRef.current - bandWidth / 2 : colLeft - frozenWidthRef.current
             return base + anchor.offsetX
         },
-        [colTree, colCount],
+        [colTree, colCount, scrollBandWidthRef],
     )
 
     // ---- 幅 self-heal (窓内の getColWidth と木の乖離をバッチ適用 — 行 memo の toUpdateHeights 双子)。
@@ -1023,6 +1241,54 @@ const VirtualGridInner = <T,>(
         }
     }, [frozenWidth, effectiveFrozenCols])
 
+    // ---- 末尾列帯の列挙 (3.5.0 プラン §6.1-7 — 先頭帯 memo の接尾辞双子)。self-heal 差分は
+    //      共有バッチへ append 合流し、暴走ガードは帯専用の独立カウンタ (T = 0 でエピソードを
+    //      閉じる — 先頭帯の「越境リーク遮断」と同文) ----
+    const trailingHealBurstRef = useRef({ count: 0, warned: false })
+    const { trailingColumns, trailingWidth } = useMemo(() => {
+        // widthEpoch は木内容バージョンの反応辺 (先頭帯 memo と同じ規律)
+        void widthEpoch
+        if (effectiveTrailingCols === 0) {
+            // 末尾凍結解除は帯ガードのエピソードも閉じる (先頭帯の R3 実証と同文の遮断)
+            trailingHealBurstRef.current.count = 0
+            trailingHealBurstRef.current.warned = false
+            return { trailingColumns: EMPTY_PLACED_COLUMNS, trailingWidth: 0 }
+        }
+        const { columns, widthUpdates, width } = collectTrailingColumns(colCount, effectiveTrailingCols, validatedGetColWidth, colTree)
+        if (widthUpdates.length > 0) {
+            const burst = trailingHealBurstRef.current
+            if (burst.count >= WIDTH_HEAL_BURST_LIMIT) {
+                if (!burst.warned) {
+                    burst.warned = true
+                    Logger.warn("[VirtualGrid] getColWidth keeps disagreeing with its own previous values inside the trailing band; width self-heal is suspended until a converged pass re-arms it (unstable accessor).", {
+                        trailingCols: effectiveTrailingCols,
+                        pendingUpdates: widthUpdates.length,
+                    })
+                }
+            } else {
+                burst.count += 1
+                // 共有バッチへ append 合流 (同 tick の先頭帯 / スクロール窓の治癒を上書きで落とさない)
+                pendingWidthUpdatesRef.current = [...(pendingWidthUpdatesRef.current ?? []), ...widthUpdates]
+                Promise.resolve().then(flushWidthUpdates)
+            }
+        } else {
+            trailingHealBurstRef.current.count = 0
+            trailingHealBurstRef.current.warned = false
+        }
+        return { trailingColumns: columns, trailingWidth: width }
+    }, [effectiveTrailingCols, colCount, widthEpoch, validatedGetColWidth, colTree, flushWidthUpdates])
+    trailingWidthRef.current = trailingWidth
+    // 末尾幅 var の書き手 (3.5.0 プラン §6.1-8 — **単一書き手規律**: この effect だけが書く)。
+    // 消費者はクリップ右端 (.aqvs-grid-row-scroll の right)・末尾クリップの max() 左端と inner 幅。
+    // T = 0 は除去 (T = 0 恒等 — CSS 側 0px フォールバックで安全)
+    useLayoutEffect(() => {
+        if (effectiveTrailingCols > 0) {
+            rootRef.current?.style.setProperty("--aqvs-grid-trailing-width", `${trailingWidth}px`)
+        } else {
+            rootRef.current?.style.removeProperty("--aqvs-grid-trailing-width")
+        }
+    }, [trailingWidth, effectiveTrailingCols])
+
     // ---- ビューポート / 総幅 / 幅エポック変化での再クランプ + 列窓追随。保留列アンカーが
     //      あれば位置はアンカーから再導出 (単なる再クランプでは推定空間の hx が残留する) ----
     useLayoutEffect(() => {
@@ -1033,7 +1299,7 @@ const VirtualGridInner = <T,>(
             applyHxRef.current(resolveColumnAnchorHx(pending))
         }
         refreshColumns()
-    }, [viewport.width, totalWidth, widthEpoch, frozenWidth, refreshColumns, resolveColumnAnchorHx])
+    }, [viewport.width, totalWidth, widthEpoch, frozenWidth, trailingWidth, refreshColumns, resolveColumnAnchorHx])
 
     // ---- 初期アンカー復元 (横) — 生 px でなく {col, offsetX} (行と同一契約)。マウント時 1 回。
     //      保留列アンカーとして張り、以後の self-heal による列左の実測化へ追随させる ----
@@ -1048,10 +1314,15 @@ const VirtualGridInner = <T,>(
         if (targetCol < effectiveFrozenCols) {
             return
         }
+        // 末尾凍結列狙いも同文の no-op (3.5.0 プラン §6.1-16 — appliedRef を先に立てる現行順序は
+        // 仕様 §7 の登記済み未検証防御と同じ姿勢で維持)
+        if (targetCol >= colCount - effectiveTrailingCols) {
+            return
+        }
         const anchor = { col: targetCol, alignX: "start" as const, offsetX: Math.max(0, initialScrollAnchor.offsetX) }
         pendingColAnchorRef.current = anchor
         applyHxRef.current(resolveColumnAnchorHx(anchor))
-    }, [initialScrollAnchor, colCount, resolveColumnAnchorHx, effectiveFrozenCols])
+    }, [initialScrollAnchor, colCount, resolveColumnAnchorHx, effectiveFrozenCols, effectiveTrailingCols])
 
     // ---- 縦軸の結線 ----
     const handleVerticalScroll = useCallback((position: number) => {
@@ -1097,8 +1368,9 @@ const VirtualGridInner = <T,>(
     }, [])
 
     // ---- 描画列の列挙 (配置ごとに 1 回 — 行間で共有) + セル数上限 ----
-    // 凍結行帯は全帯行 × 全描画列を具現化する — 予算分母に帯行数を算入 (行凍結設計 §4-7)
-    const maxColsPerRow = resolveMaxColsPerRow(__maxRenderedCells, effectiveRenderedRows + frozenRows.length)
+    // 凍結行帯 (先頭 + 末尾) は全帯行 × 全描画列を具現化する — 予算分母に帯行数を算入
+    // (行凍結設計 §4-7、3.5.0 プラン §6.1-13)
+    const maxColsPerRow = resolveMaxColsPerRow(__maxRenderedCells, effectiveRenderedRows + frozenRows.length + trailingRows.length)
     // self-heal の暴走ガード: 乖離→治癒→再乖離の非収束が連続する = getColWidth が自身の
     // 過去値と不一致を繰り返す契約違反 (振動アクセサ)。放置すると治癒→エポック→再走査の
     // マイクロタスクループが無限旋回するため、上限で治癒を停止し 1 回だけ警告する。
@@ -1108,9 +1380,9 @@ const VirtualGridInner = <T,>(
     const { placedColumns, truncatedCols } = useMemo(() => {
         // widthEpoch は木の内容バージョンの反応辺 (木は identity 安定のため値経由では失効しない)
         void widthEpoch
-        // 凍結帯 (§8): スクロール帯幅 ≤ 0 (W_F ≥ viewport の縮退) はスクロール列を描かない —
-        // 凍結帯自体は独立 memo が描き続ける定義済み縮退
-        const bandWidth = Math.max(0, viewport.width - frozenWidth)
+        // 凍結帯 (§8): スクロール帯幅 ≤ 0 (W_F + W_T ≥ viewport の縮退 — 3.5.0 一般化) は
+        // スクロール列を描かない — 凍結帯 / 末尾帯自体は独立 memo が描き続ける定義済み縮退
+        const bandWidth = Math.max(0, viewport.width - frozenWidth - trailingWidth)
         if (colCount === 0 || bandWidth <= 0) {
             return { placedColumns: [] as PlacedColumn[], truncatedCols: 0 }
         }
@@ -1118,8 +1390,8 @@ const VirtualGridInner = <T,>(
         if (columnWindow.renderingColStart > columnWindow.renderingColEnd) {
             return { placedColumns: [] as PlacedColumn[], truncatedCols: 0 }
         }
-        // セル予算は凍結列ぶんを控除 (凍結セルも行ごとに具現化するため — 上限は行の総セル数)
-        const scrollColsBudget = Math.max(1, maxColsPerRow - frozenColumns.length)
+        // セル予算は凍結列 + 末尾列ぶんを控除 (両帯セルも行ごとに具現化するため — 上限は行の総セル数)
+        const scrollColsBudget = Math.max(1, maxColsPerRow - frozenColumns.length - trailingColumns.length)
         const { columns, widthUpdates, truncated } = collectVisibleColumns(minmax(columnWindow.renderingColStart, 0, colCount - 1), minmax(columnWindow.renderingColEnd, 0, colCount - 1), validatedGetColWidth, colTree, scrollColsBudget)
         if (widthUpdates.length > 0) {
             const burst = healBurstRef.current
@@ -1147,7 +1419,10 @@ const VirtualGridInner = <T,>(
             healBurstRef.current.warned = false
         }
         return { placedColumns: columns, truncatedCols: truncated }
-    }, [columnWindow, colCount, viewport.width, frozenWidth, frozenColumns.length, widthEpoch, validatedGetColWidth, colTree, maxColsPerRow, flushWidthUpdates])
+        // deps へ trailingWidth / trailingColumns.length を明示追加 (3.5.0 プラン §6.1-6 / F4):
+        // bandWidth 式とスクロール列予算が同 memo 内で両値を読む — 追加を怠ると列窓キー不変の
+        // T トグルで memo が stale 化し、予算が trailing 分だけ過大に残る
+    }, [columnWindow, colCount, viewport.width, frozenWidth, trailingWidth, frozenColumns.length, trailingColumns.length, widthEpoch, validatedGetColWidth, colTree, maxColsPerRow, flushWidthUpdates])
 
     // 打切りは無言にしない (設計 §3.2 — 行側の病的ガードと違い正当構成で到達し得る)
     const lastTruncationKeyRef = useRef("")
@@ -1156,10 +1431,11 @@ const VirtualGridInner = <T,>(
             const key = `${columnWindow.key}:${truncatedCols}`
             if (key !== lastTruncationKeyRef.current) {
                 lastTruncationKeyRef.current = key
-                onRenderTruncatedRef.current?.({ renderedCells: (placedColumns.length + frozenColumns.length) * (effectiveRenderedRows + frozenRows.length), droppedCols: truncatedCols })
+                // 打切り分子は両帯セル / 両帯行込みの exactness を維持する (3.5.0 プラン §6.1-13)
+                onRenderTruncatedRef.current?.({ renderedCells: (placedColumns.length + frozenColumns.length + trailingColumns.length) * (effectiveRenderedRows + frozenRows.length + trailingRows.length), droppedCols: truncatedCols })
             }
         }
-    }, [truncatedCols, columnWindow.key, placedColumns.length, frozenColumns.length, effectiveRenderedRows, frozenRows.length])
+    }, [truncatedCols, columnWindow.key, placedColumns.length, frozenColumns.length, trailingColumns.length, effectiveRenderedRows, frozenRows.length, trailingRows.length])
 
     // ---- 行レンダラー (VirtualScroll children) — セル left は「絶対 − コミット対象アンカー」 ----
     const colAnchor = columnWindow.colAnchor
@@ -1181,20 +1457,23 @@ const VirtualGridInner = <T,>(
                           </div>
                       )
                   })
-            // 凍結帯なし (既定) は従来 DOM と恒等 — 行が残差 translate を運ぶ
-            if (effectiveFrozenCols === 0) {
+            // 横帯なし (既定) は従来 DOM と恒等 — 行が残差 translate を運ぶ (中身はバイト恒等)
+            if (effectiveFrozenCols === 0 && effectiveTrailingCols === 0) {
                 return (
                     <div {...rowProps} className={twMerge("aqvs-grid-row", rowProps?.className)} style={rowProps?.style}>
                         {scrollCells}
                     </div>
                 )
             }
-            // 凍結モード (§8-c): 行は静的化し、スクロールセルは左端 W_F の静的クリップ +
-            // −W_F 原点シフト付き残差 translate の内側へ。凍結セルは行直下の独立 subtree で
-            // 木絶対 left の直接描画 — DOM は**前置** (論理列順 = 読み上げ / フォーカス順)。
-            // 描画順は自由: クリップが [0, W_F) への侵入を構造的に遮断するため重なり自体が無い
+            // 横帯モード (§8-c + 3.5.0 プラン §6.1-15): 行は静的化し、スクロールセルは左端 W_F ・
+            // 右端 W_T の静的クリップ + −W_F 原点シフト付き残差 translate の内側へ。凍結セルは
+            // 行直下の独立 subtree で木絶対 left の直接描画 — DOM は**前置** (論理列順 = 読み上げ /
+            // フォーカス順)。末尾セルは右アンカー inner の帯ローカル left で**後置** (同じく論理列順)。
+            // class はモードマーカー (描画トレイト) のまま、data-aqvs-frozen-row は F_eff > 0 のみ
+            // (ADR-25 — 末尾のみのグリッドが凍結列ゼロで属性を出すフック面の嘘の封じ)。
+            // 描画順は自由: クリップが帯への侵入を構造的に遮断するため重なり自体が無い
             return (
-                <div {...rowProps} data-aqvs-frozen-row="" className={twMerge("aqvs-grid-row aqvs-grid-row-frozen-host", rowProps?.className)} style={rowProps?.style}>
+                <div {...rowProps} data-aqvs-frozen-row={effectiveFrozenCols > 0 ? "" : undefined} className={twMerge("aqvs-grid-row aqvs-grid-row-frozen-host", rowProps?.className)} style={rowProps?.style}>
                     {hidden
                         ? null
                         : frozenColumns.map(({ col, left, width }) => {
@@ -1211,10 +1490,25 @@ const VirtualGridInner = <T,>(
                             <div className="aqvs-grid-row-scroll-inner">{scrollCells}</div>
                         </div>
                     )}
+                    {hidden || effectiveTrailingCols === 0 ? null : (
+                        <div className="aqvs-grid-row-trailing">
+                            <div className="aqvs-grid-row-trailing-inner">
+                                {trailingColumns.map(({ col, left, width }) => {
+                                    const cellProps = getCellProps?.(rowIndex, col)
+                                    const style: CSSProperties = { ...cellProps?.style, left, width }
+                                    return (
+                                        <div {...cellProps} data-aqvs-trailing-cell="" key={getCellKey ? getCellKey(rowIndex, col) : col} className={twMerge("aqvs-grid-cell", cellProps?.className)} style={style}>
+                                            {children(getCell(rowIndex, col), rowIndex, col)}
+                                        </div>
+                                    )
+                                })}
+                            </div>
+                        </div>
+                    )}
                 </div>
             )
         },
-        [placedColumns, frozenColumns, effectiveFrozenCols, colAnchor, getRowProps, getCellProps, getCellKey, getCell, children, validatedGetRowHeight],
+        [placedColumns, frozenColumns, trailingColumns, effectiveFrozenCols, effectiveTrailingCols, colAnchor, getRowProps, getCellProps, getCellKey, getCell, children, validatedGetRowHeight],
     )
 
     // ---- liveRegion (2D — 文言は消費側所有、静定デバウンス) ----
@@ -1313,15 +1607,17 @@ const VirtualGridInner = <T,>(
                 if (inner !== null && rowCount > 0) {
                     const targetRow = minmax(Math.trunc(row), 0, rowCount - 1)
                     // 凍結行狙いの y は no-op (行凍結設計 §3 — 常時可視。列の §8 no-op と同文)。
+                    // 末尾帯行狙いも同文の縦 no-op (帯所属は**呼出し時**判定 — 3.5.0 プラン §3)。
                     // スクロール行はシフト空間へ −R 翻訳して委譲する
-                    if (targetRow >= effectiveFrozenRows) {
+                    if (targetRow >= effectiveFrozenRows && targetRow < rowCount - effectiveTrailingRows) {
                         inner.scrollToIndex(targetRow - effectiveFrozenRows, { align: options?.alignY ?? "top", offset: options?.offsetY })
                     }
                 }
                 if (colCount > 0) {
                     const targetCol = minmax(Math.trunc(col), 0, colCount - 1)
-                    // 凍結列狙いの x は no-op (§8 — 常時可視。スクロールで到達性が変わらない)
-                    if (targetCol >= effectiveFrozenCols) {
+                    // 凍結列狙いの x は no-op (§8 — 常時可視)。末尾列狙いも横 no-op かつ既存の
+                    // 列アンカー残置 (分岐スキップのみ — pendingColAnchorRef は触らない。3.5.0 §3)
+                    if (targetCol >= effectiveFrozenCols && targetCol < colCount - effectiveTrailingCols) {
                         // 列アンカーを張る (行 scrollToIndex のアンカー張りと同義): 以後の self-heal で
                         // 列左が実測化されても狙った列に留まり続ける。手動横入力で解除
                         const anchor = { col: targetCol, alignX: options?.alignX ?? "start", offsetX: options?.offsetX ?? 0 }
@@ -1357,15 +1653,19 @@ const VirtualGridInner = <T,>(
                 return { row: rowAnchor.index + effectiveFrozenRows, col: found.index, offsetX: Math.max(0, bandStart - colLeft), offsetY: rowAnchor.offsetPx }
             },
             getViewportSize: () => ({ width: viewportRef.current.width, height: viewportRef.current.height }),
-            // 縦はインセット込みの行側 getContentSize を単一情報源にする (range.totalHeight は木総高のみ)
-            getContentSize: () => ({ width: totalWidthRef.current, height: scrollHandleRef.current === null ? 0 : frozenHeightRef.current + Math.max(0, scrollHandleRef.current.getContentSize()) }),
+            // 縦はインセット込みの行側 getContentSize を単一情報源にする (range.totalHeight は木総高のみ)。
+            // 3.5.0: height = H_F + 埋め込み + H_T
+            getContentSize: () => ({ width: totalWidthRef.current, height: scrollHandleRef.current === null ? 0 : frozenHeightRef.current + trailingHeightRef.current + Math.max(0, scrollHandleRef.current.getContentSize()) }),
             getRange: buildRange,
             updateRowSize: (row, px) => {
                 validateTrackSize(px, "row", row)
                 // 凍結行はグリッド所有バンド — epoch 繰上げでアクセサ再読 (帯に第 2 の格納庫は
-                // 無いため木更新は不要)。スクロール行はシフト空間へ −R 翻訳して委譲する
+                // 無いため木更新は不要)。末尾帯行も同文の epoch 繰上げ (3.5.0 — 3 分岐。T = 0 は
+                // 分岐自体が不成立で従来挙動と恒等)。スクロール行はシフト空間へ −R 翻訳して委譲する
                 if (Math.trunc(row) < effectiveFrozenRows) {
                     setFrozenRowEpoch((epoch) => epoch + 1)
+                } else if (effectiveTrailingRows > 0 && Math.trunc(row) >= rowCount - effectiveTrailingRows) {
+                    setTrailingRowEpoch((epoch) => epoch + 1)
                 } else {
                     scrollHandleRef.current?.updateItemSize(Math.trunc(row) - effectiveFrozenRows, px)
                 }
@@ -1377,23 +1677,38 @@ const VirtualGridInner = <T,>(
                 // 窓キー不変の幅変更でもセル配置を失効させる (バッチループは React 自動バッチングで 1 コミット)
                 setWidthEpoch((epoch) => epoch + 1)
             },
-            getFrozenSize: () => ({ cols: effectiveFrozenCols, width: frozenWidthRef.current, rows: effectiveFrozenRows, height: frozenHeightRef.current }),
+            getFrozenSize: () => ({
+                cols: effectiveFrozenCols,
+                width: frozenWidthRef.current,
+                rows: effectiveFrozenRows,
+                height: frozenHeightRef.current,
+                trailingCols: effectiveTrailingCols,
+                trailingRows: effectiveTrailingRows,
+                trailingWidth: trailingWidthRef.current,
+                trailingHeight: trailingHeightRef.current,
+                // vis は単一 JS 源ヘルパーの呼び出しのみ (式の再導出禁止 — 3.5.0 プラン §2.1-4)
+                trailingVisibleWidth: trailingVisibleSize(trailingWidthRef.current, frozenWidthRef.current, viewportRef.current.width),
+                trailingVisibleHeight: trailingVisibleSize(trailingHeightRef.current, frozenHeightRef.current, viewportRef.current.height),
+            }),
             applyWheel: (event) => scrollHandleRef.current?.applyWheel(event) ?? false,
             focusRowAtIndex: (row, options) => {
-                // 凍結行はバンド行 DOM へ直接フォーカス、スクロール行は −R 翻訳して委譲
+                // 凍結行はバンド行 DOM へ直接フォーカス、末尾帯行も帯行 DOM へ直接フォーカス
+                // (3.5.0 — 3 分岐。T = 0 は分岐不成立で従来挙動と恒等)、スクロール行は −R 翻訳して委譲
                 const targetRow = Math.trunc(row)
                 if (targetRow < effectiveFrozenRows) {
                     rootRef.current?.querySelector<HTMLElement>(`[data-aqvs-frozen-band-row="${targetRow}"]`)?.focus()
+                } else if (effectiveTrailingRows > 0 && targetRow >= rowCount - effectiveTrailingRows) {
+                    rootRef.current?.querySelector<HTMLElement>(`[data-aqvs-trailing-band-row="${targetRow}"]`)?.focus()
                 } else {
                     scrollHandleRef.current?.focusItemAtIndex(targetRow - effectiveFrozenRows, options)
                 }
             },
         }),
-        [rowCount, colCount, colTree, buildRange, commitTotalWidth, resolveColumnAnchorHx, effectiveFrozenCols, effectiveFrozenRows],
+        [rowCount, colCount, colTree, buildRange, commitTotalWidth, resolveColumnAnchorHx, effectiveFrozenCols, effectiveFrozenRows, effectiveTrailingCols, effectiveTrailingRows],
     )
 
     return (
-        <div ref={rootRef} className={twMerge("aqvs-grid", effectiveFrozenRows > 0 ? "aqvs-grid-has-frozen-rows" : "", className)} data-testid={testId}>
+        <div ref={rootRef} className={twMerge("aqvs-grid", effectiveFrozenRows > 0 ? "aqvs-grid-has-frozen-rows" : "", effectiveTrailingRows > 0 ? "aqvs-grid-has-trailing-rows" : "", className)} data-testid={testId}>
             {effectiveFrozenRows > 0 ? (
                 // 凍結行帯 (行凍結設計 §4-2): グリッド所有の帯外バンド — 行本体は renderRow を
                 // そのまま再利用する (F > 0 の凍結セル / クリップ / hx 残差 var は継承で無償追随
@@ -1421,7 +1736,7 @@ const VirtualGridInner = <T,>(
                     getItemKey={(i) => i + effectiveFrozenRows}
                     getItemHeight={scrollGetRowHeight}
                     overscanCount={overscanRows}
-                    viewportSize={viewport.height > 0 ? Math.max(0, viewport.height - frozenHeight) : undefined}
+                    viewportSize={viewport.height > 0 ? Math.max(0, viewport.height - frozenHeight - trailingHeight) : undefined}
                     callbackThrottleMs={callbackThrottleMs}
                     behaviorOptions={behaviorOptions}
                     scrollBarOptions={scrollBarOptions}
@@ -1439,7 +1754,7 @@ const VirtualGridInner = <T,>(
                             ? toggleAnchorRef.current !== null && toggleAnchorRef.current.row >= effectiveFrozenRows && scrollRowCount > 0
                                 ? { index: toggleAnchorRef.current.row - effectiveFrozenRows, offsetPx: toggleAnchorRef.current.offsetPx }
                                 : undefined
-                            : initialScrollAnchor !== undefined && scrollRowCount > 0 && Math.trunc(initialScrollAnchor.row) >= effectiveFrozenRows
+                            : initialScrollAnchor !== undefined && scrollRowCount > 0 && Math.trunc(initialScrollAnchor.row) >= effectiveFrozenRows && Math.trunc(initialScrollAnchor.row) < rowCount - effectiveTrailingRows
                               ? { index: Math.trunc(initialScrollAnchor.row) - effectiveFrozenRows, offsetPx: initialScrollAnchor.offsetY }
                               : undefined
                     }
@@ -1451,16 +1766,37 @@ const VirtualGridInner = <T,>(
                     {renderRow}
                 </VirtualScroll>
             </div>
-            <div className="aqvs-grid-hbar-strip" style={{ height: scrollBarWidth, paddingRight: scrollBarWidth }} data-testid={testId ? `${testId}-hbar` : undefined}>
+            {effectiveTrailingRows > 0 ? (
+                // 末尾行帯 (3.5.0 プラン §6.1-17): .aqvs-grid-main の**後**・hbar の**前**の兄弟
+                // (AT には「最終行が最後」の DOM 順正しさ。縦バーは帯の上で自然に終端)。帯クリップ高は
+                // インライン H_T_vis (単一 JS 源 — 帯寸の CSS 変数は幅 2 つのみで高さ変数は導入しない)、
+                // inner はインライン木高 H_T の bottom 定着 — 帯上端 = extent − H_T_vis が全構成で
+                // 成立し、重複縮退では帯の**末尾**行が可視に残る。行本体は renderRow 逐語再利用
+                // (先頭列 / 末尾列の帯構造を継承し 4 象限コーナー全種が無償で成立)
+                <div className="aqvs-grid-trailing-rows" style={{ height: trailingVisibleSize(trailingHeight, frozenHeight, viewport.height) }} data-testid={testId ? `${testId}-trailing-rows` : undefined}>
+                    <div className="aqvs-grid-trailing-rows-inner" style={{ height: trailingHeight }}>
+                        {trailingRows.map(({ row, top, height }) => (
+                            // 帯行は帯ローカル top + right: scrollBarWidth (縦バーコーナーの予約 — 先頭帯行と
+                            // 同文) + tabIndex −1 + onFocus フル行 index (focusRowAtIndex ↔ onRowFocus 往復)。
+                            // biome-ignore lint/a11y/noStaticElementInteractions: role は消費側の複合ウィジェット契約の所有物 (先頭帯行と同文)
+                            <div key={row} data-aqvs-trailing-band-row={row} className="aqvs-grid-trailing-band-row" style={{ top, height, right: scrollBarWidth }} tabIndex={-1} onFocus={() => onRowFocus?.(row)}>
+                                {renderRow(row)}
+                            </div>
+                        ))}
+                    </div>
+                </div>
+            ) : null}
+            <div className="aqvs-grid-hbar-strip" style={{ height: scrollBarWidth, paddingRight: effectiveTrailingCols > 0 ? scrollBarWidth + trailingVisibleSize(trailingWidth, frozenWidth, viewport.width) : scrollBarWidth }} data-testid={testId ? `${testId}-hbar` : undefined}>
                 <ScrollBar
                     horizontal
                     enableHorizontalTapCircle
-                    contentSize={Math.max(0, totalWidth - frozenWidth)}
-                    viewportSize={Math.max(0, viewport.width - frozenWidth)}
+                    contentSize={Math.max(0, totalWidth - frozenWidth - trailingWidth)}
+                    viewportSize={Math.max(0, viewport.width - frozenWidth - trailingWidth)}
                     scrollPosition={barHx}
                     // タップ速度の log10(colCount) 則 (設計 §3.3 — B7 の対策そのもの)。未配線だと
-                    // 兆列でも基礎倍率 2.2x に縮退し、サム粒度の到達性が死ぬ
-                    itemCount={Math.max(0, colCount - effectiveFrozenCols)}
+                    // 兆列でも基礎倍率 2.2x に縮退し、サム粒度の到達性が死ぬ。−F / −T 写像は
+                    // aria 面に露出せずピン不能 (仕様 §7 非ピン面 (3) の登記済み面)
+                    itemCount={Math.max(0, colCount - effectiveFrozenCols - effectiveTrailingCols)}
                     tapScrollCircleOptions={scrollBarOptions?.tapScrollCircleOptions}
                     onScroll={(request, previous) => {
                         // バー操作は手動横入力 — 列アンカーの張りを解除する