deepclause-sdk 0.0.88 → 0.1.0

package/dist/repl/backend.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"backend.js","sourceRoot":"","sources":["../../src/repl/backend.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AA8C7B,MAAM,CAAC,MAAM,eAAe,GAA6B,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AAErH,2FAA2F;AAC3F,MAAM,UAAU,uBAAuB,CAAC,KAAkB;IACxD,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QACrB,OAAO,CAAC,KAAK,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,gBAAgB,EAAE,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;AACrF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAkB,EAClB,SAAkB;IAElB,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;IACzC,CAAC;IACD,IAAK,eAAqC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,SAA0B,CAAC,EAAE,CAAC;QACjH,OAAO,EAAE,KAAK,EAAE,SAA0B,EAAE,SAAS,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO;QACL,KAAK,EAAE,SAAS;QAChB,SAAS;QACT,OAAO,EAAE,mBAAmB,SAAS,yBAAyB,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,EAAE,8BAA8B;KACvH,CAAC;AACJ,CAAC;AA2CD,gEAAgE;AAChE,MAAM,UAAU,cAAc,CAC5B,MAAuB,EACvB,QAA8B;IAE9B,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,CAAC;IACtD,OAAO;QACL,QAAQ;QACR,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC;QACnE,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC;QAC7D,KAAK,EAAE,MAAM,CAAC,KAAK;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAkB;IACpC,OAAO,GAAG,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC;AACzC,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,aAAa,CAAC,QAAwB,EAAE,SAAkB;IACxE,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAC;IAC1C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;IACzF,CAAC;IAED,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,UAAU,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC/C,MAAM,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAClD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,OAAO,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC/C,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAC;QAC1B,CAAC;QACD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,SAAS,IAAI,UAAU,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,CAAC;QAClG,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,uBAAuB,SAAS,EAAE,CAAC,CAAC;IACtD,CAAC;IAED,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,UAAU;IACjB,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;AAC5F,CAAC;AAED,SAAS,YAAY,CAAC,QAA6B,EAAE,KAAkB;IACrE,OAAO,QAAQ;SACZ,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC;SAC9C,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACf,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;YACzD,OAAO,OAAO,CAAC,YAAY,CAAC;QAC9B,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5B,uEAAuE;YACvE,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBACvD,CAAC,CAAC;oBACE,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACrE,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;wBAC/B,IAAI,EAAE,OAAO;wBACb,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;qBACzB,CAAC,CAAC;iBACJ;gBACH,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;QAC1D,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5B,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,SAAS;gBAC3C,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,SAAS;gBACvC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;gBAClD,OAAO,EAAE,KAAK;gBACd,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;aACtB,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE;gBACP,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrE,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC1C,IAAI,EAAE,UAAU;oBAChB,EAAE,EAAE,IAAI,CAAC,EAAE;oBACX,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,SAAS,EAAE,IAAI,CAAC,SAAS;iBAC1B,CAAC,CAAC;aACJ;YACD,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,KAAK,EAAE,KAAK,CAAC,EAAE;YACf,KAAK,EAAE,UAAU,EAAE;YACnB,UAAU,EAAE,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;YAC1D,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;SACtB,CAAC;IACJ,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,QAAwB,EACxB,KAAkB,EAClB,SAAS,GAAG,KAAK,EACjB,aAAsB;IAYtB,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,2CAA2C,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC;IAED,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAE5D,MAAM,OAAO,GAAe;QAC1B,KAAK,CAAC,QAAQ,CAAC,OAA0B;YACvC,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ;iBAClC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC;iBAC9C,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC;iBACjC,IAAI,CAAC,MAAM,CAAC,CAAC;YAEhB,MAAM,OAAO,GAAwB;gBACnC,YAAY,EAAE,YAAY,IAAI,SAAS;gBACvC,QAAQ,EAAE,YAAY,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC;gBAC/C,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBACnC,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC7B,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC5B,CAAC,CAAC;aACJ,CAAC;YACF,MAAM,OAAO,GAA4B;gBACvC,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,SAAS;gBACzC,cAAc,EAAE,MAAM;aACvB,CAAC;YACF,IAAI,KAAK,CAAC,SAAS,IAAI,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;gBAClE,kEAAkE;gBAClE,uCAAuC;gBACvC,OAAO,CAAC,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC;YACrC,CAAC;YAED,IAAI,QAA4B,CAAC;YACjC,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;gBAC1B,wEAAwE;gBACxE,wCAAwC;gBACxC,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBAC9D,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBACjC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;wBAChC,IAAI,KAAK,CAAC,KAAK;4BAAE,OAAO,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBACjD,CAAC;yBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;wBAC3C,IAAI,KAAK,CAAC,KAAK;4BAAE,OAAO,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBACtD,CAAC;gBACH,CAAC;gBACD,QAAQ,GAAG,MAAM,MAAM,CAAC,MAAM,EAAE,CAAC;YACnC,CAAC;iBAAM,CAAC;gBACN,QAAQ,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBAC5D,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO;qBAClC,MAAM,CAAC,CAAC,OAAO,EAA6C,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC;qBACvF,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;qBAC9B,IAAI,CAAC,EAAE,CAAC,CAAC;gBACZ,IAAI,YAAY;oBAAE,OAAO,CAAC,MAAM,EAAE,CAAC,YAAY,CAAC,CAAC;YACnD,CAAC;YAED,IAAI,QAAQ,CAAC,UAAU,KAAK,OAAO,IAAI,QAAQ,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;gBACzE,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,YAAY,IAAI,oBAAoB,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;YACtF,CAAC;YAED,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO;iBAC1B,MAAM,CAAC,CAAC,OAAO,EAA6C,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC;iBACvF,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;iBAC9B,IAAI,CAAC,EAAE,CAAC,CAAC;YAEZ,OAAO;gBACL,IAAI;gBACJ,SAAS,EAAE,QAAQ,CAAC,OAAO;qBACxB,MAAM,CAAC,CAAC,OAAO,EAAiG,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC;qBAC/I,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;gBAC/E,KAAK,EAAE;oBACL,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK;oBACjC,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM;oBACnC,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,WAAW;oBACvC,eAAe,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,IAAI,SAAS;oBACtD,gBAAgB,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU,IAAI,SAAS;oBACxD,eAAe,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,IAAI,SAAS;iBACvD;gBACD,YAAY,EAAE,QAAQ,CAAC,UAAU,KAAK,SAAS;oBAC7C,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,QAAQ,CAAC,UAAU,KAAK,QAAQ;wBAChC,CAAC,CAAC,QAAQ;wBACV,CAAC,CAAC,MAAM;gBACZ,YAAY,EAAE,QAAQ;aACvB,CAAC;QACJ,CAAC;KACF,CAAC;IAEF,OAAO;QACL,OAAO;QACP,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC;QAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,SAAS;QACT,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC;QACnC,aAAa,EAAE,QAAQ,CAAC,KAAK;QAC7B,uBAAuB,EAAE,QAAQ,CAAC,SAAS;QAC3C,OAAO,EAAE,QAAQ,CAAC,OAAO;KAC1B,CAAC;AACJ,CAAC;AAUD,MAAM,eAAe,GAAG,iCAAiC,CAAC;AAE1D;;;;GAIG;AACH,KAAK,UAAU,cAAc;IAC3B,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,MAAM,CAAC,eAAe,CAAC,CAAwB,CAAC;IAChE,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CACb,yBAAyB,eAAe,+BAA+B;cACrE,sGAAsG,CACzG,CAAC;IACJ,CAAC;AACH,CAAC;AA8CD,gFAAgF;AAChF,MAAM,UAAU,aAAa,CAAC,KAAsC;IAClE,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE;QAC5B,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC;QACnC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,uBAAuB,EAAE,uBAAuB,CAAC,KAAK,CAAC;KACxD,CAAC;AACJ,CAAC;AA0BD,oEAAoE;AACpE,MAAM,UAAU,eAAe,CAAC,OAAsB;IACpD,OAAO,OAAO,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC7C,MAAM,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC1D,OAAO;YACL,EAAE,EAAE,QAAQ,CAAC,EAAE;YACf,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,EAAE;YAClC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;YACtC,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;YACpC,UAAU,EAAE,MAAM,EAAE,UAAU,IAAI,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxE,MAAM,EAAE,MAAM,EAAE,MAAM;YACtB,KAAK,EAAE,MAAM,EAAE,KAAK;SACrB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,YAAY,CAAC,OAAsB,EAAE,UAAmB;IACtE,OAAO,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAwC,CAAC,CAAC,CAAC;AAC/G,CAAC;AAeD,mFAAmF;AACnF,MAAM,UAAU,oBAAoB;IAClC,IAAI,CAAC;QACH,MAAM,OAAO,GAAI,MAAM,CAAC,IAA+D,CAAC,OAAO,CAAC;QAChG,OAAO,OAAO,OAAO,KAAK,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;IAC5E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,UAAkC,EAAE;IAEpC,MAAM,EAAE,GAAG,MAAM,cAAc,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,CAAC,MAAM,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QAC5C,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,iBAAiB,EAAE,KAAK;KACzB,CAAC,CAA6B,CAAC;IAChC,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,IAAI,IAAI,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IAExE,OAAO;QACL,QAAQ;QACR,OAAO;QACP,aAAa,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QAC7C,UAAU,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,UAAU,CAAC;QAC7D,OAAO,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC;QAC9D,YAAY,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC;QAC9D,eAAe,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,OAAO,CAAC,eAAe,EAAE,CAAC,IAAI,EAAE;QACpE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE;YAC7C,MAAM,QAAQ,GAAG,IAAI,IAAI,SAAS,CAAC;YACnC,MAAM,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;QAC7D,CAAC;QACD,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE;YAC3B,MAAM,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACnC,CAAC;KACF,CAAC;AACJ,CAAC;AAgBD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,UAAkC,EAAE;IACxE,IAAI,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC;IACrC,IAAI,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC;IAE9B,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,EAAE,GAAG,MAAM,cAAc,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACtE,SAAS,GAAG,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC;QACrC,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YAC3C,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,iBAAiB,EAAE,KAAK;SACzB,CAAC,CAAC;QACH,QAAQ,GAAG,IAAI,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC;IAED,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACjD,OAAO,eAAe,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;AACpF,CAAC;AA4BD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,UAAiC,EAAE;IACzE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC;IAClC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,MAAM,EAAE,GAAG,MAAM,eAAe,CAAC;YAC/B,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,SAAS;YAC3C,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,SAAS;YACvC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,aAAa,EAAE,OAAO,CAAC,aAAa;SACrC,CAAC,CAAC;QACH,OAAO;YACL,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,EAAE,CAAC,OAAO;YACtB,QAAQ,EAAE,EAAE,CAAC,QAAQ;YACrB,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO;YAC7D,OAAO,EAAE,EAAE,CAAC,OAAO;YACnB,aAAa,EAAE,EAAE,CAAC,aAAa;YAC/B,SAAS,EAAE,EAAE,CAAC,SAAS;YACvB,aAAa,EAAE,EAAE,CAAC,aAAa;SAChC,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC;IACxC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AACxF,CAAC"}

