@promptctl/rich-js 0.7.0 → 0.9.0

package/dist/core/box.js

@@ -1,534 +1,392 @@
 /**
  * Box-drawing character sets for borders and table grids.
+ *
+ * A style is declared as an 8x4 character grid — one line per row a table can
+ * draw, one column per position within that row:
+ *
+ *     ┌─┬┐   top border
+ *     │ ││   header content
+ *     ├─┼┤   header separator
+ *     │ ││   body content
+ *     ├─┼┤   row separator
+ *     ├─┼┤   footer separator
+ *     │ ││   footer content
+ *     └─┴┘   bottom border
+ *
+ * [LAW:one-source-of-truth] The grid is the shape the reference implementation
+ * (Python Rich's `box.py`) publishes these glyphs in, so a constant below can
+ * be diffed against it character for character. The eighteen named fields this
+ * replaced were a second, differently-shaped map of the same territory, and it
+ * had drifted: seven of the nineteen constants carried wrong glyphs, and the
+ * field named `mid` held the reference's line 3 while the reference's `mid_*`
+ * is line 4 — so reading the reference name-for-name swapped a separator for a
+ * content row. Named row fields are gone for that reason; a row is reached by
+ * what it is (`getRow`, `getContentChars`), never by a name that can be
+ * mismatched to a line.
  */
+import { cellLen } from "./cells.js";
 import { Segment } from "./segment.js";
