@mark1russell7/service 0.5.3 → 0.5.4

package/README.md

@@ -321,7 +321,7 @@ A keyed limiter gives each key its own limit, for example each tenant or each pr
 - **A sliding window.** `{ type: "sliding-window", limit, window }` gives a key at most `limit` takes in each window. Each take counts for one window from its time. Graph limits its writes with this policy.
 - **The decision.** `take(key)` gives `{ allowed: true, remaining }` or `{ allowed: false, retryAfter, cause }`. `retryAfter` is a `Quantity` above zero: the time until the limiter lets the same take in. The cause is `limit`, `cap` or `store`.
 - **The clock.** `memoryStore(clock)` reads time only through its clock. Thus a step of the wall clock moves no count, and a fake clock gives exact decisions in a test.
-- **The store.** A `LimiterStore` decides each take in one atomic step, on its own clock. A store in another process does the arithmetic of `decide` in one step of its own. An example is one script of Redis that reads `TIME`.
+- **The store.** A `LimiterStore` decides each take in one atomic step, on its own clock. A store in another process does the arithmetic of `decide` in one step of its own. `redisLimiterStore` of `@mark1russell7/service/redis` is one script of Redis that reads `TIME`.
 - **No shared store.** With `{ kind: "local" }`, each replica keeps its own counts. For a limit L over N replicas, declare L / N on each replica.
 - **Only on average.** The sum of L / N holds only when the balancer spreads the takes of each key evenly. A balancer that sends each take of a key to one replica gives that key only L / N.
 - **A shared store.** With `{ kind: "shared", dependency, onStoreFailure }`, the counts are in a dependency of the service. `describe()` refuses a dependency that the service does not declare, and `keyedLimiter` refuses a store of the wrong kind.
@@ -480,6 +480,13 @@ const life = await app.run(); // the process exits after SIGTERM, with 0 or 1
 - **The close.** At the shutdown, the client sends `QUIT`, and it disconnects at its `close_bound`. Thus a silent server cannot hold the phase past its cap.
 - **The manifestations.** `meets` lists the manifestations that the client can meet, and the detectors of each, with their times from the knobs. `unwatched(meets)` lists each manifestation and situation that no detector finds.
 - **The machine.** `REDIS_CLIENT_MACHINE` is the client as a `mark1russell7.machine/1` document. The tests replay the transitions of the client against it.
+- **The store of a keyed limiter.** `redisLimiterStore(client, { prefix })` keeps the counts of a [keyed limiter](#the-keyed-limiter) in Redis 7, for each replica of a service. Give it to `keyedLimiter` with `{ kind: "shared", dependency, onStoreFailure }`.
+- **One atomic step.** Each take is one `EVAL` of `LIMITER_SCRIPT`, which does the arithmetic of `decide`. The script reads `TIME` of the server, thus each replica gets the one clock of the store.
+- **No second send.** `EVAL` is not idempotent, thus the client does not send a take again. An error or an outcome that is not certain rejects the take of the store. `keyedLimiter` then applies `onStoreFailure`, as for each shared store.
+- **The clock of the store.** `TIME` is the wall clock of the Redis host, not a monotonic clock. Thus a step of that clock moves the counts of each key. The replicas still share one clock.
+- **Exact eviction in Redis.** The state of each key expires at the time that the key is free. A sorted set of each limiter bounds its busy keys to `maxKeys`, and it gives the exact `retryAfter` of a key at the cap.
+- **Redis Cluster.** The names of the keys put the limiter in braces, a hash tag. Thus the state and the index of a limiter are in one slot. The prefix has no braces.
+- **The test clock.** With `{ clock }`, the script uses the time of that clock in place of `TIME`. The tests use it to compare each decision of Redis with `decide`.
 
 ## Installation
 

package/build/index.d.ts

@@ -4,7 +4,8 @@ import { Heartbeat, HeartbeatOptions, detectionTime, heartbeat } from "./heartbe
 import { S as retryAfterSeconds, _ as freeAt, a as LimitRule, b as limiterProblems, c as LimiterSpec, d as Refused, f as SlidingWindow, g as decide, h as TokenBucket, i as LimitPolicy, l as LimiterStoreSpec, m as TakeStep, n as Decision, o as Limiter, p as StoreFailure, r as KeyState, s as LimiterEviction, t as Allowed, u as RefusalCause, v as idleSpan, x as longestRetryAfter, y as limitRule } from "./policy-G4QJ1ZZq.js";
 import { $ as failSpan, A as LifecycleEvent, B as Gate, C as ProbeAnswer, Ct as Operation, D as Outcome, E as CheckFn, F as CooperativeFloor, G as Step, H as Phase, I as Coupling, J as Poll, K as Transport, L as Dependency, M as Recorder, N as Check, O as Result, P as Controller, Q as asWindow, R as ExitCodes, S as HealthVerdict, St as Idempotency, T as StartOptions, U as RepeatSignal, V as MessageTrigger, W as ServiceDescription, X as Timing, Y as Span, Z as asDebounce, _ as RequestOptions, _t as isExitSignal, a as PhaseContext, at as EXIT_SIGNALS, b as CheckVerdict, bt as nodeProcess, c as STAGES, ct as ExitTrigger, d as TransportImpl, dt as PROCESS_TRIGGERS, et as heartbeatDetection, f as cooperativeAbortAt, ft as ProcessHost, g as RequestFn, gt as isExitCode, h as RequestEvent, ht as embeddedProcess, i as LifecycleState, it as RouteRequest, j as MachineName, l as ShutdownOptions, lt as HostStream, m as RequestEnd, mt as ProcessTrigger, n as HealthServer, nt as OperationOf, o as PhaseWork, ot as EmbeddedProcess, p as stageRank, pt as ProcessPort, q as FailsBy, r as Lifecycle, rt as RoutePattern, s as RunOptions, st as ExitSignal, t as DependencyHandle, tt as recoverSpan, u as Stage, ut as MessageShape, v as RequestStream, vt as isMessageShape, w as ProbeKind, wt as mayReissue, x as Health, xt as processPortOf, y as RequestWork, yt as matchesMessage, z as FORMAT } from "./lifecycle-Chu9Pri2.js";
 import { a as WatchdogSpec, c as Profile, d as kubernetes, f as localDev, i as Watchdog, l as daemon, n as ServiceBuilder, o as watchdog, r as service, s as PodTiming, t as ControllerBuilder, u as ephemeral } from "./builder-DyDB7zM9.js";
-import { a as keyedLimiter, i as TakeRequest, n as LimiterStore, o as memoryStore, r as MemoryStore, t as KeyedLimiter } from "./limiter-DzTyosou.js";
+import { a as keyedLimiter, i as TakeRequest, n as LimiterStore, o as memoryStore, r as MemoryStore, t as KeyedLimiter } from "./store-DzTyosou.js";
+import "./limiter.js";
 import { Extent, Quantity } from "@mark1russell7/quantity";
 import { replay } from "@mark1russell7/algebra/replay";
 import { Machine } from "@mark1russell7/algebra";

package/build/limiter.d.ts

@@ -1,3 +1,3 @@
 import { S as retryAfterSeconds, _ as freeAt, a as LimitRule, b as limiterProblems, c as LimiterSpec, d as Refused, f as SlidingWindow, g as decide, h as TokenBucket, i as LimitPolicy, l as LimiterStoreSpec, m as TakeStep, n as Decision, o as Limiter, p as StoreFailure, r as KeyState, s as LimiterEviction, t as Allowed, u as RefusalCause, v as idleSpan, x as longestRetryAfter, y as limitRule } from "./policy-G4QJ1ZZq.js";
-import { a as keyedLimiter, i as TakeRequest, n as LimiterStore, o as memoryStore, r as MemoryStore, t as KeyedLimiter } from "./limiter-DzTyosou.js";
+import { a as keyedLimiter, i as TakeRequest, n as LimiterStore, o as memoryStore, r as MemoryStore, t as KeyedLimiter } from "./store-DzTyosou.js";
 export { type Allowed, type Decision, type KeyState, type KeyedLimiter, type LimitPolicy, type LimitRule, type Limiter, type LimiterEviction, type LimiterSpec, type LimiterStore, type LimiterStoreSpec, type MemoryStore, type RefusalCause, type Refused, type SlidingWindow, type StoreFailure, type TakeRequest, type TakeStep, type TokenBucket, decide, freeAt, idleSpan, keyedLimiter, limitRule, limiterProblems, longestRetryAfter, memoryStore, retryAfterSeconds };

package/build/redis.d.ts

@@ -2,6 +2,7 @@ import { t as Backoff } from "./backoff-B-jGWVDm.js";
 import { n as Clock } from "./clock-D-38uH_z.js";
 import { B as Gate, Ct as Operation, E as CheckFn, G as Step, J as Poll, L as Dependency, M as Recorder, N as Check, W as ServiceDescription, et as heartbeatDetection, t as DependencyHandle } from "./lifecycle-Chu9Pri2.js";
 import { n as ServiceBuilder } from "./builder-DyDB7zM9.js";
+import { n as LimiterStore } from "./store-DzTyosou.js";
 import { Extent, Quantity } from "@mark1russell7/quantity";
 import { Machine } from "@mark1russell7/algebra";
 //#region src/redis/connection.d.ts
@@ -273,6 +274,45 @@ export declare const tcpDial: DialFn;
  */
 export declare const redisClient: (name: string, spec: RedisClientSpec, options?: RedisClientOptions) => RedisClient;
 //#endregion
+//#region src/redis/limiter.d.ts
+/**
+ * This script decides one take in one atomic step of Redis. It does the arithmetic of `decide`, and
+ * it reads `TIME` of the server, the one clock of all replicas. A test can give the time in its place.
+ * - KEYS[1] is the state of the key. KEYS[2] is the index of the limiter, a sorted set of its keys
+ *   by the time at which each key is free.
+ * - ARGV is the type of the rule, its two numbers, the cap of keys, the key, and the time or "".
+ * - The state of a bucket is its full time. The state of a window is the time of each take in it.
+ * - The state expires at its free time (PX), and the index lets the cap count only busy keys.
+ * - The reply is `{1, remaining}`, or `{0, retryAfter, cause}` with the time as text. Redis gives
+ *   each Lua number as a whole number, thus the fraction of a millisecond goes as text.
+ */
+export declare const LIMITER_SCRIPT = "\nlocal kind = ARGV[1]\nlocal a = tonumber(ARGV[2])\nlocal b = tonumber(ARGV[3])\nlocal cap = tonumber(ARGV[4])\nlocal member = ARGV[5]\nlocal now\nif ARGV[6] == '' then\n  local t = redis.call('TIME')\n  now = tonumber(t[1]) * 1000 + tonumber(t[2]) / 1000\nelse\n  now = tonumber(ARGV[6])\nend\nlocal TOL = 1e-6\nlocal function num(x) return string.format('%.6f', x) end\nlocal raw = redis.call('GET', KEYS[1])\nlocal full = nil\nlocal stamps = nil\nif raw then\n  if kind == 'token-bucket' then\n    full = tonumber(raw)\n  else\n    stamps = {}\n    for x in string.gmatch(raw, '[^,]+') do stamps[#stamps + 1] = tonumber(x) end\n  end\nend\nlocal function freeAt()\n  if kind == 'token-bucket' then return full end\n  if #stamps == 0 then return -math.huge end\n  return stamps[#stamps] + b\nend\nif raw and freeAt() <= now then\n  redis.call('DEL', KEYS[1])\n  redis.call('ZREM', KEYS[2], member)\n  raw = nil\n  full = nil\n  stamps = nil\nend\nif not raw then\n  if redis.call('ZCARD', KEYS[2]) >= cap then\n    redis.call('ZREMRANGEBYSCORE', KEYS[2], '-inf', num(now))\n    if redis.call('ZCARD', KEYS[2]) >= cap then\n      local first = redis.call('ZRANGE', KEYS[2], 0, 0, 'WITHSCORES')\n      return {0, num(tonumber(first[2]) - now), 'cap'}\n    end\n  end\nend\nlocal remaining\nlocal state\nif kind == 'token-bucket' then\n  local span = a * b\n  local base = now\n  if full and full > now then base = full end\n  local nxt = base + a\n  if nxt - now > span + TOL then\n    return {0, num(nxt - span - now), 'limit'}\n  end\n  remaining = math.floor((span - (nxt - now)) / a + TOL)\n  if remaining < 0 then remaining = 0 end\n  full = nxt\n  state = num(full)\nelse\n  local live = {}\n  for _, stamp in ipairs(stamps or {}) do\n    if stamp + b > now + TOL then live[#live + 1] = stamp end\n  end\n  if #live >= a then\n    return {0, num(live[1] + b - now), 'limit'}\n  end\n  live[#live + 1] = now\n  remaining = a - #live\n  stamps = live\n  local parts = {}\n  for i, stamp in ipairs(live) do parts[i] = num(stamp) end\n  state = table.concat(parts, ',')\nend\nlocal free = freeAt()\nlocal ttl = math.ceil(free - now)\nif ttl < 1 then ttl = 1 end\nredis.call('SET', KEYS[1], state, 'PX', ttl)\nredis.call('ZADD', KEYS[2], num(free), member)\nif redis.call('PTTL', KEYS[2]) < ttl then redis.call('PEXPIRE', KEYS[2], ttl) end\nreturn {1, remaining}\n";
+/** These options make a store of a limiter in Redis. */
+interface RedisLimiterOptions {
+  /** This text starts the name of each key of the store in Redis, for example `limit:`. It has no braces. */
+  readonly prefix: string;
+  /**
+   * This clock replaces `TIME` of the server, for a test that compares the store with `decide`. Without
+   * it, the script reads `TIME`, thus each replica gets the one clock of the store.
+   */
+  readonly clock?: Clock | undefined;
+}
+/** A Redis client part is the part of a Redis client that the store uses: `send`. */
+type RedisSender = Pick<RedisClient, "send">;
+/**
+ * This function makes a store that the replicas share, in Redis 7. Each take is one `EVAL` of
+ * `LIMITER_SCRIPT`. The client does not send it again, because a second take counts two times.
+ * - The names of the keys have the limiter in braces, a hash tag. Thus the state and the index of a
+ *   limiter are in one slot of a Redis Cluster.
+ * - Each state expires at the time that the key is free, thus the eviction is exact, as in the memory
+ *   store. The index of the limiter bounds the count of busy keys to `maxKeys`.
+ * - A reply of an error, an outcome that is not certain, or a reply of another shape rejects the
+ *   take of the store. `keyedLimiter` then applies the `onStoreFailure` of the spec.
+ * - `TIME` is the wall clock of the Redis host, not a monotonic clock. Thus a step of that clock
+ *   moves the counts of each key. The replicas still share one clock.
+ */
+export declare const redisLimiterStore: (client: RedisSender, options: RedisLimiterOptions) => LimiterStore;
+//#endregion
 //#region src/redis/machine.d.ts
 /**
  * The Redis client as a `mark1russell7.machine/1` document. Its states are the states of ioredis.
@@ -292,5 +332,5 @@ export declare const REDIS_OPERATIONS: Readonly<Record<string, Operation>>;
 /** This function gives the name of a command as the table writes it: upper case, and CLIENT ID with its subcommand. */
 export declare const commandName: (command: string, args: readonly unknown[]) => string;
 //#endregion
-export { type CheckOptions, type ClientStep, type ConnectionFactory, type Detector, type DialFn, type Join, type Meeting, type RedisClient, type RedisClientOptions, type RedisClientSpec, type RedisConnection, type RedisConnectionOptions, type RedisKnobs, type RedisSocket, type Sent, type Situation, heartbeatDetection };
+export { type CheckOptions, type ClientStep, type ConnectionFactory, type Detector, type DialFn, type Join, type Meeting, type RedisClient, type RedisClientOptions, type RedisClientSpec, type RedisConnection, type RedisConnectionOptions, type RedisKnobs, type RedisLimiterOptions, type RedisSender, type RedisSocket, type Sent, type Situation, heartbeatDetection };
 //# sourceMappingURL=redis.d.ts.map

package/build/redis.js

@@ -688,6 +688,159 @@ const redisClient = (name, spec, options = {}) => {
 	};
 };
 //#endregion
