fix(issue-list): correct off-by-one in auto-compact height estimation

The last data row has no trailing separator (row separators are drawn
between data rows only), so the real table height is 3N+3, not 3N+4.
Adjust TABLE_LINE_OVERHEAD from 4 to 3.

Author: BYK

src/lib/formatters/human.ts

@@ -396,8 +396,15 @@ const TREND_MIN_TERM_WIDTH = 100;
 /** Lines per issue row in non-compact mode (2-line content + separator). */
 const LINES_PER_DEFAULT_ROW = 3;
 
-/** Fixed line overhead: top border, header, header separator, bottom border. */
-const TABLE_LINE_OVERHEAD = 4;
+/**
+ * Fixed line overhead for the rendered table.
+ *
+ * Top border (1) + header row (1) + header separator (1) + bottom border (1) = 4,
+ * minus 1 because the last data row has no trailing separator (row separators
+ * are drawn between data rows only: `r > 0 && r < allRows.length - 1`).
+ * Net overhead = 3.
+ */
+const TABLE_LINE_OVERHEAD = 3;
 
 /**
  * Determine whether auto-compact should activate based on terminal height.

test/lib/formatters/auto-compact.property.test.ts

@@ -14,8 +14,8 @@ import { DEFAULT_NUM_RUNS } from "../../model-based/helpers.js";
 /** Lines per non-compact row (2 content + 1 separator). */
 const LINES_PER_ROW = 3;
 
-/** Fixed overhead: top border + header + header separator + bottom border. */
-const OVERHEAD = 4;
+/** Fixed overhead: top border + header + header sep + bottom border − 1 (no trailing row sep). */
+const OVERHEAD = 3;
 
 /** Save original process.stdout.rows so we can restore it after each test. */
 let originalRows: number | undefined;