fix: LineIndex境界条件の致命的バグを修正（v1.5.3リグレッション）

updateForInsert/updateForDeleteで `> pos` が `>= pos` に誤変更されていた。
行頭への挿入時にline_startsが不正シフトし、文字が表示されなくなっていた。

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: sanohiro

CHANGELOG.md

@@ -5,6 +5,20 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [1.5.4] - 2026-03-08
+
+### Fixed
+- **致命的バグ: 文字入力が表示されない**: LineIndex.updateForInsertの境界条件が誤っていた（`>= pos` → `> pos`に修正）
+  - v1.5.3で導入されたリグレッション（a28fae6）
+  - 行頭への挿入時にline_startsが不正にシフトされ、レンダリングが空になっていた
+- **LineIndex.updateForDelete**: 削除範囲の境界条件も同様に修正（`< end_pos` → `<= end_pos`）
+
+### Changed
+- LineIndexの線形探索をバイナリサーチ（upperBound）に最適化
+- 検索ハイライトの境界チェックをclamping方式から早期リターンに変更
+- ループ外でのtab_width取得によるマイクロ最適化
+- Query Replace時のerrdefer追加でエラー時のロールバックを改善
+
 ## [1.5.3] - 2026-01-10
 
 ### Fixed

build.zig.zon

@@ -1,6 +1,6 @@
 .{
     .name = .ze,
-    .version = "1.5.3",
+    .version = "1.5.4",
     .fingerprint = 0xa9d116540b6957d2,
     .paths = .{""},
 }

src/buffer.zig

@@ -589,6 +589,21 @@ pub const LineIndex = struct {
         }
     }
 
