@cotal-ai/runtime 0.0.1 → 0.24.0

package/dist/mesh-handler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mesh-handler.js","sourceRoot":"","sources":["../src/mesh-handler.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,gBAAgB,EAChB,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,EACpB,kBAAkB,EAClB,2BAA2B,EAC3B,oBAAoB,EACpB,uBAAuB,EACvB,aAAa,EACb,aAAa,EACb,UAAU,EACV,UAAU,EACV,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,WAAW,EACX,cAAc,GAIf,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,aAAa,EAQb,qBAAqB,EACrB,aAAa,GACd,MAAM,gBAAgB,CAAC;AAsCxB;;;;;;;;GAQG;AACH,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IAC3B;IAAwB;IAA7C,YAAqB,KAAa,EAAW,QAA4B;QACvE,KAAK,CACH,eAAe,KAAK,4BAA4B,QAAQ,KAAK,SAAS;YACpE,CAAC,CAAC,iCAAiC;YACnC,CAAC,CAAC,wCAAwC,QAAQ,WAAW,IAAI;YACjE,mIAAmI,CACtI,CAAC;QANiB,UAAK,GAAL,KAAK,CAAQ;QAAW,aAAQ,GAAR,QAAQ,CAAoB;QAOvE,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF;AAYD;;;GAGG;AACH,MAAM,gBAAgB,GAAG,yDAAyD,CAAC;AAEnF,MAAM,OAAO,WAAW;IAEH;IACA;IACA;IACA;IACA;IACA;IANnB,YACmB,EAAM,EACN,EAAmB,EACnB,GAAqB,EACrB,OAA2B,EAC3B,OAAsB,EACtB,QAAsB,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE;QALtC,OAAE,GAAF,EAAE,CAAI;QACN,OAAE,GAAF,EAAE,CAAiB;QACnB,QAAG,GAAH,GAAG,CAAkB;QACrB,YAAO,GAAP,OAAO,CAAoB;QAC3B,YAAO,GAAP,OAAO,CAAe;QACtB,UAAK,GAAL,KAAK,CAAiC;IACtD,CAAC;IAEJ,GAAG;QACD,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC;IACtB,CAAC;IAED;;;;;;;;;OASG;IACH,KAAK,CAAC,OAAO,CAAC,OAAgC;QAC5C,OAAO,MAAM,sBAAsB,CACjC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAC3C,IAAI,CAAC,OAAO,EACZ,OAAO,CACR,CAAC;IACJ,CAAC;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,KAAK,CAAC,GAAiB,EAAE,GAAkB;QAC/C,MAAM,GAAG,GAAkB,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC;QACrF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAG,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAEnD,2FAA2F;QAC3F,4FAA4F;QAC5F,0FAA0F;QAC1F,6FAA6F;QAC7F,yFAAyF;QACzF,iEAAiE;QACjE,MAAM,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAE9B,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,KAAK,CAAC,UAAU,CAAC,GAAsB,EAAE,GAAkB;QACzD,MAAM,GAAG,GAAkB,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC;QACrF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAG,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;QAE3F,MAAM,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAE9B,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC;QAChF,6FAA6F;QAC7F,4FAA4F;QAC5F,wEAAwE;QACxE,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,KAAK,SAAS;YAC3C,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,MAAM,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC5F,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,IAAI,uBAAuB,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QACzF,OAAO;YACL,OAAO,EAAE,UAAU;YACnB,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvE,EAAE,EAAE,MAAM,CAAC,EAAE;YACb,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,EAAE,EAAE,OAAO,CAAC,EAAE;SACf,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;;;;OAcG;IACH,KAAK,CAAC,IAAI,CAAC,GAAgB,EAAE,GAAkB;QAC7C,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC;QACrB,IAAI,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;YAClD,MAAM,IAAI,aAAa,CAAC,QAAQ,EAAE,CAAC,KAAK,MAAM,EAAE,gBAAgB,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,4CAA4C,EAAE,CAAC,OAAO,gCAAgC,CAAC,CAAC;QAC1G,CAAC;QACD,4FAA4F;QAC5F,gGAAgG;QAChG,8CAA8C;QAC9C,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC;QAClC,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAElE,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClG,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7E,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1G,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QAE1D,4FAA4F;QAC5F,gGAAgG;QAChG,yFAAyF;QACzF,MAAM,OAAO,GAAG,OAAO,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;YAC9D,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,SAAS,EAAE;YAC3D,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,KAAK,GAAG,OAAO,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;YAC5D,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE;YACzF,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,SAAU,CAAC,CAAC;QACrF,CAAC;QACD,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,SAAU,CAAC,CAAC;QAE3D,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QACxG,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC9D,8FAA8F;QAC9F,wCAAwC;QACxC,IAAI,IAAI,GAAG,KAAK,CAAC;QACjB,IAAI,CAAC;YACH,SAAS,CAAC;gBACR,4FAA4F;gBAC5F,4FAA4F;gBAC5F,qCAAqC;gBACrC,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;gBACzF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBAAC,IAAI,GAAG,IAAI,CAAC;oBAAC,OAAO,IAAI,CAAC;gBAAC,CAAC;gBACtD,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;oBACzE,IAAI,GAAG,IAAI,CAAC;oBACZ,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;gBACjD,CAAC;gBACD,IAAI,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;oBACxF,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAClC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;wBAC1B,gFAAgF;wBAChF,kEAAkE;wBAClE,CAAC,CAAC,GAAG,EAAE,CAAC;wBACR,MAAM,IAAI,CAAC,IAAI,CAAC,OAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,CAAC;wBAChD,SAAS;oBACX,CAAC;oBACD,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;wBAAC,CAAC,CAAC,GAAG,EAAE,CAAC;wBAAC,SAAS;oBAAC,CAAC;oBAClF,yFAAyF;oBACzF,wFAAwF;oBACxF,uEAAuE;oBACvE,MAAM,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;oBACnC,CAAC,CAAC,GAAG,EAAE,CAAC;oBACR,IAAI,OAAO,KAAK,SAAS;wBAAE,MAAM,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;oBAC3D,IAAI,KAAK,KAAK,SAAS;wBAAE,MAAM,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;oBACvD,IAAI,GAAG,IAAI,CAAC;oBACZ,OAAO,GAAG,CAAC;gBACb,CAAC;YACH,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,6FAA6F;YAC7F,6FAA6F;YAC7F,6FAA6F;YAC7F,+FAA+F;YAC/F,yFAAyF;YACzF,6FAA6F;YAC7F,iBAAiB;YACjB,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,CAAC;oBACH,MAAM,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBACnD,CAAC;gBAAC,MAAM,CAAC,CAAC,0EAA0E,CAAC,CAAC;YACxF,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,KAAK,CAAC,MAAM,CAAC,GAAkB,EAAE,GAAkB;QACjD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YACzD,MAAM,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE;gBAC7D,CAAC,EAAE,CAAC;gBACJ,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK;gBACvB,IAAI;gBACJ,SAAS,EAAE,KAAK,CAAC,KAAK;gBACtB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,EAAE;aACH,CAAC,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,kGAAkG;IAClG,EAAE;IACF,kGAAkG;IAClG,kGAAkG;IAClG,iFAAiF;IACjF,EAAE;IACF,8FAA8F;IAC9F,8FAA8F;IAC9F,+FAA+F;IAC/F,8FAA8F;IAC9F,iGAAiG;IACjG,2DAA2D;IAC3D,EAAE;IACF,+FAA+F;IAC/F,4FAA4F;IAC5F,kGAAkG;IAClG,kGAAkG;IAClG,kFAAkF;IAClF,EAAE;IACF,8FAA8F;IAC9F,8FAA8F;IAC9F,2FAA2F;IAC3F,0FAA0F;IAE1F,KAAK,CAAC,KAAK,CAAC,IAAa,EAAE,IAAmB;QAC5C,MAAM,IAAI,aAAa,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;IACxD,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,IAAa,EAAE,IAAmB;QAC3C,MAAM,IAAI,aAAa,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;IACvD,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,IAAa,EAAE,IAAmB;QAC1C,MAAM,IAAI,aAAa,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;IACtD,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,IAAa,EAAE,IAAmB;QAC9C,MAAM,IAAI,aAAa,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC;IAC1D,CAAC;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,YAAY,CAAC,IAAa,EAAE,IAAmB;QACnD,MAAM,IAAI,aAAa,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAAC;IAC3D,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,IAAa,EAAE,IAAmB;QACpD,MAAM,IAAI,aAAa,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAAC;IAC3D,CAAC;IAED;;;;;;;;;;;;OAYG;IACK,KAAK,CAAC,GAAG,CAAC,GAAkB,EAAE,QAAgB;QACpD,gGAAgG;QAChG,8BAA8B;QAC9B,IAAI,CAAC,MAAM,oBAAoB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,SAAS;YAAE,OAAO;QAC1F,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACrD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,KAAK,EAAE,eAAe,IAAI,QAAQ,CAAC;QAC9C,IAAI,EAAE,GAAG,GAAG,EAAE,CAAC;YACb,MAAM,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE;gBACzD,GAAG;gBACH,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU;gBACnC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK;gBACzB,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM;gBAC3B,QAAQ,EAAE,EAAE;gBACZ,GAAG;aACJ,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACxD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,eAAe,GAAG,CAAC,KAAK,4DAA4D;kBAClF,IAAI,EAAE,mFAAmF;kBACzF,iFAAiF,CACpF,CAAC;QACJ,CAAC;QACD,MAAM,2BAA2B,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE;YAChF,GAAG;YACH,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU;YACnC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK;SAC1B,CAAC,CAAC;IACL,CAAC;IAED;uGACmG;IAC3F,KAAK,CAAC,IAAI,CAAC,GAAkB,EAAE,QAAgB;QACrD,MAAM,mBAAmB,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE;YACxE,GAAG;YACH,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU;YACnC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK;YACzB,QAAQ;YACR,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;SAChB,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;;;;;;;OAcG;IACK,KAAK,CAAC,QAAQ,CAAC,GAAkB;QACvC,MAAM,OAAO,GAAG,UAAU,CACxB,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAChC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,CAC/D,CAAC;QACF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,OAAO;aACjC,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;aACxE,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACxD,MAAM,OAAO,GAAG,MAAM,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE;YACzF,GAAG;YACH,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU;YACnC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK;YACzB,GAAG,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;YACpG,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;SAChB,CAAC,CAAC;QACH,OAAO,OAAO,CAAC,KAAK,CAAC;IACvB,CAAC;IAED;;;;oGAIgG;IACxF,KAAK,CAAC,OAAO,CAAC,GAA8B;QAClD,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACxC,MAAM,OAAO,GAAG,MAAM,oBAAoB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC9E,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QAC1C,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;QAClD,OAAO,MAAM,oBAAoB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACvE,CAAC;IAED;;4EAEwE;IAChE,KAAK,CAAC,WAAW,CAAC,GAAkB;QAC1C,MAAM,EAAE,GAAG,MAAM,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACpD,IAAI,EAAE,EAAE,KAAK,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO;QAC1C,IAAI,CAAC;YACH,MAAM,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE;gBACrE,GAAG;gBACH,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM;gBAC9B,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;aAChB,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACP,wFAAwF;YACxF,sFAAsF;QACxF,CAAC;IACH,CAAC;IAED,kFAAkF;IAC1E,KAAK,CAAC,SAAS,CAAC,GAAW;QACjC,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QACrF,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,2CAA2C,GAAG,4EAA4E,CAAC,CAAC;QAC9I,CAAC;QACD,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,GAAG,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,GAAG,qDAAqD,CAAC,CAAC;QAC5H,OAAO,GAAG,CAAC;IACb,CAAC;IAED;;;;;;;OAOG;IACK,KAAK,CAAC,MAAM,CAAC,GAAkB;QACrC,MAAM,OAAO,GAAG,MAAM,oBAAoB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC9E,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QAC1C,+FAA+F;QAC/F,8FAA8F;QAC9F,yFAAyF;QACzF,2EAA2E;QAC3E,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC;YACH,OAAO,MAAM,OAAO,CAAC,IAAI,CAAC;gBACxB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC;gBAC7B,4FAA4F;gBAC5F,4FAA4F;gBAC5F,IAAI,CAAC,IAAI,CAAuB,GAAG,EAAE,CAAC,IAAI,OAAO,CAAQ,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;aACpE,CAAC,CAAC;QACL,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACnB,CAAC;IACH,CAAC;IAED,0EAA0E;IAClE,KAAK,CAAC,SAAS,CAAC,GAAkB,EAAE,IAAuB;QACjE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACzB,6FAA6F;YAC7F,mEAAmE;YACnE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;CACF;AAED;;6FAE6F;AAC7F,MAAM,UAAU,gBAAgB,CAAC,SAAiB;IAChD,OAAO,OAAO,SAAS,EAAE,CAAC;AAC5B,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAa,EAAE,SAAiB,EAAE,OAAe;IAClF,OAAO;QACL,YAAY,EAAE,gBAAgB,CAAC,SAAS,CAAC;QACzC,cAAc,EAAE,WAAW,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC;QACrD,UAAU,EAAE,UAAU;QACtB,cAAc,EAAE,KAAK;KACtB,CAAC;AACJ,CAAC;AAED;iGACiG;AACjG,MAAM,YAAY,GAAG,KAAK,CAAC;AAE3B;gGACgG;AAChG,MAAM,YAAY,GAAG,KAAK,CAAC;AAE3B;2FAC2F;AAC3F,SAAS,YAAY,CAAC,SAAiB,EAAE,OAAe;IACtD,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS,IAAI,OAAO,EAAE,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACzG,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,YAAY,CAAC,OAAe;IACnC,IAAI,CAAC;QACH,iBAAiB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAClC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,mGAAoG,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7I,CAAC;IACD,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,aAAa,CAAC,IAAgB;IACrC,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAiB,CAAC;QACrE,OAAO,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7D,CAAC;IAAC,MAAM,CAAC;QACP,8FAA8F;QAC9F,mFAAmF;QACnF,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;+FAC+F;AAC/F,SAAS,YAAY,CAAC,GAAiB,EAAE,IAAwB,EAAE,OAA2B;IAC5F,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,IAAI,CAAC,WAAW,EAAE;QAAE,OAAO,KAAK,CAAC;IAC7F,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;SAC3B,MAAM,CAAC,CAAC,CAAC,EAAuC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,OAAQ,CAAwB,CAAC,IAAI,KAAK,QAAQ,CAAC;SAC3H,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;SAClB,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,aAAc,SAAQ,KAAK;IAYjB;IAAyB;IAX9C;;;;;;;;OAQG;IACM,IAAI,GAAG,OAAO,CAAC;IAExB,YAAqB,MAAc,EAAW,KAAa;QACzD,KAAK,CACH,GAAG,MAAM,8CAA8C,KAAK,0BAA0B;YACpF,6FAA6F;YAC7F,sEAAsE,CACzE,CAAC;QALiB,WAAM,GAAN,MAAM,CAAQ;QAAW,UAAK,GAAL,KAAK,CAAQ;QAMzD,IAAI,CAAC,IAAI,GAAG,eAAe,CAAC;IAC9B,CAAC;CACF;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,IAA4D,EAC5D,OAAgF,EAChF,OAAgC;IAEhC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,MAAM,2BAA2B,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,EAAE;YACrF,GAAG,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE;YAC1C,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,KAAK,EAAE,OAAO,CAAC,KAAK;SACrB,CAAC,CAAC;QACH,IAAI,CAAC,CAAC,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAgC;IACrE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,IAAI,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;YAAE,SAAS;QACjE,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;aACvE,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,gBAAgB;IAER;IACA;IACA;IACA;IAJnB,YACmB,EAAmB,EACnB,GAAqB,EACrB,KAAa,EACb,SAAS,MAAM;QAHf,OAAE,GAAF,EAAE,CAAiB;QACnB,QAAG,GAAH,GAAG,CAAkB;QACrB,UAAK,GAAL,KAAK,CAAQ;QACb,WAAM,GAAN,MAAM,CAAS;IAC/B,CAAC;IAEJ,KAAK,CAAC,WAAW,CAAC,GAAkB;QAClC,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE;YACnD,cAAc,EAAE,MAAM;YACtB,UAAU,EAAE,UAAmB;YAC/B,cAAc,EAAE,KAAc;YAC9B,kBAAkB,EAAE,OAAO,GAAG,SAAS;SACxC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QAC1B,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAC3D,SAAS,CAAC;gBACR,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC9E,IAAI,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;oBAC5B,CAAC,CAAC,GAAG,EAAE,CAAC;oBACR,MAAM,OAAO,GAAG,MAAM,oBAAoB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBACtE,0FAA0F;oBAC1F,0FAA0F;oBAC1F,yBAAyB;oBACzB,IAAI,OAAO,KAAK,SAAS;wBAAE,OAAO,OAAO,CAAC;gBAC5C,CAAC;YACH,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC;gBACH,MAAM,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAChD,CAAC;YAAC,MAAM,CAAC;gBACP,yFAAyF;gBACzF,kEAAkE;YACpE,CAAC;QACH,CAAC;IACH,CAAC;CACF"}

