@reventlessdev/reventless-spec 3.0.0-alpha.128 → 3.0.0-alpha.130

package/src/components/Plugin.res.mjs

@@ -49,26 +49,18 @@ let apiTargetSchema = Sury.union([
 
 let apiSchemaFragmentOffloadSchema = Offload$Reventless.optionSchema(undefined, "pluginApiFragments", undefined, apiSchemaFragmentSchema);
 
-let dcbEventLogOptionSchema = Sury.$nullAsOption(dcbEventLogDefinitionSchema);
-
-let stringOptionSchema = Sury.$nullAsOption(Sury.string);
-
-let stringArrayOptionSchema = Sury.$nullAsOption(Sury.array(Sury.string));
-
-let boolOptionSchema = Sury.$nullAsOption(Sury.bool);
-
 let panelManifestEntrySchema = Sury.$schema(s => ({
   fragmentId: s.m(Sury.string),
   title: s.m(Sury.string),
   description: s.m(Sury.string),
   positions: s.m(Sury.array(Sury.string)),
-  requiredAccess: s.m(stringOptionSchema)
+  requiredAccess: s.m(Sury.$option(Sury.string))
 }));
 
 let menuEntrySchema = Sury.$schema(s => ({
   label: s.m(Sury.string),
-  icon: s.m(stringOptionSchema),
-  group: s.m(stringOptionSchema),
+  icon: s.m(Sury.$option(Sury.string)),
+  group: s.m(Sury.$option(Sury.string)),
   sortOrder: s.m(Sury.int)
 }));
 
@@ -76,7 +68,7 @@ let pageManifestEntrySchema = Sury.$schema(s => ({
   fragmentId: s.m(Sury.string),
   title: s.m(Sury.string),
   menuEntry: s.m(menuEntrySchema),
-  requiredAccess: s.m(stringOptionSchema)
+  requiredAccess: s.m(Sury.$option(Sury.string))
 }));
 
 let uiFragmentManifestSchema = Sury.$schema(s => ({
@@ -85,7 +77,7 @@ let uiFragmentManifestSchema = Sury.$schema(s => ({
   pages: s.m(Sury.array(pageManifestEntrySchema))
 }));
 
-let uiFragmentManifestOptionSchema = Sury.$nullAsOption(uiFragmentManifestSchema);
+let uiFragmentManifestOptionSchema = Sury.$option(uiFragmentManifestSchema);
 
 let commandLevelSchema = Sury.union([
   Sury.literal("Collection"),
@@ -95,21 +87,22 @@ let commandLevelSchema = Sury.union([
 let fieldReferenceSchema = Sury.$schema(s => ({
   fieldName: s.m(Sury.string),
   entity: s.m(Sury.string),
-  plugin: s.m(stringOptionSchema)
+  plugin: s.m(Sury.$option(Sury.string))
 }));
 
 let commandDefSchema = Sury.$schema(s => ({
   name: s.m(Sury.string),
   schema: s.m(Sury.string),
   level: s.m(commandLevelSchema),
-  aggregateIdField: s.m(stringOptionSchema),
+  aggregateIdField: s.m(Sury.$option(Sury.string)),
   mutationField: s.m(Sury.string),
   references: s.m(Sury.array(fieldReferenceSchema)),
-  allowedStates: s.m(stringArrayOptionSchema),
-  targetState: s.m(stringOptionSchema),
-  apiExposed: s.m(boolOptionSchema),
-  requiredAccess: s.m(stringArrayOptionSchema),
-  ownerField: s.m(stringOptionSchema)
+  allowedStates: s.m(Sury.$option(Sury.array(Sury.string))),
+  targetState: s.m(Sury.$option(Sury.string)),
+  allowedStatesSource: s.m(Sury.$option(Sury.string)),
+  apiExposed: s.m(Sury.$option(Sury.bool)),
+  requiredAccess: s.m(Sury.$option(Sury.array(Sury.string))),
+  ownerField: s.m(Sury.$option(Sury.string))
 }));
 
 let queryableDefSchema = Sury.$schema(s => ({
@@ -120,18 +113,18 @@ let queryableDefSchema = Sury.$schema(s => ({
   linkedWriteSide: s.m(Sury.array(Sury.string)),
   labelField: s.m(Sury.string),
   searchableFields: s.m(Sury.array(Sury.string)),
-  labelFieldSource: s.m(stringOptionSchema),
-  lifecycleField: s.m(stringOptionSchema),
-  ownerField: s.m(stringOptionSchema),
-  retiredField: s.m(stringOptionSchema),
-  retiredValues: s.m(stringArrayOptionSchema),
-  namedWhenRetired: s.m(boolOptionSchema),
-  visibility: s.m(stringOptionSchema),
-  chapter: s.m(stringOptionSchema),
-  singleQueryField: s.m(stringOptionSchema),
-  idField: s.m(stringOptionSchema),
-  idFieldSource: s.m(stringOptionSchema),
-  requiredAccess: s.m(stringArrayOptionSchema)
+  labelFieldSource: s.m(Sury.$option(Sury.string)),
+  lifecycleField: s.m(Sury.$option(Sury.string)),
+  ownerField: s.m(Sury.$option(Sury.string)),
+  retiredField: s.m(Sury.$option(Sury.string)),
+  retiredValues: s.m(Sury.$option(Sury.array(Sury.string))),
+  namedWhenRetired: s.m(Sury.$option(Sury.bool)),
+  visibility: s.m(Sury.$option(Sury.string)),
+  chapter: s.m(Sury.$option(Sury.string)),
+  singleQueryField: s.m(Sury.$option(Sury.string)),
+  idField: s.m(Sury.$option(Sury.string)),
+  idFieldSource: s.m(Sury.$option(Sury.string)),
+  requiredAccess: s.m(Sury.$option(Sury.array(Sury.string)))
 }));
 
 let eventDefSchema = Sury.$schema(s => ({
@@ -152,10 +145,10 @@ let writableDefSchema = Sury.$schema(s => ({
   producedEventTypes: s.m(Sury.array(Sury.string)),
   consumedEventTypes: s.m(Sury.array(Sury.string)),
   linkedViews: s.m(Sury.array(Sury.string)),
-  consistencyRead: s.m(stringOptionSchema),
+  consistencyRead: s.m(Sury.$option(Sury.string)),
   events: s.m(Sury.array(eventDefSchema)),
   errors: s.m(Sury.array(errorDefSchema)),
-  chapter: s.m(stringOptionSchema)
+  chapter: s.m(Sury.$option(Sury.string))
 }));
 
 let automationSliceDefSchema = Sury.$schema(s => ({
@@ -163,25 +156,25 @@ let automationSliceDefSchema = Sury.$schema(s => ({
   consumedEventTypes: s.m(Sury.array(Sury.string)),
   producedCommandTypes: s.m(Sury.array(Sury.string)),
   targetName: s.m(Sury.string),
-  chapter: s.m(stringOptionSchema)
+  chapter: s.m(Sury.$option(Sury.string))
 }));
 
 let outboundTranslationSliceDefSchema = Sury.$schema(s => ({
   name: s.m(Sury.string),
   consumedEventTypes: s.m(Sury.array(Sury.string)),
   inboundCommandTypes: s.m(Sury.array(Sury.string)),
-  targetName: s.m(stringOptionSchema),
-  externalSystem: s.m(stringOptionSchema),
-  chapter: s.m(stringOptionSchema),
-  consumedSources: s.m(stringArrayOptionSchema)
+  targetName: s.m(Sury.$option(Sury.string)),
+  externalSystem: s.m(Sury.$option(Sury.string)),
+  chapter: s.m(Sury.$option(Sury.string)),
+  consumedSources: s.m(Sury.$option(Sury.array(Sury.string)))
 }));
 
 let inboundTranslationSliceDefSchema = Sury.$schema(s => ({
   name: s.m(Sury.string),
   commandTypes: s.m(Sury.array(Sury.string)),
   targetName: s.m(Sury.string),
-  externalSystem: s.m(stringOptionSchema),
-  chapter: s.m(stringOptionSchema)
+  externalSystem: s.m(Sury.$option(Sury.string)),
+  chapter: s.m(Sury.$option(Sury.string))
 }));
 
 let publishedEventDefSchema = Sury.$schema(s => ({
@@ -189,65 +182,51 @@ let publishedEventDefSchema = Sury.$schema(s => ({
   fromEventTypes: s.m(Sury.array(Sury.string))
 }));
 
-let publishedEventDefArrayOptionSchema = Sury.$nullAsOption(Sury.array(publishedEventDefSchema));
-
 let acceptedCommandDefSchema = Sury.$schema(s => ({
   name: s.m(Sury.string),
   toCommandTypes: s.m(Sury.array(Sury.string))
 }));
 
-let acceptedCommandDefArrayOptionSchema = Sury.$nullAsOption(Sury.array(acceptedCommandDefSchema));
-
 let handledEventDefSchema = Sury.$schema(s => ({
   name: s.m(Sury.string),
   toCommandTypes: s.m(Sury.array(Sury.string))
 }));
 
-let handledEventDefArrayOptionSchema = Sury.$nullAsOption(Sury.array(handledEventDefSchema));
-
 let issuedCommandDefSchema = Sury.$schema(s => ({
   name: s.m(Sury.string),
   fromEventTypes: s.m(Sury.array(Sury.string))
 }));
 
-let issuedCommandDefArrayOptionSchema = Sury.$nullAsOption(Sury.array(issuedCommandDefSchema));
-
 let extensionDefSchema = Sury.$schema(s => ({
   name: s.m(Sury.string),
   delegateNames: s.m(Sury.array(Sury.string)),
   eventTypes: s.m(Sury.array(Sury.string)),
   commandTypes: s.m(Sury.array(Sury.string)),
-  handledEvents: s.m(handledEventDefArrayOptionSchema),
-  issuedCommands: s.m(issuedCommandDefArrayOptionSchema)
+  handledEvents: s.m(Sury.$option(Sury.array(handledEventDefSchema))),
+  issuedCommands: s.m(Sury.$option(Sury.array(issuedCommandDefSchema)))
 }));
 
 let extensionPointDefSchema = Sury.$schema(s => ({
   name: s.m(Sury.string),
   delegateNames: s.m(Sury.array(Sury.string)),
   sourceEventTypes: s.m(Sury.array(Sury.string)),
-  commandTypes: s.m(stringArrayOptionSchema),
-  publishedEvents: s.m(publishedEventDefArrayOptionSchema),
-  acceptedCommands: s.m(acceptedCommandDefArrayOptionSchema)
+  commandTypes: s.m(Sury.$option(Sury.array(Sury.string))),
+  publishedEvents: s.m(Sury.$option(Sury.array(publishedEventDefSchema))),
+  acceptedCommands: s.m(Sury.$option(Sury.array(acceptedCommandDefSchema)))
 }));
 
-let extensionPointDefArrayOptionSchema = Sury.$nullAsOption(Sury.array(extensionPointDefSchema));
-
 let requiredStoreDeclarationSchema = Sury.$schema(s => ({
   store: s.m(Sury.string),
   component: s.m(Sury.string),
   field: s.m(Sury.string),
-  annotation: s.m(stringOptionSchema)
+  annotation: s.m(Sury.$option(Sury.string))
 }));
 
-let requiredStoreDeclarationArrayOptionSchema = Sury.$nullAsOption(Sury.array(requiredStoreDeclarationSchema));
-
 let requiredCapabilityDeclarationSchema = Sury.$schema(s => ({
   capability: s.m(Sury.string),
   component: s.m(Sury.string)
 }));
 
-let requiredCapabilityDeclarationArrayOptionSchema = Sury.$nullAsOption(Sury.array(requiredCapabilityDeclarationSchema));
-
 let traitDeclarationSchema = Sury.$schema(s => ({
   trait: s.m(Sury.string),
   version: s.m(Sury.string),
@@ -255,8 +234,6 @@ let traitDeclarationSchema = Sury.$schema(s => ({
   component: s.m(Sury.string)
 }));
 
-let traitDeclarationArrayOptionSchema = Sury.$nullAsOption(Sury.array(traitDeclarationSchema));
-
 let pluginStructureSchema = Sury.$schema(s => ({
   readModels: s.m(Sury.array(queryableDefSchema)),
   stateViewSlices: s.m(Sury.array(queryableDefSchema)),
@@ -266,11 +243,11 @@ let pluginStructureSchema = Sury.$schema(s => ({
   outboundTranslationSlices: s.m(Sury.array(outboundTranslationSliceDefSchema)),
   inboundTranslationSlices: s.m(Sury.array(inboundTranslationSliceDefSchema)),
   extensions: s.m(Sury.array(extensionDefSchema)),
-  extensionPoints: s.m(extensionPointDefArrayOptionSchema),
-  requiredStores: s.m(stringArrayOptionSchema),
-  requiredStoreDeclarations: s.m(requiredStoreDeclarationArrayOptionSchema),
-  requiredCapabilities: s.m(requiredCapabilityDeclarationArrayOptionSchema),
-  traitDeclarations: s.m(traitDeclarationArrayOptionSchema)
+  extensionPoints: s.m(Sury.$option(Sury.array(extensionPointDefSchema))),
+  requiredStores: s.m(Sury.$option(Sury.array(Sury.string))),
+  requiredStoreDeclarations: s.m(Sury.$option(Sury.array(requiredStoreDeclarationSchema))),
+  requiredCapabilities: s.m(Sury.$option(Sury.array(requiredCapabilityDeclarationSchema))),
+  traitDeclarations: s.m(Sury.$option(Sury.array(traitDeclarationSchema)))
 }));
 
 let pluginStructureOffloadSchema = Offload$Reventless.optionSchema(undefined, "pluginStructures", undefined, pluginStructureSchema);
@@ -284,9 +261,9 @@ let pluginDefinitionSchema = Sury.$schema(s => ({
   eventCollector: s.m(Sury.string),
   extensionProtocols: s.m(Sury.array(extensionProtocolSchema)),
   apiSchemaFragment: s.m(apiSchemaFragmentOffloadSchema),
-  apiTarget: s.m(stringOptionSchema),
+  apiTarget: s.m(Sury.$option(Sury.string)),
   structure: s.m(pluginStructureOffloadSchema),
-  dcbEventLog: s.m(dcbEventLogOptionSchema),
+  dcbEventLog: s.m(Sury.$option(dcbEventLogDefinitionSchema)),
   kind: s.m(pluginKindSchema)
 }));
 
@@ -301,10 +278,6 @@ export {
   apiSchemaFragmentSchema,
   apiTargetSchema,
   apiSchemaFragmentOffloadSchema,
-  dcbEventLogOptionSchema,
-  stringOptionSchema,
-  stringArrayOptionSchema,
-  boolOptionSchema,
   panelManifestEntrySchema,
   menuEntrySchema,
   pageManifestEntrySchema,
@@ -321,22 +294,14 @@ export {
   outboundTranslationSliceDefSchema,
   inboundTranslationSliceDefSchema,
   publishedEventDefSchema,
-  publishedEventDefArrayOptionSchema,
   acceptedCommandDefSchema,
-  acceptedCommandDefArrayOptionSchema,
   handledEventDefSchema,
-  handledEventDefArrayOptionSchema,
   issuedCommandDefSchema,
-  issuedCommandDefArrayOptionSchema,
   extensionDefSchema,
   extensionPointDefSchema,
-  extensionPointDefArrayOptionSchema,
   requiredStoreDeclarationSchema,
-  requiredStoreDeclarationArrayOptionSchema,
   requiredCapabilityDeclarationSchema,
-  requiredCapabilityDeclarationArrayOptionSchema,
   traitDeclarationSchema,
-  traitDeclarationArrayOptionSchema,
   pluginStructureSchema,
   pluginStructureOffloadSchema,
   pluginDefinitionSchema,

package/src/components/Reference.res

@@ -62,6 +62,11 @@ Only wrappers around the field's own value are followed — the optional union a
 the array element, to any depth. Object properties are not: a reference declared
 on a nested record's field belongs to that field, and attributing it to the
 enclosing one would name the wrong field.
+
+That is still the right answer to the question this asks. A caller collecting
+*every* reference a command or event declares — including the ones on the fields
+of records it holds — wants [`collectFieldTargets`], which names each one by its
+own path.
 */
 let rec getFieldTarget = (schema: S.t<unknown>): option<target> =>
   switch getTarget(schema) {
@@ -75,6 +80,49 @@ let rec getFieldTarget = (schema: S.t<unknown>): option<target> =>
     }
   }
 
+/**
+Every reference a field declares, each paired with the path that names it.
+
+A reference on the field's own value keeps the bare field name (`customerId`), so
+nothing that reads today's paths has to learn the new form to go on working. One
+declared on a field of a record the field holds is named by its path:
+`lineItems[].productId` — `[]` for "each element of", `.` for "property of", and
+no index, because a marker lives on the element *schema* and so applies to every
+element or to none.
+
+⚠️ A path is a **widened** contract, not a compatible one, for a consumer that
+uses the name as a dictionary key into a value's properties: such a consumer
+simply misses a nested reference and falls back to whatever it does for an
+unreferenced field. That degradation is the correct one, but it is a degradation.
+
+Only one record deep, matching [`DcbTag.nestedRecordProperties`], which is the
+walk shared with the tag extraction so a marker is found in the same places by
+both.
+*/
+let collectFieldTargets = (
+  fieldName: string,
+  schema: S.t<unknown>,
+): array<(string, target)> =>
+  switch getFieldTarget(schema) {
+  | Some(target) => [(fieldName, target)]
+  | None =>
+    switch DcbTag.nestedRecordProperties(schema) {
+    | None => []
+    | Some((properties, isList)) =>
+      let prefix = isList ? fieldName ++ "[]" : fieldName
+      properties
+      ->Dict.toArray
+      ->Array.filterMap(((propName, propSchema)) =>
+        propName === "TAG"
+          ? None
+          : getFieldTarget(propSchema)->Option.map(target => (
+              `${prefix}.${propName}`,
+              target,
+            ))
+      )
+    }
+  }
+
 /**
 Like `to_` but does not imply DCB tag semantics.
 Use with `@ref("Entity") @noDcbTag` when the field references another entity

package/src/components/Reference.res.mjs

@@ -1,6 +1,7 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as Sury from "sury";
+import * as Stdlib_Array from "@rescript/runtime/lib/es6/Stdlib_Array.js";
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as DcbTag$Reventless from "./DcbTag.res.mjs";
 import * as Semantic$Reventless from "../semantic/Semantic.res.mjs";
@@ -53,6 +54,32 @@ function getFieldTarget(_schema) {
   };
 }
 
+function collectFieldTargets(fieldName, schema) {
+  let target = getFieldTarget(schema);
+  if (target !== undefined) {
+    return [[
+        fieldName,
+        target
+      ]];
+  }
+  let match = DcbTag$Reventless.nestedRecordProperties(schema);
+  if (match === undefined) {
+    return [];
+  }
+  let prefix = match[1] ? fieldName + "[]" : fieldName;
+  return Stdlib_Array.filterMap(Object.entries(match[0]), param => {
+    let propName = param[0];
+    if (propName === "TAG") {
+      return;
+    } else {
+      return Stdlib_Option.map(getFieldTarget(param[1]), target => [
+        prefix + `.` + propName,
+        target
+      ]);
+    }
+  });
+}
+
 function toWithoutDcbTag(plugin, entity) {
   return Semantic$Reventless.mark(Sury.string, Semantic$Reventless.Id.reference, {
     TAG: "ReferenceTo",
@@ -67,6 +94,7 @@ export {
   to_,
   getTarget,
   getFieldTarget,
+  collectFieldTargets,
   toWithoutDcbTag,
 }
 /* sury Not a pure module */

package/src/generator/Codegen.res

@@ -350,6 +350,7 @@ let renderPluginStructureCall = (
   ~extensions: array<string>,
   ~extensionPoints: array<Pairing.extensionPointDef>,
   ~componentChapters: array<(string, string)>,
+  ~hasLifecycleModel: bool,
 ): option<array<string>> => {
   // The structure call carries the EP *mapping* files (one per Delegate
   // connection), not the wrapped ExtensionPoint module — Plugin_Structure reads
@@ -428,6 +429,15 @@ let renderPluginStructureCall = (
         )
       ls->Array.push("    ~componentChapters=Dict.fromArray([" ++ entries->Array.join(", ") ++ "]),")
     }
+    // What the plugin's own scenarios say about each command's lifecycle edge.
+    // Written by `check:lifecycle:update`, not here: the sidecars it harvests are
+    // produced by the build this generator runs *before*, so a generator-written
+    // model would always be one build stale and a cold clone would have none at
+    // all. Referenced only when the file is on disk, so a plugin that has never
+    // been harvested keeps a byte-identical generated Plugin.res.
+    if hasLifecycleModel {
+      ls->Array.push("    ~lifecycleModel=LifecycleModel.model,")
+    }
     ls->Array.push("  )")
     Some(ls)
   }
@@ -595,6 +605,7 @@ let renderComposition = (
   ~config: Config.config,
   ~resolved: Pairing.resolved,
   ~componentChapters: array<(string, string)>,
+  ~hasLifecycleModel: bool,
 ): string => {
   let lines: array<string> = []
 
@@ -740,6 +751,7 @@ let renderComposition = (
     ~extensions=resolved.extensions,
     ~extensionPoints=resolved.extensionPoints,
     ~componentChapters,
+    ~hasLifecycleModel,
   )
   let hasPluginStructure = pluginStructureLines->Option.isSome
   switch pluginStructureLines {
@@ -833,6 +845,7 @@ let render = (
   ~config: Config.config,
   ~resolved: Pairing.resolved,
   ~discovered: array<Discovery.discoveredFile>,
+  ~hasLifecycleModel: bool=false,
 ): string => {
   validateUniqueSpecStems(~discovered)
   validateSliceTargets(~resolved)
@@ -858,6 +871,6 @@ let render = (
     )
   switch config.variant {
   | Aws({compositionNamespace}) => renderAwsWrapper(~compositionNamespace)
-  | Composition => renderComposition(~config, ~resolved, ~componentChapters)
+  | Composition => renderComposition(~config, ~resolved, ~componentChapters, ~hasLifecycleModel)
   }
 }

package/src/generator/Codegen.res.mjs

@@ -239,7 +239,7 @@ function renderTaskMakeParam(tasks) {
   return "      ~tasks=[" + entries.join(", ") + "],";
 }
 
-function renderPluginStructureCall(name, aggregates, readModels, stateViewSlices, stateViewSlicesStream, stateChangeSlices, automationSlices, outboundTranslationSlices, inboundTranslationSlices, extensions, extensionPoints, componentChapters) {
+function renderPluginStructureCall(name, aggregates, readModels, stateViewSlices, stateViewSlicesStream, stateChangeSlices, automationSlices, outboundTranslationSlices, inboundTranslationSlices, extensions, extensionPoints, componentChapters, hasLifecycleModel) {
   let epMappingStems = extensionPoints.flatMap(param => param.mappings);
   let hasComponents = aggregates.length !== 0 || readModels.length !== 0 || stateViewSlices.length !== 0 || stateViewSlicesStream.length !== 0 || stateChangeSlices.length !== 0 || automationSlices.length !== 0 || outboundTranslationSlices.length !== 0 || inboundTranslationSlices.length !== 0 || extensions.length !== 0 || epMappingStems.length !== 0;
   if (!hasComponents) {
@@ -295,6 +295,9 @@ function renderPluginStructureCall(name, aggregates, readModels, stateViewSlices
     let entries$8 = componentChapters.map(param => "(\"" + param[0] + "\", \"" + param[1] + "\")");
     ls.push("    ~componentChapters=Dict.fromArray([" + entries$8.join(", ") + "]),");
   }
+  if (hasLifecycleModel) {
+    ls.push("    ~lifecycleModel=LifecycleModel.model,");
+  }
   ls.push("  )");
   return ls;
 }
@@ -394,7 +397,7 @@ function renderAwsWrapper(compositionNamespace) {
   ].join("\n");
 }
 
-function renderComposition(config, resolved, componentChapters) {
+function renderComposition(config, resolved, componentChapters, hasLifecycleModel) {
   let lines = [];
   lines.push("// AUTO-GENERATED — do not edit. Run `npm run generate` to update.");
   lines.push("");
@@ -459,7 +462,7 @@ function renderComposition(config, resolved, componentChapters) {
     lines.push("  // Extensions");
     push(renderExtensions(resolved.extensions));
   }
-  let pluginStructureLines = renderPluginStructureCall(config.name, resolved.aggregates, resolved.readModels, resolved.stateViewSlices, resolved.stateViewSlicesStream, resolved.stateChangeSlices, resolved.automationSlices, resolved.outboundTranslationSlices, resolved.inboundTranslationSlices, resolved.extensions, resolved.extensionPoints, componentChapters);
+  let pluginStructureLines = renderPluginStructureCall(config.name, resolved.aggregates, resolved.readModels, resolved.stateViewSlices, resolved.stateViewSlicesStream, resolved.stateChangeSlices, resolved.automationSlices, resolved.outboundTranslationSlices, resolved.inboundTranslationSlices, resolved.extensions, resolved.extensionPoints, componentChapters, hasLifecycleModel);
   let hasPluginStructure = Stdlib_Option.isSome(pluginStructureLines);
   if (pluginStructureLines !== undefined) {
     pluginStructureLines.forEach(l => {
@@ -517,7 +520,8 @@ function renderComposition(config, resolved, componentChapters) {
   return lines.join("\n");
 }
 
-function render(config, resolved, discovered) {
+function render(config, resolved, discovered, hasLifecycleModelOpt) {
+  let hasLifecycleModel = hasLifecycleModelOpt !== undefined ? hasLifecycleModelOpt : false;
   validateUniqueSpecStems(discovered);
   validateSliceTargets(resolved);
   let componentStems = [
@@ -533,7 +537,7 @@ function render(config, resolved, discovered) {
   let componentChapters = Discovery$Reventless.chaptersByStem(discovered).filter(param => componentStems.includes(param[0]));
   let match = config.variant;
   if (typeof match !== "object") {
-    return renderComposition(config, resolved, componentChapters);
+    return renderComposition(config, resolved, componentChapters, hasLifecycleModel);
   } else {
     return renderAwsWrapper(match.compositionNamespace);
   }

package/src/generator/GraftTrait.res

@@ -55,7 +55,7 @@ let parseFlags = (args: array<string>): dict<JSON.t> => {
     switch args->Array.get(i) {
     | None => ()
     | Some(arg) if arg->String.startsWith("--") =>
-      let key = arg->String.sliceToEnd(~start=2)
+      let key = arg->String.slice(~start=2, ~end=arg->String.length)
       switch args->Array.get(i + 1) {
       | Some(value) if !(value->String.startsWith("--")) =>
         out->Dict.set(key, JSON.Encode.string(value))
@@ -107,14 +107,14 @@ let arrayFieldNames = (schema: S.t<unknown>): array<string> =>
 // ── Entry point ──────────────────────────────────────────────────────────────
 
 let main = async () => {
-  let argv = NodeProcess.argv->Array.sliceToEnd(~start=2)
+  let argv = NodeProcess.argv->Array.slice(~start=2, ~end=NodeProcess.argv->Array.length)
   switch argv->Array.get(0) {
   | None | Some("") | Some("--help") | Some("-h") => {
       Console.log(usage)
       NodeProcess.exit(argv->Array.length == 0 ? 1 : 0)
     }
   | Some(traitPackage) => {
-      let flags = parseFlags(argv->Array.sliceToEnd(~start=1))
+      let flags = parseFlags(argv->Array.slice(~start=1, ~end=argv->Array.length))
       let stringFlag = key => flags->Dict.get(key)->Option.flatMap(JSON.Decode.string)
       let into = stringFlag("into")
       let tests = stringFlag("tests")
@@ -136,7 +136,8 @@ let main = async () => {
             ->String.replace("trait-", "")
             ->String.split("-")
             ->Array.map(part =>
-              part->String.charAt(0)->String.toUpperCase ++ part->String.sliceToEnd(~start=1)
+              part->String.charAt(0)->String.toUpperCase ++
+                part->String.slice(~start=1, ~end=part->String.length)
             )
             ->Array.join("") ++ "_Scaffold"
           let specifier = `${traitPackage}/src/${scaffoldModule}.res.mjs`

package/src/generator/GraftTrait.res.mjs

@@ -36,7 +36,7 @@ function parseFlags(args) {
         return;
       }
       if (arg.startsWith("--")) {
-        let key = arg.slice(2);
+        let key = arg.slice(2, arg.length);
         let value = args[i + 1 | 0];
         if (value !== undefined && !value.startsWith("--")) {
           out[key] = value;
@@ -83,7 +83,7 @@ function arrayFieldNames(schema) {
 }
 
 async function main() {
-  let argv = process.argv.slice(2);
+  let argv = process.argv.slice(2, process.argv.length);
   let traitPackage = argv[0];
   if (traitPackage !== undefined) {
     switch (traitPackage) {
@@ -92,7 +92,7 @@ async function main() {
       case "-h" :
         break;
       default:
-        let flags = parseFlags(argv.slice(1));
+        let flags = parseFlags(argv.slice(1, argv.length));
         let stringFlag = key => Stdlib_Option.flatMap(flags[key], Stdlib_JSON.Decode.string);
         let into = stringFlag("into");
         let tests = stringFlag("tests");
@@ -103,7 +103,7 @@ async function main() {
         if (tests === undefined) {
           return fail("--into and --tests are both required.\n\n" + usage);
         }
-        let scaffoldModule = Stdlib_Option.getOr(Stdlib_Array.last(traitPackage.split("/")), "").replace("trait-", "").split("-").map(part => part.charAt(0).toUpperCase() + part.slice(1)).join("") + "_Scaffold";
+        let scaffoldModule = Stdlib_Option.getOr(Stdlib_Array.last(traitPackage.split("/")), "").replace("trait-", "").split("-").map(part => part.charAt(0).toUpperCase() + part.slice(1, part.length)).join("") + "_Scaffold";
         let specifier = traitPackage + `/src/` + scaffoldModule + `.res.mjs`;
         let modulePath;
         try {

package/src/generator/PluginGenerator.res

@@ -34,7 +34,10 @@ let () = {
     let config = {...Config.read(~srcDir), variant}
     let discovered = Discovery.scan(~srcDir, ~exclude=config.exclude)
     let resolved = Pairing.resolve(discovered, ~srcDir)
-    let source = Codegen.render(~config, ~resolved, ~discovered)
+    // Sits at the src root rather than in a kind folder, so `Discovery` never
+    // sees it and it is not a component. Its presence is the whole question.
+    let hasLifecycleModel = NodePath.join([srcDir, "LifecycleModel.res"])->NodeFs.existsSync
+    let source = Codegen.render(~config, ~resolved, ~discovered, ~hasLifecycleModel)
 
     let outputDir = switch variant {
     | Config.Composition => srcDir

package/src/generator/PluginGenerator.res.mjs

@@ -56,7 +56,8 @@ if (srcDirArg === "") {
   };
   let discovered = Discovery$Reventless.scan(srcDir, config_exclude);
   let resolved = Pairing$Reventless.resolve(discovered, srcDir);
-  let source = Codegen$Reventless.render(config, resolved, discovered);
+  let hasLifecycleModel = Nodefs.existsSync(Nodepath.join(srcDir, "LifecycleModel.res"));
+  let source = Codegen$Reventless.render(config, resolved, discovered, hasLifecycleModel);
   let outputDir;
   outputDir = typeof variant !== "object" ? srcDir : Nodepath.join(process.cwd(), "src");
   let pluginPath = Nodepath.join(outputDir, "Plugin.res");