@hyperscale0/hsx 2.0.0 → 2.0.2

package/dist/src/std-bundle.js.map

@@ -1 +1 @@
-{"version":3,"file":"std-bundle.js","sourceRoot":"","sources":["../../src/std-bundle.ts"],"names":[],"mappings":"AAAA,oEAAoE;AAEpE,MAAM,CAAC,MAAM,iBAAiB,GAAgC,IAAI,GAAG,CAGnE;IACA;QACE,cAAc;QACd,s/RAAs/R;KACv/R;IACD;QACE,yBAAyB;QACzB,w8OAAw8O;KACz8O;IACD;QACE,qCAAqC;QACrC,q5OAAq5O;KACt5O;IACD;QACE,kCAAkC;QAClC,urYAAurY;KACxrY;IACD;QACE,0CAA0C;QAC1C,u/NAAu/N;KACx/N;IACD;QACE,iCAAiC;QACjC,6mMAA6mM;KAC9mM;IACD;QACE,8BAA8B;QAC9B,om/DAAom/D;KACrm/D;IACD;QACE,uBAAuB;QACvB,oGAAoG;KACrG;IACD;QACE,kCAAkC;QAClC,qvbAAqvb;KACtvb;IACD;QACE,yBAAyB;QACzB,2/EAA2/E;KAC5/E;IACD;QACE,8BAA8B;QAC9B,ghKAAghK;KACjhK;IACD;QACE,iCAAiC;QACjC,0kXAA0kX;KAC3kX;IACD;QACE,mCAAmC;QACnC,gnNAAgnN;KACjnN;IACD;QACE,sCAAsC;QACtC,s0CAAs0C;KACv0C;IACD;QACE,+BAA+B;QAC/B,ygqBAAygqB;KAC1gqB;IACD;QACE,2BAA2B;QAC3B,g4+BAAg4+B;KACj4+B;IACD;QACE,kCAAkC;QAClC,u0YAAu0Y;KACx0Y;IACD;QACE,kCAAkC;QAClC,+1XAA+1X;KACh2X;IACD;QACE,sBAAsB;QACtB,ykoCAAykoC;KAC1koC;IACD;QACE,gCAAgC;QAChC,27dAA27d;KAC57d;IACD;QACE,uCAAuC;QACvC,spVAAspV;KACvpV;CACF,CAAC,CAAC"}
+{"version":3,"file":"std-bundle.js","sourceRoot":"","sources":["../../src/std-bundle.ts"],"names":[],"mappings":"AAAA,oEAAoE;AAEpE,MAAM,CAAC,MAAM,iBAAiB,GAAgC,IAAI,GAAG,CAGnE;IACA;QACE,cAAc;QACd,s/RAAs/R;KACv/R;IACD;QACE,yBAAyB;QACzB,muTAAmuT;KACpuT;IACD;QACE,qCAAqC;QACrC,20TAA20T;KAC50T;IACD;QACE,kCAAkC;QAClC,sgeAAsge;KACvge;IACD;QACE,0CAA0C;QAC1C,+tSAA+tS;KAChuS;IACD;QACE,iCAAiC;QACjC,uwRAAuwR;KACxwR;IACD;QACE,8BAA8B;QAC9B,m3xEAAm3xE;KACp3xE;IACD;QACE,uBAAuB;QACvB,oGAAoG;KACrG;IACD;QACE,kCAAkC;QAClC,kvfAAkvf;KACnvf;IACD;QACE,yBAAyB;QACzB,w8IAAw8I;KACz8I;IACD;QACE,8BAA8B;QAC9B,y9NAAy9N;KAC19N;IACD;QACE,iCAAiC;QACjC,2ocAA2oc;KAC5oc;IACD;QACE,mCAAmC;QACnC,m6RAAm6R;KACp6R;IACD;QACE,sCAAsC;QACtC,yrGAAyrG;KAC1rG;IACD;QACE,+BAA+B;QAC/B,6nvBAA6nvB;KAC9nvB;IACD;QACE,2BAA2B;QAC3B,63kCAA63kC;KAC93kC;IACD;QACE,kCAAkC;QAClC,wteAAwte;KACzte;IACD;QACE,kCAAkC;QAClC,modAAmod;KACpod;IACD;QACE,sBAAsB;QACtB,8qtCAA8qtC;KAC/qtC;IACD;QACE,gCAAgC;QAChC,ytjBAAytjB;KAC1tjB;IACD;QACE,uCAAuC;QACvC,y7aAAy7a;KAC17a;CACF,CAAC,CAAC"}

