@reventlessdev/reventless-aws 3.0.0-alpha.396 → 3.0.0-alpha.398

package/src/adapter/Runtime/AutomationSliceEntryPoint_Ops.res

@@ -29,11 +29,11 @@ type handlerEntry = {
   /** Whether `dcbQueueUrl` is a FIFO queue. Absent in a config written before
       the flavor travelled with the URL, where `false` — a standard queue — is
       what these command topics actually are. */
-  commandQueueIsFifo: option<bool>,
+  commandQueueIsFifo?: bool,
   sourceUrn: string,
-  context: option<Reventless.AutomationSlice.context>,
+  context?: Reventless.AutomationSlice.context,
   /** The slice's schedules store; absent for a slice that maps no `Clock`. */
-  schedulesTableName: option<string>,
+  schedulesTableName?: string,
 }
 
 let strOf = (obj: dict<JSON.t>, key: string): option<string> =>
@@ -58,10 +58,10 @@ let decodeEntry = (json: JSON.t): option<handlerEntry> =>
     callbackType: h->strOf("callbackType")->Option.getOr("automation"),
     queryDbTableName: h->strOf("queryDbTableName")->Option.getOr(""),
     dcbQueueUrl: h->strOf("dcbQueueUrl")->Option.getOr(""),
-    commandQueueIsFifo: h->Dict.get("commandQueueIsFifo")->Option.flatMap(JSON.Decode.bool),
+    commandQueueIsFifo: ?(h->Dict.get("commandQueueIsFifo")->Option.flatMap(JSON.Decode.bool)),
     sourceUrn: h->strOf("sourceUrn")->Option.getOr(""),
-    context: h->Dict.get("context")->Option.flatMap(decodeContext),
-    schedulesTableName: h->strOf("schedulesTableName"),
+    context: ?(h->Dict.get("context")->Option.flatMap(decodeContext)),
+    schedulesTableName: ?(h->strOf("schedulesTableName")),
   })
 
 // A compact entry names its slice and carries only what the deploy resolved;
@@ -91,15 +91,15 @@ let decodeCompactEntry = (
     callbackType: m->strOf("callbackType")->Option.getOr("automation"),
     queryDbTableName: h->strOf("q")->Option.getOr(""),
     dcbQueueUrl: h->strOf("k")->Option.getOr(sharedQueueUrl),
-    commandQueueIsFifo: switch h->Dict.get("f")->Option.flatMap(JSON.Decode.bool) {
+    commandQueueIsFifo: ?switch h->Dict.get("f")->Option.flatMap(JSON.Decode.bool) {
     | Some(f) => Some(f)
     | None => sharedIsFifo
     },
     // Only the first, which is all the shell registers today. The remaining
     // urns stay in the config for the multi-source registration to use.
     sourceUrn: urns->Array.get(0)->Option.getOr(""),
-    context: m->Dict.get("context")->Option.flatMap(decodeContext),
-    schedulesTableName: h->strOf("s"),
+    context: ?(m->Dict.get("context")->Option.flatMap(decodeContext)),
+    schedulesTableName: ?(h->strOf("s")),
   }
 }
 
@@ -428,6 +428,9 @@ let capabilities = (): Reventless.Capabilities.t => {
     ~identityStore=NodeProcess.env->Dict.get("IDENTITY_STORE_TABLE")->Option.getOr(""),
   ),
   secrets: ReventlessCore.Secrets_Node_Backend.provider,
+  // None deployed yet: a slice declaring the need is refused by the deploy gate,
+  // and this answers `Unavailable` should one run regardless.
+  stash: Reventless.Capabilities.none.stash,
 }
 
 // ── Phase-1/phase-2 pipelines ───────────────────────────────────────────────
@@ -576,7 +579,7 @@ type builtSlice = {
   tick: option<(~key: string, ~at: float) => promise<unit>>,
   /** Brings the slice's schedules in line with its spec and its rows, at a deploy;
       `None` for an outbound slice. */
-  reconcile: option<unit => promise<unit>>,
+  reconcile?: unit => promise<unit>,
 }
 
 let makeAutomationRegisteredHandler = (
@@ -651,27 +654,25 @@ let makeAutomationRegisteredHandler = (
         await syncTodoItems()
       },
     ),
