@reventlessdev/reventless-core 3.0.0-alpha.258 → 3.0.0-alpha.260

package/tests/api/SuryToJsonSchemaTest.res.mjs

@@ -11,7 +11,7 @@ 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 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 DateTime$Reventless from "@reventlessdev/reventless-spec/src/semantic/DateTime.res.mjs";
 import * as GeoPoint$Reventless from "@reventlessdev/reventless-spec/src/semantic/GeoPoint.res.mjs";
 import * as Semantic$Reventless from "@reventlessdev/reventless-spec/src/semantic/Semantic.res.mjs";
 import * as DateRange$Reventless from "@reventlessdev/reventless-spec/src/semantic/DateRange.res.mjs";
@@ -19,6 +19,8 @@ import * as MemberRef$Reventless from "@reventlessdev/reventless-spec/src/semant
 import * as Reference$Reventless from "@reventlessdev/reventless-spec/src/components/Reference.res.mjs";
 import * as Sensitive$Reventless from "@reventlessdev/reventless-spec/src/components/Sensitive.res.mjs";
 import * as StorageRef$Reventless from "@reventlessdev/reventless-spec/src/semantic/StorageRef.res.mjs";
+import * as CalendarDate$Reventless from "@reventlessdev/reventless-spec/src/semantic/CalendarDate.res.mjs";
+import * as FieldDefault$Reventless from "@reventlessdev/reventless-spec/src/components/FieldDefault.res.mjs";
 import * as StateAnnotations$Reventless from "@reventlessdev/reventless-spec/src/components/StateAnnotations.res.mjs";
 import * as SuryToJsonSchema$ReventlessCore from "../../src/components/Api/SuryToJsonSchema.res.mjs";
 
@@ -103,13 +105,43 @@ globalThis.describe("SuryToJsonSchema:", () => {
     });
     globalThis.test("emits format:\"date-time\" for a DateTime-marked string field", () => {
       let schema = Sury.$schema(s => ({
-        placedAt: s.m(DateTime$Reventless.string),
+        placedAt: s.m(DateTime$Reventless.schema),
         name: s.m(Sury.string)
       }));
       let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema);
       globalThis.expect(Stdlib_Option.flatMap(Stdlib_Option.flatMap(getPropertyOf(json, "placedAt"), s => getProperty(s, "format")), Stdlib_JSON.Decode.string)).toBe("date-time");
       globalThis.expect(Stdlib_Option.flatMap(getPropertyOf(json, "name"), s => getProperty(s, "format"))).toBe(undefined);
     });
