@effectstream/sm 0.100.22 → 0.100.23

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effectstream/sm",
-  "version": "0.100.22",
+  "version": "0.100.23",
   "license": "MIT",
   "homepage": "https://effectstream.github.io/docs/",
   "repository": {
@@ -17,14 +17,14 @@
     "./grammar": "./primitives/src/grammar.ts"
   },
   "dependencies": {
-    "@effectstream/concise": "0.100.22",
-    "@effectstream/config": "0.100.22",
-    "@effectstream/coroutine": "0.100.22",
-    "@effectstream/crypto": "0.100.22",
-    "@effectstream/db": "0.100.22",
-    "@effectstream/event-client": "0.100.22",
-    "@effectstream/log": "0.100.22",
-    "@effectstream/utils": "0.100.22",
+    "@effectstream/concise": "0.100.23",
+    "@effectstream/config": "0.100.23",
+    "@effectstream/coroutine": "0.100.23",
+    "@effectstream/crypto": "0.100.23",
+    "@effectstream/db": "0.100.23",
+    "@effectstream/event-client": "0.100.23",
+    "@effectstream/log": "0.100.23",
+    "@effectstream/utils": "0.100.23",
     "pg": "8.21.0",
     "pg-tx": "^1.0.1",
     "@sinclair/typebox": "0.34.41",

package/primitives/src/builtin.ts

@@ -5,6 +5,7 @@ export const PrimitiveTypeMidnightNullifier = "Midnight:Nullifier" as const;
 export const PrimitiveTypeMidnightUnshieldedSpend = "Midnight:UnshieldedSpend" as const;
 export const PrimitiveTypeMidnightUnshieldedCreate = "Midnight:UnshieldedCreate" as const;
 export const PrimitiveTypeMidnightZswapRoot = "Midnight:ZswapRoot" as const;
+export const PrimitiveTypeMidnightTokenMint = "Midnight:TokenMint" as const;
 
 export const PrimitiveTypeUtxorpcGeneric = "Utxorpc:Generic" as const;
 export const PrimitiveTypeCardanoMintBurn = "Cardano:MintBurn" as const;
@@ -38,6 +39,7 @@ type BuiltInPrimitives =
     typeof PrimitiveTypeMidnightUnshieldedSpend |
     typeof PrimitiveTypeMidnightUnshieldedCreate |
     typeof PrimitiveTypeMidnightZswapRoot |
+    typeof PrimitiveTypeMidnightTokenMint |
     typeof PrimitiveTypeEVMEffectstreamL2 |
     typeof PrimitiveTypeEVMERC721 |
     typeof PrimitiveTypeEVMERC20 |

package/primitives/src/midnight-token-mint/midnight-token-mint-grammar.ts

@@ -0,0 +1,8 @@
+import { Type } from "@sinclair/typebox";
+
+export const midnightTokenMintGrammar = [
+  [
+    "payload",
+    Type.Any(),
+  ],
+] as const;

package/primitives/src/midnight-token-mint/midnight-token-mint.ts

@@ -0,0 +1,126 @@
+import { Primitive } from "@effectstream/sm";
+import {
+  type AddressAndType,
+  AddressType,
+  type EffectstreamBlockNumber,
+} from "@effectstream/utils";
+import type { StaticDecode } from "@sinclair/typebox";
+import {
+  type CommandTuple,
+  generateRawStmInput,
+  type ParamToData,
+} from "@effectstream/concise";
+import type {
+  ConfigSyncProtocolType,
+  FlattenSyncProtocolIOFor,
+  ProtocolPrimitiveMap,
+} from "@effectstream/config";
+import type { SyncStateUpdateStream } from "@effectstream/coroutine";
+import { PrimitiveTypeMidnightTokenMint } from "../builtin.ts";
+import { midnightTokenMintGrammar } from "./midnight-token-mint-grammar.ts";
+
+/**
+ * MidnightTokenMintPrimitive
+ *
+ * Watches custom token *mints* on the Midnight ledger. A contract call's
+ * effects record minted tokens as `domain_sep → amount` maps (shielded and
+ * unshielded), and the resulting token type ("color") is derived as
+ * `rawTokenType(domain_sep, contract_address)` — so this primitive is the
+ * only way for a consumer to map a wallet-visible token id back to the
+ * contract that minted it. The fetcher deserializes each regular
+ * transaction's raw bytes with ledger-v8, walks the contract calls, and
+ * emits one state-machine input per `(tx, call, domainSep, kind)` — only
+ * for effects that actually applied on chain (failed segments roll back).
+ *
+ * The mint nonce is NOT part of token identity (it only randomizes coin
+ * commitments) and is never public for shielded mints, so it is not part
+ * of the payload.
+ *
+ * Usage:
+ *   stm.addStateTransition("myPrefix", function* (data) {
+ *     const { payload } = data.parsedInput;
+ *     // payload = { txHash, contractAddress, domainSep, rawTokenType,
+ *     //             kind: "shielded" | "unshielded", amount, entryPoint }
+ *     // amount is a decimal string (u64 mints can exceed MAX_SAFE_INTEGER)
+ *   });
+ */
+export class MidnightTokenMintPrimitive extends Primitive<
+  ConfigSyncProtocolType.MIDNIGHT_PARALLEL,
+  typeof midnightTokenMintGrammar
+> {
+  readonly internalTypeName = PrimitiveTypeMidnightTokenMint;
+  override readonly grammar = midnightTokenMintGrammar;
+
+  override dynamicTables = undefined;
+  override getIntermediatePrefix(): string[] {
+    return [];
+  }
+  override getViewPrefix(): string[] {
+    return [];
+  }
+
+  constructor(config: {
+    instanceName: string;
+    startBlockHeight: number;
+    stateMachinePrefix: string;
+  }) {
+    super(config);
+  }
+
+  override *getPayload(
+    _: EffectstreamBlockNumber,
+    primitiveTransactionData: FlattenSyncProtocolIOFor<
+      ConfigSyncProtocolType.MIDNIGHT_PARALLEL
+    >,
+  ): SyncStateUpdateStream<{
+    isBatched: boolean;
+    data: {
+      fromAddressAndType: AddressAndType;
+      stateMachinePayload:
+        | StaticDecode<CommandTuple<string, typeof midnightTokenMintGrammar>>
+        | null;
+      accountingPayload: ParamToData<typeof midnightTokenMintGrammar>;
+    }[];
+  }> {
+    const payload = primitiveTransactionData.output.payload;
+
+    const accountingPayload: ParamToData<typeof this.grammar> = {
+      payload,
+    };
+
+    const stateMachinePayload:
+      | StaticDecode<CommandTuple<string, typeof this.grammar>>
+      | null = this.stateMachinePrefix
+      ? generateRawStmInput(
+        this.grammar,
+        this.stateMachinePrefix,
+        accountingPayload,
+      )
+      : null;
+
+    return {
+      isBatched: false,
+      data: [
+        {
+          fromAddressAndType: {
+            type: AddressType.NONE,
+            address: "0x0",
+          },
+          accountingPayload,
+          stateMachinePayload,
+        },
+      ],
+    };
+  }
+
+  override getConfig(): ProtocolPrimitiveMap[
+    ConfigSyncProtocolType.MIDNIGHT_PARALLEL
+  ] {
+    return {
+      name: this.instanceName,
+      type: this.internalTypeName,
+      startBlockHeight: this.startBlockHeight,
+      scheduledPrefix: this.stateMachinePrefix ?? "",
+    } as const;
+  }
+}

package/primitives/src/mod.ts

@@ -4,6 +4,7 @@ import {
   PrimitiveTypeMidnightUnshieldedSpend,
   PrimitiveTypeMidnightUnshieldedCreate,
   PrimitiveTypeMidnightZswapRoot,
+  PrimitiveTypeMidnightTokenMint,
   PrimitiveTypeEVMEffectstreamL2,
   PrimitiveTypeEVMERC721,
   PrimitiveTypeEVMERC20,
@@ -31,6 +32,7 @@ import { MidnightNullifierPrimitive } from "./midnight-nullifier/midnight-nullif
 import { MidnightUnshieldedSpendPrimitive } from "./midnight-unshielded-spend/midnight-unshielded-spend.ts";
 import { MidnightUnshieldedCreatePrimitive } from "./midnight-unshielded-create/midnight-unshielded-create.ts";
 import { MidnightZswapRootPrimitive } from "./midnight-zswap-root/midnight-zswap-root.ts";
+import { MidnightTokenMintPrimitive } from "./midnight-token-mint/midnight-token-mint.ts";
 import { EffectstreamL2Primitive } from "./evm-effectstream-l2/effectstream-l2-primitive.ts";
 import { Erc721Primitive } from "./evm-erc721/erc721-primitive.ts";
 import { Erc20Primitive } from "./evm-erc20/erc20-primitive.ts";
@@ -58,6 +60,7 @@ const builtInPrimitivesMap = {
   [PrimitiveTypeMidnightUnshieldedSpend]: MidnightUnshieldedSpendPrimitive,
   [PrimitiveTypeMidnightUnshieldedCreate]: MidnightUnshieldedCreatePrimitive,
   [PrimitiveTypeMidnightZswapRoot]: MidnightZswapRootPrimitive,
+  [PrimitiveTypeMidnightTokenMint]: MidnightTokenMintPrimitive,
   [PrimitiveTypeEVMEffectstreamL2]: EffectstreamL2Primitive,
   [PrimitiveTypeEVMERC721]: Erc721Primitive,
   [PrimitiveTypeEVMERC20]: Erc20Primitive,
@@ -90,6 +93,7 @@ export {
   MidnightUnshieldedSpendPrimitive,
   MidnightUnshieldedCreatePrimitive,
   MidnightZswapRootPrimitive,
+  MidnightTokenMintPrimitive,
   EffectstreamL2Primitive,
   Erc721Primitive,
   Erc20Primitive,