@caupulican/pi-agent-core 0.93.8 → 0.93.10

package/dist/tool-failure-memory.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tool-failure-memory.d.ts","sourceRoot":"","sources":["../src/tool-failure-memory.ts"],"names":[],"mappings":"AAAA,OAAO,EAGN,KAAK,gBAAgB,EACrB,MAAM,wCAAwC,CAAC;AAChD,OAAO,KAAK,EAAoB,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAKnF,OAAO,KAAK,EAAE,YAAY,EAAiB,eAAe,EAAE,MAAM,YAAY,CAAC;AAG/E,QAAA,MAAM,2BAA2B,IAAI,CAAC;AACtC,QAAA,MAAM,8BAA8B,IAAI,CAAC;AACzC,QAAA,MAAM,0BAA0B,eAAoC,CAAC;AAsBrE,MAAM,MAAM,gBAAgB,GAAG,QAAQ,GAAG,UAAU,CAAC;AAErD,MAAM,WAAW,uBAAuB;IACvC,OAAO,EAAE,OAAO,2BAA2B,CAAC;IAC5C,UAAU,EAAE,MAAM,CAAC;IACnB,qFAAqF;IACrF,QAAQ,CAAC,CAAC,0BAA0B,CAAC,CAAC,EAAE,MAAM,CAAC;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,gBAAgB,CAAC;IACxB,KAAK,EAAE,gBAAgB,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,mHAAmH;IACnH,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,mHAAmH;IACnH,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,kFAAkF;IAClF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,CAAC,EAAE,SAAS,CAAC;CAC1B;AAED,MAAM,WAAW,yBAAyB;IACzC,wGAAwG;IACxG,MAAM,EAAE,MAAM,CAAC;IACf,wFAAwF;IACxF,eAAe,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,wBAAwB;IACxC,mBAAmB,EAAE,uBAAuB,CAAC;CAC7C;AAED,MAAM,WAAW,2BAA2B;IAC3C,sBAAsB,EAAE;QACvB,OAAO,EAAE,OAAO,8BAA8B,CAAC;QAC/C,KAAK,EAAE,gBAAgB,CAAC;QACxB,KAAK,EAAE,gBAAgB,CAAC;QACxB,WAAW,EAAE,MAAM,CAAC;QACpB,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;KACnB,CAAC;CACF;AAED,MAAM,MAAM,wBAAwB,GAAG,wBAAwB,GAAG,2BAA2B,CAAC;AAE9F,MAAM,MAAM,wBAAwB,GAAG,GAAG,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;AA6B5E,mFAAmF;AACnF,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAI9E;AA6SD,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAK9E;AA8BD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,MAAM,CAEvE;AAED,2FAA2F;AAC3F,wBAAgB,4BAA4B,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAY5G;AAED,wBAAgB,gCAAgC,CAAC,MAAM,EAAE,uBAAuB,GAAG,MAAM,GAAG,SAAS,CAEpG;AAED,wBAAgB,wBAAwB,CACvC,OAAO,EAAE,wBAAwB,EACjC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,OAAO,GACX,uBAAuB,GAAG,SAAS,CAErC;AAED,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,GAAG,SAAS,CAOxF;AAED,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAE9E;AAED,uGAAuG;AACvG,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAE3E;AAED,wBAAgB,wBAAwB,CACvC,MAAM,EAAE,iBAAiB,EACzB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,OAAO,GACX,uBAAuB,CAsBzB;AAED,MAAM,WAAW,gBAAgB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,iBAAiB,CAAC;CAC1B;AAED,wBAAgB,uBAAuB,CACtC,QAAQ,EAAE,SAAS,YAAY,EAAE,EACjC,KAAK,EAAE,CAAC,IAAI,EAAE,gBAAgB,KAAK,OAAO,GAAG,SAAS,GACpD,IAAI,CAyBN;AAED,wBAAgB,gCAAgC,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,GAAG,OAAO,CAY3F;AAgDD,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,CAOhF;AAqDD,wBAAgB,qBAAqB,CACpC,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,gBAAgB,EACvB,KAAK,GAAE,gBAAoE,GACzE,MAAM,CAKR;AA4ED,MAAM,WAAW,qBAAqB;IACrC,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,gBAAgB,CAAC;IACxB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,mEAAmE;IACnE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,kGAAkG;IAClG,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,aAAa,CAAC,EAAE,SAAS,CAAC;CAC1B;AAED,wBAAgB,iBAAiB,CAChC,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,gBAAgB,EACvB,UAAU,CAAC,EAAE,MAAM,GACjB,qBAAqB,CA0BvB;AA+FD,MAAM,WAAW,oBAAoB;IACpC,KAAK,EAAE,gBAAgB,CAAC;IACxB,KAAK,EAAE,gBAAgB,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;CACnB;AAED,gHAAgH;AAChH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,OAAO,GAAG,oBAAoB,GAAG,SAAS,CAoB3F;AA8LD,wBAAgB,8BAA8B,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,wBAAwB,CAEjG;AAED,wBAAgB,mBAAmB,CAClC,OAAO,EAAE,wBAAwB,EACjC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,gBAAgB,EACvB,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,MAAM,EAClB,UAAU,CAAC,EAAE,MAAM,EACnB,KAAK,GAAE,gBAA4D,EACnE,QAAQ,CAAC,EAAE,MAAM,EACjB,cAAc,CAAC,EAAE,yBAAyB,GACxC,uBAAuB,CA8CzB;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,wBAAwB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,IAAI,CAKrG;AAiCD,wBAAgB,uBAAuB,CACtC,MAAM,EAAE,uBAAuB,EAC/B,SAAS,CAAC,EAAE,OAAO,GACjB,eAAe,CAAC,wBAAwB,CAAC,CAuB3C;AAED,wBAAgB,+BAA+B,CAC9C,MAAM,EAAE,uBAAuB,GAC7B,eAAe,CAAC,wBAAwB,CAAC,CAqB3C;AAED,wBAAgB,wCAAwC,CACvD,MAAM,EAAE,uBAAuB,EAC/B,IAAI,EAAE,MAAM,GACV,eAAe,CAAC,wBAAwB,CAAC,CAiB3C;AAED,wBAAgB,yCAAyC,CACxD,MAAM,EAAE,uBAAuB,EAC/B,IAAI,EAAE,MAAM,GACV,eAAe,CAAC,wBAAwB,CAAC,CAkB3C;AAcD,wBAAgB,0BAA0B,CACzC,QAAQ,EAAE,YAAY,EAAE,EACxB,YAAY,EAAE,MAAM,GAClB;IAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,CAgDpD"}
+{"version":3,"file":"tool-failure-memory.d.ts","sourceRoot":"","sources":["../src/tool-failure-memory.ts"],"names":[],"mappings":"AAAA,OAAO,EAGN,KAAK,gBAAgB,EACrB,MAAM,wCAAwC,CAAC;AAChD,OAAO,KAAK,EAAoB,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAMnF,OAAO,KAAK,EAAE,YAAY,EAAiB,eAAe,EAAE,MAAM,YAAY,CAAC;AAG/E,QAAA,MAAM,2BAA2B,IAAI,CAAC;AACtC,QAAA,MAAM,8BAA8B,IAAI,CAAC;AACzC,QAAA,MAAM,0BAA0B,eAAoC,CAAC;AAkBrE,MAAM,MAAM,gBAAgB,GAAG,QAAQ,GAAG,UAAU,CAAC;AAErD,MAAM,WAAW,uBAAuB;IACvC,OAAO,EAAE,OAAO,2BAA2B,CAAC;IAC5C,UAAU,EAAE,MAAM,CAAC;IACnB,qFAAqF;IACrF,QAAQ,CAAC,CAAC,0BAA0B,CAAC,CAAC,EAAE,MAAM,CAAC;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,gBAAgB,CAAC;IACxB,KAAK,EAAE,gBAAgB,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,mHAAmH;IACnH,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,mHAAmH;IACnH,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,kFAAkF;IAClF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,CAAC,EAAE,SAAS,CAAC;CAC1B;AAED,MAAM,WAAW,yBAAyB;IACzC,wGAAwG;IACxG,MAAM,EAAE,MAAM,CAAC;IACf,wFAAwF;IACxF,eAAe,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,wBAAwB;IACxC,mBAAmB,EAAE,uBAAuB,CAAC;CAC7C;AAED,MAAM,WAAW,2BAA2B;IAC3C,sBAAsB,EAAE;QACvB,OAAO,EAAE,OAAO,8BAA8B,CAAC;QAC/C,KAAK,EAAE,gBAAgB,CAAC;QACxB,KAAK,EAAE,gBAAgB,CAAC;QACxB,WAAW,EAAE,MAAM,CAAC;QACpB,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;KACnB,CAAC;CACF;AAED,MAAM,MAAM,wBAAwB,GAAG,wBAAwB,GAAG,2BAA2B,CAAC;AAE9F,MAAM,MAAM,wBAAwB,GAAG,GAAG,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;AA6B5E,mFAAmF;AACnF,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAI9E;AA6SD,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAK9E;AA8BD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,MAAM,CAEvE;AAED,2FAA2F;AAC3F,wBAAgB,4BAA4B,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAY5G;AAED,wBAAgB,gCAAgC,CAAC,MAAM,EAAE,uBAAuB,GAAG,MAAM,GAAG,SAAS,CAEpG;AAED,wBAAgB,wBAAwB,CACvC,OAAO,EAAE,wBAAwB,EACjC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,OAAO,GACX,uBAAuB,GAAG,SAAS,CAErC;AAED,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,GAAG,SAAS,CAOxF;AAED,uGAAuG;AACvG,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAE3E;AAED,wBAAgB,wBAAwB,CACvC,MAAM,EAAE,iBAAiB,EACzB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,OAAO,GACX,uBAAuB,CA0BzB;AAED,MAAM,WAAW,gBAAgB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,iBAAiB,CAAC;CAC1B;AAED,wBAAgB,uBAAuB,CACtC,QAAQ,EAAE,SAAS,YAAY,EAAE,EACjC,KAAK,EAAE,CAAC,IAAI,EAAE,gBAAgB,KAAK,OAAO,GAAG,SAAS,GACpD,IAAI,CAyBN;AAgDD,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,CAOhF;AAqDD,wBAAgB,qBAAqB,CACpC,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,gBAAgB,EACvB,KAAK,GAAE,gBAAoE,GACzE,MAAM,CAKR;AA4ED,MAAM,WAAW,qBAAqB;IACrC,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,gBAAgB,CAAC;IACxB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,mEAAmE;IACnE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,kGAAkG;IAClG,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,aAAa,CAAC,EAAE,SAAS,CAAC;CAC1B;AAED,wBAAgB,iBAAiB,CAChC,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,gBAAgB,EACvB,UAAU,CAAC,EAAE,MAAM,GACjB,qBAAqB,CA0BvB;AA+FD,MAAM,WAAW,oBAAoB;IACpC,KAAK,EAAE,gBAAgB,CAAC;IACxB,KAAK,EAAE,gBAAgB,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;CACnB;AAED,gHAAgH;AAChH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,OAAO,GAAG,oBAAoB,GAAG,SAAS,CAoB3F;AAgOD,wBAAgB,8BAA8B,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,wBAAwB,CAEjG;AAED,wBAAgB,mBAAmB,CAClC,OAAO,EAAE,wBAAwB,EACjC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,gBAAgB,EACvB,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,MAAM,EAClB,UAAU,CAAC,EAAE,MAAM,EACnB,KAAK,GAAE,gBAA4D,EACnE,QAAQ,CAAC,EAAE,MAAM,EACjB,cAAc,CAAC,EAAE,yBAAyB,GACxC,uBAAuB,CA8CzB;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACvC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,OAAO,EACb,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,MAAM,GAAG,SAAS,GAC5B,uBAAuB,CAezB;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,wBAAwB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,IAAI,CAKrG;AAiCD,wBAAgB,uBAAuB,CACtC,MAAM,EAAE,uBAAuB,EAC/B,SAAS,CAAC,EAAE,OAAO,GACjB,eAAe,CAAC,wBAAwB,CAAC,CAuB3C;AAED,wBAAgB,+BAA+B,CAC9C,MAAM,EAAE,uBAAuB,GAC7B,eAAe,CAAC,wBAAwB,CAAC,CA0B3C;AAcD,wBAAgB,0BAA0B,CACzC,QAAQ,EAAE,YAAY,EAAE,EACxB,YAAY,EAAE,MAAM,GAClB;IAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,CAuCpD"}

