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

• b9fbb42dc0 Merge remote-tracking branch 'githubsucks/main' into terminal-copy-mode Levi Neuwirth 2026-07-26 10:45:32 -0400
• 2eb6218ccd fix(terminal): close review round 1 on copy mode Levi Neuwirth 2026-07-26 10:45:32 -0400
• c4fad0731c docs(lean4): rev 7 — round 6 review, five P1s, and reconcile the ledgers Levi Neuwirth 2026-07-26 10:39:01 -0400
• ccdf352258 fix(panel): close Stage 2A review round 2 (2 P1, 1 P2) Levi Neuwirth 2026-07-26 10:38:21 -0400
• 1b1e599070 feat(terminal): copy mode over retained scrollback Levi Neuwirth 2026-07-26 10:10:27 -0400
• 3b54c78494 docs(lean4): rev 6 — re-scout Stage 4 and split it into 4a and 4b Levi Neuwirth 2026-07-26 10:10:06 -0400
• 6b2b0f9dd2 fix(panel): close Stage 2A review round 1 (4 P1, 2 P2) Levi Neuwirth 2026-07-26 10:02:01 -0400
• d400f30c06
  Merge pull request #170 from levineuwirth/lean4-stage3b-server Levi Neuwirth 2026-07-26 13:49:16 +0000
• 6f348c9285
  Merge pull request #167 from levineuwirth/lean4-stage3a-seams Levi Neuwirth 2026-07-26 13:47:46 +0000
• f78a5beedc Merge branch 'lean4-stage3a-seams' into lean4-stage3b-server Levi Neuwirth 2026-07-26 09:36:18 -0400
• 23486fd572 Merge main, and fold #173's a37 findings into the CI-coverage lane Levi Neuwirth 2026-07-26 09:27:49 -0400
• 7243714b3f Merge remote-tracking branch 'githubsucks/main' into lean4-stage3a-seams Levi Neuwirth 2026-07-26 09:25:25 -0400
• cf54270173
  Merge pull request #173 from levineuwirth/terminal-config Levi Neuwirth 2026-07-26 13:21:38 +0000
