@mark1russell7/machines 0.3.17 → 0.3.18

package/README.md

@@ -58,8 +58,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`). 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.
 
 The package also gives these parts:
 
@@ -105,6 +106,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

@@ -373,6 +373,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