@sema-agent/client-core 0.96.0 → 0.97.1

package/dist/adapter/activeRunSelfHeal.d.ts

@@ -2,8 +2,6 @@ import type { ActiveRunBusySignal } from './runStream.js';
 import type { PlanReviewReopenTrigger } from '../hitl/planReviewWire.js';
 import { atMostOnceFailureClass } from '../atMostOnce.js';
 export declare const PLAN_REVIEW_GATE_KIND = "plan_review";
-export declare const PLAN_REVIEW_GATE_KINDS: readonly string[];
-export declare const ASK_PARK_GATE_KINDS: readonly string[];
 export type DurableDecideLeg = 'approval' | 'plan_review' | 'other_gate' | 'unreadable' | 'absent';
 export declare function durableDecideLegOf(row: {
     readonly gateKind?: string | null;

package/dist/adapter/activeRunSelfHeal.js

@@ -5,14 +5,13 @@ import { atMostOnceFailureClass } from '../atMostOnce.js';
 import { readSteerReceipt } from '../steerReceipt.js';
 import { resumeAttachReplayDisclosure, runningAttachOffered } from '../hitl/resumeRunningCard.js';
 import { isSdkRunTerminal, SDK_PARKED_RUN_STATUSES } from '../terminalStatuses.js';
+import { SDK_APPROVAL_DECIDE_GATE_KINDS, SDK_PLAN_REVIEW_GATE_KINDS } from '../generated/sdkFactTables.js';
 export const PLAN_REVIEW_GATE_KIND = 'plan_review';
-const APPROVAL_LEG_GATE_KINDS = ['human', 'irreversible_ask'];
-const PLAN_LEG_GATE_KINDS = ['plan_review'];
+const APPROVAL_LEG_GATE_KINDS = SDK_APPROVAL_DECIDE_GATE_KINDS;
+const PLAN_LEG_GATE_KINDS = SDK_PLAN_REVIEW_GATE_KINDS;
 const CORE_GATE_KINDS = ['human', 'irreversible_ask', 'resource_limit', 'needs_review', 'plan_review', 'task_done'];
-const _durableDecideLegPins = [true, true, true, true, true, true];
+const _durableDecideLegPins = [true, true, true, true, true, true, true, true, true, true];
 void _durableDecideLegPins;
-export const PLAN_REVIEW_GATE_KINDS = Object.freeze([...PLAN_LEG_GATE_KINDS]);
-export const ASK_PARK_GATE_KINDS = Object.freeze([...APPROVAL_LEG_GATE_KINDS]);
 function gateKindReadingOf(row) {
     let kind;
     try {
@@ -447,9 +446,10 @@ export async function attemptActiveRunSelfHeal(signal, runs, deps) {
         };
     }
     const gateKind = signal.pendingGate?.kind ?? null;
-    if (gateKind !== null && PLAN_REVIEW_GATE_KINDS.includes(gateKind))
+    const gateLeg = gateKind !== null ? durableDecideLegOf({ gateKind }) : 'absent';
+    if (gateLeg === 'plan_review')
         return planReviewArm(taskId, signal, deps);
-    if (gateKind !== null && ASK_PARK_GATE_KINDS.includes(gateKind))
+    if (gateLeg === 'approval')
         return askParkArm(taskId, signal, runs, deps);
     let status = signal.activeTaskStatus;
     if (status === null) {

package/dist/adapter/downstream/terminalToSdkResult.js

@@ -6,12 +6,16 @@ import { readEffectiveReasoning, readEffectiveMemoryScopes } from '../../effecti
 import { isReviewPark, readRunTerminal, runTerminalCode, runTerminalGateToolName, } from '../../runTerminal.js';
 import { doneResultView } from '../../replayBody.js';
 import { toCcModelUsage } from './turnUsageToModelUsage.js';
-import { LIMITS_MAX_COST_EXCEEDED, LIMITS_MAX_TOKENS_EXCEEDED, LIMITS_MAX_TURNS_EXCEEDED, LIMITS_MAX_WALLTIME_EXCEEDED, OUTPUT_INVALID, isCorruptSessionCode, isRewindFamilyCode, } from '../../engineErrorCodes.js';
+import { LIMITS_MAX_COST_EXCEEDED, LIMITS_MAX_TOKENS_EXCEEDED, LIMITS_MAX_TURNS_EXCEEDED, LIMITS_MAX_WALLTIME_EXCEEDED, OUTPUT_INVALID, isCorruptSessionCode, idempotencyPayloadMismatchContent, isIdempotencyPayloadMismatchCode, isRewindFamilyCode, } from '../../engineErrorCodes.js';
 import { corruptSessionContent } from '../../corruptSessionCopy.js';
 import { runBlockedText } from '../../promptBlockedCopy.js';
 import { abortCauseNoteOf, readAbortCause } from '../../runCancelContext.js';
 function withTerminalNote(text, code, frame) {
-    const withCorrupt = isCorruptSessionCode(code) ? `${text}\n${corruptSessionContent()}` : text;
+    const withCorrupt = isCorruptSessionCode(code)
+        ? `${text}\n${corruptSessionContent()}`
+        : isIdempotencyPayloadMismatchCode(code)
+            ? `${text}\n${idempotencyPayloadMismatchContent()}`
+            : text;
     const abortNote = abortCauseNoteOf(frame);
     return abortNote === undefined ? withCorrupt : `${withCorrupt}\n${abortNote}`;
 }

package/dist/agentSession/backgroundView.js

@@ -122,7 +122,6 @@ export function createBackgroundView(client, opts) {
     let disposed = false;
     let current = null;
     let lastSerialized = null;
-    let capsApprovals = null;
     const listeners = new Set();
     const abort = new AbortController();
     function notify() {
@@ -137,27 +136,16 @@ export function createBackgroundView(client, opts) {
             }
         }
     }
-    async function probeCaps() {
-        if (capsApprovals !== null)
-            return;
-        try {
-            const caps = await client.capabilities({ signal: abort.signal });
-            capsApprovals = caps.approvals === true;
-        }
-        catch (err) {
-            debugLog(`caps probe unavailable (approvals 判别缺席,保持 ok 口径): ${String(err)}`);
-        }
-    }
     async function pullAssistant() {
         try {
             const { tasks } = await client.assistant.tasks({ signal: abort.signal });
             if (!Array.isArray(tasks))
                 return { health: 'unavailable', tasks: [] };
-            return { health: capsApprovals === false ? 'not-configured' : 'ok', tasks };
+            return { health: 'ok', tasks };
         }
         catch (err) {
             debugLog(`assistant.tasks degrade: ${String(err)}`);
-            const health = capsApprovals === false || isNotImplemented(err)
+            const health = isNotImplemented(err)
                 ? 'not-configured'
                 : isReadCredentialRefusal(err)
                     ? 'unauthorized'
@@ -183,7 +171,6 @@ export function createBackgroundView(client, opts) {
         }
     }
     async function pollOnce() {
-        await probeCaps();
         const [assistant, fleet] = await Promise.all([pullAssistant(), pullFleet()]);
         if (disposed || abort.signal.aborted)
             return;

package/dist/agentsWireCaps.d.ts

@@ -1,6 +1,7 @@
 import { type EngineProbeOpts, type WireAuthTokenSource } from './engineWireSdk.js';
 import type { ReasoningEffort } from './effortWire.js';
 import type { ToolRosterView } from './toolRoster.js';
+import { type EngineToolDirectory } from './engineToolDirectory.js';
 export declare const MAX_TASK_AGENTS = 32;
 export declare const MAX_AGENT_NAME_CHARS = 64;
 export declare const MAX_AGENT_TEXT_CHARS = 4096;
@@ -61,6 +62,7 @@ export type ProjectAgentsDeps = {
     skillSpecs?: TaskAgentWireSkill[];
     toolRoster?: ToolRosterView | null;
     withholdRefusedDenyLists?: boolean;
+    toolDirectory?: EngineToolDirectory;
     agentSourceLabel?: (agentName: string) => string | undefined;
 };
 export type ProjectAgentsResult = {
@@ -68,7 +70,7 @@ export type ProjectAgentsResult = {
     warnings: string[];
     toolListFlaws?: readonly AgentToolListFlaw[];
 };
-export type AgentToolListFlawKind = 'retired' | 'unprefixed_namespace' | 'case_twin';
+export type AgentToolListFlawKind = 'retired' | 'unprefixed_namespace' | 'unmintable_segment' | 'unjudged' | 'case_twin';
 export interface AgentToolListFlaw {
     readonly agent: string;
     readonly list: 'tools' | 'disallowedTools';

package/dist/agentsWireCaps.js

@@ -3,10 +3,11 @@ import { ownDataField } from './ownKey.js';
 import { makeEngineWireClient } from './engineWireSdk.js';
 import { frozenSet } from './frozenSet.js';
 import { settleWithinDeadline } from './abortableSleep.js';
-import { isEngineRefusedToolName } from './engineRefusedToolName.js';
-import { CORE_PROTOCOL_PREFIXES, CORE_RETIRED_TOOL_CURRENT_NAMES } from './generated/toolNameTables.js';
+import { ruleToolNameVerdictOf } from './protocolSegment.js';
+import { CORE_PROTOCOL_PREFIXES } from './generated/toolNameTables.js';
 import { rosterMountedNames } from './rosterMountedNames.js';
 import { capForDisplay } from './fleetTaskDesc.js';
+import { deniedEntryToolName, mcpEntryReadingOf } from './engineToolDirectory.js';
 export const MAX_TASK_AGENTS = 32;
 export const MAX_AGENT_NAME_CHARS = 64;
 export const MAX_AGENT_TEXT_CHARS = 4_096;
@@ -43,32 +44,6 @@ const SOURCE_RANK = {
 function sourceRank(source) {
     return SOURCE_RANK[source] ?? 5;
 }
-const RETIRED_TABLE_CURRENT_NAMES = frozenSet([...CORE_RETIRED_TOOL_CURRENT_NAMES.values()].filter((v) => typeof v === 'string'));
-function unescapedIndexOf(s, ch, last) {
-    for (let k = 0; k < s.length; k++) {
-        const i = last ? s.length - 1 - k : k;
-        if (s[i] !== ch)
-            continue;
-        let backslashes = 0;
-        for (let j = i - 1; j >= 0 && s[j] === '\\'; j--)
-            backslashes++;
-        if (backslashes % 2 === 0)
-            return i;
-    }
-    return -1;
-}
-function deniedEntryToolName(entry) {
-    if (entry !== entry.trim())
-        return undefined;
-    const open = unescapedIndexOf(entry, '(', false);
-    if (open === -1)
-        return entry;
-    const close = unescapedIndexOf(entry, ')', true);
-    if (close === -1 || close <= open || close !== entry.length - 1)
-        return entry;
-    const name = entry.substring(0, open);
-    return name.length === 0 ? entry : name.trim();
-}
 function toolNameFlawOf(entry, names, list) {
     if (typeof entry !== 'string' || entry.length === 0 || entry === '*')
         return undefined;
@@ -76,12 +51,15 @@ function toolNameFlawOf(entry, names, list) {
     if (name === undefined || name.length === 0 || name === '*' || names.has(name))
         return undefined;
     const named = name !== entry ? { toolName: name } : {};
-    if (isEngineRefusedToolName(name)) {
-        const current = CORE_RETIRED_TOOL_CURRENT_NAMES.get(name);
-        if (current === undefined)
-            return { kind: 'unprefixed_namespace', ...named };
-        return typeof current === 'string' ? { kind: 'retired', currentName: current, ...named } : { kind: 'retired', ...named };
-    }
+    const verdict = ruleToolNameVerdictOf(name);
+    if (verdict.kind === 'unknown')
+        return { kind: 'unjudged', ...named };
+    if (verdict.kind === 'unmintable_segment')
+        return { kind: 'unmintable_segment', ...named };
+    if (verdict.kind === 'unprefixed_namespace')
+        return { kind: 'unprefixed_namespace', ...named };
+    if (verdict.kind === 'retired')
+        return verdict.currentName !== undefined ? { kind: 'retired', currentName: verdict.currentName, ...named } : { kind: 'retired', ...named };
     if (CORE_PROTOCOL_PREFIXES.some((prefix) => name.startsWith(prefix)))
         return undefined;
     const folded = name.toLowerCase();
@@ -94,7 +72,7 @@ export function agentToolListFlaws(agents, roster) {
     if (!Array.isArray(agents) || agents.length === 0)
         return [];
     const mounted = rosterMountedNames(roster);
-    const names = typeof mounted === 'object' ? mounted : RETIRED_TABLE_CURRENT_NAMES;
+    const names = typeof mounted === 'object' ? mounted : new Set();
     const out = [];
     for (const a of agents) {
         if (a === null || typeof a !== 'object' || typeof a.name !== 'string')
@@ -117,6 +95,10 @@ function toolListFlawPhrase(f) {
         return `${entry} is a retired tool name${f.currentName !== undefined ? ` (now ${JSON.stringify(f.currentName)})` : ' (no longer available under any name)'}`;
     if (f.kind === 'unprefixed_namespace')
         return `${entry} contains "__" but does not start with a tool protocol prefix`;
+    if (f.kind === 'unmintable_segment')
+        return `${entry} spells its server or agent peer part in a way the engine never uses when naming tools, so no tool answers to it`;
+    if (f.kind === 'unjudged')
+        return `${entry} could not be checked here, because the engine's tool-name check is not available in this client`;
     return `${entry} differs from the tool ${JSON.stringify(f.currentName ?? '')} only in letter case`;
 }
 export function projectAgentsForWire(defs, deps) {
@@ -176,8 +158,10 @@ export function projectAgentsForWire(defs, deps) {
         const denyTools = projectTools(def.disallowedTools, 'disallowedTools');
         if (denyTools)
             item.denyTools = denyTools;
-        const flaws = agentToolListFlaws([item], deps.toolRoster);
-        if (flaws.length > 0) {
+        let whoMemo;
+        const whoOf = () => {
+            if (whoMemo !== undefined)
+                return whoMemo;
             let source;
             try {
                 source = deps.agentSourceLabel?.(name);
@@ -185,7 +169,14 @@ export function projectAgentsForWire(defs, deps) {
             catch {
                 source = undefined;
             }
-            const who = `agent "${name}"${typeof source === 'string' && source.length > 0 ? ` (${capForDisplay(source, 120)})` : ''}`;
+            whoMemo = `agent "${name}"${typeof source === 'string' && source.length > 0 ? ` (${capForDisplay(source, 120)})` : ''}`;
+            return whoMemo;
+        };
+        const flaws = agentToolListFlaws([item], deps.toolRoster);
+        const flawedEntries = new Set(flaws.map((f) => `${f.list}\u0000${f.entry}`));
+        const omittedAllowFlaws = new Set(flaws.filter((f) => f.list === 'tools' && f.kind !== 'unjudged').map((f) => f.entry));
+        if (flaws.length > 0) {
+            const who = whoOf();
             toolListFlaws.push(...flaws);
             const denyFlaws = flaws.filter(f => f.list === 'disallowedTools');
             const withhold = denyFlaws.length > 0 && deps.withholdRefusedDenyLists === true;
@@ -199,12 +190,49 @@ export function projectAgentsForWire(defs, deps) {
                 for (const f of flaws) {
                     if (f.list !== 'tools')
                         continue;
-                    warnings.push(`agents wire: ${who}: its tools entry ${toolListFlawPhrase(f)} — tool names are matched exactly, so this entry does not give the agent that tool. Fix the entry in the agent definition.`);
+                    warnings.push(f.kind === 'unjudged'
+                        ? `agents wire: ${who}: its tools entry ${toolListFlawPhrase(f)} — tool names are matched exactly, so this entry does not give the agent that tool. Fix the entry in the agent definition.`
+                        : `agents wire: ${who}: its tools entry ${toolListFlawPhrase(f)} — tool names are matched exactly, so no tool answers to this entry; it is omitted (newer engines refuse a request whose agent definitions name it). Fix the entry in the agent definition.`);
                 }
             }
             if (withhold)
                 continue;
         }
+        const filterList = (key, label) => {
+            const entries = item[key];
+            if (entries === undefined)
+                return;
+            const kept = [];
+            for (const entry of entries) {
+                if (label === 'tools' && omittedAllowFlaws.has(entry))
+                    continue;
+                if (flawedEntries.has(`${label}\u0000${entry}`)) {
+                    kept.push(entry);
+                    continue;
+                }
+                const toolName = label === 'disallowedTools' ? deniedEntryToolName(entry) : entry;
+                const reading = toolName === undefined ? 'outside' : mcpEntryReadingOf(toolName, deps.toolDirectory);
+                if (reading === 'unanswered') {
+                    warnings.push(`agents wire: ${whoOf()} ${label} entry ${JSON.stringify(entry)} names no tool this deployment answers to — omitted: no MCP server of that name is declared for this session, so there is nothing to ${label === 'tools' ? 'give' : 'hide'}, and newer engines refuse a request whose agent definitions name such a tool. Remove the entry or configure the server.`);
+                    continue;
+                }
+                if (reading === 'unchecked') {
+                    warnings.push(`agents wire: ${whoOf()} ${label} entry ${JSON.stringify(entry)} could not be checked against the MCP servers this session declares — sent as written; if no such server is declared, newer engines refuse the whole request until the entry is removed.`);
+                }
+                kept.push(entry);
+            }
+            if (key === 'allowTools') {
+                item.allowTools = kept;
+            }
+            else if (kept.length > 0) {
+                item.denyTools = kept;
+            }
+            else {
+                delete item.denyTools;
+            }
+        };
+        filterList('denyTools', 'disallowedTools');
+        filterList('allowTools', 'tools');
         if (def.memory !== undefined) {
             if (typeof def.memory === 'string' && AGENT_MEMORY_WORDS.has(def.memory)) {
                 item.memory = { scopes: [`agent:${name}`], writeScope: `agent:${name}` };

package/dist/approvalDecidedByCapability.d.ts

@@ -1,5 +1,7 @@
 export type ApprovalDecidedByReading = {
     kind: 'unobserved';
+} | {
+    kind: 'unreadable';
 } | {
     kind: 'not_reported';
 } | {

package/dist/approvalDecidedByCapability.js

@@ -17,7 +17,6 @@ export function projectApprovalDecidedByCapability(caps) {
 const reader = createEngineCapReader({
     name: 'approvalDecidedBy',
     project: projectApprovalDecidedByCapability,
-    makeUnobserved: () => ({ kind: 'unobserved' }),
 });
 export function noteEngineCapsForApprovalDecidedBy(baseUrl, caps, opts) {
     reader.note(baseUrl, caps, opts);

package/dist/approvalsStreamLiveCapability.d.ts

@@ -1,5 +1,7 @@
 export type ApprovalsStreamLiveReading = {
     kind: 'unobserved';
+} | {
+    kind: 'unreadable';
 } | {
     kind: 'not_reported';
 } | {

package/dist/approvalsStreamLiveCapability.js

@@ -1,5 +1,5 @@
 import { engineWireTarget } from './engineWireTarget.js';
-import { createEngineCapReader } from './engineCapReader.js';
+import { createEngineCapReader, unreadableReadingDetail } from './engineCapReader.js';
 import { ownDataField } from './ownKey.js';
 export function projectApprovalsStreamLiveCapability(caps) {
     try {
@@ -21,7 +21,6 @@ export function projectApprovalsStreamLiveCapability(caps) {
 const reader = createEngineCapReader({
     name: 'approvalsStreamLive',
     project: projectApprovalsStreamLiveCapability,
-    makeUnobserved: () => ({ kind: 'unobserved' }),
 });
 export function noteEngineCapsForApprovalsStreamLive(baseUrl, caps, opts) {
     reader.note(baseUrl, caps, opts);
@@ -34,6 +33,8 @@ export function livePendingNeedsReconcile(reading) {
 }
 export function approvalsStreamLiveDoctorDetail(reading) {
     switch (reading.kind) {
+        case 'unreadable':
+            return unreadableReadingDetail('live approval push');
         case 'unobserved':
             return 'live approval push not observed — the engine reports it on /v1/capabilities; this process has no usable capabilities reading cached for it (none received, the last one was unreadable, or the last one was discarded when the engine connection was reset; this process cannot tell which), so suspended asks are pulled by the reconcile cadence';
         case 'not_reported':

package/dist/attachmentSeatCapability.d.ts

@@ -1,5 +1,7 @@
 export type AttachmentSeatReading = {
     readonly kind: 'unobserved';
+} | {
+    readonly kind: 'unreadable';
 } | {
     readonly kind: 'not_reported';
 };

package/dist/attachmentSeatCapability.js

@@ -11,7 +11,6 @@ function projectAttachmentSeat(caps) {
 const reader = createEngineCapReader({
     name: 'attachmentSeat',
     project: projectAttachmentSeat,
-    makeUnobserved: () => ({ kind: 'unobserved' }),
 });
 export function noteEngineCapsForAttachmentSeat(baseUrl, caps, opts) {
     reader.note(baseUrl, caps, opts);

package/dist/callerCwdCapability.d.ts

@@ -1,5 +1,7 @@
 export type CallerCwdReading = {
     kind: 'unobserved';
+} | {
+    kind: 'unreadable';
 } | {
     kind: 'not_reported';
 } | {

package/dist/callerCwdCapability.js

@@ -17,7 +17,6 @@ export function projectCallerCwdCapability(caps) {
 const reader = createEngineCapReader({
     name: 'callerCwd',
     project: projectCallerCwdCapability,
-    makeUnobserved: () => ({ kind: 'unobserved' }),
 });
 export function observedCallerCwd(baseUrl = engineWireTarget()?.baseUrl) {
     return reader.observed(baseUrl);

package/dist/centerWiringCapability.d.ts

@@ -19,6 +19,8 @@ export interface CenterWiringView {
 }
 export type CenterWiringReading = {
     kind: 'unobserved';
+} | {
+    kind: 'unreadable';
 } | {
     kind: 'none';
 } | {

package/dist/centerWiringCapability.js

@@ -1,6 +1,6 @@
 import { capForDisplay } from './fleetTaskDesc.js';
 import { engineWireTarget } from './engineWireTarget.js';
-import { createEngineCapReader } from './engineCapReader.js';
+import { createEngineCapReader, unreadableReadingDetail } from './engineCapReader.js';
 import { ownDataField } from './ownKey.js';
 const nonEmpty = (v) => typeof v === 'string' && v !== '';
 const isPlainObject = (v) => typeof v === 'object' && v !== null && !Array.isArray(v);
@@ -86,7 +86,6 @@ function projectCenterWiringOf(caps) {
 const reader = createEngineCapReader({
     name: 'centerWiring',
     project: projectCenterWiringCapability,
-    makeUnobserved: () => ({ kind: 'unobserved' }),
 });
 export function observedCenterWiring(baseUrl = engineWireTarget()?.baseUrl) {
     return reader.observed(baseUrl);
@@ -96,7 +95,7 @@ function guarded(reading) {
         return undefined;
     try {
         const kind = reading.kind;
-        if (kind === 'unobserved' || kind === 'none')
+        if (kind === 'unobserved' || kind === 'unreadable' || kind === 'none')
             return { kind };
         if (kind !== 'present')
             return undefined;
@@ -158,6 +157,8 @@ function failModeClause(v) {
 export function centerWiringDoctorDetail(reading) {
     const unobserved = 'center wiring not observed — the engine reports it on /v1/capabilities; this process has no usable capabilities reading cached for it, so whether this engine is connected to a configuration center is unknown';
     const r = guarded(reading);
+    if (r?.kind === 'unreadable')
+        return unreadableReadingDetail('center wiring');
     if (r?.kind === 'none') {
         return 'no configuration center on this deployment — the engine runs on its own local configuration; no quota lease or usage reporting goes through a center';
     }

package/dist/cloudConfigWireCaps.d.ts

@@ -20,7 +20,7 @@ export interface CloudModelRefIssue {
     readonly key: 'models' | 'roles' | 'atMention' | 'tierGroups' | 'activeTierGroup';
     readonly at?: string;
     readonly target?: string;
-    readonly reason: 'dangling' | 'rejected' | 'unreadable' | 'unsupported' | 'duplicate' | 'shadowed';
+    readonly reason: 'dangling' | 'rejected' | 'unreadable' | 'unsupported' | 'duplicate' | 'shadowed' | 'unvouched';
     readonly outcome: 'dropped' | 'kept';
 }
 export interface CloudModelsDocOptions {
@@ -123,4 +123,4 @@ export interface CloudEffectiveNotice {
     readonly level: 'warn' | 'info';
     readonly text: string;
 }
-export declare function cloudEffectiveNotices(p: Pick<CloudProjection, 'effectiveWarnings' | 'budget' | 'runtimeCaps' | 'modelRefIssues'>): CloudEffectiveNotice[];
+export declare function cloudEffectiveNotices(p: Pick<CloudProjection, 'effectiveWarnings' | 'budget' | 'runtimeCaps' | 'modelRefIssues' | 'droppedMcpServers'>): CloudEffectiveNotice[];