Commit Graph

Select branches

Hide Pull Requests

ci-signal-hardening

destination-capture

discovery-stage2

gate-protocol-build

git-status-stage1

gui-arc-stage0

lsp-file-watch-d3

lsp-file-watcher

lsp-latex-coverage

main

v1.0-rc

worker-identity-stage1

M8

v1.0.0

v1.1.0

v1.1.0-rc.1

Mono Color

• 35085b54d1 fix: rustfmt the acceptance suite and pin two untested arms (round 1) Levi Neuwirth 2026-07-25 11:19:43 -0400
• 4a2aa92510 style: rustfmt the find-file acceptance harness Levi Neuwirth 2026-07-25 11:13:57 -0400
• 92f57d8894 docs: record Stage 1's landing and the Stage 2 affinity lane Levi Neuwirth 2026-07-25 11:03:54 -0400
• 2a0884b377 feat(find-file): open a file by path with C-x C-f Levi Neuwirth 2026-07-25 10:45:50 -0400
• 1ae5963e9d feat(lsp): one server per detected project root (Q#LN15) Levi Neuwirth 2026-07-25 10:36:11 -0400
• 0827dd1416
  Merge pull request #160 from levineuwirth/lean4-stage1 Levi Neuwirth 2026-07-25 14:27:09 +0000
• 1a5805366a docs: record the Lean 4 lane in the active-work ledger Levi Neuwirth 2026-07-25 10:18:38 -0400
• 34767d332d fix(test): make acc12 pin the claim it names (review round 1) Levi Neuwirth 2026-07-25 10:18:27 -0400
• 0c922682c0 feat(lean4): editing surface + Stage 1 acceptance (Q#LN5, LN6, LN17) Levi Neuwirth 2026-07-25 09:59:48 -0400
• 60714ee46b
  Merge pull request #159 from levineuwirth/minimap-blank-slab-panic Levi Neuwirth 2026-07-25 13:53:56 +0000
• 5207d40caf feat(theme): add the four Lean 4 capture entries (Arc 8 Stage 1, Q#LN4) Levi Neuwirth 2026-07-25 09:51:27 -0400
• 6ea8d2756e feat(syntax): bundle the Lean 4 grammar (Arc 8 Stage 1, Q#LN1-3) Levi Neuwirth 2026-07-25 09:49:01 -0400
• a38296583b docs: frame Lean 4 mode (Arc 8) Levi Neuwirth 2026-07-25 09:44:53 -0400
• e547a90e37 fix(gpu): stop the minimap dividing by zero on an all-blank slab Levi Neuwirth 2026-07-25 09:42:25 -0400
• 14c1c01043 feat(math): caret-driven suppression, the draw pass, and the slice acceptance Levi Neuwirth 2026-07-24 22:04:35 -0400
• 870209cca9 test(buffer): capture the CRDT undo no-op-with-op case Levi Neuwirth 2026-07-24 21:34:08 -0400
• 7f7ad1934c docs: record bottom-panel Stage 1 (#155) landing Levi Neuwirth 2026-07-24 20:33:32 -0400
• e74506879f
  Merge pull request #155 from levineuwirth/bottom-panel Levi Neuwirth 2026-07-25 00:21:07 +0000
• cbf7782726 fix(math): review round 3 — mapping bug, whitespace defect, real MATH gaps Levi Neuwirth 2026-07-24 20:19:40 -0400
• 9110f9f32c fix(window): keep pmacs.window.buffer() infallible with no argument Levi Neuwirth 2026-07-24 20:05:51 -0400
• 8e4bc00015 feat(math): ChunkSource::MathBox and spacer width quantization Levi Neuwirth 2026-07-24 18:57:18 -0400
• 8c25e0ddde feat(math): currency-guarded inline span detection Levi Neuwirth 2026-07-24 18:47:48 -0400
• bbe4152048 docs: record bottom-panel review round 2 Levi Neuwirth 2026-07-24 18:42:04 -0400
• f708ccb2a4 feat(math): box layout, and measure the real height budget Levi Neuwirth 2026-07-24 18:39:26 -0400
• 52e7598da0 test(window): press the peer's own mode line in acc30c Levi Neuwirth 2026-07-24 18:37:10 -0400
• 4d44be5d7b fix(terminal): implement the Q#BP7 growth re-arm and pin it honestly Levi Neuwirth 2026-07-24 18:32:23 -0400
• 320bcce276 feat(math): bundle Latin Modern Math and read its MATH constants Levi Neuwirth 2026-07-24 18:27:34 -0400
• b9aed61e23 feat(math): LaTeX math parser for the slice subset (Tier 2) Levi Neuwirth 2026-07-24 18:14:43 -0400
• 4b1af277e1 docs(math): slice framing rev 3 — close review round 2 Levi Neuwirth 2026-07-24 17:57:39 -0400
• 67976dfc5f docs(math): slice framing rev 2 — close review round 1 Levi Neuwirth 2026-07-24 16:07:03 -0400
• 7e1bfb6dc5 test(window): pin the terminal anchor, not the tail-relative offset Levi Neuwirth 2026-07-24 15:21:48 -0400
• f8020320e2 docs(math): frame the first inline-math vertical slice Levi Neuwirth 2026-07-24 15:15:36 -0400
• 352bf0b2ab
  Merge pull request #154 from levineuwirth/inline-math-rescout Levi Neuwirth 2026-07-24 19:08:27 +0000
• 90fc7a913e fix(window): wire the side-window split guard and scope the divider drag Levi Neuwirth 2026-07-24 15:07:35 -0400
• dd414d4d2d docs(math): name the ttf-parser feature set the MATH table needs Levi Neuwirth 2026-07-24 14:59:21 -0400
• f07b75b4a3
  Merge pull request #153 from levineuwirth/vterm-pty-flake Levi Neuwirth 2026-07-24 18:37:23 +0000
• 85a07f378c test(vterm): gate terminal readiness on a file, not on host bytes Levi Neuwirth 2026-07-24 14:27:21 -0400
• 2a9c11461c docs: record the bottom-panel Stage 1 lane Levi Neuwirth 2026-07-24 14:20:16 -0400
• 5dcc7d70a0 docs(math): re-scout inline-math framing against landed state Levi Neuwirth 2026-07-24 14:10:46 -0400
• 683c9b86aa feat(window): adopter placement opt-in and the Stage 1 acceptance suite Levi Neuwirth 2026-07-24 14:10:45 -0400
• f77ff3074d test(vterm): write CRLF from the raw-mode probe Levi Neuwirth 2026-07-24 14:02:25 -0400
• 6c8a76e235 feat(window): window parameters, fixed extents, and the display policy Levi Neuwirth 2026-07-24 13:53:14 -0400
• 8ef2fa0793 test(vterm): match host output past the differ's cell-skipping Levi Neuwirth 2026-07-24 13:49:14 -0400
• c27f75a1b2 docs: bottom panel framing (revision 4, amended) Levi Neuwirth 2026-07-24 13:00:46 -0400
• ddaa80d4a8
  Merge pull request #152 from levineuwirth/docs-gpu-initial-target-landed Levi Neuwirth 2026-07-24 15:32:01 +0000
• dcef343702 docs: record GPU initial-target (#148) landing Levi Neuwirth 2026-07-24 11:21:50 -0400
• 0dd16a56e8
  Merge pull request #148 from levineuwirth/gpu-initial-target Levi Neuwirth 2026-07-24 15:18:03 +0000
• b4af798041
  Merge pull request #151 from levineuwirth/ci-macos-flakes Levi Neuwirth 2026-07-24 14:59:51 +0000
• 861a048c88 test(ci): diagnose the vterm PTY flake; drop the macOS outline budget Levi Neuwirth 2026-07-24 10:34:36 -0400
• 907e4d87fc docs: record current-main integration Levi Neuwirth 2026-07-24 10:22:20 -0400
• 6c06815ee4 Merge githubsucks/main into gpu-initial-target Levi Neuwirth 2026-07-24 10:21:37 -0400
• b3ed40cf60 docs: record published second-review fixes Levi Neuwirth 2026-07-24 10:11:24 -0400
• be8c67c30c fix(daemon): contain failed target sessions Levi Neuwirth 2026-07-24 10:10:31 -0400
• b168dcad16
  Merge pull request #150 from levineuwirth/docs-folding-stage2-landed Levi Neuwirth 2026-07-24 14:00:23 +0000
• 7fc7420b91 docs: record folding Stage 2 (#149) landing; open the Stage 3 lane Levi Neuwirth 2026-07-24 09:58:10 -0400
• 6ed4fe99b7
  Merge pull request #149 from levineuwirth/folding-tui Levi Neuwirth 2026-07-24 13:43:10 +0000
• 0a479ae8d0
  Merge pull request #147 from levineuwirth/docs-folding-stage1-landed Levi Neuwirth 2026-07-24 13:41:18 +0000
• f16d72fded docs: refresh the ledger to current main and Stage 2's real state Levi Neuwirth 2026-07-23 21:58:02 -0400
• 5f7270d26a docs: record folding Stage 1 (#142) landing; open Stage 2 lane Levi Neuwirth 2026-07-23 16:19:59 -0400
• b750000d06 fix(fold): key the managed Lua widening on the EFFECTIVE edit site Levi Neuwirth 2026-07-23 21:45:33 -0400
• 65e500eba1 docs: record published GPU review fixes Levi Neuwirth 2026-07-23 21:26:35 -0400
• bef1c08133 fix(gpu): preserve session isolation during target publish Levi Neuwirth 2026-07-23 21:25:33 -0400
• 90bb86d355 fix(fold): address PR #149 review round 4 Levi Neuwirth 2026-07-23 20:46:47 -0400
• 97a27e9873 Merge branch 'main' into folding-tui Levi Neuwirth 2026-07-23 19:43:13 -0400
• e6ace5c320 fix(fold): choose the projection in the crdt-gated daemon fixtures Levi Neuwirth 2026-07-23 19:37:18 -0400
• b3e18150cc test(fold): make the inactive-buffer unfold guard actually bite Levi Neuwirth 2026-07-23 19:33:35 -0400
• 313b1ff77a feat(fold): Stage 2 — grid (daemon-rendered) collapse Levi Neuwirth 2026-07-23 19:24:07 -0400
• 4f1651c8f0 Record GPU initial target PR Levi Neuwirth 2026-07-23 19:17:11 -0400
• 010a4b52eb Record portable GPU target checkpoint Levi Neuwirth 2026-07-23 19:15:05 -0400
• 19674a47ea Record integrated GPU target verification Levi Neuwirth 2026-07-23 19:13:34 -0400
• d6d4be6cfb Merge remote-tracking branch 'githubsucks/main' into gpu-initial-target Levi Neuwirth 2026-07-23 19:03:41 -0400
• 2dd30ec730 Implement session-scoped GPU initial targets Levi Neuwirth 2026-07-23 19:03:25 -0400
• 4222ffae6e docs(folding): Stage 2 framing rev 4 — address review round 3 Levi Neuwirth 2026-07-23 17:25:55 -0400
• 8160d660a0 docs(folding): Stage 2 framing rev 3 — address review round 2 Levi Neuwirth 2026-07-23 16:55:25 -0400
• 47581f4034
  Merge pull request #146 from levineuwirth/web-grammars Levi Neuwirth 2026-07-23 20:23:33 +0000
• 515c76f5ab docs+test(web): name and pin the @attribute retro-paint (review round 3) Levi Neuwirth 2026-07-23 16:11:47 -0400
• e221f131f0 docs(folding): Stage 2 framing rev 2 — address review round 1 Levi Neuwirth 2026-07-23 16:08:22 -0400
• 79f43b1b61 Merge remote-tracking branch 'githubsucks/main' into gpu-initial-target Levi Neuwirth 2026-07-23 16:01:58 -0400
• 59410c004d docs(folding): frame Stage 2 — grid (daemon) collapse (rev 1) Levi Neuwirth 2026-07-23 15:41:11 -0400
• 244de001cb Record reviewed GPU initial-target framing Levi Neuwirth 2026-07-23 15:09:05 -0400
• 71039d1699 Refine GPU initial-target framing after review Levi Neuwirth 2026-07-23 15:07:06 -0400
• 394d39942c feat(web): bundle HTML + CSS grammars + HTML injections Levi Neuwirth 2026-07-23 15:04:10 -0400
• c49a8c71be
  Merge pull request #142 from levineuwirth/folding Levi Neuwirth 2026-07-23 18:50:02 +0000
• 05eab9e4e5 docs(web): frame HTML + CSS grammars + HTML injections (approved rev 3) Levi Neuwirth 2026-07-23 14:47:41 -0400
• ec0e40117b Record GPU initial-target framing lane Levi Neuwirth 2026-07-23 14:32:44 -0400
• 60ac7fab46 Frame session-scoped GPU initial targets Levi Neuwirth 2026-07-23 14:31:24 -0400
• 036a994639 test(fold): address PR #142 review round 2 — pin the round-1 wiring Levi Neuwirth 2026-07-23 14:25:28 -0400
• 4daa1b856b
  Merge pull request #145 from levineuwirth/docs-inline-math-framing Levi Neuwirth 2026-07-23 18:07:08 +0000
• 5c70975fa3 docs(inline-math): commit the parent inline-math framing Levi Neuwirth 2026-07-23 14:06:26 -0400
• ab29656671
  Merge pull request #143 from levineuwirth/docs-gpu-invocation-landed Levi Neuwirth 2026-07-23 18:02:17 +0000
• f09b0a1142
  Merge pull request #144 from levineuwirth/latex-grammar Levi Neuwirth 2026-07-23 17:54:04 +0000
• 9691dd4e9f fix(fold): address PR #142 review round 1 Levi Neuwirth 2026-07-23 13:42:20 -0400
• d9669746c1 Record one-command GPU invocation landing Levi Neuwirth 2026-07-23 13:33:09 -0400
• 63fbc66943
  Merge pull request #141 from levineuwirth/gpu-invocation Levi Neuwirth 2026-07-23 17:29:31 +0000
• 96e5647d5a docs(latex): de-dangle parent-arc references (review round 1) Levi Neuwirth 2026-07-23 13:16:29 -0400
• 1d66089a8e test(latex): add paint half of acceptance 3 (review round 1) Levi Neuwirth 2026-07-23 13:16:29 -0400
• 78339352d4 Record second GPU invocation review closure Levi Neuwirth 2026-07-23 12:40:03 -0400
• 154cb9f08d Close remaining GPU invocation review nits Levi Neuwirth 2026-07-23 12:38:11 -0400
• 3b411dbb2a feat(fold): Arc 6 Stage 1 — instance fold engine (headless) Levi Neuwirth 2026-07-23 12:14:00 -0400
• 9136538df9 Record exception-safe GPU daemon ownership Levi Neuwirth 2026-07-23 12:06:53 -0400