@reventlessdev/reventless-core 3.0.0-alpha.134

package/tests/plugin/SchemaWalkerTest.res.mjs

@@ -0,0 +1,160 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
+import * as Primitive_string from "@rescript/runtime/lib/es6/Primitive_string.js";
+import * as SchemaWalker$ReventlessCore from "../../src/plugin/component/SchemaWalker.res.mjs";
+
+S.enableJson();
+
+let simpleRecordSchema = S.schema(s => ({
+  label: s.m(S.string),
+  count: s.m(S.int),
+  rating: s.m(S.option(S.float))
+}));
+
+let simpleVariantSchema = S.union([
+  S.schema(s => ({
+    TAG: "Added",
+    id: s.m(S.string),
+    name: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "Renamed",
+    id: s.m(S.string),
+    newName: s.m(S.string)
+  })),
+  S.literal("Removed")
+]);
+
+globalThis.describe("SchemaWalker:", () => {
+  globalThis.describe("record schema", () => {
+    let result = SchemaWalker$ReventlessCore.walk("SimpleRecord", simpleRecordSchema);
+    globalThis.test("kind is record", () => {
+      globalThis.expect(result.kind).toBe("record");
+    });
+    globalThis.test("constructors is absent", () => {
+      globalThis.expect(result.constructors).toEqual(undefined);
+    });
+    globalThis.test("fields are sorted alphabetically", () => {
+      let names = result.fields.map(f => f.name);
+      globalThis.expect(names).toEqual([
+        "count",
+        "label",
+        "rating"
+      ]);
+    });
+    globalThis.test("required string field", () => {
+      let f = result.fields[1];
+      globalThis.expect([
+        f.typeDescription,
+        f.isRequired
+      ]).toEqual([
+        "string",
+        true
+      ]);
+    });
+    globalThis.test("required int field typeDescription is number", () => {
+      let f = result.fields[0];
+      globalThis.expect([
+        f.typeDescription,
+        f.isRequired
+      ]).toEqual([
+        "number",
+        true
+      ]);
+    });
+    globalThis.test("optional float field", () => {
+      let f = result.fields[2];
+      globalThis.expect([
+        f.typeDescription,
+        f.isRequired
+      ]).toEqual([
+        "option<number>",
+        false
+      ]);
+    });
+    globalThis.test("structuralHash is non-empty", () => {
+      globalThis.expect(result.structuralHash.length > 0).toBe(true);
+    });
+  });
+  globalThis.describe("variant schema", () => {
+    let result = SchemaWalker$ReventlessCore.walk("SimpleVariant", simpleVariantSchema);
+    globalThis.test("kind is variant", () => {
+      globalThis.expect(result.kind).toBe("variant");
+    });
+    globalThis.test("fields array is empty", () => {
+      globalThis.expect(result.fields).toEqual([]);
+    });
+    globalThis.test("payload-less constructor Removed is excluded", () => {
+      let ctors = Stdlib_Option.getOr(result.constructors, []);
+      let names = ctors.map(c => c.name).toSorted(Primitive_string.compare);
+      globalThis.expect(names).toEqual([
+        "Added",
+        "Renamed"
+      ]);
+    });
+    globalThis.test("Added constructor has sorted fields", () => {
+      let ctors = Stdlib_Option.getOr(result.constructors, []);
+      let added = Stdlib_Option.getOr(ctors.find(c => c.name === "Added"), {
+        name: "",
+        fields: []
+      });
+      globalThis.expect(added.fields.map(f => f.name)).toEqual([
+        "id",
+        "name"
+      ]);
+    });
+    globalThis.test("Renamed constructor has sorted fields", () => {
+      let ctors = Stdlib_Option.getOr(result.constructors, []);
+      let renamed = Stdlib_Option.getOr(ctors.find(c => c.name === "Renamed"), {
+        name: "",
+        fields: []
+      });
+      globalThis.expect(renamed.fields.map(f => f.name)).toEqual([
+        "id",
+        "newName"
+      ]);
+    });
+    globalThis.test("structuralHash is non-empty", () => {
+      globalThis.expect(result.structuralHash.length > 0).toBe(true);
+    });
+  });
+  globalThis.describe("hash properties", () => {
+    globalThis.test("same schema produces identical hash on repeated calls", () => {
+      let h1 = SchemaWalker$ReventlessCore.walk("X", simpleRecordSchema).structuralHash;
+      let h2 = SchemaWalker$ReventlessCore.walk("X", simpleRecordSchema).structuralHash;
+      globalThis.expect(h1).toBe(h2);
+    });
+    globalThis.test("typeName does not affect structuralHash", () => {
+      let h1 = SchemaWalker$ReventlessCore.walk("TypeA", simpleRecordSchema).structuralHash;
+      let h2 = SchemaWalker$ReventlessCore.walk("TypeB", simpleRecordSchema).structuralHash;
+      globalThis.expect(h1).toBe(h2);
+    });
+    globalThis.test("structurally distinct schemas produce different hashes", () => {
+      let h1 = SchemaWalker$ReventlessCore.walk("R", simpleRecordSchema).structuralHash;
+      let h2 = SchemaWalker$ReventlessCore.walk("V", simpleVariantSchema).structuralHash;
+      globalThis.expect(h1 === h2).toBe(false);
+    });
+  });
+  globalThis.describe("scalar / unsupported schema", () => {
+    globalThis.test("plain string schema → kind unknown", () => {
+      let result = SchemaWalker$ReventlessCore.walk("Scalar", S.string);
+      globalThis.expect(result.kind).toBe("unknown");
+    });
+    globalThis.test("plain string schema → empty fields", () => {
+      let result = SchemaWalker$ReventlessCore.walk("Scalar", S.string);
+      globalThis.expect(result.fields).toEqual([]);
+    });
+    globalThis.test("plain string schema → empty structuralHash", () => {
+      let result = SchemaWalker$ReventlessCore.walk("Scalar", S.string);
+      globalThis.expect(result.structuralHash).toBe("");
+    });
+  });
+});
+
+export {
+  simpleRecordSchema,
+  simpleVariantSchema,
+}
+/*  Not a pure module */

