deepclause-sdk 0.0.66 → 0.0.68

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.
Files changed (62) hide show
  1. package/README.md +64 -0
  2. package/dist/agent.d.ts +1 -0
  3. package/dist/agent.d.ts.map +1 -1
  4. package/dist/agent.js +22 -0
  5. package/dist/agent.js.map +1 -1
  6. package/dist/cli/config.d.ts +195 -8
  7. package/dist/cli/config.d.ts.map +1 -1
  8. package/dist/cli/config.js +117 -1
  9. package/dist/cli/config.js.map +1 -1
  10. package/dist/cli/run.d.ts.map +1 -1
  11. package/dist/cli/run.js +1 -0
  12. package/dist/cli/run.js.map +1 -1
  13. package/dist/cli/tui.d.ts.map +1 -1
  14. package/dist/cli/tui.js +36 -7
  15. package/dist/cli/tui.js.map +1 -1
  16. package/dist/compaction.d.ts +70 -0
  17. package/dist/compaction.d.ts.map +1 -0
  18. package/dist/compaction.js +286 -0
  19. package/dist/compaction.js.map +1 -0
  20. package/dist/index.d.ts +1 -1
  21. package/dist/index.d.ts.map +1 -1
  22. package/dist/index.js.map +1 -1
  23. package/dist/prolog/loader.d.ts.map +1 -1
  24. package/dist/prolog/loader.js +8 -3
  25. package/dist/prolog/loader.js.map +1 -1
  26. package/dist/prolog-src/deepclause_mi.pl +27 -8
  27. package/dist/runner.d.ts +7 -1
  28. package/dist/runner.d.ts.map +1 -1
  29. package/dist/runner.js +222 -31
  30. package/dist/runner.js.map +1 -1
  31. package/dist/sdk.d.ts.map +1 -1
  32. package/dist/sdk.js +2 -0
  33. package/dist/sdk.js.map +1 -1
  34. package/dist/system/assets/compactors/default-loop-compactor.dml +20 -0
  35. package/dist/system/assets/compactors/default-memory-compactor.dml +6 -0
  36. package/dist/system/assets/compactors/default-session-compactor.dml +20 -0
  37. package/dist/system/assets/index.d.ts +2 -0
  38. package/dist/system/assets/index.d.ts.map +1 -1
  39. package/dist/system/assets/index.js +12 -0
  40. package/dist/system/assets/index.js.map +1 -1
  41. package/dist/system/runtime/agentvm-manager.d.ts +4 -0
  42. package/dist/system/runtime/agentvm-manager.d.ts.map +1 -1
  43. package/dist/system/runtime/agentvm-manager.js +5 -3
  44. package/dist/system/runtime/agentvm-manager.js.map +1 -1
  45. package/dist/system/runtime/conductor.d.ts.map +1 -1
  46. package/dist/system/runtime/conductor.js +157 -2
  47. package/dist/system/runtime/conductor.js.map +1 -1
  48. package/dist/system/runtime/dml-executor.d.ts +1 -0
  49. package/dist/system/runtime/dml-executor.d.ts.map +1 -1
  50. package/dist/system/runtime/dml-executor.js +5 -1
  51. package/dist/system/runtime/dml-executor.js.map +1 -1
  52. package/dist/system/runtime/shell-manager.d.ts +40 -1
  53. package/dist/system/runtime/shell-manager.d.ts.map +1 -1
  54. package/dist/system/runtime/shell-manager.js +567 -7
  55. package/dist/system/runtime/shell-manager.js.map +1 -1
  56. package/dist/system/runtime/skill-creator.d.ts.map +1 -1
  57. package/dist/system/runtime/skill-creator.js +3 -0
  58. package/dist/system/runtime/skill-creator.js.map +1 -1
  59. package/dist/types.d.ts +57 -1
  60. package/dist/types.d.ts.map +1 -1
  61. package/package.json +2 -3
  62. package/src/prolog-src/deepclause_mi.pl +27 -8
