@procedures/compiler 0.0.0-stage → 0.2.3

package/dist/codegen-text.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codegen-text.js","sourceRoot":"","sources":["../src/codegen-text.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,aAAa,EAAsB,MAAM,4BAA4B,CAAC;AAE/E,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAqC3C,wGAAwG;AACxG,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAE/B,MAAM,cAAc,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;AACnD,MAAM,mBAAmB,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;AACxD,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;AAE5C,0FAA0F;AAC1F,SAAS,GAAG,CAAC,KAAa;IACxB,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,CAAC;AACpI,CAAC;AAED;;;GAGG;AACH,SAAS,WAAW,CAAC,GAAW;IAC9B,OAAO,4BAA4B,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;AAC/F,CAAC;AAED,wEAAwE;AACxE,SAAS,cAAc,CAAC,OAAgB;IACtC,OAAO,OAAO,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;AAC/B,CAAC;AAED,MAAM,OAAO;IAQkB,EAAE;IAPtB,WAAW,GAAiB,EAAE,CAAC;IAChC,KAAK,GAAG,CAAC,CAAC;IAClB,iFAAiF;IACxE,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,WAAW,GAAG,KAAK,CAAC;IACpB,WAAW,GAAG,KAAK,CAAC;IAEpB,YAA6B,EAAW;kBAAX,EAAE;IAAY,CAAC;IAE5C,IAAI;QACF,OAAO,IAAI,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;IAC5B,CAAC;IAED,EAAE,CAAC,IAAY;QACb,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QACxB,OAAO,MAAM,IAAI,EAAE,CAAC;IACtB,CAAC;IAED,GAAG;QACD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,CAAC,UAAkB;QACrB,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1C,CAAC;IAED,2EAA2E;IAC3E,OAAO,CAAC,KAAc,EAAE,OAAgB,EAAE,IAAI,GAAgB,IAAI,GAAG,EAAE;QACrE,QAAQ,OAAO,KAAK,EAAE,CAAC;YACrB,KAAK,WAAW;gBACd,OAAO,WAAW,CAAC;YACrB,KAAK,SAAS;gBACZ,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;YAClC,KAAK,QAAQ;gBACX,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACtC,IAAI,KAAK,KAAK,QAAQ;oBAAE,OAAO,UAAU,CAAC;gBAC1C,IAAI,KAAK,KAAK,CAAC,QAAQ;oBAAE,OAAO,WAAW,CAAC;gBAC5C,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACtC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;YACvB,KAAK,QAAQ;gBACX,OAAO,GAAG,KAAK,GAAG,CAAC;YACrB,KAAK,QAAQ;gBACX,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC;YACpB,KAAK,QAAQ,EAAE,CAAC;gBACd,IAAI,KAAK,KAAK,IAAI;oBAAE,OAAO,MAAM,CAAC;gBAClC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,2BAA2B,CAAC,CAAC;gBACtF,IAAI,IAAI,CAAC,IAAI,GAAG,iBAAiB;oBAAE,OAAO,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,+BAA+B,iBAAiB,SAAS,CAAC,CAAC;gBAClI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAChB,IAAI,CAAC;oBACH,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;wBAAE,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;oBAClH,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAC7E,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;wBACtC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;4BAAE,OAAO,IAAI,CAAC;wBACtC,OAAO,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBACvH,CAAC;oBACD,OAAO,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,iEAAiE,CAAC,CAAC;gBACzG,CAAC;wBAAS,CAAC;oBACT,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBACrB,CAAC;YACH,CAAC;YACD;gBACE,OAAO,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,KAAK,OAAO,KAAK,qBAAqB,CAAC,CAAC;QAChF,CAAC;IACH,CAAC;IAEO,cAAc,CAAC,OAAgB,EAAE,GAAW;QAClD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;YACpB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,6CAA6C,GAAG,sEAAsE;YAC/H,OAAO;SACR,CAAC,CAAC;QACH,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,IAAI,CAAC,IAAmB;QACtB,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC/D,CAAC;IAED,MAAM,CAAC,QAAuB;QAC5B,IAAI,CAAC,QAAQ;YAAE,OAAO,WAAW,CAAC;QAClC,OAAO,IAAI,QAAQ;aAChB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YACb,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1G,OAAO,aAAa,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;QAC7F,CAAC,CAAC;aACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,OAAgB;QACtB,OAAO,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;IAC1B,CAAC;IAED,4EAA4E;IAC5E,KAAK,CAAC,KAAe,EAAE,MAAc,EAAE,OAAgB,EAAE,IAAY;QACnE,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,OAAO,wBAAwB,cAAc,CAAC,OAAO,CAAC,IAAI,IAAI,KAAK,KAAK,KAAK,MAAM,OAAO,CAAC;IAC7F,CAAC;IAED,KAAK,CAAC,IAAe,EAAE,MAAc;QACnC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACrG,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC;IACjE,CAAC;IAED,kFAAkF;IAClF,IAAI,CAAC,IAAY,EAAE,MAAc;QAC/B,MAAM,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC;QAC7B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YAChD,KAAK,QAAQ;gBACX,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC3C,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACvI,KAAK,OAAO;gBACV,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC7E,KAAK,WAAW,EAAE,CAAC;gBACjB,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBACjB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAC5C,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,QAAQ,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBACtH,CAAC;gBACD,IAAI,IAAI,CAAC,QAAQ;oBAAE,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;gBAClE,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YACxD,CAAC;YACD,KAAK,MAAM,EAAE,CAAC;gBACZ,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBAC5C,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;gBACvI,OAAO,UAAU,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC;YACzF,CAAC;YACD,KAAK,UAAU;gBACb,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC;YAChH,KAAK,SAAS,EAAE,CAAC;gBACf,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBAC5C,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;gBACvI,OAAO,UAAU,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YACxH,CAAC;YACD,KAAK,MAAM;gBACT,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YACpD,KAAK,OAAO,EAAE,CAAC;gBACb,MAAM,KAAK,GAAa,EAAE,CAAC;gBAC3B,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBACtC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;oBACrD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,QAAQ,OAAO,GAAG,CAAC,CAAC;gBACxH,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBAC9B,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBACrH,CAAC;gBACD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5B,KAAK,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/H,KAAK,CAAC,IAAI,CAAC,qBAAqB,OAAO,YAAY,OAAO,IAAI,OAAO,iBAAiB,CAAC,CAAC;gBACxF,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YACpG,CAAC;YACD,KAAK,UAAU,EAAE,CAAC;gBAChB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;gBACnF,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC5F,OAAO,UAAU,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,WAAW,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC;YACtH,CAAC;YACD,KAAK,aAAa,EAAE,CAAC;gBACnB,MAAM,KAAK,GAAG;oBACZ,OAAO,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,aAAa,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG;oBACnI,UAAU,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG;iBACpE,CAAC;gBACF,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC;YACvE,CAAC;YACD,KAAK,KAAK,EAAE,CAAC;gBACX,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1B,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,WAAW,KAAK,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC;gBACrF,KAAK,CAAC,IAAI,CAAC,oCAAoC,KAAK,KAAK,CAAC,CAAC;gBAC3D,KAAK,CAAC,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,CAAC;gBACnC,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;gBACrF,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC3E,KAAK,CAAC,IAAI,CAAC,qCAAqC,MAAM,YAAY,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACjG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAChB,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;YACpE,CAAC;YACD,KAAK,KAAK,CAAC;YACX,KAAK,IAAI,EAAE,CAAC;gBACV,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBACzB,MAAM,KAAK,GAAG,CAAC,OAAO,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBACtD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACnC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;oBACrF,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;wBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,YAAY,IAAI,GAAG,CAAC,CAAC;gBAClH,CAAC,CAAC,CAAC;gBACH,KAAK,CAAC,IAAI,CAAC,UAAU,IAAI,GAAG,CAAC,CAAC;gBAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,UAAU,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACxE,CAAC;YACD,KAAK,KAAK,EAAE,CAAC;gBACX,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC3B,MAAM,KAAK,GAAG,CAAC,SAAS,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;gBAChG,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;oBACb,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,KAAK,CAAC,CAAC;gBAC/C,CAAC;qBAAM,CAAC;oBACN,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC5B,KAAK,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;oBAC9D,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,MAAM,eAAe,CAAC,CAAC;oBAC7G,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,MAAM,IAAI,CAAC,KAAK,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;oBACzG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAChB,KAAK,CAAC,IAAI,CAAC,qBAAqB,OAAO,KAAK,CAAC,CAAC;gBAChD,CAAC;gBACD,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;YAC/D,CAAC;YACD,KAAK,QAAQ,EAAE,CAAC;gBACd,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK;oBAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;gBACpE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBACxB,MAAM,KAAK,GAAG;oBACZ,SAAS,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG;oBAC/E,OAAO,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG;oBACzE,eAAe,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,MAAM,eAAe;iBACjG,CAAC;gBACF,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC;gBAC1F,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,MAAM,IAAI,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBACjG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC;gBAC7B,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;IACH,CAAC;IAED,qFAAqF;IAC7E,OAAO,CAAC,OAAgB;QAC9B,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChE,CAAC;CACF;AAED,qGAAqG;AACrG,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAClB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzE,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC1C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC/B,KAAK,MAAM,CAAC,EAAE,OAAO,CAAC,IAAI,KAAK,CAAC,KAAK;oBAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBAC5D,IAAI,KAAK,CAAC,IAAI;oBAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8GAA8G;AAC9G,MAAM,cAAc,GAAG,GAAG,CAAC;AAE3B,wCAAwC;AACxC,SAAS,OAAO,CAAC,IAAY;IAC3B,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,KAAa,EAAQ,EAAE;QAClD,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACnC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACf,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,QAAQ,CAAC,EAAa,EAAE,OAAoB;IAC1D,MAAM,EAAE,GAAG,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC;IACrC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,8BAA8B,CAAC;IAClE,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,EAAE,CAAC,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,KAAK,GAAG,cAAc,EAAE,CAAC;QAC3B,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC;YACvB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,qBAAqB,KAAK,2GAA2G;YAC9I,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;SACzB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,4GAA4G;IAC5G,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACvB,SAAS,GAAG,IAAI,CAAC;QACjB,SAAS,CAAC,IAAI,CAAC,gBAAgB,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;QAChG,SAAS,CAAC,IAAI,CAAC,iBAAiB,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxG,SAAS,CAAC,IAAI,CAAC,mCAAmC,OAAO,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,OAAO,CAAC,GAAG,EAAE,8BAA8B,CAAC,CAAC;IAChI,CAAC;SAAM,IAAI,EAAE,CAAC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;QACrD,SAAS,GAAG,IAAI,CAAC;QACjB,SAAS,CAAC,IAAI,CAAC,SAAS,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAChE,CAAC;IACD,SAAS,CAAC,IAAI,CAAC,UAAU,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAE3F,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IACrD,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;IACjD,MAAM,MAAM,GAAG;QACb,gGAAgG;QAChG,yBAAyB,OAAO,CAAC,YAAY,EAAE;QAC/C,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,uBAAuB,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,uCAAuC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,EAAE;QACF,4BAA4B,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG;QAClF,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,4GAA4G,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjK,EAAE;QACF,EAAE;YACA,CAAC,CAAC,yCAAyC,OAAO,qBAAqB,SAAS,iCAAiC;YACjH,CAAC,CAAC,yCAAyC,OAAO,KAAK,SAAS,KAAK;KACxE,CAAC;IACF,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAE5D,2FAA2F;IAC3F,MAAM,SAAS,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChF,MAAM,YAAY,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,EAAE,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE1F,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC7C,MAAM,KAAK,GAAG,4CAA4C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACf,IAAI,CAAC;gBACH,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAW,EAAE,CAAC,CAAC;YAC/E,CAAC;YAAC,MAAM,CAAC;gBACP,wBAAwB;YAC1B,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC;AACjG,CAAC"}

