@reventlessdev/reventless-core 3.0.0-alpha.255 → 3.0.0-alpha.257

package/tests/api/GraphQL_FragmentGeneratorTest.res.mjs

@@ -25,7 +25,7 @@ function commandAuthorization(param) {
 }
 
 function commandTransition(param) {
-  return "Unrestricted";
+  return "Undeclared";
 }
 
 let traits = [];
@@ -237,7 +237,7 @@ function commandAuthorization$1(param) {
 }
 
 function commandTransition$1(param) {
-  return "Unrestricted";
+  return "Undeclared";
 }
 
 let traits$1 = [];
@@ -266,7 +266,7 @@ function commandAuthorization$2(param) {
 }
 
 function commandTransition$2(param) {
-  return "Unrestricted";
+  return "Undeclared";
 }
 
 let traits$2 = [];
@@ -359,7 +359,7 @@ globalThis.describe("GraphQL_FragmentGenerator.mutationArgTypes", () => {
       argTypes["itemCount"]
     ]).toEqual([
       "ID!",
-      "Float!"
+      "Int!"
     ]);
   });
   globalThis.test("agrees with every argument the SDL declares", () => {
@@ -550,7 +550,7 @@ globalThis.describe("@internal keeps a field off the generated type", () => {
     ]);
   });
   globalThis.test("the published state schema drops them too", () => {
-    let json = JSON.stringify(SuryToJsonSchema$ReventlessCore.deriveObjectSchema(PsInternalFieldsReadModel$ReventlessCore.stateSchema));
+    let json = JSON.stringify(SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, PsInternalFieldsReadModel$ReventlessCore.stateSchema));
     globalThis.expect([
       json.includes("eventCollector"),
       json.includes("name")

package/tests/api/SuryToJsonSchemaTest.res.mjs

@@ -97,7 +97,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
         id: s.m(Sury.string),
         name: s.m(Sury.string)
       }));
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema);
       let idSchema = getPropertyOf(json, "id");
       globalThis.expect(Stdlib_Option.flatMap(idSchema, s => getProperty(s, "x-reventless-id"))).toBe(undefined);
     });
