@xingular/harness 1.4.0-unstable → 1.5.1-unstable

package/dist/sdk/sessions/stopGate.js

@@ -1,143 +0,0 @@
-import { TODO_WRITE } from "../tools/todo.js";
-import { validatedTodo } from "./compactionCheckpoint.js";
-import { answerText } from "./completionCheck.js";
-import { MAX_CHECKPOINT_DONE } from "./contracts.js";
-export const STOP_GATE_EXTENSION = 'stop-gate';
-export const STOP_GATE_CUSTOM_TYPE = 'xingular-stop-gate';
-/** Nudges per reply before the reply is handed back to the person. */
-export const MAX_STOP_GATE_NUDGES = 3;
-/** Calls that are bookkeeping, not work: they neither count as progress nor make a reply checkable. */
-const BOOKKEEPING_TOOLS = new Set([TODO_WRITE, 'session_name']);
-export function createStopGateState(initialTodo = []) {
-    return { todo: validatedTodo(initialTodo) ?? [], request: '', nudges: 0, callsSinceNudge: 0, callsInReply: 0 };
-}
-/** A new reply starts from the inherited todo list, with no nudges. */
-export function resetStopGateState(state, initialTodo = [], request = '') {
-    state.todo = validatedTodo(initialTodo) ?? [];
-    state.request = request;
-    state.nudges = 0;
-    state.callsSinceNudge = 0;
-    state.callsInReply = 0;
-}
-/** The todo items a reply has not finished. */
-export function openItems(todo) {
-    return todo.filter((item) => item.status !== 'completed');
-}
-/**
- * `goal` is the session's /goal, when it has one: a goal that ended `blocked` needs the person,
- * and one that ended on a limit, a pause or a stall leaves work (ADR-0072).
- */
-export function stopOutcome(state, goal) {
-    const open = openItems(state.todo);
-    if (goal?.status === 'blocked')
-        return { code: 'needs_person', reason: goal.lastReason || 'The goal is blocked.', open };
-    if (goal && (goal.status === 'budget_limited' || goal.status === 'usage_limited' || goal.status === 'paused')) {
-        return { code: 'unfinished', reason: goal.lastReason || `The goal is ${goal.status.replace('_', ' ')}.`, open };
-    }
-    if (open.length)
-        return { code: 'unfinished', reason: '', open };
-    return null;
-}
-/** What a checkpoint learns from the reply's todo list and the goal. */
-export function handoffFields(state, goal) {
-    const todo = state?.todo ?? [];
-    const next = openItems(todo)[0]?.text || '';
-    const blocked = goal?.status === 'blocked' ? (goal.lastReason || 'The goal is blocked.').slice(0, 500) : '';
-    return {
-        done: todo.filter((item) => item.status === 'completed').slice(0, MAX_CHECKPOINT_DONE).map((item) => ({ item: item.text.slice(0, 300), evidence: [] })),
-        next: next.slice(0, 500),
-        ...(blocked ? { blocked } : {})
-    };
-}
-/** Why a checkpoint written for a stop outcome was written. */
-export const stopCheckpointReason = (outcome) => outcome.code === 'needs_person' ? 'requested' : 'stuck';
-/** The summary a stop outcome's checkpoint falls back to when the reply left no text. */
-export function stopSummary(outcome) {
-    if (outcome.code === 'needs_person')
-        return `The reply stopped for the person: ${outcome.reason}`.slice(0, 1_200);
-    if (outcome.reason)
-        return `The reply ended with work left: ${outcome.reason}`.slice(0, 1_200);
-    return `The reply ended with ${outcome.open.length} open todo item${outcome.open.length === 1 ? '' : 's'}.`;
-}
-/** The text the model reads when the todo gate sends its reply back. */
-export function nudgeText(count, max, open) {
-    const list = open.slice(0, 12).map((item) => `- ${item.text}`).join('\n');
-    const more = open.length > 12 ? `\n- …and ${open.length - 12} more` : '';
-    return [
-        `Harness stop gate (${count}/${max}): your reply ended with ${open.length} open todo item${open.length === 1 ? '' : 's'}:`,
-        `${list}${more}`,
-        'Continue with the next open item now. Mark an item completed only after it is done and checked.',
-        'The list shows progress; it is not the limit of the work. If the request needs more than the list says, add it and do it.',
-        'Decisions inside the request are yours. Stop only for something only the person can do (a deploy, a secret, remote data, money, missing access), and then say exactly what it is.'
-    ].join('\n');
-}
-/** One line for the run record per stop-gate nudge. */
-export function stopGateNotice(event) {
-    return `Stop gate ${event.count}: the reply ended with ${event.open.length} open todo item${event.open.length === 1 ? '' : 's'}; continuing.`;
-}
-export function stopGate(options) {
-    const { state } = options;
-    const max = options.max ?? MAX_STOP_GATE_NUDGES;
-    return (pi) => {
-        // Pi emits agent_start again for every continuation, so a reply resets only on a person's message.
-        pi.on('before_agent_start', (event) => {
-            if (event.messageType !== undefined && event.messageType !== 'user')
-                return;
-            resetStopGateState(state, options.initialTodo, options.request?.() || (typeof event.prompt === 'string' ? event.prompt : ''));
-        });
-        pi.on('tool_call', (event) => {
-            if (BOOKKEEPING_TOOLS.has(event.toolName))
-                return;
-            state.callsSinceNudge += 1;
-            state.callsInReply += 1;
-        });
-        pi.on('tool_result', (event) => {
-            if (event.toolName !== TODO_WRITE || event.isError)
-                return;
-            const items = validatedTodo(event.input?.items);
-            if (items)
-                state.todo = items;
-        });
-        pi.on('agent_before_settle', (event, ctx) => {
-            if (event.outcome !== 'completed' || event.continue || ctx?.signal?.aborted)
-                return;
-            if (options.active && !options.active())
-                return;
-            if (options.sliceEnded?.() || options.failed?.())
-                return;
-            if (state.nudges >= max)
-                return;
-            // A nudge that produced no work will not be followed by one that does: hand it back.
-            if (state.nudges > 0 && state.callsSinceNudge === 0)
-                return;
-            const open = openItems(state.todo);
-            if (!open.length)
-                return;
-            state.nudges += 1;
-            state.callsSinceNudge = 0;
-            options.onEvent?.({ kind: 'todo', count: state.nudges, open });
-            return {
-                entries: [...event.entries, { type: 'custom_message', customType: STOP_GATE_CUSTOM_TYPE, content: nudgeText(state.nudges, max, open), display: true }],
-                continue: true
-            };
-        });
-    };
-}
-/** The model a goal-claim check asks: the session's own model, at low effort, through Pi's registry. */
-export function sessionCheckModel(ctx) {
-    const session = (ctx ?? {});
-    const model = session.model;
-    const registry = session.modelRegistry;
-    if (!model || !registry)
-        return null;
-    // Some providers (opencode-go) reject a request without a session id.
-    const sessionId = session.sessionManager?.getSessionId?.();
-    return async (system, user, signal) => {
-        const context = { systemPrompt: system, messages: [{ role: 'user', content: user, timestamp: Date.now() }] };
-        const message = await registry.streamSimple(model, context, { ...(model.reasoning ? { reasoning: 'low' } : {}), ...(sessionId ? { sessionId } : {}), maxTokens: 4_000, signal }).result();
-        const failed = message.stopReason;
-        if (failed === 'error' || failed === 'aborted')
-            throw new Error(message.errorMessage || `the check request ended: ${failed}`);
-        return { text: answerText(message), message };
-    };
-}