@sema-agent/client-core 0.108.0 → 0.110.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,10 +8,12 @@ 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';
 import { type PolicyDenyCause } from './policyDenyCause.js';
+import { type ApprovalRequestFrameReading, type ApprovalRequestFrameUnreadableWhy } from './approvalRequestFrameReading.js';
 import { RULE_OFFER_MATCHES, RULE_OFFER_BATCH_MEMBER_KINDS, RULE_OFFER_UNCOVERED_REASONS, RULE_OFFERS_ABSENCE_REASONS } from '@sema-agent/sdk';
 import type { ApprovalDecidedBy, ApprovalCardDelegation, ToolApprovalDecision as SdkToolApprovalDecision, ToolApprovalRespondAck, ToolApprovalRespondReplayed, PersistedRuleAnchor, RuleOfferMatch, RuleOfferBatchMember, RuleOfferUncoveredDetail, RuleOfferUncoveredReason, AskOrigin, RuleOffersAbsence, DenialLimitKind, DenialLimitFallback, ToolApprovalFrame, ApprovalRequestFrame, RuleOffer as SdkRuleOffer } from '@sema-agent/sdk';
 export declare function toolNameIsFsWrite(name: string): boolean;
@@ -87,13 +89,18 @@ 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;
     signal?: AbortSignal;
     workerBadge?: {
         name: string;
@@ -102,6 +109,7 @@ export interface ApprovalCardRequest {
     wireNote?: string;
     argsUnavailable?: true;
     argsRewritten?: true;
+    inputSource?: ApprovalInputSource;
     governanceForced?: true;
     delegation?: ToolApprovalDelegation;
     ruleOffers?: RuleOfferReading[];
@@ -131,6 +139,7 @@ export interface ApprovalCardRequest {
     classes?: readonly string[];
     agentId?: string;
     askReasons?: readonly ApprovalAskReason[];
+    requestedBy?: ApprovalRequestedBy;
     boundGrants?: BoundSkillGrantsWire;
     grantBinding?: ApprovalGrantBinding;
     unreadableEvidence?: readonly string[];
@@ -138,6 +147,7 @@ export interface ApprovalCardRequest {
     priorCardsForCall?: readonly ApprovalPriorCard[];
     message?: string;
     cardPayloadUnreadable?: true;
+    cardPayloadUnreadableWhy?: ApprovalRequestFrameUnreadableWhy;
     supersedes?: ApprovalCardSupersedes;
     parkRow?: ApprovalCardParkRow;
 }
@@ -196,7 +206,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"];
@@ -210,18 +220,26 @@ 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'> | null | undefined): AnswerCarriage;
+export declare function allowNoteNotCarriedSentence(lang?: UiLanguage): string;
 export interface ApprovalAnswerCommitted {
     readonly callKey: string;
     readonly lane: AnswerPayloadLane;
@@ -240,8 +258,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 {
@@ -282,8 +311,8 @@ 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'>;
+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;
@@ -291,7 +320,7 @@ export interface ApprovalCardFrameFactsOptions {
 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;
-export declare function approvalCardFactsOfGeneric(card: object | null | undefined): Readonly<ApprovalCardFacts> | undefined;
+export declare function approvalCardFactsOfGeneric(card: object | null | undefined, reading?: ApprovalRequestFrameReading | null): Readonly<ApprovalCardFacts> | undefined;
 export interface ToolApprovalFrameLaneOpts {
     approvalDecisionNoteCapable?: boolean;
     respondFreeFormRulesCapable?: boolean;
@@ -304,6 +333,10 @@ export declare function surfaceToolApprovalFrameAndRespond(frame: ToolApprovalFr
     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>;
 export interface ApprovalHolderIdentity {
     readonly approvalId?: string;
     readonly taskId?: string;