@xingular/harness 0.1.7 → 1.1.1

package/dist/sdk/terminal/tui/pages/agentsPage.d.ts

@@ -0,0 +1,74 @@
+/**
+ * The Agents page (`/agents`): the agent profiles a subagent can start from (PROP-0029). Built-in
+ * and variant profiles are read-only and can be copied; a person's own global or project profiles
+ * open in their editor and can be deleted. The harness writes every file.
+ */
+import type { Theme } from '@earendil-works/pi-coding-agent';
+import type { AgentProfile, ProfileListing, ProfileProblem } from "../../../agents/profiles.js";
+import type { MenuCall, MenuUi } from "../../pluginMenu.js";
+import { type TabInfo } from "../chrome.js";
+import { type ListRow } from "../list.js";
+import type { TerminalMouseInput } from "../mouse.js";
+import type { TerminalPage } from "../page.js";
+export interface AgentsOverview extends ProfileListing {
+    dirs: {
+        global: string;
+        project: string | null;
+    };
+}
+export interface AgentsPageOptions {
+    theme(): Theme;
+    call: MenuCall;
+    ui: MenuUi & {
+        input(title: string, placeholder?: string): Promise<string | undefined>;
+    };
+    /** Opens a file in the person's editor; absent when the host has none. */
+    edit?(path: string): Promise<void>;
+    changed(): void;
+}
+type Row = {
+    kind: 'new';
+} | {
+    kind: 'profile';
+    profile: AgentProfile;
+} | {
+    kind: 'problem';
+    problem: ProfileProblem;
+};
+export declare const AGENT_ACTIONS: {
+    readonly edit: "Edit in your editor";
+    readonly copy: "Copy to a new profile";
+    readonly remove: "Delete";
+};
+export declare const AGENT_SCOPES: {
+    readonly project: "Project: this repository only";
+    readonly global: "Global: every folder";
+};
+export declare class AgentsPage implements TerminalPage {
+    private readonly options;
+    presentation: "fullscreen";
+    private overview;
+    private error;
+    private busy;
+    private disposed;
+    private readonly list;
+    constructor(options: AgentsPageOptions);
+    get focused(): boolean;
+    set focused(value: boolean);
+    activate(): void;
+    dispose(): void;
+    tabs(): readonly TabInfo[];
+    activeTab(): string;
+    hint(): string;
+    reload(): Promise<void>;
+    rows(): ListRow<Row>[];
+    private attempt;
+    private open;
+    private create;
+    activateRow(row: Row): Promise<void>;
+    private remove;
+    handleMouse(event: TerminalMouseInput): import("@earendil-works/pi-tui").TuiMouseEventResult | undefined;
+    handleInput(data: string): boolean;
+    render(width: number, rows: number): string[];
+}
+export {};

package/dist/sdk/terminal/tui/pages/agentsPage.js