+const GRID_ROWS = 8;
+const GRID_COLUMNS = 4;
+/**
+ * A grid a terminal without unicode support can already draw as written.
+ *
+ * [LAW:one-source-of-truth] Derived from the grid rather than declared per
+ * constant the way the reference's `ascii=True` is. A `Box` is wholly its grid,
+ * so the grid already answers this; a second, hand-written answer could
+ * disagree with it. It also reaches boxes no constant can speak for —
+ * `safeSubstitute` builds a fresh `Box` from an edited grid, and a flag carried
+ * on the shipped constants would say nothing about that one.
+ */
+const ASCII_GRID = /^[\x00-\x7F]*$/;
+/** Corners that a legacy Windows terminal cannot draw, and their square kin. */
+const SAFE_SUBSTITUTIONS = {
+    "╭": "┌",
+    "╮": "┐",
+    "╰": "└",
+    "╯": "┘",
+};
+const edgeOf = (row) => ({
+    left: row[0],
+    horizontal: row[1],
+    cross: row[2],
+    right: row[3],
+});
+const contentOf = (row) => ({
+    left: row[0],
+    vertical: row[2],
+    right: row[3],
+});
 // [LAW:one-type-per-behavior] Box is a single type for all border styles — instances differ by data
 export class Box {
-    topLeft;
     top;
-    topDivider;
-    topRight;
-    headLeft;
-    headVertical;
-    headRight;
-    midLeft;
-    mid;
-    midVertical;
-    midRight;
-    bottomLeft;
     bottom;
-    bottomDivider;
-    bottomRight;
-    left;
-    right;
-    vertical;
-    constructor(chars) {
-        this.topLeft = chars.topLeft;
-        this.top = chars.top;
-        this.topDivider = chars.topDivider;
-        this.topRight = chars.topRight;
-        this.headLeft = chars.headLeft;
-        this.headVertical = chars.headVertical;
-        this.headRight = chars.headRight;
-        this.midLeft = chars.midLeft;
-        this.mid = chars.mid;
-        this.midVertical = chars.midVertical;
-        this.midRight = chars.midRight;
-        this.bottomLeft = chars.bottomLeft;
-        this.bottom = chars.bottom;
-        this.bottomDivider = chars.bottomDivider;
-        this.bottomRight = chars.bottomRight;
-        this.left = chars.left;
-        this.right = chars.right;
-        this.vertical = chars.vertical;
+    grid;
+    ascii;
+    headContent;
+    headSeparator;
+    bodyContent;
+    rowSeparator;
+    footSeparator;
+    footContent;
+    /**
+     * [LAW:parse-dont-validate] The one crossing between a grid string and box
+     * glyphs. A `Box` cannot exist without eight rows of four characters, so no
+     * consumer below ever re-checks the shape of the data it reads.
+     */
+    constructor(grid) {
+        const lines = grid.split("\n");
+        // A row is four characters because `getEdge` indexes the four positions,
+        // and four cells because that is what the terminal draws — a single astral
+        // glyph satisfies the first and breaks every frame the box appears in.
+        // [LAW:single-enforcer] `cellLen` is the cell-width authority.
+        const malformed = lines.length !== GRID_ROWS
+            || lines.some((line) => Array.from(line).length !== GRID_COLUMNS)
+            || lines.some((line) => cellLen(line) !== GRID_COLUMNS);
+        if (malformed) {
+            throw new Error(`A box grid is ${GRID_ROWS} lines of ${GRID_COLUMNS} single-cell `
+                + `characters; got ${lines.length} line(s) measuring `
+                + lines.map((line) => `${Array.from(line).length}/${cellLen(line)}`).join(", ")
+                + " characters/cells");
+        }
+        const rows = lines.map((line) => Array.from(line));
+        this.grid = grid;
+        this.ascii = ASCII_GRID.test(grid);
+        this.top = edgeOf(rows[0]);
+        this.headContent = contentOf(rows[1]);
+        this.headSeparator = edgeOf(rows[2]);
+        this.bodyContent = contentOf(rows[3]);
+        this.rowSeparator = edgeOf(rows[4]);
+        this.footSeparator = edgeOf(rows[5]);
+        this.footContent = contentOf(rows[6]);
+        this.bottom = edgeOf(rows[7]);
     }
     /**
      * Renders the top border row for given column widths.
      */
     getTop(widths, style, edge = true) {
-        const segments = [];
-        if (edge)
-            segments.push(new Segment(this.topLeft, style));
-        for (let i = 0; i < widths.length; i++) {
-            if (i > 0)
-                segments.push(new Segment(this.topDivider, style));
-            segments.push(new Segment(this.top.repeat(widths[i]), style));
-        }
-        if (edge)
-            segments.push(new Segment(this.topRight, style));
-        segments.push(Segment.line());
-        return segments;
+        return this.getEdge(widths, this.top, style, edge);
     }
     /**
-     * Renders a separator row.
+     * Renders the separator drawn *above* a row at `level` — the head separator
+     * under the header, the row separator between body rows, the foot separator
+     * above the footer.
      */
     getRow(widths, level, style, edge = true) {
-        const [left, horizontal, cross, right] = this.getRowChars(level);
-        const segments = [];
-        if (edge)
-            segments.push(new Segment(left, style));
-        for (let i = 0; i < widths.length; i++) {
-            if (i > 0)
-                segments.push(new Segment(cross, style));
-            segments.push(new Segment(horizontal.repeat(widths[i]), style));
+        return this.getEdge(widths, this.getRowChars(level), style, edge);
+    }
+    /**
+     * The verticals that frame a content row at `level` — the counterpart to
+     * `getRow`, which draws the separator between two such rows.
+     */
+    getContentChars(level) {
+        switch (level) {
+            case "head":
+                return this.headContent;
+            // `mid` is a spacer between body rows, so it is framed as one.
+            case "row":
+            case "mid":
+                return this.bodyContent;
+            case "foot":
+                return this.footContent;
         }
-        if (edge)
-            segments.push(new Segment(right, style));
-        segments.push(Segment.line());
-        return segments;
     }
     /**
      * Renders the bottom border row.
      */
     getBottom(widths, style, edge = true) {
-        const segments = [];
-        if (edge)
-            segments.push(new Segment(this.bottomLeft, style));
-        for (let i = 0; i < widths.length; i++) {
-            if (i > 0)
-                segments.push(new Segment(this.bottomDivider, style));
-            segments.push(new Segment(this.bottom.repeat(widths[i]), style));
-        }
-        if (edge)
-            segments.push(new Segment(this.bottomRight, style));
-        segments.push(Segment.line());
-        return segments;
+        return this.getEdge(widths, this.bottom, style, edge);
     }
     /**
-     * Returns a new Box with characters substituted for ASCII or safe alternatives.
-     * asciiOnly: all characters become ASCII (+, -, |)
-     * safe: problematic characters (e.g. rounded corners) replaced with square equivalents
+     * The box to draw with when the platform cannot render this one as written.
+     *
+     * `asciiOnly` gives up a box that spends non-ASCII glyphs for `ASCII`, and
+     * leaves the four already-ASCII styles as they are — a caller that chose
+     * MARKDOWN or ASCII_DOUBLE_HEAD asked for that frame and it is already
+     * drawable, so answering with `ASCII` would trade a frame the terminal
+     * supports for a different one it equally supports. `safe` squares off the
+     * rounded corners a legacy Windows terminal draws as blanks.
      */
     substitute(options = {}) {
-        if (options.asciiOnly)
+        if (options.asciiOnly && !this.ascii)
             return ASCII;
         if (options.safe)
             return this.safeSubstitute();
         return this;
     }
     safeSubstitute() {
-        // Replace rounded corners and other characters that may not render
-        // on Windows legacy terminal with safe square equivalents
-        const replacements = {
-            "╭": "┌",
-            "╮": "┐",
-            "╰": "└",
-            "╯": "┘",
-        };
-        const replace = (ch) => replacements[ch] ?? ch;
-        return new Box({
-            topLeft: replace(this.topLeft),
-            top: replace(this.top),
-            topDivider: replace(this.topDivider),
-            topRight: replace(this.topRight),
-            headLeft: replace(this.headLeft),
-            headVertical: replace(this.headVertical),
-            headRight: replace(this.headRight),
-            midLeft: replace(this.midLeft),
-            mid: replace(this.mid),
-            midVertical: replace(this.midVertical),
-            midRight: replace(this.midRight),
-            bottomLeft: replace(this.bottomLeft),
-            bottom: replace(this.bottom),
-            bottomDivider: replace(this.bottomDivider),
-            bottomRight: replace(this.bottomRight),
-            left: replace(this.left),
-            right: replace(this.right),
-            vertical: replace(this.vertical),
-        });
+        return new Box(Array.from(this.grid, (char) => SAFE_SUBSTITUTIONS[char] ?? char).join(""));
+    }
+    /**
+     * The nearest box that spends no special glyphs on a header — what a table
+     * with `showHeader: false` draws with. A box whose head row already matches
+     * its body is its own answer, so this is the identity for fourteen of the
+     * nineteen shipped styles.
+     *
+     * It stands beside `substitute` rather than joining it because the two ask
+     * unrelated questions: `substitute` asks what the *platform* can draw, this
+     * asks what the *table* contains. Nothing correlates them, so a caller that
+     * wants both wants both, and a shared options bag would only multiply the
+     * combinations either one has to reason about. [LAW:no-mode-explosion]
+     *
+     * [LAW:types-are-the-program] The relation is keyed on the grid, not on
+     * object identity as the reference's dict is. A `Box` is wholly determined by
+     * its grid — that is what the constructor takes and all eight rows derive
+     * from — so two boxes with one grid must answer this alike. Identity keying
+     * would say otherwise the moment a box arrived by any route but the shipped
+     * constant, and `safeSubstitute` above builds exactly such a box: a fresh
+     * instance carrying an unchanged grid.
+     */
+    plainHeaded() {
+        // `private` is scoped to the class, so the pairs below can be read by grid
+        // without exposing one.
+        return PLAIN_HEADED_SUBSTITUTIONS.find(([headed]) => headed.grid === this.grid)?.[1]
+            ?? this;
+    }
+    /**
+     * [LAW:dataflow-not-control-flow] Every full-width rule the box can draw is
+     * this one loop; which rule it is arrives as four characters, not a branch.
+     */
+    getEdge(widths, chars, style, edge) {
+        const segments = [];
+        if (edge)
+            segments.push(new Segment(chars.left, style));
+        for (let i = 0; i < widths.length; i++) {
+            if (i > 0)
+                segments.push(new Segment(chars.cross, style));
+            segments.push(new Segment(chars.horizontal.repeat(widths[i]), style));
+        }
+        if (edge)
+            segments.push(new Segment(chars.right, style));
+        segments.push(Segment.line());
+        return segments;
     }
     getRowChars(level) {
         switch (level) {
             case "head":
-                return [this.headLeft, this.mid, this.headVertical, this.headRight];
+                return this.headSeparator;
             case "row":
-                return [this.midLeft, this.mid, this.midVertical, this.midRight];
-            case "mid":
-                return [this.midLeft, this.mid, this.midVertical, this.midRight];
+                return this.rowSeparator;
             case "foot":
-                return [this.midLeft, this.mid, this.midVertical, this.midRight];
+                return this.footSeparator;
+            // The reference's spacer row, not a rule: blank fill between the body
+            // row's verticals. Nothing draws it yet — rich-table-jx1 has the details.
+            case "mid":
+                return {
+                    left: this.bodyContent.left,
+                    horizontal: " ",
+                    cross: this.bodyContent.vertical,
+                    right: this.bodyContent.right,
+                };
         }
     }
 }
 // --- Pre-built box styles ---
-export const ASCII = new Box({
-    topLeft: "+",
-    top: "-",
-    topDivider: "+",
-    topRight: "+",
-    headLeft: "|",
-    headVertical: "|",
-    headRight: "|",
-    midLeft: "|",
-    mid: "-",
-    midVertical: "+",
-    midRight: "|",
-    bottomLeft: "+",
-    bottom: "-",
-    bottomDivider: "+",
-    bottomRight: "+",
-    left: "|",
-    right: "|",
-    vertical: "|",
-});
-export const ASCII2 = new Box({
-    topLeft: "+",
-    top: "-",
-    topDivider: "+",
-    topRight: "+",
-    headLeft: "|",
-    headVertical: "|",
-    headRight: "|",
-    midLeft: "+",
-    mid: "-",
-    midVertical: "+",
-    midRight: "+",
-    bottomLeft: "+",
-    bottom: "-",
-    bottomDivider: "+",
-    bottomRight: "+",
-    left: "|",
-    right: "|",
-    vertical: "|",
-});
-export const ASCII_DOUBLE_HEAD = new Box({
-    topLeft: "+",
-    top: "-",
-    topDivider: "+",
-    topRight: "+",
-    headLeft: "|",
-    headVertical: "|",
-    headRight: "|",
-    midLeft: "+",
-    mid: "=",
-    midVertical: "+",
-    midRight: "+",
-    bottomLeft: "+",
-    bottom: "-",
-    bottomDivider: "+",
-    bottomRight: "+",
-    left: "|",
-    right: "|",
-    vertical: "|",
-});
-export const SQUARE = new Box({
-    topLeft: "┌",
-    top: "─",
-    topDivider: "┬",
-    topRight: "┐",
-    headLeft: "│",
-    headVertical: "│",
-    headRight: "│",
-    midLeft: "├",
-    mid: "─",
-    midVertical: "┼",
-    midRight: "┤",
-    bottomLeft: "└",
-    bottom: "─",
-    bottomDivider: "┴",
-    bottomRight: "┘",
-    left: "│",
-    right: "│",
-    vertical: "│",
-});
-export const SQUARE_DOUBLE_HEAD = new Box({
-    topLeft: "┌",
-    top: "─",
-    topDivider: "┬",
-    topRight: "┐",
-    headLeft: "│",
-    headVertical: "│",
-    headRight: "│",
-    midLeft: "╞",
-    mid: "═",
-    midVertical: "╪",
-    midRight: "╡",
-    bottomLeft: "└",
-    bottom: "─",
-    bottomDivider: "┴",
-    bottomRight: "┘",
-    left: "│",
-    right: "│",
-    vertical: "│",
-});
-export const MINIMAL = new Box({
-    topLeft: " ",
-    top: " ",
-    topDivider: " ",
-    topRight: " ",
-    headLeft: " ",
-    headVertical: " ",
-    headRight: " ",
-    midLeft: " ",
-    mid: "─",
-    midVertical: "─",
-    midRight: " ",
-    bottomLeft: " ",
-    bottom: " ",
-    bottomDivider: " ",
-    bottomRight: " ",
-    left: " ",
-    right: " ",
-    vertical: " ",
-});
-export const MINIMAL_HEAVY_HEAD = new Box({
-    topLeft: " ",
-    top: " ",
-    topDivider: " ",
-    topRight: " ",
-    headLeft: " ",
-    headVertical: " ",
-    headRight: " ",
-    midLeft: " ",
-    mid: "━",
-    midVertical: "━",
-    midRight: " ",
-    bottomLeft: " ",
-    bottom: " ",
-    bottomDivider: " ",
-    bottomRight: " ",
-    left: " ",
-    right: " ",
-    vertical: " ",
-});
-export const MINIMAL_DOUBLE_HEAD = new Box({
-    topLeft: " ",
-    top: " ",
-    topDivider: " ",
-    topRight: " ",
-    headLeft: " ",
-    headVertical: " ",
-    headRight: " ",
-    midLeft: " ",
-    mid: "═",
-    midVertical: "═",
-    midRight: " ",
-    bottomLeft: " ",
-    bottom: " ",
-    bottomDivider: " ",
-    bottomRight: " ",
-    left: " ",
-    right: " ",
-    vertical: " ",
-});
-export const SIMPLE = new Box({
-    topLeft: " ",
-    top: " ",
-    topDivider: " ",
-    topRight: " ",
-    headLeft: " ",
-    headVertical: " ",
-    headRight: " ",
-    midLeft: " ",
-    mid: "─",
-    midVertical: " ",
-    midRight: " ",
-    bottomLeft: " ",
-    bottom: "─",
-    bottomDivider: " ",
-    bottomRight: " ",
-    left: " ",
-    right: " ",
-    vertical: " ",
-});
-export const SIMPLE_HEAD = new Box({
-    topLeft: " ",
-    top: " ",
-    topDivider: " ",
-    topRight: " ",
-    headLeft: " ",
-    headVertical: " ",
-    headRight: " ",
-    midLeft: " ",
-    mid: "─",
-    midVertical: " ",
-    midRight: " ",
-    bottomLeft: " ",
-    bottom: " ",
-    bottomDivider: " ",
-    bottomRight: " ",
-    left: " ",
-    right: " ",
-    vertical: " ",
-});
-export const SIMPLE_HEAVY = new Box({
-    topLeft: " ",
-    top: " ",
-    topDivider: " ",
-    topRight: " ",
-    headLeft: " ",
-    headVertical: " ",
-    headRight: " ",
-    midLeft: " ",
-    mid: "━",
-    midVertical: " ",
-    midRight: " ",
-    bottomLeft: " ",
-    bottom: "━",
-    bottomDivider: " ",
-    bottomRight: " ",
-    left: " ",
-    right: " ",
-    vertical: " ",
-});
-export const HORIZONTALS = new Box({
-    topLeft: " ",
-    top: "─",
-    topDivider: "─",
-    topRight: " ",
-    headLeft: " ",
-    headVertical: " ",
-    headRight: " ",
-    midLeft: " ",
-    mid: "─",
-    midVertical: "─",
-    midRight: " ",
-    bottomLeft: " ",
-    bottom: "─",
-    bottomDivider: "─",
-    bottomRight: " ",
-    left: " ",
-    right: " ",
-    vertical: " ",
-});
-export const ROUNDED = new Box({
-    topLeft: "╭",
-    top: "─",
-    topDivider: "┬",
-    topRight: "╮",
-    headLeft: "│",
-    headVertical: "│",
-    headRight: "│",
-    midLeft: "├",
-    mid: "─",
-    midVertical: "┼",
-    midRight: "┤",
-    bottomLeft: "╰",
-    bottom: "─",
-    bottomDivider: "┴",
-    bottomRight: "╯",
-    left: "│",
-    right: "│",
-    vertical: "│",
-});
-export const HEAVY = new Box({
-    topLeft: "┏",
-    top: "━",
-    topDivider: "┳",
-    topRight: "┓",
-    headLeft: "┃",
-    headVertical: "┃",
-    headRight: "┃",
-    midLeft: "┣",
-    mid: "━",
-    midVertical: "╋",
-    midRight: "┫",
-    bottomLeft: "┗",
-    bottom: "━",
-    bottomDivider: "┻",
-    bottomRight: "┛",
-    left: "┃",
-    right: "┃",
-    vertical: "┃",
-});
-export const HEAVY_EDGE = new Box({
-    topLeft: "┏",
-    top: "━",
-    topDivider: "┯",
-    topRight: "┓",
-    headLeft: "┃",
-    headVertical: "│",
-    headRight: "┃",
-    midLeft: "┠",
-    mid: "─",
-    midVertical: "┼",
-    midRight: "┨",
-    bottomLeft: "┗",
-    bottom: "━",
-    bottomDivider: "┷",
-    bottomRight: "┛",
-    left: "┃",
-    right: "┃",
-    vertical: "│",
-});
-export const HEAVY_HEAD = new Box({
-    topLeft: "┏",
-    top: "━",
-    topDivider: "┳",
-    topRight: "┓",
-    headLeft: "┃",
-    headVertical: "┃",
-    headRight: "┃",
-    midLeft: "┡",
-    mid: "━",
-    midVertical: "╇",
-    midRight: "┩",
-    bottomLeft: "└",
-    bottom: "─",
-    bottomDivider: "┴",
-    bottomRight: "┘",
-    left: "│",
-    right: "│",
-    vertical: "│",
-});
-export const DOUBLE = new Box({
-    topLeft: "╔",
-    top: "═",
-    topDivider: "╦",
-    topRight: "╗",
-    headLeft: "║",
-    headVertical: "║",
-    headRight: "║",
-    midLeft: "╠",
-    mid: "═",
-    midVertical: "╬",
-    midRight: "╣",
-    bottomLeft: "╚",
-    bottom: "═",
-    bottomDivider: "╩",
-    bottomRight: "╝",
-    left: "║",
-    right: "║",
-    vertical: "║",
-});
-export const DOUBLE_EDGE = new Box({
-    topLeft: "╔",
-    top: "═",
-    topDivider: "╤",
-    topRight: "╗",
-    headLeft: "║",
-    headVertical: "│",
-    headRight: "║",
-    midLeft: "╟",
-    mid: "─",
-    midVertical: "┼",
-    midRight: "╢",
-    bottomLeft: "╚",
-    bottom: "═",
-    bottomDivider: "╧",
-    bottomRight: "╝",
-    left: "║",
-    right: "║",
-    vertical: "│",
-});
-export const MARKDOWN = new Box({
-    topLeft: " ",
-    top: " ",
-    topDivider: " ",
-    topRight: " ",
-    headLeft: "|",
-    headVertical: "|",
-    headRight: "|",
-    midLeft: "|",
-    mid: "-",
-    midVertical: "|",
-    midRight: "|",
-    bottomLeft: " ",
-    bottom: " ",
-    bottomDivider: " ",
-    bottomRight: " ",
-    left: "|",
-    right: "|",
-    vertical: "|",
-});
+// Transcribed from Python Rich's `rich/box.py` and verified grid-for-grid
+// against it; see this module's header for the shape and why it is this shape.
+export const ASCII = new Box("+--+\n" +
+    "| ||\n" +
+    "|-+|\n" +
+    "| ||\n" +
+    "|-+|\n" +
+    "|-+|\n" +
+    "| ||\n" +
+    "+--+");
+export const ASCII2 = new Box("+-++\n" +
+    "| ||\n" +
+    "+-++\n" +
+    "| ||\n" +
+    "+-++\n" +
+    "+-++\n" +
+    "| ||\n" +
+    "+-++");
+export const ASCII_DOUBLE_HEAD = new Box("+-++\n" +
+    "| ||\n" +
+    "+=++\n" +
+    "| ||\n" +
+    "+-++\n" +
+    "+-++\n" +
+    "| ||\n" +
+    "+-++");
+export const SQUARE = new Box("┌─┬┐\n" +
+    "│ ││\n" +
+    "├─┼┤\n" +
+    "│ ││\n" +
+    "├─┼┤\n" +
+    "├─┼┤\n" +
+    "│ ││\n" +
+    "└─┴┘");
+export const SQUARE_DOUBLE_HEAD = new Box("┌─┬┐\n" +
+    "│ ││\n" +
+    "╞═╪╡\n" +
+    "│ ││\n" +
+    "├─┼┤\n" +
+    "├─┼┤\n" +
+    "│ ││\n" +
+    "└─┴┘");
+export const MINIMAL = new Box("  ╷ \n" +
+    "  │ \n" +
+    "╶─┼╴\n" +
+    "  │ \n" +
+    "╶─┼╴\n" +
+    "╶─┼╴\n" +
+    "  │ \n" +
+    "  ╵ ");
+export const MINIMAL_HEAVY_HEAD = new Box("  ╷ \n" +
+    "  │ \n" +
+    "╺━┿╸\n" +
+    "  │ \n" +
+    "╶─┼╴\n" +
+    "╶─┼╴\n" +
+    "  │ \n" +
+    "  ╵ ");
+export const MINIMAL_DOUBLE_HEAD = new Box("  ╷ \n" +
+    "  │ \n" +
+    " ═╪ \n" +
+    "  │ \n" +
+    " ─┼ \n" +
+    " ─┼ \n" +
+    "  │ \n" +
+    "  ╵ ");
+export const SIMPLE = new Box("    \n" +
+    "    \n" +
+    " ── \n" +
+    "    \n" +
+    "    \n" +
+    " ── \n" +
+    "    \n" +
+    "    ");
+export const SIMPLE_HEAD = new Box("    \n" +
+    "    \n" +
+    " ── \n" +
+    "    \n" +
+    "    \n" +
+    "    \n" +
+    "    \n" +
+    "    ");
+export const SIMPLE_HEAVY = new Box("    \n" +
+    "    \n" +
+    " ━━ \n" +
+    "    \n" +
+    "    \n" +
+    " ━━ \n" +
+    "    \n" +
+    "    ");
+export const HORIZONTALS = new Box(" ── \n" +
+    "    \n" +
+    " ── \n" +
+    "    \n" +
+    " ── \n" +
+    " ── \n" +
+    "    \n" +
+    " ── ");
+export const ROUNDED = new Box("╭─┬╮\n" +
+    "│ ││\n" +
+    "├─┼┤\n" +
+    "│ ││\n" +
+    "├─┼┤\n" +
+    "├─┼┤\n" +
+    "│ ││\n" +
+    "╰─┴╯");
+export const HEAVY = new Box("┏━┳┓\n" +
+    "┃ ┃┃\n" +
+    "┣━╋┫\n" +
+    "┃ ┃┃\n" +
+    "┣━╋┫\n" +
+    "┣━╋┫\n" +
+    "┃ ┃┃\n" +
+    "┗━┻┛");
+export const HEAVY_EDGE = new Box("┏━┯┓\n" +
+    "┃ │┃\n" +
+    "┠─┼┨\n" +
+    "┃ │┃\n" +
+    "┠─┼┨\n" +
+    "┠─┼┨\n" +
+    "┃ │┃\n" +
+    "┗━┷┛");
+export const HEAVY_HEAD = new Box("┏━┳┓\n" +
+    "┃ ┃┃\n" +
+    "┡━╇┩\n" +
+    "│ ││\n" +
+    "├─┼┤\n" +
+    "├─┼┤\n" +
+    "│ ││\n" +
+    "└─┴┘");
+export const DOUBLE = new Box("╔═╦╗\n" +
+    "║ ║║\n" +
+    "╠═╬╣\n" +
+    "║ ║║\n" +
+    "╠═╬╣\n" +
+    "╠═╬╣\n" +
+    "║ ║║\n" +
+    "╚═╩╝");
+export const DOUBLE_EDGE = new Box("╔═╤╗\n" +
+    "║ │║\n" +
+    "╟─┼╢\n" +
+    "║ │║\n" +
+    "╟─┼╢\n" +
+    "╟─┼╢\n" +
+    "║ │║\n" +
+    "╚═╧╝");
+export const MARKDOWN = new Box("    \n" +
+    "| ||\n" +
+    "|-||\n" +
+    "| ||\n" +
+    "|-||\n" +
+    "|-||\n" +
+    "| ||\n" +
+    "    ");
+/**
+ * Boxes whose header glyphs differ from their body's, paired with the kin that
+ * draws the same frame without them. Transcribed from the reference's
+ * `PLAIN_HEADED_SUBSTITUTIONS`; the fourteen styles absent here already draw a
+ * plain head, and `plainHeaded` returns them unchanged.
+ */
+const PLAIN_HEADED_SUBSTITUTIONS = [
+    [HEAVY_HEAD, SQUARE],
+    [SQUARE_DOUBLE_HEAD, SQUARE],
+    [MINIMAL_HEAVY_HEAD, MINIMAL],
+    [MINIMAL_DOUBLE_HEAD, MINIMAL],
+    [ASCII_DOUBLE_HEAD, ASCII2],
+];
 //# sourceMappingURL=box.js.map