@sema-agent/client-core 0.98.0 → 0.100.0

package/dist/hitl/approvalCardReasons.d.ts

@@ -1,3 +1,4 @@
+import type { UiLanguage } from '../env/uiLanguage.js';
 import { type DenialLimitFallback } from './toolApprovalWire.js';
 export declare const APPROVAL_CARD_REASON_SOURCES: readonly ["payload_unreadable", "prior_cards", "message", "mandated", "mandate", "origin", "denial_limit", "probe", "allow_rule_shadow", "classifier_no_ruling", "bound_grants", "more"];
 export type ApprovalCardReasonSource = (typeof APPROVAL_CARD_REASON_SOURCES)[number];
@@ -9,5 +10,5 @@ export interface ApprovalCardReasonsOptions {
     readonly maxLines?: number;
 }
 export declare const APPROVAL_CARD_REASONS_DEFAULT_MAX_LINES = 4;
-export declare function denialLimitFallbackDetail(v: DenialLimitFallback | null | undefined): string | undefined;
-export declare function approvalCardReasons(card: object | null | undefined, opts?: ApprovalCardReasonsOptions | null): readonly ApprovalCardReasonLine[];
+export declare function denialLimitFallbackDetail(v: DenialLimitFallback | null | undefined, lang?: UiLanguage): string | undefined;
+export declare function approvalCardReasons(card: object | null | undefined, opts?: ApprovalCardReasonsOptions | null, lang?: UiLanguage): readonly ApprovalCardReasonLine[];

package/dist/hitl/approvalCardReasons.js

@@ -1,4 +1,5 @@
 import { displayUntrusted } from '../displayUntrusted.js';
+import { msg, renderMessage } from '../i18n/translate.js';
 import { approvalMandateDetail, askOriginNoteOf } from '../gateVocabulary.js';
 import { readAskOrigin, readOwnDataValue, guardedRead } from '../ownKey.js';
 import { allowRuleShadowSentence } from './allowRuleShadow.js';
@@ -20,22 +21,20 @@ export const APPROVAL_CARD_REASON_SOURCES = Object.freeze([
 ]);
 export const APPROVAL_CARD_REASONS_DEFAULT_MAX_LINES = 4;
 const MESSAGE_DISPLAY_MAX = 300;
