@reventlessdev/reventless-infra 3.0.0-alpha.192 → 3.0.0-alpha.194

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.194 (2026-10-16)
+
+**Note:** Version bump only for package @reventlessdev/reventless-infra
+
+
+
+
+
+# 3.0.0-alpha.193 (2026-10-16)
+
+* feat!(automation): schedules set by events ([53bc436](https://github.com/ReventlessDev/reventless-core/commit/53bc4363dffce81ef36475728bf0dae704716021))
+* feat!(automation): declared schedules tick an automation ([420acd2](https://github.com/ReventlessDev/reventless-core/commit/420acd2233aadf700141a31d9d3e0fdc8074bef7))
+
+### BREAKING CHANGES
+
+* a hand-written AutomationSlice.Mapping.Make the PPX does
+not see must define `let reschedule = _ => []`.
+* a hand-written AutomationSlice spec the PPX does not see must
+declare `let schedule = None`.
+
+
+
 # 3.0.0-alpha.192 (2026-10-15)
 
 ### Features

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-infra",
-  "version": "3.0.0-alpha.192",
+  "version": "3.0.0-alpha.194",
   "description": "Infrastructure types for Reventless framework",
   "license": "Apache-2.0",
   "jest": {
@@ -19,7 +19,7 @@
     "@reventlessdev/rescript-effect": "1.0.0-alpha.0",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.23",
     "@reventlessdev/rescript-uuid": "2.0.0-alpha.1",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.164"
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.166"
   },
   "devDependencies": {
     "rescript": "12.3.1",

package/src/components/AutomationSlice.res

@@ -7,6 +7,25 @@ Deploy-time outputs produced when an `AutomationSlice` is provisioned.
 type outputs = {
   resources: array<Adapter.resource>,
   queryDb: QueryDb.outputs,
+  /** The schedules store, made only for a slice that maps the `Clock`. */
+  schedulesDb?: QueryDb.outputs,
+}
+
+/**
+The platform's schedules of one slice. It knows only when: each schedule is a key and
+a time, and its firing reaches the slice as `Tick({key, at})`. A platform may name a
+schedule otherwise than by its key (EventBridge Scheduler hashes a key it refuses),
+so what it holds is read as names.
+*/
+type platformSchedules = {
+  /** Sets the key's schedule, replacing the one it has. */
+  put: (~key: string, Reventless.Schedule.time) => promise<unit>,
+  /** Removes a schedule by its platform name; one already gone is no error. */
+  removeName: string => promise<unit>,
+  /** The names of the schedules the platform holds for the slice. */
+  names: unit => promise<array<string>>,
+  /** The name the platform gives the key's schedule. */
+  nameOf: string => string,
 }
 
 /**
@@ -18,6 +37,15 @@ Runtime operations exposed by an `AutomationSlice` component.
 type operations = {
   enqueueEvent: EventCollector.enqueueEvent,
   processPending: unit => promise<unit>,
+  /** Delivers `Tick({key, at})` from the `Clock` source, then runs Phase 2: what the
+      platform's Scheduler does when one of the slice's schedules comes due. */
+  tick: (~key: string, ~at: float) => promise<unit>,
+  /** Brings the declared time into the schedule rows and the platform's schedules in
+      line with the rows: what a deploy or a start runs. */
+  reconcileSchedules: unit => promise<unit>,
+  /** Rebuilds the schedule rows from the slice's source events, in order, then
+      reconciles. */
+  rebuildSchedules: array<JSON.t> => promise<unit>,
 }
 
 /**
@@ -36,6 +64,8 @@ module type T = {
   module Automation: Reventless.AutomationSlice.Automation with module Spec := Spec
   type component = Component.t<t, outputs, operations>
   let queryDbName: string
+  /** The schedules store's name, for a slice that maps the `Clock`. */
+  let schedulesDbName: option<string>
   /** Names of all sources this slice consumes (deduplicated). Used by
       `Plugin_Builder` for the source-name fail-fast assembly check. */
   let sourceNames: array<string>