charness 3.6.1 → 3.8.0

package/dist/connectors/telegram/commands/compaction.d.ts

@@ -1,15 +1,53 @@
-import type { AgentAdapter, PendingQuestionState } from '../../../types';
+import type { AgentAdapter, PendingQuestionState, OpenCodeQuestion, ReAskedQuestionRecord } from '../../../types';
 import type { SessionKey } from '../../../sessionKey';
 import type { BotCore } from './botCore';
+import { type QuestionEnd } from '../../../openCodeQuestionFlow';
+import type { LatePromptOutcome } from '../../../utils/promptDelivery';
+/**
+ * @description The question the idle compaction asks again (D1), from the moment the compaction starts to the moment the
+ * re-ask is used or closed. It goes through three phases, and the one record serves them all:
+ *  - COMPACTING — the question was cleared and its old message lost its buttons; nothing is posted yet (`messageId: null`);
+ *  - SENDING — the re-ask is being sent: its message exists, the bot has no id for it yet (`messageId: null`);
+ *  - POSTED — the re-ask's message is known (`messageId`), its `reask_<i>` buttons live.
+ * `predecessorMessageId` is the message the question waited in before: the re-ask is always newer than it, and until the
+ * re-ask is posted the predecessor is where the question's result is written. `ending` is set when the record leaves the map
+ * as closed or answered — a re-ask that lands later ends the same way.
+ */
+export interface ReAskedQuestion {
+    question: OpenCodeQuestion;
+    messageId: number | null;
+    predecessorMessageId: number | null;
+    /** Whether the predecessor's result («asked again below», or the ending) is written or on its way — nothing else writes it. */
+    isPredecessorClosed: boolean;
+    /** Whether the edit that gave the predecessor its result has LANDED: what the saved state says, so a restart finishes a lost edit. */
+    isPredecessorEditLanded: boolean;
+    ending: QuestionEnd | null;
+    /** Where the re-ask's own send is: not begun, in flight (the message exists, its id is not known), or over (landed, or failed). */
+    sendPhase: 'notStarted' | 'inFlight' | 'finished';
+    /** Whether the idle fire has decided about the re-ask (posted it, or found the record taken and left it): its result has run. */
+    hasIdleResultRun: boolean;
+    /**
+     * A typed number answered the question and its label is still on its way to the agent. The record is out of the map, but no
+     * result is written on its messages until the delivery is known (it may reach no session, and then the question is open
+     * again): a re-ask that lands meanwhile is left as it is, and the idle compaction leaves the predecessor alone.
+     */
+    isAnswerPending: boolean;
+}
 /**
  * What the compaction flow needs from the bot: the shared core, the typing indicator, the prompt path the
  * compaction instruction goes through, and the pending-question state the idle re-ask reads and clears.
  */