-    reconcile: Some(
-      async () =>
-        switch schedules() {
-        | Some({load, sync, platform}) =>
-          await load()
-          await ReventlessCore.AutomationSlice_Schedules.reconcile(
-            callback.schedules,
-            platform,
-            ~declaredTime=schedule,
-            ~now=Date.now(),
-          )
-          await sync()
-        // No Clock mapping, so no schedule of the slice may stay on the platform.
-        | None =>
-          let platform = platformSchedulesOf(~slice=sliceName)
-          let names = await platform.names()
-          for i in 0 to names->Array.length - 1 {
-            await platform.removeName(names->Array.getUnsafe(i))
-          }
-        },
-    ),
+    reconcile: async () =>
+      switch schedules() {
+      | Some({load, sync, platform}) =>
+        await load()
+        await ReventlessCore.AutomationSlice_Schedules.reconcile(
+          callback.schedules,
+          platform,
+          ~declaredTime=schedule,
+          ~now=Date.now(),
+        )
+        await sync()
+      // No Clock mapping, so no schedule of the slice may stay on the platform.
+      | None =>
+        let platform = platformSchedulesOf(~slice=sliceName)
+        let names = await platform.names()
+        for i in 0 to names->Array.length - 1 {
+          await platform.removeName(names->Array.getUnsafe(i))
+        }
+      },
   }
 }
 
@@ -718,7 +719,6 @@ let makeOutboundRegisteredHandler = (
     comp,
     name: sliceName,
     tick: None,
-    reconcile: None,
   }
 }
 

package/src/adapter/Runtime/AutomationSliceEntryPoint_Ops.res.mjs

@@ -13,6 +13,7 @@ import * as DcbDecode$Reventless from "@reventlessdev/reventless-spec/src/compon
 import * as Primitive_exceptions from "@rescript/runtime/lib/es6/Primitive_exceptions.js";
 import * as Util_Sury$Reventless from "@reventlessdev/reventless-spec/src/util/Util_Sury.res.mjs";
 import * as Message$ReventlessCore from "@reventlessdev/reventless-core/src/Message.res.mjs";
+import * as Capabilities$Reventless from "@reventlessdev/reventless-spec/src/semantic/Capabilities.res.mjs";
 import * as EffectLogger$ReventlessCore from "@reventlessdev/reventless-core/src/util/EffectLogger.res.mjs";
 import * as DynamoDb_Error$ReventlessAws from "../../errors/DynamoDb_Error.res.mjs";
 import * as Messaging_Ses_Backend$ReventlessAws from "../Messaging/Messaging_Ses_Backend.res.mjs";
@@ -276,7 +277,8 @@ function capabilities() {
     geocode: text => Geocoder_AwsLocation_Backend$ReventlessAws.search(Stdlib_Option.getOr(process.env["PLACE_INDEX_NAME"], ""), text, undefined),
     messaging: messagingEmailProvider(),
     identityProvider: IdentityProvider_Cognito_Backend$ReventlessAws.provider(Stdlib_Option.getOr(process.env["IDENTITY_PROVIDER_ID"], ""), Stdlib_Option.getOr(process.env["IDENTITY_STORE_TABLE"], "")),
-    secrets: Secrets_Node_Backend$ReventlessCore.provider
+    secrets: Secrets_Node_Backend$ReventlessCore.provider,
+    stash: Capabilities$Reventless.none.stash
   };
 }
 
@@ -422,8 +424,7 @@ function makeOutboundRegisteredHandler(entry, sliceName, consumedEventSchema, ca
     },
     comp: comp,
     name: sliceName,
-    tick: undefined,
-    reconcile: undefined
+    tick: undefined
   };
 }
 

package/src/adapter/Runtime/AutomationSliceRuntime_Builder_Single.res

