feat: integrate lean-md as an external lean-ctx addon (+ LSP formatter routing) - #721

Merged

yvgude merged 16 commits into

yvgude:mainfrom

dasTholo:pr/lean-md-addon

Jul 12, 2026

Commits on Jul 10, 2026

feat(core): add generic RenderTransform extension surface
dasTholo
committed
7bb078d
test(reverse-cut): add 5 lmd-decoupling gates; docs: lean-md reference (N1 link, N3 header)
dasTholo
committed
a323819
feat(lsp): add formatter-routing (rustfmt Command + Jetbrains) with blake3 helper
dasTholo
committed
21ff930
fix(ctx_refactor): reformat via Formatter routing — honest changed/unchanged, invalidate all changed paths (B2)
dasTholo
committed
0e2d559
test(ctx_refactor): assert real cache invalidation of all changed paths (B2 regression guard)
dasTholo
committed
2373a90
test(cache): warm up tiktoken in hebbian_eviction test (N4)
dasTholo
committed
9a35e98
test(read): gate that a .lmd.md read returns raw source
dasTholo
committed
76f43fe
test(reverse-cut): gate ctx_read.rs too — it carries no lmd knowledge
dasTholo
committed
a2d443a
docs(lean-md): raw .lmd.md read, listed registry entry, drop the non-existent WasmRenderTransform
dasTholo
committed
16f2e7b
feat(registry): lmd placeholder becomes the listed lean-md entry
dasTholo
committed
03b6413
fix(docs,test): honest install command, sharpen the raw-read gate
dasTholo
committed
c1fa6d3

Commits on Jul 11, 2026