@sema-agent/client-core 0.88.0 → 0.90.0

package/dist/engineNoticeCodes.js

@@ -1,25 +1,19 @@
 import { AUTO_MODE_UNAVAILABLE_CAUSES } from './autoModeUnavailable.js';
-import { CORE_ENGINE_NOTICE_CODES, CORE_MCP_INJECTION_DROP_REASONS, CORE_NOTICE_AUDIENCE } from './generated/engineNoticeTables.js';
+import { CORE_ENGINE_NOTICE_CODES, CORE_MCP_INJECTION_DROP_REASONS, CORE_NOTICE_AUDIENCE, } from './generated/engineNoticeTables.js';
 import { CORE_ASK_UNRESOLVABLE_CAUSES, CORE_DURABLE_MANDATE_SOURCES, CORE_PERMISSION_MODE_FOLD_REASONS, } from './generated/engineFactTables.js';
 export const ENGINE_NOTICE_CODES = CORE_ENGINE_NOTICE_CODES;
 const CATALOG = new Set(ENGINE_NOTICE_CODES);
-export const SERVER_NOTICE_AUDIENCE = Object.freeze({
-    'instructions.source_changed': 'user',
-    'memory.layer_locked_legacy': 'operator',
-    'session.records_skipped': 'user',
-    'server.model_unreachable': 'user',
-});
 function audienceRow(table, code) {
     return Object.hasOwn(table, code) ? table[code] : undefined;
 }
 export function engineNoticeInCatalog(code) {
-    return typeof code === 'string' && (CATALOG.has(code) || Object.hasOwn(SERVER_NOTICE_AUDIENCE, code));
+    return typeof code === 'string' && CATALOG.has(code);
 }
 export const ENGINE_NOTICE_AUDIENCE = CORE_NOTICE_AUDIENCE;
 export function noticeAudienceOf(code) {
     if (typeof code !== 'string')
         return 'operator';
-    return audienceRow(ENGINE_NOTICE_AUDIENCE, code) ?? audienceRow(SERVER_NOTICE_AUDIENCE, code) ?? 'operator';
+    return audienceRow(ENGINE_NOTICE_AUDIENCE, code) ?? 'operator';
 }
 export const MCP_INJECTION_DROP_REASONS = CORE_MCP_INJECTION_DROP_REASONS;
 const DROP_REASONS = new Set(MCP_INJECTION_DROP_REASONS);