@@ -23,7 +23,7 @@ type sliceInfo = {
   queryDbResources: array<ReventlessInfra.Adapter.resource>,
   // Threaded to phase 1 collect/resolve on the automation path (mirrors the
   // in-process builder's `~context`); outbound slices take no context.
-  context: option<Reventless.AutomationSlice.context>,
+  context?: Reventless.AutomationSlice.context,
   // The non-DCB topics this slice subscribes to — an Aggregate's EventTopic when
   // it names one by `Spec.name`. Empty for the common DCB-only slice.
   //
@@ -47,10 +47,10 @@ type sliceInfo = {
   // Resolved in the finalizer rather than here: an Aggregate's CommandTopic is
   // created *after* the slices that target it, so a lookup at registration time
   // finds nothing. Only the name is knowable this early.
-  commandTargetName: option<string>,
+  commandTargetName?: string,
   // The automation's declared time; what the deploy's reconcile puts on the
   // platform, and what re-runs it when it changes.
-  schedule: option<Reventless.Schedule.time>,
+  schedule?: Reventless.Schedule.time,
   // The schedules store's table, empty for a slice that maps no `Clock`. Granted to
   // the Lambda with the to-do tables, and named in the slice's handler config.
   schedulesResources: array<ReventlessInfra.Adapter.resource>,
@@ -116,11 +116,11 @@ let registerAutomationSlice = (
       callbackType,
       queryDbTableName,
       queryDbResources,
-      context,
+      ?context,
       sourceTopics,
       consumesDcbLog,
-      commandTargetName,
-      schedule,
+      ?commandTargetName,
+      ?schedule,
       schedulesResources,
       capabilityNeeds,
     },

package/src/adapter/Runtime/DcbCommandTopicEntryPoint_Ops.res

@@ -45,7 +45,7 @@ type derivedScope = {
   crossPartitionTagKeys: array<string>,
   tagKeysByEventType: dict<array<string>>,
   /** `None` only for a Lambda hosting no StateChangeSlices, which never appends. */
-  partitionTag: option<Reventless.DcbTag.derivedPartitionTag>,
+  partitionTag?: Reventless.DcbTag.derivedPartitionTag,
   /** Slice name -> its partition: the handler's entity id and each command's envelope id. */
   partitionTagBySlice: dict<Reventless.DcbTag.derivedPartitionTag>,
 }
@@ -55,7 +55,6 @@ let deriveScope = (specs: array<specModule>): derivedScope =>
   | [] => {
       crossPartitionTagKeys: [],
       tagKeysByEventType: Dict.make(),
-      partitionTag: None,
       partitionTagBySlice: Dict.make(),
     }
   | _ =>
@@ -89,7 +88,7 @@ let deriveScope = (specs: array<specModule>): derivedScope =>
     {
       crossPartitionTagKeys: scope.crossPartitionTagKeys,
       tagKeysByEventType: scope.tagKeysByEventType,
-      partitionTag: Some(boundary.partitionTag),
+      partitionTag: boundary.partitionTag,
       partitionTagBySlice,
     }
   }
@@ -257,6 +256,7 @@ type inboundCallback = {
   receive: (
     ReventlessInfra.CommandTopic.publishJsons,
     JSON.t,
+    ~capabilities: Reventless.Capabilities.t,
     ~caller: Reventless.Identity.t=?,
     ~door: ReventlessInfra.InboundTranslationSlice.door=?,
   ) => promise<ReventlessInfra.InboundTranslationSlice.receiveResult>,
@@ -265,7 +265,7 @@ type inboundCallback = {
     ~errorCode: string,
     string,
   ) => ReventlessInfra.InboundTranslationSlice.receiveResult,
-  webhook: option<ReventlessCore.InboundTranslationSlice_Webhook.route>,
+  webhook?: ReventlessCore.InboundTranslationSlice_Webhook.route,
   auditLog: dict<ReventlessCore.InboundTranslationSlice_Callback.auditRow>,
 }
 @module(
@@ -324,9 +324,12 @@ let buildInboundReceiver = (
 ) => {
   let callback = makeInboundCallback(spec)(translation)
   async (args: JSON.t, identity: Nullable.t<Reventless.Identity.t>): JSON.t => {
+    // No capabilities in this Lambda: a slice declaring a need is refused at
+    // deploy, so `none` is what every slice reaching here expects.
     let result = await callback.receive(
       publishJsons,
       args,
+      ~capabilities=Reventless.Capabilities.none,
       ~caller=ReventlessCore.InboundTranslationSlice_Callback.doorCaller(identity),
     )
     await persistAudit(callback, auditQueryDbOps, result)
@@ -354,7 +357,15 @@ let buildWebhookSlice = (
   ->Option.map((route): ReventlessCore.InboundTranslationSlice_Webhook.slice => {
     route,
     receive: async (input, ~caller) =>
-      await persisted(await callback.receive(publishJsons, input, ~caller, ~door=Webhook)),
+      await persisted(
+        await callback.receive(
+          publishJsons,
+          input,
+          ~capabilities=Reventless.Capabilities.none,
+          ~caller,
+          ~door=Webhook,
+        ),
+      ),
     refuse: async (~body, ~errorCode, error) =>
       await persisted(callback.refuse(~body, ~errorCode, error)),
   })

package/src/adapter/Runtime/DcbCommandTopicEntryPoint_Ops.res.mjs

@@ -12,6 +12,7 @@ import * as Primitive_exceptions from "@rescript/runtime/lib/es6/Primitive_excep
 import * as Util_Sury$Reventless from "@reventlessdev/reventless-spec/src/util/Util_Sury.res.mjs";
 import * as Message$ReventlessCore from "@reventlessdev/reventless-core/src/Message.res.mjs";
 import * as QueryDb$ReventlessCore from "@reventlessdev/reventless-core/src/components/QueryDb/QueryDb.res.mjs";
+import * as Capabilities$Reventless from "@reventlessdev/reventless-spec/src/semantic/Capabilities.res.mjs";
 import * as EffectLogger$ReventlessCore from "@reventlessdev/reventless-core/src/util/EffectLogger.res.mjs";
 import * as CommandTopic_Helpers$ReventlessCore from "@reventlessdev/reventless-core/src/components/CommandTopic/CommandTopic_Helpers.res.mjs";
 import * as InboundTranslationSlice_Webhook$ReventlessCore from "@reventlessdev/reventless-core/src/components/InboundTranslationSlice/InboundTranslationSlice_Webhook.res.mjs";
@@ -26,7 +27,6 @@ function deriveScope(specs) {
     return {
       crossPartitionTagKeys: [],
       tagKeysByEventType: {},
-      partitionTag: undefined,
       partitionTagBySlice: {}
     };
   }
@@ -147,7 +147,7 @@ async function persistAudit(callback, auditQueryDbOps, result) {
 function buildInboundReceiver(spec, translation, publishJsons, auditQueryDbOps) {
   let callback = InboundTranslationSlice_CallbackResMjs.Make(spec)(translation);
   return async (args, identity) => {
-    let result = await callback.receive(publishJsons, args, InboundTranslationSlice_Callback$ReventlessCore.doorCaller(identity), undefined);
+    let result = await callback.receive(publishJsons, args, Capabilities$Reventless.none, InboundTranslationSlice_Callback$ReventlessCore.doorCaller(identity), undefined);
     await persistAudit(callback, auditQueryDbOps, result);
     return CommandTopic_Helpers$ReventlessCore.commandOutcomeToJson(InboundTranslationSlice_Callback$ReventlessCore.receiveResultToOutcome(result));
   };
@@ -161,7 +161,7 @@ function buildWebhookSlice(spec, translation, publishJsons, auditQueryDbOps) {
   };
   return Stdlib_Nullable.fromOption(Stdlib_Option.map(callback.webhook, route => ({
     route: route,
-    receive: async (input, caller) => await persisted(await callback.receive(publishJsons, input, caller, "Webhook")),
+    receive: async (input, caller) => await persisted(await callback.receive(publishJsons, input, Capabilities$Reventless.none, caller, "Webhook")),
     refuse: async (body, errorCode, error) => await persisted(callback.refuse(body, errorCode, error))
   })));
 }

package/src/adapter/Runtime/EventCollectorEntryPoint_Ops.res

@@ -106,7 +106,7 @@ type handlerConfig = {
   schedulerQueueArn: string,
   schedulerQueueName: string,
   extensionPoints: array<extensionPointConfig>,
-  connectExtension: option<connectExtensionConfig>,
+  connectExtension?: connectExtensionConfig,
   extensions: array<extensionConfig>,
   readModelNamesForSourceName: dict<array<string>>,
 }
@@ -234,7 +234,7 @@ let parseHandlerConfig = (rawJson: string): handlerConfig => {
     schedulerQueueArn: obj->strOf("schedulerQueueArn")->Option.getOr(""),
     schedulerQueueName: obj->strOf("schedulerQueueName")->Option.getOr(""),
     extensionPoints,
-    connectExtension,
+    ?connectExtension,
     extensions,
     readModelNamesForSourceName,
   }
@@ -253,7 +253,7 @@ type pluginProjection = {
   eventCollector: string,
   extensions: array<Reventless.Plugin.extensionDefinition>,
   extensionPoints: array<Reventless.Plugin.extensionPointDefinition>,
-  dcbEventLog: option<Reventless.Plugin.dcbEventLogDefinition>,
+  dcbEventLog?: Reventless.Plugin.dcbEventLogDefinition,
 }
 
 let projectPluginRow = (row: JSON.t): option<pluginProjection> =>
@@ -323,7 +323,7 @@ let projectPluginRow = (row: JSON.t): option<pluginProjection> =>
         eventCollector: obj->strOf("eventCollector")->Option.getOr(""),
         extensions,
         extensionPoints,
-        dcbEventLog,
+        ?dcbEventLog,
       })
     | _ => None
     }
@@ -339,7 +339,7 @@ let projectionOfDefinition = (d: Reventless.Plugin.pluginDefinition): pluginProj
   eventCollector: d.eventCollector,
   extensions: d.extensions,
   extensionPoints: d.extensionPoints,
-  dcbEventLog: d.dcbEventLog->jsOption,
+  dcbEventLog: ?(d.dcbEventLog->jsOption),
 }
 
 // ── Cross-plugin SNS subscription manager ───────────────────────────────────

package/src/adapter/Runtime/PgQueryResolverEntryPoint_Ops.res

@@ -26,7 +26,7 @@ type handlerEntry = {
 }
 
 type resolverConfig = {
-  pgConnection: option<PgConnection.connectionConfig>,
+  pgConnection?: PgConnection.connectionConfig,
   handlers: array<handlerEntry>,
   nodeTypes: dict<string>,
 }
@@ -59,10 +59,12 @@ let parseResolverConfig = (rawJson: string): resolverConfig => {
     ->JSON.Decode.object
     ->Option.getOr(Dict.make())
   {
-    pgConnection: obj
-    ->Dict.get("pgConnection")
-    ->Option.filter(j => j != JSON.Null)
-    ->Option.map(asPgConnection),
+    pgConnection: ?(
+      obj
+      ->Dict.get("pgConnection")
+      ->Option.filter(j => j != JSON.Null)
+      ->Option.map(asPgConnection)
+    ),
     handlers: obj
     ->Dict.get("handlers")
     ->Option.flatMap(JSON.Decode.array)
@@ -118,8 +120,8 @@ let makePushdowns = (
 // Reventless.Authorization.isAllowed matches on.
 
 type specInfo = {
-  config: option<ProjectionEntryPoint_Ops.specConfig>,
-  subIdConfig: option<Reventless.ReadModel.subIdConfig<JSON.t>>,
+  config?: ProjectionEntryPoint_Ops.specConfig,
+  subIdConfig?: Reventless.ReadModel.subIdConfig<JSON.t>,
   stateSchema: S.t<unknown>,
   authorization: Reventless.Authorization.permission,
 }
@@ -143,7 +145,7 @@ let registerBinding = (
       ),
       pushdowns,
       indexes,
-      subIdField,
+      ?subIdField,
       capability: ReventlessCore.GraphQL_FragmentGenerator.deriveServerCapability(
         ~entityName=entry.readModelName,
         spec.stateSchema,
@@ -153,24 +155,28 @@ let registerBinding = (
       authorization: spec.authorization->Reventless.Authorization.named,
       // From the same schema `capability` is derived from, one line above, so the
       // two cannot end up disagreeing about this read model's fields.
-      ownerField: Reventless.Owner.fieldNames(spec.stateSchema)->Array.get(0),
-      retiredField: spec.stateSchema
-      ->Reventless.StateAnnotations.getSpec
-      ->Option.flatMap(a => a.retired)
-      ->Option.map(r => r.field),
+      ownerField: ?(Reventless.Owner.fieldNames(spec.stateSchema)->Array.get(0)),
+      retiredField: ?(
+        spec.stateSchema
+        ->Reventless.StateAnnotations.getSpec
+        ->Option.flatMap(a => a.retired)
+        ->Option.map(r => r.field)
+      ),
       // The state form's other half. Carried beside the field rather than
       // re-derived at predicate time, so one place decides which rows are retired.
-      retiredValues: spec.stateSchema
-      ->Reventless.StateAnnotations.getSpec
-      ->Option.flatMap(a => a.retired)
-      ->Option.flatMap(r => r.values),
+      retiredValues: ?(
+        spec.stateSchema
+        ->Reventless.StateAnnotations.getSpec
+        ->Option.flatMap(a => a.retired)
+        ->Option.flatMap(r => r.values)
+      ),
       // Read off the retirement rather than from a second annotation: a record
       // cannot declare the reach of a retirement it does not have.
       namedWhenRetired: spec.stateSchema
       ->Reventless.StateAnnotations.getSpec
       ->Option.flatMap(a => a.retired)
       ->Option.mapOr(false, r => r.namedWhenRetired),
-      imageSource: spec.stateSchema->Reventless.RowImage.sourceFrom,
+      imageSource: ?(spec.stateSchema->Reventless.RowImage.sourceFrom),
     },
   )
   logDebug("registered resolver binding for " ++ entry.readModelName, {comp: "PgQueryResolver"})

package/src/adapter/Runtime/ReadModelEntryPoint_Ops.res

@@ -22,10 +22,10 @@ type handlerEntry = {
   // ReScript dispatch boundary's `EventCollector(<Name>)` byte for byte. This
   // Lambda hosts every read model, so the comp is what separates their log
   // lines; the plugin beats the Lambda-name-derived fallback in runEffect.
-  comp: option<string>,
-  plugin: option<string>,
-  pgConnection: option<PgConnection.connectionConfig>,
-  stateTopicName: option<string>,
+  comp?: string,
+  plugin?: string,
+  pgConnection?: PgConnection.connectionConfig,
+  stateTopicName?: string,
 }
 
 // The builder writes `pgConnection` via PgConnection.connectionConfigToJson, so
@@ -44,13 +44,15 @@ let decodeEntry = (json: JSON.t): option<handlerEntry> =>
     mappingsModule: h->strOf("mappingsModule")->Option.getOr(""),
     queryDbTableName: h->strOf("queryDbTableName")->Option.getOr(""),
     sourceUrn: h->strOf("sourceUrn")->Option.getOr(""),
-    comp: h->strOf("comp"),
-    plugin: h->strOf("plugin"),
-    pgConnection: h
-    ->Dict.get("pgConnection")
-    ->Option.filter(j => j != JSON.Null)
-    ->Option.map(asPgConnection),
-    stateTopicName: h->strOf("stateTopicName"),
+    comp: ?(h->strOf("comp")),
+    plugin: ?(h->strOf("plugin")),
+    pgConnection: ?(
+      h
+      ->Dict.get("pgConnection")
+      ->Option.filter(j => j != JSON.Null)
+      ->Option.map(asPgConnection)
+    ),
+    stateTopicName: ?(h->strOf("stateTopicName")),
   })
 
 let parseHandlerConfig = (rawJson: string): array<handlerEntry> =>
@@ -88,10 +90,10 @@ let withInjectedId = (
 }
 
 type specInfo = {
-  config: option<ProjectionEntryPoint_Ops.specConfig>,
-  subIdConfig: option<Reventless.ReadModel.subIdConfig<JSON.t>>,
+  config?: ProjectionEntryPoint_Ops.specConfig,
+  subIdConfig?: Reventless.ReadModel.subIdConfig<JSON.t>,
   // Read off the runtime-loaded spec module; `None` on a module that predates it.
-  stateSchema: option<S.t<unknown>>,
+  stateSchema?: S.t<unknown>,
 }
 
 let buildOperations = (

package/src/adapter/Runtime/RuntimeEnvironment_Lambda.res

@@ -269,8 +269,8 @@ let makeFromCodeAsset: (
   // registered — an extension-free deployment gets the env it always had.
   if !ReventlessCore.RuntimeExtension.isEmpty() {
     let {
-      ReventlessCore.ResourceAttribution.plugin: plugin,
-      platform,
+      ReventlessCore.ResourceAttribution.plugin: ?plugin,
+      ?platform,
     } = ReventlessCore.ResourceAttribution.current.contents
     let orNull = o => o->Option.mapOr(JSON.Null, s => JSON.String(s))
     let config = JSON.Object(

package/src/adapter/Runtime/RuntimeExtensionEntryPoint_Ops.res

@@ -29,8 +29,8 @@ type config = {
   modules: array<string>,
   runtimeKind: string,
   component: string,
-  plugin: option<string>,
-  platform: option<string>,
+  plugin?: string,
+  platform?: string,
 }
 
 let decodeString = (obj: dict<JSON.t>, key: string): option<string> =>
@@ -70,8 +70,8 @@ let parseConfig = (raw: option<string>): option<config> =>
           modules,
           runtimeKind,
           component,
-          plugin: obj->decodeString("plugin"),
-          platform: obj->decodeString("platform"),
+          plugin: ?(obj->decodeString("plugin")),
+          platform: ?(obj->decodeString("platform")),
         })
       | _ =>
         log.error(

package/src/adapter/Runtime/SideEffectEntryPoint_Ops.res

@@ -14,8 +14,8 @@ type handlerEntry = {
   // Resolved at deploy time and baked into HANDLER_CONFIG
   // (SideEffectHandlerRuntime_Builder_Single) — the shell has only module paths
   // to identify a handler by.
-  comp: option<string>,
-  plugin: option<string>,
+  comp?: string,
+  plugin?: string,
 }
 
 let strOf = (obj: dict<JSON.t>, key: string): option<string> =>
@@ -31,8 +31,8 @@ let decodeEntry = (json: JSON.t): option<handlerEntry> =>
     ->Option.flatMap(JSON.Decode.array)
     ->Option.getOr([])
     ->Array.filterMap(JSON.Decode.string),
-    comp: h->strOf("comp"),
-    plugin: h->strOf("plugin"),
+    comp: ?(h->strOf("comp")),
+    plugin: ?(h->strOf("plugin")),
   })
 
 let parseHandlerConfig = (rawJson: string): array<handlerEntry> =>

package/src/adapter/Runtime/StateViewSliceEntryPoint_Ops.res

@@ -17,8 +17,8 @@ type handlerEntry = {
   sourceUrn: string,
   // B3.3: per-slice AppSync Events channel root (list field name). Present only
   // for subscription-enabled (Stream) Postgres view slices.
-  stateTopicName: option<string>,
-  pgConnection: option<PgConnection.connectionConfig>,
+  stateTopicName?: string,
+  pgConnection?: PgConnection.connectionConfig,
 }
 
 // The builder writes `pgConnection` via PgConnection.connectionConfigToJson, so
@@ -67,16 +67,16 @@ let parseHandlerConfig = (rawJson: string): array<handlerEntry> =>
                 projectionModule: h->strOf("projectionModule")->Option.getOr(""),
                 queryDbTableName: h->strOf("queryDbTableName")->Option.getOr(""),
                 sourceUrn: h->strOf("sourceUrn")->Option.getOr(""),
-                stateTopicName: h->strOf("stateTopicName"),
-                pgConnection: h->pgConnectionOf,
+                stateTopicName: ?(h->strOf("stateTopicName")),
+                pgConnection: ?(h->pgConnectionOf),
               }
             | None => {
                 specModule: base ++ h->strOf("s")->Option.getOr(""),
                 projectionModule: base ++ h->strOf("p")->Option.getOr(""),
                 queryDbTableName: h->strOf("q")->Option.getOr(""),
                 sourceUrn: h->strOf("u")->Option.getOr(sharedUrn),
-                stateTopicName: h->strOf("t"),
-                pgConnection: sharedPgConnection,
+                stateTopicName: ?(h->strOf("t")),
+                pgConnection: ?sharedPgConnection,
               }
             }
           )
@@ -197,10 +197,10 @@ type sliceModules<'event> = {
   project: Reventless.StateViewSlice.consumed<'event> => array<
     Reventless.Projection.action<string, JSON.t>,
   >,
-  config: option<ProjectionEntryPoint_Ops.specConfig>,
-  subIdConfig: option<Reventless.ReadModel.subIdConfig<JSON.t>>,
+  config?: ProjectionEntryPoint_Ops.specConfig,
+  subIdConfig?: Reventless.ReadModel.subIdConfig<JSON.t>,
   // Same union stamp the read-model path needs; a slice's state can hold one too.
-  stateSchema: option<S.t<unknown>>,
+  stateSchema?: S.t<unknown>,
 }
 
 let makeRegisteredHandler = (

package/src/adapter/Runtime/TaskBucketEntryPoint_Ops.res

@@ -24,7 +24,7 @@ type handlerConfig = {
   callbackModule: string,
   // aggregateName → env-var name holding the aggregate's cmd-topic SQS URL.
   publishToAggregates: dict<string>,
-  scheduler: option<schedulerEnvConfig>,
+  scheduler?: schedulerEnvConfig,
 }
 
 let strOf = (obj: dict<JSON.t>, key: string): option<string> =>
@@ -45,14 +45,16 @@ let parseHandlerConfig = (rawJson: string): handlerConfig => {
     ->Dict.toArray
     ->Array.filterMap(((k, v)) => v->JSON.Decode.string->Option.map(s => (k, s)))
     ->Dict.fromArray,
-    scheduler: obj
-    ->Dict.get("scheduler")
-    ->Option.flatMap(JSON.Decode.object)
-    ->Option.map(s => {
-      roleArnEnv: s->strOf("roleArnEnv")->Option.getOr(""),
-      targetArnEnv: s->strOf("targetArnEnv")->Option.getOr(""),
-      targetNameEnv: s->strOf("targetNameEnv")->Option.getOr(""),
-    }),
+    scheduler: ?(
+      obj
+      ->Dict.get("scheduler")
+      ->Option.flatMap(JSON.Decode.object)
+      ->Option.map(s => {
+        roleArnEnv: s->strOf("roleArnEnv")->Option.getOr(""),
+        targetArnEnv: s->strOf("targetArnEnv")->Option.getOr(""),
+        targetNameEnv: s->strOf("targetNameEnv")->Option.getOr(""),
+      })
+    ),
   }
 }
 