package/dist/migrate.d.ts

@@ -0,0 +1,147 @@
+/**
+ * Migrate a run onto edited source: the migrate check, and why the check is the whole decision.
+ *
+ * Nothing here rewrites a journal and nothing here performs an effect. A migration is decided by a
+ * DRY walk of the new program over the recorded journal, and the walk answers two questions with
+ * two different inputs — which is the distinction that decided it. Whether a RECORD is still valid
+ * is a question about the record and is answered on the raw fact; which records the program still
+ * REACHES is a question about the program and is answered through its own view, with checkpoint
+ * policy applied. Both live in the language: the hash comparison in `Journal.lookup`, the policy
+ * sandwich at the interpreter's `checkpoint` call site. This file supplies the walk's mode, reads
+ * what it left behind, and applies the orphan table.
+ *
+ * **The orphan table is by effect kind because our removed steps have consequences.** "Removed
+ * steps' data is ignored" is right for a step that outlives nothing. It is wrong for an agent that
+ * is still running, a conclave whose membership is still open, a decision a person actually made,
+ * and a notice an agent has not yet been told. Each of those is a REFUSAL with a code, and the
+ * refusal is the product: a migration that quietly dropped one would be an evidence-carrying system
+ * discarding evidence.
+ *
+ * **The commit files its own record kind, and that was a scope decision rather than a preference.**
+ * The obvious home for a `migrated` fact is the run record itself; a records-KV record has a
+ * create-only half for what a thing IS and a last-value-wins half for what it is DOING, and a
+ * migration is neither — it is append-only history with an actor, and a run can migrate more than
+ * once. So there is a `migration` kind (SPEC amendment A10), keyed by a content-derived id, whose
+ * spec is the report and whose status is the application.
+ *
+ * **What the commit still does NOT do**: advance the run's pinned program hash, because
+ * `RunSpecValue` carries none to advance — a program-hash pin is declared and unbuilt, and this
+ * branch deliberately did not invent it. The migration is durable and readable; the run record does
+ * not yet name its source.
+ */
+import type { KV } from "@nats-io/kv";
+import { type JournalEntry, type RunPins } from "@cotal-ai/lang";
+/** What the caller decided to override, and therefore what the record has to say they decided. */
+export interface MigrateOverrides {
+    /**
+     * Discard human decisions the edit made unreachable. Recorded WITH the actor: the one
+     * absolute is that a recorded human decision is never discarded quietly.
+     */
+    readonly discardApprovals?: boolean;
+    /** `--adopt <handle>` / `--release` for an orphaned spawn. Lane-A-gated by their subject. */
+    readonly adopt?: readonly string[];
+    readonly release?: readonly string[];
+}
+export type OrphanVerdict = "ignored" | "kept" | "rejected";
+/** One journal entry the new source no longer reaches, and what the table says about it. */
+export interface MigrateOrphan {
+    readonly step: string;
+    readonly kind: string;
+    readonly verdict: OrphanVerdict;
+    /** The error catalog code, on a rejection only. */
+    readonly code?: string;
+    readonly why: string;
+}
+export interface MigrateDivergence {
+    readonly step: string;
+    readonly recordedHash: string;
+    readonly programHash: string;
+}
+/**
+ * The answer a migration attempt produces.
+ *
+ * `admissible` is the commit condition — no divergence and the orphan table satisfied — and
+ * NOT a statement that anything was written. Nothing is: see {@link commitMigration}.
+ */
+export interface MigrateReport {
+    readonly run: string;
+    readonly at: number;
+    readonly actor: string;
+    readonly admissible: boolean;
+    /** How many recorded entries the walk accounted for. */
+    readonly consumedThrough: number;
+    readonly orphans: readonly MigrateOrphan[];
+    readonly divergence?: MigrateDivergence;
+    /** A scope the walk could not enter, which is a refusal rather than a silent consume. */
+    readonly unwalkable?: {
+        readonly step: string;
+        readonly why: string;
+    };
+    /** The overrides the caller passed, as recorded strings, for the fact the commit will file. */
+    readonly overrides: readonly string[];
+    /** The hash of the source this run would move TO. Computed from that source, so not a claim. */
+    readonly toHash: string;
+    readonly fromHash?: string;
+}
+export interface MigrateRequest {
+    /** The endpoint hosting the driver — the notices are keyed under it. */
+    readonly endpoint: string;
+    readonly runId: string;
+    /** The NEW program. */
+    readonly source: string;
+    /** The recorded journal, as the barrier replayed it. */
+    readonly entries: readonly JournalEntry[];
+    /** Read back from the run record, never re-derived: a migration does not re-pin a run. */
+    readonly pins: RunPins;
+    readonly kv: KV;
+    /** Who asked. Recorded on any override, because an override is a person's decision. */
+    readonly actor: string;
+    readonly now: () => number;
+    readonly overrides?: MigrateOverrides;
+    readonly file?: string;
+    /**
+     * The program hash the run was on, as the CALLER states it.
+     *
+     * Not verifiable here and deliberately not invented: a program-hash pin on the run record is
+     * declared and unbuilt, and `RunSpecValue` does not carry one yet, so a hash computed from a
+     * source this function was never given would be a guess wearing a fact's name. Absent when the
+     * caller does not know it, and the record says absent rather than approximate.
+     */
+    readonly fromHash?: string;
+}
+/**
+ * Run the migrate check. Reads; never writes.
+ *
+ * The report is the product whether or not the migration is admissible — a rejected migration owes
+ * the caller the per-step reason, which is the only thing that makes repair possible (the `L`
+ * catalogue).
+ */
+export declare function migrateRun(req: MigrateRequest): Promise<MigrateReport>;
+/**
+ * File the migration, and record that this driver applied it.
+ *
+ * TWO WRITES AND THEY ARE DIFFERENT ACTS. The report is filed create-only under an id derived from
+ * its own content, so the retry a crash forces lands on its own record rather than filing a second
+ * migration for one decision. The application is a separate, create-only status: two drivers racing
+ * to advance one run both find no status and both write, and the store decides. A driver that lost
+ * that race hears about it instead of believing it moved a run somebody else moved.
+ *
+ * REFUSED FOR AN INADMISSIBLE REPORT, before anything is written. A migration the check rejected is
+ * not a migration with a caveat — filing it would put a decision nobody may act on into the same
+ * history a reader trusts, and the refusal is the product the check exists to produce.
+ *
+ * What is still NOT here, stated rather than implied: the run's pinned program hash does not
+ * advance, because `RunSpecValue` carries no program hash to advance — that pin is declared and
+ * unbuilt, and this branch does not invent it. The migration is durable and readable; the run
+ * record does not yet name which source it is on.
+ */
+export declare function commitMigration(kv: KV, endpoint: string, report: MigrateReport, driver: string): Promise<{
+    migrationId: string;
+    created: boolean;
+}>;
+/** A migration the check refused, offered for commit anyway. The report says which rows refused. */
+export declare class MigrationNotAdmissible extends Error {
+    readonly report: MigrateReport;
+    constructor(report: MigrateReport);
+}
+//# sourceMappingURL=migrate.d.ts.map

