@effectstream/sm 0.101.1 → 0.103.0

package/LICENSE-APACHE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright 2024-2026 Midnight Foundation
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/LICENSE-MIT

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2024-2026 Midnight Foundation
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@effectstream/sm",
-  "version": "0.101.1",
-  "license": "MIT",
+  "version": "0.103.0",
+  "license": "(MIT OR Apache-2.0)",
   "homepage": "https://effectstream.github.io/docs/",
   "repository": {
     "type": "git",
@@ -17,14 +17,14 @@
     "./grammar": "./primitives/src/grammar.ts"
   },
   "dependencies": {
-    "@effectstream/concise": "0.101.1",
-    "@effectstream/config": "0.101.1",
-    "@effectstream/coroutine": "0.101.1",
-    "@effectstream/crypto": "0.101.1",
-    "@effectstream/db": "0.101.1",
-    "@effectstream/event-client": "0.101.1",
-    "@effectstream/log": "0.101.1",
-    "@effectstream/utils": "0.101.1",
+    "@effectstream/concise": "0.103.0",
+    "@effectstream/config": "0.103.0",
+    "@effectstream/coroutine": "0.103.0",
+    "@effectstream/crypto": "0.103.0",
+    "@effectstream/db": "0.103.0",
+    "@effectstream/event-client": "0.103.0",
+    "@effectstream/log": "0.103.0",
+    "@effectstream/utils": "0.103.0",
     "pg": "8.21.0",
     "pg-tx": "^1.0.1",
     "@sinclair/typebox": "0.34.41",

package/primitives/Primitive.ts

@@ -50,9 +50,12 @@ export abstract class Primitive<
   // maintained `pg_ivm` view (when the extension is available) and a plain
   // SQL view fallback (when it isn't). All other DDL — intermediate table,
   // trigger function, trigger — is identical across strategies.
+  // May return `undefined` to emit no DDL — e.g. a primitive can gate its
+  // owned table behind a config flag. `getDynamicTables` already surfaces
+  // `string | undefined`, and `createDynamicTables` skips on undefined.
   dynamicTables:
     | undefined
-    | ((name: string, strategy: MaterializedViewStrategy) => string) =
+    | ((name: string, strategy: MaterializedViewStrategy) => string | undefined) =
       undefined;
   getIntermediatePrefix(): string[] {
     return [];

package/primitives/src/builtin.ts

@@ -1,7 +1,13 @@
 // list of built-in primitives
 // this list is exposed to the effectstream-sdk modules via the @effectstream/sm/builtin module
+import {
+  SOLANA_PRIMITIVE_ACCOUNT_BALANCE,
+  SOLANA_PRIMITIVE_PROGRAM_LOG,
+  SOLANA_PRIMITIVE_TOKEN_ACCOUNT,
+} from "@effectstream/config";
+
 export const PrimitiveTypeMidnightGeneric = "Midnight:Generic" as const;
-export const PrimitiveTypeMidnightNullifier = "Midnight:Nullifier" as const;
+export const PrimitiveTypeMidnightNullifierAndCommitment = "Midnight:NullifierAndCommitment" as const;
 export const PrimitiveTypeMidnightUnshieldedSpend = "Midnight:UnshieldedSpend" as const;
 export const PrimitiveTypeMidnightUnshieldedCreate = "Midnight:UnshieldedCreate" as const;
 export const PrimitiveTypeMidnightZswapRoot = "Midnight:ZswapRoot" as const;
@@ -33,9 +39,21 @@ export const PrimitiveTypeNEARIntent = "NEAR:Intent" as const;
 export const PrimitiveTypeNEARGeneric = "NEAR:Generic" as const;
 export const PrimitiveTypeNEARAccountWatch = "NEAR:AccountWatch" as const;
 
+// Solana's discriminators are defined in @effectstream/config, beside the
+// `SolanaPrimitive` type they discriminate, because the sync fetcher dispatches on
+// them and @effectstream/sync does not depend on @effectstream/sm. Re-exported here
+// under the PrimitiveType* names so consumers keep importing them from
+// @effectstream/sm/builtin like every other primitive.
+// Aliased through local consts rather than `export { X as Y } from`, because the
+// `BuiltInPrimitives` union below needs `typeof PrimitiveTypeSolana*` in scope and a
+// bare re-export does not bind the name locally.
+export const PrimitiveTypeSolanaProgramLog = SOLANA_PRIMITIVE_PROGRAM_LOG;
+export const PrimitiveTypeSolanaAccountBalance = SOLANA_PRIMITIVE_ACCOUNT_BALANCE;
+export const PrimitiveTypeSolanaTokenAccount = SOLANA_PRIMITIVE_TOKEN_ACCOUNT;
+
 type BuiltInPrimitives =
     typeof PrimitiveTypeMidnightGeneric |
-    typeof PrimitiveTypeMidnightNullifier |
+    typeof PrimitiveTypeMidnightNullifierAndCommitment |
     typeof PrimitiveTypeMidnightUnshieldedSpend |
     typeof PrimitiveTypeMidnightUnshieldedCreate |
     typeof PrimitiveTypeMidnightZswapRoot |
@@ -58,7 +76,10 @@ type BuiltInPrimitives =
     typeof PrimitiveTypeNEARNEP245 |
     typeof PrimitiveTypeNEARIntent |
     typeof PrimitiveTypeNEARGeneric |
-    typeof PrimitiveTypeNEARAccountWatch // |
+    typeof PrimitiveTypeNEARAccountWatch |
+    typeof PrimitiveTypeSolanaProgramLog |
+    typeof PrimitiveTypeSolanaAccountBalance |
+    typeof PrimitiveTypeSolanaTokenAccount // |
     // typeof PrimitiveTypeEVMGeneric
 ;
 

package/primitives/src/grammar.ts

@@ -15,14 +15,19 @@ import { nep245Grammar } from "./near-nep245/nep245-grammar.ts";
 import { nearIntentGrammar } from "./near-intent/near-intent-grammar.ts";
 import { nearGenericGrammar } from "./near-generic/near-generic-grammar.ts";
 import { nearAccountWatchGrammar } from "./near-account-watch/near-account-watch-grammar.ts";
+import { solanaProgramLogGrammar } from "./solana-program-log/solana-program-log-grammar.ts";
+import { solanaAccountBalanceGrammar } from "./solana-account-balance/solana-account-balance-grammar.ts";
+import { solanaTokenAccountGrammar } from "./solana-token-account/solana-token-account-grammar.ts";
 import { mintBurnGrammar } from "./cardano-mint-burn/mint-burn-grammar.ts";
 import { transferGrammar } from "./cardano-transfer/transfer-grammar.ts";
 import { poolDelegationGrammar } from "./cardano-pool-delegation/pool-delegation-grammar.ts";
 import { delayedAssetGrammar } from "./cardano-delayed-asset/delayed-asset-grammar.ts";
 import { projectedNftGrammar } from "./cardano-projected-nft/projected-nft-grammar.ts";
+import { midnightTokenMintGrammar } from "./midnight-token-mint/midnight-token-mint-grammar.ts";
 
 export const builtinGrammars = {
   midnightGeneric: midnightGenericGrammar,
+  midnightTokenMint: midnightTokenMintGrammar,
   evmErc721: erc721Grammar,
   evmErc20: erc20Grammar,
   availGeneric: availGenericGrammar,
@@ -36,6 +41,9 @@ export const builtinGrammars = {
   nearIntent: nearIntentGrammar,
   nearGeneric: nearGenericGrammar,
   nearAccountWatch: nearAccountWatchGrammar,
+  solanaProgramLog: solanaProgramLogGrammar,
+  solanaAccountBalance: solanaAccountBalanceGrammar,
+  solanaTokenAccount: solanaTokenAccountGrammar,
   cardanoMintBurn: mintBurnGrammar,
   cardanoTransfer: transferGrammar,
   cardanoPoolDelegation: poolDelegationGrammar,

package/primitives/src/midnight-nullifier-and-commitment/midnight-nullifier-and-commitment-grammar.ts

@@ -0,0 +1,37 @@
+import { Type } from "@sinclair/typebox";
+
+export const midnightNullifierAndCommitmentGrammar = [
+  [
+    "payload",
+    Type.Union([
+      Type.Object({
+        kind: Type.Literal("nullifier"),
+        /** 32-byte nullifier, hex (no 0x prefix) */
+        nullifier: Type.String(),
+        /** 32-byte transaction hash, hex (no 0x prefix) */
+        txHash: Type.String(),
+        /** Indexer-assigned zswap ledger event id */
+        eventId: Type.Number(),
+        /** Logical segment the event was emitted in */
+        logicalSegment: Type.Number(),
+        /** Contract address that spent the coin, hex — absent for user coins */
+        contract: Type.Optional(Type.String()),
+      }),
+      Type.Object({
+        kind: Type.Literal("commitment"),
+        /** 32-byte coin commitment, hex (no 0x prefix) */
+        commitment: Type.String(),
+        /** Index of the commitment in the zswap Merkle tree (u64 as decimal string) */
+        mtIndex: Type.String(),
+        /** 32-byte transaction hash, hex (no 0x prefix) */
+        txHash: Type.String(),
+        /** Indexer-assigned zswap ledger event id */
+        eventId: Type.Number(),
+        /** Logical segment the event was emitted in */
+        logicalSegment: Type.Number(),
+        /** Contract address that received the coin, hex — absent for user coins */
+        contract: Type.Optional(Type.String()),
+      }),
+    ]),
+  ],
+] as const;

package/primitives/src/{midnight-nullifier/midnight-nullifier.ts → midnight-nullifier-and-commitment/midnight-nullifier-and-commitment.ts}

@@ -16,28 +16,40 @@ import type {
   ProtocolPrimitiveMap,
 } from "@effectstream/config";
 import type { SyncStateUpdateStream } from "@effectstream/coroutine";
-import { PrimitiveTypeMidnightNullifier } from "../builtin.ts";
-import { midnightNullifierGrammar } from "./midnight-nullifier-grammar.ts";
+import { PrimitiveTypeMidnightNullifierAndCommitment } from "../builtin.ts";
+import { midnightNullifierAndCommitmentGrammar } from "./midnight-nullifier-and-commitment-grammar.ts";
+
+/** Which zswap ledger event kinds the primitive emits. */
+export type MidnightZswapCapture = "nullifiers" | "commitments" | "both";
 
 /**
- * MidnightNullifierPrimitive
+ * MidnightNullifierAndCommitmentPrimitive
  *
- * Watches all ZswapInput (nullifier-spend) events on the Midnight shielded
- * ledger.  One state-machine input is emitted per nullifier event observed in
- * a block, regardless of which contract produced it.
+ * Watches ZswapInput (nullifier-spend) and ZswapOutput (commitment-create)
+ * events on the Midnight shielded ledger.  Both event kinds arrive in the
+ * same indexer field (`zswapLedgerEvents`), so tracking both costs no extra
+ * indexer queries.  One state-machine input is emitted per event observed in
+ * a block, regardless of which contract produced it.  The `capture` option
+ * selects which kinds are emitted (default: both).
  *
  * Usage:
  *   stm.addStateTransition("myPrefix", function* (data) {
  *     const { payload } = data.parsedInput;
- *     // payload = { nullifier, txHash, eventId, logicalSegment }
+ *     if (payload.kind === "nullifier") {
+ *       // { kind, nullifier, txHash, eventId, logicalSegment, contract? }
+ *     } else {
+ *       // { kind, commitment, mtIndex, txHash, eventId, logicalSegment, contract? }
+ *     }
  *   });
  */
-export class MidnightNullifierPrimitive extends Primitive<
+export class MidnightNullifierAndCommitmentPrimitive extends Primitive<
   ConfigSyncProtocolType.MIDNIGHT_PARALLEL,
-  typeof midnightNullifierGrammar
+  typeof midnightNullifierAndCommitmentGrammar
 > {
-  readonly internalTypeName = PrimitiveTypeMidnightNullifier;
-  override readonly grammar = midnightNullifierGrammar;
+  readonly internalTypeName = PrimitiveTypeMidnightNullifierAndCommitment;
+  override readonly grammar = midnightNullifierAndCommitmentGrammar;
+
+  readonly capture: MidnightZswapCapture;
 
   override dynamicTables = undefined;
   override getIntermediatePrefix(): string[] {
@@ -51,8 +63,11 @@ export class MidnightNullifierPrimitive extends Primitive<
     instanceName: string;
     startBlockHeight: number;
     stateMachinePrefix: string;
+    /** Which zswap event kinds to emit. Default: "both". */
+    capture?: MidnightZswapCapture;
   }) {
     super(config);
+    this.capture = config.capture ?? "both";
   }
 
   override *getPayload(
@@ -65,12 +80,19 @@ export class MidnightNullifierPrimitive extends Primitive<
     data: {
       fromAddressAndType: AddressAndType;
       stateMachinePayload:
-        | StaticDecode<CommandTuple<string, typeof midnightNullifierGrammar>>
+        | StaticDecode<
+          CommandTuple<string, typeof midnightNullifierAndCommitmentGrammar>
+        >
         | null;
-      accountingPayload: ParamToData<typeof midnightNullifierGrammar>;
+      accountingPayload: ParamToData<
+        typeof midnightNullifierAndCommitmentGrammar
+      >;
     }[];
   }> {
-    const payload = primitiveTransactionData.output.payload;
+    // The sync-protocol payload map types Midnight payloads as Record<string, any>;
+    // the fetcher's fetchZswapEvents builds exactly the grammar's payload shape.
+    const payload = primitiveTransactionData.output
+      .payload as ParamToData<typeof this.grammar>["payload"];
 
     const accountingPayload: ParamToData<typeof this.grammar> = {
       payload,
@@ -109,6 +131,7 @@ export class MidnightNullifierPrimitive extends Primitive<
       type: this.internalTypeName,
       startBlockHeight: this.startBlockHeight,
       scheduledPrefix: this.stateMachinePrefix ?? "",
+      capture: this.capture,
     } as const;
   }
 }

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

@@ -1,8 +1,16 @@
 import { Type } from "@sinclair/typebox";
 
+// Flat named fields (not a single `payload` blob) so the owned-table trigger
+// on effectstream.primitive_accounting can read each column directly via
+// `payload->>'field'` — mirrors the ERC20/NEP141 grammars. All strings;
+// `amount` is a decimal string (u64 mints exceed MAX_SAFE_INTEGER) cast to
+// numeric in SQL; `entryPoint` is informational (defaulted to "").
 export const midnightTokenMintGrammar = [
-  [
-    "payload",
-    Type.Any(),
-  ],
+  ["contractAddress", Type.String()],
+  ["domainSep", Type.String()],
+  ["rawTokenType", Type.String()],
+  ["kind", Type.String()],
+  ["amount", Type.String()],
+  ["txHash", Type.String()],
+  ["entryPoint", Type.String()],
 ] as const;

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

@@ -0,0 +1,105 @@
+import { PrimitiveTypeMidnightTokenMint } from "../builtin.ts";
+import type { MaterializedViewStrategy } from "@effectstream/db";
+
+/**
+ * Owned-table DDL for the Midnight:TokenMint primitive — the registry
+ * `token_type → (contract_address, domain_sep, kind)` with an accumulating
+ * `total_minted`. Maintained entirely by a trigger on
+ * effectstream.primitive_accounting (which is written for every primitive
+ * event regardless of any state-machine prefix), so consumers get the table
+ * for free — no STM handler / migration required.
+ *
+ * Mirrors the ERC20/NEP141 IVM shape: intermediate table + trigger + a
+ * read-side view published per `strategy` (pg_ivm or plain VIEW).
+ */
+export function midnightTokenMintIvm(
+  name: string,
+  strategy: MaterializedViewStrategy,
+) {
+  // The instance name becomes part of an SQL identifier, so strip anything that
+  // isn't identifier-safe. The ERC20/NEP141 IVMs *throw* here instead, which
+  // makes the owned table reject the repo's own naming convention (hyphenated
+  // instance names like "Midnight-TokenMint") — and it throws at sync startup,
+  // taking the whole node down for what is only a naming concern. Names that
+  // were already safe are untouched, so no existing table/view name shifts.
+  const lowerName = name.toLowerCase();
+  const validSQLName = lowerName.replace(/[^a-zA-Z0-9_]/g, "");
+  if (validSQLName.length === 0) {
+    throw new Error(
+      `Primitive instance name "${name}" has no SQL-identifier-safe characters`,
+    );
+  }
+  // The name is also compared as a string literal inside the trigger body, and
+  // that use is not identifier-restricted — so escape quotes rather than strip
+  // them. Without this, a name containing `'` emits DDL that fails to parse.
+  const sqlLiteralName = name.replace(/'/g, "''");
+
+  const mintsTable =
+    `primitives.midnight_token_mint_intermediate_${validSQLName}`;
+  const viewName = `primitives.midnight_token_mint_view_${validSQLName}`;
+  const selectSql =
+    `SELECT primitive_name, token_type, kind, contract_address, domain_sep, total_minted, tx_hash, block_height FROM ${mintsTable}`;
+
+  return `
+    -- Token-mint registry (maintained by a trigger on primitive_accounting).
+    -- The mapping columns are immutable (token_type is a pure function of
+    -- (domain_sep, contract_address)); total_minted accumulates; tx_hash /
+    -- block_height keep first-mint provenance. kind is in the key because the
+    -- shielded and unshielded derivation formula is identical.
+    CREATE TABLE IF NOT EXISTS ${mintsTable} (
+        primitive_name TEXT NOT NULL,
+        token_type TEXT NOT NULL,
+        kind TEXT NOT NULL,
+        contract_address TEXT NOT NULL,
+        domain_sep TEXT NOT NULL,
+        total_minted numeric(78,0) DEFAULT 0,
+        tx_hash TEXT,
+        block_height INTEGER,
+        PRIMARY KEY (primitive_name, token_type, kind)
+    );
+
+    CREATE OR REPLACE FUNCTION update_midnight_token_mint_${validSQLName}() RETURNS TRIGGER AS $$
+    DECLARE
+        mint_amount numeric(78,0);
+    BEGIN
+        IF NEW.payload_type = '${PrimitiveTypeMidnightTokenMint}'
+           AND NEW.primitive_name = '${sqlLiteralName}'
+           AND NEW.payload->>'rawTokenType' IS NOT NULL THEN
+
+         mint_amount := COALESCE((NEW.payload->>'amount')::numeric(78,0), 0);
+
+         INSERT INTO ${mintsTable} (
+             primitive_name, token_type, kind, contract_address, domain_sep,
+             total_minted, tx_hash, block_height
+         )
+         VALUES (
+             NEW.primitive_name,
+             NEW.payload->>'rawTokenType',
+             NEW.payload->>'kind',
+             NEW.payload->>'contractAddress',
+             NEW.payload->>'domainSep',
+             mint_amount,
+             NEW.payload->>'txHash',
+             NEW.effectstream_block_height
+         )
+         ON CONFLICT (primitive_name, token_type, kind) DO UPDATE SET
+             total_minted = ${mintsTable}.total_minted + EXCLUDED.total_minted;
+        END IF;
+
+        RETURN NEW;
+    END;
+    $$ LANGUAGE plpgsql;
+
+    CREATE TRIGGER trigger_update_midnight_token_mint_${validSQLName}
+        AFTER INSERT ON effectstream.primitive_accounting
+        FOR EACH ROW
+        EXECUTE FUNCTION update_midnight_token_mint_${validSQLName}();
+
+    ${strategy.createView(viewName, selectSql)}
+    `;
+}
+
+export const MIDNIGHT_TOKEN_MINT_VIEW_PREFIX =
+  "midnight_token_mint_view_" as const;
+export const MIDNIGHT_TOKEN_MINT_INTERMEDIATE_PREFIX =
+  "midnight_token_mint_intermediate_" as const;