@xingular/harness 2.0.0 → 2.0.1-unstable

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

@@ -0,0 +1,292 @@
+import { matchesKey, truncateToWidth, wrapTextWithAnsi } from '@earendil-works/pi-tui';
+import { installHubEntry } from "../../hubMenu.js";
+import { inspectorListWidth, safeText, splitColumns } from "../chrome.js";
+import { FilterList } from "../list.js";
+const SECTIONS = [
+    { id: 'catalog', title: 'Catalog' },
+    { id: 'installed', title: 'Installed' }
+];
+const REFRESH = 'action:refresh';
+const installedId = (id, version) => `installed:${id}@${version}`;
+export class HubPage {
+    options;
+    presentation = 'fullscreen';
+    catalog;
+    section = 'catalog';
+    error;
+    refreshError;
+    refreshing = false;
+    previewTitle;
+    previewText;
+    previewOffset = 0;
+    previewRows = 1;
+    busy = false;
+    disposed = false;
+    list;
+    pointerLayout;
+    constructor(options) {
+        this.options = options;
+        this.list = new FilterList({
+            theme: options.theme, search: 'always', noun: ['entry', 'entries'], empty: 'No Community entries have been published yet.',
+            onActivate: row => { void this.activateRow(row.id); }
+        });
+    }
+    get focused() { return this.list.focused; }
+    set focused(value) { this.list.focused = value; }
+    activate() { void this.refreshOnOpen(); }
+    dispose() { this.disposed = true; }
+    tabs() { return SECTIONS; }
+    activeTab() { return this.section; }
+    hint() {
+        if (this.previewText !== undefined)
+            return '↑↓ scroll · PgUp/PgDn page · Esc back';
+        if (this.list.query)
+            return 'Enter open · Esc clear';
+        if (this.section === 'installed')
+            return 'Enter manage receipt · type to search';
+        const selectedId = this.list.selected?.id;
+        const entry = this.catalog?.entries.find(candidate => candidate.channel === 'community' && candidate.id + '@' + candidate.version === selectedId);
+        if (entry?.delivery.kind === 'pi-package')
+            return 'Enter install exact version · type to search';
+        return entry ? 'Enter preview or install · type to search' : 'Enter refresh catalog · type to search';
+    }
+    async refreshOnOpen() {
+        await this.load(false);
+        if (!this.disposed)
+            await this.load(true);
+    }
+    async load(refresh) {
+        if (refresh) {
+            this.refreshing = true;
+            this.options.changed();
+        }
+        try {
+            const catalog = await this.options.call('hub.list', refresh ? { refresh: true } : {});
+            this.catalog = catalog;
+            this.error = undefined;
+            if (refresh) {
+                this.refreshError = catalog.error ?? undefined;
+                if (catalog.error)
+                    this.options.ui.notify(`${catalog.error} Using ${catalog.origin} content.`, 'warning');
+            }
+            else if (catalog.error) {
+                this.refreshError = catalog.error;
+            }
+        }
+        catch (error) {
+            const message = error instanceof Error ? error.message : String(error);
+            if (refresh)
+                this.refreshError = message;
+            else if (!this.catalog)
+                this.error = message;
+        }
+        finally {
+            this.refreshing = false;
+        }
+        if (this.disposed)
+            return;
+        this.fill();
+        this.options.changed();
+    }
+    fill() {
+        this.list.setRows(this.rows());
+    }
+    rows() {
+        if (this.section === 'installed') {
+            const receipts = this.catalog?.installed ?? [];
+            return [
+                ...receipts.map(receipt => ({
+                    id: installedId(receipt.entry.id, receipt.entry.version),
+                    label: safeText(receipt.entry.title),
+                    group: safeText(receipt.entry.category),
+                    detail: `${receipt.entry.channel} · ${receipt.state ?? 'installed'} · ${receipt.entry.version}`,
+                    tone: receipt.state === 'installed' ? 'success' : 'warning',
+                    searchText: `${receipt.entry.title} ${receipt.entry.category} ${receipt.entry.id} ${receipt.entry.publisher} ${receipt.entry.channel} ${receipt.state ?? ''}`
+                })),
+                { id: REFRESH, label: '⟳ Refresh catalog', group: 'Actions', tone: 'accent' }
+            ];
+        }
+        const entries = (this.catalog?.entries ?? []).filter(entry => entry.channel === 'community').sort((left, right) => left.category.localeCompare(right.category));
+        return [
+            ...entries.map(entry => ({
+                id: entry.id + '@' + entry.version, label: safeText(entry.title), group: safeText(entry.category),
+                detail: entry.version, tone: 'muted', searchText: `${entry.title} ${entry.category} ${entry.id} ${entry.publisher} ${entry.tags.join(' ')}`
+            })),
+            { id: REFRESH, label: '⟳ Refresh catalog', group: 'Actions', tone: 'accent' }
+        ];
+    }
+    async activateRow(id) {
+        if (this.busy)
+            return;
+        this.busy = true;
+        try {
+            if (id === REFRESH) {
+                await this.load(true);
+                return;
+            }
+            if (id.startsWith('installed:')) {
+                const receipt = this.catalog?.installed.find(candidate => installedId(candidate.entry.id, candidate.entry.version) === id);
+                if (receipt)
+                    await this.manageReceipt(receipt);
+                return;
+            }
+            const entry = this.catalog?.entries.find(candidate => candidate.channel === 'community' && candidate.id + '@' + candidate.version === id);
+            if (entry) {
+                const installAction = `Install exact version ${entry.version}`;
+                const actions = entry.delivery.kind === 'pi-package'
+                    ? [installAction, 'Back']
+                    : ['Preview reviewed content', installAction, 'Back'];
+                const action = await this.options.ui.select(`${safeText(entry.title)} · ${entry.version}`, actions);
+                if (action === 'Preview reviewed content')
+                    await this.previewEntry(entry);
+                else if (action === installAction) {
+                    await installHubEntry(this.options.ui, this.options.call, entry);
+                    await this.load(false);
+                }
+            }
+        }
+        finally {
+            this.busy = false;
+        }
+    }
+    async previewEntry(entry) {
+        if (entry.delivery.kind === 'pi-package')
+            return;
+        try {
+            const page = await this.options.call('terminal.browser.hubPreview', { id: entry.id, version: entry.version });
+            this.previewTitle = safeText(entry.title);
+            this.previewText = page.content + (page.done ? '' : '\n\n[Preview limited to first page.]');
+            this.previewOffset = 0;
+            this.pointerLayout = undefined;
+            this.options.changed();
+        }
+        catch (error) {
+            this.options.ui.notify(error instanceof Error ? error.message : String(error), 'error');
+        }
+    }
+    async manageReceipt(receipt) {
+        const action = await this.options.ui.select(`${receipt.entry.title} · ${receipt.entry.channel} · ${receipt.entry.version}`, ['Uninstall this version', 'Back']);
+        if (action !== 'Uninstall this version')
+            return;
+        const confirmed = await this.options.ui.confirm(`Uninstall ${receipt.entry.title}?`, `This removes only resources recorded by the ${receipt.entry.channel} receipt ${receipt.entry.id}@${receipt.entry.version} and revokes their attachment choices.`);
+        if (!confirmed)
+            return;
+        try {
+            await this.options.call('hub.uninstall', { id: receipt.entry.id, version: receipt.entry.version });
+            this.options.ui.notify(`Uninstalled ${receipt.entry.title} ${receipt.entry.version}.`, 'info');
+            await this.load(false);
+        }
+        catch (error) {
+            this.options.ui.notify(error instanceof Error ? error.message : String(error), 'error');
+        }
+    }
+    status() {
+        const catalog = this.catalog;
+        const error = this.refreshError ?? catalog.error;
+        const lastRefresh = catalog.refreshedAt ? ` · last refreshed ${catalog.refreshedAt}` : '';
+        if (this.refreshing)
+            return { text: `${catalog.origin} catalog · refreshing…${lastRefresh}`, tone: 'muted' };
+        if (error)
+            return { text: `${catalog.origin} catalog · refresh failed: ${error}${lastRefresh}`, tone: 'warning' };
+        return { text: `${catalog.origin} catalog${catalog.refreshedAt ? ` · refreshed ${catalog.refreshedAt}` : ''}`, tone: 'dim' };
+    }
+    handleMouse(event) {
+        if (this.previewText !== undefined)
+            return { handled: true, render: false };
+        const layout = this.pointerLayout;
+        if (!layout)
+            return undefined;
+        if (event.x < 0 || event.x >= layout.width || event.y < layout.top || event.y >= layout.top + layout.rows)
+            return { handled: true, render: false };
+        return this.list.handleMouse({ ...event, y: event.y - layout.top });
+    }
+    handleInput(data) {
+        if (this.previewText !== undefined) {
+            if (matchesKey(data, 'escape')) {
+                this.previewTitle = undefined;
+                this.previewText = undefined;
+                this.previewOffset = 0;
+                this.options.changed();
+                return true;
+            }
+            const page = Math.max(1, this.previewRows);
+            const delta = matchesKey(data, 'down') ? 1 : matchesKey(data, 'up') ? -1
+                : matchesKey(data, 'pageDown') ? page : matchesKey(data, 'pageUp') ? -page : 0;
+            if (matchesKey(data, 'home'))
+                this.previewOffset = 0;
+            else if (matchesKey(data, 'end'))
+                this.previewOffset = Number.MAX_SAFE_INTEGER;
+            else
+                this.previewOffset += delta;
+            this.options.changed();
+            return true;
+        }
+        if (matchesKey(data, 'tab') || matchesKey(data, 'shift+tab')) {
+            if (!this.list.query) {
+                this.section = this.section === 'catalog' ? 'installed' : 'catalog';
+                this.fill();
+            }
+            return true;
+        }
+        return this.list.handleInput(data);
+    }
+    entryInspector(entry, installed, width, rows) {
+        const theme = this.options.theme();
+        if (width < 1 || rows < 1)
+            return [];
+        if (!entry)
+            return [theme.fg('muted', 'Select an entry to review its publisher, license, and version.')].slice(0, rows);
+        const lines = [theme.bold(safeText(entry.title)), '', ...wrapTextWithAnsi(safeText(entry.description), width), ''];
+        lines.push(`Category: ${safeText(entry.category)}`, `Publisher: ${safeText(entry.publisher)}`, `License: ${safeText(entry.license)}`, `Version: ${safeText(entry.version)}`, `Channel: ${safeText(entry.channel)}`, `ID: ${safeText(entry.id)}`);
+        lines.push('', ...wrapTextWithAnsi(theme.fg('dim', `Source: ${safeText(entry.sourceUrl)}`), width));
+        if (installed)
+            lines.push('', `Installed: ${safeText(installed.installedAt)}`, `Receipt: ${safeText(installed.state ?? 'installed')} · ${safeText(installed.entry.channel)}`);
+        if (entry.delivery.kind === 'pi-package')
+            lines.push('', theme.fg('warning', 'Package code stays switched off and untrusted until reviewed.'));
+        return lines.slice(0, rows).map(line => truncateToWidth(line, width, ''));
+    }
+    render(width, rows) {
+        const theme = this.options.theme();
+        if (width < 1 || rows < 1)
+            return [];
+        if (this.previewText !== undefined) {
+            const content = this.previewText.split('\n').flatMap(line => wrapTextWithAnsi(safeText(line), width));
+            this.previewRows = Math.max(1, rows - 1);
+            this.previewOffset = Math.min(this.previewOffset, Math.max(0, content.length - this.previewRows));
+            const header = theme.bold(`Preview · ${this.previewTitle ?? 'Hub entry'} · ${this.previewOffset + 1}/${Math.max(1, content.length)}`);
+            return [header, ...content.slice(this.previewOffset, this.previewOffset + this.previewRows)]
+                .slice(0, rows).map(line => truncateToWidth(line, width, ''));
+        }
+        if (!this.catalog) {
+            this.pointerLayout = undefined;
+            return [theme.fg(this.error ? 'error' : 'dim', this.error ? 'Could not read the catalog: ' + safeText(this.error) : 'Reading the catalog…')];
+        }
+        const selectedId = this.list.selected?.id;
+        const installed = this.section === 'installed'
+            ? this.catalog.installed.find(receipt => installedId(receipt.entry.id, receipt.entry.version) === selectedId)
+            : undefined;
+        const entry = installed?.entry ?? this.catalog.entries.find(candidate => candidate.channel === 'community' && candidate.id + '@' + candidate.version === selectedId);
+        const status = this.status();
+        const statusLine = theme.fg(status.tone, truncateToWidth(safeText(status.text), width, ''));
+        const paneWidth = inspectorListWidth(width);
+        if (paneWidth !== undefined) {
+            const bodyRows = Math.max(0, rows - 1);
+            const rightWidth = Math.max(0, width - paneWidth - 3);
+            const listLines = this.list.render(paneWidth, bodyRows);
+            this.pointerLayout = { width: paneWidth, top: 1, rows: listLines.length };
+            return [statusLine, ...splitColumns(listLines, this.entryInspector(entry, installed, rightWidth, bodyRows), paneWidth, width, bodyRows, theme)]
+                .slice(0, rows).map(line => truncateToWidth(line, width, ''));
+        }
+        const detail = entry && rows >= 9
+            ? [...wrapTextWithAnsi(safeText(entry.description), width).slice(0, 3), `${entry.publisher} · ${entry.license} · ${entry.id}`,
+                ...(installed ? [`Installed ${installed.installedAt} · ${installed.entry.channel} · ${installed.state ?? 'installed'}`] : [])]
+            : [];
+        const detailHeight = detail.length ? detail.length + 1 : 0;
+        const listLines = this.list.render(width, Math.max(1, rows - 1 - detailHeight));
+        this.pointerLayout = { width, top: 1, rows: Math.min(listLines.length, Math.max(0, rows - 1)) };
+        const lines = [statusLine, ...listLines];
+        if (detail.length)
+            lines.push('', ...detail.map(line => theme.fg('muted', safeText(line))));
+        return lines.slice(0, rows).map(line => truncateToWidth(line, width, ''));
+    }
+}

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

