@hyperscale0/hsx 1.0.125 → 1.0.130

package/README.md

@@ -21,8 +21,8 @@ Start with the [first program and rental guide](docs/README.md). Save the
 It holds 1,000 SAR, charges a one-time 50 SAR late fee, and returns the remainder.
 The guide explains the fixed business binding and the host needed to execute it.
 
-`npx hsx headers` prints every std instrument and its tunables from the bundled
-headers. The [samples](examples/) include both complete action paths and
+`npx hsx headers --json` prints every std instrument and its tunables from the
+bundled headers as JSON. The [samples](examples/) include both complete action paths and
 compositions that still need child-record actions or adapter bindings. A compile
 pass does not prove that a flow is publicly executable or funded.
 

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,CAynHf"}
+{"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,CA6zHf"}

package/dist/src/compile.js

@@ -349,10 +349,6 @@ export function compile(source, options = {}) {
         for (const decl of program.decls)
             if (decl.kind === "instrument")
                 templates.set(decl.name, decl);
-        for (const decl of program.decls) {
-            if (decl.kind === "instrument" && decl.parameters.length)
-                fail(decl, "This compiler cannot instantiate a parameterized instrument declared inside a program.", "For this version, specialize the instrument with fixed bindings and remove its parameters. Custom reusable headers require a host-supplied library.");
-        }
         const document = {
             udl: UDL_FORMAT_VERSION,
             version: 1,
@@ -600,7 +596,11 @@ export function compile(source, options = {}) {
                 const fallback = param.value.kind === "default" ? param.value.value : undefined;
                 const typeName = type.kind === "type" || type.kind === "call" ? type.name : text(type);
                 const partyParameter = attachmentInfo && typeName === "party";
+                const optional = type.kind === "type" && type.optional;
+                // An optional party stays unset unless the attachment binds it, so a
+                // program party that shares its name does not switch it on.
                 const byName = partyParameter &&
+                    !optional &&
                     (subjectPartyRoles.includes(param.key) ||
                         document.parties[param.key])
                     ? { kind: "name", value: param.key, span: origin }
@@ -612,7 +612,7 @@ export function compile(source, options = {}) {
                         source: declarationSources.get(decl) ?? "program",
                     });
                 if (!actual) {
-                    if (type.kind === "type" && type.optional)
+                    if (optional)
                         continue;
                     parameterErrors.push({
                         span: origin,
@@ -678,7 +678,9 @@ export function compile(source, options = {}) {
                 const suppliedValue = supplied.get(key);
                 const requirements = decl.body.entries
                     .filter((entry) => entry.key.startsWith("action "))
-                    .flatMap((entry) => asBlock(entries(asBlock(entry.value)).get("subject")).entries);
+                    .flatMap((entry) => 
+                // Read subject rows directly: entries() refuses repeated when branches.
+                asBlock(asBlock(entry.value).entries.find((row) => row.key === "subject")?.value).entries);
                 const moneyFields = [
                     ...new Set(requirements
                         .filter((entry) => {
@@ -708,6 +710,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)) {
@@ -737,6 +754,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" &&
@@ -746,7 +772,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");
@@ -1057,6 +1083,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;
@@ -1653,10 +1692,10 @@ export function compile(source, options = {}) {
                         };
                     }
                 }
-                const fromBinding = slots.get("from");
-                if (fromBinding?.kind === "name" &&
-                    fromBinding.value.includes(".") &&
-                    slots.has("moves")) {
+                const from = slots.get("from");
+                // A policy member may sit in a state list such as `[funded, dispute.refund_after]`.
+                const fromBinding = (from?.kind === "list" ? from.items : [from]).find((item) => item?.kind === "name" && item.value.includes("."));
+                if (fromBinding?.kind === "name" && slots.has("moves")) {
                     const [parameter, member] = fromBinding.value.split(".");
                     const suppliedPolicy = supplied.get(parameter);
                     if (suppliedPolicy?.kind === "block") {
@@ -1693,6 +1732,7 @@ export function compile(source, options = {}) {
                     ...(actionSubject ? { subject: actionSubject } : {}),
                 };
                 authored.set(a, row.value);
+                const actionFeeCalculations = [];
                 for (const binding of boundaryBindings)
                     if (!a.subject?.adapters.find((entry) => entry.binding === binding)
                         ?.snapshot)
@@ -1777,9 +1817,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
@@ -1866,7 +1914,7 @@ export function compile(source, options = {}) {
                                             operation: "internal_transfer.create",
                                             ...(economics ? { economics } : {}),
                                             amount: piece,
-                                            from: path(from),
+                                            from: moneyPath(from),
                                             to: `party.${recipient.value}`,
                                         });
                                     }
@@ -1886,8 +1934,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)
@@ -1920,12 +1968,21 @@ export function compile(source, options = {}) {
                                     if (rate.kind !== "percent")
                                         fail(rate, "fee rate needs a percentage", "write a percentage such as 1%");
                                     const prefix = `${name}_${key}`;
+                                    // Instrument calculations run at create, before any action
+                                    // input exists, so a fee on an input amount runs with its action.
+                                    const perAction = "field" in transfer.amount &&
+                                        transfer.amount.field.startsWith("input.");
                                     const derived = (suffix, label, calculation) => {
                                         const target = prefix + "_" + suffix;
                                         if (fields.some((f) => f.name === target))
                                             fail(move, `generated fee field ${target} conflicts with a field`, "rename the authored field or move key");
-                                        fields.push({ name: target, type: "money", label });
-                                        calculations.push({
+                                        fields.push({
+                                            name: target,
+                                            type: "money",
+                                            label,
+                                            ...(perAction ? { optional: true } : {}),
+                                        });
+                                        (perAction ? actionFeeCalculations : calculations).push({
                                             ...calculation,
                                             target,
                                         });
@@ -2026,6 +2083,8 @@ export function compile(source, options = {}) {
                     else
                         a[key] = data(expr);
                 }
+                if (actionFeeCalculations.length)
+                    a.calculate = [...(a.calculate ?? []), ...actionFeeCalculations];
                 if (attachmentInfo && !attachmentInfo.child) {
                     if (attachmentInfo.exposed.has(name)) {
                         if (automatic(a.actor))
@@ -2080,6 +2139,20 @@ export function compile(source, options = {}) {
                         message: `${id}.${name}.subject.${requirement.field.name}`,
                     });
                 }
+                // 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];
+                    continue;
+                }
                 inst.actions[name] = a;
                 inst.actionOrder.push(name);
             }
@@ -2377,7 +2450,9 @@ export function compile(source, options = {}) {
             });
         };
         for (const decl of program.decls) {
-            if (decl.kind === "instrument") {
+            // A parameterized program instrument is a template, like a header
+            // instrument: each attachment instantiates it with its own bindings.
+            if (decl.kind === "instrument" && !decl.parameters.length) {
                 addInstrument(decl, decl.name, emptyBlock, decl.span);
             }
             if (decl.kind === "assignment") {
@@ -2632,7 +2707,9 @@ export function compile(source, options = {}) {
         const checkParty = (name, at, inst) => {
             const names = parties(inst);
             if (!names.includes(name))
-                fail(at, `\`${name}\` is not a declared party.${didYouMean(name, names)}`, `Declare it with \`party ${name}: business\`, or name a declared party (${names.join(", ")}).`);
+                fail(at, `\`${name}\` is not a declared party.${didYouMean(name, names)}`, subjectPartyRoles.includes(name)
+                    ? `Declare a party parameter such as \`holder: party\` on the instrument, use it here, and bind \`holder: ${name}\` where you attach it.`
+                    : `Declare it with \`party ${name}: business\`, or name a declared party (${names.join(", ")}).`);
         };
         const checkInput = (name, at, label, input) => {
             const names = input.map((field) => field.name);
@@ -2685,9 +2762,61 @@ export function compile(source, options = {}) {
             inst,
             label: declarations.get(inst).name,
         });
+        // 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 declaredMembers = (selection) => {
+            const members = [selection.instrument].flat();
+            const header = selection.family
+                ? templates.get(`${selection.family.module}.${selection.family.exportPath}`)
+                : undefined;
+            if (!header ||
+                !entries(asBlock(entries(header.body).get("fields"))).has(selection.reference))
+                return members;
+            return members.filter((id) => resolveField(document, byId.get(id), `self.${selection.reference}`));
+        };
+        // 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.
+        for (const inst of document.instruments)
+            for (const action of Object.values(inst.actions))
+                action.requires = action.requires.map((requirement) => requirement.kind === "aggregate" &&
+                    requirement.measure === "count" &&
+                    !matchable(requirement.selection, inst, action).length
+                    ? {
+                        kind: "compare",
+                        left: { literal: 0 },
+                        operator: requirement.operator,
+                        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, scope.inst, scope.action);
+            if (members.length &&
+                members.length < [selection.instrument].flat().length)
+                selection.instrument = members;
             for (const id of [selection.instrument].flat()) {
                 checkTarget(id, site(selection, "instrument", at));
                 const target = scopeOf(byId.get(id));
@@ -2696,6 +2825,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));
             }
@@ -2921,12 +3053,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",