@reventlessdev/reventless-infra 3.0.0-alpha.142 → 3.0.0-alpha.144

package/CHANGELOG.md

@@ -3,6 +3,21 @@
 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.144 (2026-08-16)
+
+### Features
+
+* **ppx:** declare a command's lifecycle edge once, as [@transition](https://github.com/transition) ([dd35130](https://github.com/ReventlessDev/reventless-core/commit/dd3513014f14b71879ee21263c6755d3c3d95096))
+
+
+# 3.0.0-alpha.143 (2026-08-16)
+
+**Note:** Version bump only for package @reventlessdev/reventless-infra
+
+
+
+
+
 # 3.0.0-alpha.142 (2026-08-15)
 
 ### Features

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-infra",
-  "version": "3.0.0-alpha.142",
+  "version": "3.0.0-alpha.144",
   "description": "Infrastructure types for Reventless framework",
   "license": "Apache-2.0",
   "jest": {
@@ -18,8 +18,8 @@
     "uuid": "^13.0.0",
     "@reventlessdev/rescript-effect": "0.1.0-alpha.32",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.19",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.114",
-    "@reventlessdev/rescript-uuid": "2.0.0-alpha.0"
+    "@reventlessdev/rescript-uuid": "2.0.0-alpha.0",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.116"
   },
   "devDependencies": {
     "rescript": "12.3.0",

package/src/components/Api.res

@@ -26,14 +26,14 @@ let markNoApiVariants = (schema: S.t<'a>, variants: array<string>): S.t<'a> =>
   schema->S.Metadata.set(~id=noApiVariantsId, Set.fromArray(variants))
 
 /** PPX helper: attaches per-variant allowedStates to a command schema. Called by generated code
-    emitted from the @allowedStates([…]) attribute. Each entry is (variantName, allowedStateNames). */
+    emitted from the from-set of an @transition attribute. Each entry is (variantName, allowedStateNames). */
 let markAllowedStates = (
   schema: S.t<'a>,
   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). */
+    emitted from the target of an @transition attribute. Each entry is (variantName, targetStateName). */
 let markTargetState = (
   schema: S.t<'a>,
   entries: array<(string, string)>,
@@ -54,7 +54,7 @@ type mutationSchemaEntry = {
   /** Spec-level per-field authorization derived from `Spec.commandAuthorization`,
       keyed by mutation field name. Used by AWS to inject
       `@aws_cognito_user_pools(cognito_groups: ...)` per field (Stage E2 in
-      `docs/plans/host-ui-login-core.md`). In-memory enforcement still happens
+      `docs/plans/done/host-ui-login-core.md`). In-memory enforcement still happens
       at the resolver layer via the same `commandAuthorization` function. */
   fieldPermissions?: dict<Reventless.Authorization.permission>,
   /** Opt a mutation field into deploy-time IAM (SigV4) invocation in addition to
@@ -107,7 +107,7 @@ type querySchemaEntry = {
   /** Spec-level read-model authorization derived from `Spec.authorization`.
       Applies to both the single-id and list query fields. Used by AWS to
       inject `@aws_cognito_user_pools(cognito_groups: ...)` (Stage E2 in
-      `docs/plans/host-ui-login-core.md`). In-memory enforcement happens at
+      `docs/plans/done/host-ui-login-core.md`). In-memory enforcement happens at
       the QueryDb resolver via the same field. */
   permission?: Reventless.Authorization.permission,
   /** Opt the single-id and list query fields into deploy-time IAM (SigV4)

package/src/components/DeployBootstrap.res

@@ -12,7 +12,7 @@ registration order.
 
 Same shape as `ReventlessCore.Monitoring.use`: a module-level registry consulted
 by an emitted call, so deploy-time extension becomes *registration*, not *file
-editing*. See `docs/plans/deploy-bootstrap-seam.md`.
+editing*. See `docs/plans/done/deploy-bootstrap-seam.md`.
 */
 
 /**

package/src/types/Platform.res

@@ -54,8 +54,7 @@ type pluginOutputs = Plugin.outputs
 // (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].
+// (AWS fronts it via CloudFront; in-memory ignores it).
 type servedBucket = {
   // 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.

package/src/types/PluginExtensionPointSpec.res

@@ -20,7 +20,7 @@ type command =
   | ForwardCommand(forwardCommand)
   // Registers this plugin's UI-fragment manifest with the admin UiFragmentRegistry slice.
   // Sent by the plugin's connect extension alongside ConnectPlugin (see
-  // docs/plans/event-sourced-fragment-registries.md). Routed by the admin EP's UI-fragment
+  // docs/plans/done/event-sourced-fragment-registries.md). Routed by the admin EP's UI-fragment
   // mapping to UiFragmentRegistry.RegisterUiFragment; DisconnectPlugin drives the matching
   // DeregisterUiFragment. Decoupling the manifest from the Plugin aggregate's lifecycle.
   | RegisterUiFragment(uiFragmentManifest)

package/src/types/RuntimeDefaults.res

@@ -10,7 +10,7 @@ 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.
+See docs/plans/done/runtime-hints-platform-supplied-defaults.md.
 */
 module type T = {
   let memorySize: int // MiB floor for this pod kind on this platform