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

• 01de6c8cdc
  docs(lane): #247 merged as 27743fd main Levi Neuwirth 2026-09-02 21:52:30 +0200
• 27743fd8a0
  Merge pull request #247 from levineuwirth/gui-stage1b-pointer-scroll Levi Neuwirth 2026-09-02 21:08:47 +0200
• 72a34889a2
  docs(lane): CI is green at 5fcc3a3, 14 of 14 Levi Neuwirth 2026-09-02 20:45:31 +0200
• 5fcc3a3feb
  docs: record PR 247 review fixes and gate Levi Neuwirth 2026-09-02 20:11:38 +0200
• ef2592020d
  fix(gpu): present horizontal wheel and reset replaced panels Levi Neuwirth 2026-09-02 20:02:09 +0200
• c4b1505179
  docs(lane): 1b is in review as PR #247 Levi Neuwirth 2026-09-02 16:46:11 +0200
• 3a2816b019
  docs: correct Stage 1b gate evidence Levi Neuwirth 2026-09-02 16:06:09 +0200
• 9a3a78f222
  docs(lane): the pre-PR gate is green at 04ebd2f Levi Neuwirth 2026-09-02 15:48:23 +0200
• 04ebd2f39d
  docs: U21, and two ways I misread a gate that had already failed Levi Neuwirth 2026-09-02 14:47:47 +0200
• fd9401e57f
  docs(lane): record the exact step-3 witness Levi Neuwirth 2026-09-02 14:17:09 +0200
• 9ec4ff1f33
  test(gui-1b): make the panel effect witness exact Levi Neuwirth 2026-09-02 14:13:55 +0200
• a3b0bb8f07
  docs(lane): step 3 counted events; record what it counts now Levi Neuwirth 2026-09-02 13:47:37 +0200
• e50f38ae20
  test(gui-1b): step 3 witnesses the panel viewport, not the emitted event Levi Neuwirth 2026-09-02 13:47:18 +0200
• a7006faf47
  fix(gui-1b): terminal disposal, and two rows that a broken bank passed Levi Neuwirth 2026-09-02 13:37:33 +0200
• 45775c0691
  docs(lane): 1b's implementation and evidence are complete Levi Neuwirth 2026-09-02 13:16:10 +0200
• 241e82e30e
  feat(gui-1b): B1's disposal half --- a bank does not outlive its panel Levi Neuwirth 2026-09-02 13:15:05 +0200
• e5ab16cf12
  test(gui-1b): R4 and R5 --- residuals do not survive a replacement Levi Neuwirth 2026-09-02 10:44:31 +0200
• 302ce14095
  test(gui-1b): step 3's fractional panel wheel, per axis Levi Neuwirth 2026-09-02 10:43:01 +0200
• 07cd60a038
  docs(gui-1b): make revision 21's lifetime tables authoritative Levi Neuwirth 2026-09-02 10:36:39 +0200
• 7f7f1563a4
  test(gui-1b): make the GPU lifetime witnesses discriminate Levi Neuwirth 2026-09-02 10:34:17 +0200
• 2166c4290b
  docs: GPU authority is structural, and the framing said otherwise Levi Neuwirth 2026-09-02 00:45:45 +0200
• 269c52e5a7
  feat(gui-1b): delete the GPU latch; split its rows; clamp the fast path Levi Neuwirth 2026-09-02 00:45:31 +0200
• a60793b3ca
  docs(lane): the GPU latch is unreachable; record what replaced L2 Levi Neuwirth 2026-09-02 00:36:02 +0200
• ec6444ed25
  feat(gui-1b): the GPU's clause 3, and why its L2 cannot witness the latch Levi Neuwirth 2026-09-02 00:35:39 +0200
• feda8517f8
  feat(gui-1b): L7b --- clause 3's other half, a content shrink Levi Neuwirth 2026-09-02 00:30:59 +0200
• 2ec509b6d0
  docs(gui-1b): finish the four-path census correction Levi Neuwirth 2026-09-02 00:11:58 +0200