@@ -106,14 +106,14 @@ globalThis.describe("SuryToJsonSchema:", () => {
         placedAt: s.m(DateTime$Reventless.string),
         name: s.m(Sury.string)
       }));
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema);
+      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.describe("deriveObjectSchema with an owner field:", () => {
     let ownerOf = (json, name) => Stdlib_Option.flatMap(getPropertyOf(json, name), s => getProperty(s, "x-reventless-owner"));
-    let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$schema(s => ({
+    let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
       customerId: s.m(Owner$Reventless.string),
       note: s.m(Sury.string)
     })));
@@ -127,7 +127,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       globalThis.expect(Stdlib_Option.flatMap(getPropertyOf(json, "customerId"), s => getProperty(s, "type"))).toEqual("string");
     });
     globalThis.test("an optional owner field is still recognised", () => {
-      let optJson = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$schema(s => ({
+      let optJson = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
         customerId: s.m(Sury.$option(Owner$Reventless.string))
       })));
       globalThis.expect(ownerOf(optJson, "customerId")).toEqual(true);
@@ -136,7 +136,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
   globalThis.describe("deriveObjectSchema with a sensitive field:", () => {
     let sensitiveOf = (json, name) => Stdlib_Option.flatMap(getPropertyOf(json, name), s => getProperty(s, "x-reventless-sensitive"));
     let ownerOf = (json, name) => Stdlib_Option.flatMap(getPropertyOf(json, name), s => getProperty(s, "x-reventless-owner"));
-    let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$schema(s => ({
+    let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
       resetToken: s.m(Sensitive$Reventless.string),
       note: s.m(Sury.string),
       contact: s.m(Email$Reventless.schema)
@@ -154,13 +154,13 @@ globalThis.describe("SuryToJsonSchema:", () => {
       globalThis.expect(Stdlib_Option.flatMap(getPropertyOf(json, "resetToken"), s => getProperty(s, "type"))).toEqual("string");
     });
     globalThis.test("an optional sensitive field is still recognised", () => {
-      let optJson = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$schema(s => ({
+      let optJson = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
         resetToken: s.m(Sury.$option(Sensitive$Reventless.string))
       })));
       globalThis.expect(sensitiveOf(optJson, "resetToken")).toEqual(true);
     });
     globalThis.test("sensitivity composes with ownership on one field", () => {
-      let bothJson = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$schema(s => ({
+      let bothJson = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
         customerId: s.m(Sensitive$Reventless.mark(Owner$Reventless.string))
       })));
       globalThis.expect([
@@ -182,7 +182,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       newrecord.ids = ["entityId"];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let entityIdSchema = getPropertyOf(json, "entityId");
       globalThis.expect(Stdlib_Option.flatMap(Stdlib_Option.flatMap(entityIdSchema, s => getProperty(s, "x-reventless-id")), Stdlib_JSON.Decode.bool)).toBe(true);
     });
@@ -199,7 +199,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       ];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let envSchema = getPropertyOf(json, "environment");
       let platformSchema = getPropertyOf(json, "platformName");
       globalThis.expect([
@@ -219,7 +219,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       newrecord.subIds = ["version"];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let versionSchema = getPropertyOf(json, "version");
       globalThis.expect(Stdlib_Option.flatMap(Stdlib_Option.flatMap(versionSchema, s => getProperty(s, "x-reventless-subId")), Stdlib_JSON.Decode.bool)).toBe(true);
     });
@@ -235,7 +235,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
         ]];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let ownerIdSchema = getPropertyOf(json, "ownerId");
       globalThis.expect(Stdlib_Option.flatMap(Stdlib_Option.flatMap(ownerIdSchema, s => getProperty(s, "x-reventless-index")), Stdlib_JSON.Decode.string)).toBe("byOwner");
     });
@@ -251,7 +251,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
         ]];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let categorySchema = getPropertyOf(json, "category");
       globalThis.expect(Stdlib_Option.flatMap(Stdlib_Option.flatMap(categorySchema, s => getProperty(s, "x-reventless-index")), Stdlib_JSON.Decode.bool)).toBe(true);
     });
@@ -264,7 +264,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       newrecord.ids = ["entityId"];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let nameSchema = getPropertyOf(json, "name");
       globalThis.expect(Stdlib_Option.flatMap(nameSchema, s => getProperty(s, "x-reventless-id"))).toBe(undefined);
     });
@@ -277,7 +277,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       newrecord.hidden = ["deploymentId"];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let deploymentIdSchema = getPropertyOf(json, "deploymentId");
       let idSchema = getPropertyOf(json, "id");
       globalThis.expect([
@@ -297,7 +297,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       newrecord.internal = ["eventCollector"];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       globalThis.expect([
         Stdlib_Option.isNone(getPropertyOf(json, "eventCollector")),
         Stdlib_Option.isSome(getPropertyOf(json, "id"))
@@ -314,7 +314,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       let newrecord = {...emptySpec};
       newrecord.internal = ["eventCollector"];
       let spec = newrecord;
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec));
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec));
       globalThis.expect(Stdlib_Array.filterMap(Stdlib_Option.getOr(Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(json), o => o["required"]), Stdlib_JSON.Decode.array), []), Stdlib_JSON.Decode.string)).toEqual(["id"]);
     });
     globalThis.test("emits x-reventless-summary on field listed in summary", () => {
@@ -326,7 +326,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       newrecord.summary = ["pluginName"];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let pluginNameSchema = getPropertyOf(json, "pluginName");
       let idSchema = getPropertyOf(json, "id");
       globalThis.expect([
@@ -349,7 +349,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
         ]];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let componentsSchema = getPropertyOf(json, "components");
       let idSchema = getPropertyOf(json, "id");
       globalThis.expect([
@@ -376,7 +376,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
         ]];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let componentsSchema = getPropertyOf(json, "components");
       globalThis.expect(Stdlib_Option.flatMap(Stdlib_Option.flatMap(componentsSchema, s => getProperty(s, "x-reventless-drillTargetKey")), Stdlib_JSON.Decode.string)).toBe("kind/name");
     });
