@kalada/core 0.2.0 → 0.4.0

package/dist/kalada-v1/evaluation-delivery.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/evaluation-delivery.ts"],"names":["arm"],"mappings":";;;;;;;;AAyBO,SAAS,aAAkC,KAAA,EAA8B;AAC9E,EAAA,MAAM,QAAQ,KAAA,CAAM,KAAA,CAAM,KAAA,CAAM,KAAA,CAAM,SAAS,CAAC,CAAA;AAChD,EAAA,QAAQ,MAAM,IAAA;AAAM,IAClB,KAAK,SAAA;AACH,MAAA,cAAA,CAAe,OAAO,KAAK,CAAA;AAC3B,MAAA;AAAA,IACF,KAAK,aAAA;AACH,MAAA,kBAAA,CAAmB,OAAO,KAAK,CAAA;AAC/B,MAAA;AAAA,IACF,KAAK,OAAA;AACH,MAAA,YAAA,CAAa,OAAO,KAAK,CAAA;AACzB,MAAA;AAAA,IACF,KAAK,iBAAA;AACH,MAAA,eAAA,CAAgB,OAAO,KAAK,CAAA;AAC5B,MAAA;AAAA,IACF,KAAK,qBAAA;AACH,MAAA,OAAA,CAAQ,KAAA,CAAM,OAAO,KAAK,CAAA;AAC1B,MAAA;AAAA,IACF,KAAK,aAAA;AACH,MAAA,aAAA,CAAc,OAAO,KAAK,CAAA;AAC1B,MAAA;AAAA,IACF,KAAK,gBAAA;AACH,MAAA,eAAA,CAAgB,OAAO,KAAK,CAAA;AAC5B,MAAA;AAAA,IACF,KAAK,aAAA;AACH,MAAA,aAAA,CAAc,OAAO,KAAK,CAAA;AAC1B,MAAA;AAAA,IACF,KAAK,gBAAA;AACH,MAAA,mBAAA,CAAoB,OAAO,KAAK,CAAA;AAChC,MAAA;AAAA;AAEN;AAEA,SAAS,cAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,IAAI,KAAA,CAAM,UAAU,MAAA,EAAQ;AAC1B,IAAA,OAAA,CAAQ,KAAA,CAAM,OAAO,KAAK,CAAA;AAC1B,IAAA;AAAA,EACF;AACA,EAAA,KAAA,CAAM,KAAA,GAAQ,MAAA;AACd,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,KAAA,CAAM,WAAW,CAAA;AACxC,EAAA,MAAA,CAAO,GAAA,CAAI,KAAA,CAAM,IAAA,EAAM,KAAA,CAAM,KAAqB,CAAA;AAClD,EAAA,QAAA,CAAS,KAAA,CAAM,MAAM,CAAC,GAAG,MAAM,IAAA,EAAM,MAAM,CAAA,EAAG,MAAA,EAAQ,KAAK,CAAA;AAC7D;AAEA,SAAS,kBAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,KAAA,CAAM,MAAM,GAAA,EAAI;AAChB,EAAA,MAAM,QAAQ,KAAA,CAAM,KAAA;AACpB,EAAA,IAAI,UAAA,CAAW,KAAK,CAAA,EAAG,IAAA,CAAK,wBAAA,EAA0B,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,OAAO,CAAC,CAAA;AAC9E,EAAA,IAAI,KAAA,CAAM,SAAS,QAAA,EAAU,OAAA,CAAQ,OAAO,IAAA,CAAK,KAAK,GAAG,KAAK,CAAA;AAAA,OACzD,OAAA,CAAQ,KAAA,CAAM,OAAA,KAAY,IAAA,GAAO,MAAA,CAAO,EAAA,CAAG,KAAK,CAAA,GAAI,MAAA,CAAO,GAAA,CAAI,KAAK,CAAA,EAAG,KAAK,CAAA;AACnF;AAEA,SAAS,YAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,IAAI,KAAA,CAAM,UAAU,KAAA,EAAO;AACzB,IAAA,OAAA,CAAQ,KAAA,CAAM,OAAO,KAAK,CAAA;AAC1B,IAAA;AAAA,EACF;AACA,EAAA,MAAM,QAAQ,KAAA,CAAM,KAAA;AACpB,EAAA,MAAM,KAAA,GAAQ,CAAC,UAAA,CAAW,KAAK,CAAA,KAAM,KAAA,CAAM,IAAA,KAAS,QAAA,GAAW,QAAA,CAAS,KAAK,CAAA,GAAI,QAAA,CAAS,KAAK,CAAA,CAAA;AAC/F,EAAA,IAAI,CAAC,OAAO,IAAA,CAAK,4BAAA,EAA8B,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,OAAO,CAAC,CAAA;AACvE,EAAA,MAAM,UAAW,KAAA,CAAwE,OAAA;AACzF,EAAA,MAAM,KAAA,GAAQ,MAAM,IAAA,CAAK,SAAA,CAAU,CAACA,IAAAA,KAAQA,IAAAA,CAAI,YAAY,OAAO,CAAA;AACnE,EAAA,MAAM,GAAA,GAAM,KAAA,CAAM,IAAA,CAAK,KAAK,CAAA;AAC5B,EAAA,IAAI,CAAC,KAAK,IAAA,CAAK,sBAAA,EAAwB,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,MAAM,CAAC,CAAA;AAC9D,EAAA,KAAA,CAAM,KAAA,GAAQ,KAAA;AACd,EAAA,KAAA,CAAM,SAAA,GAAY,KAAA;AAClB,EAAA,KAAA,CAAM,QAAA,GAAW,KAAA;AACjB,EAAA,QAAA;AAAA,IACE,GAAA,CAAI,IAAA;AAAA,IACJ,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,MAAA,EAAQ,OAAO,MAAM,CAAA;AAAA,IACrC,OAAA,CAAQ,KAAA,CAAM,KAAA,EAAO,GAAA,CAAI,SAAS,KAAK,CAAA;AAAA,IACvC;AAAA,GACF;AACF;AAEA,SAAS,OAAA,CACP,WAAA,EACA,IAAA,EACA,KAAA,EACoB;AACpB,EAAA,IAAI,CAAC,QAAQ,UAAA,CAAW,KAAK,KAAM,QAAA,CAAS,KAAK,CAAA,IAAK,KAAA,CAAM,OAAA,KAAY,MAAA;AACtE,IAAA,OAAO,WAAA;AACT,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,WAAW,CAAA;AAClC,EAAA,IAAI,QAAA,CAAS,KAAK,CAAA,IAAK,QAAA,CAAS,KAAK,GAAG,MAAA,CAAO,GAAA,CAAI,IAAA,EAAM,KAAA,CAAM,KAAK,CAAA;AACpE,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,eAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,MAAM,QAAQ,KAAA,CAAM,KAAA;AACpB,EAAA,IAAI,UAAA,CAAW,KAAK,CAAA,IAAM,CAAC,SAAA,CAAU,KAAK,CAAA,IAAK,CAAC,UAAA,CAAW,KAAK,CAAA,EAAI;AAClE,IAAA,IAAA,CAAK,iCAAiC,CAAC,GAAG,MAAM,IAAA,EAAM,KAAA,CAAM,KAAK,CAAC,CAAA;AAAA,EACpE;AACA,EAAA,IAAI,KAAA,CAAM,UAAU,MAAA,EAAQ;AAC1B,IAAA,KAAA,CAAM,KAAA,GAAQ,OAAA;AACd,IAAA,KAAA,CAAM,IAAA,GAAO,KAAA;AACb,IAAA,QAAA,CAAS,KAAA,CAAM,KAAA,EAAO,CAAC,GAAG,KAAA,CAAM,MAAM,OAAO,CAAA,EAAG,KAAA,CAAM,WAAA,EAAa,KAAK,CAAA;AACxE,IAAA;AAAA,EACF;AACA,EAAA,KAAA,CAAM,MAAM,GAAA,EAAI;AAChB,EAAA,MAAM,MAAA,GAAS,mBAAA;AAAA,IACb,KAAA,CAAM,cAAA;AAAA,IACN,KAAA,CAAM,QAAA;AAAA,IACN,KAAA,CAAM,IAAA;AAAA,IACN,KAAA;AAAA,IACA,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,OAAO;AAAA,GACzB;AACA,EAAA,OAAA,CAAQ,QAAQ,KAAK,CAAA;AACvB;AAEA,SAAS,aAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,MAAA,CAAO,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,QAAQ,GAAG,KAAK,CAAA;AACvC,EAAA,KAAA,CAAM,MAAM,GAAA,EAAI;AAChB,EAAA,MAAM,WAAW,KAAA,CAAM,KAAA;AACvB,EAAA,IAAI,CAAC,UAAA,CAAW,QAAQ,CAAA,EAAG,IAAA,CAAK,qBAAA,EAAuB,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,QAAQ,CAAC,CAAA;AAChF,EAAA,MAAM,WAAW,QAAA,CAAS,QAAA,KAAa,MAAA,GAAS,QAAA,CAAS,WAAW,MAAA,GAAS,CAAA;AAC7E,EAAA,IAAI,KAAA,CAAM,UAAU,MAAA,KAAW,QAAA;AAC7B,IAAA,IAAA,CAAK,yBAAyB,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,WAAW,CAAC,CAAA;AAC5D,EAAA,IAAI,KAAA,CAAM,SAAA,CAAU,MAAA,KAAW,CAAA,EAAG;AAChC,IAAA,QAAA,CAAS,QAAA,EAAU,EAAC,EAAG,KAAA,CAAM,MAAM,KAAK,CAAA;AACxC,IAAA;AAAA,EACF;AACA,EAAA,IAAA;AAAA,IACE;AAAA,MACE,IAAA,EAAM,gBAAA;AAAA,MACN,KAAA,EAAO,UAAA;AAAA,MACP,MAAM,KAAA,CAAM,IAAA;AAAA,MACZ,QAAA;AAAA,MACA,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,QAAQ,EAAC;AAAA,MACT,KAAA,EAAO;AAAA,KACT;AAAA,IACA,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,WAAW,CAAA;AAAA,IAC3B;AAAA,GACF;AACA,EAAA,QAAA;AAAA,IACE,KAAA,CAAM,UAAU,CAAC,CAAA;AAAA,IACjB,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,aAAa,CAAC,CAAA;AAAA,IAC9B,KAAA,CAAM,WAAA;AAAA,IACN;AAAA,GACF;AACF;AAEA,SAAS,eAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,MAAM,OAAO,CAAC,GAAG,MAAM,IAAA,EAAM,WAAA,EAAa,MAAM,KAAK,CAAA;AACrD,EAAA,MAAA,CAAO,MAAM,KAAK,CAAA;AAClB,EAAA,MAAM,WAAW,KAAA,CAAM,QAAA;AACvB,EAAA,IAAI,CAAC,UAAA,CAAW,QAAQ,CAAA,EAAG,IAAA,CAAK,qBAAA,EAAuB,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,QAAQ,CAAC,CAAA;AAChF,EAAA,MAAM,OAAO,YAAA,CAAa,QAAQ,CAAA,CAAE,UAAA,CAAW,MAAM,KAAK,CAAA;AAC1D,EAAA,IAAI,IAAA,IAAQ,CAAC,WAAA,CAAY,KAAA,CAAM,OAAuB,IAAI,CAAA;AACxD,IAAA,IAAA,CAAK,iCAAiC,IAAI,CAAA;AAC5C,EAAA,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,KAAqB,CAAA;AAC7C,EAAA,KAAA,CAAM,KAAA,IAAS,CAAA;AACf,EAAA,IAAI,KAAA,CAAM,KAAA,GAAQ,KAAA,CAAM,SAAA,CAAU,MAAA,EAAQ;AACxC,IAAA,QAAA;AAAA,MACE,KAAA,CAAM,SAAA,CAAU,KAAA,CAAM,KAAK,CAAA;AAAA,MAC3B,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,WAAA,EAAa,MAAM,KAAK,CAAA;AAAA,MACxC,KAAA,CAAM,WAAA;AAAA,MACN;AAAA,KACF;AACA,IAAA;AAAA,EACF;AACA,EAAA,KAAA,CAAM,MAAM,GAAA,EAAI;AAChB,EAAA,QAAA,CAAS,QAAA,EAAU,KAAA,CAAM,MAAA,EAAQ,KAAA,CAAM,MAAM,KAAK,CAAA;AACpD;AAEA,SAAS,QAAA,CACP,QAAA,EACA,MAAA,EACA,IAAA,EACA,KAAA,EACM;AACN,EAAA,IAAI,CAAC,UAAA,CAAW,QAAQ,CAAA,EAAG,IAAA,CAAK,uBAAuB,CAAC,GAAG,IAAA,EAAM,QAAQ,CAAC,CAAA;AAC1E,EAAA,IAAI,QAAA,CAAS,aAAa,MAAA,EAAQ;AAChC,IAAA,YAAA,CAAa,QAAA,CAAS,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,KAAK,CAAA;AAC/C,IAAA;AAAA,EACF;AACA,EAAA,YAAA,CAAa,QAAA,EAA4B,MAAA,EAAQ,IAAA,EAAM,KAAK,CAAA;AAC9D;AAEA,SAAS,YAAA,CACP,OAAA,EACA,MAAA,EACA,IAAA,EACA,KAAA,EACM;AACN,EAAA,IAAI,MAAM,SAAA,IAAa,KAAA,CAAM,OAAO,YAAA,EAAc,IAAA,CAAK,2BAA2B,IAAI,CAAA;AACtF,EAAA,cAAA,CAAe,MAAM,KAAK,CAAA;AAC1B,EAAA,MAAA,CAAO,MAAM,KAAK,CAAA;AAClB,EAAA,KAAA,CAAM,SAAA,IAAa,CAAA;AACnB,EAAA,KAAA,CAAM,MAAM,IAAA,CAAK;AAAA,IACf,IAAA,EAAM,aAAA;AAAA,IACN,KAAA,EAAO,MAAA;AAAA,IACP,IAAA;AAAA,IACA,MAAM,OAAA,CAAQ,IAAA;AAAA,IACd,SAAS,OAAA,CAAQ,OAAA;AAAA,IACjB,QAAQ,KAAA,CAAM;AAAA,GACf,CAAA;AACD,EAAA,QAAA,CAAS,OAAA,CAAQ,IAAA,EAAM,CAAC,GAAG,OAAA,CAAQ,IAAA,EAAM,MAAM,CAAA,EAAG,mBAAA,CAAoB,OAAA,EAAS,MAAM,CAAA,EAAG,KAAK,CAAA;AAC/F;AAEA,SAAS,YAAA,CACP,QAAA,EACA,MAAA,EACA,IAAA,EACA,KAAA,EACM;AACN,EAAA,MAAM,KAAA,GAAQ,OAAO,CAAC,CAAA;AACtB,EAAA,IAAI,KAAA,CAAM,MAAA,GAAS,KAAA,CAAM,MAAA,CAAO,mBAAA,EAAqB;AACnD,IAAA,IAAA,CAAK,2BAA2B,CAAC,GAAG,IAAA,EAAM,WAAA,EAAa,CAAC,CAAC,CAAA;AAAA,EAC3D;AACA,EAAA,IAAI,MAAM,SAAA,IAAa,KAAA,CAAM,OAAO,YAAA,EAAc,IAAA,CAAK,2BAA2B,IAAI,CAAA;AACtF,EAAA,cAAA,CAAe,MAAM,KAAK,CAAA;AAC1B,EAAA,MAAA,CAAO,MAAM,KAAK,CAAA;AAClB,EAAA,KAAA,CAAM,SAAA,IAAa,CAAA;AACnB,EAAA,MAAM,KAAA,GAAiE;AAAA,IACrE,IAAA,EAAM,gBAAA;AAAA,IACN,KAAA,EAAO,OAAA;AAAA,IACP,IAAA;AAAA,IACA,QAAA;AAAA,IACA,QAAA,EAAU,OAAO,CAAC,CAAA;AAAA,IAClB,KAAA;AAAA,IACA,KAAA,EAAO,CAAA;AAAA,IACP,SAAS,QAAA,KAAa,MAAA,GAAS,QAAQ,QAAA,KAAa,OAAA,GAAU,OAAO;AAAC,GACxE;AACA,EAAA,KAAA,CAAM,KAAA,CAAM,KAAK,KAAK,CAAA;AACtB,EAAA,IAAI,KAAA,CAAM,MAAA,KAAW,CAAA,EAAG,UAAA,CAAW,OAAO,KAAK,CAAA;AAAA,OAC1C,oBAAA,CAAqB,OAAO,KAAK,CAAA;AACxC;AAEA,SAAS,oBAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,KAAA,CAAM,KAAA,GAAQ,UAAA;AACd,EAAA,0BAAA,CAA2B,KAAA,CAAM,MAAM,KAAK,CAAA;AAC5C,EAAA,QAAA;AAAA,IACE,KAAA,CAAM,QAAA;AAAA,IACN,CAAC,KAAA,CAAM,KAAA,CAAM,MAAM,KAAK,CAAA,EAAgB,MAAM,KAAK,CAAA;AAAA,IACnD,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,aAAa,CAAC,CAAA;AAAA,IAC9B;AAAA,GACF;AACF;AAEA,SAAS,mBAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,MAAA,CAAO,KAAA,CAAM,MAAM,KAAK,CAAA;AACxB,EAAA,MAAM,QAAQ,KAAA,CAAM,KAAA;AACpB,EAAA,kBAAA,CAAmB,OAAO,KAAK,CAAA;AAC/B,EAAA,gBAAA,CAAiB,OAAO,KAA4B,CAAA;AACpD,EAAA,IAAI,YAAA,CAAa,KAAA,EAAO,KAAK,CAAA,EAAG;AAC9B,IAAA,UAAA,CAAW,OAAO,KAAK,CAAA;AACvB,IAAA;AAAA,EACF;AACA,EAAA,KAAA,CAAM,KAAA,IAAS,CAAA;AACf,EAAA,IAAI,MAAM,KAAA,KAAU,KAAA,CAAM,MAAM,MAAA,EAAQ,UAAA,CAAW,OAAO,KAAK,CAAA;AAAA,OAC1D,oBAAA,CAAqB,OAAO,KAAK,CAAA;AACxC;AAEA,SAAS,kBAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,MAAM,QAAA,GAAW;AAAA,IACf,IAAA,EAAM,gBAAA;AAAA,IACN,IAAA,EAAM,KAAA,CAAM,QAAA,KAAa,KAAA,GAAQ,MAAA,GAAS;AAAA,GAC5C;AACA,EAAA,IAAI,CAAC,WAAA,CAAY,KAAA,EAAO,QAAQ,CAAA,EAAG;AACjC,IAAA,IAAA,CAAK,mCAAmC,CAAC,GAAG,MAAM,IAAA,EAAM,WAAA,EAAa,CAAC,CAAC,CAAA;AAAA,EACzE;AACF;AAEA,SAAS,gBAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,IAAI,MAAM,QAAA,KAAa,KAAA,EAAQ,KAAA,CAAM,OAAA,CAAwB,KAAK,KAAkB,CAAA;AACpF,EAAA,IAAI,KAAA,CAAM,QAAA,KAAa,QAAA,IAAY,KAAA,EAAO;AACxC,IAAC,MAAM,OAAA,CAAwB,IAAA,CAAK,MAAM,KAAA,CAAM,KAAA,CAAM,KAAK,CAAc,CAAA;AAAA,EAC3E;AACA,EAAA,IAAI,KAAA,CAAM,QAAA,KAAa,MAAA,IAAU,KAAA,QAAa,OAAA,GAAU,IAAA;AACxD,EAAA,IAAI,MAAM,QAAA,KAAa,OAAA,IAAW,CAAC,KAAA,QAAa,OAAA,GAAU,KAAA;AAC5D;AAEA,SAAS,YAAA,CACP,OACA,KAAA,EACS;AACT,EAAA,OACG,KAAA,CAAM,aAAa,MAAA,IAAU,KAAA,KAAU,QAAU,KAAA,CAAM,QAAA,KAAa,WAAW,KAAA,KAAU,KAAA;AAE9F;AAEA,SAAS,UAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,MAAM,MAAA,GAAS,KAAA,CAAM,OAAA,CAAQ,KAAA,CAAM,OAAO,CAAA,GACtC,wBAAA,CAAyB,KAAA,CAAM,OAAA,EAAS,KAAA,CAAM,IAAA,EAAM,KAAK,IACzD,KAAA,CAAM,OAAA;AACV,EAAA,KAAA,CAAM,MAAM,GAAA,EAAI;AAChB,EAAA,KAAA,CAAM,SAAA,IAAa,CAAA;AACnB,EAAA,OAAA,CAAQ,QAAQ,KAAK,CAAA;AACvB;AAEA,SAAS,wBAAA,CACP,MAAA,EACA,IAAA,EACA,KAAA,EACa;AACb,EAAA,IAAI;AACF,IAAA,SAAA,CAAU,MAAA,EAAQ;AAAA,MAChB,QAAA,EAAU,MAAM,MAAA,CAAO,aAAA;AAAA,MACvB,QAAA,EAAU,MAAM,MAAA,CAAO,aAAA;AAAA,MACvB,eAAA,EAAiB,MAAM,MAAA,CAAO;AAAA,KAC/B,CAAA;AAAA,EACH,CAAA,CAAA,MAAQ;AACN,IAAA,IAAA,CAAK,yBAAyB,IAAI,CAAA;AAAA,EACpC;AACA,EAAA,OAAO,MAAA,CAAO,OAAO,MAAM,CAAA;AAC7B;AAEA,SAAS,aAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,MAAA,CAAO,KAAA,CAAM,MAAM,KAAK,CAAA;AACxB,EAAA,KAAA,CAAM,MAAM,GAAA,EAAI;AAChB,EAAA,KAAA,CAAM,cAAc,KAAA,CAAM,MAAA;AAC1B,EAAA,KAAA,CAAM,SAAA,IAAa,CAAA;AACnB,EAAA,IAAI,CAAC,WAAA,CAAY,KAAA,CAAM,KAAA,EAAuB,MAAM,OAAO,CAAA;AACzD,IAAA,IAAA,CAAK,+BAAA,EAAiC,MAAM,IAAI,CAAA;AACpD;AAEA,SAAS,OAAA,CACP,aACA,KAAA,EACM;AACN,EAAA,KAAA,CAAM,MAAM,GAAA,EAAI;AAChB,EAAA,KAAA,CAAM,WAAA,GAAc,WAAA;AACtB","file":"evaluation-delivery.js","sourcesContent":["import { type EvaluationFrame, functionEnvironment, type Path } from \"./evaluation-frames.js\";\nimport {\n  charge,\n  deliver,\n  ensureCapacity,\n  evaluate,\n  fail,\n  type MachineState,\n  push,\n  reserveCollectionIteration,\n} from \"./evaluation-state.js\";\nimport { cloneJson, type JsonValue } from \"./json.js\";\nimport {\n  callableType,\n  isCallable,\n  matchesType,\n  type RuntimeEnvironment,\n  type RuntimeValue,\n  type UserClosure,\n} from \"./runtime-values.js\";\nimport { isDuration, isInstant } from \"./temporal.js\";\nimport { applyTemporalBinary } from \"./temporal-evaluation.js\";\nimport type { KaladaV1Expression } from \"./types.js\";\nimport { isOption, isResult, type KaladaValue, Option, Result } from \"./values.js\";\n\nexport function deliverFrame<R extends JsonValue>(state: MachineState<R>): void {\n  const frame = state.stack[state.stack.length - 1] as EvaluationFrame<R>;\n  switch (frame.kind) {\n    case \"binding\":\n      deliverBinding(frame, state);\n      break;\n    case \"constructor\":\n      deliverConstructor(frame, state);\n      break;\n    case \"match\":\n      deliverMatch(frame, state);\n      break;\n    case \"temporal-binary\":\n      deliverTemporal(frame, state);\n      break;\n    case \"function-group-body\":\n      restore(frame.outer, state);\n      break;\n    case \"call-callee\":\n      deliverCallee(frame, state);\n      break;\n    case \"call-arguments\":\n      deliverArgument(frame, state);\n      break;\n    case \"user-return\":\n      deliverReturn(frame, state);\n      break;\n    case \"core-iteration\":\n      deliverCoreCallback(frame, state);\n      break;\n  }\n}\n\nfunction deliverBinding<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"binding\" }>,\n  state: MachineState<R>,\n): void {\n  if (frame.phase === \"body\") {\n    restore(frame.outer, state);\n    return;\n  }\n  frame.phase = \"body\";\n  const nested = new Map(state.environment);\n  nested.set(frame.name, state.value as RuntimeValue);\n  evaluate(frame.body, [...frame.path, \"body\"], nested, state);\n}\n\nfunction deliverConstructor<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"constructor\" }>,\n  state: MachineState<R>,\n): void {\n  state.stack.pop();\n  const value = state.value as RuntimeValue;\n  if (isCallable(value)) fail(\"KALADA_FUNCTION_ESCAPE\", [...frame.path, \"value\"]);\n  if (frame.type === \"Option\") deliver(Option.some(value), state);\n  else deliver(frame.variant === \"ok\" ? Result.ok(value) : Result.err(value), state);\n}\n\nfunction deliverMatch<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"match\" }>,\n  state: MachineState<R>,\n): void {\n  if (frame.phase === \"arm\") {\n    restore(frame.outer, state);\n    return;\n  }\n  const value = state.value as RuntimeValue;\n  const valid = !isCallable(value) && (frame.type === \"Option\" ? isOption(value) : isResult(value));\n  if (!valid) fail(\"KALADA_MATCH_TYPE_MISMATCH\", [...frame.path, \"value\"]);\n  const variant = (value as ReturnType<typeof Option.none> | ReturnType<typeof Result.ok>).variant;\n  const index = frame.arms.findIndex((arm) => arm.variant === variant);\n  const arm = frame.arms[index];\n  if (!arm) fail(\"KALADA_INVALID_INPUT\", [...frame.path, \"arms\"]);\n  frame.phase = \"arm\";\n  frame.scrutinee = value;\n  frame.selected = index;\n  evaluate(\n    arm.body,\n    [...frame.path, \"arms\", index, \"body\"],\n    bindArm(frame.outer, arm.binding, value),\n    state,\n  );\n}\n\nfunction bindArm(\n  environment: RuntimeEnvironment,\n  name: string | undefined,\n  value: RuntimeValue,\n): RuntimeEnvironment {\n  if (!name || isCallable(value) || (isOption(value) && value.variant === \"none\"))\n    return environment;\n  const nested = new Map(environment);\n  if (isOption(value) || isResult(value)) nested.set(name, value.value);\n  return nested;\n}\n\nfunction deliverTemporal<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"temporal-binary\" }>,\n  state: MachineState<R>,\n): void {\n  const value = state.value as RuntimeValue;\n  if (isCallable(value) || (!isInstant(value) && !isDuration(value))) {\n    fail(\"KALADA_TEMPORAL_TYPE_MISMATCH\", [...frame.path, frame.phase]);\n  }\n  if (frame.phase === \"left\") {\n    frame.phase = \"right\";\n    frame.left = value;\n    evaluate(frame.right, [...frame.path, \"right\"], state.environment, state);\n    return;\n  }\n  state.stack.pop();\n  const output = applyTemporalBinary(\n    frame.expressionKind,\n    frame.operator,\n    frame.left as KaladaValue,\n    value,\n    [...frame.path, \"right\"],\n  );\n  deliver(output, state);\n}\n\nfunction deliverCallee<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"call-callee\" }>,\n  state: MachineState<R>,\n): void {\n  charge([...frame.path, \"callee\"], state);\n  state.stack.pop();\n  const callable = state.value as RuntimeValue;\n  if (!isCallable(callable)) fail(\"KALADA_NOT_CALLABLE\", [...frame.path, \"callee\"]);\n  const expected = callable.callable === \"user\" ? callable.parameters.length : 2;\n  if (frame.arguments.length !== expected)\n    fail(\"KALADA_FUNCTION_ARITY\", [...frame.path, \"arguments\"]);\n  if (frame.arguments.length === 0) {\n    dispatch(callable, [], frame.path, state);\n    return;\n  }\n  push(\n    {\n      kind: \"call-arguments\",\n      phase: \"argument\",\n      path: frame.path,\n      callable,\n      arguments: frame.arguments,\n      values: [],\n      index: 0,\n    },\n    [...frame.path, \"arguments\"],\n    state,\n  );\n  evaluate(\n    frame.arguments[0] as KaladaV1Expression<R>,\n    [...frame.path, \"arguments\", 0],\n    state.environment,\n    state,\n  );\n}\n\nfunction deliverArgument<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"call-arguments\" }>,\n  state: MachineState<R>,\n): void {\n  const path = [...frame.path, \"arguments\", frame.index];\n  charge(path, state);\n  const callable = frame.callable;\n  if (!isCallable(callable)) fail(\"KALADA_NOT_CALLABLE\", [...frame.path, \"callee\"]);\n  const type = callableType(callable).parameters[frame.index];\n  if (type && !matchesType(state.value as RuntimeValue, type))\n    fail(\"KALADA_FUNCTION_TYPE_MISMATCH\", path);\n  frame.values.push(state.value as RuntimeValue);\n  frame.index += 1;\n  if (frame.index < frame.arguments.length) {\n    evaluate(\n      frame.arguments[frame.index] as KaladaV1Expression<R>,\n      [...frame.path, \"arguments\", frame.index],\n      state.environment,\n      state,\n    );\n    return;\n  }\n  state.stack.pop();\n  dispatch(callable, frame.values, frame.path, state);\n}\n\nfunction dispatch<R extends JsonValue>(\n  callable: RuntimeValue,\n  values: readonly RuntimeValue[],\n  path: Path,\n  state: MachineState<R>,\n): void {\n  if (!isCallable(callable)) fail(\"KALADA_NOT_CALLABLE\", [...path, \"callee\"]);\n  if (callable.callable === \"core\") {\n    dispatchCore(callable.name, values, path, state);\n    return;\n  }\n  dispatchUser(callable as UserClosure<R>, values, path, state);\n}\n\nfunction dispatchUser<R extends JsonValue>(\n  closure: UserClosure<R>,\n  values: readonly RuntimeValue[],\n  path: Path,\n  state: MachineState<R>,\n): void {\n  if (state.callDepth >= state.limits.maxCallDepth) fail(\"KALADA_CALL_DEPTH_LIMIT\", path);\n  ensureCapacity(path, state);\n  charge(path, state);\n  state.callDepth += 1;\n  state.stack.push({\n    kind: \"user-return\",\n    phase: \"body\",\n    path,\n    name: closure.name,\n    returns: closure.returns,\n    caller: state.environment,\n  });\n  evaluate(closure.body, [...closure.path, \"body\"], functionEnvironment(closure, values), state);\n}\n\nfunction dispatchCore<R extends JsonValue>(\n  operator: Extract<EvaluationFrame<R>, { kind: \"core-iteration\" }>[\"operator\"],\n  values: readonly RuntimeValue[],\n  path: Path,\n  state: MachineState<R>,\n): void {\n  const input = values[0] as readonly JsonValue[];\n  if (input.length > state.limits.maxCollectionLength) {\n    fail(\"KALADA_COLLECTION_LIMIT\", [...path, \"arguments\", 0]);\n  }\n  if (state.callDepth >= state.limits.maxCallDepth) fail(\"KALADA_CALL_DEPTH_LIMIT\", path);\n  ensureCapacity(path, state);\n  charge(path, state);\n  state.callDepth += 1;\n  const frame: Extract<EvaluationFrame<R>, { kind: \"core-iteration\" }> = {\n    kind: \"core-iteration\",\n    phase: \"ready\",\n    path,\n    operator,\n    callback: values[1] as RuntimeValue,\n    input,\n    index: 0,\n    partial: operator === \"some\" ? false : operator === \"every\" ? true : [],\n  };\n  state.stack.push(frame);\n  if (input.length === 0) finishCore(frame, state);\n  else dispatchCoreCallback(frame, state);\n}\n\nfunction dispatchCoreCallback<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"core-iteration\" }>,\n  state: MachineState<R>,\n): void {\n  frame.phase = \"callback\";\n  reserveCollectionIteration(frame.path, state);\n  dispatch(\n    frame.callback,\n    [frame.input[frame.index] as JsonValue, frame.index],\n    [...frame.path, \"arguments\", 1],\n    state,\n  );\n}\n\nfunction deliverCoreCallback<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"core-iteration\" }>,\n  state: MachineState<R>,\n): void {\n  charge(frame.path, state);\n  const value = state.value as RuntimeValue;\n  validateCoreResult(frame, value);\n  updateCoreResult(frame, value as JsonValue | boolean);\n  if (coreFinished(frame, value)) {\n    finishCore(frame, state);\n    return;\n  }\n  frame.index += 1;\n  if (frame.index === frame.input.length) finishCore(frame, state);\n  else dispatchCoreCallback(frame, state);\n}\n\nfunction validateCoreResult<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"core-iteration\" }>,\n  value: RuntimeValue,\n): void {\n  const expected = {\n    kind: \"primitive-type\",\n    name: frame.operator === \"map\" ? \"json\" : \"boolean\",\n  } as const;\n  if (!matchesType(value, expected)) {\n    fail(\"KALADA_COLLECTION_TYPE_MISMATCH\", [...frame.path, \"arguments\", 1]);\n  }\n}\n\nfunction updateCoreResult<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"core-iteration\" }>,\n  value: JsonValue | boolean,\n): void {\n  if (frame.operator === \"map\") (frame.partial as JsonValue[]).push(value as JsonValue);\n  if (frame.operator === \"filter\" && value) {\n    (frame.partial as JsonValue[]).push(frame.input[frame.index] as JsonValue);\n  }\n  if (frame.operator === \"some\" && value) frame.partial = true;\n  if (frame.operator === \"every\" && !value) frame.partial = false;\n}\n\nfunction coreFinished<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"core-iteration\" }>,\n  value: RuntimeValue,\n): boolean {\n  return (\n    (frame.operator === \"some\" && value === true) || (frame.operator === \"every\" && value === false)\n  );\n}\n\nfunction finishCore<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"core-iteration\" }>,\n  state: MachineState<R>,\n): void {\n  const output = Array.isArray(frame.partial)\n    ? validateCollectionOutput(frame.partial, frame.path, state)\n    : frame.partial;\n  state.stack.pop();\n  state.callDepth -= 1;\n  deliver(output, state);\n}\n\nfunction validateCollectionOutput<R extends JsonValue>(\n  output: JsonValue[],\n  path: Path,\n  state: MachineState<R>,\n): JsonValue[] {\n  try {\n    cloneJson(output, {\n      maxDepth: state.limits.maxValueDepth,\n      maxNodes: state.limits.maxValueNodes,\n      maxStringLength: state.limits.maxStringLength,\n    });\n  } catch {\n    fail(\"KALADA_LIMIT_EXCEEDED\", path);\n  }\n  return Object.freeze(output) as JsonValue[];\n}\n\nfunction deliverReturn<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"user-return\" }>,\n  state: MachineState<R>,\n): void {\n  charge(frame.path, state);\n  state.stack.pop();\n  state.environment = frame.caller;\n  state.callDepth -= 1;\n  if (!matchesType(state.value as RuntimeValue, frame.returns))\n    fail(\"KALADA_FUNCTION_TYPE_MISMATCH\", frame.path);\n}\n\nfunction restore<R extends JsonValue>(\n  environment: RuntimeEnvironment,\n  state: MachineState<R>,\n): void {\n  state.stack.pop();\n  state.environment = environment;\n}\n"]}

