rich_3944

{"status": "ok", "stdout": "rich/table.py:48:        safe_box (Optional[bool], optional): Disable box characters that don't display on windows legacy terminal with *raster* fonts. Defaults to True.\nrich/table.py:163:        safe_box (Optional[bool], optional): Disable box characters that don't display on windows legacy terminal with *raster* fonts. Defaults to True.\nrich/box.py:404:# Map Boxes that don't render with raster fonts on to equivalent that do\nrich/panel.py:30:        safe_box (bool, optional): Disable box characters that don't display on windows legacy terminal with *raster* fonts. Defaults to True.\n", "stderr": "", "exit_code": 0}

{"status": "error", "error_type": "FileReadError", "error_message": "'>' not supported between instances of 'int' and 'str'"}

{"status": "ok", "filepath": "rich/box.py", "content": "from typing import TYPE_CHECKING, Iterable, List, Literal\n\n\nfrom ._loop import loop_last\n\nif TYPE_CHECKING:\n    from rich.console import ConsoleOptions\n\n\nclass Box:\n    \"\"\"Defines characters to render boxes.\n\n    \u250c\u2500\u252c\u2510 top\n    \u2502 \u2502\u2502 head\n    \u251c\u2500\u253c\u2524 head_row\n    \u2502 \u2502\u2502 mid\n    \u251c\u2500\u253c\u2524 row\n    \u251c\u2500\u253c\u2524 foot_row\n    \u2502 \u2502\u2502 foot\n    \u2514\u2500\u2534\u2518 bottom\n\n    Args:\n        box (str): Characters making up box.\n        ascii (bool, optional): True if this box uses ascii characters only. Default is False.\n    \"\"\"\n\n    def __init__(self, box: str, *, ascii: bool = False) -> None:\n        self._box = box\n        self.ascii = ascii\n        line1, line2, line3, line4, line5, line6, line7, line8 = box.splitlines()\n        # top\n        self.top_left, self.top, self.top_divider, self.top_right = iter(line1)\n        # head\n        self.head_left, _, self.head_vertical, self.head_right = iter(line2)\n        # head_row\n        (\n            self.head_row_left,\n            self.head_row_horizontal,\n            self.head_row_cross,\n            self.head_row_right,\n        ) = iter(line3)\n\n        # mid\n        self.mid_left, _, self.mid_vertical, self.mid_right = iter(line4)\n        # row\n        self.row_left, self.row_horizontal, self.row_cross, self.row_right = iter(line5)\n        # foot_row\n        (\n            self.foot_row_left,\n            self.foot_row_horizontal,\n            self.foot_row_cross,\n            self.foot_row_right,\n        ) = iter(line6)\n        # foot\n        self.foot_left, _, self.foot_vertical, self.foot_right = iter(line7)\n        # bottom\n        self.bottom_left, self.bottom, self.bottom_divider, self.bottom_right = iter(\n            line8\n        )\n\n    def __repr__(self) -> str:\n        return \"Box(...)\"\n\n   

{"status": "ok", "stdout": "80:            box = LEGACY_WINDOWS_SUBSTITUTIONS.get(box, box)\n405:LEGACY_WINDOWS_SUBSTITUTIONS = {\n", "stderr": "", "exit_code": 0}

{"status": "error", "error_type": "FileReadError", "error_message": "'>' not supported between instances of 'int' and 'str'"}

{"status": "ok", "stdout": "    ascii=True,\n)\n# fmt: on\n\n# Map Boxes that don't render with raster fonts on to equivalent that do\nLEGACY_WINDOWS_SUBSTITUTIONS = {\n    ROUNDED: SQUARE,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    SIMPLE_HEAVY: SIMPLE,\n    HEAVY: SQUARE,\n    HEAVY_EDGE: SQUARE,\n    HEAVY_HEAD: SQUARE,\n}\n\n# Map headed boxes to their headerless equivalents\nPLAIN_HEADED_SUBSTITUTIONS = {\n    HEAVY_HEAD: SQUARE,\n    SQUARE_DOUBLE_HEAD: SQUARE,\n    MINIMAL_DOUBLE_HEAD: MINIMAL,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    ASCII_DOUBLE_HEAD: ASCII2,\n}\n\n\nif __name__ == \"__main__\":  # pragma: no cover\n    from rich.columns import Columns\n    from rich.panel import Panel\n\n    from . import box as box\n    from .console import Console\n    from .table import Table\n    from .text import Text\n\n    console = Console(record=True)\n\n    BOXES = [\n        \"ASCII\",\n        \"ASCII2\",\n        \"ASCII_DOUBLE_HEAD\",\n        \"SQUARE\",\n        \"SQUARE_DOUBLE_HEAD\",\n        \"MINIMAL\",\n        \"MINIMAL_HEAVY_HEAD\",\n        \"MINIMAL_DOUBLE_HEAD\",\n        \"SIMPLE\",\n        \"SIMPLE_HEAD\",\n        \"SIMPLE_HEAVY\",\n        \"HORIZONTALS\",\n        \"ROUNDED\",\n        \"HEAVY\",\n        \"HEAVY_EDGE\",\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "rich/box.py:80:            box = LEGACY_WINDOWS_SUBSTITUTIONS.get(box, box)\nrich/box.py:405:LEGACY_WINDOWS_SUBSTITUTIONS = {\n", "stderr": "", "exit_code": 0}

{"status": "error", "error_type": "CommandError", "error_message": "", "details": {"stdout": "", "stderr": "", "exit_code": 1}}

{"status": "ok", "stdout": "rich/table.py:48:        safe_box (Optional[bool], optional): Disable box characters that don't display on windows legacy terminal with *raster* fonts. Defaults to True.\nrich/table.py:163:        safe_box (Optional[bool], optional): Disable box characters that don't display on windows legacy terminal with *raster* fonts. Defaults to True.\nrich/table.py:196:        safe_box: Optional[bool] = None,\nrich/table.py:224:        self.safe_box = safe_box\nrich/table.py:769:                options, safe=pick_bool(self.safe_box, console.safe_box)\nrich/console.py:617:        safe_box (bool, optional): Restrict box options that don't render on legacy Windows.\nrich/console.py:654:        safe_box: bool = True,\nrich/console.py:727:        self.safe_box = safe_box\nrich/panel.py:30:        safe_box (bool, optional): Disable box characters that don't display on windows legacy terminal with *raster* fonts. Defaults to True.\nrich/panel.py:49:        safe_box: Optional[bool] = None,\nrich/panel.py:64:        self.safe_box = safe_box\nrich/panel.py:83:        safe_box: Optional[bool] = None,\nrich/panel.py:99:            safe_box=safe_box,\nrich/panel.py:156:        safe_box: bool = console.safe_box if self.safe_box is None else self.safe_box\nrich/panel.py:157:        box = self.box.substitute(options, safe=safe_box)\n", "stderr": "", "exit_code": 0}

{"status": "error", "error_type": "CommandError", "error_message": "", "details": {"stdout": "", "stderr": "", "exit_code": 1}}

{"status": "ok", "stdout": "222:SQUARE: Box = Box(\n233:SQUARE_DOUBLE_HEAD: Box = Box(\n406:    ROUNDED: SQUARE,\n409:    HEAVY: SQUARE,\n410:    HEAVY_EDGE: SQUARE,\n411:    HEAVY_HEAD: SQUARE,\n416:    HEAVY_HEAD: SQUARE,\n417:    SQUARE_DOUBLE_HEAD: SQUARE,\n439:        \"SQUARE\",\n440:        \"SQUARE_DOUBLE_HEAD\",\n", "stderr": "", "exit_code": 0}

{"status": "error", "error_type": "FileReadError", "error_message": "'>' not supported between instances of 'int' and 'str'"}

{"status": "ok", "stdout": "    \"| ||\\n\"\n    \"+-++\\n\"\n    \"| ||\\n\"\n    \"+-++\\n\"\n    \"+-++\\n\"\n    \"| ||\\n\"\n    \"+-++\\n\",\n    ascii=True,\n)\n\nASCII_DOUBLE_HEAD: Box = Box(\n    \"+-++\\n\"\n    \"| ||\\n\"\n    \"+=++\\n\"\n    \"| ||\\n\"\n    \"+-++\\n\"\n    \"+-++\\n\"\n    \"| ||\\n\"\n    \"+-++\\n\",\n    ascii=True,\n)\n\nSQUARE: Box = Box(\n    \"\u250c\u2500\u252c\u2510\\n\"\n    \"\u2502 \u2502\u2502\\n\"\n    \"\u251c\u2500\u253c\u2524\\n\"\n    \"\u2502 \u2502\u2502\\n\"\n    \"\u251c\u2500\u253c\u2524\\n\"\n    \"\u251c\u2500\u253c\u2524\\n\"\n    \"\u2502 \u2502\u2502\\n\"\n    \"\u2514\u2500\u2534\u2518\\n\"\n)\n\nSQUARE_DOUBLE_HEAD: Box = Box(\n    \"\u250c\u2500\u252c\u2510\\n\"\n    \"\u2502 \u2502\u2502\\n\"\n    \"\u255e\u2550\u256a\u2561\\n\"\n    \"\u2502 \u2502\u2502\\n\"\n    \"\u251c\u2500\u253c\u2524\\n\"\n    \"\u251c\u2500\u253c\u2524\\n\"\n    \"\u2502 \u2502\u2502\\n\"\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "    ascii=True,\n)\n# fmt: on\n\n# Map Boxes that don't render with raster fonts on to equivalent that do\nLEGACY_WINDOWS_SUBSTITUTIONS = {\n    ROUNDED: SQUARE,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    SIMPLE_HEAVY: SIMPLE,\n    HEAVY: SQUARE,\n    HEAVY_EDGE: SQUARE,\n    HEAVY_HEAD: SQUARE,\n}\n\n# Map headed boxes to their headerless equivalents\nPLAIN_HEADED_SUBSTITUTIONS = {\n    HEAVY_HEAD: SQUARE,\n    SQUARE_DOUBLE_HEAD: SQUARE,\n    MINIMAL_DOUBLE_HEAD: MINIMAL,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    ASCII_DOUBLE_HEAD: ASCII2,\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "233:SQUARE_DOUBLE_HEAD: Box = Box(\n417:    SQUARE_DOUBLE_HEAD: SQUARE,\n440:        \"SQUARE_DOUBLE_HEAD\",\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "233:SQUARE_DOUBLE_HEAD: Box = Box(\n417:    SQUARE_DOUBLE_HEAD: SQUARE,\n440:        \"SQUARE_DOUBLE_HEAD\",\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "233:SQUARE_DOUBLE_HEAD: Box = Box(\n417:    SQUARE_DOUBLE_HEAD: SQUARE,\n440:        \"SQUARE_DOUBLE_HEAD\",\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "    ascii=True,\n)\n# fmt: on\n\n# Map Boxes that don't render with raster fonts on to equivalent that do\nLEGACY_WINDOWS_SUBSTITUTIONS = {\n    ROUNDED: SQUARE,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    SIMPLE_HEAVY: SIMPLE,\n    HEAVY: SQUARE,\n    HEAVY_EDGE: SQUARE,\n    HEAVY_HEAD: SQUARE,\n}\n\n# Map headed boxes to their headerless equivalents\nPLAIN_HEADED_SUBSTITUTIONS = {\n    HEAVY_HEAD: SQUARE,\n    SQUARE_DOUBLE_HEAD: SQUARE,\n    MINIMAL_DOUBLE_HEAD: MINIMAL,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    ASCII_DOUBLE_HEAD: ASCII2,\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "233:SQUARE_DOUBLE_HEAD: Box = Box(\n417:    SQUARE_DOUBLE_HEAD: SQUARE,\n440:        \"SQUARE_DOUBLE_HEAD\",\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "    ascii=True,\n)\n# fmt: on\n\n# Map Boxes that don't render with raster fonts on to equivalent that do\nLEGACY_WINDOWS_SUBSTITUTIONS = {\n    ROUNDED: SQUARE,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    SIMPLE_HEAVY: SIMPLE,\n    HEAVY: SQUARE,\n    HEAVY_EDGE: SQUARE,\n    HEAVY_HEAD: SQUARE,\n}\n\n# Map headed boxes to their headerless equivalents\nPLAIN_HEADED_SUBSTITUTIONS = {\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "    HEAVY_HEAD: SQUARE,\n    SQUARE_DOUBLE_HEAD: SQUARE,\n    MINIMAL_DOUBLE_HEAD: MINIMAL,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    ASCII_DOUBLE_HEAD: ASCII2,\n}\n\n\nif __name__ == \"__main__\":  # pragma: no cover\n    from rich.columns import Columns\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "LEGACY_WINDOWS_SUBSTITUTIONS = {\n    ROUNDED: SQUARE,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    SIMPLE_HEAVY: SIMPLE,\n    HEAVY: SQUARE,\n    HEAVY_EDGE: SQUARE,\n    HEAVY_HEAD: SQUARE,\n}\n\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "233:SQUARE_DOUBLE_HEAD: Box = Box(\n417:    SQUARE_DOUBLE_HEAD: SQUARE,\n440:        \"SQUARE_DOUBLE_HEAD\",\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "PLAIN_HEADED_SUBSTITUTIONS = {\n    HEAVY_HEAD: SQUARE,\n    SQUARE_DOUBLE_HEAD: SQUARE,\n    MINIMAL_DOUBLE_HEAD: MINIMAL,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    ASCII_DOUBLE_HEAD: ASCII2,\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "LEGACY_WINDOWS_SUBSTITUTIONS = {\n    ROUNDED: SQUARE,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    SIMPLE_HEAVY: SIMPLE,\n    HEAVY: SQUARE,\n    HEAVY_EDGE: SQUARE,\n    HEAVY_HEAD: SQUARE,\n}\n\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "LEGACY_WINDOWS_SUBSTITUTIONS = {\n    ROUNDED: SQUARE,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    SIMPLE_HEAVY: SIMPLE,\n    HEAVY: SQUARE,\n    HEAVY_EDGE: SQUARE,\n    HEAVY_HEAD: SQUARE,\n}\n\n# Map headed boxes to their headerless equivalents\nPLAIN_HEADED_SUBSTITUTIONS = {\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "LEGACY_WINDOWS_SUBSTITUTIONS = {\n    ROUNDED: SQUARE,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    SIMPLE_HEAVY: SIMPLE,\n    HEAVY: SQUARE,\n    HEAVY_EDGE: SQUARE,\n    HEAVY_HEAD: SQUARE,\n}\n\n# Map headed boxes to their headerless equivalents\nPLAIN_HEADED_SUBSTITUTIONS = {\n    HEAVY_HEAD: SQUARE,\n    SQUARE_DOUBLE_HEAD: SQUARE,\n    MINIMAL_DOUBLE_HEAD: MINIMAL,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    ASCII_DOUBLE_HEAD: ASCII2,\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "LEGACY_WINDOWS_SUBSTITUTIONS = {\n    ROUNDED: SQUARE,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    SIMPLE_HEAVY: SIMPLE,\n    HEAVY: SQUARE,\n    HEAVY_EDGE: SQUARE,\n    HEAVY_HEAD: SQUARE,\n}\n\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "233:SQUARE_DOUBLE_HEAD: Box = Box(\n417:    SQUARE_DOUBLE_HEAD: SQUARE,\n440:        \"SQUARE_DOUBLE_HEAD\",\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "PLAIN_HEADED_SUBSTITUTIONS = {\n    HEAVY_HEAD: SQUARE,\n    SQUARE_DOUBLE_HEAD: SQUARE,\n    MINIMAL_DOUBLE_HEAD: MINIMAL,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    ASCII_DOUBLE_HEAD: ASCII2,\n", "stderr": "", "exit_code": 0}

{"status": "ok", "stdout": "LEGACY_WINDOWS_SUBSTITUTIONS = {\n    ROUNDED: SQUARE,\n    MINIMAL_HEAVY_HEAD: MINIMAL,\n    SIMPLE_HEAVY: SIMPLE,\n    HEAVY: SQUARE,\n    HEAVY_EDGE: SQUARE,\n    HEAVY_HEAD: SQUARE,\n}\n\n", "stderr": "", "exit_code": 0}

{"status": "ok", "filepath": "rich/box.py", "occurrences": 1, "strategy": "exact", "diff": "--- a/rich/box.py\n+++ b/rich/box.py\n@@ -409,6 +409,7 @@\n     HEAVY: SQUARE,\n     HEAVY_EDGE: SQUARE,\n     HEAVY_HEAD: SQUARE,\n+    SQUARE_DOUBLE_HEAD: SQUARE,\n }\n \n # Map headed boxes to their headerless equivalents\n", "is_truncated": false, "budget_warning": "Only 9 tool call(s) remaining (51/60 used). Finalize your edits and call submit_patch soon."}

{"status": "ok", "patch_size": 320, "files_changed": 1}