@@ -0,0 +1,70 @@
1
+ import type { CompactionAction, CompactionOptions, CompactionScope, CompactionTrigger, CompactorBinding, CompactorDefinition, DMLEvent, MemoryMessage, ToolPolicy } from './types.js';
2
+ export interface ResolvedCompactorDefinition {
3
+ source: string;
4
+ sourceType: 'inline' | 'file' | 'auto';
5
+ timeoutMs: number;
6
+ gasLimit?: number;
7
+ model?: string;
8
+ provider?: 'openai' | 'anthropic' | 'google' | 'openrouter';
9
+ inheritTools: boolean;
10
+ toolPolicy?: ToolPolicy | null;
11
+ }
12
+ export interface ResolvedCompactorBinding {
13
+ name?: string;
14
+ scope: CompactionScope;
15
+ trigger: CompactionTrigger;
16
+ compactor: ResolvedCompactorDefinition;
17
+ }
18
+ export interface ResolvedCompactionOptions {
19
+ enabled: boolean;
20
+ bindings: ResolvedCompactorBinding[];
21
+ }
22
+ export interface ParsedCompactorDecision {
23
+ apply: boolean;
24
+ messages?: MemoryMessage[];
25
+ }
26
+ export interface CompactorExecutionRequest {
27
+ binding: ResolvedCompactorBinding;
28
+ messages: MemoryMessage[];
29
+ params: Record<string, unknown>;
30
+ }
31
+ export interface CompactorExecutionResponse {
32
+ answer?: string;
33
+ error?: string;
34
+ }
35
+ export interface AppliedCompactorResult {
36
+ messages: MemoryMessage[];
37
+ event: DMLEvent;
38
+ applied: boolean;
39
+ }
40
+ export declare function resolveCompactionOptions(base?: CompactionOptions, override?: CompactionOptions): ResolvedCompactionOptions | null;
41
+ export declare function resolveBinding(binding: CompactorBinding): ResolvedCompactorBinding;
42
+ export declare function resolveCompactorDefinition(definition: CompactorDefinition): ResolvedCompactorDefinition;
43
+ export declare function getCompactionBindings(options: ResolvedCompactionOptions | null, scope: CompactionScope, trigger: CompactionTrigger): ResolvedCompactorBinding[];
44
+ export declare function estimateTokensForText(text: string): number;
45
+ export declare function estimateTokensForMessages(messages: MemoryMessage[]): number;
46
+ export declare function buildCompactorParams(binding: ResolvedCompactorBinding, messages: MemoryMessage[]): Record<string, unknown>;
47
+ export declare function executeCompactor(params: {
48
+ binding: ResolvedCompactorBinding;
49
+ messages: MemoryMessage[];
50
+ execute: (request: CompactorExecutionRequest) => Promise<CompactorExecutionResponse>;
51
+ }): Promise<AppliedCompactorResult>;
52
+ export declare function parseCompactorAnswer(answer: string): ParsedCompactorDecision | null;
53
+ export declare function normalizeMessageArray(value: unknown): MemoryMessage[] | null;
54
+ export declare function validateMessageArray(messages: MemoryMessage[]): string | null;
55
+ export declare function buildCompactionEvent(params: {
56
+ binding: ResolvedCompactorBinding;
57
+ action: CompactionAction;
58
+ beforeTokens: number;
59
+ afterTokens: number;
60
+ error?: string;
61
+ }): DMLEvent;
62
+ export declare function formatCompactionEventContent(params: {
63
+ binding: ResolvedCompactorBinding;
64
+ action: CompactionAction;
65
+ beforeTokens: number;
66
+ afterTokens: number;
67
+ error?: string;
68
+ }): string;
69
+ export declare function getBindingLabel(binding: ResolvedCompactorBinding): string;
70
+ //# sourceMappingURL=compaction.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"compaction.d.ts","sourceRoot":"","sources":["../src/compaction.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,QAAQ,EACR,aAAa,EACb,UAAU,EACX,MAAM,YAAY,CAAC;AAIpB,MAAM,WAAW,2BAA2B;IAC1C,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,QAAQ,GAAG,WAAW,GAAG,QAAQ,GAAG,YAAY,CAAC;IAC5D,YAAY,EAAE,OAAO,CAAC;IACtB,UAAU,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;CAChC;AAED,MAAM,WAAW,wBAAwB;IACvC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,eAAe,CAAC;IACvB,OAAO,EAAE,iBAAiB,CAAC;IAC3B,SAAS,EAAE,2BAA2B,CAAC;CACxC;AAED,MAAM,WAAW,yBAAyB;IACxC,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,wBAAwB,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,OAAO,CAAC;IACf,QAAQ,CAAC,EAAE,aAAa,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,yBAAyB;IACxC,OAAO,EAAE,wBAAwB,CAAC;IAClC,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACjC;AAED,MAAM,WAAW,0BAA0B;IACzC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,KAAK,EAAE,QAAQ,CAAC;IAChB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,wBAAgB,wBAAwB,CACtC,IAAI,CAAC,EAAE,iBAAiB,EACxB,QAAQ,CAAC,EAAE,iBAAiB,GAC3B,yBAAyB,GAAG,IAAI,CAmBlC;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,gBAAgB,GAAG,wBAAwB,CAOlF;AAED,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,mBAAmB,GAAG,2BAA2B,CAWvG;AAED,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,yBAAyB,GAAG,IAAI,EACzC,KAAK,EAAE,eAAe,EACtB,OAAO,EAAE,iBAAiB,GACzB,wBAAwB,EAAE,CAM5B;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,MAAM,CAE3E;AAED,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,wBAAwB,EACjC,QAAQ,EAAE,aAAa,EAAE,GACxB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CASzB;AAED,wBAAsB,gBAAgB,CAAC,MAAM,EAAE;IAC7C,OAAO,EAAE,wBAAwB,CAAC;IAClC,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,OAAO,EAAE,CAAC,OAAO,EAAE,yBAAyB,KAAK,OAAO,CAAC,0BAA0B,CAAC,CAAC;CACtF,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAsIlC;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,uBAAuB,GAAG,IAAI,CAsCnF;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,EAAE,GAAG,IAAI,CAsB5E;AAED,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,MAAM,GAAG,IAAI,CAW7E;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE;IAC3C,OAAO,EAAE,wBAAwB,CAAC;IAClC,MAAM,EAAE,gBAAgB,CAAC;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,GAAG,QAAQ,CAYX;AAED,wBAAgB,4BAA4B,CAAC,MAAM,EAAE;IACnD,OAAO,EAAE,wBAAwB,CAAC;IAClC,MAAM,EAAE,gBAAgB,CAAC;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,GAAG,MAAM,CAIT;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,wBAAwB,GAAG,MAAM,CAEzE"}
@@ -0,0 +1,286 @@
1
+ const DEFAULT_DML_COMPACTOR_TIMEOUT_MS = 15_000;
2
+ export function resolveCompactionOptions(base, override) {
3
+ const enabled = override?.enabled ?? base?.enabled ?? false;
4
+ if (!enabled) {
5
+ return null;
6
+ }
7
+ const bindings = [
8
+ ...(base?.bindings ?? []),
9
+ ...(override?.bindings ?? []),
10
+ ].map(resolveBinding);
11
+ if (bindings.length === 0) {
12
+ return null;
13
+ }
14
+ return {
15
+ enabled: true,
16
+ bindings,
17
+ };
18
+ }
19
+ export function resolveBinding(binding) {
20
+ return {
21
+ name: binding.name,
22
+ scope: binding.scope,
23
+ trigger: binding.trigger,
24
+ compactor: resolveCompactorDefinition(binding.compactor),
25
+ };
26
+ }
27
+ export function resolveCompactorDefinition(definition) {
28
+ return {
29
+ source: definition.source,
30
+ sourceType: definition.sourceType ?? 'auto',
31
+ timeoutMs: Math.max(0, definition.timeoutMs ?? DEFAULT_DML_COMPACTOR_TIMEOUT_MS),
32
+ gasLimit: definition.gasLimit,
33
+ model: definition.model,
34
+ provider: definition.provider,
35
+ inheritTools: definition.inheritTools ?? false,
36
+ toolPolicy: definition.toolPolicy,
37
+ };
38
+ }
39
+ export function getCompactionBindings(options, scope, trigger) {
40
+ if (!options) {
41
+ return [];
42
+ }
43
+ return options.bindings.filter((binding) => binding.scope === scope && binding.trigger === trigger);
44
+ }
45
+ export function estimateTokensForText(text) {
46
+ return Math.max(1, Math.ceil(text.length / 4));
47
+ }
48
+ export function estimateTokensForMessages(messages) {
49
+ return messages.reduce((total, message) => total + estimateTokensForText(message.content), 0);
50
+ }
51
+ export function buildCompactorParams(binding, messages) {
52
+ return {
53
+ compact_scope: binding.scope,
54
+ compact_trigger: binding.trigger,
55
+ compact_binding_name: binding.name ?? getBindingLabel(binding),
56
+ message_count: messages.length,
57
+ estimated_tokens: estimateTokensForMessages(messages),
58
+ messages_json: JSON.stringify(messages),
59
+ };
60
+ }
61
+ export async function executeCompactor(params) {
62
+ const beforeTokens = estimateTokensForMessages(params.messages);
63
+ if (params.messages.length === 0) {
64
+ return {
65
+ messages: params.messages,
66
+ applied: false,
67
+ event: buildCompactionEvent({
68
+ binding: params.binding,
69
+ action: 'skipped',
70
+ beforeTokens,
71
+ afterTokens: beforeTokens,
72
+ }),
73
+ };
74
+ }
75
+ const request = {
76
+ binding: params.binding,
77
+ messages: params.messages,
78
+ params: buildCompactorParams(params.binding, params.messages),
79
+ };
80
+ let response;
81
+ try {
82
+ response = await params.execute(request);
83
+ }
84
+ catch (error) {
85
+ return {
86
+ messages: params.messages,
87
+ applied: false,
88
+ event: buildCompactionEvent({
89
+ binding: params.binding,
90
+ action: 'failed',
91
+ beforeTokens,
92
+ afterTokens: beforeTokens,
93
+ error: error instanceof Error ? error.message : String(error),
94
+ }),
95
+ };
96
+ }
97
+ if (response.error) {
98
+ return {
99
+ messages: params.messages,
100
+ applied: false,
101
+ event: buildCompactionEvent({
102
+ binding: params.binding,
103
+ action: 'failed',
104
+ beforeTokens,
105
+ afterTokens: beforeTokens,
106
+ error: response.error,
107
+ }),
108
+ };
109
+ }
110
+ const parsed = parseCompactorAnswer(response.answer ?? '');
111
+ if (!parsed) {
112
+ return {
113
+ messages: params.messages,
114
+ applied: false,
115
+ event: buildCompactionEvent({
116
+ binding: params.binding,
117
+ action: 'failed',
118
+ beforeTokens,
119
+ afterTokens: beforeTokens,
120
+ error: 'Compactor returned an unreadable response',
121
+ }),
122
+ };
123
+ }
124
+ if (!parsed.apply) {
125
+ return {
126
+ messages: params.messages,
127
+ applied: false,
128
+ event: buildCompactionEvent({
129
+ binding: params.binding,
130
+ action: 'skipped',
131
+ beforeTokens,
132
+ afterTokens: beforeTokens,
133
+ }),
134
+ };
135
+ }
136
+ if (!parsed.messages) {
137
+ return {
138
+ messages: params.messages,
139
+ applied: false,
140
+ event: buildCompactionEvent({
141
+ binding: params.binding,
142
+ action: 'failed',
143
+ beforeTokens,
144
+ afterTokens: beforeTokens,
145
+ error: 'Compactor applied but did not return messages',
146
+ }),
147
+ };
148
+ }
149
+ const validationError = validateMessageArray(parsed.messages);
150
+ if (validationError) {
151
+ return {
152
+ messages: params.messages,
153
+ applied: false,
154
+ event: buildCompactionEvent({
155
+ binding: params.binding,
156
+ action: 'failed',
157
+ beforeTokens,
158
+ afterTokens: beforeTokens,
159
+ error: validationError,
160
+ }),
161
+ };
162
+ }
163
+ const afterTokens = estimateTokensForMessages(parsed.messages);
164
+ if (afterTokens >= beforeTokens) {
165
+ return {
166
+ messages: params.messages,
167
+ applied: false,
168
+ event: buildCompactionEvent({
169
+ binding: params.binding,
170
+ action: 'skipped',
171
+ beforeTokens,
172
+ afterTokens,
173
+ error: 'Compactor did not reduce message size',
174
+ }),
175
+ };
176
+ }
177
+ return {
178
+ messages: parsed.messages,
179
+ applied: true,
180
+ event: buildCompactionEvent({
181
+ binding: params.binding,
182
+ action: 'applied',
183
+ beforeTokens,
184
+ afterTokens,
185
+ }),
186
+ };
187
+ }
188
+ export function parseCompactorAnswer(answer) {
189
+ const trimmed = answer.trim();
190
+ if (!trimmed) {
191
+ return null;
192
+ }
193
+ if (trimmed === 'no_op' || trimmed === 'skip') {
194
+ return { apply: false };
195
+ }
196
+ const parsed = unwrapCompactorJson(tryParseJson(trimmed));
197
+ if (!parsed || typeof parsed !== 'object' || parsed === null) {
198
+ return null;
199
+ }
200
+ const record = parsed;
201
+ const action = typeof record.action === 'string' ? record.action : undefined;
202
+ if (action === 'no_op' || action === 'skip' || action === 'noop') {
203
+ return { apply: false };
204
+ }
205
+ const apply = typeof record.apply === 'boolean'
206
+ ? record.apply
207
+ : Boolean(record.messages ?? record.messages_out ?? record.memory ?? record.memory_out);
208
+ if (!apply) {
209
+ return { apply: false };
210
+ }
211
+ const rawMessages = record.messages ?? record.messages_out ?? record.memory ?? record.memory_out;
212
+ const messages = normalizeMessageArray(rawMessages);
213
+ if (!messages) {
214
+ return null;
215
+ }
216
+ return {
217
+ apply: true,
218
+ messages,
219
+ };
220
+ }
221
+ export function normalizeMessageArray(value) {
222
+ if (!Array.isArray(value)) {
223
+ return null;
224
+ }
225
+ const messages = [];
226
+ for (const item of value) {
227
+ if (!item || typeof item !== 'object') {
228
+ return null;
229
+ }
230
+ const record = item;
231
+ const role = record.role;
232
+ const content = record.content;
233
+ if ((role !== 'system' && role !== 'user' && role !== 'assistant') || typeof content !== 'string') {
234
+ return null;
235
+ }
236
+ messages.push({ role, content });
237
+ }
238
+ return messages;
239
+ }
240
+ export function validateMessageArray(messages) {
241
+ for (const message of messages) {
242
+ if (message.role !== 'system' && message.role !== 'user' && message.role !== 'assistant') {
243
+ return `Invalid message role: ${String(message.role)}`;
244
+ }
245
+ if (typeof message.content !== 'string') {
246
+ return 'Message content must be a string';
247
+ }
248
+ }
249
+ return null;
250
+ }
251
+ export function buildCompactionEvent(params) {
252
+ return {
253
+ type: 'memory_compaction',
254
+ content: formatCompactionEventContent(params),
255
+ compactionScope: params.binding.scope,
256
+ compactionTrigger: params.binding.trigger,
257
+ compactionAction: params.action,
258
+ compactionBindingName: params.binding.name,
259
+ beforeTokens: params.beforeTokens,
260
+ afterTokens: params.afterTokens,
261
+ compactionError: params.error,
262
+ };
263
+ }
264
+ export function formatCompactionEventContent(params) {
265
+ const label = params.binding.name ?? getBindingLabel(params.binding);
266
+ const errorSuffix = params.error ? ` (${params.error})` : '';
267
+ return `compact ${params.binding.scope}.${params.binding.trigger} ${params.action} ${label} ${params.beforeTokens} -> ${params.afterTokens} tokens${errorSuffix}`;
268
+ }
269
+ export function getBindingLabel(binding) {
270
+ return `${binding.scope}:${binding.trigger}`;
271
+ }
272
+ function tryParseJson(value) {
273
+ try {
274
+ return JSON.parse(value);
275
+ }
276
+ catch {
277
+ return null;
278
+ }
279
+ }
280
+ function unwrapCompactorJson(value) {
281
+ if (typeof value !== 'string') {
282
+ return value ?? null;
283
+ }
284
+ return tryParseJson(value);
285
+ }
286
+ //# sourceMappingURL=compaction.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"compaction.js","sourceRoot":"","sources":["../src/compaction.ts"],"names":[],"mappings":"AAYA,MAAM,gCAAgC,GAAG,MAAM,CAAC;AA+ChD,MAAM,UAAU,wBAAwB,CACtC,IAAwB,EACxB,QAA4B;IAE5B,MAAM,OAAO,GAAG,QAAQ,EAAE,OAAO,IAAI,IAAI,EAAE,OAAO,IAAI,KAAK,CAAC;IAC5D,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG;QACf,GAAG,CAAC,IAAI,EAAE,QAAQ,IAAI,EAAE,CAAC;QACzB,GAAG,CAAC,QAAQ,EAAE,QAAQ,IAAI,EAAE,CAAC;KAC9B,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IAEtB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,OAAO,EAAE,IAAI;QACb,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,OAAyB;IACtD,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,SAAS,EAAE,0BAA0B,CAAC,OAAO,CAAC,SAAS,CAAC;KACzD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,UAA+B;IACxE,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,UAAU,EAAE,UAAU,CAAC,UAAU,IAAI,MAAM;QAC3C,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,SAAS,IAAI,gCAAgC,CAAC;QAChF,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,YAAY,EAAE,UAAU,CAAC,YAAY,IAAI,KAAK;QAC9C,UAAU,EAAE,UAAU,CAAC,UAAU;KAClC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,OAAyC,EACzC,KAAsB,EACtB,OAA0B;IAE1B,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,KAAK,IAAI,OAAO,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;AACtG,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,QAAyB;IACjE,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,KAAK,GAAG,qBAAqB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,OAAiC,EACjC,QAAyB;IAEzB,OAAO;QACL,aAAa,EAAE,OAAO,CAAC,KAAK;QAC5B,eAAe,EAAE,OAAO,CAAC,OAAO;QAChC,oBAAoB,EAAE,OAAO,CAAC,IAAI,IAAI,eAAe,CAAC,OAAO,CAAC;QAC9D,aAAa,EAAE,QAAQ,CAAC,MAAM;QAC9B,gBAAgB,EAAE,yBAAyB,CAAC,QAAQ,CAAC;QACrD,aAAa,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;KACxC,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,MAItC;IACC,MAAM,YAAY,GAAG,yBAAyB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAChE,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,oBAAoB,CAAC;gBAC1B,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,MAAM,EAAE,SAAS;gBACjB,YAAY;gBACZ,WAAW,EAAE,YAAY;aAC1B,CAAC;SACH,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAA8B;QACzC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,MAAM,EAAE,oBAAoB,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC;KAC9D,CAAC;IAEF,IAAI,QAAoC,CAAC;IACzC,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,oBAAoB,CAAC;gBAC1B,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,MAAM,EAAE,QAAQ;gBAChB,YAAY;gBACZ,WAAW,EAAE,YAAY;gBACzB,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;aAC9D,CAAC;SACH,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QACnB,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,oBAAoB,CAAC;gBAC1B,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,MAAM,EAAE,QAAQ;gBAChB,YAAY;gBACZ,WAAW,EAAE,YAAY;gBACzB,KAAK,EAAE,QAAQ,CAAC,KAAK;aACtB,CAAC;SACH,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,oBAAoB,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IAC3D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,oBAAoB,CAAC;gBAC1B,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,MAAM,EAAE,QAAQ;gBAChB,YAAY;gBACZ,WAAW,EAAE,YAAY;gBACzB,KAAK,EAAE,2CAA2C;aACnD,CAAC;SACH,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAClB,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,oBAAoB,CAAC;gBAC1B,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,MAAM,EAAE,SAAS;gBACjB,YAAY;gBACZ,WAAW,EAAE,YAAY;aAC1B,CAAC;SACH,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACrB,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,oBAAoB,CAAC;gBAC1B,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,MAAM,EAAE,QAAQ;gBAChB,YAAY;gBACZ,WAAW,EAAE,YAAY;gBACzB,KAAK,EAAE,+CAA+C;aACvD,CAAC;SACH,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,oBAAoB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC9D,IAAI,eAAe,EAAE,CAAC;QACpB,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,oBAAoB,CAAC;gBAC1B,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,MAAM,EAAE,QAAQ;gBAChB,YAAY;gBACZ,WAAW,EAAE,YAAY;gBACzB,KAAK,EAAE,eAAe;aACvB,CAAC;SACH,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,yBAAyB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC/D,IAAI,WAAW,IAAI,YAAY,EAAE,CAAC;QAChC,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,oBAAoB,CAAC;gBAC1B,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,MAAM,EAAE,SAAS;gBACjB,YAAY;gBACZ,WAAW;gBACX,KAAK,EAAE,uCAAuC;aAC/C,CAAC;SACH,CAAC;IACJ,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,oBAAoB,CAAC;YAC1B,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,MAAM,EAAE,SAAS;YACjB,YAAY;YACZ,WAAW;SACZ,CAAC;KACH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;IAC9B,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,OAAO,KAAK,OAAO,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QAC9C,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC1B,CAAC;IAED,MAAM,MAAM,GAAG,mBAAmB,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1D,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,MAAM,GAAG,MAAiC,CAAC;IACjD,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7E,IAAI,MAAM,KAAK,OAAO,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACjE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC1B,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,MAAM,CAAC,KAAK,KAAK,SAAS;QAC7C,CAAC,CAAC,MAAM,CAAC,KAAK;QACd,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC;IAC1F,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC1B,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,UAAU,CAAC;IACjG,MAAM,QAAQ,GAAG,qBAAqB,CAAC,WAAW,CAAC,CAAC;IACpD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,KAAK,EAAE,IAAI;QACX,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAc;IAClD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtC,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,MAAM,GAAG,IAA+B,CAAC;QAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACzB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;QAC/B,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,WAAW,CAAC,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAClG,OAAO,IAAI,CAAC;QACd,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,QAAyB;IAC5D,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACzF,OAAO,yBAAyB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,CAAC;QACD,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YACxC,OAAO,kCAAkC,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAMpC;IACC,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,OAAO,EAAE,4BAA4B,CAAC,MAAM,CAAC;QAC7C,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK;QACrC,iBAAiB,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO;QACzC,gBAAgB,EAAE,MAAM,CAAC,MAAM;QAC/B,qBAAqB,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI;QAC1C,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,eAAe,EAAE,MAAM,CAAC,KAAK;KAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,MAM5C;IACC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACrE,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7D,OAAO,WAAW,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,IAAI,KAAK,IAAI,MAAM,CAAC,YAAY,OAAO,MAAM,CAAC,WAAW,UAAU,WAAW,EAAE,CAAC;AACpK,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,OAAiC;IAC/D,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,IAAI,IAAI,CAAC;IACvB,CAAC;IAED,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;AAC7B,CAAC"}
package/dist/index.d.ts CHANGED
@@ -5,6 +5,6 @@
5
5
  * with LLM-powered task execution.
