Repository navigation
Commit 1deddcd
committed
fix(checkpoints): journal the write before bookkeeping can strand it
EditFileTool and WriteToFileTool both ran trackFileContext and
pushToolWriteResult between the write landing and checkpointSave, so a
throw from either post-write call left a completed write with no
checkpoint and no journal entry. The checkpoint block moves whole to sit
directly after the write branches in each file, with the perWriteCheckpoints
guard and the approval diff statistics already in scope, and no line of the
block changed. The no-op update test in the patch tool specification now
asserts the journal argument the call actually carries, an empty entry list,
instead of only the call count.1 parent aa86dc7 commit 1deddcd
3 files changed
Lines changed: 25 additions & 24 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
451 | 451 | | |
452 | 452 | | |
453 | 453 | | |
454 | | - | |
455 | | - | |
456 | | - | |
457 | | - | |
458 | | - | |
459 | | - | |
460 | | - | |
461 | | - | |
462 | | - | |
463 | | - | |
464 | | - | |
465 | | - | |
466 | | - | |
467 | | - | |
468 | 454 | | |
469 | 455 | | |
470 | 456 | | |
| |||
480 | 466 | | |
481 | 467 | | |
482 | 468 | | |
| 469 | + | |
| 470 | + | |
| 471 | + | |
| 472 | + | |
| 473 | + | |
| 474 | + | |
| 475 | + | |
| 476 | + | |
| 477 | + | |
| 478 | + | |
| 479 | + | |
| 480 | + | |
| 481 | + | |
| 482 | + | |
483 | 483 | | |
484 | 484 | | |
485 | 485 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
175 | 175 | | |
176 | 176 | | |
177 | 177 | | |
178 | | - | |
179 | | - | |
180 | | - | |
181 | | - | |
182 | | - | |
183 | | - | |
184 | | - | |
185 | | - | |
186 | | - | |
187 | | - | |
188 | 178 | | |
189 | 179 | | |
190 | 180 | | |
| |||
200 | 190 | | |
201 | 191 | | |
202 | 192 | | |
| 193 | + | |
| 194 | + | |
| 195 | + | |
| 196 | + | |
| 197 | + | |
| 198 | + | |
| 199 | + | |
| 200 | + | |
| 201 | + | |
| 202 | + | |
203 | 203 | | |
204 | 204 | | |
205 | 205 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
381 | 381 | | |
382 | 382 | | |
383 | 383 | | |
| 384 | + | |
384 | 385 | | |
385 | 386 | | |
386 | 387 | | |
| |||
0 commit comments