@danypops/papyrus 0.34.3 → 0.35.1

package/extension/src/tool-rendering/artifact-list.ts

@@ -1,179 +0,0 @@
-import type { Theme } from "@earendil-works/pi-coding-agent";
-import { type Component, truncateToWidth } from "@earendil-works/pi-tui";
-import { TOOL_COLLAPSED_ROW_LIMIT } from "../../../src/constants.ts";
-import { countSummary, expandHint, kindGlyph, statusGlyph, treeConnector } from "./artifact-card.ts";
-import type {
-	ArtifactListToolDetails,
-	GraphToolDetails,
-	ToolArtifactSummary,
-} from "./render-model.ts";
-
-function pluralKind(rows: readonly ToolArtifactSummary[]): string {
-	const kind = rows[0]?.kind ?? "artifact";
-	if (kind === "task") return "tasks";
-	if (kind === "doc") return "documents";
-	if (kind === "skill") return "skills";
-	if (kind === "rule") return "rules";
-	return "artifacts";
-}
-
-function statusSummary(rows: readonly ToolArtifactSummary[]): string {
-	const counts = new Map<string, number>();
-	for (const row of rows) counts.set(row.status, (counts.get(row.status) ?? 0) + 1);
-	return [...counts.entries()].map(([status, count]) => `${status} ${count}`).join(" · ");
-}
-
-function rowLine(row: ToolArtifactSummary, expanded: boolean, theme: Theme): string {
-	const identity = expanded ? `${row.id}  ` : "";
-	return [
-		theme.fg("muted", `${statusGlyph(row.status)} ${row.status}`),
-		theme.fg("accent", identity),
-		theme.fg("text", row.title),
-	].join("  ");
-}
-
-function rowMetadata(row: ToolArtifactSummary): string {
-	return [row.subtype, ...row.labels].filter(Boolean).join(" · ");
-}
-
-/** Bounded collapsed/expanded artifact collection presentation. */
-export class ArtifactListCard implements Component {
-	private details: ArtifactListToolDetails;
-	private theme: Theme;
-	private expanded: boolean;
-	private cachedWidth: number | undefined;
-	private cachedLines: string[] | undefined;
-
-	constructor(details: ArtifactListToolDetails, theme: Theme, expanded: boolean) {
-		this.details = details;
-		this.theme = theme;
-		this.expanded = expanded;
-	}
-
-	update(details: ArtifactListToolDetails, theme: Theme, expanded: boolean): void {
-		this.details = details;
-		this.theme = theme;
-		this.expanded = expanded;
-		this.invalidate();
-	}
-
-	render(width: number): string[] {
-		const safeWidth = Math.max(1, width);
-		if (this.cachedLines && this.cachedWidth === safeWidth) return this.cachedLines;
-		const rows = this.details.rows;
-		const noun = pluralKind(rows);
-		const lines = [truncateToWidth(
-			this.theme.fg("toolTitle", this.theme.bold(`${countSummary(rows.length, this.details.total)} ${noun}`)),
-			safeWidth,
-		)];
-		if (rows.length === 0) {
-			lines.push(truncateToWidth(this.theme.fg("dim", `No ${noun}.`), safeWidth));
-		} else {
-			lines.push(truncateToWidth(this.theme.fg("muted", statusSummary(rows)), safeWidth));
-			const display = this.expanded ? rows : rows.slice(0, TOOL_COLLAPSED_ROW_LIMIT);
-			for (const row of display) {
-				lines.push(truncateToWidth(rowLine(row, this.expanded, this.theme), safeWidth));
-				if (this.expanded) {
-					const metadata = rowMetadata(row);
-					if (metadata) lines.push(truncateToWidth(this.theme.fg("dim", `  ${metadata}`), safeWidth));
-				}
-			}
-			const omitted = Math.max(0, this.details.total - display.length);
-			if (omitted > 0) lines.push(truncateToWidth(this.theme.fg("dim", `${omitted} more · ${expandHint()}`), safeWidth));
-		}
-		this.cachedWidth = safeWidth;
-		this.cachedLines = lines;
-		return lines;
-	}
-
-	invalidate(): void {
-		this.cachedWidth = undefined;
-		this.cachedLines = undefined;
-	}
-}
-
-interface HierarchyRow {
-	node: ToolArtifactSummary;
-	prefix: string;
-	connector: string;
-}
-
-function hierarchyRows(details: GraphToolDetails): HierarchyRow[] {
-	const byId = new Map(details.nodes.map((node) => [node.id, node]));
-	const childIds = new Map<string, string[]>();
-	const contained = new Set<string>();
-	for (const edge of details.edges) {
-		if (edge.relation !== "contains" || !byId.has(edge.from) || !byId.has(edge.to)) continue;
-		const children = childIds.get(edge.from) ?? [];
-		children.push(edge.to);
-		childIds.set(edge.from, children);
-		contained.add(edge.to);
-	}
-	const roots = details.nodes.filter((node) => !contained.has(node.id));
-	const rows: HierarchyRow[] = [];
-	const visited = new Set<string>();
-	const visit = (node: ToolArtifactSummary, prefix: string, connector: string): void => {
-		if (visited.has(node.id)) return;
-		visited.add(node.id);
-		rows.push({ node, prefix, connector });
-		const children = (childIds.get(node.id) ?? []).map((id) => byId.get(id)).filter((child): child is ToolArtifactSummary => child !== undefined);
-		children.forEach((child, index) => {
-			const last = index === children.length - 1;
-			visit(child, `${prefix}${connector ? (connector === "└─" ? "  " : "│ ") : ""}`, treeConnector(last));
-		});
-	};
-	for (const root of roots) visit(root, "", "");
-	for (const node of details.nodes) visit(node, "", "");
-	return rows;
-}
-
-/** Bounded task containment preview; dependency graphs use the dedicated graph renderer. */
-export class TaskHierarchyPreview implements Component {
-	private details: GraphToolDetails;
-	private theme: Theme;
-	private expanded: boolean;
-	private cachedWidth: number | undefined;
-	private cachedLines: string[] | undefined;
-
-	constructor(details: GraphToolDetails, theme: Theme, expanded: boolean) {
-		this.details = details;
-		this.theme = theme;
-		this.expanded = expanded;
-	}
-
-	update(details: GraphToolDetails, theme: Theme, expanded: boolean): void {
-		this.details = details;
-		this.theme = theme;
-		this.expanded = expanded;
-		this.invalidate();
-	}
-
-	render(width: number): string[] {
-		const safeWidth = Math.max(1, width);
-		if (this.cachedLines && this.cachedWidth === safeWidth) return this.cachedLines;
-		const rows = hierarchyRows(this.details);
-		const lines = [truncateToWidth(
-			this.theme.fg("toolTitle", this.theme.bold(`${this.details.nodes.length} tasks · ${this.details.edges.length} edges`)),
-			safeWidth,
-		)];
-		for (const row of rows) {
-			const identity = this.expanded ? `${row.node.id}  ` : "";
-			lines.push(truncateToWidth(
-				`${row.prefix}${row.connector}${row.connector ? " " : ""}${this.theme.fg("accent", kindGlyph(row.node.kind))} ${this.theme.fg("muted", statusGlyph(row.node.status))} ${this.theme.fg("accent", identity)}${this.theme.fg("text", row.node.title)}`,
-				safeWidth,
-			));
-			if (this.expanded) {
-				const metadata = rowMetadata(row.node);
-				if (metadata) lines.push(truncateToWidth(this.theme.fg("dim", `${row.prefix}   ${metadata}`), safeWidth));
-			}
-		}
-		this.cachedWidth = safeWidth;
-		this.cachedLines = lines;
-		return lines;
-	}
-
-	invalidate(): void {
-		this.cachedWidth = undefined;
-		this.cachedLines = undefined;
-	}
-}