@@ -392,7 +392,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
         ]];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let componentsSchema = getPropertyOf(json, "components");
       globalThis.expect(Stdlib_Option.flatMap(componentsSchema, s => getProperty(s, "x-reventless-drillTargetKey"))).toBe(undefined);
     });
@@ -405,7 +405,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       newrecord.scan = ["status"];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let statusSchema = getPropertyOf(json, "status");
       let idSchema = getPropertyOf(json, "id");
       globalThis.expect([
@@ -425,7 +425,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       newrecord.scanSort = ["name"];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let nameSchema = getPropertyOf(json, "name");
       let idSchema = getPropertyOf(json, "id");
       globalThis.expect([
@@ -448,7 +448,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
         ]];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let totalSchema = getPropertyOf(json, "total");
       let idSchema = getPropertyOf(json, "id");
       globalThis.expect([
@@ -474,7 +474,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
         ]];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let metricObj = Stdlib_Option.flatMap(getPropertyOf(json, "total"), s => getProperty(s, "x-reventless-metric"));
       globalThis.expect([
         Stdlib_Option.flatMap(Stdlib_Option.flatMap(metricObj, m => getProperty(m, "aggregate")), Stdlib_JSON.Decode.string),
@@ -498,7 +498,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
         ]];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let metricObj = Stdlib_Option.flatMap(getPropertyOf(json, "total"), s => getProperty(s, "x-reventless-metric"));
       globalThis.expect([
         Stdlib_Option.flatMap(Stdlib_Option.flatMap(metricObj, m => getProperty(m, "aggregate")), Stdlib_JSON.Decode.string),
@@ -523,7 +523,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       };
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let retiredObj = Stdlib_Option.flatMap(getPropertyOf(json, "archived"), s => getProperty(s, "x-reventless-retired"));
       globalThis.expect([
         Stdlib_Option.flatMap(Stdlib_Option.flatMap(retiredObj, r => getProperty(r, "label")), Stdlib_JSON.Decode.string),
@@ -553,7 +553,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       };
       newrecord.lifecycle = "accountStatus";
       let spec = newrecord;
-      return SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec));
+      return SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec));
     };
     let retiredOn = (json, field) => Stdlib_Option.flatMap(getPropertyOf(json, field), s => getProperty(s, "x-reventless-retired"));
     let stringsAt = (retiredObj, key) => Stdlib_Option.map(Stdlib_Option.flatMap(Stdlib_Option.flatMap(retiredObj, r => getProperty(r, key)), Stdlib_JSON.Decode.array), a => Stdlib_Array.filterMap(a, Stdlib_JSON.Decode.string));