package/tests/plugin/StateChangeSlice/PsPlaceOrder.res

@@ -0,0 +1,24 @@
+// Test fixture spec for Phase 2 pluginStructure validation.
+// PlaceOrder SCS: consumes CatalogProductSynced (with payload), produces OrderPlaced.
+// orderId in the command gets auto-tagged by the @@reventless.spec PPX (Instance-level).
+
+@@reventless.spec("PlaceOrder")
+
+type state = bool
+let initialState = false
+
+@schema
+type consumedEvent = CatalogProductSynced({productId: string})
+
+let evolve = (_state, _event) => true
+
+@schema
+type command = PlaceOrder({orderId: string})
+
+@schema
+type error = AlreadyPlaced
+
+@schema
+type event = OrderPlaced({orderId: string})
+
+let decide = (_state, _command): result<array<event>, error> => Ok([])

package/tests/plugin/StateChangeSlice/PsPlaceOrder.res.mjs

@@ -0,0 +1,62 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+
+let consumedEventSchema = S.schema(s => ({
+  TAG: "CatalogProductSynced",
+  productId: s.m(DcbTag$Reventless.string)
+}));
+
+function evolve(_state, _event) {
+  return true;
+}
+
+let commandSchema = S.schema(s => ({
+  TAG: "PlaceOrder",
+  orderId: s.m(DcbTag$Reventless.string)
+}));
+
+let errorSchema = S.literal("AlreadyPlaced");
+
+let eventSchema = S.schema(s => ({
+  TAG: "OrderPlaced",
+  orderId: s.m(DcbTag$Reventless.string)
+}));
+
+function decide(_state, _command) {
+  return {
+    TAG: "Ok",
+    _0: []
+  };
+}
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let name = "PlaceOrder";
+
+let Id;
+
+let initialState = false;
+
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsPlaceOrder.res.mjs";
+
+let readConsistency = "EscalateOnRetry";
+
+export {
+  name,
+  Id,
+  initialState,
+  consumedEventSchema,
+  evolve,
+  commandSchema,
+  errorSchema,
+  eventSchema,
+  decide,
+  moduleUrl,
+  commandAuthorization,
+  readConsistency,
+}
+/* consumedEventSchema Not a pure module */

