export interface DeepClausePaths { root: string; skills: string; plans: string; specs: string; changes: string; lib: string; config: string; agents: string; reference: string; } export declare const EXAMPLE_DML = "% Pi-hosted DeepClause tour.\n% Demonstrates deterministic CLP(FD), read-only and approved bash pi tools,\n% progress events, typed LLM output, and a final answer.\n% Run with: /dc-run example --debug\n:- use_module(library(clpfd)).\n\nsolve_pair(X, Y) :-\n X in 1..20,\n Y in 1..20,\n X #< Y,\n X + Y #= 14,\n X * Y #= 48,\n labeling([], [X, Y]).\n\nagent_main :-\n output(\"Phase 1/4: solving X + Y = 14 and X * Y = 48 with CLP(FD)...\"),\n solve_pair(X, Y),\n format(string(Solved), \"The deterministic solution is X=~w and Y=~w.\", [X, Y]),\n output(Solved),\n output(\"Phase 2/4: listing the active workspace through pi_workspace_list...\"),\n exec(pi_workspace_list(\".\"), WorkspaceResult),\n get_dict(entries, WorkspaceResult, Entries),\n length(Entries, EntryCount),\n format(string(ToolSummary), \"pi.exec returned ~w top-level workspace entries: ~w\", [EntryCount, Entries]),\n output(ToolSummary),\n output(\"Phase 3/4: requesting an approved bash command through pi_bash...\"),\n exec(pi_bash(\"printf 'bash bridge cwd=%s' \\\"$PWD\\\"\"), BashResult),\n get_dict(stdout, BashResult, BashStdout),\n normalize_space(string(BashSummary), BashStdout),\n output(BashSummary),\n output(\"Phase 4/4: asking pi's active model for a concise explanation...\"),\n format(string(Request),\n \"Explain in two short sentences why X=~w and Y=~w satisfy X + Y = 14 and X * Y = 48. Mention that the pi-hosted workspace tool observed ~w top-level entries and the approved bash bridge returned: ~w. Store only the explanation in Explanation.\",\n [X, Y, EntryCount, BashSummary]),\n task(Request, string(Explanation)),\n format(string(Result), \"~w\\n~w\\nBash: ~w\\n\\nModel explanation: ~w\", [Solved, ToolSummary, BashSummary, Explanation]),\n answer(Result).\n"; export declare function getPaths(cwd: string): DeepClausePaths; export declare function initializeWorkspace(cwd: string): Promise; export declare function resolveDmlPath(paths: DeepClausePaths, request: string): Promise;