-export interface CompactionPorts extends Pick<BotCore, 'bot' | 'command' | 'getState' | 'replyToThread' | 'deleteThreadMessage' | 'authoriseContext' | 'withThreadLocale' | 'checkIsGeneral' | 'wakeSleepingSession'> {
+export interface CompactionPorts extends Pick<BotCore, 'bot' | 'command' | 'getState' | 'replyToThread' | 'editThreadKeyboard' | 'authoriseContext' | 'withThreadLocale' | 'checkIsGeneral' | 'wakeSleepingSession'> {
     startTypingLoader: (key: SessionKey) => void;
     forwardPromptToAgent: (key: SessionKey, adapter: AgentAdapter, text: string) => Promise<void>;
     pendingQuestions: Map<string, PendingQuestionState>;
+    /** Clear the topic's pending question and unpin it; its message is left as it is (the idle re-ask closes it once the re-ask is posted). */
     clearPendingQuestion: (key: SessionKey) => void;
+    /**
+     * Edit a question's message to the question as asked plus a note in place of its buttons (the text stays, the message
+     * is never deleted); resolves whether it was edited. The re-asked copy uses it with `unanswered` when its conversation ends.
+     */
+    closeQuestionMessage: (key: SessionKey, messageId: number, question: OpenCodeQuestion, ending: QuestionEnd) => Promise<boolean>;
     /** The idle window in force (`AGENT_IDLE_MINUTES` or the 55-minute default; L-D9). */
     idleWindowMs: number;
     /** Whether a usage-limit wait is armed for the topic — no compaction turn then (L-D6). */
@@ -21,6 +59,26 @@ export interface CompactionPorts extends Pick<BotCore, 'bot' | 'command' | 'getS
     suspendThreadSession: (key: SessionKey) => Promise<void>;
     /** Wake a SLEEPING per-turn session for its idle compaction (L-D7): a resume only; `true` when it is live. */
     resumeSleepingSessionForCompaction: (key: SessionKey) => Promise<boolean>;
+    /** The adapter that runs the topic's conversation (the one a topic with no pick of its own answers to). */
+    getThreadAdapter: (key: SessionKey) => AgentAdapter;
+    /**
+     * Hand the label of an option a person chose on a re-asked question to the conversation as a fresh prompt, routed the way
+     * a typed message is (a live session gets it, a stopping one buffers it, a sleeping one is woken). Resolves where it went:
+     * `noSession` — nowhere, and the topic was told why.
+     */
+    deliverLabel: (key: SessionKey, label: string) => Promise<LatePromptOutcome | null>;
+    /** Wake the topic's SLEEPING conversation for a prompt of its own; `true` when it is live (a start that failed has told the topic why). */
+    resumeSleepingSessionForPrompt: (key: SessionKey) => Promise<boolean>;
+    /** Whether a session of the topic is starting (or stopping), so a prompt is buffered for the one to come. */
+    checkIsStarting: (key: SessionKey) => boolean;
+    /**
+     * End a question message the bot holds no record of, when its buttons are tapped: its own text (`messageText`) stays and
+     * «not answered» takes the place of the buttons. Resolves whether the message was changed at all (the text edit or the
+     * removal of the buttons landed); when not, its buttons are still there and the next tap tries again.
+     */
+    closeOrphanQuestionMessage: (key: SessionKey, messageId: number, messageText: string | null) => Promise<boolean>;
+    /** A person wrote in the topic: the bot-wide effects of that (the idle latch, the todo registry) — and the re-asked question's own end. */
+    notePersonActivity: (key: SessionKey) => void;
 }
 /**
  * @description Build the compaction flow — `/compact`, the compact-on-idle watchdog and its deferred variant —
@@ -40,7 +98,11 @@ export declare function createCompaction(ports: CompactionPorts): {
     };
     checkIsDeferredCompactionArmed: (key: SessionKey) => boolean;
     threadsCompacting: Set<string>;
-    reAskedQuestionOptions: Map<string, string[]>;
+    answerReAskedQuestionByNumber: (key: SessionKey, text: string) => Promise<boolean>;
+    reAskInterruptedQuestion: (key: SessionKey, saved: ReAskedQuestionRecord) => Promise<void>;
+    restoreReAskedQuestion: (key: SessionKey, saved: ReAskedQuestionRecord) => void;
+    closeSavedReAskedQuestion: (key: SessionKey, saved: ReAskedQuestionRecord) => void;
+    closeReAskedQuestion: (key: SessionKey) => void;
     registerCompactionCommands: () => void;
     registerCompactionCallbacks: () => void;
 };

package/dist/connectors/telegram/commands/compaction.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compaction.d.ts","sourceRoot":"","sources":["../../../../src/connectors/telegram/commands/compaction.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,YAAY,EAAE,oBAAoB,EAAoB,MAAM,gBAAgB,CAAC;AAC3F,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AA2BtD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAoHzC;;;GAGG;AACH,MAAM,WAAW,eACf,SAAQ,IAAI,CACV,OAAO,EACP,KAAK,GAAG,SAAS,GAAG,UAAU,GAAG,eAAe,GAAG,qBAAqB,GAAG,kBAAkB,GAAG,kBAAkB,GAAG,gBAAgB,GAAG,qBAAqB,CAC9J;IACD,iBAAiB,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,IAAI,CAAC;IAC7C,oBAAoB,EAAE,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9F,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IACpD,oBAAoB,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,IAAI,CAAC;IAChD,sFAAsF;IACtF,YAAY,EAAE,MAAM,CAAC;IACrB,0FAA0F;IAC1F,qBAAqB,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,OAAO,CAAC;IACpD;;;OAGG;IACH,oBAAoB,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACzD,8GAA8G;IAC9G,kCAAkC,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CAC3E;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,eAAe;mCAoBf,UAAU,KAAG,OAAO;8BA6LzB,UAAU,KAAG,IAAI;kCA4Fb,UAAU,KAAG,IAAI;wCAaX,UAAU,KAAG,IAAI;iCAYxB,UAAU,KAAG,IAAI;gCAvGlB,UAAU,KAAG,IAAI;iCAiVhB,UAAU,KAAG;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE;0CA/OpC,UAAU,KAAG,OAAO;;;sCAwZ1B,IAAI;uCAgGH,IAAI;EAgC7C"}
+{"version":3,"file":"compaction.d.ts","sourceRoot":"","sources":["../../../../src/connectors/telegram/commands/compaction.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,YAAY,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAClH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAyBtD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EAAyB,KAAK,WAAW,EAAE,MAAM,+BAA+B,CAAC;AACxF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AA8EvE;;;;;;;;;GASG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,+HAA+H;IAC/H,mBAAmB,EAAE,OAAO,CAAC;IAC7B,sIAAsI;IACtI,uBAAuB,EAAE,OAAO,CAAC;IACjC,MAAM,EAAE,WAAW,GAAG,IAAI,CAAC;IAC3B,mIAAmI;IACnI,SAAS,EAAE,YAAY,GAAG,UAAU,GAAG,UAAU,CAAC;IAClD,iIAAiI;IACjI,gBAAgB,EAAE,OAAO,CAAC;IAC1B;;;;OAIG;IACH,eAAe,EAAE,OAAO,CAAC;CAC1B;AA0BD;;;GAGG;AACH,MAAM,WAAW,eACf,SAAQ,IAAI,CACV,OAAO,EACP,KAAK,GAAG,SAAS,GAAG,UAAU,GAAG,eAAe,GAAG,oBAAoB,GAAG,kBAAkB,GAAG,kBAAkB,GAAG,gBAAgB,GAAG,qBAAqB,CAC7J;IACD,iBAAiB,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,IAAI,CAAC;IAC7C,oBAAoB,EAAE,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9F,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IACpD,2IAA2I;IAC3I,oBAAoB,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,IAAI,CAAC;IAChD;;;OAGG;IACH,oBAAoB,EAAE,CAAC,GAAG,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,EAAE,WAAW,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IAChI,sFAAsF;IACtF,YAAY,EAAE,MAAM,CAAC;IACrB,0FAA0F;IAC1F,qBAAqB,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,OAAO,CAAC;IACpD;;;OAGG;IACH,oBAAoB,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACzD,8GAA8G;IAC9G,kCAAkC,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IAC1E,2GAA2G;IAC3G,gBAAgB,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,YAAY,CAAC;IACpD;;;;OAIG;IACH,YAAY,EAAE,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,iBAAiB,GAAG,IAAI,CAAC,CAAC;IACpF,2IAA2I;IAC3I,8BAA8B,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACtE,6GAA6G;IAC7G,eAAe,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,OAAO,CAAC;IAC9C;;;;OAIG;IACH,0BAA0B,EAAE,CAAC,GAAG,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACjH,2IAA2I;IAC3I,kBAAkB,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,IAAI,CAAC;CAC/C;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,eAAe;mCAoCf,UAAU,KAAG,OAAO;8BA6LzB,UAAU,KAAG,IAAI;kCA4Fb,UAAU,KAAG,IAAI;wCAaX,UAAU,KAAG,IAAI;iCAYxB,UAAU,KAAG,IAAI;gCAvGlB,UAAU,KAAG,IAAI;iCAivBhB,UAAU,KAAG;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE;0CA/oBpC,UAAU,KAAG,OAAO;;yCAklBf,UAAU,QAAQ,MAAM,KAAG,OAAO,CAAC,OAAO,CAAC;oCA3IhD,UAAU,SAAS,qBAAqB,KAAG,OAAO,CAAC,IAAI,CAAC;kCAtGhE,UAAU,SAAS,qBAAqB,KAAG,IAAI;qCAsB5C,UAAU,SAAS,qBAAqB,KAAG,IAAI;gCAiCpD,UAAU,KAAG,IAAI;sCA6Yb,IAAI;uCAgGH,IAAI;EAsC7C"}