@mark1russell7/machines 0.3.17 → 0.3.19

package/README.md

@@ -34,6 +34,7 @@ The algebra reads these documents. It gives the closed form of each timer, the f
 | `NODE_HTTP_SERVER` | `node-http-server` | One connection of the `http.Server` of Node 24.21.0 | server | 8 implemented |
 | `NODE_HTTP_AGENT` | `node-http-agent` | One socket of the `http.Agent` of Node 24.21.0 | driver | 9 implemented |
 | `UNDICI_CLIENT` | `undici-client-h1` | The socket of an HTTP/1.1 `Client` of undici 8.12.2 | driver | 8 implemented |
+| `UNDICI_RETRY` | `undici-retry-agent` | One request through a `RetryAgent` of undici 8.12.2 | driver | 7 implemented, 1 normative |
 | `GO_TRANSPORT` | `go-nethttp-transport` | One connection of the `http.Transport` of Go 1.27.2 | driver | 7 implemented |
 | `PROCEDURES_WS_CLIENT` | `procedures-ws-client` | The WebSocket client of `@procedures/client` 0.3.0 | driver | 9 implemented, 1 documented |
 | `PROCEDURES_WS_SERVER` | `procedures-ws-server` | The WebSocket server of `@procedures/client` 0.3.0 | server | 4 implemented |
@@ -58,8 +59,9 @@ The algebra reads these documents. It gives the closed form of each timer, the f
 | `ENVOY_HTTP2` | `envoy-http2` | Envoy 1.39.4 as an HTTP/2 proxy of gRPC: one connection of a client, its streams, the local replies and the close | proxy | 16 implemented |
 | `TOXIPROXY_LINK` | `toxiproxy-link` | Toxiproxy 2.12.0 with no toxic: one proxied TCP connection and its close | proxy | 9 implemented |
 | `DOCKER_PROXY_LINK` | `docker-proxy-link` | docker-proxy of Docker Engine 29.1.5: one proxied TCP connection and its close | proxy | 9 implemented |
+| `CADDY_HTTP2` | `caddy-http2` | Caddy 2.11.7 as an HTTP/2 proxy of gRPC: one connection of a client, its idle close, its replies and its stop | proxy | 12 implemented |
 
-Twenty-seven documents operate on Linux TCP (`over`). Linux TCP, conntrack, the Sentinel, the replication of mongod, aten and the member of Ra operate on no other document. The `conditions` of each document give the range where it holds, for example a range of kernels.
+Twenty-eight documents operate on Linux TCP (`over`). Seven documents operate on no other document: Linux TCP, conntrack, the Sentinel, the replication of mongod, aten, the member of Ra and the `RetryAgent` of undici. The `RetryAgent` is one request above the sockets of a `Client`. Its timer is the delay of a retry. Each retry can go on a new socket. The `conditions` of each document give the range where it holds, for example a range of kernels.
 
 The package also gives these parts:
 
@@ -105,6 +107,10 @@ A change to the version of a system changes its sources too. Each fact of the do
 
 In this repository, a snapshot of the predictions of the cells (`packages/cells/src/__snapshots__/predictions.json`) shows each prediction that a change to a document moves.
 
+### 0.3.18
+
+- **Caddy 2.11.7 as a proxy of gRPC** (`caddy-http2`), from the source at its tag and of golang.org/x/net v0.59.0. With no stream open for 5 min, Caddy sends GOAWAY NO_ERROR, and it closes the connection 1 s later. A PING of the client does not reset that timer. A failure of the upstream before the headers of a response gives 502, thus UNAVAILABLE. Caddy retries no call at the defaults, and at SIGTERM it waits for each stream.
+
 ### 0.3.17
 
 - **The proxies of T02 for gRPC: Envoy 1.39.4, Toxiproxy 2.12.0 and docker-proxy 29.1.5.** Three new documents, each from the source at its tag:

package/build/index.d.ts

@@ -95,6 +95,29 @@ export declare const NODE_HTTP_SERVER: Machine;
  */
 export declare const UNDICI_CLIENT: Machine;
 //#endregion
+//#region src/http/undici-retry.d.ts
+/**
+ * This document is one request through a `RetryAgent` of undici 8.12.2: the retries of a reply
+ * whose status is retryable, for example 429 or 503. Each fact comes from the published package at
+ * 8.12.2, with the file and the line. The defaults are 5 retries, a backoff from 500 ms with a factor
+ * of 2, a cap of 30 s, and Retry-After read.
+ *
+ * - The delay of a retry is the Retry-After of the reply, capped by `maxTimeout`. A Retry-After
+ *   longer than the cap does not stop the retries: the retry comes early. A reply without
+ *   Retry-After gets the backoff, with no jitter.
+ * - The agent gives up after `maxRetries` retries. The caller then gets `RequestRetryError`, with
+ *   the status of the last reply. Thus the retry window of the caller is the sum of the delays.
+ * - A POST and a PATCH are not retried.
+ * - The delay is a native Node timer. It arms after the parse of the whole reply, thus it comes after
+ *   the last segment by the handling time of the program. No source bounds that time, and this
+ *   document does not hold it. The cells add it from a calibration (`HANDLING` in
+ *   `packages/cells/src/http/race.ts`).
+ *
+ * The plain `Client` and `fetch` of undici, and the `fetch` of Node 24.21.0 (undici 7.29.1), send no
+ * request again for a status. Their retry window is 0.
+ */
+export declare const UNDICI_RETRY: Machine;
+//#endregion
 //#region src/ioredis-sentinel.d.ts
 /**
  * This document is the Sentinel path of ioredis 6.0.0. It tells how ioredis finds the primary of a
@@ -373,6 +396,19 @@ export declare const PROCEDURES_WS_CLIENT: Machine;
  */
 export declare const PROCEDURES_WS_SERVER: Machine;
 //#endregion
+//#region src/proxy/caddy.d.ts
+/**
+ * This document is Caddy 2.11.7 as an HTTP/2 proxy of gRPC, for one connection of a client. Its
+ * configuration is the one of the harness: one server of h1 and h2c, and `reverse_proxy` to one upstream
+ * of h2c. Each other option is at its default.
+ *
+ * With no stream open for 5 min, Caddy sends GOAWAY NO_ERROR, and it closes the connection 1 s later. A
+ * PING of the client does not reset that timer. Before the headers of a response, a failure of the
+ * upstream gives 502, thus UNAVAILABLE. After them, Caddy resets the stream with INTERNAL_ERROR. Caddy
+ * sends no PING. At SIGTERM it sends GOAWAY at once, and it waits for each stream at its defaults.
+ */
+export declare const CADDY_HTTP2: Machine;
+//#endregion
 //#region src/proxy/envoy.d.ts
 /**
  * This document is Envoy 1.39.4 as an HTTP/2 proxy of gRPC, for one connection of a client. Its static