package/dist/kalada-v1/evaluation-frames.cjs

@@ -0,0 +1,16 @@
+'use strict';
+
+function functionEnvironment(closure, values) {
+  const output = new Map(closure.captures);
+  closure.recursive?.names.forEach((name, index) => {
+    output.set(name, closure.recursive?.closures[index]);
+  });
+  closure.parameters.forEach((parameter, index) => {
+    output.set(parameter.name, values[index]);
+  });
+  return output;
+}
+
+exports.functionEnvironment = functionEnvironment;
+//# sourceMappingURL=evaluation-frames.cjs.map
+//# sourceMappingURL=evaluation-frames.cjs.map

package/dist/kalada-v1/evaluation-frames.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/evaluation-frames.ts"],"names":[],"mappings":";;AAqFO,SAAS,mBAAA,CACd,SACA,MAAA,EACoB;AACpB,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,OAAA,CAAQ,QAAQ,CAAA;AACvC,EAAA,OAAA,CAAQ,SAAA,EAAW,KAAA,CAAM,OAAA,CAAQ,CAAC,MAAM,KAAA,KAAU;AAChD,IAAA,MAAA,CAAO,IAAI,IAAA,EAAM,OAAA,CAAQ,SAAA,EAAW,QAAA,CAAS,KAAK,CAAmB,CAAA;AAAA,EACvE,CAAC,CAAA;AACD,EAAA,OAAA,CAAQ,UAAA,CAAW,OAAA,CAAQ,CAAC,SAAA,EAAW,KAAA,KAAU;AAC/C,IAAA,MAAA,CAAO,GAAA,CAAI,SAAA,CAAU,IAAA,EAAM,MAAA,CAAO,KAAK,CAAiB,CAAA;AAAA,EAC1D,CAAC,CAAA;AACD,EAAA,OAAO,MAAA;AACT","file":"evaluation-frames.cjs","sourcesContent":["import type { JsonValue } from \"./json.js\";\nimport type { RuntimeEnvironment, RuntimeValue, UserClosure } from \"./runtime-values.js\";\nimport type { KaladaCoreFunctionName, KaladaType, KaladaV1Expression, MatchArm } from \"./types.js\";\n\nexport type Path = readonly (string | number)[];\ntype Expression<R extends JsonValue> = KaladaV1Expression<R>;\n\nexport type EvaluationFrame<R extends JsonValue> =\n  | {\n      kind: \"binding\";\n      phase: \"value\" | \"body\";\n      path: Path;\n      name: string;\n      body: Expression<R>;\n      outer: RuntimeEnvironment;\n    }\n  | {\n      kind: \"constructor\";\n      phase: \"payload\";\n      path: Path;\n      type: \"Option\" | \"Result\";\n      variant: \"some\" | \"ok\" | \"err\";\n    }\n  | {\n      kind: \"match\";\n      phase: \"scrutinee\" | \"arm\";\n      path: Path;\n      type: \"Option\" | \"Result\";\n      arms: readonly MatchArm<R>[];\n      outer: RuntimeEnvironment;\n      scrutinee: RuntimeValue | null;\n      selected: number | null;\n    }\n  | {\n      kind: \"temporal-binary\";\n      phase: \"left\" | \"right\";\n      path: Path;\n      expressionKind: \"temporal-arithmetic\" | \"temporal-comparison\";\n      operator: string;\n      right: Expression<R>;\n      left: RuntimeValue | null;\n    }\n  | {\n      kind: \"function-group-body\";\n      phase: \"body\";\n      path: Path;\n      body: Expression<R>;\n      outer: RuntimeEnvironment;\n      group: RuntimeEnvironment;\n    }\n  | { kind: \"call-callee\"; phase: \"callee\"; path: Path; arguments: readonly Expression<R>[] }\n  | {\n      kind: \"call-arguments\";\n      phase: \"argument\";\n      path: Path;\n      callable: RuntimeValue;\n      arguments: readonly Expression<R>[];\n      values: RuntimeValue[];\n      index: number;\n    }\n  | {\n      kind: \"user-return\";\n      phase: \"body\";\n      path: Path;\n      name: string | null;\n      returns: KaladaType;\n      caller: RuntimeEnvironment;\n    }\n  | {\n      kind: \"core-iteration\";\n      phase: \"ready\" | \"callback\";\n      path: Path;\n      operator: KaladaCoreFunctionName;\n      callback: RuntimeValue;\n      input: readonly JsonValue[];\n      index: number;\n      partial: JsonValue[] | boolean;\n    };\n\nexport interface EvaluationTask<R extends JsonValue> {\n  readonly node: Expression<R>;\n  readonly path: Path;\n  readonly environment: RuntimeEnvironment;\n}\n\nexport function functionEnvironment<R extends JsonValue>(\n  closure: UserClosure<R>,\n  values: readonly RuntimeValue[],\n): RuntimeEnvironment {\n  const output = new Map(closure.captures);\n  closure.recursive?.names.forEach((name, index) => {\n    output.set(name, closure.recursive?.closures[index] as UserClosure<R>);\n  });\n  closure.parameters.forEach((parameter, index) => {\n    output.set(parameter.name, values[index] as RuntimeValue);\n  });\n  return output;\n}\n"]}

