@reventlessdev/reventless-infra 3.0.0-alpha.106 → 3.0.0-alpha.108

package/CHANGELOG.md

@@ -3,6 +3,20 @@
 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.108 (2026-07-28)
+
+### Features
+
+* **platform:** provision object stores from the fields that declare them ([b5e2a1e](https://github.com/ReventlessDev/reventless-core/commit/b5e2a1ec88099941c113e4963f9c4b346b96b0d6))
+
+
+# 3.0.0-alpha.107 (2026-07-28)
+
+### Features
+
+* **aws:** provision platform capabilities through framework helpers ([5f87c57](https://github.com/ReventlessDev/reventless-core/commit/5f87c57c7c117dccb44c88d6132e5270e8707bc2))
+
+
 # 3.0.0-alpha.106 (2026-07-27)
 
 ### Bug Fixes

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-infra",
-  "version": "3.0.0-alpha.106",
+  "version": "3.0.0-alpha.108",
   "description": "Infrastructure types for Reventless framework",
   "license": "Apache-2.0",
   "jest": {
@@ -16,10 +16,10 @@
     "sury": "11.0.0-alpha.4",
     "sury-ppx": "11.0.0-alpha.2",
     "uuid": "^13.0.0",
-    "@reventlessdev/rescript-effect": "0.1.0-alpha.31",
-    "@reventlessdev/rescript-uuid": "1.1.0-alpha.17",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.17",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.81"
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.83",
+    "@reventlessdev/rescript-uuid": "1.1.0-alpha.17",
+    "@reventlessdev/rescript-effect": "0.1.0-alpha.31"
   },
   "devDependencies": {
     "rescript": "12.3.0",

package/src/types/Platform.res

@@ -57,12 +57,65 @@ type pluginOutputs = Plugin.outputs
 // (AWS fronts it via CloudFront; in-memory ignores it). See
 // [docs/plans/done/ui-served-buckets.md].
 type servedBucket = {
-  prefix: string,
+  // Stable stem for the CDN origin id and the per-bucket resource names. Distinct
+  // from the prefixes because a bucket can serve several of them.
+  id: string,
+  // Every path prefix served from this bucket. A list rather than a single value
+  // because a shared-layout stack puts several declared stores in one bucket, and
+  // a bucket may carry only ONE bucket policy — a per-prefix policy would have
+  // the second store silently overwrite the first store's CloudFront read grant,
+  // which deploys green and 404s half the objects. One entry per bucket makes
+  // that unrepresentable.
+  prefixes: array<string>,
   bucketId: Pulumi.Input.t<string>,
   bucketArn: Pulumi.Input.t<string>,
   bucketRegionalDomainName: Pulumi.Input.t<string>,
 }
 
+// A provisioned object store, as returned by the framework's object-store
+// capability helper. Carries every handle the platform needs to both write to
+// the store (presigned PUTs against `bucketName`) and serve it read-only from
+// the UI's origin — so the deployment hands over one value instead of restating
+// the bucket three times in three shapes.
+type objectStore = {
+  bucketName: Pulumi.Input.t<string>,
+  bucketId: Pulumi.Input.t<string>,
+  bucketArn: Pulumi.Input.t<string>,
+  bucketRegionalDomainName: Pulumi.Input.t<string>,
+  // The prefix this store's object keys are rooted at, and therefore the path
+  // it must be served under for a minted `/{key}` ref to resolve. Written once
+  // here and read by both the mint side (the presign service) and the serve
+  // side (the CDN behaviour), so the two cannot disagree — the property the
+  // single served prefix already had, now carried per store.
+  //
+  // Rooting keys at the store name in *every* layout is what keeps a stored ref
+  // independent of whether the store got its own bucket or a prefix inside a
+  // shared one. Refs live in an append-only log; one that encoded its bucket
+  // layout would be unrewritable and environment-specific.
+  keyPrefix: string,
+}
+
+/**
+A capability a deployment declares it needs.
+
+A real variant rather than a string pair so the platform and the plugin stacks
+reference one nominal type, and so the compiler finds every consumer when the
+set grows.
+
+`ObjectStore`'s identity is `(plugin, store)`: two plugins that happen to pick
+the same store name get two stores. That mirrors how a field's declaration is
+read — an unqualified `@storageRef("productImages")` means *this* plugin's
+store, and reaching another plugin's store is the qualified form.
+*/
+type capability =
+  | ObjectStore({plugin: string, store: string})
+  | Geocoding
+
+// 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
+// (ARN, data source) without moving every call site.
+type geocoderIndex = {indexName: Pulumi.Input.t<string>}
+
 // Module type alias so StateViewSliceStream can reference the component T
 // without being confused by the `module StateViewSlice` declaration inside T.
 module type StateViewSliceComponentT = StateViewSlice.T
@@ -247,29 +300,31 @@ module type T = {
       endpoint at boot. In-memory platforms typically ignore this — the shell
       is served by `vite dev` against the running in-process GraphQL server. */
   type hostUiBundleConfig = {
-    assetsDir: string,
-    bundleVersion: string,
+    // Directory holding the built shell bundle. Defaults to the resolved
+    // `@reventlessdev/reventless-host-shell` dist, which is what every
+    // deployment wants; set it only to host a different bundle.
+    assetsDir?: string,
+    // Defaults to the `~version` passed to `deployPlatform`.
+    bundleVersion?: string,
     // Optional path to a static AutoUI `ui-hints.json`, read and written
     // verbatim as a BucketObject beside `config.json` at deploy time. Unset ⇒
     // no file written; the shell treats the 404 as "no hints" and boots
     // unchanged. In-memory platforms ignore this.
     uiHintsFile?: string,
-    // Optional AWS Location place-index name. When set, the deploy provisions a
-    // public geocoder Lambda Function URL and threads its URL into config.json
-    // as `geocoderEndpoint`. Unset ⇒ no service, field omitted. In-memory
+    // Optional geocoding place index. When set, the deploy provisions a public
+    // geocoder Lambda Function URL and threads its URL into config.json as
+    // `geocoderEndpoint`. Unset ⇒ no service, field omitted. In-memory
     // platforms ignore this.
-    geocoderPlaceIndex?: Pulumi.Input.t<string>,
-    // Opt into the direct-to-S3 upload presign service. Requires
-    // `uploadBucketName`; the deploy then provisions a public presign Lambda
-    // Function URL and threads its URL into config.json as `uploadEndpoint`.
-    enableUploads?: bool,
-    // S3 bucket the upload presign service issues PUT URLs against. Required
-    // when `enableUploads` is true.
-    uploadBucketName?: Pulumi.Input.t<string>,
-    // Buckets served read-only to the UI under a path prefix on the UI's own
-    // origin (same-origin, private, CDN-fronted). Each entry adds a `{prefix}/*`
-    // read path on the host-shell distribution. In-memory platforms ignore this.
-    servedBuckets?: array<servedBucket>,
+    geocoderPlaceIndex?: geocoderIndex,
+    // Optional object store for direct-to-store uploads. When set, the deploy
+    // provisions a presign service against it, threads that service's URL into
+    // config.json as `uploadEndpoint`, and serves the store read-only from the
+    // UI's own origin under the presign service's prefix.
+    //
+    // The prefix is written once, by the framework, and consumed by both sides:
+    // a deployment cannot mint refs under one prefix and serve another.
+    // In-memory platforms ignore this.
+    uploadBucket?: objectStore,
   }
 
   /** Deploy a complete platform: creates the scheduler, builds each plugin,
@@ -282,10 +337,14 @@ module type T = {
   /** Deploy only the platform (admin components, scheduler, shared API).
       No plugins are deployed — each plugin deploys independently via `deployPlugin`.
       Pass `~hostUiBundle` to also host a static host-shell SPA from this stack.
+      Pass `~capabilities` to provision the stores the plugins' fields declare;
+      the store a field declares is the store that gets provisioned, named after
+      it and attributed to the plugin that owns it.
       Returns the Pulumi stack outputs dict for use as the ESM `default` export. */
   let deployPlatform: (
     ~version: string,
     ~hostUiBundle: hostUiBundleConfig=?,
+    ~capabilities: array<capability>=?,
   ) => dict<Pulumi.Output.t<JSON.t>>
 
   /** Deploy a single plugin as an independent stack.