@effectstream/sm 0.100.15 → 0.100.17

package/README.md

@@ -5,6 +5,11 @@ of commands, register one generator per command, and `Stm` parses each
 incoming batcher input, dispatches it to the right handler, and yields
 SQL updates through the runtime.
 
+- State-machine DSL: define a typed grammar, register one generator per command.
+- Parses each batcher input, dispatches to the handler, yields SQL through the runtime.
+- `@effectstream/sm/builtin` ships common on-chain event primitives (ERC-20/721/1155, Cardano, Midnight, ...).
+- DSL is directly testable in a pure-TS unit test, without a database.
+
 ## Install
 
 ```bash
@@ -22,8 +27,8 @@ it inside a per-block postgres transaction. You author the DSL here;
 the runtime executes it.
 
 The DSL is also directly testable in a pure-TS unit test (parse + dispatch
-without a database) — see
-[`primitives/src/evm-erc20/erc20-primitive.test.ts`](https://github.com/PaimaStudios/paima-engine/blob/main/packages/node-sdk/sm/primitives/src/evm-erc20/erc20-primitive.test.ts).
+without a database) - see
+[`primitives/src/evm-erc20/erc20-primitive.test.ts`](https://github.com/effectstream/effectstream/blob/main/packages/node-sdk/sm/primitives/src/evm-erc20/erc20-primitive.test.ts).
 
 ```typescript
 import { Stm } from "@effectstream/sm";
@@ -57,29 +62,29 @@ yields `World.resolve(...)` so the runtime can execute the pgtyped queries.
 loop wires each user input through the corresponding `Stm` instance,
 collects yielded SQL, and commits it inside the per-block transaction.
 The built-in primitives package (`@effectstream/sm/builtin`) covers
-common on-chain events — ERC-20/721/1155 transfers, Cardano transfers,
-Midnight events, etc. — so you don't re-implement them.
+common on-chain events - ERC-20/721/1155 transfers, Cardano transfers,
+Midnight events, etc. - so you don't re-implement them.
 
 ## Key exports
 
-- `Stm<Grammar, Events>` — the state machine. `.addStateTransition(prefix, handler)`, `.processInput(input)`, `.grammar`, `.fullJsonGrammar`, `.keyedJsonGrammar`.
-- `ParamToData<Params>` — derives the typed argument shape from a grammar entry.
-- `BaseStfInput` — the input shape passed to every handler (includes `msTimestamp`, `blockHeight`, etc.).
-- `delegate-wallet` helpers — account delegation primitives reused by built-ins.
+- `Stm<Grammar, Events>`: the state machine. `.addStateTransition(prefix, handler)`, `.processInput(input)`, `.grammar`, `.fullJsonGrammar`, `.keyedJsonGrammar`.
+- `ParamToData<Params>` derives the typed argument shape from a grammar entry.
+- `BaseStfInput`: input shape passed to every handler. Includes `msTimestamp`, `blockHeight`, etc.
+- `delegate-wallet` helpers - account delegation primitives reused by built-ins.
 
 `MessageListener<Events, Params>` is exported as the handler type but is
 inferred at call sites rather than imported directly.
 
 Subpath exports:
 
-- `@effectstream/sm/builtin` — `PrimitiveTypeERC20`, `PrimitiveTypeERC721`, `PrimitiveTypeERC1155`, `PrimitiveTypeCardanoTransfer`, `PrimitiveTypeMidnightGeneric`, and many more (20+ chain-specific event tags).
-- `@effectstream/sm/grammar` — the underlying grammar/parsing utilities (also re-exported from `@effectstream/concise`).
+- `@effectstream/sm/builtin`: `PrimitiveTypeERC20`, `PrimitiveTypeERC721`, `PrimitiveTypeERC1155`, `PrimitiveTypeCardanoTransfer`, `PrimitiveTypeMidnightGeneric`, and 20+ more chain-specific event tags.
+- `@effectstream/sm/grammar`: the underlying grammar/parsing utilities, also re-exported from `@effectstream/concise`.
 
 ## Examples
 