package/dist/kalada-v1/evaluation-frames.d.cts

@@ -0,0 +1,83 @@
+import { JsonValue } from './json.cjs';
+import { RuntimeEnvironment, RuntimeValue, UserClosure } from './runtime-values.cjs';
+import { KaladaV1Expression, MatchArm, KaladaType, KaladaCoreFunctionName } from './types.cjs';
+import './values.cjs';
+import './temporal.cjs';
+
+type Path = readonly (string | number)[];
+type Expression<R extends JsonValue> = KaladaV1Expression<R>;
+type EvaluationFrame<R extends JsonValue> = {
+    kind: "binding";
+    phase: "value" | "body";
+    path: Path;
+    name: string;
+    body: Expression<R>;
+    outer: RuntimeEnvironment;
+} | {
+    kind: "constructor";
+    phase: "payload";
+    path: Path;
+    type: "Option" | "Result";
+    variant: "some" | "ok" | "err";
+} | {
+    kind: "match";
+    phase: "scrutinee" | "arm";
+    path: Path;
+    type: "Option" | "Result";
+    arms: readonly MatchArm<R>[];
+    outer: RuntimeEnvironment;
+    scrutinee: RuntimeValue | null;
+    selected: number | null;
+} | {
+    kind: "temporal-binary";
+    phase: "left" | "right";
+    path: Path;
+    expressionKind: "temporal-arithmetic" | "temporal-comparison";
+    operator: string;
+    right: Expression<R>;
+    left: RuntimeValue | null;
+} | {
+    kind: "function-group-body";
+    phase: "body";
+    path: Path;
+    body: Expression<R>;
+    outer: RuntimeEnvironment;
+    group: RuntimeEnvironment;
+} | {
+    kind: "call-callee";
+    phase: "callee";
+    path: Path;
+    arguments: readonly Expression<R>[];
+} | {
+    kind: "call-arguments";
+    phase: "argument";
+    path: Path;
+    callable: RuntimeValue;
+    arguments: readonly Expression<R>[];
+    values: RuntimeValue[];
+    index: number;
+} | {
+    kind: "user-return";
+    phase: "body";
+    path: Path;
+    name: string | null;
+    returns: KaladaType;
+    caller: RuntimeEnvironment;
+} | {
+    kind: "core-iteration";
+    phase: "ready" | "callback";
+    path: Path;
+    operator: KaladaCoreFunctionName;
+    callback: RuntimeValue;
+    input: readonly JsonValue[];
+    index: number;
+    partial: JsonValue[] | boolean;
+};
+interface EvaluationTask<R extends JsonValue> {
+    readonly node: Expression<R>;
+    readonly path: Path;
+    readonly environment: RuntimeEnvironment;
+}
+declare function functionEnvironment<R extends JsonValue>(closure: UserClosure<R>, values: readonly RuntimeValue[]): RuntimeEnvironment;
+
+export { type EvaluationFrame, type EvaluationTask, type Path, functionEnvironment };

