@reventlessdev/online-shop-hybrid-ordering 1.0.0-alpha.244 → 1.0.0-alpha.246

package/CHANGELOG.md

@@ -3,6 +3,21 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 1.0.0-alpha.246 (2026-09-21)
+
+### Bug Fixes
+
+* **deps:** update rescript to 12.3.1 ([ea1ce37](https://github.com/ReventlessDev/reventless-core/commit/ea1ce377297640f6d0d360e6c84c778d59ecbcc5))
+* **deps:** update sury to 11.0.0 ([8715b22](https://github.com/ReventlessDev/reventless-core/commit/8715b22b33856c46ba57518aad151065c123a995))
+
+
+# 1.0.0-alpha.245 (2026-09-21)
+
+### Features
+
+* **examples:** the hybrid example types its ids ([e7a88a9](https://github.com/ReventlessDev/reventless-core/commit/e7a88a9883e04f41ff39c7fb5f709a14e9005772))
+
+
 # 1.0.0-alpha.244 (2026-09-21)
 
 * feat(spec)!: typed projection keys ([fc6a018](https://github.com/ReventlessDev/reventless-core/commit/fc6a01811ba788f3289e84a435a09f77fa627e1a))

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/online-shop-hybrid-ordering",
-  "version": "1.0.0-alpha.244",
+  "version": "1.0.0-alpha.246",
   "description": "Online Shop Hybrid example — Ordering plugin (Customer aggregate + Order/CatalogProduct DCB)",
   "license": "Apache-2.0",
   "jest": {
@@ -20,24 +20,24 @@
     }
   },
   "dependencies": {
-    "sury": "11.0.0-rc.2",
-    "@reventlessdev/online-shop-hybrid-catalog-spec": "1.0.0-alpha.136",
-    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.21",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.168",
-    "@reventlessdev/online-shop-hybrid-ordering-spec": "1.0.0-alpha.136",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.214",
-    "@reventlessdev/reventless-local": "3.0.0-alpha.257",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.140",
-    "@reventlessdev/trait-address-geocoding": "1.0.0-alpha.16",
-    "@reventlessdev/trait-notification": "1.0.0-alpha.16"
+    "sury": "11.0.0",
+    "@reventlessdev/online-shop-hybrid-catalog-spec": "1.0.0-alpha.138",
+    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.22",
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.216",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.169",
+    "@reventlessdev/online-shop-hybrid-ordering-spec": "1.0.0-alpha.137",
+    "@reventlessdev/reventless-local": "3.0.0-alpha.259",
+    "@reventlessdev/trait-address-geocoding": "1.0.0-alpha.18",
+    "@reventlessdev/trait-notification": "1.0.0-alpha.18",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.141"
   },
   "devDependencies": {
-    "rescript": "12.3.0",
-    "sury-ppx": "11.0.0-rc.2",
+    "rescript": "12.3.1",
+    "sury-ppx": "11.0.0",
     "@reventlessdev/reventless-ppx": "1.0.0-alpha.81"
   },
   "peerDependencies": {
-    "rescript": "12.3.0"
+    "rescript": "^12.3.1"
   },
   "publishConfig": {
     "registry": "https://registry.npmjs.org"

package/src/CatalogProduct/StateChange/SyncCatalogProduct.res

@@ -13,20 +13,20 @@ type consumedEvent =
 
 @schema
 type command =
-  | SyncNewProduct({productId: string, name: string, price: Reventless.Money.t})
-  | ChangeSyncedPrice({productId: string, price: Reventless.Money.t})
+  | SyncNewProduct({productId: CatalogSpec.ProductId.t, name: string, price: Reventless.Money.t})
+  | ChangeSyncedPrice({productId: CatalogSpec.ProductId.t, price: Reventless.Money.t})
   // The withdrawal and the way back. Both carry only the id: the shadow this
   // slice maintains already holds the name and price, and it survives the read
   // model's delete — which is what lets a relist restore availability from state
   // Ordering owns rather than asking Catalog to re-send facts it already has.
-  | WithdrawSyncedProduct({productId: string})
-  | RelistSyncedProduct({productId: string})
+  | WithdrawSyncedProduct({productId: CatalogSpec.ProductId.t})
+  | RelistSyncedProduct({productId: CatalogSpec.ProductId.t})
   // The picture Catalog says to show. Carried as the ref Catalog's store minted,
   // so Ordering stores a path it can hand to a reader without knowing where the
   // bytes live or being able to write there — which is why the store is named
   // rather than derived: the field's own name would declare an Ordering store.
   | ChangeSyncedProductImage({
-      productId: string,
+      productId: CatalogSpec.ProductId.t,
       @storageRef("Catalog.productImages") productImage?: Reventless.UploadableImage.t,
     })
 
@@ -35,15 +35,23 @@ type error = unit // always succeeds — sync is idempotent
 
 @schema
 type event =
-  | CatalogProductSynced({productId: string, name: string, price: Reventless.Money.t})
-  | CatalogProductPriceChanged({productId: string, price: Reventless.Money.t})
-  | CatalogProductWithdrawn({productId: string})
+  | CatalogProductSynced({
+      productId: CatalogSpec.ProductId.t,
+      name: string,
+      price: Reventless.Money.t,
+    })
+  | CatalogProductPriceChanged({productId: CatalogSpec.ProductId.t, price: Reventless.Money.t})
+  | CatalogProductWithdrawn({productId: CatalogSpec.ProductId.t})
   // Carries the shadow's name and price so the projection can restore the row
   // without a second read: the fold has them in hand at exactly the moment the
   // decision is made, and an event that states what it caused is what makes the
   // projection a pure mapping.
-  | CatalogProductRelisted({productId: string, name: string, price: Reventless.Money.t})
+  | CatalogProductRelisted({
+      productId: CatalogSpec.ProductId.t,
+      name: string,
+      price: Reventless.Money.t,
+    })
   | CatalogProductImageChanged({
-      productId: string,
+      productId: CatalogSpec.ProductId.t,
       @storageRef("Catalog.productImages") productImage?: Reventless.UploadableImage.t,
     })

package/src/CatalogProduct/StateChange/SyncCatalogProduct.res.mjs

@@ -3,6 +3,7 @@
 import * as Sury from "sury";
 import * as Money$Reventless from "@reventlessdev/reventless-spec/src/semantic/Money.res.mjs";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-hybrid-catalog-spec/src/ProductId.res.mjs";
 import * as UploadableImage$Reventless from "@reventlessdev/reventless-spec/src/semantic/UploadableImage.res.mjs";
 
 let consumedEventSchema = Sury.union([
@@ -26,26 +27,26 @@ let consumedEventSchema = Sury.union([
 let commandSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "SyncNewProduct",
-    productId: s.m(DcbTag$Reventless.string),
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)),
     name: s.m(Sury.string),
     price: s.m(Money$Reventless.schema)
   })),
   Sury.$schema(s => ({
     TAG: "ChangeSyncedPrice",
-    productId: s.m(DcbTag$Reventless.string),
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)),
     price: s.m(Money$Reventless.schema)
   })),
   Sury.$schema(s => ({
     TAG: "WithdrawSyncedProduct",
-    productId: s.m(DcbTag$Reventless.string)
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema))
   })),
   Sury.$schema(s => ({
     TAG: "RelistSyncedProduct",
-    productId: s.m(DcbTag$Reventless.string)
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema))
   })),
   Sury.$schema(s => ({
     TAG: "ChangeSyncedProductImage",
-    productId: s.m(DcbTag$Reventless.string),
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)),
     productImage: s.m(Sury.$option(UploadableImage$Reventless.forField("Catalog", "productImages")))
   }))
 ]);
