deepclause-sdk 0.0.73 → 0.0.74
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/dist/cli/tui.d.ts.map +1 -1
- package/dist/cli/tui.js +45 -7
- package/dist/cli/tui.js.map +1 -1
- package/dist/compaction.d.ts +25 -2
- package/dist/compaction.d.ts.map +1 -1
- package/dist/compaction.js +167 -8
- package/dist/compaction.js.map +1 -1
- package/dist/prolog/bridge.d.ts +16 -0
- package/dist/prolog/bridge.d.ts.map +1 -1
- package/dist/prolog/bridge.js +12 -0
- package/dist/prolog/bridge.js.map +1 -1
- package/dist/prolog-src/deepclause_mi.pl +69 -5
- package/dist/runner.d.ts +10 -5
- package/dist/runner.d.ts.map +1 -1
- package/dist/runner.js +89 -23
- package/dist/runner.js.map +1 -1
- package/dist/system/assets/compactors/default-loop-compactor.dml +15 -5
- package/dist/system/assets/compactors/default-session-compactor.dml +15 -5
- package/dist/system/runtime/conductor.d.ts.map +1 -1
- package/dist/system/runtime/conductor.js +13 -28
- package/dist/system/runtime/conductor.js.map +1 -1
- package/dist/system/runtime/dml-executor.d.ts +2 -5
- package/dist/system/runtime/dml-executor.d.ts.map +1 -1
- package/dist/types.d.ts +3 -6
- package/dist/types.d.ts.map +1 -1
- package/package.json +2 -1
- package/src/prolog-src/deepclause_mi.pl +69 -5
package/dist/cli/tui.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"tui.d.ts","sourceRoot":"","sources":["../../src/cli/tui.ts"],"names":[],"mappings":"AAOA,OAAO,EAAyD,KAAK,SAAS,EAAE,MAAM,aAAa,CAAC;AACpG,OAAO,EAAO,KAAK,SAAS,IAAI,YAAY,EAAE,MAAM,UAAU,CAAC;AAE/D,OAAO,EAQL,KAAK,iBAAiB,EAGvB,MAAM,gCAAgC,CAAC;AAiBxC,QAAA,MAAM,sBAAsB,gHAAiH,CAAC;AA0D9I,KAAK,mBAAmB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnE,KAAK,cAAc,GAAG;IACpB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,KAAK,IAAI,IAAI,CAAC;IACd,UAAU,CAAC,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,CAAC;CAClC,CAAC;
|
|
1
|
+
{"version":3,"file":"tui.d.ts","sourceRoot":"","sources":["../../src/cli/tui.ts"],"names":[],"mappings":"AAOA,OAAO,EAAyD,KAAK,SAAS,EAAE,MAAM,aAAa,CAAC;AACpG,OAAO,EAAO,KAAK,SAAS,IAAI,YAAY,EAAE,MAAM,UAAU,CAAC;AAE/D,OAAO,EAQL,KAAK,iBAAiB,EAGvB,MAAM,gCAAgC,CAAC;AAiBxC,QAAA,MAAM,sBAAsB,gHAAiH,CAAC;AA0D9I,KAAK,mBAAmB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnE,KAAK,cAAc,GAAG;IACpB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,KAAK,IAAI,IAAI,CAAC;IACd,UAAU,CAAC,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,CAAC;CAClC,CAAC;AA2IF,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,QAAQ,CAAC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,QAAQ,GAAG,UAAU,CAAC;CAC9B;AAmBD,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,mBAAmB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAA;CAAE,GAC/E;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAA;CAAE,GAChE;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,OAAO,CAAA;CAAE,CAAC;AAE/D,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,qBAAa,oBAAoB;IAK7B,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAL5B,OAAO,CAAC,eAAe,CAAuB;IAC9C,OAAO,CAAC,UAAU,CAAS;gBAGR,KAAK,GAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAA2C,EACpE,SAAS,GAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAkC;IAGlF,MAAM,CAAC,QAAQ,EAAE,iBAAiB,GAAG,IAAI;IAuDzC,MAAM,IAAI,IAAI;IAId,OAAO,CAAC,YAAY;IAmBpB,OAAO,CAAC,WAAW;IAWnB,OAAO,CAAC,cAAc;CAOvB;AAED,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAgB;IACtC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAuC;IACnE,OAAO,CAAC,eAAe,CAAuB;IAC9C,OAAO,CAAC,gBAAgB,CAAM;IAE9B,MAAM,CAAC,QAAQ,EAAE,iBAAiB,GAAG,IAAI;IAuDzC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAS5B,MAAM,IAAI,IAAI;IAKd,KAAK,IAAI,IAAI;IAOb,QAAQ,IAAI,MAAM,EAAE;IAapB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE;IAcrC,OAAO,CAAC,YAAY;IAkBpB,OAAO,CAAC,WAAW;IAYnB,OAAO,CAAC,IAAI;IAMZ,OAAO,CAAC,cAAc;IA4BtB,OAAO,CAAC,oBAAoB;CAY7B;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,cAAc,GAAG,IAAI,CAKlE;AAsiGD,wBAAsB,QAAQ,CAC5B,aAAa,SAAgB,EAC7B,OAAO,GAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAA;CAAO,GAClC,OAAO,CAAC,IAAI,CAAC,CAQf;AAmOD,wBAAsB,iBAAiB,CACrC,MAAM,EAAE,MAAM,EACd,aAAa,SAAgB,EAC7B,OAAO,GAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAA;CAAO,GAClC,OAAO,CAAC,IAAI,CAAC,CA8Bf;AAED,wBAAsB,eAAe,CACnC,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,MAAM,EAAE,EACd,OAAO,GAAE;IACP,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAClD,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK,IAAI,CAAC;CACzC,GACL,OAAO,CAAC,YAAY,CAAC,CAkBvB;AAED,wBAAsB,eAAe,CACnC,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EAAE,EACd,OAAO,GAAE;IACP,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAClD,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK,IAAI,CAAC;CACzC,GACL,OAAO,CAAC,YAAY,CAAC,CA4BvB;AAED,wBAAsB,cAAc,CAClC,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,EAAE,EACd,OAAO,GAAE;IACP,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAClD,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK,IAAI,CAAC;CACzC,GACL,OAAO,CAAC,YAAY,CAAC,CAavB;AAyVD,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,cAAc,GAAG,IAAI,CAgC1F;AAED,wBAAgB,gCAAgC,CAAC,SAAS,EAAE,MAAM,GAAG,cAAc,CAOlF;AAED,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,cAAc,CAQ/F;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAmD1D;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,CA6CjE;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,CAE5D;AAED,wBAAgB,6BAA6B,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAE7E;AAED,wBAAgB,0BAA0B,CACxC,iBAAiB,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,EACzE,iBAAiB,EAAE,cAAc,EAAE,GAClC,cAAc,EAAE,CA6BlB;AAED,wBAAgB,0CAA0C,CACxD,iBAAiB,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,EACzE,cAAc,EAAE,cAAc,EAAE,GAC/B,OAAO,CAsBT;AAED,wBAAgB,iBAAiB,CAC/B,aAAa,EAAE,MAAM,EAAE,GAAG,IAAI,EAC9B,SAAS,EAAE,MAAM,EAAE,EACnB,YAAY,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,EACtD,QAAQ,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC1C;IAAE,UAAU,EAAE,OAAO,CAAC;IAAC,WAAW,EAAE,KAAK,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAAE,CAmB5E;AAED,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,qBAAqB,CAoCpG;AA6CD,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,MAAM,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,SAAS,CAAA;CAAE,CAkD7F;AA0DD,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,SAAK,GAAG,MAAM,CAmBtF;AAED,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,EAAE,CAc7E;AA2MD,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CA8BnE;AAUD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAExD;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAG5D;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAQ7D;AA2WD,wBAAgB,gBAAgB,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAM5F;AAED,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,aAAa,CAAC;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,EACvC,KAAK,EAAE,MAAM,EACb,YAAY,SAAK,GAChB,MAAM,CAiBR;AASD,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,MAAM,EAAE,EACd,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,GACZ;IAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CA4BzC;AAwDD,wBAAgB,iBAAiB,CAAC,CAAC,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,EACjG,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,EACvB,KAAK,EAAE,MAAM,GACZ,CAAC,EAAE,CAWL"}
|
package/dist/cli/tui.js
CHANGED
|
@@ -329,6 +329,12 @@ class FullscreenTui {
|
|
|
329
329
|
process: 0,
|
|
330
330
|
context: 0,
|
|
331
331
|
};
|
|
332
|
+
lastPaneMetrics = {
|
|
333
|
+
sessions: { maxStart: 0, viewportLines: 0, maxStartIsExact: true },
|
|
334
|
+
messages: { maxStart: 0, viewportLines: 0, maxStartIsExact: true },
|
|
335
|
+
process: { maxStart: 0, viewportLines: 0, maxStartIsExact: true },
|
|
336
|
+
context: { maxStart: 0, viewportLines: 0, maxStartIsExact: true },
|
|
337
|
+
};
|
|
332
338
|
currentPreview = null;
|
|
333
339
|
currentAbortController = null;
|
|
334
340
|
inputValue = '';
|
|
@@ -2278,13 +2284,13 @@ class FullscreenTui {
|
|
|
2278
2284
|
this.animationTimer = null;
|
|
2279
2285
|
}
|
|
2280
2286
|
scrollFocusedPane(direction, amount) {
|
|
2281
|
-
const metrics = this.getPaneMetrics(this.focusedPane);
|
|
2282
|
-
if (metrics.maxStart === 0) {
|
|
2283
|
-
this.statusLine = `${paneDisplayName(this.focusedPane)} fits on screen.`;
|
|
2284
|
-
this.requestRender();
|
|
2285
|
-
return;
|
|
2286
|
-
}
|
|
2287
2287
|
if (this.focusedPane === 'sessions') {
|
|
2288
|
+
const metrics = this.getLastPaneMetrics(this.focusedPane) ?? this.getPaneMetrics(this.focusedPane);
|
|
2289
|
+
if (metrics.maxStart === 0) {
|
|
2290
|
+
this.statusLine = `${paneDisplayName(this.focusedPane)} fits on screen.`;
|
|
2291
|
+
this.requestRender();
|
|
2292
|
+
return;
|
|
2293
|
+
}
|
|
2288
2294
|
const delta = direction === 'down' ? amount : -amount;
|
|
2289
2295
|
this.paneScroll.sessions = clamp(this.paneScroll.sessions + delta, 0, metrics.maxStart);
|
|
2290
2296
|
this.statusLine = `Sessions scroll ${this.paneScroll.sessions + 1}/${metrics.maxStart + 1}.`;
|
|
@@ -2292,8 +2298,19 @@ class FullscreenTui {
|
|
|
2292
2298
|
return;
|
|
2293
2299
|
}
|
|
2294
2300
|
const pane = this.focusedPane;
|
|
2301
|
+
const metrics = this.getLastPaneMetrics(pane)
|
|
2302
|
+
?? (this.paneScroll[pane] === 0 ? this.getRenderPaneMetrics(pane) : this.getPaneMetrics(pane));
|
|
2303
|
+
if (metrics.maxStart === 0) {
|
|
2304
|
+
this.paneScroll[pane] = 0;
|
|
2305
|
+
this.statusLine = `${paneDisplayName(pane)} fits on screen.`;
|
|
2306
|
+
this.requestRender();
|
|
2307
|
+
return;
|
|
2308
|
+
}
|
|
2295
2309
|
const delta = direction === 'up' ? amount : -amount;
|
|
2296
|
-
|
|
2310
|
+
const nextScroll = this.paneScroll[pane] + delta;
|
|
2311
|
+
this.paneScroll[pane] = metrics.maxStartIsExact
|
|
2312
|
+
? clamp(nextScroll, 0, metrics.maxStart)
|
|
2313
|
+
: Math.max(0, nextScroll);
|
|
2297
2314
|
this.statusLine = this.paneScroll[pane] === 0
|
|
2298
2315
|
? `${paneDisplayName(pane)} following newest content.`
|
|
2299
2316
|
: `${paneDisplayName(pane)} scrolled ${this.paneScroll[pane]} line${this.paneScroll[pane] === 1 ? '' : 's'} above latest.`;
|
|
@@ -2708,6 +2725,11 @@ class FullscreenTui {
|
|
|
2708
2725
|
}
|
|
2709
2726
|
buildPaneView(kind, title, width, height) {
|
|
2710
2727
|
const metrics = this.getRenderPaneMetrics(kind, width, height);
|
|
2728
|
+
this.lastPaneMetrics[kind] = {
|
|
2729
|
+
maxStart: metrics.maxStart,
|
|
2730
|
+
viewportLines: metrics.viewportLines,
|
|
2731
|
+
maxStartIsExact: metrics.maxStartIsExact,
|
|
2732
|
+
};
|
|
2711
2733
|
const paneTitle = this.buildPaneTitle(title, kind, metrics);
|
|
2712
2734
|
return buildPane(paneTitle, metrics.lines.slice(metrics.start, metrics.start + metrics.viewportLines), width, height, kind, this.focusedPane === kind);
|
|
2713
2735
|
}
|
|
@@ -2870,10 +2892,15 @@ class FullscreenTui {
|
|
|
2870
2892
|
start: 0,
|
|
2871
2893
|
maxStart: tail.truncated ? 1 : 0,
|
|
2872
2894
|
viewportLines,
|
|
2895
|
+
maxStartIsExact: !tail.truncated,
|
|
2873
2896
|
};
|
|
2874
2897
|
}
|
|
2875
2898
|
return this.getPaneMetrics(kind, width, height);
|
|
2876
2899
|
}
|
|
2900
|
+
getLastPaneMetrics(kind) {
|
|
2901
|
+
const metrics = this.lastPaneMetrics[kind];
|
|
2902
|
+
return metrics.viewportLines > 0 ? metrics : null;
|
|
2903
|
+
}
|
|
2877
2904
|
getPaneMetrics(kind, width = paneDimensionsForKind(kind, output.columns ?? 120, output.rows ?? 40).width, height = paneDimensionsForKind(kind, output.columns ?? 120, output.rows ?? 40).height) {
|
|
2878
2905
|
const innerWidth = Math.max(1, width - 2);
|
|
2879
2906
|
const rawBody = this.getPaneBody(kind);
|
|
@@ -2887,6 +2914,7 @@ class FullscreenTui {
|
|
|
2887
2914
|
start: this.paneScroll.sessions,
|
|
2888
2915
|
maxStart,
|
|
2889
2916
|
viewportLines,
|
|
2917
|
+
maxStartIsExact: true,
|
|
2890
2918
|
};
|
|
2891
2919
|
}
|
|
2892
2920
|
this.paneScroll[kind] = clamp(this.paneScroll[kind], 0, maxStart);
|
|
@@ -2895,6 +2923,7 @@ class FullscreenTui {
|
|
|
2895
2923
|
start: Math.max(0, maxStart - this.paneScroll[kind]),
|
|
2896
2924
|
maxStart,
|
|
2897
2925
|
viewportLines,
|
|
2926
|
+
maxStartIsExact: true,
|
|
2898
2927
|
};
|
|
2899
2928
|
}
|
|
2900
2929
|
getPaneBody(kind) {
|
|
@@ -3494,6 +3523,15 @@ export function previewMessageFromEvent(logEvent) {
|
|
|
3494
3523
|
return null;
|
|
3495
3524
|
}
|
|
3496
3525
|
return previewQuestionMessage(logEvent.event.prompt, logEvent.scope === 'child' ? logEvent.childSlug : undefined);
|
|
3526
|
+
case 'memory_compaction':
|
|
3527
|
+
return {
|
|
3528
|
+
role: 'system',
|
|
3529
|
+
kind: 'output',
|
|
3530
|
+
tag: logEvent.scope === 'child' ? logEvent.childSlug : undefined,
|
|
3531
|
+
content: logEvent.event.content
|
|
3532
|
+
? `Memory compaction: ${logEvent.event.content}`
|
|
3533
|
+
: 'Memory compaction triggered.',
|
|
3534
|
+
};
|
|
3497
3535
|
default:
|
|
3498
3536
|
return null;
|
|
3499
3537
|
}
|