6
6
  */
7
7
  export { createDeepClause } from './sdk.js';
8
- export type { CreateOptions, DeepClauseSDK, RunOptions, CompileOptions, CompileResult, CompileTool, DMLEvent, TraceEntry, ToolDefinition, ToolPolicy } from './types.js';
8
+ export type { CompactionAction, CompactionOptions, CompactionScope, CompactionTrigger, CompactorBinding, CompactorDefinition, CompactorSourceType, CreateOptions, DeepClauseSDK, RunOptions, CompileOptions, CompileResult, CompileTool, DMLEvent, TraceEntry, ToolDefinition, ToolPolicy } from './types.js';
9
9
  export { compileToDML, extractParameters, extractToolDependencies, extractDescription, validateWithProlog, analyzeDML, } from './compiler.js';
10
10
  //# sourceMappingURL=index.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAC5C,YAAY,EACV,aAAa,EACb,aAAa,EACb,UAAU,EACV,cAAc,EACd,aAAa,EACb,WAAW,EACX,QAAQ,EACR,UAAU,EACV,cAAc,EACd,UAAU,EACX,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,uBAAuB,EACvB,kBAAkB,EAClB,kBAAkB,EAClB,UAAU,GACX,MAAM,eAAe,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAC5C,YAAY,EACV,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,EACb,aAAa,EACb,UAAU,EACV,cAAc,EACd,aAAa,EACb,WAAW,EACX,QAAQ,EACR,UAAU,EACV,cAAc,EACd,UAAU,EACX,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,uBAAuB,EACvB,kBAAkB,EAClB,kBAAkB,EAClB,UAAU,GACX,MAAM,eAAe,CAAC"}
