@sema-agent/client-core 0.109.0 → 0.111.0

package/dist/hitl/toolApprovalWire.d.ts

@@ -1,6 +1,6 @@
 import { type HitlClientLike, type DecideOperationObserver } from './hitlBridge.js';
-import { type ApprovalAskReason } from './approvalAskers.js';
-export type { ApprovalAskReason, ApprovalAskReasonByHook, ApprovalAskReasonByPolicy } from './approvalAskers.js';
+import { type ApprovalAskReason, type ApprovalRequestedBy } from './approvalAskers.js';
+export type { ApprovalAskReason, ApprovalAskReasonByHook, ApprovalAskReasonByPolicy, ApprovalRequestedBy } from './approvalAskers.js';
 import { readApprovalCardWord, type ApprovalCardWord } from './approvalCardReading.js';
 import { type ApprovalAllowRuleShadow } from './allowRuleShadow.js';
 import { CORE_PERSISTED_RULE_MATCHES } from '../generated/engineFactTables.js';
@@ -8,6 +8,7 @@ import type { UiLanguage } from '../env/uiLanguage.js';
 import type { SessionRuleInertReason } from './sessionPolicyWire.js';
 import { type ApprovalCardClaim } from './approvalHolds.js';
 import { type ApprovalResolution } from './approvalResolution.js';
+import { type HostWithdrawal } from './hostWithdrawal.js';
 import { type ApprovalMandateWord } from '../gateVocabulary.js';
 import type { ToolPermissionRequest } from '../seatContract.js';
 import { type ApprovalDecidedByReading } from '../approvalDecidedByCapability.js';
@@ -28,6 +29,7 @@ export interface FsApprovalWireDeps {
     onPresented?: () => void;
     onDecideOperation?: DecideOperationObserver;
     approvalDecidedBy?: ApprovalDecidedByReading | undefined;
+    engineGeneration?: () => number;
 }
 export declare function structurallyEqual(a: unknown, b: unknown): boolean;
 export type { RuleOfferMatch };
@@ -88,13 +90,19 @@ export type ApprovalCardDecision = ApprovalCardAllowDecision | ApprovalCardDenyD
 } | {
     kind: typeof RETRACTED_CARD_DECISION_KIND;
     reason?: string;
-};
+} | ({
+    kind: typeof WITHDRAWN_CARD_DECISION_KIND;
+} & HostWithdrawal);
 export declare const RETRACTED_CARD_DECISION_KIND: "retracted";