package/dist/repl/compaction.d.ts

@@ -0,0 +1,122 @@
+/**
+ * TypeScript context compaction for the REPL (and, later, the one-shot runner).
+ *
+ * This ports pi's compaction algorithm (`core/compaction/compaction.ts`) to the
+ * SDK's `MemoryMessage[]` model. It intentionally shares pi's shapes:
+ *
+ *  - chars/4 token estimation (`estimateMemoryTokens`);
+ *  - `shouldCompact` threshold semantics (`contextWindow - reserveTokens`);
+ *  - the cut-point search that keeps a recent tail;
+ *  - the structured summarization prompts (Goal / Constraints / Progress /
+ *    Decisions / Next Steps / Critical Context).
+ *
+ * Unlike pi's version it does not use `SessionEntry`/`AgentMessage` trees: the
+ * REPL stores memory as `message{role, content}` Prolog terms, mapped to
+ * `MemoryMessage[]` on the host. The summarization call goes through the active
+ * `LLMBackend`, so it reuses pi's model, credentials, streaming, and cancellation.
+ */
+import type { LLMBackend, LLMUsage, MemoryMessage } from '../types.js';
+import { DEFAULT_COMPACTION_SETTINGS } from '@earendil-works/pi-coding-agent';
+/**
+ * pi's compaction settings (same shape as its `core/compaction` settings).
+ * `DEFAULT_COMPACTION_SETTINGS` and the threshold come straight from pi; only
+ * the cut/summarization below is the SDK's port.
+ */
+export interface CompactionSettings {
+    enabled: boolean;
+    reserveTokens: number;
+    keepRecentTokens: number;
+}
+export { DEFAULT_COMPACTION_SETTINGS };
+/** Leading marker of a compacted checkpoint message. */
+export declare const SUMMARY_PREFIX = "[Context summary]";
+/** Conservative chars/4 estimate for one message. */
+export declare function estimateMessageTokens(message: MemoryMessage): number;
+/** Conservative chars/4 estimate for a message list. */
+export declare function estimateMemoryTokens(messages: MemoryMessage[]): number;
+/** Total context tokens from a usage record, preferring the provider total. */
+export declare function calculateContextTokens(usage: LLMUsage): number;
+/** Whether the context has grown past `contextWindow - reserveTokens`. */
+export declare function shouldCompact(contextTokens: number, contextWindow: number, settings?: CompactionSettings): boolean;
+export interface CompactionCut {
+    /** Index of the first message to keep. `0` means "nothing to summarize". */
+    cutIndex: number;
+    /** Messages to hand to the summarizer. */
+    messagesToSummarize: MemoryMessage[];
+    /** Messages retained verbatim. */
+    keptMessages: MemoryMessage[];
+}
+/**
+ * Walk from the newest message backwards, accumulating estimated tokens, until
+ * `keepRecentTokens` is reached. The cut is then moved back to the nearest
+ * `user` boundary so an assistant turn is never separated from its prompt.
+ *
+ * System messages are never summarized (they carry the checkpoint and the
+ * runtime contract) and are excluded from the accumulated size, matching the
+ * intent of pi's "never cut the current system prompt" rule.
+ */
+export declare function findCompactionCut(messages: MemoryMessage[], keepRecentTokens?: number): CompactionCut;
+/** The most recent compacted checkpoint, if the memory already contains one. */
+export declare function findExistingSummary(messages: MemoryMessage[]): string | undefined;
+/** Wrap a summary as the checkpoint message prepended to compacted memory. */
+export declare function buildSummaryMessage(summary: string): MemoryMessage;
+/** Ported verbatim from pi's `SUMMARIZATION_SYSTEM_PROMPT`. */
+export declare const SUMMARIZATION_SYSTEM_PROMPT = "You are a context summarization assistant. Your task is to read a conversation between a user and an AI assistant, then produce a structured summary following the exact format specified.\n\nDo NOT continue the conversation. Do NOT respond to any questions in the conversation. ONLY output the structured summary.";
+/** Serialize a conversation to text so the model summarizes instead of continuing. */
+export declare function serializeMemoryConversation(messages: MemoryMessage[]): string;
+/** Build the user-side summarization prompt, wrapping the conversation in tags. */
+export declare function buildSummarizationPrompt(messages: MemoryMessage[], previousSummary?: string, customInstructions?: string): string;
+export interface GenerateMemorySummaryParams {
+    /** Messages to summarize (already cut). System messages are ignored. */
+    messages: MemoryMessage[];
+    previousSummary?: string;
+    backend: LLMBackend;
+    model: string;
+    reserveTokens?: number;
+    signal?: AbortSignal;
+    customInstructions?: string;
+}
+/** Generate a structured summary of `messages` through the active backend. */
+export declare function generateMemorySummary(params: GenerateMemorySummaryParams): Promise<{
+    summary: string;
+    usage?: LLMUsage;
+}>;
+export interface CompactMemoryParams {
+    messages: MemoryMessage[];
+    backend: LLMBackend;
+    model: string;
+    contextWindow?: number;
+    settings?: CompactionSettings;
+    signal?: AbortSignal;
+    customInstructions?: string;
+    /** Compact even when the context is below the threshold (manual `compact.`). */
+    force?: boolean;
+}
+export type CompactMemoryReason = 'applied' | 'disabled' | 'below-threshold' | 'nothing-to-summarize' | 'empty-summary' | 'no-reduction' | 'failed';
+export interface CompactMemoryResult {
+    applied: boolean;
+    reason: CompactMemoryReason;
+    messages: MemoryMessage[];
+    summary?: string;
+    tokensBefore: number;
+    tokensAfter: number;
+    usage?: LLMUsage;
+    error?: string;
+}
+/**
+ * Compact `messages` if needed (or `force`d). Returns the rewritten list: the
+ * preserved system messages, the new checkpoint, then the recent tail.
+ */
+export declare function compactMemory(params: CompactMemoryParams): Promise<CompactMemoryResult>;
+export interface MemoryCompactionEvent {
+    scope: 'loop' | 'session';
+    trigger: 'before_model_call' | 'before_user_message';
+    action: 'applied' | 'skipped' | 'failed';
+    beforeTokens: number;
+    afterTokens: number;
+    error?: string;
+    usage?: LLMUsage;
+}
+/** Turn a `CompactMemoryResult` into the fields consumed by a `memory_compaction` event. */
+export declare function toCompactionEvent(scope: MemoryCompactionEvent['scope'], trigger: MemoryCompactionEvent['trigger'], result: CompactMemoryResult): MemoryCompactionEvent;
+//# sourceMappingURL=compaction.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"compaction.d.ts","sourceRoot":"","sources":["../../src/repl/compaction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACvE,OAAO,EACL,2BAA2B,EAE5B,MAAM,iCAAiC,CAAC;AAMzC;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,OAAO,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED,OAAO,EAAE,2BAA2B,EAAE,CAAC;AAEvC,wDAAwD;AACxD,eAAO,MAAM,cAAc,sBAAsB,CAAC;AASlD,qDAAqD;AACrD,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,CAEpE;AAED,wDAAwD;AACxD,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,MAAM,CAEtE;AAED,+EAA+E;AAC/E,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,QAAQ,GAAG,MAAM,CAE9D;AAED,0EAA0E;AAC1E,wBAAgB,aAAa,CAC3B,aAAa,EAAE,MAAM,EACrB,aAAa,EAAE,MAAM,EACrB,QAAQ,GAAE,kBAAgD,GACzD,OAAO,CAMT;AAMD,MAAM,WAAW,aAAa;IAC5B,4EAA4E;IAC5E,QAAQ,EAAE,MAAM,CAAC;IACjB,0CAA0C;IAC1C,mBAAmB,EAAE,aAAa,EAAE,CAAC;IACrC,kCAAkC;IAClC,YAAY,EAAE,aAAa,EAAE,CAAC;CAC/B;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,aAAa,EAAE,EACzB,gBAAgB,GAAE,MAAqD,GACtE,aAAa,CAkCf;AAMD,gFAAgF;AAChF,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,MAAM,GAAG,SAAS,CAQjF;AAED,8EAA8E;AAC9E,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,aAAa,CAElE;AAMD,+DAA+D;AAC/D,eAAO,MAAM,2BAA2B,6TAEmF,CAAC;AA8E5H,sFAAsF;AACtF,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,MAAM,CAW7E;AAED,mFAAmF;AACnF,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,aAAa,EAAE,EACzB,eAAe,CAAC,EAAE,MAAM,EACxB,kBAAkB,CAAC,EAAE,MAAM,GAC1B,MAAM,CAaR;AAMD,MAAM,WAAW,2BAA2B;IAC1C,wEAAwE;IACxE,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,OAAO,EAAE,UAAU,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,8EAA8E;AAC9E,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,2BAA2B,GAClC,OAAO,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,QAAQ,CAAA;CAAE,CAAC,CA0BhD;AAMD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,OAAO,EAAE,UAAU,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,kBAAkB,CAAC;IAC9B,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,gFAAgF;IAChF,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,MAAM,mBAAmB,GAC3B,SAAS,GACT,UAAU,GACV,iBAAiB,GACjB,sBAAsB,GACtB,eAAe,GACf,cAAc,GACd,QAAQ,CAAC;AAEb,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,mBAAmB,CAAC;IAC5B,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,QAAQ,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;GAGG;AACH,wBAAsB,aAAa,CAAC,MAAM,EAAE,mBAAmB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAmE7F;AAMD,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1B,OAAO,EAAE,mBAAmB,GAAG,qBAAqB,CAAC;IACrD,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,QAAQ,CAAC;IACzC,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,QAAQ,CAAC;CAClB;AAED,4FAA4F;AAC5F,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,qBAAqB,CAAC,OAAO,CAAC,EACrC,OAAO,EAAE,qBAAqB,CAAC,SAAS,CAAC,EACzC,MAAM,EAAE,mBAAmB,GAC1B,qBAAqB,CAevB"}

