mirror of
https://github.com/ghostty-org/ghostty.git
synced 2026-06-08 12:54:28 +00:00
d9070dbee2
Fixes [#11935.](https://github.com/ghostty-org/ghostty/issues/11395) I’m new to Zig, so I used AI assistance (Codex) while preparing this change. Before opening this PR, I manually reviewed every line of the final patch and stepped through the parser in LLDB to verify the behavior. Happy to make any changes. To better understand the parser, I also built a small model-checker model [here](https://gist.github.com/wyounas/284036272ba5893b6e413cafe2fe2a24). Separately from this fix, I think formal verification and modeling could be useful for parser work in Ghostty. The model is written in FizzBee, which uses a Python-like Starlark syntax and is fairly readable. If that seems useful, I’d be happy to open a separate discussion about whether something like that belongs in the repository as executable documentation or an additional safety net for future parser changes.