package/dist/migrate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrate.d.ts","sourceRoot":"","sources":["../src/migrate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AAQtC,OAAO,EAWL,KAAK,YAAY,EACjB,KAAK,OAAO,EACb,MAAM,gBAAgB,CAAC;AAExB,kGAAkG;AAClG,MAAM,WAAW,gBAAgB;IAC/B;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IACpC,6FAA6F;IAC7F,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,MAAM,GAAG,UAAU,CAAC;AAE5D,4FAA4F;AAC5F,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,mDAAmD;IACnD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,wDAAwD;IACxD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAC;IAC3C,QAAQ,CAAC,UAAU,CAAC,EAAE,iBAAiB,CAAC;IACxC,yFAAyF;IACzF,QAAQ,CAAC,UAAU,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IACtE,+FAA+F;IAC/F,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,gGAAgG;IAChG,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,cAAc;IAC7B,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,uBAAuB;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,wDAAwD;IACxD,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,0FAA0F;IAC1F,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;IAChB,uFAAuF;IACvF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC;IACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAmCD;;;;;;GAMG;AACH,wBAAsB,UAAU,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,aAAa,CAAC,CAmE5E;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAsB,eAAe,CACnC,EAAE,EAAE,EAAE,EACN,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,aAAa,EACrB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC,CAuBpD;AAED,oGAAoG;AACpG,qBAAa,sBAAuB,SAAQ,KAAK;IACnC,QAAQ,CAAC,MAAM,EAAE,aAAa;gBAArB,MAAM,EAAE,aAAa;CAa3C"}

