WIP: save local changes before main merge

This commit is contained in:
Luca Martial 2026-05-11 14:45:08 -07:00
parent 8b342b760c
commit 77223ad772
12 changed files with 116 additions and 12 deletions

View file

@ -62,7 +62,7 @@ function recoverableStructuredFailureKey(entry: ToolCallLogEntry): string | null
if (!isStructuredToolFailure(entry.output)) {
return null;
}
if (entry.toolName === 'wiki_write') {
if (entry.toolName === 'wiki_write' || entry.toolName === 'wiki_remove') {
return wikiTargetKey(entry);
}
if (entry.toolName === 'sl_write_source') {
@ -75,7 +75,7 @@ function recoverableStructuredSuccessKey(entry: ToolCallLogEntry): string | null
if (!isStructuredToolSuccess(entry.output)) {
return null;
}
if (entry.toolName === 'wiki_write') {
if (entry.toolName === 'wiki_write' || entry.toolName === 'wiki_remove') {
return wikiTargetKey(entry);
}
if (entry.toolName === 'sl_write_source' || entry.toolName === 'sl_edit_source') {