package/dist/kalada-v1/evaluation-frames.d.ts

@@ -0,0 +1,83 @@
+import { JsonValue } from './json.js';
+import { RuntimeEnvironment, RuntimeValue, UserClosure } from './runtime-values.js';
+import { KaladaV1Expression, MatchArm, KaladaType, KaladaCoreFunctionName } from './types.js';
+import './values.js';
+import './temporal.js';
+
+type Path = readonly (string | number)[];
+type Expression<R extends JsonValue> = KaladaV1Expression<R>;
+type EvaluationFrame<R extends JsonValue> = {
+    kind: "binding";
+    phase: "value" | "body";
+    path: Path;
+    name: string;
+    body: Expression<R>;
+    outer: RuntimeEnvironment;
+} | {
+    kind: "constructor";
+    phase: "payload";
+    path: Path;
+    type: "Option" | "Result";
+    variant: "some" | "ok" | "err";
+} | {
+    kind: "match";
+    phase: "scrutinee" | "arm";
+    path: Path;
+    type: "Option" | "Result";
+    arms: readonly MatchArm<R>[];
+    outer: RuntimeEnvironment;
+    scrutinee: RuntimeValue | null;
+    selected: number | null;
+} | {
+    kind: "temporal-binary";
+    phase: "left" | "right";
+    path: Path;
+    expressionKind: "temporal-arithmetic" | "temporal-comparison";
+    operator: string;
+    right: Expression<R>;
+    left: RuntimeValue | null;
+} | {
+    kind: "function-group-body";
+    phase: "body";
+    path: Path;
+    body: Expression<R>;
+    outer: RuntimeEnvironment;
+    group: RuntimeEnvironment;
+} | {
+    kind: "call-callee";
+    phase: "callee";
+    path: Path;
+    arguments: readonly Expression<R>[];
+} | {
+    kind: "call-arguments";
+    phase: "argument";
+    path: Path;
+    callable: RuntimeValue;
+    arguments: readonly Expression<R>[];
+    values: RuntimeValue[];
+    index: number;
+} | {
+    kind: "user-return";
+    phase: "body";
+    path: Path;
+    name: string | null;
+    returns: KaladaType;
+    caller: RuntimeEnvironment;
+} | {
+    kind: "core-iteration";
+    phase: "ready" | "callback";
+    path: Path;
+    operator: KaladaCoreFunctionName;
+    callback: RuntimeValue;
+    input: readonly JsonValue[];
+    index: number;
+    partial: JsonValue[] | boolean;
+};
+interface EvaluationTask<R extends JsonValue> {
+    readonly node: Expression<R>;
+    readonly path: Path;
+    readonly environment: RuntimeEnvironment;
+}
+declare function functionEnvironment<R extends JsonValue>(closure: UserClosure<R>, values: readonly RuntimeValue[]): RuntimeEnvironment;
+
+export { type EvaluationFrame, type EvaluationTask, type Path, functionEnvironment };