package/tests/plugin/StateChangeSlice/PsShipOrder.res

@@ -0,0 +1,29 @@
+// Test fixture spec for Phase 2 pluginStructure validation.
+// ShipOrder SCS: consumes payload-less events (excluded by extractVariantNames),
+// produces OrderShipped. orderId in the command gets auto-tagged (Instance-level).
+
+@@reventless.spec("ShipOrder")
+
+type state = bool
+let initialState = false
+
+// All payload-less — extractVariantNames will return [] for these.
+@schema
+type consumedEvent = OrderPlaced | OrderShipped | OrderCancelled
+
+let evolve = (_state, _event) => true
+
+// CancelShipment is payload-less — it compiles to a bare string literal, so it
+// exercises toCommandDef's payload-less branch (still surfaced in `commands`).
+@schema
+type command = ShipOrder({orderId: string}) | CancelShipment
+
+@schema
+type error = OrderNotFound
+
+// ShipmentVoided is payload-less — excluded from producedEventTypes (DCB filter),
+// but still surfaced in `events` (toEventDef's payload-less branch).
+@schema
+type event = OrderShipped({orderId: string}) | ShipmentVoided
+
+let decide = (_state, _command): result<array<event>, error> => Ok([])

package/tests/plugin/StateChangeSlice/PsShipOrder.res.mjs

@@ -0,0 +1,69 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+
+let consumedEventSchema = S.union([
+  S.literal("OrderPlaced"),
+  S.literal("OrderShipped"),
+  S.literal("OrderCancelled")
+]);
+
+function evolve(_state, _event) {
+  return true;
+}
+
+let commandSchema = S.union([
+  S.schema(s => ({
+    TAG: "ShipOrder",
+    orderId: s.m(DcbTag$Reventless.string)
+  })),
+  S.literal("CancelShipment")
+]);
+
+let errorSchema = S.literal("OrderNotFound");
+
+let eventSchema = S.union([
+  S.schema(s => ({
+    TAG: "OrderShipped",
+    orderId: s.m(DcbTag$Reventless.string)
+  })),
+  S.literal("ShipmentVoided")
+]);
+
+function decide(_state, _command) {
+  return {
+    TAG: "Ok",
+    _0: []
+  };
+}
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let name = "ShipOrder";
+
+let Id;
+
+let initialState = false;
+
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsShipOrder.res.mjs";
+
+let readConsistency = "EscalateOnRetry";
+
+export {
+  name,
+  Id,
+  initialState,
+  consumedEventSchema,
+  evolve,
+  commandSchema,
+  errorSchema,
+  eventSchema,
+  decide,
+  moduleUrl,
+  commandAuthorization,
+  readConsistency,
+}
+/* consumedEventSchema Not a pure module */

package/tests/plugin/StateViewSlice/PsAnnotatedView.res

@@ -0,0 +1,24 @@
+// Phase 4 fixture: state-view slice with structural annotations.
+// Used to verify Plugin_Structure.make ships x-reventless-* extension
+// properties through queryableDef.schema after swapping S.toJSONSchema
+// for SuryToJsonSchema.deriveObjectSchema.
+
+@@reventless.spec("AnnotatedView")
+
+@schema
+type consumedEvent =
+  | ItemRecorded({itemId: string, ownerId: string, version: string, name: string})
+
+@schema
+type state = {
+  @id itemId: string,
+  @subId version: string,
+  @index("byOwner") ownerId: string,
+  name: string,
+}
+
+let project = event =>
+  switch event {
+  | ItemRecorded({itemId, ownerId, version, name}) =>
+    [Set(itemId, {itemId, ownerId, version, name})]
+  }

package/tests/plugin/StateViewSlice/PsAnnotatedView.res.mjs