package/dist/diagnostics.d.ts

@@ -0,0 +1,67 @@
+/**
+ * The diagnostics of the compiler: each problem that a pass finds, with the JSON pointer of its
+ * source in the program.
+ */
+/** The severity of a diagnostic. An error makes `ok` false: the host does not start the program. */
+export type Severity = "error" | "warning" | "info";
+/** The codes of the diagnostics. */
+export type DiagnosticCode = 
+/** The program is not a call: `client.exec()` starts only a call. */
+"root-not-call"
+/** A `$proc` path is empty, or it has a segment that is not a string. */
+ | "invalid-path"
+/** No procedure has the path. */
+ | "unknown-procedure"
+/** The host does not expose the procedure, so a data-driven procedure cannot call it. */
+ | "not-exposed"
+/** The capability refuses the call: its effects, or a destructive procedure. */
+ | "capability-refused"
+/** The compiler cannot see what a call runs, so it does not know its effects. */
+ | "effects-unknown"
+/** A `$ref` reads a name that no scope has. */
+ | "unknown-name"
+/** A `$ref` reads the name of a later step of a chain. */
+ | "use-before-definition"
+/** A `$ref` is outside each scope, so it is data. */
+ | "unscoped-ref"
+/** The input does not agree with the JSON Schema of the procedure. */
+ | "input-schema"
+/** The input of a control-flow procedure does not agree with its schema. */
+ | "invalid-control-flow"
+/** The `fn` of `client.map` or `client.reduce` is not one call. */
+ | "fn-not-call"
+/** The calls nest deeper than the hydration limit of 10 levels. */
+ | "depth-limit"
+/** Plain data nests deeper than 1000 levels. */
+ | "data-depth"
+/** An input contains itself. */
+ | "cyclic-input"
+/** A `$never` call is data in a position where a call usually runs. */
+ | "never-trap"
+/** A call waits for its runner (`$parent` or a context name), so hydration keeps it as data. */
+ | "deferred-call"
+/** A `$name` on a call that is not a chain step: no `$ref` can read it. */
+ | "name-not-bound"
+/** Two steps of one chain have the same `$name`. */
+ | "duplicate-name"
+/** Control flow adds `cwd` or `node` to an input that is not an object, so the input is lost. */
+ | "input-replaced"
+/** An array of calls runs as one `client.chain`: its value is `{ results, final }`. */
+ | "implicit-chain"
+/** A literal of the program has no source text (a function, a class instance). */
+ | "not-serializable"
+/** The program nests so deep that a JavaScript parser can refuse its source text. */
+ | "text-depth";
+/** One problem that the compiler found. */
+export interface Diagnostic {
+    readonly severity: Severity;
+    readonly code: DiagnosticCode;
+    readonly message: string;
+    /** The JSON pointer (RFC 6901) of the part of the program. The empty string is the root. */
+    readonly pointer: string;
+}
+/** True when the list has an error. */
+export declare function hasErrors(diagnostics: readonly Diagnostic[]): boolean;
+/** The diagnostics in the order of their pointers, then the errors first. The same problem at the same place is one diagnostic. */
+export declare function sortDiagnostics(diagnostics: readonly Diagnostic[]): Diagnostic[];
+//# sourceMappingURL=diagnostics.d.ts.map

