@reventlessdev/reventless-infra 3.0.0-alpha.203 → 3.0.0-alpha.205

package/CHANGELOG.md

@@ -3,6 +3,28 @@
 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.205 (2026-10-25)
+
+* refactor(aws)!: deploy and runtime configuration a function may lack are optional fields ([de80a54](https://github.com/ReventlessDev/reventless-core/commit/de80a546501a97b39cbe71200120f062bb260da4))
+### Features
+
+* a plugin declares per role how a person is admitted, and the local platform honors the self-service and provisioned halves ([9c37bf5](https://github.com/ReventlessDev/reventless-core/commit/9c37bf50f15cac1703bf2c351713518121a56211))
+* a stash capability holds a value for minutes outside the log and hands it over once ([627f285](https://github.com/ReventlessDev/reventless-core/commit/627f28529ead2d2d31bdd091c9f42e7faca40f6f))
+
+### BREAKING CHANGES
+
+* code that builds these records drops `name: None` and
+writes `name: x` for `name: Some(x)`.
+
+
+
+# 3.0.0-alpha.204 (2026-10-23)
+
+### Features
+
+* **aws:** a slice declaring the identity provider is handed one over the platform's Cognito pool ([b3a933b](https://github.com/ReventlessDev/reventless-core/commit/b3a933bbda475d0ce932a8de30616f738d639417))
+
+
 # 3.0.0-alpha.203 (2026-10-22)
 
 ### Features

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-infra",
-  "version": "3.0.0-alpha.203",
+  "version": "3.0.0-alpha.205",
   "description": "Infrastructure types for Reventless framework",
   "license": "Apache-2.0",
   "jest": {
@@ -16,10 +16,10 @@
     "sury": "11.0.0",
     "sury-ppx": "11.0.0",
     "uuid": "^13.0.0",
-    "@reventlessdev/rescript-effect": "1.0.0-alpha.1",
     "@reventlessdev/rescript-pulumi-pulumi": "3.0.0-alpha.0",
     "@reventlessdev/rescript-uuid": "2.0.0-alpha.1",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.175"
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.176",
+    "@reventlessdev/rescript-effect": "1.0.0-alpha.1"
   },
   "devDependencies": {
     "rescript": "12.3.1",

package/src/components/Plugin.res

@@ -97,5 +97,7 @@ module type T = {
     ~componentChapters: dict<string>=?,
     ~lifecycleModel: array<Reventless.Plugin.derivedEdge>=?,
     ~identities: array<string>=?,
+    ~admission: Reventless.Admission.t=?,
+    ~admissionDoors: array<(string, Reventless.Admission.door)>=?,
   ) => Reventless.Plugin.pluginStructure
 }

package/src/types/Platform.res

@@ -110,6 +110,7 @@ type capability =
   | Geocoding
   | Messaging
   | IdentityProvider
+  | Stash
 
 // A provisioned geocoding place index, as returned by the framework's geocoding
 // capability helper. A record rather than a bare name so the handle can grow
@@ -477,10 +478,10 @@ module type T = {
     messagingSender?: messagingSender,
     // Optional identity provider for the unattended slice path: making,
     // grouping and unmaking principals. A provider that runs in the platform's
-    // own process, which is why only the in-memory platform hosts one today
+    // own process, so only the in-memory platform reads it
     // (`Capability_IdentityProvider_UserStore.make()`, over the accounts file
-    // its login reads). The AWS deploy ignores it until a pool-backed handle
-    // exists; a plugin declaring the need is refused there by the deploy gate.
+    // its login reads). The AWS deploy ignores it: its pool always exists, and a
+    // plugin declaring the need is handed a provider over that pool.
     identityProvider?: Reventless.IdentityProvider.t,
     // Optional object store for direct-to-store uploads. When set, the deploy
     // provisions a presign service against it, threads that service's URL into

package/src/types/RuntimeHints.res

@@ -11,12 +11,12 @@ not a literal cap — each platform adapter maps it to its own resource model
 See docs/plans/configurable-component-runtime-resources.md.
 */
 type t = {
-  memorySize: option<int>,
-  timeout: option<int>,
+  memorySize?: int,
+  timeout?: int,
 }
 
 /** No hints — every field falls through to the per-kind builder default. */
-let empty: t = {memorySize: None, timeout: None}
+let empty: t = {}
 
 /**
 Resolve a component's memory floor: the per-component override raises the
@@ -25,7 +25,7 @@ the default unchanged.
 */
 let resolveMemory = (hints: option<t>, ~default: int): int =>
   switch hints {
-  | Some({memorySize: Some(m)}) => Math.Int.max(default, m)
+  | Some({memorySize: ?Some(m)}) => Math.Int.max(default, m)
   | _ => default
   }
 
@@ -36,6 +36,6 @@ override yields the default unchanged.
 */
 let resolveTimeout = (hints: option<t>, ~default: int): int =>
   switch hints {
-  | Some({timeout: Some(t)}) => t
+  | Some({timeout: ?Some(t)}) => t
   | _ => default
   }

package/src/types/RuntimeHints.res.mjs

@@ -25,10 +25,7 @@ function resolveTimeout(hints, $$default) {
   }
 }
 
-let empty = {
-  memorySize: undefined,
-  timeout: undefined
-};
+let empty = {};
 
 export {
   empty,

package/tests/RuntimeHintsTest.res

@@ -12,23 +12,19 @@ describe("RuntimeHints.resolveMemory", () => {
     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,
-    )
+    expect(RH.resolveMemory(Some({memorySize: 2048}), ~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,
-    )
+    expect(RH.resolveMemory(Some({memorySize: 256}), ~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)
+    expect(RH.resolveMemory(Some({timeout: 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)
+    expect(RH.resolveTimeout(Some({timeout: 15}), ~default=30))->toBe(15)
   })
   testSync("no hint falls through to the default", () => {
     expect(RH.resolveTimeout(None, ~default=30))->toBe(30)