package/dist/tool-failure-memory.js

@@ -1,5 +1,5 @@
 import { getToolExecutionAttemptMemory, getToolExecutionErrorPolicy, } from "@caupulican/pi-ai/tool-repair-registry";
-import { MANDATORY_TOOL_FAILURE_RECOVERY_PROTOCOL_PROMPT, mandatoryToolFailureRecoveryMetadata, } from "./tool-failure-recovery-protocol.js";
+import { MANDATORY_TOOL_FAILURE_RECOVERY_PROTOCOL_PROMPT, mandatoryToolFailureRecoveryMetadata, TOOL_FAILURE_READMISSION_RULE, } from "./tool-failure-recovery-protocol.js";
 import { sanitizeBinaryOutput } from "./utils/shell-output.js";
 const TOOL_FAILURE_MEMORY_VERSION = 1;
 const TOOL_FAILURE_DIRECTIVE_VERSION = 1;
@@ -9,7 +9,6 @@ const MAX_FAILURE_CODE_CHARS = 48;
 const MAX_DIAGNOSTIC_CHARS = 240;
 const MAX_CORRECTION_CHARS = 480;
 const MAX_TOOL_FAILURE_EVIDENCE_CHARS = 1_600;
-const MAX_ACTIVE_FAILURE_EVIDENCE_CHARS = 2_400;
 const MAX_TOOL_NAME_CHARS = 64;
 const TOOL_SIGNATURE_HEX_CHARS = 32;
 const TOOL_FALLBACK_OUTPUT_SIGNATURE_BASE62_CHARS = 22;