@@ -55,28 +56,28 @@ let errorSchema = Sury.$unit;
 let eventSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "CatalogProductSynced",
-    productId: s.m(DcbTag$Reventless.string),
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)),
     name: s.m(Sury.string),
     price: s.m(Money$Reventless.schema)
   })),
   Sury.$schema(s => ({
     TAG: "CatalogProductPriceChanged",
-    productId: s.m(DcbTag$Reventless.string),
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)),
     price: s.m(Money$Reventless.schema)
   })),
   Sury.$schema(s => ({
     TAG: "CatalogProductWithdrawn",
-    productId: s.m(DcbTag$Reventless.string)
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema))
   })),
   Sury.$schema(s => ({
     TAG: "CatalogProductRelisted",
-    productId: s.m(DcbTag$Reventless.string),
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)),
     name: s.m(Sury.string),
     price: s.m(Money$Reventless.schema)
   })),
   Sury.$schema(s => ({
     TAG: "CatalogProductImageChanged",
-    productId: s.m(DcbTag$Reventless.string),
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)),
     productImage: s.m(Sury.$option(UploadableImage$Reventless.forField("Catalog", "productImages")))
   }))
 ]);

package/src/CatalogProduct/StateViewStream/AvailableProducts.res

@@ -4,14 +4,25 @@
 // this denormalised mirror exists purely as an Ordering-side lookup target.
 
 @@reventless.spec