package/dist/kalada-v1/evaluation-frames.js

@@ -0,0 +1,14 @@
+function functionEnvironment(closure, values) {
+  const output = new Map(closure.captures);
+  closure.recursive?.names.forEach((name, index) => {
+    output.set(name, closure.recursive?.closures[index]);
+  });
+  closure.parameters.forEach((parameter, index) => {
+    output.set(parameter.name, values[index]);
+  });
+  return output;
+}
+
+export { functionEnvironment };
+//# sourceMappingURL=evaluation-frames.js.map
+//# sourceMappingURL=evaluation-frames.js.map

package/dist/kalada-v1/evaluation-frames.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/evaluation-frames.ts"],"names":[],"mappings":"AAqFO,SAAS,mBAAA,CACd,SACA,MAAA,EACoB;AACpB,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,OAAA,CAAQ,QAAQ,CAAA;AACvC,EAAA,OAAA,CAAQ,SAAA,EAAW,KAAA,CAAM,OAAA,CAAQ,CAAC,MAAM,KAAA,KAAU;AAChD,IAAA,MAAA,CAAO,IAAI,IAAA,EAAM,OAAA,CAAQ,SAAA,EAAW,QAAA,CAAS,KAAK,CAAmB,CAAA;AAAA,EACvE,CAAC,CAAA;AACD,EAAA,OAAA,CAAQ,UAAA,CAAW,OAAA,CAAQ,CAAC,SAAA,EAAW,KAAA,KAAU;AAC/C,IAAA,MAAA,CAAO,GAAA,CAAI,SAAA,CAAU,IAAA,EAAM,MAAA,CAAO,KAAK,CAAiB,CAAA;AAAA,EAC1D,CAAC,CAAA;AACD,EAAA,OAAO,MAAA;AACT","file":"evaluation-frames.js","sourcesContent":["import type { JsonValue } from \"./json.js\";\nimport type { RuntimeEnvironment, RuntimeValue, UserClosure } from \"./runtime-values.js\";\nimport type { KaladaCoreFunctionName, KaladaType, KaladaV1Expression, MatchArm } from \"./types.js\";\n\nexport type Path = readonly (string | number)[];\ntype Expression<R extends JsonValue> = KaladaV1Expression<R>;\n\nexport type EvaluationFrame<R extends JsonValue> =\n  | {\n      kind: \"binding\";\n      phase: \"value\" | \"body\";\n      path: Path;\n      name: string;\n      body: Expression<R>;\n      outer: RuntimeEnvironment;\n    }\n  | {\n      kind: \"constructor\";\n      phase: \"payload\";\n      path: Path;\n      type: \"Option\" | \"Result\";\n      variant: \"some\" | \"ok\" | \"err\";\n    }\n  | {\n      kind: \"match\";\n      phase: \"scrutinee\" | \"arm\";\n      path: Path;\n      type: \"Option\" | \"Result\";\n      arms: readonly MatchArm<R>[];\n      outer: RuntimeEnvironment;\n      scrutinee: RuntimeValue | null;\n      selected: number | null;\n    }\n  | {\n      kind: \"temporal-binary\";\n      phase: \"left\" | \"right\";\n      path: Path;\n      expressionKind: \"temporal-arithmetic\" | \"temporal-comparison\";\n      operator: string;\n      right: Expression<R>;\n      left: RuntimeValue | null;\n    }\n  | {\n      kind: \"function-group-body\";\n      phase: \"body\";\n      path: Path;\n      body: Expression<R>;\n      outer: RuntimeEnvironment;\n      group: RuntimeEnvironment;\n    }\n  | { kind: \"call-callee\"; phase: \"callee\"; path: Path; arguments: readonly Expression<R>[] }\n  | {\n      kind: \"call-arguments\";\n      phase: \"argument\";\n      path: Path;\n      callable: RuntimeValue;\n      arguments: readonly Expression<R>[];\n      values: RuntimeValue[];\n      index: number;\n    }\n  | {\n      kind: \"user-return\";\n      phase: \"body\";\n      path: Path;\n      name: string | null;\n      returns: KaladaType;\n      caller: RuntimeEnvironment;\n    }\n  | {\n      kind: \"core-iteration\";\n      phase: \"ready\" | \"callback\";\n      path: Path;\n      operator: KaladaCoreFunctionName;\n      callback: RuntimeValue;\n      input: readonly JsonValue[];\n      index: number;\n      partial: JsonValue[] | boolean;\n    };\n\nexport interface EvaluationTask<R extends JsonValue> {\n  readonly node: Expression<R>;\n  readonly path: Path;\n  readonly environment: RuntimeEnvironment;\n}\n\nexport function functionEnvironment<R extends JsonValue>(\n  closure: UserClosure<R>,\n  values: readonly RuntimeValue[],\n): RuntimeEnvironment {\n  const output = new Map(closure.captures);\n  closure.recursive?.names.forEach((name, index) => {\n    output.set(name, closure.recursive?.closures[index] as UserClosure<R>);\n  });\n  closure.parameters.forEach((parameter, index) => {\n    output.set(parameter.name, values[index] as RuntimeValue);\n  });\n  return output;\n}\n"]}

package/dist/kalada-v1/evaluation-machine.cjs

