@matthewfl/pi-contemplator 0.0.9 → 0.1.0

package/src/tools/recall-observation.ts

@@ -1,484 +1,120 @@
 import type { AgentTool, AgentToolResult } from "@earendil-works/pi-agent-core";
 import { Type } from "@earendil-works/pi-ai";
 import type { Static } from "typebox";
-import type { Message, ToolResultMessage } from "@earendil-works/pi-ai";
 import { defineTool, type ExtensionAPI } from "@earendil-works/pi-coding-agent";
 import { Text } from "@earendil-works/pi-tui";
-import {
-	recallMemorySources,
-	type Entry,
-	type RecallResult,
-	type RecalledObservation,
-} from "../session-ledger/recall.js";
-import type { Observation, Reflection, ReviewResult } from "../session-ledger/index.js";
-import { renderRecallSourceEntries, renderRecallSourceEntry } from "../serialize.js";
-import { estimateEntryTokens } from "../tokens.js";
+import { recallMemorySources, type Entry, type RecallResult } from "../session-ledger/recall.js";
+import type { MemoryVisibility, Observation, ReviewResult, Summary } from "../session-ledger/index.js";
+import { renderRecallSourceEntries } from "../serialize.js";
 
 export const RECALL_OBSERVATION_TOOL_NAME = "recall";
 export const RECALL_DESCRIPTION =
-	"Recover exact evidence and source context behind a compacted observational-memory observation or reflection id on the current branch. Use when compressed memory is important and original source context is needed before acting.";
+	"Recover one exact observation, summary, or review memory and its immediate summary-graph links. Follow cited source or forward-pointer ids with additional recall calls.";
 
 const MEMORY_ID_PATTERN = /^[a-f0-9]{12}$/;
 
-type RecallObservationToolStatus =
-	| "ok"
-	| "partial"
-	| "invalid_id"
-	| "not_found"
-	| "no_source"
-	| "source_unavailable";
-
-type ObservationDetails = Pick<Observation, "id" | "content" | "timestamp" | "relevance"> & { status?: "active" | "dropped" };
-type ReflectionDetails = Pick<Reflection, "id" | "content" | "supportingObservationIds"> & { reflectionIndex: number };
-
-export type RecallSourceEntryDetails = {
-	id: string;
-	origin: string;
-	timestamp: string;
-	tokens: number;
-	qualifiers: string[];
-	content?: string;
-};
-
-type RecallObservationMatchDetails = {
-	status: "active" | "dropped" | "source_unavailable" | "no_source";
-	observationEntryId: string;
-	observationRecordIndex: number;
-	observation: ObservationDetails;
-	sourceEntryIds?: string[];
-	sourceEntries?: RecallSourceEntryDetails[];
-	missingSourceEntryIds?: string[];
-	nonSourceEntryIds?: string[];
-	sourceCharacterCount?: number;
-};
-
-type RecallUnavailableSupportingObservationDetails = {
-	observationId: string;
-};
+type RecallToolStatus = "ok" | "partial" | "invalid_id" | "not_found";
 
 export type RecallObservationToolDetails = {
-	status: RecallObservationToolStatus;
+	status: RecallToolStatus;
 	memoryId: string;
-	observationId: string;
 	collision: boolean;
 	partial: boolean;
-	reflections: ReflectionDetails[];
+	observations: Array<{
+		observation: Observation;
+		visibility: MemoryVisibility;
+		consumedBySummaryId?: string;
+		citedBySummaryIds: string[];
+		sourceEntryIds: string[];
+		missingSourceEntryIds: string[];
+		nonSourceEntryIds: string[];
+	}>;
+	summaries: Array<{
+		summary: Summary;
+		visibility: MemoryVisibility;
+		consumedBySummaryId?: string;
+		citedBySummaryIds: string[];
+		missingSourceMemoryIds: string[];
+	}>;
 	reviews: ReviewResult[];
-	directObservationMatches: RecallObservationMatchDetails[];
-	observations: RecallObservationMatchDetails[];
-	matches: RecallObservationMatchDetails[];
-	sourceEntries: RecallSourceEntryDetails[];
-	unavailableSupportingObservations: RecallUnavailableSupportingObservationDetails[];
+	sourceEntries: Entry[];
 	missingSourceEntryIds: string[];
 	nonSourceEntryIds: string[];
-	sourceCharacterCount?: number;
+	missingSourceMemoryIds: string[];
 	message?: string;
 };
 