• 75a037aecb
  docs: the census was wrong twice, and "budget excess" named the wrong budget Levi Neuwirth 2026-09-01 23:52:02 +0200
• deb3f0b101
  fix(gui-1b): the fourth replacement path, and a probe open at one end Levi Neuwirth 2026-09-01 23:51:50 +0200
• 0ce3544bf0
  docs: U20 claimed exoneration the reruns cannot support Levi Neuwirth 2026-09-01 22:00:21 +0200
• a2d5b2657b
  fix(gui-1b): clause 5 for the TUI's three buffer-replacement paths Levi Neuwirth 2026-09-01 21:59:58 +0200
• cf75a51867
  docs: U20, the shared-target red's third occurrence, and the latch entry Levi Neuwirth 2026-09-01 21:35:45 +0200
• 9cb610ecd6
  feat(gui-1b): the TUI half of the manual horizontal authority latch Levi Neuwirth 2026-09-01 21:34:09 +0200
• 2a90aa2a7a
  docs(lane): stop the checkpoint from certifying itself Levi Neuwirth 2026-09-01 21:10:32 +0200
• 4e6ca51607
  docs(lane): refresh the recovery checkpoint past B5 Levi Neuwirth 2026-09-01 20:46:12 +0200
• f441d3dc55
  fix(gui-1b): B6's inertness row asserted neither its surface nor silence Levi Neuwirth 2026-09-01 20:45:29 +0200
• 2dccc2b69c
  feat(gui-1b): B6's routing rows --- the minimap scrolls the document Levi Neuwirth 2026-09-01 20:29:48 +0200
• a0705399e2
  docs(lane): withdraw the unverified CI cache analogue Levi Neuwirth 2026-09-01 20:21:55 +0200
• 7a534eeeca
  docs(lane): the registry does hold local reds --- fix the stated reason Levi Neuwirth 2026-09-01 19:59:38 +0200
• 3bd9ad14e7
  docs(lane): the shared target directory's false compile red Levi Neuwirth 2026-09-01 19:43:21 +0200
• bd0815c240
  docs(gui-1b): the reshape-tail mutation fires five rows, not three Levi Neuwirth 2026-09-01 19:39:42 +0200
• cc07642b04
  docs(lane): record the completed B5 panel geometry seam Levi Neuwirth 2026-09-01 19:18:39 +0200
• 175cc7be16
  fix(gui-1b): settle B5 across panel geometry transitions Levi Neuwirth 2026-09-01 19:08:05 +0200
• 392703bfc9
  docs(lane): B5 lands, and the shape of how it kept not landing Levi Neuwirth 2026-09-01 14:43:05 +0200
• a4627cdfbb
  fix(gui-1b): B5 --- re-derive the cursor icon where geometry settles Levi Neuwirth 2026-09-01 14:42:26 +0200
• 7ed5c42d9d
  fix(gui-1b): B5 --- the snapshot path closes the menu too Levi Neuwirth 2026-09-01 14:31:01 +0200
• e8bc6750ae
  fix(gui-1b): B5 --- the icon follows the MENU'S LIFECYCLE, not motion Levi Neuwirth 2026-09-01 14:23:33 +0200
• 6ad0c448b1
  fix(gui-1b): B5 --- witness the motion path, the blank, and the menu Levi Neuwirth 2026-09-01 14:16:27 +0200
• 9f24dceb6a
  feat(gui-1b): B5 --- an I-beam over text content, and nowhere else Levi Neuwirth 2026-09-01 14:03:04 +0200
• cfd8f6ba28
  docs(lane): two precision fixes, and make 1b's block a real checkpoint Levi Neuwirth 2026-09-01 13:47:26 +0200
• 5dd201485c
  docs(lane): open 1b's ledger block, with three infrastructure gaps Levi Neuwirth 2026-09-01 12:48:44 +0200
• f4f3d63bc1
  docs(gui-1b): repair B4's stale references and a duplicated sentence Levi Neuwirth 2026-09-01 12:48:19 +0200