@@ -0,0 +1,38 @@
+import type { Theme } from '@earendil-works/pi-coding-agent';
+import type { TerminalTrajectorySnapshot } from "../../trajectory.js";
+import type { TabInfo } from "../chrome.js";
+import type { TerminalPage } from "../page.js";
+export interface LogSection {
+    title: string;
+    text: string;
+}
+export declare function formatRunEventLog(snapshots: TerminalTrajectorySnapshot[]): string;
+export interface LogPageOptions {
+    theme: () => Theme;
+    /** The diagnostic sources, read when the page is first shown and not again while the overlay is open. */
+    load(): Promise<LogSection[]>;
+    changed(): void;
+}
+/** A static view of the diagnostic snapshot taken when the page was first shown. */
+export declare class LogPage implements TerminalPage {
+    private readonly options;
+    focused: boolean;
+    private sections;
+    private error;
+    private source;
+    private offset;
+    private atEnd;
+    private maxOffset;
+    private rows;
+    private disposed;
+    constructor(options: LogPageOptions);
+    activate(): void;
+    dispose(): void;
+    tabs(): readonly TabInfo[];
+    activeTab(): string;
+    hint(): string;
+    private changeSource;
+    private currentOffset;
+    handleInput(data: string): boolean;
+    render(width: number, rows: number): string[];
+}

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

