@procedures/client 0.43.0 → 0.45.0

package/dist/server/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/server/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAItD,YAAY,EAAE,MAAM,EAAE,CAAC;AAEvB;;;GAGG;AACH,MAAM,WAAW,aAAa,CAAC,IAAI,GAAG,OAAO;IAC3C,mDAAmD;IACnD,EAAE,EAAE,MAAM,CAAC;IAEX,+CAA+C;IAC/C,MAAM,EAAE,MAAM,CAAC;IAEf,sBAAsB;IACtB,OAAO,EAAE,IAAI,CAAC;IAEd,qDAAqD;IACrD,QAAQ,EAAE,QAAQ,CAAC;IAEnB;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAE5B;;;OAGG;IACH,QAAQ,CAAC,EAAE,cAAc,GAAG,SAAS,CAAC;IAEtC,oCAAoC;IACpC,MAAM,CAAC,EAAE,WAAW,CAAC;IAErB;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAE/B;;;;;;;;;OASG;IACH,WAAW,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IAEtC,+GAA+G;IAC/G,SAAS,CAAC,EAAE,SAAS,GAAG,SAAS,CAAC;IAElC;;;;OAIG;IACH,SAAS,CAAC,EAAE,iBAAiB,GAAG,SAAS,CAAC;CAC3C;AAED;;;;GAIG;AACH,eAAO,MAAM,YAAY,EAAE,OAAO,MAA2D,CAAC;AAE9F;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B;;;;OAIG;IACH,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC;IAC3C,kDAAkD;IAClD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACrC,qGAAqG;IACrG,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC;IAChE,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC;IAChE,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC;IAC9D;;;;;;;;;;;;;;;;OAgBG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,iBAAiB,GAAG,SAAS,CAAC;CACrD;AAED;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB;IAChC,6EAA6E;IAC7E,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5C,iGAAiG;IACjG,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,oGAAoG;IACpG,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3C,oEAAoE;IACpE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACzC;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B;;;OAGG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACrC,kFAAkF;IAClF,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,GAAG,SAAS,CAAC;IAC3C;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,iBAAiB,GAAG,SAAS,CAAC;CACpD;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,WAAW,GAAG,CACxB,WAAW,EAAE,WAAW,EACxB,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,KAC5B,eAAe,GAAG,SAAS,GAAG,OAAO,CAAC,eAAe,GAAG,SAAS,CAAC,CAAC;AAExE,yCAAyC;AACzC,MAAM,WAAW,SAAS;IACxB,kEAAkE;IAClE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,yFAAyF;IACzF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,qEAAqE;IACrE,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC;CACjE;AAED,kFAAkF;AAClF,MAAM,WAAW,iBAAiB;IAChC;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,6BAA6B;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,iCAAiC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,oCAAoC;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,wHAAwH;IACxH,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC;CACjE;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,MAAM,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IACxD;;;;OAIG;IACH,WAAW,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,GAAG,SAAS,EAAE,GAAG,EAAE,YAAY,GAAG,YAAY,CAAC;IAClG;;;;OAIG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,SAAS,CAAC;IAC7D;;;;;OAKG;IACH,QAAQ,CAAC,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAAC;IACpE;;;;;;OAMG;IACH,SAAS,CAAC,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;CAC1D;AAED;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,GAAG,SAAS,CAAA;CAAE,GACpG;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpF;;;;;;GAMG;AACH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEtD;;;GAGG;AACH,MAAM,WAAW,cAAc,CAAC,IAAI,GAAG,OAAO;IAC5C,mCAAmC;IACnC,EAAE,EAAE,MAAM,CAAC;IAEX,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAC;IAEf,iDAAiD;IACjD,OAAO,CAAC,EAAE,IAAI,CAAC;IAEf;;;;OAIG;IACH,MAAM,CAAC,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;IAE7B,wBAAwB;IACxB,QAAQ,EAAE,QAAQ,CAAC;CACpB;AAED;;;GAGG;AACH,MAAM,MAAM,aAAa,CAAC,IAAI,GAAG,OAAO,EAAE,IAAI,GAAG,OAAO,IAAI,CAC1D,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,KACzB,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;AAE1D;;;GAGG;AACH,MAAM,WAAW,aAAa,CAAC,IAAI,GAAG,OAAO;IAC3C,2BAA2B;IAC3B,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;IAE7B,yDAAyD;IACzD,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,IAAI,GAAG,OAAO,EAAE,IAAI,GAAG,OAAO,IAAI,CACzD,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,KACzB,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;AAEnC;;;GAGG;AACH,MAAM,MAAM,gBAAgB,CAAC,IAAI,GAAG,OAAO,EAAE,IAAI,GAAG,OAAO,IAAI,CAC7D,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,KAC3B,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAE9B;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,8CAA8C;IAC9C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAEtB;;;OAGG;IACH,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAEvB;;;OAGG;IACH,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAEtB;;OAEG;IACH,SAAS,IAAI,OAAO,CAAC;CACtB;AAED;;GAEG;AACH,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,MAAM,EAAE,MAAM,EAOzB;CACF;AAED;;;GAGG;AACH,qBAAa,WAAY,SAAQ,KAAK;aAGlB,IAAI,EAAE,MAAM;aACZ,SAAS,EAAE,OAAO;IAHpC,YACE,OAAO,EAAE,MAAM,EACC,IAAI,GAAE,MAAyB,EAC/B,SAAS,GAAE,OAAe,EAI3C;CACF"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/server/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,KAAK,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC/E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAI3C,YAAY,EAAE,MAAM,EAAE,CAAC;AAEvB;;;GAGG;AACH,MAAM,WAAW,aAAa,CAAC,IAAI,GAAG,OAAO;IAC3C,mDAAmD;IACnD,EAAE,EAAE,MAAM,CAAC;IAEX,+CAA+C;IAC/C,MAAM,EAAE,MAAM,CAAC;IAEf,sBAAsB;IACtB,OAAO,EAAE,IAAI,CAAC;IAEd,qDAAqD;IACrD,QAAQ,EAAE,QAAQ,CAAC;IAEnB;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAE5B;;;OAGG;IACH,QAAQ,CAAC,EAAE,cAAc,GAAG,SAAS,CAAC;IAEtC,oCAAoC;IACpC,MAAM,CAAC,EAAE,WAAW,CAAC;IAErB;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAE/B;;;;;;;;;OASG;IACH,WAAW,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IAEtC,+GAA+G;IAC/G,SAAS,CAAC,EAAE,SAAS,GAAG,SAAS,CAAC;IAElC;;;;OAIG;IACH,SAAS,CAAC,EAAE,iBAAiB,GAAG,SAAS,CAAC;IAE1C;;;;;OAKG;IACH,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;CACzD;AAED;;;;GAIG;AACH,eAAO,MAAM,YAAY,EAAE,OAAO,MAA2D,CAAC;AAE9F;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B;;;;OAIG;IACH,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC;IAC3C,kDAAkD;IAClD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACrC,qGAAqG;IACrG,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC;IAChE,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC;IAChE,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC;IAC9D;;;;;;;;;;;;;;;;OAgBG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,iBAAiB,GAAG,SAAS,CAAC;CACrD;AAED;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB;IAChC,6EAA6E;IAC7E,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5C,iGAAiG;IACjG,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,oGAAoG;IACpG,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3C,oEAAoE;IACpE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACzC;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B;;;OAGG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACrC,kFAAkF;IAClF,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,GAAG,SAAS,CAAC;IAC3C;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,iBAAiB,GAAG,SAAS,CAAC;CACpD;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,WAAW,GAAG,CACxB,WAAW,EAAE,WAAW,EACxB,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,KAC5B,eAAe,GAAG,SAAS,GAAG,OAAO,CAAC,eAAe,GAAG,SAAS,CAAC,CAAC;AAExE,yCAAyC;AACzC,MAAM,WAAW,SAAS;IACxB,kEAAkE;IAClE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,yFAAyF;IACzF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,qEAAqE;IACrE,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC;CACjE;AAED,kFAAkF;AAClF,MAAM,WAAW,iBAAiB;IAChC;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,6BAA6B;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,iCAAiC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,oCAAoC;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,wHAAwH;IACxH,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC;CACjE;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,MAAM,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IACxD;;;;OAIG;IACH,WAAW,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,GAAG,SAAS,EAAE,GAAG,EAAE,YAAY,GAAG,YAAY,CAAC;IAClG;;;;OAIG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,SAAS,CAAC;IAC7D;;;;;OAKG;IACH,QAAQ,CAAC,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAAC;IACpE;;;;;;OAMG;IACH,SAAS,CAAC,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IACzD;;;OAGG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACtC;AAED;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,GAAG,SAAS,CAAA;CAAE,GACpG;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpF;;;;;;GAMG;AACH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEtD;;;GAGG;AACH,MAAM,WAAW,cAAc,CAAC,IAAI,GAAG,OAAO;IAC5C,mCAAmC;IACnC,EAAE,EAAE,MAAM,CAAC;IAEX,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAC;IAEf,iDAAiD;IACjD,OAAO,CAAC,EAAE,IAAI,CAAC;IAEf;;;;OAIG;IACH,MAAM,CAAC,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;IAE7B,wBAAwB;IACxB,QAAQ,EAAE,QAAQ,CAAC;CACpB;AAED;;;GAGG;AACH,MAAM,MAAM,aAAa,CAAC,IAAI,GAAG,OAAO,EAAE,IAAI,GAAG,OAAO,IAAI,CAC1D,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,KACzB,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;AAE1D;;;GAGG;AACH,MAAM,WAAW,aAAa,CAAC,IAAI,GAAG,OAAO;IAC3C,2BAA2B;IAC3B,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;IAE7B,yDAAyD;IACzD,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,IAAI,GAAG,OAAO,EAAE,IAAI,GAAG,OAAO,IAAI,CACzD,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,KACzB,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;AAEnC;;;GAGG;AACH,MAAM,MAAM,gBAAgB,CAAC,IAAI,GAAG,OAAO,EAAE,IAAI,GAAG,OAAO,IAAI,CAC7D,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,KAC3B,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAE9B;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,8CAA8C;IAC9C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAEtB;;;OAGG;IACH,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAEvB;;;OAGG;IACH,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAEtB;;OAEG;IACH,SAAS,IAAI,OAAO,CAAC;CACtB;AAED;;GAEG;AACH,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,MAAM,EAAE,MAAM,EAOzB;CACF;AAED;;;GAGG;AACH,qBAAa,WAAY,SAAQ,KAAK;aAGlB,IAAI,EAAE,MAAM;aACZ,SAAS,EAAE,OAAO;IAHpC,YACE,OAAO,EAAE,MAAM,EACC,IAAI,GAAE,MAAyB,EAC/B,SAAS,GAAE,OAAe,EAI3C;CACF"}