• 1799aa28c8
  fix(gui-1b): make B4's off-Linux leg actually run, and assert whole Steps Levi Neuwirth 2026-09-01 12:38:29 +0200
• 200fc16ba2
  fix(gui-1b): assert B4's off-Linux inertness where the effect would be Levi Neuwirth 2026-09-01 12:21:32 +0200
• 3a4a748316
  fix(gui-1b): B4 --- witness the production effect, drop the unframed fallback Levi Neuwirth 2026-09-01 12:14:16 +0200
• 493db8f965
  feat(gui-1b): B4 --- a middle click pastes the PRIMARY selection Levi Neuwirth 2026-09-01 11:43:30 +0200
• 5371229b9a
  test(gui-1b): the split row now guarantees its own setup Levi Neuwirth 2026-09-01 11:32:48 +0200
• 951c6447b3
  test(gui-1b): make B7's witnesses discriminate what they claim to Levi Neuwirth 2026-09-01 11:18:38 +0200
• db18261a5d
  feat(gui-1b): B7 --- the TUI's horizontal axis, which used to vanish Levi Neuwirth 2026-09-01 11:00:20 +0200
• 364eb7b095
  refactor(gpu): the rich-text projection delegates too Levi Neuwirth 2026-09-01 10:42:07 +0200
• 9e54cd2c5b
  refactor: put the display-column rule where both frontends share it Levi Neuwirth 2026-09-01 10:34:00 +0200
• d3d720ba8a
  feat(gui-1b): B2's horizontal leg --- the panel origin actually moves Levi Neuwirth 2026-09-01 10:07:23 +0200
• 0f29530dd8
  fix(gui-1b): notch units, minimap inertness, document-wide bound Levi Neuwirth 2026-09-01 00:00:59 +0200
• 2d19713b0e
  feat(gui-1b): B1's per-target fractional wheel residual Levi Neuwirth 2026-08-31 22:54:44 +0200
• 204998351b
  docs(framing): revision 20 --- the both-axis witness was vacuous Levi Neuwirth 2026-08-31 22:24:12 +0200
• 8b8b6982ae
  docs(framing): revision 20 --- three blockers from review Levi Neuwirth 2026-08-31 21:51:34 +0200
• 12b37742a7
  docs(framing): revision 20 --- §2a re-measured at 0ec13b3 Levi Neuwirth 2026-08-31 21:40:14 +0200
• bd595bd148
  docs(framing): revision 19 --- reconcile two lineages that both said 13 Levi Neuwirth 2026-08-31 21:15:49 +0200
• 6882ec5e96
  docs(framing): mark Stage 1 revision 18 approved Levi Neuwirth 2026-08-14 13:20:14 +0200
• fff1779677
  docs(framing): Stage 1 revision 18 --- residuals that outlive the buffer, and two overclaims narrowed Levi Neuwirth 2026-08-14 13:11:56 +0200
• 836f417313
  docs(framing): Stage 1 revision 17 --- B1's other two separations, and a false concurrency claim withdrawn Levi Neuwirth 2026-08-14 10:48:25 +0200
• cf63f63a07
  docs(framing): Stage 1 revision 16 --- the replay lane becomes a hard prerequisite Levi Neuwirth 2026-08-14 10:30:13 +0200
• a330658feb
  docs(framing): Stage 1 revision 15 --- B1 fully ruled, and three defects in 14 Levi Neuwirth 2026-08-14 09:57:01 +0200
• e94ce85be1
  docs(framing): Stage 1 revision 14 --- Q#S1-11 ruled B, and two holes closed Levi Neuwirth 2026-08-13 23:21:28 +0200
• ce982e6701
  docs(framing): Stage 1 revision 13 --- 1b ground truth, and Q#S1-11 Levi Neuwirth 2026-08-13 22:27:57 +0200
• 0ec13b3953
  docs(ci-reds): U16's third occurrence, and the first on `main` Levi Neuwirth 2026-08-31 21:02:45 +0200