package/src/components/Api/AppSync_Adapter.res

@@ -68,7 +68,7 @@ let startSchemaCreationRetrying = (client: appSyncClient, input: startSchemaCrea
 // GetSchemaCreationStatus — poll until schema is ACTIVE
 type getSchemaCreationStatusInput = {apiId: string}
 type getSchemaCreationStatusCommand
-type getSchemaCreationStatusResult = {status: string, details: option<string>}
+type getSchemaCreationStatusResult = {status: string, details?: string}
 
 @module("@aws-sdk/client-appsync") @new
 external makeGetSchemaCreationStatusCommand: getSchemaCreationStatusInput => getSchemaCreationStatusCommand =
@@ -119,10 +119,10 @@ type getSourceApiAssociationInput = {
 }
 type getSourceApiAssociationCommand
 type sourceApiAssociationSummary = {
-  sourceApiAssociationStatus: option<string>,
-  sourceApiAssociationStatusDetail: option<string>,
+  sourceApiAssociationStatus?: string,
+  sourceApiAssociationStatusDetail?: string,
 }
-type getSourceApiAssociationResult = {sourceApiAssociation: option<sourceApiAssociationSummary>}
+type getSourceApiAssociationResult = {sourceApiAssociation?: sourceApiAssociationSummary}
 
 @module("@aws-sdk/client-appsync") @new
 external makeGetSourceApiAssociationCommand: getSourceApiAssociationInput => getSourceApiAssociationCommand =