package/dist/server/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/server/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAOH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAmEzC;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAkB,MAAM,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;AAiR9F;;GAEG;AACH,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,MAAc;QACxB,KAAK,CACH,wBAAwB,UAAU,CAAC,MAAM,CAAC,GACxC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAC7C,EAAE,CACH,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,OAAO,WAAY,SAAQ,KAAK;IAGlB,IAAI;IACJ,SAAS;IAH3B,YACE,OAAe,EACC,IAAI,GAAW,gBAAgB,EAC/B,SAAS,GAAY,KAAK;QAE1C,KAAK,CAAC,OAAO,CAAC,CAAC;oBAHC,IAAI;yBACJ,SAAS;QAGzB,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/server/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAQH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA2EzC;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAkB,MAAM,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;AAsR9F;;GAEG;AACH,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,MAAc;QACxB,KAAK,CACH,wBAAwB,UAAU,CAAC,MAAM,CAAC,GACxC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAC7C,EAAE,CACH,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,OAAO,WAAY,SAAQ,KAAK;IAGlB,IAAI;IACJ,SAAS;IAH3B,YACE,OAAe,EACC,IAAI,GAAW,gBAAgB,EAC/B,SAAS,GAAY,KAAK;QAE1C,KAAK,CAAC,OAAO,CAAC,CAAC;oBAHC,IAAI;yBACJ,SAAS;QAGzB,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF"}

