@hyperscale0/hsx 1.0.128 → 1.0.132

package/dist/src/cli.js

@@ -75,7 +75,7 @@ export async function runCli(argv, io) {
         else {
             const result = compile(source, { standardLibrary });
             for (const d of result.diagnostics)
-                io.err(`${d.source && d.source !== "program" ? d.source : file}:${d.line}:${d.column}: ${d.code} ${d.message}. ${d.fix}`);
+                io.err(`${d.source && d.source !== "program" ? d.source : file}:${d.line}:${d.column}: ${d.code} ${d.message.replace(/[^.?!]$/, "$&.")} ${d.fix}`);
             if (!result.artifacts || result.verdict !== "valid")
                 return 1;
             if (command === "check")

package/dist/src/cli.js.map

@@ -1 +1 @@
-{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/cli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACpE,MAAM,KAAK,GACT,iFAAiF,CAAC;AACpF,MAAM,eAAe,GAAG;IACtB,MAAM,EAAE,CAAC,MAAc,EAAE,EAAE;QACzB,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,MAAM,MAAM,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9D,IAAI,UAAU,CAAC,IAAI,CAAC;gBAAE,OAAO,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1D,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;CACF,CAAC;AAQF,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAuB,EAAE,EAAM;IAC1D,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,GAAG,IAAI,CAAC;IACzC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACxC,EAAE,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;YACpC,OAAO,CAAC,CAAC;QACX,CAAC;QACD,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACjE,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;QACrD,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACd,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;QAC5B,sEAAsE;QACtE,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,IAAI,cAAc,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;YACjE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAAE,SAAS;YACpC,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAE5D,CAAC;YACF,EAAE,CAAC,GAAG,CAAC,GAAG,OAAO,SAAS,kBAAkB,GAAG,CAAC,CAAC;YACjD,OAAO,CAAC,CAAC;QACX,CAAC;QACD,EAAE,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;QACtC,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IACE,CAAC,OAAO;QACR,CAAC,IAAI;QACL,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EACvD,CAAC;QACD,EAAE,CAAC,GAAG,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC;QAC3B,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,MAA0B,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,IACE,OAAO,KAAK,OAAO;YACnB,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO;YACtB,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC;YACd,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,UAAU,CAAC,IAAI,CAAC;YACjC,MAAM,KAAK,SAAS;YAEpB,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;aACnB,CAAC;YACJ,EAAE,CAAC,GAAG,CAAC,kBAAkB,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACvC,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,IAAY,CAAC;QACjB,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBACnE,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,eAAe,EAAE,CAAC,CAAC;YACpD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW;gBAChC,EAAE,CAAC,GAAG,CACJ,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,GAAG,EAAE,CAClH,CAAC;YACJ,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO;gBAAE,OAAO,CAAC,CAAC;YAC9D,IAAI,OAAO,KAAK,OAAO;gBAAE,OAAO,CAAC,CAAC;YAClC,IAAI;gBACF,OAAO,KAAK,MAAM;oBAChB,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI;oBAC/D,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,MAAM;YAAE,MAAM,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;;YACxC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5B,OAAO,CAAC,CAAC;IACX,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,EAAE,CAAC,GAAG,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/D,OAAO,CAAC,CAAC;IACX,CAAC;AACH,CAAC;AAED,IAAI,OAAO,IAAI,CAAC,IAAI;IAClB,OAAO,CAAC,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QACrD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;QAChD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;QAChD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAC1C,SAAS,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC;KACzD,CAAC,CAAC"}
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/cli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACpE,MAAM,KAAK,GACT,iFAAiF,CAAC;AACpF,MAAM,eAAe,GAAG;IACtB,MAAM,EAAE,CAAC,MAAc,EAAE,EAAE;QACzB,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,MAAM,MAAM,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9D,IAAI,UAAU,CAAC,IAAI,CAAC;gBAAE,OAAO,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1D,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;CACF,CAAC;AAQF,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAuB,EAAE,EAAM;IAC1D,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,GAAG,IAAI,CAAC;IACzC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACxC,EAAE,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;YACpC,OAAO,CAAC,CAAC;QACX,CAAC;QACD,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACjE,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;QACrD,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACd,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;QAC5B,sEAAsE;QACtE,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,IAAI,cAAc,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;YACjE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAAE,SAAS;YACpC,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAE5D,CAAC;YACF,EAAE,CAAC,GAAG,CAAC,GAAG,OAAO,SAAS,kBAAkB,GAAG,CAAC,CAAC;YACjD,OAAO,CAAC,CAAC;QACX,CAAC;QACD,EAAE,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;QACtC,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IACE,CAAC,OAAO;QACR,CAAC,IAAI;QACL,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EACvD,CAAC;QACD,EAAE,CAAC,GAAG,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC;QAC3B,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,MAA0B,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,IACE,OAAO,KAAK,OAAO;YACnB,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO;YACtB,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC;YACd,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,UAAU,CAAC,IAAI,CAAC;YACjC,MAAM,KAAK,SAAS;YAEpB,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;aACnB,CAAC;YACJ,EAAE,CAAC,GAAG,CAAC,kBAAkB,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACvC,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,IAAY,CAAC;QACjB,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBACnE,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,eAAe,EAAE,CAAC,CAAC;YACpD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW;gBAChC,EAAE,CAAC,GAAG,CACJ,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAC3I,CAAC;YACJ,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO;gBAAE,OAAO,CAAC,CAAC;YAC9D,IAAI,OAAO,KAAK,OAAO;gBAAE,OAAO,CAAC,CAAC;YAClC,IAAI;gBACF,OAAO,KAAK,MAAM;oBAChB,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI;oBAC/D,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,MAAM;YAAE,MAAM,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;;YACxC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5B,OAAO,CAAC,CAAC;IACX,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,EAAE,CAAC,GAAG,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/D,OAAO,CAAC,CAAC;IACX,CAAC;AACH,CAAC;AAED,IAAI,OAAO,IAAI,CAAC,IAAI;IAClB,OAAO,CAAC,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QACrD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;QAChD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;QAChD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAC1C,SAAS,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC;KACzD,CAAC,CAAC"}

package/dist/src/compile.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/compile.ts"],"names":[],"mappings":"AAOA,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,WAAW,CAAC;AACvE,OAAO,EAgBL,KAAK,WAAW,EAQjB,MAAM,kBAAkB,CAAC;AAU1B,OAAO,EAIL,KAAK,UAAU,EAKf,KAAK,IAAI,EACV,MAAM,UAAU,CAAC;AAClB,OAAO,EAA0B,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEhF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,iBAAkB,SAAQ,UAAU;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,OAAO,CAAC;IAClB,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;CACpC;AACD,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,IAAI,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9C,aAAa,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;CAC3E;AACD,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,eAAe,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;CACnB;AACD,MAAM,WAAW,cAAc;IAC7B,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC;CAClE;AACD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,OAAO,GAAG,SAAS,CAAC;IAC7B,WAAW,EAAE,iBAAiB,EAAE,CAAC;IACjC,SAAS,CAAC,EAAE;QACV,QAAQ,EAAE,WAAW,CAAC;QACtB,YAAY,EAAE,eAAe,CAAC;QAC9B,SAAS,EAAE,qBAAqB,EAAE,CAAC;KACpC,CAAC;CACH;AAqTD,wBAAgB,OAAO,CACrB,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,cAAmB,GAC3B,aAAa,CAqrHf"}
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/compile.ts"],"names":[],"mappings":"AAOA,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,WAAW,CAAC;AACvE,OAAO,EAgBL,KAAK,WAAW,EAQjB,MAAM,kBAAkB,CAAC;AAU1B,OAAO,EAIL,KAAK,UAAU,EAKf,KAAK,IAAI,EACV,MAAM,UAAU,CAAC;AAClB,OAAO,EAA0B,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEhF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,iBAAkB,SAAQ,UAAU;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,OAAO,CAAC;IAClB,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;CACpC;AACD,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,IAAI,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9C,aAAa,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;CAC3E;AACD,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,eAAe,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;CACnB;AACD,MAAM,WAAW,cAAc;IAC7B,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC;CAClE;AACD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,OAAO,GAAG,SAAS,CAAC;IAC7B,WAAW,EAAE,iBAAiB,EAAE,CAAC;IACjC,SAAS,CAAC,EAAE;QACV,QAAQ,EAAE,WAAW,CAAC;QACtB,YAAY,EAAE,eAAe,CAAC;QAC9B,SAAS,EAAE,qBAAqB,EAAE,CAAC;KACpC,CAAC;CACH;AAqTD,wBAAgB,OAAO,CACrB,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,cAAmB,GAC3B,aAAa,CAo5Hf"}

package/dist/src/compile.js

@@ -285,6 +285,9 @@ export function compile(source, options = {}) {
         const declarationSources = new Map();
         const standardOrigins = new Map();
         const requirementOrigins = new Map();
+        // Instruments that lost a std action to an empty all() parent. Their
+        // lifecycles drop the states only that action reached.
+        const trimmed = new Set();
         const used = new Set();
         for (const use of program.decls.filter((d) => d.kind === "use")) {
             if (used.has(use.name))
@@ -366,6 +369,11 @@ export function compile(source, options = {}) {
         const assignments = new Map();
         const attachmentSubjects = new Map();
         const names = new Set();
+        // A record's create turns public only through a program-level expose,
+        // which applies after lowering, so creation input needs the list first.
+        const exposedCreates = new Set(program.decls.flatMap((decl) => decl.kind === "expose" && decl.target.endsWith(".create")
+            ? [decl.target.split(".").slice(0, -1).join("_")]
+            : []));
         for (const decl of program.decls) {
             if (decl.kind === "expose" || decl.kind === "hide" || decl.kind === "use")
                 continue;
@@ -710,6 +718,21 @@ export function compile(source, options = {}) {
                 (!!attachmentInfo &&
                     subjectPartyRoles.includes(name));
             const resolvedParties = new Set();
+            // A party of a sibling attachment this one references, such as the
+            // borrower of `self.plan`, binds here the way it binds there.
+            const reachedParty = (name) => {
+                if (!attachmentInfo)
+                    return;
+                const targets = fields.flatMap((field) => field.type === "ref" && field.targetKind === "instrument"
+                    ? [field.target].flat()
+                    : []);
+                const bindings = attachmentInfo.attachments.flatMap((attachment) => targets.some((target) => target === attachment.instrument ||
+                    target.startsWith(`${attachment.instrument}_`)) && attachment.parties[name]
+                    ? [attachment.parties[name]]
+                    : []);
+                const distinct = new Set(bindings.map((item) => JSON.stringify(item)));
+                return distinct.size === 1 ? bindings[0] : undefined;
+            };
             const resolve = (expr, seen = new Set(), partyBinding = false) => {
                 if (expr.kind === "call" &&
                     ["object", "all", "party"].includes(expr.name)) {
@@ -739,6 +762,15 @@ export function compile(source, options = {}) {
                         const local = (name) => attachmentSubjects.has(name)
                             ? name.slice(attachmentInfo.subjectKindId.length + 1)
                             : `${name} (program)`;
+                        const elsewhere = [...assignments.values()]
+                            .filter((assignment) => assignment.target === type &&
+                            attachmentSubjects.has(assignment.name) &&
+                            attachmentSubjects.get(assignment.name) !==
+                                attachmentInfo.subjectKindId)
+                            .map((assignment) => {
+                            const subject = attachmentSubjects.get(assignment.name);
+                            return `\`${subject}.${assignment.name.slice(subject.length + 1)}\``;
+                        });
                         const target = templates.get(type);
                         const required = target?.parameters
                             .filter((p) => p.value.kind !== "default" &&
@@ -748,7 +780,7 @@ export function compile(source, options = {}) {
                             ? `No \`${type}\` attachment exists on \`${attachmentInfo.subjectKindId}\`.`
                             : `Several \`${type}\` attachments match on \`${attachmentInfo.subjectKindId}\`: ${matches.map(local).join(", ")}.`}`, matches.length
                             ? `Bind \`${parameter}\` explicitly to one of: ${matches.map(local).join(", ")}.`
-                            : `Declare a ${parameter} attachment and bind \`${parameter}: allowance\`. Choose ${required.map((name) => (name.startsWith("per_") ? `its ${name.slice(4).replaceAll("_", " ")} limit` : `\`${name}\``)).join(", ") || "its required bindings"} explicitly.`);
+                            : `Attach \`${type}\` to \`${attachmentInfo.subjectKindId}\` and bind \`${parameter}\` to that attachment's name. Choose ${required.map((name) => (name.startsWith("per_") ? `its ${name.slice(4).replaceAll("_", " ")} limit` : `\`${name}\``)).join(", ") || "its required bindings"} explicitly.${elsewhere.length ? ` ${elsewhere.join(", ")} ${elsewhere.length === 1 ? "is" : "are"} on another object, which this binding cannot reach.` : ""}`);
                     }
                     if (expr.name !== "all" && matches.length !== 1)
                         failWithCode(expr, partyBinding ? "subject_party_unbound" : "HSX1001", `${id} needs ${expr.name === "all" ? "at least one" : "exactly one"} ${type}`, "declare the required object or supply this tunable explicitly");
@@ -1059,6 +1091,19 @@ export function compile(source, options = {}) {
                         value: `${id}_${key}`,
                         span: origin,
                     });
+            // A subject role only has money here when this attachment binds it.
+            const moneyPath = (expr) => {
+                const lowered = path(expr);
+                const role = lowered.slice("party.".length);
+                if (attachmentInfo &&
+                    lowered.startsWith("party.") &&
+                    subjectPartyRoles.includes(role) &&
+                    !Object.values(attachmentInfo.parties).some((binding) => "role" in binding && binding.role === role))
+                    failWithCode(expr, "subject_party_unbound", `\`${role}\` has no money account in \`${decl.name}\``, role === "operator"
+                        ? "Use `programOperator` for the company's own account."
+                        : `Add a party parameter to \`${decl.name}\` and bind it to \`${role}\` where you attach it.`);
+                return lowered;
+            };
             const fields = [];
             const calculations = [];
             let currentAction;
@@ -1780,9 +1825,17 @@ export function compile(source, options = {}) {
                                         "pass_through",
                                     ].includes(purposeName))
                                     fail(purpose, `unknown economic purpose ${purposeName}`, "choose a declared economic purpose");
-                                const sourcePartyName = sourceParty
+                                let sourcePartyName = sourceParty
                                     ? String(data(sourceParty))
                                     : undefined;
+                                const reached = sourcePartyName && !isParty(sourcePartyName)
+                                    ? reachedParty(sourcePartyName)
+                                    : undefined;
+                                if (reached) {
+                                    attachmentInfo.parties[sourcePartyName] = reached;
+                                    sourcePartyName =
+                                        "role" in reached ? reached.role : reached.party;
+                                }
                                 if (sourcePartyName && !isParty(sourcePartyName))
                                     fail(sourceParty, `unknown source party ${sourcePartyName}`, "bind an authored party");
                                 return economicsParts
@@ -1869,7 +1922,7 @@ export function compile(source, options = {}) {
                                             operation: "internal_transfer.create",
                                             ...(economics ? { economics } : {}),
                                             amount: piece,
-                                            from: path(from),
+                                            from: moneyPath(from),
                                             to: `party.${recipient.value}`,
                                         });
                                     }
@@ -1889,8 +1942,8 @@ export function compile(source, options = {}) {
                                         ? { capture: String(data(parts.get("capture"))) }
                                         : {}),
                                     amount: val(amount),
-                                    from: path(from),
-                                    to: path(to),
+                                    from: moneyPath(from),
+                                    to: moneyPath(to),
                                 };
                                 const fee = parts.get("fee");
                                 if (!fee)
