A +PdfSections row's first number is the page: a section that is not there, or is on another page, is a miss said, not a silent success

A look at `file.pdf:P:S` in +PdfSections went to section S whatever P
said, and one past the last section did nothing and answered ok. The
row's page is now held to: a section not in the outline, or on another
page than the row names, fails with which, as every other miss does.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

1 files changed, 37 insertions, 0 deletions

diff --git a/test/pdf.zig b/test/pdf.zig
index d1dd5bb0..d91f50a7 100644
--- a/test/pdf.zig
+++ b/test/pdf.zig
@@ -315,6 +315,43 @@ test "PDF dump fallback remains a byte-preserving file" {
     try std.testing.expectEqualStrings(" Keep Del", pane.tag.own.?);
 }
 
+test "a +PdfSections row's first number is the page: a section not there, or on another page, is a miss said" {
+    if (!pdf_enabled or platform == .web) return;
+    const gpa = std.testing.allocator;
+    var tmp = std.testing.tmpDir(.{});
+    defer tmp.cleanup();
+    const fixture = try pdf_impl.makeOutlineTestPdf(gpa);
+    defer gpa.free(fixture);
+    try tmp.dir.writeFile(std.testing.io, .{ .sub_path = "outline.pdf", .data = fixture });
+    var path_buf: [256]u8 = undefined;
+    const path = try std.fmt.bufPrint(&path_buf, ".zig-cache/tmp/{s}/outline.pdf", .{tmp.sub_path});
+    const p = try Pardes.init(gpa, .{ .file = path, .cols = 80, .rows = 28 });
+    defer p.deinit();
+    panes.Pdf.openSections(p, 0);
+    const out_id = p.panes[0].?.search_pane orelse return error.MissingPdfSectionsOutput;
+    const out = p.panes[out_id].?;
+    const row = std.mem.sliceTo(out.file.?.content, '\n');
+    const place = row[0 .. std.mem.indexOfScalar(u8, row, ' ') orelse row.len]; // outline.pdf:P:1
+    var fields = std.mem.splitScalar(u8, place, ':');
+    _ = fields.next();
+    const page = try std.fmt.parseInt(usize, fields.next().?, 10);
+    var line: [128]u8 = undefined;
+    // As listed: found, no miss.
+    p.look_missed = false;
+    pardes.look.lookAt(p, out_id, place);
+    try std.testing.expect(!p.look_missed);
+    // The section on another page than the row says, and one not there.
+    for ([_][]const u8{ try std.fmt.bufPrint(&line, "outline.pdf:{d}:1", .{page + 1}), "outline.pdf:1:999" }) |bad| {
+        var copy: [128]u8 = undefined;
+        @memcpy(copy[0..bad.len], bad);
+        p.look_missed = false;
+        const failures = p.fs.failures;
+        pardes.look.lookAt(p, out_id, copy[0..bad.len]);
+        try std.testing.expect(p.look_missed);
+        try std.testing.expect(p.fs.failures != failures);
+    }
+}
+
 test "PdfSections Look follows the exact owning PDF, not an equal path" {
     if (!pdf_enabled or platform == .web) return;
     const gpa = std.testing.allocator;