Update lori dependency from 0.11.0 to 0.12.0 (#48)

Lori 0.12.0 adds ConnectionFailedTimeout to ConnectionFailureReason,
requiring a new match branch and corresponding redis-layer primitive.

Author: SeanTAllen

CLAUDE.md

@@ -25,7 +25,7 @@ make stop-redis
 
 ## Dependencies
 
-- `ponylang/lori` (0.11.0) — TCP networking (transitively depends on `ponylang/ssl`, hence the `ssl=` build flag)
+- `ponylang/lori` (0.12.0) — TCP networking (transitively depends on `ponylang/ssl`, hence the `ssl=` build flag)
 
 ## Architecture
 
@@ -50,7 +50,7 @@ Package: `redis`
 - `_ResponseHandler` (in `_response_handler.pony`): Loops `_RespParser` over a `buffered.Reader`, routing `RespPush` to `on_push` and other `RespValue`s to `on_response`. Shuts down on `RespMalformed`.
 - `_BuildHelloCommand` / `_BuildAuthCommand` (primitives in `session.pony`): Build HELLO 3 and AUTH commands for protocol negotiation and authentication.
 - `_BufferedSend` (class val in `session.pony`): Serialized command buffered during backpressure. Holds wire-format bytes and an optional `_QueuedCommand` for response matching.
-- `ConnectionFailureReason` (type alias in `connection_failure_reason.pony`): `(ConnectionFailedDNS | ConnectionFailedTCP | ConnectionFailedSSL)`. Passed to `redis_session_connection_failed` to identify the failure stage.
+- `ConnectionFailureReason` (type alias in `connection_failure_reason.pony`): `(ConnectionFailedDNS | ConnectionFailedTCP | ConnectionFailedSSL | ConnectionFailedTimeout)`. Passed to `redis_session_connection_failed` to identify the failure stage.
 - `_IllegalState` / `_Unreachable` (in `_mort.pony`): Primitives for detecting impossible states.
 
 ### Command Builders

corral.json

@@ -13,7 +13,7 @@
   "deps": [
     {
       "locator": "github.com/ponylang/lori.git",
-      "version": "0.11.0"
+      "version": "0.12.0"
     }
   ]
 }

redis/connection_failure_reason.pony

@@ -13,5 +13,13 @@ primitive ConnectionFailedSSL
   The SSL/TLS handshake failed before the connection was established.
   """
 
+primitive ConnectionFailedTimeout
+  """
+  The connection attempt timed out before completing.
+  """
+
 type ConnectionFailureReason is
-  (ConnectionFailedDNS | ConnectionFailedTCP | ConnectionFailedSSL)
+  ( ConnectionFailedDNS
+  | ConnectionFailedTCP
+  | ConnectionFailedSSL
+  | ConnectionFailedTimeout )

redis/session.pony

@@ -121,6 +121,7 @@ actor Session is (lori.TCPConnectionActor & lori.ClientLifecycleEventReceiver)
     | let _: lori.ConnectionFailedDNS => ConnectionFailedDNS
     | let _: lori.ConnectionFailedTCP => ConnectionFailedTCP
     | let _: lori.ConnectionFailedSSL => ConnectionFailedSSL
+    | let _: lori.ConnectionFailedTimeout => ConnectionFailedTimeout
     end
     state.on_failure(this, r)
 

redis/session_status_notify.pony

@@ -17,7 +17,8 @@ interface tag SessionStatusNotify
   =>
     """
     Called when the connection to the server fails. The `reason` identifies
-    the failure stage: DNS resolution, TCP connection, or SSL/TLS handshake.
+    the failure stage: DNS resolution, TCP connection, SSL/TLS handshake,
+    or connection timeout.
     The session is terminal after this callback.
     """
     None