+
+// Rows are keyed by this identity.
+module Key = CatalogSpec.ProductId
 @@reventless.visibility(Internal)
 
 @schema
 type consumedEvent =
-  | CatalogProductSynced({productId: string, name: string, price: Reventless.Money.t})
-  | CatalogProductPriceChanged({productId: string, price: Reventless.Money.t})
-  | CatalogProductWithdrawn({productId: string})
-  | CatalogProductRelisted({productId: string, name: string, price: Reventless.Money.t})
+  | CatalogProductSynced({
+      productId: CatalogSpec.ProductId.t,
+      name: string,
+      price: Reventless.Money.t,
+    })
+  | CatalogProductPriceChanged({productId: CatalogSpec.ProductId.t, price: Reventless.Money.t})
+  | CatalogProductWithdrawn({productId: CatalogSpec.ProductId.t})
+  | CatalogProductRelisted({
+      productId: CatalogSpec.ProductId.t,
+      name: string,
+      price: Reventless.Money.t,
+    })
 
 @schema
-type state = {productId: string, name: string, price: Reventless.Money.t}
+type state = {productId: CatalogSpec.ProductId.t, name: string, price: Reventless.Money.t}

package/src/CatalogProduct/StateViewStream/AvailableProducts.res.mjs

@@ -3,34 +3,35 @@
 import * as Sury from "sury";
 import * as Money$Reventless from "@reventlessdev/reventless-spec/src/semantic/Money.res.mjs";
 import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
+import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-hybrid-catalog-spec/src/ProductId.res.mjs";
 import * as StateAnnotations$Reventless from "@reventlessdev/reventless-spec/src/components/StateAnnotations.res.mjs";
 
 let consumedEventSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "CatalogProductSynced",
-    productId: s.m(Sury.string),
+    productId: s.m(ProductId$CatalogSpec.schema),
     name: s.m(Sury.string),
     price: s.m(Money$Reventless.schema)
   })),
   Sury.$schema(s => ({
     TAG: "CatalogProductPriceChanged",
-    productId: s.m(Sury.string),
+    productId: s.m(ProductId$CatalogSpec.schema),
     price: s.m(Money$Reventless.schema)
   })),
   Sury.$schema(s => ({
     TAG: "CatalogProductWithdrawn",
-    productId: s.m(Sury.string)
+    productId: s.m(ProductId$CatalogSpec.schema)
   })),
   Sury.$schema(s => ({
     TAG: "CatalogProductRelisted",
-    productId: s.m(Sury.string),
+    productId: s.m(ProductId$CatalogSpec.schema),
     name: s.m(Sury.string),
     price: s.m(Money$Reventless.schema)
   }))
 ]);
 
 let stateSchema = Sury.$schema(s => ({
-  productId: s.m(Sury.string),
+  productId: s.m(ProductId$CatalogSpec.schema),
   name: s.m(Sury.string),
   price: s.m(Money$Reventless.schema)
 }));
