prosody 0.2.1-aarch64-linux → 0.4.0-aarch64-linux

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 4f67b6abff5c96fc568a34609fde3beb11063390581e66a926a8fc1609800ede
-  data.tar.gz: e0fb8b67b5456c70a3633dc6a73e9f978a3185a6d20fbbbc50f74d7165cfdce3
+  metadata.gz: 498f89b95ccf9c87662ab2163556b1db149bf37f386a3a061d3051ae1df86fa8
+  data.tar.gz: 462bdecfcc73bf198fcd40d969906875a4bd8dbf3a512acf10111cfe0370b43d
 SHA512:
-  metadata.gz: 8237aece450fb91b8601753bba03d644f7b653847f275d6d747a5a93bae7b38d64b834dfcccdf12037367b2f9f720cceb8bb154271076897999673323a6a45e8
-  data.tar.gz: ccbdb0a1ceb436ebaebf126d6fd8e5993cf633aecc85e6c4af1afade1b9c29abdd836803fe9ddf222c65df62b89302d3b3870383551ac00c0397add5438b93f5
+  metadata.gz: 8903a0da5e3474045a78cc0162d6226b8e924c177202e2471bb440eff0eba54f87d5426929fdc0fc8b0d6dab26367b256c1a322e4a552fb117171d4397794272
+  data.tar.gz: 4cc0848fa5d15a5fb350d4022349415d65fa30a55ea131425409f3471aae5da7b751025b974eb087ee2b16664ad607ba774c58fda69ac5ba3f1eac9fc2fa0781

data/.release-please-manifest.json

@@ -1,3 +1,3 @@
 {
-  ".": "0.2.1"
+  ".": "0.4.0"
 }

data/ARCHITECTURE.md

@@ -79,6 +79,14 @@ end
 
 When processing thousands of messages, yielding allows much higher throughput because work continues during waits.
 
+### Keyed-State Scans Yield Per Step
+
+Keyed-state traversal follows the same rule. `each` / `each_pair` (and their `reverse_*` variants) drive a native cursor
+one chunk at a time: every step crosses the bridge through `Bridge::wait_for`, so the enumerating fiber yields while Rust
+fetches the next chunk and resumes when it arrives. A scan therefore looks like an ordinary blocking loop but never blocks
+the thread — other fibers keep running between steps — and the native cursor is closed via `ensure` when the loop
+finishes, breaks, or raises.
+
 ## Architecture Overview
 
 Prosody combines a Rust core with a Ruby interface:
@@ -102,8 +110,10 @@ graph TD
 
 1. **Ruby Interface Layer**: The classes you interact with directly
     - `Prosody::Client`: The main entry point for applications
-    - `Prosody::EventHandler`: Base class for handling messages
-    - `Prosody::Message`: Represents a Kafka message
+    - `Prosody::EventHandler[Payload]`: Base class whose RBS payload parameter
+      is propagated to each handled message
+    - `Prosody::Message[Payload]`: Represents a Kafka message with a statically
+      typed JSON payload (`Prosody::json_value` by default)
 
 2. **Bridge**: The crucial connection between Ruby and Rust
     - Enables safe communication between languages

data/CHANGELOG.md

@@ -1,5 +1,25 @@
 # Changelog
 
