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

• aea5097890 docs(framing): revision 3 of the resource-op delete guard Levi Neuwirth 2026-07-28 19:01:19 -0400
• ef56e55f00 Merge remote-tracking branch 'githubsucks/main' into generated-buffer-immutability Levi Neuwirth 2026-07-28 19:00:43 -0400
• 3ecb03d949 Close review round 1: five findings, plus one the sweep found Levi Neuwirth 2026-07-28 18:52:43 -0400
• e1e9b44154 docs(framing): revision 2 of the resource-op delete guard Levi Neuwirth 2026-07-28 18:23:52 -0400
• aae113ba76 docs(framing): guard the resource-op delete arm against data loss Levi Neuwirth 2026-07-28 17:54:05 -0400
• fd7ae37071 docs: dired Stage 2 framing rev 7 — cross-lane reconciliation with #186 Levi Neuwirth 2026-07-28 18:46:09 -0400
• 7586905bb0
  Merge pull request #189 from levineuwirth/coherence-listview-adoption Levi Neuwirth 2026-07-28 22:41:31 +0000
• 516bd3579a docs(framing): generated-buffer immutability, revision 2 Levi Neuwirth 2026-07-28 18:32:05 -0400
• 0dd0bf21c3 docs(coherence): correct §14's listview adoption claim Levi Neuwirth 2026-07-28 18:26:02 -0400
• bc16716b86 docs: dired Stage 2 framing rev 6 — review round 5 (4 P1, 2 P2) Levi Neuwirth 2026-07-28 17:59:54 -0400
• 9101bf5b78 docs(framing): generated-buffer immutability, revision 1 Levi Neuwirth 2026-07-28 17:57:57 -0400
• cbaeb1148f merge: integrate landed main (#174, #185) into this slice Levi Neuwirth 2026-07-28 17:50:27 -0400
• 259bfdb5ca docs(active-work): refresh this lane to match revision 5 Levi Neuwirth 2026-07-28 17:37:39 -0400
• 37f1ca936b Keep the passive-panel fixture inside its buffer Levi Neuwirth 2026-07-28 17:34:40 -0400
• a251b89e2b Pin the two epoch races the session check alone cannot see Levi Neuwirth 2026-07-28 17:32:27 -0400
• 817b134ae8 Produce PanelFrame and gate the inbound panel events Levi Neuwirth 2026-07-28 17:28:43 -0400
• e7f811be3b docs: integrate main @ ad41cf1 and record what the ledger now needs Levi Neuwirth 2026-07-28 17:24:02 -0400
• fa14d39a0f Merge remote-tracking branch 'githubsucks/main' into dired-stage2-framing Levi Neuwirth 2026-07-28 17:23:05 -0400
• a69cd0b170 docs: integrate main @ 0442d78 and confirm the rooturi deferral Levi Neuwirth 2026-07-28 17:21:43 -0400
• ad41cf15c2
  Merge pull request #185 from levineuwirth/docs-landed-state-184 Levi Neuwirth 2026-07-28 21:20:43 +0000
• aba02c8df6 Merge remote-tracking branch 'githubsucks/main' into dired-stage2-framing Levi Neuwirth 2026-07-28 17:20:35 -0400
• 8ddc8a7a5f docs: dired Stage 2 framing rev 5 — re-scout against main @ 6bee09d Levi Neuwirth 2026-07-28 17:18:25 -0400
• 81f54e23a9 Add the frame-geometry epoch machine and the panel projection Levi Neuwirth 2026-07-28 17:06:36 -0400
• 6fc7fee044 docs: absorb #174 and advance the anchors to 0442d78 Levi Neuwirth 2026-07-28 17:04:17 -0400
• 0d6ede2cbb Merge remote-tracking branch 'githubsucks/main' into docs-landed-state-184 Levi Neuwirth 2026-07-28 17:00:17 -0400
• 0442d78bfb
  Merge pull request #174 from levineuwirth/fix-m4-sink-races Levi Neuwirth 2026-07-28 20:59:35 +0000
• 55122ba912 Merge remote-tracking branch 'githubsucks/main' into dired-stage2-framing Levi Neuwirth 2026-07-28 16:46:35 -0400
• a159200756 docs(active-work): give the two open PRs the lanes they never had Levi Neuwirth 2026-07-28 16:42:00 -0400
• 302c21c688 Merge remote-tracking branch 'githubsucks/main' into fix-m4-sink-races Levi Neuwirth 2026-07-28 16:31:13 -0400
• e05ac819b5 docs: sync the durable records to landed main @ 6bee09d Levi Neuwirth 2026-07-28 16:28:21 -0400
• 6bee09dc98
  Merge pull request #184 from levineuwirth/bottom-panel-stage2b Levi Neuwirth 2026-07-28 19:46:31 +0000
• 5539b6e8c6 Record the fixture-specific PR 184 probe fix Levi Neuwirth 2026-07-28 15:29:55 -0400
• 9c79ce13b2 Fix fixture-specific GPU probe completion Levi Neuwirth 2026-07-28 15:28:14 -0400
• 80b761bb03 Record the regated PR 184 review head Levi Neuwirth 2026-07-28 14:29:04 -0400
• 9e20175dad Wait for required PTY output in the GPU probe Levi Neuwirth 2026-07-28 14:17:43 -0400
• ab7c207904 Keep the v21 panel wire dark for v20 clients Levi Neuwirth 2026-07-28 14:08:17 -0400
• f82d91ed3a docs(active-work): record bottom-panel 2B-1 PR Levi Neuwirth 2026-07-28 12:51:42 -0400
• 17867ace0e docs(active-work): record integrated 2B-1 gates Levi Neuwirth 2026-07-28 12:44:27 -0400
• c8895a85d3 Merge canonical main into bottom-panel Stage 2B-1 Levi Neuwirth 2026-07-28 11:38:19 -0400
• 7fd646dcac
  Merge pull request #183 from levineuwirth/journey-gpu-directory-ratchet Levi Neuwirth 2026-07-28 15:22:40 +0000
• 22c1b14b18 docs(active-work): record review-round cleanup gates Levi Neuwirth 2026-07-28 11:03:36 -0400
• dc2dc42627 test(journey): retain daemon cleanup while awaiting dired Levi Neuwirth 2026-07-28 11:02:48 -0400
• 22dc46c184 docs(active-work): record public-path gates Levi Neuwirth 2026-07-28 10:33:26 -0400
• 34b8f28cf2 test(journey): ratchet the public GPU directory path Levi Neuwirth 2026-07-28 10:27:22 -0400
• 3be4285f7c docs(active-work): record review-round gates Levi Neuwirth 2026-07-28 10:01:18 -0400
• ec4191fd8e test(journey): pin post-quiescence GPU dired surface Levi Neuwirth 2026-07-28 09:48:48 -0400
• c2b855e252 docs(active-work): record directory ratchet PR Levi Neuwirth 2026-07-27 23:19:05 -0400
• a5107ca32d docs(active-work): record directory ratchet gates Levi Neuwirth 2026-07-27 23:15:10 -0400
• 486ce16748 test(journey): ratchet directory GPU bootstrap success Levi Neuwirth 2026-07-27 22:53:36 -0400
• b9123c2f6d test(protocol): advance touched-suite ratchets to v21 Levi Neuwirth 2026-07-27 22:39:15 -0400
• d88d60eba6 Merge canonical main into bottom-panel Stage 2B-1 Levi Neuwirth 2026-07-27 22:16:11 -0400
• c2d56ff48b
  Merge pull request #182 from levineuwirth/journey-stage1a-directory-open Levi Neuwirth 2026-07-28 01:54:31 +0000
• 7a3a55de40 docs(active-work): remove the landed Lean 4 lane Levi Neuwirth 2026-07-27 21:47:01 -0400
• 56301eda02 docs(panel): Stage 2 framing rev 5 — the three-way slice of 2B Levi Neuwirth 2026-07-26 20:02:19 -0400
• d0817314f9 merge: fold the terminal landed-docs PR (#180) into this branch Levi Neuwirth 2026-07-26 18:36:55 -0400
• 8e31ca4646 Merge remote-tracking branch 'githubsucks/main' into journey-stage1a-directory-open Levi Neuwirth 2026-07-26 18:33:44 -0400
• 4cf1b63198 docs(active-work): the journey suite is 24 pins, not 23 Levi Neuwirth 2026-07-26 18:33:26 -0400
• 42025e4acb
  Merge pull request #181 from levineuwirth/lean4-stage4b-input-method Levi Neuwirth 2026-07-26 22:23:55 +0000
• 7741cf806a fix(journey): honor the captured window, not the selected one Levi Neuwirth 2026-07-26 18:20:02 -0400
• 9b364adc26 fix(panel): review round 1 — buffer_id, the transport ratchet, shared bounds Levi Neuwirth 2026-07-26 17:31:04 -0400
• d9d1c0b423 test(journey): pin the destination commit, and land the doc updates Levi Neuwirth 2026-07-26 17:25:22 -0400
• d1bff6ac30 fix(lean4): count fan-outs where a claim cannot skip the count Levi Neuwirth 2026-07-26 17:15:24 -0400
• 0d7ec7e3a6 fix(lean4): tie the deferred expansion to the fan-out that queued it Levi Neuwirth 2026-07-26 17:00:58 -0400
• 8af529b65d test(protocol): move the version ladder pins to v21 Levi Neuwirth 2026-07-26 16:59:51 -0400
• 640c5cd0d2 feat(panel): bottom-panel Stage 2B — the v21 protocol layer Levi Neuwirth 2026-07-26 16:52:54 -0400
• f3103a6953 fix(lean4): defer the expansion past the chain, and guard its point Levi Neuwirth 2026-07-26 16:47:54 -0400
• d2ab3761c7 docs: correct the non-adopter attribution and two stale anchors Levi Neuwirth 2026-07-26 16:45:12 -0400
• 25b07be97b fix(journey): correct Q#JR3, report the post-dispatch buffer, unvacuate two pins Levi Neuwirth 2026-07-26 16:39:23 -0400
• f09f66ce37 feat(journey): open a directory, on one path Levi Neuwirth 2026-07-26 16:20:54 -0400
• dd9f380533 docs(active-work): record Journey Stage 1a branch and ordering Levi Neuwirth 2026-07-26 15:01:17 -0400
• 600b3d0c7d docs: framing for Journey Stage 1a (directory open on one path) Levi Neuwirth 2026-07-26 15:00:17 -0400
• d14fe4c4b9 Merge githubsucks/main (#169, #176) into docs-terminal-copy-mode-landed Levi Neuwirth 2026-07-26 16:37:41 -0400
• f8ca722d66 merge: integrate main (74301d1) into Stage 4b Levi Neuwirth 2026-07-26 16:37:19 -0400
• e4c9d65231 docs: fix five review-round-5 findings in the landed-doc refresh Levi Neuwirth 2026-07-26 16:28:04 -0400
• a53965474d feat(lean4): the Unicode input method (Arc 8 Stage 4b) Levi Neuwirth 2026-07-26 16:24:06 -0400
• 74301d1670
  Merge pull request #169 from levineuwirth/docs-dired-stage1-landed Levi Neuwirth 2026-07-26 20:23:39 +0000
• bf8878f4fa
  Merge pull request #176 from levineuwirth/pty-terminate-eperm Levi Neuwirth 2026-07-26 20:23:27 +0000
• c5c9f3f13a Merge branch 'main' into pty-terminate-eperm Levi Neuwirth 2026-07-26 16:09:48 -0400
• 4182270fd3 Merge branch 'main' into docs-dired-stage1-landed Levi Neuwirth 2026-07-26 15:57:13 -0400
• 44f5e44b9f docs: record #168 and #178 as landed, and the generated-buffer invariant Levi Neuwirth 2026-07-26 15:48:03 -0400
• f3e0b98ced Merge branch 'main' into docs-dired-stage1-landed Levi Neuwirth 2026-07-26 15:41:58 -0400
• fe8b8ba4c6
  Merge pull request #178 from levineuwirth/terminal-copy-mode Levi Neuwirth 2026-07-26 19:16:57 +0000
• 8943b4c277 Merge branch 'main' into pty-terminate-eperm Levi Neuwirth 2026-07-26 15:00:49 -0400
• 1b44c69a53 Merge remote-tracking branch 'githubsucks/main' into terminal-copy-mode Levi Neuwirth 2026-07-26 14:59:09 -0400
• 1b6a0844ae
  Merge pull request #168 from levineuwirth/gpu-terminal-input-docs Levi Neuwirth 2026-07-26 18:58:30 +0000
• a58bb110bc docs(terminal): qualify process flake attribution Levi Neuwirth 2026-07-26 14:54:37 -0400
• 42f601a7ec Merge branch 'main' into gpu-terminal-input-docs, and refresh the ledger Levi Neuwirth 2026-07-26 14:43:43 -0400
• b123c0b9fe Merge branch 'main' into docs-dired-stage1-landed Levi Neuwirth 2026-07-26 14:40:13 -0400
• 23c966cc31 docs(terminal): restate criterion 17's bite for the fixed substrate Levi Neuwirth 2026-07-26 14:38:22 -0400
• 9e6c166c57 Merge branch 'main' into pty-terminate-eperm Levi Neuwirth 2026-07-26 14:32:15 -0400
• a27f6467ea
  Merge pull request #179 from levineuwirth/lean4-stage4a-typed-edit-chain Levi Neuwirth 2026-07-26 18:00:48 +0000
• ea9b8c379e docs(lean4): correct Q#LN10's throw-containment rationale Levi Neuwirth 2026-07-26 13:43:30 -0400
• a0fb01f24c fix(buffer): fan out generated writes, and clear the history that exists Levi Neuwirth 2026-07-26 13:43:22 -0400
• aef4e98c26 fix(typed-edit): close round-8 review on the consumer chain Levi Neuwirth 2026-07-26 13:39:33 -0400
• 0a3fcd1942
  Merge pull request #177 from levineuwirth/bottom-panel-stage2a Levi Neuwirth 2026-07-26 17:28:49 +0000
• 842417200a fix(panel): close Stage 2A review round 3 (2 P1) Levi Neuwirth 2026-07-26 13:18:05 -0400
• 8c5b39ef32 fix(buffer): make generated buffers survive undo Levi Neuwirth 2026-07-26 13:12:08 -0400
• c7072b49e9 docs: record the Stage 4a lane and its bite table Levi Neuwirth 2026-07-26 13:05:41 -0400
• 24ca906294 feat(typed-edit): the typed-edit consumer chain (Arc 8 Stage 4a) Levi Neuwirth 2026-07-26 13:00:03 -0400
• 174e36fce3 docs(lean4): reconcile peer edits with pending ownership Levi Neuwirth 2026-07-26 10:49:43 -0400