| .. |
|
async.lua
|
feat(journey): open a directory, on one path
|
2026-07-26 16:39:59 -04:00 |
|
autosave.lua
|
feat(config): typed configuration registry with buffer-local scope
|
2026-07-21 18:29:18 -04:00 |
|
comment.lua
|
feat(lean4): editing surface + Stage 1 acceptance (Q#LN5, LN6, LN17)
|
2026-07-25 09:59:48 -04:00 |
|
compile.lua
|
fix(terminal): implement the Q#BP7 growth re-arm and pin it honestly
|
2026-07-24 18:32:23 -04:00 |
|
completion.lua
|
fix(completion): address TUI-validation findings (LSP query gaps, scoping, prefix keys, window scope)
|
2026-07-07 16:54:14 -04:00 |
|
desktop.lua
|
fix(persistence): reliable daemon gate, unarm, per-pane after-load
|
2026-07-08 22:27:24 -04:00 |
|
dired.lua
|
fix(journey): honor the captured window, not the selected one
|
2026-07-26 18:20:02 -04:00 |
|
editops.lua
|
fix(config): reject wrongly-typed spec fields; make trim-on-save buffer-aware
|
2026-07-21 18:29:18 -04:00 |
|
fold.lua
|
feat(fold): Arc 6 Stage 1 — instance fold engine (headless)
|
2026-07-23 12:14:00 -04:00 |
|
fs.lua
|
Merge remote-tracking branch 'githubsucks/main' into lean4-stage3a-seams
|
2026-07-26 09:25:25 -04:00 |
|
indent.lua
|
fix(edit): PR #109 round 1 — shared search invalidation, daemon anchor clear, bounded indent scan
|
2026-07-10 15:46:36 -04:00 |
|
killring.lua
|
feat(edit): editing-conveniences pack (editops)
|
2026-07-12 15:33:17 +01:00 |
|
lean.lua
|
fix(lsp): close round-six Lean fallback gaps
|
2026-07-25 22:32:48 -04:00 |
|
lean_abbrev.lua
|
feat(lean4): the Unicode input method (Arc 8 Stage 4b)
|
2026-07-26 16:24:06 -04:00 |
|
lean_input.lua
|
fix(lean4): count fan-outs where a claim cannot skip the count
|
2026-07-26 17:15:24 -04:00 |
|
listview.lua
|
fix(window): wire the side-window split guard and scope the divider drag
|
2026-07-24 15:07:35 -04:00 |
|
lsp.lua
|
fix(lsp): close round-six Lean fallback gaps
|
2026-07-25 22:32:48 -04:00 |
|
mcp.lua
|
M9 ship gate
|
2026-05-09 15:04:23 -04:00 |
|
pair.lua
|
feat(typed-edit): the typed-edit consumer chain (Arc 8 Stage 4a)
|
2026-07-26 13:00:03 -04:00 |
|
recentf.lua
|
fix(persistence): symlink confinement, real test-inertness, view_top restore
|
2026-07-08 18:21:46 -04:00 |
|
saveplace.lua
|
fix(persistence): symlink confinement, real test-inertness, view_top restore
|
2026-07-08 18:21:46 -04:00 |
|
syntax.lua
|
feat(lean4): editing surface + Stage 1 acceptance (Q#LN5, LN6, LN17)
|
2026-07-25 09:59:48 -04:00 |
|
terminal.lua
|
fix(buffer): fan out generated writes, and clear the history that exists
|
2026-07-26 13:43:22 -04:00 |
|
typed_edit.lua
|
fix(typed-edit): close round-8 review on the consumer chain
|
2026-07-26 13:39:33 -04:00 |
|
window.lua
|
feat(window): adopter placement opt-in and the Stage 1 acceptance suite
|
2026-07-24 14:10:45 -04:00 |
Levi Neuwirth
8e31ca4646