package/dist/repl/compaction.js

@@ -0,0 +1,318 @@
+/**
+ * TypeScript context compaction for the REPL (and, later, the one-shot runner).
+ *
+ * This ports pi's compaction algorithm (`core/compaction/compaction.ts`) to the
+ * SDK's `MemoryMessage[]` model. It intentionally shares pi's shapes:
+ *
+ *  - chars/4 token estimation (`estimateMemoryTokens`);
+ *  - `shouldCompact` threshold semantics (`contextWindow - reserveTokens`);
+ *  - the cut-point search that keeps a recent tail;
+ *  - the structured summarization prompts (Goal / Constraints / Progress /
+ *    Decisions / Next Steps / Critical Context).
+ *
+ * Unlike pi's version it does not use `SessionEntry`/`AgentMessage` trees: the
+ * REPL stores memory as `message{role, content}` Prolog terms, mapped to
+ * `MemoryMessage[]` on the host. The summarization call goes through the active
+ * `LLMBackend`, so it reuses pi's model, credentials, streaming, and cancellation.
+ */
+import { DEFAULT_COMPACTION_SETTINGS, shouldCompact as piShouldCompact, } from '@earendil-works/pi-coding-agent';
+export { DEFAULT_COMPACTION_SETTINGS };
+/** Leading marker of a compacted checkpoint message. */
+export const SUMMARY_PREFIX = '[Context summary]';
+// =============================================================================
+// Token accounting
+// =============================================================================
+/** Per-message overhead, matching the SDK's historical estimate. */
+const PER_MESSAGE_OVERHEAD = 4;
+/** Conservative chars/4 estimate for one message. */
+export function estimateMessageTokens(message) {
+    return PER_MESSAGE_OVERHEAD + Math.max(1, Math.ceil(message.content.length / 4));
+}
+/** Conservative chars/4 estimate for a message list. */
+export function estimateMemoryTokens(messages) {
+    return messages.reduce((total, message) => total + estimateMessageTokens(message), 0);
+}
+/** Total context tokens from a usage record, preferring the provider total. */
+export function calculateContextTokens(usage) {
+    return usage.totalTokens || (usage.inputTokens + usage.outputTokens + (usage.cacheReadTokens ?? 0) + (usage.cacheWriteTokens ?? 0));
+}
+/** Whether the context has grown past `contextWindow - reserveTokens`. */
+export function shouldCompact(contextTokens, contextWindow, settings = DEFAULT_COMPACTION_SETTINGS) {
+    // Guard the unknown-window case (pi assumes a positive window).
+    if (contextWindow <= 0) {
+        return false;
+    }
+    return piShouldCompact(contextTokens, contextWindow, settings);
+}
+/**
+ * Walk from the newest message backwards, accumulating estimated tokens, until
+ * `keepRecentTokens` is reached. The cut is then moved back to the nearest
+ * `user` boundary so an assistant turn is never separated from its prompt.
+ *
+ * System messages are never summarized (they carry the checkpoint and the
+ * runtime contract) and are excluded from the accumulated size, matching the
+ * intent of pi's "never cut the current system prompt" rule.
+ */
+export function findCompactionCut(messages, keepRecentTokens = DEFAULT_COMPACTION_SETTINGS.keepRecentTokens) {
+    let accumulated = 0;
+    let candidate = messages.length;
+    for (let index = messages.length - 1; index >= 0; index -= 1) {
+        const message = messages[index];
+        if (message.role === 'system') {
+            continue;
+        }
+        accumulated += estimateMessageTokens(message);
+        if (accumulated >= keepRecentTokens) {
+            candidate = index;
+            break;
+        }
+    }
+    if (candidate >= messages.length) {
+        return { cutIndex: 0, messagesToSummarize: [], keptMessages: messages.slice() };
+    }
+    // Move back to a user boundary (the start of a turn), skipping assistants.
+    let cutIndex = candidate;
+    while (cutIndex > 0 && messages[cutIndex]?.role !== 'user') {
+        cutIndex -= 1;
+    }
+    const messagesToSummarize = messages
+        .slice(0, cutIndex)
+        .filter((message) => message.role !== 'system');
+    const preservedSystem = messages
+        .slice(0, cutIndex)
+        .filter((message) => message.role === 'system');
+    const keptMessages = [...preservedSystem, ...messages.slice(cutIndex)];
+    return { cutIndex, messagesToSummarize, keptMessages };
+}
+// =============================================================================
+// Summary detection
+// =============================================================================
+/** The most recent compacted checkpoint, if the memory already contains one. */
+export function findExistingSummary(messages) {
+    for (let index = messages.length - 1; index >= 0; index -= 1) {
+        const message = messages[index];
+        if (message.role === 'system' && message.content.startsWith(SUMMARY_PREFIX)) {
+            return message.content.slice(SUMMARY_PREFIX.length).trim();
+        }
+    }
+    return undefined;
+}
+/** Wrap a summary as the checkpoint message prepended to compacted memory. */
+export function buildSummaryMessage(summary) {
+    return { role: 'system', content: `${SUMMARY_PREFIX}\n${summary.trim()}` };
+}
+// =============================================================================
+// Summarization prompts (ported from pi)
+// =============================================================================
+/** Ported verbatim from pi's `SUMMARIZATION_SYSTEM_PROMPT`. */
+export const SUMMARIZATION_SYSTEM_PROMPT = `You are a context summarization assistant. Your task is to read a conversation between a user and an AI assistant, then produce a structured summary following the exact format specified.
+
+Do NOT continue the conversation. Do NOT respond to any questions in the conversation. ONLY output the structured summary.`;
+/** Ported from pi's `SUMMARIZATION_PROMPT`. */
+const SUMMARIZATION_PROMPT = `The messages above are a conversation to summarize. Create a structured context checkpoint summary that another LLM will use to continue the work.
+
+Use this EXACT format:
+
+## Goal
+[What is the user trying to accomplish? Can be multiple items if the session covers different tasks.]
+
+## Constraints & Preferences
+- [Any constraints, preferences, or requirements mentioned by user]
+- [Or "(none)" if none were mentioned]
+
+## Progress
+### Done
+- [x] [Completed tasks/changes]
+
+### In Progress
+- [ ] [Current work]
+
+### Blocked
+- [Issues preventing progress, if any]
+
+## Key Decisions
+- **[Decision]**: [Brief rationale]
+
+## Next Steps
+1. [Ordered list of what should happen next]
+
+## Critical Context
+- [Any data, examples, or references needed to continue]
+- [Or "(none)" if not applicable]
+
+Keep each section concise. Preserve exact file paths, function names, and error messages.`;
+/** Ported from pi's `UPDATE_SUMMARIZATION_INSTRUCTIONS`. */
+const UPDATE_SUMMARIZATION_INSTRUCTIONS = `Update the existing structured summary with new information. RULES:
+- PRESERVE all existing information from the previous summary
+- ADD new progress, decisions, and context from the new messages
+- UPDATE the Progress section: move items from "In Progress" to "Done" when completed
+- UPDATE "Next Steps" based on what was accomplished
+- PRESERVE exact file paths, function names, and error messages
+- If something is no longer relevant, you may remove it
+
+Use this EXACT format:
+
+## Goal
+[Preserve existing goals, add new ones if the task expanded]
+
+## Constraints & Preferences
+- [Preserve existing, add new ones discovered]
+
+## Progress
+### Done
+- [x] [Include previously done items AND newly completed items]
+
+### In Progress
+- [ ] [Current work - update based on progress]
+
+### Blocked
+- [Current blockers - remove if resolved]
+
+## Key Decisions
+- **[Decision]**: [Brief rationale] (preserve all previous, add new)
+
+## Next Steps
+1. [Update based on current state]
+
+## Critical Context
+- [Preserve important context, add new if needed]
+
+Keep each section concise. Preserve exact file paths, function names, and error messages.`;
+const UPDATE_SUMMARIZATION_PROMPT = `The messages above are NEW conversation messages to incorporate into the existing summary provided in <previous-summary> tags.
+
+${UPDATE_SUMMARIZATION_INSTRUCTIONS}`;
+/** Serialize a conversation to text so the model summarizes instead of continuing. */
+export function serializeMemoryConversation(messages) {
+    return messages
+        .map((message) => {
+        const label = message.role === 'assistant'
+            ? 'Assistant'
+            : message.role === 'system'
+                ? 'System'
+                : 'User';
+        return `[${label}]: ${message.content}`;
+    })
+        .join('\n\n');
+}
+/** Build the user-side summarization prompt, wrapping the conversation in tags. */
+export function buildSummarizationPrompt(messages, previousSummary, customInstructions) {
+    const conversationText = serializeMemoryConversation(messages);
+    let basePrompt = previousSummary ? UPDATE_SUMMARIZATION_PROMPT : SUMMARIZATION_PROMPT;
+    if (customInstructions) {
+        basePrompt = `${basePrompt}\n\nAdditional focus: ${customInstructions}`;
+    }
+    let promptText = `<conversation>\n${conversationText}\n</conversation>\n\n`;
+    if (previousSummary) {
+        promptText += `<previous-summary>\n${previousSummary}\n</previous-summary>\n\n`;
+    }
+    promptText += basePrompt;
+    return promptText;
+}
+/** Generate a structured summary of `messages` through the active backend. */
+export async function generateMemorySummary(params) {
+    const conversation = params.messages.filter((message) => message.role !== 'system');
+    const promptText = buildSummarizationPrompt(conversation, params.previousSummary, params.customInstructions);
+    const reserveTokens = params.reserveTokens ?? DEFAULT_COMPACTION_SETTINGS.reserveTokens;
+    const maxTokens = Math.max(512, Math.min(Math.floor(0.8 * reserveTokens), 8192));
+    const response = await params.backend.complete({
+        messages: [
+            { role: 'system', content: SUMMARIZATION_SYSTEM_PROMPT },
+            { role: 'user', content: promptText },
+        ],
+        temperature: 0.3,
+        maxTokens,
+        signal: params.signal,
+    });
+    if (response.finishReason === 'error' || response.finishReason === 'aborted') {
+        throw new Error(`summarization ${response.finishReason}`);
+    }
+    const summary = (response.text ?? '').trim();
+    if (!summary) {
+        throw new Error('summarization returned an empty summary');
+    }
+    return { summary, usage: response.usage };
+}
+/**
+ * Compact `messages` if needed (or `force`d). Returns the rewritten list: the
+ * preserved system messages, the new checkpoint, then the recent tail.
+ */
+export async function compactMemory(params) {
+    const settings = params.settings ?? DEFAULT_COMPACTION_SETTINGS;
+    const messages = params.messages;
+    const tokensBefore = estimateMemoryTokens(messages);
+    if (!settings.enabled && !params.force) {
+        return { applied: false, reason: 'disabled', messages, tokensBefore, tokensAfter: tokensBefore };
+    }
+    if (!params.force
+        && params.contextWindow !== undefined
+        && !shouldCompact(tokensBefore, params.contextWindow, settings)) {
+        return { applied: false, reason: 'below-threshold', messages, tokensBefore, tokensAfter: tokensBefore };
+    }
+    const cut = findCompactionCut(messages, settings.keepRecentTokens);
+    if (cut.messagesToSummarize.length === 0) {
+        return { applied: false, reason: 'nothing-to-summarize', messages, tokensBefore, tokensAfter: tokensBefore };
+    }
+    const previousSummary = findExistingSummary(messages);
+    let generated;
+    try {
+        generated = await generateMemorySummary({
+            messages: cut.messagesToSummarize,
+            previousSummary,
+            backend: params.backend,
+            model: params.model,
+            reserveTokens: settings.reserveTokens,
+            signal: params.signal,
+            customInstructions: params.customInstructions,
+        });
+    }
+    catch (error) {
+        return {
+            applied: false,
+            reason: 'failed',
+            messages,
+            tokensBefore,
+            tokensAfter: tokensBefore,
+            error: error instanceof Error ? error.message : String(error),
+        };
+    }
+    const rewritten = [...cut.keptMessages, buildSummaryMessage(generated.summary)];
+    const tokensAfter = estimateMemoryTokens(rewritten);
+    if (tokensAfter >= tokensBefore) {
+        return {
+            applied: false,
+            reason: 'no-reduction',
+            messages,
+            tokensBefore,
+            tokensAfter,
+            summary: generated.summary,
+            usage: generated.usage,
+        };
+    }
+    return {
+        applied: true,
+        reason: 'applied',
+        messages: rewritten,
+        summary: generated.summary,
+        tokensBefore,
+        tokensAfter,
+        usage: generated.usage,
+    };
+}
+/** Turn a `CompactMemoryResult` into the fields consumed by a `memory_compaction` event. */
+export function toCompactionEvent(scope, trigger, result) {
+    const action = result.applied
+        ? 'applied'
+        : result.reason === 'failed' || result.reason === 'empty-summary'
+            ? 'failed'
+            : 'skipped';
+    return {
+        scope,
+        trigger,
+        action,
+        beforeTokens: result.tokensBefore,
+        afterTokens: result.tokensAfter,
+        error: result.error,
+        usage: result.usage,
+    };
+}
+//# sourceMappingURL=compaction.js.map