package/extension/src/tool-rendering/index.ts

@@ -1,109 +0,0 @@
-import type {
-	AgentToolResult,
-	Theme,
-	ToolRenderResultOptions,
-} from "@earendil-works/pi-coding-agent";
-import { type Component, Text } from "@earendil-works/pi-tui";
-import { ArtifactCard } from "./artifact-card.ts";
-import { ArtifactListCard, TaskHierarchyPreview } from "./artifact-list.ts";
-import { parsePapyrusToolDetails, type PapyrusToolDetails } from "./render-model.ts";
-
-const CALL_VALUE_MAX_CHARACTERS = 80;
-
-export interface PapyrusToolRenderContext {
-	lastComponent: Component | undefined;
-	isError: boolean;
-}
-
-function primaryArgument(args: Record<string, unknown>): string | undefined {
-	// name/title before id: a caller that already knows the name shouldn't have the raw id echoed
-	// back at it; id only surfaces here when it's genuinely the only identifying argument given.
-	for (const key of ["name", "title", "id", "text", "query", "kind", "template_id"]) {
-		const value = args[key];
-		if (typeof value === "string" && value.trim()) return value.slice(0, CALL_VALUE_MAX_CHARACTERS);
-	}
-	return undefined;
-}
-
-/** Compact native call header that never echoes bodies or structured payloads. */
-export function renderPapyrusToolCall(label: string, args: Record<string, unknown>, theme: Theme): Component {
-	const action = typeof args.action === "string" ? args.action : "call";
-	const primary = primaryArgument(args);
-	const text = [
-		theme.fg("toolTitle", theme.bold(label)),
-		theme.fg("muted", action),
-		...(primary ? [theme.fg("accent", primary)] : []),
-	].join("  ");
-	return new Text(text, 0, 0);
-}
-
-function textContent(result: AgentToolResult<unknown>): string {
-	return result.content
-		.filter((entry): entry is { type: "text"; text: string } => entry.type === "text")
-		.map((entry) => entry.text)
-		.join("\n");
-}
-
-function simpleDetailsText(details: Exclude<PapyrusToolDetails, { kind: "artifact" | "artifact-list" | "graph" }>): string {
-	switch (details.kind) {
-		case "transition":
-			return `✓ ${details.fromStatus} → ${details.toStatus}\n${details.artifact.title}`;
-		case "gate-run": {
-			const passed = details.gates.filter((gate) => gate.passed).length;
-			return [
-				`${passed}/${details.gates.length} gates passed for "${details.artifactTitle}"`,
-				...details.gates.map((gate) => `${gate.passed ? "✓" : "✗"} ${gate.type}: ${gate.target}${gate.output ? ` — ${gate.output}` : ""}`),
-			].join("\n");
-		}
-		case "invocation":
-			return [
-				`✓ Run ${details.runId}`,
-				`${details.created.tasks.length} tasks · ${details.created.docs.length} docs · ${details.created.rules.length} rules`,
-				...(details.created.roots.length ? [`Roots: ${details.created.roots.join(", ")}`] : []),
-			].join("\n");
-		case "preview":
-			return `${details.title}\n${details.content}${details.completeness.truncated ? `\n[truncated ${details.completeness.omitted} characters]` : ""}`;
-		case "error":
-			return `${details.code}: ${details.message}`;
-	}
-}
-
-/** Render structured details for humans while preserving compact model content as fallback. */
-export function renderPapyrusToolResult(
-	result: AgentToolResult<unknown>,
-	options: ToolRenderResultOptions,
-	theme: Theme,
-	context: PapyrusToolRenderContext,
-): Component {
-	if (options.isPartial) return new Text(theme.fg("warning", "Working…"), 0, 0);
-	const details = parsePapyrusToolDetails(result.details);
-	if (!details) return new Text(theme.fg("toolOutput", textContent(result)), 0, 0);
-
-	if (details.kind === "artifact") {
-		const previous = context.lastComponent instanceof ArtifactCard ? context.lastComponent : undefined;
-		if (previous) {
-			previous.update(details, theme, options.expanded);
-			return previous;
-		}
-		return new ArtifactCard(details, theme, options.expanded);
-	}
-	if (details.kind === "artifact-list") {
-		const previous = context.lastComponent instanceof ArtifactListCard ? context.lastComponent : undefined;
-		if (previous) {
-			previous.update(details, theme, options.expanded);
-			return previous;
-		}
-		return new ArtifactListCard(details, theme, options.expanded);
-	}
-	if (details.kind === "graph") {
-		const previous = context.lastComponent instanceof TaskHierarchyPreview ? context.lastComponent : undefined;
-		if (previous) {
-			previous.update(details, theme, options.expanded);
-			return previous;
-		}
-		return new TaskHierarchyPreview(details, theme, options.expanded);
-	}
-
-	const color = details.kind === "error" || context.isError ? "error" : "toolOutput";
-	return new Text(theme.fg(color, simpleDetailsText(details)), 0, 0);
-}