@@ -592,7 +592,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       };
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let retiredObj = retiredOn(json, "archived");
       globalThis.expect([
         Stdlib_Option.flatMap(retiredObj, r => getProperty(r, "value")),
@@ -616,7 +616,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
           namedWhenRetired: named
         };
         let spec = newrecord;
-        return Stdlib_Option.flatMap(Stdlib_Option.flatMap(retiredOn(SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec)), "archived"), r => getProperty(r, "namedWhenRetired")), Stdlib_JSON.Decode.bool);
+        return Stdlib_Option.flatMap(Stdlib_Option.flatMap(retiredOn(SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec)), "archived"), r => getProperty(r, "namedWhenRetired")), Stdlib_JSON.Decode.bool);
       };
       globalThis.expect([
         build(true),
@@ -640,7 +640,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       };
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let retiredObj = Stdlib_Option.flatMap(getPropertyOf(json, "deactivated"), s => getProperty(s, "x-reventless-retired"));
       globalThis.expect([
         Stdlib_Option.flatMap(retiredObj, r => getProperty(r, "label")),
@@ -654,7 +654,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       let schema = Sury.$schema(s => ({
         archived: s.m(Sury.bool)
       }));
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, emptySpec));
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, emptySpec));
       globalThis.expect(Stdlib_Option.flatMap(getPropertyOf(json, "archived"), s => getProperty(s, "x-reventless-retired"))).toBe(undefined);
     });
     globalThis.test("emits x-reventless-group-by on the field named by groupBy", () => {
@@ -666,7 +666,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       newrecord.groupBy = "kind";
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let kindSchema = getPropertyOf(json, "kind");
       let idSchema = getPropertyOf(json, "id");
       globalThis.expect([
@@ -686,7 +686,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       newrecord.collapsed = ["primaryResource"];
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       let primarySchema = getPropertyOf(json, "primaryResource");
       let idSchema = getPropertyOf(json, "id");
       globalThis.expect([
@@ -705,7 +705,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       newrecord.visibility = "Internal";
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       globalThis.expect(Stdlib_Option.flatMap(getProperty(json, "x-reventless-visibility"), Stdlib_JSON.Decode.string)).toBe("Internal");
     });
     globalThis.test("omits x-reventless-visibility when visibility is None (default Public)", () => {
@@ -716,7 +716,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       newrecord.visibility = undefined;
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       globalThis.expect(getProperty(json, "x-reventless-visibility")).toBe(undefined);
     });
     globalThis.test("emits x-reventless-live at top level when live is declared", () => {
@@ -726,11 +726,11 @@ globalThis.describe("SuryToJsonSchema:", () => {
       let newrecord = {...emptySpec};
       newrecord.live = false;
       let spec = newrecord;
-      let offJson = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec));
+      let offJson = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec));
       let newrecord$1 = {...emptySpec};
       newrecord$1.live = true;
       let spec$1 = newrecord$1;
-      let onJson = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec$1));
+      let onJson = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec$1));
       globalThis.expect([
         Stdlib_Option.flatMap(getProperty(offJson, "x-reventless-live"), Stdlib_JSON.Decode.bool),
         Stdlib_Option.flatMap(getProperty(onJson, "x-reventless-live"), Stdlib_JSON.Decode.bool)
@@ -747,7 +747,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       newrecord.live = undefined;
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       globalThis.expect(getProperty(json, "x-reventless-live")).toBe(undefined);
     });
     globalThis.test("emits x-reventless-live and x-reventless-visibility together", () => {
@@ -759,7 +759,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       newrecord.visibility = "Internal";
       let spec = newrecord;
       let schema$p = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$p);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$p);
       globalThis.expect([
         Stdlib_Option.flatMap(getProperty(json, "x-reventless-visibility"), Stdlib_JSON.Decode.string),
         Stdlib_Option.flatMap(getProperty(json, "x-reventless-live"), Stdlib_JSON.Decode.bool)
@@ -793,7 +793,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
         name: s.m(Sury.string),
         count: s.m(Sury.int)
       }));
-      let derived = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema);
+      let derived = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema);
       let native = Sury.toJSONSchema(schema);
       globalThis.expect(sortStrings(getKeys(derived))).toEqual(sortStrings(getKeys(native)));
     });
@@ -802,7 +802,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
         id: s.m(Sury.string),
         name: s.m(Sury.string)
       }));
-      let derived = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema);
+      let derived = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema);
       let native = Sury.toJSONSchema(schema);
       globalThis.expect(sortStrings(getRequired(derived))).toEqual(sortStrings(getRequired(native)));
     });
@@ -826,7 +826,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       let schema = Sury.$schema(s => ({
         orderId: s.m(DcbTag$Reventless.string)
       }));
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema);
       globalThis.expect(formatOf(json, "orderId")).toEqual("uuid");
       globalThis.expect(Reference$Reventless.getTarget(schema)).toBe(undefined);
     });
@@ -835,7 +835,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       let schema = Sury.$schema(s => ({
         customerId: s.m(field)
       }));
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema);
       globalThis.expect(formatOf(json, "customerId")).toEqual("uuid");
       globalThis.expect(DcbTag$Reventless.isTagged(field)).toBe(false);
     });
@@ -849,7 +849,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
         customerId: s.m(Reference$Reventless.to_(undefined, undefined, "Customer")),
         placedAt: s.m(DateTime$Reventless.string)
       }));
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema);
       let semanticOf = fieldName => Stdlib_Option.flatMap(getPropertyOf(json, fieldName), s => getProperty(s, "x-reventless-semantic"));
       globalThis.expect(semanticOf("customerId")).toBe(undefined);
       globalThis.expect(semanticOf("placedAt")).toBe(undefined);
