agentfootprint/dist/esm/core/agent/scripts/recovery.d.ts

The explainable agent framework — backtrack a wrong answer to the exact context that caused it (evidence, not guesses). Built on footprintjs.

/**
 * scripts/recovery — the one clause the evidence revision request gains under
 * `code: 'match'`: keep the script, fix the values.
 *
 * Pattern: Lens — a library sentence about a FINISHED call, composed from the
 *          match's verdict, in the past tense, naming no tool as where to go
 *          next (`core/agent/README.md`, the correction law). Request-only:
 *          it rides the internal recovery instruction (`../evidence/recovery.ts`
 *          · `buildEvidenceRecovery`), never history.
 * Role:    core/ layer. Composed by the Route decider, which holds this turn's
 *          rows, and carried to the recheck stage on `evidenceUnsupported`.
 * Emits:   N/A.
 *
 * Two clauses, chosen by what the verdict holds (design § 7):
 *
 * - a block that matched no submission, and a flagged value that sat only in
 *   such a block — its contents were checked as prose: keep a script, show it
 *   exactly as submitted, or say the code shown is not the one submitted, and
 *   fix the values in the prose;
 * - a block that matched a call, with values flagged in the prose — the
 *   script was not checked: keep it; the listed values were in the prose.
 *
 * The parenthesis carries the call's ACTUAL label in its words
 * (`label.ts` · `labelWords`) — never a fixed "executed", never an exit
 * number the record does not hold.
 *
 * WHAT IT CANNOT DO, stated: deleting an unmatched block removes its
 * candidates and the `script-unmatched` reason, so a draft without the script
 * can pass the check. No sentence makes a model keep a script; mandatory
 * display comes from `.scriptTravelsWithTheAnswer()`, which needs no
 * cooperation from the model.
 *
 * @example
 * ```ts
 * scriptRecoveryClause({ blocks: [{ block: 1, label: 'completed-with-failure', exitCode: 7,
 *   toolCallId: 'c1', tool: 'run_code' }], earlierTurnRows: 0, regionsDropped: 0 },
 *   [{ value: '1200', shape: 'number', region: 'prose' }], ['run_code']);
 * // 'The script shown is the one submitted to `run_code` on call c1 (completed with failure,
 * //  exit 7) and was not checked. Keep it. The listed values were in the prose around it.'
 * ```
 */
import type { ScriptsVerdict } from './types.js';
/** A flagged value as the clause reads it — its region under `code: 'match'`. */
interface FlaggedValue {
    readonly region?: 'prose' | 'code';
}
/**
 * The clause(s) for one rejected draft — `''` when the verdict calls for
 * none (no fenced block, or no flagged value the blocks bear on).
 * `toolsThisTurn` names the code-running tools this turn's calls submitted
 * to, in first-call order.
 */
export declare function scriptRecoveryClause(scripts: ScriptsVerdict, unsupported: readonly FlaggedValue[], toolsThisTurn: readonly string[]): string;
export {};