• dec51960da docs: record round-six bite evidence Levi Neuwirth 2026-07-25 22:36:02 -0400
• 3b7cc67197 docs: record the sweep-found test race in the lane Levi Neuwirth 2026-07-25 22:33:22 -0400
• 786de69d38 fix(lsp): close round-six Lean fallback gaps Levi Neuwirth 2026-07-25 22:32:48 -0400
• 00cc615db5 test(process): read the pid without ticking in the fast-exit tests Levi Neuwirth 2026-07-25 22:25:05 -0400
• 18d481b046 docs: record the PTY terminate diagnostic lane in the ledger Levi Neuwirth 2026-07-25 22:19:19 -0400
• 00e096ef81 Merge remote-tracking branch 'githubsucks/main' into pty-terminate-eperm Levi Neuwirth 2026-07-25 22:18:32 -0400
• 40f7f81690 test(process): pin exact diagnostic values and drop the timing-dependent sleeps Levi Neuwirth 2026-07-25 22:16:56 -0400
• 4413ea93d0 docs: record the Stage 2A lane and what gating it found Levi Neuwirth 2026-07-25 22:14:37 -0400
• d7ad01b535 feat(panel): extract the per-window painter + Stage 2A acceptance Levi Neuwirth 2026-07-25 22:04:56 -0400
• b76da70d5d feat(panel): route the Projection half of the §1.3 census (Stage 2A) Levi Neuwirth 2026-07-25 21:53:41 -0400
• 56eaf2f07a Merge remote-tracking branch 'githubsucks/main' into terminal-config Levi Neuwirth 2026-07-25 21:50:25 -0400
• 8e8f281f0e fix(terminal): close review round 1 on Stage 1 Levi Neuwirth 2026-07-25 21:47:37 -0400
• 52731ba121 style: pass Errno by value (clippy pedantic) Levi Neuwirth 2026-07-25 21:30:23 -0400
• 19f48d46c0 fix(lsp,lean): bound the fallback's own failure; heal at point of use Levi Neuwirth 2026-07-25 21:28:11 -0400
• 62316a9ced fix(process): make a failing kill describe itself (Q#PD1) Levi Neuwirth 2026-07-25 21:25:58 -0400
• ab42a7991c docs: dired Stage 2 framing rev 4 — review round 3 Levi Neuwirth 2026-07-25 21:22:51 -0400
• dd581cd90c docs: frame the PTY terminate diagnostic (revision 4) Levi Neuwirth 2026-07-25 21:12:51 -0400
• 2b42204693 docs: integrate #175 and align the recovery threshold with the base Levi Neuwirth 2026-07-25 21:10:16 -0400
• 5b58e9a994 Merge remote-tracking branch 'githubsucks/main' into docs-dired-stage1-landed Levi Neuwirth 2026-07-25 21:05:24 -0400
• c93f9eeeaa
  Merge pull request #175 from levineuwirth/bottom-panel-stage2-framing Levi Neuwirth 2026-07-26 00:55:14 +0000
• 4fbd47f025 docs: refresh the handoff's Stage 2 status (COHERENCE §25) Levi Neuwirth 2026-07-25 19:49:19 -0400
• 39233aa25f Merge canonical main (#172, #157) into the docs lane Levi Neuwirth 2026-07-25 19:49:18 -0400
• 7c37bdc514 fix(lean): repair every buffer and retire every server on fallback Levi Neuwirth 2026-07-25 19:46:29 -0400
• 9227860e08 docs: dired Stage 2 framing rev 3 — review round 2 Levi Neuwirth 2026-07-25 19:41:08 -0400
• 49757e51a8 docs: bottom-panel Stage 2 framing (revision 4) Levi Neuwirth 2026-07-25 19:36:58 -0400
• e1db5bb392 Merge remote-tracking branch 'githubsucks/main' into terminal-config Levi Neuwirth 2026-07-25 19:32:25 -0400
• c4b759553d test(m4): wait for a complete sink record, not a substring of one Levi Neuwirth 2026-07-25 19:25:01 -0400
• 73587b0e37 fix(lean): correlate the probe verdict with its own server and buffer Levi Neuwirth 2026-07-25 19:23:50 -0400
• 857a86ff59 docs: bottom-panel Stage 2 framing (revision 3) Levi Neuwirth 2026-07-25 19:23:49 -0400
• 69f9a1bdf9 docs: bottom-panel Stage 2 framing (revision 2) Levi Neuwirth 2026-07-25 18:23:06 -0400
• c2eeb60dc7 docs: bottom-panel Stage 2 framing (revision 1) Levi Neuwirth 2026-07-25 18:00:40 -0400
• ccf29e3eb5
  Merge pull request #157 from levineuwirth/crdt-undo-repro Levi Neuwirth 2026-07-25 23:10:46 +0000
• d27d24ffec
  Merge pull request #172 from levineuwirth/docs-inline-math-landed Levi Neuwirth 2026-07-25 23:10:19 +0000
• 04c5ad13e8 docs: record the terminal-config lane Levi Neuwirth 2026-07-25 18:41:21 -0400
• 664cc25d0c feat(terminal): profiles, scrollback, and a configurable escape key Levi Neuwirth 2026-07-25 18:36:18 -0400
• 3377db070a fix(lean): correct the server lifecycle; round 2 review Levi Neuwirth 2026-07-25 18:35:11 -0400
• eec731b8f4 docs: dired Stage 2 framing rev 2 — review round 1 Levi Neuwirth 2026-07-25 18:31:11 -0400
• 7247f647c0 Merge canonical main (#158, #156) into the docs lane Levi Neuwirth 2026-07-25 18:22:07 -0400
• adf10cc9c3 docs: record the inline-math slice (#158) as landed Levi Neuwirth 2026-07-25 18:16:31 -0400
• cdaea66203 fix(lean): make the fallback actually produce a working server Levi Neuwirth 2026-07-25 18:03:29 -0400
• 05984f1b1b docs: frame terminal configuration and copy mode Levi Neuwirth 2026-07-25 18:02:35 -0400
• d152120ff8
  Merge pull request #156 from levineuwirth/docs-bottom-panel-landed Levi Neuwirth 2026-07-25 22:00:02 +0000
• dea1d20e4e docs: refresh the canonical base for #158 Levi Neuwirth 2026-07-25 17:58:00 -0400
• c2dfe1a89d docs: framing for dired Stage 2 (marks and operations) Levi Neuwirth 2026-07-25 17:55:14 -0400
• 5aa9044686
  Merge pull request #158 from levineuwirth/inline-math-slice Levi Neuwirth 2026-07-25 21:49:50 +0000
• a72ce72349 Merge canonical main into the bottom-panel landed-doc lane Levi Neuwirth 2026-07-25 17:47:51 -0400
• 914bf3f02f docs: record the Stage 3b lane and its stacking constraint Levi Neuwirth 2026-07-25 17:40:31 -0400
• 1e1be67b49 feat(lean): the Lean 4 language server (Arc 8 Stage 3b) Levi Neuwirth 2026-07-25 17:40:02 -0400
• ea0632412e docs: record dired Stage 1 (#165) as landed Levi Neuwirth 2026-07-25 17:39:27 -0400
• 6ad9f7e788 docs: record the third integration and the basedpyright sweep hang Levi Neuwirth 2026-07-25 17:38:23 -0400
• c8ec8f3718
  Merge pull request #165 from levineuwirth/dired-stage1 Levi Neuwirth 2026-07-25 21:29:58 +0000
• 1176f34ebc Merge remote-tracking branch 'githubsucks/main' into inline-math-slice Levi Neuwirth 2026-07-25 17:29:35 -0400
• 40709fafb9 docs: measure the CI coverage gap and record the vterm as-framed audit Levi Neuwirth 2026-07-25 17:17:23 -0400
• b70393762e test(lsp): gate the non-UTF-8 fixture on linux, not merely unix Levi Neuwirth 2026-07-25 17:03:10 -0400
• a9ef257930 fix(lsp): decline a non-UTF-8 canonicalization; round 1 review Levi Neuwirth 2026-07-25 16:53:27 -0400
• b3c8230a84 docs: record the second main integration and its gate rerun Levi Neuwirth 2026-07-25 16:44:57 -0400
• 1c9904e217 Merge canonical main (#166) into the dired Stage 1 lane Levi Neuwirth 2026-07-25 16:41:21 -0400
• 8c924ebf41 docs: record #166 as landed and open the CI-coverage lane Levi Neuwirth 2026-07-25 16:17:24 -0400
• 08e2807fcc fix(dired): correct the reporting-channel claim #161 falsified Levi Neuwirth 2026-07-25 16:14:06 -0400
• b889873b83
  Merge pull request #166 from levineuwirth/gpu-terminal-input Levi Neuwirth 2026-07-25 20:13:11 +0000
• bdd7611d0e Merge canonical main (#161) into the dired Stage 1 lane Levi Neuwirth 2026-07-25 16:04:00 -0400
• aff3a60332 docs: correct the purge's reachable-leak claim; record the 3a lane Levi Neuwirth 2026-07-25 16:01:18 -0400
• 027c7d18e0 test(lsp): name acc32 for what it pins; label the unpinned guard Levi Neuwirth 2026-07-25 15:58:34 -0400
• 12236b265d feat(lsp): notification/response dispatch seams and fs.canonicalize Levi Neuwirth 2026-07-25 15:37:48 -0400
• adf90e5351 docs: record the GPU terminal input fix in the three required docs Levi Neuwirth 2026-07-25 15:28:47 -0400
• 14881b26c0 docs: record dired Stage 1 review round 1 Levi Neuwirth 2026-07-25 15:24:25 -0400
• b775f1703a fix(daemon): stop resizing a semantic frontend's PTY twice per tick Levi Neuwirth 2026-07-25 15:22:04 -0400
• 531fdf404e fix(dired): address PR #165 review round 1 Levi Neuwirth 2026-07-25 15:21:26 -0400
• a516a46359 docs(lean4): rev 5 round 1 — fix the empty-marker case, sweep citations Levi Neuwirth 2026-07-25 15:17:51 -0400
• 9a0df21618 docs: frame the GPU terminal double layout-sync defect Levi Neuwirth 2026-07-25 15:09:07 -0400
• 8b685dc127 docs: record dired Stage 1 (PR #165) and what it falsified Levi Neuwirth 2026-07-25 15:08:24 -0400
• 0fe1051d25 docs(lean4): rev 5 — re-scout Stage 3 and split it into 3a and 3b Levi Neuwirth 2026-07-25 15:05:44 -0400
• e7fa9e9720 test(dired): teach describe.key about mode scope; drop one overclaim Levi Neuwirth 2026-07-25 15:03:19 -0400
• f71055a206 feat(dired): the directory view (Stage 1) Levi Neuwirth 2026-07-25 14:54:58 -0400
• 7071c27757 Merge githubsucks/main (46a1b8f) into inline-math-slice Levi Neuwirth 2026-07-25 14:48:47 -0400
• 46a1b8fc88
  Merge pull request #161 from levineuwirth/lsp-multi-root-affinity Levi Neuwirth 2026-07-25 18:41:25 +0000
• 8b457de878 docs: record the post-integration gate run Levi Neuwirth 2026-07-25 14:37:15 -0400
• f3e065dc78 Merge canonical main (8c86d34) into the inline-math slice Levi Neuwirth 2026-07-25 14:32:48 -0400
• b5bea3b2f5 docs(coherence): record the dead reporting channel and #161's slice Levi Neuwirth 2026-07-25 14:28:56 -0400
• 3952db9657 Merge remote-tracking branch 'githubsucks/main' into HEAD Levi Neuwirth 2026-07-25 14:26:21 -0400
• ebcd2c4f6f fix(lsp): attribute a failing root resolver (COHERENCE §1.2) Levi Neuwirth 2026-07-25 14:24:59 -0400
• 8c86d344c3
  Merge pull request #164 from levineuwirth/dired-framing Levi Neuwirth 2026-07-25 18:21:03 +0000
• 7c01c93226 docs: dired arc framing (revision 5) + post-merge doc refresh Levi Neuwirth 2026-07-25 14:09:49 -0400
• 2af1ab34a6
  Merge pull request #162 from levineuwirth/find-file Levi Neuwirth 2026-07-25 18:03:18 +0000
• 90ccda0c29
  Merge pull request #163 from levineuwirth/coherence-doc Levi Neuwirth 2026-07-25 15:38:02 +0000
• 066b8652b8 docs: add COHERENCE.md as a required doc, audited against the codebase Levi Neuwirth 2026-07-25 11:37:21 -0400
• 0b0d5acd81 fix(find-file): review round 1 -- name the real test, pin two gaps Levi Neuwirth 2026-07-25 11:33:46 -0400