@@ -19,8 +18,7 @@ const MAX_ACTIVE_FAILURES = 8;
 const MAX_TRACKED_FAILURES = 64;
 const REPAIRABLE_REJECTION_CODES = new Set(["invalid_arguments", "malformed_call", "unknown_tool"]);
 const LEGACY_GENERIC_EXECUTION_CORRECTION = "Change the arguments or approach before retrying; do not resend the unchanged operation.";
-const BLOCKED_REPLAY_CAVEMAN_CORRECTION = "Blocked: this exact operation will not run again this session — change the operation or continue other work.";
-const CLOSED_OPERATION_CAVEMAN_CORRECTION = "Closed: this exact operation was not executed and will not run again this session — use a different operation or continue other work.";
+const BLOCKED_REPLAY_CORRECTION = `Not executed: its last result is already above. Do corrective work or use a different operation. ${TOOL_FAILURE_READMISSION_RULE}`;
 function truncate(value, maxChars) {
     if (value.length <= maxChars)
         return value;
@@ -373,9 +371,6 @@ export function readVisibleToolFailureCode(result) {
     }
     return undefined;
 }
-export function isClosedOperationFailureCode(code) {
-    return code === "operation_recovery_exhausted" || code === "recovery_exhausted";
-}
 /** Failures that only a new owner prompt can clear. Do not restore their circuit across user turns. */
 export function isPromptScopedFailureCode(code) {
     return code === "owner_authorization_required";
@@ -390,6 +385,10 @@ export function restoreToolFailureRecord(result, tool, args) {
         };
     }
     const identity = operationIdentity(tool, args);