package/dist/index.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAc5C,gFAAgF;AAChF,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,uBAAuB,EACvB,kBAAkB,EAClB,kBAAkB,EAClB,UAAU,GACX,MAAM,eAAe,CAAC"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAqB5C,gFAAgF;AAChF,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,uBAAuB,EACvB,kBAAkB,EAClB,kBAAkB,EAClB,UAAU,GACX,MAAM,eAAe,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"loader.d.ts","sourceRoot":"","sources":["../../src/prolog/loader.ts"],"names":[],"mappings":"AAAA;;GAEG;AAOH,UAAU,KAAK;IACb,IAAI,IAAI,OAAO,CAAC;IAChB,IAAI,IAAI,OAAO,CAAC;CACjB;AAGD,UAAU,MAAM;IACd,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC;IACzE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,KAAK,CAAC;IAC5D,OAAO,CACL,IAAI,EAAE,MAAM,EACZ,KAAK,CAAC,EAAE,OAAO,EACf,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,KAAK,IAAI,GACnD,OAAO,CAAC,OAAO,CAAC,CAAC;CACrB;AAGD,UAAU,aAAa;IACrB,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC;CAChB;AAGD,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,OAAO,EAAE,GAAG;QAAE,WAAW,EAAE,aAAa,CAAA;KAAE,CAAC;CAChD;AAkBD;;GAEG;AACH,wBAAsB,UAAU,IAAI,OAAO,CAAC,WAAW,CAAC,CAevD;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,GAAG,IAAI,CAuC9E;AAED;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,MAAM,GAAG,IAAI,CAEhD"}
1
+ {"version":3,"file":"loader.d.ts","sourceRoot":"","sources":["../../src/prolog/loader.ts"],"names":[],"mappings":"AAAA;;GAEG;AAOH,UAAU,KAAK;IACb,IAAI,IAAI,OAAO,CAAC;IAChB,IAAI,IAAI,OAAO,CAAC;CACjB;AAGD,UAAU,MAAM;IACd,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC;IACzE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,KAAK,CAAC;IAC5D,OAAO,CACL,IAAI,EAAE,MAAM,EACZ,KAAK,CAAC,EAAE,OAAO,EACf,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,KAAK,IAAI,GACnD,OAAO,CAAC,OAAO,CAAC,CAAC;CACrB;AAGD,UAAU,aAAa;IACrB,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC;CAChB;AAGD,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,OAAO,EAAE,GAAG;QAAE,WAAW,EAAE,aAAa,CAAA;KAAE,CAAC;CAChD;AAuBD;;GAEG;AACH,wBAAsB,UAAU,IAAI,OAAO,CAAC,WAAW,CAAC,CAevD;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,GAAG,IAAI,CAuC9E;AAED;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,MAAM,GAAG,IAAI,CAEhD"}
@@ -2,7 +2,7 @@
2
2
  * SWI-Prolog WASM Loader