+    /// line_starts内でtargetより大きい最初のインデックスを返す（upper bound）
+    fn upperBound(self: *const LineIndex, target: usize) usize {
+        var left: usize = 0;
+        var right: usize = self.line_starts.items.len;
+        while (left < right) {
+            const mid = left + (right - left) / 2;
+            if (self.line_starts.items[mid] <= target) {
+                left = mid + 1;
+            } else {
+                right = mid;
+            }
+        }
+        return left;
+    }
+
     pub fn rebuild(self: *LineIndex, buffer: *const Buffer) !void {
         errdefer self.valid = false;
 
@@ -679,13 +694,13 @@ pub const LineIndex = struct {
     /// 挿入時のインクリメンタル更新（O(改行数 + 影響行数)）
     /// 再スキャンなしで行インデックスを更新する
     pub fn updateForInsert(self: *LineIndex, pos: usize, text: []const u8) !void {
-        if (!self.valid) return; // 無効なら何もしない
+        if (!self.valid or text.len == 0) return; // 無効または空挿入なら何もしない
 
-        // pos以降の全エントリにテキスト長を加算（行頭への挿入を含む）
-        for (self.line_starts.items) |*line_start| {
-            if (line_start.* >= pos) {
-                line_start.* += text.len;
-            }
+        // posより後のエントリのみシフト（行頭のline_start == posは動かさない）
+        const shift_start = self.upperBound(pos);
+        var idx = shift_start;
+        while (idx < self.line_starts.items.len) : (idx += 1) {
+            self.line_starts.items[idx] += text.len;
         }
 
         // 挿入テキスト内の改行位置を検出して追加
@@ -700,17 +715,8 @@ pub const LineIndex = struct {
         }
 
         if (new_lines.items.len > 0) {
-            // 挿入位置に対応するインデックスを見つける
-            var insert_idx: usize = self.line_starts.items.len;
-            for (self.line_starts.items, 0..) |line_start, idx| {
-                if (line_start > pos) {
-                    insert_idx = idx;
-                    break;
-                }
-            }
-
             // 新しい行をその位置に挿入
-            try self.line_starts.insertSlice(self.allocator, insert_idx, new_lines.items);
+            try self.line_starts.insertSlice(self.allocator, shift_start, new_lines.items);
         }
 
         self.valid_until_pos += text.len;
@@ -719,32 +725,30 @@ pub const LineIndex = struct {
     /// 削除時のインクリメンタル更新（O(削除行数 + 影響行数)）
     /// 再スキャンなしで行インデックスを更新する
     pub fn updateForDelete(self: *LineIndex, pos: usize, count: usize, deleted_newlines: usize) void {
-        if (!self.valid) return; // 無効なら何もしない
+        if (!self.valid or count == 0) return; // 無効なら何もしない
 
         const end_pos = pos + count;
 
         // 削除範囲内の行エントリを削除
         if (deleted_newlines > 0) {
-            var write_idx: usize = 0;
-            for (self.line_starts.items) |line_start| {
-                if (line_start < pos or line_start >= end_pos) {
-                    // 範囲外: 保持（end_pos以降は位置調整が必要）
-                    if (line_start >= end_pos) {
-                        self.line_starts.items[write_idx] = line_start - count;
-                    } else {
-                        self.line_starts.items[write_idx] = line_start;
-                    }
-                    write_idx += 1;
+            const remove_start = self.upperBound(pos);
+            var write_idx = remove_start;
+            var read_idx = remove_start;
+            while (read_idx < self.line_starts.items.len) : (read_idx += 1) {
+                const line_start = self.line_starts.items[read_idx];
+                if (line_start <= end_pos) {
+                    continue; // 削除範囲内 (pos < line_start <= end_pos): エントリを落とす
                 }
-                // 範囲内(pos <= line_start < end_pos)の行は削除（スキップ）
+                self.line_starts.items[write_idx] = line_start - count;
+                write_idx += 1;
             }
             self.line_starts.shrinkRetainingCapacity(write_idx);
         } else {
             // 改行削除なし: 位置の調整のみ
-            for (self.line_starts.items) |*line_start| {
-                if (line_start.* >= end_pos) {
-                    line_start.* -= count;
-                }
+            const shift_start = self.upperBound(end_pos);
+            var idx = shift_start;
+            while (idx < self.line_starts.items.len) : (idx += 1) {
+                self.line_starts.items[idx] -= count;
             }
         }
 
@@ -2355,18 +2359,18 @@ pub const Buffer = struct {
 
         var search_pos: usize = 0;
         const limit = if (max_count == 0) std.math.maxInt(usize) else max_count;
+        var found_current = false; // フラグで条件分岐を最小化
 
         while (result.total < limit) {
             const match = self.searchForward(pattern, search_pos) orelse break;
 
             result.total += 1;
 
             // カーソル位置がマッチ範囲内または直後にある場合、このマッチが「現在」
-            // Emacs風: 前方検索はマッチ終端にカーソルがあるので、match.start + match.len == cursor_pos
-            if (result.current_index == null) {
-                if (cursor_pos >= match.start and cursor_pos <= match.start + match.len) {
-                    result.current_index = result.total; // 1-based
-                }
+            // found_currentフラグで、見つかった後の不要なチェックをスキップ
+            if (!found_current and cursor_pos >= match.start and cursor_pos <= match.start + match.len) {
+                result.current_index = result.total; // 1-based
+                found_current = true;
             }
 
             // 次の検索位置（空マッチ防止のため最低1バイト進める）

src/editor.zig

@@ -3968,10 +3968,17 @@ pub const Editor = struct {
         defer self.allocator.free(old_text);
 
         // 置換を実行（削除してから挿入）- 実際のマッチ長を使用
+        // insert失敗時はdelete前の状態に戻す
         try buffer.delete(match_pos, match_len);
+        errdefer buffer.insertSlice(match_pos, old_text) catch {};
         if (replacement.len > 0) {
             try buffer.insertSlice(match_pos, replacement);
         }
+        // recordReplace失敗時は置換自体を取り消す
+        errdefer {
+            buffer.delete(match_pos, replacement.len) catch {};
+            buffer.insertSlice(match_pos, old_text) catch {};
+        }
 
         // 原子的な置換操作として記録（1回のundoで元に戻る）
         try self.recordReplace(match_pos, old_text, replacement, cursor_pos_before);

src/view.zig

@@ -1059,16 +1059,9 @@ pub const View = struct {
         // 最初のマッチを処理
         var match_start_vis = first_match_vis;
         var match_end_vis = first_match_vis + search_str.len;
-        // 境界チェック: match_start_visおよびmatch_end_visがitems範囲内か確認
+        // 境界チェック: マッピング配列の範囲外ならスキップ（clamping せず早期リターン）
         if (self.regex_visible_to_raw.items.len == 0) return line;
-        if (match_start_vis >= self.regex_visible_to_raw.items.len) {
-            match_start_vis = self.regex_visible_to_raw.items.len - 1;
-        }
-        if (match_end_vis >= self.regex_visible_to_raw.items.len) {
-            match_end_vis = self.regex_visible_to_raw.items.len - 1;
-        }
-        // match_start_vis > match_end_vis の場合はハイライトをスキップ
-        if (match_start_vis > match_end_vis) return line;
+        if (match_end_vis >= self.regex_visible_to_raw.items.len) return line;
         var match_start_raw = self.regex_visible_to_raw.items[match_start_vis];
         var match_end_raw = self.regex_visible_to_raw.items[match_end_vis];
         // match_start_raw > match_end_raw の場合もスキップ
@@ -2505,13 +2498,14 @@ pub const View = struct {
         var iter = PieceIterator.init(self.buffer);
         iter.seek(line_start);
 
+        const tab_width = self.getTabWidth(); // ループ外で一度だけ取得
         var line_width: usize = 0;
         while (true) {
             const cluster = iter.nextGraphemeCluster() catch break;
             if (cluster) |gc| {
                 if (gc.base == '\n') break;
                 const char_width = if (gc.base == '\t')
-                    nextTabStop(line_width, self.getTabWidth()) - line_width
+                    nextTabStop(line_width, tab_width) - line_width
                 else if (unicode.isAsciiControl(gc.base))
                     2 // 制御文字は ^X 形式で表示幅2
                 else
@@ -2546,6 +2540,7 @@ pub const View = struct {
         var iter = PieceIterator.init(self.buffer);
         iter.seek(line_start);
 
+        const tab_width = self.getTabWidth(); // ループ外で一度だけ取得
         var line_width: usize = 0;
 
         while (true) {
@@ -2559,7 +2554,7 @@ pub const View = struct {
                 }
 
                 const char_width = if (gc.base == '\t')
-                    nextTabStop(line_width, self.getTabWidth()) - line_width
+                    nextTabStop(line_width, tab_width) - line_width
                 else if (unicode.isAsciiControl(gc.base))
                     2 // 制御文字は ^X 形式で表示幅2
                 else

tests/buffer_test.zig

@@ -122,6 +122,45 @@ test "Enter key: Line counting" {
     try testing.expect(line_count >= 2);
 }
 
+test "LineIndex incremental insert updates starts" {
+    var buffer = try Buffer.init(testing.allocator);
+    defer buffer.deinit();
+
+    try buffer.insertSlice(0, "line1\nline2\nline3\n");
+    try buffer.line_index.rebuild(&buffer);
+    try testing.expect(buffer.line_index.valid);
+    try testing.expectEqualSlices(usize, &[_]usize{ 0, 6, 12, 18 }, buffer.line_index.line_starts.items);
+
+    try buffer.insertSlice(6, "foo\nbar\n");
+    try testing.expectEqualSlices(usize, &[_]usize{ 0, 6, 10, 14, 20, 26 }, buffer.line_index.line_starts.items);
+}
+
+test "LineIndex incremental delete removes newline entries" {
+    var buffer = try Buffer.init(testing.allocator);
+    defer buffer.deinit();
+
+    try buffer.insertSlice(0, "line1\nline2\nline3\n");
+    try buffer.line_index.rebuild(&buffer);
+    try testing.expectEqualSlices(usize, &[_]usize{ 0, 6, 12, 18 }, buffer.line_index.line_starts.items);
+
+    // 削除対象: "line2\n" （位置6から6バイト）
+    try buffer.delete(6, 6);
+    try testing.expectEqualSlices(usize, &[_]usize{ 0, 6, 12 }, buffer.line_index.line_starts.items);
+}
+
+test "LineIndex delete without newline shifts positions" {
+    var buffer = try Buffer.init(testing.allocator);
+    defer buffer.deinit();
+
+    try buffer.insertSlice(0, "abcde\nxyz\n");
+    try buffer.line_index.rebuild(&buffer);
+    try testing.expectEqualSlices(usize, &[_]usize{ 0, 6, 10 }, buffer.line_index.line_starts.items);
+
+    // 改行を含まない削除: "bc" （位置1から2バイト）
+    try buffer.delete(1, 2);
+    try testing.expectEqualSlices(usize, &[_]usize{ 0, 4, 8 }, buffer.line_index.line_starts.items);
+}
+
 // buffer.zigから移動したテスト
 test "empty buffer initialization" {
     var buffer = try Buffer.init(testing.allocator);