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

package/CHANGELOG.md

@@ -3,6 +3,22 @@
 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.102 (2026-07-17)
+
+### Features
+
+* **runtime:** platform-supplied EP/task pod runtime floors ([37544d0](https://github.com/ReventlessDev/reventless-core/commit/37544d029d278bbcae6eeb0f583da07d6ce70f04))
+
+
+# 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.102",
   "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-effect": "0.1.0-alpha.29",
+    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.17",
+    "@reventlessdev/rescript-uuid": "1.1.0-alpha.17",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.79"
   },
   "devDependencies": {
-    "rescript": "^12.3.0",
-    "@reventlessdev/rescript-jest": "1.0.0-alpha.7"
+    "rescript": "12.3.0",
+    "@reventlessdev/rescript-jest": "1.0.0-alpha.9"
   },
   "peerDependencies": {
-    "rescript": "^12.3.0"
+    "rescript": "12.3.0"
   },
   "publishConfig": {
     "registry": "https://registry.npmjs.org"
@@ -34,7 +34,7 @@
   "repository": {
     "type": "git",
     "url": "git+https://github.com/ReventlessDev/reventless-core.git",
-    "directory": "reventless/reventless-infra"
+    "directory": "reventless/infra"
   },
   "scripts": {
     "build": "rescript build",

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/RuntimeDefaults.res

@@ -0,0 +1,18 @@
+/**
+Platform-supplied per-kind runtime floor for pods that are sized straight from
+core's resolved value (extension-point and task pods).
+
+`RuntimeHints.resolveMemory`/`resolveTimeout` take a `~default` that is the
+per-kind floor an override can only raise (`Math.Int.max`). For EP/task pods that
+default is a *deployment* fact — how big a pod this platform wants — not a domain
+fact, so the platform (not a core constant) supplies it. Each platform binds this
+module at the seam where it applies the core `ExtensionPoint_Builder.Make` /
+`Task_Builder.Make` functor; core feeds the two `let`s into `resolveMemory` /
+`resolveTimeout` in place of the old hardcoded literals.
+
+See docs/plans/runtime-hints-platform-supplied-defaults.md.
+*/
+module type T = {
+  let memorySize: int // MiB floor for this pod kind on this platform
+  let timeout: int // seconds
+}

package/src/types/RuntimeDefaults.res.mjs

@@ -0,0 +1,2 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+/* This output is empty. Its source's type definitions, externals and/or unused code got optimized away. */

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/DeployBootstrapTest.res.mjs

@@ -1,100 +0,0 @@
-// Generated by ReScript, PLEASE EDIT WITH CARE
-
-import * as DeployBootstrap$ReventlessInfra from "../src/components/DeployBootstrap.res.mjs";
-
-globalThis.describe("DeployBootstrap", () => {
-  globalThis.describe("run with no registrations", () => {
-    globalThis.test("is a no-op that does not throw", () => {
-      DeployBootstrap$ReventlessInfra.reset();
-      DeployBootstrap$ReventlessInfra.run("PreDeploy");
-      DeployBootstrap$ReventlessInfra.run("PostDeploy");
-      globalThis.expect(true).toBe(true);
-    });
-  });
-  globalThis.describe("registration order within a phase", () => {
-    globalThis.test("runs contributions in the order they were registered", () => {
-      DeployBootstrap$ReventlessInfra.reset();
-      let calls = [];
-      DeployBootstrap$ReventlessInfra.register(undefined, () => {
-        calls.push("a");
-      });
-      DeployBootstrap$ReventlessInfra.register(undefined, () => {
-        calls.push("b");
-      });
-      DeployBootstrap$ReventlessInfra.register(undefined, () => {
-        calls.push("c");
-      });
-      DeployBootstrap$ReventlessInfra.run("PreDeploy");
-      globalThis.expect(calls).toEqual([
-        "a",
-        "b",
-        "c"
-      ]);
-    });
-  });
-  globalThis.describe("phase isolation", () => {
-    globalThis.test("run(PreDeploy) fires only PreDeploy contributions", () => {
-      DeployBootstrap$ReventlessInfra.reset();
-      let calls = [];
-      DeployBootstrap$ReventlessInfra.register("PreDeploy", () => {
-        calls.push("pre");
-      });
-      DeployBootstrap$ReventlessInfra.register("PostDeploy", () => {
-        calls.push("post");
-      });
-      DeployBootstrap$ReventlessInfra.run("PreDeploy");
-      globalThis.expect(calls).toEqual(["pre"]);
-      DeployBootstrap$ReventlessInfra.run("PostDeploy");
-      globalThis.expect(calls).toEqual([
-        "pre",
-        "post"
-      ]);
-    });
-    globalThis.test("defaults to PreDeploy when no phase is given", () => {
-      DeployBootstrap$ReventlessInfra.reset();
-      let calls = [];
-      DeployBootstrap$ReventlessInfra.register(undefined, () => {
-        calls.push("default");
-      });
-      DeployBootstrap$ReventlessInfra.run("PostDeploy");
-      globalThis.expect(calls).toEqual([]);
-      DeployBootstrap$ReventlessInfra.run("PreDeploy");
-      globalThis.expect(calls).toEqual(["default"]);
-    });
-  });
-  globalThis.describe("idempotent run per phase", () => {
-    globalThis.test("running an already-run phase does nothing", () => {
-      DeployBootstrap$ReventlessInfra.reset();
-      let count = {
-        contents: 0
-      };
-      DeployBootstrap$ReventlessInfra.register(undefined, () => {
-        count.contents = count.contents + 1 | 0;
-      });
-      DeployBootstrap$ReventlessInfra.run("PreDeploy");
-      DeployBootstrap$ReventlessInfra.run("PreDeploy");
-      DeployBootstrap$ReventlessInfra.run("PreDeploy");
-      globalThis.expect(count.contents).toBe(1);
-    });
-    globalThis.test("a contribution registered after run does not fire", () => {
-      DeployBootstrap$ReventlessInfra.reset();
-      let calls = [];
-      DeployBootstrap$ReventlessInfra.register(undefined, () => {
-        calls.push("before");
-      });
-      DeployBootstrap$ReventlessInfra.run("PreDeploy");
-      DeployBootstrap$ReventlessInfra.register(undefined, () => {
-        calls.push("after");
-      });
-      DeployBootstrap$ReventlessInfra.run("PreDeploy");
-      globalThis.expect(calls).toEqual(["before"]);
-    });
-  });
-});
-
-let DB;
-
-export {
-  DB,
-}
-/*  Not a pure module */