package/dist/repl/compaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compaction.js","sourceRoot":"","sources":["../../src/repl/compaction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,EACL,2BAA2B,EAC3B,aAAa,IAAI,eAAe,GACjC,MAAM,iCAAiC,CAAC;AAiBzC,OAAO,EAAE,2BAA2B,EAAE,CAAC;AAEvC,wDAAwD;AACxD,MAAM,CAAC,MAAM,cAAc,GAAG,mBAAmB,CAAC;AAElD,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF,oEAAoE;AACpE,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAE/B,qDAAqD;AACrD,MAAM,UAAU,qBAAqB,CAAC,OAAsB;IAC1D,OAAO,oBAAoB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,oBAAoB,CAAC,QAAyB;IAC5D,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,KAAK,GAAG,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;AACxF,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,sBAAsB,CAAC,KAAe;IACpD,OAAO,KAAK,CAAC,WAAW,IAAI,CAAC,KAAK,CAAC,WAAW,GAAG,KAAK,CAAC,YAAY,GAAG,CAAC,KAAK,CAAC,eAAe,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,gBAAgB,IAAI,CAAC,CAAC,CAAC,CAAC;AACtI,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,aAAa,CAC3B,aAAqB,EACrB,aAAqB,EACrB,WAA+B,2BAA2B;IAE1D,gEAAgE;IAChE,IAAI,aAAa,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,eAAe,CAAC,aAAa,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;AACjE,CAAC;AAeD;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAC/B,QAAyB,EACzB,mBAA2B,2BAA2B,CAAC,gBAAgB;IAEvE,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC;IAChC,KAAK,IAAI,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC7D,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9B,SAAS;QACX,CAAC;QACD,WAAW,IAAI,qBAAqB,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,WAAW,IAAI,gBAAgB,EAAE,CAAC;YACpC,SAAS,GAAG,KAAK,CAAC;YAClB,MAAM;QACR,CAAC;IACH,CAAC;IAED,IAAI,SAAS,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACjC,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,mBAAmB,EAAE,EAAE,EAAE,YAAY,EAAE,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC;IAClF,CAAC;IAED,2EAA2E;IAC3E,IAAI,QAAQ,GAAG,SAAS,CAAC;IACzB,OAAO,QAAQ,GAAG,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3D,QAAQ,IAAI,CAAC,CAAC;IAChB,CAAC;IAED,MAAM,mBAAmB,GAAG,QAAQ;SACjC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC;SAClB,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IAClD,MAAM,eAAe,GAAG,QAAQ;SAC7B,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC;SAClB,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IAClD,MAAM,YAAY,GAAG,CAAC,GAAG,eAAe,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IAEvE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,YAAY,EAAE,CAAC;AACzD,CAAC;AAED,gFAAgF;AAChF,oBAAoB;AACpB,gFAAgF;AAEhF,gFAAgF;AAChF,MAAM,UAAU,mBAAmB,CAAC,QAAyB;IAC3D,KAAK,IAAI,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC7D,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;YAC5E,OAAO,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7D,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,mBAAmB,CAAC,OAAe;IACjD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,cAAc,KAAK,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC;AAC7E,CAAC;AAED,gFAAgF;AAChF,yCAAyC;AACzC,gFAAgF;AAEhF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,2BAA2B,GAAG;;2HAEgF,CAAC;AAE5H,+CAA+C;AAC/C,MAAM,oBAAoB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0FA+B6D,CAAC;AAE3F,4DAA4D;AAC5D,MAAM,iCAAiC,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0FAmCgD,CAAC;AAE3F,MAAM,2BAA2B,GAAG;;EAElC,iCAAiC,EAAE,CAAC;AAEtC,sFAAsF;AACtF,MAAM,UAAU,2BAA2B,CAAC,QAAyB;IACnE,OAAO,QAAQ;SACZ,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACf,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,KAAK,WAAW;YACxC,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ;gBACzB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,MAAM,CAAC;QACb,OAAO,IAAI,KAAK,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;IAC1C,CAAC,CAAC;SACD,IAAI,CAAC,MAAM,CAAC,CAAC;AAClB,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,wBAAwB,CACtC,QAAyB,EACzB,eAAwB,EACxB,kBAA2B;IAE3B,MAAM,gBAAgB,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IAC/D,IAAI,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,oBAAoB,CAAC;IACtF,IAAI,kBAAkB,EAAE,CAAC;QACvB,UAAU,GAAG,GAAG,UAAU,yBAAyB,kBAAkB,EAAE,CAAC;IAC1E,CAAC;IAED,IAAI,UAAU,GAAG,mBAAmB,gBAAgB,uBAAuB,CAAC;IAC5E,IAAI,eAAe,EAAE,CAAC;QACpB,UAAU,IAAI,uBAAuB,eAAe,2BAA2B,CAAC;IAClF,CAAC;IACD,UAAU,IAAI,UAAU,CAAC;IACzB,OAAO,UAAU,CAAC;AACpB,CAAC;AAiBD,8EAA8E;AAC9E,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,MAAmC;IAEnC,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IACpF,MAAM,UAAU,GAAG,wBAAwB,CAAC,YAAY,EAAE,MAAM,CAAC,eAAe,EAAE,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAC7G,MAAM,aAAa,GAAG,MAAM,CAAC,aAAa,IAAI,2BAA2B,CAAC,aAAa,CAAC;IACxF,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,aAAa,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAEjF,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC7C,QAAQ,EAAE;YACR,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,2BAA2B,EAAE;YACxD,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE;SACtC;QACD,WAAW,EAAE,GAAG;QAChB,SAAS;QACT,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC,CAAC;IAEH,IAAI,QAAQ,CAAC,YAAY,KAAK,OAAO,IAAI,QAAQ,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,iBAAiB,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7C,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7D,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;AAC5C,CAAC;AAsCD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,MAA2B;IAC7D,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,2BAA2B,CAAC;IAChE,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IACjC,MAAM,YAAY,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAEpD,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACvC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;IACnG,CAAC;IACD,IACE,CAAC,MAAM,CAAC,KAAK;WACV,MAAM,CAAC,aAAa,KAAK,SAAS;WAClC,CAAC,aAAa,CAAC,YAAY,EAAE,MAAM,CAAC,aAAa,EAAE,QAAQ,CAAC,EAC/D,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;IAC1G,CAAC;IAED,MAAM,GAAG,GAAG,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IACnE,IAAI,GAAG,CAAC,mBAAmB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,sBAAsB,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;IAC/G,CAAC;IAED,MAAM,eAAe,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,SAAgD,CAAC;IACrD,IAAI,CAAC;QACH,SAAS,GAAG,MAAM,qBAAqB,CAAC;YACtC,QAAQ,EAAE,GAAG,CAAC,mBAAmB;YACjC,eAAe;YACf,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;SAC9C,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,QAAQ;YAChB,QAAQ;YACR,YAAY;YACZ,WAAW,EAAE,YAAY;YACzB,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC9D,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,CAAC,GAAG,GAAG,CAAC,YAAY,EAAE,mBAAmB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAChF,MAAM,WAAW,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACpD,IAAI,WAAW,IAAI,YAAY,EAAE,CAAC;QAChC,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,cAAc;YACtB,QAAQ;YACR,YAAY;YACZ,WAAW;YACX,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,KAAK,EAAE,SAAS,CAAC,KAAK;SACvB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,SAAS;QACjB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,YAAY;QACZ,WAAW;QACX,KAAK,EAAE,SAAS,CAAC,KAAK;KACvB,CAAC;AACJ,CAAC;AAgBD,4FAA4F;AAC5F,MAAM,UAAU,iBAAiB,CAC/B,KAAqC,EACrC,OAAyC,EACzC,MAA2B;IAE3B,MAAM,MAAM,GAAoC,MAAM,CAAC,OAAO;QAC5D,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,eAAe;YAC/D,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,SAAS,CAAC;IAChB,OAAO;QACL,KAAK;QACL,OAAO;QACP,MAAM;QACN,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,KAAK,EAAE,MAAM,CAAC,KAAK;KACpB,CAAC;AACJ,CAAC"}

