@reventlessdev/reventless-infra 3.0.0-alpha.103 → 3.0.0-alpha.105

package/CHANGELOG.md

@@ -3,6 +3,35 @@
 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.105 (2026-07-26)
+
+### Bug Fixes
+
+* **graphql:** give InboundTranslationSlice mutations a resolvable result type ([381b545](https://github.com/ReventlessDev/reventless-core/commit/381b5458c16797404cb8ed95fa853fb1e1ca4199))
+### Features
+
+* **auto-ui:** declare command target state via [@target](https://github.com/target)State ([5fc0374](https://github.com/ReventlessDev/reventless-core/commit/5fc03741a8816c57085b86a4ad7d595e3b690193)), closes [#5](https://github.com/ReventlessDev/reventless-core/issues/5)
+* **auto-ui:** write ui-hints.json from the host-ui AWS deploy ([cbb334c](https://github.com/ReventlessDev/reventless-core/commit/cbb334c5bc574d7be56746100bae93457a8831ce)), closes [#1](https://github.com/ReventlessDev/reventless-core/issues/1)
+* **aws:** geocoder + upload presign Lambda Function URL services ([be43179](https://github.com/ReventlessDev/reventless-core/commit/be4317972e781dbe3c378f21a28975d1ac8b9add))
+* **platform:** serve a private bucket to the UI under a same-origin prefix ([793c8b2](https://github.com/ReventlessDev/reventless-core/commit/793c8b25e13969b42ce331c698bad473be4c0c88))
+
+
+# 3.0.0-alpha.104 (2026-07-22)
+
+* refactor!: retire the stale "core" vocabulary for platform things ([34e7480](https://github.com/ReventlessDev/reventless-core/commit/34e7480992bd58906a250b0a1ce6ff2c5ba45260))
+
+### BREAKING CHANGES
+
+* the built-in extension point is renamed Core.Plugin ->
+Platform.Plugin. This replaces the CorePluginExtPointCmdTopic SQS queue
+with PlatformPluginExtPointCmdTopic (a replacement, not an update) and
+breaks every already-deployed plugin's connection until redeployed.
+Wipe the alpha stack and redeploy fresh rather than migrating.
+
+Build clean; 1349 tests green (interop 50, core 518, local 501, aws 280).
+
+
+
 # 3.0.0-alpha.103 (2026-07-22)
 
 **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.103",
+  "version": "3.0.0-alpha.105",
   "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.30",
+    "@reventlessdev/rescript-uuid": "1.1.0-alpha.17",
+    "@reventlessdev/rescript-effect": "0.1.0-alpha.31",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.17",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.80",
-    "@reventlessdev/rescript-uuid": "1.1.0-alpha.17"
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.81"
   },
   "devDependencies": {
     "rescript": "12.3.0",

package/src/components/Api.res

@@ -12,6 +12,11 @@ let noApiVariantsId: S.Metadata.Id.t<Set.t<string>> =
 let allowedStatesId: S.Metadata.Id.t<dict<array<string>>> =
   S.Metadata.Id.make(~namespace="api", ~name="allowedStates")
 
+/** Internal sury metadata ID storing per-variant target-state values for AutoUI board
+    transitions. Maps variant name → the single status the command's handler writes. */
+let targetStateId: S.Metadata.Id.t<dict<string>> =
+  S.Metadata.Id.make(~namespace="api", ~name="targetState")
+
 /** PPX helper: attaches the noApi flag to a command schema. Called by generated code. */
 let markNoApi = (schema: S.t<'a>): S.t<'a> =>
   schema->S.Metadata.set(~id=noApiId, true)
@@ -27,6 +32,13 @@ let markAllowedStates = (
   entries: array<(string, array<string>)>,
 ): S.t<'a> => schema->S.Metadata.set(~id=allowedStatesId, Dict.fromArray(entries))
 
+/** PPX helper: attaches per-variant targetState to a command schema. Called by generated code
+    emitted from the @targetState("…") attribute. Each entry is (variantName, targetStateName). */
+let markTargetState = (
+  schema: S.t<'a>,
+  entries: array<(string, string)>,
+): S.t<'a> => schema->S.Metadata.set(~id=targetStateId, Dict.fromArray(entries))
+
 /** Type alias for schema fragments (re-exports Plugin.apiSchemaFragment). */
 type schemaFragment = Reventless.Plugin.apiSchemaFragment
 

package/src/components/Api.res.mjs

@@ -8,6 +8,8 @@ let noApiVariantsId = S.Metadata.Id.make("api", "noApiVariants");
 
 let allowedStatesId = S.Metadata.Id.make("api", "allowedStates");
 
+let targetStateId = S.Metadata.Id.make("api", "targetState");
+
 function markNoApi(schema) {
   return S.Metadata.set(schema, noApiId, true);
 }
@@ -20,12 +22,18 @@ function markAllowedStates(schema, entries) {
   return S.Metadata.set(schema, allowedStatesId, Object.fromEntries(entries));
 }
 
+function markTargetState(schema, entries) {
+  return S.Metadata.set(schema, targetStateId, Object.fromEntries(entries));
+}
+
 export {
   noApiId,
   noApiVariantsId,
   allowedStatesId,
+  targetStateId,
   markNoApi,
   markNoApiVariants,
   markAllowedStates,
+  markTargetState,
 }
 /* noApiId Not a pure module */

package/src/components/InboundTranslationSlice.res

@@ -9,13 +9,46 @@ type outputs = {
   queryDb: QueryDb.outputs,
 }
 
+/**
+A translation that ran to completion.
+
+- `requestId` -- the key the audit row is stored under
+- `targetIds` -- the entities the produced commands address; empty when the
+  translation legitimately produced no command
+- `commandCount` -- how many commands were published
+*/
+type acceptedResult = {
+  requestId: string,
+  targetIds: array<string>,
+  commandCount: int,
+}
+
+/**
+A translation that was rejected -- by input parsing, by `translate`, by command
+encoding or by the publish itself.
+
+- `requestId` -- the key the audit row is stored under
+- `error` -- the rejection message
+*/
+type rejectedResult = {
+  requestId: string,
+  error: string,
+}
+
+/**
+Outcome of `receive`. Both arms carry `requestId` so a caller can correlate the
+response with the slice's audit row, and so the GraphQL resolver can report a
+`msgId` on either arm.
+*/
+type receiveResult = result<acceptedResult, rejectedResult>
+
 /**
 Runtime operations exposed by an `InboundTranslationSlice` component.
 
 - `receive` -- accept external input, translate it, and publish a command
 */
 type operations = {
-  receive: JSON.t => promise<result<array<string>, string>>,
+  receive: JSON.t => promise<receiveResult>,
 }
 
 /**

package/src/types/Platform.res

@@ -49,6 +49,20 @@ module App = CatalogPlugin.Make(Platform)
 // where `module Plugin: Plugin.T` shadows the package-level Plugin module.
 type pluginOutputs = Plugin.outputs
 
+// A storage bucket a deployment declares to be served read-only to the UI under
+// a path prefix on the UI's own public origin, while the bucket stays private
+// (CDN-only read). These four fields are the minimal handle any CDN front needs;
+// the app owns the bucket's lifecycle and creation. Defined at file scope so it
+// is a single shared nominal type across the concrete Platform implementations
+// (AWS fronts it via CloudFront; in-memory ignores it). See
+// [docs/plans/done/ui-served-buckets.md].
+type servedBucket = {
+  prefix: string,
+  bucketId: Pulumi.Input.t<string>,
+  bucketArn: Pulumi.Input.t<string>,
+  bucketRegionalDomainName: 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
@@ -235,6 +249,27 @@ module type T = {
   type hostUiBundleConfig = {
     assetsDir: string,
     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
+    // 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>,
   }
 
   /** Deploy a complete platform: creates the scheduler, builds each plugin,

package/src/types/PluginExtensionPointSpec.res

@@ -1,4 +1,4 @@
-let name = "Core.Plugin"
+let name = "Platform.Plugin"
 
 include Reventless.Plugin
 

package/src/types/PluginExtensionPointSpec.res.mjs

@@ -91,7 +91,7 @@ let directiveSchema = S.union([
 
 let moduleUrl = import.meta.url;
 
-let name = "Core.Plugin";
+let name = "Platform.Plugin";
 
 let nameSchema = Plugin$Reventless.nameSchema;