package/dist/src/typecheck.js

@@ -2421,7 +2421,8 @@ function checkInstrument(name, body, parties, ports, aliases, diagnostics) {
                 },
             },
         };
-    });
+    })
+        .map((action) => pinFixedCurrencyBindings(action, fields, diagnostics));
     for (const action of actions) {
         for (const declared of ports.get(action.name) ?? []) {
             const allowed = entry(declared.body, "allowed")?.value;
@@ -2999,6 +3000,93 @@ function friendlyMoveRows(body) {
 function isJsonObject(value) {
     return value !== null && typeof value === "object" && !Array.isArray(value);
 }
+/**
+ * A money<SAR> field moves SAR, whatever the caller wrote in the instance
+ * currency field. Every move of a fixed-currency amount, and every account
+ * step of an instrument whose money is fixed, binds that currency as a
+ * constant: a binding that reads one of the instrument's own text fields is
+ * pinned here, and one the compiler cannot pin (an input, a ref, or a
+ * constant naming another currency) is refused as HSX1306.
+ */
+function pinFixedCurrencyBindings(action, fields, diagnostics) {
+    const fieldByName = new Map(fields.map((field) => [field.name, field]));
+    const fixedCurrencyOf = (field) => field?.type.kind === "money" &&
+        field.type.currency &&
+        CURRENCY.test(field.type.currency)
+        ? field.type.currency
+        : undefined;
+    const fixed = new Set(fields.flatMap((field) => fixedCurrencyOf(field) ?? []));
+    // Two fixed currencies is HSX1305's refusal; one decides here, none skips.
+    const ledger = fixed.size === 1 ? [...fixed][0] : undefined;
+    if (!ledger)
+        return action;
+    const instanceField = (binding) => binding !== undefined &&
+        isJsonObject(binding) &&
+        binding.from === "instance" &&
+        typeof binding.path === "string" &&
+        binding.path.startsWith("fields.")
+        ? fieldByName.get(binding.path.slice("fields.".length))
+        : undefined;
+    const pin = (entry, currency, subject) => {
+        if (!isJsonObject(entry))
+            return entry;
+        const bind = entry.bind;
+        if (bind === undefined || !isJsonObject(bind))
+            return entry;
+        const binding = bind.currency;
+        if (binding === undefined)
+            return entry;
+        const bound = isJsonObject(binding) && binding.from === "const"
+            ? String(binding.value)
+            : undefined;
+        if (bound === currency)
+            return entry;
+        if (bound === undefined && instanceField(binding)?.type.kind === "text") {
+            return {
+                ...entry,
+                bind: { ...bind, currency: { from: "const", value: currency } },
+            };
+        }
+        diagnostics.push({
+            code: "HSX1306",
+            fix: `bind currency as { from: const; value: ${currency}; }`,
+            message: `action ${action.name} binds the currency of ${subject} to ${bound ?? "a caller-supplied value"}; a money<${currency}> amount moves in ${currency}`,
+            severity: "error",
+            span: action.origin,
+        });
+        return entry;
+    };
+    const moves = action.slots.moves ?? [];
+    const steps = action.slots.steps ?? [];
+    return {
+        ...action,
+        slots: {
+            ...action.slots,
+            moves: Array.isArray(moves)
+                ? moves.map((move) => {
+                    if (!isJsonObject(move))
+                        return move;
+                    // A post settles a reservation; the ledger refuses a post whose
+                    // currency differs from the reserve, which is pinned here.
+                    if (move.operation === "internal_transfer.post")
+                        return move;
+                    const bind = move.bind;
+                    const amount = bind !== undefined && isJsonObject(bind)
+                        ? instanceField(bind.amount)
+                        : undefined;
+                    return pin(move, fixedCurrencyOf(amount) ?? ledger, amount ? `fields.${amount.name}` : "the moved amount");
+                })
+                : moves,
+            steps: Array.isArray(steps)
+                ? steps.map((step) => isJsonObject(step) &&
+                    typeof step.operation === "string" &&
+                    step.operation.startsWith("account.")
+                    ? pin(step, ledger, `the ${step.operation} account`)
+                    : step)
+                : steps,
+        },
+    };
+}
 function bindFieldReferences(slots, fields, action, diagnostics) {
     const externalFieldSlot = (path) => {
         const key = path.at(-1);