+export declare const WITHDRAWN_CARD_DECISION_KIND: "withdrawn";
+export type ApprovalInputSource = 'record' | 'stream';
 export interface ApprovalCardRequest {
     toolName: string;
     args: object;
     callKey: string;
     toolCallId?: string;
+    taskId?: string;
+    sourceGeneration?: number;
     signal?: AbortSignal;
     workerBadge?: {
         name: string;
@@ -103,6 +111,7 @@ export interface ApprovalCardRequest {
     wireNote?: string;
     argsUnavailable?: true;
     argsRewritten?: true;
+    inputSource?: ApprovalInputSource;
     governanceForced?: true;
     delegation?: ToolApprovalDelegation;
     ruleOffers?: RuleOfferReading[];
@@ -132,6 +141,7 @@ export interface ApprovalCardRequest {
     classes?: readonly string[];
     agentId?: string;
     askReasons?: readonly ApprovalAskReason[];
+    requestedBy?: ApprovalRequestedBy;
     boundGrants?: BoundSkillGrantsWire;
     grantBinding?: ApprovalGrantBinding;
     unreadableEvidence?: readonly string[];
@@ -150,7 +160,6 @@ export interface ApprovalCardSupersedes {
     readonly priorAnswerOutcome?: 'not_sent' | 'not_accepted' | 'unconfirmed';
 }
 export interface ApprovalCardParkRow {
-    readonly taskId: string;
     readonly gatedCallId?: string;
     readonly deadlineMs?: number;
 }
@@ -198,7 +207,7 @@ export declare function readApprovalMandate(v: {
     readonly mandate?: string;
 } | undefined | null): ApprovalMandateWord | undefined;
 export { readApprovalCardWord };
-export declare function toolPermissionRequestAskBits(card: object | null | undefined, requestId?: string): Pick<ToolPermissionRequest, 'mandated' | 'mandate' | 'origin' | 'ruleOffersAbsence' | 'askClass' | 'classes' | 'sessionRow'>;
+export declare function toolPermissionRequestAskBits(card: object | null | undefined, requestId?: string): Pick<ToolPermissionRequest, 'mandated' | 'mandate' | 'origin' | 'ruleOffersAbsence' | 'askClass' | 'classes' | 'sessionRow' | 'probeReason' | 'probeCause' | 'feedbackCapable' | 'requestedBy' | 'frameReading' | 'inputSource'>;
 export declare function isFromSubagent(frame: ToolApprovalFrame): boolean;
 export type ToolApprovalRespondDecision = SdkToolApprovalDecision;
 export declare const RESPOND_DECISIONS: readonly ["allow", "allow_session", "deny"];
@@ -212,18 +221,27 @@ export interface RespondAnswerPayload extends Pick<RespondToolApprovalOpts, 'upd
 export interface DecideApprovePayload extends Pick<ApprovalCardAllowDecision, 'updatedInput'> {
     readonly decision: 'approve';
     readonly remember?: 'session';
+    readonly feedback?: string;
 }
 export interface DecideDenyPayload {
     readonly decision: 'deny';
     readonly reason: string;
 }
 export type DecideAnswerPayload = DecideApprovePayload | DecideDenyPayload;
+export declare function allowNoteReadingOf(answer: object): {
+    readonly kind: 'text';
+    readonly text: string;
+} | {
+    readonly kind: 'absent' | 'blank' | 'invalid';
+};
 export declare function answerPayloadFor(answer: ApprovalCardDecision, lane: 'respond', caps?: AnswerPayloadCaps | null): RespondAnswerPayload | undefined;
 export declare function answerPayloadFor(answer: ApprovalCardDecision, lane: 'decide', caps?: AnswerPayloadCaps | null): DecideAnswerPayload | undefined;
 export interface AnswerCarriage {
     readonly allowNote: 'model' | 'none';
 }
-export declare function answerCarriage(card: Pick<ApprovalCardRequest, 'callKey'> | null | undefined): AnswerCarriage;
+export declare function answerCarriage(card: Pick<ApprovalCardRequest, 'callKey' | 'parkRow' | 'taskId'> | null | undefined): AnswerCarriage;
+export declare function cardIsOnParkRow(card: object | null | undefined): boolean;
+export declare function allowNoteNotCarriedSentence(lang?: UiLanguage): string;
 export interface ApprovalAnswerCommitted {
     readonly callKey: string;
     readonly lane: AnswerPayloadLane;
@@ -242,8 +260,19 @@ export interface RespondToolApprovalOpts {
     decidedBy?: Extract<ApprovalDecidedBy, 'policy'>;
 }
 export type RespondToolApprovalFn = (approvalId: string, decision: ToolApprovalRespondDecision, opts?: RespondToolApprovalOpts) => Promise<ToolApprovalRespondAck | void>;
-export type ToolApprovalRespondAckView = ToolApprovalRespondAck;
+export type ToolApprovalRespondAckView = ToolApprovalRespondAck | ToolApprovalRespondRedeemedView;
+export interface ToolApprovalRespondRedeemedView {
+    readonly approvalId: string;
+    readonly askId: string;
+    readonly accepted: 'parked_redeemed';
+    readonly idempotent?: true;
+    readonly decision?: string;
+    readonly rememberApplied?: boolean;
+}
 export declare function isToolApprovalRespondReplayed(ack: ToolApprovalRespondAckView): ack is ToolApprovalRespondReplayed;
+export declare function isToolApprovalRespondParkedRedeemed(ack: object): ack is ToolApprovalRespondRedeemedView;
+export declare function replayedFirstDecisionOf(ack: ToolApprovalRespondAckView | undefined): 'allow' | 'deny' | undefined;
+export declare function settlementAckOf(read: ToolApprovalRespondAckView | undefined): ToolApprovalRespondAckView | undefined;
 export type { PersistedRuleAnchor };
 export declare function readToolApprovalRespondAck(v: unknown): ToolApprovalRespondAckView | undefined;
 export interface ToolApprovalRespondParkingView {
@@ -259,6 +288,25 @@ export type ToolApprovalParkingBodyReading = {
     readonly kind: 'claimed_unreadable';
 };
 export declare function readToolApprovalRespondParking(v: unknown): ToolApprovalParkingBodyReading | undefined;
+export type ReplayVerdict = {
+    readonly kind: 'none';
+} | {
+    readonly kind: 'replayed';
+    readonly firstDecision: 'allow' | 'deny';
+    readonly via: 'arm' | 'claim';
+} | {
+    readonly kind: 'unreadable';
+};
+export declare function replayVerdictFrom(raw: {} | null | undefined, parsed: ToolApprovalRespondAckView | undefined, approvalId: string): ReplayVerdict;
+export type ToolApprovalReplayVerdict = {
+    readonly kind: 'not_replay';
+} | {
+    readonly kind: 'replayed';
+    readonly firstDecision: 'allow' | 'deny';
+} | {
+    readonly kind: 'unreadable';
+};
+export declare function toolApprovalReplayVerdictOf(raw: {} | null | undefined, approvalId: string): ToolApprovalReplayVerdict;
 export declare function decisionAttributionKeyOf(reading: ApprovalDecidedByReading | undefined, denySettledBy: ApprovalDenySettledBy | undefined): {
     decidedBy: 'policy';
 } | {
@@ -284,12 +332,14 @@ export declare function approvalSupersedesDetail(card: Pick<ApprovalCardRequest,
 export declare function readDenialLimitFallback(v: unknown): DenialLimitFallback | undefined;
 export declare function readRuleOffers(v: unknown): RuleOfferReading[] | undefined;
 export declare function readRuleOfferSupply(offers: unknown): RuleOfferReading[] | undefined;
-export type ApprovalCardV1Facts = Pick<ApprovalCardRequest, 'toolName' | 'args'> & Pick<ApprovalCardRequest, 'toolCallId' | 'workerBadge' | 'wireNote' | 'argsUnavailable' | 'governanceForced' | 'delegation' | 'ruleOffersReadOnly' | 'inputHasBidi' | 'allowRuleShadow' | 'probeCause' | 'rememberRefused' | 'ruleEvidence' | 'requiresRealApproval' | 'ruleOffersAbsence' | 'denialLimitFallback' | 'askClass' | 'classes' | 'agentId' | 'askReasons' | 'grantBinding' | 'unreadableEvidence' | 'message' | 'approvalCard'>;
-export type ApprovalCardFacts = ApprovalCardV1Facts & Pick<ApprovalCardRequest, 'argsRewritten' | 'ruleOffers' | 'probeReason' | 'mandated' | 'mandate' | 'readRootCandidate' | 'origin' | 'boundGrants' | 'classifierNoRuling' | 'allowSessionCarried' | 'cardPayloadUnreadable' | 'cardPayloadUnreadableWhy'>;
+export type ApprovalCardV1Facts = Pick<ApprovalCardRequest, 'toolName' | 'args'> & Pick<ApprovalCardRequest, 'toolCallId' | 'workerBadge' | 'wireNote' | 'argsUnavailable' | 'inputSource' | 'governanceForced' | 'delegation' | 'ruleOffersReadOnly' | 'inputHasBidi' | 'allowRuleShadow' | 'probeCause' | 'rememberRefused' | 'ruleEvidence' | 'requiresRealApproval' | 'ruleOffersAbsence' | 'denialLimitFallback' | 'askClass' | 'classes' | 'agentId' | 'askReasons' | 'grantBinding' | 'unreadableEvidence' | 'message' | 'approvalCard'>;
+export type ApprovalCardFacts = ApprovalCardV1Facts & Pick<ApprovalCardRequest, 'argsRewritten' | 'ruleOffers' | 'probeReason' | 'mandated' | 'mandate' | 'readRootCandidate' | 'origin' | 'boundGrants' | 'classifierNoRuling' | 'allowSessionCarried' | 'cardPayloadUnreadable' | 'cardPayloadUnreadableWhy' | 'requestedBy'>;
 export interface ApprovalCardFrameFactsOptions {
     readonly streamArgs?: object;
     readonly argsUnavailable?: true;
 }
+export type ApprovalCardHostBits = Readonly<Pick<ApprovalCardRequest, 'callKey' | 'taskId' | 'signal' | 'expiresInMs' | 'expiresAtMs' | 'serverNowMs' | 'receivedAtMs' | 'sourceGeneration'>>;
+export declare function approvalCardRequestOf(facts: Readonly<ApprovalCardFacts>, host: ApprovalCardHostBits): ApprovalCardRequest | undefined;
 export declare function approvalCardFactsOfV1(card: object | null | undefined): Readonly<ApprovalCardV1Facts> | undefined;
 export declare function approvalCardFactsOfV1Frame(frame: object | null | undefined): Readonly<ApprovalCardFacts> | undefined;
 export declare function approvalCardFactsOfFrame(frame: object | null | undefined, opts?: ApprovalCardFrameFactsOptions | null): Readonly<ApprovalCardFacts> | undefined;
@@ -302,14 +352,13 @@ export interface ToolApprovalFrameLaneOpts {
     windowIsCurrent?: boolean;
     argsUnavailable?: true;
 }
-export declare function surfaceToolApprovalFrameAndRespond(frame: ToolApprovalFrame | ApprovalRequestFrame, respond: RespondToolApprovalFn, streamArgs: unknown | undefined, signal?: AbortSignal, lane?: ToolApprovalFrameLaneOpts, run?: {
+export interface ToolApprovalFrameRunBits {
     readonly taskId?: string;
     readonly sessionId?: string;
-}): Promise<ApprovalResolution>;
-export declare function surfaceApprovalFrameWithId(frame: ToolApprovalFrame | ApprovalRequestFrame, approvalId: string, respond: RespondToolApprovalFn, streamArgs: Parameters<typeof surfaceToolApprovalFrameAndRespond>[2], signal: AbortSignal | undefined, lane: ToolApprovalFrameLaneOpts | undefined, run: {
-    readonly taskId?: string;
-    readonly sessionId?: string;
-} | undefined): Promise<ApprovalResolution>;
+    readonly sourceGeneration?: number;
+}
+export declare function surfaceToolApprovalFrameAndRespond(frame: ToolApprovalFrame | ApprovalRequestFrame, respond: RespondToolApprovalFn, streamArgs: unknown | undefined, signal?: AbortSignal, lane?: ToolApprovalFrameLaneOpts, run?: ToolApprovalFrameRunBits): Promise<ApprovalResolution>;
+export declare function surfaceApprovalFrameWithId(frame: ToolApprovalFrame | ApprovalRequestFrame, approvalId: string, respond: RespondToolApprovalFn, streamArgs: Parameters<typeof surfaceToolApprovalFrameAndRespond>[2], signal: AbortSignal | undefined, lane: ToolApprovalFrameLaneOpts | undefined, run: ToolApprovalFrameRunBits | undefined): Promise<ApprovalResolution>;
 export interface ApprovalHolderIdentity {
     readonly approvalId?: string;
     readonly taskId?: string;