package/dist/diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,oGAAoG;AACpG,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAEpD,oCAAoC;AACpC,MAAM,MAAM,cAAc;AACxB,qEAAqE;AACnE,eAAe;AACjB,yEAAyE;GACvE,cAAc;AAChB,iCAAiC;GAC/B,mBAAmB;AACrB,yFAAyF;GACvF,aAAa;AACf,gFAAgF;GAC9E,oBAAoB;AACtB,iFAAiF;GAC/E,iBAAiB;AACnB,+CAA+C;GAC7C,cAAc;AAChB,0DAA0D;GACxD,uBAAuB;AACzB,qDAAqD;GACnD,cAAc;AAChB,sEAAsE;GACpE,cAAc;AAChB,4EAA4E;GAC1E,sBAAsB;AACxB,mEAAmE;GACjE,aAAa;AACf,mEAAmE;GACjE,aAAa;AACf,gDAAgD;GAC9C,YAAY;AACd,gCAAgC;GAC9B,cAAc;AAChB,uEAAuE;GACrE,YAAY;AACd,gGAAgG;GAC9F,eAAe;AACjB,2EAA2E;GACzE,gBAAgB;AAClB,oDAAoD;GAClD,gBAAgB;AAClB,iGAAiG;GAC/F,gBAAgB;AAClB,uFAAuF;GACrF,gBAAgB;AAClB,kFAAkF;GAChF,kBAAkB;AACpB,qFAAqF;GACnF,YAAY,CAAC;AAEjB,2CAA2C;AAC3C,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,4FAA4F;IAC5F,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,uCAAuC;AACvC,wBAAgB,SAAS,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,GAAG,OAAO,CAErE;AAED,mIAAmI;AACnI,wBAAgB,eAAe,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,GAAG,UAAU,EAAE,CAUhF"}

package/dist/diagnostics.js

@@ -0,0 +1,38 @@
+/**
+ * The diagnostics of the compiler: each problem that a pass finds, with the JSON pointer of its
+ * source in the program.
+ */
+/** True when the list has an error. */
+export function hasErrors(diagnostics) {
+    return diagnostics.some((diagnostic) => diagnostic.severity === "error");
+}
+/** The diagnostics in the order of their pointers, then the errors first. The same problem at the same place is one diagnostic. */
+export function sortDiagnostics(diagnostics) {
+    const rank = { error: 0, warning: 1, info: 2 };
+    const seen = new Set();
+    const unique = diagnostics.filter((diagnostic) => {
+        const key = `${diagnostic.pointer}\u0000${diagnostic.code}\u0000${diagnostic.message}`;
+        if (seen.has(key))
+            return false;
+        seen.add(key);
+        return true;
+    });
+    return unique.sort((a, b) => comparePointers(a.pointer, b.pointer) || rank[a.severity] - rank[b.severity]);
+}
+/** The order of two pointers: the segments one by one, and a number segment as a number. */
+function comparePointers(a, b) {
+    const left = a.split("/");
+    const right = b.split("/");
+    for (let index = 0; index < Math.min(left.length, right.length); index++) {
+        const x = left[index];
+        const y = right[index];
+        if (x === y)
+            continue;
+        const numbers = /^\d+$/.test(x) && /^\d+$/.test(y);
+        if (numbers)
+            return Number(x) - Number(y);
+        return x < y ? -1 : 1;
+    }
+    return left.length - right.length;
+}
+//# sourceMappingURL=diagnostics.js.map