@@ -0,0 +1,226 @@
+'use strict';
+
+var diagnostics_js = require('./diagnostics.js');
+var evaluationDelivery_js = require('./evaluation-delivery.js');
+var evaluationResolution_js = require('./evaluation-resolution.js');
+var evaluationState_js = require('./evaluation-state.js');
+var runtimeValues_js = require('./runtime-values.js');
+var temporalEvaluation_js = require('./temporal-evaluation.js');
+var values_js = require('./values.js');
+
+const FUNCTION_RUNTIME_DIAGNOSTICS = /* @__PURE__ */ new Set([
+  "KALADA_CAPTURE_LIMIT",
+  "KALADA_NOT_CALLABLE",
+  "KALADA_FUNCTION_ARITY",
+  "KALADA_FUNCTION_TYPE_MISMATCH",
+  "KALADA_CLOSURE_LIMIT",
+  "KALADA_CALL_DEPTH_LIMIT",
+  "KALADA_CONTINUATION_LIMIT",
+  "KALADA_COLLECTION_TYPE_MISMATCH",
+  "KALADA_COLLECTION_LIMIT",
+  "KALADA_FUNCTION_ESCAPE"
+]);
+function runEvaluation(expression, resolve, limits, functions, instant) {
+  const environment = /* @__PURE__ */ new Map();
+  const state = {
+    resolve,
+    limits,
+    captures: evaluationState_js.captureMap(functions),
+    instant,
+    stack: [],
+    task: { node: expression, path: ["expression"], environment },
+    value: null,
+    environment,
+    steps: 0,
+    closures: 0,
+    captured: 0,
+    callDepth: 0,
+    collectionIterations: 0
+  };
+  try {
+    return runLoop(state);
+  } catch (error) {
+    if (!(error instanceof diagnostics_js.KaladaFailure) || error.context) throw error;
+    const context = evaluationState_js.diagnosticContext(state);
+    const includeContext = context.length > 0 || FUNCTION_RUNTIME_DIAGNOSTICS.has(error.code);
+    evaluationState_js.unwind(state);
+    throw new diagnostics_js.KaladaFailure(error.code, error.path, includeContext ? context : void 0);
+  }
+}
+function runLoop(state) {
+  while (true) {
+    const result = advance(state);
+    if (result !== void 0) return result;
+  }
+}
+function advance(state) {
+  if (state.task) {
+    evaluateTask(state);
+    return void 0;
+  }
+  if (state.stack.length > 0) {
+    evaluationDelivery_js.deliverFrame(state);
+    return void 0;
+  }
+  const value = state.value;
+  if (runtimeValues_js.isCallable(value)) evaluationState_js.fail("KALADA_FUNCTION_ESCAPE", ["expression"]);
+  return value;
+}
+function evaluateTask(state) {
+  const task = state.task;
+  state.task = null;
+  state.environment = task.environment;
+  evaluationState_js.charge(task.path, state);
+  const { node, path } = task;
+  switch (node.kind) {
+    case "literal":
+      evaluationState_js.deliver(node.value, state);
+      break;
+    case "ref":
+      evaluateReference(node.ref, path, state);
+      break;
+    case "binding":
+      enterBinding(node, path, state);
+      break;
+    case "option":
+    case "result":
+      enterConstructor(node, path, state);
+      break;
+    case "match":
+      enterMatch(node, path, state);
+      break;
+    case "function":
+      evaluationState_js.deliver(materializeFunction(node, path, state), state);
+      break;
+    case "function-group":
+      enterGroup(node, path, state);
+      break;
+    case "call":
+      enterCall(node, path, state);
+      break;
+    case "core-function":
+      evaluationState_js.deliver(runtimeValues_js.coreCallable(node.name), state);
+      break;
+    case "temporal-arithmetic":
+    case "temporal-comparison":
+      enterTemporal(node, path, state);
+      break;
+    default:
+      evaluationState_js.deliver(temporalEvaluation_js.temporalLeaf(node, path, state.instant), state);
+  }
+}
+function evaluateReference(reference, path, state) {
+  if (typeof reference === "string" && state.environment.has(reference)) {
+    evaluationState_js.deliver(state.environment.get(reference), state);
+    return;
+  }
+  evaluationState_js.deliver(evaluationResolution_js.resolveReference(reference, path, state.resolve, state.limits), state);
+}
+function enterBinding(node, path, state) {
+  evaluationState_js.push(
+    {
+      kind: "binding",
+      phase: "value",
+      path,
+      name: node.name,
+      body: node.body,
+      outer: state.environment
+    },
+    [...path, "value"],
+    state
+  );
+  evaluationState_js.evaluate(node.value, [...path, "value"], state.environment, state);
+}
+function enterConstructor(node, path, state) {
+  if (node.kind === "option" && node.variant === "none") {
+    evaluationState_js.deliver(values_js.Option.none(), state);
+    return;
+  }
+  const type = node.kind === "option" ? "Option" : "Result";
+  evaluationState_js.push(
+    { kind: "constructor", phase: "payload", path, type, variant: node.variant },
+    [...path, "value"],
+    state
+  );
+  evaluationState_js.evaluate(node.value, [...path, "value"], state.environment, state);
+}
+function enterMatch(node, path, state) {
+  evaluationState_js.push(
+    {
+      kind: "match",
+      phase: "scrutinee",
+      path,
+      type: node.type,
+      arms: node.arms,
+      outer: state.environment,
+      scrutinee: null,
+      selected: null
+    },
+    [...path, "value"],
+    state
+  );
+  evaluationState_js.evaluate(node.value, [...path, "value"], state.environment, state);
+}
+function enterTemporal(node, path, state) {
+  evaluationState_js.push(
+    {
+      kind: "temporal-binary",
+      phase: "left",
+      path,
+      expressionKind: node.kind,
+      operator: node.operator,
+      right: node.right,
+      left: null
+    },
+    [...path, "left"],
+    state
+  );
+  evaluationState_js.evaluate(node.left, [...path, "left"], state.environment, state);
+}
+function enterCall(node, path, state) {
+  evaluationState_js.push(
+    { kind: "call-callee", phase: "callee", path, arguments: node.arguments },
+    [...path, "callee"],
+    state
+  );
+  evaluationState_js.evaluate(node.callee, [...path, "callee"], state.environment, state);
+}
+function enterGroup(node, path, state) {
+  const names = Object.freeze(node.functions.map((item) => item.name));
+  const closures = [];
+  const recursive = { names, closures };
+  node.functions.forEach((member, index) => {
+    const memberPath = [...path, "functions", index];
+    evaluationState_js.reserveClosure(memberPath, state);
+    const captured = evaluationState_js.copyCaptures(memberPath, state);
+    closures.push(runtimeValues_js.closureFromMember(member, memberPath, captured, recursive));
+  });
+  Object.freeze(closures);
+  Object.freeze(recursive);
+  const group = new Map(state.environment);
+  names.forEach((name, index) => {
+    group.set(name, closures[index]);
+  });
+  evaluationState_js.push(
+    {
+      kind: "function-group-body",
+      phase: "body",
+      path,
+      body: node.body,
+      outer: state.environment,
+      group
+    },
+    [...path, "body"],
+    state
+  );
+  evaluationState_js.evaluate(node.body, [...path, "body"], group, state);
+}
+function materializeFunction(node, path, state) {
+  evaluationState_js.reserveClosure(path, state);
+  const captures = evaluationState_js.copyCaptures(path, state);
+  return runtimeValues_js.closureFromExpression(node, path, captures);
+}
+
+exports.runEvaluation = runEvaluation;
+//# sourceMappingURL=evaluation-machine.cjs.map
+//# sourceMappingURL=evaluation-machine.cjs.map