@@ -27,9 +21,9 @@ export function readMcpInjectionDrop(notice) {
     if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
         return undefined;
     const n = notice;
-    if (n.code !== 'mcp.injection_dropped')
+    if (ownSeat(n, 'code') !== 'mcp.injection_dropped')
         return undefined;
-    const d = n.detail;
+    const d = ownSeat(n, 'detail');
     if (typeof d !== 'object' || d === null || Array.isArray(d))
         return undefined;
     const o = d;
@@ -59,9 +53,9 @@ export function readAskUnresolvable(notice) {
     if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
         return undefined;
     const n = notice;
-    if (n.code !== 'delegation.ask_unresolvable')
+    if (ownSeat(n, 'code') !== 'delegation.ask_unresolvable')
         return undefined;
-    const d = n.detail;
+    const d = ownSeat(n, 'detail');
     if (typeof d !== 'object' || d === null || Array.isArray(d))
         return undefined;
     const o = d;
@@ -93,9 +87,9 @@ export function readDurableGateUnavailable(notice) {
     if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
         return undefined;
     const n = notice;
-    if (n.code !== 'config.durable_gate_unavailable')
+    if (ownSeat(n, 'code') !== 'config.durable_gate_unavailable')
         return undefined;
-    const d = n.detail;
+    const d = ownSeat(n, 'detail');
     if (typeof d !== 'object' || d === null || Array.isArray(d))
         return undefined;
     const o = d;
@@ -138,9 +132,9 @@ export function readSkillsListingTruncated(notice) {
     if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
         return undefined;
     const n = notice;
-    if (n.code !== 'skills.listing_truncated')
+    if (ownSeat(n, 'code') !== 'skills.listing_truncated')
         return undefined;
-    const d = n.detail;
+    const d = ownSeat(n, 'detail');
     if (typeof d !== 'object' || d === null || Array.isArray(d))
         return undefined;
     const o = d;
@@ -170,9 +164,9 @@ export function readMcpServerRedialed(notice) {
     if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
         return undefined;
     const n = notice;
-    if (n.code !== 'mcp.server_redialed')
+    if (ownSeat(n, 'code') !== 'mcp.server_redialed')
         return undefined;
-    const d = n.detail;
+    const d = ownSeat(n, 'detail');
     if (typeof d !== 'object' || d === null || Array.isArray(d))
         return undefined;
     const o = d;
@@ -205,9 +199,10 @@ function readRootGrantNoticeOf(notice) {
     if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
         return undefined;
     const n = notice;
-    if (n.code !== 'approval.read_root_granted' && n.code !== 'approval.read_root_grant_rejected')
+    const code = ownSeat(n, 'code');
+    if (code !== 'approval.read_root_granted' && code !== 'approval.read_root_grant_rejected')
         return undefined;
-    const d = n.detail;
+    const d = ownSeat(n, 'detail');
     if (typeof d !== 'object' || d === null || Array.isArray(d))
         return undefined;
     const o = d;
@@ -216,7 +211,7 @@ function readRootGrantNoticeOf(notice) {
     if (toolCallId === undefined)
         return undefined;
     const sessionId = str(o.sessionId);
-    if (n.code === 'approval.read_root_granted') {
+    if (code === 'approval.read_root_granted') {
         const dir = str(o.dir);
         const root = str(o.root);
         if (dir === undefined || root === undefined)
@@ -248,9 +243,9 @@ export function readInstructionsSourceChanged(notice) {
         return undefined;
     try {
         const n = notice;
-        if (n.code !== 'instructions.source_changed')
+        if (ownSeat(n, 'code') !== 'instructions.source_changed')
             return undefined;
-        const d = n.detail;
+        const d = ownSeat(n, 'detail');
         if (typeof d !== 'object' || d === null || Array.isArray(d))
             return undefined;
         const o = d;
@@ -274,9 +269,9 @@ export function readSessionRecordsSkipped(notice) {
         return undefined;
     try {
         const n = notice;
-        if (n.code !== 'session.records_skipped')
+        if (ownSeat(n, 'code') !== 'session.records_skipped')
             return undefined;
-        const d = n.detail;
+        const d = ownSeat(n, 'detail');
         if (typeof d !== 'object' || d === null || Array.isArray(d))
             return undefined;
         const o = d;
@@ -320,9 +315,9 @@ function readRuleStoreUnavailableOf(notice) {
     if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
         return undefined;
     const n = notice;
-    if (n.code !== 'permission.rule_store_unavailable')
+    if (ownSeat(n, 'code') !== 'permission.rule_store_unavailable')
         return undefined;
-    const d = n.detail;
+    const d = ownSeat(n, 'detail');
     if (typeof d !== 'object' || d === null || Array.isArray(d))
         return undefined;
     const o = d;
@@ -344,9 +339,9 @@ function readClassifierUnavailableOf(notice) {
     if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
         return undefined;
     const n = notice;
-    if (n.code !== 'classifier.unavailable')
+    if (ownSeat(n, 'code') !== 'classifier.unavailable')
         return undefined;
-    const d = n.detail;
+    const d = ownSeat(n, 'detail');
     if (typeof d !== 'object' || d === null || Array.isArray(d))
         return undefined;
     const o = d;
@@ -380,9 +375,9 @@ function readPermissionModeUnavailableOf(notice) {
     if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
         return undefined;
     const n = notice;
-    if (n.code !== 'config.permission_mode_unavailable')
+    if (ownSeat(n, 'code') !== 'config.permission_mode_unavailable')
         return undefined;
-    const d = n.detail;
+    const d = ownSeat(n, 'detail');
     if (typeof d !== 'object' || d === null || Array.isArray(d))
         return undefined;
     const o = d;
@@ -405,9 +400,9 @@ function readAskReleasedByModeOf(notice) {
     if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
         return undefined;
     const n = notice;
-    if (n.code !== 'permission.ask_released_by_mode')
+    if (ownSeat(n, 'code') !== 'permission.ask_released_by_mode')
         return undefined;
-    const d = n.detail;
+    const d = ownSeat(n, 'detail');
     if (typeof d !== 'object' || d === null || Array.isArray(d))
         return undefined;
     const o = d;
@@ -440,9 +435,9 @@ function readReadDenyUnappliedOf(notice) {
     if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
         return undefined;
     const n = notice;
-    if (n.code !== 'permission.read_deny_unapplied')
+    if (ownSeat(n, 'code') !== 'permission.read_deny_unapplied')
         return undefined;
-    const d = n.detail;
+    const d = ownSeat(n, 'detail');
     if (typeof d !== 'object' || d === null || Array.isArray(d))
         return undefined;
     const o = d;
@@ -459,31 +454,6 @@ function readReadDenyUnappliedOf(notice) {
     }
     return { mode, toolCallId, tiers, rows, rowCount, sessionId, runId };
 }
-export function readLegacyModeSeedMigrated(notice) {
-    return guardedRead(notice, readLegacyModeSeedMigratedOf);
-}
-function readLegacyModeSeedMigratedOf(notice) {
-    if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
-        return undefined;
-    const n = notice;
-    if (n.code !== 'resume.legacy_mode_seed_migrated')
-        return undefined;
-    const d = n.detail;
-    if (typeof d !== 'object' || d === null || Array.isArray(d))
-        return undefined;
-    const o = d;
-    const m = o.migrated;
-    if (typeof m !== 'object' || m === null || Array.isArray(m))
-        return undefined;
-    const mo = m;
-    const droppedKeys = nameList(mo.droppedKeys);
-    const sessionId = nonEmpty(o.sessionId);
-    const runId = nonEmpty(o.runId);
-    if (droppedKeys === undefined || sessionId === undefined || runId === undefined)
-        return undefined;
-    const permissionMode = nonEmpty(optionalSeat(mo, 'permissionMode'));
-    return { ...(permissionMode !== undefined ? { permissionMode } : {}), droppedKeys, sessionId, runId };
-}
 export function readToolTurnRepaired(notice) {
     return guardedRead(notice, readToolTurnRepairedOf);
 }
@@ -502,9 +472,9 @@ function readToolTurnRepairedOf(notice) {
     if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
         return undefined;
     const n = notice;
-    if (n.code !== 'context.tool_turn_repaired')
+    if (ownSeat(n, 'code') !== 'context.tool_turn_repaired')
         return undefined;
-    const d = n.detail;
+    const d = ownSeat(n, 'detail');
     if (typeof d !== 'object' || d === null || Array.isArray(d))
         return undefined;
     const o = d;
@@ -537,9 +507,9 @@ function readModelUnreachableOf(notice) {
     if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
         return undefined;
     const n = notice;
-    if (n.code !== 'server.model_unreachable')
+    if (ownSeat(n, 'code') !== 'server.model_unreachable')
         return undefined;
-    const d = n.detail;
+    const d = ownSeat(n, 'detail');
     if (typeof d !== 'object' || d === null || Array.isArray(d))
         return undefined;
     const o = d;
@@ -552,6 +522,127 @@ function readModelUnreachableOf(notice) {
     const proxyInUse = nonEmpty(optionalOwnSeat(o, 'proxyInUse'));
     return { code, targetHost, ...(proxyInUse !== undefined ? { proxyInUse } : {}), remedy, sessionId };
 }
+const positiveInt = (v) => (typeof v === 'number' && Number.isInteger(v) && v > 0 ? v : undefined);
+export function readToolTurnIncomplete(notice) {
+    return guardedRead(notice, readToolTurnIncompleteOf);
+}
+function optionalNameList(o, key) {
+    try {
+        const ids = nameList(ownSeat(o, key));
+        return ids !== undefined && ids.length > 0 ? ids : undefined;
+    }
+    catch {
+        return undefined;
+    }
+}
+function readToolTurnIncompleteOf(notice) {
+    if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
+        return undefined;
+    const n = notice;
+    if (ownSeat(n, 'code') !== 'task.tool_turn_incomplete')
+        return undefined;
+    const d = ownSeat(n, 'detail');
+    if (typeof d !== 'object' || d === null || Array.isArray(d))
+        return undefined;
+    const o = d;
+    const cause = nonEmpty(ownSeat(o, 'cause'));
+    const count = positiveInt(ownSeat(o, 'count'));
+    const toolCallIds = optionalNameList(o, 'toolCallIds');
+    const sessionId = nonEmpty(ownSeat(o, 'sessionId'));
+    const runId = nonEmpty(ownSeat(o, 'runId'));
+    if (cause === undefined || count === undefined || sessionId === undefined || runId === undefined)
+        return undefined;
+    return { cause, count, ...(toolCallIds !== undefined ? { toolCallIds } : {}), sessionId, runId };
+}
+export function readUserInputUndrained(notice) {
+    return guardedRead(notice, readUserInputUndrainedOf);
+}
+function readUserInputUndrainedOf(notice) {
+    if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
+        return undefined;
+    const n = notice;
+    const code = ownSeat(n, 'code');
+    const kind = code === 'task.user_steer_undrained' ? 'steer' : code === 'task.user_followup_undrained' ? 'followUp' : undefined;
+    if (kind === undefined)
+        return undefined;
+    const d = ownSeat(n, 'detail');
+    if (typeof d !== 'object' || d === null || Array.isArray(d))
+        return undefined;
+    const o = d;
+    const count = positiveInt(ownSeat(o, kind));
+    if (count === undefined)
+        return undefined;
+    const cause = nonEmpty(optionalOwnSeat(o, 'cause'));
+    const taskId = nonEmpty(optionalOwnSeat(o, 'taskId'));
+    const sessionId = nonEmpty(optionalOwnSeat(o, 'sessionId'));
+    const runId = nonEmpty(optionalOwnSeat(o, 'runId'));
+    const childSessionId = nonEmpty(optionalOwnSeat(o, 'childSessionId'));
+    return {
+        kind,
+        count,
+        ...(cause !== undefined ? { cause } : {}),
+        ...(taskId !== undefined ? { taskId } : {}),
+        ...(sessionId !== undefined ? { sessionId } : {}),
+        ...(runId !== undefined ? { runId } : {}),
+        ...(childSessionId !== undefined ? { childSessionId } : {}),
+    };
+}
+const messagesPhrase = (n, noun) => `${n} ${noun}${n === 1 ? '' : 's'}`;
+const verbBe = (n) => (n === 1 ? 'was' : 'were');
+const itThem = (n) => (n === 1 ? 'it' : 'them');
+const STEER_UNDRAINED_SENTENCE = Object.freeze({
+    leg_end: (n) => `${messagesPhrase(n, 'message')} you sent while the run was in progress ${verbBe(n)} not used before the run ended and will not be delivered. ` +
+        `Send ${itThem(n)} again if you still need ${itThem(n)}.`,
+    crashed: (n) => `${messagesPhrase(n, 'message')} you sent to an earlier run ${verbBe(n)} accepted, but the server stopped before that run finished, ` +
+        `so whether the run used ${itThem(n)} is not known. Check that run's transcript and results before sending ${itThem(n)} again.`,
+});
+const _steerSentencePin = true;
+void _steerSentencePin;
+const followUpUndrainedSentence = (n) => `${messagesPhrase(n, 'follow-up message')} you queued ${verbBe(n)} not used before the run ended and will not be delivered. ` +
+    `Send ${itThem(n)} again if you still need ${itThem(n)}.`;
+const subagentSteerUndrainedSentence = (n) => `${messagesPhrase(n, 'message')} you sent while the run was in progress ${verbBe(n)} not used before a sub-agent's run ended and will not be delivered. ` +
+    `Send ${itThem(n)} again if you still need ${itThem(n)}.`;
+const subagentFollowUpUndrainedSentence = (n) => `${messagesPhrase(n, 'follow-up message')} you queued ${verbBe(n)} not used before a sub-agent's run ended and will not be delivered. ` +
+    `Send ${itThem(n)} again if you still need ${itThem(n)}.`;
+const unrecognizedUndrainedSentence = (n, kind) => `${kind === 'followUp' ? `${messagesPhrase(n, 'follow-up message')} you queued` : `${messagesPhrase(n, 'message')} you sent during a run`} may not have been used, ` +
+    `and the reason was not reported in a form this version recognizes. Check the run's transcript before sending ${itThem(n)} again.`;
+export function userInputUndrainedNotice(facts) {
+    let kind;
+    let count;
+    let cause;
+    let child;
+    try {
+        if (facts === null || typeof facts !== 'object' || Array.isArray(facts))
+            return undefined;
+        kind = Object.hasOwn(facts, 'kind') ? facts.kind : undefined;
+        count = Object.hasOwn(facts, 'count') ? facts.count : undefined;
+        cause = Object.hasOwn(facts, 'cause') ? facts.cause : undefined;
+    }
+    catch {
+        return undefined;
+    }
+    try {
+        child = Object.hasOwn(facts, 'childSessionId') ? facts.childSessionId : undefined;
+    }
+    catch {
+        child = undefined;
+    }
+    const fromSubagent = typeof child === 'string' && child.length > 0;
+    const n = positiveInt(count);
+    if (n === undefined || (kind !== 'steer' && kind !== 'followUp'))
+        return undefined;
+    if (kind === 'followUp') {
+        if (cause === undefined || cause === 'leg_end')
+            return fromSubagent ? subagentFollowUpUndrainedSentence(n) : followUpUndrainedSentence(n);
+        return unrecognizedUndrainedSentence(n, kind);
+    }
+    if (cause === 'leg_end' && fromSubagent)
+        return subagentSteerUndrainedSentence(n);
+    if (typeof cause === 'string' && Object.hasOwn(STEER_UNDRAINED_SENTENCE, cause)) {
+        return STEER_UNDRAINED_SENTENCE[cause](n);
+    }
+    return unrecognizedUndrainedSentence(n, kind);
+}
 export const ENGINE_NOTICE_FACT_READERS = Object.freeze({
     'mcp.injection_dropped': readMcpInjectionDrop,
     'delegation.ask_unresolvable': readAskUnresolvable,
@@ -567,9 +658,11 @@ export const ENGINE_NOTICE_FACT_READERS = Object.freeze({
     'config.permission_mode_unavailable': readPermissionModeUnavailable,
     'permission.ask_released_by_mode': readAskReleasedByMode,
     'permission.read_deny_unapplied': readReadDenyUnapplied,
-    'resume.legacy_mode_seed_migrated': readLegacyModeSeedMigrated,
     'context.tool_turn_repaired': readToolTurnRepaired,
     'server.model_unreachable': readModelUnreachable,
+    'task.tool_turn_incomplete': readToolTurnIncomplete,
+    'task.user_steer_undrained': readUserInputUndrained,
+    'task.user_followup_undrained': readUserInputUndrained,
 });
 const _factReaderTablePin = true;
 void _factReaderTablePin;
@@ -579,10 +672,10 @@ export function readEngineNoticeFacts(notice) {
     let code;
     let detail;
     try {
-        code = notice.code;
+        code = ownSeat(notice, 'code');
         if (typeof code !== 'string' || !Object.hasOwn(ENGINE_NOTICE_FACT_READERS, code))
             return undefined;
-        detail = notice.detail;
+        detail = ownSeat(notice, 'detail');
     }
     catch {
         return undefined;

package/dist/fileHistoryLegNotice.d.ts

@@ -0,0 +1,20 @@
+import type { AgentEvent } from '@sema-agent/sdk';
+import { type FileHistoryCaptureReading } from './fileHistoryCaptureCapability.js';
+export type FileHistoryDeclarationFact = 'sent' | 'not_sent' | 'unknown';
+export declare const FILE_HISTORY_LEG_VERDICTS: readonly ["not_honored", "not_offered", "honored", "not_declared", "unknown"];
+export type FileHistoryLegNoticeVerdict = (typeof FILE_HISTORY_LEG_VERDICTS)[number];
+export interface FileHistoryLegNoticeInput {
+    readonly capability: FileHistoryCaptureReading;
+    readonly declaration: FileHistoryDeclarationFact;
+    readonly captureOffByUser: boolean;
+    readonly legWord: string | undefined;
+}
+export declare function fileHistoryLegNoticeVerdict(input: FileHistoryLegNoticeInput): FileHistoryLegNoticeVerdict;
+export declare function fileHistoryLegNoticeSentence(verdict: FileHistoryLegNoticeVerdict): string | null;
+export declare function fileHistoryDeclarationOfBody(body: object | null | undefined): FileHistoryDeclarationFact;
+export interface FileHistoryDeclarationLedger {
+    declared(requestKey: string, fact: FileHistoryDeclarationFact): boolean;
+    boundToRun(requestKey: string, runId: string, event: AgentEvent): boolean;
+    declarationOf(runId: string): FileHistoryDeclarationFact;
+}
+export declare function createFileHistoryDeclarationLedger(): FileHistoryDeclarationLedger;

package/dist/fileHistoryLegNotice.js

@@ -0,0 +1,122 @@
+import { fileHistoryCaptureMode } from './fileHistoryCaptureCapability.js';
+import { frameProvesDelivery } from './promptDelivery.js';
+import { FILE_HISTORY_DISABLED } from './request/taskRequest.js';
+export const FILE_HISTORY_LEG_VERDICTS = Object.freeze(['not_honored', 'not_offered', 'honored', 'not_declared', 'unknown']);
+function ownRead(o, key) {
+    return Object.hasOwn(o, key) ? o[key] : undefined;
+}
+function declarationOfInput(v) {
+    return v === 'sent' || v === 'not_sent' ? v : 'unknown';
+}
+export function fileHistoryLegNoticeVerdict(input) {
+    if (typeof input !== 'object' || input === null)
+        return 'unknown';
+    let capability;
+    let declaration;
+    let offByUser;
+    let legWord;
+    try {
+        capability = ownRead(input, 'capability');
+        declaration = declarationOfInput(ownRead(input, 'declaration'));
+        offByUser = ownRead(input, 'captureOffByUser') === true;
+        legWord = ownRead(input, 'legWord');
+    }
+    catch {
+        return 'unknown';
+    }
+    if (legWord !== 'on' && legWord !== FILE_HISTORY_DISABLED)
+        return 'unknown';
+    if (declaration === 'sent')
+        return legWord === 'on' ? 'not_honored' : 'honored';
+    if (!offByUser)
+        return 'not_declared';
+    const mode = fileHistoryCaptureMode(capability);
+    if (legWord === 'on' && mode === 'on-always')
+        return 'not_offered';
+    if (declaration === 'not_sent' && (legWord === FILE_HISTORY_DISABLED || mode === 'on-optional'))
+        return 'not_declared';
+    return 'unknown';
+}
+const NOT_HONORED_SENTENCE = 'The engine is still capturing file history for this session, though your settings asked it not to.';
+const NOT_OFFERED_SENTENCE = 'This engine always captures file history and cannot turn it off per session, even though file checkpoints are off in your settings.';
+export function fileHistoryLegNoticeSentence(verdict) {
+    if (verdict === 'not_honored')
+        return NOT_HONORED_SENTENCE;
+    if (verdict === 'not_offered')
+        return NOT_OFFERED_SENTENCE;
+    return null;
+}
+export function fileHistoryDeclarationOfBody(body) {
+    if (typeof body !== 'object' || body === null)
+        return 'unknown';
+    try {
+        if (Array.isArray(body))
+            return 'unknown';
+        if (typeof body.toJSON === 'function')
+            return 'unknown';
+        const d = Object.getOwnPropertyDescriptor(body, 'fileHistory');
+        const all = Object.getOwnPropertyDescriptors(body);
+        for (const k of Reflect.ownKeys(all)) {
+            const x = all[k];
+            if (x !== undefined && x.enumerable === true && !Object.hasOwn(x, 'value'))
+                return 'unknown';
+        }
+        const listed = Object.hasOwn(all, 'fileHistory') ? all.fileHistory : undefined;
+        const listedOn = listed !== undefined && listed.enumerable === true;
+        if (d === undefined || d.enumerable !== true)
+            return listedOn ? 'unknown' : 'not_sent';
+        if (!Object.hasOwn(d, 'value') || !listedOn || !Object.hasOwn(listed, 'value') || !Object.is(listed.value, d.value))
+            return 'unknown';
+        if (!Object.is(body.fileHistory, d.value))
+            return 'unknown';
+        if (typeof d.value === 'object' && d.value !== null)
+            return 'unknown';
+        return d.value === FILE_HISTORY_DISABLED ? 'sent' : 'not_sent';
+    }
+    catch {
+        return 'unknown';
+    }
+}
+const idOk = (v) => typeof v === 'string' && v.length > 0;
+export function createFileHistoryDeclarationLedger() {
+    const factsByKey = new Map();
+    const keysByRun = new Map();
+    return Object.freeze({
+        declared(requestKey, fact) {
+            if (!idOk(requestKey) || (fact !== 'sent' && fact !== 'not_sent'))
+                return false;
+            let set = factsByKey.get(requestKey);
+            if (set === undefined)
+                factsByKey.set(requestKey, (set = new Set()));
+            set.add(fact);
+            return true;
+        },
+        boundToRun(requestKey, runId, event) {
+            if (!idOk(requestKey) || !idOk(runId) || !frameProvesDelivery(event))
+                return false;
+            let set = keysByRun.get(runId);
+            if (set === undefined)
+                keysByRun.set(runId, (set = new Set()));
+            set.add(requestKey);
+            return true;
+        },
+        declarationOf(runId) {
+            if (!idOk(runId))
+                return 'unknown';
+            const keys = keysByRun.get(runId);
+            if (keys === undefined)
+                return 'unknown';
+            let agreed;
+            for (const k of keys) {
+                const facts = factsByKey.get(k);
+                if (facts === undefined || facts.size !== 1)
+                    return 'unknown';
+                const [only] = facts;
+                if (only === undefined || (agreed !== undefined && agreed !== only))
+                    return 'unknown';
+                agreed = only;
+            }
+            return agreed ?? 'unknown';
+        },
+    });
+}

package/dist/gateOutcome.d.ts

@@ -40,7 +40,7 @@ export interface SettlementWhoView {
     approver?: string;
     window?: string;
 }
-export declare const SETTLEMENT_KIND_WORDS: readonly ["human_allowed", "human_refused", "approval_window_expired", "denial_limit_window_expired", "park_sla_expired", "no_approver", "approver_unavailable", "approver_error", "approver_contract", "presentation_failed", "blanket_allow_refused", "policy_refused", "task_aborted"];
+export declare const SETTLEMENT_KIND_WORDS: readonly ["human_allowed", "human_refused", "approval_window_expired", "denial_limit_window_expired", "park_sla_expired", "no_approver", "approver_unavailable", "approver_error", "approver_contract", "presentation_failed", "blanket_allow_refused", "policy_allowed", "policy_refused", "task_aborted"];
 export interface SettlementView {
     kind: Settlement['kind'] | (string & {});
     who: SettlementWhoView;

package/dist/gateOutcome.js

@@ -20,6 +20,7 @@ export const SETTLEMENT_KIND_WORDS = Object.freeze([
     'approver_contract',
     'presentation_failed',
     'blanket_allow_refused',
+    'policy_allowed',
     'policy_refused',
     'task_aborted',
 ]);

package/dist/generated/engineFactTables.d.ts

@@ -9,3 +9,4 @@ export declare const CORE_PERMISSION_MODE_FOLD_REASONS: readonly string[];
 export declare const CORE_ENGINE_CARD_TYPES: readonly string[];
 export declare const CORE_TOOL_DECLARATION_CODES: readonly string[];
 export declare const CORE_MODE_RELEASE_REASONS: readonly ["rule_unreadable"];
+export declare const CORE_HOOK_TOOL_ALIASES: Readonly<Record<string, string>>;

package/dist/generated/engineFactTables.js

@@ -114,3 +114,6 @@ export const CORE_TOOL_DECLARATION_CODES = Object.freeze([
 export const CORE_MODE_RELEASE_REASONS = Object.freeze([
     "rule_unreadable",
 ]);
+export const CORE_HOOK_TOOL_ALIASES = Object.freeze(Object.assign(Object.create(null), Object.fromEntries([
+    ["ListPeers", "ListAgents"],
+])));

package/dist/generated/engineNoticeTables.d.ts

@@ -1,3 +1,6 @@
 export declare const CORE_ENGINE_NOTICE_CODES: readonly string[];
 export declare const CORE_NOTICE_AUDIENCE: Readonly<Record<string, 'user' | 'operator'>>;
 export declare const CORE_MCP_INJECTION_DROP_REASONS: readonly string[];
+export declare const CORE_NOTICE_MINTER: Readonly<Record<string, 'engine' | 'server'>>;
+export declare const CORE_USER_STEER_UNDRAINED_CAUSES: readonly ["leg_end", "crashed"];
+export declare const CORE_TOOL_TURN_INCOMPLETE_CAUSES: readonly ["truncated", "unnamed", "bad_frame", "missing_result_synthesized"];