package/dist/migrate.js

@@ -0,0 +1,256 @@
+import { listRunNoticesForRun, runMigrationId, writeRunMigration, markRunMigrationApplied, } from "@cotal-ai/core";
+import { Journal, JournalReadOnlyError, journalEntryKeyString, programHashOf, run as runProgram, RunDivergence, UnwalkableScope, ScopeBranchMissing, } from "@cotal-ai/lang";
+/** The walk reached work the recorded run never did. Not an error: it is where a walk STOPS. */
+class Frontier extends Error {
+    step;
+    constructor(step) {
+        super(`the dry walk reached the frontier at ${step}`);
+        this.step = step;
+        this.name = "Frontier";
+    }
+}
+/**
+ * A handler that performs NOTHING and says so by stopping.
+ *
+ * The migrate walk "stops at the frontier", and the frontier is exactly the first effect with no
+ * record behind it. A handler that returned a plausible value instead would carry the walk past it
+ * into a region where every subsequent step is a `miss`, and the orphan set — the entire output —
+ * would be computed against a history the run does not have.
+ *
+ * IT IS THE SECOND STOP, NOT THE FIRST, and that is worth knowing rather than discovering. The walk
+ * reads a READ-ONLY journal, so a missing step is refused at `begin` before any handler is reached:
+ * the check's inability to write is what actually terminates it. This handler catches the case the
+ * journal cannot — an entry left PENDING by a crash, which is looked up rather than begun — and is
+ * the belt for any later path that reaches a handler without appending first.
+ */
+function dryHandler(now) {
+    const stop = (_req, ctx) => {
+        throw new Frontier(`${ctx.key.kind}:${ctx.key.name}#${ctx.key.occurrence}`);
+    };
+    return {
+        now,
+        spawn: stop, turn: stop, ask: stop, checkpoint: stop, sleep: stop,
+        wait: stop, notify: stop, monitor: stop, openConclave: stop, closeConclave: stop,
+    };
+}
+/**
+ * Run the migrate check. Reads; never writes.
+ *
+ * The report is the product whether or not the migration is admissible — a rejected migration owes
+ * the caller the per-step reason, which is the only thing that makes repair possible (the `L`
+ * catalogue).
+ */
+export async function migrateRun(req) {
+    const journal = new Journal({ run: req.runId, entries: req.entries, readOnly: true });
+    let divergence;
+    let unwalkable;
+    try {
+        await runProgram(req.source, {
+            runId: req.runId,
+            handler: dryHandler(req.now),
+            journal,
+            migration: true,
+            pins: req.pins,
+            ...(req.file !== undefined ? { file: req.file } : {}),
+        });
+    }
+    catch (e) {
+        if (e instanceof RunDivergence) {
+            divergence = {
+                step: e.stepKey,
+                recordedHash: e.recordedHash,
+                programHash: e.programHash,
+            };
+        }
+        else if (e instanceof UnwalkableScope || e instanceof ScopeBranchMissing) {
+            // Both are "the walk could not enter this scope", which is what `unwalkable` is for and what
+            // blocks `admissible` below. They are separate classes because the REPAIRS differ — a
+            // conclave needs a fork, a missing branch needs the arm's name back — and `why` carries the
+            // whole refusal, which for L5022 names the recorded arms, the source's arms, and the gap.
+            unwalkable = { step: e.scopeKey, why: e.message };
+        }
+        else if (!(e instanceof Frontier) && !(e instanceof JournalReadOnlyError)) {
+            // A program fault under an edited source is the migration's answer too — L4007 from an edited
+            // `onExpiry: fail` is exactly the case the walk is specified to handle — but it is not a
+            // divergence, and it is not this function's to swallow. The steps after it were simply not
+            // reached, which is already visible in the orphan set below.
+            if (!isProgramFault(e))
+                throw e;
+        }
+    }
+    const orphans = journal.orphans();
+    const notices = orphans.some((o) => o.kind === "notify")
+        ? await listRunNoticesForRun(req.kv, req.endpoint, req.runId)
+        : [];
+    const consumedBy = new Map();
+    for (const n of notices) {
+        const key = n.spec.step;
+        consumedBy.set(key, (consumedBy.get(key) ?? true) && n.consumed !== undefined);
+    }
+    const overrides = recordedOverrides(req.overrides);
+    const table = orphans.map((e) => classify(e, req.overrides, consumedBy));
+    const admissible = divergence === undefined &&
+        unwalkable === undefined &&
+        !table.some((o) => o.verdict === "rejected");
+    return {
+        run: req.runId,
+        at: req.now(),
+        actor: req.actor,
+        toHash: programHashOf(req.source),
+        ...(req.fromHash !== undefined ? { fromHash: req.fromHash } : {}),
+        admissible,
+        consumedThrough: req.entries.length - orphans.length,
+        orphans: table,
+        ...(divergence !== undefined ? { divergence } : {}),
+        ...(unwalkable !== undefined ? { unwalkable } : {}),
+        overrides,
+    };
+}
+/**
+ * File the migration, and record that this driver applied it.
+ *
+ * TWO WRITES AND THEY ARE DIFFERENT ACTS. The report is filed create-only under an id derived from
+ * its own content, so the retry a crash forces lands on its own record rather than filing a second
+ * migration for one decision. The application is a separate, create-only status: two drivers racing
+ * to advance one run both find no status and both write, and the store decides. A driver that lost
+ * that race hears about it instead of believing it moved a run somebody else moved.
+ *
+ * REFUSED FOR AN INADMISSIBLE REPORT, before anything is written. A migration the check rejected is
+ * not a migration with a caveat — filing it would put a decision nobody may act on into the same
+ * history a reader trusts, and the refusal is the product the check exists to produce.
+ *
+ * What is still NOT here, stated rather than implied: the run's pinned program hash does not
+ * advance, because `RunSpecValue` carries no program hash to advance — that pin is declared and
+ * unbuilt, and this branch does not invent it. The migration is durable and readable; the run
+ * record does not yet name which source it is on.
+ */
+export async function commitMigration(kv, endpoint, report, driver) {
+    if (!report.admissible) {
+        throw new MigrationNotAdmissible(report);
+    }
+    const content = {
+        v: 1,
+        run: report.run,
+        ...(report.fromHash !== undefined ? { fromHash: report.fromHash } : {}),
+        toHash: report.toHash,
+        consumedThrough: report.consumedThrough,
+        orphans: report.orphans.map((o) => ({
+            step: o.step,
+            kind: o.kind,
+            verdict: o.verdict,
+            ...(o.code !== undefined ? { code: o.code } : {}),
+        })),
+        overrides: report.overrides,
+        actor: report.actor,
+    };
+    const migrationId = runMigrationId(content);
+    const { created } = await writeRunMigration(kv, endpoint, migrationId, { ...content, at: report.at });
+    await markRunMigrationApplied(kv, endpoint, report.run, migrationId, driver, report.at);
+    return { migrationId, created };
+}
+/** A migration the check refused, offered for commit anyway. The report says which rows refused. */
+export class MigrationNotAdmissible extends Error {
+    report;
+    constructor(report) {
+        const refused = report.orphans.filter((o) => o.verdict === "rejected");
+        super(`run ${report.run} cannot migrate: ` +
+            (report.divergence !== undefined
+                ? `${report.divergence.step} diverged`
+                : report.unwalkable !== undefined
+                    ? `the walk could not enter ${report.unwalkable.step}`
+                    : refused.map((o) => `${o.code} at ${o.step}`).join(", ")) +
+            `. The report carries the per-step reason; nothing was written.`);
+        this.report = report;
+        this.name = "MigrationNotAdmissible";
+    }
+}
+/** A fault the PROGRAM raised under the new source. Named by code, not by class: the language's
+ *  faults cross the package boundary as values and a structural check is what survives that. */
+function isProgramFault(e) {
+    return typeof e?.code === "string";
+}
+function recordedOverrides(o) {
+    if (o === undefined)
+        return [];
+    const out = [];
+    if (o.discardApprovals === true)
+        out.push("--discard-approvals");
+    for (const h of o.adopt ?? [])
+        out.push(`--adopt ${h}`);
+    for (const h of o.release ?? [])
+        out.push(`--release ${h}`);
+    return out;
+}
+/**
+ * The orphan table, one entry at a time.
+ *
+ * `kept` rather than `ignored` for a turn, because the two are different promises. An ignored sleep
+ * leaves nothing behind. An ignored TURN would be a claim that an agent did not speak, and it did:
+ * the entry stays in the journal and the migration says so, so no reader is ever told the work did
+ * not happen.
+ */
+function classify(e, o, noticeConsumed) {
+    const step = journalEntryKeyString(e);
+    const ignore = (why) => ({ step, kind: e.kind, verdict: "ignored", why });
+    const reject = (code, why) => ({ step, kind: e.kind, verdict: "rejected", code, why });
+    switch (e.kind) {
+        case "sleep":
+        case "wait":
+        case "monitor":
+        case "ask":
+            return ignore("nothing outlives it");
+        case "turn":
+            return {
+                step,
+                kind: e.kind,
+                verdict: "kept",
+                why: "the agent already took this turn and spoke in its channels; the entry stays and the migration records that the current source no longer accounts for it",
+            };
+        case "notify": {
+            const consumed = noticeConsumed.get(step);
+            if (consumed === true)
+                return ignore("its notice was already carried by the addressee's next turn");
+            if (consumed === undefined)
+                return reject("L5013", "no notice is filed for this step, so whether it was delivered cannot be established; a migration does not guess about a decision already sent");
+            return reject("L5013", "the notice has not been carried by its addressee's next turn, and migrating would deliver a decision the new program no longer makes");
+        }
+        case "conclave":
+            return e.closed === true
+                ? ignore("the scope closed, so no membership outlives it")
+                : reject("L5014", "an open conclave is live membership the new program cannot close");
+        case "spawn":
+            // The specified repair for this row is `--adopt <handle>` or `--release`. NEITHER IS HONOURED
+            // HERE, and that is the seam rather than an omission: both name a durable agent this host
+            // cannot address, because `spawn` itself rides durable-action machinery that is not in this
+            // tree yet. An override that read as accepted would be the fake success — a migration
+            // recorded as having released an agent nothing ever released.
+            return (o?.adopt?.length ?? 0) + (o?.release?.length ?? 0) > 0
+                ? reject("L5003", "--adopt and --release name a durable agent handle, and spawn is not durable on this host yet: it rides the durable-action machinery, which has not landed. The override is refused rather than recorded as honoured.")
+                : reject("L5003", "the edit dropped a step that spawned a live agent; pass --adopt <handle> to reassign it or --release to tear it down");
+        case "checkpoint": {
+            const raw = e.result;
+            if (raw?.outcome !== "resolved")
+                return ignore("no human decision was recorded against it");
+            if (o?.discardApprovals === true)
+                return {
+                    step,
+                    kind: e.kind,
+                    verdict: "kept",
+                    why: `a recorded decision${raw.by !== undefined ? ` by ${raw.by}` : ""} is discarded under --discard-approvals, and the override is recorded with the actor who passed it`,
+                };
+            return reject("L5004", `the edit would discard a decision${raw.by !== undefined ? ` ${raw.by} actually made` : " a person actually made"}; pass --discard-approvals if that is intended`);
+        }
+        case "parallel":
+        case "race":
+        case "fanOut":
+            // A scope is not an effect and outlives nothing by itself; every consequence it had belongs
+            // to an entry underneath it, and those get their own rows. `conclave` is the exception and is
+            // above, which is exactly why the orphan table lists it and not these three.
+            return ignore("a scope outlives nothing of its own; what ran under it has its own rows");
+        default:
+            // Anything a later version journals. A kind this table does not know is not a kind it may wave
+            // through: the table is the safety property, and an unlisted kind means it has a hole.
+            return reject("L5015", `no orphan policy is defined for a ${e.kind} entry, and a migration does not invent one`);
+    }
+}
+//# sourceMappingURL=migrate.js.map