-const PAYLOAD_UNREADABLE_DETAIL = 'This client cannot read the format of this approval card, so only its basic facts are shown — decide from those, or deny it if you are not sure what it will do.';
-function moreDetail(n) {
-    return n === 1 ? '1 more reason for this card is not shown.' : `${String(n)} more reasons for this card are not shown.`;
+function payloadUnreadableDetail(lang) {
+    return renderMessage(msg('approval.card.payloadUnreadable'), lang);
 }
-export function denialLimitFallbackDetail(v) {
+function moreDetail(n, lang) {
+    return renderMessage(n === 1 ? msg('approval.card.more.one') : msg('approval.card.more.other', { count: n }), lang);
+}
+export function denialLimitFallbackDetail(v, lang) {
     const d = readDenialLimitFallback(v);
     if (d === undefined)
         return undefined;
-    const parts = [
-        'auto-deny limit reached — auto mode denied enough calls on its own that the engine now wants a real human decision',
-        `${String(d.consecutive)} consecutive / ${String(d.total)} total automatic denials so far`,
-        `the limit that tripped: ${displayUntrusted(d.limit, { max: 24 })}`,
-    ];
-    if (d.autoDenyAfterMs > 0)
-        parts.push(`the engine auto-denies it in ${String(Math.round(d.autoDenyAfterMs / 1000))}s if nobody answers`);
-    return parts.join('; ');
+    const limit = displayUntrusted(d.limit, { max: 24 });
+    return renderMessage(d.autoDenyAfterMs > 0
+        ? msg('approval.card.denialLimit.withAutoDeny', { consecutive: d.consecutive, total: d.total, limit, seconds: Math.round(d.autoDenyAfterMs / 1000) })
+        : msg('approval.card.denialLimit.plain', { consecutive: d.consecutive, total: d.total, limit }), lang);
 }
 function ownData(card, key) {
     return guardedRead(() => readOwnDataValue(card, key));
@@ -44,7 +43,7 @@ function readMaxLines(opts) {
     const raw = typeof opts === 'object' && opts !== null ? guardedRead(() => readOwnDataValue(opts, 'maxLines')) : undefined;
     return typeof raw === 'number' && Number.isSafeInteger(raw) && raw >= 1 ? raw : APPROVAL_CARD_REASONS_DEFAULT_MAX_LINES;
 }
-export function approvalCardReasons(card, opts) {
+export function approvalCardReasons(card, opts, lang) {
     if (typeof card !== 'object' || card === null)
         return Object.freeze([]);
     const raw = [];
@@ -65,21 +64,21 @@ export function approvalCardReasons(card, opts) {
     catch {
         denialLimitReadable = false;
     }
-    add('payload_unreadable', () => (ownData(card, 'cardPayloadUnreadable') === true ? PAYLOAD_UNREADABLE_DETAIL : undefined));
-    add('prior_cards', () => approvalPriorCardsDetail(card));
+    add('payload_unreadable', () => (ownData(card, 'cardPayloadUnreadable') === true ? payloadUnreadableDetail(lang) : undefined));
+    add('prior_cards', () => approvalPriorCardsDetail(card, lang));
     add('message', () => {
-        const msg = ownData(card, 'message');
-        if (typeof msg !== 'string' || msg.trim() === '')
+        const engineMessage = ownData(card, 'message');
+        if (typeof engineMessage !== 'string' || engineMessage.trim() === '')
             return undefined;
         const tool = ownData(card, 'toolName');
-        if (typeof tool === 'string' && msg.trim() === `approval required for "${tool}"`)
+        if (typeof tool === 'string' && engineMessage.trim() === `approval required for "${tool}"`)
             return undefined;
-        return displayUntrusted(msg, { max: MESSAGE_DISPLAY_MAX });
+        return displayUntrusted(engineMessage, { max: MESSAGE_DISPLAY_MAX });
     });
-    add('mandated', () => (approvalIsMandated(card) ? mandatedApprovalDetailOf(card) : undefined));
+    add('mandated', () => (approvalIsMandated(card) ? mandatedApprovalDetailOf(card, lang) : undefined));
     add('mandate', () => {
         const word = readApprovalMandate(card);
-        return word !== undefined ? approvalMandateDetail(word) : undefined;
+        return word !== undefined ? approvalMandateDetail(word, lang) : undefined;
     });
     add('origin', () => {
         const origin = readAskOrigin(card);
@@ -87,26 +86,26 @@ export function approvalCardReasons(card, opts) {
             return undefined;
         if (origin === 'denial_limit_fallback' && denialLimitReadable)
             return undefined;
-        return askOriginNoteOf(origin);
+        return askOriginNoteOf(origin, lang);
     });
-    add('denial_limit', () => denialLimitFallbackDetail(ownData(card, 'denialLimitFallback')));
-    add('probe', () => askProbeReasonDetail(card));
-    add('allow_rule_shadow', () => allowRuleShadowSentence(card));
+    add('denial_limit', () => denialLimitFallbackDetail(ownData(card, 'denialLimitFallback'), lang));
+    add('probe', () => askProbeReasonDetail(card, lang));
+    add('allow_rule_shadow', () => allowRuleShadowSentence(card, lang));
     add('classifier_no_ruling', () => {
         const word = readApprovalClassifierNoRuling(card);
-        return word !== undefined ? classifierNoRulingDetail(word) : undefined;
+        return word !== undefined ? classifierNoRulingDetail(word, lang) : undefined;
     });
     add('bound_grants', () => {
         const grants = readApprovalBoundGrants(card);
-        return grants !== undefined ? approvalBoundGrantsDetail(grants) : undefined;
+        return grants !== undefined ? approvalBoundGrantsDetail(grants, lang) : undefined;
     });
     const seen = new Set();
     const lines = [];
     for (const r of raw) {
         if (r.text === undefined)
             continue;
-        const text = displayUntrusted(r.text);
-        if (text === '' || seen.has(text))
+        const text = r.text;
+        if (text.trim() === '' || seen.has(text))
             continue;
         seen.add(text);
         lines.push(Object.freeze({ source: r.source, text }));
@@ -115,6 +114,6 @@ export function approvalCardReasons(card, opts) {
     if (lines.length <= max)
         return Object.freeze(lines);
     const kept = lines.slice(0, max - 1);
-    kept.push(Object.freeze({ source: 'more', text: moreDetail(lines.length - kept.length) }));
+    kept.push(Object.freeze({ source: 'more', text: moreDetail(lines.length - kept.length, lang) }));
     return Object.freeze(kept);
 }

package/dist/hitl/approvalHolds.d.ts

@@ -1,5 +1,6 @@
 import type { ApprovalHolderIdentity } from './toolApprovalWire.js';
 import type { ApprovalResolution, ApprovalResolutionLane } from './approvalResolution.js';
+import { type DecisionLedgerOp } from './decisionLedger.js';
 export declare const APPROVAL_SETTLED_HOWS: readonly ["answered", "interrupted", "closed_by_engine"];
 export type ApprovalSettledHow = (typeof APPROVAL_SETTLED_HOWS)[number];
 export declare const SETTLED_APPROVALS_MAX_ENTRIES = 4096;
@@ -29,6 +30,7 @@ export interface LiveCardHold {
     readonly cardSignal: AbortSignal;
     readonly interrupt: () => void;
     trailing?: Promise<boolean>;
+    ledgerOp?: DecisionLedgerOp;
 }
 export interface HostCardHold {
     readonly lane: 'host';
@@ -61,12 +63,25 @@ export interface HostApprovalCardHold {
     sending(): void;
     release(settled?: 'answered' | 'interrupted'): void;
 }
+export declare function hostHoldIsActive(handle: HostApprovalCardHold): boolean;
+export declare function takeHostHoldLedgerOp(handle: HostApprovalCardHold): DecisionLedgerOp | undefined;
+export type ApprovalHoldAttempt = {
+    readonly kind: 'settled';
+} | {
+    readonly kind: 'busy';
+} | {
+    readonly kind: 'held';
+    readonly hold: HostApprovalCardHold;
+};
+export declare function tryHoldApprovalNow(who: HoldIdentity, signal: AbortSignal | undefined): ApprovalHoldAttempt;
 export type ApprovalCardClaim = {
     readonly kind: 'held';
     readonly hold: HostApprovalCardHold;
 } | {
     readonly kind: 'joined';
     readonly outcome: ApprovalResolution;
+} | {
+    readonly kind: 'aborted';
 };
 export declare function claimApprovalCardFor(who: HoldIdentity, signal: AbortSignal | undefined): Promise<ApprovalCardClaim>;
 export interface ApprovalDecisionHoldTable {
@@ -85,9 +100,11 @@ export declare function settledApprovalOf(approvalId: string | undefined): Settl
 export declare function clearSettledApprovals(): void;
 export declare function anyApprovalSettled(): boolean;
 export declare function noteEngineClosedApproval(approvalId: string, parked: boolean): void;
+export declare function settleEngineClosedApproval(frame: object, parked: boolean): boolean;
 export declare function noteHolderSettledApproval(approvalId: string, how: 'answered' | 'interrupted', outcome: ApprovalResolution): void;
 export declare function settledLiveCardOutcome(approvalId: string): ApprovalResolution | undefined;
 export declare function liveCardHoldOf(key: string): LiveCardHold | undefined;
 export declare function holdLiveCard(identity: LiveCardIdentity, callerSignal: AbortSignal | undefined, present: (hold: LiveCardHold) => Promise<ApprovalResolution>): Promise<ApprovalResolution>;
 export declare function joinLiveCard(hold: LiveCardHold, signal: AbortSignal | undefined): Promise<ApprovalResolution>;
+export declare function enterLiveRespondPhase(hold: LiveCardHold): void;
 export declare function supersedeLiveCard(key: string, parked: boolean): boolean;

package/dist/hitl/approvalHolds.js

@@ -1,6 +1,7 @@
 import { hostLog } from '../host.js';
 import { liveFrameCallKey } from './gateIdentity.js';
-import { decideReceiptReopen } from '../decideReceipt.js';
+import { decideReceiptReopen, readDecideReceipt } from '../decideReceipt.js';
+import { closeDecisionOp, decisionLedgerKeysOf, openDecisionOp, settleDecisionOp } from './decisionLedger.js';
 export const APPROVAL_SETTLED_HOWS = Object.freeze(['answered', 'interrupted', 'closed_by_engine']);
 export const SETTLED_APPROVALS_MAX_ENTRIES = 4096;
 const nonEmpty = (v) => typeof v === 'string' && v !== '';
@@ -73,7 +74,7 @@ export async function awaitApprovalHolder(hold, signal, asker) {
         }
         if (r.kind !== 'unsettled' || r.cause !== 'interrupted' || hold.trailing === undefined)
             return HOLDER_FREE;
-        const landed = await hold.trailing.then(() => true, () => false);
+        const landed = await hold.trailing.then((raw) => decideReceiptReopen(readDecideReceipt(raw)) === null, () => false);
         return landed ? Object.freeze({ kind: 'settled', how: 'interrupted', outcome: r }) : HOLDER_FREE;
     }
     finally {
@@ -98,7 +99,7 @@ async function awaitHostHolder(hold, signal, asker) {
         unsubscribe();
     }
 }
-function holdHostCard(identity) {
+function holdHostCard(identity, signal) {
     const h = approvalDecisionHolds;
     const key = `hitl-host:${++h.clock}`;
     let resolveReleased = () => { };
@@ -109,41 +110,101 @@ function holdHostCard(identity) {
     const hold = { lane: 'host', identity: frozen, phase: 'card', released };
     h.inFlight.set(key, hold);
     let done = false;
-    return Object.freeze({
+    let stopFollowing = () => { };
+    let ledgerOp;
+    const release = (settled) => {
+        if (done)
+            return;
+        done = true;
+        stopFollowing();
+        if (ledgerOp !== undefined) {
+            settleDecisionOp(ledgerOp, 'host');
+            ledgerOp.ownCallOpen = false;
+        }
+        const how = settled === 'answered' || settled === 'interrupted' ? settled : undefined;
+        if (how !== undefined && nonEmpty(frozen.approvalId))
+            noteSettled(frozen.approvalId, how, false, how === 'interrupted' ? interruptedThere('decide') : nothingSentHere('decide'), true);
+        if (h.inFlight.get(key) === hold)
+            h.inFlight.delete(key);
+        resolveReleased(how);
+    };
+    const handle = Object.freeze({
         identity: frozen,
         sending: () => {
-            if (!done)
-                hold.phase = 'respond';
-        },
-        release: (settled) => {
             if (done)
                 return;
-            done = true;
-            const how = settled === 'answered' || settled === 'interrupted' ? settled : undefined;
-            if (how !== undefined && nonEmpty(frozen.approvalId))
-                noteSettled(frozen.approvalId, how, false, how === 'interrupted' ? interruptedThere('decide') : nothingSentHere('decide'), true);
-            if (h.inFlight.get(key) === hold)
-                h.inFlight.delete(key);
-            resolveReleased(how);
+            if (hold.phase !== 'respond')
+                ledgerOp = openDecisionOp('tool_approval', ledgerKeysOfHold(frozen), 'handed', true);
+            hold.phase = 'respond';
+            stopFollowing();
+        },
+        release,
+    });
+    stopFollowing = followCallerSignal(signal, () => {
+        if (!done && hold.phase === 'card')
+            release();
+    });
+    hostHoldControls.set(handle, {
+        active: () => !done && h.inFlight.get(key) === hold,
+        takeLedgerOp: () => {
+            const op = ledgerOp;
+            ledgerOp = undefined;
+            return op;
         },
     });
+    return handle;
+}
+const hostHoldControls = new WeakMap();
+export function hostHoldIsActive(handle) {
+    return hostHoldControls.get(handle)?.active() === true;
+}
+export function takeHostHoldLedgerOp(handle) {
+    return hostHoldControls.get(handle)?.takeLedgerOp();
+}
+export function tryHoldApprovalNow(who, signal) {
+    const entry = settledApprovalOf(who.approvalId);
+    if (entry !== undefined && settledForDurableLane(entry))
+        return Object.freeze({ kind: 'settled' });
+    if (approvalHoldFor(who) !== undefined)
+        return Object.freeze({ kind: 'busy' });
+    return Object.freeze({ kind: 'held', hold: holdHostCard(who, signal) });
+}
+function callerSignalAborted(signal) {
+    if (signal === undefined || signal === null)
+        return false;
+    try {
+        return signal.aborted === true;
+    }
+    catch {
+        return false;
+    }
 }
-const CLAIM_MAX_ROUNDS = 8;
 export async function claimApprovalCardFor(who, signal) {
-    for (let round = 0; round < CLAIM_MAX_ROUNDS; round++) {
-        const entry = settledApprovalOf(who.approvalId);
-        if (settledForDurableLane(entry) && entry !== undefined)
-            return Object.freeze({ kind: 'joined', outcome: { ...entry.outcome, joinedInFlight: true } });
-        const holder = approvalHoldFor(who);
-        if (holder === undefined)
-            return Object.freeze({ kind: 'held', hold: holdHostCard(who) });
-        const wait = await awaitApprovalHolder(holder, signal, 'decide');
-        if (wait.kind === 'settled')
-            return Object.freeze({ kind: 'joined', outcome: { ...wait.outcome, joinedInFlight: true } });
-        if (wait.kind === 'left')
-            return Object.freeze({ kind: 'joined', outcome: { ...nothingSentHere('decide'), joinedInFlight: true } });
+    let leave = () => { };
+    const left = new Promise((resolve) => {
+        leave = () => resolve('aborted');
+    });
+    const unsubscribe = followCallerSignal(signal, leave);
+    try {
+        for (;;) {
+            if (callerSignalAborted(signal))
+                return Object.freeze({ kind: 'aborted' });
+            const entry = settledApprovalOf(who.approvalId);
+            if (settledForDurableLane(entry) && entry !== undefined)
+                return Object.freeze({ kind: 'joined', outcome: { ...entry.outcome, joinedInFlight: true } });
+            const holder = approvalHoldFor(who);
+            if (holder === undefined)
+                return Object.freeze({ kind: 'held', hold: holdHostCard(who, signal) });
+            const wait = await Promise.race([awaitApprovalHolder(holder, undefined, 'decide'), left]);
+            if (wait === 'aborted')
+                return Object.freeze({ kind: 'aborted' });
+            if (wait.kind === 'settled')
+                return Object.freeze({ kind: 'joined', outcome: { ...wait.outcome, joinedInFlight: true } });
+        }
+    }
+    finally {
+        unsubscribe();
     }
-    return Object.freeze({ kind: 'held', hold: holdHostCard(who) });
 }
 export const approvalDecisionHolds = { inFlight: new Map(), settled: new Map(), openReads: new Set(), outcomes: new Map(), clock: 0 };
 export function settledApprovalOf(approvalId) {
@@ -180,6 +241,20 @@ function engineClosedOutcome() {
 export function noteEngineClosedApproval(approvalId, parked) {
     noteSettled(approvalId, 'closed_by_engine', parked, engineClosedOutcome());
 }
+export function settleEngineClosedApproval(frame, parked) {
+    let id;
+    try {
+        const d = typeof frame === 'object' && frame !== null ? Object.getOwnPropertyDescriptor(frame, 'approvalId') : undefined;
+        id = d !== undefined && Object.hasOwn(d, 'value') ? d.value : undefined;
+    }
+    catch {
+        return false;
+    }
+    if (!nonEmpty(id))
+        return false;
+    noteEngineClosedApproval(id, parked);
+    return supersedeLiveCard(liveFrameCallKey(id), parked);
+}
 export function noteHolderSettledApproval(approvalId, how, outcome) {
     noteSettled(approvalId, how, false, outcome, true);
 }
@@ -210,6 +285,8 @@ export function holdLiveCard(identity, callerSignal, present) {
     const hold = { lane: 'live', identity: Object.freeze({ ...identity }), outcome, phase: 'card', cardSignal: cut.signal, interrupt };
     h.inFlight.set(key, hold);
     const release = () => {
+        if (hold.ledgerOp !== undefined)
+            closeDecisionOp(hold.ledgerOp, 'package');
         if (h.inFlight.get(key) === hold)
             h.inFlight.delete(key);
     };
@@ -276,6 +353,14 @@ function followCallerSignal(signal, onAbort) {
         }
     };
 }
+function ledgerKeysOfHold(identity) {
+    return decisionLedgerKeysOf({ taskId: identity.taskId, approvalId: identity.approvalId, callId: identity.toolCallId });
+}
+export function enterLiveRespondPhase(hold) {
+    if (hold.ledgerOp === undefined)
+        hold.ledgerOp = openDecisionOp('tool_approval', ledgerKeysOfHold(hold.identity), 'posting', true);
+    hold.phase = 'respond';
+}
 export function supersedeLiveCard(key, parked) {
     const hold = liveCardHoldOf(key);
     if (hold === undefined || hold.phase !== 'card' || hold.superseded !== undefined)

package/dist/hitl/askClassPair.d.ts

@@ -1,5 +1,5 @@
-import type { CORE_MODE_ARBITRATION } from '../generated/engineFactTables.js';
-export declare const DEPLOYMENT_LIST_ASK_CLASSES: readonly (keyof typeof CORE_MODE_ARBITRATION)[];
+import { CORE_ASK_CLASSES } from '../generated/engineFactTables.js';
+export declare const DEPLOYMENT_LIST_ASK_CLASSES: readonly (typeof CORE_ASK_CLASSES)[number][];
 export type AskClassPairReading = {
     readonly state: 'pair';
     readonly askClass: string;

package/dist/hitl/askClassPair.js

@@ -1,3 +1,4 @@
+import { CORE_ASK_CLASSES } from '../generated/engineFactTables.js';
 export const DEPLOYMENT_LIST_ASK_CLASSES = Object.freeze(['ask_rule']);
 const ABSENT = Object.freeze({ state: 'absent' });
 const MALFORMED = Object.freeze({ state: 'malformed' });
@@ -35,8 +36,23 @@ export function readAskClassPairState(v) {
         return MALFORMED;
     if (classes[0] !== askClass)
         return MALFORMED;
+    if (!inCanonicalOrder(classes))
+        return MALFORMED;
     return Object.freeze({ state: 'pair', askClass, classes: Object.freeze(classes) });
 }
+function inCanonicalOrder(classes) {
+    const order = CORE_ASK_CLASSES;
+    let last = -1;
+    for (const c of classes) {
+        const rank = order.indexOf(c);
+        if (rank < 0)
+            continue;
+        if (rank <= last)
+            return false;
+        last = rank;
+    }
+    return true;
+}
 export function readAskClassPair(v) {
     const r = readAskClassPairState(v);
     return r.state === 'pair' ? { askClass: r.askClass, classes: r.classes } : undefined;

package/dist/hitl/askGateWire.js

@@ -6,6 +6,7 @@ import { abortableSleep } from '../abortableSleep.js';
 import { hostLog } from '../host.js';
 import { decideAcceptedNotResolved, readDecideReceipt } from '../decideReceipt.js';
 import { APPROVAL_EXPIRED } from '../engineErrorCodes.js';
+import { isNotFoundFailure } from '../wireErrorTriage.js';
 import { readDecisionRefusalAsk } from './decisionRefusal.js';
 import { resumeReopenFromError } from './suspendedReopen.js';
 import { refusedParkFromError, resumeRefusalFromError } from '../resumeRefusalCopy.js';
@@ -192,7 +193,7 @@ export function lateDecideOutcomeOf(reply, opts) {
         const r = readDecisionRefusalAsk(e);
         if (r.reading !== 'settled' && !(r.reading === 'not_settled' && r.gateMoved))
             return LATE_UNKNOWN;
-        const probeWorthy = status === 404 || status === 410 || (typeof code === 'string' && code.startsWith('not_found.'));
+        const probeWorthy = status === 404 || status === 410 || isNotFoundFailure(e) !== false;
         return Object.freeze(probeWorthy ? { kind: 'settled-elsewhere', probeWorthy: true } : { kind: 'settled-elsewhere' });
     }
     catch {

package/dist/hitl/askSettlementLine.d.ts

@@ -1,10 +1,11 @@
-export declare function askEndingCauseClause(cause: string | undefined): string | undefined;
+import type { UiLanguage } from '../env/uiLanguage.js';
+export declare function askEndingCauseClause(cause: string | undefined, lang?: UiLanguage): string | undefined;
 export interface AskSettlementInput {
     readonly cause?: string | undefined;
     readonly toolName?: string | undefined;
     readonly parked?: boolean | undefined;
 }
-export declare function askSettlementLine(settled: AskSettlementInput): string | undefined;
+export declare function askSettlementLine(settled: AskSettlementInput, lang?: UiLanguage): string | undefined;
 export type AskAcceptedFollow = 'following' | 'already-following' | 'not-following';
 export interface AskAcceptedInput {
     readonly decision?: string | undefined;
@@ -13,6 +14,15 @@ export interface AskAcceptedInput {
     readonly follow?: AskAcceptedFollow | undefined;
     readonly executed?: string | undefined;
 }
-export declare function askAcceptedLine(accepted: AskAcceptedInput): string;
+export declare function askAcceptedLine(accepted: AskAcceptedInput, lang?: UiLanguage): string;
 export type AskParkedCardForm = 'approval' | 'question' | 'queue_no_deadline';
-export declare function askParkedCardNote(form?: string | undefined, toolName?: string | undefined): string;
+export declare function askParkedCardNote(form?: string | undefined, toolName?: string | undefined, lang?: UiLanguage): string;
+export interface AskHumanSettledInput {
+    readonly kind?: string | undefined;
+    readonly decision?: string | undefined;
+    readonly taskId?: string | undefined;
+    readonly late?: boolean | undefined;
+    readonly follow?: AskAcceptedFollow | undefined;
+    readonly executed?: string | undefined;
+}
+export declare function askHumanSettlementLine(settled: AskHumanSettledInput, lang?: UiLanguage): string | undefined;

package/dist/hitl/askSettlementLine.js

@@ -1,79 +1,99 @@
 import { displayUntrusted, quoteUntrustedForSentence } from '../displayUntrusted.js';
+import { msg, renderMessage } from '../i18n/translate.js';
 import { guardedRead, readOwnDataValue } from '../ownKey.js';
-const ENDING_CAUSE_CLAUSES = Object.freeze({
-    routing_failure_fail_closed: 'the engine could not route it to anywhere that can answer it, so it closed it',
-    run_cancelled: 'the run that asked for it was cancelled',
-    run_exited: 'the run that asked for it exited before anyone answered',
-    batch_aborted: 'the batch of tool calls it belonged to was aborted',
-    batch_sibling_withdrawn: 'another approval in the same batch was refused or withdrawn, which withdrew this one too',
-    batch_bound_elsewhere: 'the decision for its batch was bound to a different approval',
-    adhoc_leg_no_durable_domain: 'this kind of request cannot be kept waiting for an answer on this deployment',
-    orphan_ttl_exceeded: "it was left without an owner past the engine's time limit",
-    crashed_before_park: 'the engine process stopped before it could keep the request waiting',
-    shutdown_before_park: 'the engine shut down before it could keep the request waiting',
-    ttl_expired: 'nobody answered within the approval window',
-    broadcast_lost: 'it never reached any open connection',
-    stream_disconnected: 'the connection carrying this card dropped',
-    undeliverable: 'it could not be delivered to any approval surface',
+const ENDING_CAUSE_KEYS = Object.freeze({
+    routing_failure_fail_closed: 'approval.settle.cause.routingFailureFailClosed',
+    run_cancelled: 'approval.settle.cause.runCancelled',
+    run_exited: 'approval.settle.cause.runExited',
+    batch_aborted: 'approval.settle.cause.batchAborted',
+    batch_sibling_withdrawn: 'approval.settle.cause.batchSiblingWithdrawn',
+    batch_bound_elsewhere: 'approval.settle.cause.batchBoundElsewhere',
+    adhoc_leg_no_durable_domain: 'approval.settle.cause.adhocLegNoDurableDomain',
+    orphan_ttl_exceeded: 'approval.settle.cause.orphanTtlExceeded',
+    crashed_before_park: 'approval.settle.cause.crashedBeforePark',
+    shutdown_before_park: 'approval.settle.cause.shutdownBeforePark',
+    ttl_expired: 'approval.settle.cause.ttlExpired',
+    broadcast_lost: 'approval.settle.cause.broadcastLost',
+    stream_disconnected: 'approval.settle.cause.streamDisconnected',
+    undeliverable: 'approval.settle.cause.undeliverable',
 });
-export function askEndingCauseClause(cause) {
-    return typeof cause === 'string' && Object.hasOwn(ENDING_CAUSE_CLAUSES, cause) ? ENDING_CAUSE_CLAUSES[cause] : undefined;
+function endingCauseKeyOf(cause) {
+    return typeof cause === 'string' && Object.hasOwn(ENDING_CAUSE_KEYS, cause) ? ENDING_CAUSE_KEYS[cause] : undefined;
+}
+export function askEndingCauseClause(cause, lang) {
+    const key = endingCauseKeyOf(cause);
+    return key !== undefined ? renderMessage(msg(key), lang) : undefined;
 }
 function ownSlot(o, key) {
     if (typeof o !== 'object' || o === null)
         return undefined;
     return guardedRead(() => readOwnDataValue(o, key));
 }
-function subjectOf(toolName, named, fallback) {
+function subjectOf(toolName, named, generic) {
     const quoted = typeof toolName === 'string' ? guardedRead(() => quoteUntrustedForSentence(toolName, 80)) : undefined;
-    return quoted === undefined ? fallback : named(quoted);
+    return quoted === undefined ? msg(generic) : msg(named, { tool: quoted });
 }
-const SETTLEMENT_TAIL = ' Nothing was approved from this card; if the step is still needed, ask for it again.';
-export function askSettlementLine(settled) {
+export function askSettlementLine(settled, lang) {
     if (ownSlot(settled, 'parked') === true)
         return undefined;
     const cause = ownSlot(settled, 'cause');
     if (typeof cause !== 'string' || cause === '')
         return undefined;
-    const subject = subjectOf(ownSlot(settled, 'toolName'), (q) => `the approval request for ${q}`, 'this approval request');
-    const clause = askEndingCauseClause(cause);
-    const why = clause !== undefined ? `: ${clause}` : " (the engine's reason is one this build does not know yet)";
-    return `${subject} ended on the engine without an answer${why}.${SETTLEMENT_TAIL}`;
+    const subject = subjectOf(ownSlot(settled, 'toolName'), 'approval.settle.subject.named', 'approval.settle.subject.generic');
+    const clauseKey = endingCauseKeyOf(cause);
+    return renderMessage(clauseKey !== undefined ? msg('approval.settle.endedKnown', { subject, clause: msg(clauseKey) }) : msg('approval.settle.endedUnknown', { subject }), lang);
 }
 const TASK_ID_MAX = 64;
-const EXECUTED_TAILS = Object.freeze({
-    allowed: ' The engine also reports that the already-decided step was ALLOWED when it ran.',
-    denied: ' The engine also reports that the already-decided step was DENIED at execution time (a deployment review can overturn an approval after the fact).',
+const EXECUTED_TAIL_KEYS = Object.freeze({
+    allowed: 'approval.settle.executed.allowed',
+    denied: 'approval.settle.executed.denied',
 });
-const FOLLOW_CLAUSES = Object.freeze({
-    following: 'sema is following that run here',
-    'already-following': 'this screen is already following that run',
+const FOLLOW_CLAUSE_KEYS = Object.freeze({
+    following: 'approval.settle.follow.following',
+    'already-following': 'approval.settle.follow.alreadyFollowing',
 });
-export function askAcceptedLine(accepted) {
+export function askAcceptedLine(accepted, lang) {
     const decision = ownSlot(accepted, 'decision');
-    const what = decision === 'approve' ? 'approved' : decision === 'deny' ? 'denied' : 'answered';
-    const late = ownSlot(accepted, 'late') === false ? '' : ' late';
+    const what = msg(decision === 'approve' ? 'approval.settle.what.approved' : decision === 'deny' ? 'approval.settle.what.denied' : 'approval.settle.what.answered');
+    const late = ownSlot(accepted, 'late') === false ? '' : msg('approval.settle.late');
     const rawTask = ownSlot(accepted, 'taskId');
     const shownTask = typeof rawTask === 'string' ? guardedRead(() => displayUntrusted(rawTask, { max: TASK_ID_MAX, blanks: true })) : undefined;
-    const where = shownTask === undefined || shownTask === '' ? '' : ` (task ${shownTask})`;
+    const where = shownTask === undefined || shownTask === '' ? '' : msg('approval.settle.where', { task: shownTask });
     const follow = ownSlot(accepted, 'follow');
     const executed = ownSlot(accepted, 'executed');
-    const tail = executed === 'allowed' || executed === 'denied' ? EXECUTED_TAILS[executed] : '';
+    const tail = executed === 'allowed' || executed === 'denied' ? msg(EXECUTED_TAIL_KEYS[executed]) : '';
     if (follow === 'following' || follow === 'already-following') {
-        return `${what}${late} — the engine took this decision${where}; ${FOLLOW_CLAUSES[follow]}, so what it does next shows up below.${tail}`;
+        return renderMessage(msg('approval.settle.acceptedFollowing', { what, late, where, follow: msg(FOLLOW_CLAUSE_KEYS[follow]), tail }), lang);
     }
-    return (`${what}${late} — the engine took this decision${where}. Whether the parked call has resumed yet is not something this reply can say; ` +
-        `this screen is not following that run, so what it does next will not show up here by itself.${tail}`);
+    return renderMessage(msg('approval.settle.acceptedNotFollowing', { what, late, where, tail }), lang);
 }
-const PARKED_CARD_NOTES = Object.freeze({
-    approval: "This step was already parked in the engine's durable queue and waiting for a decision before this card went up. Yes approves it now and lets the step run late; No abandons the step — the model gets a refusal and can take another route.",
-    question: "This step was already parked in the engine's durable queue and waiting for a decision before this card went up. Answering now sends your decision late and lets the parked step continue with it; closing this card without answering abandons the step — the model gets a refusal and can take another route.",
-    queue_no_deadline: "{subject} is in the engine's durable queue (no deadline was reported for it). It waits for your decision — nothing has been decided on your behalf.",
+const PARKED_CARD_NOTE_KEYS = Object.freeze({
+    approval: 'approval.settle.parkedNote.approval',
+    question: 'approval.settle.parkedNote.question',
+    queue_no_deadline: 'approval.settle.parkedNote.queueNoDeadline',
 });
-export function askParkedCardNote(form, toolName) {
+export function askParkedCardNote(form, toolName, lang) {
     const key = form === 'question' || form === 'queue_no_deadline' ? form : 'approval';
-    const template = PARKED_CARD_NOTES[key];
     if (key !== 'queue_no_deadline')
-        return template;
-    return template.split('{subject}').join(subjectOf(toolName, (q) => `the approval for ${q}`, 'this approval'));
+        return renderMessage(msg(PARKED_CARD_NOTE_KEYS[key]), lang);
+    return renderMessage(msg(PARKED_CARD_NOTE_KEYS[key], { subject: subjectOf(toolName, 'approval.settle.parkedSubject.named', 'approval.settle.parkedSubject.generic') }), lang);
+}
+export function askHumanSettlementLine(settled, lang) {
+    const kind = ownSlot(settled, 'kind');
+    if (kind === 'accepted-not-resolved')
+        return askAcceptedLine(settled, lang);
+    if (kind === 'expired-reaped')
+        return renderMessage(msg('approval.settleHuman.expiredReaped'), lang);
+    if (kind === 'settled-elsewhere')
+        return renderMessage(msg('approval.settleHuman.settledElsewhere'), lang);
+    if (kind !== 'resumed')
+        return undefined;
+    const decision = ownSlot(settled, 'decision');
+    const what = msg(decision === 'approve' ? 'approval.settle.what.approved' : decision === 'deny' ? 'approval.settle.what.denied' : 'approval.settle.what.answered');
+    const rawTask = ownSlot(settled, 'taskId');
+    const shownTask = typeof rawTask === 'string' ? guardedRead(() => displayUntrusted(rawTask, { max: TASK_ID_MAX, blanks: true })) : undefined;
+    const where = shownTask === undefined || shownTask === '' ? '' : msg('approval.settle.where', { task: shownTask });
+    const executed = ownSlot(settled, 'executed');
+    const tail = executed === 'allowed' || executed === 'denied' ? msg(EXECUTED_TAIL_KEYS[executed]) : '';
+    return renderMessage(msg(ownSlot(settled, 'late') === false ? 'approval.settleHuman.resumed' : 'approval.settleHuman.resumedLate', { what, where, tail }), lang);
 }