@reventlessdev/reventless-core 3.0.0-alpha.196 → 3.0.0-alpha.197

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.197 (2026-08-01)
+
+### Features
+
+* **spec:** add DateRange semantic type ([d85b6cc](https://github.com/ReventlessDev/reventless-core/commit/d85b6cc18241644905241df2abd99949dd758059))
+
+
 # 3.0.0-alpha.196 (2026-07-31)
 
 * feat(rescript)!: one Node bindings package, not two ([1258d8c](https://github.com/ReventlessDev/reventless-core/commit/1258d8c2b2ff2636b36a849fc5bdf9005c6fb0eb))

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-core",
-  "version": "3.0.0-alpha.196",
+  "version": "3.0.0-alpha.197",
   "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-hash-object": "1.2.0-alpha.14",
     "@reventlessdev/rescript-effect": "0.1.0-alpha.32",
-    "@reventlessdev/rescript-node": "2.0.0-alpha.0",
-    "@reventlessdev/rescript-jest": "1.0.0-alpha.10",
     "@reventlessdev/rescript-fast-csv": "2.0.0-alpha.0",
-    "@reventlessdev/rescript-ssh2": "2.0.0-alpha.0",
+    "@reventlessdev/rescript-hash-object": "1.2.0-alpha.14",
+    "@reventlessdev/rescript-jest": "1.0.0-alpha.10",
+    "@reventlessdev/rescript-node": "2.0.0-alpha.0",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.18",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.114",
-    "@reventlessdev/rescript-uuid": "2.0.0-alpha.0",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.89",
-    "@reventlessdev/reventless-interop": "3.0.0-alpha.30"
+    "@reventlessdev/rescript-ssh2": "2.0.0-alpha.0",
+    "@reventlessdev/reventless-interop": "3.0.0-alpha.30",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.115",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.90",
+    "@reventlessdev/rescript-uuid": "2.0.0-alpha.0"
   },
   "devDependencies": {
     "rescript": "12.3.0",

package/tests/api/SuryToJsonSchemaTest.res

@@ -742,4 +742,56 @@ describe("SuryToJsonSchema:", () => {
       ))->toEqual((true, true, true, false))
     })
   })
+
+  // The second composite, and the one whose emission the reader's shape rung
+  // depends on. Like `Money` it turns the field into an object — same
+  // shape-changed evidence, same upcaster warning for a collapse. Unlike it, the
+  // two parts keep their own `dateTime` marker, so a walker that only understands
+  // date-times still sees into the composite. That last property is asserted, not
+  // described, because it is what lets the UI's primary rung key on the shape
+  // before the `dateRange` marker reaches it in a release.
+  describe("DateRange is an object whose parts stay date-times:", () => {
+    let json = SuryToJsonSchema.deriveObjectSchema(
+      S.schema(s =>
+        {
+          "deliveryWindow": s.matches(Reventless.DateRange.schema),
+          "orderedAt": s.matches(Reventless.DateTime.string),
+        }
+      )->S.castToUnknown,
+    )
+    let keyOf = (name, key) => getPropertyOf(json, name)->Option.flatMap(s => getProperty(s, key))
+
+    testSync("the field is an object, not a string", () =>
+      expect(keyOf("deliveryWindow", "type"))->toEqual(Some(JSON.Encode.string("object")))
+    )
+
+    testSync("it carries the dateRange id, sourced from the type", () =>
+      expect((
+        keyOf("deliveryWindow", "x-reventless-semantic"),
+        keyOf("deliveryWindow", "x-reventless-semantic-source"),
+      ))->toEqual((Some(JSON.Encode.string("dateRange")), Some(JSON.Encode.string("type"))))
+    )
+
+    // The property that is not incidental: each part keeps its own date-time
+    // marker under the composite. `dateTime` predates the generic marker and
+    // surfaces as `format: "date-time"` (not `x-reventless-semantic`), so that is
+    // what a walker reads to see the two instants without knowing about ranges.
+    testSync("both instants keep their own date-time marker", () => {
+      let inner = getPropertyOf(json, "deliveryWindow")->Option.getOr(JSON.Encode.null)
+      expect((
+        getPropertyOf(inner, "start")->Option.flatMap(s => getProperty(s, "format")),
+        getPropertyOf(inner, "end")->Option.flatMap(s => getProperty(s, "format")),
+      ))->toEqual((Some(JSON.Encode.string("date-time")), Some(JSON.Encode.string("date-time"))))
+    })
+
+    // The control, mirroring the `Money` block's plain-float case: a lone
+    // date-time field stays a string and never becomes an object, so the
+    // object-ness above is the composite's doing and not the walk's.
+    testSync("a lone date-time field stays a string", () =>
+      expect((keyOf("orderedAt", "type"), keyOf("orderedAt", "format")))->toEqual((
+        Some(JSON.Encode.string("string")),
+        Some(JSON.Encode.string("date-time")),
+      ))
+    )
+  })
 })

package/tests/api/SuryToJsonSchemaTest.res.mjs

@@ -11,6 +11,7 @@ import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/component
 import * as Percent$Reventless from "@reventlessdev/reventless-spec/src/semantic/Percent.res.mjs";
 import * as Currency$Reventless from "@reventlessdev/reventless-spec/src/semantic/Currency.res.mjs";
 import * as DateTime$Reventless from "@reventlessdev/reventless-spec/src/types/DateTime.res.mjs";
+import * as DateRange$Reventless from "@reventlessdev/reventless-spec/src/semantic/DateRange.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";
 import * as StateAnnotations$Reventless from "@reventlessdev/reventless-spec/src/components/StateAnnotations.res.mjs";
@@ -1035,6 +1036,44 @@ globalThis.describe("SuryToJsonSchema:", () => {
       ]);
     });
   });
+  globalThis.describe("DateRange is an object whose parts stay date-times:", () => {
+    let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(S.schema(s => ({
+      deliveryWindow: s.m(DateRange$Reventless.schema),
+      orderedAt: s.m(DateTime$Reventless.string)
+    })));
+    let keyOf = (name, key) => Stdlib_Option.flatMap(getPropertyOf(json, name), s => getProperty(s, key));
+    globalThis.test("the field is an object, not a string", () => {
+      globalThis.expect(keyOf("deliveryWindow", "type")).toEqual("object");
+    });
+    globalThis.test("it carries the dateRange id, sourced from the type", () => {
+      globalThis.expect([
+        keyOf("deliveryWindow", "x-reventless-semantic"),
+        keyOf("deliveryWindow", "x-reventless-semantic-source")
+      ]).toEqual([
+        "dateRange",
+        "type"
+      ]);
+    });
+    globalThis.test("both instants keep their own date-time marker", () => {
+      let inner = Stdlib_Option.getOr(getPropertyOf(json, "deliveryWindow"), null);
+      globalThis.expect([
+        Stdlib_Option.flatMap(getPropertyOf(inner, "start"), s => getProperty(s, "format")),
+        Stdlib_Option.flatMap(getPropertyOf(inner, "end"), s => getProperty(s, "format"))
+      ]).toEqual([
+        "date-time",
+        "date-time"
+      ]);
+    });
+    globalThis.test("a lone date-time field stays a string", () => {
+      globalThis.expect([
+        keyOf("orderedAt", "type"),
+        keyOf("orderedAt", "format")
+      ]).toEqual([
+        "string",
+        "date-time"
+      ]);
+    });
+  });
 });
 
 export {