@animalabs/agent-framework 0.30.0 → 0.32.0

package/src/types/module.ts

@@ -120,7 +120,10 @@ export interface Module {
 
   /**
    * Start the module.
-   * Called when the framework starts or when the module is added.
+   * Called when the module is added: create() adds the modules it is given,
+   * so for those it runs before create() returns. Its own removal and the
+   * framework's stop() wait for it to settle before the module's stop()
+   * runs, so it mustn't await either.
    */
   start(ctx: ModuleContext): Promise<void>;
 
@@ -132,6 +135,8 @@ export interface Module {
    * a host wires up after create() returns, such as a WorkspaceModule's
    * initStore(). A stop() that saves state can therefore run before that
    * wiring, and shouldn't then save over state it was handed and hasn't used.
+   * It isn't called before the module's start() has settled, so it can end
+   * what start() set up.
    */
   stop(): Promise<void>;
 
@@ -259,6 +264,41 @@ export interface AgentSettingsExtension {
 
 /**
  * Context provided to modules for interacting with the framework.
+ *
+ * Once the module's `stop()` has completed, through `removeModule()` or the
+ * framework's `stop()`, its context has no effect on the framework:
+ * - each push is dropped with a log line, as a push after the framework's
+ *   `stop()` is;
+ * - `setState`, `registerLogState`, `appendToLog`, `editLogItem`,
+ *   `editMessage`, `removeMessage`, `notifyOps`, `registerSpeechHandler` and
+ *   `unregisterSpeechHandler` do nothing; `addMessage` returns `''` and adds
+ *   nothing; `callTool` resolves with an error result and runs nothing;
+ *   `getModule` returns `null`; and `onTrace` subscribes nothing, while the
+ *   subscriptions made through the context end. None of these throws, and
+ *   the first such call of each method logs one line naming the module and
+ *   the method;
+ * - `findMessageByExternalId` answers without updating its mapping, and logs
+ *   nothing.
+ *
+ * Its reads (`getState`, `getLog`, `getLogLength`, `getMessage`,
+ * `queryMessages`, `getAgents`, `getActiveTools`, `findMessageByExternalId`)
+ * answer, and fail, as before; one that meets a held write may record that
+ * the write has landed, as any reader's does. The framework calls none of the
+ * module's `onProcess`, `onAgentSpeech` and `onToolBatchComplete` again; it
+ * drops whole a response of its that hadn't been applied by then, with a line
+ * naming what the response asked for if it asked for anything; and it leaves
+ * its `gatherContext` answer out of a turn whose answers it hadn't merged by
+ * then, with a line if it held injections. After `removeModule()`, the result
+ * its `handleToolCall` returns for a call it was running when its `stop()`
+ * completed is still delivered while the framework runs. The framework's
+ * `stop()` closes its event queue before it stops any module, so through the
+ * framework's `stop()` that result is dropped, with the line any tool result
+ * arriving after the framework's `stop()` gets. A result it pushes through
+ * its context after its `stop()` completes is dropped, as its other pushes
+ * are. A module whose `stop()` fails stays registered, and its context keeps
+ * working.
+ * References the module already holds, to other modules or to its own
+ * timers, stay as they are.
  */
 export interface ModuleContext {
   /**
@@ -366,8 +406,7 @@ export interface ModuleContext {
    * and a tool round moves when it injects messages into a stream that
    * declares it carries them. So one that waited for its target's end (a
    * run's end, or a fork's last turn), one stored while it was idle and
-   * never sent, one stored at a tool round that ended the turn, and one
-   * injected into a stream that didn't declare it carries injections go to
+   * never sent, and one stored at a tool round that ended the turn go to
    * the primary. The framework's own
    * writes for a run or a fork are unchanged: they stay in its store,
    * unless they're notices the primary already takes in their place (a

package/src/types/trace.ts

@@ -730,9 +730,10 @@ export type TraceEvent =
       /** Signal that terminated the child, if any. */
       signal: string | null;
       /** Why the transport closed, in its own words, such as `child process
-       *  exited, and its pipe failed with write EPIPE` or `closed by host`;
-       *  null when it gave none, or when its reason is a WebSocket server's
-       *  own close text, which stays off the trace. */
+       *  exited, and this host had stopped using the server's stdio (write
+       *  EPIPE)` or `closed by host`; null when it gave none, or when its
+       *  reason is a WebSocket server's own close text, which stays off the
+       *  trace. */
       reason: string | null;
       /** True when a background reconnect loop will revive the connection. */
       willReconnect: boolean;

package/dist/src/reasoning-loss-notice.d.ts

@@ -1,23 +0,0 @@
-export type ReasoningLossCause = 'tools' | 'system' | 'model';
-export type ReasoningLossAnchor = {
-    text: string;
-} | {
-    toolCall: string;
-};
-export interface ReasoningLossNoticeInput {
-    agentName: string;
-    scope: {
-        kind: 'all';
-        through?: ReasoningLossAnchor;
-        thisTurn: boolean;
-    } | {
-        kind: 'some';
-        count: number;
-        first?: ReasoningLossAnchor;
-        unplaced?: boolean;
-        thisTurn: boolean;
-    };
-    causes: readonly ReasoningLossCause[];
-}
-export declare function reasoningLossNotice(input: ReasoningLossNoticeInput): string;
-//# sourceMappingURL=reasoning-loss-notice.d.ts.map

package/dist/src/reasoning-loss-notice.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"reasoning-loss-notice.d.ts","sourceRoot":"","sources":["../../src/reasoning-loss-notice.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;AAE9D,MAAM,MAAM,mBAAmB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAE1E,MAAM,WAAW,wBAAwB;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EACD;QAAE,IAAI,EAAE,KAAK,CAAC;QAAC,OAAO,CAAC,EAAE,mBAAmB,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,GACjE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,mBAAmB,CAAC;QAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC;IACxG,MAAM,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACvC;AAWD,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,wBAAwB,GAAG,MAAM,CAyB3E"}

package/dist/src/reasoning-loss-notice.js

@@ -1,52 +0,0 @@
-import { NOTICE_TAG } from './notice-tags.js';
-import { oneLine, suppliedValue } from './supplied-text.js';
-import { safeSlice } from './safe-slice.js';
-const ANCHOR_CHARS = 80;
-const CAUSE_WORDS = {
-    tools: 'your tools changed',
-    system: 'your system prompt changed',
-    model: 'your model changed',
-};
-const CAUSE_ORDER = ['tools', 'system', 'model'];
-export function reasoningLossNotice(input) {
-    const causes = CAUSE_ORDER.filter((c) => input.causes.includes(c)).map((c) => CAUSE_WORDS[c]);
-    const because = causes.length > 0 ? `, because ${joinAnd(causes)}` : '';
-    const scope = input.scope;
-    let lost;
-    let reread;
-    if (scope.kind === 'all') {
-        const through = scope.through ? anchorWords(scope.through) : undefined;
-        const among = scope.thisTurn ? ", this turn's earlier steps among them," : '';
-        lost = through
-            ? `The reasoning behind your replies up to the one ${through}${among} is no longer in your context${because}.`
-            : `The reasoning behind your earlier replies${among} is no longer in your context${because}.`;
-        reread = 'Re-read before relying on an earlier decision.';
-    }
-    else {
-        const one = scope.count === 1 && !scope.unplaced;
-        const replies = scope.unplaced
-            ? `at least ${scope.count} of your replies`
-            : one ? 'one of your replies' : `${scope.count} of your replies`;
-        const named = scope.first && !scope.unplaced ? anchorWords(scope.first) : undefined;
-        const first = named ? (one ? `, the one ${named}` : `, the first being the one ${named}`) : '';
-        const among = scope.thisTurn ? (one ? ', an earlier step of this turn' : ", this turn's earlier steps among them") : '';
-        lost = `Some of your earlier reasoning is no longer in your context: the reasoning behind ${replies}${first}${among}${because}.`;
-        reread = named ? 'Re-read before relying on a decision made since then.' : 'Re-read before relying on an earlier decision.';
-    }
-    return `[${NOTICE_TAG.reasoning}] ${input.agentName}: ${lost} Their words are still here. ${reread}`;
-}
-function anchorWords(anchor) {
-    if ('toolCall' in anchor)
-        return anchor.toolCall ? `that called \`${suppliedValue(anchor.toolCall)}\`` : undefined;
-    const text = oneLine(anchor.text).replace(/\s+/g, ' ').trim();
-    if (!text)
-        return undefined;
-    const clipped = text.length > ANCHOR_CHARS ? `${safeSlice(text, 0, ANCHOR_CHARS).trimEnd()}…` : text;
-    return `beginning "${clipped}"`;
-}
-function joinAnd(parts) {
-    if (parts.length <= 1)
-        return parts.join('');
-    return `${parts.slice(0, -1).join(', ')} and ${parts[parts.length - 1]}`;
-}
-//# sourceMappingURL=reasoning-loss-notice.js.map

package/dist/src/reasoning-loss-notice.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"reasoning-loss-notice.js","sourceRoot":"","sources":["../../src/reasoning-loss-notice.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAc5C,MAAM,YAAY,GAAG,EAAE,CAAC;AAExB,MAAM,WAAW,GAAuC;IACtD,KAAK,EAAE,oBAAoB;IAC3B,MAAM,EAAE,4BAA4B;IACpC,KAAK,EAAE,oBAAoB;CAC5B,CAAC;AACF,MAAM,WAAW,GAAkC,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;AAEhF,MAAM,UAAU,mBAAmB,CAAC,KAA+B;IACjE,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9F,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,IAAI,IAAY,CAAC;IACjB,IAAI,MAAc,CAAC;IACnB,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,yCAAyC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,IAAI,GAAG,OAAO;YACZ,CAAC,CAAC,mDAAmD,OAAO,GAAG,KAAK,gCAAgC,OAAO,GAAG;YAC9G,CAAC,CAAC,4CAA4C,KAAK,gCAAgC,OAAO,GAAG,CAAC;QAChG,MAAM,GAAG,gDAAgD,CAAC;IAC5D,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;QACjD,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ;YAC5B,CAAC,CAAC,YAAY,KAAK,CAAC,KAAK,kBAAkB;YAC3C,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,kBAAkB,CAAC;QACnE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpF,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,KAAK,EAAE,CAAC,CAAC,CAAC,6BAA6B,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/F,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC,CAAC,wCAAwC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACxH,IAAI,GAAG,qFAAqF,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,OAAO,GAAG,CAAC;QACjI,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,uDAAuD,CAAC,CAAC,CAAC,gDAAgD,CAAC;IAC9H,CAAC;IACD,OAAO,IAAI,UAAU,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,KAAK,IAAI,gCAAgC,MAAM,EAAE,CAAC;AACvG,CAAC;AAED,SAAS,WAAW,CAAC,MAA2B;IAC9C,IAAI,UAAU,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACnH,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9D,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IACrG,OAAO,cAAc,OAAO,GAAG,CAAC;AAClC,CAAC;AAED,SAAS,OAAO,CAAC,KAAwB;IACvC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7C,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;AAC3E,CAAC"}

package/dist/src/reasoning-loss.d.ts

@@ -1,24 +0,0 @@
-import type { ContentBlock } from '@animalabs/membrane';
-import type { MessageId, ThinkingStrip } from '@animalabs/context-manager';
-import { type PlacedDrop } from './thinking-drops.js';
-export interface StoredReplyReader {
-    getMessage(id: MessageId): {
-        sequence: number;
-        content: readonly ContentBlock[];
-    } | null;
-}
-export interface ReasoningLossTurn {
-    start?: {
-        branch: string;
-        sequence: number;
-    };
-}
-export declare class ReasoningLossTeller {
-    private readonly told;
-    private readonly drops;
-    forStrip(agentName: string, branch: string, strip: ThinkingStrip, turn: ReasoningLossTurn, store: StoredReplyReader): string | undefined;
-    forDrops(agentName: string, branch: string, placed: readonly PlacedDrop[], turn: ReasoningLossTurn, store: StoredReplyReader): string | undefined;
-    forget(agentName: string): void;
-    private toldFor;
-}
-//# sourceMappingURL=reasoning-loss.d.ts.map

package/dist/src/reasoning-loss.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"reasoning-loss.d.ts","sourceRoot":"","sources":["../../src/reasoning-loss.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3E,OAAO,EAAyB,KAAK,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAO7E,MAAM,WAAW,iBAAiB;IAChC,UAAU,CAAC,EAAE,EAAE,SAAS,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAA;KAAE,GAAG,IAAI,CAAC;CAC1F;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;CAC9C;AAQD,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAkD;IACvE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA+B;IAErD,QAAQ,CACN,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,aAAa,EACpB,IAAI,EAAE,iBAAiB,EACvB,KAAK,EAAE,iBAAiB,GACvB,MAAM,GAAG,SAAS,CA0BpB;IAED,QAAQ,CACN,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,SAAS,UAAU,EAAE,EAC7B,IAAI,EAAE,iBAAiB,EACvB,KAAK,EAAE,iBAAiB,GACvB,MAAM,GAAG,SAAS,CAuBpB;IAED,MAAM,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAG9B;IAED,OAAO,CAAC,OAAO;CAOhB"}

package/dist/src/reasoning-loss.js

@@ -1,102 +0,0 @@
-import { ThinkingLossIncidents } from './thinking-drops.js';
-import { reasoningLossNotice, } from './reasoning-loss-notice.js';
-const HEAD_CAUSES = {
-    tools: 'tools',
-    system: 'system',
-    model: 'model',
-};
-export class ReasoningLossTeller {
-    told = new Map();
-    drops = new ThinkingLossIncidents();
-    forStrip(agentName, branch, strip, turn, store) {
-        const told = this.toldFor(agentName, branch);
-        const taken = strip.newly
-            .map((id) => ({ id, sequence: store.getMessage(id)?.sequence }))
-            .sort((a, b) => (a.sequence ?? Infinity) - (b.sequence ?? Infinity));
-        const replies = taken.filter((r) => !told.has(r.id));
-        if (replies.length === 0)
-            return undefined;
-        const thisTurn = replies.some((r) => isThisTurn(r.sequence, branch, turn));
-        if (strip.cause === 'head') {
-            const causes = (strip.changed ?? [])
-                .map((c) => HEAD_CAUSES[c])
-                .filter((c) => c !== undefined);
-            const newest = taken.filter((r) => r.sequence !== undefined).at(-1);
-            const through = newest ? anchorOf(store.getMessage(newest.id)?.content) : undefined;
-            const amongThisTurn = taken.some((r) => isThisTurn(r.sequence, branch, turn));
-            for (const r of replies)
-                told.add(r.id);
-            return reasoningLossNotice({ agentName, scope: { kind: 'all', ...(through ? { through } : {}), thisTurn: amongThisTurn }, causes });
-        }
-        if (strip.cause !== 'first' && !taken.some((r) => isThisTurn(r.sequence, branch, turn)))
-            return undefined;
-        const first = anchorOf(store.getMessage(replies[0].id)?.content);
-        for (const r of replies)
-            told.add(r.id);
-        return reasoningLossNotice({
-            agentName,
-            scope: { kind: 'some', count: replies.length, ...(first ? { first } : {}), thisTurn },
-            causes: [],
-        });
-    }
-    forDrops(agentName, branch, placed, turn, store) {
-        const replies = new Map();
-        const rounds = new Set();
-        let blocks = 0;
-        for (const drop of placed) {
-            if (drop.kind === 'unplaced')
-                continue;
-            blocks++;
-            if (drop.kind === 'round')
-                rounds.add(drop.round);
-            else
-                for (const body of drop.bodies)
-                    replies.set(body.messageId, body.sequence);
-        }
-        const unplaced = blocks < placed.length;
-        const count = replies.size + rounds.size;
-        const ordered = [...replies].sort((a, b) => a[1] - b[1]);
-        const thisTurn = rounds.size > 0 || ordered.some(([, sequence]) => isThisTurn(sequence, branch, turn));
-        const first = ordered.length > 0 && !unplaced ? anchorOf(store.getMessage(ordered[0][0])?.content) : undefined;
-        if (this.drops.observe(agentName, blocks, branch) === undefined)
-            return undefined;
-        const told = this.toldFor(agentName, branch);
-        for (const id of replies.keys())
-            told.add(id);
-        return reasoningLossNotice({
-            agentName,
-            scope: { kind: 'some', count, ...(first ? { first } : {}), ...(unplaced ? { unplaced: true } : {}), thisTurn },
-            causes: [],
-        });
-    }
-    forget(agentName) {
-        this.told.delete(agentName);
-        this.drops.forget(agentName);
-    }
-    toldFor(agentName, branch) {
-        let branches = this.told.get(agentName);
-        if (!branches)
-            this.told.set(agentName, (branches = new Map()));
-        let told = branches.get(branch);
-        if (!told)
-            branches.set(branch, (told = new Set()));
-        return told;
-    }
-}
-function isThisTurn(sequence, branch, turn) {
-    return sequence !== undefined && turn.start?.branch === branch && sequence > turn.start.sequence;
-}
-function anchorOf(content) {
-    if (!content)
-        return undefined;
-    for (const block of content) {
-        if (block.type === 'text' && typeof block.text === 'string' && block.text.trim() !== '')
-            return { text: block.text };
-    }
-    for (const block of content) {
-        if (block.type === 'tool_use' && typeof block.name === 'string' && block.name !== '')
-            return { toolCall: block.name };
-    }
-    return undefined;
-}
-//# sourceMappingURL=reasoning-loss.js.map

package/dist/src/reasoning-loss.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"reasoning-loss.js","sourceRoot":"","sources":["../../src/reasoning-loss.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAmB,MAAM,qBAAqB,CAAC;AAC7E,OAAO,EACL,mBAAmB,GAGpB,MAAM,4BAA4B,CAAC;AAUpC,MAAM,WAAW,GAAuF;IACtG,KAAK,EAAE,OAAO;IACd,MAAM,EAAE,QAAQ;IAChB,KAAK,EAAE,OAAO;CACf,CAAC;AAEF,MAAM,OAAO,mBAAmB;IACb,IAAI,GAAG,IAAI,GAAG,EAAuC,CAAC;IACtD,KAAK,GAAG,IAAI,qBAAqB,EAAE,CAAC;IAErD,QAAQ,CACN,SAAiB,EACjB,MAAc,EACd,KAAoB,EACpB,IAAuB,EACvB,KAAwB;QAExB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK;aACtB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;aAC/D,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,QAAQ,CAAC,CAAC,CAAC;QACvE,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC3C,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAC3E,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC;iBACjC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;iBAC1B,MAAM,CAAC,CAAC,CAAC,EAA2B,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;YAC3D,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACpE,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACpF,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YAC9E,KAAK,MAAM,CAAC,IAAI,OAAO;gBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACxC,OAAO,mBAAmB,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QACtI,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;QAC1G,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;QAClE,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxC,OAAO,mBAAmB,CAAC;YACzB,SAAS;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE;YACrF,MAAM,EAAE,EAAE;SACX,CAAC,CAAC;IACL,CAAC;IAED,QAAQ,CACN,SAAiB,EACjB,MAAc,EACd,MAA6B,EAC7B,IAAuB,EACvB,KAAwB;QAExB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;QAC7C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;YAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAS;YACvC,MAAM,EAAE,CAAC;YACT,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;;gBAC7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM;oBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClF,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QACxC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACzC,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACvG,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChH,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAClF,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC7C,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,IAAI,EAAE;YAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC9C,OAAO,mBAAmB,CAAC;YACzB,SAAS;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE;YAC9G,MAAM,EAAE,EAAE;SACX,CAAC,CAAC;IACL,CAAC;IAED,MAAM,CAAC,SAAiB;QACtB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC/B,CAAC;IAEO,OAAO,CAAC,SAAiB,EAAE,MAAc;QAC/C,IAAI,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QAChE,IAAI,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI;YAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED,SAAS,UAAU,CAAC,QAA4B,EAAE,MAAc,EAAE,IAAuB;IACvF,OAAO,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;AACnG,CAAC;AAED,SAAS,QAAQ,CAAC,OAA4C;IAC5D,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IACvH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE;YAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IACxH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/src/reasoning-loss-notice.ts

@@ -1,64 +0,0 @@
-import { NOTICE_TAG } from './notice-tags.js';
-import { oneLine, suppliedValue } from './supplied-text.js';
-import { safeSlice } from './safe-slice.js';
-
-export type ReasoningLossCause = 'tools' | 'system' | 'model';
-
-export type ReasoningLossAnchor = { text: string } | { toolCall: string };
-
-export interface ReasoningLossNoticeInput {
-  agentName: string;
-  scope:
-    | { kind: 'all'; through?: ReasoningLossAnchor; thisTurn: boolean }
-    | { kind: 'some'; count: number; first?: ReasoningLossAnchor; unplaced?: boolean; thisTurn: boolean };
-  causes: readonly ReasoningLossCause[];
-}
-
-const ANCHOR_CHARS = 80;
-
-const CAUSE_WORDS: Record<ReasoningLossCause, string> = {
-  tools: 'your tools changed',
-  system: 'your system prompt changed',
-  model: 'your model changed',
-};
-const CAUSE_ORDER: readonly ReasoningLossCause[] = ['tools', 'system', 'model'];
-
-export function reasoningLossNotice(input: ReasoningLossNoticeInput): string {
-  const causes = CAUSE_ORDER.filter((c) => input.causes.includes(c)).map((c) => CAUSE_WORDS[c]);
-  const because = causes.length > 0 ? `, because ${joinAnd(causes)}` : '';
-  const scope = input.scope;
-  let lost: string;
-  let reread: string;
-  if (scope.kind === 'all') {
-    const through = scope.through ? anchorWords(scope.through) : undefined;
-    const among = scope.thisTurn ? ", this turn's earlier steps among them," : '';
-    lost = through
-      ? `The reasoning behind your replies up to the one ${through}${among} is no longer in your context${because}.`
-      : `The reasoning behind your earlier replies${among} is no longer in your context${because}.`;
-    reread = 'Re-read before relying on an earlier decision.';
-  } else {
-    const one = scope.count === 1 && !scope.unplaced;
-    const replies = scope.unplaced
-      ? `at least ${scope.count} of your replies`
-      : one ? 'one of your replies' : `${scope.count} of your replies`;
-    const named = scope.first && !scope.unplaced ? anchorWords(scope.first) : undefined;
-    const first = named ? (one ? `, the one ${named}` : `, the first being the one ${named}`) : '';
-    const among = scope.thisTurn ? (one ? ', an earlier step of this turn' : ", this turn's earlier steps among them") : '';
-    lost = `Some of your earlier reasoning is no longer in your context: the reasoning behind ${replies}${first}${among}${because}.`;
-    reread = named ? 'Re-read before relying on a decision made since then.' : 'Re-read before relying on an earlier decision.';
-  }
-  return `[${NOTICE_TAG.reasoning}] ${input.agentName}: ${lost} Their words are still here. ${reread}`;
-}
-
-function anchorWords(anchor: ReasoningLossAnchor): string | undefined {
-  if ('toolCall' in anchor) return anchor.toolCall ? `that called \`${suppliedValue(anchor.toolCall)}\`` : undefined;
-  const text = oneLine(anchor.text).replace(/\s+/g, ' ').trim();
-  if (!text) return undefined;
-  const clipped = text.length > ANCHOR_CHARS ? `${safeSlice(text, 0, ANCHOR_CHARS).trimEnd()}…` : text;
-  return `beginning "${clipped}"`;
-}
-
-function joinAnd(parts: readonly string[]): string {
-  if (parts.length <= 1) return parts.join('');
-  return `${parts.slice(0, -1).join(', ')} and ${parts[parts.length - 1]}`;
-}

package/src/reasoning-loss.ts

@@ -1,120 +0,0 @@
-import type { ContentBlock } from '@animalabs/membrane';
-import type { MessageId, ThinkingStrip } from '@animalabs/context-manager';
-import { ThinkingLossIncidents, type PlacedDrop } from './thinking-drops.js';
-import {
-  reasoningLossNotice,
-  type ReasoningLossAnchor,
-  type ReasoningLossCause,
-} from './reasoning-loss-notice.js';
-
-export interface StoredReplyReader {
-  getMessage(id: MessageId): { sequence: number; content: readonly ContentBlock[] } | null;
-}
-
-export interface ReasoningLossTurn {
-  start?: { branch: string; sequence: number };
-}
-
-const HEAD_CAUSES: Partial<Record<NonNullable<ThinkingStrip['changed']>[number], ReasoningLossCause>> = {
-  tools: 'tools',
-  system: 'system',
-  model: 'model',
-};
-
-export class ReasoningLossTeller {
-  private readonly told = new Map<string, Map<string, Set<MessageId>>>();
-  private readonly drops = new ThinkingLossIncidents();
-
-  forStrip(
-    agentName: string,
-    branch: string,
-    strip: ThinkingStrip,
-    turn: ReasoningLossTurn,
-    store: StoredReplyReader,
-  ): string | undefined {
-    const told = this.toldFor(agentName, branch);
-    const taken = strip.newly
-      .map((id) => ({ id, sequence: store.getMessage(id)?.sequence }))
-      .sort((a, b) => (a.sequence ?? Infinity) - (b.sequence ?? Infinity));
-    const replies = taken.filter((r) => !told.has(r.id));
-    if (replies.length === 0) return undefined;
-    const thisTurn = replies.some((r) => isThisTurn(r.sequence, branch, turn));
-    if (strip.cause === 'head') {
-      const causes = (strip.changed ?? [])
-        .map((c) => HEAD_CAUSES[c])
-        .filter((c): c is ReasoningLossCause => c !== undefined);
-      const newest = taken.filter((r) => r.sequence !== undefined).at(-1);
-      const through = newest ? anchorOf(store.getMessage(newest.id)?.content) : undefined;
-      const amongThisTurn = taken.some((r) => isThisTurn(r.sequence, branch, turn));
-      for (const r of replies) told.add(r.id);
-      return reasoningLossNotice({ agentName, scope: { kind: 'all', ...(through ? { through } : {}), thisTurn: amongThisTurn }, causes });
-    }
-    if (strip.cause !== 'first' && !taken.some((r) => isThisTurn(r.sequence, branch, turn))) return undefined;
-    const first = anchorOf(store.getMessage(replies[0]!.id)?.content);
-    for (const r of replies) told.add(r.id);
-    return reasoningLossNotice({
-      agentName,
-      scope: { kind: 'some', count: replies.length, ...(first ? { first } : {}), thisTurn },
-      causes: [],
-    });
-  }
-
-  forDrops(
-    agentName: string,
-    branch: string,
-    placed: readonly PlacedDrop[],
-    turn: ReasoningLossTurn,
-    store: StoredReplyReader,
-  ): string | undefined {
-    const replies = new Map<MessageId, number>();
-    const rounds = new Set<number>();
-    let blocks = 0;
-    for (const drop of placed) {
-      if (drop.kind === 'unplaced') continue;
-      blocks++;
-      if (drop.kind === 'round') rounds.add(drop.round);
-      else for (const body of drop.bodies) replies.set(body.messageId, body.sequence);
-    }
-    const unplaced = blocks < placed.length;
-    const count = replies.size + rounds.size;
-    const ordered = [...replies].sort((a, b) => a[1] - b[1]);
-    const thisTurn = rounds.size > 0 || ordered.some(([, sequence]) => isThisTurn(sequence, branch, turn));
-    const first = ordered.length > 0 && !unplaced ? anchorOf(store.getMessage(ordered[0]![0])?.content) : undefined;
-    if (this.drops.observe(agentName, blocks, branch) === undefined) return undefined;
-    const told = this.toldFor(agentName, branch);
-    for (const id of replies.keys()) told.add(id);
-    return reasoningLossNotice({
-      agentName,
-      scope: { kind: 'some', count, ...(first ? { first } : {}), ...(unplaced ? { unplaced: true } : {}), thisTurn },
-      causes: [],
-    });
-  }
-
-  forget(agentName: string): void {
-    this.told.delete(agentName);
-    this.drops.forget(agentName);
-  }
-
-  private toldFor(agentName: string, branch: string): Set<MessageId> {
-    let branches = this.told.get(agentName);
-    if (!branches) this.told.set(agentName, (branches = new Map()));
-    let told = branches.get(branch);
-    if (!told) branches.set(branch, (told = new Set()));
-    return told;
-  }
-}
-
-function isThisTurn(sequence: number | undefined, branch: string, turn: ReasoningLossTurn): boolean {
-  return sequence !== undefined && turn.start?.branch === branch && sequence > turn.start.sequence;
-}
-
-function anchorOf(content: readonly ContentBlock[] | undefined): ReasoningLossAnchor | undefined {
-  if (!content) return undefined;
-  for (const block of content) {
-    if (block.type === 'text' && typeof block.text === 'string' && block.text.trim() !== '') return { text: block.text };
-  }
-  for (const block of content) {
-    if (block.type === 'tool_use' && typeof block.name === 'string' && block.name !== '') return { toolCall: block.name };
-  }
-  return undefined;
-}