4kusto/vie - Changes

update flake.nix: Basically, we are going to use lean4 from elan.

Created by 4kusto on March 9, 2026

UFZE2ZUJYMC4V7GKTSMKL7HNFTS3PY76OYGML7CGLU33Y66JKUEQC

perf(bliku-adapter): avoid per-line PieceTable lookups when building buffer lines

Created by 4kusto on March 8, 2026

PZUH6KBSAQ32NOVJUDXU23XCCQWP4LVWNQTZMGKWF5DB6FY6GNAAC

fix conflicts(deletion old Test directory)

Created by 4kusto on March 8, 2026

JWDFOW4FSQ7FSABZKJEIJJMRRC5PSRCVQ3VHT4N6CRGQ27XIYTHAC

add Proof.Data.PieceTable.Invariant

Created by 4kusto on March 8, 2026

NCF433P4DY47H3PZTYTUJ4IGAQVRAWYFEYHWXDCDT3YN5N7Z4WVQC

fix conflicts

Created by 4kusto on March 8, 2026

5NHGMGLDYV3DKD4MD6ZQP4A4GBRKT4ZKO4R2MACF2MFIJVEWFIHAC

missing files(ViETest.lean)

Created by 4kusto on March 8, 2026

7WGSSCTSSTKXVZV6VQQBP3TTL46E5VXBVDWLF7GST7WB4SLOFR3AC

test: rename Test modules to ViETest and remove dead code

Created by 4kusto on March 7, 2026

KK6O2B6FHJHMRVSE3N54S47OY4TWV2UGI53CYLYSWAL6WSACFEBAC

Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing

Created by 4kusto on March 7, 2026

U3IMOYALG24OXCZQNPCZJIFKFOMDDREEQY4GNZWAPKQCTZ66H6PAC

Implement linewise visual mode for Vim-compatible V behavior

Created by 4kusto on March 6, 2026

4GUZZYJSWKA44VKYZ2U3G7SQ32JHHHPBSYUWWNNWWBOEDUN7RLKAC

Update ViE for Bliku clustered floating UI and direct syntax API

Created by 4kusto on March 6, 2026

BVKFLEK2IK7AOIXLU3KGN7XNWP7KSJLGOPJKJIR7MU4LGN4J5EGQC

push missing files

Created by 4kusto on March 6, 2026

MESNWCLGM5N5HTO35HVLZTJDJ2BE74MHBRWXISACW7L5FNAB3LNAC

Split Bliku out of ViE as an independent TUI packagew

Created by 4kusto on March 6, 2026

FAVK3BZP62D4KKDVNGX323UOVRPCW2NFLAHTVYBGQHRJSDI24XCQC

fix(workspace): normalize relative path resolution by canonicalizing startup and command paths

Created by 4kusto on March 4, 2026

BUDL4NZH6PIACJKSIPSZNL3F7XPNLB2BVYCCVUO4C3T47IAIQCEAC

align keybindings closer to Vim: reserve q for macros, map V to visual and Ctrl-v to visual-block, and update keybind/docs/tests

Created by 4kusto on February 25, 2026

ZSBXK2GGVYHLXXMAIIEXW45COI3GSP5CLBRUSY5JNRDSHTLGGBVAC

cleanup perf scripts and update README.md

Created by 4kusto on February 20, 2026

TAZSMJUA2YBZIS525KHN5ERDA5FSSSQ2VQ5R2SU5GTQJRRY5IQIAC

parallelize buffer edit queue paths, switch line lookup to tree-based traversal, and reduce large-file edit CPU spikes with lightweight content-version change detection

Created by 4kusto on February 19, 2026

WXZC34LZCQADXI3LEPDFDWHCVKYDC54WPCVYSUN3XSABH4VRHVJAC

fix Lean completion LSP position to UTF-16 columns, ignore stale completion responses, and clear completion state on mode transitions

Created by 4kusto on February 19, 2026

MDJSREIO7F3IHOEGBAZBS4VIFPV2ETK6BAEM64AO2P5OBV6XOF2QC

fix for LSP: wait for initialize ack, recover from reader failures, percent-encode file URIs, and add LSP regression tests

Created by 4kusto on February 18, 2026

O27AXDRWCFLPVPLPZJTRUJRJFGXXCSR623MJADCSQTUUIEF5ZARAC

Pushing files that were accidentally untracked

Created by 4kusto on February 18, 2026

LRMCXRWTFARDTVVEPFYEQ6MJHUMU3BYHVI22CLXYEHLOQQWTGC6AC

improve Lean completion popup follow/close behavior, add keybind regression coverage, and remove dead code across core modules

Created by 4kusto on February 18, 2026

4V7W7A6YX2J57RZUANMZKMKFHIDFNTXRMDR6M57DC6M3B4AHOK6AC

add initial Lean LSP completion support with split-style popup UI, insert-mode selection/accept flow, and editor state wiring

Created by 4kusto on February 18, 2026

GSOBCC5UYHCUY53WEYJ4WG5RUQACOQSBCLEGA5W6GRPHARU4ZWEAC

fix Lean LSP shutdown/quit flow: prevent InfoView-only buffer residue, ensure app exit cleanup

Created by 4kusto on February 18, 2026

CUJ744WGUGBQHTO7BN7II2KB7R4N3IBXO62OG5UJAEZU2LFHHHUAC

optimize piece-tree bloom construction for edit-time paths, plumb bloom build-on-edit config through buffer loading, and reduce concat leaf rebuild overhead

Created by 4kusto on February 18, 2026

LSCUXT3235I5ZZPZM2MMGLECHU2LAX2TKLRHDULONDAS5JEWTB7QC

introduce initial Lean integrations: LSP + InfoView, language-scoped defaults, and supporting tests/docs

Created by 4kusto on February 16, 2026

WBKXA5RVL5DSEJZ4OBDBCTNRT3Q4VFEVQNA344CET3BHY7CY7H5AC

optimize piece-table load path with single-pass line/char indexing, add lean/markdown syntax highlighting in window rendering, expand large-file benchmarks, and tune perf_profile defaults with updated docs/tests

Created by 4kusto on February 16, 2026

A6E5SE5JPWUJJYIUS4CF7NMB5GM2SIIUXUZASSOVD467YWI5SCQQC

optimize piece-tree bloom/search internals, add lazy buffer loading for restored workspaces/workgroups, and enable release builds by default

Created by 4kusto on February 11, 2026

KFKFELOTH4NL4DMXXWJ36OK62HWNJ7JJTHWA76CYHWGTGXMRGYFQC

fix explorer target-window selection after wincmd, persist target across explorer refresh/navigation, and align TreeStats height invariant with append-optimized trees

Created by 4kusto on February 9, 2026

TIAIRD7L5GWH22TOLDAGCIDCJDZ53YWK3KHQOH3EIU7RZEOEP32AC

fix: remove hardcoded tabStop=4 from visual/command/restore offset calculations