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

package/src/components/InboundTranslationSlice_Builder.res

@@ -7,16 +7,35 @@ module Make = (
     let apiRole: unit => Types.AppSync.role
   },
 ) => {
+  // The deployed slice runs in the shared DCB command Lambda, which builds its
+  // own callback and is handed no capabilities; this in-process path answers the
+  // same, so the two cannot differ. A spec that declares a need is refused below.
   module Inner = ReventlessCore.InboundTranslationSlice_Builder.Make(
     QueryDbStorage.DynamoDb,
     QueryDbResolvers.AppSync,
     Api,
+    {
+      let capabilities = () => Reventless.Capabilities.none
+    },
   )
 
   module Make = (
     Spec: Reventless.InboundTranslationSlice.Spec,
     Translation: Reventless.InboundTranslationSlice.Translation with module Spec := Spec,
   ): (ReventlessCore.InboundTranslationSlice.T with module Spec = Spec) => {
+    // Refused rather than deployed to fail quietly: the DCB command Lambda this
+    // slice runs in has neither the capability settings nor the grants the
+    // automation Lambda gets, so every call would answer `Unavailable` at run
+    // time with nothing at deploy time to say why.
+    if Spec.capabilityNeeds != [] {
+      JsError.throwWithMessage(
+        `${Spec.name}: an inbound translation slice that declares capability needs (${Spec.capabilityNeeds
+          ->Array.map(Reventless.CapabilityNeed.toString)
+          ->Array.join(
+            ", ",
+          )}) cannot be deployed to AWS yet — the DCB command Lambda it runs in is handed no capabilities. Host it on the local platform.`,
+      )
+    }
     // Register spec + translation module paths so the shared DCB command Lambda's
     // entry point can import them and route `__inboundTranslation` payloads to this
     // slice's `receive` (mirrors StateChangeSlice_Builder's path registration).

package/src/components/InboundTranslationSlice_Builder.res.mjs

@@ -1,6 +1,10 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
+import * as Stdlib_JsError from "@rescript/runtime/lib/es6/Stdlib_JsError.js";
+import * as Primitive_object from "@rescript/runtime/lib/es6/Primitive_object.js";
+import * as Capabilities$Reventless from "@reventlessdev/reventless-spec/src/semantic/Capabilities.res.mjs";
 import * as Component$ReventlessCore from "@reventlessdev/reventless-core/src/components/Component.res.mjs";
+import * as CapabilityNeed$Reventless from "@reventlessdev/reventless-spec/src/semantic/CapabilityNeed.res.mjs";
 import * as Util_Bundle$ReventlessAws from "../util/Util_Bundle.res.mjs";
 import * as PluginRuntime_Builder$ReventlessAws from "../plugin/runtime/PluginRuntime_Builder.res.mjs";
 import * as QueryDbStorage_DynamoDb$ReventlessAws from "../adapter/QueryDb/QueryDbStorage_DynamoDb.res.mjs";
@@ -8,12 +12,18 @@ import * as QueryDbResolvers_AppSync$ReventlessAws from "../adapter/QueryDb/Quer
 import * as InboundTranslationSlice_Builder$ReventlessCore from "@reventlessdev/reventless-core/src/components/InboundTranslationSlice/InboundTranslationSlice_Builder.res.mjs";
 
 function Make(Api) {
+  let capabilities = () => Capabilities$Reventless.none;
   let Inner = InboundTranslationSlice_Builder$ReventlessCore.Make({
     make: QueryDbStorage_DynamoDb$ReventlessAws.make
   })({
     make: QueryDbResolvers_AppSync$ReventlessAws.make
-  })(Api);
+  })(Api)({
+    capabilities: capabilities
+  });
   let Make$1 = Spec => (Translation => {
+    if (Primitive_object.notequal(Spec.capabilityNeeds, [])) {
+      Stdlib_JsError.throwWithMessage(Spec.name + `: an inbound translation slice that declares capability needs (` + Spec.capabilityNeeds.map(CapabilityNeed$Reventless.toString).join(", ") + `) cannot be deployed to AWS yet — the DCB command Lambda it runs in is handed no capabilities. Host it on the local platform.`);
+    }
     PluginRuntime_Builder$ReventlessAws.registerInboundTranslationSliceSpec(Spec.name, Util_Bundle$ReventlessAws.getModuleSpecifier(Spec.moduleUrl), Util_Bundle$ReventlessAws.getModuleSpecifier(Translation.moduleUrl));
     let match = Spec.endpoint;
     if (match !== undefined) {
@@ -50,4 +60,4 @@ function Make(Api) {
 export {
   Make,
 }
-/* Component-ReventlessCore Not a pure module */
+/* Capabilities-Reventless Not a pure module */

package/src/plugin/runtime/PluginExtensionPointRuntime_Builder.res

@@ -10,17 +10,14 @@ type runtimeParts = Util.Lambda.runtimeParts
 // scheduler resources; consumed lazily at deploy-resolve time when
 // `forCommandTopic` runs inside its `Pulumi.Output.apply`.
 type adminExtras = {
-  pluginReadModelTableName: option<Pulumi.Output.t<string>>,
-  schedulerRoleArn: option<Pulumi.Output.t<string>>,
+  pluginReadModelTableName?: Pulumi.Output.t<string>,
+  schedulerRoleArn?: Pulumi.Output.t<string>,
 }
 
-let adminExtras: ref<adminExtras> = ref({
-  pluginReadModelTableName: None,
-  schedulerRoleArn: None,
-})
+let adminExtras: ref<adminExtras> = ref(({}: adminExtras))
 
 let registerPluginExtensionPoint = (~pluginReadModelTableName=?, ~schedulerRoleArn=?, ()) =>
-  adminExtras := {pluginReadModelTableName, schedulerRoleArn}
+  adminExtras := {?pluginReadModelTableName, ?schedulerRoleArn}
 
 let forCommandTopic = (
   ~handler as _,

package/src/plugin/runtime/PluginExtensionPointRuntime_Builder.res.mjs

@@ -8,10 +8,7 @@ import * as Util_Bundle$ReventlessAws from "../../util/Util_Bundle.res.mjs";
 import * as RuntimeEnvironment_Lambda$ReventlessAws from "../../adapter/Runtime/RuntimeEnvironment_Lambda.res.mjs";
 
 let adminExtras = {
-  contents: {
-    pluginReadModelTableName: undefined,
-    schedulerRoleArn: undefined
-  }
+  contents: {}
 };
 
 function registerPluginExtensionPoint(pluginReadModelTableName, schedulerRoleArn, param) {

package/src/plugin/runtime/PluginRuntime_Builder.res

@@ -1,22 +1,16 @@
 let log = ReventlessCore.Logger.fromEnv()
 
 type adminConfig = {
-  eventTopicArn: option<Pulumi.Output.t<string>>,
-  pluginReadModelTableName: option<Pulumi.Output.t<string>>,
-  schedulerRoleArn: option<Pulumi.Output.t<string>>,
-  schedulerQueueArn: option<Pulumi.Output.t<string>>,
-  schedulerQueueName: option<Pulumi.Output.t<string>>,
-  appSyncApiId: option<Pulumi.Output.t<string>>,
+  eventTopicArn?: Pulumi.Output.t<string>,
+  pluginReadModelTableName?: Pulumi.Output.t<string>,
+  schedulerRoleArn?: Pulumi.Output.t<string>,
+  schedulerQueueArn?: Pulumi.Output.t<string>,
+  schedulerQueueName?: Pulumi.Output.t<string>,
+  appSyncApiId?: Pulumi.Output.t<string>,
   clonerEnabled: bool,
 }
 
 let configRef: ref<adminConfig> = ref({
-  eventTopicArn: None,
-  pluginReadModelTableName: None,
-  schedulerRoleArn: None,
-  schedulerQueueArn: None,
-  schedulerQueueName: None,
-  appSyncApiId: None,
   clonerEnabled: false,
 })
 
@@ -121,13 +115,12 @@ type sliceModulePaths = {
 
 type dcbConfig = {
   pluginName: string,
-  dcbTableName: option<Pulumi.Output.t<string>>,
+  dcbTableName?: Pulumi.Output.t<string>,
   stateChangeSliceModulePaths: array<sliceModulePaths>,
 }
 
 let dcbConfigRef: ref<dcbConfig> = ref({
   pluginName: "",
-  dcbTableName: None,
   stateChangeSliceModulePaths: [],
 })
 
@@ -219,23 +212,22 @@ compiles; slated for removal.
   "pluginName is auto-registered by Plugin_Builder.make; use registerDcbTableName / registerStateChangeSliceSpec for the other fields. This call is unnecessary and will be removed."
 )
 let registerDcbConfig = (~pluginName, ~dcbTableName=?, ~stateChangeSliceModulePaths=[], ()) => {
-  dcbConfigRef := {pluginName, dcbTableName, stateChangeSliceModulePaths}
+  dcbConfigRef := {pluginName, ?dcbTableName, stateChangeSliceModulePaths}
   stateChangeSliceModulePaths->Array.length
 }
 
 let registerDcbTableName = (dcbTableName: Pulumi.Output.t<string>) =>
-  dcbConfigRef := {...dcbConfigRef.contents, dcbTableName: Some(dcbTableName)}
+  dcbConfigRef := {...dcbConfigRef.contents, dcbTableName}
 
 type heartbeatConfig = {
   pluginId: string,
   heartbeatTimeout: int,
-  epQueueUrl: option<Pulumi.Output.t<string>>,
+  epQueueUrl?: Pulumi.Output.t<string>,
 }
 
 let heartbeatConfigRef: ref<heartbeatConfig> = ref({
   pluginId: "",
   heartbeatTimeout: 10,
-  epQueueUrl: None,
 })
 
 // heartbeatTimeout is mandatory: it drives the HEARTBEAT_TIMEOUT env var (and thus
@@ -244,7 +236,7 @@ let heartbeatConfigRef: ref<heartbeatConfig> = ref({
 // silently decoupled the two (schedule every 60min, Heartbeat(10) → 12min grace →
 // flapping); make callers supply it so the values can't diverge.
 let registerHeartbeatConfig = (~pluginId, ~heartbeatTimeout, ~epQueueUrl=?, ()) =>
-  heartbeatConfigRef := {pluginId, heartbeatTimeout, epQueueUrl}
+  heartbeatConfigRef := {pluginId, heartbeatTimeout, ?epQueueUrl}
 
 // Resolves once this plugin's EventCollector Lambda exists at its new code.
 // `Platform.deployPlugin` gates the deploy-time re-detect on it: the re-detect
@@ -285,12 +277,12 @@ let registerConfig = (
   (),
 ) =>
   configRef := {
-      eventTopicArn,
-      pluginReadModelTableName,
-      schedulerRoleArn,
-      schedulerQueueArn,
-      schedulerQueueName,
-      appSyncApiId,
+      ?eventTopicArn,
+      ?pluginReadModelTableName,
+      ?schedulerRoleArn,
+      ?schedulerQueueArn,
+      ?schedulerQueueName,
+      ?appSyncApiId,
       clonerEnabled,
     }
 
@@ -351,7 +343,6 @@ module Make = (
           aggregateNames: [ReventlessCore.PluginSpec.name],
         },
       ],
-      connectExtension: None,
       extensions: [],
       pluginExtensionPointCmdTopicUrl: Pulumi.Output.make(""),
       publishToAggregates: Dict.make(),

package/src/plugin/runtime/PluginRuntime_Builder.res.mjs

@@ -29,12 +29,6 @@ let log = Logger$ReventlessCore.fromEnv();
 
 let configRef = {
   contents: {
-    eventTopicArn: undefined,
-    pluginReadModelTableName: undefined,
-    schedulerRoleArn: undefined,
-    schedulerQueueArn: undefined,
-    schedulerQueueName: undefined,
-    appSyncApiId: undefined,
     clonerEnabled: false
   }
 };
@@ -118,7 +112,6 @@ function identityProviderProvisioned() {
 let dcbConfigRef = {
   contents: {
     pluginName: "",
-    dcbTableName: undefined,
     stateChangeSliceModulePaths: []
   }
 };
@@ -192,19 +185,15 @@ function registerDcbConfig(pluginName, dcbTableName, stateChangeSliceModulePaths
 }
 
 function registerDcbTableName(dcbTableName) {
-  let init = dcbConfigRef.contents;
-  dcbConfigRef.contents = {
-    pluginName: init.pluginName,
-    dcbTableName: dcbTableName,
-    stateChangeSliceModulePaths: init.stateChangeSliceModulePaths
-  };
+  let newrecord = {...dcbConfigRef.contents};
+  newrecord.dcbTableName = dcbTableName;
+  dcbConfigRef.contents = newrecord;
 }
 
 let heartbeatConfigRef = {
   contents: {
     pluginId: "",
-    heartbeatTimeout: 10,
-    epQueueUrl: undefined
+    heartbeatTimeout: 10
   }
 };
 
@@ -252,12 +241,9 @@ function registerConfig(eventTopicArn, pluginReadModelTableName, schedulerRoleAr
 
 function Make(EventCollectorChannel) {
   let registerPluginName = pluginName => {
-    let init = dcbConfigRef.contents;
-    dcbConfigRef.contents = {
-      pluginName: pluginName,
-      dcbTableName: init.dcbTableName,
-      stateChangeSliceModulePaths: init.stateChangeSliceModulePaths
-    };
+    let newrecord = {...dcbConfigRef.contents};
+    newrecord.pluginName = pluginName;
+    dcbConfigRef.contents = newrecord;
   };
   let outputOrPlaceholder = opt => {
     if (opt !== undefined) {
@@ -280,7 +266,6 @@ function Make(EventCollectorChannel) {
           eventTopicArn: adminEpEventTopicArn,
           aggregateNames: [PluginSpec$ReventlessCore.name]
         }],
-      connectExtension: undefined,
       extensions: [],
       pluginExtensionPointCmdTopicUrl: Pulumi.output(""),
       publishToAggregates: {},

package/tests/AppSyncEventsSigner_OpsTest.res

@@ -33,7 +33,7 @@ let assertParity = (
   ~secretAccessKey,
   ~sessionToken,
 ) => {
-  let creds: AppSyncEventsSigner_Ops.creds = {accessKeyId, secretAccessKey, sessionToken}
+  let creds: AppSyncEventsSigner_Ops.creds = {accessKeyId, secretAccessKey, ?sessionToken}
   let mine = AppSyncEventsSigner_Ops.signedHeaders(~host, ~path, ~body, ~region, ~isoNow, ~creds)
   let jsCreds: jsCreds = {accessKeyId, secretAccessKey, ?sessionToken}
   let ref = signedHeadersJs(~host, ~path, ~body, ~region, ~isoNow, ~creds=jsCreds)

package/tests/AppSync_AdapterTest.res

@@ -961,10 +961,10 @@ describe("AppSync_Adapter.waitForMergeSuccess", () => {
   }
 
   let response = (~status, ~detail=?): AppSync_Adapter.getSourceApiAssociationResult => {
-    sourceApiAssociation: Some({
-      sourceApiAssociationStatus: Some(status),
-      sourceApiAssociationStatusDetail: detail,
-    }),
+    sourceApiAssociation: {
+      sourceApiAssociationStatus: status,
+      sourceApiAssociationStatusDetail: ?detail,
+    },
   }
 
   test("resolves once the association reports MERGE_SUCCESS", async () => {

package/tests/AppSync_AdapterTest.res.mjs

@@ -853,20 +853,17 @@ globalThis.describe("AppSync_Adapter.waitForMergeSuccess", () => {
     let client = makeFakeClient([
       {
         sourceApiAssociation: {
-          sourceApiAssociationStatus: "MERGE_SCHEDULED",
-          sourceApiAssociationStatusDetail: undefined
+          sourceApiAssociationStatus: "MERGE_SCHEDULED"
         }
       },
       {
         sourceApiAssociation: {
-          sourceApiAssociationStatus: "MERGE_IN_PROGRESS",
-          sourceApiAssociationStatusDetail: undefined
+          sourceApiAssociationStatus: "MERGE_IN_PROGRESS"
         }
       },
       {
         sourceApiAssociation: {
-          sourceApiAssociationStatus: "MERGE_SUCCESS",
-          sourceApiAssociationStatusDetail: undefined
+          sourceApiAssociationStatus: "MERGE_SUCCESS"
         }
       }
     ]);
@@ -892,8 +889,7 @@ globalThis.describe("AppSync_Adapter.waitForMergeSuccess", () => {
   globalThis.test("times out after maxAttempts on a status that never settles", async () => {
     let client = makeFakeClient([{
         sourceApiAssociation: {
-          sourceApiAssociationStatus: "MERGE_IN_PROGRESS",
-          sourceApiAssociationStatusDetail: undefined
+          sourceApiAssociationStatus: "MERGE_IN_PROGRESS"
         }
       }]);
     let message = "";

package/tests/Auth_ActiveRoleStoreTest.res

@@ -12,7 +12,7 @@ module Ops = Auth_ActiveRoleStore_Ops
 module Contract = ReventlessCore.Auth_ActiveRole
 
 describe("Auth_ActiveRoleStore_Ops.mayActAs — the conformance table", () => {
-  Contract.conformanceCases->Array.forEach(({label, membership, requested, expected}) =>
+  Contract.conformanceCases->Array.forEach(({label, membership, ?requested, ?expected}) =>
     switch requested {
     // "no role requested" has no subset decision to make — it is the clearing
     // path, exercised against the handler rather than the predicate.

package/tests/Auth_ActiveRoleTrigger_OpsTest.res

@@ -53,7 +53,7 @@ let claimOf = (e: Trigger.event, key) =>
 let effectiveGroups = (e: Trigger.event, ~membership) => groupsOf(e)->Option.getOr(membership)
 
 describe("the conformance table, minted by the trigger", () => {
-  Contract.conformanceCases->Array.forEach(({label, membership, requested, expected}) =>
+  Contract.conformanceCases->Array.forEach(({label, membership, ?requested, ?expected}) =>
     testSync(
       label,
       () => {

package/tests/AutomationSliceEntryPoint_OpsTest.res

@@ -309,7 +309,6 @@ describe("AutomationSliceEntryPoint_Ops.runSweeps", () => {
     comp,
     name: comp,
     tick: None,
-    reconcile: None,
   }
 
   test("sweeps every slice", async () => {
@@ -346,7 +345,6 @@ describe("AutomationSliceEntryPoint_Ops.runTick", () => {
     comp: name,
     name,
     tick,
-    reconcile: None,
   }
   let slices = [
     slice(~name="Outbound", ~tick=None),

package/tests/AutomationSliceEntryPoint_OpsTest.res.mjs

@@ -465,8 +465,7 @@ globalThis.describe("AutomationSliceEntryPoint_Ops.runSweeps", () => {
     sweep: run,
     comp: comp,
     name: comp,
-    tick: undefined,
-    reconcile: undefined
+    tick: undefined
   });
   globalThis.test("sweeps every slice", async () => {
     let swept = [];
@@ -512,8 +511,7 @@ globalThis.describe("AutomationSliceEntryPoint_Ops.runTick", () => {
     sweep: async () => {},
     comp: name,
     name: name,
-    tick: tick,
-    reconcile: undefined
+    tick: tick
   });
   let slices = [
     {
@@ -521,8 +519,7 @@ globalThis.describe("AutomationSliceEntryPoint_Ops.runTick", () => {
       sweep: async () => {},
       comp: "Outbound",
       name: "Outbound",
-      tick: undefined,
-      reconcile: undefined
+      tick: undefined
     },
     slice("DemandReport", async (key, at) => {
       ticks.push([

package/tests/BakeConvergenceTest.res

@@ -48,11 +48,6 @@ let emptyStructure: Reventless.Plugin.pluginStructure = {
   outboundTranslationSlices: [],
   inboundTranslationSlices: [],
   extensions: [],
-  extensionPoints: None,
-  requiredStores: None,
-  requiredStoreDeclarations: None,
-  requiredCapabilities: None,
-  traitDeclarations: None,
 }
 
 let definition = (~structure): Reventless.Plugin.pluginDefinition => {
@@ -64,9 +59,7 @@ let definition = (~structure): Reventless.Plugin.pluginDefinition => {
   eventCollector: "arn:aws:sqs:eu-west-1:0:Ordering",
   extensionProtocols: [],
   apiSchemaFragment: None,
-  apiTarget: None,
   structure: Some(structure),
-  dcbEventLog: None,
   kind: Domain,
 }
 
@@ -119,7 +112,7 @@ describe("the bake converges when a plugin's structure changes", () => {
   let (keyA, structureA) = deployStructure(emptyStructure)
   let (keyB, structureB) = deployStructure({
     ...emptyStructure,
-    requiredStores: Some(["Ordering.receipts"]),
+    requiredStores: ["Ordering.receipts"],
   })
   let defA = definition(~structure=structureA)
   let defB = definition(~structure=structureB)

package/tests/BakeConvergenceTest.res.mjs

@@ -60,12 +60,7 @@ let emptyStructure = {
   automationSlices: emptyStructure_automationSlices,
   outboundTranslationSlices: emptyStructure_outboundTranslationSlices,
   inboundTranslationSlices: emptyStructure_inboundTranslationSlices,
-  extensions: emptyStructure_extensions,
-  extensionPoints: undefined,
-  requiredStores: undefined,
-  requiredStoreDeclarations: undefined,
-  requiredCapabilities: undefined,
-  traitDeclarations: undefined
+  extensions: emptyStructure_extensions
 };
 
 function definition(structure) {
@@ -78,9 +73,7 @@ function definition(structure) {
     eventCollector: "arn:aws:sqs:eu-west-1:0:Ordering",
     extensionProtocols: [],
     apiSchemaFragment: undefined,
-    apiTarget: undefined,
     structure: structure,
-    dcbEventLog: undefined,
     kind: "Domain"
   };
 }
@@ -125,21 +118,8 @@ let afterDeploy = "2026-08-27T10:05:00Z";
 globalThis.describe("the bake converges when a plugin's structure changes", () => {
   let match = deployStructure(emptyStructure);
   let keyA = match[0];
-  let match$1 = deployStructure({
-    readModels: emptyStructure_readModels,
-    stateViewSlices: emptyStructure_stateViewSlices,
-    stateChangeSlices: emptyStructure_stateChangeSlices,
-    aggregates: emptyStructure_aggregates,
-    automationSlices: emptyStructure_automationSlices,
-    outboundTranslationSlices: emptyStructure_outboundTranslationSlices,
-    inboundTranslationSlices: emptyStructure_inboundTranslationSlices,
-    extensions: emptyStructure_extensions,
-    extensionPoints: undefined,
-    requiredStores: ["Ordering.receipts"],
-    requiredStoreDeclarations: undefined,
-    requiredCapabilities: undefined,
-    traitDeclarations: undefined
-  });
+  let newrecord = {...emptyStructure};
+  let match$1 = deployStructure((newrecord.requiredStores = ["Ordering.receipts"], newrecord));
   let keyB = match$1[0];
   let defA = definition(match[1]);
   let defB = definition(match$1[1]);

package/tests/BakeManifestTest.res

@@ -33,12 +33,11 @@ plugins:
     expect(resolved)->toEqual(
       Ok({
         DeployManifest.file: "/repo/shop/deploy-manifest.yaml",
-        region: Some("eu-west-1"),
+        region: "eu-west-1",
         platform: {
           name: "shop-platform",
           dir: "/repo/shop/platform-aws",
           stackDefaults: Dict.fromArray([("platform:messagingEmailProvider", "log")]),
-          region: None,
           review: true,
         },
         plugins: [
@@ -46,14 +45,13 @@ plugins:
             name: "catalog",
             dir: "/repo/shop/catalog-aws",
             stackDefaults: Dict.make(),
-            region: None,
             review: true,
           },
           {
             name: "ordering",
             dir: "/repo/shop/ordering-aws",
             stackDefaults: Dict.make(),
-            region: Some("eu-central-1"),
+            region: "eu-central-1",
             review: false,
           },
         ],
@@ -79,9 +77,9 @@ describe("BakeManifest.parseArgs", () => {
       ]),
     )->toEqual(
       Ok({
-        Bake.manifest: Some("m.yaml"),
-        stack: Some("alpha"),
-        since: Some("2026-09-16T10:00:00Z"),
+        Bake.manifest: "m.yaml",
+        stack: "alpha",
+        since: "2026-09-16T10:00:00Z",
         review: false,
         help: false,
       }),
@@ -109,7 +107,6 @@ describe("BakeManifest.pluginsToRead", () => {
     DeployManifest.name,
     dir: `/repo/shop/${name}-aws`,
     stackDefaults: Dict.make(),
-    region: None,
     review,
   }
   let plugins = [plugin("catalog", ~review=true), plugin("ingest", ~review=false)]
@@ -213,8 +210,6 @@ describe("BakeManifest.readAnswer", () => {
         plugin: "Catalog",
         state: "missing",
         expected: "sha256/new",
-        found: None,
-        writtenAt: None,
       }),
     )->toBe("  Catalog: missing — expected sha256/new, row holds no row (written never)")
   )

package/tests/BakeManifestTest.res.mjs

@@ -40,7 +40,6 @@ plugins:
               "platform:messagingEmailProvider",
               "log"
             ]]),
-          region: undefined,
           review: true
         },
         plugins: [
@@ -48,7 +47,6 @@ plugins:
             name: "catalog",
             dir: "/repo/shop/catalog-aws",
             stackDefaults: {},
-            region: undefined,
             review: true
           },
           {
@@ -122,7 +120,6 @@ globalThis.describe("BakeManifest.pluginsToRead", () => {
     name: name,
     dir: `/repo/shop/` + name + `-aws`,
     stackDefaults: {},
-    region: undefined,
     review: review
   });
   let plugins = [
@@ -229,9 +226,7 @@ globalThis.describe("BakeManifest.readAnswer", () => {
     globalThis.expect(BakeManifest$ReventlessAws.registrationLine({
       plugin: "Catalog",
       state: "missing",
-      expected: "sha256/new",
-      found: undefined,
-      writtenAt: undefined
+      expected: "sha256/new"
     })).toBe("  Catalog: missing — expected sha256/new, row holds no row (written never)");
   });
 });

package/tests/CommandLineTest.res

@@ -11,14 +11,14 @@ let answersLikeEveryTool = (cli: CliArgs.cli<'args>, ~mistake, ~message) =>
   test(`${cli.bin}: --help and a usage mistake`, async () => {
     let usage = cli.usage->String.trim
     expect(usage->String.startsWith(`Usage: ${cli.bin} `))->toBe(true)
-    let help = {CliArgs.stdout: [usage], stderr: [], exitCode: Some(0), reachedMain: false}
+    let help = {CliArgs.stdout: [usage], stderr: [], exitCode: 0, reachedMain: false}
     expect(await CliArgs.observe(cli, ["-h"]))->toEqual(help)
     // Help wins: whoever asks what a tool takes is least sure of their arguments.
     expect(await CliArgs.observe(cli, mistake->Array.concat(["--help"])))->toEqual(help)
     expect(await CliArgs.observe(cli, mistake))->toEqual({
       CliArgs.stdout: [],
       stderr: [`${cli.bin}: ${message}\n\n${usage}`],
-      exitCode: Some(2),
+      exitCode: 2,
       reachedMain: false,
     })
   })
@@ -62,7 +62,7 @@ describe("a string flag's value", () => {
 
   testSync("may be given inline", () =>
     expect(DeployApp.parseArgs(["down", "--manifest=../m.yaml", "--stack=try"]))->toEqual(
-      Ok({DeployApp.command: Some(Down), manifest: Some("../m.yaml"), stack: "try", help: false}),
+      Ok({DeployApp.command: Down, manifest: "../m.yaml", stack: "try", help: false}),
     )
   )
 

package/tests/DeployAppTest.res

@@ -6,13 +6,13 @@ open JestGlobals
 describe("DeployApp.parseArgs", () => {
   testSync("up with the defaults", () =>
     expect(DeployApp.parseArgs(["up"]))->toEqual(
-      Ok({DeployApp.command: Some(Up), manifest: None, stack: "dev", help: false}),
+      Ok({DeployApp.command: Up, stack: "dev", help: false}),
     )
   )
 
   testSync("down with a manifest and a stack", () =>
     expect(DeployApp.parseArgs(["down", "--manifest", "../m.yaml", "--stack", "try"]))->toEqual(
-      Ok({DeployApp.command: Some(Down), manifest: Some("../m.yaml"), stack: "try", help: false}),
+      Ok({DeployApp.command: Down, manifest: "../m.yaml", stack: "try", help: false}),
     )
   )
 
@@ -55,11 +55,10 @@ describe("DeployApp stacks and layer", () => {
     projectName: "shop-platform-aws",
     program: "/app/platform-aws/src/Main.res.mjs",
     stackDefaults: Dict.fromArray([("aws:region", "us-east-1"), ("platform:x", "y")]),
-    region: None,
   }
 
   testSync("a stack the manifest puts in another region is refused", () => {
-    let ingest = {...project, label: "ingest", region: Some("eu-central-1")}
+    let ingest = {...project, label: "ingest", region: "eu-central-1"}
     expect(
       DeployApp.regionProblems(~projects=[project, ingest], ~region="eu-west-1")->Array.length,
     )->toBe(1)