package/package.json

@@ -1,7 +1,7 @@
 {
   "$schema": "https://json.schemastore.org/package",
   "name": "@procedures/client",
-  "version": "0.43.0",
+  "version": "0.45.0",
   "description": "Procedures as data for TypeScript: define typed procedures once and call them in process, over HTTP, WebSocket, the CLI or MCP. Streaming, middleware, retries, caching and a JSON program format.",
   "keywords": [
     "rpc",
@@ -112,7 +112,7 @@
   },
   "dependencies": {
     "@mark1russell7/algebra": "^0.8.0",
-    "@mark1russell7/coeval": "^0.8.0",
+    "@mark1russell7/coeval": "^0.10.0",
     "@mark1russell7/quantity": "^0.2.0",
     "@mark1russell7/service": "^0.6.0",
     "@types/ws": "^8.18.1",

package/src/adapters/http/server/transport.ts

@@ -18,6 +18,7 @@ import { createPatternServerUrlStrategy } from "./strategies.js";
 import { applyCors, corsOrigins, corsPolicy, type CorsPolicy } from "./cors.js";
 import { createProcedureHandler, type NodeProcedureHandler } from "./handler.js";
 import { isBatchRequest } from "./batch.js";
+import { writeLog, type Logger } from "../../../logger.js";
 
 /**
  * This function gives the route of the procedure handler: each path under the base path. With
@@ -61,9 +62,12 @@ export class HttpServerTransport implements ServerTransport {
   /** The CORS of the app, or undefined when it is off */
   private readonly cors: CorsPolicy | undefined;
   private stopped = false;
+  /** The logger of the start and the stop: the option, or the logger of the server (CLI-87) */
+  private readonly logger: Logger | undefined;
 
   constructor(server: RequestHandler, options: HttpServerTransportOptions = {}) {
     const basePath = options.basePath ?? "/api";
+    this.logger = options.logger ?? server.logger;
     this.options = {
       port: options.port ?? 3000,
       // Loopback by default (see BUGS-2026-07 H19)
@@ -159,7 +163,7 @@ export class HttpServerTransport implements ServerTransport {
     // If an HTTP server was provided, use it (don't create or listen)
     if (this.options.httpServer) {
       this.httpServer = this.options.httpServer;
-      console.log(`[${this.name}] Using existing HTTP server`);
+      writeLog(this.logger, "info", "Using existing HTTP server", { transport: this.name }, `[${this.name}] Using existing HTTP server`);
       return Promise.resolve();
     }
 
@@ -170,9 +174,8 @@ export class HttpServerTransport implements ServerTransport {
         this.httpServer = server;
 
         server.listen(this.options.port, this.options.host, () => {
-          console.log(
-            `[${this.name}] Server listening on http://${this.options.host}:${this.port() ?? this.options.port}`
-          );
+          const url = `http://${this.options.host}:${this.port() ?? this.options.port}`;
+          writeLog(this.logger, "info", "Server listening", { transport: this.name, url }, `[${this.name}] Server listening on ${url}`);
           resolve();
         });
 
@@ -203,7 +206,7 @@ export class HttpServerTransport implements ServerTransport {
         if (err) {
           reject(err);
         } else {
-          console.log(`[${this.name}] Server stopped`);
+          writeLog(this.logger, "info", "Server stopped", { transport: this.name }, `[${this.name}] Server stopped`);
           resolve();
         }
       });

package/src/adapters/http/server/types.ts

@@ -10,6 +10,7 @@ import type { Method } from "../../../client/types.js";
 import type { BrowserGuardOptions } from "../../../server/browser-guard.js";
 import type { Clock } from "../../../clock.js";
 import type { Duration } from "../../../duration.js";
+import type { Logger } from "../../../logger.js";
 import type { Addressing } from "./addressing.js";
 import type { HandlerBatchOptions } from "./batch.js";
 import type { UrlStrategyRequest } from "./strategies.js";
@@ -131,4 +132,10 @@ export interface HttpServerTransportOptions extends BrowserGuardOptions {
     allowedHeaders?: string[];
     credentials?: boolean;
   };
+
+  /**
+   * The logger of the transport (CLI-87): the lines of its start and its stop go to it. The default
+   * is the logger of the server. Without both, each line goes to `console.log` as before.
+   */
+  logger?: Logger | undefined;
 }

package/src/adapters/sequence.ts

@@ -14,6 +14,8 @@
  *   so the reader skips it before the check.
  */
 
+import { writeLog, type Logger } from "../logger.js";
+
 /**
  * The metadata key of a stream item after a gap: the number of frames that did not arrive
  * immediately before this item. The receiver sets it. It does not cross the wire.
@@ -32,6 +34,9 @@ export const STREAM_ITEM_METADATA_KEY = "stream";
 export class StreamSequence {
   private last = 0;
 
+  /** The logger of the warning of a gap (CLI-87). Without it, the warning goes to `console.warn`. */
+  constructor(private readonly logger?: Logger | undefined) {}
+
   /**
    * This function examines the `seq` of a frame. It gives -1 for a frame to drop: its `seq` is
    * not above the last one. Else it gives the number of frames that did not arrive before this
@@ -42,7 +47,7 @@ export class StreamSequence {
     if (seq <= this.last) return -1;
     const gap = seq - this.last - 1;
     this.last = seq;
-    if (gap > 0) console.warn(`[stream] Frames lost before seq ${seq} of the call ${id}: ${gap}`);
+    if (gap > 0) writeLog(this.logger, "warn", "Frames lost", { requestId: id, seq, lost: gap }, `[stream] Frames lost before seq ${seq} of the call ${id}: ${gap}`);
     return gap;
   }
 }

package/src/adapters/websocket/server/transport.ts

@@ -33,6 +33,7 @@ import { attachUpgradeTarget, refuseUpgrade } from "./upgrade-router.js";
 import { realClock, type Cancel } from "../../../clock.js";
 import { PROTOCOL_VERSION, protocolVersionOf } from "../../../protocol.js";
 import { TIMER_DEFAULTS } from "../../../timers.js";
+import { writeLog, type Logger } from "../../../logger.js";
 import {
   remoteEvents,
   subscribeRemote,
@@ -75,7 +76,7 @@ export class WebSocketServerTransport implements ServerTransport {
   private options: Required<
     Omit<
       WebSocketServerTransportOptions,
-      "server" | "authenticate" | "onConnection" | "allowedOrigins" | "allowedHosts" | "heartbeat" | "reverseRequestTimeout" | "secretHeaders"
+      "server" | "authenticate" | "onConnection" | "allowedOrigins" | "allowedHosts" | "heartbeat" | "reverseRequestTimeout" | "secretHeaders" | "logger"
     >
   > & {
     server: WebSocketServerTransportOptions["server"];
@@ -93,6 +94,8 @@ export class WebSocketServerTransport implements ServerTransport {
   /** True: a cookie of an upgrade is trusted only from a named origin, with or without an auth path */
   private cookiesNamed = false;
   private server: RequestHandler;
+  /** The logger of the lines of the transport: the option, or the logger of the server (CLI-87) */
+  private readonly logger: Logger | undefined;
   private connections: Set<WebSocket> = new Set();
 
   /** The time until the first frame of a call to a client, in milliseconds (R24) */
@@ -128,6 +131,7 @@ export class WebSocketServerTransport implements ServerTransport {
 
   constructor(server: RequestHandler, options: WebSocketServerTransportOptions = {}) {
     this.server = server;
+    this.logger = options.logger ?? server.logger;
     this.options = {
       server: options.server,
       path: options.path ?? "/ws",
@@ -161,7 +165,7 @@ export class WebSocketServerTransport implements ServerTransport {
     for (const ws of this.connections) {
       const missed = this.missedPongs.get(ws) ?? 0;
       if (missed >= this.heartbeat.misses) {
-        console.error(`[${this.name}] A connection missed ${missed} pongs: closing it`);
+        writeLog(this.logger, "error", "A connection missed its pongs: closing it", { transport: this.name, missed }, `[${this.name}] A connection missed ${missed} pongs: closing it`);
         ws.terminate();
         continue;
       }
@@ -217,7 +221,7 @@ export class WebSocketServerTransport implements ServerTransport {
         try {
           callback(await this.options.authenticate(req));
         } catch (error) {
-          console.error("[WebSocket] Authentication error:", error);
+          writeLog(this.logger, "error", "Authentication error", { transport: this.name, path: this.options.path, error }, "[WebSocket] Authentication error:", error);
           callback(false);
         }
       },
@@ -235,7 +239,7 @@ export class WebSocketServerTransport implements ServerTransport {
       this.heartbeatTimer.unref?.();
     }
 
-    console.log(`[${this.name}] WebSocket server listening on ${this.options.path}`);
+    writeLog(this.logger, "info", "WebSocket server listening", { transport: this.name, path: this.options.path }, `[${this.name}] WebSocket server listening on ${this.options.path}`);
   }
 
   async stop(): Promise<void> {
@@ -267,7 +271,7 @@ export class WebSocketServerTransport implements ServerTransport {
           if (err) {
             reject(err);
           } else {
-            console.log(`[${this.name}] WebSocket server stopped`);
+            writeLog(this.logger, "info", "WebSocket server stopped", { transport: this.name, path: this.options.path }, `[${this.name}] WebSocket server stopped`);
             this.wss = null;
             resolve();
           }
@@ -409,6 +413,7 @@ export class WebSocketServerTransport implements ServerTransport {
         requestTimeoutMs: this.reverseRequestTimeoutMs,
         streamWindow: 64,
         idPrefix: "r:",
+        logger: this.logger,
       }),
     });
 
@@ -422,7 +427,7 @@ export class WebSocketServerTransport implements ServerTransport {
       try {
         handler(trackedConnection);
       } catch (error) {
-        console.error("[WebSocket] Connect handler error:", error);
+        writeLog(this.logger, "error", "Connect handler error", { transport: this.name, connectionId, error }, "[WebSocket] Connect handler error:", error);
       }
     }
 
@@ -434,7 +439,7 @@ export class WebSocketServerTransport implements ServerTransport {
       try {
         await this.handleMessage(ws, data, req, connectionId);
       } catch (error) {
-        console.error("[WebSocket] Message handling error:", error);
+        writeLog(this.logger, "error", "Message handling error", { transport: this.name, connectionId, error }, "[WebSocket] Message handling error:", error);
         this.sendError(ws, "unknown", "Internal server error");
       }
     });
@@ -457,7 +462,7 @@ export class WebSocketServerTransport implements ServerTransport {
           try {
             handler(conn);
           } catch (error) {
-            console.error("[WebSocket] Disconnect handler error:", error);
+            writeLog(this.logger, "error", "Disconnect handler error", { transport: this.name, connectionId, error }, "[WebSocket] Disconnect handler error:", error);
           }
         }
       }
@@ -467,7 +472,7 @@ export class WebSocketServerTransport implements ServerTransport {
     // cleanup and the disconnect event (deep dive TRN-16: before, this handler removed the
     // connection first, so the close handler found nothing and sent no disconnect event).
     ws.on("error", (error: Error) => {
-      console.error("[WebSocket] Connection error:", error);
+      writeLog(this.logger, "error", "Connection error", { transport: this.name, connectionId, error }, "[WebSocket] Connection error:", error);
     });
   }
 

package/src/adapters/websocket/server/types.ts

@@ -9,6 +9,7 @@ import type { Server as HttpServer } from "http";
 import type { WebSocket } from "ws";
 import type { BrowserGuardOptions } from "../../../server/browser-guard.js";
 import type { Duration } from "../../../duration.js";
+import type { Logger } from "../../../logger.js";
 
 /**
  * WebSocket authentication handler.
@@ -99,6 +100,11 @@ export interface WebSocketServerTransportOptions extends Omit<BrowserGuardOption
    * `Proxy-Authorization`, `Cookie` and `X-Api-Key` are always secret.
    */
   secretHeaders?: readonly string[] | undefined;
+  /**
+   * The logger of the transport (CLI-87): the lines of its start, its stop, its heartbeat and its
+   * errors go to it. The default is the logger of the server. Without both, each line goes to the console as before.
+   */
+  logger?: Logger | undefined;
 }
 
 /**

package/src/adapters/websocket/shared/rpc.ts

@@ -19,6 +19,7 @@ import { StreamSequence, gapOf, itemMetadata } from "../../sequence.js";
 import { DELIVERY_METADATA_KEY } from "../../../client/middleware/items.js";
 import { errorCodeOf, foldedErrorCode, retryableOf } from "../../../protocol.js";
 import { lastResortError } from "../../../server/last-resort.js";
+import type { Logger } from "../../../logger.js";
 
 /**
  * A queue of response items that one reader takes in order: push, then end or fail. The reader
@@ -168,6 +169,8 @@ export interface OutgoingCallsOptions {
   streamWindow: number;
   /** The start of the wire id of each call: the two sides use different ones. */
   idPrefix: string;
+  /** The logger of the warning of a stream gap (CLI-87). Without it, the warning goes to the console. */
+  logger?: Logger | undefined;
 }
 
 /** The calls that this side sends on one socket. */
@@ -201,7 +204,7 @@ export class OutgoingCalls {
     const wireId = `${this.options.idPrefix}${message.id}~${++this.seq}`;
     const window = this.options.streamWindow;
     const queue = new ItemQueue<ResponseItem<unknown>>();
-    const pending: PendingCall = { messageId: message.id, queue, order: new StreamSequence() };
+    const pending: PendingCall = { messageId: message.id, queue, order: new StreamSequence(this.options.logger) };
     const limited = Number.isFinite(this.options.requestTimeoutMs) && this.options.requestTimeoutMs > 0;
     if (limited) pending.timeout = setTimeout(() => {
       if (this.pending.get(wireId) !== pending) return;

package/src/browser.ts

@@ -77,11 +77,14 @@ export {
 // The server transports are Node only: the root entry point exports them.
 // ============================================================================
 export { Server } from "./server/server.js";
-export type { ServerOptions } from "./server/server.js";
+export type { ServerOptions, ServerErrorContext } from "./server/server.js";
 // The error policy of a server: what an error tells the caller (roadmap CLI-80)
 export type { ServerErrorPolicy, ExposedError, ErrorCall } from "./server/error-policy.js";
 export { exposeError, lastResortError, HIDDEN_ERROR_MESSAGE, DEFAULT_KEPT_METADATA } from "./server/error-policy.js";
 export { ProcedureServer, createProcedureServer, tokenMatches } from "./server/procedure-server.js";
+// The logger port of the server side, in the shape of the Logger of the runner (CLI-87)
+export { CONSOLE_LOGGER, writeLog } from "./logger.js";
+export type { Logger, LogLevel, LogFields } from "./logger.js";
 export { STREAM_METADATA_KEY, isUnboundedStream } from "./server/stream-metadata.js";
 // The credentials of a network request (roadmap R18), and the parts that a request hook reads (CLI-2a)
 export { credentialsOf, bearerOf, withoutSecretHeaders, cookiesOf, requestCredentials, LOCAL_CREDENTIALS, isLocalCredentials } from "./server/request-auth.js";
@@ -259,6 +262,7 @@ export {
   allCoreProcedures,
   allCoreModules,
   chainProcedure,
+  traceProcedure,
   parallelProcedure,
   conditionalProcedure,
   andProcedure,
@@ -385,6 +389,11 @@ export type {
   CallPosition,
   RunDocumentOptions,
   RunProgramOptions,
+  RunControlOptions,
+  StepObserver,
+  // The steps of client.trace
+  TraceRow,
+  TraceReason,
   // The envelope form of a program (coeval M7)
   EnvelopeProgram,
   EnvelopeRef,
@@ -535,6 +544,9 @@ export type {
 // The policy of a host (roadmap 2.3): one builder for the MCP server, the server CLI and mark
 export { hostPolicy, procedureServerOptions, exposePatterns, surfaceRule } from "./server/host-policy.js";
 export type { HostPolicy, HostPolicyOptions, ToolSurface } from "./server/host-policy.js";
+// The rules of one face (CLI-43, AG1-B): a narrowing and an expose rule for each call of the face
+export { faceRules } from "./server/face-rules.js";
+export type { FaceRules, FaceRulesOptions } from "./server/face-rules.js";
 
 // ============================================================================
 // Nested Route API - Batch calls with per-call middleware overrides

package/src/logger.ts

@@ -0,0 +1,52 @@
+/**
+ * The logger port of the server side (CLI-87): the server, the host and each server transport
+ * write their log lines to it.
+ *
+ * The port has the shape of the `Logger` of `@mark1russell7/service`: one method `log(level,
+ * message, fields)`. The type is structural, so the engine imports no code of the runner (CLI-5).
+ * Thus one object goes to `run({ logger })` of the runner and to `createProcedureHost({ logger })`.
+ *
+ * - The message tells what occurred. The fields hold the context: the transport, the path, the
+ *   request id and the error.
+ * - Without a logger, each line goes to the console, with the same method and the same arguments
+ *   as before. `CONSOLE_LOGGER` is the console adapter of the port, for the hooks that get a logger.
+ */
+
+/** The levels of a log line, from the least to the most severe. They are the levels of the runner. */
+export type LogLevel = "debug" | "info" | "warn" | "error";
+
+/** The context of a log line: the transport, the path, the request id, the error. */
+export type LogFields = Readonly<Record<string, unknown>>;
+
+/**
+ * The logger of a server, a host or a server transport. An adapter to another logger is a few
+ * lines, for example `{ log: (level, message, fields) => app[level](fields, message) }`.
+ */
+export interface Logger {
+  log(level: LogLevel, message: string, fields: LogFields): void;
+}
+
+/** The method of the console for each level: `info` writes with `console.log`. */
+const CONSOLE_METHODS = Object.freeze({ debug: "debug", info: "log", warn: "warn", error: "error" } as const);
+
+/**
+ * The console adapter of the port. It writes the message and then the fields with the console method
+ * of the level: `console.debug`, `console.log`, `console.warn` or `console.error`. It leaves out empty fields.
+ */
+export const CONSOLE_LOGGER: Logger = Object.freeze({
+  log(level: LogLevel, message: string, fields: LogFields): void {
+    const method = console[CONSOLE_METHODS[level]];
+    if (Object.keys(fields).length > 0) method(message, fields);
+    else method(message);
+  },
+});
+
+/**
+ * This function writes one log line. With a logger, the logger gets the level, the message and the
+ * fields. Without a logger, the console method of the level gets `consoleArgs`: the line as before.
+ * A face of another package uses it too, so its default output stays the same.
+ */
+export function writeLog(logger: Logger | undefined, level: LogLevel, message: string, fields: LogFields, ...consoleArgs: unknown[]): void {
+  if (logger) logger.log(level, message, fields);
+  else console[CONSOLE_METHODS[level]](...consoleArgs);
+}

package/src/procedures/core/index.ts

@@ -45,11 +45,22 @@
  * ```
  */
 
-import { PURE_EFFECTS, withEffects } from "../effects.js";
+import { PURE_EFFECTS, REGISTRY_READ_EFFECTS, withEffects } from "../effects.js";
 import { z } from "zod";
 import { anyOutput, booleanOutput } from "./outputs.js";
 import { defineProcedure, namespace } from "../define.js";
-import type { AnyProcedure, Procedure, ProcedureContext } from "../types.js";
+import type {
+  AnyProcedure,
+  CapabilityRequest,
+  Effects,
+  Procedure,
+  ProcedureClient,
+  ProcedureContext,
+  ProcedurePath,
+  ProcedureRegistryLike,
+} from "../types.js";
+import { effectsOf, isReadOnly } from "../capability.js";
+import { PROCEDURE_REGISTRY } from "../registry.js";
 
 // Re-export for convenience
 export { anySchema } from "./schemas.js";
@@ -130,6 +141,8 @@ import {
   getRefWhen,
   WHEN_NEVER,
   RUNS_REFS_TAG,
+  isPlainObject,
+  withScope,
   type AnyProcedureRef,
 } from "../ref.js";
 import { substituteRefs, runControlFlow, controlFlowTags } from "./operands.js";
@@ -198,6 +211,200 @@ const chainProcedure: ChainProcedure = defineProcedure({
   },
 });
 
+// =============================================================================
+// Trace Procedure
+// =============================================================================
+
+/**
+ * The reason of a step of `client.trace` that did not run:
+ * - `writes`: the step can change data. Its procedure declares writes or no effects, or the
+ *   capability refused a write in it.
+ * - `upTo`: the index of the step is above `upTo`.
+ * - `when`: the step has `$when: "$never"`. Its output is the call as data, as `client.chain` gives it.
+ * - `earlier`: an earlier step stopped the run with `writes` or an error.
+ */
+export type TraceReason = "writes" | "upTo" | "when" | "earlier";
+
+/** One step of `client.trace`. */
+export interface TraceRow {
+  /** The index of the step. */
+  index: number;
+  /** The `$name` of a call step. */
+  name?: string;
+  /** The procedure path of a call step. */
+  proc?: string[];
+  /** The declared effects of the procedure of a call step. */
+  effects?: Effects;
+  status: "ok" | "not-run" | "error";
+  reason?: TraceReason;
+  /** The result of the step, with `sampleLimit` applied. It equals the result of the step in `client.chain`. */
+  output?: unknown;
+  /** The error of the step: its code and its message. */
+  error?: { code?: string; message: string };
+}
+
+interface TraceInput extends ChainInput {
+  /** The index of the last step to run. The rows of the later steps are `not-run` with reason `upTo`. */
+  upTo?: number;
+  /**
+   * The most items of each array in the output of a row: a top-level array, or each array in the
+   * top-level fields of an object. The next step gets the full value.
+   */
+  sampleLimit?: number;
+}
+
+interface TraceOutput {
+  /** One row for each step, in order */
+  steps: TraceRow[];
+}
+
+const TraceInputSchema = z.looseObject({
+  steps: z.array(z.unknown()).describe("The steps of a client.chain program, in order: calls or values"),
+  passThrough: z.boolean().optional().describe("Give each step that has no input the result of the step before"),
+  initialInput: operand("The input of the first step when passThrough is true"),
+  upTo: z.number().int().min(0).optional().describe("The index of the last step to run (default: all steps)"),
+  sampleLimit: z.number().int().min(0).optional().describe("The most items of each array in the output of a row. The next step gets the full value."),
+});
+
+const TraceOutputSchema = z.looseObject({
+  steps: z
+    .array(
+      z.looseObject({
+        index: z.number().describe("The index of the step"),
+        name: z.string().optional().describe("The $name of the step"),
+        proc: z.array(z.string()).optional().describe("The procedure path of a call step"),
+        effects: z.unknown().optional().describe("The declared effects of the procedure of a call step"),
+        status: z.enum(["ok", "not-run", "error"]).describe("ok: the step ran. not-run: the step did not start. error: the step failed."),
+        reason: z.enum(["writes", "upTo", "when", "earlier"]).optional().describe("Why a step did not run"),
+        output: z.unknown().optional().describe("The result of the step, with sampleLimit applied"),
+        error: z.looseObject({ code: z.string().optional(), message: z.string() }).optional().describe("The error of the step"),
+      })
+    )
+    .describe("One row for each step, in order"),
+}) as z.ZodType<TraceOutput>;
+
+/** The narrowing of each call of `client.trace`: the call changes nothing. */
+const TRACE_NARROWING: CapabilityRequest = Object.freeze({ effects: Object.freeze({ writes: Object.freeze([]) }) });
+
+/** This function gives a client whose calls ask for a capability that changes nothing (`TRACE_NARROWING`). */
+function readOnlyClient(client: ProcedureClient): ProcedureClient {
+  const narrowed: ProcedureClient = {
+    call: <TInput, TOutput>(path: ProcedurePath, input: TInput) => client.call<TInput, TOutput>(path, input, { narrow: TRACE_NARROWING }),
+  };
+  if (client.stream) {
+    const stream = client.stream.bind(client);
+    narrowed.stream = <TInput, TOutput>(path: ProcedurePath, input: TInput) => stream<TInput, TOutput>(path, input, { narrow: TRACE_NARROWING });
+  }
+  return narrowed;
+}
+
+/** True when the procedure can change data: it declares writes, or it does not declare them. */
+function canWrite(effects: Effects | undefined): boolean {
+  return !isReadOnly(effects);
+}
+
+/**
+ * True for a refusal of a write by the capability: `FORBIDDEN` with the reason `effects-exceeded`
+ * or `effects-undeclared`, for a procedure that can change data. A refused read is an error.
+ */
+function isWriteRefusal(error: unknown, registry: ProcedureRegistryLike): boolean {
+  const { code, reason, path } = (error ?? {}) as { code?: unknown; reason?: unknown; path?: unknown };
+  if (code !== "FORBIDDEN" || (reason !== "effects-exceeded" && reason !== "effects-undeclared")) return false;
+  const procedure = Array.isArray(path) ? registry.get(path as ProcedurePath) : undefined;
+  return procedure === undefined || canWrite(effectsOf(procedure));
+}
+
+/** The error of a row: the code and the message of the error. */
+function traceError(error: unknown): { code?: string; message: string } {
+  const code = (error as { code?: unknown } | null | undefined)?.code;
+  const message = error instanceof Error ? error.message : String(error);
+  return typeof code === "string" ? { code, message } : { message };
+}
+
+/** The output of a row: `sampleLimit` cuts a top-level array, or each array in the top-level fields of an object. */
+function sampleOf(value: unknown, limit: number | undefined): unknown {
+  if (limit === undefined) return value;
+  if (Array.isArray(value)) return value.slice(0, limit);
+  if (!isPlainObject(value)) return value;
+  return Object.fromEntries(Object.entries(value).map(([key, field]) => [key, Array.isArray(field) ? field.slice(0, limit) : field]));
+}
+
+type TraceProcedure = Procedure<TraceInput, TraceOutput, { description: string; tags: string[]; effects: Effects }>;
+
+const traceProcedure: TraceProcedure = defineProcedure({
+  path: ["trace"],
+  input: TraceInputSchema as any,
+  output: TraceOutputSchema,
+  metadata: {
+    description: "Run the steps of a chain one at a time, and give one row for each step. A step that can write does not run.",
+    tags: controlFlowTags("control-flow"),
+    // The procedure reads the declared effects of the steps in the registry
+    effects: REGISTRY_READ_EFFECTS,
+  },
+  handler: async (input: TraceInput, ctx?: ProcedureContext): Promise<TraceOutput> => {
+    const { steps, upTo, sampleLimit, ...chainFields } = input;
+    if (!Array.isArray(steps)) {
+      throw new Error(`client.trace: steps must be an array, got ${steps === null ? "null" : typeof steps}`);
+    }
+    if (!ctx?.client) throw new Error("client.trace: a run needs a client context");
+    const registry = ctx.registry ?? PROCEDURE_REGISTRY;
+    const limit = upTo ?? Number.POSITIVE_INFINITY;
+
+    // The facts of each step before the run: its name, its path and the declared effects of its procedure
+    const rows: TraceRow[] = steps.map((step, index) => {
+      if (!isAnyProcedureRef(step)) return { index, status: "ok" };
+      const call = normalizeRef(step);
+      const effects = effectsOf(registry.get(call.path) ?? {});
+      return {
+        index,
+        ...(typeof call.$name === "string" ? { name: call.$name } : {}),
+        proc: [...call.path],
+        ...(effects ? { effects } : {}),
+        status: "ok",
+      };
+    });
+    const never = (index: number): boolean => isAnyProcedureRef(steps[index]) && getRefWhen(steps[index] as AnyProcedureRef) === WHEN_NEVER;
+    // The run stops before the first step above upTo, and before the first call that can write. A $never step does not start.
+    let stop = 0;
+    while (stop < steps.length && stop <= limit && (rows[stop]!.proc === undefined || never(stop) || !canWrite(rows[stop]!.effects))) stop += 1;
+
+    // The chain runner runs the steps before the stop. Each call asks for a capability that
+    // changes nothing, so a nested write is refused too.
+    const outputs: unknown[] = [];
+    let failure: { error: unknown } | undefined;
+    if (stop > 0) {
+      const chainInput = withScope({ ...chainFields, steps: steps.slice(0, stop) }, scopeOf(input));
+      try {
+        await runControlFlow("chain", chainInput, { ...ctx, client: readOnlyClient(ctx.client) }, { onStep: (index, value) => { outputs[index] = value; } });
+      } catch (error) {
+        failure = { error };
+      }
+    }
+    // A failure after the last step has no row: the caller gets it
+    if (failure && outputs.length >= stop) throw failure.error;
+
+    let halted = false;
+    const notRun = (row: TraceRow, reason: TraceReason): TraceRow => ({ ...row, status: "not-run", reason });
+    return {
+      steps: rows.map((row, index) => {
+        if (halted) return notRun(row, "earlier");
+        if (index < outputs.length) {
+          const output = sampleOf(outputs[index], sampleLimit);
+          return never(index) ? { ...notRun(row, "when"), output } : { ...row, output };
+        }
+        if (failure) {
+          // The step that failed: a refused write marks it as writes, another error as error
+          halted = true;
+          return isWriteRefusal(failure.error, registry) ? notRun(row, "writes") : { ...row, status: "error", error: traceError(failure.error) };
+        }
+        if (index > limit) return notRun(row, "upTo");
+        halted = true;
+        return notRun(row, "writes");
+      }),
+    };
+  },
+});
+
 // =============================================================================
 // Parallel Procedure
 // =============================================================================
@@ -662,6 +869,7 @@ const tryCatchProcedure: TryCatchProcedure = defineProcedure({
 // call of a data-driven procedure (CAPABILITIES-2026-10).
 export const coreProcedures: AnyProcedure[] = namespace(["client"], withEffects(PURE_EFFECTS, [
   chainProcedure as AnyProcedure,
+  traceProcedure as AnyProcedure,
   parallelProcedure as AnyProcedure,
   conditionalProcedure as AnyProcedure,
   // Logic operators (unified with group theory)
@@ -692,6 +900,7 @@ export const coreModule: { name: string; procedures: AnyProcedure[] } = {
 // Re-export individual procedures for direct access
 export {
   chainProcedure,
+  traceProcedure,
   parallelProcedure,
   conditionalProcedure,
   // Logic operators