@@ -0,0 +1,190 @@
+import { stripTerminalSequences, truncateToWidth, wrapTextWithAnsi } from '@earendil-works/pi-tui';
+import { formatVariant } from "../../../agents/profiles.js";
+import { headerRow, neutralRule, padded } from "../chrome.js";
+import { FilterList } from "../list.js";
+export const AGENT_ACTIONS = {
+    edit: 'Edit in your editor',
+    copy: 'Copy to a new profile',
+    remove: 'Delete'
+};
+export const AGENT_SCOPES = {
+    project: 'Project: this repository only',
+    global: 'Global: every folder'
+};
+const TABS = [{ id: 'agents', title: 'Agents' }];
+const GROUP = { builtin: 'Built-in', global: 'Global', project: 'Project', variant: 'From the variant' };
+function clean(value) {
+    return stripTerminalSequences(value).replace(/[\x00-\x08\x0b-\x1f\x7f]/g, ' ').replace(/[ \t]+/g, ' ').trim();
+}
+export class AgentsPage {
+    options;
+    presentation = 'fullscreen';
+    overview;
+    error;
+    busy = false;
+    disposed = false;
+    list;
+    constructor(options) {
+        this.options = options;
+        this.list = new FilterList({
+            theme: options.theme, search: 'always', noun: ['profile', 'profiles'], empty: 'No profiles',
+            onActivate: row => { if (row.data)
+                void this.activateRow(row.data); }
+        });
+    }
+    get focused() { return this.list.focused; }
+    set focused(value) { this.list.focused = value; }
+    activate() { void this.reload(); }
+    dispose() { this.disposed = true; }
+    tabs() { return TABS; }
+    activeTab() { return 'agents'; }
+    hint() { return 'Enter choose · type to search'; }
+    async reload() {
+        try {
+            this.overview = await this.options.call('terminal.agents.list');
+            this.error = undefined;
+        }
+        catch (error) {
+            this.error = error instanceof Error ? error.message : String(error);
+        }
+        if (this.disposed)
+            return;
+        this.list.setRows(this.rows());
+        this.options.changed();
+    }
+    rows() {
+        const overview = this.overview;
+        if (!overview)
+            return [];
+        const rows = [{ id: 'new', label: 'New profile', group: 'Actions', detail: 'from a template, then opens in your editor', tone: 'accent', data: { kind: 'new' } }];
+        for (const source of ['builtin', 'global', 'project', 'variant']) {
+            for (const profile of overview.profiles.filter(entry => entry.source === source)) {
+                rows.push({
+                    id: `profile:${profile.name}`, label: profile.name, group: GROUP[source], detail: clean(profile.description), tone: 'muted',
+                    searchText: `${profile.name} ${profile.description} ${source}`, data: { kind: 'profile', profile }
+                });
+            }
+        }
+        for (const problem of overview.problems) {
+            rows.push({
+                id: `problem:${problem.source}:${problem.name}`, label: problem.name, group: 'Cannot be read', detail: clean(problem.error), tone: 'error',
+                searchText: `${problem.name} ${problem.error}`, data: { kind: 'problem', problem }
+            });
+        }
+        return rows;
+    }
+    async attempt(work) {
+        if (this.busy)
+            return;
+        this.busy = true;
+        try {
+            const message = await work();
+            if (message)
+                this.options.ui.notify(message, 'info');
+        }
+        catch (error) {
+            this.options.ui.notify(error instanceof Error ? error.message : String(error), 'error');
+        }
+        finally {
+            this.busy = false;
+        }
+        await this.reload();
+    }
+    async open(path) {
+        if (!this.options.edit)
+            return `Edit the profile at ${path}.`;
+        await this.options.edit(path);
+    }
+    async create(from) {
+        const ui = this.options.ui;
+        const name = (await ui.input(from ? `Name for the copy of ${from}` : 'Profile name', 'lowercase-with-dashes'))?.trim();
+        if (!name)
+            return;
+        const scopes = this.overview?.dirs.project ? [AGENT_SCOPES.project, AGENT_SCOPES.global] : [AGENT_SCOPES.global];
+        const choice = await ui.select(`Where should ${name} live?`, scopes);
+        if (!choice)
+            return;
+        const scope = choice === AGENT_SCOPES.project ? 'project' : 'global';
+        const made = await this.options.call('terminal.agents.create', { name, scope, ...(from ? { from } : {}) });
+        return (await this.open(made.path)) ?? `Saved ${made.name}.`;
+    }
+    async activateRow(row) {
+        if (row.kind === 'new')
+            return this.attempt(() => this.create(null));
+        if (row.kind === 'problem') {
+            const { problem } = row;
+            const scope = problem.source === 'global' || problem.source === 'project' ? problem.source : null;
+            const choice = await this.options.ui.select(`${problem.name} · ${problem.error}`, [AGENT_ACTIONS.edit, ...(scope ? [AGENT_ACTIONS.remove] : [])]);
+            if (choice === AGENT_ACTIONS.edit)
+                return this.attempt(() => this.open(problem.path));
+            if (choice === AGENT_ACTIONS.remove && scope)
+                return this.remove(problem.name, scope);
+            return;
+        }
+        const { profile } = row;
+        const own = profile.source === 'global' || profile.source === 'project' ? profile.source : null;
+        const choice = await this.options.ui.select(`${profile.name} · ${GROUP[profile.source]}`, [...(own ? [AGENT_ACTIONS.edit] : []), AGENT_ACTIONS.copy, ...(own ? [AGENT_ACTIONS.remove] : [])]);
+        if (choice === AGENT_ACTIONS.edit && profile.path)
+            return this.attempt(() => this.open(profile.path));
+        if (choice === AGENT_ACTIONS.copy)
+            return this.attempt(() => this.create(profile.name));
+        if (choice === AGENT_ACTIONS.remove && own)
+            return this.remove(profile.name, own);
+    }
+    async remove(name, scope) {
+        if (!await this.options.ui.confirm(`Delete ${name}?`, `This removes your ${scope} profile file. A built-in profile of the same name comes back.`))
+            return;
+        return this.attempt(async () => {
+            await this.options.call('terminal.agents.remove', { name, scope });
+            return `Deleted ${name}.`;
+        });
+    }
+    handleMouse(event) {
+        return this.list.handleMouse(event);
+    }
+    handleInput(data) {
+        if (this.list.handleInput(data)) {
+            this.options.changed();
+            return true;
+        }
+        return false;
+    }
+    render(width, rows) {
+        const theme = this.options.theme();
+        if (width < 1 || rows < 1)
+            return [];
+        if (this.error)
+            return [theme.fg('error', `Could not read agent profiles: ${this.error}`)];
+        if (!this.overview)
+            return [theme.fg('dim', 'Reading agent profiles…')];
+        const header = headerRow('Agents', `${this.overview.profiles.length} profiles`, width, theme);
+        const bodyRows = Math.max(0, rows - 7);
+        const listRows = Math.max(1, Math.min(this.list.height, Math.floor(bodyRows * 0.55)));
+        const output = [header, '', ...this.list.render(width, listRows), ''];
+        const selected = this.list.selected?.data;
+        const textWidth = Math.max(1, width - 4);
+        output.push(neutralRule(width, theme));
+        if (selected?.kind === 'profile') {
+            const profile = selected.profile;
+            const field = (label, value) => padded(`${theme.fg('muted', `${label}: `)}${theme.fg('text', clean(value))}`, width);
+            output.push(padded(theme.fg('accent', `${profile.name} · ${profile.color}`), width));
+            output.push(...wrapTextWithAnsi(theme.fg('text', clean(profile.description)), textWidth));
+            output.push(field('Tools', profile.tools?.join(', ') ?? 'all of the parent\'s'));
+            output.push(field('Plugins', profile.plugins?.join(', ') ?? 'all of the parent\'s'));
+            output.push(field('Variant', formatVariant(profile.variant) ?? 'the parent\'s'));
+            output.push(field('Model', [profile.model ?? 'the parent\'s', profile.effort ? `effort ${profile.effort}` : null].filter(Boolean).join(' · ')));
+            output.push(field('File', profile.path ?? 'built in'));
+            output.push(padded(theme.fg('accent', 'Instructions'), width));
+            output.push(...profile.instructions.split('\n').flatMap(line => wrapTextWithAnsi(theme.fg('muted', clean(line)), textWidth)));
+        }
+        else if (selected?.kind === 'problem') {
+            output.push(padded(theme.fg('error', selected.problem.error), width));
+            output.push(padded(theme.fg('muted', selected.problem.path), width));
+        }
+        else {
+            const dirs = this.overview.dirs;
+            output.push(padded(theme.fg('muted', `Your profiles live in ${dirs.global}${dirs.project ? ` and ${dirs.project}` : ''}. A project profile wins over a global one, and both over a built-in one.`), width));
+        }
+        return output.slice(0, rows).map(line => truncateToWidth(line, width, ''));
+    }
+}

