deepclause-sdk 0.1.0 → 0.1.2

package/dist/repl/session.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"session.d.ts","sourceRoot":"","sources":["../../src/repl/session.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AASH,OAAO,EAAwB,KAAK,KAAK,EAA2B,KAAK,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7G,OAAO,EAKL,KAAK,kBAAkB,EACxB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,KAAK,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAAA,OAAO,KAAK,EAC9F,QAAQ,EACR,SAAS,EAET,aAAa,EACb,cAAc,EACd,UAAU,EACX,MAAM,aAAa,CAAC;AAErB,OAAO,EAEL,KAAK,oBAAoB,EACzB,KAAK,mBAAmB,EACzB,MAAM,aAAa,CAAC;AACrB,OAAO,EAIL,KAAK,cAAc,EAGpB,MAAM,cAAc,CAAC;AAEtB,MAAM,WAAW,iBAAiB;IAChC,4DAA4D;IAC5D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,uEAAuE;IACvE,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,yEAAyE;IACzE,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,iEAAiE;IACjE,aAAa,EAAE,aAAa,CAAC;IAC7B,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACpC,UAAU,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAC/B,0DAA0D;IAC1D,eAAe,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,+EAA+E;IAC/E,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAC9E,oBAAoB,CAAC,EAAE,aAAa,EAAE,CAAC;IACvC,sEAAsE;IACtE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,uFAAuF;IACvF,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,iEAAiE;IACjE,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,2EAA2E;IAC3E,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG;QAAE,SAAS,EAAE,IAAI,CAAA;KAAE,CAAC,CAAC;IACpG;;;;;OAKG;IACH,OAAO,CAAC,EAAE,cAAc,CAAC;IACzB,uEAAuE;IACvE,UAAU,CAAC,EAAE;QAAE,QAAQ,EAAE,kBAAkB,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC;IAC7D,mEAAmE;IACnE,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB;;;;OAIG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,+EAA+E;IAC/E,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;OAGG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACpC,UAAU,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAC/B,eAAe,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,qDAAqD;IACrD,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAC9E,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,uDAAuD;IACvD,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB;AASD,qBAAa,UAAU;IACrB,OAAO,CAAC,KAAK,CAAc;IAC3B,OAAO,CAAC,MAAM,CAAY;IAC1B,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,aAAa,CAAC,CAAS;IAC/B,OAAO,CAAC,QAAQ,CAAC,CAAS;IAC1B,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,KAAK,CAA8B;IAC3C,OAAO,CAAC,UAAU,CAAoB;IACtC,OAAO,CAAC,YAAY,CAAC,CAAsE;IAC3F,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,aAAa,CAAS;IAC9B,OAAO,CAAC,gBAAgB,CAAC,CAAS;IAClC,8CAA8C;IAC9C,OAAO,CAAC,kBAAkB,CAAC,CAAqB;IAChD,OAAO,CAAC,cAAc,CAAS;IAC/B,OAAO,CAAC,aAAa,CAAC,CAAS;IAC/B,OAAO,CAAC,UAAU,CAAC,CAAa;IAChC,OAAO,CAAC,WAAW,CAAO;IAC1B,OAAO,CAAC,SAAS,CAAS;IAC1B,2DAA2D;IAC3D,OAAO,CAAC,aAAa,CAAuB;IAC5C,OAAO,CAAC,YAAY,CAAC,CAAe;IACpC,sEAAsE;IACtE,OAAO,CAAC,iBAAiB,CAAyB;IAClD,OAAO,CAAC,gBAAgB,CAAS;IACjC,8EAA8E;IAC9E,OAAO,CAAC,iBAAiB,CAAS;IAClC,oEAAoE;IACpE,OAAO,CAAC,iBAAiB,CAAC,CAAS;IAEnC,8DAA8D;IAC9D,OAAO,CAAC,UAAU,CAAK;IACvB,uEAAuE;IACvE,OAAO,CAAC,kBAAkB,CAAK;IAC/B,uEAAuE;IACvE,OAAO,CAAC,eAAe,CAAS;IAChC,OAAO,CAAC,YAAY,CAAC,CAAS;IAC9B,OAAO,CAAC,YAAY,CAAC,CAAS;IAC9B,OAAO,CAAC,eAAe,CAAC,CAAS;IACjC,OAAO,CAAC,eAAe,CAAC,CAAS;IACjC,OAAO,CAAC,cAAc,CAAC,CAAS;IAChC,OAAO,CAAC,QAAQ,CAAS;IACzB,iEAAiE;IACjE,OAAO,CAAC,OAAO,CAAC,CAAe;IAC/B,OAAO,CAAC,cAAc,CAAC,CAAiB;IACxC,OAAO,CAAC,MAAM,CAAU;IACxB,kCAAkC;IAClC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAS;IACrC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAU;IAC1C,kEAAkE;IAClE,OAAO,CAAC,WAAW,CAAK;IACxB,OAAO,CAAC,aAAa,CAAS;IAE9B,OAAO;WAoCM,IAAI,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC;IAqElE,YAAY,IAAI,MAAM;IAItB,wDAAwD;IAClD,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAczD;;;;;;OAMG;IACG,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IA0BrD;;;OAGG;IACG,uBAAuB,IAAI,OAAO,CAAC,IAAI,CAAC;IAK9C,gEAAgE;IAChE,OAAO,CAAC,WAAW;YAWL,WAAW;IAuBzB;;;;OAIG;YACW,yBAAyB;IAiBvC;;;;OAIG;YACW,qBAAqB;IA2BnC,uEAAuE;IACvE,OAAO,CAAC,cAAc;IAQtB,OAAO,CAAC,kBAAkB;IAW1B,OAAO,CAAC,kBAAkB;IAO1B,OAAO,CAAC,YAAY;IAKpB,OAAO,CAAC,aAAa;IAQrB,OAAO,CAAC,YAAY;YAKN,YAAY;IAc1B,OAAO,CAAC,cAAc;IAkBtB,OAAO,CAAC,iBAAiB;IAIzB,gEAAgE;YAClD,mBAAmB;YA6BnB,iBAAiB;IAU/B,OAAO,CAAC,WAAW;IAQnB,wDAAwD;YAC1C,UAAU;IA4BxB,gFAAgF;IAC1E,OAAO,CAAC,MAAM,GAAE,MAAc,GAAG,OAAO,CAAC,MAAM,CAAC;IAWtD;;;;;OAKG;IACI,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,eAAoB,GAAG,cAAc,CAAC,QAAQ,CAAC;IA+DnF,6EAA6E;YAC/D,gBAAgB;IAY9B,qEAAqE;YACvD,gBAAgB;IAY9B,uDAAuD;YACzC,YAAY;IAmB1B,kFAAkF;IAClF,OAAO,CAAC,oBAAoB;IAO5B;;;;OAIG;IACH,mFAAmF;IACnF,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE;IAYxC,iFAAiF;IACjF,OAAO,IAAI,OAAO;IAOZ,kBAAkB,CACtB,MAAM,EAAE,MAAM,EACd,MAAM,GAAE,MAAkC,GACzC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IAkBzB,mEAAmE;IAC7D,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAU5B;;;;OAIG;IACG,QAAQ,IAAI,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,EAAE,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAqBtF,6EAA6E;IACvE,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC;IAI7B,6EAA6E;IACvE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAI3B,2EAA2E;IACrE,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC;IAU/B,QAAQ,IAAI,OAAO;IAOnB;;;;;;OAMG;IACG,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,GAAE,oBAAyB,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAkC7F,8EAA8E;YAChE,aAAa;IAW3B,yEAAyE;YAC3D,WAAW;IA4BzB;;;;OAIG;IACG,WAAW,CACf,IAAI,EAAE,MAAM,EACZ,KAAK,SAAI,EACT,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,IAAI,EACnC,MAAM,CAAC,EAAE,WAAW,GACnB,OAAO,CAAC,oBAAoB,CAAC;IA8DhC;;;;OAIG;IACI,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,eAAoB,GAAG,cAAc,CAAC,QAAQ,CAAC;IAwF5F;;;OAGG;IACH,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;YAIX,eAAe;IAoB7B,qEAAqE;IAC/D,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC;IAI3B,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;IAO1B,OAAO,IAAI,OAAO,CAAC,mBAAmB,CAAC;IAqB7C,mEAAmE;IACnE,OAAO,CAAC,WAAW;IAQb,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC;IASnC,OAAO,CAAC,mBAAmB;IAS3B,uEAAuE;IACvE,OAAO,CAAC,kBAAkB;IAO1B,OAAO,CAAC,UAAU;IAQZ,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAS/E,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAOtE,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAOrE,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAOvE,eAAe,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAe5E,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAqBzC,OAAO,CACX,IAAI,EAAE,MAAM,EACZ,KAAK,CAAC,EAAE,MAAM,EACd,MAAM,CAAC,EAAE,WAAW,EACpB,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,IAAI,GAClC,OAAO,CAAC,oBAAoB,CAAC;IAIhC;;;;;;;;OAQG;IACH,oEAAoE;IAC7D,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,eAAoB,GAAG,cAAc,CAAC,QAAQ,CAAC;IAIjF,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;IAgB9B,OAAO,CAAC,eAAe;IAiBvB,oDAAoD;IACpD,OAAO,CAAC,SAAS;IAkBjB,kCAAkC;IAClC,OAAO,CAAC,SAAS;IAOjB,mEAAmE;IACnE,OAAO,CAAC,eAAe;IAmBvB,uEAAuE;YACzD,mBAAmB;IAwBjC;;;OAGG;IACG,OAAO,CAAC,kBAAkB,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAepI,6EAA6E;IAC7E,OAAO,CAAC,oBAAoB;IAY5B,OAAO,CAAC,YAAY;IAKpB,6BAA6B;YACf,iBAAiB;IAQ/B;;;;OAIG;IACH,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,GAAG,SAAS,GAAG,IAAI;IAIjH,0EAA0E;YAC5D,YAAY;IAO1B;;;;OAIG;YACW,gBAAgB;YAgBhB,kBAAkB;IAUhC,OAAO,CAAC,WAAW;IAYnB,OAAO,CAAC,eAAe;CAKxB;AAED,0DAA0D;AAC1D,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEjD;AAaD,YAAY,EAAE,KAAK,EAAE,CAAC"}
+{"version":3,"file":"session.d.ts","sourceRoot":"","sources":["../../src/repl/session.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAOH,OAAO,EAIL,KAAK,aAAa,EAEnB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAEL,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EAC1B,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAAwB,KAAK,KAAK,EAA2B,KAAK,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7G,OAAO,EAKL,KAAK,kBAAkB,EACxB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,KAAK,EAAE,WAAW,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AACjG,OAAO,KAAK,EACV,QAAQ,EACR,SAAS,EAGT,aAAa,EACb,cAAc,EACd,UAAU,EACX,MAAM,aAAa,CAAC;AAErB,OAAO,EAEL,KAAK,oBAAoB,EACzB,KAAK,mBAAmB,EACzB,MAAM,aAAa,CAAC;AACrB,OAAO,EAIL,KAAK,cAAc,EAGpB,MAAM,cAAc,CAAC;AACtB,OAAO,EASL,KAAK,WAAW,EACjB,MAAM,uBAAuB,CAAC;AAM/B,0DAA0D;AAC1D,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,WAAW,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,sDAAsD;IACtD,KAAK,EAAE,MAAM,CAAC;IACd,wDAAwD;IACxD,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,iBAAiB;IAChC,4DAA4D;IAC5D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,uEAAuE;IACvE,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,yEAAyE;IACzE,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,iEAAiE;IACjE,aAAa,EAAE,aAAa,CAAC;IAC7B,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACpC,UAAU,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAC/B,0DAA0D;IAC1D,eAAe,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,+EAA+E;IAC/E,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAC9E,oBAAoB,CAAC,EAAE,aAAa,EAAE,CAAC;IACvC,sEAAsE;IACtE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,uFAAuF;IACvF,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,iEAAiE;IACjE,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;;;OAOG;IACH,gBAAgB,CAAC,EAAE,oBAAoB,CAAC;IACxC,2EAA2E;IAC3E,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG;QAAE,SAAS,EAAE,IAAI,CAAA;KAAE,CAAC,CAAC;IACpG;;;;;OAKG;IACH,OAAO,CAAC,EAAE,cAAc,CAAC;IACzB,uEAAuE;IACvE,UAAU,CAAC,EAAE;QAAE,QAAQ,EAAE,kBAAkB,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC;IAC7D,mEAAmE;IACnE,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB;;;;OAIG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,+EAA+E;IAC/E,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;OAGG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACpC,UAAU,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAC/B,eAAe,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,qDAAqD;IACrD,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAC9E,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,uDAAuD;IACvD,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB;AASD,qBAAa,UAAU;IACrB,OAAO,CAAC,KAAK,CAAc;IAC3B,OAAO,CAAC,MAAM,CAAY;IAC1B,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,aAAa,CAAC,CAAS;IAC/B,OAAO,CAAC,QAAQ,CAAC,CAAS;IAC1B,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,KAAK,CAA8B;IAC3C,OAAO,CAAC,UAAU,CAAoB;IACtC,OAAO,CAAC,YAAY,CAAC,CAAsE;IAC3F,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,aAAa,CAAS;IAC9B,OAAO,CAAC,gBAAgB,CAAC,CAAS;IAClC,8CAA8C;IAC9C,OAAO,CAAC,kBAAkB,CAAC,CAAqB;IAChD,OAAO,CAAC,cAAc,CAAS;IAC/B,OAAO,CAAC,aAAa,CAAC,CAAS;IAC/B,OAAO,CAAC,UAAU,CAAC,CAAa;IAChC,OAAO,CAAC,YAAY,CAAC,CAAe;IACpC,OAAO,CAAC,aAAa,CAAC,CAAgB;IACtC,OAAO,CAAC,WAAW,CAAO;IAC1B,OAAO,CAAC,SAAS,CAAS;IAC1B,2DAA2D;IAC3D,OAAO,CAAC,aAAa,CAAuB;IAC5C,OAAO,CAAC,YAAY,CAAC,CAAe;IACpC,sEAAsE;IACtE,OAAO,CAAC,iBAAiB,CAAyB;IAClD,OAAO,CAAC,gBAAgB,CAAS;IACjC,8EAA8E;IAC9E,OAAO,CAAC,iBAAiB,CAAS;IAClC,oEAAoE;IACpE,OAAO,CAAC,iBAAiB,CAAC,CAAS;IAEnC,8DAA8D;IAC9D,OAAO,CAAC,UAAU,CAAK;IACvB,uEAAuE;IACvE,OAAO,CAAC,kBAAkB,CAAK;IAC/B,uEAAuE;IACvE,OAAO,CAAC,eAAe,CAAS;IAChC,OAAO,CAAC,YAAY,CAAC,CAAS;IAC9B,OAAO,CAAC,YAAY,CAAC,CAAS;IAC9B,OAAO,CAAC,eAAe,CAAC,CAAS;IACjC,OAAO,CAAC,eAAe,CAAC,CAAS;IACjC,OAAO,CAAC,cAAc,CAAC,CAAS;IAChC,OAAO,CAAC,QAAQ,CAAS;IACzB,iEAAiE;IACjE,OAAO,CAAC,OAAO,CAAC,CAAe;IAC/B,OAAO,CAAC,cAAc,CAAC,CAAiB;IACxC,OAAO,CAAC,MAAM,CAAU;IACxB,kCAAkC;IAClC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAS;IACrC,uEAAuE;IACvE,QAAQ,CAAC,gBAAgB,EAAE,oBAAoB,CAAC;IAChD,0EAA0E;IAC1E,QAAQ,CAAC,oBAAoB,EAAE,oBAAoB,CAAC;IACpD,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAU;IAC1C,kEAAkE;IAClE,OAAO,CAAC,WAAW,CAAK;IACxB,OAAO,CAAC,aAAa,CAAS;IAE9B,OAAO;WA4CM,IAAI,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC;IAyElE,YAAY,IAAI,MAAM;IAItB;;;;;;OAMG;IACH,kBAAkB,IAAI,aAAa,EAAE;IAIrC,wDAAwD;IAClD,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAmB9E;;;;OAIG;IACH,OAAO,CAAC,mBAAmB;IAS3B;;;;;;OAMG;IACG,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IA0B1E;;;OAGG;IACG,uBAAuB,IAAI,OAAO,CAAC,IAAI,CAAC;IAK9C,gEAAgE;IAChE,OAAO,CAAC,WAAW;YAWL,WAAW;IAuBzB;;;;OAIG;YACW,yBAAyB;IAiBvC;;;;OAIG;YACW,qBAAqB;IA2BnC,uEAAuE;IACvE,OAAO,CAAC,cAAc;IAQtB,OAAO,CAAC,kBAAkB;IAW1B,OAAO,CAAC,kBAAkB;IAO1B,OAAO,CAAC,YAAY;IAKpB,OAAO,CAAC,aAAa;IAQrB,OAAO,CAAC,YAAY;YAKN,YAAY;IAc1B,OAAO,CAAC,cAAc;IAkBtB,OAAO,CAAC,iBAAiB;IAIzB,gEAAgE;YAClD,mBAAmB;YA6BnB,iBAAiB;IAU/B,OAAO,CAAC,WAAW;IAQnB,wDAAwD;YAC1C,UAAU;IA4BxB,gFAAgF;IAC1E,OAAO,CAAC,MAAM,GAAE,MAAc,GAAG,OAAO,CAAC,MAAM,CAAC;IAWtD;;;;;OAKG;IACI,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,eAAoB,GAAG,cAAc,CAAC,QAAQ,CAAC;IA+DnF,6EAA6E;YAC/D,gBAAgB;IAY9B,qEAAqE;YACvD,gBAAgB;IAY9B,uDAAuD;YACzC,YAAY;IAmB1B,kFAAkF;IAClF,OAAO,CAAC,oBAAoB;IAO5B;;;;OAIG;IACH,mFAAmF;IACnF,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE;IAYxC,iFAAiF;IACjF,OAAO,IAAI,OAAO;IAOlB,yEAAyE;IACzE,cAAc,IAAI,MAAM;IAIlB,kBAAkB,CACtB,MAAM,EAAE,MAAM,EACd,MAAM,GAAE,MAAkC,GACzC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IAkBzB,mEAAmE;IAC7D,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAU5B;;;;OAIG;IACG,QAAQ,IAAI,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,EAAE,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAqBtF,6EAA6E;IACvE,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC;IAI7B,6EAA6E;IACvE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAI3B,2EAA2E;IACrE,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC;IAU/B,QAAQ,IAAI,OAAO;IAOnB;;;;;;OAMG;IACG,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,GAAE,oBAAyB,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAkC7F,8EAA8E;YAChE,aAAa;IAW3B,yEAAyE;YAC3D,WAAW;IA4BzB;;;;OAIG;IACG,WAAW,CACf,IAAI,EAAE,MAAM,EACZ,KAAK,SAAI,EACT,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,IAAI,EACnC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,GAAE,WAAoB,GAChC,OAAO,CAAC,oBAAoB,CAAC;IA6EhC;;;;OAIG;IACI,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,eAAoB,GAAG,cAAc,CAAC,QAAQ,CAAC;IAwF5F;;;OAGG;IACH,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;YAIX,eAAe;IAwB7B,qEAAqE;IAC/D,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC;IAIjC,kEAAkE;IAC5D,UAAU,IAAI,OAAO,CAAC,MAAM,CAAC;IAanC;;;;OAIG;IACG,OAAO,CACX,KAAK,CAAC,EAAE,MAAM,EACd,IAAI,GAAE,WAA4B,EAClC,OAAO,GAAE;QAAE,MAAM,CAAC,EAAE,WAAW,CAAA;KAAO,GACrC,OAAO,CAAC,aAAa,CAAC;IA+BzB,qEAAqE;IAC/D,SAAS,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,GAAE,WAA4B,GAAG,OAAO,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,QAAQ,CAAA;KAAE,CAAC;IAYnH,2DAA2D;IACrD,SAAS,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,QAAQ,CAAA;KAAE,CAAC;IAIhF,sEAAsE;IAChE,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,QAAQ,CAAA;KAAE,CAAC;IASnF,6EAA6E;IACvE,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAW3F;;;;OAIG;YACW,aAAa;IAgB3B,8EAA8E;IAC9E,OAAO,CAAC,mBAAmB;IAerB,SAAS,IAAI,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAiBrD,OAAO,IAAI,OAAO,CAAC,mBAAmB,CAAC;IAiC7C;;;;;OAKG;IACH,OAAO,CAAC,kBAAkB;IAc1B;;;;OAIG;IACH,OAAO,CAAC,iBAAiB;IAczB;;;;;OAKG;YACW,mBAAmB;IAiCjC,mEAAmE;IACnE,OAAO,CAAC,WAAW;IAQb,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC;IASnC,OAAO,CAAC,mBAAmB;IAS3B,uEAAuE;IACvE,OAAO,CAAC,kBAAkB;IAO1B,OAAO,CAAC,UAAU;IAeZ,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAS/E,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAOtE,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAOrE,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAOvE,eAAe,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAe5E,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAqBzC,OAAO,CACX,IAAI,EAAE,MAAM,EACZ,KAAK,CAAC,EAAE,MAAM,EACd,MAAM,CAAC,EAAE,WAAW,EACpB,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,IAAI,EACnC,WAAW,GAAE,WAAoB,GAChC,OAAO,CAAC,oBAAoB,CAAC;IAIhC;;;;;;;;OAQG;IACH,oEAAoE;IAC7D,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,eAAoB,GAAG,cAAc,CAAC,QAAQ,CAAC;IAIjF,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;IAgB9B,OAAO,CAAC,eAAe;IAiBvB,oDAAoD;IACpD,OAAO,CAAC,SAAS;IAkBjB,kCAAkC;IAClC,OAAO,CAAC,SAAS;IAOjB,mEAAmE;IACnE,OAAO,CAAC,eAAe;IAmBvB,uEAAuE;YACzD,mBAAmB;IAyBjC;;;OAGG;IACG,OAAO,CAAC,kBAAkB,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAepI,6EAA6E;IAC7E,OAAO,CAAC,oBAAoB;IAY5B,OAAO,CAAC,YAAY;IAKpB,6BAA6B;YACf,iBAAiB;IAQ/B;;;;OAIG;IACH,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,GAAG,SAAS,GAAG,IAAI;IAIjH;;;OAGG;IACH,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,IAAI,GAAG,IAAI;IAI3D,0EAA0E;YAC5D,YAAY;IAO1B;;;;OAIG;YACW,gBAAgB;YAgBhB,kBAAkB;IAahC,OAAO,CAAC,WAAW;IAYnB,OAAO,CAAC,eAAe;CAKxB;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAK1E;AA4CD,0DAA0D;AAC1D,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEjD;AAaD,YAAY,EAAE,KAAK,EAAE,CAAC"}

package/dist/repl/session.js

@@ -9,15 +9,19 @@ import * as fs from 'fs/promises';
 import * as os from 'os';
 import * as path from 'path';
 import { strFromU8, strToU8, unzipSync, zipSync } from 'fflate';
-import { loadProlog, mountWorkspace } from '../prolog/loader.js';
+import { loadProlog, mountWorkspace, takePrologMessages, } from '../prolog/loader.js';
+import { describeShellExecutionBackend, } from '../system/runtime/shell-manager.js';
 import { getWorkspaceDocAssetPath } from '../system/assets/index.js';
 import { DMLRunner, toJsValue } from '../runner.js';
 import { compactMemory, estimateMemoryTokens, shouldCompact, toCompactionEvent, } from './compaction.js';
 import { HarnessAgent } from './agent.js';
-import { createHarnessTools } from './harness-tools.js';
+import { BRIEF_VALUE_CHARS, createHarnessTools } from './harness-tools.js';
 import { buildParamsTerm, plainValue, quotePrologString } from './frames.js';
 import { buildHarnessHeader, } from './export.js';
 import { HistoryStore, harnessHash, } from './history.js';
+import { buildDiagramPrompt, extractMermaid, parseMermaidFlowchart, rasterizeSvg, renderFlowchartSvg, renderMermaidAscii, resolveMedia, validateMermaid, } from '../visualize/index.js';
+import { generateLlmReply } from '../prolog/bridge.js';
+import { formatModelCatalogEntry } from './model-resolver.js';
 let sessionCounter = 0;
 function nextSessionId() {
     sessionCounter += 1;
@@ -42,6 +46,8 @@ export class DMLSession {
     compactionAuto = false;
     contextWindow;
     llmBackend;
+    imageBackend;
+    modelResolver;
     temperature = 0.7;
     maxTokens = 65536;
     /** Persisted authoring-agent conversation (agent mode). */
@@ -72,6 +78,10 @@ export class DMLSession {
     resume;
     /** Harness this session edits. */
     harnessName;
+    /** Effective shell backend; see DMLSessionOptions.executionBackend. */
+    executionBackend;
+    /** Full resolution for the backend, for the agent's environment block. */
+    executionEnvironment;
     autoLoadHarness;
     /** Monotonic per-session turn counter used by history records. */
     turnCounter = 0;
@@ -96,17 +106,22 @@ export class DMLSession {
         this.historyOptions = options.history;
         this.resume = options.resume ?? false;
         this.harnessName = options.harnessName ?? 'main';
+        this.executionBackend = options.executionBackend ?? 'clean-room';
+        this.executionEnvironment = describeShellExecutionBackend(this.executionBackend === 'agentvm', this.executionBackend === 'agentvm' ? {} : { wrapper: this.executionBackend });
         this.autoLoadHarness = options.autoLoadHarness ?? true;
         this.compactionSettings = options.compaction?.settings;
         this.compactionAuto = options.compaction?.auto ?? false;
         this.contextWindow = options.contextWindow;
         this.llmBackend = options.runnerOptions.llmBackend;
+        this.imageBackend = options.runnerOptions.imageBackend;
+        this.modelResolver = options.runnerOptions.modelResolver;
         this.temperature = options.runnerOptions.temperature;
         this.maxTokens = options.runnerOptions.maxTokens;
         this.runner = new DMLRunner(swipl, {
             ...options.runnerOptions,
+            environment: this.executionEnvironment,
             compactMessages: options.compaction
-                ? (messages, lastInputTokens) => this.compactLoopMessages(messages, lastInputTokens)
+                ? (messages, lastInputTokens, contextWindow) => this.compactLoopMessages(messages, lastInputTokens, contextWindow)
                 : undefined,
         });
         this.runner.bindSession(this.sessionId);
@@ -136,6 +151,10 @@ export class DMLSession {
         const sessionParams = {
             workspace_path: options.workspacePath ?? './',
             trace: options.trace ?? false,
+            // `sandbox-exec` is a subtraction expression to a Prolog parser, so the
+            // hyphen becomes an underscore on the way in; the model still sees the
+            // real name in its environment block.
+            sandbox: session.executionBackend.replace(/-/g, '_'),
             ...options.params,
         };
         if (options.gasLimit !== undefined) {
@@ -172,6 +191,16 @@ export class DMLSession {
     getSessionId() {
         return this.sessionId;
     }
+    /**
+     * Prolog output captured since the last drain.
+     *
+     * The step loop surfaces this while a goal runs; this accessor is for messages
+     * produced by paths that are not the step loop — a load, a host query — so a
+     * host can render them rather than have them vanish into a queue.
+     */
+    takePrologMessages() {
+        return takePrologMessages();
+    }
     /** Parse and load DML source into the living module. */
     async loadCode(code) {
         if (this.disposed) {
@@ -182,7 +211,25 @@ export class DMLSession {
         if (error === undefined || error === null) {
             return { error: 'Failed to load code' };
         }
-        return error === 'none' ? {} : { error: String(error) };
+        if (error !== 'none')
+            return { error: String(error) };
+        // Parsing is where the term reader speaks up (`\`-continuation, singleton
+        // warnings), so load-time diagnostics belong with the load's warnings
+        // instead of arriving mid-render later.
+        const prologWarnings = takePrologMessages().map((message) => message.text);
+        return { warnings: [...this.unhandledDirectives(), ...prologWarnings] };
+    }
+    /**
+     * Directives the loader recorded because it does not handle them. They did
+     * nothing, which is worth saying: `:- repl_delete(f/1).` silently discarded was
+     * a predicate the author believed they had removed.
+     */
+    unhandledDirectives() {
+        const result = this.prologQuery(`deepclause_mi:repl_unhandled_directives('${this.sessionId}', Ds)`);
+        const raw = plainValue(result?.Ds);
+        if (!Array.isArray(raw))
+            return [];
+        return raw.map((directive) => `unrecognised directive ignored: ${formatTerm(directive)}`);
     }
     /**
      * Load a DML file (or a `.zip` bundle) into the living module.
@@ -593,6 +640,10 @@ export class DMLSession {
         const result = this.prologQuery(`deepclause_mi:repl_user_predicates_text('${this.sessionId}', Text)`);
         return String(plainValue(result?.Text) ?? '').trim() === '';
     }
+    /** Number of user predicates (`Name/Arity`) currently in the harness. */
+    predicateCount() {
+        return this.predicateList().length;
+    }
     async saveCurrentHarness(reason, header = `aborted turn: ${reason}`) {
         const result = this.prologQuery(`deepclause_mi:export_harness('${this.sessionId}', ${quoteString(header)}, Text)`);
         const text = String(plainValue(result?.Text) ?? '');
@@ -732,7 +783,7 @@ export class DMLSession {
      * The child frame uses the living scratch module and may itself call task()
      * (RLM-style recursion); its harness-memory writes are discarded afterward.
      */
-    async executeGoal(goal, limit = 5, onEvent, signal) {
+    async executeGoal(goal, limit = 5, onEvent, signal, bindingMode = 'full') {
         const startedAt = Date.now();
         const elapsed = () => Date.now() - startedAt;
         const childDepth = this.frameDepth + 1;
@@ -765,8 +816,16 @@ export class DMLSession {
         try {
             for await (const event of this.runner.runFrame(frame.id, this.buildRunOptions({ signal }))) {
                 onEvent?.(event);
-                if (event.type === 'solution' && solutions.length < limit) {
-                    solutions.push(event.solution?.bindings ?? []);
+                if (event.type === 'solution') {
+                    if (solutions.length < limit) {
+                        solutions.push(event.solution?.bindings ?? []);
+                    }
+                    // Stop enumerating once the limit is reached: a nondeterministic goal
+                    // (e.g. an unlabelled CLP model) can otherwise produce unbounded
+                    // solutions and flood the session before the turn timeout.
+                    if (solutions.length >= limit) {
+                        break;
+                    }
                 }
                 else if (event.type === 'output' || event.type === 'answer') {
                     output += `${event.content ?? ''}\n`;
@@ -781,12 +840,19 @@ export class DMLSession {
             this.frameDepth = childDepth - 1;
             this.setMemory('harness', memoryBefore);
         }
+        const bindingCount = solutions[0]?.length ?? 0;
         return {
-            bindings: solutions[0] ?? [],
-            solutions,
+            ...shapeBindings(solutions, bindingMode),
             output: output.slice(0, 4000),
             error: runError,
             elapsedMs: elapsed(),
+            ...(bindingMode === 'full'
+                ? {}
+                : {
+                    bindingsNote: bindingMode === 'none'
+                        ? `${bindingCount} binding${bindingCount === 1 ? '' : 's'} omitted (use bindings: "brief" to see the names, or "full" for the values)`
+                        : `values shortened to ${BRIEF_VALUE_CHARS} characters (use bindings: "full" for the whole value)`,
+                }),
         };
     }
     // ---- Authoring agent (TS) ----------------------------------------------
@@ -903,11 +969,15 @@ export class DMLSession {
             maxTokens: this.maxTokens,
             streaming: true,
             maxModelCalls: this.maxModelCalls,
+            askInput: (prompt, options) => this.requireInput(prompt, options),
             contextWindow: this.contextWindow,
             compaction: this.compactionSettings
                 ? { settings: this.compactionSettings, auto: this.compactionAuto }
                 : undefined,
             workspacePath: this.workspacePath,
+            environment: this.executionEnvironment,
+            currentModel: `${this.provider}:${this.model}`,
+            modelCatalog: this.modelResolver?.catalog(),
             knownMessages: this.agentMessages,
         });
         return this.harnessAgent;
@@ -916,11 +986,141 @@ export class DMLSession {
     async manifest() {
         return this.manifestText();
     }
+    /** The models available in this session (agent `models` tool). */
+    async listModels() {
+        const current = `${this.provider}:${this.model}`;
+        const resolver = this.modelResolver;
+        if (!resolver) {
+            return `current model: ${current}\n(no model catalog is configured; with_model is unavailable)`;
+        }
+        const models = resolver.catalog();
+        const body = models.length > 0
+            ? models.map((model) => `  ${formatModelCatalogEntry(model)}`).join('\n')
+            : '  (none)';
+        return `current model: ${current}\n\navailable models (price = USD per 1M tokens, input/output):\n${body}`;
+    }
+    /**
+     * Generate a diagram of one entry predicate: ask the active model for Mermaid,
+     * then render it deterministically to a Unicode tree (always) and an SVG (for
+     * the terminal-image path). One model call.
+     */
+    async diagram(entry, mode = 'presentation', options = {}) {
+        if (!this.llmBackend) {
+            throw new Error('diagram generation needs a model backend');
+        }
+        const listing = await this.listing('all');
+        const resolved = (entry ?? '').trim() || this.defaultDiagramEntry(listing);
+        if (!resolved) {
+            throw new Error('the harness has no predicate to diagram yet');
+        }
+        const prompt = buildDiagramPrompt({ entry: resolved, mode, listing });
+        const { text } = await generateLlmReply({
+            messages: [{ role: 'user', content: prompt }],
+            modelOptions: { provider: this.provider, model: this.model, temperature: this.temperature },
+            llmBackend: this.llmBackend,
+            signal: options.signal,
+        });
+        const mermaid = extractMermaid(text);
+        const warnings = validateMermaid(mermaid);
+        const svg = renderFlowchartSvg(parseMermaidFlowchart(mermaid));
+        return {
+            entry: resolved,
+            mode,
+            mermaid,
+            ascii: renderMermaidAscii(mermaid),
+            svg: svg.svg,
+            width: svg.width,
+            height: svg.height,
+            warnings,
+        };
+    }
+    /** Diagram of a skill for the authoring agent's `visualize` tool. */
+    async visualize(entry, mode = 'presentation') {
+        const result = await this.diagram(entry, mode);
+        const png = await rasterizeSvg(result.svg, { width: result.width, height: result.height });
+        if (png) {
+            return {
+                message: `Diagram of ${result.entry} (${result.mode}) is displayed to the user as an image. Do not repeat the diagram text.`,
+                event: { type: 'media', media: { mimeType: 'image/svg+xml', data: png.toString('base64') } },
+            };
+        }
+        return { message: result.ascii };
+    }
+    /** Display a workspace image (agent `show_image` tool). */
+    async showImage(relPath) {
+        return this.mediaEventFor(relPath);
+    }
+    /** Generate an image and display it (agent `generate_image` tool). */
+    async generateImage(prompt) {
+        if (!this.imageBackend) {
+            return { message: 'Image generation is unavailable: no image backend is configured.' };
+        }
+        const result = await this.imageBackend.generate({ prompt });
+        const shown = await this.mediaEventFor(result.path);
+        return { message: `Generated ${result.path} (${result.mimeType}). ${shown.message}`, event: shown.event };
+    }
+    /** Write a workspace file (agent `write_file` tool); creates parent dirs. */
+    async writeFile(relPath, content) {
+        try {
+            const abs = this.resolveWorkspacePath(relPath);
+            await fs.mkdir(path.dirname(abs), { recursive: true });
+            await fs.writeFile(abs, content, 'utf8');
+            return { ok: true };
+        }
+        catch (error) {
+            return { ok: false, error: error.message };
+        }
+    }
+    /**
+     * Build a `media` event for a workspace image (resolved to a PNG for inline
+     * display). Returning an event lets any host render it through its normal
+     * event pipeline — no session-specific image channel needed.
+     */
+    async mediaEventFor(relPath) {
+        const resolved = await resolveMedia(this.workspacePath ?? process.cwd(), { path: relPath });
+        if (!resolved) {
+            return { message: `Cannot read image ${relPath}.` };
+        }
+        const event = {
+            type: 'media',
+            media: { path: relPath, mimeType: resolved.mimeType, data: resolved.pngBase64 },
+        };
+        const message = resolved.pngBase64
+            ? `Image ${relPath} (${resolved.mimeType}) is displayed to the user.`
+            : `Image ${relPath} (${resolved.mimeType}) is at workspace path ${relPath} `
+                + '(not rasterized for inline display: SVG needs @resvg/resvg-js, rasters need sharp).';
+        return { message, event };
+    }
+    /** Pick a default diagram entry: `agent_main/N`, else the first predicate. */
+    defaultDiagramEntry(listing) {
+        const mains = this.predicateArities('agent_main');
+        if (mains.length > 0) {
+            return `agent_main/${mains[0]}`;
+        }
+        const reserved = new Set(['doc', 'module_doc', 'tool', 'system', 'user', 'param', 'parameters', 'answer']);
+        for (const line of listing.split('\n')) {
+            const match = /^([a-z][A-Za-z0-9_]*)\/(\d+)\s*$/.exec(line.trim());
+            if (match && !reserved.has(match[1])) {
+                return `${match[1]}/${match[2]}`;
+            }
+        }
+        return undefined;
+    }
     async beginTurn() {
+        // A second begin_turn would re-snapshot the *mid-transaction* state, so
+        // `rollback` would stop meaning "the last committed harness" and the
+        // recorded diff would lose the edits made before it.
+        if (this.transactionBefore !== null) {
+            return {
+                ok: false,
+                error: 'a transaction is already open; call end_turn to commit it, or rollback to discard it',
+            };
+        }
         this.prologQuery(`deepclause_mi:repl_snapshot_save('${this.sessionId}')`);
         this.prologQuery(`deepclause_mi:repl_edit_touched_clear('${this.sessionId}')`);
         this.transactionBefore = this.predicateList();
         this.transactionDirty = false;
+        return { ok: true };
     }
     async endTurn() {
         if (this.transactionBefore === null) {
@@ -929,18 +1129,104 @@ export class DMLSession {
         const before = this.transactionBefore;
         const after = this.predicateList();
         const changed = this.simplePredicateDiff(before, after);
+        const touched = this.editTouched();
         this.transactionBefore = null;
         const committed = this.transactionDirty;
         let version;
         if (committed && this.history) {
-            version = await this.recordHistoryChange('commit', this.turnCounter, before, { touched: this.editTouched() });
+            version = await this.recordHistoryChange('commit', this.turnCounter, before, { touched });
         }
         this.lastTurnCommitted = committed;
         this.lastCommitVersion = version;
         this.transactionDirty = false;
         this.prologQuery(`deepclause_mi:repl_edit_touched_clear('${this.sessionId}')`);
         await this.persistSessionHarness(this.history?.currentVersion ?? 0);
-        return { committed: true, changed };
+        // Advisory: probe changed pure predicates for accidental nondeterminism.
+        let warnings = [];
+        if (committed) {
+            const candidates = new Set();
+            for (const entry of touched)
+                candidates.add(entry.trim());
+            for (const entry of changed)
+                if (entry.startsWith('+'))
+                    candidates.add(entry.slice(1));
+            warnings = await this.probeNondeterminism([...candidates]);
+            warnings.push(...this.probeToolContracts());
+            warnings.push(...this.probeDocContracts());
+        }
+        return { committed: true, changed, warnings };
+    }
+    /**
+     * Check every registered `tool/2` annotation: the nested agent inside `task/N`
+     * calls the tool body, so it must reach real logic with the same name and
+     * arity. Violations only surface when a nested agent calls the tool, which may
+     * be long after the commit — report them here instead.
+     */
+    probeToolContracts() {
+        try {
+            const result = this.prologQuery(`deepclause_mi:repl_validate_tools('${this.sessionId}', Warnings)`);
+            const raw = plainValue(result?.Warnings);
+            if (!Array.isArray(raw))
+                return [];
+            return raw.map((entry) => String(entry)).filter(Boolean);
+        }
+        catch {
+            // A validation failure must never fail the commit.
+            return [];
+        }
+    }
+    /**
+     * Warn about `doc/2` facts that document a predicate with no clauses. Such a
+     * predicate fails silently when called, and its name still appears in the
+     * manifest, so the harness looks fine and returns empty results.
+     */
+    probeDocContracts() {
+        try {
+            const result = this.prologQuery(`deepclause_mi:repl_validate_docs('${this.sessionId}', Warnings)`);
+            const raw = plainValue(result?.Warnings);
+            if (!Array.isArray(raw))
+                return [];
+            return raw.map((entry) => String(entry)).filter(Boolean);
+        }
+        catch {
+            // A validation failure must never fail the commit.
+            return [];
+        }
+    }
+    /**
+     * Probe changed predicates for accidental nondeterminism: a pure predicate
+     * that yields more than `threshold` solutions on fresh variables is very likely
+     * missing an `once/1`/`!` and would flood an `execute`. Fact tables and
+     * side-effecting predicates are skipped by the Prolog probe.
+     */
+    async probeNondeterminism(indicators) {
+        const reserved = new Set(['doc', 'module_doc', 'tool']);
+        const warnings = [];
+        const threshold = 100;
+        const bound = 200000;
+        for (const indicator of indicators.slice(0, 8)) {
+            const match = /^([a-z][A-Za-z0-9_]*)\/(\d+)$/.exec(indicator);
+            if (!match || reserved.has(match[1]))
+                continue;
+            const name = match[1];
+            const arity = match[2];
+            try {
+                const result = this.prologQuery(`deepclause_mi:repl_probe_nondeterminism('${this.sessionId}', ${name}, ${arity}, ${threshold}, ${bound}, Result)`);
+                const verdict = String(plainValue(result?.Result) ?? '');
+                if (verdict === 'many') {
+                    warnings.push(`${name}/${arity} yields more than ${threshold} solutions when called with fresh variables. `
+                        + 'If a single answer is intended, make it deterministic with once/1 or !.');
+                }
+                else if (verdict === 'timeout') {
+                    warnings.push(`${name}/${arity} did not settle within the inference limit when probed `
+                        + '(possible unbounded search, e.g. label/1 without once/1).');
+                }
+            }
+            catch {
+                // A probe failure must never fail the commit.
+            }
+        }
+        return warnings;
     }
     /** Predicates touched by edit tools in the current transaction. */
     editTouched() {
@@ -983,6 +1269,13 @@ export class DMLSession {
             this.transactionDirty = true;
             return { ok: true };
         }
+        // `ok(Note)` carries a detail the agent should see, e.g. how many clauses a
+        // retract actually removed. Reporting it is the point of counting them.
+        const match = /^ok\(([\s\S]*)\)$/.exec(String(result).trim());
+        if (match) {
+            this.transactionDirty = true;
+            return { ok: true, note: match[1] };
+        }
         return { ok: false, error: String(result) };
     }
     async define(head, clauses) {
@@ -1046,8 +1339,8 @@ export class DMLSession {
                 return `unknown reference topic '${topic}'. Topics: language, authoring, examples, patterns, snippets, tools.`;
         }
     }
-    async execute(goal, limit, signal, onEvent) {
-        return this.executeGoal(goal, limit ?? 5, onEvent, signal);
+    async execute(goal, limit, signal, onEvent, bindingMode = 'full') {
+        return this.executeGoal(goal, limit ?? 5, onEvent, signal, bindingMode);
     }
     /**
      * Prompt mode: English request -> meta task -> DML -> commit -> entry run.
@@ -1136,13 +1429,13 @@ export class DMLSession {
         };
     }
     /** Loop compaction hook: run before each model call inside a frame. */
-    async compactLoopMessages(messages, lastInputTokens) {
+    async compactLoopMessages(messages, lastInputTokens, contextWindow) {
         const settings = this.compactionSettings;
         if (!settings?.enabled || !this.llmBackend) {
             return { messages };
         }
         const contextTokens = lastInputTokens ?? estimateMemoryTokens(messages);
-        if (!shouldCompact(contextTokens, this.contextWindow ?? 0, settings)) {
+        if (!shouldCompact(contextTokens, contextWindow ?? this.contextWindow ?? 0, settings)) {
             return { messages };
         }
         const result = await compactMemory({
@@ -1206,6 +1499,13 @@ export class DMLSession {
     setInputHandler(handler) {
         this.inputHandler = handler;
     }
+    /**
+     * @deprecated Terminal images now flow as `media` events (rendered by the
+     * host), so this is a no-op kept for backwards compatibility.
+     */
+    setImageHandler(_handler) {
+        // no-op
+    }
     /** Resolve a human answer, or undefined when no channel is configured. */
     async requireInput(prompt, options) {
         if (!this.inputHandler) {
@@ -1237,12 +1537,14 @@ export class DMLSession {
         if (!this.inputHandler) {
             return false;
         }
-        const answer = await this.inputHandler(`Max model-call budget reached (${this.modelCallBudget}). Continue for another ${this.maxModelCalls} calls? (yes/no)`);
+        const answer = await this.inputHandler(`Max model-call budget reached (${this.modelCallBudget}). Continue for another ${this.maxModelCalls} calls? (yes/no)\n`
+            + 'change the limit: repl.maxModelCalls in .deepclause/config.json '
+            + '("repl": { "maxModelCalls": N }), or pass --max-model-calls N; 0 means unlimited', ['yes', 'no']);
         return /^(y|yes)$/i.test((answer ?? '').trim());
     }
     prologQuery(goal) {
         try {
-            const result = this.swipl.prolog.query(goal).once();
+            const result = this.swipl.prolog.query(qualifyWithSession(goal, this.sessionId)).once();
             return (result ?? null);
         }
         catch (error) {
@@ -1258,6 +1560,67 @@ export class DMLSession {
             .join(', ');
     }
 }
+/**
+ * Qualify a goal with the session module unless it already names one.
+ *
+ * DML code resolves unqualified goals in the session module, which is where the
+ * harness and the workspace predicates live. A host query would otherwise
+ * resolve them in `user`, so `read_file("f.txt", C)` failed from here while
+ * working from `execute` or `/goal`. Goals that already carry a qualifier
+ * (`deepclause_mi:…`) are left alone.
+ */
+export function qualifyWithSession(goal, sessionId) {
+    const trimmed = goal.trim();
+    if (trimmed.length === 0)
+        return goal;
+    if (/^[a-z][A-Za-z0-9_]*\s*:/.test(trimmed))
+        return goal;
+    return `${sessionId}:(${trimmed})`;
+}
+/**
+ * Apply the `bindings` option to the solutions returned to the agent.
+ *
+ * `bindings` mirrors `solutions[0]`, so the mode applies to both — a half-done
+ * job would leave the full value sitting in the other field.
+ */
+function shapeBindings(solutions, mode) {
+    const first = solutions[0] ?? [];
+    if (mode === 'none')
+        return { bindings: [], solutions: [] };
+    if (mode === 'brief') {
+        const shorten = (entries) => entries.map(({ name, value }) => ({
+            name,
+            value: value.length > BRIEF_VALUE_CHARS
+                ? `${value.slice(0, BRIEF_VALUE_CHARS)}… (${value.length} chars)`
+                : value,
+        }));
+        return { bindings: shorten(first), solutions: solutions.map(shorten) };
+    }
+    return { bindings: first, solutions };
+}
+/** Render a Prolog value for a warning message. */
+function formatTerm(value) {
+    if (typeof value === 'string')
+        return value;
+    if (value === null || value === undefined)
+        return String(value);
+    if (typeof value === 'object') {
+        const record = value;
+        const keys = Object.keys(record).filter((k) => !k.startsWith('$'));
+        if (keys.length === 1) {
+            const inner = record[keys[0]];
+            const args = Array.isArray(inner) && inner.length === 1 && Array.isArray(inner[0]) ? inner[0] : [];
+            return `${keys[0]}(${args.map((a) => formatTerm(a)).join(', ')})`;
+        }
+        try {
+            return JSON.stringify(value);
+        }
+        catch {
+            return String(value);
+        }
+    }
+    return String(value);
+}
 /** Quote a JS string as a Prolog double-quoted string. */
 export function quoteString(value) {
     return `"${value.replace(/\\/g, '\\\\').replace(/"/g, '\\"')}"`;