package/dist/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA;;;GAGG;AA+DH,uCAAuC;AACvC,MAAM,UAAU,SAAS,CAAC,WAAkC;IAC1D,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;AAC3E,CAAC;AAED,mIAAmI;AACnI,MAAM,UAAU,eAAe,CAAC,WAAkC;IAChE,MAAM,IAAI,GAA6B,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE;QAC/C,MAAM,GAAG,GAAG,GAAG,UAAU,CAAC,OAAO,SAAS,UAAU,CAAC,IAAI,SAAS,UAAU,CAAC,OAAO,EAAE,CAAC;QACvF,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAChC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC7G,CAAC;AAED,4FAA4F;AAC5F,SAAS,eAAe,CAAC,CAAS,EAAE,CAAS;IAC3C,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACzE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAE,CAAC;QACvB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS;QACtB,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,IAAI,OAAO;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1C,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;AACpC,CAAC"}

package/dist/effects.d.ts

@@ -0,0 +1,63 @@
+/**
+ * The effects pass: the effects of the whole program, from the bottom up.
+ *
+ * - `may` is the upper bound: the effects of each call that can start. A sequence and the
+ *   branches give the union. A call that does not declare its effects, or whose program the
+ *   compiler cannot see, makes the effects unknown: the check fails closed.
+ * - `must` is the lower bound: the effects of each run in which no call fails. A sequence gives
+ *   the union. Two branches give the condition and the intersection of the branches. A part
+ *   that can start zero times (a later operand of `and`, the `fn` of `map`) gives nothing.
+ */
+import { type Effects, type ProcedureEntry, type ProcedurePath } from "@procedures/client/browser";
+import type { IRNode, Pointer } from "./ir.js";
+import type { ProcedureFacts } from "./facts.js";
+/** The upper bound of the effects. An undefined list: the compiler does not know it. */
+export interface MayEffects {
+    readonly reads: ReadonlySet<string> | undefined;
+    readonly writes: ReadonlySet<string> | undefined;
+    /** True: a call can delete or overwrite data. */
+    readonly destructive: boolean;
+    /** True: each call that writes is idempotent. */
+    readonly idempotent: boolean;
+}
+/** The lower bound of the effects. */
+export interface MustEffects {
+    readonly reads: ReadonlySet<string>;
+    readonly writes: ReadonlySet<string>;
+}
+/** The effects of a node. */
+export interface EffectSummary {
+    readonly may: MayEffects;
+    readonly must: MustEffects;
+}
+/** The effects of a part that does nothing. */
+export declare const NO_EFFECTS: EffectSummary;
+/** The effects of a part that the compiler does not know. */
+export declare const UNKNOWN_EFFECTS: EffectSummary;
+/** The effects of two parts that both start, one after the other. */
+export declare function sequence(...parts: EffectSummary[]): EffectSummary;
+/** The effects of a part that can start zero times. */
+export declare function optional(part: EffectSummary): EffectSummary;
+/** The effects of one of two parts. */
+export declare function either(a: EffectSummary, b: EffectSummary): EffectSummary;
+/** The effects that an entry declares. Absent effects, or an absent list, are unknown. */
+export declare function declaredEffects(entry: ProcedureEntry | undefined): EffectSummary;
+/** True when the effects are not fully known. */
+export declare function isUnknown(summary: EffectSummary): boolean;
+/** The effects as the `Effects` of a manifest: an unknown list is absent. */
+export declare function toEffects(may: MayEffects): Effects;
+/** The result of the pass. */
+export interface EffectsAnalysis {
+    readonly program: EffectSummary;
+    /** The effects of each node. */
+    readonly byNode: ReadonlyMap<IRNode, EffectSummary>;
+    /** The effects of the program that each data-driven call runs (its body), when the compiler knows them. */
+    readonly nested: ReadonlyMap<IRNode, EffectSummary>;
+    /** The pointers of the calls whose effects the compiler does not know. */
+    readonly unknownAt: readonly Pointer[];
+}
+/** The effects of the body of a defined procedure, or undefined when the compiler cannot see it. */
+export type BodyEffects = (path: ProcedurePath) => EffectSummary | undefined;
+/** This function infers the effects of each node and of the program. */
+export declare function inferEffects(root: IRNode, facts: ProcedureFacts, bodyEffects: BodyEffects): EffectsAnalysis;
+//# sourceMappingURL=effects.d.ts.map

package/dist/effects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAA6B,KAAK,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC9H,OAAO,KAAK,EAAyB,MAAM,EAAa,OAAO,EAAE,MAAM,SAAS,CAAC;AACjF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD,wFAAwF;AACxF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;IACjD,iDAAiD;IACjD,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,iDAAiD;IACjD,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B;AAED,sCAAsC;AACtC,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACtC;AAED,6BAA6B;AAC7B,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;CAC5B;AAID,+CAA+C;AAC/C,eAAO,MAAM,UAAU,EAAE,aAGxB,CAAC;AAEF,6DAA6D;AAC7D,eAAO,MAAM,eAAe,EAAE,aAG7B,CAAC;AAaF,qEAAqE;AACrE,wBAAgB,QAAQ,CAAC,GAAG,KAAK,EAAE,aAAa,EAAE,GAAG,aAAa,CAajE;AAED,uDAAuD;AACvD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,aAAa,CAE3D;AAED,uCAAuC;AACvC,wBAAgB,MAAM,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,aAAa,CAMxE;AAED,0FAA0F;AAC1F,wBAAgB,eAAe,CAAC,KAAK,EAAE,cAAc,GAAG,SAAS,GAAG,aAAa,CAYhF;AAED,iDAAiD;AACjD,wBAAgB,SAAS,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAEzD;AAED,6EAA6E;AAC7E,wBAAgB,SAAS,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAOlD;AAED,8BAA8B;AAC9B,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,gCAAgC;IAChC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACpD,2GAA2G;IAC3G,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACpD,0EAA0E;IAC1E,QAAQ,CAAC,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;CACxC;AAED,oGAAoG;AACpG,MAAM,MAAM,WAAW,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,aAAa,GAAG,SAAS,CAAC;AAE7E,wEAAwE;AACxE,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,WAAW,GAAG,eAAe,CA6F3G"}

package/dist/effects.js