3
3
  */
4
4
  import { readFileSync, existsSync, mkdirSync } from 'fs';
5
- import { fileURLToPath } from 'url';
5
+ import { fileURLToPath, pathToFileURL } from 'url';
6
6
  import { dirname, join, resolve } from 'path';
7
7
  let swiplInstance = null;
8
8
  let initPromise = null;
@@ -20,6 +20,10 @@ const PROLOG_SRC_DIR = (() => {
20
20
  return sibling;
21
21
  return join(__dirname, '..', 'prolog-src');
22
22
  })();
23
+ const SWIPL_WASM_ENTRY_URL = (() => {
24
+ const entryPath = join(__dirname, '..', '..', 'vendor', 'swipl-wasm', 'dist', 'index.js');
25
+ return pathToFileURL(entryPath).href;
26
+ })();
23
27
  /**
24
28
  * Load and initialize SWI-Prolog WASM
25
29
  */
@@ -90,8 +94,9 @@ export function getWorkspacePath() {
90
94
  * Initialize SWI-Prolog WASM
91
95
  */
92
96
  async function initializeProlog() {
93
- // Dynamic import of swipl-wasm (CommonJS module)
94
- const SWIPL = await import('swipl-wasm');
97
+ // Load the vendored CommonJS entry directly so published installs do not depend
98
+ // on npm resolving a local file: dependency at consumer install time.
99
+ const SWIPL = await import(SWIPL_WASM_ENTRY_URL);
95
100
  const initSWIPL = SWIPL.default || SWIPL;
96
101
  // Create WASM instance
97
102
  const swipl = await initSWIPL({
@@ -1 +1 @@
1
- {"version":3,"file":"loader.js","sourceRoot":"","sources":["../../src/prolog/loader.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,IAAI,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AA+B9C,IAAI,aAAa,GAAuB,IAAI,CAAC;AAC7C,IAAI,WAAW,GAAgC,IAAI,CAAC;AACpD,IAAI,oBAAoB,GAAkB,IAAI,CAAC;AAE/C,qEAAqE;AACrE,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAClD,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;AACtC,6FAA6F;AAC7F,gFAAgF;AAChF,MAAM,cAAc,GAAG,CAAC,GAAG,EAAE;IAC3B,IAAI,OAAO,CAAC,GAAG,CAAC,cAAc,IAAI,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;QAAE,OAAO,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;IAC5G,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IAC9C,IAAI,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IACxC,OAAO,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;AAC7C,CAAC,CAAC,EAAE,CAAC;AAEL;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU;IAC9B,wCAAwC;IACxC,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,gDAAgD;IAChD,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,uBAAuB;IACvB,WAAW,GAAG,gBAAgB,EAAE,CAAC;IACjC,aAAa,GAAG,MAAM,WAAW,CAAC;IAClC,OAAO,aAAa,CAAC;AACvB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,KAAkB,EAAE,aAAqB;IACtE,MAAM,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAE5C,mCAAmC;IACnC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,SAAS,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/C,CAAC;IAED,6CAA6C;IAC7C,IAAI,oBAAoB,KAAK,YAAY,EAAE,CAAC;QAC1C,OAAO;IACT,CAAC;IAED,oCAAoC;IACpC,IAAI,oBAAoB,KAAK,IAAI,EAAE,CAAC;QAClC,IAAI,CAAC;YACH,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACjC,CAAC;QAAC,MAAM,CAAC;YACP,wBAAwB;QAC1B,CAAC;IACH,CAAC;IAED,uCAAuC;IACvC,IAAI,CAAC;QACH,8DAA8D;QAC9D,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,WAAW,CAAC,MAAa,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,YAAY,CAAC,CAAC;QACzF,oBAAoB,GAAG,YAAY,CAAC;IACtC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,yDAAyD;QACzD,IAAI,CAAC;YACH,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;YAC/B,8DAA8D;YAC9D,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,WAAW,CAAC,MAAa,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,YAAY,CAAC,CAAC;YACzF,oBAAoB,GAAG,YAAY,CAAC;QACtC,CAAC;QAAC,MAAM,CAAC;YACP,2DAA2D;YAC3D,MAAM,IAAI,KAAK,CAAC,8BAA8B,KAAK,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB;IAC9B,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,gBAAgB;IAC7B,iDAAiD;IACjD,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,YAAY,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC;IAEzC,uBAAuB;IACvB,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC;QAC5B,wBAAwB;QACxB,SAAS,EAAE;YACT,IAAI,EAAE,MAAM;YACZ,aAAa;SACd;KACF,CAAgB,CAAC;IAElB,8BAA8B;IAC9B,IAAI,CAAC;QACH,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;IAAC,MAAM,CAAC;QACP,8BAA8B;IAChC,CAAC;IAED,IAAI,CAAC;QACH,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,8BAA8B;IAChC,CAAC;IAED,qCAAqC;IACrC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAEzB,qFAAqF;IACrF,qGAAqG;IACrG,IAAI,CAAC;QACH,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IACvD,CAAC;IAAC,MAAM,CAAC;QACP,6EAA6E;IAC/E,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,KAAkB;IAC3C,kEAAkE;IAClE,gFAAgF;IAChF,MAAM,WAAW,GAAG;QAClB,uBAAuB;QACvB,kBAAkB;QAClB,wBAAwB;KACzB,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,iCAAiC;QACjC,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAElD,mCAAmC;QACnC,MAAM,QAAQ,GAAG,QAAQ,IAAI,EAAE,CAAC;QAChC,KAAK,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAEtC,mBAAmB;QACnB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,QAAQ,IAAI,CAAC,CAAC;IAC9C,CAAC;AACH,CAAC"}
1
+ {"version":3,"file":"loader.js","sourceRoot":"","sources":["../../src/prolog/loader.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,IAAI,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AA+B9C,IAAI,aAAa,GAAuB,IAAI,CAAC;AAC7C,IAAI,WAAW,GAAgC,IAAI,CAAC;AACpD,IAAI,oBAAoB,GAAkB,IAAI,CAAC;AAE/C,qEAAqE;AACrE,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAClD,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;AACtC,6FAA6F;AAC7F,gFAAgF;AAChF,MAAM,cAAc,GAAG,CAAC,GAAG,EAAE;IAC3B,IAAI,OAAO,CAAC,GAAG,CAAC,cAAc,IAAI,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;QAAE,OAAO,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;IAC5G,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IAC9C,IAAI,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IACxC,OAAO,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;AAC7C,CAAC,CAAC,EAAE,CAAC;AAEL,MAAM,oBAAoB,GAAG,CAAC,GAAG,EAAE;IACjC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IAC1F,OAAO,aAAa,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC,CAAC,EAAE,CAAC;AAEL;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU;IAC9B,wCAAwC;IACxC,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,gDAAgD;IAChD,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,uBAAuB;IACvB,WAAW,GAAG,gBAAgB,EAAE,CAAC;IACjC,aAAa,GAAG,MAAM,WAAW,CAAC;IAClC,OAAO,aAAa,CAAC;AACvB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,KAAkB,EAAE,aAAqB;IACtE,MAAM,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAE5C,mCAAmC;IACnC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,SAAS,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/C,CAAC;IAED,6CAA6C;IAC7C,IAAI,oBAAoB,KAAK,YAAY,EAAE,CAAC;QAC1C,OAAO;IACT,CAAC;IAED,oCAAoC;IACpC,IAAI,oBAAoB,KAAK,IAAI,EAAE,CAAC;QAClC,IAAI,CAAC;YACH,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACjC,CAAC;QAAC,MAAM,CAAC;YACP,wBAAwB;QAC1B,CAAC;IACH,CAAC;IAED,uCAAuC;IACvC,IAAI,CAAC;QACH,8DAA8D;QAC9D,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,WAAW,CAAC,MAAa,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,YAAY,CAAC,CAAC;QACzF,oBAAoB,GAAG,YAAY,CAAC;IACtC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,yDAAyD;QACzD,IAAI,CAAC;YACH,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;YAC/B,8DAA8D;YAC9D,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,WAAW,CAAC,MAAa,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,YAAY,CAAC,CAAC;YACzF,oBAAoB,GAAG,YAAY,CAAC;QACtC,CAAC;QAAC,MAAM,CAAC;YACP,2DAA2D;YAC3D,MAAM,IAAI,KAAK,CAAC,8BAA8B,KAAK,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB;IAC9B,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,gBAAgB;IAC7B,gFAAgF;IAChF,sEAAsE;IACtE,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,oBAAoB,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC;IAEzC,uBAAuB;IACvB,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC;QAC5B,wBAAwB;QACxB,SAAS,EAAE;YACT,IAAI,EAAE,MAAM;YACZ,aAAa;SACd;KACF,CAAgB,CAAC;IAElB,8BAA8B;IAC9B,IAAI,CAAC;QACH,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;IAAC,MAAM,CAAC;QACP,8BAA8B;IAChC,CAAC;IAED,IAAI,CAAC;QACH,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,8BAA8B;IAChC,CAAC;IAED,qCAAqC;IACrC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAEzB,qFAAqF;IACrF,qGAAqG;IACrG,IAAI,CAAC;QACH,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IACvD,CAAC;IAAC,MAAM,CAAC;QACP,6EAA6E;IAC/E,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,KAAkB;IAC3C,kEAAkE;IAClE,gFAAgF;IAChF,MAAM,WAAW,GAAG;QAClB,uBAAuB;QACvB,kBAAkB;QAClB,wBAAwB;KACzB,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,iCAAiC;QACjC,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAElD,mCAAmC;QACnC,MAAM,QAAQ,GAAG,QAAQ,IAAI,EAAE,CAAC;QAChC,KAAK,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAEtC,mBAAmB;QACnB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,QAAQ,IAAI,CAAC,CAAC;IAC9C,CAAC;AACH,CAAC"}
@@ -578,9 +578,16 @@ destroy_engine(SessionId) :-
578
578
  %% ============================================================
579
579
 
580
580
  %% post_agent_result(+SessionId, +Success, +Variables, +Messages)
581
- %% Messages is a list of message{role: Role, content: Content} dicts
581
+ %% Legacy form without a full memory replacement snapshot.
582
582
  post_agent_result(SessionId, Success, Variables, Messages) :-
583
- assertz(session_agent_result(SessionId, result{success: Success, variables: Variables, messages: Messages})),
583
+ post_agent_result(SessionId, Success, Variables, Messages, none).
584
+
585
+ %% post_agent_result(+SessionId, +Success, +Variables, +Messages, +FullMemory)
586
+ %% Messages is a list of message{role: Role, content: Content} dicts.
587
+ %% FullMemory optionally replaces the entire state memory, including compacted system summaries.
588
+ post_agent_result(SessionId, Success, Variables, Messages, FullMemory) :-
589
+ retractall(session_agent_result(SessionId, _)),
590
+ assertz(session_agent_result(SessionId, result{success: Success, variables: Variables, messages: Messages, full_memory: FullMemory})),
584
591
  post_signal_to_engine(SessionId, agent_done).
585
592
 
586
593
  %% post_exec_result(+SessionId, +Status, +Result)
@@ -936,12 +943,17 @@ destroy_tool_engine(ToolEngineId) :-
936
943
  retractall(tool_engine(ToolEngineId, _)).
937
944
 
938
945
  %% post_tool_agent_result(+SessionId, +ToolEngineId, +Success, +Variables, +Messages)
946
+ %% Legacy form without a full memory replacement snapshot.
947
+ post_tool_agent_result(SessionId, ToolEngineId, Success, Variables, Messages) :-
948
+ post_tool_agent_result(SessionId, ToolEngineId, Success, Variables, Messages, none).
949
+
950
+ %% post_tool_agent_result(+SessionId, +ToolEngineId, +Success, +Variables, +Messages, +FullMemory)
939
951
  %% Posts the result of a nested agent loop back to the tool engine.
940
952
  %% Also stores in session_agent_result so the meta-interpreter can retrieve it.
941
953
  :- dynamic tool_engine_agent_result/2. % tool_engine_agent_result(ToolEngineId, Result)
942
954
 
943
- post_tool_agent_result(SessionId, ToolEngineId, Success, Variables, Messages) :-
944
- Result = result{success: Success, variables: Variables, messages: Messages},
955
+ post_tool_agent_result(SessionId, ToolEngineId, Success, Variables, Messages, FullMemory) :-
956
+ Result = result{success: Success, variables: Variables, messages: Messages, full_memory: FullMemory},
945
957
  % Store in tool_engine_agent_result (for future use)
946
958
  retractall(tool_engine_agent_result(ToolEngineId, _)),
947
959
  assertz(tool_engine_agent_result(ToolEngineId, Result)),
@@ -1031,8 +1043,11 @@ mi_call(task(Desc), StateIn, StateOut) :-
1031
1043
  engine_yield(output(WarnMsg)),
1032
1044
  fail
1033
1045
  ),
1034
- % Use full messages from agent loop result
1035
- ( get_dict(messages, Result, Messages), Messages \= []
1046
+ % Use full memory from agent loop result when available
1047
+ ( get_dict(full_memory, Result, FullMemory), is_list(FullMemory)
1048
+ -> set_memory(StateAfterAgent, FullMemory, StateOut),
1049
+ add_trace_entry(SessionId, exit, task, [InterpDesc], Depth)
1050
+ ; get_dict(messages, Result, Messages), Messages \= []
1036
1051
  -> % Preserve system messages from current memory (agent only returns user/assistant)
1037
1052
  get_memory(StateAfterAgent, OldMemory),
1038
1053
  include(is_system_memory_message, OldMemory, SystemMessages),
@@ -1156,8 +1171,12 @@ mi_call_task_n(Desc, Vars, VarNames, StateIn, StateOut) :-
1156
1171
  fail
1157
1172
  ),
1158
1173
  bind_task_variables(Result.variables, VarNames, Vars),
1159
- % Use full messages from agent loop result
1160
- ( get_dict(messages, Result, Messages), Messages \= []
1174
+ % Use full memory from agent loop result when available
1175
+ ( get_dict(full_memory, Result, FullMemory), is_list(FullMemory)
1176
+ -> set_memory(StateAfterAgent, FullMemory, StateOut),
1177
+ % Add exit trace for task_n
1178
+ add_trace_entry(SessionId, exit, task, [InterpDesc], Depth)
1179
+ ; get_dict(messages, Result, Messages), Messages \= []
1161
1180
  -> % Preserve system messages from current memory (agent only returns user/assistant)
1162
1181
  get_memory(StateAfterAgent, OldMemory),
1163
1182
  include(is_system_memory_message, OldMemory, SystemMessages),
package/dist/runner.d.ts CHANGED
@@ -2,7 +2,7 @@
2
2
  * DML Runner - Executes DML code using SWI-Prolog WASM
3
3
  */
4
4
  import type { SWIPLModule } from './prolog/loader.js';
5
- import type { DMLEvent, ToolDefinition, ToolPolicy, MemoryMessage, TypedVar } from './types.js';
5
+ import type { CompactionOptions, DMLEvent, MemoryMessage, ToolDefinition, ToolPolicy, TypedVar } from './types.js';
6
6
  export declare function decodeAgentOutputVars(rawOutputVars: unknown): (string | TypedVar)[];
7
7
  export interface RunnerOptions {
8
8
  model: string;
@@ -14,6 +14,7 @@ export interface RunnerOptions {
14
14
  streaming?: boolean;
15
15
  debug?: boolean;
16
16
  providerOptions?: Record<string, Record<string, any>>;
17
+ compaction?: CompactionOptions;
17
18
  }
18
19
  export interface InternalRunOptions {
19
20
  args?: unknown[];
@@ -28,6 +29,7 @@ export interface InternalRunOptions {
28
29
  role: 'user' | 'assistant';
29
30
  content: string;
30
31
  }>;
32
+ compaction?: CompactionOptions;
31
33
  }
32
34
  /**
33
35
  * DML execution engine
@@ -120,10 +122,14 @@ export declare class DMLRunner {
120
122
  * @param onToolCall - Callback to emit tool call events from nested tasks
121
123
  */
122
124
  private executeToolIsolated;
125
+ private applyCompactionBindings;
126
+ private runBoundCompactor;
127
+ private resolveCompactorSource;
123
128
  /**
124
129
  * Extract memory from payload (now passed via state threading)
125
130
  */
126
131
  private extractMemoryFromPayload;
132
+ private serializeMemoryMessages;
127
133
  /**
128
134
  * Post agent loop result back to Prolog
129
135
  */
@@ -1 +1 @@
1
- {"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../src/runner.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAgEhG,wBAAgB,qBAAqB,CAAC,aAAa,EAAE,OAAO,GAAG,CAAC,MAAM,GAAG,QAAQ,CAAC,EAAE,CAmBnF;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,KAAK,CAAC,EAAE,OAAO,CAAC;IAEhB,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;CACvD;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACnC,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IAC9B,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IACrD,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,eAAe,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC1E;AAoCD;;;;;;;GAOG;AACH,qBAAa,SAAS;IACpB,OAAO,CAAC,KAAK,CAAc;IAC3B,OAAO,CAAC,OAAO,CAAgB;IAC/B,OAAO,CAAC,MAAM,CAAiB;IAC/B,OAAO,CAAC,SAAS,CAAc;IAC/B,OAAO,CAAC,aAAa,CAAuB;IAC5C,OAAO,CAAC,sBAAsB,CAAS;gBAE3B,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa;IAKtD;;OAEG;IACH,SAAS,IAAI,aAAa,EAAE;IAI5B;;OAEG;IACI,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,kBAAkB,GAAG,cAAc,CAAC,QAAQ,CAAC;IAkI/E;;OAEG;IACH,OAAO,CAAC,SAAS;IAsBjB;;OAEG;IACH,OAAO,CAAC,SAAS;IAMjB;;OAEG;IACH,OAAO,CAAC,WAAW;IAmBnB;;;OAGG;IACH,OAAO,CAAC,SAAS;IAQjB;;OAEG;IACH,OAAO,CAAC,YAAY;IA2BpB;;OAEG;IACH,OAAO,CAAC,YAAY;IAkBpB;;OAEG;IACH,OAAO,CAAC,UAAU;IA4BlB;;OAEG;YACY,eAAe;IAqN9B;;OAEG;YACY,UAAU;IAkDzB;;OAEG;IACH,OAAO,CAAC,YAAY;IA6HpB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAwCzB;;;;OAIG;IACH,OAAO,CAAC,eAAe;IAwDvB;;;;;;;;;;;;;;OAcG;YACW,mBAAmB;IAiTjC;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAoBhC;;OAEG;IACH,OAAO,CAAC,eAAe;IAqBvB;;OAEG;IACH,OAAO,CAAC,cAAc;IAkBtB;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAwB3B;;OAEG;IACH,OAAO,CAAC,YAAY;IAOpB;;OAEG;IACH,OAAO,CAAC,KAAK;IAWb;;OAEG;IACH,OAAO,CAAC,OAAO;IAWf;;OAEG;IACG,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CAG/B"}
1
+ {"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../src/runner.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EACV,iBAAiB,EACjB,QAAQ,EACR,aAAa,EACb,cAAc,EACd,UAAU,EACV,QAAQ,EACT,MAAM,YAAY,CAAC;AAsHpB,wBAAgB,qBAAqB,CAAC,aAAa,EAAE,OAAO,GAAG,CAAC,MAAM,GAAG,QAAQ,CAAC,EAAE,CAmBnF;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,KAAK,CAAC,EAAE,OAAO,CAAC;IAEhB,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;IACtD,UAAU,CAAC,EAAE,iBAAiB,CAAC;CAChC;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACnC,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IAC9B,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IACrD,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,eAAe,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzE,UAAU,CAAC,EAAE,iBAAiB,CAAC;CAChC;AA2CD;;;;;;;GAOG;AACH,qBAAa,SAAS;IACpB,OAAO,CAAC,KAAK,CAAc;IAC3B,OAAO,CAAC,OAAO,CAAgB;IAC/B,OAAO,CAAC,MAAM,CAAiB;IAC/B,OAAO,CAAC,SAAS,CAAc;IAC/B,OAAO,CAAC,aAAa,CAAuB;IAC5C,OAAO,CAAC,sBAAsB,CAAS;gBAE3B,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa;IAKtD;;OAEG;IACH,SAAS,IAAI,aAAa,EAAE;IAI5B;;OAEG;IACI,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,kBAAkB,GAAG,cAAc,CAAC,QAAQ,CAAC;IAwI/E;;OAEG;IACH,OAAO,CAAC,SAAS;IAsBjB;;OAEG;IACH,OAAO,CAAC,SAAS;IAMjB;;OAEG;IACH,OAAO,CAAC,WAAW;IAmBnB;;;OAGG;IACH,OAAO,CAAC,SAAS;IAQjB;;OAEG;IACH,OAAO,CAAC,YAAY;IA2BpB;;OAEG;IACH,OAAO,CAAC,YAAY;IAkBpB;;OAEG;IACH,OAAO,CAAC,UAAU;IA4BlB;;OAEG;YACY,eAAe;IAyQ9B;;OAEG;YACY,UAAU;IAkDzB;;OAEG;IACH,OAAO,CAAC,YAAY;IA6HpB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAwCzB;;;;OAIG;IACH,OAAO,CAAC,eAAe;IAwDvB;;;;;;;;;;;;;;OAcG;YACW,mBAAmB;YAoUnB,uBAAuB;YAmCvB,iBAAiB;YA0DjB,sBAAsB;IAqBpC;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAoBhC,OAAO,CAAC,uBAAuB;IAM/B;;OAEG;IACH,OAAO,CAAC,eAAe;IAoBvB;;OAEG;IACH,OAAO,CAAC,cAAc;IAkBtB;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAwB3B;;OAEG;IACH,OAAO,CAAC,YAAY;IAOpB;;OAEG;IACH,OAAO,CAAC,KAAK;IAWb;;OAEG;IACH,OAAO,CAAC,OAAO;IAWf;;OAEG;IACG,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CAG/B"}