deepclause-sdk 0.0.89 → 0.1.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +481 -941
- package/dist/agent.d.ts +19 -2
- package/dist/agent.d.ts.map +1 -1
- package/dist/agent.js +75 -21
- package/dist/agent.js.map +1 -1
- package/dist/cli/config.d.ts +385 -178
- package/dist/cli/config.d.ts.map +1 -1
- package/dist/cli/config.js +161 -188
- package/dist/cli/config.js.map +1 -1
- package/dist/cli/index.d.ts +3 -2
- package/dist/cli/index.d.ts.map +1 -1
- package/dist/cli/index.js +85 -411
- package/dist/cli/index.js.map +1 -1
- package/dist/cli/login.d.ts +29 -0
- package/dist/cli/login.d.ts.map +1 -0
- package/dist/cli/login.js +184 -0
- package/dist/cli/login.js.map +1 -0
- package/dist/cli/readline.d.ts +6 -0
- package/dist/cli/readline.d.ts.map +1 -0
- package/dist/cli/readline.js +15 -0
- package/dist/cli/readline.js.map +1 -0
- package/dist/cli/repl-bin.d.ts +9 -0
- package/dist/cli/repl-bin.d.ts.map +1 -0
- package/dist/cli/repl-bin.js +16 -0
- package/dist/cli/repl-bin.js.map +1 -0
- package/dist/cli/repl.d.ts +216 -0
- package/dist/cli/repl.d.ts.map +1 -0
- package/dist/cli/repl.js +1392 -0
- package/dist/cli/repl.js.map +1 -0
- package/dist/cli/run.d.ts +17 -18
- package/dist/cli/run.d.ts.map +1 -1
- package/dist/cli/run.js +202 -183
- package/dist/cli/run.js.map +1 -1
- package/dist/cli/set-backend.d.ts +53 -0
- package/dist/cli/set-backend.d.ts.map +1 -0
- package/dist/cli/set-backend.js +259 -0
- package/dist/cli/set-backend.js.map +1 -0
- package/dist/cli/visualize.d.ts +42 -0
- package/dist/cli/visualize.d.ts.map +1 -0
- package/dist/cli/visualize.js +150 -0
- package/dist/cli/visualize.js.map +1 -0
- package/dist/compiler.d.ts +5 -52
- package/dist/compiler.d.ts.map +1 -1
- package/dist/compiler.js +4 -768
- package/dist/compiler.js.map +1 -1
- package/dist/index.d.ts +27 -2
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +18 -2
- package/dist/index.js.map +1 -1
- package/dist/prolog/bridge.d.ts +5 -1
- package/dist/prolog/bridge.d.ts.map +1 -1
- package/dist/prolog/bridge.js +10 -1
- package/dist/prolog/bridge.js.map +1 -1
- package/dist/prolog-src/deepclause_analysis.pl +10 -2
- package/dist/prolog-src/deepclause_mi.pl +2440 -49
- package/dist/repl/agent.d.ts +90 -0
- package/dist/repl/agent.d.ts.map +1 -0
- package/dist/repl/agent.js +410 -0
- package/dist/repl/agent.js.map +1 -0
- package/dist/repl/auth.d.ts +45 -0
- package/dist/repl/auth.d.ts.map +1 -0
- package/dist/repl/auth.js +116 -0
- package/dist/repl/auth.js.map +1 -0
- package/dist/repl/backend.d.ts +321 -0
- package/dist/repl/backend.d.ts.map +1 -0
- package/dist/repl/backend.js +415 -0
- package/dist/repl/backend.js.map +1 -0
- package/dist/repl/compaction.d.ts +122 -0
- package/dist/repl/compaction.d.ts.map +1 -0
- package/dist/repl/compaction.js +318 -0
- package/dist/repl/compaction.js.map +1 -0
- package/dist/repl/export.d.ts +30 -0
- package/dist/repl/export.d.ts.map +1 -0
- package/dist/repl/export.js +23 -0
- package/dist/repl/export.js.map +1 -0
- package/dist/repl/frames.d.ts +21 -0
- package/dist/repl/frames.d.ts.map +1 -0
- package/dist/repl/frames.js +79 -0
- package/dist/repl/frames.js.map +1 -0
- package/dist/repl/harness-tools.d.ts +99 -0
- package/dist/repl/harness-tools.d.ts.map +1 -0
- package/dist/repl/harness-tools.js +192 -0
- package/dist/repl/harness-tools.js.map +1 -0
- package/dist/repl/highlight.d.ts +30 -0
- package/dist/repl/highlight.d.ts.map +1 -0
- package/dist/repl/highlight.js +285 -0
- package/dist/repl/highlight.js.map +1 -0
- package/dist/repl/history.d.ts +234 -0
- package/dist/repl/history.d.ts.map +1 -0
- package/dist/repl/history.js +661 -0
- package/dist/repl/history.js.map +1 -0
- package/dist/repl/imagegen.d.ts +29 -0
- package/dist/repl/imagegen.d.ts.map +1 -0
- package/dist/repl/imagegen.js +84 -0
- package/dist/repl/imagegen.js.map +1 -0
- package/dist/repl/index.d.ts +130 -0
- package/dist/repl/index.d.ts.map +1 -0
- package/dist/repl/index.js +112 -0
- package/dist/repl/index.js.map +1 -0
- package/dist/repl/judge.d.ts +51 -0
- package/dist/repl/judge.d.ts.map +1 -0
- package/dist/repl/judge.js +58 -0
- package/dist/repl/judge.js.map +1 -0
- package/dist/repl/markdown.d.ts +25 -0
- package/dist/repl/markdown.d.ts.map +1 -0
- package/dist/repl/markdown.js +103 -0
- package/dist/repl/markdown.js.map +1 -0
- package/dist/repl/model-resolver.d.ts +59 -0
- package/dist/repl/model-resolver.d.ts.map +1 -0
- package/dist/repl/model-resolver.js +156 -0
- package/dist/repl/model-resolver.js.map +1 -0
- package/dist/repl/picker.d.ts +34 -0
- package/dist/repl/picker.d.ts.map +1 -0
- package/dist/repl/picker.js +81 -0
- package/dist/repl/picker.js.map +1 -0
- package/dist/repl/project-context.d.ts +16 -0
- package/dist/repl/project-context.d.ts.map +1 -0
- package/dist/repl/project-context.js +23 -0
- package/dist/repl/project-context.js.map +1 -0
- package/dist/repl/render.d.ts +187 -0
- package/dist/repl/render.d.ts.map +1 -0
- package/dist/repl/render.js +808 -0
- package/dist/repl/render.js.map +1 -0
- package/dist/repl/session.d.ts +424 -0
- package/dist/repl/session.d.ts.map +1 -0
- package/dist/repl/session.js +1473 -0
- package/dist/repl/session.js.map +1 -0
- package/dist/repl/status.d.ts +100 -0
- package/dist/repl/status.d.ts.map +1 -0
- package/dist/repl/status.js +218 -0
- package/dist/repl/status.js.map +1 -0
- package/dist/repl/tools.d.ts +53 -0
- package/dist/repl/tools.d.ts.map +1 -0
- package/dist/repl/tools.js +307 -0
- package/dist/repl/tools.js.map +1 -0
- package/dist/repl/toolset.d.ts +32 -0
- package/dist/repl/toolset.d.ts.map +1 -0
- package/dist/repl/toolset.js +82 -0
- package/dist/repl/toolset.js.map +1 -0
- package/dist/repl/tui/editor.d.ts +17 -0
- package/dist/repl/tui/editor.d.ts.map +1 -0
- package/dist/repl/tui/editor.js +39 -0
- package/dist/repl/tui/editor.js.map +1 -0
- package/dist/repl/tui/status-bar.d.ts +26 -0
- package/dist/repl/tui/status-bar.d.ts.map +1 -0
- package/dist/repl/tui/status-bar.js +47 -0
- package/dist/repl/tui/status-bar.js.map +1 -0
- package/dist/repl/tui/theme.d.ts +30 -0
- package/dist/repl/tui/theme.d.ts.map +1 -0
- package/dist/repl/tui/theme.js +81 -0
- package/dist/repl/tui/theme.js.map +1 -0
- package/dist/repl/tui/transcript.d.ts +41 -0
- package/dist/repl/tui/transcript.d.ts.map +1 -0
- package/dist/repl/tui/transcript.js +139 -0
- package/dist/repl/tui/transcript.js.map +1 -0
- package/dist/runner.d.ts +143 -13
- package/dist/runner.d.ts.map +1 -1
- package/dist/runner.js +532 -290
- package/dist/runner.js.map +1 -1
- package/dist/sdk.d.ts.map +1 -1
- package/dist/sdk.js +0 -32
- package/dist/sdk.js.map +1 -1
- package/dist/system/assets/docs/AGENT_PROMPT.md +1447 -0
- package/dist/system/assets/docs/DML_AUTHORING.md +195 -0
- package/dist/system/assets/docs/DML_REFERENCE.md +344 -72
- package/dist/system/assets/docs/HARNESS_EXAMPLES.md +172 -0
- package/dist/system/assets/docs/HARNESS_PATTERNS.md +562 -0
- package/dist/system/assets/docs/META_PROMPT.md +68 -0
- package/dist/system/assets/docs/PROLOG_SNIPPETS.md +117 -0
- package/dist/system/assets/index.d.ts +9 -17
- package/dist/system/assets/index.d.ts.map +1 -1
- package/dist/system/assets/index.js +26 -85
- package/dist/system/assets/index.js.map +1 -1
- package/dist/system/runtime/agentvm-manager.d.ts +9 -2
- package/dist/system/runtime/agentvm-manager.d.ts.map +1 -1
- package/dist/system/runtime/agentvm-manager.js +70 -44
- package/dist/system/runtime/agentvm-manager.js.map +1 -1
- package/dist/system/runtime/media.d.ts +23 -0
- package/dist/system/runtime/media.d.ts.map +1 -0
- package/dist/system/runtime/media.js +55 -0
- package/dist/system/runtime/media.js.map +1 -0
- package/dist/system/runtime/shell-limits.d.ts +21 -0
- package/dist/system/runtime/shell-limits.d.ts.map +1 -0
- package/dist/system/runtime/shell-limits.js +39 -0
- package/dist/system/runtime/shell-limits.js.map +1 -0
- package/dist/system/runtime/shell-manager.d.ts +8 -3
- package/dist/system/runtime/shell-manager.d.ts.map +1 -1
- package/dist/system/runtime/shell-manager.js +56 -39
- package/dist/system/runtime/shell-manager.js.map +1 -1
- package/dist/system/runtime/shell-tool-events.js +5 -0
- package/dist/system/runtime/shell-tool-events.js.map +1 -1
- package/dist/system/runtime/token-usage.d.ts +2 -0
- package/dist/system/runtime/token-usage.d.ts.map +1 -1
- package/dist/system/runtime/token-usage.js +7 -0
- package/dist/system/runtime/token-usage.js.map +1 -1
- package/dist/tools.d.ts +3 -21
- package/dist/tools.d.ts.map +1 -1
- package/dist/tools.js +14 -168
- package/dist/tools.js.map +1 -1
- package/dist/types.d.ts +136 -119
- package/dist/types.d.ts.map +1 -1
- package/dist/validate.d.ts +19 -0
- package/dist/validate.d.ts.map +1 -0
- package/dist/validate.js +338 -0
- package/dist/validate.js.map +1 -0
- package/dist/visualize/ascii.d.ts +55 -0
- package/dist/visualize/ascii.d.ts.map +1 -0
- package/dist/visualize/ascii.js +242 -0
- package/dist/visualize/ascii.js.map +1 -0
- package/dist/visualize/display.d.ts +24 -0
- package/dist/visualize/display.d.ts.map +1 -0
- package/dist/visualize/display.js +29 -0
- package/dist/visualize/display.js.map +1 -0
- package/dist/visualize/graphics.d.ts +35 -0
- package/dist/visualize/graphics.d.ts.map +1 -0
- package/dist/visualize/graphics.js +96 -0
- package/dist/visualize/graphics.js.map +1 -0
- package/dist/visualize/image.d.ts +38 -0
- package/dist/visualize/image.d.ts.map +1 -0
- package/dist/visualize/image.js +95 -0
- package/dist/visualize/image.js.map +1 -0
- package/dist/visualize/index.d.ts +59 -0
- package/dist/visualize/index.d.ts.map +1 -0
- package/dist/visualize/index.js +198 -0
- package/dist/visualize/index.js.map +1 -0
- package/dist/visualize/raster.d.ts +23 -0
- package/dist/visualize/raster.d.ts.map +1 -0
- package/dist/visualize/raster.js +47 -0
- package/dist/visualize/raster.js.map +1 -0
- package/dist/visualize/svg.d.ts +39 -0
- package/dist/visualize/svg.d.ts.map +1 -0
- package/dist/visualize/svg.js +148 -0
- package/dist/visualize/svg.js.map +1 -0
- package/dist/visualize/transcode.d.ts +13 -0
- package/dist/visualize/transcode.d.ts.map +1 -0
- package/dist/visualize/transcode.js +40 -0
- package/dist/visualize/transcode.js.map +1 -0
- package/docs/images/repl.png +0 -0
- package/package.json +19 -15
- package/src/prolog-src/deepclause_analysis.pl +10 -2
- package/src/prolog-src/deepclause_mi.pl +2440 -49
- package/dist/cli/commands.d.ts +0 -42
- package/dist/cli/commands.d.ts.map +0 -1
- package/dist/cli/commands.js +0 -246
- package/dist/cli/commands.js.map +0 -1
- package/dist/cli/compile.d.ts +0 -99
- package/dist/cli/compile.d.ts.map +0 -1
- package/dist/cli/compile.js +0 -363
- package/dist/cli/compile.js.map +0 -1
- package/dist/cli/default-skills.d.ts +0 -10
- package/dist/cli/default-skills.d.ts.map +0 -1
- package/dist/cli/default-skills.js +0 -206
- package/dist/cli/default-skills.js.map +0 -1
- package/dist/cli/interactive.d.ts +0 -2
- package/dist/cli/interactive.d.ts.map +0 -1
- package/dist/cli/interactive.js +0 -20
- package/dist/cli/interactive.js.map +0 -1
- package/dist/cli/mcp.d.ts +0 -56
- package/dist/cli/mcp.d.ts.map +0 -1
- package/dist/cli/mcp.js +0 -138
- package/dist/cli/mcp.js.map +0 -1
- package/dist/cli/prompt.d.ts +0 -2
- package/dist/cli/prompt.d.ts.map +0 -1
- package/dist/cli/prompt.js +0 -2
- package/dist/cli/prompt.js.map +0 -1
- package/dist/cli/search.d.ts +0 -19
- package/dist/cli/search.d.ts.map +0 -1
- package/dist/cli/search.js +0 -189
- package/dist/cli/search.js.map +0 -1
- package/dist/cli/tool-args.d.ts +0 -2
- package/dist/cli/tool-args.d.ts.map +0 -1
- package/dist/cli/tool-args.js +0 -39
- package/dist/cli/tool-args.js.map +0 -1
- package/dist/cli/tools.d.ts +0 -36
- package/dist/cli/tools.d.ts.map +0 -1
- package/dist/cli/tools.js +0 -229
- package/dist/cli/tools.js.map +0 -1
- package/dist/cli/tui/index.d.ts +0 -22
- package/dist/cli/tui/index.d.ts.map +0 -1
- package/dist/cli/tui/index.js +0 -29
- package/dist/cli/tui/index.js.map +0 -1
- package/dist/cli/tui.d.ts +0 -167
- package/dist/cli/tui.d.ts.map +0 -1
- package/dist/cli/tui.js +0 -5228
- package/dist/cli/tui.js.map +0 -1
- package/dist/compiler_prompt.d.ts +0 -20
- package/dist/compiler_prompt.d.ts.map +0 -1
- package/dist/compiler_prompt.js +0 -870
- package/dist/compiler_prompt.js.map +0 -1
- package/dist/deepclause-cli.skill +0 -0
- package/dist/prolog-src/deepclause_mi.pl.bak +0 -570
- package/dist/system/assets/docs/CONDUCTOR_PROMPT.md +0 -105
- package/dist/system/assets/docs/DML_COMPILER_PROMPT.md +0 -700
- package/dist/system/assets/docs/TUI.md +0 -150
- package/dist/system/assets/recipes/deepclause-coding-workflow/SKILL.md +0 -100
- package/dist/system/assets/skills/conductor.dml +0 -76
- package/dist/system/assets/skills/deep-planner.dml +0 -412
- package/dist/system/assets/skills/plan.dml +0 -429
- package/dist/system/assets/skills/security-planner.dml +0 -337
- package/dist/system/assets/skills/skill-creator.dml +0 -187
- package/dist/system/runtime/catalog-recipes.d.ts +0 -24
- package/dist/system/runtime/catalog-recipes.d.ts.map +0 -1
- package/dist/system/runtime/catalog-recipes.js +0 -273
- package/dist/system/runtime/catalog-recipes.js.map +0 -1
- package/dist/system/runtime/catalog-skills.d.ts +0 -50
- package/dist/system/runtime/catalog-skills.d.ts.map +0 -1
- package/dist/system/runtime/catalog-skills.js +0 -152
- package/dist/system/runtime/catalog-skills.js.map +0 -1
- package/dist/system/runtime/conductor.d.ts +0 -105
- package/dist/system/runtime/conductor.d.ts.map +0 -1
- package/dist/system/runtime/conductor.js +0 -732
- package/dist/system/runtime/conductor.js.map +0 -1
- package/dist/system/runtime/console-capture.d.ts +0 -9
- package/dist/system/runtime/console-capture.d.ts.map +0 -1
- package/dist/system/runtime/console-capture.js +0 -67
- package/dist/system/runtime/console-capture.js.map +0 -1
- package/dist/system/runtime/dml-executor.d.ts +0 -52
- package/dist/system/runtime/dml-executor.d.ts.map +0 -1
- package/dist/system/runtime/dml-executor.js +0 -203
- package/dist/system/runtime/dml-executor.js.map +0 -1
- package/dist/system/runtime/runtime-tools.d.ts +0 -31
- package/dist/system/runtime/runtime-tools.d.ts.map +0 -1
- package/dist/system/runtime/runtime-tools.js +0 -312
- package/dist/system/runtime/runtime-tools.js.map +0 -1
- package/dist/system/runtime/skill-creator.d.ts +0 -38
- package/dist/system/runtime/skill-creator.d.ts.map +0 -1
- package/dist/system/runtime/skill-creator.js +0 -763
- package/dist/system/runtime/skill-creator.js.map +0 -1
- package/src/prolog-src/deepclause_mi.pl.bak +0 -570
package/dist/tools.js
CHANGED
|
@@ -1,189 +1,35 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* Tool management utilities
|
|
2
|
+
* Tool management utilities.
|
|
3
3
|
*/
|
|
4
4
|
/**
|
|
5
|
-
*
|
|
6
|
-
*/
|
|
7
|
-
export const BUILTIN_COMPILE_TOOLS = [
|
|
8
|
-
{
|
|
9
|
-
name: 'vm_exec',
|
|
10
|
-
description: 'Execute a shell command using the active workspace shell backend. With --sandbox, this runs inside AgentVM.',
|
|
11
|
-
provider: 'agentvm',
|
|
12
|
-
schema: {
|
|
13
|
-
type: 'object',
|
|
14
|
-
properties: {
|
|
15
|
-
command: { type: 'string', description: 'Shell command to execute (e.g., "python3 script.py", "echo hello", "ls -la")' }
|
|
16
|
-
},
|
|
17
|
-
required: ['command']
|
|
18
|
-
}
|
|
19
|
-
},
|
|
20
|
-
{
|
|
21
|
-
name: 'web_search',
|
|
22
|
-
description: 'Search the web. Uses Brave Search API if BRAVE_API_KEY is set, otherwise falls back to Bing (no key required).',
|
|
23
|
-
provider: 'brave',
|
|
24
|
-
schema: {
|
|
25
|
-
type: 'object',
|
|
26
|
-
properties: {
|
|
27
|
-
query: { type: 'string', description: 'Search query' },
|
|
28
|
-
count: { type: 'number', description: 'Number of results (default: 10, max: 20)' },
|
|
29
|
-
freshness: { type: 'string', description: 'Filter by freshness: pd (past day), pw (past week), pm (past month), py (past year)' }
|
|
30
|
-
},
|
|
31
|
-
required: ['query']
|
|
32
|
-
}
|
|
33
|
-
},
|
|
34
|
-
{
|
|
35
|
-
name: 'news_search',
|
|
36
|
-
description: 'Search for recent news articles. Uses Brave Search API if BRAVE_API_KEY is set, otherwise falls back to Bing (no key required).',
|
|
37
|
-
provider: 'brave',
|
|
38
|
-
schema: {
|
|
39
|
-
type: 'object',
|
|
40
|
-
properties: {
|
|
41
|
-
query: { type: 'string', description: 'Search query' },
|
|
42
|
-
count: { type: 'number', description: 'Number of results (default: 10, max: 20)' },
|
|
43
|
-
freshness: { type: 'string', description: 'Filter by freshness: pd (past day), pw (past week), pm (past month)' }
|
|
44
|
-
},
|
|
45
|
-
required: ['query']
|
|
46
|
-
}
|
|
47
|
-
}
|
|
48
|
-
];
|
|
49
|
-
/**
|
|
50
|
-
* Get all built-in tools for compilation
|
|
51
|
-
*/
|
|
52
|
-
export function getBuiltInCompileTools() {
|
|
53
|
-
return [...BUILTIN_COMPILE_TOOLS];
|
|
54
|
-
}
|
|
55
|
-
/**
|
|
56
|
-
* Check if a tool is allowed by the current policy
|
|
5
|
+
* Check if a tool is allowed by the current policy.
|
|
57
6
|
*/
|
|
58
7
|
export function checkToolPolicy(toolName, policy) {
|
|
59
|
-
//
|
|
8
|
+
// ask_user is the human-in-the-loop channel, not a capability. It only
|
|
9
|
+
// relays a question and is exempt from the capability whitelist/blacklist.
|
|
10
|
+
if (toolName === 'ask_user') {
|
|
11
|
+
return { allowed: true };
|
|
12
|
+
}
|
|
60
13
|
if (!policy) {
|
|
61
14
|
return { allowed: true };
|
|
62
15
|
}
|
|
63
|
-
const matches = policy.tools.some(pattern => matchToolPattern(pattern, toolName));
|
|
16
|
+
const matches = policy.tools.some((pattern) => matchToolPattern(pattern, toolName));
|
|
64
17
|
if (policy.mode === 'whitelist') {
|
|
65
18
|
if (matches) {
|
|
66
19
|
return { allowed: true };
|
|
67
20
|
}
|
|
68
|
-
return {
|
|
69
|
-
allowed: false,
|
|
70
|
-
reason: `Tool '${toolName}' is not in the whitelist`
|
|
71
|
-
};
|
|
21
|
+
return { allowed: false, reason: `Tool '${toolName}' is not in the whitelist` };
|
|
72
22
|
}
|
|
73
|
-
// Blacklist mode
|
|
74
23
|
if (matches) {
|
|
75
|
-
return {
|
|
76
|
-
allowed: false,
|
|
77
|
-
reason: `Tool '${toolName}' is blocked by blacklist`
|
|
78
|
-
};
|
|
24
|
+
return { allowed: false, reason: `Tool '${toolName}' is blocked by blacklist` };
|
|
79
25
|
}
|
|
80
26
|
return { allowed: true };
|
|
81
27
|
}
|
|
82
|
-
/**
|
|
83
|
-
* Match a tool name against a pattern (supports wildcards)
|
|
84
|
-
*/
|
|
28
|
+
/** Match a tool name against a pattern (supports `*` wildcards). */
|
|
85
29
|
function matchToolPattern(pattern, toolName) {
|
|
86
|
-
// Convert glob pattern to regex
|
|
87
30
|
const regexPattern = pattern
|
|
88
|
-
.replace(/[.+^${}()|[\]\\]/g, '\\$&')
|
|
89
|
-
.replace(/\*/g, '.*');
|
|
90
|
-
|
|
91
|
-
return regex.test(toolName);
|
|
92
|
-
}
|
|
93
|
-
/**
|
|
94
|
-
* Extract tool name from a Prolog term
|
|
95
|
-
* e.g., "web_search(query)" -> "web_search"
|
|
96
|
-
*/
|
|
97
|
-
export function extractToolName(term) {
|
|
98
|
-
const match = term.match(/^([a-z_][a-z0-9_]*)/i);
|
|
99
|
-
return match ? match[1] : term;
|
|
100
|
-
}
|
|
101
|
-
/**
|
|
102
|
-
* Parse tool arguments from a Prolog term
|
|
103
|
-
* e.g., "web_search(\"query\", 10)" -> ["query", 10]
|
|
104
|
-
*/
|
|
105
|
-
export function parseToolArgs(term) {
|
|
106
|
-
// Find the content between parentheses
|
|
107
|
-
const match = term.match(/\((.+)\)$/s);
|
|
108
|
-
if (!match) {
|
|
109
|
-
return [];
|
|
110
|
-
}
|
|
111
|
-
const argsStr = match[1];
|
|
112
|
-
const args = [];
|
|
113
|
-
// Simple parsing (doesn't handle all edge cases)
|
|
114
|
-
let current = '';
|
|
115
|
-
let depth = 0;
|
|
116
|
-
let inString = false;
|
|
117
|
-
let stringChar = '';
|
|
118
|
-
for (let i = 0; i < argsStr.length; i++) {
|
|
119
|
-
const char = argsStr[i];
|
|
120
|
-
const prevChar = i > 0 ? argsStr[i - 1] : '';
|
|
121
|
-
if (!inString) {
|
|
122
|
-
if (char === '"' || char === "'") {
|
|
123
|
-
inString = true;
|
|
124
|
-
stringChar = char;
|
|
125
|
-
current += char;
|
|
126
|
-
}
|
|
127
|
-
else if (char === '(' || char === '[' || char === '{') {
|
|
128
|
-
depth++;
|
|
129
|
-
current += char;
|
|
130
|
-
}
|
|
131
|
-
else if (char === ')' || char === ']' || char === '}') {
|
|
132
|
-
depth--;
|
|
133
|
-
current += char;
|
|
134
|
-
}
|
|
135
|
-
else if (char === ',' && depth === 0) {
|
|
136
|
-
args.push(parseValue(current.trim()));
|
|
137
|
-
current = '';
|
|
138
|
-
}
|
|
139
|
-
else {
|
|
140
|
-
current += char;
|
|
141
|
-
}
|
|
142
|
-
}
|
|
143
|
-
else {
|
|
144
|
-
current += char;
|
|
145
|
-
if (char === stringChar && prevChar !== '\\') {
|
|
146
|
-
inString = false;
|
|
147
|
-
}
|
|
148
|
-
}
|
|
149
|
-
}
|
|
150
|
-
if (current.trim()) {
|
|
151
|
-
args.push(parseValue(current.trim()));
|
|
152
|
-
}
|
|
153
|
-
return args;
|
|
154
|
-
}
|
|
155
|
-
/**
|
|
156
|
-
* Parse a single value from Prolog term string
|
|
157
|
-
*/
|
|
158
|
-
function parseValue(str) {
|
|
159
|
-
// String literal
|
|
160
|
-
if ((str.startsWith('"') && str.endsWith('"')) ||
|
|
161
|
-
(str.startsWith("'") && str.endsWith("'"))) {
|
|
162
|
-
return str.slice(1, -1)
|
|
163
|
-
.replace(/\\"/g, '"')
|
|
164
|
-
.replace(/\\'/g, "'")
|
|
165
|
-
.replace(/\\\\/g, '\\');
|
|
166
|
-
}
|
|
167
|
-
// Number
|
|
168
|
-
const num = Number(str);
|
|
169
|
-
if (!isNaN(num)) {
|
|
170
|
-
return num;
|
|
171
|
-
}
|
|
172
|
-
// Boolean
|
|
173
|
-
if (str === 'true')
|
|
174
|
-
return true;
|
|
175
|
-
if (str === 'false')
|
|
176
|
-
return false;
|
|
177
|
-
// List
|
|
178
|
-
if (str.startsWith('[') && str.endsWith(']')) {
|
|
179
|
-
// Recursively parse list items
|
|
180
|
-
const inner = str.slice(1, -1);
|
|
181
|
-
if (!inner.trim())
|
|
182
|
-
return [];
|
|
183
|
-
// For simplicity, just return the string for now
|
|
184
|
-
return str;
|
|
185
|
-
}
|
|
186
|
-
// Atom or variable
|
|
187
|
-
return str;
|
|
31
|
+
.replace(/[.+^${}()|[\]\\]/g, '\\$&')
|
|
32
|
+
.replace(/\*/g, '.*');
|
|
33
|
+
return new RegExp(`^${regexPattern}$`).test(toolName);
|
|
188
34
|
}
|
|
189
35
|
//# sourceMappingURL=tools.js.map
|
package/dist/tools.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"tools.js","sourceRoot":"","sources":["../src/tools.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH;;GAEG;AACH,MAAM,
|
|
1
|
+
{"version":3,"file":"tools.js","sourceRoot":"","sources":["../src/tools.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH;;GAEG;AACH,MAAM,UAAU,eAAe,CAC7B,QAAgB,EAChB,MAAyB;IAEzB,uEAAuE;IACvE,2EAA2E;IAC3E,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;QAC5B,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC3B,CAAC;IAED,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC3B,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IAEpF,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAChC,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAC3B,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,QAAQ,2BAA2B,EAAE,CAAC;IAClF,CAAC;IAED,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,QAAQ,2BAA2B,EAAE,CAAC;IAClF,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED,oEAAoE;AACpE,SAAS,gBAAgB,CAAC,OAAe,EAAE,QAAgB;IACzD,MAAM,YAAY,GAAG,OAAO;SACzB,OAAO,CAAC,mBAAmB,EAAE,MAAM,CAAC;SACpC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACxB,OAAO,IAAI,MAAM,CAAC,IAAI,YAAY,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AACxD,CAAC"}
|
package/dist/types.d.ts
CHANGED
|
@@ -28,8 +28,6 @@ export interface CreateOptions {
|
|
|
28
28
|
debug?: boolean;
|
|
29
29
|
/** Provider-specific options passed to the AI SDK (e.g. Google thinkingConfig, OpenAI reasoningEffort) */
|
|
30
30
|
providerOptions?: Record<string, Record<string, any>>;
|
|
31
|
-
/** Optional memory compaction settings for task()/prompt() execution */
|
|
32
|
-
compaction?: CompactionOptions;
|
|
33
31
|
/** Reasoning effort type (auto-resolved from model database) */
|
|
34
32
|
reasoningType?: import('./system/config/model-database.js').ReasoningType;
|
|
35
33
|
/** Reasoning budget map for token-based reasoning control */
|
|
@@ -45,9 +43,75 @@ export interface CreateOptions {
|
|
|
45
43
|
/** Name of the default judgment backend. Defaults to the first registered backend. */
|
|
46
44
|
defaultJudge?: string;
|
|
47
45
|
}
|
|
46
|
+
/** A workspace-relative media reference (never the bytes). */
|
|
47
|
+
export interface MediaRef {
|
|
48
|
+
path: string;
|
|
49
|
+
mimeType: string;
|
|
50
|
+
}
|
|
51
|
+
/**
|
|
52
|
+
* A parsed `model_spec` from a `with_model/2` scope: a provider+id with optional
|
|
53
|
+
* temperature/maxTokens/reasoning overrides. `default`/`none` means "no override".
|
|
54
|
+
*/
|
|
55
|
+
export type ModelSpec = 'default' | {
|
|
56
|
+
provider?: string;
|
|
57
|
+
id: string;
|
|
58
|
+
temperature?: number;
|
|
59
|
+
maxTokens?: number;
|
|
60
|
+
/** Reasoning level (`off|minimal|low|medium|high|xhigh|max`). */
|
|
61
|
+
reasoning?: string;
|
|
62
|
+
};
|
|
63
|
+
/** A fully resolved model profile used for one call. */
|
|
64
|
+
export interface ResolvedModel {
|
|
65
|
+
provider: string;
|
|
66
|
+
id: string;
|
|
67
|
+
temperature?: number;
|
|
68
|
+
maxTokens?: number;
|
|
69
|
+
/** Context window, for nested compaction thresholds. */
|
|
70
|
+
contextWindow?: number;
|
|
71
|
+
/** Whether the model supports a reasoning/thinking mode. */
|
|
72
|
+
reasoning: boolean;
|
|
73
|
+
/** Requested reasoning level for this scope, if any. */
|
|
74
|
+
reasoningLevel?: string;
|
|
75
|
+
/** For the env backend: how reasoning maps to provider options. */
|
|
76
|
+
reasoningType?: 'effort' | 'budget_tokens' | 'thinking_config' | 'none';
|
|
77
|
+
reasoningBudgetMap?: Record<string, number>;
|
|
78
|
+
/** For the pi backend: thinking levels the model accepts. */
|
|
79
|
+
supportedThinkingLevels?: string[];
|
|
80
|
+
}
|
|
81
|
+
/** Request passed to an injected image-generation backend (see `task/…, media(X))`). */
|
|
82
|
+
export interface ImageGenerationRequest {
|
|
83
|
+
/** The prompt (the task description, interpolated). */
|
|
84
|
+
prompt: string;
|
|
85
|
+
/** Attached input images, for image-to-image. */
|
|
86
|
+
refs?: MediaRef[];
|
|
87
|
+
/** Optional square/edge size in px. */
|
|
88
|
+
size?: number;
|
|
89
|
+
signal?: AbortSignal;
|
|
90
|
+
}
|
|
91
|
+
export interface ImageGenerationResult {
|
|
92
|
+
/** Workspace-relative path of the written image. */
|
|
93
|
+
path: string;
|
|
94
|
+
mimeType: string;
|
|
95
|
+
}
|
|
96
|
+
/**
|
|
97
|
+
* A host image generator. The pi backend implements this on top of pi's image
|
|
98
|
+
* models and credential store; tests inject a canned one.
|
|
99
|
+
*/
|
|
100
|
+
export interface ImageBackend {
|
|
101
|
+
generate(request: ImageGenerationRequest): Promise<ImageGenerationResult>;
|
|
102
|
+
}
|
|
103
|
+
/** Resolved media bytes attached to a backend message (base64). */
|
|
104
|
+
export interface LLMBackendMedia {
|
|
105
|
+
mimeType: string;
|
|
106
|
+
data: string;
|
|
107
|
+
}
|
|
48
108
|
export interface LLMBackendMessage {
|
|
49
109
|
role: 'system' | 'user' | 'assistant' | 'tool';
|
|
50
110
|
content: string;
|
|
111
|
+
/** Resolved media bytes to send with this message. */
|
|
112
|
+
media?: LLMBackendMedia[];
|
|
113
|
+
/** Reference-only media carried through to conversation memory. */
|
|
114
|
+
mediaRefs?: MediaRef[];
|
|
51
115
|
toolCalls?: LLMBackendToolCall[];
|
|
52
116
|
toolCallId?: string;
|
|
53
117
|
toolName?: string;
|
|
@@ -72,56 +136,27 @@ export interface LLMBackendRequest {
|
|
|
72
136
|
signal?: AbortSignal;
|
|
73
137
|
/** Receives model text as it becomes available. Backends may emit one final chunk. */
|
|
74
138
|
onText?: (chunk: string) => void;
|
|
139
|
+
/** Receives reasoning/thinking text as it becomes available (display only). */
|
|
140
|
+
onReasoning?: (chunk: string) => void;
|
|
141
|
+
/** Per-call model override from `with_model/2`. */
|
|
142
|
+
target?: ResolvedModel;
|
|
75
143
|
}
|
|
76
144
|
export interface LLMBackendResponse {
|
|
77
145
|
text: string;
|
|
78
146
|
toolCalls?: LLMBackendToolCall[];
|
|
79
147
|
usage?: LLMUsage;
|
|
80
148
|
finishReason?: 'stop' | 'length' | 'tool_use' | 'error' | 'aborted';
|
|
149
|
+
/** Accumulated reasoning/thinking text (display only; not written to DML memory). */
|
|
150
|
+
reasoning?: string;
|
|
81
151
|
/** Opaque host-native assistant message to replay on a subsequent backend call. */
|
|
82
152
|
providerData?: unknown;
|
|
83
153
|
}
|
|
84
154
|
export interface LLMBackend {
|
|
85
155
|
complete(request: LLMBackendRequest): Promise<LLMBackendResponse>;
|
|
86
156
|
}
|
|
87
|
-
export type CompactorSourceType = 'inline' | 'file' | 'auto';
|
|
88
157
|
export type CompactionScope = 'session' | 'loop' | 'run';
|
|
89
158
|
export type CompactionTrigger = 'before_user_message' | 'before_model_call' | 'before_task' | 'after_task';
|
|
90
159
|
export type CompactionAction = 'running' | 'applied' | 'skipped' | 'failed';
|
|
91
|
-
export interface CompactorDefinition {
|
|
92
|
-
/** Inline DML source or a path to a DML file */
|
|
93
|
-
source: string;
|
|
94
|
-
/** How to interpret the source field. Defaults to 'auto'. */
|
|
95
|
-
sourceType?: CompactorSourceType;
|
|
96
|
-
/** Timeout for the DML compactor run in milliseconds. */
|
|
97
|
-
timeoutMs?: number;
|
|
98
|
-
/** Optional gas limit for the compactor DML run. */
|
|
99
|
-
gasLimit?: number;
|
|
100
|
-
/** Optional model override for compactor task()/prompt() calls. */
|
|
101
|
-
model?: string;
|
|
102
|
-
/** Optional provider override for the compactor model. */
|
|
103
|
-
provider?: 'openai' | 'anthropic' | 'google' | 'openrouter';
|
|
104
|
-
/** Whether the compactor may access the caller's registered exec() tools. Defaults to false. */
|
|
105
|
-
inheritTools?: boolean;
|
|
106
|
-
/** Optional tool policy applied to the compactor run. */
|
|
107
|
-
toolPolicy?: ToolPolicy | null;
|
|
108
|
-
}
|
|
109
|
-
export interface CompactorBinding {
|
|
110
|
-
/** Optional binding label used in logs and events. */
|
|
111
|
-
name?: string;
|
|
112
|
-
/** Runtime scope to which this compactor is attached. */
|
|
113
|
-
scope: CompactionScope;
|
|
114
|
-
/** Trigger point within the scope. */
|
|
115
|
-
trigger: CompactionTrigger;
|
|
116
|
-
/** The DML compactor to run when this binding is evaluated. */
|
|
117
|
-
compactor: CompactorDefinition;
|
|
118
|
-
}
|
|
119
|
-
export interface CompactionOptions {
|
|
120
|
-
/** Enables compactor evaluation. Defaults to false. */
|
|
121
|
-
enabled?: boolean;
|
|
122
|
-
/** Compactor bindings evaluated at specific runtime hook points. */
|
|
123
|
-
bindings?: CompactorBinding[];
|
|
124
|
-
}
|
|
125
160
|
/**
|
|
126
161
|
* Options for running DML code
|
|
127
162
|
*/
|
|
@@ -143,8 +178,6 @@ export interface RunOptions {
|
|
|
143
178
|
/** Initial conversation messages seeded into memory before DML execution.
|
|
144
179
|
* These appear as proper memory messages, not in the synthesized system prompt. */
|
|
145
180
|
initialMessages?: MemoryMessage[];
|
|
146
|
-
/** Per-run override for SDK compaction settings. */
|
|
147
|
-
compaction?: CompactionOptions;
|
|
148
181
|
}
|
|
149
182
|
/**
|
|
150
183
|
* Trace entry for execution logging
|
|
@@ -177,9 +210,50 @@ export interface LLMUsage {
|
|
|
177
210
|
cacheWriteTokens?: number;
|
|
178
211
|
reasoningTokens?: number;
|
|
179
212
|
}
|
|
180
|
-
|
|
181
|
-
|
|
213
|
+
/**
|
|
214
|
+
* A single rendered variable binding from a goal-mode solution.
|
|
215
|
+
* `value` is the Prolog text of the binding ('_' when unbound).
|
|
216
|
+
*/
|
|
217
|
+
export interface DMLBinding {
|
|
218
|
+
name: string;
|
|
219
|
+
value: string;
|
|
220
|
+
}
|
|
221
|
+
/**
|
|
222
|
+
* One goal-mode answer. A goal with N solutions yields N solution events.
|
|
223
|
+
* `deterministic` is an optimization hint only; the pager can always offer
|
|
224
|
+
* the next solution.
|
|
225
|
+
*/
|
|
226
|
+
export interface DMLSolution {
|
|
227
|
+
bindings: DMLBinding[];
|
|
228
|
+
deterministic: boolean;
|
|
229
|
+
}
|
|
230
|
+
/** Frame metadata attached to events emitted by a nested/reentrant run. */
|
|
231
|
+
export interface FrameEventMeta {
|
|
232
|
+
frameId?: string;
|
|
233
|
+
depth?: number;
|
|
234
|
+
frameKind?: FrameKind;
|
|
235
|
+
}
|
|
236
|
+
export interface DMLEvent extends FrameEventMeta {
|
|
237
|
+
type: 'output' | 'log' | 'answer' | 'input_required' | 'error' | 'finished' | 'stream' | 'reasoning' | 'tool_call' | 'model_call' | 'usage' | 'memory_compaction' | 'task_activity' | 'solution' | 'meta_result' | 'media';
|
|
182
238
|
content?: string;
|
|
239
|
+
/** Media produced by a step (path in the workspace, optional inline base64). */
|
|
240
|
+
media?: {
|
|
241
|
+
path?: string;
|
|
242
|
+
mimeType: string;
|
|
243
|
+
data?: string;
|
|
244
|
+
kind?: string;
|
|
245
|
+
};
|
|
246
|
+
/** Model-call lifecycle (only for 'model_call' events). */
|
|
247
|
+
modelCallState?: 'started' | 'completed' | 'failed';
|
|
248
|
+
/** Model id for a 'model_call' event, when known. */
|
|
249
|
+
modelId?: string;
|
|
250
|
+
/** Goal-mode solution (only for 'solution' events). */
|
|
251
|
+
solution?: DMLSolution;
|
|
252
|
+
/** Prompt-mode meta task result (only for 'meta_result' events). */
|
|
253
|
+
metaResult?: {
|
|
254
|
+
code: string;
|
|
255
|
+
answer: string;
|
|
256
|
+
};
|
|
183
257
|
prompt?: string;
|
|
184
258
|
/** Execution trace (only present in 'finished' event when trace mode enabled) */
|
|
185
259
|
trace?: TraceEntry[];
|
|
@@ -199,6 +273,8 @@ export interface DMLEvent {
|
|
|
199
273
|
toolBackend?: 'host' | 'sandbox';
|
|
200
274
|
/** Tool exit code when available (only for 'tool_call' events) */
|
|
201
275
|
toolExitCode?: number;
|
|
276
|
+
/** Wall-clock duration of the tool call in ms (only for completed/failed 'tool_call' events) */
|
|
277
|
+
toolDurationMs?: number;
|
|
202
278
|
/** Tool summary message when available (only for 'tool_call' events) */
|
|
203
279
|
toolSummary?: string;
|
|
204
280
|
/** Tool failure message when available (only for 'tool_call' events) */
|
|
@@ -211,8 +287,6 @@ export interface DMLEvent {
|
|
|
211
287
|
compactionTrigger?: CompactionTrigger;
|
|
212
288
|
/** Compaction action outcome (only for 'memory_compaction' events) */
|
|
213
289
|
compactionAction?: CompactionAction;
|
|
214
|
-
/** Binding label used for the compaction event when available */
|
|
215
|
-
compactionBindingName?: string;
|
|
216
290
|
/** Estimated tokens before compaction (only for 'memory_compaction' events) */
|
|
217
291
|
beforeTokens?: number;
|
|
218
292
|
/** Estimated tokens after compaction (only for 'memory_compaction' events) */
|
|
@@ -239,80 +313,20 @@ export interface DMLEvent {
|
|
|
239
313
|
/**
|
|
240
314
|
* Tool definition for registering external tools
|
|
241
315
|
*/
|
|
316
|
+
/** Per-call context handed to a tool's `execute`. */
|
|
317
|
+
export interface ToolExecutionContext {
|
|
318
|
+
/** Abort signal for the current turn; long-running tools should honor it. */
|
|
319
|
+
signal?: AbortSignal;
|
|
320
|
+
/** Stream events produced while the tool runs (e.g. an `execute` child frame). */
|
|
321
|
+
onEvent?: (event: DMLEvent) => void;
|
|
322
|
+
}
|
|
242
323
|
export interface ToolDefinition {
|
|
243
324
|
/** Human-readable description of what the tool does */
|
|
244
325
|
description: string;
|
|
245
326
|
/** JSON Schema for tool parameters */
|
|
246
327
|
parameters: JsonSchema;
|
|
247
328
|
/** Function to execute the tool */
|
|
248
|
-
execute: (args: Record<string, unknown
|
|
249
|
-
}
|
|
250
|
-
/**
|
|
251
|
-
* Tool representation for the compiler
|
|
252
|
-
*/
|
|
253
|
-
export interface CompileTool {
|
|
254
|
-
name: string;
|
|
255
|
-
description: string;
|
|
256
|
-
provider: string;
|
|
257
|
-
schema?: object;
|
|
258
|
-
}
|
|
259
|
-
/**
|
|
260
|
-
* Static Analysis Warning
|
|
261
|
-
*/
|
|
262
|
-
export interface AnalysisWarning {
|
|
263
|
-
level: 'critical' | 'high' | 'medium' | 'low';
|
|
264
|
-
message: string;
|
|
265
|
-
}
|
|
266
|
-
/**
|
|
267
|
-
* Result of DML Analysis
|
|
268
|
-
*/
|
|
269
|
-
export interface AnalysisResult {
|
|
270
|
-
valid: boolean;
|
|
271
|
-
warnings: AnalysisWarning[];
|
|
272
|
-
capabilities: string[];
|
|
273
|
-
auditorReport?: string;
|
|
274
|
-
error?: string;
|
|
275
|
-
}
|
|
276
|
-
/**
|
|
277
|
-
* Options for DML compilation
|
|
278
|
-
*/
|
|
279
|
-
export interface CompileOptions {
|
|
280
|
-
/** Model to use for compilation */
|
|
281
|
-
model?: string;
|
|
282
|
-
/** Provider for the model */
|
|
283
|
-
provider?: 'openai' | 'anthropic' | 'google' | 'openrouter';
|
|
284
|
-
/** Temperature for LLM calls (0-1) */
|
|
285
|
-
temperature?: number;
|
|
286
|
-
/** Maximum number of compilation attempts */
|
|
287
|
-
maxAttempts?: number;
|
|
288
|
-
/** Enable verbose logging during compilation */
|
|
289
|
-
verbose?: boolean;
|
|
290
|
-
/** Custom tools to describe to the compiler */
|
|
291
|
-
tools?: CompileTool[];
|
|
292
|
-
/** Run LLM-based security audit */
|
|
293
|
-
audit?: boolean;
|
|
294
|
-
/** Base URL for the LLM API (e.g. a proxy endpoint) */
|
|
295
|
-
baseUrl?: string;
|
|
296
|
-
}
|
|
297
|
-
/**
|
|
298
|
-
* Result of a DML compilation
|
|
299
|
-
*/
|
|
300
|
-
export interface CompileResult {
|
|
301
|
-
/** Compiled DML code */
|
|
302
|
-
dml: string;
|
|
303
|
-
/** Tool dependencies extracted from the DML */
|
|
304
|
-
tools: string[];
|
|
305
|
-
/** Brief explanation of what the program does */
|
|
306
|
-
explanation?: string;
|
|
307
|
-
/** Number of attempts taken to compile */
|
|
308
|
-
attempts?: number;
|
|
309
|
-
/** Validation details */
|
|
310
|
-
valid: boolean;
|
|
311
|
-
errors?: string[];
|
|
312
|
-
/** Static and Semantic Analysis results */
|
|
313
|
-
analysis?: AnalysisResult;
|
|
314
|
-
/** Token usage from LLM calls during compilation */
|
|
315
|
-
usageByModel?: import('./system/runtime/token-usage.js').TokenUsageByModel;
|
|
329
|
+
execute: (args: Record<string, unknown>, context?: ToolExecutionContext) => Promise<unknown>;
|
|
316
330
|
}
|
|
317
331
|
/**
|
|
318
332
|
* JSON Schema type for tool parameters
|
|
@@ -346,13 +360,6 @@ export interface DeepClauseSDK {
|
|
|
346
360
|
* @yields DML events (output, log, answer, etc.)
|
|
347
361
|
*/
|
|
348
362
|
runDML(code: string, options?: RunOptions): AsyncGenerator<DMLEvent>;
|
|
349
|
-
/**
|
|
350
|
-
* Compile Markdown task description to DML
|
|
351
|
-
* @param source - Markdown content or path to .md file
|
|
352
|
-
* @param options - Compilation options
|
|
353
|
-
* @returns Compiled DML and metadata
|
|
354
|
-
*/
|
|
355
|
-
compile(source: string, options?: CompileOptions): Promise<CompileResult>;
|
|
356
363
|
/**
|
|
357
364
|
* Register an external tool
|
|
358
365
|
* @param name - Tool name (used in exec())
|
|
@@ -399,12 +406,20 @@ export interface DeepClauseSDK {
|
|
|
399
406
|
*/
|
|
400
407
|
dispose(): Promise<void>;
|
|
401
408
|
}
|
|
409
|
+
/**
|
|
410
|
+
* Kind of execution frame in the runner's reentrant frame stack.
|
|
411
|
+
*
|
|
412
|
+
* - `query` — the default engine created by `runDML` (one solution / agent_main)
|
|
413
|
+
* - `nested` — an `execute` child frame run by the authoring agent
|
|
414
|
+
* - `object` — a harness run after a prompt commit (runtime tool policy)
|
|
415
|
+
*/
|
|
416
|
+
export type FrameKind = 'query' | 'nested' | 'object';
|
|
402
417
|
/**
|
|
403
418
|
* Variable with type information for type-safe LLM outputs
|
|
404
419
|
*/
|
|
405
420
|
export interface TypedVar {
|
|
406
421
|
name: string;
|
|
407
|
-
type: 'string' | 'number' | 'integer' | 'boolean' | 'array' | 'object';
|
|
422
|
+
type: 'string' | 'number' | 'integer' | 'boolean' | 'array' | 'object' | 'media';
|
|
408
423
|
itemType?: TypedVar['type'];
|
|
409
424
|
}
|
|
410
425
|
/**
|
|
@@ -425,6 +440,8 @@ export interface PrologResponse {
|
|
|
425
440
|
export interface MemoryMessage {
|
|
426
441
|
role: 'system' | 'user' | 'assistant';
|
|
427
442
|
content: string;
|
|
443
|
+
/** Reference-only media attached to this message (resolved at call time). */
|
|
444
|
+
media?: MediaRef[];
|
|
428
445
|
}
|
|
429
446
|
/**
|
|
430
447
|
* Agent loop tool definitions
|
package/dist/types.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAExE,YAAY,EACV,WAAW,EACX,YAAY,EACZ,mBAAmB,EACnB,oBAAoB,EACpB,UAAU,EACV,iBAAiB,EACjB,UAAU,EACV,WAAW,EACX,aAAa,EACb,iBAAiB,EACjB,cAAc,EACd,UAAU,EACV,SAAS,GACV,MAAM,kBAAkB,CAAC;AAE1B;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,mCAAmC;IACnC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,2DAA2D;IAC3D,KAAK,EAAE,MAAM,CAAC;IACd,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,QAAQ,GAAG,WAAW,GAAG,QAAQ,GAAG,YAAY,CAAC;IAC5D,sCAAsC;IACtC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,uCAAuC;IACvC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8CAA8C;IAC9C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qCAAqC;IACrC,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,kEAAkE;IAClE,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,6DAA6D;IAC7D,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,0GAA0G;IAE1G,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;IACtD,
|
|
1
|
+
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAExE,YAAY,EACV,WAAW,EACX,YAAY,EACZ,mBAAmB,EACnB,oBAAoB,EACpB,UAAU,EACV,iBAAiB,EACjB,UAAU,EACV,WAAW,EACX,aAAa,EACb,iBAAiB,EACjB,cAAc,EACd,UAAU,EACV,SAAS,GACV,MAAM,kBAAkB,CAAC;AAE1B;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,mCAAmC;IACnC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,2DAA2D;IAC3D,KAAK,EAAE,MAAM,CAAC;IACd,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,QAAQ,GAAG,WAAW,GAAG,QAAQ,GAAG,YAAY,CAAC;IAC5D,sCAAsC;IACtC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,uCAAuC;IACvC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8CAA8C;IAC9C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qCAAqC;IACrC,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,kEAAkE;IAClE,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,6DAA6D;IAC7D,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,0GAA0G;IAE1G,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;IACtD,gEAAgE;IAChE,aAAa,CAAC,EAAE,OAAO,mCAAmC,EAAE,aAAa,CAAC;IAC1E,6DAA6D;IAC7D,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,2DAA2D;IAC3D,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,sGAAsG;IACtG,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB,sGAAsG;IACtG,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,wEAAwE;IACxE,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC7C,sFAAsF;IACtF,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,8DAA8D;AAC9D,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;GAGG;AACH,MAAM,MAAM,SAAS,GACjB,SAAS,GACT;IACE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iEAAiE;IACjE,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEN,wDAAwD;AACxD,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,wDAAwD;IACxD,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,4DAA4D;IAC5D,SAAS,EAAE,OAAO,CAAC;IACnB,wDAAwD;IACxD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mEAAmE;IACnE,aAAa,CAAC,EAAE,QAAQ,GAAG,eAAe,GAAG,iBAAiB,GAAG,MAAM,CAAC;IACxE,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,6DAA6D;IAC7D,uBAAuB,CAAC,EAAE,MAAM,EAAE,CAAC;CACpC;AAED,wFAAwF;AACxF,MAAM,WAAW,sBAAsB;IACrC,uDAAuD;IACvD,MAAM,EAAE,MAAM,CAAC;IACf,iDAAiD;IACjD,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC;IAClB,uCAAuC;IACvC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED,MAAM,WAAW,qBAAqB;IACpC,oDAAoD;IACpD,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,sBAAsB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;CAC3E;AAED,mEAAmE;AACnE,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,WAAW,GAAG,MAAM,CAAC;IAC/C,OAAO,EAAE,MAAM,CAAC;IAChB,sDAAsD;IACtD,KAAK,CAAC,EAAE,eAAe,EAAE,CAAC;IAC1B,mEAAmE;IACnE,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;IACvB,SAAS,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACjC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,uFAAuF;IACvF,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACrC;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,iBAAiB,EAAE,CAAC;IAC9B,KAAK,CAAC,EAAE,cAAc,EAAE,CAAC;IACzB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,sFAAsF;IACtF,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IACjC,+EAA+E;IAC/E,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IACtC,mDAAmD;IACnD,MAAM,CAAC,EAAE,aAAa,CAAC;CACxB;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACjC,KAAK,CAAC,EAAE,QAAQ,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,UAAU,GAAG,OAAO,GAAG,SAAS,CAAC;IACpE,qFAAqF;IACrF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,mFAAmF;IACnF,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;CACnE;AAED,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,MAAM,GAAG,KAAK,CAAC;AACzD,MAAM,MAAM,iBAAiB,GAAG,qBAAqB,GAAG,mBAAmB,GAAG,aAAa,GAAG,YAAY,CAAC;AAC3G,MAAM,MAAM,gBAAgB,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,CAAC;AAE5E;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,uDAAuD;IACvD,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;IACjB,sEAAsE;IACtE,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,kCAAkC;IAClC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,sDAAsD;IACtD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sCAAsC;IACtC,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAClD,oCAAoC;IACpC,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB;yFACqF;IACnF,eAAe,CAAC,EAAE,aAAa,EAAE,CAAC;CACrC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,gCAAgC;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,0BAA0B;IAC1B,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,GAAG,UAAU,GAAG,MAAM,CAAC;IAChE,kCAAkC;IAClC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,2BAA2B;IAC3B,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;IACjB,gCAAgC;IAChC,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,iCAAiC;IACjC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,UAAU,EAAE,CAAC;IACvB,aAAa,EAAE,OAAO,CAAC;CACxB;AAED,2EAA2E;AAC3E,MAAM,WAAW,cAAc;IAC7B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB;AAED,MAAM,WAAW,QAAS,SAAQ,cAAc;IAC9C,IAAI,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,gBAAgB,GAAG,OAAO,GAAG,UAAU,GAAG,QAAQ,GAAG,WAAW,GAAG,WAAW,GAAG,YAAY,GAAG,OAAO,GAAG,mBAAmB,GAAG,eAAe,GAAG,UAAU,GAAG,aAAa,GAAG,OAAO,CAAC;IAC3N,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gFAAgF;IAChF,KAAK,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1E,2DAA2D;IAC3D,cAAc,CAAC,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IACpD,qDAAqD;IACrD,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,uDAAuD;IACvD,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,oEAAoE;IACpE,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iFAAiF;IACjF,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;IACrB,6EAA6E;IAC7E,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,8CAA8C;IAC9C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mDAAmD;IACnD,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACnC,qEAAqE;IACrE,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,yDAAyD;IACzD,SAAS,CAAC,EAAE,UAAU,GAAG,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IAC5D,sEAAsE;IACtE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,0EAA0E;IAC1E,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,kEAAkE;IAClE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gGAAgG;IAChG,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,wEAAwE;IACxE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,wEAAwE;IACxE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,6DAA6D;IAC7D,KAAK,CAAC,EAAE,QAAQ,CAAC;IACjB,6DAA6D;IAC7D,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,+DAA+D;IAC/D,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IACtC,sEAAsE;IACtE,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC,+EAA+E;IAC/E,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,8EAA8E;IAC9E,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,mEAAmE;IACnE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,6DAA6D;IAC7D,SAAS,CAAC,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IAC/C,iEAAiE;IACjE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,wFAAwF;IACxF,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,6DAA6D;IAC7D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,2DAA2D;IAC3D,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,qEAAqE;IACrE,UAAU,CAAC,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IAChD,8CAA8C;IAC9C,WAAW,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC;IAC9B,yCAAyC;IACzC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,qDAAqD;AACrD,MAAM,WAAW,oBAAoB;IACnC,6EAA6E;IAC7E,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,kFAAkF;IAClF,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,IAAI,CAAC;CACrC;AAED,MAAM,WAAW,cAAc;IAC7B,uDAAuD;IACvD,WAAW,EAAE,MAAM,CAAC;IACpB,sCAAsC;IACtC,UAAU,EAAE,UAAU,CAAC;IACvB,mCAAmC;IACnC,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,EAAE,oBAAoB,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CAC9F;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE;QACzB,IAAI,EAAE,MAAM,CAAC;QACb,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;KACjB,CAAC,CAAC;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,8CAA8C;IAC9C,IAAI,EAAE,WAAW,GAAG,WAAW,CAAC;IAChC,kEAAkE;IAClE,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B;;;;;OAKG;IACH,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,UAAU,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IAErE;;;;OAIG;IACH,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,GAAG,IAAI,CAAC;IAEvD;;;OAGG;IACH,aAAa,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IAExC;;OAEG;IACH,eAAe,IAAI,IAAI,CAAC;IAExB;;OAEG;IACH,aAAa,IAAI,UAAU,GAAG,IAAI,CAAC;IAEnC;;OAEG;IACH,QAAQ,IAAI,MAAM,EAAE,CAAC;IAErB;;;OAGG;IACH,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAElC;;;OAGG;IACH,SAAS,IAAI,aAAa,EAAE,CAAC;IAE7B,oDAAoD;IACpD,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,GAAG,IAAI,CAAC;IAEhE,mDAAmD;IACnD,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAEpC,8CAA8C;IAC9C,gBAAgB,IAAI,MAAM,EAAE,CAAC;IAE7B,yEAAyE;IACzE,oBAAoB,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAAC;IAEvD;;OAEG;IACH,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1B;AAED;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAEtD;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;IACjF,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,YAAY,GAAG,MAAM,GAAG,YAAY,CAAC;IAC3C,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,SAAS,GAAG,UAAU,GAAG,OAAO,CAAC;IACrE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,aAAa,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,WAAW,CAAC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,6EAA6E;IAC7E,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,CAAC,CAAC,SAAS,CAAC;CACzB"}
|
|
@@ -0,0 +1,19 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* DML validation and linting.
|
|
3
|
+
*
|
|
4
|
+
* Parses DML with the real Prolog reader and applies structural/lint checks.
|
|
5
|
+
* This is the surviving part of the old compiler module (the Markdown->DML
|
|
6
|
+
* generator was removed); it is exported as `deepclause-sdk/validate` and used
|
|
7
|
+
* by the CLI's `validate_dml` runtime tool and by downstream apps
|
|
8
|
+
* (`deepclause-pi`, `sop2harness`).
|
|
9
|
+
*/
|
|
10
|
+
export interface ValidationResult {
|
|
11
|
+
valid: boolean;
|
|
12
|
+
errors: string[];
|
|
13
|
+
warnings?: string[];
|
|
14
|
+
}
|
|
15
|
+
/**
|
|
16
|
+
* Validate DML code using the actual Prolog parser
|
|
17
|
+
*/
|
|
18
|
+
export declare function validateWithProlog(dml: string): Promise<ValidationResult>;
|
|
19
|
+
//# sourceMappingURL=validate.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAQH,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAkBD;;GAEG;AACH,wBAAsB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAyF/E"}
|