@@ -0,0 +1,185 @@
+/**
+ * The effects pass: the effects of the whole program, from the bottom up.
+ *
+ * - `may` is the upper bound: the effects of each call that can start. A sequence and the
+ *   branches give the union. A call that does not declare its effects, or whose program the
+ *   compiler cannot see, makes the effects unknown: the check fails closed.
+ * - `must` is the lower bound: the effects of each run in which no call fails. A sequence gives
+ *   the union. Two branches give the condition and the intersection of the branches. A part
+ *   that can start zero times (a later operand of `and`, the `fn` of `map`) gives nothing.
+ */
+import { isDestructive, isReadOnly } from "@procedures/client/browser";
+const EMPTY_SET = new Set();
+/** The effects of a part that does nothing. */
+export const NO_EFFECTS = {
+    may: { reads: EMPTY_SET, writes: EMPTY_SET, destructive: false, idempotent: true },
+    must: { reads: EMPTY_SET, writes: EMPTY_SET },
+};
+/** The effects of a part that the compiler does not know. */
+export const UNKNOWN_EFFECTS = {
+    may: { reads: undefined, writes: undefined, destructive: true, idempotent: false },
+    must: { reads: EMPTY_SET, writes: EMPTY_SET },
+};
+function union(a, b) {
+    if (!a || !b)
+        return undefined;
+    if (a.size === 0)
+        return b;
+    if (b.size === 0)
+        return a;
+    return new Set([...a, ...b]);
+}
+function unionMust(a, b) {
+    return union(a, b) ?? EMPTY_SET;
+}
+/** The effects of two parts that both start, one after the other. */
+export function sequence(...parts) {
+    return parts.reduce((a, b) => ({
+        may: {
+            reads: union(a.may.reads, b.may.reads),
+            writes: union(a.may.writes, b.may.writes),
+            destructive: a.may.destructive || b.may.destructive,
+            idempotent: a.may.idempotent && b.may.idempotent,
+        },
+        must: { reads: unionMust(a.must.reads, b.must.reads), writes: unionMust(a.must.writes, b.must.writes) },
+    }), NO_EFFECTS);
+}
+/** The effects of a part that can start zero times. */
+export function optional(part) {
+    return { may: part.may, must: NO_EFFECTS.must };
+}
+/** The effects of one of two parts. */
+export function either(a, b) {
+    const intersect = (x, y) => new Set([...x].filter((name) => y.has(name)));
+    return {
+        may: sequence(a, b).may,
+        must: { reads: intersect(a.must.reads, b.must.reads), writes: intersect(a.must.writes, b.must.writes) },
+    };
+}
+/** The effects that an entry declares. Absent effects, or an absent list, are unknown. */
+export function declaredEffects(entry) {
+    const effects = entry?.effects;
+    if (!effects)
+        return UNKNOWN_EFFECTS;
+    return {
+        may: {
+            reads: effects.reads ? new Set(effects.reads) : undefined,
+            writes: effects.writes ? new Set(effects.writes) : undefined,
+            destructive: isDestructive(effects),
+            idempotent: isReadOnly(effects) || effects.idempotent === true,
+        },
+        must: { reads: new Set(effects.reads ?? []), writes: new Set(effects.writes ?? []) },
+    };
+}
+/** True when the effects are not fully known. */
+export function isUnknown(summary) {
+    return summary.may.reads === undefined || summary.may.writes === undefined;
+}
+/** The effects as the `Effects` of a manifest: an unknown list is absent. */
+export function toEffects(may) {
+    return {
+        ...(may.reads ? { reads: [...may.reads].sort() } : {}),
+        ...(may.writes ? { writes: [...may.writes].sort() } : {}),
+        destructive: may.destructive,
+        idempotent: may.idempotent,
+    };
+}
+/** This function infers the effects of each node and of the program. */
+export function inferEffects(root, facts, bodyEffects) {
+    const byNode = new Map();
+    const nested = new Map();
+    const unknownAt = [];
+    const items = (spec) => spec.kind === "list"
+        ? { summary: sequence(...spec.items.map(infer)), nonEmpty: spec.items.length > 0 }
+        : { summary: infer(spec.value), nonEmpty: false };
+    /** The effects of what a data-driven procedure runs. */
+    const inner = (node, entry) => {
+        if (node.kind === "dynamic") {
+            if (node.model)
+                return infer(node.model);
+            if (node.reason === "invalid-control-flow")
+                return NO_EFFECTS;
+            if (node.reason === "raw-input" && entry && !entry.dataDriven)
+                return NO_EFFECTS;
+            // procedure.define runs nothing now: the body runs when the new procedure starts
+            if (node.key === "procedure.define" && entry?.dataDriven)
+                return NO_EFFECTS;
+        }
+        if (entry && !entry.dataDriven)
+            return NO_EFFECTS;
+        if (entry) {
+            const body = bodyEffects(node.path);
+            if (body)
+                return body;
+        }
+        return UNKNOWN_EFFECTS;
+    };
+    const infer = (node) => {
+        let summary;
+        switch (node.kind) {
+            case "literal":
+            case "reference":
+            case "fail":
+                summary = NO_EFFECTS;
+                break;
+            case "object":
+                summary = sequence(...node.entries.map((entry) => infer(entry.value)));
+                break;
+            case "array":
+                summary = sequence(...node.items.map(infer));
+                break;
+            case "deferred":
+                summary = infer(node.input);
+                break;
+            case "call":
+            case "dynamic": {
+                const entry = facts.entry(node.path);
+                const runs = inner(node, entry);
+                if (runs !== NO_EFFECTS)
+                    nested.set(node, runs);
+                summary = sequence(infer(node.input), declaredEffects(entry), runs);
+                if (isUnknown(declaredEffects(entry)) || isUnknown(runs))
+                    unknownAt.push(node.pointer);
+                break;
+            }
+            case "chain":
+                summary = sequence(declaredEffects(facts.entry(node.path)), ...(node.initialInput ? [infer(node.initialInput)] : []), ...node.steps.map((step) => infer(step.node)));
+                break;
+            case "parallel":
+                summary = sequence(declaredEffects(facts.entry(node.path)), ...node.tasks.map(infer));
+                break;
+            case "conditional": {
+                const thenEffects = node.then ? infer(node.then) : NO_EFFECTS;
+                const elseEffects = node.else ? infer(node.else) : NO_EFFECTS;
+                summary = sequence(declaredEffects(facts.entry(node.path)), infer(node.condition), either(thenEffects, elseEffects));
+                break;
+            }
+            case "try":
+                summary = sequence(declaredEffects(facts.entry(node.path)), infer(node.try), optional(infer(node.catch)));
+                break;
+            case "and":
+            case "or": {
+                const [first, ...rest] = node.values.map(infer);
+                summary = sequence(declaredEffects(facts.entry(node.path)), ...(first ? [first] : []), ...rest.map(optional));
+                break;
+            }
+            case "map": {
+                const { summary: itemEffects, nonEmpty } = items(node.items);
+                const fn = node.fn ? infer(node.fn) : NO_EFFECTS;
+                summary = sequence(declaredEffects(facts.entry(node.path)), itemEffects, nonEmpty ? fn : optional(fn));
+                break;
+            }
+            case "reduce": {
+                const itemPart = node.items ? items(node.items) : { summary: NO_EFFECTS, nonEmpty: false };
+                const fn = node.fn ? infer(node.fn) : NO_EFFECTS;
+                summary = sequence(declaredEffects(facts.entry(node.path)), itemPart.summary, infer(node.initial), itemPart.nonEmpty ? fn : optional(fn));
+                break;
+            }
+        }
+        byNode.set(node, summary);
+        return summary;
+    };
+    const program = infer(root);
+    return { program, byNode, nested, unknownAt };
+}
+//# sourceMappingURL=effects.js.map