-function pad(n: number): string {
-	return n.toString().padStart(2, "0");
-}
-
-function fmtLocal(d: Date): string {
-	return `${d.getFullYear()}-${pad(d.getMonth() + 1)}-${pad(d.getDate())} ${pad(d.getHours())}:${pad(d.getMinutes())}`;
-}
-
-function formatDisplayTimestamp(...values: Array<number | string | undefined>): string {
-	for (const v of values) {
-		if (v === undefined) continue;
-		const d = new Date(v);
-		if (!Number.isNaN(d.getTime())) return fmtLocal(d);
-	}
-	return "Unknown time";
-}
-
-function textContentBlocks(content: unknown): Array<Record<string, unknown>> {
-	return Array.isArray(content) ? content.filter((block): block is Record<string, unknown> => !!block && typeof block === "object") : [];
-}
-
-function uniqueStrings(items: string[]): string[] {
-	return Array.from(new Set(items));
-}
-
-function sourceOriginAndQualifiers(entry: Entry): { origin: string; timestamp: string; qualifiers: string[] } {
-	if (entry.type === "message" && entry.message && typeof entry.message === "object") {
-		const msg = entry.message as Message;
-		const timestamp = formatDisplayTimestamp(msg.timestamp, entry.timestamp);
-		if (msg.role === "user") return { origin: "User", timestamp, qualifiers: [] };
-		if (msg.role === "assistant") {
-			const toolCalls = uniqueStrings(
-				textContentBlocks(msg.content)
-					.filter((block) => block.type === "toolCall" && typeof block.name === "string")
-					.map((block) => block.name as string),
-			);
-			return { origin: "Assistant", timestamp, qualifiers: toolCalls.length > 0 ? [`tool calls: ${toolCalls.join(", ")}`] : [] };
-		}
-		const toolName = (msg as ToolResultMessage).toolName;
-		return { origin: `Tool result: ${typeof toolName === "string" && toolName ? toolName : "unknown"}`, timestamp, qualifiers: [] };
-	}
-	if (entry.type === "custom_message") {
-		return {
-			origin: "Custom message",
-			timestamp: formatDisplayTimestamp(entry.timestamp),
-			qualifiers: typeof entry.customType === "string" && entry.customType ? [`custom: ${entry.customType}`] : [],
-		};
-	}
-	if (entry.type === "branch_summary") return { origin: "Branch summary", timestamp: formatDisplayTimestamp(entry.timestamp), qualifiers: [] };
-	return { origin: entry.type || "Entry", timestamp: formatDisplayTimestamp(entry.timestamp), qualifiers: [] };
-}
-
-function renderSourceEntryContentOnly(entry: Entry): string | undefined {
-	const rendered = renderRecallSourceEntry(entry);
-	return rendered?.replace(/^\[[^\]]+\]:\s?/, "") || undefined;
-}
-
-function sourceEntryDetails(entry: Entry, includeContent: boolean): RecallSourceEntryDetails {
-	const { origin, timestamp, qualifiers } = sourceOriginAndQualifiers(entry);
-	const content = renderSourceEntryContentOnly(entry);
-	return {
-		id: entry.id,
-		origin,
-		timestamp,
-		tokens: estimateEntryTokens(entry),
-		qualifiers,
-		...(includeContent && content ? { content } : {}),
-	};
-}
-
-function observationDetails(observation: Observation, status?: "active" | "dropped"): ObservationDetails {
-	return { id: observation.id, content: observation.content, timestamp: observation.timestamp, relevance: observation.relevance, ...(status ? { status } : {}) };
-}
-
-function reflectionDetails(reflection: Reflection, reflectionIndex: number): ReflectionDetails {
-	return { id: reflection.id, content: reflection.content, supportingObservationIds: reflection.supportingObservationIds, reflectionIndex };
-}
-
-function observationMatchDetails(match: RecalledObservation, includeSourceContent = true): RecallObservationMatchDetails {
-	const unavailable = match.missingSourceEntryIds.length > 0 || match.nonSourceEntryIds.length > 0;
-	const status = unavailable ? "source_unavailable" : match.sourceEntries.length === 0 ? "no_source" : match.status;
-	return {
-		status,
-		observationEntryId: match.observationEntryId,
-		observationRecordIndex: match.observationRecordIndex,
-		observation: observationDetails(match.observation, match.status),
-		sourceEntryIds: match.sourceEntryIds,
-		sourceEntries: match.sourceEntries.map((entry) => sourceEntryDetails(entry, includeSourceContent)),
-		missingSourceEntryIds: match.missingSourceEntryIds,
-		nonSourceEntryIds: match.nonSourceEntryIds,
-		sourceCharacterCount: renderRecallSourceEntries(match.sourceEntries).length,
-	};
+function emptyDetails(status: RecallToolStatus, memoryId: string, message: string): RecallObservationToolDetails {
+	return { status, memoryId, collision: false, partial: false, observations: [], summaries: [], reviews: [], sourceEntries: [], missingSourceEntryIds: [], nonSourceEntryIds: [], missingSourceMemoryIds: [], message };
 }
 
 function textResult(text: string, details: RecallObservationToolDetails) {
 	return { content: [{ type: "text" as const, text }], details };
 }
 
-function emptyDetails(status: RecallObservationToolStatus, memoryId: string, message: string): RecallObservationToolDetails {
-	return {
-		status,
-		memoryId,
-		observationId: memoryId,
-		collision: false,
-		partial: false,
-		reflections: [],
-		reviews: [],
-		directObservationMatches: [],
-		observations: [],
-		matches: [],
-		sourceEntries: [],
-		unavailableSupportingObservations: [],
-		missingSourceEntryIds: [],
-		nonSourceEntryIds: [],
-		message,
-	};
-}
-
-function aggregateStatus(details: Omit<RecallObservationToolDetails, "status">): RecallObservationToolStatus {
-	const observationOnly = details.reflections.length === 0 && details.unavailableSupportingObservations.length === 0;
-	if (details.partial) return "partial";
-	if (observationOnly && details.observations.some((match) => match.status === "source_unavailable")) return "source_unavailable";
-	if (observationOnly && details.observations.length > 0 && details.sourceEntries.length === 0 && details.matches.every((match) => (match.sourceEntries ?? []).length === 0)) return "no_source";
-	return "ok";
-}
-
-function friendlyNoSourceMessage(memoryId: string): string {
-	return `Observation ${memoryId} has no source entries associated with it.`;
-}
-
-function friendlySourceUnavailableMessage(match: RecallObservationMatchDetails): string {
-	const missing = match.missingSourceEntryIds && match.missingSourceEntryIds.length > 0 ? ` missing: ${match.missingSourceEntryIds.join(", ")}` : "";
-	const nonSource = match.nonSourceEntryIds && match.nonSourceEntryIds.length > 0 ? ` non-source: ${match.nonSourceEntryIds.join(", ")}` : "";
-	return `Observation ${match.observation.id} has source entries associated, but some are unavailable on the current branch or are not source-renderable.${missing}${nonSource}`;
-}
-
-function reflectionLineText(reflection: ReflectionDetails): string {
-	return `[${reflection.id}] ${reflection.content}`;
-}
-
-function observationLineText(observation: ObservationDetails): string {
-	const status = observation.status === "dropped" ? " [dropped]" : "";
-	return `[${observation.id}]${status} ${observation.timestamp} [${observation.relevance}] ${observation.content}`;
-}
-
-function directObservationMatches(result: Extract<RecallResult, { status: "found" }>): RecalledObservation[] {
-	return result.observations.filter((match) => match.observation.id === result.memoryId);
-}
-
-function renderObservationOnlyTextFromResult(result: Extract<RecallResult, { status: "found" }>): string {
-	const sections: string[] = [];
-	if (result.collision) sections.push(`Memory id ${result.memoryId} matched multiple observations; returning all matching source results from the current branch.`);
-	for (const match of directObservationMatches(result)) {
-		if (match.status === "dropped") sections.push(`Observation ${match.observation.id} is dropped from active memory but remains recallable.`);
-		if (match.missingSourceEntryIds.length > 0 || match.nonSourceEntryIds.length > 0) {
-			sections.push(friendlySourceUnavailableMessage(observationMatchDetails(match, false)));
-			continue;
-		}
-		if (match.sourceEntries.length === 0) {
-			sections.push(friendlyNoSourceMessage(match.observation.id));
-			continue;
-		}
-		const sourceText = renderRecallSourceEntries(match.sourceEntries);
-		sections.push(sourceText.trim() ? sourceText : `Observation ${match.observation.id} has source entries associated, but they rendered no text content.`);
-	}
-	return sections.join("\n\n");
-}
-
-function unavailableSupportingLineText(item: RecallUnavailableSupportingObservationDetails): string {
-	return `Supporting observation ${item.observationId} is unavailable on the current branch.`;
+function graphLines(citedBy: string[], consumedBy?: string): string[] {
+	return [
+		...(consumedBy ? [`Consumed from automatic context by summary [${consumedBy}].`] : []),
+		`Cited by summaries: ${citedBy.length ? `[${citedBy.join(", ")}]` : "(none)"}.`,
+	];
 }
 
-function renderReviewText(review: ReviewResult): string {
-	const lines = [
-		`[${review.id}] ${review.scope.toUpperCase()} REVIEW ${review.outcome === "proposal" ? "PROPOSAL" : "CONCLUDED WITH NO PROPOSAL"}`,
-		"Author: background reviewer",
-		"Requested by: contemplator",
-		"Status: advisory; not evidence of implementation or validation",
-		`Review request: ${review.reviewRequestId}`,
-	];
+function reviewText(review: ReviewResult): string {
 	if (review.outcome === "no_proposal") {
-		lines.push("", "Reason:", review.reason, "", "Evidence reviewed:", review.evidenceReviewed);
-		if (review.reconsiderIf) lines.push("", "Reconsider if:", review.reconsiderIf);
-		return lines.join("\n");
-	}
-	lines.push("", "Title:", review.title, "", "Summary:", review.summary, "", "Evidence:", review.evidence);
-	if (review.proposalKind === "workflow") {
-		lines.push("", "Inefficiency:", review.inefficiency, "", "Conceptual design:", review.conceptualDesign);
-		if (review.inputs) lines.push("", "Inputs:", review.inputs);
-		if (review.outputs) lines.push("", "Outputs:", review.outputs);
-		if (review.integration) lines.push("", "Integration:", review.integration);
-	} else {
-		lines.push("", "Structural issue:", review.structuralIssue, "", "Conceptual design:", review.conceptualDesign, "", "Preserved behavior:", review.preservedBehavior);
+		return [`REVIEW [${review.id}] ${review.scope} — no proposal`, `Reason: ${review.reason}`, `Evidence reviewed: ${review.evidenceReviewed}`, ...(review.reconsiderIf ? [`Reconsider if: ${review.reconsiderIf}`] : [])].join("\n");
 	}
-	lines.push("", "Expected effect:", review.expectedEffect, "", "Uncertainties:", review.uncertainties);
-	return lines.join("\n");
+	const scopeDetails = review.proposalKind === "workflow"
+		? [`Inefficiency: ${review.inefficiency}`]
+		: [`Structural issue: ${review.structuralIssue}`, `Preserved behavior: ${review.preservedBehavior}`];
+	return [`REVIEW [${review.id}] ${review.scope} proposal — ${review.title}`, review.summary, `Evidence: ${review.evidence}`, ...scopeDetails, `Conceptual design: ${review.conceptualDesign}`, `Expected effect: ${review.expectedEffect}`, `Uncertainties: ${review.uncertainties}`].join("\n");
 }
 
-function renderMemoryText(result: Extract<RecallResult, { status: "found" }>): string {
+function renderFound(result: Extract<RecallResult, { status: "found" }>): ReturnType<typeof textResult> {
 	const sections: string[] = [];
-	if (result.collision) sections.push(`Memory id ${result.memoryId} matched multiple observations/reflections; returning all available evidence from the current branch.`);
-	if (result.reflections.length > 0) sections.push(`Reflections:\n${result.reflections.map((match) => reflectionLineText(reflectionDetails(match.reflection, match.reflectionRecordIndex))).join("\n")}`);
-	if (result.observations.length > 0) sections.push(`Observations:\n${result.observations.map((match) => observationLineText(observationDetails(match.observation, match.status))).join("\n")}`);
-	if (result.missingSupportingObservationIds.length > 0) sections.push(`Unavailable supporting observations:\n${result.missingSupportingObservationIds.map((id) => unavailableSupportingLineText({ observationId: id })).join("\n")}`);
-	if (result.missingSourceEntryIds.length > 0 || result.nonSourceEntryIds.length > 0) {
-		const parts: string[] = [];
-		if (result.missingSourceEntryIds.length > 0) parts.push(`missing: ${result.missingSourceEntryIds.join(", ")}`);
-		if (result.nonSourceEntryIds.length > 0) parts.push(`non-source: ${result.nonSourceEntryIds.join(", ")}`);
-		sections.push(`Unavailable source entries: ${parts.join("; ")}`);
+	for (const match of result.observations) {
+		sections.push([
+			`OBSERVATION [${match.observation.id}] [${match.visibility}] ${match.observation.timestamp} [${match.observation.relevance}]`,
+			match.observation.content,
+			...graphLines(match.citedBySummaryIds, match.consumedBySummaryId),
+			`Source entry ids: [${match.sourceEntryIds.join(", ")}].`,
+			match.sourceEntries.length ? `Exact source context:\n${renderRecallSourceEntries(match.sourceEntries)}` : "Exact source context is unavailable.",
+		].join("\n"));
 	}
-	const sourceText = renderRecallSourceEntries(result.sourceEntries);
-	if (sourceText.trim()) sections.push(`Sources:\n${sourceText}`);
-	if (sections.length === 0) sections.push(`Memory ${result.memoryId} was found, but no source evidence rendered.`);
-	return sections.join("\n\n");
-}
-
-function resultDetails(result: Extract<RecallResult, { status: "found" }>, includeSourceContent = true): RecallObservationToolDetails {
-	const reflections = result.reflections.map((match) => reflectionDetails(match.reflection, match.reflectionRecordIndex));
-	const reviews = result.reviews.map((match) => match.review);
-	const observations = result.observations.map((match) => observationMatchDetails(match, includeSourceContent));
-	const directMatches = directObservationMatches(result).map((match) => observationMatchDetails(match, includeSourceContent));
-	const sourceEntries = result.sourceEntries.map((entry) => sourceEntryDetails(entry, includeSourceContent));
-	const detailWithoutStatus = {
+	for (const match of result.summaries) {
+		sections.push([
+			`SUMMARY [${match.summary.id}] [${match.visibility}]`,
+			match.summary.content,
+			`Source memories: [${match.sourceMemoryIds.join(", ")}].`,
+			`Consumed memories: [${match.consumedMemoryIds.join(", ")}].`,
+			...graphLines(match.citedBySummaryIds, match.consumedBySummaryId),
+		].join("\n"));
+	}
+	for (const match of result.reviews) sections.push(`${reviewText(match.review)}\n${graphLines(match.citedBySummaryIds).join("\n")}`);
+	const details: RecallObservationToolDetails = {
+		status: result.partial ? "partial" : "ok",
 		memoryId: result.memoryId,
-		observationId: result.memoryId,
 		collision: result.collision,
 		partial: result.partial,
-		reflections,
-		reviews,
-		directObservationMatches: directMatches,
-		observations,
-		matches: directMatches,
-		sourceEntries,
-		unavailableSupportingObservations: result.missingSupportingObservationIds.map((observationId) => ({ observationId })),
+		observations: result.observations.map((match) => ({ observation: match.observation, visibility: match.visibility, ...(match.consumedBySummaryId ? { consumedBySummaryId: match.consumedBySummaryId } : {}), citedBySummaryIds: match.citedBySummaryIds, sourceEntryIds: match.sourceEntryIds, missingSourceEntryIds: match.missingSourceEntryIds, nonSourceEntryIds: match.nonSourceEntryIds })),
+		summaries: result.summaries.map((match) => ({ summary: match.summary, visibility: match.visibility, ...(match.consumedBySummaryId ? { consumedBySummaryId: match.consumedBySummaryId } : {}), citedBySummaryIds: match.citedBySummaryIds, missingSourceMemoryIds: match.missingSourceMemoryIds })),
+		reviews: result.reviews.map((match) => match.review),
+		sourceEntries: result.sourceEntries,
 		missingSourceEntryIds: result.missingSourceEntryIds,
 		nonSourceEntryIds: result.nonSourceEntryIds,
-		sourceCharacterCount: renderRecallSourceEntries(result.sourceEntries).length,
+		missingSourceMemoryIds: result.missingSourceMemoryIds,
 	};
-	return { status: aggregateStatus(detailWithoutStatus), ...detailWithoutStatus };
-}
-
-function isObservationOnly(details: RecallObservationToolDetails): boolean {
-	return details.reflections.length === 0 && details.unavailableSupportingObservations.length === 0;
-}
-
-function renderFoundResult(result: Extract<RecallResult, { status: "found" }>): ReturnType<typeof textResult> {
-	const details = resultDetails(result);
-	const text = result.kind === "review"
-		? result.reviews.map((match) => renderReviewText(match.review)).join("\n\n")
-		: result.kind === "observation" ? renderObservationOnlyTextFromResult(result) : renderMemoryText(result);
-	return textResult(text, details);
-}
-
-function plural(n: number, singular: string, pluralForm = `${singular}s`): string {
-	return `${n.toLocaleString()} ${n === 1 ? singular : pluralForm}`;
-}
-
-function sourceEntriesFromDetails(details: RecallObservationToolDetails): RecallSourceEntryDetails[] {
-	if (!isObservationOnly(details)) return details.sourceEntries;
-	return details.matches.flatMap((match) => match.sourceEntries ?? []);
-}
-
-function tokenSummary(tokens: number): string {
-	return `~${tokens.toLocaleString()} ${tokens === 1 ? "token" : "tokens"}`;
-}
-
-function isFailureStatus(status: RecallObservationToolStatus): boolean {
-	return status === "invalid_id" || status === "not_found";
-}
-
-function observationCountForHeader(details: RecallObservationToolDetails): number {
-	return isObservationOnly(details) ? details.matches.length : details.observations.length;
-}
-
-export function formatRecallHeaderForTui(details: RecallObservationToolDetails): string {
-	if (isFailureStatus(details.status)) return "× failure";
-	const parts = ["✓ success"];
-	if (details.reflections.length > 0) parts.push(plural(details.reflections.length, "reflection"));
-	const observations = observationCountForHeader(details);
-	if (observations > 0) parts.push(plural(observations, "observation"));
-	const sources = sourceEntriesFromDetails(details);
-	if (sources.length > 0) parts.push(plural(sources.length, "source"));
-	const tokens = sources.reduce((sum, source) => sum + source.tokens, 0);
-	if (tokens > 0) parts.push(tokenSummary(tokens));
-	if (details.partial && details.status !== "ok") parts.push(details.status.replace(/_/g, " "));
-	return parts.join(" · ");
-}
-
-const TUI_TYPE_WIDTH = 15;
-const TUI_META_WIDTH = 31;
-
-function alignedRow(type: string, meta: string, text: string): string {
-	return `${type.padEnd(TUI_TYPE_WIDTH)} ${meta.padEnd(TUI_META_WIDTH)} ${text}`.trimEnd();
-}
-
-function sourceTag(source: RecallSourceEntryDetails): string {
-	const origin = source.origin.trim().toLowerCase();
-	if (origin === "user") return "user";
-	if (origin === "assistant") return "assistant";
-	if (origin.startsWith("tool result")) return "tool";
-	if (origin.startsWith("custom message")) return "custom";
-	if (origin.startsWith("branch summary")) return "summary";
-	return origin.split(/[^a-z0-9]+/).find(Boolean) ?? "entry";
-}
-
-function sourceMetadataLine(source: RecallSourceEntryDetails): string {
-	return alignedRow("✓ source", `${source.timestamp} [${sourceTag(source)}]`, tokenSummary(source.tokens));
-}
-
-function observationLine(observation: ObservationDetails): string {
-	const status = observation.status === "dropped" ? " dropped" : "";
-	return alignedRow("✓ observation", `${observation.timestamp} [${observation.relevance}]${status}`, observation.content);
-}
-
-function reflectionLine(reflection: ReflectionDetails): string {
-	return alignedRow("✓ reflection", "", reflection.content);
-}
-
-function noteLine(kind: string, text: string): string {
-	return alignedRow("• note", `[${kind}]`, text);
-}
-
-function indentContent(content: string): string {
-	return content.split("\n").map((line) => `    ${line}`).join("\n");
-}
-
-function unavailableEvidenceMessage(_details: RecallObservationToolDetails): string {
-	return "no source entries are available for this memory id";
-}
-
-function pushSourceLines(lines: string[], sources: RecallSourceEntryDetails[], expanded: boolean): void {
-	for (const source of sources) {
-		lines.push(sourceMetadataLine(source));
-		if (expanded && source.content) {
-			lines.push(indentContent(source.content));
-			lines.push("");
-		}
-	}
-}
-
-function memoryRows(details: RecallObservationToolDetails): string[] {
-	if (isObservationOnly(details)) return details.matches.map((match) => observationLine(match.observation));
-	return [...details.reflections.map((reflection) => reflectionLine(reflection)), ...details.observations.map((observation) => observationLine(observation.observation))];
-}
-
-function noteRows(details: RecallObservationToolDetails, sources: RecallSourceEntryDetails[]): string[] {
-	const notes: string[] = [];
-	if (details.status === "invalid_id") {
-		notes.push(noteLine("invalid id", `memory ids must be 12 lowercase hex characters; received ${details.memoryId}`));
-		return notes;
-	}
-	if (details.status === "not_found") {
-		notes.push(noteLine("not found", `no observation or reflection with id ${details.memoryId} was found on the current branch`));
-		return notes;
-	}
-	if (details.collision) notes.push(noteLine("id collision", `multiple memory items share ${details.memoryId}`));
-	if (details.observations.some((match) => match.observation.status === "dropped")) notes.push(noteLine("dropped", "one or more observations are dropped from active memory but remain recallable"));
-	if (details.unavailableSupportingObservations.length > 0) notes.push(noteLine("missing support", details.unavailableSupportingObservations.map((item) => item.observationId).join(", ")));
-	if (details.missingSourceEntryIds.length > 0) notes.push(noteLine("missing source", details.missingSourceEntryIds.join(", ")));
-	if (details.nonSourceEntryIds.length > 0) notes.push(noteLine("non-source", details.nonSourceEntryIds.join(", ")));
-	if (sources.length === 0 && (details.reflections.length > 0 || details.observations.length > 0 || details.matches.length > 0)) notes.push(noteLine("unavailable evidence", unavailableEvidenceMessage(details)));
-	return notes;
-}
-
-export function formatRecallResultForTui(result: AgentToolResult<RecallObservationToolDetails>, expanded: boolean): string {
-	const details = result.details;
-	if (!details) {
-		const text = result.content.filter((part): part is { type: "text"; text: string } => part.type === "text" && typeof part.text === "string").map((part) => part.text).join("\n");
-		return text || "recall";
-	}
-	const sources = sourceEntriesFromDetails(details);
-	const lines: string[] = [];
-	const rows = memoryRows(details);
-	const notes = noteRows(details, sources);
-	lines.push(...rows);
-	if (rows.length > 0 && notes.length > 0) lines.push("");
-	lines.push(...notes);
-	if ((rows.length > 0 || notes.length > 0) && sources.length > 0) lines.push("");
-	pushSourceLines(lines, sources, expanded);
-	if (!expanded && sources.some((source) => source.content)) lines.push("", "(Ctrl+O to expand)");
-	return lines.join("\n").trimEnd();
-}
-
-export function formatRecallCallForTui(id: string | undefined): string {
-	return `recall ${id ?? "..."}`;
-}
-
-export function formatRecallRenderedResultForTui(result: AgentToolResult<RecallObservationToolDetails>, expanded: boolean): string {
-	const body = formatRecallResultForTui(result, expanded);
-	const header = result.details ? formatRecallHeaderForTui(result.details) : undefined;
-	if (header && body) return `\n${header}\n\n${body}`;
-	if (header) return `\n${header}`;
-	return body ? `\n${body}` : "";
+	if (result.collision) sections.unshift("WARNING: this id matched more than one durable record.");
+	if (result.partial) sections.push(`WARNING: some linked evidence was unavailable (${[...result.missingSourceEntryIds, ...result.nonSourceEntryIds, ...result.missingSourceMemoryIds].join(", ")}).`);
+	return textResult(sections.join("\n\n"), details);
 }
 
 export const RECALL_PARAMETERS = Type.Object({
-	id: Type.String({
-		pattern: "^[a-f0-9]{12}$",
-		description: "12-character lowercase hex observation or reflection id shown in compacted memory, /om:view, or a previous recall result. Must be a specific id; this tool does not search by topic.",
-	}),
+	id: Type.String({ pattern: "^[a-f0-9]{12}$", description: "Exact 12-character lowercase hexadecimal memory id." }),
 });
 export type RecallArgs = Static<typeof RECALL_PARAMETERS>;
+export type RecallAgentToolOptions = Record<string, never>;
 
-export function executeRecall(params: RecallArgs, getBranch: () => Entry[]) {
+export function executeRecall(params: RecallArgs, getBranch: () => Entry[], _options: RecallAgentToolOptions = {}) {
 	const memoryId = params.id;
 	if (!MEMORY_ID_PATTERN.test(memoryId)) {
 		const message = `Memory id must be 12 lowercase hex characters. Received: ${memoryId}`;
@@ -486,45 +122,49 @@ export function executeRecall(params: RecallArgs, getBranch: () => Entry[]) {
 	}
 	const result = recallMemorySources(getBranch(), memoryId);
 	if (result.status === "not_found") {
-		const message = `No observation or reflection with id ${memoryId} was found on the current branch.`;
+		const message = `No observation, summary, or review with id ${memoryId} was found on the current branch.`;
 		return textResult(message, emptyDetails("not_found", memoryId, message));
 	}
-	return renderFoundResult(result);
+	return renderFound(result);
 }
 
-export function createRecallAgentTool(getBranch: () => Entry[]): AgentTool<typeof RECALL_PARAMETERS> {
-	return {
-		name: RECALL_OBSERVATION_TOOL_NAME,
-		label: "Recall memory evidence",
-		description: RECALL_DESCRIPTION,
-		parameters: RECALL_PARAMETERS,
-		execute: async (_toolCallId, params) => executeRecall(params, getBranch),
-	};
+export function createRecallAgentTool(getBranch: () => Entry[], options: RecallAgentToolOptions = {}): AgentTool<typeof RECALL_PARAMETERS> {
+	return { name: RECALL_OBSERVATION_TOOL_NAME, label: "Recall memory", description: RECALL_DESCRIPTION, parameters: RECALL_PARAMETERS, execute: async (_id, params) => executeRecall(params, getBranch, options) };
+}
+
+export function formatRecallHeaderForTui(details: RecallObservationToolDetails): string {
+	if (details.status === "invalid_id" || details.status === "not_found") return `✗ recall ${details.memoryId}`;
+	const kind = details.summaries.length ? "summary" : details.reviews.length ? "review" : "observation";
+	return `${details.partial ? "⚠" : "✓"} ${kind} ${details.memoryId}`;
+}
+
+export function formatRecallResultForTui(result: AgentToolResult<RecallObservationToolDetails>, _expanded: boolean): string {
+	const text = result.content.filter((part): part is { type: "text"; text: string } => part.type === "text" && typeof part.text === "string").map((part) => part.text).join("\n");
+	return result.details ? `${formatRecallHeaderForTui(result.details)}\n${text}` : text;
+}
+
+export function formatRecallCallForTui(id: string | undefined): string {
+	return `recall ${id ?? ""}`.trimEnd();
+}
+
+export function formatRecallRenderedResultForTui(result: AgentToolResult<RecallObservationToolDetails>, expanded: boolean): string {
+	return formatRecallResultForTui(result, expanded);
 }
 
 export const recallObservationTool = defineTool({
 	name: RECALL_OBSERVATION_TOOL_NAME,
 	label: "Recall memory evidence",
 	description: RECALL_DESCRIPTION,
-	promptSnippet: "Use recall(<id>) to recover exact source context behind compacted memory observations/reflections when precision matters.",
+	promptSnippet: "Use recall(<id>) to inspect an exact observation, summary, or review and its immediate citation links.",
 	promptGuidelines: [
-		"Use recall before making an important decision that depends on a compacted observation or reflection whose details are unclear.",
-		"Use recall when you need exact wording, rationale, file paths, commands, errors, commits, user constraints, or provenance behind a remembered claim.",
-		"Use recall when a broad reflection is relevant but you need its supporting observations or raw sources to continue safely.",
-		"Use recall when the user asks why you believe something, what supports a memory, or what was decided earlier.",
-		"Do not use recall as semantic search or transcript browsing; you must already have a specific 12-character memory id.",
-		"Do not recall every id preemptively. Recall only when exact source context will materially improve the next action.",
+		"Use recall when exact wording, rationale, paths, commands, errors, constraints, or provenance matter.",
+		"For summaries, follow source memory ids with additional recall calls rather than recursively expanding the whole graph.",
+		"Do not use recall as broad search; use search_memories first when you do not have an exact id.",
 	],
 	parameters: RECALL_PARAMETERS,
-	renderCall(args) {
-		return new Text(formatRecallCallForTui(args.id), 0, 0);
-	},
-	renderResult(result, options) {
-		return new Text(formatRecallRenderedResultForTui(result as AgentToolResult<RecallObservationToolDetails>, options.expanded), 0, 0);
-	},
-	async execute(_toolCallId, params, _signal, _onUpdate, ctx) {
-		return executeRecall(params, () => ctx.sessionManager.getBranch() as Entry[]);
-	},
+	renderCall(args) { return new Text(formatRecallCallForTui(args.id), 0, 0); },
+	renderResult(result, options) { return new Text(formatRecallRenderedResultForTui(result as AgentToolResult<RecallObservationToolDetails>, options.expanded), 0, 0); },
+	async execute(_id, params, _signal, _onUpdate, ctx) { return executeRecall(params, () => ctx.sessionManager.getBranch() as Entry[]); },
 });
 
 export function registerRecallTool(pi: ExtensionAPI): void {