@reventlessdev/reventless-infra 3.0.0-alpha.100 → 3.0.0-alpha.101

package/CHANGELOG.md

@@ -3,6 +3,15 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 3.0.0-alpha.101 (2026-07-16)
+
+### Features
+
+* **aws:** consume per-component runtime hints; fold into shared command Lambdas ([7ba2485](https://github.com/ReventlessDev/reventless-core/commit/7ba248579f2472f2fc847b26033927199353f3e6))
+* **core:** honor per-component runtime hints for ExtensionPoints ([72d0218](https://github.com/ReventlessDev/reventless-core/commit/72d0218ec4f73d6a59230640c9ee4a538e6b8688))
+* **core:** thread per-component runtime hints from plugin.json (spec/infra/core/local) ([a94f419](https://github.com/ReventlessDev/reventless-core/commit/a94f4199c4ac7eeeb24dd0a71d58fb73c1e514e6))
+
+
 # 3.0.0-alpha.100 (2026-07-15)
 
 **Note:** Version bump only for package @reventlessdev/reventless-infra

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-infra",
-  "version": "3.0.0-alpha.100",
+  "version": "3.0.0-alpha.101",
   "description": "Infrastructure types for Reventless framework",
   "license": "Apache-2.0",
   "jest": {
@@ -16,17 +16,17 @@
     "sury": "11.0.0-alpha.4",
     "sury-ppx": "11.0.0-alpha.2",
     "uuid": "^13.0.0",
-    "@reventlessdev/rescript-effect": "0.1.0-alpha.27",
-    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.15",
-    "@reventlessdev/rescript-uuid": "1.1.0-alpha.15",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.77"
+    "@reventlessdev/rescript-uuid": "1.1.0-alpha.16",
+    "@reventlessdev/rescript-effect": "0.1.0-alpha.28",
+    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.16",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.78"
   },
   "devDependencies": {
-    "rescript": "^12.3.0",
-    "@reventlessdev/rescript-jest": "1.0.0-alpha.7"
+    "rescript": "12.3.0",
+    "@reventlessdev/rescript-jest": "1.0.0-alpha.8"
   },
   "peerDependencies": {
-    "rescript": "^12.3.0"
+    "rescript": "12.3.0"
   },
   "publishConfig": {
     "registry": "https://registry.npmjs.org"

package/src/components/Aggregate.res

@@ -65,7 +65,11 @@ module type T = {
   module Spec: Reventless.Aggregate.Spec
   type api
   type component
-  let make: (~api: api, ~opts: Pulumi.ComponentResource.options=?) => component
+  let make: (
+    ~api: api,
+    ~runtime: RuntimeHints.t=?,
+    ~opts: Pulumi.ComponentResource.options=?,
+  ) => component
   let outputs: component => outputs
   let operations: component => Pulumi.Output.t<operations>
   /** Signal that all event mappers have been attached; finalises the aggregate. */

package/src/components/AutomationSlice.res

@@ -43,6 +43,7 @@ module type T = {
     ~allEventTopics: EventTopic.allOutputs,
     ~publishJsons: Pulumi.Output.t<CommandTopic.publishJsons>,
     ~context: Reventless.AutomationSlice.context,
+    ~runtime: RuntimeHints.t=?,
     ~opts: Pulumi.ComponentResource.options=?,
   ) => component
 }

package/src/components/ExtensionPoint.res

@@ -49,12 +49,17 @@ the `reventless` package.
 module type T = {
   type operations
   type component
+  /** The extension point's logical name — the key its `plugin.json` runtime
+      hint is looked up by at the `Builder_Helpers.createExtensionPoints` site,
+      before `make` is called. */
+  let name: string
   let make: (
     ~aggregateResources: dict<array<Adapter.resource>>,
     ~publishToAggregates: dict<CommandTopic.publishJsons>,
     ~scheduler: Scheduler.operations,
     ~queryEngine: Reventless.QueryEngine.operations,
     ~resourceNaming: ResourceNaming.operations,
+    ~runtime: RuntimeHints.t=?,
     ~opts: option<Pulumi.ComponentResource.options>,
   ) => component
   let outputs: component => outputs

package/src/components/InboundTranslationSlice.res

@@ -36,6 +36,7 @@ module type T = {
   let queryDbName: string
   let make: (
     ~publishJsons: Pulumi.Output.t<CommandTopic.publishJsons>,
+    ~runtime: RuntimeHints.t=?,
     ~opts: Pulumi.ComponentResource.options=?,
   ) => component
 }

package/src/components/OutboundTranslationSlice.res

@@ -39,6 +39,7 @@ module type T = {
   let make: (
     ~dcbEventLog: DcbEventLog.component,
     ~publishJsons: Pulumi.Output.t<CommandTopic.publishJsons>,
+    ~runtime: RuntimeHints.t=?,
     ~opts: Pulumi.ComponentResource.options=?,
   ) => component
 }

package/src/components/Plugin.res

@@ -66,6 +66,12 @@ module type T = {
         `@@reventless.systemCallable` on the spec file and threaded here by the
         plugin generator; see `docs/guides/appsync-iam-system-caller.md`. */
     ~systemCallableComponents: array<string>=?,
+    /** Per-component runtime resource hints keyed by component name, authored in
+        the plugin's `plugin.json` `runtime` block and emitted by the plugin
+        generator. The deploy loop looks up each component's hint by `Spec.name`
+        and forwards it into that component's `make`. See
+        docs/plans/configurable-component-runtime-resources.md. */
+    ~componentRuntime: dict<RuntimeHints.t>=?,
     ~uiFragments: Reventless.Plugin.uiFragmentManifest=?,
     ~pluginStructure: Reventless.Plugin.pluginStructure=?,
     ~opts: Pulumi.ComponentResource.options=?,

package/src/components/ReadModel.res

@@ -47,6 +47,7 @@ module type T = {
     ~api: api,
     ~apiRole: role,
     ~allEventTopics: EventTopic.allOutputs,
+    ~runtime: RuntimeHints.t=?,
     ~opts: Pulumi.ComponentResource.options=?,
   ) => component
   let outputs: component => outputs

package/src/components/StateChangeSlice.res

@@ -40,6 +40,7 @@ module type T = {
         a cross-partition scalar command tag fans out into its own single-tag
         decision-read clause. */
     ~crossPartitionTagKeys: array<string>=?,
+    ~runtime: RuntimeHints.t=?,
     ~opts: Pulumi.ComponentResource.options=?,
   ) => component
 }

package/src/components/StateViewSlice.res

@@ -33,6 +33,7 @@ module type T = {
   type component = Component.t<t, outputs, operations>
   let make: (
     ~dcbEventLog: DcbEventLog.component,
+    ~runtime: RuntimeHints.t=?,
     ~opts: Pulumi.ComponentResource.options=?,
   ) => component
 }

package/src/components/Task.res

@@ -83,6 +83,7 @@ module type T = {
     ~queryEngine: Reventless.QueryEngine.operations,
     ~resourceNaming: ResourceNaming.operations,
     ~allAggregates: dict<Aggregate.outputs>,
+    ~runtime: RuntimeHints.t=?,
     ~opts: option<Pulumi.ComponentResource.options>,
   ) => component
   let outputs: component => outputs

package/src/types/RuntimeHints.res

@@ -0,0 +1,41 @@
+/**
+Per-component runtime resource hints, declared once (portably) on the plugin's
+composition surface (`plugin.json` `runtime` block) and threaded into each
+component's `make` by the plugin deploy loop.
+
+Both fields are optional; an omitted field falls through to the per-kind builder
+default. The value is a *logical envelope* (working-set memory / wall-clock),
+not a literal cap — each platform adapter maps it to its own resource model
+(AWS Lambda `memorySize`/`timeout`, k8s pod `requests`/`limits`, local ignores).
+
+See docs/plans/configurable-component-runtime-resources.md.
+*/
+type t = {
+  memorySize: option<int>,
+  timeout: option<int>,
+}
+
+/** No hints — every field falls through to the per-kind builder default. */
+let empty: t = {memorySize: None, timeout: None}
+
+/**
+Resolve a component's memory floor: the per-component override raises the
+per-kind default, never lowers it (`Math.Int.max`). An absent override yields
+the default unchanged.
+*/
+let resolveMemory = (hints: option<t>, ~default: int): int =>
+  switch hints {
+  | Some({memorySize: Some(m)}) => Math.Int.max(default, m)
+  | _ => default
+  }
+
+/**
+Resolve a component's timeout: an explicit per-component timeout replaces the
+default (no `max` — a longer default is not inherently safer). An absent
+override yields the default unchanged.
+*/
+let resolveTimeout = (hints: option<t>, ~default: int): int =>
+  switch hints {
+  | Some({timeout: Some(t)}) => t
+  | _ => default
+  }

package/src/types/RuntimeHints.res.mjs

@@ -0,0 +1,38 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+
+function resolveMemory(hints, $$default) {
+  if (hints === undefined) {
+    return $$default;
+  }
+  let m = hints.memorySize;
+  if (m !== undefined) {
+    return Math.max($$default, m);
+  } else {
+    return $$default;
+  }
+}
+
+function resolveTimeout(hints, $$default) {
+  if (hints === undefined) {
+    return $$default;
+  }
+  let t = hints.timeout;
+  if (t !== undefined) {
+    return t;
+  } else {
+    return $$default;
+  }
+}
+
+let empty = {
+  memorySize: undefined,
+  timeout: undefined
+};
+
+export {
+  empty,
+  resolveMemory,
+  resolveTimeout,
+}
+/* No side effect */

package/tests/RuntimeHintsTest.res

@@ -0,0 +1,32 @@
+open JestGlobals
+
+module RH = RuntimeHints
+
+// Precedence for per-component runtime hints (see
+// docs/plans/configurable-component-runtime-resources.md): memory is a floor
+// (override raises the per-kind default via Math.Int.max, never lowers it),
+// timeout is a replace (an explicit value wins outright).
+
+describe("RuntimeHints.resolveMemory", () => {
+  testSync("no hint falls through to the per-kind default", () => {
+    expect(RH.resolveMemory(None, ~default=1024))->toBe(1024)
+  })
+  testSync("an override above the default wins", () => {
+    expect(RH.resolveMemory(Some({memorySize: Some(2048), timeout: None}), ~default=1024))->toBe(2048)
+  })
+  testSync("an override below the default is clamped up to the floor", () => {
+    expect(RH.resolveMemory(Some({memorySize: Some(256), timeout: None}), ~default=1024))->toBe(1024)
+  })
+  testSync("an absent memorySize field falls through to the default", () => {
+    expect(RH.resolveMemory(Some({memorySize: None, timeout: Some(60)}), ~default=1024))->toBe(1024)
+  })
+})
+
+describe("RuntimeHints.resolveTimeout", () => {
+  testSync("an explicit timeout replaces the default (no max)", () => {
+    expect(RH.resolveTimeout(Some({memorySize: None, timeout: Some(15)}), ~default=30))->toBe(15)
+  })
+  testSync("no hint falls through to the default", () => {
+    expect(RH.resolveTimeout(None, ~default=30))->toBe(30)
+  })
+})

package/tests/RuntimeHintsTest.res.mjs

@@ -0,0 +1,46 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as RuntimeHints$ReventlessInfra from "../src/types/RuntimeHints.res.mjs";
+
+globalThis.describe("RuntimeHints.resolveMemory", () => {
+  globalThis.test("no hint falls through to the per-kind default", () => {
+    globalThis.expect(RuntimeHints$ReventlessInfra.resolveMemory(undefined, 1024)).toBe(1024);
+  });
+  globalThis.test("an override above the default wins", () => {
+    globalThis.expect(RuntimeHints$ReventlessInfra.resolveMemory({
+      memorySize: 2048,
+      timeout: undefined
+    }, 1024)).toBe(2048);
+  });
+  globalThis.test("an override below the default is clamped up to the floor", () => {
+    globalThis.expect(RuntimeHints$ReventlessInfra.resolveMemory({
+      memorySize: 256,
+      timeout: undefined
+    }, 1024)).toBe(1024);
+  });
+  globalThis.test("an absent memorySize field falls through to the default", () => {
+    globalThis.expect(RuntimeHints$ReventlessInfra.resolveMemory({
+      memorySize: undefined,
+      timeout: 60
+    }, 1024)).toBe(1024);
+  });
+});
+
+globalThis.describe("RuntimeHints.resolveTimeout", () => {
+  globalThis.test("an explicit timeout replaces the default (no max)", () => {
+    globalThis.expect(RuntimeHints$ReventlessInfra.resolveTimeout({
+      memorySize: undefined,
+      timeout: 15
+    }, 30)).toBe(15);
+  });
+  globalThis.test("no hint falls through to the default", () => {
+    globalThis.expect(RuntimeHints$ReventlessInfra.resolveTimeout(undefined, 30)).toBe(30);
+  });
+});
+
+let RH;
+
+export {
+  RH,
+}
+/*  Not a pure module */