@reventlessdev/reventless-core 3.0.0-alpha.170 → 3.0.0-alpha.171

package/CHANGELOG.md

@@ -3,6 +3,13 @@
 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.171 (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.170 (2026-07-16)
 
 ### Features

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-core",
-  "version": "3.0.0-alpha.170",
+  "version": "3.0.0-alpha.171",
   "description": "Core package for Reventless framework",
   "license": "Apache-2.0",
   "jest": {
@@ -28,22 +28,22 @@
   "dependencies": {
     "sury": "11.0.0-alpha.4",
     "uuid": "^13.0.0",
-    "@reventlessdev/rescript-effect": "0.1.0-alpha.28",
-    "@reventlessdev/rescript-hash-object": "1.2.0-alpha.12",
-    "@reventlessdev/rescript-fast-csv": "1.2.0-alpha.13",
-    "@reventlessdev/rescript-jest": "1.0.0-alpha.8",
-    "@reventlessdev/rescript-node-streams": "1.1.0-alpha.12",
-    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.16",
-    "@reventlessdev/rescript-uuid": "1.1.0-alpha.16",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.78",
-    "@reventlessdev/reventless-interop": "3.0.0-alpha.27",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.101",
-    "@reventlessdev/rescript-ssh2": "1.1.0-alpha.13"
+    "@reventlessdev/rescript-effect": "0.1.0-alpha.29",
+    "@reventlessdev/rescript-hash-object": "1.2.0-alpha.13",
+    "@reventlessdev/rescript-node-streams": "1.1.0-alpha.13",
+    "@reventlessdev/rescript-jest": "1.0.0-alpha.9",
+    "@reventlessdev/rescript-fast-csv": "1.2.0-alpha.14",
+    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.17",
+    "@reventlessdev/rescript-ssh2": "1.1.0-alpha.14",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.102",
+    "@reventlessdev/reventless-interop": "3.0.0-alpha.28",
+    "@reventlessdev/rescript-uuid": "1.1.0-alpha.17",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.79"
   },
   "devDependencies": {
     "rescript": "12.3.0",
     "sury-ppx": "11.0.0-alpha.2",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.53"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.54"
   },
   "peerDependencies": {
     "rescript": "12.3.0"
@@ -55,7 +55,7 @@
   "repository": {
     "type": "git",
     "url": "git+https://github.com/ReventlessDev/reventless-core.git",
-    "directory": "reventless/reventless-core"
+    "directory": "reventless/core"
   },
   "scripts": {
     "build": "rescript build",

package/src/components/ExtensionPoint/ExtensionPoint_Builder.res

@@ -7,6 +7,7 @@ module Make = (
   EventTopicAdapter: EventTopic_Adapter.Publisher,
   ExtensionPointRuntimeBuilder: ExtensionPointRuntime_Builder.T
     with module CommandTopicChannel := CommandTopicChannel,
+  Defaults: ReventlessInfra.RuntimeDefaults.T,
 ): ExtensionPoint.T => {
   module Spec = Spec
 
@@ -92,8 +93,10 @@ module Make = (
         commandTopic->ExtensionPointRuntimeBuilder.forCommandTopic(
           ~handler,
           ~connect=SpecificCommandTopic.connect(commandTopic, ~resources, ...),
-          ~memorySize=runtime->ReventlessInfra.RuntimeHints.resolveMemory(~default=1024),
-          ~timeout=runtime->ReventlessInfra.RuntimeHints.resolveTimeout(~default=30),
+          ~memorySize=runtime->ReventlessInfra.RuntimeHints.resolveMemory(
+            ~default=Defaults.memorySize,
+          ),
+          ~timeout=runtime->ReventlessInfra.RuntimeHints.resolveTimeout(~default=Defaults.timeout),
           ~specModulePath=Spec.moduleUrl,
           ~mappingsModulePath=Mappings.moduleUrl,
           ~publishToAggregatesQueueUrls,

package/src/components/ExtensionPoint/ExtensionPoint_Builder.res.mjs

@@ -17,7 +17,7 @@ import * as ExtensionPoint_Callback$ReventlessCore from "./ExtensionPoint_Callba
 import * as ExtensionPoint_Operations$ReventlessCore from "./ExtensionPoint_Operations.res.mjs";
 
 function Make(Spec) {
-  return Mappings => (RuntimeEnvironment => (CommandTopicChannel => (EventTopicAdapter => (ExtensionPointRuntimeBuilder => {
+  return Mappings => (RuntimeEnvironment => (CommandTopicChannel => (EventTopicAdapter => (ExtensionPointRuntimeBuilder => (Defaults => {
     let name = Spec.name;
     let commandSchema = Spec.commandSchema;
     let eventSchema = Spec.eventSchema;
@@ -59,7 +59,7 @@ function Make(Spec) {
             return Pulumi.output("");
           }
         });
-        ExtensionPointRuntimeBuilder.forCommandTopic(handler, none => SpecificCommandTopic.connect(none, resources, commandTopic), RuntimeHints$ReventlessInfra.resolveMemory(runtime, 1024), RuntimeHints$ReventlessInfra.resolveTimeout(runtime, 30), Spec.moduleUrl, Mappings.moduleUrl, publishToAggregatesQueueUrls, commandTopic);
+        ExtensionPointRuntimeBuilder.forCommandTopic(handler, none => SpecificCommandTopic.connect(none, resources, commandTopic), RuntimeHints$ReventlessInfra.resolveMemory(runtime, Defaults.memorySize), RuntimeHints$ReventlessInfra.resolveTimeout(runtime, Defaults.timeout), Spec.moduleUrl, Mappings.moduleUrl, publishToAggregatesQueueUrls, commandTopic);
         let SpecificEventTopic = EventTopic_Builder$ReventlessCore.Make({
           Id: Id$Reventless.$$String,
           name: name,
@@ -106,7 +106,7 @@ function Make(Spec) {
       outputs: Component$ReventlessCore.outputs,
       operations: Component$ReventlessCore.operations
     };
-  }))));
+  })))));
 }
 
 export {

package/src/components/Task/Task_Builder.res

@@ -28,6 +28,7 @@ module Make = (
     and type runtimeParts = RuntimeEnvironment.parts
     and type context = TaskRuntimeBuilder.context,
   SpecificSideEffectHandler: SideEffectHandler.T,
+  Defaults: ReventlessInfra.RuntimeDefaults.T,
 ): Task.T => {
   module Spec = Spec
   type component = Task.component
@@ -50,10 +51,11 @@ module Make = (
     taskName,
   ) => {
     let opts = {Pulumi.ComponentResource.parent: self->Component.toPulumiResource}
-    // Task bucket callbacks default to a large envelope (bulk import/export work);
-    // a plugin.json `runtime` override raises memory above it and replaces timeout.
-    let memorySize = ReventlessInfra.RuntimeHints.resolveMemory(runtime, ~default=4096)
-    let timeout = ReventlessInfra.RuntimeHints.resolveTimeout(runtime, ~default=600)
+    // Task bucket callbacks default to the platform-supplied task-pod floor (a
+    // large envelope for bulk import/export work); a plugin.json `runtime`
+    // override raises memory above it and replaces timeout.
+    let memorySize = ReventlessInfra.RuntimeHints.resolveMemory(runtime, ~default=Defaults.memorySize)
+    let timeout = ReventlessInfra.RuntimeHints.resolveTimeout(runtime, ~default=Defaults.timeout)
     let allCommandTopics = allAggregates->Aggregate.allCommandTopics
 
     // Each adapter chooses what string the Task runtime should treat as the

package/src/components/Task/Task_Builder.res.mjs

@@ -20,14 +20,14 @@ function pascalCase(s) {
 }
 
 function Make(Spec) {
-  return RuntimeEnvironment => (EventCollectorChannel => (EventCollectorRuntimeBuilder => (TaskRuntimeBuilder => (TaskBucket => (SpecificSideEffectHandler => {
+  return RuntimeEnvironment => (EventCollectorChannel => (EventCollectorRuntimeBuilder => (TaskRuntimeBuilder => (TaskBucket => (SpecificSideEffectHandler => (Defaults => {
     let make = (queryBucketName, scheduler, schedulerRoleUrn, publishToAggregates, queryEngine, resourceNaming, allAggregates, runtime, opts) => Component$ReventlessCore.make(ComponentType$ReventlessCore.toString(Task$ReventlessCore.componentType), Spec.name, (extra, extra$1) => {
       let opts_parent = Component$ReventlessCore.toPulumiResource(extra);
       let opts = {
         parent: opts_parent
       };
-      let memorySize = RuntimeHints$ReventlessInfra.resolveMemory(runtime, 4096);
-      let timeout = RuntimeHints$ReventlessInfra.resolveTimeout(runtime, 600);
+      let memorySize = RuntimeHints$ReventlessInfra.resolveMemory(runtime, Defaults.memorySize);
+      let timeout = RuntimeHints$ReventlessInfra.resolveTimeout(runtime, Defaults.timeout);
       let allCommandTopics = Aggregate$ReventlessCore.allCommandTopics(allAggregates);
       let publishToAggregatesQueueUrls = Stdlib_Dict.mapValues(allAggregates, agg => Output$Pulumi.flatMap(agg.commandTopic, ct => {
         let r = ct.resources[0];
@@ -107,7 +107,7 @@ function Make(Spec) {
       make: make,
       outputs: Component$ReventlessCore.outputs
     };
-  })))));
+  }))))));
 }
 
 export {

package/src/plugin/connect/PluginExtensionPoint_Builder.res

@@ -17,6 +17,7 @@ module Make = (
   EventTopicAdapter: EventTopic_Adapter.Publisher,
   ExtensionPointRuntimeBuilder: ExtensionPointRuntime_Builder.T
     with module CommandTopicChannel := CommandTopicChannel,
+  Defaults: ReventlessInfra.RuntimeDefaults.T,
 ): ExtensionPoint.T => {
   module PluginMappingInstance = PluginExtensionPoint_Plugin.Make(Spec)
 
@@ -41,5 +42,6 @@ module Make = (
     CommandTopicChannel,
     EventTopicAdapter,
     ExtensionPointRuntimeBuilder,
+    Defaults,
   )
 }

package/src/plugin/connect/PluginExtensionPoint_Builder.res.mjs

@@ -6,7 +6,7 @@ import * as PluginExtensionPoint_Plugin$ReventlessCore from "./PluginExtensionPo
 import * as PluginExtensionPoint_UiFragment$ReventlessCore from "./PluginExtensionPoint_UiFragment.res.mjs";
 
 function Make(Spec) {
-  return RuntimeEnvironment => (CommandTopicChannel => (EventTopicAdapter => (ExtensionPointRuntimeBuilder => {
+  return RuntimeEnvironment => (CommandTopicChannel => (EventTopicAdapter => (ExtensionPointRuntimeBuilder => (Defaults => {
     let PluginMappingInstance = PluginExtensionPoint_Plugin$ReventlessCore.Make(Spec);
     let name = PluginMappingInstance.Mapping.delegateName;
     let mappings = [
@@ -24,8 +24,8 @@ function Make(Spec) {
       commandSchema: PluginExtensionPointSpec$ReventlessInfra.commandSchema,
       eventSchema: PluginExtensionPointSpec$ReventlessInfra.eventSchema,
       directiveSchema: PluginExtensionPointSpec$ReventlessInfra.directiveSchema
-    })(Mappings)(RuntimeEnvironment)(CommandTopicChannel)(EventTopicAdapter)(ExtensionPointRuntimeBuilder);
-  })));
+    })(Mappings)(RuntimeEnvironment)(CommandTopicChannel)(EventTopicAdapter)(ExtensionPointRuntimeBuilder)(Defaults);
+  }))));
 }
 
 let PluginExtensionPointSpec;

package/tests/IdentityTest.res.mjs

@@ -1,174 +0,0 @@
-// Generated by ReScript, PLEASE EDIT WITH CARE
-
-import * as S from "sury/src/S.res.mjs";
-import * as Identity$Reventless from "@reventlessdev/reventless-spec/src/types/Identity.res.mjs";
-import * as RequestContext$ReventlessCore from "../src/RequestContext.res.mjs";
-
-S.enableJson();
-
-globalThis.describe("Identity", () => {
-  globalThis.describe("anonymous", () => {
-    globalThis.test("has userId 'anonymous'", () => {
-      globalThis.expect(Identity$Reventless.anonymous.userId).toBe("anonymous");
-    });
-    globalThis.test("has empty groups", () => {
-      globalThis.expect(Identity$Reventless.anonymous.groups).toEqual([]);
-    });
-    globalThis.test("has InMemory provider", () => {
-      globalThis.expect(Identity$Reventless.anonymous.provider).toEqual("InMemory");
-    });
-  });
-  globalThis.describe("hasGroup", () => {
-    let identity_groups = [
-      "admin",
-      "editors"
-    ];
-    let identity = {
-      userId: "user-1",
-      username: "alice",
-      groups: identity_groups,
-      provider: "Cognito"
-    };
-    globalThis.test("returns true when group is present", () => {
-      globalThis.expect(Identity$Reventless.hasGroup(identity, "admin")).toBe(true);
-    });
-    globalThis.test("returns false when group is absent", () => {
-      globalThis.expect(Identity$Reventless.hasGroup(identity, "viewers")).toBe(false);
-    });
-  });
-  globalThis.describe("getClaim", () => {
-    let identity_groups = [];
-    let identity_claims = Object.fromEntries([
-      [
-        "tenant",
-        "acme"
-      ],
-      [
-        "role",
-        "manager"
-      ]
-    ]);
-    let identity = {
-      userId: "user-1",
-      username: "alice",
-      groups: identity_groups,
-      claims: identity_claims,
-      provider: "InMemory"
-    };
-    globalThis.test("returns Some for existing claim", () => {
-      globalThis.expect(Identity$Reventless.getClaim(identity, "tenant")).toEqual("acme");
-    });
-    globalThis.test("returns None for missing claim", () => {
-      globalThis.expect(Identity$Reventless.getClaim(identity, "missing")).toEqual(undefined);
-    });
-    globalThis.test("returns None when claims are absent", () => {
-      let noClaims_groups = [];
-      let noClaims = {
-        userId: "user-2",
-        username: "bob",
-        groups: noClaims_groups,
-        provider: "InMemory"
-      };
-      globalThis.expect(Identity$Reventless.getClaim(noClaims, "tenant")).toEqual(undefined);
-    });
-  });
-  globalThis.describe("schema roundtrip", () => {
-    globalThis.test("encode then decode preserves identity", () => {
-      let identity_groups = ["admin"];
-      let identity_claims = Object.fromEntries([[
-          "tenant",
-          "acme"
-        ]]);
-      let identity = {
-        userId: "user-1",
-        username: "alice",
-        groups: identity_groups,
-        claims: identity_claims,
-        provider: "Cognito"
-      };
-      let json = S.reverseConvertToJsonOrThrow(identity, Identity$Reventless.schema);
-      let decoded = S.parseJsonOrThrow(json, Identity$Reventless.schema);
-      globalThis.expect(decoded).toEqual(identity);
-    });
-    globalThis.test("roundtrip with Custom provider", () => {
-      let identity_groups = [];
-      let identity_provider = {
-        TAG: "Custom",
-        _0: "oauth2"
-      };
-      let identity = {
-        userId: "ext-1",
-        username: "external",
-        groups: identity_groups,
-        provider: identity_provider
-      };
-      let json = S.reverseConvertToJsonOrThrow(identity, Identity$Reventless.schema);
-      let decoded = S.parseJsonOrThrow(json, Identity$Reventless.schema);
-      globalThis.expect(decoded).toEqual(identity);
-    });
-    globalThis.test("roundtrip without optional claims", () => {
-      let identity_groups = [];
-      let identity = {
-        userId: "user-3",
-        username: "charlie",
-        groups: identity_groups,
-        provider: "InMemory"
-      };
-      let json = S.reverseConvertToJsonOrThrow(identity, Identity$Reventless.schema);
-      let decoded = S.parseJsonOrThrow(json, Identity$Reventless.schema);
-      globalThis.expect(decoded.userId).toBe("user-3");
-      globalThis.expect(decoded.provider).toEqual("InMemory");
-    });
-  });
-});
-
-globalThis.describe("RequestContext", () => {
-  globalThis.describe("test() constructor", () => {
-    globalThis.test("defaults to anonymous identity", () => {
-      let ctx = RequestContext$ReventlessCore.test(undefined, undefined, undefined);
-      globalThis.expect(ctx.identity.userId).toBe("anonymous");
-    });
-    globalThis.test("accepts custom identity", () => {
-      let identity_groups = ["admin"];
-      let identity = {
-        userId: "user-1",
-        username: "alice",
-        groups: identity_groups,
-        provider: "Cognito"
-      };
-      let ctx = RequestContext$ReventlessCore.test(undefined, identity, undefined);
-      globalThis.expect(ctx.identity.userId).toBe("user-1");
-    });
-    globalThis.test("defaults to empty claims", () => {
-      let ctx = RequestContext$ReventlessCore.test(undefined, undefined, undefined);
-      globalThis.expect(Object.keys(ctx.claims)).toEqual([]);
-    });
-  });
-  globalThis.describe("getClaim", () => {
-    globalThis.test("returns claim value when present", () => {
-      let ctx = RequestContext$ReventlessCore.test(undefined, undefined, Object.fromEntries([[
-          "tenant",
-          "acme"
-        ]]));
-      globalThis.expect(RequestContext$ReventlessCore.getClaim(ctx, "tenant")).toEqual("acme");
-    });
-    globalThis.test("returns None when absent", () => {
-      let ctx = RequestContext$ReventlessCore.test(undefined, undefined, undefined);
-      globalThis.expect(RequestContext$ReventlessCore.getClaim(ctx, "missing")).toEqual(undefined);
-    });
-  });
-  globalThis.describe("withClaim", () => {
-    globalThis.test("adds a claim to the context", () => {
-      let ctx = RequestContext$ReventlessCore.test(undefined, undefined, undefined);
-      let updated = RequestContext$ReventlessCore.withClaim(ctx, "tenant", "acme");
-      globalThis.expect(RequestContext$ReventlessCore.getClaim(updated, "tenant")).toEqual("acme");
-    });
-    globalThis.test("does not mutate the original context", () => {
-      let ctx = RequestContext$ReventlessCore.test(undefined, undefined, undefined);
-      RequestContext$ReventlessCore.withClaim(ctx, "tenant", "acme");
-      globalThis.expect(RequestContext$ReventlessCore.getClaim(ctx, "tenant")).toEqual(undefined);
-    });
-  });
-});
-
-/*  Not a pure module */

package/tests/adapter/MonitoringTest.res.mjs

@@ -1,82 +0,0 @@
-// Generated by ReScript, PLEASE EDIT WITH CARE
-
-import * as Monitoring$ReventlessCore from "../../src/adapter/Monitoring/Monitoring.res.mjs";
-
-let stubResource = {};
-
-globalThis.describe("Monitoring", () => {
-  globalThis.test("Noop default: notify is silent and does not throw", () => {
-    Monitoring$ReventlessCore.notify("CommandHandler", "before", stubResource);
-    globalThis.expect(true).toBe(true);
-  });
-  globalThis.test("use registers a backend that receives every notify, role and name", () => {
-    let recorded = [];
-    let onProvisioned = (kind, name, param) => {
-      recorded.push([
-        kind,
-        name
-      ]);
-    };
-    let Recorder = {
-      onProvisioned: onProvisioned
-    };
-    Monitoring$ReventlessCore.use(Recorder);
-    Monitoring$ReventlessCore.notify("CommandHandler", "AllAggregatesCmdHandler", stubResource);
-    Monitoring$ReventlessCore.notify("Projection", "AllStateViewSlices", stubResource);
-    Monitoring$ReventlessCore.notify("DeadLetterSink", "DeadLetterQueue", stubResource);
-    Monitoring$ReventlessCore.notify({
-      TAG: "Other",
-      _0: "Counter"
-    }, "ProductCounter", stubResource);
-    globalThis.expect(recorded).toEqual([
-      [
-        "CommandHandler",
-        "AllAggregatesCmdHandler"
-      ],
-      [
-        "Projection",
-        "AllStateViewSlices"
-      ],
-      [
-        "DeadLetterSink",
-        "DeadLetterQueue"
-      ],
-      [
-        {
-          TAG: "Other",
-          _0: "Counter"
-        },
-        "ProductCounter"
-      ]
-    ]);
-    Monitoring$ReventlessCore.use(Monitoring$ReventlessCore.Noop);
-  });
-  globalThis.test("notify forwards the static name and component resource to the backend", () => {
-    let seen = {
-      contents: undefined
-    };
-    let onProvisioned = (param, name, component) => {
-      seen.contents = [
-        name,
-        component
-      ];
-    };
-    let Capture = {
-      onProvisioned: onProvisioned
-    };
-    Monitoring$ReventlessCore.use(Capture);
-    Monitoring$ReventlessCore.notify("Scheduler", "HeartbeatUnit", stubResource);
-    let match = seen.contents;
-    if (match !== undefined) {
-      globalThis.expect(match[0]).toBe("HeartbeatUnit");
-    } else {
-      globalThis.expect("no notify received").toBe("a notify");
-    }
-    Monitoring$ReventlessCore.use(Monitoring$ReventlessCore.Noop);
-  });
-});
-
-export {
-  stubResource,
-}
-/*  Not a pure module */