import type { JsonObject } from "../contracts/json-object.js"; import type { WorkspaceExecutionContext } from "./workspace-router-model.js"; export type AttributedReadToolName = "safe_read" | "file_outline" | "read_range"; export declare function buildWorkspaceReadObservation(execution: WorkspaceExecutionContext, toolName: AttributedReadToolName, args: JsonObject, result: JsonObject): { readonly surface: string; readonly projection: string; readonly sourceLayer: "canonical_structural_truth" | "workspace_overlay"; readonly reason: string; readonly footprint: { readonly paths: string[]; readonly symbols: string[]; readonly regions: { readonly path: string; readonly startLine: number; readonly endLine: number; }[]; }; } | null; //# sourceMappingURL=workspace-read-observation.d.ts.map