@@ -862,7 +862,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
         productId: s.m(Sury.string),
         imageUrl: s.m(StorageRef$Reventless.forStore(undefined, "productImages"))
       }));
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema);
       globalThis.expect(semanticOf(json, "imageUrl")).toEqual("storageRef");
       globalThis.expect(semanticOf(json, "productId")).toBe(undefined);
     });
@@ -870,7 +870,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       let schema = Sury.$schema(s => ({
         imageUrl: s.m(StorageRef$Reventless.forStore("catalog", "productImages"))
       }));
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema);
       let field = getPropertyOf(json, "imageUrl");
       globalThis.expect(Stdlib_Option.flatMap(field, s => getProperty(s, "x-reventless-semantic-source"))).toEqual("type");
       globalThis.expect(Stdlib_Option.flatMap(field, s => getProperty(s, "x-reventless-semantic-target"))).toEqual(Object.fromEntries([
@@ -888,14 +888,14 @@ globalThis.describe("SuryToJsonSchema:", () => {
       let schema = Sury.$schema(s => ({
         imageUrl: s.m(StorageRef$Reventless.forStore(undefined, "productImages"))
       }));
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema);
       globalThis.expect(Stdlib_Option.flatMap(getPropertyOf(json, "imageUrl"), s => getProperty(s, "type"))).toEqual("string");
     });
     globalThis.test("an optional storage-ref field keeps both its semantic and its nullability", () => {
       let schema = Sury.$schema(s => ({
         imageUrl: s.m(Sury.$option(StorageRef$Reventless.forStore(undefined, "productImages")))
       }));
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema);
       globalThis.expect(semanticOf(json, "imageUrl")).toEqual("storageRef");
       globalThis.expect(Stdlib_Option.isSome(Stdlib_Option.flatMap(getPropertyOf(json, "imageUrl"), s => getProperty(s, "oneOf")))).toBe(true);
     });
@@ -910,14 +910,14 @@ globalThis.describe("SuryToJsonSchema:", () => {
         imageUrl: s.m(StorageRef$Reventless.forStore(undefined, "productImages"))
       }));
       let schema$1 = Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, spec);
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(schema$1);
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, schema$1);
       globalThis.expect(semanticOf(json, "imageUrl")).toEqual("storageRef");
     });
   });
   globalThis.describe("a member-reference field:", () => {
     let targetOf = (json, name) => Stdlib_Option.flatMap(getPropertyOf(json, name), s => getProperty(s, "x-reventless-semantic-target"));
     globalThis.test("carries the collection, the view holding it, and what a member is", () => {
-      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$schema(s => ({
+      let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
         productImage: s.m(MemberRef$Reventless.of_(undefined, "Products", Semantic$Reventless.Id.imageRef, "productImages"))
       })));
       globalThis.expect(Stdlib_Option.flatMap(getPropertyOf(json, "productImage"), s => getProperty(s, "x-reventless-semantic"))).toEqual("memberRef");
@@ -937,7 +937,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       ]));
     });
     globalThis.test("omits the view where the collection is on this very record", () => {
-      globalThis.expect(targetOf(SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$schema(s => ({
+      globalThis.expect(targetOf(SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
         productImage: s.m(MemberRef$Reventless.of_(undefined, undefined, undefined, "productImages"))
       }))), "productImage")).toEqual(Object.fromEntries([[
           "field",
@@ -948,14 +948,14 @@ globalThis.describe("SuryToJsonSchema:", () => {
       globalThis.expect(StorageRef$Reventless.getFieldStore(MemberRef$Reventless.of_(undefined, "Products", undefined, "productImages"))).toBe(undefined);
     });
     globalThis.test("stays a plain string on the wire", () => {
-      globalThis.expect(Stdlib_Option.flatMap(getPropertyOf(SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$schema(s => ({
+      globalThis.expect(Stdlib_Option.flatMap(getPropertyOf(SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
         productImage: s.m(MemberRef$Reventless.of_(undefined, undefined, undefined, "productImages"))
       }))), "productImage"), s => getProperty(s, "type"))).toEqual("string");
     });
   });
   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(Sury.$schema(s => ({
+    let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
       contactEmail: s.m(Email$Reventless.schema),
       taxRate: s.m(Percent$Reventless.schema)
     })));
@@ -988,7 +988,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
     });
   });
   globalThis.describe("Money changes the field's shape, and says so:", () => {
-    let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$schema(s => ({
+    let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
       price: s.m(Money$Reventless.schema),
       quantity: s.m(Sury.float)
     })));
@@ -1040,7 +1040,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
     });
   });
   globalThis.describe("DateRange is an object whose parts stay date-times:", () => {
-    let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$schema(s => ({
+    let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
       deliveryWindow: s.m(DateRange$Reventless.schema),
       orderedAt: s.m(DateTime$Reventless.string)
     })));
@@ -1078,7 +1078,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
     });
   });
   globalThis.describe("GeoPoint is an object carrying the geoPoint marker:", () => {
-    let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$schema(s => ({
+    let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
       location: s.m(GeoPoint$Reventless.schema),
       lat: s.m(Sury.float)
     })));
@@ -1120,7 +1120,7 @@ globalThis.describe("SuryToJsonSchema:", () => {
       street: s.m(Sury.string),
       unit: s.m(Sury.$option(Sury.string))
     }));