package/dist/migrate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrate.js","sourceRoot":"","sources":["../src/migrate.ts"],"names":[],"mappings":"AAgCA,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,iBAAiB,EACjB,uBAAuB,GAExB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,OAAO,EACP,oBAAoB,EACpB,qBAAqB,EACrB,aAAa,EACb,GAAG,IAAI,UAAU,EACjB,aAAa,EACb,eAAe,EACf,kBAAkB,GAKnB,MAAM,gBAAgB,CAAC;AAmFxB,gGAAgG;AAChG,MAAM,QAAS,SAAQ,KAAK;IACL;IAArB,YAAqB,IAAY;QAC/B,KAAK,CAAC,wCAAwC,IAAI,EAAE,CAAC,CAAC;QADnC,SAAI,GAAJ,IAAI,CAAQ;QAE/B,IAAI,CAAC,IAAI,GAAG,UAAU,CAAC;IACzB,CAAC;CACF;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,UAAU,CAAC,GAAiB;IACnC,MAAM,IAAI,GAAG,CAAC,IAAa,EAAE,GAAkB,EAAS,EAAE;QACxD,MAAM,IAAI,QAAQ,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;IAC9E,CAAC,CAAC;IACF,OAAO;QACL,GAAG;QACH,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI;QACjE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI;KACrD,CAAC;AAChC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,GAAmB;IAClD,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAEtF,IAAI,UAAyC,CAAC;IAC9C,IAAI,UAAqD,CAAC;IAC1D,IAAI,CAAC;QACH,MAAM,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE;YAC3B,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;YAC5B,OAAO;YACP,SAAS,EAAE,IAAI;YACf,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACtD,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,aAAa,EAAE,CAAC;YAC/B,UAAU,GAAG;gBACX,IAAI,EAAE,CAAC,CAAC,OAAO;gBACf,YAAY,EAAE,CAAC,CAAC,YAAY;gBAC5B,WAAW,EAAE,CAAC,CAAC,WAAW;aAC3B,CAAC;QACJ,CAAC;aAAM,IAAI,CAAC,YAAY,eAAe,IAAI,CAAC,YAAY,kBAAkB,EAAE,CAAC;YAC3E,6FAA6F;YAC7F,sFAAsF;YACtF,4FAA4F;YAC5F,0FAA0F;YAC1F,UAAU,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QACpD,CAAC;aAAM,IAAI,CAAC,CAAC,CAAC,YAAY,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,oBAAoB,CAAC,EAAE,CAAC;YAC5E,8FAA8F;YAC9F,yFAAyF;YACzF,2FAA2F;YAC3F,6DAA6D;YAC7D,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;gBAAE,MAAM,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC;IAClC,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;QACtD,CAAC,CAAC,MAAM,oBAAoB,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC;QAC7D,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,UAAU,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACxB,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IACjF,CAAC;IAED,MAAM,SAAS,GAAG,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;IAEzE,MAAM,UAAU,GACd,UAAU,KAAK,SAAS;QACxB,UAAU,KAAK,SAAS;QACxB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC;IAE/C,OAAO;QACL,GAAG,EAAE,GAAG,CAAC,KAAK;QACd,EAAE,EAAE,GAAG,CAAC,GAAG,EAAE;QACb,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,MAAM,EAAE,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC;QACjC,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,UAAU;QACV,eAAe,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM;QACpD,OAAO,EAAE,KAAK;QACd,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,SAAS;KACV,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,EAAM,EACN,QAAgB,EAChB,MAAqB,EACrB,MAAc;IAEd,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,IAAI,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC;IACD,MAAM,OAAO,GAAsC;QACjD,CAAC,EAAE,CAAC;QACJ,GAAG,EAAE,MAAM,CAAC,GAAG;QACf,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAClC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAClD,CAAC,CAAC;QACH,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,KAAK,EAAE,MAAM,CAAC,KAAK;KACpB,CAAC;IACF,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,iBAAiB,CAAC,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,GAAG,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IACtG,MAAM,uBAAuB,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACxF,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;AAClC,CAAC;AAED,oGAAoG;AACpG,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IAC1B;IAArB,YAAqB,MAAqB;QACxC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC;QACvE,KAAK,CACH,OAAO,MAAM,CAAC,GAAG,mBAAmB;YAClC,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS;gBAC9B,CAAC,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,WAAW;gBACtC,CAAC,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS;oBAC/B,CAAC,CAAC,4BAA4B,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE;oBACtD,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9D,gEAAgE,CACnE,CAAC;QAViB,WAAM,GAAN,MAAM,CAAe;QAWxC,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;IACvC,CAAC;CACF;AAED;gGACgG;AAChG,SAAS,cAAc,CAAC,CAAU;IAChC,OAAO,OAAQ,CAAwB,EAAE,IAAI,KAAK,QAAQ,CAAC;AAC7D,CAAC;AAED,SAAS,iBAAiB,CAAC,CAA+B;IACxD,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,CAAC,CAAC,gBAAgB,KAAK,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACjE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;IAC5D,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,QAAQ,CACf,CAAe,EACf,CAA+B,EAC/B,cAA4C;IAE5C,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,CAAC,GAAW,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;IACjG,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,GAAW,EAAiB,EAAE,CAC1D,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAE3D,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACR,OAAO,MAAM,CAAC,qBAAqB,CAAC,CAAC;QAEvC,KAAK,MAAM;YACT,OAAO;gBACL,IAAI;gBACJ,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,OAAO,EAAE,MAAM;gBACf,GAAG,EAAE,yJAAyJ;aAC/J,CAAC;QAEJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,QAAQ,KAAK,IAAI;gBAAE,OAAO,MAAM,CAAC,6DAA6D,CAAC,CAAC;YACpG,IAAI,QAAQ,KAAK,SAAS;gBACxB,OAAO,MAAM,CACX,OAAO,EACP,+IAA+I,CAChJ,CAAC;YACJ,OAAO,MAAM,CACX,OAAO,EACP,sIAAsI,CACvI,CAAC;QACJ,CAAC;QAED,KAAK,UAAU;YACb,OAAO,CAAC,CAAC,MAAM,KAAK,IAAI;gBACtB,CAAC,CAAC,MAAM,CAAC,gDAAgD,CAAC;gBAC1D,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,kEAAkE,CAAC,CAAC;QAE1F,KAAK,OAAO;YACV,8FAA8F;YAC9F,0FAA0F;YAC1F,4FAA4F;YAC5F,sFAAsF;YACtF,8DAA8D;YAC9D,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;gBAC5D,CAAC,CAAC,MAAM,CACJ,OAAO,EACP,sNAAsN,CACvN;gBACH,CAAC,CAAC,MAAM,CACJ,OAAO,EACP,sHAAsH,CACvH,CAAC;QAER,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,GAAG,GAAG,CAAC,CAAC,MAAuD,CAAC;YACtE,IAAI,GAAG,EAAE,OAAO,KAAK,UAAU;gBAAE,OAAO,MAAM,CAAC,2CAA2C,CAAC,CAAC;YAC5F,IAAI,CAAC,EAAE,gBAAgB,KAAK,IAAI;gBAC9B,OAAO;oBACL,IAAI;oBACJ,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,OAAO,EAAE,MAAM;oBACf,GAAG,EAAE,sBAAsB,GAAG,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,oGAAoG;iBAC3K,CAAC;YACJ,OAAO,MAAM,CACX,OAAO,EACP,oCAAoC,GAAG,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,yBAAyB,gDAAgD,CAClK,CAAC;QACJ,CAAC;QAED,KAAK,UAAU,CAAC;QAChB,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ;YACX,4FAA4F;YAC5F,8FAA8F;YAC9F,6EAA6E;YAC7E,OAAO,MAAM,CAAC,yEAAyE,CAAC,CAAC;QAE3F;YACE,+FAA+F;YAC/F,uFAAuF;YACvF,OAAO,MAAM,CACX,OAAO,EACP,qCAAqC,CAAC,CAAC,IAAI,6CAA6C,CACzF,CAAC;IACN,CAAC;AACH,CAAC"}