package/dist/effects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.js","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,aAAa,EAAE,UAAU,EAAyD,MAAM,4BAA4B,CAAC;AA0B9H,MAAM,SAAS,GAAwB,IAAI,GAAG,EAAE,CAAC;AAEjD,+CAA+C;AAC/C,MAAM,CAAC,MAAM,UAAU,GAAkB;IACvC,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE;IAClF,IAAI,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE;CAC9C,CAAC;AAEF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,eAAe,GAAkB;IAC5C,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE;IAClF,IAAI,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE;CAC9C,CAAC;AAEF,SAAS,KAAK,CAAC,CAAkC,EAAE,CAAkC;IACnF,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,SAAS,CAAC,CAAsB,EAAE,CAAsB;IAC/D,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,SAAS,CAAC;AAClC,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,QAAQ,CAAC,GAAG,KAAsB;IAChD,OAAO,KAAK,CAAC,MAAM,CACjB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACT,GAAG,EAAE;YACH,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;YACtC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;YACzC,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW,IAAI,CAAC,CAAC,GAAG,CAAC,WAAW;YACnD,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU;SACjD;QACD,IAAI,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;KACxG,CAAC,EACF,UAAU,CACX,CAAC;AACJ,CAAC;AAED,uDAAuD;AACvD,MAAM,UAAU,QAAQ,CAAC,IAAmB;IAC1C,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC;AAClD,CAAC;AAED,uCAAuC;AACvC,MAAM,UAAU,MAAM,CAAC,CAAgB,EAAE,CAAgB;IACvD,MAAM,SAAS,GAAG,CAAC,CAAsB,EAAE,CAAsB,EAAuB,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzI,OAAO;QACL,GAAG,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG;QACvB,IAAI,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;KACxG,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,eAAe,CAAC,KAAiC;IAC/D,MAAM,OAAO,GAAG,KAAK,EAAE,OAAO,CAAC;IAC/B,IAAI,CAAC,OAAO;QAAE,OAAO,eAAe,CAAC;IACrC,OAAO;QACL,GAAG,EAAE;YACH,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;YACzD,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;YAC5D,WAAW,EAAE,aAAa,CAAC,OAAO,CAAC;YACnC,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI;SAC/D;QACD,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE;KACrF,CAAC;AACJ,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,SAAS,CAAC,OAAsB;IAC9C,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC;AAC7E,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,SAAS,CAAC,GAAe;IACvC,OAAO;QACL,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,UAAU,EAAE,GAAG,CAAC,UAAU;KAC3B,CAAC;AACJ,CAAC;AAgBD,wEAAwE;AACxE,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,KAAqB,EAAE,WAAwB;IACxF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAChD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAChD,MAAM,SAAS,GAAc,EAAE,CAAC;IAEhC,MAAM,KAAK,GAAG,CAAC,IAAe,EAAiD,EAAE,CAC/E,IAAI,CAAC,IAAI,KAAK,MAAM;QAClB,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE;QAClF,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAEtD,wDAAwD;IACxD,MAAM,KAAK,GAAG,CAAC,IAA4B,EAAE,KAAiC,EAAiB,EAAE;QAC/F,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,KAAK;gBAAE,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzC,IAAI,IAAI,CAAC,MAAM,KAAK,sBAAsB;gBAAE,OAAO,UAAU,CAAC;YAC9D,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,UAAU;gBAAE,OAAO,UAAU,CAAC;YACjF,iFAAiF;YACjF,IAAI,IAAI,CAAC,GAAG,KAAK,kBAAkB,IAAI,KAAK,EAAE,UAAU;gBAAE,OAAO,UAAU,CAAC;QAC9E,CAAC;QACD,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,UAAU;YAAE,OAAO,UAAU,CAAC;QAClD,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,IAAI;gBAAE,OAAO,IAAI,CAAC;QACxB,CAAC;QACD,OAAO,eAAe,CAAC;IACzB,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,IAAY,EAAiB,EAAE;QAC5C,IAAI,OAAsB,CAAC;QAC3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,SAAS,CAAC;YACf,KAAK,WAAW,CAAC;YACjB,KAAK,MAAM;gBACT,OAAO,GAAG,UAAU,CAAC;gBACrB,MAAM;YACR,KAAK,QAAQ;gBACX,OAAO,GAAG,QAAQ,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACvE,MAAM;YACR,KAAK,OAAO;gBACV,OAAO,GAAG,QAAQ,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC7C,MAAM;YACR,KAAK,UAAU;gBACb,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC5B,MAAM;YACR,KAAK,MAAM,CAAC;YACZ,KAAK,SAAS,EAAE,CAAC;gBACf,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAChC,IAAI,IAAI,KAAK,UAAU;oBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAChD,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;gBACpE,IAAI,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC;oBAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACvF,MAAM;YACR,CAAC;YACD,KAAK,OAAO;gBACV,OAAO,GAAG,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACrK,MAAM;YACR,KAAK,UAAU;gBACb,OAAO,GAAG,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBACtF,MAAM;YACR,KAAK,aAAa,EAAE,CAAC;gBACnB,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;gBAC9D,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;gBAC9D,OAAO,GAAG,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;gBACrH,MAAM;YACR,CAAC;YACD,KAAK,KAAK;gBACR,OAAO,GAAG,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC1G,MAAM;YACR,KAAK,KAAK,CAAC;YACX,KAAK,IAAI,EAAE,CAAC;gBACV,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAChD,OAAO,GAAG,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAC9G,MAAM;YACR,CAAC;YACD,KAAK,KAAK,EAAE,CAAC;gBACX,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7D,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;gBACjD,OAAO,GAAG,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;gBACvG,MAAM;YACR,CAAC;YACD,KAAK,QAAQ,EAAE,CAAC;gBACd,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;gBAC3F,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;gBACjD,OAAO,GAAG,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC1I,MAAM;YACR,CAAC;QACH,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1B,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;AAChD,CAAC"}