package/dist/repl/export.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Harness export helpers (M2).
+ *
+ * The actual serialization lives in Prolog (`export_harness/3`); this module
+ * builds the header, applies the optional `--skill` wrapper, and defines the
+ * result shape.
+ */
+export interface HarnessExportOptions {
+    /** Override the header comment line (used by deterministic tests). */
+    header?: string;
+    /** Mark the export as a skill (header only). Define `agent_main` in the harness for `run`. */
+    skill?: boolean;
+    /** Output path; defaults to `harness.dml` in the workspace. */
+    path?: string;
+}
+export interface HarnessExportResult {
+    path: string;
+    clauses: number;
+    tools: number;
+    scripts: number;
+}
+/** Header used when the caller does not supply one. */
+export declare function buildHarnessHeader(info?: {
+    timestamp?: string;
+    backend?: string;
+    model?: string;
+}): string;
+/** Strip the informational header line, e.g. for byte-stability comparisons. */
+export declare function stripExportHeader(text: string): string;
+//# sourceMappingURL=export.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"export.d.ts","sourceRoot":"","sources":["../../src/repl/export.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,MAAM,WAAW,oBAAoB;IACnC,sEAAsE;IACtE,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,8FAA8F;IAC9F,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,+DAA+D;IAC/D,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,uDAAuD;AACvD,wBAAgB,kBAAkB,CAAC,IAAI,GAAE;IACvC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CACX,GAAG,MAAM,CAMd;AAED,gFAAgF;AAChF,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEtD"}