@@ -1974,6 +2027,14 @@ export function compile(source, options = {}) {
                                         })
                                         : undefined;
                                     const charges = vat ? [charge, vat] : [charge];
+                                    // A payer's limit reads this: a buyer pays the charges on
+                                    // top, a seller pays them out of the amount.
+                                    derived("debit", "Payer debit", {
+                                        op: "sum",
+                                        values: paidBy === "buyer"
+                                            ? [transfer.amount, ...charges]
+                                            : [transfer.amount],
+                                    });
                                     const net = paidBy === "seller"
                                         ? derived("net", "Amount after fee", {
                                             op: "subtract",
@@ -2040,7 +2101,7 @@ export function compile(source, options = {}) {
                 }
                 if (actionFeeCalculations.length)
                     a.calculate = [...(a.calculate ?? []), ...actionFeeCalculations];
-                if (attachmentInfo && !attachmentInfo.child) {
+                if (attachmentInfo) {
                     if (attachmentInfo.exposed.has(name)) {
                         if (automatic(a.actor))
                             fail(row, `${name} runs on the clock or its parent, not a caller`, "expose only caller actions");
@@ -2094,6 +2155,26 @@ export function compile(source, options = {}) {
                         message: `${id}.${name}.subject.${requirement.field.name}`,
                     });
                 }
+                // A parent list may name a list parameter such as `[parent, on]`.
+                if (typeof a.actor === "object" &&
+                    "parent" in a.actor &&
+                    Array.isArray(a.actor.parent))
+                    a.actor.parent = a.actor.parent.flat();
+                // A parent actor over an empty all() names no instrument that could
+                // invoke the action. A std action then does not exist in this program;
+                // in user code the all() is a mistake.
+                if (typeof a.actor === "object" &&
+                    "parent" in a.actor &&
+                    Array.isArray(a.actor.parent) &&
+                    !a.actor.parent.length) {
+                    if ((declarationSources.get(decl) ?? "program") === "program") {
+                        const parent = entries(asBlock(slots.get("actor"))).get("parent");
+                        fail(parent ?? row, `${parent?.kind === "call" ? `${parent.name}(${text(parent.args[0])})` : `the parent actor of ${name}`} matches no instrument`, "name an instrument this program declares or attaches");
+                    }
+                    delete lifecycle.transitions[name];
+                    trimmed.add(id);
+                    continue;
+                }
                 inst.actions[name] = a;
                 inst.actionOrder.push(name);
             }
@@ -2304,8 +2385,7 @@ export function compile(source, options = {}) {
                 const attachedInst = document.instruments.find((i) => i.id === instId);
                 for (const createdInst of document.instruments
                     .slice(firstAttachedInstrument)
-                    .filter((instrument) => instrument.id === instId ||
-                    instrument.actions.create?.publicAction)) {
+                    .filter((instrument) => instrument.id === instId || exposedCreates.has(instrument.id))) {
                     if (!createdInst.actions.create)
                         continue;
                     const owned = new Set(createdInst.calculate.map((node) => node.target));
@@ -2318,8 +2398,14 @@ export function compile(source, options = {}) {
                     }
                     const create = createdInst.actions.create;
                     for (const field of createdInst.fields) {
+                        // The engine resolves a lone candidate itself; with several (a
+                        // plan's slices) the caller names one, as late_charge does.
+                        if (field.type === "ref" && field.targetKind === "instrument") {
+                            if (!create.input.some((input) => input.name === field.name))
+                                create.input.push({ ...field, optional: true });
+                            continue;
+                        }
                         if (field.type === "account" ||
-                            (field.type === "ref" && field.targetKind === "instrument") ||
                             (field.type === "list" &&
                                 field.item === "ref" &&
                                 field.targetKind === "instrument") ||
@@ -2328,18 +2414,22 @@ export function compile(source, options = {}) {
                             owned.has(field.name) ||
                             create.input.some((input) => input.name === field.name))
                             continue;
-                        create.subject ??= { requirements: [], adapters: [] };
-                        const existing = create.subject.requirements.find((item) => item.field.name === field.name);
+                        const existing = create.subject?.requirements.find((item) => item.field.name === field.name);
                         if (existing) {
                             if (canonicalJson(existing.field) !== canonicalJson(field))
                                 failWithCode(entry, "subject_field_conflict", `${createdInst.id}.create.subject.${field.name} conflicts with its instrument field`, "use the instrument field's type and constraints");
                             continue;
                         }
+                        // A creation value belongs to this agreement. Only a rename shares
+                        // it as object metadata; a matching authored field name does not,
+                        // so two agreements never read each other's amount.
                         const objectField = renames.get(field.name);
-                        const requirement = {
-                            field,
-                            ...(objectField ? { objectField } : {}),
-                        };
+                        if (!objectField) {
+                            create.input.push({ ...field });
+                            continue;
+                        }
+                        const requirement = { field, objectField };
+                        create.subject ??= { requirements: [], adapters: [] };
                         create.subject.requirements.push(requirement);
                         requirementOrigins.set(requirement, {
                             source: declarationSources.get(template) ?? "program",
@@ -2353,6 +2443,12 @@ export function compile(source, options = {}) {
                         Object.values(attachedInst.actions).some((action) => action.subject?.requirements.some((requirement) => requirement.field.name === oldName));
                     if (!found) {
                         const renameEntry = renameEntries.get(oldName) ?? entry;
+                        const record = document.instruments
+                            .slice(firstAttachedInstrument)
+                            .find((instrument) => instrument.id.startsWith(`${instId}_`) &&
+                            instrument.fields.some((field) => field.name === oldName));
+                        if (record)
+                            failWithCode(renameEntry, "subject_field_unknown", `rename source '${oldName}' belongs to the ${record.id.slice(instId.length + 1)} record of ${targetTemplate}; rename binds only fields of ${targetTemplate} itself`, `remove this rename; supply ${oldName} as input when the record is created, or set it as a tunable where the header offers one`);
                         const declared = attachedInst
                             ? Object.values(attachedInst.actions).flatMap((action) => action.subject?.requirements.map((requirement) => requirement.field.name) ?? [])
                             : [];
@@ -2706,7 +2802,7 @@ export function compile(source, options = {}) {
         // A family member drops an optional reference field its binding left
         // unset (a borrower-funded plan has no `funds`), so it cannot match and
         // leaves the selection. The header must still declare the field.
-        const matchable = (selection) => {
+        const declaredMembers = (selection) => {
             const members = [selection.instrument].flat();
             const header = selection.family
                 ? templates.get(`${selection.family.module}.${selection.family.exportPath}`)
@@ -2716,12 +2812,43 @@ export function compile(source, options = {}) {
                 return members;
             return members.filter((id) => resolveField(document, byId.get(id), `self.${selection.reference}`));
         };
-        // A count over no matchable member is zero.
+        // A member whose reference points at another attachment of the anchor's
+        // own template (the plan funding another object's escrow) cannot match
+        // either, so each object only selects what can reference it.
+        const kin = (a, b) => {
+            const left = byId.get(a);
+            const right = byId.get(b);
+            return (!!left && !!right && declarations.get(left) === declarations.get(right));
+        };
+        const matchable = (selection, inst, action) => declaredMembers(selection).filter((id) => {
+            const member = byId.get(id);
+            if (!member)
+                return true;
+            const anchor = resolveField(document, inst, selection.anchor, action?.input, action);
+            const reference = resolveField(document, member, `self.${selection.reference}`);
+            if (anchor?.type !== "ref" || reference?.type !== "ref")
+                return true;
+            const targets = [anchor.target].flat();
+            const candidates = [reference.target].flat();
+            return !candidates.every((candidate) => !targets.includes(candidate) &&
+                targets.some((target) => kin(target, candidate)));
+        });
+        // A count over no matchable member is zero, in a requirement or a calculation.
         for (const inst of document.instruments)
-            for (const action of Object.values(inst.actions))
+            for (const action of Object.values(inst.actions)) {
+                if (action.calculate)
+                    action.calculate = action.calculate.map((calculation) => calculation.op === "aggregate" &&
+                        calculation.measure === "count" &&
+                        !matchable(calculation.selection, inst, action).length
+                        ? {
+                            target: calculation.target,
+                            op: "sum",
+                            values: [{ literal: 0 }],
+                        }
+                        : calculation);
                 action.requires = action.requires.map((requirement) => requirement.kind === "aggregate" &&
                     requirement.measure === "count" &&
-                    !matchable(requirement.selection).length
+                    !matchable(requirement.selection, inst, action).length
                     ? {
                         kind: "compare",
                         left: { literal: 0 },
@@ -2729,10 +2856,12 @@ export function compile(source, options = {}) {
                         right: requirement.value,
                     }
                     : requirement);
+            }
         const checkSelection = (selection, at, scope) => {
+            walk(selection.overlaps, "overlaps", site(selection, "overlaps", at), scope);
             walk(selection.anchor, "anchor", site(selection, "anchor", at), scope);
             walk(selection.where, "where", site(selection, "where", at), scope);
-            const members = matchable(selection);
+            const members = matchable(selection, scope.inst, scope.action);
             if (members.length &&
                 members.length < [selection.instrument].flat().length)
                 selection.instrument = members;
@@ -2744,6 +2873,9 @@ export function compile(source, options = {}) {
                     member(key, keySite(selection.where, key, at));
                 member(selection.reference, site(selection, "reference", at));
                 selection.order?.forEach((key, index) => member(key, site(selection.order, index, at)));
+                if (selection.overlaps)
+                    for (const key of ["start", "end"])
+                        member(selection.overlaps[key], site(selection.overlaps, key, at));
                 if (selection.window)
                     member(selection.window.field, site(selection.window, "field", at));
             }
@@ -2848,7 +2980,7 @@ export function compile(source, options = {}) {
                     (edge.to !== "preserve" &&
                         !inst.lifecycle.states.includes(edge.to))))
                 continue;
-            let specialized = false;
+            let specialized = trimmed.has(inst.id);
             for (const [key, action] of Object.entries(inst.actions)) {
                 const constant = (value) => {
                     if ("literal" in value)
@@ -2934,6 +3066,22 @@ export function compile(source, options = {}) {
             if (Object.values(instrument.actions).filter((action) => action.publicAction === decl.name).length > 1)
                 fail(decl, `public action ${decl.name} is used more than once on ${parts.join(".")}`, "give each exposed action a distinct public name");
         }
+        // A public action on a fresh attachment creates it first with no input
+        // (in the engine executor), so creation that needs input must be public.
+        for (const kind of document.objects)
+            for (const attachment of kind.attachments) {
+                if (attachment.parent)
+                    continue;
+                const instrument = byId.get(attachment.instrument);
+                const create = instrument.actions.create;
+                const needed = create?.input.filter((field) => !field.optional) ?? [];
+                const entry = Object.values(instrument.actions).find((action) => action.publicAction);
+                if (!needed.length || create.publicAction || !entry)
+                    continue;
+                fail(objects
+                    .get(kind.id)
+                    .body.entries.find((row) => new RegExp(`^attach\\s+${attachment.name}\\s*=`).test(row.key)) ?? objects.get(kind.id), `${attachment.name} starts from ${entry.publicAction}, but its create needs ${needed.map((field) => field.name).join(", ")} and is not exposed`, `expose create on ${attachment.name} so the caller supplies ${needed.length === 1 ? "it" : "them"}, or rename { ${needed[0].name}: ${needed[0].name} } to read object metadata`);
+            }
         for (const kind of document.objects) {
             for (const name of kind.entryActions ?? []) {
                 const eligible = kind.attachments.some((attachment) => {
@@ -2969,12 +3117,14 @@ export function compile(source, options = {}) {
                             ?.find((binding) => binding.defaultState === stranded.state &&
                             instrument.actions[binding.action]?.moves.some((move) => "amount" in move &&
                                 stranded.accounts.some((account) => move.from === `self.${account}`)));
+                        const reaching = stranded.actions.at(-1);
+                        const drain = `move ${stranded.accounts.map((account) => `\`self.${account}.balance\``).join(" and ")} out in ${reaching ? `\`${reaching}\`` : "the action that reaches it"}, or add an action from \`${stranded.state}\` that does`;
                         return diagnostic({
                             code: i.code,
                             message: `\`${attachment?.name ?? instrument.id}\` can reach \`${stranded.state}\` with money in ${stranded.accounts.map((account) => `\`${account}\``).join(", ")}, but no action leaves that state and disposes of the balance.`,
                             fix: binding
-                                ? `Restore \`${binding.parameter}: ${stranded.state}\`, or author a complete refund path for every reachable funded state.`
-                                : "Author a complete refund path for every reachable funded state.",
+                                ? `Restore \`${binding.parameter}: ${stranded.state}\`, or ${drain}.`
+                                : `${drain[0].toUpperCase()}${drain.slice(1)}.`,
                             span: binding?.span ?? origin?.span ?? program.span,
                             related: stranded.accounts.map((account) => ({
                                 source: "program",