package/dist/explain.d.ts

@@ -0,0 +1,58 @@
+/**
+ * The explanation of a program (roadmap R23): the check and `explainInvocation()` of the client
+ * in one result.
+ *
+ * The result has the effects of the program, each call with its declared effects, the answer of
+ * the capability for the call, and the diagnostics. A short text in plain words tells the same.
+ * An application can show the text to a user before the user starts the program.
+ */
+import { type CapabilityRefusalReason, type Effects, type ProcedurePath } from "@procedures/client/browser";
+import { type Pointer } from "./ir.js";
+import { type CheckOptions, type MustEffects } from "./program.js";
+import type { Diagnostic } from "./diagnostics.js";
+/** The kind of a call: a call of a procedure, a control-flow call or a dynamic call. */
+export type CallKind = "call" | "control" | "dynamic";
+/** The explanation of one call of a program. */
+export interface CallExplanation {
+    /** The key of the procedure: its path with dots. */
+    readonly key: string;
+    readonly path: ProcedurePath;
+    /** The JSON pointer of the call in the program. */
+    readonly pointer: Pointer;
+    readonly kind: CallKind;
+    /** The effects that the procedure declares. Absent: the procedure does not declare its effects. */
+    readonly effects?: Effects | undefined;
+    /** True when the host has a procedure at the path. */
+    readonly known: boolean;
+    /** True when the host has the procedure and its expose rule lets a program call it. */
+    readonly exposed: boolean;
+    /** True when the capability permits the call (`explainInvocation()` of the client). */
+    readonly permitted: boolean;
+    /** The reason of a refusal, or `not-found` for a path without a procedure. */
+    readonly reason?: CapabilityRefusalReason | "not-found" | undefined;
+    /** The answer of `explainInvocation()` in words. */
+    readonly message: string;
+}
+/** The result of `explainProgram()`. */
+export interface ProgramExplanation {
+    /** True when no diagnostic is an error. A host starts the program only then. */
+    readonly ok: boolean;
+    /** The effects that a run can have (the upper bound). An absent `reads` or `writes`: not known. */
+    readonly effects: Effects;
+    /** The effects of each run in which no call fails (the lower bound). */
+    readonly mustEffects: MustEffects;
+    /** The calls of the program, in the order of the tree: a call comes before the calls of its input. */
+    readonly calls: CallExplanation[];
+    /** The problems that the check found, in the order of the program. */
+    readonly diagnostics: Diagnostic[];
+    /** The hash of the manifest that the check used. */
+    readonly registryHash: string;
+    /** The explanation in short sentences of plain words. */
+    readonly summary: string;
+}
+/**
+ * This function explains a program before it starts. It checks the program, and it asks
+ * `explainInvocation()` of the client about each call. No call of the program starts.
+ */
+export declare function explainProgram(program: unknown, options: CheckOptions): ProgramExplanation;
+//# sourceMappingURL=explain.d.ts.map

package/dist/explain.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"explain.d.ts","sourceRoot":"","sources":["../src/explain.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAIL,KAAK,uBAAuB,EAC5B,KAAK,OAAO,EACZ,KAAK,aAAa,EACnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAiC,KAAK,OAAO,EAAE,MAAM,SAAS,CAAC;AAGtE,OAAO,EAA2B,KAAK,YAAY,EAAE,KAAK,WAAW,EAAE,MAAM,cAAc,CAAC;AAC5F,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,wFAAwF;AACxF,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;AAEtD,gDAAgD;AAChD,MAAM,WAAW,eAAe;IAC9B,oDAAoD;IACpD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,mDAAmD;IACnD,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,mGAAmG;IACnG,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IACvC,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,uFAAuF;IACvF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,uFAAuF;IACvF,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,8EAA8E;IAC9E,QAAQ,CAAC,MAAM,CAAC,EAAE,uBAAuB,GAAG,WAAW,GAAG,SAAS,CAAC;IACpE,oDAAoD;IACpD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,wCAAwC;AACxC,MAAM,WAAW,kBAAkB;IACjC,gFAAgF;IAChF,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,mGAAmG;IACnG,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,wEAAwE;IACxE,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,sGAAsG;IACtG,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,CAAC;IAClC,sEAAsE;IACtE,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;IACnC,oDAAoD;IACpD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,yDAAyD;IACzD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAsFD;;;GAGG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,GAAG,kBAAkB,CAuC1F"}

package/dist/explain.js

