@reventlessdev/reventless-core 3.0.0-alpha.301 → 3.0.0-alpha.302

package/tests/admin/Platform_Admin_StructureTest.res

@@ -27,7 +27,7 @@ let commandNamed = (name: string): commandDef =>
 let activate = () => commandNamed("Activate")
 
 describe("the Plugins read model declares its lifecycle", () => {
-  let rm: queryableDef = Platform_Admin_Structure.pluginReadModel()
+  let rm: readSideDef = Platform_Admin_Structure.pluginReadModel()
 
   testSync("names the field commands branch on", () =>
     expect(rm.lifecycleField)->toEqual(Some("status"))
@@ -44,14 +44,14 @@ describe("the Plugins read model declares its lifecycle", () => {
   })
 
   testSync("is served on the encoded def under the new key", () => {
-    let json = rm->Platform_ComponentDefinitionsApi.encodeQueryableDef->JSON.stringify
+    let json = rm->Platform_ComponentDefinitionsApi.encodeReadSideDef->JSON.stringify
     expect(json->String.includes(`"lifecycleField":"status"`))->toEqual(true)
   })
 
   testSync("and never under the old one", () =>
     expect(
       rm
-      ->Platform_ComponentDefinitionsApi.encodeQueryableDef
+      ->Platform_ComponentDefinitionsApi.encodeReadSideDef
       ->JSON.stringify
       ->String.includes(`"statusField"`),
     )->toEqual(false)
@@ -73,10 +73,10 @@ describe("the admin structure's declared transitions are checked", () => {
     d
   }
 
-  let raises = writables =>
+  let raises = writeSides =>
     switch Plugin_Structure.checkDeclaredTransitions(
       ~pluginName="Platform",
-      ~writables,
+      ~writeSides,
       ~lifecycleStatesByView=statesByView(),
     ) {
     | () => false
@@ -95,7 +95,7 @@ describe("the admin structure's declared transitions are checked", () => {
 
   // A check that cannot fail is indistinguishable from one that is not running.
   testSync("and a state the view does not declare is caught", () => {
-    let bogus: Reventless.Plugin.writableDef = {
+    let bogus: Reventless.Plugin.writeSideDef = {
       ...Platform_Admin_Structure.pluginAggregate,
       commands: [
         {
@@ -193,7 +193,7 @@ describe("the internal commands declare the edges they move rows along", () => {
   testSync("and no state is left unreachable", () =>
     expect(
       Plugin_Structure.lifecycleTopologyFindings(
-        ~writables=[Platform_Admin_Structure.pluginAggregate],
+        ~writeSides=[Platform_Admin_Structure.pluginAggregate],
         ~lifecycleStatesByView=statesByView(),
       ),
     )->toEqual([])
@@ -239,14 +239,14 @@ describe("the Plugins view publishes the rule the server enforces", () => {
   })
 })
 
-// The `queryableDef` is derived from the spec, not hand-written. The analysis
+// The `readSideDef` is derived from the spec, not hand-written. The analysis
 // that preceded this expected the admin's naming to be bespoke and it is not:
 // `Api_Naming.queryFieldNamesForReadModel` returns byte-identical names, because
 // `singularize` already handles the plural-spec-name / singular-type shape that
 // looked special. Asserted rather than assumed — the whole case for deriving
 // rests on the generic helpers reaching the same answers.
-describe("the Plugins queryableDef is what the generic helpers produce", () => {
-  let rm: queryableDef = Platform_Admin_Structure.pluginReadModel()
+describe("the Plugins readSideDef is what the generic helpers produce", () => {
+  let rm: readSideDef = Platform_Admin_Structure.pluginReadModel()
 
   testSync("the field names are the generic ones", () =>
     expect((rm.queryField, rm.singleQueryField))->toEqual((

package/tests/admin/Platform_Admin_StructureTest.res.mjs

@@ -28,11 +28,11 @@ globalThis.describe("the Plugins read model declares its lifecycle", () => {
     globalThis.expect(sdlDeclaresStatus).toEqual(true);
   });
   globalThis.test("is served on the encoded def under the new key", () => {
-    let json = JSON.stringify(Platform_ComponentDefinitionsApi$ReventlessCore.encodeQueryableDef(rm));
+    let json = JSON.stringify(Platform_ComponentDefinitionsApi$ReventlessCore.encodeReadSideDef(rm));
     globalThis.expect(json.includes(`"lifecycleField":"status"`)).toEqual(true);
   });
   globalThis.test("and never under the old one", () => {
-    globalThis.expect(JSON.stringify(Platform_ComponentDefinitionsApi$ReventlessCore.encodeQueryableDef(rm)).includes(`"statusField"`)).toEqual(false);
+    globalThis.expect(JSON.stringify(Platform_ComponentDefinitionsApi$ReventlessCore.encodeReadSideDef(rm)).includes(`"statusField"`)).toEqual(false);
   });
 });
 
@@ -45,9 +45,9 @@ globalThis.describe("the admin structure's declared transitions are checked", ()
     });
     return d;
   };
-  let raises = writables => {
+  let raises = writeSides => {
     try {
-      Plugin_Structure$ReventlessCore.checkDeclaredTransitions("Platform", writables, statesByView());
+      Plugin_Structure$ReventlessCore.checkDeclaredTransitions("Platform", writeSides, statesByView());
       return false;
     } catch (exn) {
       return true;
@@ -187,7 +187,7 @@ globalThis.describe("the Plugins view publishes the rule the server enforces", (
   });
 });
 
-globalThis.describe("the Plugins queryableDef is what the generic helpers produce", () => {
+globalThis.describe("the Plugins readSideDef is what the generic helpers produce", () => {
   let rm = Platform_Admin_Structure$ReventlessCore.pluginReadModel();
   globalThis.test("the field names are the generic ones", () => {
     globalThis.expect([

package/tests/admin/Platform_BakedManifestTest.res

@@ -6,7 +6,7 @@
 open JestGlobals
 open Reventless.Plugin
 
-let queryable = (~name, ~visibility=?, ~ownerField=?, ()): queryableDef => {
+let readSide = (~name, ~visibility=?, ~ownerField=?, ()): readSideDef => {
   name,
   queryField: `Ordering_${name}`,
   schema: "{}",
@@ -42,7 +42,7 @@ let command = (~name, ~references=[], ~ownerField=?, ()): commandDef => {
   ownerField,
 }
 
-let writable = (~name, ~commands): writableDef => {
+let writeSide = (~name, ~commands): writeSideDef => {
   name,
   commands,
   linkedViews: [],
@@ -58,13 +58,13 @@ let writable = (~name, ~commands): writableDef => {
 // denormalised product mirror a command @refs, one end-user command and one
 // operator command.
 let structure: pluginStructure = {
-  readModels: [queryable(~name="Customers", ())],
+  readModels: [readSide(~name="Customers", ())],
   stateViewSlices: [
-    queryable(~name="Orders", ~ownerField="customerId", ()),
-    queryable(~name="AvailableProducts", ~visibility="Internal", ()),
+    readSide(~name="Orders", ~ownerField="customerId", ()),
+    readSide(~name="AvailableProducts", ~visibility="Internal", ()),
   ],
   stateChangeSlices: [
-    writable(
+    writeSide(
       ~name="PlaceOrder",
       ~commands=[
         command(
@@ -75,7 +75,7 @@ let structure: pluginStructure = {
         ),
       ],
     ),
-    writable(~name="ImportOrders", ~commands=[command(~name="ImportOrders", ())]),
+    writeSide(~name="ImportOrders", ~commands=[command(~name="ImportOrders", ())]),
   ],
   aggregates: [],
   automationSlices: [],

package/tests/admin/Platform_BakedManifestTest.res.mjs

@@ -8,7 +8,7 @@ import * as Primitive_object from "@rescript/runtime/lib/es6/Primitive_object.js
 import * as Platform_BakedManifest$ReventlessCore from "../../src/admin/Platform_BakedManifest.res.mjs";
 import * as Platform_ComponentDefinitionsApi$ReventlessCore from "../../src/admin/Platform_ComponentDefinitionsApi.res.mjs";
 
-function queryable(name, visibility, ownerField, param) {
+function readSide(name, visibility, ownerField, param) {
   return {
     name: name,
     queryField: `Ordering_` + name,
@@ -49,7 +49,7 @@ function command(name, referencesOpt, ownerField, param) {
   };
 }
 
-function writable(name, commands) {
+function writeSide(name, commands) {
   return {
     name: name,
     commands: commands,
@@ -63,20 +63,20 @@ function writable(name, commands) {
   };
 }
 
-let structure_readModels = [queryable("Customers", undefined, undefined, undefined)];
+let structure_readModels = [readSide("Customers", undefined, undefined, undefined)];
 
 let structure_stateViewSlices = [
-  queryable("Orders", undefined, "customerId", undefined),
-  queryable("AvailableProducts", "Internal", undefined, undefined)
+  readSide("Orders", undefined, "customerId", undefined),
+  readSide("AvailableProducts", "Internal", undefined, undefined)
 ];
 
 let structure_stateChangeSlices = [
-  writable("PlaceOrder", [command("PlaceOrder", [{
+  writeSide("PlaceOrder", [command("PlaceOrder", [{
         fieldName: "productIds",
         entity: "AvailableProducts",
         plugin: undefined
       }], "customerId", undefined)]),
-  writable("ImportOrders", [command("ImportOrders", undefined, undefined, undefined)])
+  writeSide("ImportOrders", [command("ImportOrders", undefined, undefined, undefined)])
 ];
 
 let structure_aggregates = [];
@@ -296,9 +296,9 @@ globalThis.describe("curate", () => {
 });
 
 export {
-  queryable,
+  readSide,
   command,
-  writable,
+  writeSide,
   structure,
   structures,
   bake,

package/tests/admin/Platform_ComponentDefinitionsApiTest.res

@@ -19,7 +19,7 @@ let cmd: commandDef = {
   ownerField: None,
 }
 
-let qbl: queryableDef = {
+let qbl: readSideDef = {
   name: "Products",
   queryField: "Catalog_Products",
   schema: "{}",
@@ -41,7 +41,7 @@ let qbl: queryableDef = {
   namedWhenRetired: None,
 }
 
-let wbl: writableDef = {
+let wbl: writeSideDef = {
   name: "Product",
   commands: [cmd],
   linkedViews: ["Products"],
@@ -152,7 +152,7 @@ describe("encodePluginStructureEntry", () => {
     expect(json->String.includes("\"plugin\":\"Catalog\""))->toEqual(true)
   )
 
-  testSync("includes the queryableDef name", () =>
+  testSync("includes the readSideDef name", () =>
     expect(json->String.includes("\"name\":\"Products\""))->toEqual(true)
   )
 
@@ -177,12 +177,12 @@ describe("encodePluginStructureEntry", () => {
   )
 
   // Phase 6.3: write-side emitted-event field schemas.
-  testSync("encodes writableDef events", () =>
+  testSync("encodes writeSideDef events", () =>
     expect(json->String.includes("\"events\":[{\"name\":\"ProductAdded\""))->toEqual(true)
   )
 
   // The refusals a caller has to handle travel beside the facts it can observe.
-  testSync("encodes writableDef errors", () =>
+  testSync("encodes writeSideDef errors", () =>
     expect(json->String.includes("\"errors\":[{\"name\":\"ProductAlreadyExists\""))->toEqual(true)
   )
 
@@ -258,7 +258,7 @@ describe("visibility filtering (deployed AutoUI hides Internal)", () => {
   // Internal ReadModels / StateViewSlices are carried in pluginStructure for developer
   // tooling but must not surface in the UI definitions the deployed AutoUI builds its
   // menu / pages from — see Plugin_Structure.res / Visibility.res.
-  let internalQbl: queryableDef = {
+  let internalQbl: readSideDef = {
     name: "AvailableProducts",
     queryField: "Ordering_AvailableProducts",
     schema: "{}",
@@ -281,7 +281,7 @@ describe("visibility filtering (deployed AutoUI hides Internal)", () => {
   }
   // A distinct name per source array: the complement has to be fed by both, and
   // reusing one def would hide a version that only walks `readModels`.
-  let internalSlice: queryableDef = {
+  let internalSlice: readSideDef = {
     ...internalQbl,
     name: "PendingShipments",
     queryField: "Ordering_PendingShipments",
@@ -314,12 +314,12 @@ describe("visibility filtering (deployed AutoUI hides Internal)", () => {
       ->Option.flatMap(JSON.Decode.string)
     )
 
-  testSync("excludes an Internal queryableDef from the encoded read-side", () => {
+  testSync("excludes an Internal readSideDef from the encoded read-side", () => {
     expect(mixedEntry->namesAt("readModels"))->toEqual(["Products"])
     expect(mixedEntry->namesAt("stateViewSlices"))->toEqual([])
   })
 
-  testSync("keeps a Public queryableDef", () =>
+  testSync("keeps a Public readSideDef", () =>
     expect(mixedEntry->namesAt("readModels")->Array.includes("Products"))->toEqual(true)
   )
 
@@ -364,7 +364,7 @@ describe("allowedStates + lifecycleField populated", () => {
     ownerField: None,
   }
 
-  let qblWithStatus: queryableDef = {
+  let qblWithStatus: readSideDef = {
     name: "Plugin",
     queryField: "Platform_Plugins",
     schema: "{}",
@@ -386,7 +386,7 @@ describe("allowedStates + lifecycleField populated", () => {
     namedWhenRetired: None,
   }
 
-  let wblWithStates: writableDef = {
+  let wblWithStates: writeSideDef = {
     name: "Plugin",
     commands: [cmdWithStates],
     linkedViews: ["Plugin"],

package/tests/admin/Platform_ComponentDefinitionsApiTest.res.mjs

@@ -197,7 +197,7 @@ globalThis.describe("encodePluginStructureEntry", () => {
   globalThis.test("encodes Some plugin reference as its inner string", () => {
     globalThis.expect(json.includes("\"plugin\":\"Catalog\"")).toEqual(true);
   });
-  globalThis.test("includes the queryableDef name", () => {
+  globalThis.test("includes the readSideDef name", () => {
     globalThis.expect(json.includes("\"name\":\"Products\"")).toEqual(true);
   });
   globalThis.test("includes the automation slice name", () => {
@@ -215,10 +215,10 @@ globalThis.describe("encodePluginStructureEntry", () => {
   globalThis.test("encodes None lifecycleField as null", () => {
     globalThis.expect(json.includes("\"lifecycleField\":null")).toEqual(true);
   });
-  globalThis.test("encodes writableDef events", () => {
+  globalThis.test("encodes writeSideDef events", () => {
     globalThis.expect(json.includes("\"events\":[{\"name\":\"ProductAdded\"")).toEqual(true);
   });
-  globalThis.test("encodes writableDef errors", () => {
+  globalThis.test("encodes writeSideDef errors", () => {
     globalThis.expect(json.includes("\"errors\":[{\"name\":\"ProductAlreadyExists\"")).toEqual(true);
   });
   globalThis.test("declares Platform_ErrorDef and the errors field in the shared write-side SDL", () => {
@@ -342,11 +342,11 @@ globalThis.describe("visibility filtering (deployed AutoUI hides Internal)", ()
   };
   let mixedEntry = Platform_ComponentDefinitionsApi$ReventlessCore.encodePluginStructureEntry("Ordering", undefined, mixed);
   let namesAt = (entry, key) => Stdlib_Array.filterMap(Stdlib_Option.getOr(Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(entry), o => o[key]), Stdlib_JSON.Decode.array), []), c => Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(c), o => o["name"]), Stdlib_JSON.Decode.string));
-  globalThis.test("excludes an Internal queryableDef from the encoded read-side", () => {
+  globalThis.test("excludes an Internal readSideDef from the encoded read-side", () => {
     globalThis.expect(namesAt(mixedEntry, "readModels")).toEqual(["Products"]);
     globalThis.expect(namesAt(mixedEntry, "stateViewSlices")).toEqual([]);
   });
-  globalThis.test("keeps a Public queryableDef", () => {
+  globalThis.test("keeps a Public readSideDef", () => {
     globalThis.expect(namesAt(mixedEntry, "readModels").includes("Products")).toEqual(true);
   });
   globalThis.test("carries what the filter removed on internalQueryables", () => {

package/tests/admin/Platform_PluginStructuresApiTest.res

@@ -7,7 +7,7 @@
 open JestGlobals
 open Reventless.Plugin
 
-let publicRm: queryableDef = {
+let publicRm: readSideDef = {
   name: "Products",
   queryField: "Catalog_Products",
   schema: "{}",
@@ -30,7 +30,7 @@ let publicRm: queryableDef = {
 }
 
 // The component `Platform_ComponentDefinitions` drops and this query must keep.
-let internalRm: queryableDef = {
+let internalRm: readSideDef = {
   ...publicRm,
   name: "ProductAudit",
   queryField: "Catalog_ProductAudit",
@@ -138,7 +138,7 @@ describe("Platform_PluginStructures entry", () => {
     )->toEqual(true)
   )
 
-  // Both read-side queries share `encodeQueryableDef`, so this asserts the singular
+  // Both read-side queries share `encodeReadSideDef`, so this asserts the singular
   // name is not a ComponentDefinitions-only field: a developer tool building a detail
   // query reads it from here.
   testSync("encodes the singular query field beside the list one", () =>

package/tests/message/MessageTest.res

@@ -158,7 +158,7 @@ describe("Message should", () => {
       let json = event'->Message.encodeEvent'(S.string, PluginSpec.eventSchema)
 
       // Simulate the persisted JSON as written before these fields existed: drop the
-      // mandatory enum `kind`, a top-level `T | null` field, and two nested writableDef
+      // mandatory enum `kind`, a top-level `T | null` field, and two nested writeSideDef
       // fields (a mandatory array + a `T | null`).
       let oldJson = %raw(`function(j){
         var c = JSON.parse(JSON.stringify(j));

package/tests/plugin/ManifestVisibilityTest.res

@@ -1,7 +1,7 @@
 // Verifies that ReadModel.Spec.visibility flows through PPX injection, that the
 // filter predicate used by Plugin_Builder.makeAutoUIManifest excludes Internal
 // entries while leaving Public ones intact, and that Plugin_Structure.make
-// CARRIES Internal entries but tags them via `queryableDef.visibility` (the
+// CARRIES Internal entries but tags them via `readSideDef.visibility` (the
 // dev-graph contract). Does NOT instantiate the full Plugin_Builder.Make functor
 // — the filter is a pure switch on a Spec field and is therefore testable in
 // isolation via stubbed ReadModel.T modules.
@@ -120,7 +120,7 @@ describe("ReadModel visibility filter", () => {
 
 describe("Plugin_Structure.make — visibility tagging", () => {
   // pluginStructure CARRIES Internal read models (so the dev graph / dead-code
-  // tools can see them) and tags each via `queryableDef.visibility`
+  // tools can see them) and tags each via `readSideDef.visibility`
   // (`None` = Public, `Some("Internal")` = Internal). The deployed AutoUI
   // consumers re-filter on that tag — visibility does not remove entries from
   // pluginStructure itself. See Plugin_Structure.res / Visibility.res.

package/tests/plugin/PluginStructureAccessTest.res.mjs

@@ -56,7 +56,7 @@ let PsGatedViewSlice_Spec = {
   name: PsGatedView$ReventlessCore.name,
   moduleUrl: PsGatedView$ReventlessCore.moduleUrl,
   stateSchema: PsGatedView$ReventlessCore.stateSchema,
-  Key: {
+  Id: {
     schema: Id$Reventless.StringPure.schema,
     make: prim => prim,
     makeFromString: prim => prim,
@@ -89,7 +89,7 @@ let PsOrdersViewSlice_Spec = {
   name: PsOrdersView$ReventlessCore.name,
   moduleUrl: PsOrdersView$ReventlessCore.moduleUrl,
   stateSchema: PsOrdersView$ReventlessCore.stateSchema,
-  Key: {
+  Id: {
     schema: Id$Reventless.StringPure.schema,
     make: prim => prim,
     makeFromString: prim => prim,

package/tests/plugin/PluginStructureTest.res

@@ -301,7 +301,7 @@ let structure = Plugin_Structure.make(
 
 describe("lifecycle topology", () => {
   let ordersStates = Dict.fromArray([("Orders", ["Placed", "Shipped", "Cancelled"])])
-  let writableWith = (commands): Reventless.Plugin.writableDef => {
+  let writableWith = (commands): Reventless.Plugin.writeSideDef => {
     name: "Ordering",
     commands,
     producedEventTypes: [],
@@ -330,7 +330,7 @@ describe("lifecycle topology", () => {
   testSync("names a state no command can reach", () => {
     // `Cancelled` is in the enum and nothing declares an edge into it.
     let findings = Plugin_Structure.lifecycleTopologyFindings(
-      ~writables=[
+      ~writeSides=[
         writableWith([
           command(~name="Ship", ~allowedStates=["Placed"], ~targetState="Shipped", ()),
         ]),
@@ -342,7 +342,7 @@ describe("lifecycle topology", () => {
 
   testSync("says nothing when every state is reachable", () => {
     let findings = Plugin_Structure.lifecycleTopologyFindings(
-      ~writables=[
+      ~writeSides=[
         writableWith([
           command(~name="Ship", ~allowedStates=["Placed"], ~targetState="Shipped", ()),
           command(~name="Cancel", ~allowedStates=["Placed"], ~targetState="Cancelled", ()),
@@ -357,7 +357,7 @@ describe("lifecycle topology", () => {
   // expected rather than suspicious.
   testSync("does not call the initial state unreachable", () => {
     let findings = Plugin_Structure.lifecycleTopologyFindings(
-      ~writables=[
+      ~writeSides=[
         writableWith([
           command(~name="Ship", ~allowedStates=["Placed"], ~targetState="Shipped", ()),
           command(~name="Cancel", ~allowedStates=["Placed"], ~targetState="Cancelled", ()),
@@ -374,7 +374,7 @@ describe("lifecycle topology", () => {
   // silenced. See the comment in Plugin_Structure.
   testSync("does not report a state with no way out", () => {
     let findings = Plugin_Structure.lifecycleTopologyFindings(
-      ~writables=[
+      ~writeSides=[
         writableWith([
           command(~name="Ship", ~allowedStates=["Placed"], ~targetState="Shipped", ()),
           command(~name="Cancel", ~allowedStates=["Placed"], ~targetState="Cancelled", ()),
@@ -1310,7 +1310,7 @@ describe("Plugin_Structure.make — Phase 2 graph fields", () => {
   // worked it out — the same declaration-vs-guess distinction `labelFieldSource`
   // publishes, for the field the generated filter and order-by are built from.
   describe("idField / idFieldSource — the key and its provenance", () => {
-    let keyOf = (q: Reventless.Plugin.queryableDef) => (q.idField, q.idFieldSource)
+    let keyOf = (q: Reventless.Plugin.readSideDef) => (q.idField, q.idFieldSource)
     let withCategories = Plugin_Structure.make(
       ~name="TestPlugin",
       ~stateChangeSlices=[],
@@ -1738,11 +1738,11 @@ describe("Plugin_Structure.make — Phase 2 graph fields", () => {
     | None => None
     }
 
-  // Phase 4: queryableDef.schema must carry x-reventless-* extension keys for
+  // Phase 4: readSideDef.schema must carry x-reventless-* extension keys for
   // annotated state types. Plugin_Structure now uses SuryToJsonSchema.deriveObjectSchema
   // (annotation-aware) instead of S.toInputJSONSchemaOrThrow (metadata-blind).
-  describe("queryableDef.schema propagates x-reventless-* annotations", () => {
-    let parseSchema = (svs: Reventless.Plugin.queryableDef): JSON.t => svs.schema->JSON.parseOrThrow
+  describe("readSideDef.schema propagates x-reventless-* annotations", () => {
+    let parseSchema = (svs: Reventless.Plugin.readSideDef): JSON.t => svs.schema->JSON.parseOrThrow
 
     let annotatedSchema = structure.stateViewSlices->Array.getUnsafe(3)->parseSchema
 

package/tests/plugin/PluginStructureTest.res.mjs

@@ -110,7 +110,7 @@ let PsOrdersViewSlice_Spec = {
   name: PsOrdersView$ReventlessCore.name,
   moduleUrl: PsOrdersView$ReventlessCore.moduleUrl,
   stateSchema: PsOrdersView$ReventlessCore.stateSchema,
-  Key: {
+  Id: {
     schema: Id$Reventless.StringPure.schema,
     make: prim => prim,
     makeFromString: prim => prim,
@@ -143,7 +143,7 @@ let PsAvailableProductsViewSlice_Spec = {
   name: PsAvailableProductsView$ReventlessCore.name,
   moduleUrl: PsAvailableProductsView$ReventlessCore.moduleUrl,
   stateSchema: PsAvailableProductsView$ReventlessCore.stateSchema,
-  Key: {
+  Id: {
     schema: Id$Reventless.StringPure.schema,
     make: prim => prim,
     makeFromString: prim => prim,
@@ -176,7 +176,7 @@ let PsCustomersViewSlice_Spec = {
   name: PsCustomersView$ReventlessCore.name,
   moduleUrl: PsCustomersView$ReventlessCore.moduleUrl,
   stateSchema: PsCustomersView$ReventlessCore.stateSchema,
-  Key: {
+  Id: {
     schema: Id$Reventless.StringPure.schema,
     make: prim => prim,
     makeFromString: prim => prim,
@@ -209,7 +209,7 @@ let PsAnnotatedViewSlice_Spec = {
   name: PsAnnotatedView$ReventlessCore.name,
   moduleUrl: PsAnnotatedView$ReventlessCore.moduleUrl,
   stateSchema: PsAnnotatedView$ReventlessCore.stateSchema,
-  Key: {
+  Id: {
     schema: Id$Reventless.StringPure.schema,
     make: prim => prim,
     makeFromString: prim => prim,
@@ -242,7 +242,7 @@ let PsCategoriesViewSlice_Spec = {
   name: PsCategoriesView$ReventlessCore.name,
   moduleUrl: PsCategoriesView$ReventlessCore.moduleUrl,
   stateSchema: PsCategoriesView$ReventlessCore.stateSchema,
-  Key: {
+  Id: {
     schema: Id$Reventless.StringPure.schema,
     make: prim => prim,
     makeFromString: prim => prim,
@@ -523,7 +523,7 @@ let PsShipmentsViewSlice_Spec = {
   name: PsShipmentsView$ReventlessCore.name,
   moduleUrl: PsShipmentsView$ReventlessCore.moduleUrl,
   stateSchema: PsShipmentsView$ReventlessCore.stateSchema,
-  Key: {
+  Id: {
     schema: Id$Reventless.StringPure.schema,
     make: prim => prim,
     makeFromString: prim => prim,
@@ -1567,7 +1567,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       return obj[fieldName];
     }
   };
-  globalThis.describe("queryableDef.schema propagates x-reventless-* annotations", () => {
+  globalThis.describe("readSideDef.schema propagates x-reventless-* annotations", () => {
     let annotatedSchema = JSON.parse(structure.stateViewSlices[3].schema);
     globalThis.test("itemId carries x-reventless-id", () => {
       globalThis.expect(Stdlib_Option.flatMap(Stdlib_Option.flatMap(getPropertyOf(annotatedSchema, "itemId"), s => getProperty(s, "x-reventless-id")), Stdlib_JSON.Decode.bool)).toBe(true);

package/tests/plugin/StateView/PsAnnotatedView.res

@@ -1,6 +1,6 @@
 // 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.toInputJSONSchemaOrThrow
+// properties through readSideDef.schema after swapping S.toInputJSONSchemaOrThrow
 // for SuryToJsonSchema.deriveObjectSchema.
 
 @@reventless.spec("AnnotatedView")

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

@@ -99,8 +99,6 @@ let name = "AnnotatedView";
 
 let Id;
 
-let Key;
-
 let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateView/PsAnnotatedView.res.mjs";
 
 let authorization = "AllowAuthenticated";
@@ -109,11 +107,10 @@ let visibility = "Public";
 
 export {
   name,
-  Id,
   consumedEventSchema,
   project,
   config,
-  Key,
+  Id,
   subIdConfig,
   makeId,
   stateSchema$1 as stateSchema,

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

@@ -47,8 +47,6 @@ let name = "AvailableProducts";
 
 let Id;
 
-let Key;
-
 let subIdConfig;
 
 let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateView/PsAvailableProductsView.res.mjs";
@@ -59,12 +57,11 @@ let visibility = "Public";
 
 export {
   name,
-  Id,
   consumedEventSchema,
   stateSchema,
   project,
   config,
-  Key,
+  Id,
   subIdConfig,
   moduleUrl,
   authorization,

package/tests/plugin/StateView/PsCategoriesView.res.mjs

@@ -34,8 +34,6 @@ let name = "Categories";
 
 let Id;
 
-let Key;
-
 let subIdConfig;
 
 let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateView/PsCategoriesView.res.mjs";
@@ -46,12 +44,11 @@ let visibility = "Public";
 
 export {
   name,
-  Id,
   consumedEventSchema,
   stateSchema,
   project,
   config,
-  Key,
+  Id,
   subIdConfig,
   moduleUrl,
   authorization,

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

@@ -47,8 +47,6 @@ let name = "Customers";
 
 let Id;
 
-let Key;
-
 let subIdConfig;
 
 let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateView/PsCustomersView.res.mjs";
@@ -59,12 +57,11 @@ let visibility = "Public";
 
 export {
   name,
-  Id,
   consumedEventSchema,
   stateSchema$1 as stateSchema,
   project,
   config,
-  Key,
+  Id,
   subIdConfig,
   moduleUrl,
   authorization,