@reventlessdev/reventless-core 3.0.0-alpha.238 → 3.0.0-alpha.240

package/src/plugin/component/Plugin_Structure.res.mjs

@@ -65,9 +65,7 @@ let conventionalLabelNames = [
   "displayname"
 ];
 
-function shapeOfItem(entityName, item) {
-  return SchemaType$ReventlessCore.fromSury(entityName, item.location, item.schema);
-}
+let shapeOfField = SchemaType$ReventlessCore.fromSury;
 
 function lifecycleFieldFromStateSchema(entityName, stateSchema) {
   let spec = StateAnnotations$Reventless.getSpec(stateSchema);
@@ -75,13 +73,11 @@ function lifecycleFieldFromStateSchema(entityName, stateSchema) {
   if (annotated !== undefined) {
     return annotated;
   } else if (stateSchema.type === "object") {
-    return Stdlib_Option.map(stateSchema.items.find(item => {
-      if (item.location === "lifecycle") {
-        return isLifecycleShape(shapeOfItem(entityName, item));
-      } else {
-        return false;
+    return Stdlib_Option.flatMap(stateSchema.properties["lifecycle"], schema => {
+      if (isLifecycleShape(SchemaType$ReventlessCore.fromSury(entityName, "lifecycle", schema))) {
+        return "lifecycle";
       }
-    }), item => item.location);
+    });
   } else {
     return;
   }
@@ -102,14 +98,18 @@ function retiredValuesFromStateSchema(stateSchema) {
   return Stdlib_Option.flatMap(retiredFromStateSchema(stateSchema), r => r.values);
 }
 
+function namedWhenRetiredFromStateSchema(stateSchema) {
+  return Stdlib_Option.mapOr(retiredFromStateSchema(stateSchema), false, r => r.namedWhenRetired);
+}
+
 function checkRetiredValue(entityName, stateSchema) {
   let match = retiredFromStateSchema(stateSchema);
   if (match === undefined) {
-    return;
+    return "NotDeclared";
   }
   let values = match.values;
   if (values === undefined) {
-    return;
+    return "NotDeclared";
   }
   let field = match.field;
   let named = values.join(", ");
@@ -118,8 +118,8 @@ function checkRetiredValue(entityName, stateSchema) {
     log.warn("Plugin_Structure", undefined, entityName + `: @retired(` + named + `) is on "` + field + `", which is not this record's lifecycle field` + Stdlib_Option.getOr(Stdlib_Option.map(lifecycle, f => ` (that is "` + f + `")`), " (it declares none)") + `. A retirement state no command's @transition can name loses the command filtering the state form exists for.`);
   }
   let declared;
-  declared = stateSchema.type === "object" ? Stdlib_Option.getOr(Stdlib_Option.map(stateSchema.items.find(item => item.location === field), item => {
-      let match = shapeOfItem(entityName, item);
+  declared = stateSchema.type === "object" ? Stdlib_Option.getOr(Stdlib_Option.map(stateSchema.properties[field], schema => {
+      let match = SchemaType$ReventlessCore.fromSury(entityName, field, schema);
       if (typeof match !== "object") {
         return [];
       }
@@ -139,17 +139,33 @@ function checkRetiredValue(entityName, stateSchema) {
           return [];
       }
     }), []) : [];
-  if (declared.length !== 0) {
-    values.filter(v => !declared.includes(v)).forEach(v => log.warn("Plugin_Structure", undefined, entityName + `: @retired(` + v + `) names a state "` + field + `" does not declare — known values: ` + declared.join(", ") + `.`));
-    return;
+  if (declared.length === 0) {
+    return {
+      TAG: "Unchecked",
+      _0: entityName + `: @retired(` + named + `) is on "` + field + `", whose shape carries no cases to check the names against.`
+    };
+  } else {
+    return {
+      TAG: "Checked",
+      _0: values.filter(v => !declared.includes(v)).map(v => entityName + `: @retired(` + v + `) names a state "` + field + `" does not declare — known values: ` + declared.join(", ") + `.`)
+    };
+  }
+}
+
+function reportRetiredStates(pluginName, failures, unchecked) {
+  if (unchecked.length !== 0) {
+    log.warn("Plugin_Structure", undefined, pluginName + `: ` + unchecked.length.toString() + ` @retired declaration(s) could not be checked.\n` + unchecked.join("\n"));
+  }
+  if (failures.length !== 0) {
+    return Stdlib_JsError.throwWithMessage(pluginName + `: @retired names states that do not exist.\n` + failures.join("\n"));
   }
 }
 
 function lifecycleStatesFromStateSchema(entityName, stateSchema) {
   return Stdlib_Option.flatMap(lifecycleFieldFromStateSchema(entityName, stateSchema), field => {
     if (stateSchema.type === "object") {
-      return Stdlib_Option.map(stateSchema.items.find(item => item.location === field), item => {
-        let match = shapeOfItem(entityName, item);
+      return Stdlib_Option.map(stateSchema.properties[field], schema => {
+        let match = SchemaType$ReventlessCore.fromSury(entityName, field, schema);
         if (typeof match !== "object") {
           return [];
         }
@@ -215,29 +231,17 @@ function lifecycleTopologyFindings(writables, lifecycleStatesByView) {
   Object.entries(lifecycleStatesByView).forEach(param => {
     let states = param[1];
     let view = param[0];
-    let edges = Stdlib_Array.reduce(writables, [], (acc, w) => {
+    let reachable = Stdlib_Array.reduce(writables, [], (acc, w) => {
       if (w.linkedViews.includes(view)) {
-        return acc.concat(Stdlib_Array.reduce(w.commands, [], (inner, cmd) => {
-          let match = cmd.allowedStates;
-          let match$1 = cmd.targetState;
-          if (match !== undefined && match$1 !== undefined) {
-            return inner.concat(match.map(from => [
-              from,
-              match$1
-            ]));
-          } else {
-            return inner;
-          }
-        }));
+        return acc.concat(Stdlib_Array.filterMap(w.commands, cmd => cmd.targetState));
       } else {
         return acc;
       }
     });
-    if (edges.length === 0) {
+    if (reachable.length === 0) {
       return;
     }
     let initial = states[0];
-    let reachable = edges.map(param => param[1]);
     states.forEach(state => {
       if (!reachable.includes(state) && Primitive_object.notequal(state, initial)) {
         findings.push([
@@ -278,29 +282,30 @@ function labelFieldsFromStateSchema(entityName, stateSchema) {
     };
   }
   let candidates;
-  candidates = stateSchema.type === "object" ? stateSchema.items.filter(item => {
-      if (item.location !== "TAG" && item.location !== "id") {
-        return isLabelShape(shapeOfItem(entityName, item));
+  candidates = stateSchema.type === "object" ? Object.entries(stateSchema.properties).filter(param => {
+      let name = param[0];
+      if (name !== "TAG" && name !== "id") {
+        return isLabelShape(SchemaType$ReventlessCore.fromSury(entityName, name, param[1]));
       } else {
         return false;
       }
     }) : [];
-  let conventional = candidates.find(item => {
-    let lower = item.location.toLowerCase();
+  let conventional = candidates.find(param => {
+    let lower = param[0].toLowerCase();
     return conventionalLabelNames.some(n => n === lower);
   });
   let picked = conventional !== undefined ? [
-      conventional,
+      conventional[0],
       "Convention"
-    ] : Stdlib_Option.map(candidates[0], item => [
-      item,
+    ] : Stdlib_Option.map(candidates[0], param => [
+      param[0],
       "Position"
     ]);
   if (picked !== undefined) {
-    let item = picked[0];
+    let name = picked[0];
     return {
-      field: item.location,
-      searchableFields: [item.location],
+      field: name,
+      searchableFields: [name],
       source: picked[1]
     };
   }
@@ -357,7 +362,7 @@ function toEventDef(v) {
 }
 
 function extractEventDefs(eventSchema) {
-  if (eventSchema.type === "union") {
+  if (eventSchema.type === "anyOf") {
     return Stdlib_Array.filterMap(eventSchema.anyOf, toEventDef);
   } else {
     return Stdlib_Option.mapOr(toEventDef(eventSchema), [], def => [def]);
@@ -372,19 +377,8 @@ function extractErrorDefs(errorSchema) {
   }));
 }
 
-function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChangeSlicesOpt, automationSlicesOpt, outboundTranslationSlicesOpt, inboundTranslationSlicesOpt, extensionsOpt, extensionPointsOpt, componentChaptersOpt) {
-  let aggregates = aggregatesOpt !== undefined ? aggregatesOpt : [];
-  let readModels = readModelsOpt !== undefined ? readModelsOpt : [];
-  let stateViewSlices = stateViewSlicesOpt !== undefined ? stateViewSlicesOpt : [];
-  let stateChangeSlices = stateChangeSlicesOpt !== undefined ? stateChangeSlicesOpt : [];
-  let automationSlices = automationSlicesOpt !== undefined ? automationSlicesOpt : [];
-  let outboundTranslationSlices = outboundTranslationSlicesOpt !== undefined ? outboundTranslationSlicesOpt : [];
-  let inboundTranslationSlices = inboundTranslationSlicesOpt !== undefined ? inboundTranslationSlicesOpt : [];
-  let extensions = extensionsOpt !== undefined ? extensionsOpt : [];
-  let extensionPoints = extensionPointsOpt !== undefined ? extensionPointsOpt : [];
-  let componentChapters = componentChaptersOpt !== undefined ? componentChaptersOpt : ({});
-  let qualify = (prefix, names) => names.map(n => prefix + "." + n);
-  let isCreateCommandName = name => [
+function isCreateCommandName(name) {
+  return [
     "Add",
     "Create",
     "Register",
@@ -394,135 +388,193 @@ function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChang
     "Start",
     "Place"
   ].some(p => name.startsWith(p));
-  let commandLevelAndId = (isAggregate, variantName, properties) => {
-    if (isAggregate) {
-      if (isCreateCommandName(variantName)) {
-        return [
-          "Collection",
-          undefined
-        ];
-      } else {
-        return [
-          "Instance",
-          undefined
-        ];
-      }
-    }
-    let taggedFields = Object.entries(properties).filter(param => {
-      let fieldSchema = param[1];
-      if (param[0] !== "TAG") {
-        if (DcbTag$Reventless.isTagged(fieldSchema)) {
-          return true;
-        } else {
-          return DcbTag$Reventless.isTaggedArray(fieldSchema);
-        }
-      } else {
-        return false;
-      }
-    });
-    let taggedField = Stdlib_Option.orElse(taggedFields.find(param => DcbTag$Reventless.isPartitionTag(param[1])), taggedFields[0]);
-    if (taggedField === undefined) {
-      return [
-        "Collection",
-        undefined
-      ];
-    }
-    let fieldName = taggedField[0];
+}
+
+function commandLevelAndId(isAggregate, variantName, properties) {
+  if (isAggregate) {
     if (isCreateCommandName(variantName)) {
       return [
         "Collection",
-        fieldName
+        undefined
       ];
     } else {
       return [
         "Instance",
-        fieldName
+        undefined
       ];
     }
-  };
-  let accessKeysFor = rule => {
-    if (typeof rule !== "object") {
-      return;
+  }
+  let taggedFields = Object.entries(properties).filter(param => {
+    let fieldSchema = param[1];
+    if (param[0] !== "TAG") {
+      if (DcbTag$Reventless.isTagged(fieldSchema)) {
+        return true;
+      } else {
+        return DcbTag$Reventless.isTaggedArray(fieldSchema);
+      }
+    } else {
+      return false;
     }
-    let groups = rule._0;
-    if (groups.length !== 0) {
-      return groups;
+  });
+  let taggedField = Stdlib_Option.orElse(taggedFields.find(param => DcbTag$Reventless.isPartitionTag(param[1])), taggedFields[0]);
+  if (taggedField === undefined) {
+    return [
+      "Collection",
+      undefined
+    ];
+  }
+  let fieldName = taggedField[0];
+  if (isCreateCommandName(variantName)) {
+    return [
+      "Collection",
+      fieldName
+    ];
+  } else {
+    return [
+      "Instance",
+      fieldName
+    ];
+  }
+}
+
+function accessKeysFor(rule) {
+  if (typeof rule !== "object") {
+    return;
+  }
+  let groups = rule._0;
+  if (groups.length !== 0) {
+    return groups;
+  }
+}
+
+function annotateArgTypes(schema, argTypes) {
+  Stdlib_Option.forEach(Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(schema), o => o["properties"]), Stdlib_JSON.Decode.object), props => {
+    Object.entries(props).forEach(param => {
+      let match = argTypes[param[0]];
+      let match$1 = Stdlib_JSON.Decode.object(param[1]);
+      if (match !== undefined && match$1 !== undefined) {
+        match$1["x-reventless-graphql-type"] = match;
+        return;
+      }
+    });
+  });
+  return schema;
+}
+
+function toCommandDef(isAggregate, mutationFieldFor, parentSchema, commandAuthorization, v) {
+  let mkDef = (variantName, properties) => {
+    let match = commandLevelAndId(isAggregate, variantName, properties);
+    let references = extractReferences(properties);
+    let allowedStates = ApiAllowedStatesHelpers$ReventlessCore.getAllowedStates(parentSchema, variantName);
+    let targetState = ApiTargetStateHelpers$ReventlessCore.getTargetState(parentSchema, variantName);
+    let apiExposed = false;
+    if (!ApiNoApiHelpers$ReventlessCore.isNoApi(parentSchema)) {
+      let excluded = ApiNoApiHelpers$ReventlessCore.getExcludedVariants(parentSchema);
+      apiExposed = excluded !== undefined ? !excluded.has(variantName) : true;
     }
+    let syntheticCommand = DcbTag$Reventless.isVariantPayloadBearing(parentSchema, variantName) ? ({
+        TAG: variantName
+      }) : variantName;
+    let requiredAccess = accessKeysFor(commandAuthorization(syntheticCommand));
+    let mutationField = apiExposed ? mutationFieldFor(variantName) : "";
+    let jsonSchema = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(v);
+    let annotatedSchema = apiExposed ? Stdlib_Option.mapOr(GraphQL_FragmentGenerator$ReventlessCore.mutationArgTypes(mutationField, v), jsonSchema, __x => annotateArgTypes(jsonSchema, __x)) : jsonSchema;
+    return {
+      name: variantName,
+      schema: JSON.stringify(annotatedSchema),
+      level: match[0],
+      aggregateIdField: match[1],
+      mutationField: mutationField,
+      references: references,
+      allowedStates: allowedStates,
+      targetState: targetState,
+      apiExposed: apiExposed,
+      requiredAccess: requiredAccess,
+      ownerField: Owner$Reventless.fieldNamesOfProperties(properties)[0]
+    };
   };
-  let toCommandDef = (isAggregate, mutationFieldFor, parentSchema, commandAuthorization, v) => {
-    let mkDef = (variantName, properties) => {
-      let match = commandLevelAndId(isAggregate, variantName, properties);
-      let references = extractReferences(properties);
-      let allowedStates = ApiAllowedStatesHelpers$ReventlessCore.getAllowedStates(parentSchema, variantName);
-      let targetState = ApiTargetStateHelpers$ReventlessCore.getTargetState(parentSchema, variantName);
-      let apiExposed = false;
-      if (!ApiNoApiHelpers$ReventlessCore.isNoApi(parentSchema)) {
-        let excluded = ApiNoApiHelpers$ReventlessCore.getExcludedVariants(parentSchema);
-        apiExposed = excluded !== undefined ? !excluded.has(variantName) : true;
+  switch (v.type) {
+    case "string" :
+      let variantName = v.const;
+      if (variantName !== undefined) {
+        return mkDef(variantName, {});
+      } else {
+        return;
       }
-      let syntheticCommand = DcbTag$Reventless.isVariantPayloadBearing(parentSchema, variantName) ? ({
-          TAG: variantName
-        }) : variantName;
-      let requiredAccess = accessKeysFor(commandAuthorization(syntheticCommand));
-      let mutationField = apiExposed ? mutationFieldFor(variantName) : "";
-      let jsonSchema = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(v);
-      let annotatedSchema = apiExposed ? Stdlib_Option.mapOr(GraphQL_FragmentGenerator$ReventlessCore.mutationArgTypes(mutationField, v), jsonSchema, __x => {
-          Stdlib_Option.forEach(Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(jsonSchema), o => o["properties"]), Stdlib_JSON.Decode.object), props => {
-            Object.entries(props).forEach(param => {
-              let match = __x[param[0]];
-              let match$1 = Stdlib_JSON.Decode.object(param[1]);
-              if (match !== undefined && match$1 !== undefined) {
-                match$1["x-reventless-graphql-type"] = match;
-                return;
-              }
-            });
-          });
-          return jsonSchema;
-        }) : jsonSchema;
-      return {
-        name: variantName,
-        schema: JSON.stringify(annotatedSchema),
-        level: match[0],
-        aggregateIdField: match[1],
-        mutationField: mutationField,
-        references: references,
-        allowedStates: allowedStates,
-        targetState: targetState,
-        apiExposed: apiExposed,
-        requiredAccess: requiredAccess,
-        ownerField: Owner$Reventless.fieldNamesOfProperties(properties)[0]
-      };
-    };
-    switch (v.type) {
-      case "string" :
-        let variantName = v.const;
-        if (variantName !== undefined) {
-          return mkDef(variantName, {});
-        } else {
+    case "object" :
+      let properties = v.properties;
+      return Stdlib_Option.flatMap(properties["TAG"], tagSchema => {
+        if (tagSchema.type !== "string") {
           return;
         }
-      case "object" :
-        let properties = v.properties;
-        return Stdlib_Option.flatMap(properties["TAG"], tagSchema => {
-          if (tagSchema.type !== "string") {
-            return;
-          }
-          let variantName = tagSchema.const;
-          if (variantName !== undefined) {
-            return mkDef(variantName, properties);
-          }
-        });
-      default:
-        return;
-    }
-  };
-  let extractCommandDefs = (isAggregate, mutationFieldFor, commandAuthorization, commandSchema) => {
-    if (commandSchema.type === "union") {
-      return Stdlib_Array.filterMap(commandSchema.anyOf, v => toCommandDef(isAggregate, mutationFieldFor, commandSchema, commandAuthorization, v));
-    } else {
-      return Stdlib_Option.mapOr(toCommandDef(isAggregate, mutationFieldFor, commandSchema, commandAuthorization, commandSchema), [], def => [def]);
-    }
+        let variantName = tagSchema.const;
+        if (variantName !== undefined) {
+          return mkDef(variantName, properties);
+        }
+      });
+    default:
+      return;
+  }
+}
+
+function extractCommandDefs(isAggregate, mutationFieldFor, commandAuthorization, commandSchema) {
+  if (commandSchema.type === "anyOf") {
+    return Stdlib_Array.filterMap(commandSchema.anyOf, v => toCommandDef(isAggregate, mutationFieldFor, commandSchema, commandAuthorization, v));
+  } else {
+    return Stdlib_Option.mapOr(toCommandDef(isAggregate, mutationFieldFor, commandSchema, commandAuthorization, commandSchema), [], def => [def]);
+  }
+}
+
+function visibilityTag(v) {
+  if (v === "Public") {
+    return;
+  } else {
+    return "Internal";
+  }
+}
+
+function queryableDefFromSpec(plugin, name, stateSchema, authorization, visibilityOpt, consumedEventTypesOpt, linkedWriteSideOpt, chapter) {
+  let visibility = visibilityOpt !== undefined ? visibilityOpt : "Public";
+  let consumedEventTypes = consumedEventTypesOpt !== undefined ? consumedEventTypesOpt : [];
+  let linkedWriteSide = linkedWriteSideOpt !== undefined ? linkedWriteSideOpt : [];
+  let qf = Api_Naming$ReventlessCore.queryFieldNamesForReadModel(plugin, name, undefined);
+  let label = labelFieldsFromStateSchema(name, stateSchema);
+  let keyField = GraphQL_FragmentGenerator$ReventlessCore.resolveKeyField(name, stateSchema);
+  return {
+    name: name,
+    queryField: qf.listFieldName,
+    schema: JSON.stringify(SuryToJsonSchema$ReventlessCore.deriveObjectSchema(stateSchema)),
+    consumedEventTypes: consumedEventTypes,
+    linkedWriteSide: linkedWriteSide,
+    labelField: label.field,
+    searchableFields: label.searchableFields,
+    labelFieldSource: labelFieldSourceToString(label.source),
+    lifecycleField: lifecycleFieldFromStateSchema(name, stateSchema),
+    ownerField: Owner$Reventless.fieldNames(stateSchema)[0],
+    retiredField: retiredFieldFromStateSchema(stateSchema),
+    retiredValues: retiredValuesFromStateSchema(stateSchema),
+    namedWhenRetired: namedWhenRetiredFromStateSchema(stateSchema),
+    visibility: visibilityTag(visibility),
+    chapter: chapter,
+    singleQueryField: qf.singleFieldName,
+    idField: Stdlib_Option.map(keyField, param => param[0]),
+    idFieldSource: Stdlib_Option.map(keyField, param => param[1]),
+    requiredAccess: accessKeysFor(authorization)
   };
+}
+
+function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChangeSlicesOpt, automationSlicesOpt, outboundTranslationSlicesOpt, inboundTranslationSlicesOpt, extensionsOpt, extensionPointsOpt, componentChaptersOpt) {
+  let aggregates = aggregatesOpt !== undefined ? aggregatesOpt : [];
+  let readModels = readModelsOpt !== undefined ? readModelsOpt : [];
+  let stateViewSlices = stateViewSlicesOpt !== undefined ? stateViewSlicesOpt : [];
+  let stateChangeSlices = stateChangeSlicesOpt !== undefined ? stateChangeSlicesOpt : [];
+  let automationSlices = automationSlicesOpt !== undefined ? automationSlicesOpt : [];
+  let outboundTranslationSlices = outboundTranslationSlicesOpt !== undefined ? outboundTranslationSlicesOpt : [];
+  let inboundTranslationSlices = inboundTranslationSlicesOpt !== undefined ? inboundTranslationSlicesOpt : [];
+  let extensions = extensionsOpt !== undefined ? extensionsOpt : [];
+  let extensionPoints = extensionPointsOpt !== undefined ? extensionPointsOpt : [];
+  let componentChapters = componentChaptersOpt !== undefined ? componentChaptersOpt : ({});
+  let qualify = (prefix, names) => names.map(n => prefix + "." + n);
   let scsProduced = stateChangeSlices.map(SCS => [
     SCS.Spec.name,
     qualify(name, DcbTag$Reventless.extractVariantNames(SCS.Spec.eventSchema))
@@ -670,7 +722,7 @@ function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChang
         return [];
       }
     };
-    if (schema.type === "union") {
+    if (schema.type === "anyOf") {
       return schema.anyOf.flatMap(fromVariant);
     } else {
       return fromVariant(schema);
@@ -688,16 +740,13 @@ function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChang
     }
   });
   let requiredStores = Belt_SetString.toArray(Belt_SetString.fromArray(requiredStoreDeclarations.map(d => d.store)));
+  let found = Capability_Inference$ReventlessCore.collisions(requiredStoreDeclarations);
+  if (found.length !== 0) {
+    Stdlib_JsError.throwWithMessage(name + `: two declared object stores look like one store misspelled.\n` + found.map(Capability_Inference$ReventlessCore.collisionMessage).join("\n"));
+  }
   storeDeclarationSites.forEach(param => {
     Capability_Inference$ReventlessCore.scanSchema(param[0], param[1]).forEach(w => log.warn("Plugin_Structure", undefined, Capability_Inference$ReventlessCore.message(w)));
   });
-  let visibilityTag = v => {
-    if (v === "Public") {
-      return;
-    } else {
-      return "Internal";
-    }
-  };
   let lifecycleStatesByView = {};
   let recordLifecycle = (entityName, stateSchema) => {
     let states = lifecycleStatesFromStateSchema(entityName, stateSchema);
@@ -706,13 +755,28 @@ function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChang
       return;
     }
   };
+  let retiredFailures = [];
+  let retiredUnchecked = [];
+  let recordRetired = (entityName, stateSchema) => {
+    let why = checkRetiredValue(entityName, stateSchema);
+    if (typeof why !== "object") {
+      return;
+    }
+    if (why.TAG === "Unchecked") {
+      retiredUnchecked.push(why._0);
+      return;
+    }
+    why._0.forEach(f => {
+      retiredFailures.push(f);
+    });
+  };
   let readModelDefs = readModels.map(R => {
     let qf = Api_Naming$ReventlessCore.queryFieldNamesForReadModel(name, R.Spec.name, undefined);
     let stateSchema = R.Spec.stateSchema;
     let label = labelFieldsFromStateSchema(R.Spec.name, stateSchema);
     let keyField = GraphQL_FragmentGenerator$ReventlessCore.resolveKeyField(R.Spec.name, stateSchema);
     let consumed = qualify(name, R.consumedEventNames);
-    checkRetiredValue(R.Spec.name, stateSchema);
+    recordRetired(R.Spec.name, stateSchema);
     recordLifecycle(R.Spec.name, stateSchema);
     return {
       name: R.Spec.name,
@@ -727,6 +791,7 @@ function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChang
       ownerField: Owner$Reventless.fieldNames(stateSchema)[0],
       retiredField: retiredFieldFromStateSchema(stateSchema),
       retiredValues: retiredValuesFromStateSchema(stateSchema),
+      namedWhenRetired: namedWhenRetiredFromStateSchema(stateSchema),
       visibility: visibilityTag(R.Spec.visibility),
       chapter: componentChapters[R.Spec.name],
       singleQueryField: qf.singleFieldName,
@@ -742,7 +807,7 @@ function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChang
     let stateSchema = SVS.Spec.stateSchema;
     let label = labelFieldsFromStateSchema(SVS.Spec.name, stateSchema);
     let keyField = GraphQL_FragmentGenerator$ReventlessCore.resolveKeyField(SVS.Spec.name, stateSchema);
-    checkRetiredValue(SVS.Spec.name, stateSchema);
+    recordRetired(SVS.Spec.name, stateSchema);
     recordLifecycle(SVS.Spec.name, stateSchema);
     return {
       name: SVS.Spec.name,
@@ -757,6 +822,7 @@ function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChang
       ownerField: Owner$Reventless.fieldNames(stateSchema)[0],
       retiredField: retiredFieldFromStateSchema(stateSchema),
       retiredValues: retiredValuesFromStateSchema(stateSchema),
+      namedWhenRetired: namedWhenRetiredFromStateSchema(stateSchema),
       visibility: visibilityTag(SVS.Spec.visibility),
       chapter: componentChapters[SVS.Spec.name],
       singleQueryField: qf.singleFieldName,
@@ -858,6 +924,7 @@ function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChang
   });
   checkDeclaredTransitions(name, stateChangeDefs.concat(aggregateDefs), lifecycleStatesByView);
   checkLifecycleTopology(name, stateChangeDefs.concat(aggregateDefs), lifecycleStatesByView);
+  reportRetiredStates(name, retiredFailures, retiredUnchecked);
   return {
     readModels: readModelDefs,
     stateViewSlices: stateViewDefs,
@@ -878,12 +945,14 @@ export {
   isLabelShape,
   isLifecycleShape,
   conventionalLabelNames,
-  shapeOfItem,
+  shapeOfField,
   lifecycleFieldFromStateSchema,
   retiredFromStateSchema,
   retiredFieldFromStateSchema,
   retiredValuesFromStateSchema,
+  namedWhenRetiredFromStateSchema,
   checkRetiredValue,
+  reportRetiredStates,
   lifecycleStatesFromStateSchema,
   checkDeclaredTransitions,
   lifecycleTopologyFindings,
@@ -894,6 +963,14 @@ export {
   toEventDef,
   extractEventDefs,
   extractErrorDefs,
+  isCreateCommandName,
+  commandLevelAndId,
+  accessKeysFor,
+  annotateArgTypes,
+  toCommandDef,
+  extractCommandDefs,
+  visibilityTag,
+  queryableDefFromSpec,
   make,
 }
 /* log Not a pure module */

package/src/plugin/component/Plugin_SubscriptionSchema.res

@@ -44,7 +44,7 @@ let sourceCFields = (
   mutationEntries->Array.forEach(entry => {
     let schema = entry.commandSchema
     switch schema {
-    | Union({anyOf}) =>
+    | AnyOf({anyOf}) =>
       anyOf->Array.forEachWithIndex((_, i) => {
         let fieldName = entry.fieldNames->Array.get(i)->Option.getOr("")
         if fieldName->String.length > 0 {

package/src/plugin/component/Plugin_SubscriptionSchema.res.mjs

@@ -26,7 +26,7 @@ function sourceCFields(mutationEntries) {
         } else {
           return;
         }
-      case "union" :
+      case "anyOf" :
         schema.anyOf.forEach((param, i) => {
           let fieldName = Stdlib_Option.getOr(entry.fieldNames[i], "");
           if (fieldName.length > 0) {