package/dist/kalada-v1/evaluation-machine.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/evaluation-machine.ts"],"names":["captureMap","KaladaFailure","diagnosticContext","unwind","deliverFrame","isCallable","charge","deliver","coreCallable","temporalLeaf","resolveReference","push","evaluate","Option","reserveClosure","copyCaptures","closureFromMember","closureFromExpression"],"mappings":";;;;;;;;;;AAiCA,MAAM,4BAAA,uBAAmC,GAAA,CAAI;AAAA,EAC3C,sBAAA;AAAA,EACA,qBAAA;AAAA,EACA,uBAAA;AAAA,EACA,+BAAA;AAAA,EACA,sBAAA;AAAA,EACA,yBAAA;AAAA,EACA,2BAAA;AAAA,EACA,iCAAA;AAAA,EACA,yBAAA;AAAA,EACA;AACF,CAAC,CAAA;AAEM,SAAS,aAAA,CACd,UAAA,EACA,OAAA,EACA,MAAA,EACA,WACA,OAAA,EACa;AACb,EAAA,MAAM,WAAA,uBAAkB,GAAA,EAA0B;AAClD,EAAA,MAAM,KAAA,GAAyB;AAAA,IAC7B,OAAA;AAAA,IACA,MAAA;AAAA,IACA,QAAA,EAAUA,8BAAW,SAAS,CAAA;AAAA,IAC9B,OAAA;AAAA,IACA,OAAO,EAAC;AAAA,IACR,IAAA,EAAM,EAAE,IAAA,EAAM,UAAA,EAAY,MAAM,CAAC,YAAY,GAAG,WAAA,EAAY;AAAA,IAC5D,KAAA,EAAO,IAAA;AAAA,IACP,WAAA;AAAA,IACA,KAAA,EAAO,CAAA;AAAA,IACP,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,SAAA,EAAW,CAAA;AAAA,IACX,oBAAA,EAAsB;AAAA,GACxB;AACA,EAAA,IAAI;AACF,IAAA,OAAO,QAAQ,KAAK,CAAA;AAAA,EACtB,SAAS,KAAA,EAAO;AACd,IAAA,IAAI,EAAE,KAAA,YAAiBC,4BAAA,CAAA,IAAkB,KAAA,CAAM,SAAS,MAAM,KAAA;AAC9D,IAAA,MAAM,OAAA,GAAUC,qCAAkB,KAAK,CAAA;AACvC,IAAA,MAAM,iBAAiB,OAAA,CAAQ,MAAA,GAAS,KAAK,4BAAA,CAA6B,GAAA,CAAI,MAAM,IAAI,CAAA;AACxF,IAAAC,yBAAA,CAAO,KAAK,CAAA;AACZ,IAAA,MAAM,IAAIF,6BAAc,KAAA,CAAM,IAAA,EAAM,MAAM,IAAA,EAAM,cAAA,GAAiB,UAAU,MAAS,CAAA;AAAA,EACtF;AACF;AAEA,SAAS,QAA6B,KAAA,EAAqC;AACzE,EAAA,OAAO,IAAA,EAAM;AACX,IAAA,MAAM,MAAA,GAAS,QAAQ,KAAK,CAAA;AAC5B,IAAA,IAAI,MAAA,KAAW,QAAW,OAAO,MAAA;AAAA,EACnC;AACF;AAEA,SAAS,QAA6B,KAAA,EAAiD;AACrF,EAAA,IAAI,MAAM,IAAA,EAAM;AACd,IAAA,YAAA,CAAa,KAAK,CAAA;AAClB,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,IAAI,KAAA,CAAM,KAAA,CAAM,MAAA,GAAS,CAAA,EAAG;AAC1B,IAAAG,kCAAA,CAAa,KAAK,CAAA;AAClB,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAQ,KAAA,CAAM,KAAA;AACpB,EAAA,IAAIC,4BAAW,KAAK,CAAA,0BAAQ,wBAAA,EAA0B,CAAC,YAAY,CAAC,CAAA;AACpE,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,aAAkC,KAAA,EAA8B;AACvE,EAAA,MAAM,OAAO,KAAA,CAAM,IAAA;AACnB,EAAA,KAAA,CAAM,IAAA,GAAO,IAAA;AACb,EAAA,KAAA,CAAM,cAAc,IAAA,CAAK,WAAA;AACzB,EAAAC,yBAAA,CAAO,IAAA,CAAK,MAAM,KAAK,CAAA;AACvB,EAAA,MAAM,EAAE,IAAA,EAAM,IAAA,EAAK,GAAI,IAAA;AACvB,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,SAAA;AACH,MAAAC,0BAAA,CAAQ,IAAA,CAAK,OAAO,KAAK,CAAA;AACzB,MAAA;AAAA,IACF,KAAK,KAAA;AACH,MAAA,iBAAA,CAAkB,IAAA,CAAK,GAAA,EAAK,IAAA,EAAM,KAAK,CAAA;AACvC,MAAA;AAAA,IACF,KAAK,SAAA;AACH,MAAA,YAAA,CAAa,IAAA,EAAM,MAAM,KAAK,CAAA;AAC9B,MAAA;AAAA,IACF,KAAK,QAAA;AAAA,IACL,KAAK,QAAA;AACH,MAAA,gBAAA,CAAiB,IAAA,EAAM,MAAM,KAAK,CAAA;AAClC,MAAA;AAAA,IACF,KAAK,OAAA;AACH,MAAA,UAAA,CAAW,IAAA,EAAM,MAAM,KAAK,CAAA;AAC5B,MAAA;AAAA,IACF,KAAK,UAAA;AACH,MAAAA,0BAAA,CAAQ,mBAAA,CAAoB,IAAA,EAAM,IAAA,EAAM,KAAK,GAAG,KAAK,CAAA;AACrD,MAAA;AAAA,IACF,KAAK,gBAAA;AACH,MAAA,UAAA,CAAW,IAAA,EAAM,MAAM,KAAK,CAAA;AAC5B,MAAA;AAAA,IACF,KAAK,MAAA;AACH,MAAA,SAAA,CAAU,IAAA,EAAM,MAAM,KAAK,CAAA;AAC3B,MAAA;AAAA,IACF,KAAK,eAAA;AACH,MAAAA,0BAAA,CAAQC,6BAAA,CAAa,IAAA,CAAK,IAAI,CAAA,EAAG,KAAK,CAAA;AACtC,MAAA;AAAA,IACF,KAAK,qBAAA;AAAA,IACL,KAAK,qBAAA;AACH,MAAA,aAAA,CAAc,IAAA,EAAM,MAAM,KAAK,CAAA;AAC/B,MAAA;AAAA,IACF;AACE,MAAAD,0BAAA,CAAQE,mCAAa,IAAA,EAAM,IAAA,EAAM,KAAA,CAAM,OAAO,GAAG,KAAK,CAAA;AAAA;AAE5D;AAEA,SAAS,iBAAA,CACP,SAAA,EACA,IAAA,EACA,KAAA,EACM;AACN,EAAA,IAAI,OAAO,SAAA,KAAc,QAAA,IAAY,MAAM,WAAA,CAAY,GAAA,CAAI,SAAS,CAAA,EAAG;AACrE,IAAAF,0BAAA,CAAQ,KAAA,CAAM,WAAA,CAAY,GAAA,CAAI,SAAS,GAAmB,KAAK,CAAA;AAC/D,IAAA;AAAA,EACF;AACA,EAAAA,0BAAA,CAAQG,wCAAA,CAAiB,WAAW,IAAA,EAAM,KAAA,CAAM,SAAS,KAAA,CAAM,MAAM,GAAG,KAAK,CAAA;AAC/E;AAEA,SAAS,YAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACM;AACN,EAAAC,uBAAA;AAAA,IACE;AAAA,MACE,IAAA,EAAM,SAAA;AAAA,MACN,KAAA,EAAO,OAAA;AAAA,MACP,IAAA;AAAA,MACA,MAAM,IAAA,CAAK,IAAA;AAAA,MACX,MAAM,IAAA,CAAK,IAAA;AAAA,MACX,OAAO,KAAA,CAAM;AAAA,KACf;AAAA,IACA,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA;AAAA,IACjB;AAAA,GACF;AACA,EAAAC,2BAAA,CAAS,IAAA,CAAK,OAAO,CAAC,GAAG,MAAM,OAAO,CAAA,EAAG,KAAA,CAAM,WAAA,EAAa,KAAK,CAAA;AACnE;AAEA,SAAS,gBAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACM;AACN,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,QAAA,IAAY,IAAA,CAAK,YAAY,MAAA,EAAQ;AACrD,IAAAL,0BAAA,CAAQM,gBAAA,CAAO,IAAA,EAAK,EAAG,KAAK,CAAA;AAC5B,IAAA;AAAA,EACF;AACA,EAAA,MAAM,IAAA,GAAO,IAAA,CAAK,IAAA,KAAS,QAAA,GAAW,QAAA,GAAW,QAAA;AACjD,EAAAF,uBAAA;AAAA,IACE,EAAE,MAAM,aAAA,EAAe,KAAA,EAAO,WAAW,IAAA,EAAM,IAAA,EAAM,OAAA,EAAS,IAAA,CAAK,OAAA,EAAQ;AAAA,IAC3E,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA;AAAA,IACjB;AAAA,GACF;AACA,EAAAC,2BAAA,CAAS,IAAA,CAAK,OAAO,CAAC,GAAG,MAAM,OAAO,CAAA,EAAG,KAAA,CAAM,WAAA,EAAa,KAAK,CAAA;AACnE;AAEA,SAAS,UAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACM;AACN,EAAAD,uBAAA;AAAA,IACE;AAAA,MACE,IAAA,EAAM,OAAA;AAAA,MACN,KAAA,EAAO,WAAA;AAAA,MACP,IAAA;AAAA,MACA,MAAM,IAAA,CAAK,IAAA;AAAA,MACX,MAAM,IAAA,CAAK,IAAA;AAAA,MACX,OAAO,KAAA,CAAM,WAAA;AAAA,MACb,SAAA,EAAW,IAAA;AAAA,MACX,QAAA,EAAU;AAAA,KACZ;AAAA,IACA,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA;AAAA,IACjB;AAAA,GACF;AACA,EAAAC,2BAAA,CAAS,IAAA,CAAK,OAAO,CAAC,GAAG,MAAM,OAAO,CAAA,EAAG,KAAA,CAAM,WAAA,EAAa,KAAK,CAAA;AACnE;AAEA,SAAS,aAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACM;AACN,EAAAD,uBAAA;AAAA,IACE;AAAA,MACE,IAAA,EAAM,iBAAA;AAAA,MACN,KAAA,EAAO,MAAA;AAAA,MACP,IAAA;AAAA,MACA,gBAAgB,IAAA,CAAK,IAAA;AAAA,MACrB,UAAU,IAAA,CAAK,QAAA;AAAA,MACf,OAAO,IAAA,CAAK,KAAA;AAAA,MACZ,IAAA,EAAM;AAAA,KACR;AAAA,IACA,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA;AAAA,IAChB;AAAA,GACF;AACA,EAAAC,2BAAA,CAAS,IAAA,CAAK,MAAM,CAAC,GAAG,MAAM,MAAM,CAAA,EAAG,KAAA,CAAM,WAAA,EAAa,KAAK,CAAA;AACjE;AAEA,SAAS,SAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACM;AACN,EAAAD,uBAAA;AAAA,IACE,EAAE,MAAM,aAAA,EAAe,KAAA,EAAO,UAAU,IAAA,EAAM,SAAA,EAAW,KAAK,SAAA,EAAU;AAAA,IACxE,CAAC,GAAG,IAAA,EAAM,QAAQ,CAAA;AAAA,IAClB;AAAA,GACF;AACA,EAAAC,2BAAA,CAAS,IAAA,CAAK,QAAQ,CAAC,GAAG,MAAM,QAAQ,CAAA,EAAG,KAAA,CAAM,WAAA,EAAa,KAAK,CAAA;AACrE;AAEA,SAAS,UAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACM;AACN,EAAA,MAAM,KAAA,GAAQ,MAAA,CAAO,MAAA,CAAO,IAAA,CAAK,SAAA,CAAU,IAAI,CAAC,IAAA,KAAS,IAAA,CAAK,IAAI,CAAC,CAAA;AACnE,EAAA,MAAM,WAA6B,EAAC;AACpC,EAAA,MAAM,SAAA,GAAY,EAAE,KAAA,EAAO,QAAA,EAAS;AACpC,EAAA,IAAA,CAAK,SAAA,CAAU,OAAA,CAAQ,CAAC,MAAA,EAAQ,KAAA,KAAU;AACxC,IAAA,MAAM,UAAA,GAAa,CAAC,GAAG,IAAA,EAAM,aAAa,KAAK,CAAA;AAC/C,IAAAE,iCAAA,CAAe,YAAY,KAAK,CAAA;AAChC,IAAA,MAAM,QAAA,GAAWC,+BAAA,CAAa,UAAA,EAAY,KAAK,CAAA;AAC/C,IAAA,QAAA,CAAS,KAAKC,kCAAA,CAAkB,MAAA,EAAQ,UAAA,EAAY,QAAA,EAAU,SAAS,CAAC,CAAA;AAAA,EAC1E,CAAC,CAAA;AACD,EAAA,MAAA,CAAO,OAAO,QAAQ,CAAA;AACtB,EAAA,MAAA,CAAO,OAAO,SAAS,CAAA;AACvB,EAAA,MAAM,KAAA,GAAQ,IAAI,GAAA,CAAI,KAAA,CAAM,WAAW,CAAA;AACvC,EAAA,KAAA,CAAM,OAAA,CAAQ,CAAC,IAAA,EAAM,KAAA,KAAU;AAC7B,IAAA,KAAA,CAAM,GAAA,CAAI,IAAA,EAAM,QAAA,CAAS,KAAK,CAAmB,CAAA;AAAA,EACnD,CAAC,CAAA;AACD,EAAAL,uBAAA;AAAA,IACE;AAAA,MACE,IAAA,EAAM,qBAAA;AAAA,MACN,KAAA,EAAO,MAAA;AAAA,MACP,IAAA;AAAA,MACA,MAAM,IAAA,CAAK,IAAA;AAAA,MACX,OAAO,KAAA,CAAM,WAAA;AAAA,MACb;AAAA,KACF;AAAA,IACA,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA;AAAA,IAChB;AAAA,GACF;AACA,EAAAC,2BAAA,CAAS,IAAA,CAAK,MAAM,CAAC,GAAG,MAAM,MAAM,CAAA,EAAG,OAAO,KAAK,CAAA;AACrD;AAEA,SAAS,mBAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACgB;AAChB,EAAAE,iCAAA,CAAe,MAAM,KAAK,CAAA;AAC1B,EAAA,MAAM,QAAA,GAAWC,+BAAA,CAAa,IAAA,EAAM,KAAK,CAAA;AACzC,EAAA,OAAOE,sCAAA,CAAsB,IAAA,EAAM,IAAA,EAAM,QAAQ,CAAA;AACnD","file":"evaluation-machine.cjs","sourcesContent":["import { KaladaFailure } from \"./diagnostics.js\";\nimport { deliverFrame } from \"./evaluation-delivery.js\";\nimport type { EvaluationTask, Path } from \"./evaluation-frames.js\";\nimport { resolveReference } from \"./evaluation-resolution.js\";\nimport {\n  captureMap,\n  charge,\n  copyCaptures,\n  deliver,\n  diagnosticContext,\n  evaluate,\n  fail,\n  type MachineState,\n  push,\n  reserveClosure,\n  unwind,\n} from \"./evaluation-state.js\";\nimport type { JsonValue } from \"./json.js\";\nimport type { ResolvedKaladaV1Limits } from \"./limits.js\";\nimport {\n  closureFromExpression,\n  closureFromMember,\n  coreCallable,\n  isCallable,\n  type RecursiveEnvironment,\n  type RuntimeValue,\n  type UserClosure,\n} from \"./runtime-values.js\";\nimport type { InstantValue } from \"./temporal.js\";\nimport { temporalLeaf } from \"./temporal-evaluation.js\";\nimport type { KaladaV1Expression, KaladaV1FunctionCapture, KaladaV1Resolver } from \"./types.js\";\nimport { type KaladaValue, Option } from \"./values.js\";\n\nconst FUNCTION_RUNTIME_DIAGNOSTICS = new Set([\n  \"KALADA_CAPTURE_LIMIT\",\n  \"KALADA_NOT_CALLABLE\",\n  \"KALADA_FUNCTION_ARITY\",\n  \"KALADA_FUNCTION_TYPE_MISMATCH\",\n  \"KALADA_CLOSURE_LIMIT\",\n  \"KALADA_CALL_DEPTH_LIMIT\",\n  \"KALADA_CONTINUATION_LIMIT\",\n  \"KALADA_COLLECTION_TYPE_MISMATCH\",\n  \"KALADA_COLLECTION_LIMIT\",\n  \"KALADA_FUNCTION_ESCAPE\",\n]);\n\nexport function runEvaluation<R extends JsonValue>(\n  expression: KaladaV1Expression<R>,\n  resolve: KaladaV1Resolver<R>,\n  limits: ResolvedKaladaV1Limits,\n  functions: readonly KaladaV1FunctionCapture[],\n  instant: InstantValue | undefined,\n): KaladaValue {\n  const environment = new Map<string, RuntimeValue>();\n  const state: MachineState<R> = {\n    resolve,\n    limits,\n    captures: captureMap(functions),\n    instant,\n    stack: [],\n    task: { node: expression, path: [\"expression\"], environment },\n    value: null,\n    environment,\n    steps: 0,\n    closures: 0,\n    captured: 0,\n    callDepth: 0,\n    collectionIterations: 0,\n  };\n  try {\n    return runLoop(state);\n  } catch (error) {\n    if (!(error instanceof KaladaFailure) || error.context) throw error;\n    const context = diagnosticContext(state);\n    const includeContext = context.length > 0 || FUNCTION_RUNTIME_DIAGNOSTICS.has(error.code);\n    unwind(state);\n    throw new KaladaFailure(error.code, error.path, includeContext ? context : undefined);\n  }\n}\n\nfunction runLoop<R extends JsonValue>(state: MachineState<R>): KaladaValue {\n  while (true) {\n    const result = advance(state);\n    if (result !== undefined) return result;\n  }\n}\n\nfunction advance<R extends JsonValue>(state: MachineState<R>): KaladaValue | undefined {\n  if (state.task) {\n    evaluateTask(state);\n    return undefined;\n  }\n  if (state.stack.length > 0) {\n    deliverFrame(state);\n    return undefined;\n  }\n  const value = state.value as RuntimeValue;\n  if (isCallable(value)) fail(\"KALADA_FUNCTION_ESCAPE\", [\"expression\"]);\n  return value;\n}\n\nfunction evaluateTask<R extends JsonValue>(state: MachineState<R>): void {\n  const task = state.task as EvaluationTask<R>;\n  state.task = null;\n  state.environment = task.environment;\n  charge(task.path, state);\n  const { node, path } = task;\n  switch (node.kind) {\n    case \"literal\":\n      deliver(node.value, state);\n      break;\n    case \"ref\":\n      evaluateReference(node.ref, path, state);\n      break;\n    case \"binding\":\n      enterBinding(node, path, state);\n      break;\n    case \"option\":\n    case \"result\":\n      enterConstructor(node, path, state);\n      break;\n    case \"match\":\n      enterMatch(node, path, state);\n      break;\n    case \"function\":\n      deliver(materializeFunction(node, path, state), state);\n      break;\n    case \"function-group\":\n      enterGroup(node, path, state);\n      break;\n    case \"call\":\n      enterCall(node, path, state);\n      break;\n    case \"core-function\":\n      deliver(coreCallable(node.name), state);\n      break;\n    case \"temporal-arithmetic\":\n    case \"temporal-comparison\":\n      enterTemporal(node, path, state);\n      break;\n    default:\n      deliver(temporalLeaf(node, path, state.instant), state);\n  }\n}\n\nfunction evaluateReference<R extends JsonValue>(\n  reference: R,\n  path: Path,\n  state: MachineState<R>,\n): void {\n  if (typeof reference === \"string\" && state.environment.has(reference)) {\n    deliver(state.environment.get(reference) as RuntimeValue, state);\n    return;\n  }\n  deliver(resolveReference(reference, path, state.resolve, state.limits), state);\n}\n\nfunction enterBinding<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"binding\" }>,\n  path: Path,\n  state: MachineState<R>,\n): void {\n  push(\n    {\n      kind: \"binding\",\n      phase: \"value\",\n      path,\n      name: node.name,\n      body: node.body,\n      outer: state.environment,\n    },\n    [...path, \"value\"],\n    state,\n  );\n  evaluate(node.value, [...path, \"value\"], state.environment, state);\n}\n\nfunction enterConstructor<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"option\" | \"result\" }>,\n  path: Path,\n  state: MachineState<R>,\n): void {\n  if (node.kind === \"option\" && node.variant === \"none\") {\n    deliver(Option.none(), state);\n    return;\n  }\n  const type = node.kind === \"option\" ? \"Option\" : \"Result\";\n  push(\n    { kind: \"constructor\", phase: \"payload\", path, type, variant: node.variant },\n    [...path, \"value\"],\n    state,\n  );\n  evaluate(node.value, [...path, \"value\"], state.environment, state);\n}\n\nfunction enterMatch<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"match\" }>,\n  path: Path,\n  state: MachineState<R>,\n): void {\n  push(\n    {\n      kind: \"match\",\n      phase: \"scrutinee\",\n      path,\n      type: node.type,\n      arms: node.arms,\n      outer: state.environment,\n      scrutinee: null,\n      selected: null,\n    },\n    [...path, \"value\"],\n    state,\n  );\n  evaluate(node.value, [...path, \"value\"], state.environment, state);\n}\n\nfunction enterTemporal<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"temporal-arithmetic\" | \"temporal-comparison\" }>,\n  path: Path,\n  state: MachineState<R>,\n): void {\n  push(\n    {\n      kind: \"temporal-binary\",\n      phase: \"left\",\n      path,\n      expressionKind: node.kind,\n      operator: node.operator,\n      right: node.right,\n      left: null,\n    },\n    [...path, \"left\"],\n    state,\n  );\n  evaluate(node.left, [...path, \"left\"], state.environment, state);\n}\n\nfunction enterCall<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"call\" }>,\n  path: Path,\n  state: MachineState<R>,\n): void {\n  push(\n    { kind: \"call-callee\", phase: \"callee\", path, arguments: node.arguments },\n    [...path, \"callee\"],\n    state,\n  );\n  evaluate(node.callee, [...path, \"callee\"], state.environment, state);\n}\n\nfunction enterGroup<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"function-group\" }>,\n  path: Path,\n  state: MachineState<R>,\n): void {\n  const names = Object.freeze(node.functions.map((item) => item.name));\n  const closures: UserClosure<R>[] = [];\n  const recursive = { names, closures } as RecursiveEnvironment<R>;\n  node.functions.forEach((member, index) => {\n    const memberPath = [...path, \"functions\", index];\n    reserveClosure(memberPath, state);\n    const captured = copyCaptures(memberPath, state);\n    closures.push(closureFromMember(member, memberPath, captured, recursive));\n  });\n  Object.freeze(closures);\n  Object.freeze(recursive);\n  const group = new Map(state.environment);\n  names.forEach((name, index) => {\n    group.set(name, closures[index] as UserClosure<R>);\n  });\n  push(\n    {\n      kind: \"function-group-body\",\n      phase: \"body\",\n      path,\n      body: node.body,\n      outer: state.environment,\n      group,\n    },\n    [...path, \"body\"],\n    state,\n  );\n  evaluate(node.body, [...path, \"body\"], group, state);\n}\n\nfunction materializeFunction<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"function\" }>,\n  path: Path,\n  state: MachineState<R>,\n): UserClosure<R> {\n  reserveClosure(path, state);\n  const captures = copyCaptures(path, state);\n  return closureFromExpression(node, path, captures);\n}\n"]}

