@reventlessdev/online-shop-aggregates-ordering 3.0.0-alpha.169 → 3.0.0-alpha.170

package/CHANGELOG.md

@@ -3,6 +3,13 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 3.0.0-alpha.170 (2026-07-30)
+
+### Features
+
+* **spec:** semantic branded scalars — Email, Url, Phone, Percent, Color, Bytes, Duration ([2e64ff9](https://github.com/ReventlessDev/reventless-core/commit/2e64ff992e913c038a71659c731c25a104e3c5a9))
+
+
 # 3.0.0-alpha.169 (2026-07-30)
 
 ### Features

package/lib/bs/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1785388949969)
-#Done(1785388955343)
+#Start(1785406695811)
+#Done(1785406701142)

package/lib/bs/compiler-info.json

@@ -4,5 +4,5 @@
   "bsc_hash": "75e3a59c95cc953608fd3dd6ea6ed68141bba4414a20a52f114261b8a48385fa",
   "rescript_config_hash": "4c884bf958b93b21c77764e35498f269b81377cfcc324135f1ab7a1cc5b569cb",
   "runtime_path": "/home/runner/work/reventless-core/reventless-core/node_modules/@rescript/runtime",
-  "generated_at": "1785388955350"
+  "generated_at": "1785406701150"
 }

package/lib/bs/src/Customer/Aggregate/Customer.res

@@ -3,10 +3,14 @@
 
 @@reventless.spec
 
+// The command is where an address is first accepted, so it is where the type
+// belongs — a value that reaches the log is already permanent. The events below
+// stay plain `string`: they record what was accepted, and re-validating history
+// on read is the risk a branded scalar exists to avoid.
 @schema
 type command =
-  | Register({email: string, address: string})
-  | UpdateEmail({email: string})
+  | Register({email: @s.matches(Reventless.Email.schema) string, address: string})
+  | UpdateEmail({email: @s.matches(Reventless.Email.schema) string})
   | UpdateAddress({address: string})
   | Deactivate
 

package/lib/bs/src/Customer/Aggregate/Customer.res.mjs