@@ -0,0 +1,144 @@
+/**
+ * The explanation of a program (roadmap R23): the check and `explainInvocation()` of the client
+ * in one result.
+ *
+ * The result has the effects of the program, each call with its declared effects, the answer of
+ * the capability for the call, and the diagnostics. A short text in plain words tells the same.
+ * An application can show the text to a user before the user starts the program.
+ */
+import { explainInvocation, } from "@procedures/client/browser";
+import { isCallLike, walk } from "./ir.js";
+import { isStringPath, withDefinitions } from "./facts.js";
+import { findDefinitions } from "./normalize.js";
+import { baseFacts, checkProgram } from "./program.js";
+/** A capability without its deadline: the static check does not know the time of the run. */
+function withoutDeadline(capability) {
+    if (!capability || capability.deadline === undefined)
+        return capability;
+    const { deadline: _deadline, ...rest } = capability;
+    return rest;
+}
+/** A registry for `explainInvocation()` that has a procedure with the declared effects for each known path. */
+function registryOf(facts) {
+    return {
+        get: (path) => {
+            const entry = facts.entry(path);
+            return entry ? { path, metadata: entry.effects ? { effects: entry.effects } : {} } : undefined;
+        },
+    };
+}
+function kindOf(node) {
+    return node.kind === "call" ? "call" : node.kind === "dynamic" ? "dynamic" : "control";
+}
+/** A list in words: "a", "a and b", "a, b and c". */
+function listText(items) {
+    if (items.length <= 1)
+        return items.join("");
+    return `${items.slice(0, -1).join(", ")} and ${items[items.length - 1]}`;
+}
+function count(value, noun) {
+    return `${value} ${noun}${value === 1 ? "" : "s"}`;
+}
+/** Each call of a list with its place, at most three, and the number of the others. */
+function callsText(calls) {
+    const shown = calls.slice(0, 3).map((call) => `${call.key} at ${call.pointer === "" ? "the root" : call.pointer}`);
+    return calls.length > 3 ? `${shown.join(", ")} and ${calls.length - 3} more` : listText(shown);
+}
+/** The sentences of the effects. */
+function effectsText(effects, must) {
+    const sentences = [];
+    const names = (list) => (list.length === 0 ? "nothing" : listText(list));
+    if (effects.reads && effects.writes) {
+        const reads = effects.reads.length === 0 ? "reads nothing" : `can read ${names(effects.reads)}`;
+        const writes = effects.writes.length === 0 ? "changes nothing" : `can change ${names(effects.writes)}`;
+        sentences.push(`The program ${reads} and ${writes}.`);
+    }
+    else if (effects.reads) {
+        sentences.push(`The program ${effects.reads.length === 0 ? "reads nothing" : `can read ${names(effects.reads)}`}. The compiler does not know what it changes.`);
+    }
+    else if (effects.writes) {
+        sentences.push(`The compiler does not know what the program reads. It ${effects.writes.length === 0 ? "changes nothing" : `can change ${names(effects.writes)}`}.`);
+    }
+    else {
+        sentences.push("The compiler does not know the effects of the program: a call does not declare them, or it runs a program that the compiler cannot see.");
+    }
+    if (effects.writes && effects.writes.length > 0 && effects.destructive)
+        sentences.push("A call can delete or overwrite data.");
+    if (must.reads.length > 0 || must.writes.length > 0) {
+        const parts = [...(must.reads.length > 0 ? [`reads ${names(must.reads)}`] : []), ...(must.writes.length > 0 ? [`changes ${names(must.writes)}`] : [])];
+        sentences.push(`Each run in which no call fails ${parts.join(" and ")}.`);
+    }
+    return sentences;
+}
+/** The text of the explanation, in short sentences. */
+function summaryOf(explanation) {
+    const { calls, diagnostics } = explanation;
+    const sentences = [];
+    const keys = new Set(calls.map((call) => call.key));
+    sentences.push(`The program has ${count(calls.length, "call")} of ${count(keys.size, "procedure")}.`);
+    sentences.push(...effectsText(explanation.effects, explanation.mustEffects));
+    const unknown = calls.filter((call) => !call.known);
+    if (unknown.length > 0)
+        sentences.push(`The host has no procedure for ${count(unknown.length, "call")}: ${callsText(unknown)}.`);
+    const hidden = calls.filter((call) => call.known && !call.exposed);
+    if (hidden.length > 0)
+        sentences.push(`The host does not expose ${count(hidden.length, "call")}: ${callsText(hidden)}.`);
+    const refused = calls.filter((call) => call.known && !call.permitted);
+    if (refused.length > 0)
+        sentences.push(`The capability refuses ${count(refused.length, "call")}: ${callsText(refused)}.`);
+    const errors = diagnostics.filter((diagnostic) => diagnostic.severity === "error").length;
+    const warnings = diagnostics.filter((diagnostic) => diagnostic.severity === "warning").length;
+    sentences.push(errors === 0
+        ? "The check found no error, so the host can start the program."
+        : `The check found ${count(errors, "error")}, so the host does not start the program.`);
+    if (warnings > 0)
+        sentences.push(`The check also found ${count(warnings, "warning")}.`);
+    return sentences.join(" ");
+}
+/**
+ * This function explains a program before it starts. It checks the program, and it asks
+ * `explainInvocation()` of the client about each call. No call of the program starts.
+ */
+export function explainProgram(program, options) {
+    const base = baseFacts(options);
+    const facts = withDefinitions(base, findDefinitions(program));
+    const result = checkProgram(program, { ...options, facts: base });
+    const capability = withoutDeadline(options.capability);
+    const registry = registryOf(facts);
+    const calls = [];
+    const visit = (node) => {
+        if (!isCallLike(node))
+            return;
+        const path = node.path;
+        if (isStringPath(path) && path.length > 0 && path.every((segment) => segment.length > 0)) {
+            const entry = facts.entry(path);
+            const answer = explainInvocation(path, capability, registry);
+            calls.push({
+                key: node.key,
+                path: [...path],
+                pointer: node.pointer,
+                kind: kindOf(node),
+                ...(entry?.effects ? { effects: entry.effects } : {}),
+                known: entry !== undefined,
+                exposed: entry !== undefined && facts.exposed(path),
+                permitted: answer.permitted,
+                ...(answer.reason !== undefined ? { reason: answer.reason } : {}),
+                message: answer.message,
+            });
+        }
+        // The program that a dynamic call runs, when the compiler can see it (client.eval of a literal path)
+        if (node.kind === "dynamic" && node.model)
+            walk(node.model, visit);
+    };
+    walk(result.ir.root, visit);
+    const explanation = {
+        ok: result.ok,
+        effects: result.effects,
+        mustEffects: result.mustEffects,
+        calls,
+        diagnostics: result.diagnostics,
+        registryHash: result.registryHash,
+    };
+    return { ...explanation, summary: summaryOf(explanation) };
+}
+//# sourceMappingURL=explain.js.map