+    // A completed operation that reported a negative status keeps its own raw output, so there is no
+    // harness record to read back. Recover its terminal status from that output rather than flattening
+    // every such result to a generic `tool_error`.
+    const visibleCode = readVisibleToolFailureCode(result);
     return {
         version: TOOL_FAILURE_MEMORY_VERSION,
         failureKey: identity.failureKey,
@@ -399,7 +398,7 @@ export function restoreToolFailureRecord(result, tool, args) {
         occurrence: 1,
         state: "failed",
         phase: "execution",
-        failureCode: boundedFailureCode(readVisibleToolFailureCode(result) ?? "tool_error"),
+        failureCode: boundedFailureCode(visibleCode ?? classifyToolFailure(firstText(result))),
         correction: fallbackFailureGuidance("failed", false, "execution"),
     };
 }
@@ -429,19 +428,6 @@ export function forEachPairedToolResult(messages, visit) {
         }
     }
 }
-export function transcriptHasClosedToolOperation(messages) {
-    const closedByExecutionKey = new Map();
-    forEachPairedToolResult(messages, ({ executionKey, result }) => {
-        if (!result.isError) {
-            closedByExecutionKey.delete(executionKey);
-            return;
-        }
-        if (isClosedOperationFailureCode(readVisibleToolFailureCode(result))) {
-            closedByExecutionKey.set(executionKey, true);
-        }
-    });
-    return closedByExecutionKey.size > 0;
-}
 function boundedFailureCode(value) {
     const normalized = value
         .trim()
@@ -762,8 +748,18 @@ function fastTextSignature(text) {
 }
 function analyzeToolFailureContext(messages) {
     const callById = new Map();
+    /**
+     * A call the agent made is erased only in two cases: a superseded success, whose newer identical
+     * call is still present, and a discard-attempt directive, where the harness has taken ownership of
+     * the attempt and the original arguments must not come back — either because it holds the payload
+     * by reference (a retarget) or because replaying those bytes is itself the hazard (an encoding
+     * corruption). Never for an ordinary failure: being told to change an operation is unactionable
+     * once the operation itself is gone.
+     */
     const omittedCallIds = new Set();
-    const orphanFailedResults = new Set();
+    const omittedResults = new Set();
+    /** Unbounded failure results to replace in place with their bounded record. */
+    const boundedReplacements = new Map();
     const active = new Map();
     const activeDirectives = new Map();
     let sequence = 0;
@@ -788,8 +784,18 @@ function analyzeToolFailureContext(messages) {
         const call = callById.get(message.toolCallId);
         callById.delete(message.toolCallId);
         const textPayload = firstText(message);
-        const isFailure = message.isError === true || textPayload.startsWith("[harness] ");
-        if (isFailure) {
+        // A completed operation reporting its own negative status is evidence, not a mistake: it never
+        // enters the ledger and its output stays exactly as the tool wrote it. It does resolve any
+        // earlier failure recorded for the same operation, though — a tool that could not run before
+        // has now run — so a transcript that predates this classification cannot keep an obsolete
+        // record active across the boundary.
+        if (message.errorKind === "operation_outcome") {
+            if (call)
+                active.delete(getToolFailureKey(call.name, call.arguments));
+            continue;
+        }
+        const isHarnessFailure = message.isError === true || textPayload.startsWith("[harness] ");
+        if (isHarnessFailure) {
             const toolName = call?.name ?? message.toolName;
             const kindCount = (kindMistakesMap.get(toolName) ?? 0) + 1;
             kindMistakesMap.set(toolName, kindCount);
@@ -797,10 +803,13 @@ function analyzeToolFailureContext(messages) {
             if (directive) {
                 activeDirectives.delete(directive.failureCode);
                 activeDirectives.set(directive.failureCode, directive);
+                // The harness has taken ownership of this attempt: the directive replaces it, and the
+                // original arguments must not reappear — a retarget keeps the payload by reference, and a
+                // corrupt payload must never be replayed at all. Either way the call comes out.
                 if (call)
                     omittedCallIds.add(call.id);
                 else
-                    orphanFailedResults.add(message);
+                    omittedResults.add(message);
                 continue;
             }
             const retained = readFailureRecord(message.details);
@@ -854,10 +863,12 @@ function analyzeToolFailureContext(messages) {
                     break;
                 active.delete(oldest);
             }
-            if (call)
-                omittedCallIds.add(call.id);
-            else
-                orphanFailedResults.add(message);
+            // A failure result written before this harness bounded its own output — a legacy transcript,
+            // or a host that set isError directly — can carry unbounded raw text. Bounding it in place
+            // is the same treatment createToolFailureResult gives a fresh failure, applied late; the
+            // call that produced it still stands.
+            if (!retained)
+                boundedReplacements.set(message, record);
             continue;
         }
         if (call) {
@@ -878,16 +889,26 @@ function analyzeToolFailureContext(messages) {
         }
     }
     const kindMistakesSummary = Object.fromEntries(kindMistakesMap);
-    if (omittedCallIds.size === 0 && orphanFailedResults.size === 0) {
-        return { messages, activeRecords: [], activeDirectives: [], kindMistakesSummary };
+    const activeRecords = [...active.values()]
+        .sort((left, right) => left.sequence - right.sequence)
+        .map(({ record }) => record);
+    if (omittedCallIds.size === 0 && omittedResults.size === 0 && boundedReplacements.size === 0) {
+        return { messages, activeRecords, activeDirectives: [...activeDirectives.values()], kindMistakesSummary };
     }
     const filteredMessages = [];
     for (let index = 0; index < messages.length; index++) {
         const message = messages[index];
         if (message.role === "toolResult") {
-            if (omittedCallIds.has(message.toolCallId) || orphanFailedResults.has(message))
+            if (omittedCallIds.has(message.toolCallId) || omittedResults.has(message))
                 continue;
-            filteredMessages.push(message);
+            const bounded = boundedReplacements.get(message);
+            filteredMessages.push(bounded
+                ? {
+                    ...message,
+                    content: [{ type: "text", text: `[harness] ${formatRecordJson(bounded, false)}` }],
+                    details: { piToolFailureMemory: bounded },
+                }
+                : message);
             continue;
         }
         if (message.role !== "assistant") {
@@ -919,9 +940,6 @@ function analyzeToolFailureContext(messages) {
             filteredMessages.push({ ...message, content: retainedContent });
         }
     }
-    const activeRecords = [...active.values()]
-        .sort((left, right) => left.sequence - right.sequence)
-        .map(({ record }) => record);
     return {
         messages: filteredMessages,
         activeRecords,
@@ -982,6 +1000,29 @@ export function rememberToolFailure(tracker, tool, args, state, failureCode, cor
     }
     return record;
 }
+/**
+ * Describe a completed operation that reported a negative status, without recording it as a mistake.
+ *
+ * The tool did its job, so nothing enters failure memory, nothing rewrites the tool's output, and no
+ * correction is owed. The record exists only so the repetition governor can name the operation if the
+ * agent replays it while nothing has changed.
+ */
+export function describeOperationOutcome(tool, args, failureCode, diagnostic) {
+    const identity = operationIdentity(tool, args);
+    return {
+        version: TOOL_FAILURE_MEMORY_VERSION,
+        failureKey: identity.failureKey,
+        [TOOL_FAILURE_EXECUTION_KEY]: identity.executionKey,
+        tool: identity.tool,
+        operation: identity.operation,
+        occurrence: 1,
+        state: "failed",
+        phase: "execution",
+        failureCode: boundedFailureCode(failureCode),
+        ...(diagnostic ? { diagnostic: truncate(diagnostic, MAX_DIAGNOSTIC_CHARS) } : {}),
+        correction: BLOCKED_REPLAY_CORRECTION,
+    };
+}
 export function clearToolFailure(tracker, tool, args) {
     const failureKey = getToolFailureKey(tool, args);
     const record = tracker.get(failureKey);
@@ -1040,14 +1081,19 @@ export function createToolFailureResult(record, terminate) {
 }
 export function createRepeatedToolFailureResult(record) {
     const retainedRecord = retainBlockedToolFailure(record);
-    const replayNotice = truncateMiddle(`The unchanged operation was not executed. Unchanged replay blocked after ${record.failureCode}`, MAX_DIAGNOSTIC_CHARS);
+    // The note states why this call did not run and what makes it runnable again; the retained
+    // root-cause correction stays the next_action, because that is the actionable half. Evidence is
+    // left out: nothing executed, so there is none — the prior run's evidence is still in the
+    // transcript, and repeating it here would only pay for the same bytes twice.
+    const replayNotice = truncateMiddle(`Not executed: unchanged. ${TOOL_FAILURE_READMISSION_RULE}`, MAX_DIAGNOSTIC_CHARS);
     const blockedResult = createToolFailureResult({
         ...retainedRecord,
+        evidence: undefined,
         state: "rejected",
         failureCode: "repeated_failed_operation",
         ...(retainedRecord.diagnostic
             ? { note: replayNotice }
-            : { diagnostic: replayNotice, correction: BLOCKED_REPLAY_CAVEMAN_CORRECTION }),
+            : { diagnostic: replayNotice, correction: BLOCKED_REPLAY_CORRECTION }),
     });
     return {
         ...blockedResult,
@@ -1057,36 +1103,6 @@ export function createRepeatedToolFailureResult(record) {
         details: { piToolFailureMemory: retainedRecord },
     };
 }
-export function createToolFailureRecoveryExhaustedResult(record, note) {
-    const retainedRecord = retainBlockedToolFailure(record);
-    const exhaustedResult = createToolFailureResult({
-        ...retainedRecord,
-        state: "rejected",
-        failureCode: "recovery_exhausted",
-        note: truncateMiddle(note, MAX_DIAGNOSTIC_CHARS),
-        correction: "Stop retrying tools in this run. Report the unresolved failure and the user or environment action required to continue.",
-    }, true);
-    return {
-        ...exhaustedResult,
-        details: { piToolFailureMemory: retainedRecord },
-    };
-}
-export function createToolFailureOperationExhaustedResult(record, note) {
-    const retainedRecord = {
-        ...retainBlockedToolFailure(record),
-        correction: CLOSED_OPERATION_CAVEMAN_CORRECTION,
-    };
-    const exhaustedResult = createToolFailureResult({
-        ...retainedRecord,
-        state: "rejected",
-        failureCode: "operation_recovery_exhausted",
-        note: truncateMiddle(note, MAX_DIAGNOSTIC_CHARS),
-    }, false);
-    return {
-        ...exhaustedResult,
-        details: { piToolFailureMemory: retainedRecord },
-    };
-}
 function retainBlockedToolFailure(record) {
     return {
         ...record,
@@ -1107,17 +1123,9 @@ export function sanitizeToolFailureContext(messages, systemPrompt) {
     const kindSummary = Object.entries(analysis.kindMistakesSummary)
         .map(([kind, count]) => `${kind}:${count}`)
         .join(", ");
-    let remainingEvidenceChars = MAX_ACTIVE_FAILURE_EVIDENCE_CHARS;
-    const evidenceByFailureKey = new Map();
-    for (let index = records.length - 1; index >= 0 && remainingEvidenceChars > 1; index--) {
-        const record = records[index];
-        if (!record.evidence)
-            continue;
-        const retained = truncate(record.evidence, remainingEvidenceChars);
-        evidenceByFailureKey.set(record.failureKey, retained);
-        remainingEvidenceChars -= retained.length;
-    }
-    const lines = records.map((record) => escapePromptData(formatRecordJson(record, true, evidenceByFailureKey.get(record.failureKey) ?? null)));
+    // Evidence is not repeated here: the failed call and its bounded record both remain in the
+    // transcript, so the ledger only has to name what is still unresolved and what to do about it.
+    const lines = records.map((record) => escapePromptData(formatRecordJson(record, true, null)));
     for (const directive of analysis.activeDirectives) {
         lines.push(escapePromptData(JSON.stringify({
             ...mandatoryToolFailureRecoveryMetadata(),