@reventlessdev/reventless-core 3.0.0-alpha.192 → 3.0.0-alpha.193

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.193 (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.192 (2026-07-30)
 
 ### Bug Fixes

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-core",
-  "version": "3.0.0-alpha.192",
+  "version": "3.0.0-alpha.193",
   "description": "Core package for Reventless framework",
   "license": "Apache-2.0",
   "jest": {
@@ -28,17 +28,17 @@
   "dependencies": {
     "sury": "11.0.0-alpha.4",
     "uuid": "^13.0.0",
-    "@reventlessdev/rescript-fast-csv": "1.2.0-alpha.14",
     "@reventlessdev/rescript-hash-object": "1.2.0-alpha.13",
     "@reventlessdev/rescript-effect": "0.1.0-alpha.31",
-    "@reventlessdev/rescript-node-streams": "1.1.0-alpha.13",
+    "@reventlessdev/rescript-fast-csv": "1.2.0-alpha.14",
     "@reventlessdev/rescript-jest": "1.0.0-alpha.9",
+    "@reventlessdev/rescript-node-streams": "1.1.0-alpha.13",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.17",
     "@reventlessdev/rescript-ssh2": "1.1.0-alpha.14",
     "@reventlessdev/rescript-uuid": "1.1.0-alpha.17",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.110",
-    "@reventlessdev/reventless-interop": "3.0.0-alpha.29",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.85"
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.111",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.86",
+    "@reventlessdev/reventless-interop": "3.0.0-alpha.29"
   },
   "devDependencies": {
     "rescript": "12.3.0",

package/tests/api/SuryToJsonSchemaTest.res

@@ -619,4 +619,46 @@ describe("SuryToJsonSchema:", () => {
       expect(semanticOf(json, "imageUrl"))->toEqual(Some(JSON.Encode.string("storageRef")))
     })
   })
+
+  // The claim the branded scalars rest on: marking a field adds an annotation,
+  // not a shape. A string stays a string and a number stays a number on the
+  // wire, which is what makes them retrofittable onto a log that already has
+  // events in it. One of each is enough — the emission path is the same for all
+  // seven, and it is the *shape* half that is the load-bearing assertion here.
+  describe("branded scalars keep their underlying shape:", () => {
+    let fieldOf = (json, name) => getPropertyOf(json, name)
+    let keyOf = (json, name, key) => fieldOf(json, name)->Option.flatMap(s => getProperty(s, key))
+
+    let json = SuryToJsonSchema.deriveObjectSchema(
+      S.schema(s =>
+        {
+          "contactEmail": s.matches(Reventless.Email.schema),
+          "taxRate": s.matches(Reventless.Percent.schema),
+        }
+      )->S.castToUnknown,
+    )
+
+    testSync("a string scalar stays a string and carries its id", () =>
+      expect((
+        keyOf(json, "contactEmail", "type"),
+        keyOf(json, "contactEmail", "x-reventless-semantic"),
+      ))->toEqual((Some(JSON.Encode.string("string")), Some(JSON.Encode.string("email"))))
+    )
+
+    testSync("a numeric scalar stays a number and carries its id", () =>
+      expect((
+        keyOf(json, "taxRate", "type"),
+        keyOf(json, "taxRate", "x-reventless-semantic"),
+      ))->toEqual((Some(JSON.Encode.string("number")), Some(JSON.Encode.string("percent"))))
+    )
+
+    // The provenance half: a typed field outranks an annotated one, and this is
+    // the key a consumer reads to tell them apart.
+    testSync("both name the type as their source", () =>
+      expect((
+        keyOf(json, "contactEmail", "x-reventless-semantic-source"),
+        keyOf(json, "taxRate", "x-reventless-semantic-source"),
+      ))->toEqual((Some(JSON.Encode.string("type")), Some(JSON.Encode.string("type"))))
+    )
+  })
 })

package/tests/api/SuryToJsonSchemaTest.res.mjs

@@ -4,8 +4,10 @@ import * as S from "sury/src/S.res.mjs";
 import * as Stdlib_JSON from "@rescript/runtime/lib/es6/Stdlib_JSON.js";
 import * as Stdlib_Array from "@rescript/runtime/lib/es6/Stdlib_Array.js";
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
+import * as Email$Reventless from "@reventlessdev/reventless-spec/src/semantic/Email.res.mjs";
 import * as Primitive_string from "@rescript/runtime/lib/es6/Primitive_string.js";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as Percent$Reventless from "@reventlessdev/reventless-spec/src/semantic/Percent.res.mjs";
 import * as DateTime$Reventless from "@reventlessdev/reventless-spec/src/types/DateTime.res.mjs";
 import * as Reference$Reventless from "@reventlessdev/reventless-spec/src/components/Reference.res.mjs";
 import * as StorageRef$Reventless from "@reventlessdev/reventless-spec/src/semantic/StorageRef.res.mjs";
@@ -937,6 +939,40 @@ globalThis.describe("SuryToJsonSchema:", () => {
       globalThis.expect(semanticOf(json, "imageUrl")).toEqual("storageRef");
     });
   });
+  globalThis.describe("branded scalars keep their underlying shape:", () => {
+    let keyOf = (json, name, key) => Stdlib_Option.flatMap(getPropertyOf(json, name), s => getProperty(s, key));
+    let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(S.schema(s => ({
+      contactEmail: s.m(Email$Reventless.schema),
+      taxRate: s.m(Percent$Reventless.schema)
+    })));
+    globalThis.test("a string scalar stays a string and carries its id", () => {
+      globalThis.expect([
+        keyOf(json, "contactEmail", "type"),
+        keyOf(json, "contactEmail", "x-reventless-semantic")
+      ]).toEqual([
+        "string",
+        "email"
+      ]);
+    });
+    globalThis.test("a numeric scalar stays a number and carries its id", () => {
+      globalThis.expect([
+        keyOf(json, "taxRate", "type"),
+        keyOf(json, "taxRate", "x-reventless-semantic")
+      ]).toEqual([
+        "number",
+        "percent"
+      ]);
+    });
+    globalThis.test("both name the type as their source", () => {
+      globalThis.expect([
+        keyOf(json, "contactEmail", "x-reventless-semantic-source"),
+        keyOf(json, "taxRate", "x-reventless-semantic-source")
+      ]).toEqual([
+        "type",
+        "type"
+      ]);
+    });
+  });
 });
 
 export {