package/dist/repl/export.js

@@ -0,0 +1,23 @@
+/**
+ * Harness export helpers (M2).
+ *
+ * The actual serialization lives in Prolog (`export_harness/3`); this module
+ * builds the header, applies the optional `--skill` wrapper, and defines the
+ * result shape.
+ */
+/** Header used when the caller does not supply one. */
+export function buildHarnessHeader(info = {}) {
+    const parts = ['DML harness — exported'];
+    if (info.timestamp)
+        parts.push(info.timestamp);
+    if (info.backend)
+        parts.push(`backend: ${info.backend}`);
+    if (info.model)
+        parts.push(`model: ${info.model}`);
+    return parts.join(' ');
+}
+/** Strip the informational header line, e.g. for byte-stability comparisons. */
+export function stripExportHeader(text) {
+    return text.replace(/^% DML harness[^\n]*\n/, '');
+}
+//# sourceMappingURL=export.js.map

package/dist/repl/export.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"export.js","sourceRoot":"","sources":["../../src/repl/export.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAkBH,uDAAuD;AACvD,MAAM,UAAU,kBAAkB,CAAC,OAI/B,EAAE;IACJ,MAAM,KAAK,GAAG,CAAC,wBAAwB,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/C,IAAI,IAAI,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACzD,IAAI,IAAI,CAAC,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACnD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE,EAAE,CAAC,CAAC;AACpD,CAAC"}