+## [0.4.0](https://github.com/prosody-events/prosody-rb/compare/prosody/v0.3.0...prosody/v0.4.0) (2026-07-21)
+
+
+### Features
+
+* **state:** add durable keyed state ([#26](https://github.com/prosody-events/prosody-rb/issues/26)) ([fb68411](https://github.com/prosody-events/prosody-rb/commit/fb6841125b1cb7bb3730965254f3205109da8fbe))
+
+
+### Bug Fixes
+
+* **release:** preserve release history boundary ([#28](https://github.com/prosody-events/prosody-rb/issues/28)) ([257cf86](https://github.com/prosody-events/prosody-rb/commit/257cf86e532c942feda5b1ce65af78c8365064d3))
+* **release:** restore published release boundary ([#31](https://github.com/prosody-events/prosody-rb/issues/31)) ([2f4cda1](https://github.com/prosody-events/prosody-rb/commit/2f4cda104f9cf93e28b0d6c7bd8bd66da660b789))
+
+## [0.3.0](https://github.com/prosody-events/prosody-rb/compare/prosody/v0.2.1...prosody/v0.3.0) (2026-05-18)
+
+
+### Features
+
+* **deps:** upgrade prosody to 0.4.0 ([#24](https://github.com/prosody-events/prosody-rb/issues/24)) ([4531b68](https://github.com/prosody-events/prosody-rb/commit/4531b68eda202cf00ef506bcb77ba4c53906dbce))
+
 ## [0.2.1](https://github.com/prosody-events/prosody-rb/compare/prosody/v0.2.0...prosody/v0.2.1) (2026-05-11)
 
 

data/README.md

@@ -9,6 +9,7 @@ strategies, and integrated OpenTelemetry support for distributed tracing.
 - **Kafka Consumer**: Per-key ordering with cross-key concurrency, offset management, consumer groups
 - **Kafka Producer**: Idempotent delivery with configurable retries
 - **Timer System**: Persistent scheduled execution backed by Cassandra or in-memory store
+- **Keyed State**: Per-key value/map/deque collections that survive across events, transactional by default
 - **Quality of Service**: Fair scheduling limits concurrency and prevents failures from starving fresh traffic. Pipeline mode adds deferred retry and monopolization detection
 - **Distributed Tracing**: OpenTelemetry integration for tracing message flow across services
 - **Backpressure**: Pauses partitions when handlers fall behind
@@ -29,6 +30,12 @@ Or install directly:
 gem install prosody
 ```
 
+The gem ships RBS signatures for the public API. `Prosody::EventHandler[Payload]`
+carries an application payload type into `Prosody::Message[Payload]`, and keyed-
+state definitions carry their item types through `context.state`. A bare handler,
+message, definition, or state handle defaults to `Prosody::json_value`. See the
+[typed examples](examples/) for Ruby and companion RBS files checked by Steep.
+
 ## Quick Start
 
 ```ruby
@@ -73,7 +80,7 @@ end
 client.subscribe(MyHandler.new)
 
 # Send a message to a topic
-client.send_message("my-topic", "message-key", { content: "Hello, Kafka!" })
+client.send_message("my-topic", "message-key", {"content" => "Hello, Kafka!"})
 
 # Ensure proper shutdown when done
 client.unsubscribe
@@ -192,7 +199,7 @@ Configure via constructor options or environment variables. Options fall back to
 | `stall_threshold` / `PROSODY_STALL_THRESHOLD` | Report unhealthy if no progress for this long  | 5m                     |
 | `probe_port` / `PROSODY_PROBE_PORT`     | HTTP port for health checks (nil to disable)         | 8000                   |
 | `failure_topic` / `PROSODY_FAILURE_TOPIC` | Send unprocessable messages here (dead letter queue) | -                     |
-| `idempotence_cache_size` / `PROSODY_IDEMPOTENCE_CACHE_SIZE` | Global shared cache capacity across all partitions for message deduplication (0 disables the entire deduplication middleware, both in-memory and persistent) | 8192 |
+| `idempotence_cache_size` / `PROSODY_IDEMPOTENCE_CACHE_SIZE` | Global shared cache capacity across all partitions for message deduplication. Consumer deduplication is mandatory and cannot be disabled, so this must be at least 1; setting it to 0 in the client configuration is rejected | 8192 |
 | `idempotence_version` / `PROSODY_IDEMPOTENCE_VERSION` | Version string for cache-busting dedup hashes | 1              |
 | `idempotence_ttl` / `PROSODY_IDEMPOTENCE_TTL`         | TTL for dedup records in Cassandra            | 7d (604800 seconds) |
 | `slab_size` / `PROSODY_SLAB_SIZE`       | Timer storage granularity (rarely needs changing)    | 1h                     |
@@ -261,6 +268,31 @@ Persistent storage for timers and deferred retries (not needed if `mock: true`):
 | `cassandra_rack` / `PROSODY_CASSANDRA_RACK` | Prefer this rack for queries      | -       |
 | `cassandra_retention` / `PROSODY_CASSANDRA_RETENTION` | Delete data older than this | 1y     |
 
+### Keyed State
+
+Register keyed-state collections before you subscribe. Persistence is backed by Cassandra and is not needed when `mock: true`. See the [Keyed State](#keyed-state-1) feature section for handler usage; the client-level knobs and per-collection fields are below. Where an option and an environment variable are paired, an explicitly set option wins; otherwise the environment variable applies, then the default.
+
+| Option / Environment Variable | Description | Default |
+|-------------------------------|-------------|---------|
+| `state_collections` / - | Keyed-state collections to register before subscribe (array of definitions or config hashes; duplicate names rejected) | (none) |
+| `state_cache_dir` / `PROSODY_STATE_CACHE_DIR` | Disk workspace for the local keyed-state cache; each live client needs its own directory (it is locked exclusively) | per-client temp dir |
+| `state_cache_size_bytes` / `PROSODY_STATE_CACHE_SIZE_BYTES` | Capacity of the in-memory keyed-state cache, in bytes; must be greater than 0. One cache is shared by all partition keyspaces | engine default |
+| `state_recovery_delay` / `PROSODY_STATE_RECOVERY_DELAY` | Whole-second delay between staging a provisional cell and the recovery sweep; every collection TTL must strictly exceed it | 30s |
+
+Prefer the definition constructors (`Prosody.value` / `.map` / `.deque` and their `message_*` variants, documented below): they serialize into `state_collections` so you declare each collection once and reuse the same object with `context.state`. Each entry has these fields:
+
+| Field | Description | Default |
+|-------|-------------|---------|
+| `name` | Collection name; non-empty and unique within the client | (required) |
+| `kind` | `"value"`, `"map"`, or `"deque"` | (required) |
+| `payload` | `"json"` (JSON values) or `"message"` (the full Kafka message the handler received) | (required) |
+| `ttl_seconds` | Per-write TTL in whole seconds (at least 1; must exceed the recovery delay) | (none) |
+| `read_uncommitted` | Opt out of transactional staging | false |
+| `keyset_limit` | Map-only; ordered-scan bound in `0..=4096` (`0` disables ordered-scan tracking) | 128 |
+| `capacity` | Deque-only window bound (at least 1); keeps at most N slots, enforced lazily on push. Runtime-only and mutable across deploys — not persisted | unbounded |
+
+Constructors set these via keyword arguments (`ttl:`, `keyset_limit:`, `capacity:`, `read_uncommitted:`).
+
 ### Telemetry Emitter
 
 Prosody can emit internal processing events (message lifecycle, timer events) to a Kafka topic for observability:
@@ -476,36 +508,37 @@ The deduplication system uses:
 ```ruby
 # Messages with IDs are deduplicated per key
 client.send_message("my-topic", "key1", {
-  id: "msg-123",      # Message will be processed
-  content: "Hello!"
+  "id" => "msg-123",      # Message will be processed
+  "content" => "Hello!"
 })
 
 client.send_message("my-topic", "key1", {
-  id: "msg-123",      # Message will be skipped (duplicate)
-  content: "Hello again!"
+  "id" => "msg-123",      # Message will be skipped (duplicate)
+  "content" => "Hello again!"
 })
 
 client.send_message("my-topic", "key2", {
-  id: "msg-123",      # Message will be processed (different key)
-  content: "Hello!"
+  "id" => "msg-123",      # Message will be processed (different key)
+  "content" => "Hello!"
 })
 ```
 
-Setting `idempotence_cache_size` to `0` disables the **entire** deduplication middleware (both the in-memory cache and the Cassandra-backed persistent store):
+Consumer deduplication is **mandatory** — it is the commit oracle that makes
+keyed state correct — so it cannot be disabled. `idempotence_cache_size` must be
+at least 1; setting it to `0` in the client configuration raises an
+`ArgumentError`:
 
 ```ruby
 client = Prosody::Client.new(
   group_id: "my-consumer-group",
   subscribed_topics: "my-topic",
-  idempotence_cache_size: 0  # Disable all deduplication (both in-memory and persistent)
+  idempotence_cache_size: 0  # Rejected: consumer deduplication cannot be disabled
 )
 ```
 
-Or via environment variable:
-
-```bash
-PROSODY_IDEMPOTENCE_CACHE_SIZE=0
-```
+This applies to every client — `Prosody::Client.new` always builds a consumer, so
+`0` is rejected regardless of whether any topics are subscribed, and whether it is
+supplied in the client configuration or via `PROSODY_IDEMPOTENCE_CACHE_SIZE`.
 
 To invalidate all previously recorded dedup entries (e.g. after a data migration), change the version string:
 
@@ -529,6 +562,107 @@ client = Prosody::Client.new(
 
 Note that the in-memory cache is best-effort. Duplicates can still occur across different process instances.
 
+## Keyed State
+
+Keyed state gives every Kafka key its own durable working memory. Prosody automatically uses the current message or timer key, so a handler can relate the current event to earlier events for that key. State survives restarts and rebalances. By default, changes become visible only when the event succeeds.
+
+Use keyed state for time-aware stream processing: counters, deduplication, rolling aggregates, pending work, and per-key workflows. Keep your relational database as the source of truth for business data and for work that needs joins or ad hoc queries. Reconstructing stream state with repeated database queries can be slow and expensive; keyed state is built for that job.
+
+Most collections should have a TTL. Set it comfortably beyond the longest timer or workflow that uses the state; Prosody validates the minimum supported TTL. Omit it only when keeping inactive keys forever is intentional.
+
+### A counter for each key
+
+Declare each collection once, register it on the client, and ask the event context for the current key's state:
+
+```ruby
+COUNTER = Prosody.value("counter", ttl: 30 * 24 * 60 * 60)
+
+class CountHandler < Prosody::EventHandler
+  def on_message(context, _message)
+    count = context.state(COUNTER)
+    count.set((count.get || 0) + 1)
+  end
+end
+
+client = Prosody::Client.new(
+  group_id: "counters",
+  subscribed_topics: "events",
+  state_collections: [COUNTER]
+)
+```
+
+Here, counters expire after 30 days without an update.
+
+### Window activity into one notification
+
+This example turns a burst of activity into two useful notifications. It sends the first event immediately, collects later events for five minutes, then sends one summary. Because the user ID is the Kafka key, every user gets an independent window.
+
+```ruby
+WINDOW = Prosody.value("window", ttl: 24 * 60 * 60)
+PENDING = Prosody.message_deque("pending", capacity: 100, ttl: 24 * 60 * 60)
+
+class ActivityHandler < Prosody::EventHandler
+  def on_message(context, message)
+    window = context.state(WINDOW)
+    pending = context.state(PENDING)
+
+    if window.get
+      pending.push(message)
+      return
+    end
+
+    notify(message.key, [message])
+    window.set(true)
+    context.clear_and_schedule(Time.now + 5 * 60)
+  end
+
+  def on_timer(context, timer)
+    pending = context.state(PENDING)
+    batch = []
+    pending.each { |message| batch << message }
+
+    notify(timer.key, batch) unless batch.empty?
+    pending.clear
+    context.state(WINDOW).clear
+  end
+end
+```
+
+See the complete, Steep-checked example for signatures, client setup, and `notify`: [`examples/keyed_state_windowing.rb`](examples/keyed_state_windowing.rb) and [`examples/keyed_state_windowing.rbs`](examples/keyed_state_windowing.rbs).
+
+Why this works:
+
+- Register both definitions in `state_collections` before subscribing. Keyed state uses Cassandra unless `mock: true`.
+- Use `clear_and_schedule`, not `schedule`, so a retried event does not add another timer for the same key.
+- `capacity: 100` and the one-day TTL prevent an inactive or unusually busy key from retaining an unlimited backlog. Since this example only appends, overflow drops the oldest saved message.
+- A `message_deque` requires the original Kafka messages to remain available for the whole window. Use a plain `deque` of payloads if topic retention or compaction cannot guarantee that.
+- Prosody runs one handler at a time for each key, so a user's message and timer handlers cannot overlap.
+- Sending a notification is outside Prosody's state transaction and may happen again after a retry. Give notifications a stable idempotency key, or send them through an outbox, when duplicates matter.
+
+### Collections and handles
+
+A definition gives a collection a stable name, kind, and options. Register it once on the client, then pass the same definition to `context.state` to access the current key. Do not reuse a persisted name for a different collection kind or payload type.
+
+Create handles inside the handler and do not retain them or their iterators afterward. State operations look synchronous but yield the current fiber while Prosody performs the work.
+
+| Collection | JSON payload | Kafka message | Main operations |
+| --- | --- | --- | --- |
+| Value | `Prosody.value` | `Prosody.message_value` | `get`, `set`, `clear` |
+| Ordered string map | `Prosody.map` | `Prosody.message_map` | `get`, `get_many`, `key?`, `set`, `delete`, `each_pair`, `each_key`, `clear` |
+| Deque | `Prosody.deque` | `Prosody.message_deque` | `push`, `unshift`, `pop`, `shift`, `get`, `length`, `each`, `clear` |
+
+Map and deque scans return enumerators when called without a block. Map keys are strings. `nil` means absence and cannot be stored—use `clear` or `delete` instead.
+
+### When changes become visible
+
+Reads inside a handler see its earlier writes. The default behavior is the safest choice for most handlers: Prosody buffers those changes and publishes them together when the event succeeds. If the handler raises, none of its pending changes become visible.
+
+Each collection also offers explicit controls for workflows that need different behavior:
+
+- `read_uncommitted: true` writes that collection's changes after the handler succeeds but before the event is recorded as complete. A crash in between can leave the changes visible even though the event is retried. Use it only for idempotent changes, where processing the same event again produces the same stored result.
+- `commit` immediately publishes this collection's pending changes. They remain visible even if the handler later raises and the event is retried.
+- `rollback` discards this collection's pending changes since its last `commit`. It cannot undo changes that were already committed.
+
 ## Timer Functionality
 
 Prosody supports timer-based delayed execution within message handlers. When a timer fires, your handler's `on_timer` method will be called:
@@ -898,17 +1032,18 @@ Ensure you have thoroughly tested your changes before merging to `main`.
 ### Prosody::Client
 
 - `new(**config)`: Initialize a new Prosody client with the given configuration.
-- `send_message(topic, key, payload)`: Send a message to a specified topic.
+- `send_message(String topic, String key, Prosody::json_value payload)`: Send a JSON-serializable message.
 - `consumer_state`: Get the current state of the consumer (`:unconfigured`, `:configured`, or `:running`).
 - `source_system`: Get the source system identifier configured for the client.
-- `subscribe(handler)`: Subscribe to messages using the provided handler.
+- `subscribe: [Payload] (Prosody::EventHandler[Payload]) -> void`: Subscribe while preserving the handler's payload specialization.
 - `unsubscribe`: Unsubscribe from messages and shut down the consumer.
 - `assigned_partitions`: Get the number of partitions currently assigned to this consumer.
 - `is_stalled?`: Check if the consumer has stalled partitions.
 
 ### Prosody::EventHandler
 
-A base class for user-defined handlers:
+A base class for user-defined handlers. Its RBS payload parameter flows into
+`Message#payload`; a bare handler defaults to `Prosody::json_value`.
 
 ```ruby
 class MyHandler < Prosody::EventHandler
@@ -928,14 +1063,36 @@ end
 
 ### Prosody::Message
 
-Represents a Kafka message with the following attributes:
+`Prosody::Message[Payload]` represents a Kafka message. `Payload` defaults to
+`Prosody::json_value` (`nil`, booleans, numbers, strings, arrays, and
+string-keyed hashes, recursively). The parameter is static documentation and
+does not perform runtime validation.
+
+For a type-safe handler, describe the JSON record and specialize the handler in
+your application's RBS:
+
+```rbs
+type order_event = { "order_id" => String, "total" => Integer }
+
+class OrderHandler < Prosody::EventHandler[order_event]
+  def on_message: (Prosody::Context, Prosody::Message[order_event]) -> void
+end
+```
+
+Ruby can then use `message.payload["order_id"]` as a `String` and
+`message.payload["total"]` as an `Integer`. See
+[`examples/keyed_state.rb`](examples/keyed_state.rb) and its companion
+[`examples/keyed_state.rbs`](examples/keyed_state.rbs) for payload typing that
+also flows through message-backed state.
+
+Messages have the following attributes:
 
 - `topic` (String): The name of the topic.
 - `partition` (Integer): The partition number.
 - `offset` (Integer): The message offset within the partition.
 - `timestamp` (Time): The timestamp when the message was created or sent.
 - `key` (String): The message key.
-- `payload` (Hash/Array/String): The message payload as a JSON-deserializable value.
+- `payload` (`Payload`): The JSON-deserialized message payload.
 
 ### Prosody::Context
 
@@ -943,6 +1100,7 @@ Represents the context of message processing:
 
 - `should_cancel?`: Check if cancellation has been requested (includes timeout and shutdown).
 - `on_cancel`: Blocks until cancellation is signaled.
+- `state(definition)`: Binds a registered collection for the current event attempt, returning a typed handle (`ValueState`, `MapState`, or `DequeState`). Raises `PermanentStateError` when the name was never registered, or when the definition's `kind`/`payload` disagrees with the collection's durably-registered schema. See the [Keyed State](#keyed-state-2) API reference below.
 
 Timer scheduling methods:
 
@@ -958,3 +1116,36 @@ Represents a timer that has fired, provided to the `on_timer` method:
 
 - `key` (String): The entity key identifying what this timer belongs to
 - `time` (Time): The time when this timer was scheduled to fire
+
+### Keyed State
+
+Definition constructors (each returns a frozen definition object used both in `Configuration#state_collections` and with `context.state`):
+
+- `Prosody.value(name, ttl: nil, read_uncommitted: nil)`
+- `Prosody.map(name, ttl: nil, keyset_limit: nil, read_uncommitted: nil)`
+- `Prosody.deque(name, ttl: nil, read_uncommitted: nil)`
+- `Prosody.message_value(name, ttl: nil, read_uncommitted: nil)`
+- `Prosody.message_map(name, ttl: nil, keyset_limit: nil, read_uncommitted: nil)`
+- `Prosody.message_deque(name, ttl: nil, read_uncommitted: nil)`
+
+`Prosody::ValueState`:
+
+- `get`, `set(value)`, `clear`, `commit`, `rollback`
+
+`Prosody::MapState` (keys are `String`):
+
+- `get(key)`, `get_many(keys)`, `set(key, value)`, `delete(key)` (returns `nil`), `clear`
+- `each_pair` / `reverse_each_pair` (block or `Enumerator`), `commit`, `rollback`
+
+`Prosody::DequeState`:
+
+- `push(value)`, `unshift(value)`, `pop`, `shift`, `length` (aliased `size`), `empty?`, `get(index)`, `clear`
+- `each` / `reverse_each` (block or `Enumerator`), `commit`, `rollback`
+
+Errors:
+
+- `Prosody::TransientStateError < Prosody::TransientError`: the default — a temporary store read/write failure, or any caller mistake (a `nil`/unrepresentable write, item-shape mismatch, out-of-range index, invalid scan direction), rejected transient so it retries rather than discarding the message.
+- `Prosody::PermanentStateError < Prosody::PermanentError`: reserved for failures a retry cannot resolve in-process (unregistered/identity-mismatched collection, duplicate registration, bad TTL), or one a handler raises explicitly.
+- `Prosody::NullValueError < Prosody::TransientStateError`: raised when a `nil` is written; use `clear`/`delete` instead.
+
+State errors are never Terminal (core folds Terminal into Transient).

data/Rakefile

@@ -23,4 +23,14 @@ RSpec::Core::RakeTask.new(:spec)
 
 require "standard/rake"
 
-task default: %i[compile spec standard]
+desc "Validate RBS signatures over the whole sig/ tree"
+task :rbs do
+  sh "rbs -r logger -I sig validate"
+end
+
+desc "Type-check the Ruby implementation against its RBS signatures"
+task :steep do
+  sh "steep check --with-expectations --severity-level=error"
+end
+
+task default: %i[compile spec standard rbs steep]

data/examples/keyed_state.rb

@@ -0,0 +1,58 @@
+# frozen_string_literal: true
+
+require "prosody"
+require "logger"
+
+# Keyed-state example: per-key value/map/deque collections that survive across
+# events. Definitions are declared once and reused for both registration (on the
+# client) and binding (inside the handler). Every state op yields the fiber,
+# never the thread.
+
+# Definitions: declared once, reused for registration and binding. See
+# keyed_state.rbs for payload and state types checked by Steep.
+CART = Prosody.value("cart", ttl: 30 * 24 * 3600)      # ValueState
+TOTALS = Prosody.map("totals")                          # keys are always String
+BACKLOG = Prosody.message_deque("backlog", capacity: 100) # bounded window of messages
+
+class KeyedStateHandler < Prosody::EventHandler
+  def initialize(logger:)
+    @logger = logger
+  end
+
+  def on_message(context, message)
+    cart = context.state(CART)             # bound for this attempt only
+    current = cart.get || {"items" => []}  # Hash, or nil when absent
+    cart.set(current.merge("items" => current["items"] + [message.payload["order_id"]]))
+
+    totals = context.state(TOTALS)
+    totals.set(message.key, message.payload["total"])
+    # Steep infers key as String and total as Integer from TOTALS's RBS type.
+    totals.each_pair { |key, total| @logger.info(format_total(key, total)) }
+
+    backlog = context.state(BACKLOG)
+    backlog.push(message)                  # stores the full Prosody::Message
+    oldest = backlog.get(0)                # Message[order_event]?, preserving payload shape
+    @logger.info("oldest order: #{format_order_id(oldest.payload["order_id"])}") if oldest
+  end
+
+  private
+
+  def format_total(key, total)
+    "#{key}=#{total}"
+  end
+
+  def format_order_id(order_id)
+    order_id
+  end
+end
+
+if __FILE__ == $PROGRAM_NAME
+  client = Prosody::Client.new(
+    mock: true,
+    group_id: "keyed-state-example",
+    subscribed_topics: "orders",
+    state_collections: [CART, TOTALS, BACKLOG]
+  )
+  client.subscribe(KeyedStateHandler.new(logger: Logger.new($stdout)))
+  client.unsubscribe
+end

data/examples/keyed_state.rbs

@@ -0,0 +1,18 @@
+type keyed_state_cart = { "items" => Array[String] }
+type keyed_state_order_event = { "order_id" => String, "total" => Integer }
+
+CART: Prosody::_ValueDefinition[keyed_state_cart]
+TOTALS: Prosody::_MapDefinition[Integer]
+BACKLOG: Prosody::_MessageDequeDefinition[keyed_state_order_event]
+
+class KeyedStateHandler < Prosody::EventHandler[keyed_state_order_event]
+  @logger: Logger
+
+  def initialize: (logger: Logger) -> void
+  def on_message: (Prosody::Context context, Prosody::Message[keyed_state_order_event] message) -> void
+
+  private
+
+  def format_total: (String key, Integer total) -> String
+  def format_order_id: (String order_id) -> String
+end

data/examples/keyed_state_windowing.rb

@@ -0,0 +1,47 @@
+# frozen_string_literal: true
+
+require "prosody"
+
+# The complete typed counterpart of the README burst-windowing example.
+ACTIVITY_WINDOW = Prosody.value("activity-window")
+PENDING_ACTIVITIES = Prosody.message_deque("pending-activities", capacity: 100)
+
+class ActivityWindowHandler < Prosody::EventHandler
+  def on_message(context, message)
+    window = context.state(ACTIVITY_WINDOW)
+    pending = context.state(PENDING_ACTIVITIES)
+
+    if window.get
+      pending.push(message)
+    else
+      notify(message.key, [message])
+      window.set(true)
+      context.clear_and_schedule(Time.now + 5 * 60)
+    end
+  end
+
+  def on_timer(context, timer)
+    pending = context.state(PENDING_ACTIVITIES)
+    batch = pending.each.to_a
+    notify(timer.key, batch) unless batch.empty?
+    pending.clear
+    context.state(ACTIVITY_WINDOW).clear
+  end
+
+  private
+
+  def notify(user_id, activities)
+    puts "notify #{user_id}: #{activities.length} activities"
+  end
+end
+
+if __FILE__ == $PROGRAM_NAME
+  client = Prosody::Client.new(
+    mock: true,
+    group_id: "activity-window-example",
+    subscribed_topics: "activities",
+    state_collections: [ACTIVITY_WINDOW, PENDING_ACTIVITIES]
+  )
+  client.subscribe(ActivityWindowHandler.new)
+  client.unsubscribe
+end

data/examples/keyed_state_windowing.rbs

@@ -0,0 +1,16 @@
+type activity_event = {
+  "actor" => String,
+  "action" => String
+}
+
+ACTIVITY_WINDOW: Prosody::_ValueDefinition[bool]
+PENDING_ACTIVITIES: Prosody::_MessageDequeDefinition[activity_event]
+
+class ActivityWindowHandler < Prosody::EventHandler[activity_event]
+  def on_message: (Prosody::Context context, Prosody::Message[activity_event] message) -> void
+  def on_timer: (Prosody::Context context, Prosody::Timer timer) -> void
+
+  private
+
+  def notify: (String user_id, Array[Prosody::Message[activity_event]] activities) -> void
+end

data/lib/prosody/configuration.rb

@@ -281,6 +281,32 @@ module Prosody
     # Overrides the PROSODY_TIMER_SPANS environment variable. Default: "follows_from".
     config_param :timer_spans, converter: ->(v) { v.to_s }
 
+    # Keyed-state collections to register before subscribe.
+    #
+    # Accepts an array of StateDefinition objects (from Prosody.value/map/deque
+    # and their message_* siblings) or already-serialized registration hashes.
+    # Duplicate names within the set are rejected by the native layer.
+    config_param :state_collections,
+      converter: lambda { |v|
+        list = v.is_a?(Hash) ? [v] : Array(v)
+        list.map { |d| d.respond_to?(:to_state_config) ? d.to_state_config : d }
+      }
+
+    # Disk workspace for the local keyed-state cache. Each live client
+    # needs its own directory. Falls back to the
+    # PROSODY_STATE_CACHE_DIR environment variable. Must not be an empty string.
+    config_param :state_cache_dir, converter: lambda(&:to_s)
+
+    # Capacity of the in-memory keyed-state cache, in bytes. Falls back to
+    # PROSODY_STATE_CACHE_SIZE_BYTES, then
+    # the storage-engine default.
+    config_param :state_cache_size_bytes, converter: ->(v) { Integer(v) }
+
+    # Delay in whole seconds between staging a provisional cell and the
+    # keyed-state recovery sweep. Every registered TTL must strictly exceed this.
+    # Must be a whole number of seconds >= 1 (validated natively).
+    config_param :state_recovery_delay, converter: ->(v) { duration_converter(v) }
+
     # Operation mode of the client.
     #
     # Valid values:

data/lib/prosody/handler.rb

@@ -114,7 +114,7 @@ module Prosody
           super(*args, &block)
         rescue *exception_classes => e
           # The new exception's #cause will be set automatically
-          raise error_class.new(e.message)
+          Kernel.raise error_class.new(e.message)
         end
       end
 
@@ -127,6 +127,10 @@ module Prosody
   # --------------------------------------------------------------------------
 
   # Abstract base class for handling incoming messages and timers from Prosody.
+  # The RBS type parameter describes the JSON payload delivered in each
+  # {Message}; it defaults to +Prosody::json_value+. Declare a narrower payload
+  # shape in your application's RBS (for example,
+  # +EventHandler[order_event]+) to type-check payload access.
   # Subclasses **must** implement `#on_message` to process received messages.
   # Subclasses **may** implement `#on_timer` to process timer events.
   # They may also use `permanent` or `transient` decorators to control retry logic.
@@ -156,7 +160,7 @@ module Prosody
     # custom message handling logic.
     #
     # @param [Context] context the message context
-    # @param [Message] message the message payload
+    # @param [Message<Payload>] message the message and its typed JSON payload
     # @raise [NotImplementedError] if not overridden by subclass
     # @return [void]
     def on_message(context, message)