@aiquants/spreadsheet 0.8.0 → 0.9.0

package/src/overlay/SelectionOverlay.tsx

@@ -44,6 +44,46 @@
  * - ポップオーバーアンカー: ポップオーバー層所有の 2 ノードを fill ハンドルと同じ凍結分割写像でセルへ
  *   配置 (凍結帯の下 / viewport 外は非表示)。
  * - ドラッグ矩形モード "point" (参照ドラッグ) は `data-aqsp-drag-mode="point"` を描く。
+ *
+ * v0.9 trailing freeze + freeze divider (plan §2.4 / §2.5 / §4.10, ADR-22 / ADR-24): each axis
+ * splits three ways — `[f?] + [s] + [t?]` (kind `m` still means an UNSPLIT axis, so `mm` keeps
+ * meaning "no freeze anywhere") — over the full 16-key {m,f,s,t}² pre-seeded registry with paint
+ * rank m 0 < s 1 < t 2 < f 3. Divider segments (`[data-aqsp-freeze-divider]`) are static JSX
+ * children of scroll-kind quads placed immediately before the active frame; the runtime stack is
+ * bands < fills < dividers < activeFrame < dragRect < marquee < fillPreview < resizeGuide, and
+ * BOTH dynamic insertion anchors go through the single `chromeFloorOf` helper (census #24/#25).
+ * Segment existence is count-driven (render), visibility is the equality-suppressed `display`
+ * heal in `layersFor` (band px), geometry comes from the quad clips — zero per-frame divider
+ * writes by construction. Fill-pool writes gain the same-value suppression (census #23): a
+ * steady scroll frame writes `transform` only — and `transform` itself is same-value cached on
+ * both band segments and fill slots (plan §5.9 step 3 first-stage retreat), so quadrant clones
+ * that do not move on a pure cross-axis scroll write nothing at all. Trailing (T = 0 /
+ * undeclared) reproduces the v0.8 DOM byte-identically as a capability branch. The clip marquee
+ * follows a seam edge-ownership rule (the pane-seam analogue of the cell-border "one of the two
+ * neighbours paints the shared line" fold): at a pane seam exactly one quadrant — the one whose
+ * half-open clip interval contains the range's adjacent cells — paints the shared edge; a
+ * non-owner whose seam-side edge sits in the contested outset strip ([clamp, clamp + 3) /
+ * (−3, 0]) hides its marquee clone so the progressive ants outset cannot pull a phantom dash
+ * line back across the seam — outside that strip the clip already blanks the clone and the
+ * write pattern stays byte-identical to v0.8.
+ *
+ * v0.9 末尾凍結 + 凍結分割線 (計画 §2.4 / §2.5 / §4.10、ADR-22 / ADR-24): 各軸は `[f?] + [s] +
+ * [t?]` の 3 分割 (kind `m` は「未分割軸」の意のままで `mm` は「どこにも凍結なし」を保つ)、
+ * レジストリは {m,f,s,t}² = 16 キーの事前シード、描画順位は m 0 < s 1 < t 2 < f 3。分割線
+ * セグメント (`[data-aqsp-freeze-divider]`) は scroll 種象限の静的 JSX 子として activeFrame の
+ * 直前に置き、実行時スタックは 帯 < fill < 分割線 < activeFrame < dragRect < marquee <
+ * fillPreview < resizeGuide。動的挿入アンカー 2 つは単一ヘルパ `chromeFloorOf` を通す (census
+ * #24 / #25)。存在 = 実効件数 (render)、可視 = `layersFor` の等値抑制 `display` heal (帯 px)、
+ * 幾何 = 象限クリップ任せ — 毎フレームの分割線書込は構造的に 0。fill プールは同値抑制を得て
+ * (census #23) 定常スクロールフレームの書込は `transform` のみ — さらに `transform` 自体も帯
+ * セグメント / fill スロットの両書込路で同値キャッシュ (計画 §5.9 手順 3 第 1 段リトリート) され、
+ * 純横 / 純縦スクロールで動かない象限クローンは何も書かない。末尾 (T = 0 / 未宣言) は能力
+ * 分岐として v0.8 の DOM を byte 恒等に再現する。クリップマーキーは継ぎ目の縁所有権規則に従う
+ * (セル罫線の「共有線は隣接の一方だけが塗る」畳込みのペイン継ぎ目版): ペイン継ぎ目の共有縁は、
+ * レンジの隣接セル列を半開クリップ区間に含む象限ちょうど 1 つが塗り、継ぎ目側の縁が争奪
+ * アウトセット帯 ([clamp, clamp + 3) / (−3, 0]) に載った非所有クローンは消灯する — 漸進アンツ
+ * アウトセットが幽霊破線を継ぎ目の向こうへ引き戻せないようにするため。帯の外はクリップが元より
+ * 不可視化しており、書込パターンは v0.8 と byte 恒等のまま。
  */
 
 import { useWheelBridge, type VirtualGridHandle } from "@aiquants/virtualscroll"
@@ -52,7 +92,7 @@ import type { AxisModel } from "../model/axisModel.ts"
 import { isWholeCols, isWholeRows } from "../model/cellAnnotations.ts"
 import { type CellCoord, type CellRange, makeRange } from "../model/cellCoord.ts"
 import { type EditPaint, IDLE_EDIT_PAINT } from "../model/cellPaint.ts"
-import { colToViewportX, frozenHeightOf, frozenWidthOf, rowToViewportY } from "../model/frozenPartition.ts"
+import { type AxisForwardCtx, colToViewportX, frozenHeightOf, frozenWidthOf, rowToViewportY, trailingHeightOf, trailingWidthOf } from "../model/frozenPartition.ts"
 import { SCROLLBAR_WIDTH } from "../model/viewStore.ts"
 import type { PopoverAnchorState } from "../popover/usePopovers.ts"
 import type { SelectionState } from "../selection/selectionState.ts"
@@ -60,6 +100,17 @@ import type { SelectionState } from "../selection/selectionState.ts"
 /** Viewport-space rect (private — distinct from the logical-space LogicalRect). / ビューポート矩形 (非公開)。 */
 type ViewportRect = { top: number; left: number; width: number; height: number }
 
+/** `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 })
+
 /** Clamp margin: one screen each side. / クランプ余白 (± 1 画面)。 */
 const CLAMP_MARGIN_SCREENS = 1
 
@@ -87,6 +138,22 @@ export const DEFAULT_HIGHLIGHT_COLORS: HighlightColors = Object.freeze({ row: "#
 /** Range cap of the band pool: beyond it only the TAIL ranges carry bands (deviation row). / 帯プールのレンジ上限 (超過は末尾レンジだけ — 逸脱行)。 */
 export const BAND_RANGE_CAP = 16
 
+/** Band-node ceiling above four quadrants (ADR-22 derate — fired at step-5c certification). / 4 象限超の帯ノード総数天井 (ADR-22 デレート — step 5c 認証で発火)。 */
+const BAND_NODE_CEILING = 450
+
+/**
+ * Effective band-range cap for one repaint, keyed on the active quadrant count (ADR-22
+ * derate, v0.9 plan §5.9 step 3): above four quadrants the cap is
+ * floor(450 / (5 × quadCount)) — 15 at six quadrants, 10 at nine — so total band nodes never
+ * exceed 450; at four quadrants or fewer the v0.8 BAND_RANGE_CAP applies unchanged (T = 0
+ * stays byte-identical to v0.8). Exported for the unit value pin (barrel-private).
+ * repaint 1 回の実効帯レンジ上限 (象限数キー — ADR-22 デレート、v0.9 計画 §5.9 手順 3)。
+ * 5 象限以上は floor(450 / (5 × 象限数)) (6 象限 15 / 9 象限 10) で帯ノード総数 ≤ 450、
+ * 4 象限以下は v0.8 の BAND_RANGE_CAP のまま (T = 0 は v0.8 と byte 恒等)。単体値ピン用に
+ * モジュール export (バレル非公開)。
+ */
+export const bandRangeCapFor = (quadCount: number): number => (quadCount > 4 ? Math.floor(BAND_NODE_CEILING / (5 * quadCount)) : BAND_RANGE_CAP)
+
 /** Live drag-rect modes: §3.2 add / subtract plus the v0.8 "point" (formula-reference drag). / ドラッグ矩形のモード: §3.2 の add / subtract + v0.8 の "point" (参照ドラッグ)。 */
 export type DragFrameMode = "add" | "subtract" | "point"
 
@@ -98,14 +165,33 @@ type BandEdge = "left" | "right" | "above" | "below"
 
 /**
  * Last-written numbers of one band group — JS-side same-value suppression so a frame writes a
- * size, a display or the cross tint only when it actually changes (no DOM reads on the hot
- * path). `crossTint` is the colour family the cross node currently paints ("intersection" = the
- * CSS default, no inline background).
- * 帯 1 組の直近書込値 — JS 側の同値抑止で、サイズ / display / 交点の色は実際に変わるフレームだけ書く
- * (ホットパスで DOM を読まない)。`crossTint` は交点ノードが現在塗る色族 ("intersection" = CSS 既定、
- * インライン background なし)。
+ * size, a display, the cross tint or a segment `transform` only when it actually changes (no
+ * DOM reads on the hot path). The five `*Transform` strings extend census #23 to `transform`
+ * (v0.9 plan §5.9 step 3 first-stage retreat): a pure cross-axis scroll frame leaves the
+ * byte-identical transforms of the non-moving quadrant clones unwritten. `crossTint` is the
+ * colour family the cross node currently paints ("intersection" = the CSS default, no inline
+ * background).
+ * 帯 1 組の直近書込値 — JS 側の同値抑止で、サイズ / display / 交点の色 / セグメント `transform` は
+ * 実際に変わるフレームだけ書く (ホットパスで DOM を読まない)。`*Transform` 文字列 5 本は census #23
+ * の `transform` への拡張 (v0.9 計画 §5.9 手順 3 第 1 段リトリート) — 純横 / 純縦スクロールで動かない
+ * 象限クローンの byte 恒等 transform を再書込しない。`crossTint` は交点ノードが現在塗る色族
+ * ("intersection" = CSS 既定、インライン background なし)。
  */
-type BandWriteState = { rowShown: boolean; colShown: boolean; crossShown: boolean; crossTint: BandKind; rowHeight: number; colWidth: number; crossWidth: number; crossHeight: number }
+type BandWriteState = {
+    rowShown: boolean
+    colShown: boolean
+    crossShown: boolean
+    crossTint: BandKind
+    rowHeight: number
+    colWidth: number
+    crossWidth: number
+    crossHeight: number
+    rowLeftTransform: string
+    rowRightTransform: string
+    colAboveTransform: string
+    colBelowTransform: string
+    crossTransform: string
+}
 
 /** One range's band group: two row segments, two column segments and the intersection node. / レンジ 1 つの帯組: 行 2 セグメント + 列 2 セグメント + 交点ノード。 */
 export type BandNodes = { rowLeft: HTMLDivElement; rowRight: HTMLDivElement; colAbove: HTMLDivElement; colBelow: HTMLDivElement; cross: HTMLDivElement; last: BandWriteState }
@@ -140,7 +226,7 @@ export const createBandNodes = (): BandNodes => ({
     colAbove: makeBandNode("column", "above"),
     colBelow: makeBandNode("column", "below"),
     cross: makeBandNode("intersection", null),
-    last: { rowShown: false, colShown: false, crossShown: false, crossTint: "intersection", rowHeight: -1, colWidth: -1, crossWidth: -1, crossHeight: -1 },
+    last: { rowShown: false, colShown: false, crossShown: false, crossTint: "intersection", rowHeight: -1, colWidth: -1, crossWidth: -1, crossHeight: -1, rowLeftTransform: "", rowRightTransform: "", colAboveTransform: "", colBelowTransform: "", crossTransform: "" },
 })
 
 /** The group's nodes in DOM (= paint) order: segments under the intersection. / 帯組のノードを DOM (= 描画) 順に: セグメントの上に交点。 */
@@ -183,12 +269,15 @@ const setShown = (nodes: readonly HTMLDivElement[], shown: boolean): void => {
 }
 
 /**
- * Per-frame band placement for one range rect in one layer (§2.4, partitioned BY INPUT):
+ * Per-frame band placement for one range rect in one layer (§2.4, partitioned BY INPUT).
+ * Every `transform` is same-value cached (census #23 extended — v0.9 plan §5.9 step 3): a
+ * byte-identical string is never rewritten, so quadrant clones that do not move on a pure
+ * cross-axis scroll write nothing.
  * - row segments: `transform` only — left segment's right edge at `clamp(rect.left, 0, W)`
  *   (so `translate(clamp − W)` with its healed width W), right segment's left edge at
  *   `clamp(rect.right, 0, W)`; their height (cross-axis) is written only when it changes;
  * - column segments: the transposed twin with H = clampHeight;
- * - intersection: range-sized (size when changed, `transform` per frame); when EXACTLY ONE
+ * - intersection: range-sized (size when changed, `transform` when changed); when EXACTLY ONE
  *   family is shown and `highlight.intersection` is off, the node lights up tinted with that
  *   family's colour (inline `background` through the family's `--aqsp-band-*` variable) — the
  *   sheets-enhancer extension paints one full-width band THROUGH the selection when the other
@@ -200,11 +289,13 @@ const setShown = (nodes: readonly HTMLDivElement[], shown: boolean): void => {
  *   range's extent would tint the whole viewport on the other side (the sheets-enhancer
  *   extension draws nothing for whole-axis selections); `highlight` switches each family.
  *   Display is written only on a change (JS-side cache).
- * レンジ矩形 1 つの層内配置 (毎フレーム、§2.4 の入力分割):
+ * レンジ矩形 1 つの層内配置 (毎フレーム、§2.4 の入力分割)。全 `transform` は同値キャッシュ
+ * (census #23 の拡張 — v0.9 計画 §5.9 手順 3): byte 恒等の文字列は再書込しないので、純横 / 純縦
+ * スクロールで動かない象限クローンは何も書かない。
  * - 行セグメント: `transform` のみ — 左セグメントの右辺を `clamp(rect.left, 0, W)` へ (heal 済み幅 W で
  *   `translate(clamp − W)`)、右セグメントの左辺を `clamp(rect.right, 0, W)` へ。高さ (交差軸) は変化時だけ。
  * - 列セグメント: H = clampHeight の転置双子。
- * - 交点: レンジサイズ (サイズは変化時、`transform` は毎フレーム)。**単一族のみ**表示かつ intersection
+ * - 交点: レンジサイズ (サイズは変化時、`transform` も変化時)。**単一族のみ**表示かつ intersection
  *   off のときはその族の色 (族の `--aqsp-band-*` 変数を参照するインライン `background`) で点灯する —
  *   sheets-enhancer 拡張は片族 off なら選択を貫く全幅帯 1 本を描くため、両脇セグメントだけではレンジ
  *   位置で帯色が途切れる。両族表示時は拡張同様に穴のまま。
@@ -228,9 +319,19 @@ export const placeBandSegments = (nodes: BandNodes, rect: BandRect, extents: Ban
             nodes.rowLeft.style.height = height
             nodes.rowRight.style.height = height
         }
-        // 主軸は transform のみ — 内側の辺をクランプ範囲へ置く (主軸サイズは heal パスの clampWidth)
-        nodes.rowLeft.style.transform = `translate(${clampTo(rect.left, extents.clampWidth) - extents.clampWidth}px, ${rect.top}px)`
-        nodes.rowRight.style.transform = `translate(${clampTo(rect.left + rect.width, extents.clampWidth)}px, ${rect.top}px)`
+        // 主軸は transform のみ — 内側の辺をクランプ範囲へ置く (主軸サイズは heal パスの clampWidth)。
+        // transform も同値キャッシュ (census #23 の拡張 — v0.9 計画 §5.9 手順 3 第 1 段リトリート):
+        // 純横 / 純縦スクロールで動かない象限クローンの byte 恒等文字列は再書込しない
+        const rowLeftTransform = `translate(${clampTo(rect.left, extents.clampWidth) - extents.clampWidth}px, ${rect.top}px)`
+        if (rowLeftTransform !== last.rowLeftTransform) {
+            last.rowLeftTransform = rowLeftTransform
+            nodes.rowLeft.style.transform = rowLeftTransform
+        }
+        const rowRightTransform = `translate(${clampTo(rect.left + rect.width, extents.clampWidth)}px, ${rect.top}px)`
+        if (rowRightTransform !== last.rowRightTransform) {
+            last.rowRightTransform = rowRightTransform
+            nodes.rowRight.style.transform = rowRightTransform
+        }
     }
     // 列帯: 行帯と同じ全軸スパン省略
     const colShown = highlight.column && !spansAxis
@@ -245,8 +346,17 @@ export const placeBandSegments = (nodes: BandNodes, rect: BandRect, extents: Ban
             nodes.colAbove.style.width = width
             nodes.colBelow.style.width = width
         }
-        nodes.colAbove.style.transform = `translate(${rect.left}px, ${clampTo(rect.top, extents.clampHeight) - extents.clampHeight}px)`
-        nodes.colBelow.style.transform = `translate(${rect.left}px, ${clampTo(rect.top + rect.height, extents.clampHeight)}px)`
+        // 列帯も transform は同値キャッシュ (census #23 拡張 — 行帯と同じ規律)
+        const colAboveTransform = `translate(${rect.left}px, ${clampTo(rect.top, extents.clampHeight) - extents.clampHeight}px)`
+        if (colAboveTransform !== last.colAboveTransform) {
+            last.colAboveTransform = colAboveTransform
+            nodes.colAbove.style.transform = colAboveTransform
+        }
+        const colBelowTransform = `translate(${rect.left}px, ${clampTo(rect.top + rect.height, extents.clampHeight)}px)`
+        if (colBelowTransform !== last.colBelowTransform) {
+            last.colBelowTransform = colBelowTransform
+            nodes.colBelow.style.transform = colBelowTransform
+        }
     }
     // 交点: レンジそのもの (サイズは変化時、transform は毎フレーム)。単一族のみ表示で intersection が
     // off のときもその族の色で点灯する — 拡張は片族 off なら選択を貫く全幅帯 1 本を描くため、両脇
@@ -269,7 +379,12 @@ export const placeBandSegments = (nodes: BandNodes, rect: BandRect, extents: Ban
             nodes.cross.style.width = `${rect.width}px`
             nodes.cross.style.height = `${rect.height}px`
         }
-        nodes.cross.style.transform = `translate(${rect.left}px, ${rect.top}px)`
+        // 交点 transform も同値キャッシュ (census #23 拡張)
+        const crossTransform = `translate(${rect.left}px, ${rect.top}px)`
+        if (crossTransform !== last.crossTransform) {
+            last.crossTransform = crossTransform
+            nodes.cross.style.transform = crossTransform
+        }
     }
 }
 
@@ -365,6 +480,15 @@ type SelectionOverlayProps = {
     frozenCols: number
     /** Frozen leading rows (v0.6 — drives the vertical split into 2D quadrants). / 先頭凍結行数 (v0.6 — 縦分割で 2D 象限化)。 */
     frozenRows: number
+    /**
+     * v0.9 capability: trailing frozen columns (drives the horizontal split's t band; freshness
+     * reads still use the handle). Undeclared ⇒ the v0.8 x-split byte-identically (zero t quads).
+     * v0.9 能力: 末尾凍結列数 (横分割の t 帯。鮮度読みはハンドル)。未宣言 ⇒ v0.8 の x 分割と
+     * byte 恒等 (t 象限 0)。
+     */
+    trailingCols?: number
+    /** v0.9 capability: trailing frozen rows (the vertical twin of trailingCols). / v0.9 能力: 末尾凍結行数 (trailingCols の縦双子)。 */
+    trailingRows?: number
     sinkAriaLabel: string
     onSinkMouseDown: (event: MouseEvent) => void
     /**
@@ -390,8 +514,27 @@ type SelectionOverlayProps = {
     tipAnchorRef?: RefObject<HTMLDivElement | null>
 }
 
-/** Live resize guideline descriptor (logical axis px). / リサイズガイドラインの記述子 (論理軸 px)。 */
-export type ResizeGuide = { axis: "row" | "col"; position: number }
+/**
+ * Live resize guideline descriptor (logical axis px). `anchor` is REQUIRED (v0.9 §2.6 — no
+ * optional / default per Strict No-Fallback): "leading" takes the byte-identical v0.8 path
+ * (all-quadrant paint, no clamp); "trailing" paints only in quads whose gesture-axis kind is
+ * `t` with the band-local position clamped `max(0, local)`.
+ * リサイズガイドラインの記述子 (論理軸 px)。`anchor` は必須 (v0.9 §2.6 — Strict No-Fallback に
+ * つき optional / default なし): "leading" は v0.8 と byte 恒等の経路 (全象限描画・無クランプ)、
+ * "trailing" はジェスチャ軸 kind = t の象限のみ + band-local を `max(0, local)` へクランプ。
+ */
+export type ResizeGuide = { axis: "row" | "col"; position: number; anchor: "leading" | "trailing" }
+
+/**
+ * One fill-pool entry: the node plus its last-written numbers (v0.9 §2.5 census #23 — the
+ * `placeBandSegments` last-value cache mirrored onto fills, `transform` included since the
+ * plan §5.9 step 3 first-stage retreat: a steady scroll frame writes only the transforms that
+ * actually changed; no DOM reads on the hot path).
+ * fill プールの 1 エントリ: ノード + 直近書込値 (v0.9 §2.5 census #23 — `placeBandSegments` の
+ * 同値キャッシュを fill へミラー。計画 §5.9 手順 3 第 1 段リトリートで `transform` も対象 —
+ * 定常スクロールフレームの書込は実際に変わった transform だけ、ホットパスで DOM を読まない)。
+ */
+type FillSlot = { node: HTMLDivElement; last: { shown: boolean; width: number; height: number; transform: string } }
 
 /** Resident node set of one overlay layer (v0.5 layer split; every layer owns a dedicated container). / overlay 1 層ぶんの常設ノード束 (v0.5 の層分割。全層が専用コンテナを持つ)。 */
 type LayerNodes = {
@@ -401,7 +544,7 @@ type LayerNodes = {
     marquee: HTMLDivElement | null
     fillPreview: HTMLDivElement | null
     resizeGuide: HTMLDivElement | null
-    fillPool: HTMLElement[]
+    fillPool: FillSlot[]
     /** Band groups per confirmed range (tail BAND_RANGE_CAP), inserted under the fills. / 確定レンジ毎の帯組 (末尾 BAND_RANGE_CAP 件)、fill の下。 */
     bandPool: BandNodes[]
     /** Band group of the live drag rect (null until a drag needs one). / ライブドラッグ矩形の帯組 (必要になるまで null)。 */
@@ -409,32 +552,107 @@ type LayerNodes = {
     /** Last healed clamp extents of this layer's bands (-1 = never healed). / この層の帯の直近 heal 済みクランプ範囲 (-1 = 未 heal)。 */
     bandClampWidth: number
     bandClampHeight: number
+    /** Mounted divider segments in fixed slot order [x-leading, x-trailing, y-leading, y-trailing] = JSX (DOM) order (v0.9 §2.4). / マウント済み分割線セグメント (固定スロット順 [x-leading, x-trailing, y-leading, y-trailing] = JSX (DOM) 順 — v0.9 §2.4)。 */
+    dividerSlots: (HTMLDivElement | null)[]
+    /** Last-written shown state per divider slot (equality-suppressed `display` heal — v0.9 §2.4). / 分割線スロット毎の直近書込 shown 状態 (等値抑制 `display` heal — v0.9 §2.4)。 */
+    dividerShown: boolean[]
+    /** Identity-stable compact array of the quad's mounted segments (≤ 4, DOM order — the `chromeFloorOf` source, v0.9 §2.5). / 象限のマウント済みセグメントの identity 安定な圧縮配列 (≤ 4、DOM 順 — `chromeFloorOf` の源、v0.9 §2.5)。 */
+    dividers: HTMLDivElement[]
 }
 
+/**
+ * The canonical "first static chrome child" anchor of a quadrant (v0.9 §2.5 — ADR-24): the
+ * quad's first mounted divider segment, else the active frame. A structural ordering definition
+ * with a single source shared by BOTH dynamic insertion anchors (fill pool census #24 / band
+ * groups census #25) — not a value fallback. A fill or band created AFTER dividers exist must
+ * still land BELOW them, or the divider's seam absorption breaks.
+ * 象限の「最初の静的クローム子」正準アンカー (v0.9 §2.5 — ADR-24): マウント済み分割線セグメントの
+ * 先頭、無ければアクティブ枠。動的挿入アンカー 2 つ (fill プール census #24 / 帯組 census #25) が
+ * 共有する構造的順序定義の単一源 — 値フォールバックではない。分割線マウント後に生成された fill /
+ * 帯もその下へ着地しないと、分割線の継ぎ目吸収が破れる。
+ */
+const chromeFloorOf = (nodes: LayerNodes): HTMLDivElement | null => nodes.dividers[0] ?? nodes.active
+
 /** Inline container geometry of one x-split ("" clears the property). / x 分割 1 本のコンテナインライン形状 ("" はプロパティ解除)。 */
 type XSplitStyle = { left: string; right: string; width: string }
 
 /** Inline container geometry of one y-split ("" clears the property). / y 分割 1 本のコンテナインライン形状 ("" はプロパティ解除)。 */
 type YSplitStyle = { top: string; bottom: string; height: string }
 
-/** One write-pass layer context: nodes + tree→viewport maps + clamp extents + container inline geometry on both axes (v0.6 2D quadrants). / 1 書込パスの層コンテキスト (ノード束 + 両軸の木→viewport 写像 + クランプ範囲 + コンテナのインライン形状。v0.6 の 2D 象限)。 */
-type LayerCtx = { nodes: LayerNodes; mapX: (treeX: number) => number; clampWidth: number; xStyle: XSplitStyle; mapY: (treeY: number) => number; clampHeight: number; yStyle: YSplitStyle }
+/** Axis band kind (v0.9 §2.5): m = unsplit axis, f = leading frozen, s = scroll, t = trailing frozen. / 軸帯の種別 (v0.9 §2.5): m = 未分割軸、f = 先頭凍結、s = スクロール、t = 末尾凍結。 */
+type AxisKind = "m" | "f" | "s" | "t"
+
+/** One write-pass layer context: nodes + axis kinds + tree→viewport maps + clamp extents + container inline geometry on both axes + seam flags (v0.6 2D quadrants; v0.9 adds the kinds for the guide's t-only branch and the seam flags for the marquee's edge-ownership rule). / 1 書込パスの層コンテキスト (ノード束 + 軸種別 + 両軸の木→viewport 写像 + クランプ範囲 + コンテナのインライン形状 + 継ぎ目フラグ。v0.6 の 2D 象限、v0.9 でガイドの t 限定分岐用に種別を、マーキーの縁所有権規則用に継ぎ目フラグを追加)。 */
+type LayerCtx = {
+    nodes: LayerNodes
+    xKind: AxisKind
+    yKind: AxisKind
+    mapX: (treeX: number) => number
+    clampWidth: number
+    xStyle: XSplitStyle
+    xSeamLead: boolean
+    xSeamTrail: boolean
+    mapY: (treeY: number) => number
+    clampHeight: number
+    yStyle: YSplitStyle
+    ySeamLead: boolean
+    ySeamTrail: boolean
+}
 
-/** One-axis split segment (kind + tree→viewport map + clamp extent + container inline geometry). / 片軸の分割セグメント (種別 + 木→viewport 写像 + クランプ範囲 + コンテナのインライン形状)。 */
-type AxisSplit<S> = { kind: "m" | "f" | "s"; map: (tree: number) => number; clamp: number; style: S }
+/**
+ * One-axis split segment: kind + tree→viewport map + clamp extent + container inline geometry +
+ * seam flags. `seamLead` / `seamTrail` mark the clip edges where ANOTHER band adjoins (a pane
+ * seam): f trails into s, s leads from f (F > 0) and trails into t (T > 0), t leads from s; an
+ * unsplit m axis and the viewport edges have no seams. Static per split-cache build — the
+ * marquee's edge-ownership rule reads them per frame without allocating.
+ * 片軸の分割セグメント (種別 + 木→viewport 写像 + クランプ範囲 + コンテナのインライン形状 +
+ * 継ぎ目フラグ)。`seamLead` / `seamTrail` は**別の帯が隣接する**クリップ辺 (ペイン継ぎ目) の印 —
+ * f の後端は s、s の先端は f (F > 0)・後端は t (T > 0)、t の先端は s。未分割 m 軸と viewport 端は
+ * 継ぎ目なし。分割キャッシュ構築時の静的値 — マーキーの縁所有権規則が毎フレーム無確保で読む。
+ */
+type AxisSplit<S> = { kind: AxisKind; map: (tree: number) => number; clamp: number; style: S; seamLead: boolean; seamTrail: boolean }
 
-/** Split-descriptor cache: quadrant contexts keyed on the freeze/viewport geometry (scroll-free — the split maps read the live scroll snapshot). / 分割記述子キャッシュ: 凍結 / viewport 幾何をキーにした象限コンテキスト (スクロール非依存 — 写像は生スクロール快照を読む)。 */
-type SplitCache = { frozenCols: number; frozenWidth: number; frozenRows: number; frozenHeight: number; bodyWidth: number; bodyHeight: number; ctxs: LayerCtx[] }
+/** Split-descriptor cache: quadrant contexts keyed on the freeze/viewport geometry incl. the v0.9 trailing family (scroll-free — the split maps read the live scroll snapshot; a trailing track resize moves trailingWidth and rebuilds). / 分割記述子キャッシュ: 末尾族 (v0.9) 込みの凍結 / viewport 幾何をキーにした象限コンテキスト (スクロール非依存 — 写像は生スクロール快照を読む。末尾トラックのリサイズは trailingWidth 経由で再構築)。 */
+type SplitCache = {
+    frozenCols: number
+    frozenWidth: number
+    frozenRows: number
+    frozenHeight: number
+    trailingCols: number
+    trailingWidth: number
+    trailingVisibleWidth: number
+    trailingRows: number
+    trailingHeight: number
+    trailingVisibleHeight: number
+    bodyWidth: number
+    bodyHeight: number
+    ctxs: LayerCtx[]
+}
 
 /** Main-band container geometry per axis (no freeze — module constants so a cache rebuild allocates none). / 各軸の主帯コンテナ形状 (非凍結 — キャッシュ再構築でも確保しないモジュール定数)。 */
 const X_MAIN_STYLE: XSplitStyle = { left: "0px", right: "0px", width: "" }
 const Y_MAIN_STYLE: YSplitStyle = { top: "0px", bottom: "0px", height: "" }
 
 /** Empty resident-node set. / 空の常設ノード束。 */
-const emptyLayerNodes = (): LayerNodes => ({ container: null, active: null, dragRect: null, marquee: null, fillPreview: null, resizeGuide: null, fillPool: [], bandPool: [], dragBand: null, bandClampWidth: -1, bandClampHeight: -1 })
+const emptyLayerNodes = (): LayerNodes => ({
+    container: null,
+    active: null,
+    dragRect: null,
+    marquee: null,
+    fillPreview: null,
+    resizeGuide: null,
+    fillPool: [],
+    bandPool: [],
+    dragBand: null,
+    bandClampWidth: -1,
+    bandClampHeight: -1,
+    dividerSlots: [null, null, null, null],
+    dividerShown: [false, false, false, false],
+    dividers: [],
+})
 
-/** All quadrant keys ever rendered (xKind + yKind; m = no freeze on that axis). / 描画され得る全象限キー (xKind + yKind、m = 当該軸非凍結)。 */
-const QUADRANT_KEYS = ["mm", "fm", "sm", "mf", "ms", "ff", "sf", "fs", "ss"] as const
+/** All quadrant keys ever rendered — the full {m,f,s,t}² pre-seed (v0.9 §2.5: identity-stable ref-bundle life structure). / 描画され得る全象限キー — {m,f,s,t}² のフル事前シード (v0.9 §2.5: identity 安定な ref 束の生活構造)。 */
+const QUADRANT_KEYS = ["mm", "mf", "ms", "mt", "fm", "ff", "fs", "ft", "sm", "sf", "ss", "st", "tm", "tf", "ts", "tt"] as const
 
 /** Fill-handle square size in px (§8.1). / fill ハンドルの一辺 (px)。 */
 const FILL_HANDLE_SIZE = 6
@@ -462,6 +680,8 @@ export const SelectionOverlay = ({
     enableFillHandle,
     frozenCols,
     frozenRows,
+    trailingCols,
+    trailingRows,
     sinkAriaLabel,
     onSinkMouseDown,
     editPaintRef,
@@ -541,6 +761,29 @@ export const SelectionOverlay = ({
             healBandGeometry(nodes.dragBand, clampWidth, clampHeight)
         }
     }, [])
+    /**
+     * Live axis models for the cached t maps (render-time refresh — a build-time closure capture
+     * would go stale across a sheet switch whose freeze/viewport cache key happens to match).
+     * キャッシュ済み t 写像が読む軸モデルの生 ref (レンダー毎更新 — 構築時の閉包捕捉は、凍結 /
+     * viewport キーが偶然一致するシート切替で stale になる)。
+     */
+    const axesRef = useRef({ rowAxis, colAxis })
+    axesRef.current = { rowAxis, colAxis }
+    /**
+     * Equality-suppressed `display` heal of one divider slot (v0.9 §2.4): visibility is
+     * band-px-driven per write pass, written ONLY on a flip — the "zero divider style writes
+     * during a steady wheel window" invariant holds by construction.
+     * 分割線スロット 1 つの等値抑制 `display` heal (v0.9 §2.4): 可視は書込パス毎の帯 px 駆動で、
+     * 書くのはフリップ時だけ — 「定常 wheel 窓中の分割線 style 書込 = 0」不変量が構造で立つ。
+     */
+    const healDivider = useCallback((nodes: LayerNodes, slot: number, shown: boolean) => {
+        const node = nodes.dividerSlots[slot]
+        if (node === null || nodes.dividerShown[slot] === shown) {
+            return
+        }
+        nodes.dividerShown[slot] = shown
+        node.style.display = shown ? "" : "none"
+    }, [])
     /** Live scroll snapshot the cached split maps read (`layersFor` refreshes it on every call). / キャッシュ済み分割写像が読む生スクロール快照 (`layersFor` が毎呼び更新)。 */
     const scrollSnapshotRef = useRef({ x: 0, y: 0 })
     /** Split-descriptor cache — invalidated by freeze / viewport geometry change, never by scroll. / 分割記述子キャッシュ — 凍結 / viewport 幾何の変化で無効化 (スクロールでは無効化しない)。 */
@@ -558,7 +801,7 @@ export const SelectionOverlay = ({
     const layersFor = useCallback(
         (hx: number, vy: number): LayerCtx[] => {
             const handle = handleRef.current
-            const frozen = handle?.getFrozenSize() ?? { cols: 0, width: 0, rows: 0, height: 0 }
+            const frozen = handle?.getFrozenSize() ?? EMPTY_FROZEN_SIZE
             const viewport = handle?.getViewportSize()
             const bodyWidth = viewport?.width ?? -1
             const bodyHeight = viewport?.height ?? -1
@@ -567,42 +810,128 @@ export const SelectionOverlay = ({
             scroll.x = hx
             scroll.y = vy
             let cache = splitCacheRef.current
-            if (cache === null || cache.frozenCols !== frozen.cols || cache.frozenWidth !== frozen.width || cache.frozenRows !== frozen.rows || cache.frozenHeight !== frozen.height || cache.bodyWidth !== bodyWidth || cache.bodyHeight !== bodyHeight) {
+            if (
+                cache === null ||
+                cache.frozenCols !== frozen.cols ||
+                cache.frozenWidth !== frozen.width ||
+                cache.frozenRows !== frozen.rows ||
+                cache.frozenHeight !== frozen.height ||
+                cache.trailingCols !== frozen.trailingCols ||
+                cache.trailingWidth !== frozen.trailingWidth ||
+                cache.trailingVisibleWidth !== frozen.trailingVisibleWidth ||
+                cache.trailingRows !== frozen.trailingRows ||
+                cache.trailingHeight !== frozen.trailingHeight ||
+                cache.trailingVisibleHeight !== frozen.trailingVisibleHeight ||
+                cache.bodyWidth !== bodyWidth ||
+                cache.bodyHeight !== bodyHeight
+            ) {
                 // 幾何が変わったときだけ記述子を再構築 (最熱経路の毎 repaint 閉包 / spread / 配列確保を
-                // 断つ GC 圧対策)。x 軸分割は非凍結が主帯 1 本、凍結は 凍結帯 [0, W_F) + スクロール帯
-                // [W_F, →) — y 軸も同型
+                // 断つ GC 圧対策)。x 軸分割 (v0.9 §2.5): 両凍結なしは主帯 1 本、それ以外は
+                // [f?] + [s] + [t?] — 末尾のみの軸は s + t (kind m は「未分割軸」の意を保つ)。
+                // vis = handle の trailingVisible* (ADR-19 の単一源 — 書込パスはフィールド名で引用)
+                const visX = frozen.trailingVisibleWidth
+                const visY = frozen.trailingVisibleHeight
+                // 継ぎ目フラグの導出 (縁所有権規則の読み先): 帯クリップは軸を互いに素な半開区間
+                // f [0, W_F) / s [W_F, extent − vis) / t [extent − vis, extent) に分割する — 別の帯が
+                // 隣接する辺だけが継ぎ目 (m 軸と viewport 端は継ぎ目なし)。s の両端は F / T の実在で決まる
                 const xSplits: AxisSplit<XSplitStyle>[] =
-                    frozen.cols <= 0
-                        ? [{ kind: "m", map: (treeX) => treeX - scroll.x, clamp: bodyWidth, style: X_MAIN_STYLE }]
+                    frozen.cols <= 0 && frozen.trailingCols <= 0
+                        ? [{ kind: "m", map: (treeX) => treeX - scroll.x, clamp: bodyWidth, style: X_MAIN_STYLE, seamLead: false, seamTrail: false }]
                         : [
-                              { kind: "f", map: (treeX) => treeX, clamp: frozen.width, style: { left: "0px", width: `${frozen.width}px`, right: "" } },
-                              { kind: "s", map: (treeX) => treeX - scroll.x - frozen.width, clamp: Math.max(0, bodyWidth - frozen.width), style: { left: `${frozen.width}px`, right: "0px", width: "" } },
+                              ...(frozen.cols > 0 ? [{ kind: "f" as const, map: (treeX: number) => treeX, clamp: frozen.width, style: { left: "0px", width: `${frozen.width}px`, right: "" }, seamLead: false, seamTrail: true }] : []),
+                              // s 帯クリップ [W_F, extent − W_T_vis) — clamp = body − W_F − W_T_vis、
+                              // right = W_T_vis (導出: v0.9 §2.5 の s 変形。T = 0 は vis 0 で v0.8 と byte 一致)
+                              {
+                                  kind: "s" as const,
+                                  map: (treeX: number) => treeX - scroll.x - frozen.width,
+                                  clamp: Math.max(0, bodyWidth - frozen.width - visX),
+                                  style: { left: `${frozen.width}px`, right: `${visX}px`, width: "" },
+                                  seamLead: frozen.cols > 0,
+                                  seamTrail: frozen.trailingCols > 0,
+                              },
+                              // t 帯クリップ [extent − W_T_vis, extent)。band-local 写像の導出 (v0.9 §2.5):
+                              // エンジン順写像 viewport x = extent − (totalSize − treeX)、象限原点 = extent − vis
+                              // ⇒ band-local = treeX − totalSize + vis (tree 列 colCount − T の left は vis − W_T
+                              // に着地 — クリップ左詰めの正しさの値ピン §5.4)。totalSize は axesRef 経由の生読み
+                              // (スクロール帯トラックのリサイズはキャッシュキー外 — 入力 treeX が鮮度軸で来る
+                              // ため total も鮮度で読む。W_T / vis の変化はキャッシュキーが再構築する)
+                              ...(frozen.trailingCols > 0 ? [{ kind: "t" as const, map: (treeX: number) => treeX - axesRef.current.colAxis.totalSize() + visX, clamp: visX, style: { left: "", right: "0px", width: `${visX}px` }, seamLead: true, seamTrail: false }] : []),
                           ]
                 const ySplits: AxisSplit<YSplitStyle>[] =
-                    frozen.rows <= 0
-                        ? [{ kind: "m", map: (treeY) => treeY - scroll.y, clamp: bodyHeight, style: Y_MAIN_STYLE }]
+                    frozen.rows <= 0 && frozen.trailingRows <= 0
+                        ? [{ kind: "m", map: (treeY) => treeY - scroll.y, clamp: bodyHeight, style: Y_MAIN_STYLE, seamLead: false, seamTrail: false }]
                         : [
-                              { kind: "f", map: (treeY) => treeY, clamp: frozen.height, style: { top: "0px", height: `${frozen.height}px`, bottom: "" } },
-                              { kind: "s", map: (treeY) => treeY - scroll.y - frozen.height, clamp: Math.max(0, bodyHeight - frozen.height), style: { top: `${frozen.height}px`, bottom: "0px", height: "" } },
+                              ...(frozen.rows > 0 ? [{ kind: "f" as const, map: (treeY: number) => treeY, clamp: frozen.height, style: { top: "0px", height: `${frozen.height}px`, bottom: "" }, seamLead: false, seamTrail: true }] : []),
+                              // s 帯クリップ [H_F, extent − H_T_vis) — x の転置双子 (v0.9 §2.5)
+                              {
+                                  kind: "s" as const,
+                                  map: (treeY: number) => treeY - scroll.y - frozen.height,
+                                  clamp: Math.max(0, bodyHeight - frozen.height - visY),
+                                  style: { top: `${frozen.height}px`, bottom: `${visY}px`, height: "" },
+                                  seamLead: frozen.rows > 0,
+                                  seamTrail: frozen.trailingRows > 0,
+                              },
+                              // t 帯 (bottom-anchored の行双子): band-local = treeY − totalSize + vis (v0.9 §2.5)
+                              ...(frozen.trailingRows > 0 ? [{ kind: "t" as const, map: (treeY: number) => treeY - axesRef.current.rowAxis.totalSize() + visY, clamp: visY, style: { top: "", bottom: "0px", height: `${visY}px` }, seamLead: true, seamTrail: false }] : []),
                           ]
                 const ctxs: LayerCtx[] = []
                 for (const xs of xSplits) {
                     for (const ys of ySplits) {
-                        ctxs.push({ nodes: nodeSetFor(`${xs.kind}${ys.kind}`), mapX: xs.map, clampWidth: xs.clamp, xStyle: xs.style, mapY: ys.map, clampHeight: ys.clamp, yStyle: ys.style })
+                        ctxs.push({
+                            nodes: nodeSetFor(`${xs.kind}${ys.kind}`),
+                            xKind: xs.kind,
+                            yKind: ys.kind,
+                            mapX: xs.map,
+                            clampWidth: xs.clamp,
+                            xStyle: xs.style,
+                            xSeamLead: xs.seamLead,
+                            xSeamTrail: xs.seamTrail,
+                            mapY: ys.map,
+                            clampHeight: ys.clamp,
+                            yStyle: ys.style,
+                            ySeamLead: ys.seamLead,
+                            ySeamTrail: ys.seamTrail,
+                        })
                     }
                 }
-                cache = { frozenCols: frozen.cols, frozenWidth: frozen.width, frozenRows: frozen.rows, frozenHeight: frozen.height, bodyWidth, bodyHeight, ctxs }
+                cache = {
+                    frozenCols: frozen.cols,
+                    frozenWidth: frozen.width,
+                    frozenRows: frozen.rows,
+                    frozenHeight: frozen.height,
+                    trailingCols: frozen.trailingCols,
+                    trailingWidth: frozen.trailingWidth,
+                    trailingVisibleWidth: frozen.trailingVisibleWidth,
+                    trailingRows: frozen.trailingRows,
+                    trailingHeight: frozen.trailingHeight,
+                    trailingVisibleHeight: frozen.trailingVisibleHeight,
+                    bodyWidth,
+                    bodyHeight,
+                    ctxs,
+                }
                 splitCacheRef.current = cache
             }
+            // 分割線の可視述語 (v0.9 §2.4 の表 — スロット固定順 [x-leading, x-trailing, y-leading,
+            // y-trailing] = [W_F, W_T, H_F, H_T] の TREE px > 0。全トラック非表示 (px = 0) で消灯、
+            // overlap 縮退の消滅は象限クリップが構造で担う)
+            const showXLead = frozen.width > 0
+            const showXTrail = frozen.trailingWidth > 0
+            const showYLead = frozen.height > 0
+            const showYTrail = frozen.trailingHeight > 0
             for (const ctx of cache.ctxs) {
                 // ヒールは毎呼び (遅延 attach / 象限切替の新コンテナへも形状が届く — 同値抑止つき)
                 healContainer(ctx.nodes.container, ctx.xStyle, ctx.yStyle)
                 // 帯セグメントの主軸サイズはコンテナと同じ契機でヒール (§2.4 — 空プールなら無書込)
                 healLayerBands(ctx.nodes, ctx.clampWidth, ctx.clampHeight)
+                // 分割線セグメント可視も同パスでヒール (v0.9 §2.4 / §4.10 #14 — 等値抑制つき)
+                healDivider(ctx.nodes, 0, showXLead)
+                healDivider(ctx.nodes, 1, showXTrail)
+                healDivider(ctx.nodes, 2, showYLead)
+                healDivider(ctx.nodes, 3, showYTrail)
             }
             return cache.ctxs
         },
-        [handleRef, nodeSetFor, healContainer, healLayerBands],
+        [handleRef, nodeSetFor, healContainer, healLayerBands, healDivider],
     )
     /**
      * Stable ref-callback set for one layer (❗ identity-stable via useMemo — a per-render
@@ -612,6 +941,28 @@ export const SelectionOverlay = ({
      * React が毎回 detach / attach し、プールだけが空になって DOM ノードが残り、次の repaint で
      * 塗りが二重化する)。
      */
+    /**
+     * Registers one divider segment into its fixed slot and rebuilds the compact `dividers`
+     * array in slot (= JSX = DOM) order (v0.9 §2.4 / §2.5). Runs only on mount / unmount of a
+     * segment — never per frame. The last-shown cache resets to the JSX initial state
+     * (`display: none`) so the first heal after a mount writes exactly once.
+     * 分割線セグメント 1 つを固定スロットへ登録し、圧縮配列 `dividers` をスロット (= JSX = DOM)
+     * 順で再構成 (v0.9 §2.4 / §2.5)。実行はセグメントのマウント / アンマウント時のみ — 毎フレーム
+     * では走らない。直近 shown キャッシュは JSX 初期状態 (`display: none`) へ戻し、マウント後の
+     * 最初の heal がちょうど 1 回書けるようにする。
+     */
+    const setDividerSlot = useCallback((n: LayerNodes, slot: number, el: HTMLDivElement | null) => {
+        n.dividerSlots[slot] = el
+        // JSX 初期 display は "none" — 等値抑制キャッシュを初期値へ同期 (空砲抑制の防止)
+        n.dividerShown[slot] = false
+        // 圧縮配列は identity を保ったまま中身だけ再構成 (chromeFloorOf の読み先)
+        n.dividers.length = 0
+        for (const node of n.dividerSlots) {
+            if (node !== null) {
+                n.dividers.push(node)
+            }
+        }
+    }, [])
     const makeLayerRefs = useCallback(
         (key: string) => {
             const nodes = () => nodeSetFor(key)
@@ -628,6 +979,12 @@ export const SelectionOverlay = ({
                         n.bandClampHeight = -1
                     }
                 },
+                // 分割線 4 スロット (v0.9 §2.4 — 固定スロット順 = JSX 順。存在は件数駆動の JSX 分岐、
+                // React が mount / unmount で装着・解除する)
+                dividerXLeading: (el: HTMLDivElement | null) => setDividerSlot(nodes(), 0, el),
+                dividerXTrailing: (el: HTMLDivElement | null) => setDividerSlot(nodes(), 1, el),
+                dividerYLeading: (el: HTMLDivElement | null) => setDividerSlot(nodes(), 2, el),
+                dividerYTrailing: (el: HTMLDivElement | null) => setDividerSlot(nodes(), 3, el),
                 active: (el: HTMLDivElement | null) => {
                     nodes().active = el
                 },
@@ -645,7 +1002,7 @@ export const SelectionOverlay = ({
                 },
             }
         },
-        [nodeSetFor],
+        [nodeSetFor, setDividerSlot],
     )
     // 象限キーごとに identity 安定な ref 束を用意 (空 deps — 毎レンダー生成だと React が detach /
     // attach してプールが空になり塗りが二重化する)。JSX は実効 F / R に応じて必要な象限だけ描く
@@ -655,6 +1012,12 @@ export const SelectionOverlay = ({
     const overlayFrozenWidth = frozenWidthOf(colAxis, effectiveFrozenCols)
     const effectiveFrozenRows = Math.min(Math.max(0, frozenRows), rowAxis.count)
     const overlayFrozenHeight = frozenHeightOf(rowAxis, effectiveFrozenRows)
+    // render 面の実効 T / W_T (v0.9 §2.2 の二値系双子 — エンジンクランプと byte 一致の leading 勝ち
+    // min(max(0, T), count − F_eff))。未宣言は能力分岐で 0 (v0.8 の JSX 構造をそのまま再現)
+    const effectiveTrailingCols = trailingCols === undefined ? 0 : Math.min(Math.max(0, trailingCols), colAxis.count - effectiveFrozenCols)
+    const overlayTrailingWidth = trailingWidthOf(colAxis, effectiveTrailingCols)
+    const effectiveTrailingRows = trailingRows === undefined ? 0 : Math.min(Math.max(0, trailingRows), rowAxis.count - effectiveFrozenRows)
+    const overlayTrailingHeight = trailingHeightOf(rowAxis, effectiveTrailingRows)
     // 生存中のドラッグ矩形レンジ (null = 非表示)。writeDragFrame が書き、repaintOverlay がスクロール
     // 追随の再配置に読む — ドラッグ中ポインタ静止のままホイールすると、fill / アクティブ枠だけが
     // onScroll repaint で動き矩形が取り残される desync の対策
@@ -748,9 +1111,9 @@ export const SelectionOverlay = ({
         return highlight.row || highlight.column || highlight.intersection ? highlight : null
     }, [highlightRef])
 
-    /** Inserts a band group under the layer's fills (before the first fill, else before the active frame). / 帯組を層の fill の下へ挿入 (先頭 fill の手前、無ければアクティブ枠の手前)。 */
+    /** Inserts a band group under the layer's fills (before the first fill, else before the chrome floor — v0.9 §2.5 census #25: the old `nodes.active` anchor could not land a band group below a mounted divider). / 帯組を層の fill の下へ挿入 (先頭 fill の手前、無ければ静的クローム床の手前 — v0.9 §2.5 census #25: 旧 `nodes.active` 直指しではマウント済み分割線の下へ帯組を入れられない)。 */
     const insertBandGroup = useCallback((container: HTMLDivElement, nodes: LayerNodes, group: BandNodes) => {
-        const before = nodes.fillPool.length > 0 ? nodes.fillPool[0] : nodes.active
+        const before = nodes.fillPool[0]?.node ?? chromeFloorOf(nodes)
         for (const node of bandNodeList(group)) {
             container.insertBefore(node, before)
         }
@@ -873,7 +1236,7 @@ export const SelectionOverlay = ({
         [rangeToLayerRect, layersFor, applyRect],
     )
 
-    /** Positions the resize guideline nodes (all quadrants — the line is a tree boundary each quadrant maps/clips). / ガイドライン (全象限 — 線は各象限が写像 / クリップする木境界)。 */
+    /** Positions the resize guideline nodes: a "leading" guide paints in ALL quadrants through each committed map (byte-identical v0.8 path, no clamp); a "trailing" guide paints ONLY in quads whose gesture-axis kind is `t`, with the band-local position clamped `max(0, local)` (v0.9 §2.6 / §4.10 #27). / ガイドライン配置: "leading" は全象限を各写像で描く (v0.8 と byte 恒等・無クランプ)、"trailing" はジェスチャ軸 kind = t の象限のみ + band-local を `max(0, local)` へクランプ (v0.9 §2.6 / §4.10 #27)。 */
     const positionResizeGuide = useCallback(
         (guide: ResizeGuide | null, vy: number, hx: number) => {
             for (const ctx of layersFor(hx, vy)) {
@@ -885,14 +1248,32 @@ export const SelectionOverlay = ({
                     node.style.display = "none"
                     continue
                 }
-                node.style.display = "block"
+                const trailing = guide.anchor === "trailing"
                 if (guide.axis === "col") {
-                    node.style.transform = `translate(${ctx.mapX(guide.position)}px, 0px)`
+                    // 末尾アンカーはジェスチャ軸 kind = t の象限のみ描く (v0.9 §2.6 — 末尾の予定位置を
+                    // s / f 写像へ通すと別の木領域で、最大スクロール付近に第 2 の線が出る)
+                    if (trailing && ctx.xKind !== "t") {
+                        node.style.display = "none"
+                        continue
+                    }
+                    node.style.display = "block"
+                    const localX = ctx.mapX(guide.position)
+                    // t 分岐のみ max(0, local) クランプ (v0.9 §2.6 — 帯先頭拡大の負 band-local は
+                    // overflow: hidden で全ジェスチャ不可視になるため t クリップ近端へピン。
+                    // leading 分岐は無クランプのまま = byte 恒等対照)
+                    node.style.transform = `translate(${trailing ? Math.max(0, localX) : localX}px, 0px)`
                     node.style.width = "1px"
                     node.style.height = "100%"
                 } else {
-                    // 行線は各象限の mapY で写す (v0.6 — 凍結行帯では静的、スクロール帯では −vy−H_F)
-                    node.style.transform = `translate(0px, ${ctx.mapY(guide.position)}px)`
+                    if (trailing && ctx.yKind !== "t") {
+                        node.style.display = "none"
+                        continue
+                    }
+                    node.style.display = "block"
+                    // 行線は各象限の mapY で写す (v0.6 — 凍結行帯では静的、スクロール帯では −vy−H_F。
+                    // v0.9: t 帯では bottom-anchored band-local、末尾アンカーのみ max(0, local))
+                    const localY = ctx.mapY(guide.position)
+                    node.style.transform = `translate(0px, ${trailing ? Math.max(0, localY) : localY}px)`
                     node.style.width = "100%"
                     node.style.height = "1px"
                 }
@@ -928,7 +1309,7 @@ export const SelectionOverlay = ({
      * 保ったまま戻る。閉じたアンカーは加えて `inert` (PopoverLayer) なので閉じた層の DOM は不変。
      */
     const placeAnchor = useCallback(
-        (node: HTMLDivElement | null, cell: CellCoord | null, vy: number, hx: number, frozen: { cols: number; width: number; rows: number; height: number }, bodyWidth: number, viewportH: number) => {
+        (node: HTMLDivElement | null, cell: CellCoord | null, ctxX: AxisForwardCtx, ctxY: AxisForwardCtx, frozen: FrozenSnapshot, bodyWidth: number, viewportH: number) => {
             if (node === null) {
                 return
             }
@@ -936,13 +1317,21 @@ export const SelectionOverlay = ({
                 node.style.clipPath = ANCHOR_HIDDEN_CLIP
                 return
             }
-            const rawTop = rowToViewportY(rowAxis, cell.row, vy, frozen.rows)
-            const rawLeft = colToViewportX(colAxis, cell.col, hx, frozen.cols)
+            const rawTop = rowToViewportY(rowAxis, cell.row, ctxY)
+            const rawLeft = colToViewportX(colAxis, cell.col, ctxX)
+            const width = colAxis.sizeOf(cell.col)
+            const height = rowAxis.sizeOf(cell.row)
             // 原点が viewport の右 / 下の外、またはスクロール軸のセルが凍結帯の下 (凍結なしは左 / 上の外) ⇒ 非表示
             const beyondViewport = rawLeft >= bodyWidth || rawTop >= viewportH
             const underFrozenCol = cell.col >= frozen.cols && rawLeft < frozen.width
             const underFrozenRow = cell.row >= frozen.rows && rawTop < frozen.height
-            if (beyondViewport || underFrozenCol || underFrozenRow) {
+            // 末尾帯への侵入 (v0.9 §4.10 #15 — `rawLeft < W_F` の正確なミラー): スクロール軸セルの
+            // 遠端 rawLeft + 幅が帯始端 body − vis を越えたら非表示。第 1 結合子 col < count − T は
+            // load-bearing の除外 — 末尾セル自身は帯内が正位置で、落とすと末尾セルのアンカーが全滅
+            // する (§5.4 陽性ゲート / TF-7)。T = 0 は trailingWidth 0 で恒偽 (v0.8 恒等)
+            const underTrailingCol = frozen.trailingWidth > 0 && cell.col < colAxis.count - frozen.trailingCols && rawLeft + width > bodyWidth - frozen.trailingVisibleWidth
+            const underTrailingRow = frozen.trailingHeight > 0 && cell.row < rowAxis.count - frozen.trailingRows && rawTop + height > viewportH - frozen.trailingVisibleHeight
+            if (beyondViewport || underFrozenCol || underFrozenRow || underTrailingCol || underTrailingRow) {
                 node.style.clipPath = ANCHOR_HIDDEN_CLIP
                 return
             }
@@ -950,8 +1339,6 @@ export const SelectionOverlay = ({
             node.style.clipPath = ""
             node.style.transform = `translate(${rawLeft}px, ${rawTop}px)`
             // 寸法は変化時だけ (署名比較 — 毎フレームは transform のみ)
-            const width = colAxis.sizeOf(cell.col)
-            const height = rowAxis.sizeOf(cell.row)
             const signature = `${width} ${height}`
             if (node.dataset.aqspAnchorSig !== signature) {
                 node.dataset.aqspAnchorSig = signature
@@ -977,8 +1364,13 @@ export const SelectionOverlay = ({
             const anchors = popoverAnchors.current
             const { width: bodyWidth, height: viewportH } = handle.getViewportSize()
             const frozen = handle.getFrozenSize()
-            placeAnchor(interactiveAnchorRef === undefined ? null : interactiveAnchorRef.current, anchors.interactive, vy, hx, frozen, bodyWidth, viewportH)
-            placeAnchor(tipAnchorRef === undefined ? null : tipAnchorRef.current, anchors.tip, vy, hx, frozen, bodyWidth, viewportH)
+            // 判断時 forward ctx (v0.9 §2.1 — census #15): アンカー配置の呼出元で 1 ハンドル
+            // スナップショットから両軸をその場インライン構築 (跨サイト共有ビルダ禁止 — §5.3。
+            // extent は同スナップショット既読の getViewportSize())
+            const anchorCtxX: AxisForwardCtx = { scroll: hx, frozenCount: frozen.cols, trailingCount: frozen.trailingCols, extent: bodyWidth }
+            const anchorCtxY: AxisForwardCtx = { scroll: vy, frozenCount: frozen.rows, trailingCount: frozen.trailingRows, extent: viewportH }
+            placeAnchor(interactiveAnchorRef === undefined ? null : interactiveAnchorRef.current, anchors.interactive, anchorCtxX, anchorCtxY, frozen, bodyWidth, viewportH)
+            placeAnchor(tipAnchorRef === undefined ? null : tipAnchorRef.current, anchors.tip, anchorCtxX, anchorCtxY, frozen, bodyWidth, viewportH)
         },
         [popoverAnchors, interactiveAnchorRef, tipAnchorRef, placeAnchor],
     )
@@ -988,6 +1380,7 @@ export const SelectionOverlay = ({
      * viewport metrics come from cached numbers only.
      * 唯一の再描画関数 (両経路共有)。内部で gBCR を呼ばない (キャッシュ数値のみ)。
      */
+    // biome-ignore lint/complexity/noExcessiveCognitiveComplexity: 最熱の単一書込漏斗 (§6.7.2-3) — v0.9 の 16 象限一般化 + fill 同値抑制 (census #23) が意図的に本体を広げた。象限毎ヘルパへの分割は identity 安定な ref-bundle 生活構造と単一パス規律 (v0.9 §0.6-1) を壊すため、平坦な 1 関数を契約として保つ
     const repaintOverlay = useCallback(() => {
         const overlay = overlayRef.current
         const handle = handleRef.current
@@ -1001,13 +1394,14 @@ export const SelectionOverlay = ({
         // 命令読み (props docstring 参照) — シート切替コミットでも常にリセット済みの最新確定選択
         const state = getSelection()
 
-        // 強調帯の対象レンジ (能力なし / 全 off は空 — 確保もしない)
-        const highlight = activeHighlight()
-        const bandRanges = highlight === null ? NO_RANGES : state.ranges.slice(-BAND_RANGE_CAP)
-
         // 確定塗り (fills) — 層ごとの常設プール (ref 配列) を使い回す (毎 repaint の DOM 生成 /
         // クエリを避ける)。F = 0 は主プール単層で従来恒等
         const layers = layersFor(hx, vy)
+
+        // 強調帯の対象レンジ (能力なし / 全 off は空 — 確保もしない)。上限は象限数キーの実効 cap
+        // (ADR-22 デレート — 4 象限以下は BAND_RANGE_CAP のまま、v0.9 §5.9 手順 3)
+        const highlight = activeHighlight()
+        const bandRanges = highlight === null ? NO_RANGES : state.ranges.slice(-bandRangeCapFor(layers.length))
         for (const ctx of layers) {
             const container = ctx.nodes.container
             if (container === null) {
@@ -1015,32 +1409,55 @@ export const SelectionOverlay = ({
             }
             const fills = ctx.nodes.fillPool
             for (let i = 0; i < Math.max(fills.length, state.ranges.length); i += 1) {
-                let node = fills[i]
-                if (node === undefined) {
-                    node = document.createElement("div")
+                let slot = fills[i]
+                if (slot === undefined) {
+                    const node = document.createElement("div")
                     node.className = "aqsp-selection-fill"
                     node.setAttribute("data-aqsp-fill", "")
-                    // 静的ノード群 (アクティブ枠 / ドラッグ矩形 / マーキー / シンク) の手前へ挿入 —
-                    // append だと DOM 順でシンクより上に描かれ、Phase 3 のセル面積エディタが半透明
-                    // fill の下に沈む
-                    container.insertBefore(node, ctx.nodes.active)
-                    fills.push(node)
+                    // 生成時のみ display を初期化 — 以後は同値キャッシュが管理 (v0.9 §2.5 census #23)
+                    node.style.display = "none"
+                    // 静的クローム床 (分割線先頭 or アクティブ枠 — chromeFloorOf) の手前へ挿入
+                    // (v0.9 §2.5 census #24: 分割線マウント後に生成された fill が分割線の上へ来る
+                    // 継ぎ目吸収の破れを塞ぐ)。append だと DOM 順でシンクより上に描かれ、Phase 3 の
+                    // セル面積エディタが半透明 fill の下に沈む (従来規律は不変)
+                    container.insertBefore(node, chromeFloorOf(ctx.nodes))
+                    slot = { node, last: { shown: false, width: -1, height: -1, transform: "" } }
+                    fills.push(slot)
                 }
                 const range = state.ranges[i]
                 const rect = range === undefined ? null : rangeToLayerRect(range, ctx)
+                // fill 書込規律 (v0.9 §2.5 census #23 — placeBandSegments の同値キャッシュのミラー):
+                // display / width / height は変化時だけ書き、transform も同値キャッシュ (§5.9 手順 3
+                // 第 1 段リトリート — 純横 / 純縦スクロールで動かない象限の byte 恒等文字列は再書込しない)
                 if (rect === null) {
-                    node.style.display = "none"
+                    if (slot.last.shown) {
+                        slot.last.shown = false
+                        slot.node.style.display = "none"
+                    }
                 } else {
-                    node.style.display = "block"
-                    node.style.transform = `translate(${rect.left}px, ${rect.top}px)`
-                    node.style.width = `${rect.width}px`
-                    node.style.height = `${rect.height}px`
+                    if (!slot.last.shown) {
+                        slot.last.shown = true
+                        slot.node.style.display = "block"
+                    }
+                    const transform = `translate(${rect.left}px, ${rect.top}px)`
+                    if (transform !== slot.last.transform) {
+                        slot.last.transform = transform
+                        slot.node.style.transform = transform
+                    }
+                    if (rect.width !== slot.last.width) {
+                        slot.last.width = rect.width
+                        slot.node.style.width = `${rect.width}px`
+                    }
+                    if (rect.height !== slot.last.height) {
+                        slot.last.height = rect.height
+                        slot.node.style.height = `${rect.height}px`
+                    }
                 }
             }
             // プールを生存レンジ数へ収縮 (多レンジ選択の残骸ノードを毎 repaint 走査し続けない —
             // 最熱ループは常に live 選択規模に比例させる)
             while (fills.length > state.ranges.length) {
-                fills.pop()?.remove()
+                fills.pop()?.node.remove()
             }
 
             // アクティブセル枠 (常設ノードは ref 直読み — dragRect と同じ規律)
@@ -1061,7 +1478,27 @@ export const SelectionOverlay = ({
             if (marquee === null) {
                 continue
             }
-            const rect = clip === null ? null : rangeToLayerRect(clip.range, ctx)
+            const mapped = clip === null ? null : rangeToLayerRect(clip.range, ctx)
+            // 縁所有権 (セル罫線の「共有線は隣接 2 セルの一方だけが塗る」畳込みのペイン継ぎ目版)。
+            // 導出: 帯クリップは軸の互いに素な半開区間分割 f [0, W_F) / s [W_F, extent − vis) /
+            // t [extent − vis, extent) — 継ぎ目上のレンジ縁は、レンジの隣接セル列を区間に含む象限
+            // ちょうど 1 つが所有する (区間分割ゆえ所有者は一意で、描画順位 m < s < t < f の
+            // タイブレークは不要 — 順位は重なる画素の上下、所有権は区間の帰属)。非所有側の矩形は
+            // 継ぎ目側でクリップ区間と交差ゼロ — 本体はクリップが切るが、漸進アウトセットは全余白を
+            // 得て ::after のアンツ帯を CLIP_MARQUEE_OUTSET px までクリップ内へ引き戻すため、縁が
+            // 争奪帯 [clamp, clamp + 3) / (−3, 0] にある間だけ継ぎ目の両側に破線が二重化する — t
+            // 写像はスクロール非依存なので (縁が恒常的に 0)、s ペインのスクロール中も幽霊縁が
+            // 継ぎ目に貼り付く。抑止は争奪帯ちょうどに限定: 帯の外の非所有クローンは元よりクリップが
+            // 不可視化しており、書込パターンは v0.8 / T = 0 と byte 恒等のまま (継ぎ目のない m 軸と
+            // viewport 端はフラグ false で常に恒等)
+            const rect =
+                mapped !== null &&
+                ((ctx.xSeamTrail && mapped.left >= ctx.clampWidth && mapped.left < ctx.clampWidth + CLIP_MARQUEE_OUTSET) ||
+                    (ctx.xSeamLead && mapped.left + mapped.width <= 0 && mapped.left + mapped.width > -CLIP_MARQUEE_OUTSET) ||
+                    (ctx.ySeamTrail && mapped.top >= ctx.clampHeight && mapped.top < ctx.clampHeight + CLIP_MARQUEE_OUTSET) ||
+                    (ctx.ySeamLead && mapped.top + mapped.height <= 0 && mapped.top + mapped.height > -CLIP_MARQUEE_OUTSET))
+                    ? null
+                    : mapped
             if (rect === null) {
                 marquee.style.display = "none"
             } else {
@@ -1134,18 +1571,31 @@ export const SelectionOverlay = ({
             if (!eligible || viewportH <= 0 || bodyWidth <= 0) {
                 fillHandle.style.display = "none"
             } else {
-                // 行 / 列とも凍結パーティション順写像 (v0.6 / v0.5 計画 §2)。スクロール軸の隅が
-                // 凍結帯の下へ潜った場合は不可視 (minLeft = W_F / minTop = H_F — 凍結軸自身の隅は
-                // 0 が下限)
+                // 行 / 列とも凍結パーティション順写像 (v0.6 / v0.5 計画 §2、v0.9 で 3 分岐)。
+                // スクロール軸の隅が凍結帯の下へ潜った場合は不可視 (minLeft = W_F / minTop = H_F —
+                // 凍結軸自身の隅は 0 が下限)
                 const frozen = handle.getFrozenSize()
+                // 判断時 forward ctx (v0.9 §2.1 — census #16): 同ブロック既読の getViewportSize()
+                // を extent に、1 スナップショットから両軸をその場インライン構築 (§5.3)
+                const fillCtxX: AxisForwardCtx = { scroll: hx, frozenCount: frozen.cols, trailingCount: frozen.trailingCols, extent: bodyWidth }
+                const fillCtxY: AxisForwardCtx = { scroll: vy, frozenCount: frozen.rows, trailingCount: frozen.trailingRows, extent: viewportH }
                 const endColIsFrozen = tail.endCol < frozen.cols
                 const endRowIsFrozen = tail.endRow < frozen.rows
-                const left = colToViewportX(colAxis, tail.endCol, hx, frozen.cols) + colAxis.sizeOf(tail.endCol)
-                const top = rowToViewportY(rowAxis, tail.endRow, vy, frozen.rows) + rowAxis.sizeOf(tail.endRow)
-                const minLeft = endColIsFrozen ? 0 : frozen.width
-                const minTop = endRowIsFrozen ? 0 : frozen.height
-                if (top <= minTop || top > viewportH || left <= minLeft || left > bodyWidth) {
-                    fillHandle.style.display = "none" // 右下隅が viewport 外 / 凍結帯の下 (§8.1)
+                // 厳密分類 (v0.9 §2.7 — FZ21 ミラー): endCol >= count − T が末尾 (境界列 count − T − 1
+                // は SCROLL)。T = 0 は count − 0 = count で恒偽 (v0.8 恒等)
+                const endColIsTrailing = tail.endCol >= colAxis.count - frozen.trailingCols
+                const endRowIsTrailing = tail.endRow >= rowAxis.count - frozen.trailingRows
+                const left = colToViewportX(colAxis, tail.endCol, fillCtxX) + colAxis.sizeOf(tail.endCol)
+                const top = rowToViewportY(rowAxis, tail.endRow, fillCtxY) + rowAxis.sizeOf(tail.endRow)
+                // 床: 凍結隅と末尾隅は 0 (帯内が正位置 — v0.9 §4.10 #16)、スクロール隅は W_F / H_F
+                const minLeft = endColIsFrozen || endColIsTrailing ? 0 : frozen.width
+                const minTop = endRowIsFrozen || endRowIsTrailing ? 0 : frozen.height
+                // 天井 (v0.9 §4.10 #16 — 床の遠双子): スクロール隅が末尾帯 [body − vis, body) へ潜れば
+                // 消灯。末尾隅の天井は body (帯内右端まで可視)。T = 0 は vis 0 で v0.8 の body 天井と一致
+                const maxLeft = endColIsTrailing ? bodyWidth : bodyWidth - frozen.trailingVisibleWidth
+                const maxTop = endRowIsTrailing ? viewportH : viewportH - frozen.trailingVisibleHeight
+                if (top <= minTop || top > maxTop || left <= minLeft || left > maxLeft) {
+                    fillHandle.style.display = "none" // 右下隅が viewport 外 / 凍結帯 / 末尾帯の下 (§8.1)
                 } else {
                     fillHandle.style.display = "block"
                     fillHandle.style.transform = `translate(${left - FILL_HANDLE_SIZE + 1}px, ${top - FILL_HANDLE_SIZE + 1}px)`
@@ -1159,10 +1609,15 @@ export const SelectionOverlay = ({
         if (sink !== null) {
             const a = state.active
             const { width: bodyWidth, height: viewportH } = handle.getViewportSize()
-            // 行 / 列とも凍結パーティション順写像 (v0.6 / v0.5 計画 §2 — 凍結軸の active は静的座標)
+            // 行 / 列とも凍結パーティション順写像 (v0.6 / v0.5 計画 §2 — 凍結軸の active は静的座標、
+            // v0.9 で末尾も extent アンカーの静的座標)
             const sinkFrozen = handle.getFrozenSize()
-            const rawTop = rowToViewportY(rowAxis, a.row, vy, sinkFrozen.rows)
-            const rawLeft = colToViewportX(colAxis, a.col, hx, sinkFrozen.cols)
+            // 判断時 forward ctx (v0.9 §2.1 — census #17): 同ブロック既読の getViewportSize() を
+            // extent に、1 スナップショットから両軸をその場インライン構築 (§5.3)
+            const sinkCtxX: AxisForwardCtx = { scroll: hx, frozenCount: sinkFrozen.cols, trailingCount: sinkFrozen.trailingCols, extent: bodyWidth }
+            const sinkCtxY: AxisForwardCtx = { scroll: vy, frozenCount: sinkFrozen.rows, trailingCount: sinkFrozen.trailingRows, extent: viewportH }
+            const rawTop = rowToViewportY(rowAxis, a.row, sinkCtxY)
+            const rawLeft = colToViewportX(colAxis, a.col, sinkCtxX)
             const top = viewportH > 0 ? Math.min(Math.max(rawTop, 0), Math.max(0, viewportH - 1)) : 0
             const left = bodyWidth > 0 ? Math.min(Math.max(rawLeft, 0), Math.max(0, bodyWidth - 1)) : 0
             sink.style.top = `${top}px`
@@ -1190,7 +1645,13 @@ export const SelectionOverlay = ({
             // スクロール軸の active が凍結帯の下へ潜った場合もエディタを降ろす (両軸)
             const underFrozenCol = a.col >= sinkFrozen.cols && rawLeft < sinkFrozen.width
             const underFrozenRow = a.row >= sinkFrozen.rows && rawTop < sinkFrozen.height
-            const editorVisible = editingRef.current && rawTop === top && rawLeft === left && !underFrozenCol && !underFrozenRow
+            // 末尾帯への侵入でもエディタを降ろす遠双子 (v0.9 §4.10 #17 — `rawLeft < W_F` の正確な
+            // ミラー: 遠端 rawLeft + 幅 > 帯始端 body − vis)。第 1 結合子 col < count − T は
+            // load-bearing の除外 — 末尾セル自身は帯内が正位置で、落とすと末尾セル編集が全て
+            // 不可視シンクへの IME 合成になる (§5.4 陽性ゲート / TF-7)。T = 0 は恒偽 (v0.8 恒等)
+            const underTrailingCol = sinkFrozen.trailingWidth > 0 && a.col < colAxis.count - sinkFrozen.trailingCols && rawLeft + colAxis.sizeOf(a.col) > bodyWidth - sinkFrozen.trailingVisibleWidth
+            const underTrailingRow = sinkFrozen.trailingHeight > 0 && a.row < rowAxis.count - sinkFrozen.trailingRows && rawTop + rowAxis.sizeOf(a.row) > viewportH - sinkFrozen.trailingVisibleHeight
+            const editorVisible = editingRef.current && rawTop === top && rawLeft === left && !underFrozenCol && !underFrozenRow && !underTrailingCol && !underTrailingRow
             if (editorVisible !== lastEditingAttrRef.current) {
                 lastEditingAttrRef.current = editorVisible
                 if (editorVisible) {
@@ -1354,7 +1815,7 @@ export const SelectionOverlay = ({
     // (Spreadsheet の repaintOverlay 呼び) が描く (post-B F2 実測)
     useEffect(() => {
         repaintOverlay()
-    }, [repaintOverlay, editing, effectiveFrozenCols, effectiveFrozenRows])
+    }, [repaintOverlay, editing, effectiveFrozenCols, effectiveFrozenRows, effectiveTrailingCols, effectiveTrailingRows])
 
     // シンクの mousedown ガード (idle の 1px 直クリックから armed 選択を守る — §4.2 ADR-4。
     // 所有は SelectionOverlay — §6.10 の変異検証対象)
@@ -1368,26 +1829,34 @@ export const SelectionOverlay = ({
         return () => sink.removeEventListener("mousedown", handler)
     }, [sinkRef, onSinkMouseDown])
 
-    // ---- 象限 JSX の構築 (v0.6 計画 §3-4): 各軸の凍結種 × をデカルト積し、必要な象限だけ描く。
-    //      DOM 順は「後置 = 境界での描画上位」— 主 → 行凍結 → 列凍結 → コーナー の順で凍結ほど後置。
-    //      v0.5 互換の data-attr フック (main / frozen / scroll) を R = 0 の 3 象限へ温存する ----
-    const xKinds =
-        effectiveFrozenCols > 0
-            ? ([
-                  { k: "f", style: { left: 0, width: overlayFrozenWidth } },
-                  { k: "s", style: { left: overlayFrozenWidth, right: 0 } },
-              ] as const)
-            : ([{ k: "m", style: { left: 0, right: 0 } }] as const)
-    const yKinds =
-        effectiveFrozenRows > 0
-            ? ([
-                  { k: "f", style: { top: 0, height: overlayFrozenHeight } },
-                  { k: "s", style: { top: overlayFrozenHeight, bottom: 0 } },
-              ] as const)
-            : ([{ k: "m", style: { top: 0, bottom: 0 } }] as const)
-    // 描画上位の並べ替え (凍結種 f を後置): 主(m) < スクロール(s) < 凍結(f)
-    const rank = (k: string): number => (k === "m" ? 0 : k === "s" ? 1 : 2)
-    const quadrants = xKinds.flatMap((x) => yKinds.map((y) => ({ key: `${x.k}${y.k}`, style: { ...x.style, ...y.style } }))).sort((a, b) => rank(a.key[0]) + rank(a.key[1]) - (rank(b.key[0]) + rank(b.key[1])))
+    // ---- 象限 JSX の構築 (v0.6 計画 §3-4、v0.9 §2.5 で 3 分割へ一般化): 各軸の帯種 ×
+    //      デカルト積で必要な象限だけ描く。DOM 順は「後置 = 境界での描画上位」。
+    //      v0.5 互換の data-attr フック (main / frozen / scroll) は mm / fm / sm に据置き ----
+    // x 帯の初期インライン形状 (レンダ面はハンドル読み不可 — 初回マウント ref null): f は
+    // [0, W_F)、s は [W_F, extent − W_T)、t は right アンカーの幅 W_T (いずれも木 px —
+    // 導出: frozenWidthOf / trailingWidthOf の二値系 §2.2)。viewport クリップ時 (overlap) の
+    // vis への補正は書込パス heal (layersFor) が最初のフレームで行う
+    const xKinds: { k: AxisKind; style: { left?: number; right?: number; width?: number } }[] =
+        effectiveFrozenCols > 0 || effectiveTrailingCols > 0
+            ? [
+                  ...(effectiveFrozenCols > 0 ? [{ k: "f" as const, style: { left: 0, width: overlayFrozenWidth } }] : []),
+                  { k: "s" as const, style: { left: overlayFrozenWidth, right: overlayTrailingWidth } },
+                  ...(effectiveTrailingCols > 0 ? [{ k: "t" as const, style: { right: 0, width: overlayTrailingWidth } }] : []),
+              ]
+            : [{ k: "m" as const, style: { left: 0, right: 0 } }]
+    const yKinds: { k: AxisKind; style: { top?: number; bottom?: number; height?: number } }[] =
+        effectiveFrozenRows > 0 || effectiveTrailingRows > 0
+            ? [
+                  ...(effectiveFrozenRows > 0 ? [{ k: "f" as const, style: { top: 0, height: overlayFrozenHeight } }] : []),
+                  { k: "s" as const, style: { top: overlayFrozenHeight, bottom: overlayTrailingHeight } },
+                  ...(effectiveTrailingRows > 0 ? [{ k: "t" as const, style: { bottom: 0, height: overlayTrailingHeight } }] : []),
+              ]
+            : [{ k: "m" as const, style: { top: 0, bottom: 0 } }]
+    // 描画順位 (v0.9 §2.5 — ADR-22): 主 m0 < スクロール s1 < 末尾 t2 < 凍結 f3 (末尾は scroll の
+    // 上・凍結の下 — コンテナ overlap の leading 優先)。sort は安定 — 同順位は構築順 (f → s → t)
+    // で、v0.8 の 4 象限順 (ss < fs < sf < ff 等) と byte 一致する
+    const rank = (k: string): number => (k === "m" ? 0 : k === "s" ? 1 : k === "t" ? 2 : 3)
+    const quadrants = xKinds.flatMap((x) => yKinds.map((y) => ({ xk: x.k, yk: y.k, key: `${x.k}${y.k}`, style: { ...x.style, ...y.style } }))).sort((a, b) => rank(a.key[0]) + rank(a.key[1]) - (rank(b.key[0]) + rank(b.key[1])))
     // R = 0 の 3 象限は v0.5 の data-attr を温存 (E2E / 単体フック互換)。行凍結が入る象限は
     // 汎用 data-aqsp-overlay-quad のみ
     const legacyAttr = (key: string): Record<string, string> => (key === "mm" ? { "data-aqsp-overlay-main": "" } : key === "fm" ? { "data-aqsp-overlay-frozen": "" } : key === "sm" ? { "data-aqsp-overlay-scroll": "" } : {})
@@ -1397,10 +1866,24 @@ export const SelectionOverlay = ({
         // 1 本 §6.7.2-1)。下は v0.4 で追加: 横バー帯がグリッド内在化し、オーバーレイはセル
         // ビューポート (バー帯を除く) だけを覆う
         <div ref={overlayRef} className="aqsp-overlay" data-aqsp-overlay="" style={{ right: SCROLLBAR_WIDTH, bottom: SCROLLBAR_WIDTH }}>
-            {quadrants.map(({ key, style }) => {
+            {quadrants.map(({ xk, yk, key, style }) => {
                 const refs = quadRefs[key]
                 return (
                     <div key={key} className="aqsp-overlay-quad" data-aqsp-overlay-quad={key} {...legacyAttr(key)} style={style} ref={refs.container}>
+                        {/* 分割線セグメント (v0.9 §2.4 — ADR-24 挿入のみ): scroll 種象限の子に限定
+                            (構造強制 — 中央帯外に分割線画素が存在できず、overlap 縮退では象限クリップ
+                            ごと消える)。位置は activeFrame の直前 = 実行時挿入の fill / 帯の後 ⇒
+                            帯 < fill < 分割線 < activeFrame < … が構築だけで立つ。存在は実効件数
+                            (render)、可視は layersFor の等値抑制 display heal (帯 px)、静的幾何は
+                            生成時のみ — 以後この 4 ノードへの書込は display フリップだけ。
+                            静的幾何の導出 (§2.4 の表): x-leading は s 象限原点 = W_F に接する縦線
+                            (left: 0)、x-trailing は中央帯右端 = extent − W_T_vis (right: 0)、y は転置。
+                            太さは CSS 変数 (--aqsp-divider-width) — 分割線は常に SCROLL 帯の縁画素を
+                            覆い凍結帯セルを覆わない (Sheets 見え) */}
+                        {xk === "s" && effectiveFrozenCols > 0 ? <div className="aqsp-freeze-divider aqsp-freeze-divider-v" data-aqsp-freeze-divider="x-leading" style={{ left: 0, top: 0, bottom: 0, display: "none" }} ref={refs.dividerXLeading} /> : null}
+                        {xk === "s" && effectiveTrailingCols > 0 ? <div className="aqsp-freeze-divider aqsp-freeze-divider-v" data-aqsp-freeze-divider="x-trailing" style={{ right: 0, top: 0, bottom: 0, display: "none" }} ref={refs.dividerXTrailing} /> : null}
+                        {yk === "s" && effectiveFrozenRows > 0 ? <div className="aqsp-freeze-divider aqsp-freeze-divider-h" data-aqsp-freeze-divider="y-leading" style={{ top: 0, left: 0, right: 0, display: "none" }} ref={refs.dividerYLeading} /> : null}
+                        {yk === "s" && effectiveTrailingRows > 0 ? <div className="aqsp-freeze-divider aqsp-freeze-divider-h" data-aqsp-freeze-divider="y-trailing" style={{ bottom: 0, left: 0, right: 0, display: "none" }} ref={refs.dividerYTrailing} /> : null}
                         <div className="aqsp-active-frame" data-aqsp-active="" style={{ display: "none" }} ref={refs.active} />
                         <div className="aqsp-drag-rect" data-aqsp-drag-rect="" style={{ display: "none" }} ref={refs.dragRect} />
                         <div className="aqsp-clip-marquee" data-aqsp-clip-marquee="" style={{ display: "none" }} ref={refs.marquee} />