@@ -0,0 +1,189 @@
+import { matchesKey, stripTerminalSequences, truncateToWidth, wrapTextWithAnsi } from '@earendil-works/pi-tui';
+import { redactLogText } from "../../../core/bus.js";
+const payloadOf = (event) => event.payload && typeof event.payload === 'object' ? event.payload : {};
+const stringOf = (value) => typeof value === 'string' ? value : undefined;
+const numberOf = (value) => typeof value === 'number' && Number.isFinite(value) ? value : undefined;
+function safe(text) {
+    return redactLogText(stripTerminalSequences(text)).replace(/[\x00-\x08\x0b-\x1f\x7f]/g, ' ').replace(/\t/g, '    ');
+}
+function timeOf(value) {
+    const parsed = Date.parse(value);
+    return Number.isFinite(parsed) ? new Date(parsed).toLocaleTimeString() : value;
+}
+function webError(output) {
+    try {
+        const value = JSON.parse(output);
+        if (typeof value.error !== 'string')
+            return undefined;
+        const status = numberOf(value.status);
+        return `${status === undefined ? '' : `HTTP ${status}: `}${value.error}`;
+    }
+    catch {
+        return /^(?:The page could not be read:|The search could not be completed:)/.test(output) ? output : undefined;
+    }
+}
+function eventDetail(event) {
+    const payload = payloadOf(event);
+    switch (event.type) {
+        case 'context.snapshot':
+            return ['prompt and tool definitions omitted'];
+        case 'message.delta':
+        case 'message.completed':
+        case 'message.steered':
+            return ['message content omitted'];
+        case 'tool.started':
+            return [`tool ${stringOf(payload.name) ?? 'unknown'} started; inputs omitted`];
+        case 'tool.completed': {
+            const name = stringOf(payload.name) ?? 'unknown';
+            const duration = numberOf(payload.durationMs);
+            const result = [`tool ${name} ${payload.ok === false ? 'failed' : 'completed'}${duration === undefined ? '' : ` · ${duration} ms`}`];
+            const output = stringOf(payload.output);
+            const webFailure = (name === 'web_fetch' || name === 'web_search') && output ? webError(output) : undefined;
+            if (webFailure)
+                result.push(`  ${webFailure}`);
+            else if (payload.ok === false && output)
+                result.push(`  ${output}`);
+            if (payload.outputTruncated === true)
+                result.push('  recorded output was truncated');
+            return result;
+        }
+        case 'retry.started':
+        case 'retry.ended':
+            return [`attempt ${numberOf(payload.attempt) ?? '?'}${numberOf(payload.maxAttempts) === undefined ? '' : ` of ${numberOf(payload.maxAttempts)}`}${numberOf(payload.delayMs) === undefined ? '' : ` · retry delay ${numberOf(payload.delayMs)} ms`}`, ...(stringOf(payload.error) ? [`  ${payload.error}`] : [])];
+        case 'compaction.ended':
+            return [payload.aborted === true ? 'compaction aborted' : 'compaction completed', ...(stringOf(payload.error) ? [`  ${payload.error}`] : [])];
+        case 'extension.notice':
+            return payload.kind === 'error' || payload.level === 'error' ? [stringOf(payload.text) ?? 'extension error'] : ['non-error extension notice omitted'];
+        case 'account.status': {
+            const message = stringOf(payload.message);
+            return [stringOf(payload.category) ?? 'account status', ...(message ? [message] : [])];
+        }
+        case 'status.changed': {
+            const reason = stringOf(payload.reason);
+            return [stringOf(payload.status) ?? 'status changed', ...(reason ? [reason] : [])];
+        }
+        case 'failed': {
+            const message = stringOf(payload.message);
+            return [stringOf(payload.code) ?? 'run failed', ...(message ? [message] : [])];
+        }
+        case 'usage.updated': {
+            const request = payload.request && typeof payload.request === 'object' ? payload.request : {};
+            return [`${stringOf(request.provider) ?? stringOf(payload.provider) ?? 'provider'}/${stringOf(request.model) ?? stringOf(payload.model) ?? 'model'} · request ${numberOf(request.index) ?? numberOf(payload.requests) ?? '?'}`];
+        }
+        case 'approval.requested':
+        case 'approval.resolved':
+            return [`tool ${stringOf(payload.target) ?? ''} · decision ${stringOf(payload.decision) ?? 'pending'}; action details omitted`];
+        case 'question.requested':
+        case 'question.answered':
+            return ['question content omitted'];
+        default:
+            return [];
+    }
+}
+export function formatRunEventLog(snapshots) {
+    if (!snapshots.length)
+        return 'No run events recorded for this conversation.';
+    const sections = [];
+    for (const snapshot of snapshots) {
+        sections.push(`Run ${snapshot.run.id} · ${snapshot.run.status} · ${snapshot.run.mode}`);
+        const events = snapshot.events.slice().sort((left, right) => left.sequence - right.sequence);
+        if (!events.length)
+            sections.push('  No recorded events');
+        for (const event of events) {
+            sections.push(`${timeOf(event.timestamp)}  #${event.sequence}  ${event.type}`);
+            sections.push(...eventDetail(event).map(detail => `  ${detail}`));
+        }
+        sections.push('');
+    }
+    return safe(sections.join('\n').trimEnd());
+}
+/** A static view of the diagnostic snapshot taken when the page was first shown. */
+export class LogPage {
+    options;
+    focused = false;
+    sections;
+    error;
+    source = 0;
+    offset = 0;
+    atEnd = true;
+    maxOffset = 0;
+    rows = 1;
+    disposed = false;
+    constructor(options) {
+        this.options = options;
+    }
+    activate() {
+        if (this.sections || this.disposed)
+            return;
+        this.options.load().then(sections => { this.sections = sections; }, error => { this.error = error instanceof Error ? error.message : String(error); }).finally(() => { if (!this.disposed)
+            this.options.changed(); });
+    }
+    dispose() { this.disposed = true; }
+    tabs() {
+        return this.sections?.map((item, index) => ({ id: String(index), title: item.title })) ?? [
+            { id: '0', title: 'Diagnostics' }, { id: '1', title: 'Run Events' }
+        ];
+    }
+    activeTab() { return String(this.source); }
+    hint() { return '↑/↓ scroll · PgUp/PgDn page'; }
+    changeSource(direction) {
+        const count = this.sections?.length ?? 0;
+        if (!count)
+            return;
+        this.source = (this.source + direction + count) % count;
+        this.offset = 0;
+        this.atEnd = true;
+    }
+    currentOffset() { return this.atEnd ? this.maxOffset : this.offset; }
+    handleInput(data) {
+        const page = Math.max(1, this.rows - 1);
+        if (matchesKey(data, 'tab'))
+            this.changeSource(1);
+        else if (matchesKey(data, 'shift+tab'))
+            this.changeSource(-1);
+        else if (matchesKey(data, 'home')) {
+            this.offset = 0;
+            this.atEnd = false;
+        }
+        else if (matchesKey(data, 'end'))
+            this.atEnd = true;
+        else if (matchesKey(data, 'up')) {
+            this.offset = Math.max(0, this.currentOffset() - 1);
+            this.atEnd = false;
+        }
+        else if (matchesKey(data, 'down')) {
+            this.offset = this.currentOffset() + 1;
+            this.atEnd = false;
+        }
+        else if (matchesKey(data, 'pageUp')) {
+            this.offset = Math.max(0, this.currentOffset() - page);
+            this.atEnd = false;
+        }
+        else if (matchesKey(data, 'pageDown')) {
+            this.offset = this.currentOffset() + page;
+            this.atEnd = false;
+        }
+        else
+            return false;
+        return true;
+    }
+    render(width, rows) {
+        const theme = this.options.theme();
+        if (width < 1 || rows < 1)
+            return [];
+        if (!this.sections)
+            return [theme.fg(this.error ? 'error' : 'dim', this.error ? `Could not read logs: ${this.error}` : 'Reading logs…')];
+        const section = this.sections[this.source] ?? { title: 'Logs', text: 'No log sources are available.' };
+        const bodyRows = Math.max(0, rows - 2);
+        this.rows = Math.max(1, bodyRows);
+        const lines = safe(section.text).split('\n').flatMap(line => line ? wrapTextWithAnsi(line, width) : ['']);
+        this.maxOffset = Math.max(0, lines.length - bodyRows);
+        if (this.atEnd)
+            this.offset = this.maxOffset;
+        else
+            this.offset = Math.max(0, Math.min(this.maxOffset, this.offset));
+        const last = Math.min(lines.length, this.offset + bodyRows);
+        const position = theme.fg('dim', `lines ${lines.length ? this.offset + 1 : 0}-${last}/${lines.length}`);
+        return [position, ...lines.slice(this.offset, last)].slice(0, rows).map(line => truncateToWidth(line, width, ''));
+    }
+}

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