-- [`primitives/src/evm-erc20/erc20-primitive.test.ts`](https://github.com/PaimaStudios/paima-engine/blob/main/packages/node-sdk/sm/primitives/src/evm-erc20/erc20-primitive.test.ts) — a real primitive's behavior unit-tested.
+- [`primitives/src/evm-erc20/erc20-primitive.test.ts`](https://github.com/effectstream/effectstream/blob/main/packages/node-sdk/sm/primitives/src/evm-erc20/erc20-primitive.test.ts) - a real primitive's behavior unit-tested.
 - Game logic in
-  [`templates/dice/packages/node/`](https://github.com/PaimaStudios/paima-engine/tree/main/templates/dice/packages/node)
+  [`templates/dice/packages/node/`](https://github.com/effectstream/effectstream/tree/main/templates/dice/packages/node)
   shows the full `new Stm(...).addStateTransition(...)` pattern.
 
 Runnable: [`test/examples.test.ts`](./test/examples.test.ts).
@@ -87,4 +92,4 @@ Runnable: [`test/examples.test.ts`](./test/examples.test.ts).
 ## Links
 
 - Docs: https://effectstream.github.io/docs/packages/node/sm
-- Source: https://github.com/PaimaStudios/paima-engine/tree/main/packages/node-sdk/sm
+- Source: https://github.com/effectstream/effectstream/tree/main/packages/node-sdk/sm

package/package.json

@@ -1,15 +1,15 @@
 {
   "name": "@effectstream/sm",
-  "version": "0.100.15",
+  "version": "0.100.17",
   "license": "MIT",
   "homepage": "https://effectstream.github.io/docs/",
   "repository": {
     "type": "git",
-    "url": "https://github.com/PaimaStudios/paima-engine",
+    "url": "https://github.com/effectstream/effectstream",
     "directory": "packages/node-sdk/sm"
   },
   "bugs": {
-    "url": "https://github.com/PaimaStudios/paima-engine/issues"
+    "url": "https://github.com/effectstream/effectstream/issues"
   },
   "exports": {
     ".": "./mod.ts",
@@ -17,14 +17,14 @@
     "./grammar": "./primitives/src/grammar.ts"
   },
   "dependencies": {
-    "@effectstream/concise": "0.100.15",
-    "@effectstream/config": "0.100.15",
-    "@effectstream/coroutine": "0.100.15",
-    "@effectstream/crypto": "0.100.15",
-    "@effectstream/db": "0.100.15",
-    "@effectstream/event-client": "0.100.15",
-    "@effectstream/log": "0.100.15",
-    "@effectstream/utils": "0.100.15",
+    "@effectstream/concise": "0.100.17",
+    "@effectstream/config": "0.100.17",
+    "@effectstream/coroutine": "0.100.17",
+    "@effectstream/crypto": "0.100.17",
+    "@effectstream/db": "0.100.17",
+    "@effectstream/event-client": "0.100.17",
+    "@effectstream/log": "0.100.17",
+    "@effectstream/utils": "0.100.17",
     "pg": "8.17.2",
     "pg-tx": "^1.0.1",
     "@sinclair/typebox": "0.34.41",

package/primitives/src/cardano-mint-burn/mint-burn-primitive.ts

@@ -63,14 +63,23 @@ export class CardanoMintBurnPrimitive extends Primitive<
   }
 
   override getConfig(): ProtocolPrimitiveMap[ConfigSyncProtocolType.CARDANO_UTXORPC_PARALLEL] {
+    // UTxO-RPC's `mints_asset` predicate is interpreted by Dolos as
+    // "creates new supply" — it matches only positive-quantity mints and
+    // silently filters burns. To catch burns we also match `moves_asset`,
+    // which fires when the asset appears in any input/output of the tx
+    // (true for burns, since the asset is in the input UTxO being spent).
+    // Downstream consumers see both mint and burn payloads through the
+    // same primitive; sign-of-quantity discriminates.
+    const matchPolicy = (pid: string): UtxorpcTxPredicate => ({
+      any_of: [
+        { match: { cardano: { mints_asset: { policy_id: pid } } } },
+        { match: { cardano: { moves_asset: { policy_id: pid } } } },
+      ],
+    });
     const predicate: UtxorpcTxPredicate =
       this.policyIds.length === 1
-        ? { match: { cardano: { mints_asset: { policy_id: this.policyIds[0] } } } }
-        : {
-            any_of: this.policyIds.map((pid) => ({
-              match: { cardano: { mints_asset: { policy_id: pid } } },
-            })),
-          };
+        ? matchPolicy(this.policyIds[0])
+        : { any_of: this.policyIds.map(matchPolicy) };
 
     return {
       name: this.instanceName,