+    globalThis.test("a DateTime field emits format and no semantic key", () => {
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
+        placedAt: s.m(DateTime$Reventless.schema)
+      })));
+      let keyOf = key => Stdlib_Option.flatMap(getPropertyOf(json, "placedAt"), s => getProperty(s, key));
+      globalThis.expect([
+        keyOf("type"),
+        keyOf("format"),
+        keyOf("x-reventless-semantic")
+      ]).toEqual([
+        "string",
+        "date-time",
+        undefined
+      ]);
+    });
+    globalThis.test("a CalendarDate field emits format:\"date\" AND the semantic key", () => {
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
+        issuedOn: s.m(CalendarDate$Reventless.schema)
+      })));
+      let keyOf = key => Stdlib_Option.flatMap(getPropertyOf(json, "issuedOn"), s => getProperty(s, key));
+      globalThis.expect([
+        keyOf("type"),
+        keyOf("format"),
+        keyOf("x-reventless-semantic")
+      ]).toEqual([
+        "string",
+        "date",
+        "date"
+      ]);
+    });
   });
   globalThis.describe("deriveObjectSchema with an owner field:", () => {
     let ownerOf = (json, name) => Stdlib_Option.flatMap(getPropertyOf(json, name), s => getProperty(s, "x-reventless-owner"));
@@ -847,7 +879,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
     globalThis.test("neither reference nor tag emits x-reventless-semantic on the wire", () => {
       let schema = Sury.$schema(s => ({
         customerId: s.m(Reference$Reventless.to_(undefined, undefined, "Customer")),
-        placedAt: s.m(DateTime$Reventless.string)
+        placedAt: s.m(DateTime$Reventless.schema)
       }));
       let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema);
       let semanticOf = fieldName => Stdlib_Option.flatMap(getPropertyOf(json, fieldName), s => getProperty(s, "x-reventless-semantic"));
@@ -1042,7 +1074,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
   globalThis.describe("DateRange is an object whose parts stay date-times:", () => {
     let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
       deliveryWindow: s.m(DateRange$Reventless.schema),
-      orderedAt: s.m(DateTime$Reventless.string)
+      orderedAt: s.m(DateTime$Reventless.schema)
     })));
     let keyOf = (name, key) => Stdlib_Option.flatMap(getPropertyOf(json, name), s => getProperty(s, key));
     globalThis.test("the field is an object, not a string", () => {
@@ -1132,6 +1164,36 @@ globalThis.describe("SuryToJsonSchema:", () => {
       globalThis.expect(nestedRequired.includes("street")).toBe(true);
     });
   });
+  globalThis.describe("a field declaring a default:", () => {
+    let defaultOf = (json, field) => Stdlib_Option.flatMap(getPropertyOf(json, field), s => getProperty(s, "default"));
+    let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
+      quantity: s.m(FieldDefault$Reventless.int(Sury.int, 1)),
+      shippingMethod: s.m(FieldDefault$Reventless.string(Sury.string, "Standard")),
+      plain: s.m(Sury.int)
+    })));
+    globalThis.test("carries it as `default`", () => {
+      globalThis.expect(defaultOf(json, "quantity")).toEqual(1);
+    });
+    globalThis.test("keeps the shape the value actually has", () => {
+      globalThis.expect(Stdlib_Option.flatMap(getPropertyOf(json, "quantity"), s => getProperty(s, "type"))).toEqual("integer");
+    });
+    globalThis.test("carries a string default the same way", () => {
+      globalThis.expect(defaultOf(json, "shippingMethod")).toEqual("Standard");
+    });
+    globalThis.test("while a field declaring none says nothing", () => {
+      globalThis.expect(defaultOf(json, "plain")).toBe(undefined);
+    });
+    globalThis.test("and reaches a field of a nested record", () => {
+      let lineItem = Sury.$schema(s => ({
+        productId: s.m(Sury.string),
+        quantity: s.m(FieldDefault$Reventless.int(Sury.int, 1))
+      }));
+      let nested = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
+        lineItems: s.m(Sury.array(lineItem))
+      })));
+      globalThis.expect(Stdlib_Option.flatMap(Stdlib_Option.flatMap(getPropertyOf(nested, "lineItems"), a => getProperty(a, "items")), i => defaultOf(i, "quantity"))).toEqual(1);
+    });
+  });
 });
 
 export {

package/tests/plugin/PluginStructureAccessTest.res.mjs

@@ -2,9 +2,9 @@
 
 import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
-import * as PsGatedView$ReventlessCore from "./StateViewSlice/PsGatedView.res.mjs";
-import * as PsOrdersView$ReventlessCore from "./StateViewSlice/PsOrdersView.res.mjs";
-import * as PsGatedCommands$ReventlessCore from "./StateChangeSlice/PsGatedCommands.res.mjs";
+import * as PsGatedView$ReventlessCore from "./StateView/PsGatedView.res.mjs";
+import * as PsOrdersView$ReventlessCore from "./StateView/PsOrdersView.res.mjs";
+import * as PsGatedCommands$ReventlessCore from "./StateChange/PsGatedCommands.res.mjs";
 import * as Plugin_Structure$ReventlessCore from "../../src/plugin/component/Plugin_Structure.res.mjs";
 import * as Platform_ComponentDefinitionsApi$ReventlessCore from "../../src/admin/Platform_ComponentDefinitionsApi.res.mjs";
 

package/tests/plugin/PluginStructureTest.res

@@ -804,8 +804,8 @@ describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       let schema = S.schema(s =>
         {
           "orderId": s.matches(Reventless.Reference.to_("Order")),
-          "placedAt": s.matches(Reventless.DateTime.string),
-          "shippedAt": s.matches(Reventless.DateTime.string),
+          "placedAt": s.matches(Reventless.DateTime.schema),
+          "shippedAt": s.matches(Reventless.DateTime.schema),
         }
       )
       expect(labelOf(schema))->toEqual(("id", []))
@@ -814,7 +814,7 @@ describe("Plugin_Structure.make — Phase 2 graph fields", () => {
     testSync("a DateTime is skipped, not fatal — a later plain string still wins", () => {
       let schema = S.schema(s =>
         {
-          "placedAt": s.matches(Reventless.DateTime.string),
+          "placedAt": s.matches(Reventless.DateTime.schema),
           "reference": s.matches(S.string),
         }
       )
@@ -988,7 +988,7 @@ describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       let schema = S.schema(s =>
         {
           "orderId": s.matches(Reventless.Reference.to_("Order")),
-          "placedAt": s.matches(Reventless.DateTime.string),
+          "placedAt": s.matches(Reventless.DateTime.schema),
         }
       )
       expect(sourceOf(schema))->toEqual("fallback")
@@ -1086,7 +1086,7 @@ describe("Plugin_Structure.make — Phase 2 graph fields", () => {
 
   describe("lifecycleField — the name rule and the shape rule", () => {
     let lifecycleOf = schema =>
-      Plugin_Structure.lifecycleFieldFromStateSchema(~entityName="Test", schema->S.castToUnknown)
+      Plugin_Structure.lifecycleFieldFromStateSchema(schema->S.castToUnknown)
 
     let withLifecycle = (schema, ~field) =>
       schema->S.castToUnknown->S.Metadata.set(
@@ -1458,6 +1458,25 @@ describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       )->toEqual(["contact"])
     )
 
+    // JSON Schema's own keyword rather than an `x-reventless-` one, so a client
+    // that knows nothing about Reventless reads it.
+    testSync("@default flows through the PPX to JSON Schema's `default`", () => {
+      expect(
+        annotatedSchema
+        ->getPropertyOf("quantity")
+        ->Option.flatMap(s => getProperty(s, "default")),
+      )->toEqual(Some(JSON.Encode.int(1)))
+    })
+
+    testSync("@default leaves the field's own shape alone", () => {
+      expect(
+        annotatedSchema
+        ->getPropertyOf("quantity")
+        ->Option.flatMap(s => getProperty(s, "type"))
+        ->Option.flatMap(JSON.Decode.string),
+      )->toBe(Some("integer"))
+    })
+
     testSync("@metric flows through the PPX to x-reventless-metric {aggregate,label}", () => {
       let metricObj =
         annotatedSchema

package/tests/plugin/PluginStructureTest.res.mjs

@@ -8,32 +8,32 @@ import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Primitive_object from "@rescript/runtime/lib/es6/Primitive_object.js";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
-import * as DateTime$Reventless from "@reventlessdev/reventless-spec/src/types/DateTime.res.mjs";
+import * as DateTime$Reventless from "@reventlessdev/reventless-spec/src/semantic/DateTime.res.mjs";
 import * as Primitive_exceptions from "@rescript/runtime/lib/es6/Primitive_exceptions.js";
 import * as Reference$Reventless from "@reventlessdev/reventless-spec/src/components/Reference.res.mjs";
 import * as Sensitive$Reventless from "@reventlessdev/reventless-spec/src/components/Sensitive.res.mjs";
 import * as StorageRef$Reventless from "@reventlessdev/reventless-spec/src/semantic/StorageRef.res.mjs";
 import * as Api_Naming$ReventlessCore from "../../src/components/Api/Api_Naming.res.mjs";
-import * as PsShipOrder$ReventlessCore from "./StateChangeSlice/PsShipOrder.res.mjs";
-import * as PsTypoStore$ReventlessCore from "./StateChangeSlice/PsTypoStore.res.mjs";
-import * as PsOrdersView$ReventlessCore from "./StateViewSlice/PsOrdersView.res.mjs";
-import * as PsPlaceOrder$ReventlessCore from "./StateChangeSlice/PsPlaceOrder.res.mjs";
+import * as PsShipOrder$ReventlessCore from "./StateChange/PsShipOrder.res.mjs";
+import * as PsTypoStore$ReventlessCore from "./StateChange/PsTypoStore.res.mjs";
+import * as PsOrdersView$ReventlessCore from "./StateView/PsOrdersView.res.mjs";
+import * as PsPlaceOrder$ReventlessCore from "./StateChange/PsPlaceOrder.res.mjs";
 import * as StateAnnotations$Reventless from "@reventlessdev/reventless-spec/src/components/StateAnnotations.res.mjs";
-import * as PsChangePhoto$ReventlessCore from "./StateChangeSlice/PsChangePhoto.res.mjs";
+import * as PsChangePhoto$ReventlessCore from "./StateChange/PsChangePhoto.res.mjs";
 import * as CapabilityManifest$Reventless from "@reventlessdev/reventless-spec/src/components/CapabilityManifest.res.mjs";
-import * as PsReserveStock$ReventlessCore from "./StateChangeSlice/PsReserveStock.res.mjs";
-import * as PsUploadAvatar$ReventlessCore from "./StateChangeSlice/PsUploadAvatar.res.mjs";
-import * as PsUploadImages$ReventlessCore from "./StateChangeSlice/PsUploadImages.res.mjs";
-import * as PsAnnotatedView$ReventlessCore from "./StateViewSlice/PsAnnotatedView.res.mjs";
-import * as PsAttachInvoice$ReventlessCore from "./StateChangeSlice/PsAttachInvoice.res.mjs";
-import * as PsCustomersView$ReventlessCore from "./StateViewSlice/PsCustomersView.res.mjs";
-import * as PsShipmentsView$ReventlessCore from "./StateViewSlice/PsShipmentsView.res.mjs";
+import * as PsReserveStock$ReventlessCore from "./StateChange/PsReserveStock.res.mjs";
+import * as PsUploadAvatar$ReventlessCore from "./StateChange/PsUploadAvatar.res.mjs";
+import * as PsUploadImages$ReventlessCore from "./StateChange/PsUploadImages.res.mjs";
+import * as PsAnnotatedView$ReventlessCore from "./StateView/PsAnnotatedView.res.mjs";
+import * as PsAttachInvoice$ReventlessCore from "./StateChange/PsAttachInvoice.res.mjs";
+import * as PsCustomersView$ReventlessCore from "./StateView/PsCustomersView.res.mjs";
+import * as PsShipmentsView$ReventlessCore from "./StateView/PsShipmentsView.res.mjs";
 import * as Plugin_Structure$ReventlessCore from "../../src/plugin/component/Plugin_Structure.res.mjs";
-import * as PsCategoriesView$ReventlessCore from "./StateViewSlice/PsCategoriesView.res.mjs";
-import * as PsDispatchShipment$ReventlessCore from "./StateChangeSlice/PsDispatchShipment.res.mjs";
-import * as PsTransitionSwitch$ReventlessCore from "./StateChangeSlice/PsTransitionSwitch.res.mjs";
+import * as PsCategoriesView$ReventlessCore from "./StateView/PsCategoriesView.res.mjs";
+import * as PsDispatchShipment$ReventlessCore from "./StateChange/PsDispatchShipment.res.mjs";
+import * as PsTransitionSwitch$ReventlessCore from "./StateChange/PsTransitionSwitch.res.mjs";
 import * as Capability_Inference$ReventlessCore from "../../src/plugin/component/Capability_Inference.res.mjs";
-import * as PsAvailableProductsView$ReventlessCore from "./StateViewSlice/PsAvailableProductsView.res.mjs";
+import * as PsAvailableProductsView$ReventlessCore from "./StateView/PsAvailableProductsView.res.mjs";
 
 let Behavior = {
   initialState: false,
@@ -1023,8 +1023,8 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
     globalThis.test("a DateTime is not a name — a state whose only string is one falls to id", () => {
       let schema = Sury.$schema(s => ({
         orderId: s.m(Reference$Reventless.to_(undefined, undefined, "Order")),
-        placedAt: s.m(DateTime$Reventless.string),
-        shippedAt: s.m(DateTime$Reventless.string)
+        placedAt: s.m(DateTime$Reventless.schema),
+        shippedAt: s.m(DateTime$Reventless.schema)
       }));
       globalThis.expect(labelOf(undefined, schema)).toEqual([
         "id",
@@ -1033,7 +1033,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
     });
     globalThis.test("a DateTime is skipped, not fatal — a later plain string still wins", () => {
       let schema = Sury.$schema(s => ({
-        placedAt: s.m(DateTime$Reventless.string),
+        placedAt: s.m(DateTime$Reventless.schema),
         reference: s.m(Sury.string)
       }));
       globalThis.expect(labelOf(undefined, schema)).toEqual([
@@ -1188,7 +1188,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
     globalThis.test("no candidate at all is the state saying it has no human field", () => {
       let schema = Sury.$schema(s => ({
         orderId: s.m(Reference$Reventless.to_(undefined, undefined, "Order")),
-        placedAt: s.m(DateTime$Reventless.string)
+        placedAt: s.m(DateTime$Reventless.schema)
       }));
       globalThis.expect(sourceOf(schema)).toEqual("fallback");
     });
@@ -1274,7 +1274,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
           Sury.literal("Shipped")
         ]))
       }));
-      globalThis.expect(Plugin_Structure$ReventlessCore.lifecycleFieldFromStateSchema("Test", schema)).toEqual("lifecycle");
+      globalThis.expect(Plugin_Structure$ReventlessCore.lifecycleFieldFromStateSchema(schema)).toEqual("lifecycle");
     });
     globalThis.test("an optional one counts too", () => {
       let schema = Sury.$schema(s => ({
@@ -1283,13 +1283,13 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
           Sury.literal("Shipped")
         ])))
       }));
-      globalThis.expect(Plugin_Structure$ReventlessCore.lifecycleFieldFromStateSchema("Test", schema)).toEqual("lifecycle");
+      globalThis.expect(Plugin_Structure$ReventlessCore.lifecycleFieldFromStateSchema(schema)).toEqual("lifecycle");
     });
     globalThis.test("free text named `lifecycle` is not a lifecycle", () => {
       let schema = Sury.$schema(s => ({
         lifecycle: s.m(Sury.string)
       }));
-      globalThis.expect(Plugin_Structure$ReventlessCore.lifecycleFieldFromStateSchema("Test", schema)).toEqual(undefined);
+      globalThis.expect(Plugin_Structure$ReventlessCore.lifecycleFieldFromStateSchema(schema)).toEqual(undefined);
     });
     globalThis.test("an unannotated field named `status` resolves to None", () => {
       let schema = Sury.$schema(s => ({
@@ -1298,7 +1298,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
           Sury.literal("Shipped")
         ]))
       }));
-      globalThis.expect(Plugin_Structure$ReventlessCore.lifecycleFieldFromStateSchema("Test", schema)).toEqual(undefined);
+      globalThis.expect(Plugin_Structure$ReventlessCore.lifecycleFieldFromStateSchema(schema)).toEqual(undefined);
     });
     globalThis.test("the annotation names a field the convention would never reach", () => {
       let schema = Sury.$schema(s => ({
@@ -1307,7 +1307,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
           Sury.literal("Located")
         ]))
       }));
-      globalThis.expect(Plugin_Structure$ReventlessCore.lifecycleFieldFromStateSchema("Test", withLifecycle(schema, "locationStatus"))).toEqual("locationStatus");
+      globalThis.expect(Plugin_Structure$ReventlessCore.lifecycleFieldFromStateSchema(withLifecycle(schema, "locationStatus"))).toEqual("locationStatus");
     });
   });
   globalThis.describe("retiredField — annotation and nothing else", () => {
@@ -1555,6 +1555,12 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
     globalThis.test("@sensitive reaches an event variant's payload, not only state", () => {
       globalThis.expect(Sensitive$Reventless.variantFieldNames(PsAnnotatedView$ReventlessCore.consumedEventSchema, "ItemRecorded")).toEqual(["contact"]);
     });
+    globalThis.test("@default flows through the PPX to JSON Schema's `default`", () => {
+      globalThis.expect(Stdlib_Option.flatMap(getPropertyOf(annotatedSchema, "quantity"), s => getProperty(s, "default"))).toEqual(1);
+    });
+    globalThis.test("@default leaves the field's own shape alone", () => {
+      globalThis.expect(Stdlib_Option.flatMap(Stdlib_Option.flatMap(getPropertyOf(annotatedSchema, "quantity"), s => getProperty(s, "type")), Stdlib_JSON.Decode.string)).toBe("integer");
+    });
     globalThis.test("@metric flows through the PPX to x-reventless-metric {aggregate,label}", () => {
       let metricObj = Stdlib_Option.flatMap(getPropertyOf(annotatedSchema, "total"), s => getProperty(s, "x-reventless-metric"));
       globalThis.expect([

package/tests/plugin/{StateChangeSlice → StateChange}/PsAttachInvoice.res.mjs

@@ -48,7 +48,7 @@ let Id;
 
 let initialState = false;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsAttachInvoice.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChange/PsAttachInvoice.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/tests/plugin/{StateChangeSlice → StateChange}/PsChangePhoto.res.mjs

@@ -49,7 +49,7 @@ let Id;
 
 let initialState = false;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsChangePhoto.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChange/PsChangePhoto.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/tests/plugin/{StateChangeSlice → StateChange}/PsDispatchShipment.res.mjs

@@ -51,7 +51,7 @@ let Id;
 
 let initialState = false;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsDispatchShipment.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChange/PsDispatchShipment.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/tests/plugin/{StateChangeSlice → StateChange}/PsGatedCommands.res.mjs

@@ -69,7 +69,7 @@ let Id;
 
 let initialState = false;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsGatedCommands.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChange/PsGatedCommands.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/tests/plugin/{StateChangeSlice → StateChange}/PsPlaceOrder.res.mjs

@@ -47,7 +47,7 @@ let Id;
 
 let initialState = false;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsPlaceOrder.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChange/PsPlaceOrder.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/tests/plugin/{StateChangeSlice → StateChange}/PsReserveStock.res.mjs

@@ -58,7 +58,7 @@ let Id;
 
 let initialState = false;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsReserveStock.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChange/PsReserveStock.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/tests/plugin/{StateChangeSlice → StateChange}/PsShipOrder.res.mjs

@@ -71,7 +71,7 @@ let Id;
 
 let initialState = false;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsShipOrder.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChange/PsShipOrder.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/tests/plugin/{StateChangeSlice → StateChange}/PsTransitionSwitch.res.mjs

@@ -81,7 +81,7 @@ let Id;
 
 let initialState = false;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsTransitionSwitch.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChange/PsTransitionSwitch.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/tests/plugin/{StateChangeSlice → StateChange}/PsTypoStore.res.mjs

@@ -47,7 +47,7 @@ let Id;
 
 let initialState = false;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsTypoStore.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChange/PsTypoStore.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/tests/plugin/{StateChangeSlice → StateChange}/PsUploadAvatar.res.mjs

@@ -49,7 +49,7 @@ let Id;
 
 let initialState = false;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsUploadAvatar.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChange/PsUploadAvatar.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/tests/plugin/{StateChangeSlice → StateChange}/PsUploadImages.res.mjs

@@ -51,7 +51,7 @@ let Id;
 
 let initialState = false;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsUploadImages.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChange/PsUploadImages.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/tests/plugin/{StateViewSlice → StateView}/PsAnnotatedView.res

@@ -16,6 +16,7 @@ type consumedEvent =
       // On the event, not just the state: a renderer composes from an event
       // payload, so this is the case the marker has to reach.
       @sensitive contact: string,
+      @default(1) quantity: int,
     })
 
 @live(false)
@@ -27,10 +28,11 @@ type state = {
   name: string,
   @semantic("currency") @metric({aggregate: "sum", label: "Revenue"}) total: float,
   @sensitive contact: string,
+  @default(1) quantity: int,
 }
 
 let project = ({event}: Reventless.StateViewSlice.consumed<consumedEvent>) =>
   switch event {
-  | ItemRecorded({itemId, ownerId, version, name, total, contact}) =>
-    [Set(itemId, {itemId, ownerId, version, name, total, contact})]
+  | ItemRecorded({itemId, ownerId, version, name, total, contact, quantity}) =>
+    [Set(itemId, {itemId, ownerId, version, name, total, contact, quantity})]
   }

package/tests/plugin/{StateViewSlice → StateView}/PsAnnotatedView.res.mjs

@@ -4,6 +4,7 @@ import * as Sury from "sury";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
 import * as Sensitive$Reventless from "@reventlessdev/reventless-spec/src/components/Sensitive.res.mjs";
+import * as FieldDefault$Reventless from "@reventlessdev/reventless-spec/src/components/FieldDefault.res.mjs";
 import * as StateAnnotations$Reventless from "@reventlessdev/reventless-spec/src/components/StateAnnotations.res.mjs";
 
 let consumedEventSchema = Sury.$schema(s => ({
@@ -13,7 +14,8 @@ let consumedEventSchema = Sury.$schema(s => ({
   version: s.m(Sury.string),
   name: s.m(Sury.string),
   total: s.m(Sury.float),
-  contact: s.m(Sensitive$Reventless.string)
+  contact: s.m(Sensitive$Reventless.string),
+  quantity: s.m(FieldDefault$Reventless.int(Sury.int, 1))
 }));
 
 let stateSchema = Sury.$schema(s => ({
@@ -22,7 +24,8 @@ let stateSchema = Sury.$schema(s => ({
   ownerId: s.m(Sury.string),
   name: s.m(Sury.string),
   total: s.m(Sury.float),
-  contact: s.m(Sensitive$Reventless.string)
+  contact: s.m(Sensitive$Reventless.string),
+  quantity: s.m(FieldDefault$Reventless.int(Sury.int, 1))
 }));
 
 function project(param) {
@@ -37,7 +40,8 @@ function project(param) {
         ownerId: event.ownerId,
         name: event.name,
         total: event.total,
-        contact: event.contact
+        contact: event.contact,
+        quantity: event.quantity
       }
     }];
 }
@@ -95,7 +99,7 @@ let name = "AnnotatedView";
 
 let Id;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateViewSlice/PsAnnotatedView.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateView/PsAnnotatedView.res.mjs";
 
 let authorization = "AllowAuthenticated";
 

package/tests/plugin/{StateViewSlice → StateView}/PsAvailableProductsView.res.mjs

@@ -49,7 +49,7 @@ let Id;
 
 let subIdConfig;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateViewSlice/PsAvailableProductsView.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateView/PsAvailableProductsView.res.mjs";
 
 let authorization = "AllowAuthenticated";
 

package/tests/plugin/{StateViewSlice → StateView}/PsCategoriesView.res.mjs

@@ -36,7 +36,7 @@ let Id;
 
 let subIdConfig;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateViewSlice/PsCategoriesView.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateView/PsCategoriesView.res.mjs";
 
 let authorization = "AllowAuthenticated";
 

package/tests/plugin/{StateViewSlice → StateView}/PsCustomersView.res.mjs

@@ -49,7 +49,7 @@ let Id;
 
 let subIdConfig;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateViewSlice/PsCustomersView.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateView/PsCustomersView.res.mjs";
 
 let authorization = "AllowAuthenticated";
 

package/tests/plugin/{StateViewSlice → StateView}/PsGatedView.res.mjs

@@ -41,7 +41,7 @@ let Id;
 
 let subIdConfig;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateViewSlice/PsGatedView.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateView/PsGatedView.res.mjs";
 
 let visibility = "Public";
 

package/tests/plugin/{StateViewSlice → StateView}/PsOrdersView.res.mjs

@@ -61,7 +61,7 @@ let Id;
 
 let subIdConfig;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateViewSlice/PsOrdersView.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateView/PsOrdersView.res.mjs";
 
 let authorization = "AllowAuthenticated";
 

package/tests/plugin/{StateViewSlice → StateView}/PsShipmentsView.res.mjs

@@ -80,7 +80,7 @@ let Id;
 
 let subIdConfig;
 
-let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateViewSlice/PsShipmentsView.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateView/PsShipmentsView.res.mjs";
 
 let authorization = "AllowAuthenticated";