• 90238fbe51
  docs(lane): #246 merged as 78346de Levi Neuwirth 2026-08-31 20:56:49 +0200
• 78346de19a
  Merge pull request #246 from levineuwirth/crdt-identity-undo Levi Neuwirth 2026-08-31 20:56:09 +0200
• 093d677c05
  docs(ci-reds): U19's title repeated the claim its body withdraws Levi Neuwirth 2026-08-31 20:28:58 +0200
• 03204cc8af
  docs(ci-reds): U19 WAS rerun, and three more overstatements withdrawn Levi Neuwirth 2026-08-31 20:17:45 +0200
• ea786a2878
  docs(ci-reds): U16 reproduced, and U19 is new Levi Neuwirth 2026-08-31 19:47:09 +0200
• 7ce03018f8
  docs(ci-reds): R7 has TWELVE occurrences --- absorb the two owed ones Levi Neuwirth 2026-08-31 19:40:57 +0200
• 28c2ad4463
  docs(ci-reds): renumber R7 by date, and five corrections Levi Neuwirth 2026-08-31 17:26:47 +0200
• 7d819902ff
  docs(ci-reds): R7's ninth occurrence Levi Neuwirth 2026-08-31 16:25:11 +0200
• 65b40897bd
  docs(ci-reds): fix the serial-run arithmetic, U9's scope, and add U18 Levi Neuwirth 2026-08-31 16:17:43 +0200
• a7c4b3adec
  docs(ci-reds): U9's control is VOID --- cargo runs test binaries serially Levi Neuwirth 2026-08-31 15:05:36 +0200
• 088f24e1bb
  docs(ci-reds): U16's real mechanism is child inheritance; narrow U17 Levi Neuwirth 2026-08-31 11:36:49 +0200
• 4aa3853ebe
  docs(ci-reds): R6 recurs with fragments, and its control finds U17 on main Levi Neuwirth 2026-08-31 11:28:11 +0200
• e87d22796d
  docs(ci-reds): U16 --- a git invocation with a deleted working directory Levi Neuwirth 2026-08-31 10:37:23 +0200
• 169ea1892c
  docs(ci-reds): four subsystems, and U7 already had a load number Levi Neuwirth 2026-08-31 10:30:15 +0200
• dd3f3db839
  docs(lane): name every gated head, not just the last one I wrote down Levi Neuwirth 2026-08-30 22:50:46 +0200
• 6ddce0ff29
  docs(ci-reds): split U15 out of U14, and stop overstating the load Levi Neuwirth 2026-08-30 22:19:03 +0200
• 2c2430332e
  docs(ci-reds): U14 gains the number U6 and U7 have wanted since August Levi Neuwirth 2026-08-30 20:04:58 +0200
• ff9e1cbf0b
  fix(crdt): allow match_same_arms, and record why the gate missed it Levi Neuwirth 2026-08-30 19:56:50 +0200
• e0fcfe3e9b
  docs(ci-reds): U14, and U6's direction claim withdrawn within the hour Levi Neuwirth 2026-08-30 19:28:10 +0200
• 099b5a7383
  docs: narrow R7's causal claim, and record U6's first reproduction Levi Neuwirth 2026-08-30 19:19:35 +0200
• b3c90a7949
  fix(crdt): enumerate the invariant over three axes, not two Levi Neuwirth 2026-08-30 19:19:35 +0200
• c597f9c3e4
  docs(ci-reds): R7's eighth occurrence, and the pair that discriminates Levi Neuwirth 2026-08-30 18:02:36 +0200
• 96bf2c3dfd
  docs(lane): the identity-undo lane is taken, and corrects its own block Levi Neuwirth 2026-08-30 17:56:05 +0200
• db24ae3010
  fix(crdt): key the crdt_op shape invariant on provenance Levi Neuwirth 2026-08-30 17:41:31 +0200
• 5fedd15a3d
  docs: frame the identity-replace undo lane Levi Neuwirth 2026-08-30 17:41:16 +0200