package/dist/sdk/terminal/tui/pages/annotatePage.d.ts

@@ -0,0 +1,94 @@
+/**
+ * The annotate pane (`/plugin:annotate`, PROP-0018): the person works in a browser window or an app's own
+ * windows, and this page is the panel beside it. With the inspector on, hovering outlines a
+ * component and a click opens a comment popover with three choices: keep it as a note, add it to
+ * this session's queue, or send it to the agent now. The page lists the queue, what was sent and
+ * what the agent says it fixed, and the notes kept on the side.
+ */
+import type { Theme } from '@earendil-works/pi-coding-agent';
+import type { MenuCall, MenuUi } from "../../pluginMenu.js";
+import type { TabInfo } from "../chrome.js";
+import { type ListRow } from "../list.js";
+import type { TerminalMouseInput } from "../mouse.js";
+import type { TerminalPage } from "../page.js";
+import type { Note, NoteTarget } from "../../../annotations/store.js";
+export type AnnotateStart = {
+    kind: 'web';
+    url?: string;
+} | {
+    kind: 'cdp';
+    endpoint: string;
+    name?: string;
+} | {
+    kind: 'bridge';
+    name?: string;
+};
+export interface AnnotatePageOptions {
+    theme(): Theme;
+    call: MenuCall;
+    ui: MenuUi & {
+        input(title: string, placeholder?: string): Promise<string | undefined>;
+    };
+    changed(): void;
+    start: AnnotateStart;
+    /** How often the inspector is asked for the person's next comment, in milliseconds. */
+    pollMs?: number;
+}
+type Row = {
+    kind: 'note';
+    note: Note;
+};
+export declare const ANNOTATE_ACTIONS: {
+    readonly reveal: "Show it in the window";
+    readonly send: "Send to the agent now";
+    readonly confirm: "Confirm sending it (it came from the page)";
+    readonly queue: "Ask the agent to fix it (add to queue)";
+    readonly dequeue: "Take it out of the queue";
+    readonly edit: "Edit the comment";
+    readonly resolve: "Resolve";
+    readonly delete: "Delete";
+};
+export declare function describeTarget(target: NoteTarget): string;
+/** Which section of the panel a note belongs in, for this session; null when it is not shown. */
+export declare function section(note: Note, sessionId: string | null): 'Queue' | 'Sent and fixed' | 'Saved' | null;
+export declare class AnnotatePage implements TerminalPage {
+    private readonly options;
+    presentation: "fullscreen";
+    private notes;
+    private sessionId;
+    private target;
+    private bridgeSnippet;
+    private error;
+    private busy;
+    private disposed;
+    private polling;
+    private timer;
+    private refreshes;
+    private readonly list;
+    constructor(options: AnnotatePageOptions);
+    get focused(): boolean;
+    set focused(value: boolean);
+    tabs(): readonly TabInfo[];
+    activeTab(): string;
+    hint(): string;
+    activate(): void;
+    dispose(): void;
+    private start;
+    private refreshTarget;
+    reload(): Promise<void>;
+    rows(): ListRow<Row>[];
+    private queued;
+    /** Polls the inspector for the person's next comment, and the notes every few seconds. */
+    private schedule;
+    private tick;
+    private toggleInspect;
+    private attempt;
+    sendQueue(): Promise<void>;
+    private chooseWindow;
+    private noteMenu;
+    handleMouse(event: TerminalMouseInput): import("@earendil-works/pi-tui").TuiMouseEventResult | undefined;
+    handleInput(data: string): boolean;
+    private header;
+    render(width: number, rows: number): string[];
+}
+export {};