@@ -1,16 +1,17 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as S from "sury/src/S.res.mjs";
+import * as Email$Reventless from "@reventlessdev/reventless-spec/src/semantic/Email.res.mjs";
 
 let commandSchema = S.union([
   S.schema(s => ({
     TAG: "Register",
-    email: s.m(S.string),
+    email: s.m(Email$Reventless.schema),
     address: s.m(S.string)
   })),
   S.schema(s => ({
     TAG: "UpdateEmail",
-    email: s.m(S.string)
+    email: s.m(Email$Reventless.schema)
   })),
   S.schema(s => ({
     TAG: "UpdateAddress",

package/lib/bs/src/Customer/ReadModel/Customers.res

@@ -3,9 +3,12 @@
 
 @@reventless.spec
 
+// Marked on the query side too, where it is what makes the field render as a
+// mailto link instead of a text box: the AutoUI reads the semantic off this
+// state schema, not off the command's.
 @schema
 type state = {
-  email: string,
+  email: @s.matches(Reventless.Email.schema) string,
   address: string,
   deactivated: bool,
 }

package/lib/bs/src/Customer/ReadModel/Customers.res.mjs

@@ -1,10 +1,11 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as S from "sury/src/S.res.mjs";
+import * as Email$Reventless from "@reventlessdev/reventless-spec/src/semantic/Email.res.mjs";
 import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
 
 let stateSchema = S.schema(s => ({
-  email: s.m(S.string),
+  email: s.m(Email$Reventless.schema),
   address: s.m(S.string),
   deactivated: s.m(S.bool)
 }));

package/lib/bs/tests/Customer/Aggregate/Customer_GWT.res

@@ -24,7 +24,7 @@ describe("Customer Behavior", () => {
 
   test("UpdateEmail on non-existent aggregate returns CustomerNotFound", () =>
     givenEvents([])
-    ->whenCmd(UpdateEmail({email: "x@y"}))
+    ->whenCmd(UpdateEmail({email: "bob@example.com"}))
     ->thenError(CustomerNotFound)
   )
 
@@ -45,7 +45,7 @@ describe("Customer Behavior", () => {
       Registered({email: "alice@example.com", address: "123 Main St"}),
       Deactivated,
     ])
-    ->whenCmd(UpdateEmail({email: "x@y"}))
+    ->whenCmd(UpdateEmail({email: "bob@example.com"}))
     ->thenError(CustomerAlreadyDeactivated)
   )
 

package/lib/bs/tests/Customer/Aggregate/Customer_GWT.res.mjs

@@ -70,7 +70,7 @@ describe("Customer Behavior", () => {
   }), "CustomerAlreadyDeactivated"));
   test("UpdateEmail on non-existent aggregate returns CustomerNotFound", () => thenError(whenCmd(givenEvents([]), {
     TAG: "UpdateEmail",
-    email: "x@y"
+    email: "bob@example.com"
   }), "CustomerNotFound"));
   test("UpdateEmail on active customer produces EmailUpdated", () => thenEvent(whenCmd(givenEvents([{
       TAG: "Registered",
@@ -100,7 +100,7 @@ describe("Customer Behavior", () => {
     "Deactivated"
   ]), {
     TAG: "UpdateEmail",
-    email: "x@y"
+    email: "bob@example.com"
   }), "CustomerAlreadyDeactivated"));
   test("UpdateAddress on non-existent aggregate returns CustomerNotFound", () => thenError(whenCmd(givenEvents([]), {
     TAG: "UpdateAddress",

package/lib/ocaml/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1785388949969)
-#Done(1785388955343)
+#Start(1785406695811)
+#Done(1785406701142)

package/lib/ocaml/Customer.res

@@ -3,10 +3,14 @@
 
 @@reventless.spec
 
+// The command is where an address is first accepted, so it is where the type
+// belongs — a value that reaches the log is already permanent. The events below
+// stay plain `string`: they record what was accepted, and re-validating history
+// on read is the risk a branded scalar exists to avoid.
 @schema
 type command =
-  | Register({email: string, address: string})
-  | UpdateEmail({email: string})
+  | Register({email: @s.matches(Reventless.Email.schema) string, address: string})
+  | UpdateEmail({email: @s.matches(Reventless.Email.schema) string})
   | UpdateAddress({address: string})
   | Deactivate
 

package/lib/ocaml/Customer_GWT.res

@@ -24,7 +24,7 @@ describe("Customer Behavior", () => {
 
   test("UpdateEmail on non-existent aggregate returns CustomerNotFound", () =>
     givenEvents([])
-    ->whenCmd(UpdateEmail({email: "x@y"}))
+    ->whenCmd(UpdateEmail({email: "bob@example.com"}))
     ->thenError(CustomerNotFound)
   )
 
@@ -45,7 +45,7 @@ describe("Customer Behavior", () => {
       Registered({email: "alice@example.com", address: "123 Main St"}),
       Deactivated,
     ])
-    ->whenCmd(UpdateEmail({email: "x@y"}))
+    ->whenCmd(UpdateEmail({email: "bob@example.com"}))
     ->thenError(CustomerAlreadyDeactivated)
   )
 

package/lib/ocaml/Customers.res

@@ -3,9 +3,12 @@
 
 @@reventless.spec
 
+// Marked on the query side too, where it is what makes the field render as a
+// mailto link instead of a text box: the AutoUI reads the semantic off this
+// state schema, not off the command's.
 @schema
 type state = {
-  email: string,
+  email: @s.matches(Reventless.Email.schema) string,
   address: string,
   deactivated: bool,
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/online-shop-aggregates-ordering",
-  "version": "3.0.0-alpha.169",
+  "version": "3.0.0-alpha.170",
   "description": "Online Shop example — Ordering plugin (Customer & Order aggregates)",
   "license": "Apache-2.0",
   "jest": {
@@ -21,13 +21,13 @@
   },
   "dependencies": {
     "sury": "^11.0.0-alpha.4",
-    "@reventlessdev/online-shop-aggregates-ordering-spec": "3.0.0-alpha.83",
-    "@reventlessdev/online-shop-aggregates-catalog-spec": "3.0.0-alpha.83",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.110",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.139",
+    "@reventlessdev/online-shop-aggregates-catalog-spec": "3.0.0-alpha.84",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.17",
-    "@reventlessdev/reventless-local": "3.0.0-alpha.180",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.85"
+    "@reventlessdev/online-shop-aggregates-ordering-spec": "3.0.0-alpha.84",
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.140",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.111",
+    "@reventlessdev/reventless-local": "3.0.0-alpha.181",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.86"
   },
   "devDependencies": {
     "rescript": "12.3.0",

package/src/Customer/Aggregate/Customer.res

@@ -3,10 +3,14 @@
 
 @@reventless.spec
 
+// The command is where an address is first accepted, so it is where the type
+// belongs — a value that reaches the log is already permanent. The events below
+// stay plain `string`: they record what was accepted, and re-validating history
+// on read is the risk a branded scalar exists to avoid.
 @schema
 type command =
-  | Register({email: string, address: string})
-  | UpdateEmail({email: string})
+  | Register({email: @s.matches(Reventless.Email.schema) string, address: string})
+  | UpdateEmail({email: @s.matches(Reventless.Email.schema) string})
   | UpdateAddress({address: string})
   | Deactivate
 

package/src/Customer/Aggregate/Customer.res.mjs

@@ -1,16 +1,17 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as S from "sury/src/S.res.mjs";
+import * as Email$Reventless from "@reventlessdev/reventless-spec/src/semantic/Email.res.mjs";
 
 let commandSchema = S.union([
   S.schema(s => ({
     TAG: "Register",
-    email: s.m(S.string),
+    email: s.m(Email$Reventless.schema),
     address: s.m(S.string)
   })),
   S.schema(s => ({
     TAG: "UpdateEmail",
-    email: s.m(S.string)
+    email: s.m(Email$Reventless.schema)
   })),
   S.schema(s => ({
     TAG: "UpdateAddress",

package/src/Customer/ReadModel/Customers.res

@@ -3,9 +3,12 @@
 
 @@reventless.spec
 
+// Marked on the query side too, where it is what makes the field render as a
+// mailto link instead of a text box: the AutoUI reads the semantic off this
+// state schema, not off the command's.
 @schema
 type state = {
-  email: string,
+  email: @s.matches(Reventless.Email.schema) string,
   address: string,
   deactivated: bool,
 }

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

@@ -1,10 +1,11 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as S from "sury/src/S.res.mjs";
+import * as Email$Reventless from "@reventlessdev/reventless-spec/src/semantic/Email.res.mjs";
 import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
 
 let stateSchema = S.schema(s => ({
-  email: s.m(S.string),
+  email: s.m(Email$Reventless.schema),
   address: s.m(S.string),
   deactivated: s.m(S.bool)
 }));

package/tests/Customer/Aggregate/Customer_GWT.res

@@ -24,7 +24,7 @@ describe("Customer Behavior", () => {
 
   test("UpdateEmail on non-existent aggregate returns CustomerNotFound", () =>
     givenEvents([])
-    ->whenCmd(UpdateEmail({email: "x@y"}))
+    ->whenCmd(UpdateEmail({email: "bob@example.com"}))
     ->thenError(CustomerNotFound)
   )
 
@@ -45,7 +45,7 @@ describe("Customer Behavior", () => {
       Registered({email: "alice@example.com", address: "123 Main St"}),
       Deactivated,
     ])
-    ->whenCmd(UpdateEmail({email: "x@y"}))
+    ->whenCmd(UpdateEmail({email: "bob@example.com"}))
     ->thenError(CustomerAlreadyDeactivated)
   )
 

package/tests/Customer/Aggregate/Customer_GWT.res.mjs

@@ -70,7 +70,7 @@ describe("Customer Behavior", () => {
   }), "CustomerAlreadyDeactivated"));
   test("UpdateEmail on non-existent aggregate returns CustomerNotFound", () => thenError(whenCmd(givenEvents([]), {
     TAG: "UpdateEmail",
-    email: "x@y"
+    email: "bob@example.com"
   }), "CustomerNotFound"));
   test("UpdateEmail on active customer produces EmailUpdated", () => thenEvent(whenCmd(givenEvents([{
       TAG: "Registered",
@@ -100,7 +100,7 @@ describe("Customer Behavior", () => {
     "Deactivated"
   ]), {
     TAG: "UpdateEmail",
-    email: "x@y"
+    email: "bob@example.com"
   }), "CustomerAlreadyDeactivated"));
   test("UpdateAddress on non-existent aggregate returns CustomerNotFound", () => thenError(whenCmd(givenEvents([]), {
     TAG: "UpdateAddress",