@@ -0,0 +1,44 @@
+/**
+ * The Permissions page: Full Permission, then every tool with whether a call needs asking.
+ * The state lives in the local Harness state through the runtime's `permissions` calls.
+ */
+import type { Theme } from '@earendil-works/pi-coding-agent';
+import type { TabInfo } from "../chrome.js";
+import type { TerminalPage } from "../page.js";
+import type { TerminalMouseInput } from "../mouse.js";
+import type { TerminalPermissionState } from "../runtime.js";
+export interface PermissionsPageOptions {
+    theme: () => Theme;
+    permissions(): Promise<TerminalPermissionState>;
+    setFullPermission(enabled: boolean): Promise<void>;
+    setGlobalTool(tool: string, allowed: boolean): Promise<void>;
+    /** The tools this session has switched on. */
+    activeTools(): string[];
+    confirm(title: string, message: string): Promise<boolean>;
+    notify(message: string, type?: string): void;
+    changed(): void;
+}
+export declare class PermissionsPage implements TerminalPage {
+    private readonly options;
+    private state;
+    private section;
+    private error;
+    private busy;
+    private disposed;
+    private readonly list;
+    constructor(options: PermissionsPageOptions);
+    get focused(): boolean;
+    set focused(value: boolean);
+    activate(): void;
+    dispose(): void;
+    tabs(): readonly TabInfo[];
+    activeTab(): string;
+    hint(): string;
+    private reload;
+    private fill;
+    private rows;
+    private toggle;
+    handleMouse(event: TerminalMouseInput): import("@earendil-works/pi-tui").TuiMouseEventResult | undefined;
+    handleInput(data: string): boolean;
+    render(width: number, rows: number): string[];
+}