package/extension/src/tool-rendering/render-model.ts

@@ -1,410 +0,0 @@
-import {
-	TOOL_DETAILS_BODY_MAX_CHARACTERS,
-	TOOL_DETAILS_FIELD_MAX_CHARACTERS,
-	TOOL_DETAILS_MAX_EDGES,
-	TOOL_DETAILS_MAX_ITEMS,
-	TOOL_DETAILS_MAX_SERIALIZED_CHARACTERS,
-	TOOL_DETAILS_ROW_OUTPUT_MAX_CHARACTERS,
-	TOOL_MODEL_CONTENT_MAX_CHARACTERS,
-} from "../../../src/constants.ts";
-import type { Artifact } from "../../../src/domain/artifact.ts";
-
-export const PAPYRUS_TOOL_DETAILS_SCHEMA = "papyrus.tool-details/v1" as const;
-
-export interface ResultCompleteness {
-	truncated: boolean;
-	omitted: number;
-}
-
-export interface ToolArtifactSummary {
-	id: string;
-	kind: string;
-	title: string;
-	status: string;
-	subtype: string;
-	labels: string[];
-}
-
-export interface ToolArtifact extends ToolArtifactSummary {
-	body: string;
-	createdAt: string;
-	updatedAt: string;
-}
-
-interface ToolDetailsBase {
-	schemaVersion: typeof PAPYRUS_TOOL_DETAILS_SCHEMA;
-	operation: string;
-	kind: string;
-}
-
-export interface ArtifactToolDetails extends ToolDetailsBase {
-	kind: "artifact";
-	artifact: ToolArtifact;
-	completeness: ResultCompleteness;
-}
-
-export interface ArtifactListToolDetails extends ToolDetailsBase {
-	kind: "artifact-list";
-	rows: ToolArtifactSummary[];
-	total: number;
-	completeness: ResultCompleteness;
-}
-
-export interface TransitionToolDetails extends ToolDetailsBase {
-	kind: "transition";
-	artifact: ToolArtifactSummary;
-	fromStatus: string;
-	toStatus: string;
-}
-
-export interface ToolGraphEdge {
-	from: string;
-	relation: string;
-	to: string;
-}
-
-export interface GraphToolDetails extends ToolDetailsBase {
-	kind: "graph";
-	nodes: ToolArtifactSummary[];
-	edges: ToolGraphEdge[];
-	nodeCompleteness: ResultCompleteness;
-	edgeCompleteness: ResultCompleteness;
-}
-
-export interface ToolGateRow {
-	passed: boolean;
-	type: string;
-	target: string;
-	output: string;
-}
-
-export interface GateRunToolDetails extends ToolDetailsBase {
-	kind: "gate-run";
-	artifactId: string;
-	artifactTitle: string;
-	gates: ToolGateRow[];
-	completeness: ResultCompleteness;
-}
-
-export interface ToolInvocationCreated {
-	tasks: string[];
-	docs: string[];
-	rules: string[];
-	roots: string[];
-}
-
-export interface InvocationToolDetails extends ToolDetailsBase {
-	kind: "invocation";
-	runId: string;
-	created: ToolInvocationCreated;
-	completeness: ResultCompleteness;
-}
-
-export interface PreviewToolDetails extends ToolDetailsBase {
-	kind: "preview";
-	title: string;
-	content: string;
-	completeness: ResultCompleteness;
-}
-
-export interface ErrorToolDetails extends ToolDetailsBase {
-	kind: "error";
-	code: string;
-	message: string;
-}
-
-export type PapyrusToolDetails =
-	| ArtifactToolDetails
-	| ArtifactListToolDetails
-	| TransitionToolDetails
-	| GraphToolDetails
-	| GateRunToolDetails
-	| InvocationToolDetails
-	| PreviewToolDetails
-	| ErrorToolDetails;
-
-export interface ModelContent {
-	text: string;
-	truncated: boolean;
-	omitted: number;
-}
-
-function completeness(total: number, returned: number): ResultCompleteness {
-	const omitted = Math.max(0, total - returned);
-	return { truncated: omitted > 0, omitted };
-}
-
-function boundedText(value: string, maximum: number): { value: string; completeness: ResultCompleteness } {
-	const clipped = value.slice(0, maximum);
-	return { value: clipped, completeness: completeness(value.length, clipped.length) };
-}
-
-function artifactSummary(artifact: Artifact): ToolArtifactSummary {
-	return {
-		id: artifact.id,
-		kind: artifact.kind,
-		title: artifact.title,
-		status: artifact.status,
-		subtype: artifact.subtype,
-		labels: artifact.labels.slice(0, TOOL_DETAILS_MAX_ITEMS),
-	};
-}
-
-export function createArtifactDetails(operation: string, artifact: Artifact): ArtifactToolDetails {
-	const body = boundedText(artifact.body, TOOL_DETAILS_BODY_MAX_CHARACTERS);
-	return {
-		schemaVersion: PAPYRUS_TOOL_DETAILS_SCHEMA,
-		kind: "artifact",
-		operation,
-		artifact: {
-			...artifactSummary(artifact),
-			body: body.value,
-			createdAt: artifact.created_at,
-			updatedAt: artifact.updated_at,
-		},
-		completeness: body.completeness,
-	};
-}
-
-export function createArtifactListDetails(
-	operation: string,
-	artifacts: readonly Artifact[],
-	total = artifacts.length,
-): ArtifactListToolDetails {
-	const rows = artifacts.slice(0, TOOL_DETAILS_MAX_ITEMS).map(artifactSummary);
-	return {
-		schemaVersion: PAPYRUS_TOOL_DETAILS_SCHEMA,
-		kind: "artifact-list",
-		operation,
-		rows,
-		total,
-		completeness: completeness(Math.max(total, artifacts.length), rows.length),
-	};
-}
-
-export function createTransitionDetails(
-	operation: string,
-	artifact: Artifact,
-	fromStatus: string,
-	toStatus: string,
-): TransitionToolDetails {
-	return {
-		schemaVersion: PAPYRUS_TOOL_DETAILS_SCHEMA,
-		kind: "transition",
-		operation,
-		artifact: artifactSummary(artifact),
-		fromStatus,
-		toStatus,
-	};
-}
-
-export function createGraphDetails(
-	operation: string,
-	artifacts: readonly Artifact[],
-	edges: readonly ToolGraphEdge[],
-): GraphToolDetails {
-	const nodes = artifacts.slice(0, TOOL_DETAILS_MAX_ITEMS).map(artifactSummary);
-	const boundedEdges = edges.slice(0, TOOL_DETAILS_MAX_EDGES).map((edge) => ({ ...edge }));
-	return {
-		schemaVersion: PAPYRUS_TOOL_DETAILS_SCHEMA,
-		kind: "graph",
-		operation,
-		nodes,
-		edges: boundedEdges,
-		nodeCompleteness: completeness(artifacts.length, nodes.length),
-		edgeCompleteness: completeness(edges.length, boundedEdges.length),
-	};
-}
-
-export function createGateRunDetails(
-	operation: string,
-	artifactId: string,
-	artifactTitle: string,
-	gates: readonly ToolGateRow[],
-): GateRunToolDetails {
-	const boundedGates = gates.slice(0, TOOL_DETAILS_MAX_ITEMS).map((gate) => ({
-		...gate,
-		output: gate.output.slice(0, TOOL_DETAILS_ROW_OUTPUT_MAX_CHARACTERS),
-	}));
-	return {
-		schemaVersion: PAPYRUS_TOOL_DETAILS_SCHEMA,
-		kind: "gate-run",
-		operation,
-		artifactId,
-		artifactTitle,
-		gates: boundedGates,
-		completeness: completeness(gates.length, boundedGates.length),
-	};
-}
-
-export function createInvocationDetails(
-	operation: string,
-	runId: string,
-	created: ToolInvocationCreated,
-): InvocationToolDetails {
-	const bounded: ToolInvocationCreated = {
-		tasks: created.tasks.slice(0, TOOL_DETAILS_MAX_ITEMS),
-		docs: created.docs.slice(0, TOOL_DETAILS_MAX_ITEMS),
-		rules: created.rules.slice(0, TOOL_DETAILS_MAX_ITEMS),
-		roots: created.roots.slice(0, TOOL_DETAILS_MAX_ITEMS),
-	};
-	const total = created.tasks.length + created.docs.length + created.rules.length + created.roots.length;
-	const returned = bounded.tasks.length + bounded.docs.length + bounded.rules.length + bounded.roots.length;
-	return {
-		schemaVersion: PAPYRUS_TOOL_DETAILS_SCHEMA,
-		kind: "invocation",
-		operation,
-		runId,
-		created: bounded,
-		completeness: completeness(total, returned),
-	};
-}
-
-export function createPreviewDetails(operation: string, title: string, content: string): PreviewToolDetails {
-	const bounded = boundedText(content, TOOL_DETAILS_BODY_MAX_CHARACTERS);
-	return {
-		schemaVersion: PAPYRUS_TOOL_DETAILS_SCHEMA,
-		kind: "preview",
-		operation,
-		title,
-		content: bounded.value,
-		completeness: bounded.completeness,
-	};
-}
-
-export function createErrorDetails(operation: string, code: string, message: string): ErrorToolDetails {
-	return {
-		schemaVersion: PAPYRUS_TOOL_DETAILS_SCHEMA,
-		kind: "error",
-		operation,
-		code: code.slice(0, TOOL_DETAILS_FIELD_MAX_CHARACTERS),
-		message: message.slice(0, TOOL_DETAILS_BODY_MAX_CHARACTERS),
-	};
-}
-
-export function createModelContent(value: string): ModelContent {
-	if (value.length <= TOOL_MODEL_CONTENT_MAX_CHARACTERS) {
-		return { text: value, truncated: false, omitted: 0 };
-	}
-	let omitted = value.length - TOOL_MODEL_CONTENT_MAX_CHARACTERS;
-	let marker = "";
-	let kept = 0;
-	for (let iteration = 0; iteration < 5; iteration += 1) {
-		const nextMarker = `\n[truncated ${omitted} characters]`;
-		const nextKept = Math.max(0, TOOL_MODEL_CONTENT_MAX_CHARACTERS - nextMarker.length);
-		const nextOmitted = value.length - nextKept;
-		marker = nextMarker;
-		kept = nextKept;
-		if (nextOmitted === omitted) break;
-		omitted = nextOmitted;
-	}
-	return { text: `${value.slice(0, kept)}${marker}`, truncated: true, omitted: value.length - kept };
-}
-
-function isRecord(value: unknown): value is Record<string, unknown> {
-	return typeof value === "object" && value !== null && !Array.isArray(value);
-}
-
-function isBoundedString(value: unknown, maximum = TOOL_DETAILS_FIELD_MAX_CHARACTERS): value is string {
-	return typeof value === "string" && value.length <= maximum;
-}
-
-function isStringArray(value: unknown): value is string[] {
-	return Array.isArray(value) && value.length <= TOOL_DETAILS_MAX_ITEMS && value.every((item) => isBoundedString(item));
-}
-
-function isCompleteness(value: unknown): value is ResultCompleteness {
-	return isRecord(value) && typeof value.truncated === "boolean" && Number.isSafeInteger(value.omitted) && Number(value.omitted) >= 0;
-}
-
-function isArtifactSummary(value: unknown): value is ToolArtifactSummary {
-	return isRecord(value)
-		&& isBoundedString(value.id)
-		&& isBoundedString(value.kind)
-		&& isBoundedString(value.title)
-		&& isBoundedString(value.status)
-		&& isBoundedString(value.subtype)
-		&& isStringArray(value.labels);
-}
-
-function isToolArtifact(value: unknown): value is ToolArtifact {
-	if (!isRecord(value)) return false;
-	const body = value.body;
-	const createdAt = value.createdAt;
-	const updatedAt = value.updatedAt;
-	return isArtifactSummary(value)
-		&& isBoundedString(body, TOOL_DETAILS_BODY_MAX_CHARACTERS)
-		&& isBoundedString(createdAt)
-		&& isBoundedString(updatedAt);
-}
-
-function isGraphEdge(value: unknown): value is ToolGraphEdge {
-	return isRecord(value) && isBoundedString(value.from) && isBoundedString(value.relation) && isBoundedString(value.to);
-}
-
-function isGateRow(value: unknown): value is ToolGateRow {
-	return isRecord(value)
-		&& typeof value.passed === "boolean"
-		&& isBoundedString(value.type)
-		&& isBoundedString(value.target)
-		&& isBoundedString(value.output, TOOL_DETAILS_ROW_OUTPUT_MAX_CHARACTERS);
-}
-
-function isBoundedArray<T>(value: unknown, maximum: number, predicate: (entry: unknown) => entry is T): value is T[] {
-	return Array.isArray(value) && value.length <= maximum && value.every(predicate);
-}
-
-/** Validate renderer details restored from session history before using them as typed presentation state. */
-export function parsePapyrusToolDetails(value: unknown): PapyrusToolDetails | undefined {
-	let serializedLength: number;
-	try {
-		serializedLength = JSON.stringify(value).length;
-	} catch {
-		return undefined;
-	}
-	if (serializedLength > TOOL_DETAILS_MAX_SERIALIZED_CHARACTERS || !isRecord(value)
-		|| value.schemaVersion !== PAPYRUS_TOOL_DETAILS_SCHEMA
-		|| !isBoundedString(value.operation)
-		|| !isBoundedString(value.kind)) return undefined;
-
-	switch (value.kind) {
-		case "artifact":
-			return isToolArtifact(value.artifact) && isCompleteness(value.completeness)
-				? value as unknown as ArtifactToolDetails : undefined;
-		case "artifact-list":
-			return isBoundedArray(value.rows, TOOL_DETAILS_MAX_ITEMS, isArtifactSummary)
-				&& Number.isSafeInteger(value.total) && Number(value.total) >= value.rows.length
-				&& isCompleteness(value.completeness)
-				? value as unknown as ArtifactListToolDetails : undefined;
-		case "transition":
-			return isArtifactSummary(value.artifact) && isBoundedString(value.fromStatus) && isBoundedString(value.toStatus)
-				? value as unknown as TransitionToolDetails : undefined;
-		case "graph":
-			return isBoundedArray(value.nodes, TOOL_DETAILS_MAX_ITEMS, isArtifactSummary)
-				&& isBoundedArray(value.edges, TOOL_DETAILS_MAX_EDGES, isGraphEdge)
-				&& isCompleteness(value.nodeCompleteness) && isCompleteness(value.edgeCompleteness)
-				? value as unknown as GraphToolDetails : undefined;
-		case "gate-run":
-			return isBoundedString(value.artifactId)
-				&& isBoundedString(value.artifactTitle)
-				&& isBoundedArray(value.gates, TOOL_DETAILS_MAX_ITEMS, isGateRow)
-				&& isCompleteness(value.completeness)
-				? value as unknown as GateRunToolDetails : undefined;
-		case "invocation": {
-			if (!isRecord(value.created)) return undefined;
-			return isBoundedString(value.runId)
-				&& isStringArray(value.created.tasks) && isStringArray(value.created.docs)
-				&& isStringArray(value.created.rules) && isStringArray(value.created.roots)
-				&& isCompleteness(value.completeness)
-				? value as unknown as InvocationToolDetails : undefined;
-		}
-		case "preview":
-			return isBoundedString(value.title) && isBoundedString(value.content, TOOL_DETAILS_BODY_MAX_CHARACTERS) && isCompleteness(value.completeness)
-				? value as unknown as PreviewToolDetails : undefined;
-		case "error":
-			return isBoundedString(value.code) && isBoundedString(value.message, TOOL_DETAILS_BODY_MAX_CHARACTERS)
-				? value as unknown as ErrorToolDetails : undefined;
-		default:
-			return undefined;
-	}
-}