@@ -77,9 +78,9 @@ let visibility = "Internal";
 export {
   name,
   Id,
+  Key,
   consumedEventSchema,
   config,
-  Key,
   subIdConfig,
   stateSchema$1 as stateSchema,
   moduleUrl,

package/src/Customer/Aggregate/Customer.res

@@ -3,6 +3,8 @@
 
 @@reventless.spec
 
+module Id = CustomerId
+
 // A map coordinate carried by location commands/events. `GeoPoint.t` rather than
 // a local `{lat, lng}` record: the wire shape is identical — so every event
 // already stored decodes unchanged — and the declaration buys the range checks

package/src/Customer/CustomerId.res

@@ -0,0 +1,4 @@
+// A customer's id: the partition its slices decide about, and an order's buyer.
+include Reventless.Id.Make({
+  let key = "customerId"
+})

package/src/Customer/CustomerId.res.mjs

@@ -0,0 +1,29 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
+
+let include = Id$Reventless.Make({
+  key: "customerId"
+});
+
+let schema = include.schema;
+
+let make = include.make;
+
+let makeFromString = include.makeFromString;
+
+let toString = include.toString;
+
+let cmp = include.cmp;
+
+let key = include.key;
+
+export {
+  schema,
+  make,
+  makeFromString,
+  toString,
+  cmp,
+  key,
+}
+/* include Not a pure module */

package/src/Customer/OutboundTranslation/VerifyCustomerEmail.res

@@ -22,7 +22,7 @@ type outboundItem = {customerId: string, email: string}
 @schema
 type inboundCommand =
   | IssueEmailChallenge({
-      customerId: string,
+      customerId: CustomerId.t,
       email: string,
       purpose: string,
       proofHash: string,

package/src/Customer/OutboundTranslation/VerifyCustomerEmail.res.mjs

@@ -2,6 +2,7 @@
 
 import * as Sury from "sury";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as CustomerId$OrderingPlugin from "../CustomerId.res.mjs";
 
 let consumedEventSchema = Sury.union([
   Sury.$schema(s => ({
@@ -22,7 +23,7 @@ let outboundItemSchema = Sury.$schema(s => ({
 
 let inboundCommandSchema = Sury.$schema(s => ({
   TAG: "IssueEmailChallenge",
-  customerId: s.m(DcbTag$Reventless.string),
+  customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
   email: s.m(Sury.string),
   purpose: s.m(Sury.string),
   proofHash: s.m(Sury.string),

package/src/Customer/OutboundTranslation/VerifyCustomerEmail_Translation.res

@@ -50,7 +50,7 @@ let translate = async (_id, item: outboundItem, ~capabilities: Reventless.Capabi
           Some((
             item.customerId,
             IssueEmailChallenge({
-              customerId: item.customerId,
+              customerId: CustomerId.makeFromString(item.customerId),
               email: item.email,
               purpose: "ContactChange",
               proofHash,

package/src/Customer/OutboundTranslation/VerifyCustomerEmail_Translation.res.mjs

@@ -2,6 +2,7 @@
 
 import * as Duration$Reventless from "@reventlessdev/reventless-spec/src/semantic/Duration.res.mjs";
 import * as Messaging$Reventless from "@reventlessdev/reventless-spec/src/semantic/Messaging.res.mjs";
+import * as CustomerId$OrderingPlugin from "../CustomerId.res.mjs";
 import * as ContactVerification$OrderingPlugin from "../../ContactVerification.res.mjs";
 
 function collect(event, sourceId) {
@@ -60,7 +61,7 @@ async function translate(_id, item, capabilities) {
         item.customerId,
         {
           TAG: "IssueEmailChallenge",
-          customerId: item.customerId,
+          customerId: CustomerId$OrderingPlugin.makeFromString(item.customerId),
           email: item.email,
           purpose: "ContactChange",
           proofHash: proofHash._0,

package/src/Customer/ReadModelStream/Customers.res

@@ -3,6 +3,8 @@
 
 @@reventless.spec
 
+module Id = CustomerId
+
 // Operator surface: everyone's profile, so operator-only. A shopper reads their
 // own orders instead.
 @@reventless.authorize(AllowGroups(["Admin", "Fulfilment"]))
@@ -20,7 +22,7 @@ type accountStatus =
 // needed — the name matches the component.
 @schema
 type state = {
-  customerId: string,
+  customerId: CustomerId.t,
   @displayName email: string,
   address: string,
   // The map pin is drawn from the `Located` arm's declared point. Not the

package/src/Customer/ReadModelStream/Customers.res.mjs

@@ -4,6 +4,7 @@ import * as Sury from "sury";
 import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
 import * as DisplayName$Reventless from "@reventlessdev/reventless-spec/src/components/DisplayName.res.mjs";
 import * as Geolocation$Reventless from "@reventlessdev/reventless-spec/src/semantic/Geolocation.res.mjs";
+import * as CustomerId$OrderingPlugin from "../CustomerId.res.mjs";
 import * as StateAnnotations$Reventless from "@reventlessdev/reventless-spec/src/components/StateAnnotations.res.mjs";
 
 let accountStatusSchema = Sury.union([
@@ -12,13 +13,13 @@ let accountStatusSchema = Sury.union([
 ]);
 
 let stateSchema = Sury.$schema(s => ({
-  customerId: s.m(Sury.string),
+  customerId: s.m(CustomerId$OrderingPlugin.schema),
   email: s.m(Sury.string),
   address: s.m(Sury.string),
   geolocation: s.m(Geolocation$Reventless.schema),
   accountStatus: s.m(accountStatusSchema),
-  emailVerified: s.m(Sury.bool),
-  orderCount: s.m(Sury.int),
+  emailVerified: s.m(Sury.boolean),
+  orderCount: s.m(Sury.int32),
   displayName: s.m(Sury.$option(Sury.string))
 }));
 

package/src/Customer/ReadModelStream/Customers_Projections.res

@@ -15,7 +15,7 @@ module OrderEvents = {
   let name = "OrderingDcbEventLog"
 
   @schema
-  type event = OrderPlaced({orderId: string, customerId: string})
+  type event = OrderPlaced({orderId: OrderId.t, customerId: CustomerId.t})
 }
 
 // Source 1 — Customer aggregate (profile)
@@ -31,7 +31,7 @@ module CustomerMapping = Mapping.Make(
         UpdateWithDefault(
           id,
           {
-            Customers.customerId: id->Customer.Id.toString,
+            Customers.customerId: id,
             email,
             address,
             geolocation: Pending({requestedFor: address}),
@@ -74,7 +74,7 @@ module CustomerOrdersMapping = Mapping.Make(
       switch event {
       | OrderPlaced({customerId}) =>
         UpdateWithDefault(
-          Customers.Id.makeFromString(customerId),
+          customerId,
           {
             Customers.customerId,
             email: "",

package/src/Customer/ReadModelStream/Customers_Projections.res.mjs

@@ -4,11 +4,13 @@ import * as Sury from "sury";
 import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as Projection$Reventless from "@reventlessdev/reventless-spec/src/types/Projection.res.mjs";
+import * as OrderId$OrderingPlugin from "../../Order/OrderId.res.mjs";
 import * as Customer$OrderingPlugin from "../Aggregate/Customer.res.mjs";
 import * as Customers$OrderingPlugin from "./Customers.res.mjs";
+import * as CustomerId$OrderingPlugin from "../CustomerId.res.mjs";
 
 let M = Projection$Reventless.Mappings.Make({
-  Id: Id$Reventless.$$String,
+  Id: CustomerId$OrderingPlugin,
   name: Customers$OrderingPlugin.name,
   stateSchema: Customers$OrderingPlugin.stateSchema,
   subIdConfig: undefined
@@ -18,8 +20,8 @@ let name = "OrderingDcbEventLog";
 
 let eventSchema = Sury.$schema(s => ({
   TAG: "OrderPlaced",
-  orderId: s.m(DcbTag$Reventless.string),
-  customerId: s.m(DcbTag$Reventless.string)
+  orderId: s.m(DcbTag$Reventless.mark(OrderId$OrderingPlugin.schema)),
+  customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema))
 }));
 
 let OrderEvents = {
@@ -62,7 +64,7 @@ function project(param) {
         TAG: "UpdateWithDefault",
         _0: id,
         _1: {
-          customerId: Id$Reventless.$$String.toString(id),
+          customerId: id,
           email: email,
           address: address,
           geolocation: {
@@ -166,11 +168,11 @@ function project(param) {
 }
 
 let CustomerMapping = Projection$Reventless.Mapping.Make({
-  Id: Id$Reventless.$$String,
+  Id: CustomerId$OrderingPlugin,
   name: Customer$OrderingPlugin.name,
   eventSchema: Customer$OrderingPlugin.eventSchema
 })({
-  Id: Id$Reventless.$$String,
+  Id: CustomerId$OrderingPlugin,
   name: Customers$OrderingPlugin.name,
   stateSchema: Customers$OrderingPlugin.stateSchema,
   subIdConfig: undefined
@@ -182,7 +184,7 @@ function project$1(param) {
   let customerId = param.event.customerId;
   return {
     TAG: "UpdateWithDefault",
-    _0: Id$Reventless.$$String.makeFromString(customerId),
+    _0: customerId,
     _1: {
       customerId: customerId,
       email: "",
@@ -208,7 +210,7 @@ let CustomerOrdersMapping = Projection$Reventless.Mapping.Make({
   name: name,
   eventSchema: eventSchema
 })({
-  Id: Id$Reventless.$$String,
+  Id: CustomerId$OrderingPlugin,
   name: Customers$OrderingPlugin.name,
   stateSchema: Customers$OrderingPlugin.stateSchema,
   subIdConfig: undefined

package/src/Customer/StateChange/EmailVerificationChallenges.res

@@ -22,14 +22,14 @@
 @schema
 type consumedEvent =
   | EmailChallengeIssued({
-      customerId: string,
+      customerId: CustomerId.t,
       email: string,
       purpose: string,
       proofHash: string,
       issuedAt: string,
     })
-  | EmailProofAccepted({customerId: string, email: string})
-  | EmailProofRefused({customerId: string, email: string, reason: string})
+  | EmailProofAccepted({customerId: CustomerId.t, email: string})
+  | EmailProofRefused({customerId: CustomerId.t, email: string, reason: string})
 
 @schema
 type command =
@@ -37,7 +37,7 @@ type command =
   // caller who could issue challenges could send mail to any address they liked.
   | @noApi
   IssueEmailChallenge({
-      customerId: string,
+      customerId: CustomerId.t,
       email: string,
       purpose: string,
       proofHash: string,
@@ -50,7 +50,12 @@ type command =
   // authorization fits. Registration is the case that does not: the caller is
   // trying to *become* someone, and a component that brings a door cannot yet
   // declare that the door is open to the unauthenticated.
-  | SubmitEmailProof({customerId: string, email: string, proofHash: string, presentedAt: string})
+  | SubmitEmailProof({
+      customerId: CustomerId.t,
+      email: string,
+      proofHash: string,
+      presentedAt: string,
+    })
 
 @schema
 type error =
@@ -63,11 +68,11 @@ type error =
 @schema
 type event =
   | EmailChallengeIssued({
-      customerId: string,
+      customerId: CustomerId.t,
       email: string,
       purpose: string,
       proofHash: string,
       issuedAt: string,
     })
-  | EmailProofAccepted({customerId: string, email: string})
-  | EmailProofRefused({customerId: string, email: string, reason: string})
+  | EmailProofAccepted({customerId: CustomerId.t, email: string})
+  | EmailProofRefused({customerId: CustomerId.t, email: string, reason: string})

package/src/Customer/StateChange/EmailVerificationChallenges.res.mjs

@@ -3,11 +3,12 @@
 import * as Sury from "sury";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as Api$ReventlessInfra from "@reventlessdev/reventless-infra/src/components/Api.res.mjs";
+import * as CustomerId$OrderingPlugin from "../CustomerId.res.mjs";
 
 let consumedEventSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "EmailChallengeIssued",
-    customerId: s.m(DcbTag$Reventless.string),
+    customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
     email: s.m(Sury.string),
     purpose: s.m(Sury.string),
     proofHash: s.m(Sury.string),
@@ -15,12 +16,12 @@ let consumedEventSchema = Sury.union([
   })),
   Sury.$schema(s => ({
     TAG: "EmailProofAccepted",
-    customerId: s.m(DcbTag$Reventless.string),
+    customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
     email: s.m(Sury.string)
   })),
   Sury.$schema(s => ({
     TAG: "EmailProofRefused",
-    customerId: s.m(DcbTag$Reventless.string),
+    customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
     email: s.m(Sury.string),
     reason: s.m(Sury.string)
   }))
@@ -29,7 +30,7 @@ let consumedEventSchema = Sury.union([
 let commandSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "IssueEmailChallenge",
-    customerId: s.m(DcbTag$Reventless.string),
+    customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
     email: s.m(Sury.string),
     purpose: s.m(Sury.string),
     proofHash: s.m(Sury.string),
@@ -37,7 +38,7 @@ let commandSchema = Sury.union([
   })),
   Sury.$schema(s => ({
     TAG: "SubmitEmailProof",
-    customerId: s.m(DcbTag$Reventless.string),
+    customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
     email: s.m(Sury.string),
     proofHash: s.m(Sury.string),
     presentedAt: s.m(Sury.string)
@@ -49,7 +50,7 @@ let errorSchema = Sury.literal("NoChallengeOutstanding");
 let eventSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "EmailChallengeIssued",
-    customerId: s.m(DcbTag$Reventless.string),
+    customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
     email: s.m(Sury.string),
     purpose: s.m(Sury.string),
     proofHash: s.m(Sury.string),
@@ -57,12 +58,12 @@ let eventSchema = Sury.union([
   })),
   Sury.$schema(s => ({
     TAG: "EmailProofAccepted",
-    customerId: s.m(DcbTag$Reventless.string),
+    customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
     email: s.m(Sury.string)
   })),
   Sury.$schema(s => ({
     TAG: "EmailProofRefused",
-    customerId: s.m(DcbTag$Reventless.string),
+    customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
     email: s.m(Sury.string),
     reason: s.m(Sury.string)
   }))