package/dist/resolve-checkpoint.d.ts

@@ -0,0 +1,75 @@
+/**
+ * `resolveCheckpoint` — the run-driver command through which a checkpoint is answered.
+ *
+ * **Nothing outside presents the token.** A checkpoint's resume is holder-bound (SPEC §13.10), and
+ * a workflow checkpoint's holder is the run driver: it is the one principal guaranteed to exist for
+ * the pause's whole life. So an observer UI, a notification action, or another agent does not talk
+ * to `endpoint-checkpoint` at all — each calls this, which authorizes the caller under the run's
+ * own ACL, files their answer, and then presents the token as the driver. "Resolvable from
+ * anywhere" is true at the product level while resume stays holder-bound at the protocol level, and
+ * §13.10 is not weakened by a millimetre. The cost is that the driver must be reachable to answer a
+ * checkpoint, which is the same condition under which the run advances at all.
+ *
+ * **The answer is written BEFORE the token is presented,** and the two are separate facts on
+ * purpose. The record is the payload; the settle is the one-use arbiter that releases the run. In
+ * that order a crash in between leaves an answer nobody accepted — orphaned, read by nothing, and
+ * harmless. In the other order it would leave a run released with its answer nowhere.
+ *
+ * **The step is addressed by its KEY, not by its token.** A token is `ctx.requestId`, derived from
+ * the run, the step key, the input hash and the attempt, and a resolver has none of those: it knows
+ * "the checkpoint named `approve` in this run". The journal is what maps one to the other, and it is
+ * also what says whether that step is still open — which is the question a resolver most needs
+ * answered before it collects a human's decision.
+ */
+import { type CheckpointSettleFact } from "@cotal-ai/core";
+import type { JetStreamClient, JetStreamManager } from "@nats-io/jetstream";
+import type { KV } from "@nats-io/kv";
+import { type JournalEntry } from "@cotal-ai/lang";
+/** No open checkpoint answers to this address in this run. */
+export declare class CheckpointNotOpen extends Error {
+    readonly runId: string;
+    readonly stepKey: string;
+    readonly why: "unknown" | "settled" | "not-a-checkpoint" | "no-identity";
+    constructor(runId: string, stepKey: string, why: "unknown" | "settled" | "not-a-checkpoint" | "no-identity");
+}
+export interface ResolveCheckpointRequest {
+    readonly runId: string;
+    /** The step's canonical key string, e.g. `/checkpoint:approve#0` (`stepKeyString`). */
+    readonly stepKey: string;
+    /** WHO answered, as the run's ACL knows them. Recorded; never the presenting principal. */
+    readonly by: string;
+    readonly value?: unknown;
+    /** The digest of what the answerer actually saw — an approval as evidence, not as a claim. */
+    readonly artifact?: string;
+    readonly now: number;
+}
+export interface ResolveCheckpointResult {
+    readonly token: string;
+    readonly answerId: string;
+    readonly settle: CheckpointSettleFact;
+}
+export interface ResolveCheckpointDeps {
+    readonly kv: KV;
+    readonly js: JetStreamClient;
+    readonly jsm: JetStreamManager;
+    readonly space: string;
+    /** The endpoint hosting the driver, and the holder it presents as. */
+    readonly endpoint: string;
+    readonly holder: {
+        readonly id: string;
+        readonly lifecycleUid: string;
+    };
+}
+/**
+ * Answer a run's open checkpoint.
+ *
+ * Refusals are the plane's own and are not softened here: a checkpoint already resumed is a
+ * `conflict` (resume authorization is one-use) and one already expired is a `failed-precondition`
+ * (expiry fails closed). Both mean the answer arrived too late, and both leave this resolver's
+ * record filed and unaccepted — which is what the caller needs to be told rather than a success
+ * that names a settlement somebody else won.
+ */
+export declare function resolveCheckpoint(deps: ResolveCheckpointDeps, req: ResolveCheckpointRequest): Promise<ResolveCheckpointResult>;
+/** The token of the open checkpoint at this address, or a loud refusal naming which it is not. */
+export declare function openCheckpointToken(entries: readonly JournalEntry[], runId: string, stepKey: string): string;
+//# sourceMappingURL=resolve-checkpoint.d.ts.map