+//#region src/redis/limiter.ts
+/**
+* This script decides one take in one atomic step of Redis. It does the arithmetic of `decide`, and
+* it reads `TIME` of the server, the one clock of all replicas. A test can give the time in its place.
+* - KEYS[1] is the state of the key. KEYS[2] is the index of the limiter, a sorted set of its keys
+*   by the time at which each key is free.
+* - ARGV is the type of the rule, its two numbers, the cap of keys, the key, and the time or "".
+* - The state of a bucket is its full time. The state of a window is the time of each take in it.
+* - The state expires at its free time (PX), and the index lets the cap count only busy keys.
+* - The reply is `{1, remaining}`, or `{0, retryAfter, cause}` with the time as text. Redis gives
+*   each Lua number as a whole number, thus the fraction of a millisecond goes as text.
+*/
+const LIMITER_SCRIPT = `
+local kind = ARGV[1]
+local a = tonumber(ARGV[2])
+local b = tonumber(ARGV[3])
+local cap = tonumber(ARGV[4])
+local member = ARGV[5]
+local now
+if ARGV[6] == '' then
+  local t = redis.call('TIME')
+  now = tonumber(t[1]) * 1000 + tonumber(t[2]) / 1000
+else
+  now = tonumber(ARGV[6])
+end
+local TOL = 1e-6
+local function num(x) return string.format('%.6f', x) end
+local raw = redis.call('GET', KEYS[1])
+local full = nil
+local stamps = nil
+if raw then
+  if kind == 'token-bucket' then
+    full = tonumber(raw)
+  else
+    stamps = {}
+    for x in string.gmatch(raw, '[^,]+') do stamps[#stamps + 1] = tonumber(x) end
+  end
+end
+local function freeAt()
+  if kind == 'token-bucket' then return full end
+  if #stamps == 0 then return -math.huge end
+  return stamps[#stamps] + b
+end
+if raw and freeAt() <= now then
+  redis.call('DEL', KEYS[1])
+  redis.call('ZREM', KEYS[2], member)
+  raw = nil
+  full = nil
+  stamps = nil
+end
+if not raw then
+  if redis.call('ZCARD', KEYS[2]) >= cap then
+    redis.call('ZREMRANGEBYSCORE', KEYS[2], '-inf', num(now))
+    if redis.call('ZCARD', KEYS[2]) >= cap then
+      local first = redis.call('ZRANGE', KEYS[2], 0, 0, 'WITHSCORES')
+      return {0, num(tonumber(first[2]) - now), 'cap'}
+    end
+  end
+end
+local remaining
+local state
+if kind == 'token-bucket' then
+  local span = a * b
+  local base = now
+  if full and full > now then base = full end
+  local nxt = base + a
+  if nxt - now > span + TOL then
+    return {0, num(nxt - span - now), 'limit'}
+  end
+  remaining = math.floor((span - (nxt - now)) / a + TOL)
+  if remaining < 0 then remaining = 0 end
+  full = nxt
+  state = num(full)
+else
+  local live = {}
+  for _, stamp in ipairs(stamps or {}) do
+    if stamp + b > now + TOL then live[#live + 1] = stamp end
+  end
+  if #live >= a then
+    return {0, num(live[1] + b - now), 'limit'}
+  end
+  live[#live + 1] = now
+  remaining = a - #live
+  stamps = live
+  local parts = {}
+  for i, stamp in ipairs(live) do parts[i] = num(stamp) end
+  state = table.concat(parts, ',')
+end
+local free = freeAt()
+local ttl = math.ceil(free - now)
+if ttl < 1 then ttl = 1 end
+redis.call('SET', KEYS[1], state, 'PX', ttl)
+redis.call('ZADD', KEYS[2], num(free), member)
+if redis.call('PTTL', KEYS[2]) < ttl then redis.call('PEXPIRE', KEYS[2], ttl) end
+return {1, remaining}
+`;
+/**
+* This function makes a store that the replicas share, in Redis 7. Each take is one `EVAL` of
+* `LIMITER_SCRIPT`. The client does not send it again, because a second take counts two times.
+* - The names of the keys have the limiter in braces, a hash tag. Thus the state and the index of a
+*   limiter are in one slot of a Redis Cluster.
+* - Each state expires at the time that the key is free, thus the eviction is exact, as in the memory
+*   store. The index of the limiter bounds the count of busy keys to `maxKeys`.
+* - A reply of an error, an outcome that is not certain, or a reply of another shape rejects the
+*   take of the store. `keyedLimiter` then applies the `onStoreFailure` of the spec.
+* - `TIME` is the wall clock of the Redis host, not a monotonic clock. Thus a step of that clock
+*   moves the counts of each key. The replicas still share one clock.
+*/
+const redisLimiterStore = (client, options) => {
+	if (/[{}]/.test(options.prefix)) throw new Error(`the prefix ${options.prefix} of a limiter store has a brace: the store puts the hash tag in it`);
+	return {
+		kind: "shared",
+		async take({ limiter, key, rule, maxKeys }) {
+			const base = `${options.prefix}{${limiter}}`;
+			const numbers = rule.type === "token-bucket" ? [rule.interval, rule.burst] : [rule.limit, rule.window];
+			const now = options.clock === void 0 ? "" : String(options.clock.now());
+			const sent = await client.send("EVAL", [
+				LIMITER_SCRIPT,
+				2,
+				`${base}:key:${key}`,
+				`${base}:keys`,
+				rule.type,
+				String(numbers[0]),
+				String(numbers[1]),
+				String(maxKeys),
+				key,
+				now
+			]);
+			if (sent.outcome !== "ok") throw new Error(`the limiter store ${limiter} failed (${sent.outcome}): ${sent.error}`);
+			return replyOf(limiter, sent.value);
+		}
+	};
+};
+/** This function gives the decision of a reply of `LIMITER_SCRIPT`. A reply of another shape throws. */
+const replyOf = (limiter, reply) => {
+	if (Array.isArray(reply) && Number(reply[0]) === 1 && reply.length === 2) return {
+		allowed: true,
+		remaining: Number(reply[1])
+	};
+	if (Array.isArray(reply) && Number(reply[0]) === 0 && reply.length === 3 && (reply[2] === "limit" || reply[2] === "cap")) {
+		const retryAfter = Number(reply[1]);
+		if (Number.isFinite(retryAfter) && retryAfter > 0) return {
+			allowed: false,
+			retryAfter: {
+				value: retryAfter,
+				unit: "ms"
+			},
+			cause: reply[2]
+		};
+	}
+	throw new Error(`the limiter store ${limiter} gave a reply that is not a decision: ${JSON.stringify(reply)}`);
+};
+//#endregion
 //#region src/redis/machine.ts
 const t = (id, from, on, to, extra = {}) => ({
 	id,
@@ -850,6 +1003,6 @@ const REDIS_CLIENT_MACHINE = {
 	]
 };
 //#endregion
-export { REDIS_CLIENT_MACHINE, REDIS_OPERATIONS, commandName, firstDetector, heartbeatDetection, ioredis, meetings, redisClient, retryBackoff, specProblems, tcpDial, unwatched };
+export { LIMITER_SCRIPT, REDIS_CLIENT_MACHINE, REDIS_OPERATIONS, commandName, firstDetector, heartbeatDetection, ioredis, meetings, redisClient, redisLimiterStore, retryBackoff, specProblems, tcpDial, unwatched };
 
 //# sourceMappingURL=redis.js.map

package/build/redis.js.map

@@ -1 +1 @@
-{"version":3,"file":"redis.js","names":["dialTcp"],"sources":["../src/redis/connection.ts","../src/redis/meets.ts","../src/redis/operations.ts","../src/redis/client.ts","../src/redis/machine.ts"],"sourcesContent":["/**\n * A Redis connection is the part of an ioredis client that the wrapper uses. An ioredis 6 client has\n * each part. A fake for tests has them too. Thus the package depends on no type of ioredis.\n */\nexport interface RedisConnection {\n  /** This text is the state of the client: wait, connecting, connect, ready, close, reconnecting or end. */\n  readonly status: string;\n  /** This socket is the socket of the current connection, when there is one. */\n  readonly stream?: RedisSocket | undefined;\n  connect(): Promise<void>;\n  /** This method sends one command, and gives the reply. */\n  call(command: string, ...args: Array<string | number>): Promise<unknown>;\n  quit(): Promise<unknown>;\n  /** This method closes the connection at once. With `true`, the client then connects again. */\n  disconnect(reconnect?: boolean): void;\n  on(event: string, listener: (...args: unknown[]) => void): unknown;\n  off(event: string, listener: (...args: unknown[]) => void): unknown;\n}\n\n/** A Redis socket is the part of the socket of a connection that the join of the prober reads. */\nexport interface RedisSocket {\n  readonly localAddress?: string | undefined;\n  readonly localPort?: number | undefined;\n  readonly remoteAddress?: string | undefined;\n  readonly remotePort?: number | undefined;\n  /** This method closes the socket at once. A disconnect only half-closes it, and a silent peer does not answer that. */\n  destroy?(): void;\n}\n\n/**\n * These are the options that the wrapper gives ioredis. Each one comes from the declaration. The\n * wrapper sets each option that has an effect on a timer or on a send again, thus no default of\n * ioredis decides one.\n */\nexport interface RedisConnectionOptions {\n  readonly host: string;\n  readonly port: number;\n  readonly db?: number | undefined;\n  readonly username?: string | undefined;\n  readonly password?: string | undefined;\n  /** The wrapper connects in its own step of the startup. */\n  readonly lazyConnect: true;\n  readonly connectTimeout: number;\n  readonly commandTimeout: number;\n  /** This time destroys a socket that gives no data while a command waits. Undefined is no bound. */\n  readonly socketTimeout: number | undefined;\n  /** This time is the idle time of TCP keepalive. False is no keepalive. */\n  readonly keepAlive: number | false;\n  /** A command while the client is not ready fails at once: it did not reach the server. */\n  readonly enableOfflineQueue: false;\n  /** The client does not send again a command that can have reached the server. */\n  readonly autoResendUnfulfilledCommands: false;\n  readonly maxRetriesPerRequest: null;\n  readonly enableReadyCheck: true;\n  readonly connectionName: string;\n  /** This function gives the delay before the next try to connect, or null to stop. */\n  readonly retryStrategy: (times: number) => number | null;\n}\n\n/** A connection factory makes the connection of the client from its options. */\nexport type ConnectionFactory = (options: RedisConnectionOptions) => RedisConnection | Promise<RedisConnection>;\n\n/**\n * This factory makes an ioredis client. It loads ioredis only when a client connects, thus a\n * service that does not use Redis does not need ioredis.\n */\nexport const ioredis: ConnectionFactory = async (options) => {\n  const loaded = (await import(\"ioredis\")) as unknown as {\n    readonly default: new (options: RedisConnectionOptions) => RedisConnection;\n  };\n  return new loaded.default(options);\n};\n","import type { Extent, Quantity } from \"@mark1russell7/quantity\";\nimport { quantity, valueIn } from \"@mark1russell7/quantity\";\nimport type { RedisKnobs } from \"./client.ts\";\n\n/** A situation is what the connection did when the failure started: a command in flight, or idle. */\nexport type Situation = \"in flight\" | \"idle\";\n\n/** A detector is a mechanism that finds a failure, and the most time that it takes. */\nexport interface Detector {\n  /** This name identifies the mechanism: a knob of the declaration, or the kernel. */\n  readonly by: string;\n  /** This time is the most that the detector takes, after the failure starts. \"infinite\" tells that it does not find the failure. */\n  readonly within: Extent;\n  readonly situation: Situation;\n  /** This text tells what the detector does, for example that it fails a command without a change of state. */\n  readonly effect: string;\n}\n\n/**\n * A meeting is a manifestation that the client can meet, and its detectors (E9). The names of the\n * manifestations are the names of the vocabulary of the harness and the corpus. `app-stall` is a\n * server whose process is alive and does not answer, a proposal of the vocabulary.\n */\nexport interface Meeting {\n  readonly manifestation: string;\n  /** This text tells the failure in words. */\n  readonly what: string;\n  readonly detectors: readonly Detector[];\n}\n\nconst never: Extent = { value: \"infinite\", unit: \"s\" };\nconst s = (value: number): Quantity => quantity(Math.round(value * 1e6) / 1e6, \"s\");\nconst seconds = (amount: Extent): number =>\n  amount.value === \"infinite\" ? Number.POSITIVE_INFINITY : valueIn(amount as Quantity, \"s\");\nconst plus = (amount: Extent, more: number): Extent =>\n  amount.value === \"infinite\" ? never : s(seconds(amount) + more);\n\n/** Node gives keepalive 10 probes, 1 s apart, after its idle time: a silent peer is found 10 s after the idle time. */\nconst NODE_PROBES = 10;\nconst NODE_INTERVAL = 1;\n\n/**\n * This function gives the manifestations that a Redis client can meet, and the detectors of each, from\n * its knobs. A reset or a FIN arrives on the next segment. A black hole and a host that is gone give\n * no answer at all. A frozen process and a stalled server keep a kernel that acknowledges each\n * segment. Thus TCP keepalive does not fire on them, and only the client's own timers find them.\n */\nexport const meetings = (name: string, knobs: RedisKnobs, heartbeat: Extent): Meeting[] => {\n  const keepalive = plus(knobs.keepalive_idle, NODE_PROBES * NODE_INTERVAL);\n  const watchdog = (situation: Situation): Detector => ({\n    by: \"heartbeat_detection_time\",\n    within: heartbeat,\n    situation,\n    effect: `the watchdog of ${name} closes the connection, and the client connects again`,\n  });\n  const writeoff: Detector = {\n    by: \"driver_writeoff_time\",\n    within: knobs.driver_writeoff_time,\n    situation: \"in flight\",\n    effect: \"ioredis destroys the socket of a command without data, and the client connects again\",\n  };\n  const command: Detector = {\n    by: \"request_timeout\",\n    within: knobs.request_timeout,\n    situation: \"in flight\",\n    effect: \"the command fails as indeterminate, and the state of the connection does not change\",\n  };\n  const giveUp: Detector = {\n    by: \"retrans_giveup_time\",\n    within: knobs.retrans_giveup_time,\n    situation: \"in flight\",\n    effect: \"the kernel gives up the retransmissions and closes the socket\",\n  };\n  const silent = (manifestation: string, what: string): Meeting => ({\n    manifestation,\n    what,\n    detectors: [\n      command,\n      writeoff,\n      watchdog(\"in flight\"),\n      giveUp,\n      watchdog(\"idle\"),\n      { by: \"keepalive_idle\", within: keepalive, situation: \"idle\", effect: \"TCP keepalive gives up, and the socket closes\" },\n    ],\n  });\n  const acknowledged = (manifestation: string, what: string): Meeting => ({\n    manifestation,\n    what,\n    detectors: [\n      command,\n      writeoff,\n      watchdog(\"in flight\"),\n      watchdog(\"idle\"),\n      { by: \"keepalive_idle\", within: never, situation: \"idle\", effect: \"the kernel of the server answers each probe\" },\n    ],\n  });\n  const immediate = (situation: Situation, effect: string): Detector => ({ by: \"the next segment\", within: s(0), situation, effect });\n  return [\n    {\n      manifestation: \"rst\",\n      what: \"the server answers each segment with a reset, and refuses each new connection\",\n      detectors: [\n        immediate(\"in flight\", \"the command fails, and the client connects again, and each attempt is refused\"),\n        watchdog(\"idle\"),\n        { by: \"keepalive_idle\", within: keepalive.value === \"infinite\" ? never : knobs.keepalive_idle, situation: \"idle\", effect: \"the first probe gets a reset\" },\n      ],\n    },\n    {\n      manifestation: \"fin\",\n      what: \"the process of the server ends, and its kernel closes the connection\",\n      detectors: [immediate(\"in flight\", \"the close arrives, and the command fails\"), immediate(\"idle\", \"the close arrives\")],\n    },\n    silent(\"blackhole\", \"the network drops each segment in the two directions\"),\n    silent(\"freeze-host\", \"the host of the server stops, without a close: the death without a close\"),\n    acknowledged(\"freeze-process\", \"the process of the server stops, and its kernel stays up\"),\n    acknowledged(\"app-stall\", \"the server stops its replies for a time, for example a long command, and its kernel stays up\"),\n  ];\n};\n\n/** This function gives the first detector of a manifestation in a situation, or null when no detector has an end (C3). */\nexport const firstDetector = (meeting: Meeting, situation: Situation): Detector | null => {\n  const ranked = meeting.detectors\n    .filter((detector) => detector.situation === situation && detector.within.value !== \"infinite\")\n    .sort((a, b) => seconds(a.within) - seconds(b.within));\n  return ranked[0] ?? null;\n};\n\n/** This function gives each manifestation and situation that no detector of the client finds: the standing rule, as a query (C3, E9). */\nexport const unwatched = (meets: readonly Meeting[]): Array<{ readonly manifestation: string; readonly situation: Situation }> =>\n  meets.flatMap((meeting) =>\n    ([\"in flight\", \"idle\"] as const).flatMap((situation) =>\n      firstDetector(meeting, situation) === null ? [{ manifestation: meeting.manifestation, situation }] : [],\n    ),\n  );\n","import type { Operation } from \"../operation.ts\";\n\n/**\n * These are the Redis commands whose idempotency the client declares when the declaration does not\n * say. A second issue of an idempotent command has the same effect. Thus the client can send it\n * again after a failure that left its result unknown. The client does not send again a command\n * that is not in this table: a declaration that uses it says its idempotency itself.\n */\nconst SAME_EFFECT = [\n  // reads\n  \"PING\",\n  \"ECHO\",\n  \"GET\",\n  \"MGET\",\n  \"STRLEN\",\n  \"GETRANGE\",\n  \"EXISTS\",\n  \"TYPE\",\n  \"TTL\",\n  \"PTTL\",\n  \"EXPIRETIME\",\n  \"HGET\",\n  \"HMGET\",\n  \"HGETALL\",\n  \"HKEYS\",\n  \"HVALS\",\n  \"HLEN\",\n  \"HEXISTS\",\n  \"SMEMBERS\",\n  \"SISMEMBER\",\n  \"SMISMEMBER\",\n  \"SCARD\",\n  \"ZRANGE\",\n  \"ZRANGEBYSCORE\",\n  \"ZSCORE\",\n  \"ZMSCORE\",\n  \"ZRANK\",\n  \"ZCARD\",\n  \"ZCOUNT\",\n  \"LRANGE\",\n  \"LINDEX\",\n  \"LLEN\",\n  \"XRANGE\",\n  \"XREVRANGE\",\n  \"XLEN\",\n  \"SCAN\",\n  \"SSCAN\",\n  \"HSCAN\",\n  \"ZSCAN\",\n  \"DBSIZE\",\n  \"INFO\",\n  \"CLIENT ID\",\n  // writes that put a state, not a change of a state: a second issue puts the same state\n  \"SET\",\n  \"MSET\",\n  \"SETEX\",\n  \"PSETEX\",\n  \"DEL\",\n  \"UNLINK\",\n  \"EXPIRE\",\n  \"PEXPIRE\",\n  \"EXPIREAT\",\n  \"PEXPIREAT\",\n  \"PERSIST\",\n  \"HSET\",\n  \"HDEL\",\n  \"SADD\",\n  \"SREM\",\n  \"ZADD\",\n  \"ZREM\",\n];\n\n/**\n * These commands change a state relative to the state before them. A second issue changes it again:\n * an INCR that the client sends again after a timeout counts two times.\n */\nconst CHANGE = [\n  \"INCR\",\n  \"INCRBY\",\n  \"INCRBYFLOAT\",\n  \"DECR\",\n  \"DECRBY\",\n  \"HINCRBY\",\n  \"HINCRBYFLOAT\",\n  \"ZINCRBY\",\n  \"APPEND\",\n  \"LPUSH\",\n  \"RPUSH\",\n  \"LPOP\",\n  \"RPOP\",\n  \"BLPOP\",\n  \"BRPOP\",\n  \"LMOVE\",\n  \"BLMOVE\",\n  \"SPOP\",\n  \"XADD\",\n  \"XACK\",\n  \"PUBLISH\",\n  \"EVAL\",\n  \"EVALSHA\",\n  \"FCALL\",\n  \"MULTI\",\n  \"EXEC\",\n  \"GETDEL\",\n  \"GETSET\",\n  \"SETNX\",\n];\n\n/** These are the operations of the client: the idempotency of each command that the table names. */\nexport const REDIS_OPERATIONS: Readonly<Record<string, Operation>> = Object.fromEntries([\n  ...SAME_EFFECT.map((command) => [command, { idempotent: true }] as const),\n  ...CHANGE.map((command) => [command, { idempotent: false }] as const),\n]);\n\n/** This function gives the name of a command as the table writes it: upper case, and CLIENT ID with its subcommand. */\nexport const commandName = (command: string, args: readonly unknown[]): string => {\n  const name = command.toUpperCase();\n  if ((name === \"CLIENT\" || name === \"CONFIG\" || name === \"DEBUG\") && typeof args[0] === \"string\")\n    return `${name} ${args[0].toUpperCase()}`;\n  return name;\n};\n","import { connect as dialTcp } from \"node:net\";\nimport type { Extent, Quantity } from \"@mark1russell7/quantity\";\nimport { quantity, valueIn } from \"@mark1russell7/quantity\";\nimport type { Backoff } from \"../backoff.ts\";\nimport { backoffDelay } from \"../backoff.ts\";\nimport type { ServiceBuilder } from \"../builder.ts\";\nimport type { Cancel, Clock } from \"../clock.ts\";\nimport { realClock } from \"../clock.ts\";\nimport type { Check, Dependency, Gate, ServiceDescription, Step } from \"../description.ts\";\nimport type { Recorder } from \"../events.ts\";\nimport type { Heartbeat } from \"../heartbeat.ts\";\nimport { heartbeat } from \"../heartbeat.ts\";\nimport type { Outcome } from \"../latch.ts\";\nimport type { DependencyHandle } from \"../lifecycle.ts\";\nimport type { Operation } from \"../operation.ts\";\nimport { mayReissue } from \"../operation.ts\";\nimport type { CheckFn } from \"../poller.ts\";\nimport type { Poll } from \"../timing.ts\";\nimport { heartbeatDetection } from \"../timing.ts\";\nimport type { ConnectionFactory, RedisConnection, RedisConnectionOptions } from \"./connection.ts\";\nimport { ioredis } from \"./connection.ts\";\nimport type { Meeting } from \"./meets.ts\";\nimport { meetings } from \"./meets.ts\";\nimport { REDIS_OPERATIONS, commandName } from \"./operations.ts\";\n\n/**\n * These are the knobs of the client, each a time, by the names of the ordering law where the law\n * has them. The runtime has no defaults, thus each knob is necessary, and a bound that nobody gives\n * is \"infinite\", not zero.\n */\nexport interface RedisKnobs {\n  /** This time bounds a try to connect, until the TCP connection exists (`connectTimeout`). */\n  readonly connect_bound: Quantity;\n  /** This time bounds each command, the handshake commands too (`commandTimeout`). */\n  readonly request_timeout: Quantity;\n  /** This time destroys a socket that gives no data while a command waits (`socketTimeout`). */\n  readonly driver_writeoff_time: Extent;\n  /** This time is the idle time of TCP keepalive. Node then sends 10 probes 1 s apart. */\n  readonly keepalive_idle: Extent;\n  /** This time is the interval of the in-band watchdog: a PING on the connection of the application. */\n  readonly heartbeat_interval: Extent;\n  /** This time bounds each PING of the watchdog. */\n  readonly heartbeat_timeout: Quantity;\n  /** This time is how long the client tries to connect again before it stops. The watchdog then starts it again. */\n  readonly client_retry_window: Extent;\n  /** This time is the first delay before a new try to connect. The delay doubles after each try. */\n  readonly retry_base: Quantity;\n  /** This time is the most that one delay can be, before its jitter. */\n  readonly retry_cap: Quantity;\n  /** This time bounds the close of the client at the shutdown: a QUIT, then a disconnect. */\n  readonly close_bound: Quantity;\n  /** This time is the age at which the client replaces its connection. The client supports only \"infinite\". */\n  readonly max_connection_age: Extent;\n  /**\n   * This time is when the kernel gives up a segment that it retransmits. Node cannot set it, thus\n   * the declaration states it for the ordering law (O17), from the platform.\n   */\n  readonly retrans_giveup_time: Extent;\n}\n\n/** A Redis client spec is the declaration of one Redis client: where it connects, and its knobs. */\nexport interface RedisClientSpec {\n  readonly host: string;\n  readonly port: number;\n  readonly db?: number | undefined;\n  readonly username?: string | undefined;\n  readonly password?: string | undefined;\n  /** This identifier is the component in the corpus (`systems.component.redis`), or null. */\n  readonly system: string | null;\n  readonly knobs: RedisKnobs;\n  /** This count is the number of PINGs in sequence without an answer that make the watchdog connect again. */\n  readonly heartbeatMisses: number;\n  /** These operations add to the table of the client, or change it. */\n  readonly operations?: Readonly<Record<string, Operation>> | undefined;\n}\n\n/** A dial function opens a new TCP connection, sends one PING, and reads the reply. The `dial` check uses it. */\nexport type DialFn = (host: string, port: number, signal: AbortSignal) => Promise<void>;\n\n/** These options make a client. Without them, it uses ioredis, the real clock and `Math.random`. */\nexport interface RedisClientOptions {\n  readonly create?: ConnectionFactory | undefined;\n  readonly clock?: Clock | undefined;\n  readonly random?: (() => number) | undefined;\n  /** This function receives each transition of the client, for the prober (D3). */\n  readonly record?: Recorder | undefined;\n  readonly dial?: DialFn | undefined;\n  /**\n   * This function waits one turn of the event loop. The watchdog waits it before it counts a miss,\n   * thus a reply that is in the socket is read first. Without it, the client uses `setImmediate`.\n   */\n  readonly turn?: (() => Promise<void>) | undefined;\n}\n\n/**\n * A join is one generation of the connection, at its `ready` (D1, D2). The prober joins its kernel\n * records to the server's view of the connection through it. A join holds the server's id of the\n * connection, and the local address and port of the socket.\n */\nexport interface Join {\n  readonly generation: number;\n  /** This time is when the connection became ready, in milliseconds on the monotonic clock. */\n  readonly at: number;\n  /** This number is the reply of CLIENT ID, or null when the server gave none. */\n  readonly clientId: number | null;\n  readonly localAddress: string | null;\n  readonly localPort: number | null;\n  readonly remoteAddress: string | null;\n  readonly remotePort: number | null;\n}\n\n/**\n * A sent result is the outcome of a command, in three values (C8):\n * - `ok`: the server answered.\n * - `error`: the command did not apply. The server answered with an error (`reply`), or the command\n *   did not leave the client.\n * - `indeterminate`: the command can have reached the server, and nothing tells if it applied.\n */\nexport type Sent<T> =\n  | { readonly outcome: \"ok\"; readonly value: T; readonly attempts: number }\n  | { readonly outcome: \"error\"; readonly error: string; readonly reply: boolean; readonly attempts: number }\n  | { readonly outcome: \"indeterminate\"; readonly error: string; readonly attempts: number };\n\n/** Send options tell how the client sends one command. */\nexport interface SendOptions {\n  /** This signal abandons the command. A command that left the client is then indeterminate. */\n  readonly signal?: AbortSignal | undefined;\n  /** False stops the client: it does not send the command again. A check that must fail at once uses it. */\n  readonly reissue?: boolean | undefined;\n}\n\ntype Attempt =\n  | { readonly outcome: \"ok\"; readonly value: unknown }\n  | { readonly outcome: \"error\"; readonly error: string; readonly reply: boolean }\n  | { readonly outcome: \"indeterminate\"; readonly error: string };\n\n/** The steps of a connection that the client gives a check for (B14). */\nexport type ClientStep = Extract<Step, \"dial\" | \"round-trip\" | \"local-state\">;\n\n/** Check options tell which checks the client gives the health runtime, and which policy each one controls. */\nexport interface CheckOptions {\n  readonly poll: Poll;\n  /** For each step, the policy that its check controls, or null for a check that only reports. A step that is absent has no check. */\n  readonly steps: Partial<Record<ClientStep, Gate | null>>;\n}\n\n/** A Redis client is a dependency of a service: its declaration, its handle, its checks and its commands. */\nexport interface RedisClient {\n  readonly name: string;\n  /** This declaration goes to `svc.dependency(name, declaration, handle)`. */\n  readonly declaration: Omit<Dependency, \"name\">;\n  readonly handle: DependencyHandle;\n  /** These are the manifestations that the client can meet, and the detector of each (E9). */\n  readonly meets: readonly Meeting[];\n  /** This text is the state of the connection, as ioredis names it, or \"none\" before the connect. */\n  readonly status: string;\n  /** These are the generations of the connection, the latest last. */\n  readonly joins: readonly Join[];\n  /**\n   * This method sends a command, and gives its outcome in three values. The client sends again\n   * only an idempotent operation, one time at most, after an outcome that is not certain. The\n   * second try stays in the bound of the request. The client does not send again an operation that\n   * the table does not name.\n   */\n  send<T = unknown>(command: string, args?: ReadonlyArray<string | number>, options?: SendOptions): Promise<Sent<T>>;\n  /** This method gives the checks of the client and their functions, for `svc.check(check, run)`. */\n  checks(options: CheckOptions): ReadonlyArray<readonly [Check, CheckFn]>;\n  /** This method declares the client in a service: its dependency, its handle and its checks. */\n  attach(svc: ServiceBuilder, options: CheckOptions): ServiceBuilder;\n  /** This method gives the problems of the client in a description: a close that does not fit in its phase, for example. */\n  problems(description: ServiceDescription): string[];\n}\n\nconst ms = (amount: Extent): number =>\n  amount.value === \"infinite\" ? Number.POSITIVE_INFINITY : valueIn(amount as Quantity, \"ms\");\nconst finite = (amount: Extent): number | undefined => {\n  const value = ms(amount);\n  return Number.isFinite(value) ? value : undefined;\n};\nconst message = (error: unknown): string => (error instanceof Error ? error.message : String(error));\n\n/**\n * This function gives the backoff of the tries to connect: from `retry_base`, doubling to\n * `retry_cap`, each with a jitter up to the base. The client rounds each delay to a whole millisecond.\n */\nexport const retryBackoff = (knobs: RedisKnobs): Backoff => ({\n  base: ms(knobs.retry_base),\n  factor: 2,\n  cap: ms(knobs.retry_cap),\n  jitter: { kind: \"add\", amount: ms(knobs.retry_base) },\n});\n\n/** This function gives the problems of a spec: the knobs that the client cannot use. */\nexport const specProblems = (name: string, spec: RedisClientSpec): string[] => {\n  const problems: string[] = [];\n  const { knobs } = spec;\n  if (!Number.isInteger(spec.heartbeatMisses) || spec.heartbeatMisses < 1)\n    problems.push(`${name}'s watchdog closes the connection after ${spec.heartbeatMisses} misses, not a whole number above zero`);\n  if (knobs.max_connection_age.value !== \"infinite\")\n    problems.push(`${name} cannot replace its connection at an age: max_connection_age must be \"infinite\"`);\n  for (const [knob, amount] of Object.entries(knobs) as Array<[string, Extent]>) {\n    if (amount.value !== \"infinite\" && !(ms(amount) >= 0))\n      problems.push(`${name}'s ${knob} is not a time of zero or more`);\n  }\n  if (ms(knobs.request_timeout) <= 0) problems.push(`${name}'s request_timeout is not above zero: each command must have a bound`);\n  if (ms(knobs.heartbeat_timeout) <= 0) problems.push(`${name}'s heartbeat_timeout is not above zero`);\n  if (ms(knobs.retry_cap) < ms(knobs.retry_base)) problems.push(`${name}'s retry_cap is below its retry_base`);\n  return problems;\n};\n\n/** This dial function opens a TCP connection, sends an inline PING, and waits for +PONG. */\nexport const tcpDial: DialFn = (host, port, signal) =>\n  new Promise((resolve, reject) => {\n    if (signal.aborted) {\n      reject(new Error(\"the dial was aborted\"));\n      return;\n    }\n    const socket = dialTcp({ host, port });\n    let reply = \"\";\n    const end = (error?: Error): void => {\n      signal.removeEventListener(\"abort\", onAbort);\n      socket.destroy();\n      if (error === undefined) resolve();\n      else reject(error);\n    };\n    const onAbort = (): void => end(new Error(\"the dial was aborted\"));\n    signal.addEventListener(\"abort\", onAbort, { once: true });\n    socket.once(\"connect\", () => socket.write(\"PING\\r\\n\"));\n    socket.on(\"data\", (chunk) => {\n      reply += chunk.toString();\n      if (reply.includes(\"\\r\\n\")) end(reply.startsWith(\"+PONG\") ? undefined : new Error(`the reply was ${reply.trim()}`));\n    });\n    socket.once(\"error\", (error) => end(error));\n    socket.once(\"close\", () => end(new Error(\"the server closed the dial\")));\n  });\n\n/**\n * This function makes a Redis client. It is a dependency of a service, with ioredis under it:\n * - It sets each timer of ioredis from the declaration, and it does not let ioredis send a command\n *   again (R5 §8).\n * - It tells the outcome of a command in three values, and it settles each command in flight as\n *   indeterminate when its connection closes (C8, C10).\n * - It records the server's id of each connection at `ready` (D1).\n * - A watchdog sends a PING in the band of the connection, and it connects again after the misses\n *   of the declaration. It also starts a client that stopped (principle 19).\n */\nexport const redisClient = (name: string, spec: RedisClientSpec, options: RedisClientOptions = {}): RedisClient => {\n  const problems = specProblems(name, spec);\n  if (problems.length > 0) throw new Error(problems.join(\"; \"));\n  const { knobs } = spec;\n  const clock = options.clock ?? realClock;\n  const random = options.random ?? Math.random;\n  const create = options.create ?? ioredis;\n  const dial = options.dial ?? tcpDial;\n  const turn = options.turn ?? (() => new Promise<void>((resolve) => setImmediate(resolve)));\n  const operations: Readonly<Record<string, Operation>> = { ...REDIS_OPERATIONS, ...spec.operations };\n  const requestTimeout = ms(knobs.request_timeout);\n  const detection = heartbeatDetection(knobs.heartbeat_interval, knobs.heartbeat_timeout, spec.heartbeatMisses);\n  const backoff = retryBackoff(knobs);\n\n  let connection: RedisConnection | null = null;\n  let status = \"none\";\n  let closing = false;\n  const joins: Join[] = [];\n  // the commands that the client wrote while the connection was ready: a close settles each one\n  const inFlight = new Set<(attempt: Attempt) => void>();\n  const readyWaiters = new Set<() => void>();\n  const listeners: Array<[string, (...args: unknown[]) => void]> = [];\n\n  const record = (from: string, to: string, on: string, detail?: string): void =>\n    options.record?.({ at: clock.now(), machine: \"client\", instance: name, from, to, on, ...(detail === undefined ? {} : { detail }) });\n\n  // the delays of the tries to connect (`retryBackoff`), and none after the retry window. The\n  // watchdog starts the client again after that\n  let retrySince: number | null = null;\n  const retryStrategy = (times: number): number | null => {\n    const now = clock.now();\n    retrySince ??= now;\n    if (now - retrySince > ms(knobs.client_retry_window)) {\n      record(status, status, \"retry.window-ended\");\n      return null;\n    }\n    return Math.round(backoffDelay(backoff, times, random));\n  };\n\n  const connectionOptions: RedisConnectionOptions = {\n    host: spec.host,\n    port: spec.port,\n    ...(spec.db === undefined ? {} : { db: spec.db }),\n    ...(spec.username === undefined ? {} : { username: spec.username }),\n    ...(spec.password === undefined ? {} : { password: spec.password }),\n    lazyConnect: true,\n    connectTimeout: ms(knobs.connect_bound),\n    commandTimeout: requestTimeout,\n    socketTimeout: finite(knobs.driver_writeoff_time),\n    keepAlive: finite(knobs.keepalive_idle) ?? false,\n    enableOfflineQueue: false,\n    autoResendUnfulfilledCommands: false,\n    maxRetriesPerRequest: null,\n    enableReadyCheck: true,\n    connectionName: name,\n    retryStrategy,\n  };\n\n  /** This function gives the outcome of a failed command: a reply of the server, a command that did not leave the client, or neither. */\n  const failed = (error: unknown): Attempt => {\n    const text = message(error);\n    if (error instanceof Error && error.name === \"ReplyError\") return { outcome: \"error\", error: text, reply: true };\n    if (/isn't writeable|enableOfflineQueue/i.test(text)) return { outcome: \"error\", error: text, reply: false };\n    return { outcome: \"indeterminate\", error: text };\n  };\n\n  const onReady = async (): Promise<void> => {\n    retrySince = null;\n    const c = connection;\n    if (c === null) return;\n    const generation = joins.length + 1;\n    const at = clock.now();\n    const socket = c.stream;\n    let clientId: number | null = null;\n    try {\n      const reply = await c.call(\"CLIENT\", \"ID\");\n      clientId = typeof reply === \"number\" ? reply : Number(reply);\n      if (!Number.isFinite(clientId)) clientId = null;\n    } catch {\n      clientId = null;\n    }\n    // a connection that closed before its reply is a generation that never served\n    if (connection !== c || c.status !== \"ready\") return;\n    joins.push({\n      generation,\n      at,\n      clientId,\n      localAddress: socket?.localAddress ?? null,\n      localPort: socket?.localPort ?? null,\n      remoteAddress: socket?.remoteAddress ?? null,\n      remotePort: socket?.remotePort ?? null,\n    });\n    record(\"ready\", \"ready\", \"join\", `generation ${generation}, client id ${clientId ?? \"unknown\"}`);\n    for (const wake of [...readyWaiters]) wake();\n  };\n\n  const onStatus = (to: string) => (): void => {\n    const from = status;\n    status = to;\n    record(from, to, `status.${to}`);\n    if (to === \"close\" || to === \"end\") {\n      // the lower layer gave up the connection: each command in flight learns it now (C10)\n      for (const settle of [...inFlight]) settle({ outcome: \"indeterminate\", error: `the connection closed with the command in flight (${from})` });\n    }\n    if (to === \"ready\") void onReady();\n  };\n\n  const watch = (c: RedisConnection): void => {\n    for (const state of [\"connecting\", \"connect\", \"ready\", \"close\", \"reconnecting\", \"end\"]) {\n      const listener = onStatus(state);\n      c.on(state, listener);\n      listeners.push([state, listener]);\n    }\n    // an error of the connection comes before its close, which settles the commands: here it is only recorded\n    const onError = (error: unknown): void => record(status, status, \"error\", message(error));\n    c.on(\"error\", onError);\n    listeners.push([\"error\", onError]);\n  };\n\n  /** This function waits until the connection is ready, for `within` milliseconds at most. It gives true when it is ready. */\n  const waitReady = (within: number, signal?: AbortSignal): Promise<boolean> =>\n    new Promise((resolve) => {\n      if (connection?.status === \"ready\") {\n        resolve(true);\n        return;\n      }\n      let cancel: Cancel = () => {};\n      const done = (value: boolean): void => {\n        readyWaiters.delete(wake);\n        cancel();\n        signal?.removeEventListener(\"abort\", aborted);\n        resolve(value);\n      };\n      const wake = (): void => done(true);\n      const aborted = (): void => done(false);\n      readyWaiters.add(wake);\n      cancel = clock.after(within, () => done(connection?.status === \"ready\"));\n      signal?.addEventListener(\"abort\", aborted, { once: true });\n    });\n\n  const attempt = (command: string, args: ReadonlyArray<string | number>, signal?: AbortSignal): Promise<Attempt> => {\n    const c = connection;\n    if (c === null) return Promise.resolve({ outcome: \"error\", error: `${name} has not connected`, reply: false });\n    if (c.status !== \"ready\") return Promise.resolve({ outcome: \"error\", error: `${name} is ${c.status}, not ready: the command did not leave the client`, reply: false });\n    if (signal?.aborted) return Promise.resolve({ outcome: \"error\", error: \"the caller aborted the command before it left the client\", reply: false });\n    return new Promise<Attempt>((resolve) => {\n      let settled = false;\n      const settle = (value: Attempt): void => {\n        if (settled) return;\n        settled = true;\n        inFlight.delete(settle);\n        signal?.removeEventListener(\"abort\", aborted);\n        resolve(value);\n      };\n      // a sent command cannot be cancelled: the caller abandons it, and its outcome is not known (principle 9)\n      const aborted = (): void => settle({ outcome: \"indeterminate\", error: \"the caller abandoned the command after it was sent\" });\n      inFlight.add(settle);\n      signal?.addEventListener(\"abort\", aborted, { once: true });\n      c.call(command, ...args).then(\n        (value) => settle({ outcome: \"ok\", value }),\n        (error: unknown) => settle(failed(error)),\n      );\n    });\n  };\n\n  const send = async <T>(command: string, args: ReadonlyArray<string | number> = [], sendOptions: SendOptions = {}): Promise<Sent<T>> => {\n    const { signal } = sendOptions;\n    const operation = sendOptions.reissue === false ? undefined : operations[commandName(command, args)];\n    const started = clock.now();\n    const first = await attempt(command, args, signal);\n    if (first.outcome === \"ok\") return { outcome: \"ok\", value: first.value as T, attempts: 1 };\n    // a reply of the server is final, and an operation that the table does not name is never sent again\n    const again =\n      !(first.outcome === \"error\" && first.reply) &&\n      operation !== undefined &&\n      signal?.aborted !== true &&\n      mayReissue(operation, quantity((clock.now() - started) / 1000, \"s\"));\n    const left = requestTimeout - (clock.now() - started);\n    if (!again || left <= 0 || !(await waitReady(left, signal))) return { ...first, attempts: 1 };\n    record(status, status, \"command.reissue\", commandName(command, args));\n    // the second attempt ends at the bound of the request, not one command timeout after it starts\n    const bound = new AbortController();\n    const end = clock.after(Math.max(0, requestTimeout - (clock.now() - started)), () => bound.abort());\n    const forward = (): void => bound.abort();\n    signal?.addEventListener(\"abort\", forward, { once: true });\n    const second = await attempt(command, args, bound.signal);\n    end();\n    signal?.removeEventListener(\"abort\", forward);\n    return second.outcome === \"ok\" ? { outcome: \"ok\", value: second.value as T, attempts: 2 } : { ...second, attempts: 2 };\n  };\n\n  // the watchdog: a heartbeat of PINGs on the connection of the application, each interval from the\n  // start of the one before. A reply, an error reply too, is an answer. It waits one turn of the\n  // event loop before it counts a miss, thus a slow loop is not a silent server. It acts only on a\n  // ready connection, thus it never closes a connection in the middle of a new attempt\n  let watchdog: Heartbeat | null = null;\n  const startWatchdog = (): Heartbeat =>\n    heartbeat({\n      interval: ms(knobs.heartbeat_interval),\n      timeout: ms(knobs.heartbeat_timeout),\n      misses: spec.heartbeatMisses,\n      clock,\n      turn,\n      // a PING starts at each tick, also while an earlier PING waits\n      overlap: true,\n      due: () => {\n        const c = connection;\n        if (c === null || closing) return false;\n        if (c.status === \"end\") {\n          // the retry window ended: the watchdog starts the client again\n          record(status, status, \"watchdog.revive\");\n          retrySince = null;\n          c.connect().catch(() => {});\n          return false;\n        }\n        return c.status === \"ready\";\n      },\n      ping: (signal) =>\n        attempt(\"PING\", [], signal).then((result) => result.outcome === \"ok\" || (result.outcome === \"error\" && result.reply)),\n      live: () => connection?.status === \"ready\" && !closing,\n      onMiss: (misses) => record(status, status, \"watchdog.miss\", `${misses} of ${spec.heartbeatMisses}`),\n      onDead: () => {\n        record(status, status, \"watchdog.reconnect\");\n        connection?.disconnect(true);\n      },\n    });\n\n  const handle: DependencyHandle = {\n    async connect(signal) {\n      closing = false;\n      const c = await create(connectionOptions);\n      connection = c;\n      watch(c);\n      if (signal.aborted) throw new Error(`${name}: the service stopped before the connect`);\n      // a server that is down at the start does not stop the startup: the client connects again in\n      // the background, and its checks keep readiness tripped until it is ready (readiness is earned)\n      await c.connect().catch((error: unknown) => record(status, status, \"connect.failed\", message(error)));\n      watchdog?.stop();\n      watchdog = startWatchdog();\n    },\n    async close() {\n      closing = true;\n      watchdog?.stop();\n      watchdog = null;\n      const c = connection;\n      if (c === null) return;\n      // a QUIT lets the replies in flight arrive. A silent server never answers it, thus the close has its bound\n      const quit = c.quit().then(\n        () => \"quit\" as const,\n        () => \"quit\" as const,\n      );\n      let cancel: Cancel = () => {};\n      const bound = new Promise<\"bound\">((resolve) => {\n        cancel = clock.after(ms(knobs.close_bound), () => resolve(\"bound\"));\n      });\n      const startedClose = clock.now();\n      const first = await Promise.race([quit, bound]);\n      cancel();\n      if (first === \"bound\") record(status, status, \"close.bound\");\n      // a client that is not ready refuses the QUIT at once, and it would connect again: the close stops it\n      if (c.status !== \"end\") c.disconnect(false);\n      // ioredis is at `end` when its socket closes, a moment after the reply: the close waits for it, in its bound\n      const ended = (within: number): Promise<void> =>\n        c.status === \"end\"\n          ? Promise.resolve()\n          : new Promise<void>((resolve) => {\n              let stop: Cancel = () => {};\n              const end = (): void => {\n                c.off(\"end\", end);\n                stop();\n                resolve();\n              };\n              c.on(\"end\", end);\n              stop = clock.after(Math.max(0, within), end);\n            });\n      await ended(ms(knobs.close_bound) - (clock.now() - startedClose));\n      // a disconnect only half-closes the socket, and a silent server never closes its half: the bound destroys it\n      if (c.status !== \"end\") {\n        record(status, status, \"close.destroy\");\n        c.stream?.destroy?.();\n        await ended(0);\n      }\n      for (const [event, listener] of listeners) c.off(event, listener);\n      listeners.length = 0;\n      for (const settle of [...inFlight]) settle({ outcome: \"indeterminate\", error: \"the client closed with the command in flight\" });\n      status = \"end\";\n    },\n  };\n\n  const declaration: Omit<Dependency, \"name\"> = {\n    system: spec.system,\n    knobs: {\n      connect_bound: knobs.connect_bound,\n      request_timeout: knobs.request_timeout,\n      driver_writeoff_time: knobs.driver_writeoff_time,\n      keepalive_idle: knobs.keepalive_idle,\n      heartbeat_interval: knobs.heartbeat_interval,\n      heartbeat_timeout: knobs.heartbeat_timeout,\n      heartbeat_detection_time: detection,\n      client_retry_window: knobs.client_retry_window,\n      retry_base: knobs.retry_base,\n      retry_cap: knobs.retry_cap,\n      close_bound: knobs.close_bound,\n      max_connection_age: knobs.max_connection_age,\n      retrans_giveup_time: knobs.retrans_giveup_time,\n    },\n    operations,\n  };\n\n  const checks = (checkOptions: CheckOptions): ReadonlyArray<readonly [Check, CheckFn]> => {\n    const made: Array<readonly [Check, CheckFn]> = [];\n    const declare = (step: ClientStep, ownConnection: boolean, run: CheckFn): void => {\n      if (!(step in checkOptions.steps)) return;\n      made.push([\n        { name: `${name}.${step}`, dependency: name, step, ownConnection, gates: checkOptions.steps[step] ?? null, poll: checkOptions.poll },\n        run,\n      ]);\n    };\n    // the state of the client, without a round trip\n    declare(\"local-state\", true, () => (connection?.status === \"ready\" ? \"ok\" : \"error\"));\n    // a PING on the connection of the application: blind to nothing that the application meets\n    declare(\"round-trip\", true, async (signal): Promise<Outcome> => {\n      // a check measures the step now: it does not wait for a new connection, and it sends nothing again\n      const result = await send(\"PING\", [], { signal, reissue: false });\n      return result.outcome === \"ok\" ? \"ok\" : \"error\";\n    });\n    // a new connection each time: it finds a server that refuses connections, but not a stalled connection of the application\n    declare(\"dial\", false, async (signal): Promise<Outcome> => {\n      await dial(spec.host, spec.port, signal);\n      return \"ok\";\n    });\n    return made;\n  };\n\n  return {\n    name,\n    declaration,\n    handle,\n    meets: meetings(name, knobs, detection),\n    get status() {\n      return connection === null ? \"none\" : connection.status;\n    },\n    joins,\n    send,\n    checks,\n    attach(svc, checkOptions) {\n      svc.dependency(name, declaration, handle);\n      for (const [check, run] of checks(checkOptions)) svc.check(check, run);\n      return svc;\n    },\n    problems(description) {\n      const found: string[] = [];\n      const teardown = description.shutdown.phases.find((phase) => phase.name === \"tear down dependencies\");\n      if (teardown === undefined) found.push(`${name} needs the phase \"tear down dependencies\" to close`);\n      else if (ms(knobs.close_bound) >= valueIn(teardown.cap, \"ms\"))\n        found.push(`${name}'s close_bound of ${ms(knobs.close_bound)} ms does not fit in the cap of \"tear down dependencies\"`);\n      for (const check of description.checks) {\n        if (check.dependency !== name) continue;\n        const slowest = valueIn(check.poll.timeout, \"ms\");\n        if (check.step === \"round-trip\" && requestTimeout > slowest + valueIn(check.poll.interval, \"ms\") * (1 + check.poll.jitter))\n          found.push(`${name}'s request_timeout outlives one jittered poll of ${check.name} (B7, O13)`);\n      }\n      return found;\n    },\n  };\n};\n","import type { Machine, TransitionDef } from \"@mark1russell7/algebra\";\n\nconst t = (id: string, from: string | readonly string[], on: string | readonly string[], to: string, extra: Partial<TransitionDef> = {}): TransitionDef => ({\n  id,\n  from,\n  on,\n  to,\n  ...extra,\n});\nconst knob = (key: string) => ({ key, scope: \"client\", unit: \"s\", default: null }) as const;\n\n/** The states where the connection exists or tries to exist, thus where it can close. */\nconst LIVE = [\"connecting\", \"connect\", \"ready\", \"reconnecting\"] as const;\nconst ANY = [\"none\", \"connecting\", \"connect\", \"ready\", \"close\", \"reconnecting\", \"end\"] as const;\n\n/**\n * The Redis client as a `mark1russell7.machine/1` document. Its states are the states of ioredis.\n * The wrapper adds its own events: the join at each `ready`, and the misses of its watchdog. It also\n * adds a command that it sends again, and the bound of its close. A test records the transitions of the\n * client and replays them against this document.\n *\n * The state `ready` hides states that the client cannot see (D4). In a black hole, ioredis stays\n * `ready` while the kernel retransmits, until `driver_writeoff_time` or the watchdog ends that\n * hidden interval. A timer of this document bounds each hidden interval.\n */\nexport const REDIS_CLIENT_MACHINE: Machine = {\n  format: \"mark1russell7.machine/1\",\n  id: \"service.machine.redis-client\",\n  title: \"The Redis client of the service, over ioredis 6\",\n  layer: \"driver\",\n  version: \"0.2.0\",\n  sources: [{ ref: \"packages/service/src/redis (the client implements this document)\", rung: \"implemented\" }],\n  states: {\n    none: { initial: true, note: \"the client exists, and its connection does not\" },\n    connecting: { note: \"a TCP connection attempt\" },\n    connect: { note: \"the handshake: HELLO, then the ready check (INFO)\" },\n    ready: { note: \"it can hide a black hole or a frozen server, until a timer of the client ends it\" },\n    close: { note: \"the socket closed. Each command in flight settles as indeterminate\" },\n    reconnecting: { note: \"the delay of the retry strategy, which doubles to its cap\" },\n    end: { note: \"the retry window ended, or the service closed the client. The watchdog starts it again\" },\n  },\n  events: {\n    \"status.connecting\": { kind: \"local\" },\n    \"status.connect\": { kind: \"rx\" },\n    \"status.ready\": { kind: \"rx\" },\n    \"status.close\": { kind: \"rx\" },\n    \"status.reconnecting\": { kind: \"timer\" },\n    \"status.end\": { kind: \"local\" },\n    join: { kind: \"rx\", note: \"the reply of CLIENT ID at ready (D1)\" },\n    error: { kind: \"rx\" },\n    \"connect.failed\": { kind: \"local\" },\n    \"command.written\": { kind: \"tx\" },\n    \"command.reissue\": { kind: \"local\" },\n    data: { kind: \"rx\" },\n    heartbeat: { kind: \"timer\" },\n    \"watchdog.miss\": { kind: \"local\" },\n    \"watchdog.reconnect\": { kind: \"local\" },\n    \"watchdog.revive\": { kind: \"local\" },\n    \"retry.window-ended\": { kind: \"local\" },\n    \"close.request\": { kind: \"local\" },\n    \"close.bound\": { kind: \"timer\" },\n    \"close.destroy\": { kind: \"local\", note: \"the bound destroys a socket that a silent server does not close\" },\n  },\n  knobs: {\n    connect_bound: knob(\"connectTimeout\"),\n    driver_writeoff_time: knob(\"socketTimeout\"),\n    heartbeat_interval: knob(\"watchdog.interval\"),\n    close_bound: knob(\"close.bound\"),\n  },\n  timers: {\n    connect_timeout: {\n      duration: { knob: \"connect_bound\", unit: \"s\" },\n      arms: [\"enter:connecting\"],\n      cancels: [\"status.connect\", \"status.close\"],\n      fires: \"status.close\",\n      note: \"ioredis destroys the attempt\",\n    },\n    writeoff: {\n      duration: { knob: \"driver_writeoff_time\", unit: \"s\" },\n      arms: [\"command.written\"],\n      cancels: [\"data\", \"status.close\"],\n      fires: \"status.close\",\n      note: \"ioredis destroys a socket that gives no data while a command waits: it ends the hidden interval of a black hole\",\n    },\n    heartbeat: {\n      duration: { knob: \"heartbeat_interval\", unit: \"s\" },\n      arms: [\"enter:ready\", \"heartbeat\"],\n      cancels: [\"status.close\", \"status.end\"],\n      fires: \"heartbeat\",\n      note: \"a PING on the connection of the application\",\n    },\n    close: {\n      duration: { knob: \"close_bound\", unit: \"s\" },\n      arms: [\"close.request\"],\n      cancels: [\"status.end\"],\n      fires: \"close.bound\",\n    },\n  },\n  transitions: [\n    t(\"connect\", [\"none\", \"reconnecting\", \"end\", \"close\"], \"status.connecting\", \"connecting\"),\n    t(\"tcp\", \"connecting\", \"status.connect\", \"connect\"),\n    t(\"ready\", \"connect\", \"status.ready\", \"ready\"),\n    t(\"close\", [...LIVE], \"status.close\", \"close\"),\n    t(\"retry\", \"close\", \"status.reconnecting\", \"reconnecting\"),\n    t(\"end\", [...LIVE, \"close\"], \"status.end\", \"end\"),\n    t(\"join\", \"ready\", \"join\", \"ready\"),\n    t(\"miss\", \"ready\", \"watchdog.miss\", \"ready\"),\n    t(\"watchdog-reconnect\", \"ready\", \"watchdog.reconnect\", \"ready\"),\n    t(\"revive\", \"end\", \"watchdog.revive\", \"end\"),\n    // the retry strategy answers in `close`, before ioredis moves to `reconnecting` or `end`\n    t(\"window-ended\", \"close\", \"retry.window-ended\", \"close\"),\n    ...ANY.map((state) => t(`error-${state}`, state, \"error\", state)),\n    ...ANY.map((state) => t(`connect-failed-${state}`, state, \"connect.failed\", state)),\n    ...ANY.map((state) => t(`reissue-${state}`, state, \"command.reissue\", state)),\n    ...ANY.map((state) => t(`close-bound-${state}`, state, \"close.bound\", state, { timer: \"close\" })),\n    ...ANY.map((state) => t(`close-destroy-${state}`, state, \"close.destroy\", state)),\n  ],\n};\n"],"mappings":";;;;;;;;;;;;AAkEA,MAAa,UAA6B,OAAO,YAAY;CAI3D,OAAO,KAAI,OAHW,OAAO,YAAA,CAGX,QAAQ,OAAO;AACnC;;;ACzCA,MAAM,QAAgB;CAAE,OAAO;CAAY,MAAM;AAAI;AACrD,MAAM,KAAK,UAA4B,SAAS,KAAK,MAAM,QAAQ,GAAG,IAAI,KAAK,GAAG;AAClF,MAAM,WAAW,WACf,OAAO,UAAU,aAAa,OAAO,oBAAoB,QAAQ,QAAoB,GAAG;AAC1F,MAAM,QAAQ,QAAgB,SAC5B,OAAO,UAAU,aAAa,QAAQ,EAAE,QAAQ,MAAM,IAAI,IAAI;;;;;;;AAYhE,MAAa,YAAY,MAAc,OAAmB,cAAiC;CACzF,MAAM,YAAY,KAAK,MAAM,gBAAgB,EAA2B;CACxE,MAAM,YAAY,eAAoC;EACpD,IAAI;EACJ,QAAQ;EACR;EACA,QAAQ,mBAAmB,KAAK;CAClC;CACA,MAAM,WAAqB;EACzB,IAAI;EACJ,QAAQ,MAAM;EACd,WAAW;EACX,QAAQ;CACV;CACA,MAAM,UAAoB;EACxB,IAAI;EACJ,QAAQ,MAAM;EACd,WAAW;EACX,QAAQ;CACV;CACA,MAAM,SAAmB;EACvB,IAAI;EACJ,QAAQ,MAAM;EACd,WAAW;EACX,QAAQ;CACV;CACA,MAAM,UAAU,eAAuB,UAA2B;EAChE;EACA;EACA,WAAW;GACT;GACA;GACA,SAAS,WAAW;GACpB;GACA,SAAS,MAAM;GACf;IAAE,IAAI;IAAkB,QAAQ;IAAW,WAAW;IAAQ,QAAQ;GAAgD;EACxH;CACF;CACA,MAAM,gBAAgB,eAAuB,UAA2B;EACtE;EACA;EACA,WAAW;GACT;GACA;GACA,SAAS,WAAW;GACpB,SAAS,MAAM;GACf;IAAE,IAAI;IAAkB,QAAQ;IAAO,WAAW;IAAQ,QAAQ;GAA8C;EAClH;CACF;CACA,MAAM,aAAa,WAAsB,YAA8B;EAAE,IAAI;EAAoB,QAAQ,EAAE,CAAC;EAAG;EAAW;CAAO;CACjI,OAAO;EACL;GACE,eAAe;GACf,MAAM;GACN,WAAW;IACT,UAAU,aAAa,+EAA+E;IACtG,SAAS,MAAM;IACf;KAAE,IAAI;KAAkB,QAAQ,UAAU,UAAU,aAAa,QAAQ,MAAM;KAAgB,WAAW;KAAQ,QAAQ;IAA+B;GAC3J;EACF;EACA;GACE,eAAe;GACf,MAAM;GACN,WAAW,CAAC,UAAU,aAAa,0CAA0C,GAAG,UAAU,QAAQ,mBAAmB,CAAC;EACxH;EACA,OAAO,aAAa,sDAAsD;EAC1E,OAAO,eAAe,0EAA0E;EAChG,aAAa,kBAAkB,0DAA0D;EACzF,aAAa,aAAa,8FAA8F;CAC1H;AACF;;AAGA,MAAa,iBAAiB,SAAkB,cAA0C;CAIxF,OAHe,QAAQ,UACpB,QAAQ,aAAa,SAAS,cAAc,aAAa,SAAS,OAAO,UAAU,UAAU,CAAC,CAC9F,MAAM,GAAG,MAAM,QAAQ,EAAE,MAAM,IAAI,QAAQ,EAAE,MAAM,CAC1C,CAAC,CAAC,MAAM;AACtB;;AAGA,MAAa,aAAa,UACxB,MAAM,SAAS,YACZ,CAAC,aAAa,MAAM,CAAC,CAAW,SAAS,cACxC,cAAc,SAAS,SAAS,MAAM,OAAO,CAAC;CAAE,eAAe,QAAQ;CAAe;AAAU,CAAC,IAAI,CAAC,CACxG,CACF;;;;;;;;;AC7HF,MAAM,cAAc;CAElB;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CAEA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF;;;;;AAMA,MAAM,SAAS;CACb;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF;;AAGA,MAAa,mBAAwD,OAAO,YAAY,CACtF,GAAG,YAAY,KAAK,YAAY,CAAC,SAAS,EAAE,YAAY,KAAK,CAAC,CAAU,GACxE,GAAG,OAAO,KAAK,YAAY,CAAC,SAAS,EAAE,YAAY,MAAM,CAAC,CAAU,CACtE,CAAC;;AAGD,MAAa,eAAe,SAAiB,SAAqC;CAChF,MAAM,OAAO,QAAQ,YAAY;CACjC,KAAK,SAAS,YAAY,SAAS,YAAY,SAAS,YAAY,OAAO,KAAK,OAAO,UACrF,OAAO,GAAG,KAAK,GAAG,KAAK,EAAE,CAAC,YAAY;CACxC,OAAO;AACT;;;ACqDA,MAAM,MAAM,WACV,OAAO,UAAU,aAAa,OAAO,oBAAoB,QAAQ,QAAoB,IAAI;AAC3F,MAAM,UAAU,WAAuC;CACrD,MAAM,QAAQ,GAAG,MAAM;CACvB,OAAO,OAAO,SAAS,KAAK,IAAI,QAAQ,KAAA;AAC1C;AACA,MAAM,WAAW,UAA4B,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK;;;;;AAMlG,MAAa,gBAAgB,WAAgC;CAC3D,MAAM,GAAG,MAAM,UAAU;CACzB,QAAQ;CACR,KAAK,GAAG,MAAM,SAAS;CACvB,QAAQ;EAAE,MAAM;EAAO,QAAQ,GAAG,MAAM,UAAU;CAAE;AACtD;;AAGA,MAAa,gBAAgB,MAAc,SAAoC;CAC7E,MAAM,WAAqB,CAAC;CAC5B,MAAM,EAAE,UAAU;CAClB,IAAI,CAAC,OAAO,UAAU,KAAK,eAAe,KAAK,KAAK,kBAAkB,GACpE,SAAS,KAAK,GAAG,KAAK,0CAA0C,KAAK,gBAAgB,uCAAuC;CAC9H,IAAI,MAAM,mBAAmB,UAAU,YACrC,SAAS,KAAK,GAAG,KAAK,gFAAgF;CACxG,KAAK,MAAM,CAAC,MAAM,WAAW,OAAO,QAAQ,KAAK,GAC/C,IAAI,OAAO,UAAU,cAAc,EAAE,GAAG,MAAM,KAAK,IACjD,SAAS,KAAK,GAAG,KAAK,KAAK,KAAK,+BAA+B;CAEnE,IAAI,GAAG,MAAM,eAAe,KAAK,GAAG,SAAS,KAAK,GAAG,KAAK,qEAAqE;CAC/H,IAAI,GAAG,MAAM,iBAAiB,KAAK,GAAG,SAAS,KAAK,GAAG,KAAK,uCAAuC;CACnG,IAAI,GAAG,MAAM,SAAS,IAAI,GAAG,MAAM,UAAU,GAAG,SAAS,KAAK,GAAG,KAAK,qCAAqC;CAC3G,OAAO;AACT;;AAGA,MAAa,WAAmB,MAAM,MAAM,WAC1C,IAAI,SAAS,SAAS,WAAW;CAC/B,IAAI,OAAO,SAAS;EAClB,uBAAO,IAAI,MAAM,sBAAsB,CAAC;EACxC;CACF;CACA,MAAM,SAASA,QAAQ;EAAE;EAAM;CAAK,CAAC;CACrC,IAAI,QAAQ;CACZ,MAAM,OAAO,UAAwB;EACnC,OAAO,oBAAoB,SAAS,OAAO;EAC3C,OAAO,QAAQ;EACf,IAAI,UAAU,KAAA,GAAW,QAAQ;OAC5B,OAAO,KAAK;CACnB;CACA,MAAM,gBAAsB,oBAAI,IAAI,MAAM,sBAAsB,CAAC;CACjE,OAAO,iBAAiB,SAAS,SAAS,EAAE,MAAM,KAAK,CAAC;CACxD,OAAO,KAAK,iBAAiB,OAAO,MAAM,UAAU,CAAC;CACrD,OAAO,GAAG,SAAS,UAAU;EAC3B,SAAS,MAAM,SAAS;EACxB,IAAI,MAAM,SAAS,MAAM,GAAG,IAAI,MAAM,WAAW,OAAO,IAAI,KAAA,oBAAY,IAAI,MAAM,iBAAiB,MAAM,KAAK,GAAG,CAAC;CACpH,CAAC;CACD,OAAO,KAAK,UAAU,UAAU,IAAI,KAAK,CAAC;CAC1C,OAAO,KAAK,eAAe,oBAAI,IAAI,MAAM,4BAA4B,CAAC,CAAC;AACzE,CAAC;;;;;;;;;;;AAYH,MAAa,eAAe,MAAc,MAAuB,UAA8B,CAAC,MAAmB;CACjH,MAAM,WAAW,aAAa,MAAM,IAAI;CACxC,IAAI,SAAS,SAAS,GAAG,MAAM,IAAI,MAAM,SAAS,KAAK,IAAI,CAAC;CAC5D,MAAM,EAAE,UAAU;CAClB,MAAM,QAAQ,QAAQ,SAAS;CAC/B,MAAM,SAAS,QAAQ,UAAU,KAAK;CACtC,MAAM,SAAS,QAAQ,UAAU;CACjC,MAAM,OAAO,QAAQ,QAAQ;CAC7B,MAAM,OAAO,QAAQ,eAAe,IAAI,SAAe,YAAY,aAAa,OAAO,CAAC;CACxF,MAAM,aAAkD;EAAE,GAAG;EAAkB,GAAG,KAAK;CAAW;CAClG,MAAM,iBAAiB,GAAG,MAAM,eAAe;CAC/C,MAAM,YAAY,mBAAmB,MAAM,oBAAoB,MAAM,mBAAmB,KAAK,eAAe;CAC5G,MAAM,UAAU,aAAa,KAAK;CAElC,IAAI,aAAqC;CACzC,IAAI,SAAS;CACb,IAAI,UAAU;CACd,MAAM,QAAgB,CAAC;CAEvB,MAAM,2BAAW,IAAI,IAAgC;CACrD,MAAM,+BAAe,IAAI,IAAgB;CACzC,MAAM,YAA2D,CAAC;CAElE,MAAM,UAAU,MAAc,IAAY,IAAY,WACpD,QAAQ,SAAS;EAAE,IAAI,MAAM,IAAI;EAAG,SAAS;EAAU,UAAU;EAAM;EAAM;EAAI;EAAI,GAAI,WAAW,KAAA,IAAY,CAAC,IAAI,EAAE,OAAO;CAAG,CAAC;CAIpI,IAAI,aAA4B;CAChC,MAAM,iBAAiB,UAAiC;EACtD,MAAM,MAAM,MAAM,IAAI;EACtB,eAAe;EACf,IAAI,MAAM,aAAa,GAAG,MAAM,mBAAmB,GAAG;GACpD,OAAO,QAAQ,QAAQ,oBAAoB;GAC3C,OAAO;EACT;EACA,OAAO,KAAK,MAAM,aAAa,SAAS,OAAO,MAAM,CAAC;CACxD;CAEA,MAAM,oBAA4C;EAChD,MAAM,KAAK;EACX,MAAM,KAAK;EACX,GAAI,KAAK,OAAO,KAAA,IAAY,CAAC,IAAI,EAAE,IAAI,KAAK,GAAG;EAC/C,GAAI,KAAK,aAAa,KAAA,IAAY,CAAC,IAAI,EAAE,UAAU,KAAK,SAAS;EACjE,GAAI,KAAK,aAAa,KAAA,IAAY,CAAC,IAAI,EAAE,UAAU,KAAK,SAAS;EACjE,aAAa;EACb,gBAAgB,GAAG,MAAM,aAAa;EACtC,gBAAgB;EAChB,eAAe,OAAO,MAAM,oBAAoB;EAChD,WAAW,OAAO,MAAM,cAAc,KAAK;EAC3C,oBAAoB;EACpB,+BAA+B;EAC/B,sBAAsB;EACtB,kBAAkB;EAClB,gBAAgB;EAChB;CACF;;CAGA,MAAM,UAAU,UAA4B;EAC1C,MAAM,OAAO,QAAQ,KAAK;EAC1B,IAAI,iBAAiB,SAAS,MAAM,SAAS,cAAc,OAAO;GAAE,SAAS;GAAS,OAAO;GAAM,OAAO;EAAK;EAC/G,IAAI,sCAAsC,KAAK,IAAI,GAAG,OAAO;GAAE,SAAS;GAAS,OAAO;GAAM,OAAO;EAAM;EAC3G,OAAO;GAAE,SAAS;GAAiB,OAAO;EAAK;CACjD;CAEA,MAAM,UAAU,YAA2B;EACzC,aAAa;EACb,MAAM,IAAI;EACV,IAAI,MAAM,MAAM;EAChB,MAAM,aAAa,MAAM,SAAS;EAClC,MAAM,KAAK,MAAM,IAAI;EACrB,MAAM,SAAS,EAAE;EACjB,IAAI,WAA0B;EAC9B,IAAI;GACF,MAAM,QAAQ,MAAM,EAAE,KAAK,UAAU,IAAI;GACzC,WAAW,OAAO,UAAU,WAAW,QAAQ,OAAO,KAAK;GAC3D,IAAI,CAAC,OAAO,SAAS,QAAQ,GAAG,WAAW;EAC7C,QAAQ;GACN,WAAW;EACb;EAEA,IAAI,eAAe,KAAK,EAAE,WAAW,SAAS;EAC9C,MAAM,KAAK;GACT;GACA;GACA;GACA,cAAc,QAAQ,gBAAgB;GACtC,WAAW,QAAQ,aAAa;GAChC,eAAe,QAAQ,iBAAiB;GACxC,YAAY,QAAQ,cAAc;EACpC,CAAC;EACD,OAAO,SAAS,SAAS,QAAQ,cAAc,WAAW,cAAc,YAAY,WAAW;EAC/F,KAAK,MAAM,QAAQ,CAAC,GAAG,YAAY,GAAG,KAAK;CAC7C;CAEA,MAAM,YAAY,aAA2B;EAC3C,MAAM,OAAO;EACb,SAAS;EACT,OAAO,MAAM,IAAI,UAAU,IAAI;EAC/B,IAAI,OAAO,WAAW,OAAO,OAE3B,KAAK,MAAM,UAAU,CAAC,GAAG,QAAQ,GAAG,OAAO;GAAE,SAAS;GAAiB,OAAO,qDAAqD,KAAK;EAAG,CAAC;EAE9I,IAAI,OAAO,SAAS,QAAa;CACnC;CAEA,MAAM,SAAS,MAA6B;EAC1C,KAAK,MAAM,SAAS;GAAC;GAAc;GAAW;GAAS;GAAS;GAAgB;EAAK,GAAG;GACtF,MAAM,WAAW,SAAS,KAAK;GAC/B,EAAE,GAAG,OAAO,QAAQ;GACpB,UAAU,KAAK,CAAC,OAAO,QAAQ,CAAC;EAClC;EAEA,MAAM,WAAW,UAAyB,OAAO,QAAQ,QAAQ,SAAS,QAAQ,KAAK,CAAC;EACxF,EAAE,GAAG,SAAS,OAAO;EACrB,UAAU,KAAK,CAAC,SAAS,OAAO,CAAC;CACnC;;CAGA,MAAM,aAAa,QAAgB,WACjC,IAAI,SAAS,YAAY;EACvB,IAAI,YAAY,WAAW,SAAS;GAClC,QAAQ,IAAI;GACZ;EACF;EACA,IAAI,eAAuB,CAAC;EAC5B,MAAM,QAAQ,UAAyB;GACrC,aAAa,OAAO,IAAI;GACxB,OAAO;GACP,QAAQ,oBAAoB,SAAS,OAAO;GAC5C,QAAQ,KAAK;EACf;EACA,MAAM,aAAmB,KAAK,IAAI;EAClC,MAAM,gBAAsB,KAAK,KAAK;EACtC,aAAa,IAAI,IAAI;EACrB,SAAS,MAAM,MAAM,cAAc,KAAK,YAAY,WAAW,OAAO,CAAC;EACvE,QAAQ,iBAAiB,SAAS,SAAS,EAAE,MAAM,KAAK,CAAC;CAC3D,CAAC;CAEH,MAAM,WAAW,SAAiB,MAAsC,WAA2C;EACjH,MAAM,IAAI;EACV,IAAI,MAAM,MAAM,OAAO,QAAQ,QAAQ;GAAE,SAAS;GAAS,OAAO,GAAG,KAAK;GAAqB,OAAO;EAAM,CAAC;EAC7G,IAAI,EAAE,WAAW,SAAS,OAAO,QAAQ,QAAQ;GAAE,SAAS;GAAS,OAAO,GAAG,KAAK,MAAM,EAAE,OAAO;GAAoD,OAAO;EAAM,CAAC;EACrK,IAAI,QAAQ,SAAS,OAAO,QAAQ,QAAQ;GAAE,SAAS;GAAS,OAAO;GAA4D,OAAO;EAAM,CAAC;EACjJ,OAAO,IAAI,SAAkB,YAAY;GACvC,IAAI,UAAU;GACd,MAAM,UAAU,UAAyB;IACvC,IAAI,SAAS;IACb,UAAU;IACV,SAAS,OAAO,MAAM;IACtB,QAAQ,oBAAoB,SAAS,OAAO;IAC5C,QAAQ,KAAK;GACf;GAEA,MAAM,gBAAsB,OAAO;IAAE,SAAS;IAAiB,OAAO;GAAqD,CAAC;GAC5H,SAAS,IAAI,MAAM;GACnB,QAAQ,iBAAiB,SAAS,SAAS,EAAE,MAAM,KAAK,CAAC;GACzD,EAAE,KAAK,SAAS,GAAG,IAAI,CAAC,CAAC,MACtB,UAAU,OAAO;IAAE,SAAS;IAAM;GAAM,CAAC,IACzC,UAAmB,OAAO,OAAO,KAAK,CAAC,CAC1C;EACF,CAAC;CACH;CAEA,MAAM,OAAO,OAAU,SAAiB,OAAuC,CAAC,GAAG,cAA2B,CAAC,MAAwB;EACrI,MAAM,EAAE,WAAW;EACnB,MAAM,YAAY,YAAY,YAAY,QAAQ,KAAA,IAAY,WAAW,YAAY,SAAS,IAAI;EAClG,MAAM,UAAU,MAAM,IAAI;EAC1B,MAAM,QAAQ,MAAM,QAAQ,SAAS,MAAM,MAAM;EACjD,IAAI,MAAM,YAAY,MAAM,OAAO;GAAE,SAAS;GAAM,OAAO,MAAM;GAAY,UAAU;EAAE;EAEzF,MAAM,QACJ,EAAE,MAAM,YAAY,WAAW,MAAM,UACrC,cAAc,KAAA,KACd,QAAQ,YAAY,QACpB,WAAW,WAAW,UAAU,MAAM,IAAI,IAAI,WAAW,KAAM,GAAG,CAAC;EACrE,MAAM,OAAO,kBAAkB,MAAM,IAAI,IAAI;EAC7C,IAAI,CAAC,SAAS,QAAQ,KAAK,CAAE,MAAM,UAAU,MAAM,MAAM,GAAI,OAAO;GAAE,GAAG;GAAO,UAAU;EAAE;EAC5F,OAAO,QAAQ,QAAQ,mBAAmB,YAAY,SAAS,IAAI,CAAC;EAEpE,MAAM,QAAQ,IAAI,gBAAgB;EAClC,MAAM,MAAM,MAAM,MAAM,KAAK,IAAI,GAAG,kBAAkB,MAAM,IAAI,IAAI,QAAQ,SAAS,MAAM,MAAM,CAAC;EAClG,MAAM,gBAAsB,MAAM,MAAM;EACxC,QAAQ,iBAAiB,SAAS,SAAS,EAAE,MAAM,KAAK,CAAC;EACzD,MAAM,SAAS,MAAM,QAAQ,SAAS,MAAM,MAAM,MAAM;EACxD,IAAI;EACJ,QAAQ,oBAAoB,SAAS,OAAO;EAC5C,OAAO,OAAO,YAAY,OAAO;GAAE,SAAS;GAAM,OAAO,OAAO;GAAY,UAAU;EAAE,IAAI;GAAE,GAAG;GAAQ,UAAU;EAAE;CACvH;CAMA,IAAI,WAA6B;CACjC,MAAM,sBACJ,UAAU;EACR,UAAU,GAAG,MAAM,kBAAkB;EACrC,SAAS,GAAG,MAAM,iBAAiB;EACnC,QAAQ,KAAK;EACb;EACA;EAEA,SAAS;EACT,WAAW;GACT,MAAM,IAAI;GACV,IAAI,MAAM,QAAQ,SAAS,OAAO;GAClC,IAAI,EAAE,WAAW,OAAO;IAEtB,OAAO,QAAQ,QAAQ,iBAAiB;IACxC,aAAa;IACb,EAAE,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC;IAC1B,OAAO;GACT;GACA,OAAO,EAAE,WAAW;EACtB;EACA,OAAO,WACL,QAAQ,QAAQ,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,WAAW,OAAO,YAAY,QAAS,OAAO,YAAY,WAAW,OAAO,KAAM;EACtH,YAAY,YAAY,WAAW,WAAW,CAAC;EAC/C,SAAS,WAAW,OAAO,QAAQ,QAAQ,iBAAiB,GAAG,OAAO,MAAM,KAAK,iBAAiB;EAClG,cAAc;GACZ,OAAO,QAAQ,QAAQ,oBAAoB;GAC3C,YAAY,WAAW,IAAI;EAC7B;CACF,CAAC;CAEH,MAAM,SAA2B;EAC/B,MAAM,QAAQ,QAAQ;GACpB,UAAU;GACV,MAAM,IAAI,MAAM,OAAO,iBAAiB;GACxC,aAAa;GACb,MAAM,CAAC;GACP,IAAI,OAAO,SAAS,MAAM,IAAI,MAAM,GAAG,KAAK,yCAAyC;GAGrF,MAAM,EAAE,QAAQ,CAAC,CAAC,OAAO,UAAmB,OAAO,QAAQ,QAAQ,kBAAkB,QAAQ,KAAK,CAAC,CAAC;GACpG,UAAU,KAAK;GACf,WAAW,cAAc;EAC3B;EACA,MAAM,QAAQ;GACZ,UAAU;GACV,UAAU,KAAK;GACf,WAAW;GACX,MAAM,IAAI;GACV,IAAI,MAAM,MAAM;GAEhB,MAAM,OAAO,EAAE,KAAK,CAAC,CAAC,WACd,cACA,MACR;GACA,IAAI,eAAuB,CAAC;GAC5B,MAAM,QAAQ,IAAI,SAAkB,YAAY;IAC9C,SAAS,MAAM,MAAM,GAAG,MAAM,WAAW,SAAS,QAAQ,OAAO,CAAC;GACpE,CAAC;GACD,MAAM,eAAe,MAAM,IAAI;GAC/B,MAAM,QAAQ,MAAM,QAAQ,KAAK,CAAC,MAAM,KAAK,CAAC;GAC9C,OAAO;GACP,IAAI,UAAU,SAAS,OAAO,QAAQ,QAAQ,aAAa;GAE3D,IAAI,EAAE,WAAW,OAAO,EAAE,WAAW,KAAK;GAE1C,MAAM,SAAS,WACb,EAAE,WAAW,QACT,QAAQ,QAAQ,IAChB,IAAI,SAAe,YAAY;IAC7B,IAAI,aAAqB,CAAC;IAC1B,MAAM,YAAkB;KACtB,EAAE,IAAI,OAAO,GAAG;KAChB,KAAK;KACL,QAAQ;IACV;IACA,EAAE,GAAG,OAAO,GAAG;IACf,OAAO,MAAM,MAAM,KAAK,IAAI,GAAG,MAAM,GAAG,GAAG;GAC7C,CAAC;GACP,MAAM,MAAM,GAAG,MAAM,WAAW,KAAK,MAAM,IAAI,IAAI,aAAa;GAEhE,IAAI,EAAE,WAAW,OAAO;IACtB,OAAO,QAAQ,QAAQ,eAAe;IACtC,EAAE,QAAQ,UAAU;IACpB,MAAM,MAAM,CAAC;GACf;GACA,KAAK,MAAM,CAAC,OAAO,aAAa,WAAW,EAAE,IAAI,OAAO,QAAQ;GAChE,UAAU,SAAS;GACnB,KAAK,MAAM,UAAU,CAAC,GAAG,QAAQ,GAAG,OAAO;IAAE,SAAS;IAAiB,OAAO;GAA+C,CAAC;GAC9H,SAAS;EACX;CACF;CAEA,MAAM,cAAwC;EAC5C,QAAQ,KAAK;EACb,OAAO;GACL,eAAe,MAAM;GACrB,iBAAiB,MAAM;GACvB,sBAAsB,MAAM;GAC5B,gBAAgB,MAAM;GACtB,oBAAoB,MAAM;GAC1B,mBAAmB,MAAM;GACzB,0BAA0B;GAC1B,qBAAqB,MAAM;GAC3B,YAAY,MAAM;GAClB,WAAW,MAAM;GACjB,aAAa,MAAM;GACnB,oBAAoB,MAAM;GAC1B,qBAAqB,MAAM;EAC7B;EACA;CACF;CAEA,MAAM,UAAU,iBAAyE;EACvF,MAAM,OAAyC,CAAC;EAChD,MAAM,WAAW,MAAkB,eAAwB,QAAuB;GAChF,IAAI,EAAE,QAAQ,aAAa,QAAQ;GACnC,KAAK,KAAK,CACR;IAAE,MAAM,GAAG,KAAK,GAAG;IAAQ,YAAY;IAAM;IAAM;IAAe,OAAO,aAAa,MAAM,SAAS;IAAM,MAAM,aAAa;GAAK,GACnI,GACF,CAAC;EACH;EAEA,QAAQ,eAAe,YAAa,YAAY,WAAW,UAAU,OAAO,OAAQ;EAEpF,QAAQ,cAAc,MAAM,OAAO,WAA6B;GAG9D,QAAO,MADc,KAAK,QAAQ,CAAC,GAAG;IAAE;IAAQ,SAAS;GAAM,CAAC,EAAA,CAClD,YAAY,OAAO,OAAO;EAC1C,CAAC;EAED,QAAQ,QAAQ,OAAO,OAAO,WAA6B;GACzD,MAAM,KAAK,KAAK,MAAM,KAAK,MAAM,MAAM;GACvC,OAAO;EACT,CAAC;EACD,OAAO;CACT;CAEA,OAAO;EACL;EACA;EACA;EACA,OAAO,SAAS,MAAM,OAAO,SAAS;EACtC,IAAI,SAAS;GACX,OAAO,eAAe,OAAO,SAAS,WAAW;EACnD;EACA;EACA;EACA;EACA,OAAO,KAAK,cAAc;GACxB,IAAI,WAAW,MAAM,aAAa,MAAM;GACxC,KAAK,MAAM,CAAC,OAAO,QAAQ,OAAO,YAAY,GAAG,IAAI,MAAM,OAAO,GAAG;GACrE,OAAO;EACT;EACA,SAAS,aAAa;GACpB,MAAM,QAAkB,CAAC;GACzB,MAAM,WAAW,YAAY,SAAS,OAAO,MAAM,UAAU,MAAM,SAAS,wBAAwB;GACpG,IAAI,aAAa,KAAA,GAAW,MAAM,KAAK,GAAG,KAAK,mDAAmD;QAC7F,IAAI,GAAG,MAAM,WAAW,KAAK,QAAQ,SAAS,KAAK,IAAI,GAC1D,MAAM,KAAK,GAAG,KAAK,oBAAoB,GAAG,MAAM,WAAW,EAAE,wDAAwD;GACvH,KAAK,MAAM,SAAS,YAAY,QAAQ;IACtC,IAAI,MAAM,eAAe,MAAM;IAC/B,MAAM,UAAU,QAAQ,MAAM,KAAK,SAAS,IAAI;IAChD,IAAI,MAAM,SAAS,gBAAgB,iBAAiB,UAAU,QAAQ,MAAM,KAAK,UAAU,IAAI,KAAK,IAAI,MAAM,KAAK,SACjH,MAAM,KAAK,GAAG,KAAK,mDAAmD,MAAM,KAAK,WAAW;GAChG;GACA,OAAO;EACT;CACF;AACF;;;ACjmBA,MAAM,KAAK,IAAY,MAAkC,IAAgC,IAAY,QAAgC,CAAC,OAAsB;CAC1J;CACA;CACA;CACA;CACA,GAAG;AACL;AACA,MAAM,QAAQ,SAAiB;CAAE;CAAK,OAAO;CAAU,MAAM;CAAK,SAAS;AAAK;;AAGhF,MAAM,OAAO;CAAC;CAAc;CAAW;CAAS;AAAc;AAC9D,MAAM,MAAM;CAAC;CAAQ;CAAc;CAAW;CAAS;CAAS;CAAgB;AAAK;;;;;;;;;;;AAYrF,MAAa,uBAAgC;CAC3C,QAAQ;CACR,IAAI;CACJ,OAAO;CACP,OAAO;CACP,SAAS;CACT,SAAS,CAAC;EAAE,KAAK;EAAoE,MAAM;CAAc,CAAC;CAC1G,QAAQ;EACN,MAAM;GAAE,SAAS;GAAM,MAAM;EAAiD;EAC9E,YAAY,EAAE,MAAM,2BAA2B;EAC/C,SAAS,EAAE,MAAM,oDAAoD;EACrE,OAAO,EAAE,MAAM,mFAAmF;EAClG,OAAO,EAAE,MAAM,qEAAqE;EACpF,cAAc,EAAE,MAAM,4DAA4D;EAClF,KAAK,EAAE,MAAM,yFAAyF;CACxG;CACA,QAAQ;EACN,qBAAqB,EAAE,MAAM,QAAQ;EACrC,kBAAkB,EAAE,MAAM,KAAK;EAC/B,gBAAgB,EAAE,MAAM,KAAK;EAC7B,gBAAgB,EAAE,MAAM,KAAK;EAC7B,uBAAuB,EAAE,MAAM,QAAQ;EACvC,cAAc,EAAE,MAAM,QAAQ;EAC9B,MAAM;GAAE,MAAM;GAAM,MAAM;EAAuC;EACjE,OAAO,EAAE,MAAM,KAAK;EACpB,kBAAkB,EAAE,MAAM,QAAQ;EAClC,mBAAmB,EAAE,MAAM,KAAK;EAChC,mBAAmB,EAAE,MAAM,QAAQ;EACnC,MAAM,EAAE,MAAM,KAAK;EACnB,WAAW,EAAE,MAAM,QAAQ;EAC3B,iBAAiB,EAAE,MAAM,QAAQ;EACjC,sBAAsB,EAAE,MAAM,QAAQ;EACtC,mBAAmB,EAAE,MAAM,QAAQ;EACnC,sBAAsB,EAAE,MAAM,QAAQ;EACtC,iBAAiB,EAAE,MAAM,QAAQ;EACjC,eAAe,EAAE,MAAM,QAAQ;EAC/B,iBAAiB;GAAE,MAAM;GAAS,MAAM;EAAkE;CAC5G;CACA,OAAO;EACL,eAAe,KAAK,gBAAgB;EACpC,sBAAsB,KAAK,eAAe;EAC1C,oBAAoB,KAAK,mBAAmB;EAC5C,aAAa,KAAK,aAAa;CACjC;CACA,QAAQ;EACN,iBAAiB;GACf,UAAU;IAAE,MAAM;IAAiB,MAAM;GAAI;GAC7C,MAAM,CAAC,kBAAkB;GACzB,SAAS,CAAC,kBAAkB,cAAc;GAC1C,OAAO;GACP,MAAM;EACR;EACA,UAAU;GACR,UAAU;IAAE,MAAM;IAAwB,MAAM;GAAI;GACpD,MAAM,CAAC,iBAAiB;GACxB,SAAS,CAAC,QAAQ,cAAc;GAChC,OAAO;GACP,MAAM;EACR;EACA,WAAW;GACT,UAAU;IAAE,MAAM;IAAsB,MAAM;GAAI;GAClD,MAAM,CAAC,eAAe,WAAW;GACjC,SAAS,CAAC,gBAAgB,YAAY;GACtC,OAAO;GACP,MAAM;EACR;EACA,OAAO;GACL,UAAU;IAAE,MAAM;IAAe,MAAM;GAAI;GAC3C,MAAM,CAAC,eAAe;GACtB,SAAS,CAAC,YAAY;GACtB,OAAO;EACT;CACF;CACA,aAAa;EACX,EAAE,WAAW;GAAC;GAAQ;GAAgB;GAAO;EAAO,GAAG,qBAAqB,YAAY;EACxF,EAAE,OAAO,cAAc,kBAAkB,SAAS;EAClD,EAAE,SAAS,WAAW,gBAAgB,OAAO;EAC7C,EAAE,SAAS,CAAC,GAAG,IAAI,GAAG,gBAAgB,OAAO;EAC7C,EAAE,SAAS,SAAS,uBAAuB,cAAc;EACzD,EAAE,OAAO,CAAC,GAAG,MAAM,OAAO,GAAG,cAAc,KAAK;EAChD,EAAE,QAAQ,SAAS,QAAQ,OAAO;EAClC,EAAE,QAAQ,SAAS,iBAAiB,OAAO;EAC3C,EAAE,sBAAsB,SAAS,sBAAsB,OAAO;EAC9D,EAAE,UAAU,OAAO,mBAAmB,KAAK;EAE3C,EAAE,gBAAgB,SAAS,sBAAsB,OAAO;EACxD,GAAG,IAAI,KAAK,UAAU,EAAE,SAAS,SAAS,OAAO,SAAS,KAAK,CAAC;EAChE,GAAG,IAAI,KAAK,UAAU,EAAE,kBAAkB,SAAS,OAAO,kBAAkB,KAAK,CAAC;EAClF,GAAG,IAAI,KAAK,UAAU,EAAE,WAAW,SAAS,OAAO,mBAAmB,KAAK,CAAC;EAC5E,GAAG,IAAI,KAAK,UAAU,EAAE,eAAe,SAAS,OAAO,eAAe,OAAO,EAAE,OAAO,QAAQ,CAAC,CAAC;EAChG,GAAG,IAAI,KAAK,UAAU,EAAE,iBAAiB,SAAS,OAAO,iBAAiB,KAAK,CAAC;CAClF;AACF"}
+{"version":3,"file":"redis.js","names":["dialTcp"],"sources":["../src/redis/connection.ts","../src/redis/meets.ts","../src/redis/operations.ts","../src/redis/client.ts","../src/redis/limiter.ts","../src/redis/machine.ts"],"sourcesContent":["/**\n * A Redis connection is the part of an ioredis client that the wrapper uses. An ioredis 6 client has\n * each part. A fake for tests has them too. Thus the package depends on no type of ioredis.\n */\nexport interface RedisConnection {\n  /** This text is the state of the client: wait, connecting, connect, ready, close, reconnecting or end. */\n  readonly status: string;\n  /** This socket is the socket of the current connection, when there is one. */\n  readonly stream?: RedisSocket | undefined;\n  connect(): Promise<void>;\n  /** This method sends one command, and gives the reply. */\n  call(command: string, ...args: Array<string | number>): Promise<unknown>;\n  quit(): Promise<unknown>;\n  /** This method closes the connection at once. With `true`, the client then connects again. */\n  disconnect(reconnect?: boolean): void;\n  on(event: string, listener: (...args: unknown[]) => void): unknown;\n  off(event: string, listener: (...args: unknown[]) => void): unknown;\n}\n\n/** A Redis socket is the part of the socket of a connection that the join of the prober reads. */\nexport interface RedisSocket {\n  readonly localAddress?: string | undefined;\n  readonly localPort?: number | undefined;\n  readonly remoteAddress?: string | undefined;\n  readonly remotePort?: number | undefined;\n  /** This method closes the socket at once. A disconnect only half-closes it, and a silent peer does not answer that. */\n  destroy?(): void;\n}\n\n/**\n * These are the options that the wrapper gives ioredis. Each one comes from the declaration. The\n * wrapper sets each option that has an effect on a timer or on a send again, thus no default of\n * ioredis decides one.\n */\nexport interface RedisConnectionOptions {\n  readonly host: string;\n  readonly port: number;\n  readonly db?: number | undefined;\n  readonly username?: string | undefined;\n  readonly password?: string | undefined;\n  /** The wrapper connects in its own step of the startup. */\n  readonly lazyConnect: true;\n  readonly connectTimeout: number;\n  readonly commandTimeout: number;\n  /** This time destroys a socket that gives no data while a command waits. Undefined is no bound. */\n  readonly socketTimeout: number | undefined;\n  /** This time is the idle time of TCP keepalive. False is no keepalive. */\n  readonly keepAlive: number | false;\n  /** A command while the client is not ready fails at once: it did not reach the server. */\n  readonly enableOfflineQueue: false;\n  /** The client does not send again a command that can have reached the server. */\n  readonly autoResendUnfulfilledCommands: false;\n  readonly maxRetriesPerRequest: null;\n  readonly enableReadyCheck: true;\n  readonly connectionName: string;\n  /** This function gives the delay before the next try to connect, or null to stop. */\n  readonly retryStrategy: (times: number) => number | null;\n}\n\n/** A connection factory makes the connection of the client from its options. */\nexport type ConnectionFactory = (options: RedisConnectionOptions) => RedisConnection | Promise<RedisConnection>;\n\n/**\n * This factory makes an ioredis client. It loads ioredis only when a client connects, thus a\n * service that does not use Redis does not need ioredis.\n */\nexport const ioredis: ConnectionFactory = async (options) => {\n  const loaded = (await import(\"ioredis\")) as unknown as {\n    readonly default: new (options: RedisConnectionOptions) => RedisConnection;\n  };\n  return new loaded.default(options);\n};\n","import type { Extent, Quantity } from \"@mark1russell7/quantity\";\nimport { quantity, valueIn } from \"@mark1russell7/quantity\";\nimport type { RedisKnobs } from \"./client.ts\";\n\n/** A situation is what the connection did when the failure started: a command in flight, or idle. */\nexport type Situation = \"in flight\" | \"idle\";\n\n/** A detector is a mechanism that finds a failure, and the most time that it takes. */\nexport interface Detector {\n  /** This name identifies the mechanism: a knob of the declaration, or the kernel. */\n  readonly by: string;\n  /** This time is the most that the detector takes, after the failure starts. \"infinite\" tells that it does not find the failure. */\n  readonly within: Extent;\n  readonly situation: Situation;\n  /** This text tells what the detector does, for example that it fails a command without a change of state. */\n  readonly effect: string;\n}\n\n/**\n * A meeting is a manifestation that the client can meet, and its detectors (E9). The names of the\n * manifestations are the names of the vocabulary of the harness and the corpus. `app-stall` is a\n * server whose process is alive and does not answer, a proposal of the vocabulary.\n */\nexport interface Meeting {\n  readonly manifestation: string;\n  /** This text tells the failure in words. */\n  readonly what: string;\n  readonly detectors: readonly Detector[];\n}\n\nconst never: Extent = { value: \"infinite\", unit: \"s\" };\nconst s = (value: number): Quantity => quantity(Math.round(value * 1e6) / 1e6, \"s\");\nconst seconds = (amount: Extent): number =>\n  amount.value === \"infinite\" ? Number.POSITIVE_INFINITY : valueIn(amount as Quantity, \"s\");\nconst plus = (amount: Extent, more: number): Extent =>\n  amount.value === \"infinite\" ? never : s(seconds(amount) + more);\n\n/** Node gives keepalive 10 probes, 1 s apart, after its idle time: a silent peer is found 10 s after the idle time. */\nconst NODE_PROBES = 10;\nconst NODE_INTERVAL = 1;\n\n/**\n * This function gives the manifestations that a Redis client can meet, and the detectors of each, from\n * its knobs. A reset or a FIN arrives on the next segment. A black hole and a host that is gone give\n * no answer at all. A frozen process and a stalled server keep a kernel that acknowledges each\n * segment. Thus TCP keepalive does not fire on them, and only the client's own timers find them.\n */\nexport const meetings = (name: string, knobs: RedisKnobs, heartbeat: Extent): Meeting[] => {\n  const keepalive = plus(knobs.keepalive_idle, NODE_PROBES * NODE_INTERVAL);\n  const watchdog = (situation: Situation): Detector => ({\n    by: \"heartbeat_detection_time\",\n    within: heartbeat,\n    situation,\n    effect: `the watchdog of ${name} closes the connection, and the client connects again`,\n  });\n  const writeoff: Detector = {\n    by: \"driver_writeoff_time\",\n    within: knobs.driver_writeoff_time,\n    situation: \"in flight\",\n    effect: \"ioredis destroys the socket of a command without data, and the client connects again\",\n  };\n  const command: Detector = {\n    by: \"request_timeout\",\n    within: knobs.request_timeout,\n    situation: \"in flight\",\n    effect: \"the command fails as indeterminate, and the state of the connection does not change\",\n  };\n  const giveUp: Detector = {\n    by: \"retrans_giveup_time\",\n    within: knobs.retrans_giveup_time,\n    situation: \"in flight\",\n    effect: \"the kernel gives up the retransmissions and closes the socket\",\n  };\n  const silent = (manifestation: string, what: string): Meeting => ({\n    manifestation,\n    what,\n    detectors: [\n      command,\n      writeoff,\n      watchdog(\"in flight\"),\n      giveUp,\n      watchdog(\"idle\"),\n      { by: \"keepalive_idle\", within: keepalive, situation: \"idle\", effect: \"TCP keepalive gives up, and the socket closes\" },\n    ],\n  });\n  const acknowledged = (manifestation: string, what: string): Meeting => ({\n    manifestation,\n    what,\n    detectors: [\n      command,\n      writeoff,\n      watchdog(\"in flight\"),\n      watchdog(\"idle\"),\n      { by: \"keepalive_idle\", within: never, situation: \"idle\", effect: \"the kernel of the server answers each probe\" },\n    ],\n  });\n  const immediate = (situation: Situation, effect: string): Detector => ({ by: \"the next segment\", within: s(0), situation, effect });\n  return [\n    {\n      manifestation: \"rst\",\n      what: \"the server answers each segment with a reset, and refuses each new connection\",\n      detectors: [\n        immediate(\"in flight\", \"the command fails, and the client connects again, and each attempt is refused\"),\n        watchdog(\"idle\"),\n        { by: \"keepalive_idle\", within: keepalive.value === \"infinite\" ? never : knobs.keepalive_idle, situation: \"idle\", effect: \"the first probe gets a reset\" },\n      ],\n    },\n    {\n      manifestation: \"fin\",\n      what: \"the process of the server ends, and its kernel closes the connection\",\n      detectors: [immediate(\"in flight\", \"the close arrives, and the command fails\"), immediate(\"idle\", \"the close arrives\")],\n    },\n    silent(\"blackhole\", \"the network drops each segment in the two directions\"),\n    silent(\"freeze-host\", \"the host of the server stops, without a close: the death without a close\"),\n    acknowledged(\"freeze-process\", \"the process of the server stops, and its kernel stays up\"),\n    acknowledged(\"app-stall\", \"the server stops its replies for a time, for example a long command, and its kernel stays up\"),\n  ];\n};\n\n/** This function gives the first detector of a manifestation in a situation, or null when no detector has an end (C3). */\nexport const firstDetector = (meeting: Meeting, situation: Situation): Detector | null => {\n  const ranked = meeting.detectors\n    .filter((detector) => detector.situation === situation && detector.within.value !== \"infinite\")\n    .sort((a, b) => seconds(a.within) - seconds(b.within));\n  return ranked[0] ?? null;\n};\n\n/** This function gives each manifestation and situation that no detector of the client finds: the standing rule, as a query (C3, E9). */\nexport const unwatched = (meets: readonly Meeting[]): Array<{ readonly manifestation: string; readonly situation: Situation }> =>\n  meets.flatMap((meeting) =>\n    ([\"in flight\", \"idle\"] as const).flatMap((situation) =>\n      firstDetector(meeting, situation) === null ? [{ manifestation: meeting.manifestation, situation }] : [],\n    ),\n  );\n","import type { Operation } from \"../operation.ts\";\n\n/**\n * These are the Redis commands whose idempotency the client declares when the declaration does not\n * say. A second issue of an idempotent command has the same effect. Thus the client can send it\n * again after a failure that left its result unknown. The client does not send again a command\n * that is not in this table: a declaration that uses it says its idempotency itself.\n */\nconst SAME_EFFECT = [\n  // reads\n  \"PING\",\n  \"ECHO\",\n  \"GET\",\n  \"MGET\",\n  \"STRLEN\",\n  \"GETRANGE\",\n  \"EXISTS\",\n  \"TYPE\",\n  \"TTL\",\n  \"PTTL\",\n  \"EXPIRETIME\",\n  \"HGET\",\n  \"HMGET\",\n  \"HGETALL\",\n  \"HKEYS\",\n  \"HVALS\",\n  \"HLEN\",\n  \"HEXISTS\",\n  \"SMEMBERS\",\n  \"SISMEMBER\",\n  \"SMISMEMBER\",\n  \"SCARD\",\n  \"ZRANGE\",\n  \"ZRANGEBYSCORE\",\n  \"ZSCORE\",\n  \"ZMSCORE\",\n  \"ZRANK\",\n  \"ZCARD\",\n  \"ZCOUNT\",\n  \"LRANGE\",\n  \"LINDEX\",\n  \"LLEN\",\n  \"XRANGE\",\n  \"XREVRANGE\",\n  \"XLEN\",\n  \"SCAN\",\n  \"SSCAN\",\n  \"HSCAN\",\n  \"ZSCAN\",\n  \"DBSIZE\",\n  \"INFO\",\n  \"CLIENT ID\",\n  // writes that put a state, not a change of a state: a second issue puts the same state\n  \"SET\",\n  \"MSET\",\n  \"SETEX\",\n  \"PSETEX\",\n  \"DEL\",\n  \"UNLINK\",\n  \"EXPIRE\",\n  \"PEXPIRE\",\n  \"EXPIREAT\",\n  \"PEXPIREAT\",\n  \"PERSIST\",\n  \"HSET\",\n  \"HDEL\",\n  \"SADD\",\n  \"SREM\",\n  \"ZADD\",\n  \"ZREM\",\n];\n\n/**\n * These commands change a state relative to the state before them. A second issue changes it again:\n * an INCR that the client sends again after a timeout counts two times.\n */\nconst CHANGE = [\n  \"INCR\",\n  \"INCRBY\",\n  \"INCRBYFLOAT\",\n  \"DECR\",\n  \"DECRBY\",\n  \"HINCRBY\",\n  \"HINCRBYFLOAT\",\n  \"ZINCRBY\",\n  \"APPEND\",\n  \"LPUSH\",\n  \"RPUSH\",\n  \"LPOP\",\n  \"RPOP\",\n  \"BLPOP\",\n  \"BRPOP\",\n  \"LMOVE\",\n  \"BLMOVE\",\n  \"SPOP\",\n  \"XADD\",\n  \"XACK\",\n  \"PUBLISH\",\n  \"EVAL\",\n  \"EVALSHA\",\n  \"FCALL\",\n  \"MULTI\",\n  \"EXEC\",\n  \"GETDEL\",\n  \"GETSET\",\n  \"SETNX\",\n];\n\n/** These are the operations of the client: the idempotency of each command that the table names. */\nexport const REDIS_OPERATIONS: Readonly<Record<string, Operation>> = Object.fromEntries([\n  ...SAME_EFFECT.map((command) => [command, { idempotent: true }] as const),\n  ...CHANGE.map((command) => [command, { idempotent: false }] as const),\n]);\n\n/** This function gives the name of a command as the table writes it: upper case, and CLIENT ID with its subcommand. */\nexport const commandName = (command: string, args: readonly unknown[]): string => {\n  const name = command.toUpperCase();\n  if ((name === \"CLIENT\" || name === \"CONFIG\" || name === \"DEBUG\") && typeof args[0] === \"string\")\n    return `${name} ${args[0].toUpperCase()}`;\n  return name;\n};\n","import { connect as dialTcp } from \"node:net\";\nimport type { Extent, Quantity } from \"@mark1russell7/quantity\";\nimport { quantity, valueIn } from \"@mark1russell7/quantity\";\nimport type { Backoff } from \"../backoff.ts\";\nimport { backoffDelay } from \"../backoff.ts\";\nimport type { ServiceBuilder } from \"../builder.ts\";\nimport type { Cancel, Clock } from \"../clock.ts\";\nimport { realClock } from \"../clock.ts\";\nimport type { Check, Dependency, Gate, ServiceDescription, Step } from \"../description.ts\";\nimport type { Recorder } from \"../events.ts\";\nimport type { Heartbeat } from \"../heartbeat.ts\";\nimport { heartbeat } from \"../heartbeat.ts\";\nimport type { Outcome } from \"../latch.ts\";\nimport type { DependencyHandle } from \"../lifecycle.ts\";\nimport type { Operation } from \"../operation.ts\";\nimport { mayReissue } from \"../operation.ts\";\nimport type { CheckFn } from \"../poller.ts\";\nimport type { Poll } from \"../timing.ts\";\nimport { heartbeatDetection } from \"../timing.ts\";\nimport type { ConnectionFactory, RedisConnection, RedisConnectionOptions } from \"./connection.ts\";\nimport { ioredis } from \"./connection.ts\";\nimport type { Meeting } from \"./meets.ts\";\nimport { meetings } from \"./meets.ts\";\nimport { REDIS_OPERATIONS, commandName } from \"./operations.ts\";\n\n/**\n * These are the knobs of the client, each a time, by the names of the ordering law where the law\n * has them. The runtime has no defaults, thus each knob is necessary, and a bound that nobody gives\n * is \"infinite\", not zero.\n */\nexport interface RedisKnobs {\n  /** This time bounds a try to connect, until the TCP connection exists (`connectTimeout`). */\n  readonly connect_bound: Quantity;\n  /** This time bounds each command, the handshake commands too (`commandTimeout`). */\n  readonly request_timeout: Quantity;\n  /** This time destroys a socket that gives no data while a command waits (`socketTimeout`). */\n  readonly driver_writeoff_time: Extent;\n  /** This time is the idle time of TCP keepalive. Node then sends 10 probes 1 s apart. */\n  readonly keepalive_idle: Extent;\n  /** This time is the interval of the in-band watchdog: a PING on the connection of the application. */\n  readonly heartbeat_interval: Extent;\n  /** This time bounds each PING of the watchdog. */\n  readonly heartbeat_timeout: Quantity;\n  /** This time is how long the client tries to connect again before it stops. The watchdog then starts it again. */\n  readonly client_retry_window: Extent;\n  /** This time is the first delay before a new try to connect. The delay doubles after each try. */\n  readonly retry_base: Quantity;\n  /** This time is the most that one delay can be, before its jitter. */\n  readonly retry_cap: Quantity;\n  /** This time bounds the close of the client at the shutdown: a QUIT, then a disconnect. */\n  readonly close_bound: Quantity;\n  /** This time is the age at which the client replaces its connection. The client supports only \"infinite\". */\n  readonly max_connection_age: Extent;\n  /**\n   * This time is when the kernel gives up a segment that it retransmits. Node cannot set it, thus\n   * the declaration states it for the ordering law (O17), from the platform.\n   */\n  readonly retrans_giveup_time: Extent;\n}\n\n/** A Redis client spec is the declaration of one Redis client: where it connects, and its knobs. */\nexport interface RedisClientSpec {\n  readonly host: string;\n  readonly port: number;\n  readonly db?: number | undefined;\n  readonly username?: string | undefined;\n  readonly password?: string | undefined;\n  /** This identifier is the component in the corpus (`systems.component.redis`), or null. */\n  readonly system: string | null;\n  readonly knobs: RedisKnobs;\n  /** This count is the number of PINGs in sequence without an answer that make the watchdog connect again. */\n  readonly heartbeatMisses: number;\n  /** These operations add to the table of the client, or change it. */\n  readonly operations?: Readonly<Record<string, Operation>> | undefined;\n}\n\n/** A dial function opens a new TCP connection, sends one PING, and reads the reply. The `dial` check uses it. */\nexport type DialFn = (host: string, port: number, signal: AbortSignal) => Promise<void>;\n\n/** These options make a client. Without them, it uses ioredis, the real clock and `Math.random`. */\nexport interface RedisClientOptions {\n  readonly create?: ConnectionFactory | undefined;\n  readonly clock?: Clock | undefined;\n  readonly random?: (() => number) | undefined;\n  /** This function receives each transition of the client, for the prober (D3). */\n  readonly record?: Recorder | undefined;\n  readonly dial?: DialFn | undefined;\n  /**\n   * This function waits one turn of the event loop. The watchdog waits it before it counts a miss,\n   * thus a reply that is in the socket is read first. Without it, the client uses `setImmediate`.\n   */\n  readonly turn?: (() => Promise<void>) | undefined;\n}\n\n/**\n * A join is one generation of the connection, at its `ready` (D1, D2). The prober joins its kernel\n * records to the server's view of the connection through it. A join holds the server's id of the\n * connection, and the local address and port of the socket.\n */\nexport interface Join {\n  readonly generation: number;\n  /** This time is when the connection became ready, in milliseconds on the monotonic clock. */\n  readonly at: number;\n  /** This number is the reply of CLIENT ID, or null when the server gave none. */\n  readonly clientId: number | null;\n  readonly localAddress: string | null;\n  readonly localPort: number | null;\n  readonly remoteAddress: string | null;\n  readonly remotePort: number | null;\n}\n\n/**\n * A sent result is the outcome of a command, in three values (C8):\n * - `ok`: the server answered.\n * - `error`: the command did not apply. The server answered with an error (`reply`), or the command\n *   did not leave the client.\n * - `indeterminate`: the command can have reached the server, and nothing tells if it applied.\n */\nexport type Sent<T> =\n  | { readonly outcome: \"ok\"; readonly value: T; readonly attempts: number }\n  | { readonly outcome: \"error\"; readonly error: string; readonly reply: boolean; readonly attempts: number }\n  | { readonly outcome: \"indeterminate\"; readonly error: string; readonly attempts: number };\n\n/** Send options tell how the client sends one command. */\nexport interface SendOptions {\n  /** This signal abandons the command. A command that left the client is then indeterminate. */\n  readonly signal?: AbortSignal | undefined;\n  /** False stops the client: it does not send the command again. A check that must fail at once uses it. */\n  readonly reissue?: boolean | undefined;\n}\n\ntype Attempt =\n  | { readonly outcome: \"ok\"; readonly value: unknown }\n  | { readonly outcome: \"error\"; readonly error: string; readonly reply: boolean }\n  | { readonly outcome: \"indeterminate\"; readonly error: string };\n\n/** The steps of a connection that the client gives a check for (B14). */\nexport type ClientStep = Extract<Step, \"dial\" | \"round-trip\" | \"local-state\">;\n\n/** Check options tell which checks the client gives the health runtime, and which policy each one controls. */\nexport interface CheckOptions {\n  readonly poll: Poll;\n  /** For each step, the policy that its check controls, or null for a check that only reports. A step that is absent has no check. */\n  readonly steps: Partial<Record<ClientStep, Gate | null>>;\n}\n\n/** A Redis client is a dependency of a service: its declaration, its handle, its checks and its commands. */\nexport interface RedisClient {\n  readonly name: string;\n  /** This declaration goes to `svc.dependency(name, declaration, handle)`. */\n  readonly declaration: Omit<Dependency, \"name\">;\n  readonly handle: DependencyHandle;\n  /** These are the manifestations that the client can meet, and the detector of each (E9). */\n  readonly meets: readonly Meeting[];\n  /** This text is the state of the connection, as ioredis names it, or \"none\" before the connect. */\n  readonly status: string;\n  /** These are the generations of the connection, the latest last. */\n  readonly joins: readonly Join[];\n  /**\n   * This method sends a command, and gives its outcome in three values. The client sends again\n   * only an idempotent operation, one time at most, after an outcome that is not certain. The\n   * second try stays in the bound of the request. The client does not send again an operation that\n   * the table does not name.\n   */\n  send<T = unknown>(command: string, args?: ReadonlyArray<string | number>, options?: SendOptions): Promise<Sent<T>>;\n  /** This method gives the checks of the client and their functions, for `svc.check(check, run)`. */\n  checks(options: CheckOptions): ReadonlyArray<readonly [Check, CheckFn]>;\n  /** This method declares the client in a service: its dependency, its handle and its checks. */\n  attach(svc: ServiceBuilder, options: CheckOptions): ServiceBuilder;\n  /** This method gives the problems of the client in a description: a close that does not fit in its phase, for example. */\n  problems(description: ServiceDescription): string[];\n}\n\nconst ms = (amount: Extent): number =>\n  amount.value === \"infinite\" ? Number.POSITIVE_INFINITY : valueIn(amount as Quantity, \"ms\");\nconst finite = (amount: Extent): number | undefined => {\n  const value = ms(amount);\n  return Number.isFinite(value) ? value : undefined;\n};\nconst message = (error: unknown): string => (error instanceof Error ? error.message : String(error));\n\n/**\n * This function gives the backoff of the tries to connect: from `retry_base`, doubling to\n * `retry_cap`, each with a jitter up to the base. The client rounds each delay to a whole millisecond.\n */\nexport const retryBackoff = (knobs: RedisKnobs): Backoff => ({\n  base: ms(knobs.retry_base),\n  factor: 2,\n  cap: ms(knobs.retry_cap),\n  jitter: { kind: \"add\", amount: ms(knobs.retry_base) },\n});\n\n/** This function gives the problems of a spec: the knobs that the client cannot use. */\nexport const specProblems = (name: string, spec: RedisClientSpec): string[] => {\n  const problems: string[] = [];\n  const { knobs } = spec;\n  if (!Number.isInteger(spec.heartbeatMisses) || spec.heartbeatMisses < 1)\n    problems.push(`${name}'s watchdog closes the connection after ${spec.heartbeatMisses} misses, not a whole number above zero`);\n  if (knobs.max_connection_age.value !== \"infinite\")\n    problems.push(`${name} cannot replace its connection at an age: max_connection_age must be \"infinite\"`);\n  for (const [knob, amount] of Object.entries(knobs) as Array<[string, Extent]>) {\n    if (amount.value !== \"infinite\" && !(ms(amount) >= 0))\n      problems.push(`${name}'s ${knob} is not a time of zero or more`);\n  }\n  if (ms(knobs.request_timeout) <= 0) problems.push(`${name}'s request_timeout is not above zero: each command must have a bound`);\n  if (ms(knobs.heartbeat_timeout) <= 0) problems.push(`${name}'s heartbeat_timeout is not above zero`);\n  if (ms(knobs.retry_cap) < ms(knobs.retry_base)) problems.push(`${name}'s retry_cap is below its retry_base`);\n  return problems;\n};\n\n/** This dial function opens a TCP connection, sends an inline PING, and waits for +PONG. */\nexport const tcpDial: DialFn = (host, port, signal) =>\n  new Promise((resolve, reject) => {\n    if (signal.aborted) {\n      reject(new Error(\"the dial was aborted\"));\n      return;\n    }\n    const socket = dialTcp({ host, port });\n    let reply = \"\";\n    const end = (error?: Error): void => {\n      signal.removeEventListener(\"abort\", onAbort);\n      socket.destroy();\n      if (error === undefined) resolve();\n      else reject(error);\n    };\n    const onAbort = (): void => end(new Error(\"the dial was aborted\"));\n    signal.addEventListener(\"abort\", onAbort, { once: true });\n    socket.once(\"connect\", () => socket.write(\"PING\\r\\n\"));\n    socket.on(\"data\", (chunk) => {\n      reply += chunk.toString();\n      if (reply.includes(\"\\r\\n\")) end(reply.startsWith(\"+PONG\") ? undefined : new Error(`the reply was ${reply.trim()}`));\n    });\n    socket.once(\"error\", (error) => end(error));\n    socket.once(\"close\", () => end(new Error(\"the server closed the dial\")));\n  });\n\n/**\n * This function makes a Redis client. It is a dependency of a service, with ioredis under it:\n * - It sets each timer of ioredis from the declaration, and it does not let ioredis send a command\n *   again (R5 §8).\n * - It tells the outcome of a command in three values, and it settles each command in flight as\n *   indeterminate when its connection closes (C8, C10).\n * - It records the server's id of each connection at `ready` (D1).\n * - A watchdog sends a PING in the band of the connection, and it connects again after the misses\n *   of the declaration. It also starts a client that stopped (principle 19).\n */\nexport const redisClient = (name: string, spec: RedisClientSpec, options: RedisClientOptions = {}): RedisClient => {\n  const problems = specProblems(name, spec);\n  if (problems.length > 0) throw new Error(problems.join(\"; \"));\n  const { knobs } = spec;\n  const clock = options.clock ?? realClock;\n  const random = options.random ?? Math.random;\n  const create = options.create ?? ioredis;\n  const dial = options.dial ?? tcpDial;\n  const turn = options.turn ?? (() => new Promise<void>((resolve) => setImmediate(resolve)));\n  const operations: Readonly<Record<string, Operation>> = { ...REDIS_OPERATIONS, ...spec.operations };\n  const requestTimeout = ms(knobs.request_timeout);\n  const detection = heartbeatDetection(knobs.heartbeat_interval, knobs.heartbeat_timeout, spec.heartbeatMisses);\n  const backoff = retryBackoff(knobs);\n\n  let connection: RedisConnection | null = null;\n  let status = \"none\";\n  let closing = false;\n  const joins: Join[] = [];\n  // the commands that the client wrote while the connection was ready: a close settles each one\n  const inFlight = new Set<(attempt: Attempt) => void>();\n  const readyWaiters = new Set<() => void>();\n  const listeners: Array<[string, (...args: unknown[]) => void]> = [];\n\n  const record = (from: string, to: string, on: string, detail?: string): void =>\n    options.record?.({ at: clock.now(), machine: \"client\", instance: name, from, to, on, ...(detail === undefined ? {} : { detail }) });\n\n  // the delays of the tries to connect (`retryBackoff`), and none after the retry window. The\n  // watchdog starts the client again after that\n  let retrySince: number | null = null;\n  const retryStrategy = (times: number): number | null => {\n    const now = clock.now();\n    retrySince ??= now;\n    if (now - retrySince > ms(knobs.client_retry_window)) {\n      record(status, status, \"retry.window-ended\");\n      return null;\n    }\n    return Math.round(backoffDelay(backoff, times, random));\n  };\n\n  const connectionOptions: RedisConnectionOptions = {\n    host: spec.host,\n    port: spec.port,\n    ...(spec.db === undefined ? {} : { db: spec.db }),\n    ...(spec.username === undefined ? {} : { username: spec.username }),\n    ...(spec.password === undefined ? {} : { password: spec.password }),\n    lazyConnect: true,\n    connectTimeout: ms(knobs.connect_bound),\n    commandTimeout: requestTimeout,\n    socketTimeout: finite(knobs.driver_writeoff_time),\n    keepAlive: finite(knobs.keepalive_idle) ?? false,\n    enableOfflineQueue: false,\n    autoResendUnfulfilledCommands: false,\n    maxRetriesPerRequest: null,\n    enableReadyCheck: true,\n    connectionName: name,\n    retryStrategy,\n  };\n\n  /** This function gives the outcome of a failed command: a reply of the server, a command that did not leave the client, or neither. */\n  const failed = (error: unknown): Attempt => {\n    const text = message(error);\n    if (error instanceof Error && error.name === \"ReplyError\") return { outcome: \"error\", error: text, reply: true };\n    if (/isn't writeable|enableOfflineQueue/i.test(text)) return { outcome: \"error\", error: text, reply: false };\n    return { outcome: \"indeterminate\", error: text };\n  };\n\n  const onReady = async (): Promise<void> => {\n    retrySince = null;\n    const c = connection;\n    if (c === null) return;\n    const generation = joins.length + 1;\n    const at = clock.now();\n    const socket = c.stream;\n    let clientId: number | null = null;\n    try {\n      const reply = await c.call(\"CLIENT\", \"ID\");\n      clientId = typeof reply === \"number\" ? reply : Number(reply);\n      if (!Number.isFinite(clientId)) clientId = null;\n    } catch {\n      clientId = null;\n    }\n    // a connection that closed before its reply is a generation that never served\n    if (connection !== c || c.status !== \"ready\") return;\n    joins.push({\n      generation,\n      at,\n      clientId,\n      localAddress: socket?.localAddress ?? null,\n      localPort: socket?.localPort ?? null,\n      remoteAddress: socket?.remoteAddress ?? null,\n      remotePort: socket?.remotePort ?? null,\n    });\n    record(\"ready\", \"ready\", \"join\", `generation ${generation}, client id ${clientId ?? \"unknown\"}`);\n    for (const wake of [...readyWaiters]) wake();\n  };\n\n  const onStatus = (to: string) => (): void => {\n    const from = status;\n    status = to;\n    record(from, to, `status.${to}`);\n    if (to === \"close\" || to === \"end\") {\n      // the lower layer gave up the connection: each command in flight learns it now (C10)\n      for (const settle of [...inFlight]) settle({ outcome: \"indeterminate\", error: `the connection closed with the command in flight (${from})` });\n    }\n    if (to === \"ready\") void onReady();\n  };\n\n  const watch = (c: RedisConnection): void => {\n    for (const state of [\"connecting\", \"connect\", \"ready\", \"close\", \"reconnecting\", \"end\"]) {\n      const listener = onStatus(state);\n      c.on(state, listener);\n      listeners.push([state, listener]);\n    }\n    // an error of the connection comes before its close, which settles the commands: here it is only recorded\n    const onError = (error: unknown): void => record(status, status, \"error\", message(error));\n    c.on(\"error\", onError);\n    listeners.push([\"error\", onError]);\n  };\n\n  /** This function waits until the connection is ready, for `within` milliseconds at most. It gives true when it is ready. */\n  const waitReady = (within: number, signal?: AbortSignal): Promise<boolean> =>\n    new Promise((resolve) => {\n      if (connection?.status === \"ready\") {\n        resolve(true);\n        return;\n      }\n      let cancel: Cancel = () => {};\n      const done = (value: boolean): void => {\n        readyWaiters.delete(wake);\n        cancel();\n        signal?.removeEventListener(\"abort\", aborted);\n        resolve(value);\n      };\n      const wake = (): void => done(true);\n      const aborted = (): void => done(false);\n      readyWaiters.add(wake);\n      cancel = clock.after(within, () => done(connection?.status === \"ready\"));\n      signal?.addEventListener(\"abort\", aborted, { once: true });\n    });\n\n  const attempt = (command: string, args: ReadonlyArray<string | number>, signal?: AbortSignal): Promise<Attempt> => {\n    const c = connection;\n    if (c === null) return Promise.resolve({ outcome: \"error\", error: `${name} has not connected`, reply: false });\n    if (c.status !== \"ready\") return Promise.resolve({ outcome: \"error\", error: `${name} is ${c.status}, not ready: the command did not leave the client`, reply: false });\n    if (signal?.aborted) return Promise.resolve({ outcome: \"error\", error: \"the caller aborted the command before it left the client\", reply: false });\n    return new Promise<Attempt>((resolve) => {\n      let settled = false;\n      const settle = (value: Attempt): void => {\n        if (settled) return;\n        settled = true;\n        inFlight.delete(settle);\n        signal?.removeEventListener(\"abort\", aborted);\n        resolve(value);\n      };\n      // a sent command cannot be cancelled: the caller abandons it, and its outcome is not known (principle 9)\n      const aborted = (): void => settle({ outcome: \"indeterminate\", error: \"the caller abandoned the command after it was sent\" });\n      inFlight.add(settle);\n      signal?.addEventListener(\"abort\", aborted, { once: true });\n      c.call(command, ...args).then(\n        (value) => settle({ outcome: \"ok\", value }),\n        (error: unknown) => settle(failed(error)),\n      );\n    });\n  };\n\n  const send = async <T>(command: string, args: ReadonlyArray<string | number> = [], sendOptions: SendOptions = {}): Promise<Sent<T>> => {\n    const { signal } = sendOptions;\n    const operation = sendOptions.reissue === false ? undefined : operations[commandName(command, args)];\n    const started = clock.now();\n    const first = await attempt(command, args, signal);\n    if (first.outcome === \"ok\") return { outcome: \"ok\", value: first.value as T, attempts: 1 };\n    // a reply of the server is final, and an operation that the table does not name is never sent again\n    const again =\n      !(first.outcome === \"error\" && first.reply) &&\n      operation !== undefined &&\n      signal?.aborted !== true &&\n      mayReissue(operation, quantity((clock.now() - started) / 1000, \"s\"));\n    const left = requestTimeout - (clock.now() - started);\n    if (!again || left <= 0 || !(await waitReady(left, signal))) return { ...first, attempts: 1 };\n    record(status, status, \"command.reissue\", commandName(command, args));\n    // the second attempt ends at the bound of the request, not one command timeout after it starts\n    const bound = new AbortController();\n    const end = clock.after(Math.max(0, requestTimeout - (clock.now() - started)), () => bound.abort());\n    const forward = (): void => bound.abort();\n    signal?.addEventListener(\"abort\", forward, { once: true });\n    const second = await attempt(command, args, bound.signal);\n    end();\n    signal?.removeEventListener(\"abort\", forward);\n    return second.outcome === \"ok\" ? { outcome: \"ok\", value: second.value as T, attempts: 2 } : { ...second, attempts: 2 };\n  };\n\n  // the watchdog: a heartbeat of PINGs on the connection of the application, each interval from the\n  // start of the one before. A reply, an error reply too, is an answer. It waits one turn of the\n  // event loop before it counts a miss, thus a slow loop is not a silent server. It acts only on a\n  // ready connection, thus it never closes a connection in the middle of a new attempt\n  let watchdog: Heartbeat | null = null;\n  const startWatchdog = (): Heartbeat =>\n    heartbeat({\n      interval: ms(knobs.heartbeat_interval),\n      timeout: ms(knobs.heartbeat_timeout),\n      misses: spec.heartbeatMisses,\n      clock,\n      turn,\n      // a PING starts at each tick, also while an earlier PING waits\n      overlap: true,\n      due: () => {\n        const c = connection;\n        if (c === null || closing) return false;\n        if (c.status === \"end\") {\n          // the retry window ended: the watchdog starts the client again\n          record(status, status, \"watchdog.revive\");\n          retrySince = null;\n          c.connect().catch(() => {});\n          return false;\n        }\n        return c.status === \"ready\";\n      },\n      ping: (signal) =>\n        attempt(\"PING\", [], signal).then((result) => result.outcome === \"ok\" || (result.outcome === \"error\" && result.reply)),\n      live: () => connection?.status === \"ready\" && !closing,\n      onMiss: (misses) => record(status, status, \"watchdog.miss\", `${misses} of ${spec.heartbeatMisses}`),\n      onDead: () => {\n        record(status, status, \"watchdog.reconnect\");\n        connection?.disconnect(true);\n      },\n    });\n\n  const handle: DependencyHandle = {\n    async connect(signal) {\n      closing = false;\n      const c = await create(connectionOptions);\n      connection = c;\n      watch(c);\n      if (signal.aborted) throw new Error(`${name}: the service stopped before the connect`);\n      // a server that is down at the start does not stop the startup: the client connects again in\n      // the background, and its checks keep readiness tripped until it is ready (readiness is earned)\n      await c.connect().catch((error: unknown) => record(status, status, \"connect.failed\", message(error)));\n      watchdog?.stop();\n      watchdog = startWatchdog();\n    },\n    async close() {\n      closing = true;\n      watchdog?.stop();\n      watchdog = null;\n      const c = connection;\n      if (c === null) return;\n      // a QUIT lets the replies in flight arrive. A silent server never answers it, thus the close has its bound\n      const quit = c.quit().then(\n        () => \"quit\" as const,\n        () => \"quit\" as const,\n      );\n      let cancel: Cancel = () => {};\n      const bound = new Promise<\"bound\">((resolve) => {\n        cancel = clock.after(ms(knobs.close_bound), () => resolve(\"bound\"));\n      });\n      const startedClose = clock.now();\n      const first = await Promise.race([quit, bound]);\n      cancel();\n      if (first === \"bound\") record(status, status, \"close.bound\");\n      // a client that is not ready refuses the QUIT at once, and it would connect again: the close stops it\n      if (c.status !== \"end\") c.disconnect(false);\n      // ioredis is at `end` when its socket closes, a moment after the reply: the close waits for it, in its bound\n      const ended = (within: number): Promise<void> =>\n        c.status === \"end\"\n          ? Promise.resolve()\n          : new Promise<void>((resolve) => {\n              let stop: Cancel = () => {};\n              const end = (): void => {\n                c.off(\"end\", end);\n                stop();\n                resolve();\n              };\n              c.on(\"end\", end);\n              stop = clock.after(Math.max(0, within), end);\n            });\n      await ended(ms(knobs.close_bound) - (clock.now() - startedClose));\n      // a disconnect only half-closes the socket, and a silent server never closes its half: the bound destroys it\n      if (c.status !== \"end\") {\n        record(status, status, \"close.destroy\");\n        c.stream?.destroy?.();\n        await ended(0);\n      }\n      for (const [event, listener] of listeners) c.off(event, listener);\n      listeners.length = 0;\n      for (const settle of [...inFlight]) settle({ outcome: \"indeterminate\", error: \"the client closed with the command in flight\" });\n      status = \"end\";\n    },\n  };\n\n  const declaration: Omit<Dependency, \"name\"> = {\n    system: spec.system,\n    knobs: {\n      connect_bound: knobs.connect_bound,\n      request_timeout: knobs.request_timeout,\n      driver_writeoff_time: knobs.driver_writeoff_time,\n      keepalive_idle: knobs.keepalive_idle,\n      heartbeat_interval: knobs.heartbeat_interval,\n      heartbeat_timeout: knobs.heartbeat_timeout,\n      heartbeat_detection_time: detection,\n      client_retry_window: knobs.client_retry_window,\n      retry_base: knobs.retry_base,\n      retry_cap: knobs.retry_cap,\n      close_bound: knobs.close_bound,\n      max_connection_age: knobs.max_connection_age,\n      retrans_giveup_time: knobs.retrans_giveup_time,\n    },\n    operations,\n  };\n\n  const checks = (checkOptions: CheckOptions): ReadonlyArray<readonly [Check, CheckFn]> => {\n    const made: Array<readonly [Check, CheckFn]> = [];\n    const declare = (step: ClientStep, ownConnection: boolean, run: CheckFn): void => {\n      if (!(step in checkOptions.steps)) return;\n      made.push([\n        { name: `${name}.${step}`, dependency: name, step, ownConnection, gates: checkOptions.steps[step] ?? null, poll: checkOptions.poll },\n        run,\n      ]);\n    };\n    // the state of the client, without a round trip\n    declare(\"local-state\", true, () => (connection?.status === \"ready\" ? \"ok\" : \"error\"));\n    // a PING on the connection of the application: blind to nothing that the application meets\n    declare(\"round-trip\", true, async (signal): Promise<Outcome> => {\n      // a check measures the step now: it does not wait for a new connection, and it sends nothing again\n      const result = await send(\"PING\", [], { signal, reissue: false });\n      return result.outcome === \"ok\" ? \"ok\" : \"error\";\n    });\n    // a new connection each time: it finds a server that refuses connections, but not a stalled connection of the application\n    declare(\"dial\", false, async (signal): Promise<Outcome> => {\n      await dial(spec.host, spec.port, signal);\n      return \"ok\";\n    });\n    return made;\n  };\n\n  return {\n    name,\n    declaration,\n    handle,\n    meets: meetings(name, knobs, detection),\n    get status() {\n      return connection === null ? \"none\" : connection.status;\n    },\n    joins,\n    send,\n    checks,\n    attach(svc, checkOptions) {\n      svc.dependency(name, declaration, handle);\n      for (const [check, run] of checks(checkOptions)) svc.check(check, run);\n      return svc;\n    },\n    problems(description) {\n      const found: string[] = [];\n      const teardown = description.shutdown.phases.find((phase) => phase.name === \"tear down dependencies\");\n      if (teardown === undefined) found.push(`${name} needs the phase \"tear down dependencies\" to close`);\n      else if (ms(knobs.close_bound) >= valueIn(teardown.cap, \"ms\"))\n        found.push(`${name}'s close_bound of ${ms(knobs.close_bound)} ms does not fit in the cap of \"tear down dependencies\"`);\n      for (const check of description.checks) {\n        if (check.dependency !== name) continue;\n        const slowest = valueIn(check.poll.timeout, \"ms\");\n        if (check.step === \"round-trip\" && requestTimeout > slowest + valueIn(check.poll.interval, \"ms\") * (1 + check.poll.jitter))\n          found.push(`${name}'s request_timeout outlives one jittered poll of ${check.name} (B7, O13)`);\n      }\n      return found;\n    },\n  };\n};\n","import type { Clock } from \"../clock.ts\";\nimport type { Decision } from \"../limiter/policy.ts\";\nimport type { LimiterStore } from \"../limiter/store.ts\";\nimport type { RedisClient } from \"./client.ts\";\n\n/**\n * This script decides one take in one atomic step of Redis. It does the arithmetic of `decide`, and\n * it reads `TIME` of the server, the one clock of all replicas. A test can give the time in its place.\n * - KEYS[1] is the state of the key. KEYS[2] is the index of the limiter, a sorted set of its keys\n *   by the time at which each key is free.\n * - ARGV is the type of the rule, its two numbers, the cap of keys, the key, and the time or \"\".\n * - The state of a bucket is its full time. The state of a window is the time of each take in it.\n * - The state expires at its free time (PX), and the index lets the cap count only busy keys.\n * - The reply is `{1, remaining}`, or `{0, retryAfter, cause}` with the time as text. Redis gives\n *   each Lua number as a whole number, thus the fraction of a millisecond goes as text.\n */\nexport const LIMITER_SCRIPT = `\nlocal kind = ARGV[1]\nlocal a = tonumber(ARGV[2])\nlocal b = tonumber(ARGV[3])\nlocal cap = tonumber(ARGV[4])\nlocal member = ARGV[5]\nlocal now\nif ARGV[6] == '' then\n  local t = redis.call('TIME')\n  now = tonumber(t[1]) * 1000 + tonumber(t[2]) / 1000\nelse\n  now = tonumber(ARGV[6])\nend\nlocal TOL = 1e-6\nlocal function num(x) return string.format('%.6f', x) end\nlocal raw = redis.call('GET', KEYS[1])\nlocal full = nil\nlocal stamps = nil\nif raw then\n  if kind == 'token-bucket' then\n    full = tonumber(raw)\n  else\n    stamps = {}\n    for x in string.gmatch(raw, '[^,]+') do stamps[#stamps + 1] = tonumber(x) end\n  end\nend\nlocal function freeAt()\n  if kind == 'token-bucket' then return full end\n  if #stamps == 0 then return -math.huge end\n  return stamps[#stamps] + b\nend\nif raw and freeAt() <= now then\n  redis.call('DEL', KEYS[1])\n  redis.call('ZREM', KEYS[2], member)\n  raw = nil\n  full = nil\n  stamps = nil\nend\nif not raw then\n  if redis.call('ZCARD', KEYS[2]) >= cap then\n    redis.call('ZREMRANGEBYSCORE', KEYS[2], '-inf', num(now))\n    if redis.call('ZCARD', KEYS[2]) >= cap then\n      local first = redis.call('ZRANGE', KEYS[2], 0, 0, 'WITHSCORES')\n      return {0, num(tonumber(first[2]) - now), 'cap'}\n    end\n  end\nend\nlocal remaining\nlocal state\nif kind == 'token-bucket' then\n  local span = a * b\n  local base = now\n  if full and full > now then base = full end\n  local nxt = base + a\n  if nxt - now > span + TOL then\n    return {0, num(nxt - span - now), 'limit'}\n  end\n  remaining = math.floor((span - (nxt - now)) / a + TOL)\n  if remaining < 0 then remaining = 0 end\n  full = nxt\n  state = num(full)\nelse\n  local live = {}\n  for _, stamp in ipairs(stamps or {}) do\n    if stamp + b > now + TOL then live[#live + 1] = stamp end\n  end\n  if #live >= a then\n    return {0, num(live[1] + b - now), 'limit'}\n  end\n  live[#live + 1] = now\n  remaining = a - #live\n  stamps = live\n  local parts = {}\n  for i, stamp in ipairs(live) do parts[i] = num(stamp) end\n  state = table.concat(parts, ',')\nend\nlocal free = freeAt()\nlocal ttl = math.ceil(free - now)\nif ttl < 1 then ttl = 1 end\nredis.call('SET', KEYS[1], state, 'PX', ttl)\nredis.call('ZADD', KEYS[2], num(free), member)\nif redis.call('PTTL', KEYS[2]) < ttl then redis.call('PEXPIRE', KEYS[2], ttl) end\nreturn {1, remaining}\n`;\n\n/** These options make a store of a limiter in Redis. */\nexport interface RedisLimiterOptions {\n  /** This text starts the name of each key of the store in Redis, for example `limit:`. It has no braces. */\n  readonly prefix: string;\n  /**\n   * This clock replaces `TIME` of the server, for a test that compares the store with `decide`. Without\n   * it, the script reads `TIME`, thus each replica gets the one clock of the store.\n   */\n  readonly clock?: Clock | undefined;\n}\n\n/** A Redis client part is the part of a Redis client that the store uses: `send`. */\nexport type RedisSender = Pick<RedisClient, \"send\">;\n\n/**\n * This function makes a store that the replicas share, in Redis 7. Each take is one `EVAL` of\n * `LIMITER_SCRIPT`. The client does not send it again, because a second take counts two times.\n * - The names of the keys have the limiter in braces, a hash tag. Thus the state and the index of a\n *   limiter are in one slot of a Redis Cluster.\n * - Each state expires at the time that the key is free, thus the eviction is exact, as in the memory\n *   store. The index of the limiter bounds the count of busy keys to `maxKeys`.\n * - A reply of an error, an outcome that is not certain, or a reply of another shape rejects the\n *   take of the store. `keyedLimiter` then applies the `onStoreFailure` of the spec.\n * - `TIME` is the wall clock of the Redis host, not a monotonic clock. Thus a step of that clock\n *   moves the counts of each key. The replicas still share one clock.\n */\nexport const redisLimiterStore = (client: RedisSender, options: RedisLimiterOptions): LimiterStore => {\n  if (/[{}]/.test(options.prefix)) throw new Error(`the prefix ${options.prefix} of a limiter store has a brace: the store puts the hash tag in it`);\n  return {\n    kind: \"shared\",\n    async take({ limiter, key, rule, maxKeys }): Promise<Decision> {\n      const base = `${options.prefix}{${limiter}}`;\n      const numbers = rule.type === \"token-bucket\" ? [rule.interval, rule.burst] : [rule.limit, rule.window];\n      const now = options.clock === undefined ? \"\" : String(options.clock.now());\n      const sent = await client.send<unknown[]>(\"EVAL\", [\n        LIMITER_SCRIPT,\n        2,\n        `${base}:key:${key}`,\n        `${base}:keys`,\n        rule.type,\n        String(numbers[0]),\n        String(numbers[1]),\n        String(maxKeys),\n        key,\n        now,\n      ]);\n      if (sent.outcome !== \"ok\") throw new Error(`the limiter store ${limiter} failed (${sent.outcome}): ${sent.error}`);\n      return replyOf(limiter, sent.value);\n    },\n  };\n};\n\n/** This function gives the decision of a reply of `LIMITER_SCRIPT`. A reply of another shape throws. */\nconst replyOf = (limiter: string, reply: unknown): Decision => {\n  if (Array.isArray(reply) && Number(reply[0]) === 1 && reply.length === 2) return { allowed: true, remaining: Number(reply[1]) };\n  if (Array.isArray(reply) && Number(reply[0]) === 0 && reply.length === 3 && (reply[2] === \"limit\" || reply[2] === \"cap\")) {\n    const retryAfter = Number(reply[1]);\n    if (Number.isFinite(retryAfter) && retryAfter > 0) return { allowed: false, retryAfter: { value: retryAfter, unit: \"ms\" }, cause: reply[2] };\n  }\n  throw new Error(`the limiter store ${limiter} gave a reply that is not a decision: ${JSON.stringify(reply)}`);\n};\n","import type { Machine, TransitionDef } from \"@mark1russell7/algebra\";\n\nconst t = (id: string, from: string | readonly string[], on: string | readonly string[], to: string, extra: Partial<TransitionDef> = {}): TransitionDef => ({\n  id,\n  from,\n  on,\n  to,\n  ...extra,\n});\nconst knob = (key: string) => ({ key, scope: \"client\", unit: \"s\", default: null }) as const;\n\n/** The states where the connection exists or tries to exist, thus where it can close. */\nconst LIVE = [\"connecting\", \"connect\", \"ready\", \"reconnecting\"] as const;\nconst ANY = [\"none\", \"connecting\", \"connect\", \"ready\", \"close\", \"reconnecting\", \"end\"] as const;\n\n/**\n * The Redis client as a `mark1russell7.machine/1` document. Its states are the states of ioredis.\n * The wrapper adds its own events: the join at each `ready`, and the misses of its watchdog. It also\n * adds a command that it sends again, and the bound of its close. A test records the transitions of the\n * client and replays them against this document.\n *\n * The state `ready` hides states that the client cannot see (D4). In a black hole, ioredis stays\n * `ready` while the kernel retransmits, until `driver_writeoff_time` or the watchdog ends that\n * hidden interval. A timer of this document bounds each hidden interval.\n */\nexport const REDIS_CLIENT_MACHINE: Machine = {\n  format: \"mark1russell7.machine/1\",\n  id: \"service.machine.redis-client\",\n  title: \"The Redis client of the service, over ioredis 6\",\n  layer: \"driver\",\n  version: \"0.2.0\",\n  sources: [{ ref: \"packages/service/src/redis (the client implements this document)\", rung: \"implemented\" }],\n  states: {\n    none: { initial: true, note: \"the client exists, and its connection does not\" },\n    connecting: { note: \"a TCP connection attempt\" },\n    connect: { note: \"the handshake: HELLO, then the ready check (INFO)\" },\n    ready: { note: \"it can hide a black hole or a frozen server, until a timer of the client ends it\" },\n    close: { note: \"the socket closed. Each command in flight settles as indeterminate\" },\n    reconnecting: { note: \"the delay of the retry strategy, which doubles to its cap\" },\n    end: { note: \"the retry window ended, or the service closed the client. The watchdog starts it again\" },\n  },\n  events: {\n    \"status.connecting\": { kind: \"local\" },\n    \"status.connect\": { kind: \"rx\" },\n    \"status.ready\": { kind: \"rx\" },\n    \"status.close\": { kind: \"rx\" },\n    \"status.reconnecting\": { kind: \"timer\" },\n    \"status.end\": { kind: \"local\" },\n    join: { kind: \"rx\", note: \"the reply of CLIENT ID at ready (D1)\" },\n    error: { kind: \"rx\" },\n    \"connect.failed\": { kind: \"local\" },\n    \"command.written\": { kind: \"tx\" },\n    \"command.reissue\": { kind: \"local\" },\n    data: { kind: \"rx\" },\n    heartbeat: { kind: \"timer\" },\n    \"watchdog.miss\": { kind: \"local\" },\n    \"watchdog.reconnect\": { kind: \"local\" },\n    \"watchdog.revive\": { kind: \"local\" },\n    \"retry.window-ended\": { kind: \"local\" },\n    \"close.request\": { kind: \"local\" },\n    \"close.bound\": { kind: \"timer\" },\n    \"close.destroy\": { kind: \"local\", note: \"the bound destroys a socket that a silent server does not close\" },\n  },\n  knobs: {\n    connect_bound: knob(\"connectTimeout\"),\n    driver_writeoff_time: knob(\"socketTimeout\"),\n    heartbeat_interval: knob(\"watchdog.interval\"),\n    close_bound: knob(\"close.bound\"),\n  },\n  timers: {\n    connect_timeout: {\n      duration: { knob: \"connect_bound\", unit: \"s\" },\n      arms: [\"enter:connecting\"],\n      cancels: [\"status.connect\", \"status.close\"],\n      fires: \"status.close\",\n      note: \"ioredis destroys the attempt\",\n    },\n    writeoff: {\n      duration: { knob: \"driver_writeoff_time\", unit: \"s\" },\n      arms: [\"command.written\"],\n      cancels: [\"data\", \"status.close\"],\n      fires: \"status.close\",\n      note: \"ioredis destroys a socket that gives no data while a command waits: it ends the hidden interval of a black hole\",\n    },\n    heartbeat: {\n      duration: { knob: \"heartbeat_interval\", unit: \"s\" },\n      arms: [\"enter:ready\", \"heartbeat\"],\n      cancels: [\"status.close\", \"status.end\"],\n      fires: \"heartbeat\",\n      note: \"a PING on the connection of the application\",\n    },\n    close: {\n      duration: { knob: \"close_bound\", unit: \"s\" },\n      arms: [\"close.request\"],\n      cancels: [\"status.end\"],\n      fires: \"close.bound\",\n    },\n  },\n  transitions: [\n    t(\"connect\", [\"none\", \"reconnecting\", \"end\", \"close\"], \"status.connecting\", \"connecting\"),\n    t(\"tcp\", \"connecting\", \"status.connect\", \"connect\"),\n    t(\"ready\", \"connect\", \"status.ready\", \"ready\"),\n    t(\"close\", [...LIVE], \"status.close\", \"close\"),\n    t(\"retry\", \"close\", \"status.reconnecting\", \"reconnecting\"),\n    t(\"end\", [...LIVE, \"close\"], \"status.end\", \"end\"),\n    t(\"join\", \"ready\", \"join\", \"ready\"),\n    t(\"miss\", \"ready\", \"watchdog.miss\", \"ready\"),\n    t(\"watchdog-reconnect\", \"ready\", \"watchdog.reconnect\", \"ready\"),\n    t(\"revive\", \"end\", \"watchdog.revive\", \"end\"),\n    // the retry strategy answers in `close`, before ioredis moves to `reconnecting` or `end`\n    t(\"window-ended\", \"close\", \"retry.window-ended\", \"close\"),\n    ...ANY.map((state) => t(`error-${state}`, state, \"error\", state)),\n    ...ANY.map((state) => t(`connect-failed-${state}`, state, \"connect.failed\", state)),\n    ...ANY.map((state) => t(`reissue-${state}`, state, \"command.reissue\", state)),\n    ...ANY.map((state) => t(`close-bound-${state}`, state, \"close.bound\", state, { timer: \"close\" })),\n    ...ANY.map((state) => t(`close-destroy-${state}`, state, \"close.destroy\", state)),\n  ],\n};\n"],"mappings":";;;;;;;;;;;;AAkEA,MAAa,UAA6B,OAAO,YAAY;CAI3D,OAAO,KAAI,OAHW,OAAO,YAAA,CAGX,QAAQ,OAAO;AACnC;;;ACzCA,MAAM,QAAgB;CAAE,OAAO;CAAY,MAAM;AAAI;AACrD,MAAM,KAAK,UAA4B,SAAS,KAAK,MAAM,QAAQ,GAAG,IAAI,KAAK,GAAG;AAClF,MAAM,WAAW,WACf,OAAO,UAAU,aAAa,OAAO,oBAAoB,QAAQ,QAAoB,GAAG;AAC1F,MAAM,QAAQ,QAAgB,SAC5B,OAAO,UAAU,aAAa,QAAQ,EAAE,QAAQ,MAAM,IAAI,IAAI;;;;;;;AAYhE,MAAa,YAAY,MAAc,OAAmB,cAAiC;CACzF,MAAM,YAAY,KAAK,MAAM,gBAAgB,EAA2B;CACxE,MAAM,YAAY,eAAoC;EACpD,IAAI;EACJ,QAAQ;EACR;EACA,QAAQ,mBAAmB,KAAK;CAClC;CACA,MAAM,WAAqB;EACzB,IAAI;EACJ,QAAQ,MAAM;EACd,WAAW;EACX,QAAQ;CACV;CACA,MAAM,UAAoB;EACxB,IAAI;EACJ,QAAQ,MAAM;EACd,WAAW;EACX,QAAQ;CACV;CACA,MAAM,SAAmB;EACvB,IAAI;EACJ,QAAQ,MAAM;EACd,WAAW;EACX,QAAQ;CACV;CACA,MAAM,UAAU,eAAuB,UAA2B;EAChE;EACA;EACA,WAAW;GACT;GACA;GACA,SAAS,WAAW;GACpB;GACA,SAAS,MAAM;GACf;IAAE,IAAI;IAAkB,QAAQ;IAAW,WAAW;IAAQ,QAAQ;GAAgD;EACxH;CACF;CACA,MAAM,gBAAgB,eAAuB,UAA2B;EACtE;EACA;EACA,WAAW;GACT;GACA;GACA,SAAS,WAAW;GACpB,SAAS,MAAM;GACf;IAAE,IAAI;IAAkB,QAAQ;IAAO,WAAW;IAAQ,QAAQ;GAA8C;EAClH;CACF;CACA,MAAM,aAAa,WAAsB,YAA8B;EAAE,IAAI;EAAoB,QAAQ,EAAE,CAAC;EAAG;EAAW;CAAO;CACjI,OAAO;EACL;GACE,eAAe;GACf,MAAM;GACN,WAAW;IACT,UAAU,aAAa,+EAA+E;IACtG,SAAS,MAAM;IACf;KAAE,IAAI;KAAkB,QAAQ,UAAU,UAAU,aAAa,QAAQ,MAAM;KAAgB,WAAW;KAAQ,QAAQ;IAA+B;GAC3J;EACF;EACA;GACE,eAAe;GACf,MAAM;GACN,WAAW,CAAC,UAAU,aAAa,0CAA0C,GAAG,UAAU,QAAQ,mBAAmB,CAAC;EACxH;EACA,OAAO,aAAa,sDAAsD;EAC1E,OAAO,eAAe,0EAA0E;EAChG,aAAa,kBAAkB,0DAA0D;EACzF,aAAa,aAAa,8FAA8F;CAC1H;AACF;;AAGA,MAAa,iBAAiB,SAAkB,cAA0C;CAIxF,OAHe,QAAQ,UACpB,QAAQ,aAAa,SAAS,cAAc,aAAa,SAAS,OAAO,UAAU,UAAU,CAAC,CAC9F,MAAM,GAAG,MAAM,QAAQ,EAAE,MAAM,IAAI,QAAQ,EAAE,MAAM,CAC1C,CAAC,CAAC,MAAM;AACtB;;AAGA,MAAa,aAAa,UACxB,MAAM,SAAS,YACZ,CAAC,aAAa,MAAM,CAAC,CAAW,SAAS,cACxC,cAAc,SAAS,SAAS,MAAM,OAAO,CAAC;CAAE,eAAe,QAAQ;CAAe;AAAU,CAAC,IAAI,CAAC,CACxG,CACF;;;;;;;;;AC7HF,MAAM,cAAc;CAElB;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CAEA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF;;;;;AAMA,MAAM,SAAS;CACb;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF;;AAGA,MAAa,mBAAwD,OAAO,YAAY,CACtF,GAAG,YAAY,KAAK,YAAY,CAAC,SAAS,EAAE,YAAY,KAAK,CAAC,CAAU,GACxE,GAAG,OAAO,KAAK,YAAY,CAAC,SAAS,EAAE,YAAY,MAAM,CAAC,CAAU,CACtE,CAAC;;AAGD,MAAa,eAAe,SAAiB,SAAqC;CAChF,MAAM,OAAO,QAAQ,YAAY;CACjC,KAAK,SAAS,YAAY,SAAS,YAAY,SAAS,YAAY,OAAO,KAAK,OAAO,UACrF,OAAO,GAAG,KAAK,GAAG,KAAK,EAAE,CAAC,YAAY;CACxC,OAAO;AACT;;;ACqDA,MAAM,MAAM,WACV,OAAO,UAAU,aAAa,OAAO,oBAAoB,QAAQ,QAAoB,IAAI;AAC3F,MAAM,UAAU,WAAuC;CACrD,MAAM,QAAQ,GAAG,MAAM;CACvB,OAAO,OAAO,SAAS,KAAK,IAAI,QAAQ,KAAA;AAC1C;AACA,MAAM,WAAW,UAA4B,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK;;;;;AAMlG,MAAa,gBAAgB,WAAgC;CAC3D,MAAM,GAAG,MAAM,UAAU;CACzB,QAAQ;CACR,KAAK,GAAG,MAAM,SAAS;CACvB,QAAQ;EAAE,MAAM;EAAO,QAAQ,GAAG,MAAM,UAAU;CAAE;AACtD;;AAGA,MAAa,gBAAgB,MAAc,SAAoC;CAC7E,MAAM,WAAqB,CAAC;CAC5B,MAAM,EAAE,UAAU;CAClB,IAAI,CAAC,OAAO,UAAU,KAAK,eAAe,KAAK,KAAK,kBAAkB,GACpE,SAAS,KAAK,GAAG,KAAK,0CAA0C,KAAK,gBAAgB,uCAAuC;CAC9H,IAAI,MAAM,mBAAmB,UAAU,YACrC,SAAS,KAAK,GAAG,KAAK,gFAAgF;CACxG,KAAK,MAAM,CAAC,MAAM,WAAW,OAAO,QAAQ,KAAK,GAC/C,IAAI,OAAO,UAAU,cAAc,EAAE,GAAG,MAAM,KAAK,IACjD,SAAS,KAAK,GAAG,KAAK,KAAK,KAAK,+BAA+B;CAEnE,IAAI,GAAG,MAAM,eAAe,KAAK,GAAG,SAAS,KAAK,GAAG,KAAK,qEAAqE;CAC/H,IAAI,GAAG,MAAM,iBAAiB,KAAK,GAAG,SAAS,KAAK,GAAG,KAAK,uCAAuC;CACnG,IAAI,GAAG,MAAM,SAAS,IAAI,GAAG,MAAM,UAAU,GAAG,SAAS,KAAK,GAAG,KAAK,qCAAqC;CAC3G,OAAO;AACT;;AAGA,MAAa,WAAmB,MAAM,MAAM,WAC1C,IAAI,SAAS,SAAS,WAAW;CAC/B,IAAI,OAAO,SAAS;EAClB,uBAAO,IAAI,MAAM,sBAAsB,CAAC;EACxC;CACF;CACA,MAAM,SAASA,QAAQ;EAAE;EAAM;CAAK,CAAC;CACrC,IAAI,QAAQ;CACZ,MAAM,OAAO,UAAwB;EACnC,OAAO,oBAAoB,SAAS,OAAO;EAC3C,OAAO,QAAQ;EACf,IAAI,UAAU,KAAA,GAAW,QAAQ;OAC5B,OAAO,KAAK;CACnB;CACA,MAAM,gBAAsB,oBAAI,IAAI,MAAM,sBAAsB,CAAC;CACjE,OAAO,iBAAiB,SAAS,SAAS,EAAE,MAAM,KAAK,CAAC;CACxD,OAAO,KAAK,iBAAiB,OAAO,MAAM,UAAU,CAAC;CACrD,OAAO,GAAG,SAAS,UAAU;EAC3B,SAAS,MAAM,SAAS;EACxB,IAAI,MAAM,SAAS,MAAM,GAAG,IAAI,MAAM,WAAW,OAAO,IAAI,KAAA,oBAAY,IAAI,MAAM,iBAAiB,MAAM,KAAK,GAAG,CAAC;CACpH,CAAC;CACD,OAAO,KAAK,UAAU,UAAU,IAAI,KAAK,CAAC;CAC1C,OAAO,KAAK,eAAe,oBAAI,IAAI,MAAM,4BAA4B,CAAC,CAAC;AACzE,CAAC;;;;;;;;;;;AAYH,MAAa,eAAe,MAAc,MAAuB,UAA8B,CAAC,MAAmB;CACjH,MAAM,WAAW,aAAa,MAAM,IAAI;CACxC,IAAI,SAAS,SAAS,GAAG,MAAM,IAAI,MAAM,SAAS,KAAK,IAAI,CAAC;CAC5D,MAAM,EAAE,UAAU;CAClB,MAAM,QAAQ,QAAQ,SAAS;CAC/B,MAAM,SAAS,QAAQ,UAAU,KAAK;CACtC,MAAM,SAAS,QAAQ,UAAU;CACjC,MAAM,OAAO,QAAQ,QAAQ;CAC7B,MAAM,OAAO,QAAQ,eAAe,IAAI,SAAe,YAAY,aAAa,OAAO,CAAC;CACxF,MAAM,aAAkD;EAAE,GAAG;EAAkB,GAAG,KAAK;CAAW;CAClG,MAAM,iBAAiB,GAAG,MAAM,eAAe;CAC/C,MAAM,YAAY,mBAAmB,MAAM,oBAAoB,MAAM,mBAAmB,KAAK,eAAe;CAC5G,MAAM,UAAU,aAAa,KAAK;CAElC,IAAI,aAAqC;CACzC,IAAI,SAAS;CACb,IAAI,UAAU;CACd,MAAM,QAAgB,CAAC;CAEvB,MAAM,2BAAW,IAAI,IAAgC;CACrD,MAAM,+BAAe,IAAI,IAAgB;CACzC,MAAM,YAA2D,CAAC;CAElE,MAAM,UAAU,MAAc,IAAY,IAAY,WACpD,QAAQ,SAAS;EAAE,IAAI,MAAM,IAAI;EAAG,SAAS;EAAU,UAAU;EAAM;EAAM;EAAI;EAAI,GAAI,WAAW,KAAA,IAAY,CAAC,IAAI,EAAE,OAAO;CAAG,CAAC;CAIpI,IAAI,aAA4B;CAChC,MAAM,iBAAiB,UAAiC;EACtD,MAAM,MAAM,MAAM,IAAI;EACtB,eAAe;EACf,IAAI,MAAM,aAAa,GAAG,MAAM,mBAAmB,GAAG;GACpD,OAAO,QAAQ,QAAQ,oBAAoB;GAC3C,OAAO;EACT;EACA,OAAO,KAAK,MAAM,aAAa,SAAS,OAAO,MAAM,CAAC;CACxD;CAEA,MAAM,oBAA4C;EAChD,MAAM,KAAK;EACX,MAAM,KAAK;EACX,GAAI,KAAK,OAAO,KAAA,IAAY,CAAC,IAAI,EAAE,IAAI,KAAK,GAAG;EAC/C,GAAI,KAAK,aAAa,KAAA,IAAY,CAAC,IAAI,EAAE,UAAU,KAAK,SAAS;EACjE,GAAI,KAAK,aAAa,KAAA,IAAY,CAAC,IAAI,EAAE,UAAU,KAAK,SAAS;EACjE,aAAa;EACb,gBAAgB,GAAG,MAAM,aAAa;EACtC,gBAAgB;EAChB,eAAe,OAAO,MAAM,oBAAoB;EAChD,WAAW,OAAO,MAAM,cAAc,KAAK;EAC3C,oBAAoB;EACpB,+BAA+B;EAC/B,sBAAsB;EACtB,kBAAkB;EAClB,gBAAgB;EAChB;CACF;;CAGA,MAAM,UAAU,UAA4B;EAC1C,MAAM,OAAO,QAAQ,KAAK;EAC1B,IAAI,iBAAiB,SAAS,MAAM,SAAS,cAAc,OAAO;GAAE,SAAS;GAAS,OAAO;GAAM,OAAO;EAAK;EAC/G,IAAI,sCAAsC,KAAK,IAAI,GAAG,OAAO;GAAE,SAAS;GAAS,OAAO;GAAM,OAAO;EAAM;EAC3G,OAAO;GAAE,SAAS;GAAiB,OAAO;EAAK;CACjD;CAEA,MAAM,UAAU,YAA2B;EACzC,aAAa;EACb,MAAM,IAAI;EACV,IAAI,MAAM,MAAM;EAChB,MAAM,aAAa,MAAM,SAAS;EAClC,MAAM,KAAK,MAAM,IAAI;EACrB,MAAM,SAAS,EAAE;EACjB,IAAI,WAA0B;EAC9B,IAAI;GACF,MAAM,QAAQ,MAAM,EAAE,KAAK,UAAU,IAAI;GACzC,WAAW,OAAO,UAAU,WAAW,QAAQ,OAAO,KAAK;GAC3D,IAAI,CAAC,OAAO,SAAS,QAAQ,GAAG,WAAW;EAC7C,QAAQ;GACN,WAAW;EACb;EAEA,IAAI,eAAe,KAAK,EAAE,WAAW,SAAS;EAC9C,MAAM,KAAK;GACT;GACA;GACA;GACA,cAAc,QAAQ,gBAAgB;GACtC,WAAW,QAAQ,aAAa;GAChC,eAAe,QAAQ,iBAAiB;GACxC,YAAY,QAAQ,cAAc;EACpC,CAAC;EACD,OAAO,SAAS,SAAS,QAAQ,cAAc,WAAW,cAAc,YAAY,WAAW;EAC/F,KAAK,MAAM,QAAQ,CAAC,GAAG,YAAY,GAAG,KAAK;CAC7C;CAEA,MAAM,YAAY,aAA2B;EAC3C,MAAM,OAAO;EACb,SAAS;EACT,OAAO,MAAM,IAAI,UAAU,IAAI;EAC/B,IAAI,OAAO,WAAW,OAAO,OAE3B,KAAK,MAAM,UAAU,CAAC,GAAG,QAAQ,GAAG,OAAO;GAAE,SAAS;GAAiB,OAAO,qDAAqD,KAAK;EAAG,CAAC;EAE9I,IAAI,OAAO,SAAS,QAAa;CACnC;CAEA,MAAM,SAAS,MAA6B;EAC1C,KAAK,MAAM,SAAS;GAAC;GAAc;GAAW;GAAS;GAAS;GAAgB;EAAK,GAAG;GACtF,MAAM,WAAW,SAAS,KAAK;GAC/B,EAAE,GAAG,OAAO,QAAQ;GACpB,UAAU,KAAK,CAAC,OAAO,QAAQ,CAAC;EAClC;EAEA,MAAM,WAAW,UAAyB,OAAO,QAAQ,QAAQ,SAAS,QAAQ,KAAK,CAAC;EACxF,EAAE,GAAG,SAAS,OAAO;EACrB,UAAU,KAAK,CAAC,SAAS,OAAO,CAAC;CACnC;;CAGA,MAAM,aAAa,QAAgB,WACjC,IAAI,SAAS,YAAY;EACvB,IAAI,YAAY,WAAW,SAAS;GAClC,QAAQ,IAAI;GACZ;EACF;EACA,IAAI,eAAuB,CAAC;EAC5B,MAAM,QAAQ,UAAyB;GACrC,aAAa,OAAO,IAAI;GACxB,OAAO;GACP,QAAQ,oBAAoB,SAAS,OAAO;GAC5C,QAAQ,KAAK;EACf;EACA,MAAM,aAAmB,KAAK,IAAI;EAClC,MAAM,gBAAsB,KAAK,KAAK;EACtC,aAAa,IAAI,IAAI;EACrB,SAAS,MAAM,MAAM,cAAc,KAAK,YAAY,WAAW,OAAO,CAAC;EACvE,QAAQ,iBAAiB,SAAS,SAAS,EAAE,MAAM,KAAK,CAAC;CAC3D,CAAC;CAEH,MAAM,WAAW,SAAiB,MAAsC,WAA2C;EACjH,MAAM,IAAI;EACV,IAAI,MAAM,MAAM,OAAO,QAAQ,QAAQ;GAAE,SAAS;GAAS,OAAO,GAAG,KAAK;GAAqB,OAAO;EAAM,CAAC;EAC7G,IAAI,EAAE,WAAW,SAAS,OAAO,QAAQ,QAAQ;GAAE,SAAS;GAAS,OAAO,GAAG,KAAK,MAAM,EAAE,OAAO;GAAoD,OAAO;EAAM,CAAC;EACrK,IAAI,QAAQ,SAAS,OAAO,QAAQ,QAAQ;GAAE,SAAS;GAAS,OAAO;GAA4D,OAAO;EAAM,CAAC;EACjJ,OAAO,IAAI,SAAkB,YAAY;GACvC,IAAI,UAAU;GACd,MAAM,UAAU,UAAyB;IACvC,IAAI,SAAS;IACb,UAAU;IACV,SAAS,OAAO,MAAM;IACtB,QAAQ,oBAAoB,SAAS,OAAO;IAC5C,QAAQ,KAAK;GACf;GAEA,MAAM,gBAAsB,OAAO;IAAE,SAAS;IAAiB,OAAO;GAAqD,CAAC;GAC5H,SAAS,IAAI,MAAM;GACnB,QAAQ,iBAAiB,SAAS,SAAS,EAAE,MAAM,KAAK,CAAC;GACzD,EAAE,KAAK,SAAS,GAAG,IAAI,CAAC,CAAC,MACtB,UAAU,OAAO;IAAE,SAAS;IAAM;GAAM,CAAC,IACzC,UAAmB,OAAO,OAAO,KAAK,CAAC,CAC1C;EACF,CAAC;CACH;CAEA,MAAM,OAAO,OAAU,SAAiB,OAAuC,CAAC,GAAG,cAA2B,CAAC,MAAwB;EACrI,MAAM,EAAE,WAAW;EACnB,MAAM,YAAY,YAAY,YAAY,QAAQ,KAAA,IAAY,WAAW,YAAY,SAAS,IAAI;EAClG,MAAM,UAAU,MAAM,IAAI;EAC1B,MAAM,QAAQ,MAAM,QAAQ,SAAS,MAAM,MAAM;EACjD,IAAI,MAAM,YAAY,MAAM,OAAO;GAAE,SAAS;GAAM,OAAO,MAAM;GAAY,UAAU;EAAE;EAEzF,MAAM,QACJ,EAAE,MAAM,YAAY,WAAW,MAAM,UACrC,cAAc,KAAA,KACd,QAAQ,YAAY,QACpB,WAAW,WAAW,UAAU,MAAM,IAAI,IAAI,WAAW,KAAM,GAAG,CAAC;EACrE,MAAM,OAAO,kBAAkB,MAAM,IAAI,IAAI;EAC7C,IAAI,CAAC,SAAS,QAAQ,KAAK,CAAE,MAAM,UAAU,MAAM,MAAM,GAAI,OAAO;GAAE,GAAG;GAAO,UAAU;EAAE;EAC5F,OAAO,QAAQ,QAAQ,mBAAmB,YAAY,SAAS,IAAI,CAAC;EAEpE,MAAM,QAAQ,IAAI,gBAAgB;EAClC,MAAM,MAAM,MAAM,MAAM,KAAK,IAAI,GAAG,kBAAkB,MAAM,IAAI,IAAI,QAAQ,SAAS,MAAM,MAAM,CAAC;EAClG,MAAM,gBAAsB,MAAM,MAAM;EACxC,QAAQ,iBAAiB,SAAS,SAAS,EAAE,MAAM,KAAK,CAAC;EACzD,MAAM,SAAS,MAAM,QAAQ,SAAS,MAAM,MAAM,MAAM;EACxD,IAAI;EACJ,QAAQ,oBAAoB,SAAS,OAAO;EAC5C,OAAO,OAAO,YAAY,OAAO;GAAE,SAAS;GAAM,OAAO,OAAO;GAAY,UAAU;EAAE,IAAI;GAAE,GAAG;GAAQ,UAAU;EAAE;CACvH;CAMA,IAAI,WAA6B;CACjC,MAAM,sBACJ,UAAU;EACR,UAAU,GAAG,MAAM,kBAAkB;EACrC,SAAS,GAAG,MAAM,iBAAiB;EACnC,QAAQ,KAAK;EACb;EACA;EAEA,SAAS;EACT,WAAW;GACT,MAAM,IAAI;GACV,IAAI,MAAM,QAAQ,SAAS,OAAO;GAClC,IAAI,EAAE,WAAW,OAAO;IAEtB,OAAO,QAAQ,QAAQ,iBAAiB;IACxC,aAAa;IACb,EAAE,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC;IAC1B,OAAO;GACT;GACA,OAAO,EAAE,WAAW;EACtB;EACA,OAAO,WACL,QAAQ,QAAQ,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,WAAW,OAAO,YAAY,QAAS,OAAO,YAAY,WAAW,OAAO,KAAM;EACtH,YAAY,YAAY,WAAW,WAAW,CAAC;EAC/C,SAAS,WAAW,OAAO,QAAQ,QAAQ,iBAAiB,GAAG,OAAO,MAAM,KAAK,iBAAiB;EAClG,cAAc;GACZ,OAAO,QAAQ,QAAQ,oBAAoB;GAC3C,YAAY,WAAW,IAAI;EAC7B;CACF,CAAC;CAEH,MAAM,SAA2B;EAC/B,MAAM,QAAQ,QAAQ;GACpB,UAAU;GACV,MAAM,IAAI,MAAM,OAAO,iBAAiB;GACxC,aAAa;GACb,MAAM,CAAC;GACP,IAAI,OAAO,SAAS,MAAM,IAAI,MAAM,GAAG,KAAK,yCAAyC;GAGrF,MAAM,EAAE,QAAQ,CAAC,CAAC,OAAO,UAAmB,OAAO,QAAQ,QAAQ,kBAAkB,QAAQ,KAAK,CAAC,CAAC;GACpG,UAAU,KAAK;GACf,WAAW,cAAc;EAC3B;EACA,MAAM,QAAQ;GACZ,UAAU;GACV,UAAU,KAAK;GACf,WAAW;GACX,MAAM,IAAI;GACV,IAAI,MAAM,MAAM;GAEhB,MAAM,OAAO,EAAE,KAAK,CAAC,CAAC,WACd,cACA,MACR;GACA,IAAI,eAAuB,CAAC;GAC5B,MAAM,QAAQ,IAAI,SAAkB,YAAY;IAC9C,SAAS,MAAM,MAAM,GAAG,MAAM,WAAW,SAAS,QAAQ,OAAO,CAAC;GACpE,CAAC;GACD,MAAM,eAAe,MAAM,IAAI;GAC/B,MAAM,QAAQ,MAAM,QAAQ,KAAK,CAAC,MAAM,KAAK,CAAC;GAC9C,OAAO;GACP,IAAI,UAAU,SAAS,OAAO,QAAQ,QAAQ,aAAa;GAE3D,IAAI,EAAE,WAAW,OAAO,EAAE,WAAW,KAAK;GAE1C,MAAM,SAAS,WACb,EAAE,WAAW,QACT,QAAQ,QAAQ,IAChB,IAAI,SAAe,YAAY;IAC7B,IAAI,aAAqB,CAAC;IAC1B,MAAM,YAAkB;KACtB,EAAE,IAAI,OAAO,GAAG;KAChB,KAAK;KACL,QAAQ;IACV;IACA,EAAE,GAAG,OAAO,GAAG;IACf,OAAO,MAAM,MAAM,KAAK,IAAI,GAAG,MAAM,GAAG,GAAG;GAC7C,CAAC;GACP,MAAM,MAAM,GAAG,MAAM,WAAW,KAAK,MAAM,IAAI,IAAI,aAAa;GAEhE,IAAI,EAAE,WAAW,OAAO;IACtB,OAAO,QAAQ,QAAQ,eAAe;IACtC,EAAE,QAAQ,UAAU;IACpB,MAAM,MAAM,CAAC;GACf;GACA,KAAK,MAAM,CAAC,OAAO,aAAa,WAAW,EAAE,IAAI,OAAO,QAAQ;GAChE,UAAU,SAAS;GACnB,KAAK,MAAM,UAAU,CAAC,GAAG,QAAQ,GAAG,OAAO;IAAE,SAAS;IAAiB,OAAO;GAA+C,CAAC;GAC9H,SAAS;EACX;CACF;CAEA,MAAM,cAAwC;EAC5C,QAAQ,KAAK;EACb,OAAO;GACL,eAAe,MAAM;GACrB,iBAAiB,MAAM;GACvB,sBAAsB,MAAM;GAC5B,gBAAgB,MAAM;GACtB,oBAAoB,MAAM;GAC1B,mBAAmB,MAAM;GACzB,0BAA0B;GAC1B,qBAAqB,MAAM;GAC3B,YAAY,MAAM;GAClB,WAAW,MAAM;GACjB,aAAa,MAAM;GACnB,oBAAoB,MAAM;GAC1B,qBAAqB,MAAM;EAC7B;EACA;CACF;CAEA,MAAM,UAAU,iBAAyE;EACvF,MAAM,OAAyC,CAAC;EAChD,MAAM,WAAW,MAAkB,eAAwB,QAAuB;GAChF,IAAI,EAAE,QAAQ,aAAa,QAAQ;GACnC,KAAK,KAAK,CACR;IAAE,MAAM,GAAG,KAAK,GAAG;IAAQ,YAAY;IAAM;IAAM;IAAe,OAAO,aAAa,MAAM,SAAS;IAAM,MAAM,aAAa;GAAK,GACnI,GACF,CAAC;EACH;EAEA,QAAQ,eAAe,YAAa,YAAY,WAAW,UAAU,OAAO,OAAQ;EAEpF,QAAQ,cAAc,MAAM,OAAO,WAA6B;GAG9D,QAAO,MADc,KAAK,QAAQ,CAAC,GAAG;IAAE;IAAQ,SAAS;GAAM,CAAC,EAAA,CAClD,YAAY,OAAO,OAAO;EAC1C,CAAC;EAED,QAAQ,QAAQ,OAAO,OAAO,WAA6B;GACzD,MAAM,KAAK,KAAK,MAAM,KAAK,MAAM,MAAM;GACvC,OAAO;EACT,CAAC;EACD,OAAO;CACT;CAEA,OAAO;EACL;EACA;EACA;EACA,OAAO,SAAS,MAAM,OAAO,SAAS;EACtC,IAAI,SAAS;GACX,OAAO,eAAe,OAAO,SAAS,WAAW;EACnD;EACA;EACA;EACA;EACA,OAAO,KAAK,cAAc;GACxB,IAAI,WAAW,MAAM,aAAa,MAAM;GACxC,KAAK,MAAM,CAAC,OAAO,QAAQ,OAAO,YAAY,GAAG,IAAI,MAAM,OAAO,GAAG;GACrE,OAAO;EACT;EACA,SAAS,aAAa;GACpB,MAAM,QAAkB,CAAC;GACzB,MAAM,WAAW,YAAY,SAAS,OAAO,MAAM,UAAU,MAAM,SAAS,wBAAwB;GACpG,IAAI,aAAa,KAAA,GAAW,MAAM,KAAK,GAAG,KAAK,mDAAmD;QAC7F,IAAI,GAAG,MAAM,WAAW,KAAK,QAAQ,SAAS,KAAK,IAAI,GAC1D,MAAM,KAAK,GAAG,KAAK,oBAAoB,GAAG,MAAM,WAAW,EAAE,wDAAwD;GACvH,KAAK,MAAM,SAAS,YAAY,QAAQ;IACtC,IAAI,MAAM,eAAe,MAAM;IAC/B,MAAM,UAAU,QAAQ,MAAM,KAAK,SAAS,IAAI;IAChD,IAAI,MAAM,SAAS,gBAAgB,iBAAiB,UAAU,QAAQ,MAAM,KAAK,UAAU,IAAI,KAAK,IAAI,MAAM,KAAK,SACjH,MAAM,KAAK,GAAG,KAAK,mDAAmD,MAAM,KAAK,WAAW;GAChG;GACA,OAAO;EACT;CACF;AACF;;;;;;;;;;;;;;ACnlBA,MAAa,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+G9B,MAAa,qBAAqB,QAAqB,YAA+C;CACpG,IAAI,OAAO,KAAK,QAAQ,MAAM,GAAG,MAAM,IAAI,MAAM,cAAc,QAAQ,OAAO,mEAAmE;CACjJ,OAAO;EACL,MAAM;EACN,MAAM,KAAK,EAAE,SAAS,KAAK,MAAM,WAA8B;GAC7D,MAAM,OAAO,GAAG,QAAQ,OAAO,GAAG,QAAQ;GAC1C,MAAM,UAAU,KAAK,SAAS,iBAAiB,CAAC,KAAK,UAAU,KAAK,KAAK,IAAI,CAAC,KAAK,OAAO,KAAK,MAAM;GACrG,MAAM,MAAM,QAAQ,UAAU,KAAA,IAAY,KAAK,OAAO,QAAQ,MAAM,IAAI,CAAC;GACzE,MAAM,OAAO,MAAM,OAAO,KAAgB,QAAQ;IAChD;IACA;IACA,GAAG,KAAK,OAAO;IACf,GAAG,KAAK;IACR,KAAK;IACL,OAAO,QAAQ,EAAE;IACjB,OAAO,QAAQ,EAAE;IACjB,OAAO,OAAO;IACd;IACA;GACF,CAAC;GACD,IAAI,KAAK,YAAY,MAAM,MAAM,IAAI,MAAM,qBAAqB,QAAQ,WAAW,KAAK,QAAQ,KAAK,KAAK,OAAO;GACjH,OAAO,QAAQ,SAAS,KAAK,KAAK;EACpC;CACF;AACF;;AAGA,MAAM,WAAW,SAAiB,UAA6B;CAC7D,IAAI,MAAM,QAAQ,KAAK,KAAK,OAAO,MAAM,EAAE,MAAM,KAAK,MAAM,WAAW,GAAG,OAAO;EAAE,SAAS;EAAM,WAAW,OAAO,MAAM,EAAE;CAAE;CAC9H,IAAI,MAAM,QAAQ,KAAK,KAAK,OAAO,MAAM,EAAE,MAAM,KAAK,MAAM,WAAW,MAAM,MAAM,OAAO,WAAW,MAAM,OAAO,QAAQ;EACxH,MAAM,aAAa,OAAO,MAAM,EAAE;EAClC,IAAI,OAAO,SAAS,UAAU,KAAK,aAAa,GAAG,OAAO;GAAE,SAAS;GAAO,YAAY;IAAE,OAAO;IAAY,MAAM;GAAK;GAAG,OAAO,MAAM;EAAG;CAC7I;CACA,MAAM,IAAI,MAAM,qBAAqB,QAAQ,wCAAwC,KAAK,UAAU,KAAK,GAAG;AAC9G;;;AC/JA,MAAM,KAAK,IAAY,MAAkC,IAAgC,IAAY,QAAgC,CAAC,OAAsB;CAC1J;CACA;CACA;CACA;CACA,GAAG;AACL;AACA,MAAM,QAAQ,SAAiB;CAAE;CAAK,OAAO;CAAU,MAAM;CAAK,SAAS;AAAK;;AAGhF,MAAM,OAAO;CAAC;CAAc;CAAW;CAAS;AAAc;AAC9D,MAAM,MAAM;CAAC;CAAQ;CAAc;CAAW;CAAS;CAAS;CAAgB;AAAK;;;;;;;;;;;AAYrF,MAAa,uBAAgC;CAC3C,QAAQ;CACR,IAAI;CACJ,OAAO;CACP,OAAO;CACP,SAAS;CACT,SAAS,CAAC;EAAE,KAAK;EAAoE,MAAM;CAAc,CAAC;CAC1G,QAAQ;EACN,MAAM;GAAE,SAAS;GAAM,MAAM;EAAiD;EAC9E,YAAY,EAAE,MAAM,2BAA2B;EAC/C,SAAS,EAAE,MAAM,oDAAoD;EACrE,OAAO,EAAE,MAAM,mFAAmF;EAClG,OAAO,EAAE,MAAM,qEAAqE;EACpF,cAAc,EAAE,MAAM,4DAA4D;EAClF,KAAK,EAAE,MAAM,yFAAyF;CACxG;CACA,QAAQ;EACN,qBAAqB,EAAE,MAAM,QAAQ;EACrC,kBAAkB,EAAE,MAAM,KAAK;EAC/B,gBAAgB,EAAE,MAAM,KAAK;EAC7B,gBAAgB,EAAE,MAAM,KAAK;EAC7B,uBAAuB,EAAE,MAAM,QAAQ;EACvC,cAAc,EAAE,MAAM,QAAQ;EAC9B,MAAM;GAAE,MAAM;GAAM,MAAM;EAAuC;EACjE,OAAO,EAAE,MAAM,KAAK;EACpB,kBAAkB,EAAE,MAAM,QAAQ;EAClC,mBAAmB,EAAE,MAAM,KAAK;EAChC,mBAAmB,EAAE,MAAM,QAAQ;EACnC,MAAM,EAAE,MAAM,KAAK;EACnB,WAAW,EAAE,MAAM,QAAQ;EAC3B,iBAAiB,EAAE,MAAM,QAAQ;EACjC,sBAAsB,EAAE,MAAM,QAAQ;EACtC,mBAAmB,EAAE,MAAM,QAAQ;EACnC,sBAAsB,EAAE,MAAM,QAAQ;EACtC,iBAAiB,EAAE,MAAM,QAAQ;EACjC,eAAe,EAAE,MAAM,QAAQ;EAC/B,iBAAiB;GAAE,MAAM;GAAS,MAAM;EAAkE;CAC5G;CACA,OAAO;EACL,eAAe,KAAK,gBAAgB;EACpC,sBAAsB,KAAK,eAAe;EAC1C,oBAAoB,KAAK,mBAAmB;EAC5C,aAAa,KAAK,aAAa;CACjC;CACA,QAAQ;EACN,iBAAiB;GACf,UAAU;IAAE,MAAM;IAAiB,MAAM;GAAI;GAC7C,MAAM,CAAC,kBAAkB;GACzB,SAAS,CAAC,kBAAkB,cAAc;GAC1C,OAAO;GACP,MAAM;EACR;EACA,UAAU;GACR,UAAU;IAAE,MAAM;IAAwB,MAAM;GAAI;GACpD,MAAM,CAAC,iBAAiB;GACxB,SAAS,CAAC,QAAQ,cAAc;GAChC,OAAO;GACP,MAAM;EACR;EACA,WAAW;GACT,UAAU;IAAE,MAAM;IAAsB,MAAM;GAAI;GAClD,MAAM,CAAC,eAAe,WAAW;GACjC,SAAS,CAAC,gBAAgB,YAAY;GACtC,OAAO;GACP,MAAM;EACR;EACA,OAAO;GACL,UAAU;IAAE,MAAM;IAAe,MAAM;GAAI;GAC3C,MAAM,CAAC,eAAe;GACtB,SAAS,CAAC,YAAY;GACtB,OAAO;EACT;CACF;CACA,aAAa;EACX,EAAE,WAAW;GAAC;GAAQ;GAAgB;GAAO;EAAO,GAAG,qBAAqB,YAAY;EACxF,EAAE,OAAO,cAAc,kBAAkB,SAAS;EAClD,EAAE,SAAS,WAAW,gBAAgB,OAAO;EAC7C,EAAE,SAAS,CAAC,GAAG,IAAI,GAAG,gBAAgB,OAAO;EAC7C,EAAE,SAAS,SAAS,uBAAuB,cAAc;EACzD,EAAE,OAAO,CAAC,GAAG,MAAM,OAAO,GAAG,cAAc,KAAK;EAChD,EAAE,QAAQ,SAAS,QAAQ,OAAO;EAClC,EAAE,QAAQ,SAAS,iBAAiB,OAAO;EAC3C,EAAE,sBAAsB,SAAS,sBAAsB,OAAO;EAC9D,EAAE,UAAU,OAAO,mBAAmB,KAAK;EAE3C,EAAE,gBAAgB,SAAS,sBAAsB,OAAO;EACxD,GAAG,IAAI,KAAK,UAAU,EAAE,SAAS,SAAS,OAAO,SAAS,KAAK,CAAC;EAChE,GAAG,IAAI,KAAK,UAAU,EAAE,kBAAkB,SAAS,OAAO,kBAAkB,KAAK,CAAC;EAClF,GAAG,IAAI,KAAK,UAAU,EAAE,WAAW,SAAS,OAAO,mBAAmB,KAAK,CAAC;EAC5E,GAAG,IAAI,KAAK,UAAU,EAAE,eAAe,SAAS,OAAO,eAAe,OAAO,EAAE,OAAO,QAAQ,CAAC,CAAC;EAChG,GAAG,IAAI,KAAK,UAAU,EAAE,iBAAiB,SAAS,OAAO,iBAAiB,KAAK,CAAC;CAClF;AACF"}

package/build/{limiter-DzTyosou.d.ts → store-DzTyosou.d.ts}

@@ -69,4 +69,4 @@ interface KeyedLimiter {
 declare const keyedLimiter: (name: string, spec: LimiterSpec, store: LimiterStore) => KeyedLimiter;
 //#endregion
 export { keyedLimiter as a, TakeRequest as i, LimiterStore as n, memoryStore as o, MemoryStore as r, KeyedLimiter as t };
-//# sourceMappingURL=limiter-DzTyosou.d.ts.map
+//# sourceMappingURL=store-DzTyosou.d.ts.map

package/package.json

@@ -1,7 +1,7 @@
 {
   "$schema": "https://json.schemastore.org/package",
   "name": "@mark1russell7/service",
-  "version": "0.5.3",
+  "version": "0.5.4",
   "description": "A service declared as data before it starts, and its runtime: checks on jittered loops, a latch for each policy, probes from the cache, the startup in its sequence, and a staged, capped drain. The timer-ordering law checks the declaration. Its clock, heartbeat and backoff also work alone, in a browser too.",
   "keywords": [
     "service",