@@ -0,0 +1,94 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+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 StateAnnotations$Reventless from "@reventlessdev/reventless-spec/src/components/StateAnnotations.res.mjs";
+
+let consumedEventSchema = S.schema(s => ({
+  TAG: "ItemRecorded",
+  itemId: s.m(DcbTag$Reventless.string),
+  ownerId: s.m(DcbTag$Reventless.string),
+  version: s.m(S.string),
+  name: s.m(S.string)
+}));
+
+let stateSchema = S.schema(s => ({
+  itemId: s.m(S.string),
+  version: s.m(S.string),
+  ownerId: s.m(S.string),
+  name: s.m(S.string)
+}));
+
+function project(event) {
+  let itemId = event.itemId;
+  return [{
+      TAG: "Set",
+      _0: itemId,
+      _1: {
+        itemId: itemId,
+        version: event.version,
+        ownerId: event.ownerId,
+        name: event.name
+      }
+    }];
+}
+
+let config = ReadModel$Reventless.config(undefined, undefined, [{
+    index: "byOwner",
+    type_: "S",
+    idField: "ownerId",
+    projectionType: "ALL"
+  }]);
+
+let subIdConfig = {
+  subIdField: "version",
+  getSubId: (state => state.version)
+};
+
+let makeId = (state => state.itemId);
+
+let stateSchema$1 = S.Metadata.set(stateSchema, StateAnnotations$Reventless.stateAnnotationsId, {
+  ids: ["itemId"],
+  compositeIds: [],
+  subIds: ["version"],
+  compositeSubIds: [],
+  indexes: [[
+      "ownerId",
+      "byOwner"
+    ]],
+  hidden: [],
+  summary: [],
+  drillTargets: [],
+  drillTargetKeys: [],
+  collapsed: [],
+  scan: [],
+  scanSort: [],
+  status: undefined,
+  visibility: undefined
+});
+
+let name = "AnnotatedView";
+
+let Id;
+
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateViewSlice/PsAnnotatedView.res.mjs";
+
+let authorization = "AllowAuthenticated";
+
+let visibility = "Public";
+
+export {
+  name,
+  Id,
+  consumedEventSchema,
+  project,
+  config,
+  subIdConfig,
+  makeId,
+  stateSchema$1 as stateSchema,
+  moduleUrl,
+  authorization,
+  visibility,
+}
+/* consumedEventSchema Not a pure module */

package/tests/plugin/StateViewSlice/PsAvailableProductsView.res

@@ -0,0 +1,18 @@
+// Test fixture spec for Phase 2 pluginStructure validation.
+// AvailableProductsView SVS: consumes catalog product events.
+
+@@reventless.spec("AvailableProducts")
+
+@schema
+type consumedEvent =
+  | CatalogProductSynced({productId: string, name: string})
+  | CatalogProductPriceChanged({productId: string})
+
+@schema
+type state = {productId: string, name: string}
+
+let project = event =>
+  switch event {
+  | CatalogProductSynced({productId, name}) => [Set(productId, {productId, name})]
+  | CatalogProductPriceChanged({productId}) => [Update(productId, s => s)]
+  }

package/tests/plugin/StateViewSlice/PsAvailableProductsView.res.mjs

@@ -0,0 +1,69 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+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";
+
+let consumedEventSchema = S.union([
+  S.schema(s => ({
+    TAG: "CatalogProductSynced",
+    productId: s.m(DcbTag$Reventless.string),
+    name: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "CatalogProductPriceChanged",
+    productId: s.m(DcbTag$Reventless.string)
+  }))
+]);
+
+let stateSchema = S.schema(s => ({
+  productId: s.m(S.string),
+  name: s.m(S.string)
+}));
+
+function project(event) {
+  if (event.TAG !== "CatalogProductSynced") {
+    return [{
+        TAG: "Update",
+        _0: event.productId,
+        _1: s => s
+      }];
+  }
+  let productId = event.productId;
+  return [{
+      TAG: "Set",
+      _0: productId,
+      _1: {
+        productId: productId,
+        name: event.name
+      }
+    }];
+}
+
+let config = ReadModel$Reventless.config(undefined, undefined, undefined);
+
+let name = "AvailableProducts";
+
+let Id;
+
+let subIdConfig;
+
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateViewSlice/PsAvailableProductsView.res.mjs";
+
+let authorization = "AllowAuthenticated";
+
+let visibility = "Public";
+
+export {
+  name,
+  Id,
+  consumedEventSchema,
+  stateSchema,
+  project,
+  config,
+  subIdConfig,
+  moduleUrl,
+  authorization,
+  visibility,
+}
+/* consumedEventSchema Not a pure module */