package/dist/kalada-v1/evaluation-machine.d.cts

@@ -0,0 +1,9 @@
+import { JsonValue } from './json.cjs';
+import { ResolvedKaladaV1Limits } from './limits.cjs';
+import { InstantValue } from './temporal.cjs';
+import { KaladaV1Expression, KaladaV1Resolver, KaladaV1FunctionCapture } from './types.cjs';
+import { KaladaValue } from './values.cjs';
+
+declare function runEvaluation<R extends JsonValue>(expression: KaladaV1Expression<R>, resolve: KaladaV1Resolver<R>, limits: ResolvedKaladaV1Limits, functions: readonly KaladaV1FunctionCapture[], instant: InstantValue | undefined): KaladaValue;
+
+export { runEvaluation };

package/dist/kalada-v1/evaluation-machine.d.ts

@@ -0,0 +1,9 @@
+import { JsonValue } from './json.js';
+import { ResolvedKaladaV1Limits } from './limits.js';
+import { InstantValue } from './temporal.js';
+import { KaladaV1Expression, KaladaV1Resolver, KaladaV1FunctionCapture } from './types.js';
+import { KaladaValue } from './values.js';
+
+declare function runEvaluation<R extends JsonValue>(expression: KaladaV1Expression<R>, resolve: KaladaV1Resolver<R>, limits: ResolvedKaladaV1Limits, functions: readonly KaladaV1FunctionCapture[], instant: InstantValue | undefined): KaladaValue;
+
+export { runEvaluation };