package/dist/repl/frames.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Helpers shared by the REPL session/frame layers.
+ *
+ * The frame stack itself lives in the Prolog runtime (`session_frame/4`,
+ * `step_frame/4`) and is driven by `DMLRunner.runFrame`. These helpers cover
+ * the Prolog-term marshalling and small presentation utilities the REPL needs.
+ */
+import type { FrameKind } from '../types.js';
+/** Unwrap a swipl-wasm tagged value (`{ $t, v }`) into a plain JS value. */
+export declare function plainValue(value: unknown): unknown;
+/** Convert a JS value into a Prolog term string, mirroring DMLRunner.toPrologTerm. */
+export declare function toPrologTerm(value: unknown): string;
+/** Quote a string as a single-line Prolog string literal. */
+export declare function quotePrologString(value: string): string;
+/** Quote a string as a Prolog atom when needed. */
+export declare function quoteAtom(value: string): string;
+/** Build a `params{...}` dict term from a JS record (keys lowercased). */
+export declare function buildParamsTerm(params: Record<string, unknown>): string;
+/** Human label for a frame kind, used by the renderer. */
+export declare function frameKindLabel(kind: FrameKind): string;
+//# sourceMappingURL=frames.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"frames.d.ts","sourceRoot":"","sources":["../../src/repl/frames.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,4EAA4E;AAC5E,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAQlD;AAED,sFAAsF;AACtF,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAuBnD;AAED,6DAA6D;AAC7D,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAQvD;AAED,mDAAmD;AACnD,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAK/C;AAED,0EAA0E;AAC1E,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAKvE;AAED,0DAA0D;AAC1D,wBAAgB,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAUtD"}