package/dist/resolve-checkpoint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-checkpoint.d.ts","sourceRoot":"","sources":["../src/resolve-checkpoint.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAML,KAAK,oBAAoB,EAC1B,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC5E,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAyB,KAAK,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE1E,8DAA8D;AAC9D,qBAAa,iBAAkB,SAAQ,KAAK;IAExC,QAAQ,CAAC,KAAK,EAAE,MAAM;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM;IACxB,QAAQ,CAAC,GAAG,EAAE,SAAS,GAAG,SAAS,GAAG,kBAAkB,GAAG,aAAa;gBAF/D,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,SAAS,GAAG,SAAS,GAAG,kBAAkB,GAAG,aAAa;CAc3E;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,uFAAuF;IACvF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,2FAA2F;IAC3F,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,8FAA8F;IAC9F,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;CACvC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;IAChB,QAAQ,CAAC,EAAE,EAAE,eAAe,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,gBAAgB,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,sEAAsE;IACtE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;CACzE;AAED;;;;;;;;GAQG;AACH,wBAAsB,iBAAiB,CACrC,IAAI,EAAE,qBAAqB,EAC3B,GAAG,EAAE,wBAAwB,GAC5B,OAAO,CAAC,uBAAuB,CAAC,CA2BlC;AAED,kGAAkG;AAClG,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,SAAS,YAAY,EAAE,EAChC,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,MAAM,GACd,MAAM,CAUR"}