-    let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(Sury.$schema(s => ({
+    let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, Sury.$schema(s => ({
       id: s.m(Sury.string),
       address: s.m(inner)
     })));

package/tests/api/TaggedUnionSchemaTest.res.mjs

@@ -142,7 +142,7 @@ function objAt(json, key) {
 }
 
 globalThis.describe("SuryToJsonSchema emits the arms as oneOf", () => {
-  let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(TaggedUnionFixtures$ReventlessCore.CustomersSpec.stateSchema);
+  let json = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(undefined, undefined, TaggedUnionFixtures$ReventlessCore.CustomersSpec.stateSchema);
   let field = Stdlib_Option.getOr(Stdlib_Option.flatMap(Stdlib_Option.flatMap(objAt(json, "properties"), p => Stdlib_JSON.Decode.object(p)), p => p["geolocation"]), null);
   globalThis.test("the field names the union it is", () => {
     globalThis.expect(Stdlib_Option.flatMap(objAt(field, "x-reventless-union"), Stdlib_JSON.Decode.string)).toEqual("Geolocation");

package/tests/commandgenerator/CommandGeneratorFixtures.res.mjs

@@ -33,7 +33,7 @@ function commandAuthorization(param) {
 }
 
 function commandTransition(param) {
-  return "Unrestricted";
+  return "Undeclared";
 }
 
 let traits = [];

package/tests/commandtopic/CommandTopicCallbackFixtures.res.mjs

@@ -26,7 +26,7 @@ function commandAuthorization(param) {
 }
 
 function commandTransition(param) {
-  return "Unrestricted";
+  return "Undeclared";
 }
 
 let traits = [];

package/tests/dcb/DcbFixtures.res.mjs

@@ -157,7 +157,7 @@ function commandAuthorization(param) {
 }
 
 function commandTransition(param) {
-  return "Unrestricted";
+  return "Undeclared";
 }
 
 let traits = [];

package/tests/eventmapper/EventMapperFixtures.res.mjs

@@ -154,7 +154,7 @@ function commandAuthorization(param) {
 }
 
 function commandTransition(param) {
-  return "Unrestricted";
+  return "Undeclared";
 }
 
 let traits = [];

package/tests/extensionpoint/ExtensionPointFixtures.res.mjs

@@ -31,7 +31,7 @@ function commandAuthorization(param) {
 }
 
 function commandTransition(param) {
-  return "Unrestricted";
+  return "Undeclared";
 }
 
 let traits = [];

package/tests/extensionpoint/ExtensionPointOperationsTest.res.mjs

@@ -26,7 +26,7 @@ function commandAuthorization(param) {
 }
 
 function commandTransition(param) {
-  return "Unrestricted";
+  return "Undeclared";
 }
 
 let traits = [];