b8e8ca5a

test: cover redraw erasure and protected terminal state

a73x 2026-09-05 05:20

Commit message

test: cover redraw erasure and protected terminal state

src/engine/engine.zig

+test "erase and shorter redraw replace styled wide tails through live deltas" {
+    const alloc = std.testing.allocator;
+    var e = try Engine.init(alloc, .{ .cols = 36, .rows = 6 });
+    defer e.deinit();
+    // Plural, off-origin rows with style and wide spacers: clearing only the
+    // text, keeping an old tail, or missing a changed empty row all show up.
+    e.feed("\x1b[2;5H\x1b[1;31;44mLONG 漢字 WIDE TAIL\x1b[5;8HSECOND 漢字 TAIL\x1b[0m");
+    var tracker: delta.DeltaTracker = .{};
+    defer tracker.deinit(alloc);
+    try tracker.rebuild(alloc, e, 6, 36);
+    const g = try Grid.init(alloc, 36, 6);
+    defer g.deinit();
+    var replica = @import("term").replica.Replica.init(alloc, g);
+    const snapshot = try delta.buildSnapshot(alloc, e, .{ .seq = tracker.seq, .history_rows = 0, .cols = 36, .rows = 6, .epoch = 93 });
+    defer alloc.free(snapshot);
+    _ = try replica.apply(.snapshot, snapshot);
+    try std.testing.expect(g.row(1).cells[4].style.flags != 0);
+    try std.testing.expectEqual(proto.Wide.wide, g.row(4).cells[14].wide);
+    const actions = [_][]const u8{
+        "\x1b[2;5Hshort\x1b[K\x1b[5;8Htiny\x1b[K",
+        "\x1b[H\x1b[2J\x1b[3J",
+    };
+    for (actions, 0..) |action, step| {
+        const since = replica.last_seq;
+        e.feed(action);
+        try std.testing.expectEqual(delta.DeltaTracker.Update.advanced, try tracker.update(alloc, e));
+        const payload = try tracker.buildDeltaSince(alloc, e, since);
+        defer alloc.free(payload);
+        try std.testing.expectEqual(@import("term").replica.Replica.Applied.painted, try replica.apply(.delta, payload));
+        const dump = try g.dumpPlain(alloc);
+        defer alloc.free(dump);
+        if (step == 0) {
+            try std.testing.expectEqualStrings("\n    short\n\n\n       tiny", dump);
+        } else try std.testing.expectEqualStrings("", dump);
+        for (g.lines, 0..) |row, y| {
+            for (row.cells, 0..) |cell, x| {
+                const retained_text = step == 0 and ((y == 1 and x >= 4 and x < 9) or (y == 4 and x >= 7 and x < 11));
+                try std.testing.expect(cell.style.isDefault());
+                try std.testing.expectEqual(proto.Wide.narrow, cell.wide);
+                if (!retained_text) try std.testing.expect(cell.text_len == 0 or std.mem.eql(u8, row.textOf(cell), " "));
+            }
+        }
+    }
+}
+test "erase preserves ISO protected text until terminal reset and deltas mirror that state" {
+    const alloc = std.testing.allocator;
+    var e = try Engine.init(alloc, .{ .cols = 36, .rows = 6 });
+    defer e.deinit();
+    var tracker: delta.DeltaTracker = .{};
+    defer tracker.deinit(alloc);
+    try tracker.rebuild(alloc, e, 6, 36);
+    const g = try Grid.init(alloc, 36, 6);
+    defer g.deinit();
+    var replica = @import("term").replica.Replica.init(alloc, g);
+    const snapshot = try delta.buildSnapshot(alloc, e, .{ .seq = tracker.seq, .history_rows = 0, .cols = 36, .rows = 6, .epoch = 93 });
+    defer alloc.free(snapshot);
+    _ = try replica.apply(.snapshot, snapshot);
+    // Binary output can contain SPA (ESC V). EPA (ESC W) stops protecting
+    // new characters but does not remove protection from the existing cells.
+    // Their survival after ED/EL is authoritative terminal state, not stale
+    // replica or framebuffer content. RIS resets that state and clears them.
+    const actions = [_]struct { bytes: []const u8, expected: []const u8 }{
+        .{ .bytes = "\x1b[2;5H\x1bVPROTECTED-FIRST\x1bW\x1b[5;8H\x1bVPROTECTED-SECOND\x1bW", .expected = "\n    PROTECTED-FIRST\n\n\n       PROTECTED-SECOND" },
+        .{ .bytes = "\x1b[H\x1b[2J\x1b[3J", .expected = "\n    PROTECTED-FIRST\n\n\n       PROTECTED-SECOND" },
+        .{ .bytes = "\x1b[2;5Hnew\x1b[K\x1b[5;8Hx\x1b[K", .expected = "\n    newTECTED-FIRST\n\n\n       xROTECTED-SECOND" },
+        .{ .bytes = "\x1bc", .expected = "" },
+    };
+    for (actions) |action| {
+        const since = replica.last_seq;
+        e.feed(action.bytes);
+        try std.testing.expectEqual(delta.DeltaTracker.Update.advanced, try tracker.update(alloc, e));
+        const payload = try tracker.buildDeltaSince(alloc, e, since);
+        defer alloc.free(payload);
+        try std.testing.expectEqual(@import("term").replica.Replica.Applied.painted, try replica.apply(.delta, payload));
+        const dump = try g.dumpPlain(alloc);
+        defer alloc.free(dump);
+        try std.testing.expectEqualStrings(action.expected, dump);
+    }
+    for (g.lines) |row| {
+        for (row.cells) |cell| try std.testing.expect(cell.isBlank());
+    }
+}