praxis-agent 0.36.0 → 0.37.0

package/dist/cli/tui/transcript-window-model.d.ts

@@ -0,0 +1,108 @@
+import { type TranscriptItem, type TranscriptPresentationEntry, type TranscriptPresentationMode } from './transcript-presentation.js';
+import { type TranscriptEntryViewportIndex } from './transcript-viewport.js';
+/** Caller-owned local presentation revision; never persisted in a Transcript. */
+export interface TuiHistoryChange {
+    readonly revision: number;
+    readonly changedFrom: number;
+}
+/**
+ * Creates a caller-owned immutable mutation fact with non-persisted provenance.
+ * Provenance lets the retained model verify an append in O(1); unbranded or
+ * inconsistent facts remain valid inputs but deliberately take the cold path.
+ */
+export declare function createTuiHistoryChange(revision: number, changedFrom: number, history: readonly TranscriptItem[], previousHistory?: readonly TranscriptItem[]): TuiHistoryChange;
+/** Constructs an append and its lineage proof without scanning the old prefix. */
+export declare function appendTuiHistory(revision: number, previousHistory: readonly TranscriptItem[], suffix: readonly TranscriptItem[]): {
+    readonly history: TranscriptItem[];
+    readonly change: TuiHistoryChange;
+};
+/** @internal Brands an append already constructed by the React history owner. */
+export declare function createTuiAppendHistoryChange(revision: number, previousHistory: readonly TranscriptItem[], history: readonly TranscriptItem[]): TuiHistoryChange;
+interface Leaf {
+    readonly kind: 'leaf';
+    readonly entries: readonly TranscriptPresentationEntry[];
+    readonly rows: readonly number[];
+    readonly viewportIndexes: readonly (TranscriptEntryViewportIndex | undefined)[];
+    readonly entryCount: number;
+    readonly totalRows: number;
+}
+interface Branch {
+    readonly kind: 'branch';
+    readonly left: RowNode;
+    readonly right: RowNode;
+    readonly entryCount: number;
+    readonly totalRows: number;
+    readonly height: number;
+}
+type RowNode = Leaf | Branch;
+type ToolItem = Extract<TranscriptItem, {
+    kind: 'tool';
+}>;
+type ShellItem = Extract<TranscriptItem, {
+    kind: 'shell';
+}>;
+type ToolEntry = Extract<TranscriptPresentationEntry, {
+    kind: 'tool';
+}>;
+interface PendingCall {
+    readonly sourceIndex: number;
+    readonly presentationIndex: number;
+    readonly item: ToolItem | ShellItem;
+}
+interface PendingList {
+    readonly value: PendingCall;
+    readonly next?: PendingList;
+}
+interface PendingQueue {
+    readonly front?: PendingList;
+    readonly back?: PendingList;
+    readonly length: number;
+}
+interface PendingNode {
+    readonly key: string;
+    readonly queue: PendingQueue;
+    readonly left?: PendingNode;
+    readonly right?: PendingNode;
+    readonly height: number;
+}
+interface ReadRunCall {
+    readonly sourceIndex: number;
+    readonly entry: ToolEntry;
+}
+interface TailReadRun {
+    readonly startSourceIndex: number;
+    readonly startPresentationIndex: number;
+    readonly nextSourceIndex: number;
+    readonly calls: readonly ReadRunCall[];
+    readonly summarized: boolean;
+}
+export interface TranscriptWindowState {
+    readonly history: readonly TranscriptItem[];
+    readonly mode: TranscriptPresentationMode;
+    readonly width: number;
+    readonly tree: RowNode;
+    readonly pendingTools?: PendingNode;
+    readonly pendingShells?: PendingNode;
+    readonly tailReadRun?: TailReadRun;
+    readonly revision: number;
+}
+export interface TranscriptWindowInput {
+    readonly history: readonly TranscriptItem[];
+    readonly mode: TranscriptPresentationMode;
+    readonly width: number;
+    readonly pageRows: number;
+    readonly scrollOffset: number;
+    readonly revision: number;
+    readonly bounded: boolean;
+}
+export interface TranscriptWindowResult {
+    readonly state: TranscriptWindowState;
+    readonly allEntries: readonly TranscriptPresentationEntry[];
+    readonly entries: readonly TranscriptPresentationEntry[];
+    readonly totalRows: number;
+    readonly maxOffset: number;
+    readonly transition: 'cold' | 'same' | 'append';
+}
+export declare function projectTranscriptWindow(input: TranscriptWindowInput, previous?: TranscriptWindowState, change?: TuiHistoryChange): TranscriptWindowResult;
+export {};
+//# sourceMappingURL=transcript-window-model.d.ts.map