package/tests/plugin/StateViewSlice/PsCustomersView.res

@@ -0,0 +1,22 @@
+// Test fixture for Phase 3 labelField extraction.
+// Uses composite @displayName on firstName + lastName to exercise the
+// DisplayName spec path of labelFieldsFromStateSchema.
+
+@@reventless.spec("Customers")
+
+@schema
+type consumedEvent =
+  | CustomerAdded({customerId: string, firstName: string, lastName: string})
+
+@schema
+type state = {
+  customerId: string,
+  @displayName firstName: string,
+  @displayName lastName: string,
+}
+
+let project = event =>
+  switch event {
+  | CustomerAdded({customerId, firstName, lastName}) =>
+    [Set(customerId, {customerId, firstName, lastName})]
+  }

package/tests/plugin/StateViewSlice/PsCustomersView.res.mjs

@@ -0,0 +1,69 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+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 DisplayName$Reventless from "@reventlessdev/reventless-spec/src/components/DisplayName.res.mjs";
+
+let consumedEventSchema = S.schema(s => ({
+  TAG: "CustomerAdded",
+  customerId: s.m(DcbTag$Reventless.string),
+  firstName: s.m(S.string),
+  lastName: s.m(S.string)
+}));
+
+let stateSchema = S.schema(s => ({
+  customerId: s.m(S.string),
+  firstName: s.m(S.string),
+  lastName: s.m(S.string),
+  displayName: s.m(S.option(S.string))
+}));
+
+let stateSchema$1 = S.Metadata.set(stateSchema, DisplayName$Reventless.displayNameId, {
+  fields: [
+    "firstName",
+    "lastName"
+  ],
+  separator: " "
+});
+
+function project(event) {
+  let customerId = event.customerId;
+  return [{
+      TAG: "Set",
+      _0: customerId,
+      _1: {
+        customerId: customerId,
+        firstName: event.firstName,
+        lastName: event.lastName
+      }
+    }];
+}
+
+let config = ReadModel$Reventless.config(undefined, undefined, undefined);
+
+let name = "Customers";
+
+let Id;
+
+let subIdConfig;
+
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateViewSlice/PsCustomersView.res.mjs";
+
+let authorization = "AllowAuthenticated";
+
+let visibility = "Public";
+
+export {
+  name,
+  Id,
+  consumedEventSchema,
+  stateSchema$1 as stateSchema,
+  project,
+  config,
+  subIdConfig,
+  moduleUrl,
+  authorization,
+  visibility,
+}
+/* consumedEventSchema Not a pure module */

package/tests/plugin/StateViewSlice/PsOrdersView.res

@@ -0,0 +1,20 @@
+// Test fixture spec for Phase 2 pluginStructure validation.
+// OrdersView SVS: consumes order events (all with payloads for extractVariantNames).
+
+@@reventless.spec("Orders")
+
+@schema
+type consumedEvent =
+  | OrderPlaced({orderId: string, customerName: string})
+  | OrderShipped({orderId: string})
+  | OrderCancelled({orderId: string})
+
+@schema
+type state = {orderId: string, customerName: string}
+
+let project = event =>
+  switch event {
+  | OrderPlaced({orderId, customerName}) => [Set(orderId, {orderId, customerName})]
+  | OrderShipped({orderId}) => [Update(orderId, s => s)]
+  | OrderCancelled({orderId}) => [Update(orderId, s => s)]
+  }