@mark1russell7/machines 0.3.16 → 0.3.17

package/build/index.js

@@ -1,49 +1,49 @@
 import { machineSchema } from "@mark1russell7/algebra";
 import { z } from "zod";
 //#region src/grpc/grpc-go-server.ts
-const AT$9 = "grpc-go v1.84.0";
+const AT$10 = "grpc-go v1.84.0";
 const GO = "go1.27.2 src/net";
 const ETCD = "etcd v3.6.15";
 /** These are the facts of the transport of grpc-go, for each server on it. */
 const TRANSPORT = [
 	{
-		ref: `${AT$9} internal/transport/defaults.go:31-40 the server keepalive: Time 2 h, Timeout 20 s. MinTime of the policy 5 min. MaxConnectionIdle, Age and AgeGrace infinite`,
+		ref: `${AT$10} internal/transport/defaults.go:31-40 the server keepalive: Time 2 h, Timeout 20 s. MinTime of the policy 5 min. MaxConnectionIdle, Age and AgeGrace infinite`,
 		rung: "implemented"
 	},
 	{
-		ref: `${AT$9} internal/transport/http2_server.go:226-253 the defaults of the parameters, a jitter of 10 % on MaxConnectionAge, and TCP_USER_TIMEOUT = Timeout when Time is not infinite`,
+		ref: `${AT$10} internal/transport/http2_server.go:226-253 the defaults of the parameters, a jitter of 10 % on MaxConnectionAge, and TCP_USER_TIMEOUT = Timeout when Time is not infinite`,
 		rung: "implemented"
 	},
 	{
-		ref: `${AT$9} internal/syscall/syscall_linux.go:71-90 SetTCPUserTimeout acts only on a *net.TCPConn. On any other net.Conn it does nothing`,
+		ref: `${AT$10} internal/syscall/syscall_linux.go:71-90 SetTCPUserTimeout acts only on a *net.TCPConn. On any other net.Conn it does nothing`,
 		rung: "implemented"
 	},
 	{
-		ref: `${AT$9} internal/transport/http2_server.go:1197-1286 keepalive(): a PING after Time with no read, and Close when no read comes for Timeout after it. MaxConnectionIdle and MaxConnectionAge drain with GOAWAY, and AgeGrace closes`,
+		ref: `${AT$10} internal/transport/http2_server.go:1197-1286 keepalive(): a PING after Time with no read, and Close when no read comes for Timeout after it. MaxConnectionIdle and MaxConnectionAge drain with GOAWAY, and AgeGrace closes`,
 		rung: "implemented"
 	},
 	{
-		ref: `${AT$9} internal/transport/http2_server.go:881-933 handlePing: a PING less than MinTime after the last one is a strike, and with no stream open and PermitWithoutStream false, less than 2 h. The third strike sends GOAWAY ENHANCE_YOUR_CALM too_many_pings and closes the connection`,
+		ref: `${AT$10} internal/transport/http2_server.go:881-933 handlePing: a PING less than MinTime after the last one is a strike, and with no stream open and PermitWithoutStream false, less than 2 h. The third strike sends GOAWAY ENHANCE_YOUR_CALM too_many_pings and closes the connection`,
 		rung: "implemented"
 	},
 	{
-		ref: `${AT$9} internal/transport/http2_server.go:279-281, :1064, :1132, :1176 each write of headers, a status or data by the server clears the strikes`,
+		ref: `${AT$10} internal/transport/http2_server.go:279-281, :1064, :1132, :1176 each write of headers, a status or data by the server clears the strikes`,
 		rung: "implemented"
 	},
 	{
-		ref: `${AT$9} internal/transport/http2_server.go:1291-1310 Close closes the net.Conn: a FIN, or a reset when bytes are unread`,
+		ref: `${AT$10} internal/transport/http2_server.go:1291-1310 Close closes the net.Conn: a FIN, or a reset when bytes are unread`,
 		rung: "implemented"
 	},
 	{
-		ref: `${AT$9} internal/transport/http2_server.go:536-537, :603-615 a call with the header grpc-timeout gets a timer of that timeout from the read of its headers. Its end closes the stream with RST_STREAM CANCEL, and the context of the handler ends`,
+		ref: `${AT$10} internal/transport/http2_server.go:536-537, :603-615 a call with the header grpc-timeout gets a timer of that timeout from the read of its headers. Its end closes the stream with RST_STREAM CANCEL, and the context of the handler ends`,
 		rung: "implemented"
 	},
 	{
-		ref: `${AT$9} server.go:192, :1000-1009 a deadline of 120 s for the handshake of each new connection (ConnectionTimeout)`,
+		ref: `${AT$10} server.go:192, :1000-1009 a deadline of 120 s for the handshake of each new connection (ConnectionTimeout)`,
 		rung: "implemented"
 	},
 	{
-		ref: `${AT$9} server.go:894-905 the comment of grpc-go: Go sets a TCP keepalive of 15 s on each accepted connection`,
+		ref: `${AT$10} server.go:894-905 the comment of grpc-go: Go sets a TCP keepalive of 15 s on each accepted connection`,
 		rung: "documented"
 	},
 	{
@@ -702,7 +702,7 @@ const ETCD_SERVER = serverOf({
 });
 //#endregion
 //#region src/grpc/grpc-js.ts
-const AT$8 = "@grpc/grpc-js 1.14.6 src";
+const AT$9 = "@grpc/grpc-js 1.14.6 src";
 /**
 * This document is grpc-js 1.14.6 on Node, for one channel to one server with no TLS, its transport
 * (one HTTP/2 session on one TCP connection) and one unary call on it. It gives the states of the
@@ -732,83 +732,83 @@ const GRPC_JS = machineSchema.parse({
 	},
 	sources: [
 		{
-			ref: `${AT$8}/transport.ts:70 KEEPALIVE_TIMEOUT_MS is 20000`,
+			ref: `${AT$9}/transport.ts:70 KEEPALIVE_TIMEOUT_MS is 20000`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/transport.ts:183-198 grpc.keepalive_time_ms is -1 when the caller gives none, grpc.keepalive_timeout_ms is 20000, and grpc.keepalive_permit_without_calls is false`,
+			ref: `${AT$9}/transport.ts:183-198 grpc.keepalive_time_ms is -1 when the caller gives none, grpc.keepalive_timeout_ms is 20000, and grpc.keepalive_permit_without_calls is false`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/transport.ts:447-453 a PING goes out only with a keepalive time above 0, and with a call in flight or permit_without_calls`,
+			ref: `${AT$9}/transport.ts:447-453 a PING goes out only with a keepalive time above 0, and with a call in flight or permit_without_calls`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/transport.ts:455-507 each PING starts a timer of keepalive_timeout_ms, and its end with no ACK ends the transport (handleDisconnect). A failed send of the PING ends it too`,
+			ref: `${AT$9}/transport.ts:455-507 each PING starts a timer of keepalive_timeout_ms, and its end with no ACK ends the transport (handleDisconnect). A failed send of the PING ends it too`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/transport.ts:515-534 and :553-561 the keepalive timer starts with the first call in flight, and after each ACK. It is not reset by data. When it ends with no call in flight, the PING goes out at the start of the next call`,
+			ref: `${AT$9}/transport.ts:515-534 and :553-561 the keepalive timer starts with the first call in flight, and after each ACK. It is not reset by data. When it ends with no call in flight, the PING goes out at the start of the next call`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/transport.ts:200-242 a close or an error of the session, or a close of its socket, ends the transport. A GOAWAY makes it unusable (reportDisconnectToOwner)`,
+			ref: `${AT$9}/transport.ts:200-242 a close or an error of the session, or a close of its socket, ends the transport. A GOAWAY makes it unusable (reportDisconnectToOwner)`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/transport.ts:205-227 a GOAWAY ENHANCE_YOUR_CALM with the data too_many_pings tells the subchannel that the server refused the pings`,
+			ref: `${AT$9}/transport.ts:205-227 a GOAWAY ENHANCE_YOUR_CALM with the data too_many_pings tells the subchannel that the server refused the pings`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/transport.ts:431-441 handleDisconnect: each call in flight gets onDisconnect, and the session is destroyed in the next turn of the event loop`,
+			ref: `${AT$9}/transport.ts:431-441 handleDisconnect: each call in flight gets onDisconnect, and the session is destroyed in the next turn of the event loop`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/transport.ts:684-687 shutdown closes the session: a GOAWAY, then the end of the socket after the last stream`,
+			ref: `${AT$9}/transport.ts:684-687 shutdown closes the session: a GOAWAY, then the end of the socket after the last stream`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/transport.ts:792-810 the transport is ready at the first SETTINGS of the server (remoteSettings)`,
+			ref: `${AT$9}/transport.ts:792-810 the transport is ready at the first SETTINGS of the server (remoteSettings)`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/transport.ts:818-840 the TCP connect is net.connect with no timeout`,
+			ref: `${AT$9}/transport.ts:818-840 the TCP connect is net.connect with no timeout`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/transport.ts:862 setNoDelay on each connection: TCP_NODELAY, thus no Nagle. No setKeepAlive anywhere in the package`,
+			ref: `${AT$9}/transport.ts:862 setNoDelay on each connection: TCP_NODELAY, thus no Nagle. No setKeepAlive anywhere in the package`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/subchannel-call.ts:360-371 onDisconnect ends the call with UNAVAILABLE 'Connection dropped' in the next turn of the event loop, unless the stream ends first`,
+			ref: `${AT$9}/subchannel-call.ts:360-371 onDisconnect ends the call with UNAVAILABLE 'Connection dropped' in the next turn of the event loop, unless the stream ends first`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/subchannel-call.ts:230-329 the end of a stream with no status: REFUSED_STREAM is UNAVAILABLE, CANCEL after a dropped connection is UNAVAILABLE, and an internal error of ECONNRESET or ETIMEDOUT is UNAVAILABLE`,
+			ref: `${AT$9}/subchannel-call.ts:230-329 the end of a stream with no status: REFUSED_STREAM is UNAVAILABLE, CANCEL after a dropped connection is UNAVAILABLE, and an internal error of ECONNRESET or ETIMEDOUT is UNAVAILABLE`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/load-balancing-call.ts:257-261 a stream that the server refused has the progress REFUSED, and any other started stream PROCESSED`,
+			ref: `${AT$9}/load-balancing-call.ts:257-261 a stream that the server refused has the progress REFUSED, and any other started stream PROCESSED`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/retrying-call.ts:631-652 a transparent retry for NOT_STARTED, and one for REFUSED. A PROCESSED call is retried only by a retry policy of the service config, which the defaults do not have`,
+			ref: `${AT$9}/retrying-call.ts:631-652 a transparent retry for NOT_STARTED, and one for REFUSED. A PROCESSED call is retried only by a retry policy of the service config, which the defaults do not have`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/load-balancing-call.ts:338-345 a pick in TRANSIENT_FAILURE fails the call at once, unless it asks for waitForReady`,
+			ref: `${AT$9}/load-balancing-call.ts:338-345 a pick in TRANSIENT_FAILURE fails the call at once, unless it asks for waitForReady`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/resolving-call.ts:118-180 the deadline of a call is a timer from the start of the call. Its end cancels the call with DEADLINE_EXCEEDED`,
+			ref: `${AT$9}/resolving-call.ts:118-180 the deadline of a call is a timer from the start of the call. Its end cancels the call with DEADLINE_EXCEEDED`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/deadline.ts:39-52 the header grpc-timeout is the time left to the deadline when the call sends its headers, rounded up to whole milliseconds. A server can start a timer of it`,
+			ref: `${AT$9}/deadline.ts:39-52 the header grpc-timeout is the time left to the deadline when the call sends its headers, rounded up to whole milliseconds. A server can start a timer of it`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/subchannel-call.ts:269-279 a RST_STREAM CANCEL of the server ends the call with CANCELLED 'Call cancelled'`,
+			ref: `${AT$9}/subchannel-call.ts:269-279 a RST_STREAM CANCEL of the server ends the call with CANCELLED 'Call cancelled'`,
 			rung: "implemented"
 		},
 		{
@@ -816,19 +816,19 @@ const GRPC_JS = machineSchema.parse({
 			rung: "observed"
 		},
 		{
-			ref: `${AT$8}/subchannel.ts:275-291 the end of the transport takes the subchannel from READY to IDLE. After too_many_pings the keepalive time doubles`,
+			ref: `${AT$9}/subchannel.ts:275-291 the end of the transport takes the subchannel from READY to IDLE. After too_many_pings the keepalive time doubles`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/subchannel.ts:298-304 a failed connect takes the subchannel to TRANSIENT_FAILURE`,
+			ref: `${AT$9}/subchannel.ts:298-304 a failed connect takes the subchannel to TRANSIENT_FAILURE`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/backoff-timeout.ts:23-26 the reconnect waits 1000 ms first, each next wait 1.6 times longer, up to 120000 ms, with a jitter of 0.2`,
+			ref: `${AT$9}/backoff-timeout.ts:23-26 the reconnect waits 1000 ms first, each next wait 1.6 times longer, up to 120000 ms, with a jitter of 0.2`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$8}/internal-channel.ts:74-77 and :324-325 a channel with no call for grpc.client_idle_timeout_ms goes IDLE: 30 min at the defaults, 1 s at least`,
+			ref: `${AT$9}/internal-channel.ts:74-77 and :324-325 a channel with no call for grpc.client_idle_timeout_ms goes IDLE: 30 min at the defaults, 1 s at least`,
 			rung: "implemented"
 		},
 		{
@@ -2582,7 +2582,7 @@ const UNDICI_CLIENT = machineSchema.parse({
 });
 //#endregion
 //#region src/ioredis-sentinel.ts
-const AT$7 = "ioredis 6.0.0 built";
+const AT$8 = "ioredis 6.0.0 built";
 /**
 * This document is the Sentinel path of ioredis 6.0.0. It tells how ioredis finds the primary of a
 * group through the Sentinels, loses it, and connects to the new one. The standalone states of
@@ -2603,43 +2603,43 @@ const IOREDIS_SENTINEL = machineSchema.parse({
 	},
 	sources: [
 		{
-			ref: `${AT$7}/connectors/SentinelConnector/index.js:46-121 connect (each Sentinel in turn, then sentinelRetryStrategy)`,
+			ref: `${AT$8}/connectors/SentinelConnector/index.js:46-121 connect (each Sentinel in turn, then sentinelRetryStrategy)`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$7}/connectors/SentinelConnector/index.js:145-151 resolveMaster (get-master-addr-by-name, then SENTINEL sentinels)`,
+			ref: `${AT$8}/connectors/SentinelConnector/index.js:145-151 resolveMaster (get-master-addr-by-name, then SENTINEL sentinels)`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$7}/connectors/SentinelConnector/index.js:175-212 connectToSentinel and resolve (one connection for each question, no retry)`,
+			ref: `${AT$8}/connectors/SentinelConnector/index.js:175-212 connectToSentinel and resolve (one connection for each question, no retry)`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$7}/connectors/SentinelConnector/index.js:27-39 check (the role of the ready check)`,
+			ref: `${AT$8}/connectors/SentinelConnector/index.js:27-39 check (the role of the ready check)`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$7}/connectors/SentinelConnector/FailoverDetector.js:6-43 (+switch-master, only with failoverDetector)`,
+			ref: `${AT$8}/connectors/SentinelConnector/FailoverDetector.js:6-43 (+switch-master, only with failoverDetector)`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$7}/redis/RedisOptions.js:9-57 (the defaults)`,
+			ref: `${AT$8}/redis/RedisOptions.js:9-57 (the defaults)`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$7}/redis/event_handler.js:294-355 closeHandler (retryStrategy, then maxRetriesPerRequest flushes the queue)`,
+			ref: `${AT$8}/redis/event_handler.js:294-355 closeHandler (retryStrategy, then maxRetriesPerRequest flushes the queue)`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$7}/redis/event_handler.js:364-449 readyHandler (retryAttempts back to 0, the resend, the offline queue)`,
+			ref: `${AT$8}/redis/event_handler.js:364-449 readyHandler (retryAttempts back to 0, the resend, the offline queue)`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$7}/Redis.js:123-240 _connect (connectTimeout, keepAlive) and :379-405 sendCommand (the offline queue)`,
+			ref: `${AT$8}/Redis.js:123-240 _connect (connectTimeout, keepAlive) and :379-405 sendCommand (the offline queue)`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$7}/Redis.js:599-605 handleReconnection (reconnectOnError: null, thus a READONLY error goes to the caller)`,
+			ref: `${AT$8}/Redis.js:599-605 handleReconnection (reconnectOnError: null, thus a READONLY error goes to the caller)`,
 			rung: "implemented"
 		}
 	],
@@ -4799,7 +4799,7 @@ const IOREDIS_STATUS = machineSchema.parse(ioredis_status_default);
 const MANIFESTATIONS = z.record(z.string(), z.array(z.string())).parse(manifestations_default);
 //#endregion
 //#region src/mongo/mongod-replication.ts
-const AT$6 = "mongodb r9.0.4 src/mongo/db/repl";
+const AT$7 = "mongodb r9.0.4 src/mongo/db/repl";
 /**
 * This document is the replication of mongod 9.0.4. It gives one member of a replica set, its view
 * of the primary, and the election that it can hold. The states are the states of the member. The
@@ -4830,95 +4830,95 @@ const MONGOD_REPL = machineSchema.parse({
 	},
 	sources: [
 		{
-			ref: `${AT$6}/repl_set_config.idl:74-109 the settings: heartbeatIntervalMillis 2000, heartbeatTimeoutSecs 10, electionTimeoutMillis 10000, catchUpTimeoutMillis -1, catchUpTakeoverDelayMillis 30000`,
+			ref: `${AT$7}/repl_set_config.idl:74-109 the settings: heartbeatIntervalMillis 2000, heartbeatTimeoutSecs 10, electionTimeoutMillis 10000, catchUpTimeoutMillis -1, catchUpTakeoverDelayMillis 30000`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/repl_server_parameters.idl:320-328 replElectionTimeoutOffsetLimitFraction 0.15`,
+			ref: `${AT$7}/repl_server_parameters.idl:320-328 replElectionTimeoutOffsetLimitFraction 0.15`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/topology_coordinator.cpp:1058-1101 the heartbeat window and the timeout of each request, :1124-1147 the next heartbeat, :1239-1248 a member DOWN`,
+			ref: `${AT$7}/topology_coordinator.cpp:1058-1101 the heartbeat window and the timeout of each request, :1124-1147 the next heartbeat, :1239-1248 a member DOWN`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/topology_coordinator.h:62 kMaxHeartbeatRetries 2`,
+			ref: `${AT$7}/topology_coordinator.h:62 kMaxHeartbeatRetries 2`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/replication_coordinator_impl_heartbeat.cpp:97-111 the random offset, :346-352 a heartbeat from the primary postpones the election, :1215-1271 the election timeout and its offset`,
+			ref: `${AT$7}/replication_coordinator_impl_heartbeat.cpp:97-111 the random offset, :346-352 a heartbeat from the primary postpones the election, :1215-1271 the election timeout and its offset`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/data_replicator_external_state_impl.cpp:70-81 an oplog batch that names a primary postpones the election`,
+			ref: `${AT$7}/data_replicator_external_state_impl.cpp:70-81 an oplog batch that names a primary postpones the election`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/delayable_timeout_callback.cpp:149-172 the offset changes at most once in its own length`,
+			ref: `${AT$7}/delayable_timeout_callback.cpp:149-172 the offset changes at most once in its own length`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/topology_coordinator.cpp:1440-1457 and :1476-1489 the liveness check: a primary that cannot see a majority steps down`,
+			ref: `${AT$7}/topology_coordinator.cpp:1440-1457 and :1476-1489 the liveness check: a primary that cannot see a majority steps down`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/replication_coordinator_impl_heartbeat.cpp:1158-1188 the liveness check runs at the stalest member's last update plus the election timeout`,
+			ref: `${AT$7}/replication_coordinator_impl_heartbeat.cpp:1158-1188 the liveness check runs at the stalest member's last update plus the election timeout`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/replication_coordinator_impl_elect_v1.cpp:189-226 the dry run, :268-382 the term, the durable vote and the real vote, :408-468 the win`,
+			ref: `${AT$7}/replication_coordinator_impl_elect_v1.cpp:189-226 the dry run, :268-382 the term, the durable vote and the real vote, :408-468 the win`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/vote_requester.cpp:96 a vote request times out at min(electionTimeoutMillis, 30 s), :160-177 a majority of yes votes ends the round`,
+			ref: `${AT$7}/vote_requester.cpp:96 a vote request times out at min(electionTimeoutMillis, 30 s), :160-177 a majority of yes votes ends the round`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/topology_coordinator.cpp:3741-3790 a member votes for each candidate whose data is not staler than its own, and only an arbiter refuses one because it sees a primary`,
+			ref: `${AT$7}/topology_coordinator.cpp:3741-3790 a member votes for each candidate whose data is not staler than its own, and only an arbiter refuses one because it sees a primary`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/replication_coordinator_impl_catchup.cpp:35-85 the catch-up and its timeout, :110-133 it ends when each other member answered a heartbeat since the win, or failed one, :349-379 the win restarts each heartbeat`,
+			ref: `${AT$7}/replication_coordinator_impl_catchup.cpp:35-85 the catch-up and its timeout, :110-133 it ends when each other member answered a heartbeat since the win, or failed one, :349-379 the win restarts each heartbeat`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/topology_coordinator.cpp:3841-3849 and :3910-3932 a restarted heartbeat, and the latest optime that the catch-up waits for`,
+			ref: `${AT$7}/topology_coordinator.cpp:3841-3849 and :3910-3932 a restarted heartbeat, and the latest optime that the catch-up waits for`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/replication_coordinator_impl.cpp:1490-1570 the end of the drain: a reconfig of the term, then writes, :2580-2588 the hello of a primary that cannot write yet`,
+			ref: `${AT$7}/replication_coordinator_impl.cpp:1490-1570 the end of the drain: a reconfig of the term, then writes, :2580-2588 the hello of a primary that cannot write yet`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/replication_coordinator_impl_step_up_step_down.cpp:64-329 replSetStepDown: the wait for a caught-up secondary, the step-down and the hand-off`,
+			ref: `${AT$7}/replication_coordinator_impl_step_up_step_down.cpp:64-329 replSetStepDown: the wait for a caught-up secondary, the step-down and the hand-off`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/repl_set_commands.cpp:545-561 stepDownSecs 60 and secondaryCatchUpPeriodSecs 10`,
+			ref: `${AT$7}/repl_set_commands.cpp:545-561 stepDownSecs 60 and secondaryCatchUpPeriodSecs 10`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/replication_coordinator_impl.idl:18-26 enableElectionHandoff true, and replication_coordinator_impl.cpp:2830-2873 the hand-off: replSetStepUp with skipDryRun`,
+			ref: `${AT$7}/replication_coordinator_impl.idl:18-26 enableElectionHandoff true, and replication_coordinator_impl.cpp:2830-2873 the hand-off: replSetStepUp with skipDryRun`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/replication_coordinator_impl.cpp:1516 the reconfig of the term, :4598 and :4750 a new config starts each heartbeat again`,
+			ref: `${AT$7}/replication_coordinator_impl.cpp:1516 the reconfig of the term, :4598 and :4750 a new config starts each heartbeat again`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/replication_coordinator_impl_heartbeat.cpp:367-376 a heartbeat response that moves a member's optime forward moves the commit point and wakes the writes that wait`,
+			ref: `${AT$7}/replication_coordinator_impl_heartbeat.cpp:367-376 a heartbeat response that moves a member's optime forward moves the commit point and wakes the writes that wait`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/oplog_fetcher.cpp:119-133 the awaitData timeout min(electionTimeoutMillis / 2, 30 s), :317-324 the socket timeout adds oplogNetworkTimeoutBufferSeconds, :640-647 the exhaust read`,
+			ref: `${AT$7}/oplog_fetcher.cpp:119-133 the awaitData timeout min(electionTimeoutMillis / 2, 30 s), :317-324 the socket timeout adds oplogNetworkTimeoutBufferSeconds, :640-647 the exhaust read`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/oplog_fetcher.cpp:395-441 an error makes a new cursor while restarts remain, :596-611 the new cursor sets the retried find timeout, :1073-1113 one restart after 5 ms`,
+			ref: `${AT$7}/oplog_fetcher.cpp:395-441 an error makes a new cursor while restarts remain, :596-611 the new cursor sets the retried find timeout, :1073-1113 one restart after 5 ms`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/repl_server_parameters.idl:121-126 oplogRetriedFindMaxSeconds 2, :234-244 oplogFetcherSteadyStateMaxFetcherRestarts 1, :344-351 oplogNetworkTimeoutBufferSeconds 5`,
+			ref: `${AT$7}/repl_server_parameters.idl:121-126 oplogRetriedFindMaxSeconds 2, :234-244 oplogFetcherSteadyStateMaxFetcherRestarts 1, :344-351 oplogNetworkTimeoutBufferSeconds 5`,
 			rung: "implemented"
 		},
 		{
@@ -4926,19 +4926,19 @@ const MONGOD_REPL = machineSchema.parse({
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/bgsync.cpp:395-447 a member without a sync source waits for new heartbeat data or 1 s (:971-976), and topology_coordinator.cpp:1124-1136 it sends its heartbeats each 500 ms`,
+			ref: `${AT$7}/bgsync.cpp:395-447 a member without a sync source waits for new heartbeat data or 1 s (:971-976), and topology_coordinator.cpp:1124-1136 it sends its heartbeats each 500 ms`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/replication_coordinator_impl.cpp:4947-4972 a member that loses its sync source starts each heartbeat again at once`,
+			ref: `${AT$7}/replication_coordinator_impl.cpp:4947-4972 a member that loses its sync source starts each heartbeat again at once`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/sync_source_feedback.cpp:37-47 the keepalive of the reporter min(electionTimeoutMillis / 2, 30 s), :39-40 the network timeout 30 s, :99-117 and :134-236 a new reporter only after the old one ends`,
+			ref: `${AT$7}/sync_source_feedback.cpp:37-47 the keepalive of the reporter min(electionTimeoutMillis / 2, 30 s), :39-40 the network timeout 30 s, :99-117 and :134-236 a new reporter only after the old one ends`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$6}/reporter.cpp:113-117 a reporter ends when its command in flight ends, :119-169 a trigger, :195-228 each replSetUpdatePosition has the network timeout`,
+			ref: `${AT$7}/reporter.cpp:113-117 a reporter ends when its command in flight ends, :119-169 a trigger, :195-228 each replSetUpdatePosition has the network timeout`,
 			rung: "implemented"
 		},
 		{
@@ -5557,7 +5557,7 @@ const MONGOD_REPL = machineSchema.parse({
 });
 //#endregion
 //#region src/mongo/mongod-session.ts
-const AT$5 = "mongodb r9.0.4 src/mongo";
+const AT$6 = "mongodb r9.0.4 src/mongo";
 /**
 * This document is the hold of mongod 9.0.4 on one client connection, over its socket. `mongod`
 * turns keepalive on for each TCP session. It lowers two keepalive options of the socket to a
@@ -5584,27 +5584,27 @@ const MONGOD_SESSION = machineSchema.parse({
 	},
 	sources: [
 		{
-			ref: `${AT$5}/transport/asio/asio_session_impl.cpp:156-165 each TCP session: TCP_NODELAY, SO_KEEPALIVE, setSocketKeepAliveParams, failures at debug 3 in a release build`,
+			ref: `${AT$6}/transport/asio/asio_session_impl.cpp:156-165 each TCP session: TCP_NODELAY, SO_KEEPALIVE, setSocketKeepAliveParams, failures at debug 3 in a release build`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$5}/util/net/socket_utils.h:15-16 kMaxKeepIdleSecs 300 and kMaxKeepIntvlSecs 1, :19-22 the defaults of setSocketKeepAliveParams`,
+			ref: `${AT$6}/util/net/socket_utils.h:15-16 kMaxKeepIdleSecs 300 and kMaxKeepIntvlSecs 1, :19-22 the defaults of setSocketKeepAliveParams`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$5}/util/net/socket_utils.cpp:165-196 applyMax: read the option, and set the maximum only when the value is higher, :199-220 TCP_KEEPIDLE and TCP_KEEPINTVL, never TCP_KEEPCNT`,
+			ref: `${AT$6}/util/net/socket_utils.cpp:165-196 applyMax: read the option, and set the maximum only when the value is higher, :199-220 TCP_KEEPIDLE and TCP_KEEPINTVL, never TCP_KEEPCNT`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$5}/util/net/socket_utils.cpp:176-181 and :190-194 the log of a failed read or set, at the severity of the caller`,
+			ref: `${AT$6}/util/net/socket_utils.cpp:176-181 and :190-194 the log of a failed read or set, at the severity of the caller`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$5}/util/net/sock.cpp:135-142 the older socket path: SO_KEEPALIVE, then the same maximums, failures as errors`,
+			ref: `${AT$6}/util/net/sock.cpp:135-142 the older socket path: SO_KEEPALIVE, then the same maximums, failures as errors`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$5}/db/repl/replication_info.cpp:131-143 an awaitable hello waits until now + maxAwaitTimeMS on the precise clock, or a change of the topology`,
+			ref: `${AT$6}/db/repl/replication_info.cpp:131-143 an awaitable hello waits until now + maxAwaitTimeMS on the precise clock, or a change of the topology`,
 			rung: "implemented"
 		}
 	],
@@ -5766,7 +5766,7 @@ const MONGOD_SESSION = machineSchema.parse({
 });
 //#endregion
 //#region src/mongo/mongodb-node.ts
-const AT$4 = "mongodb 7.7.0 src";
+const AT$5 = "mongodb 7.7.0 src";
 /**
 * This document is the MongoDB Node driver 7.7.0, for one server of a replica set. It gives one
 * connection of the driver by its role, and the timers that act on it. The roles are the monitor
@@ -5793,75 +5793,75 @@ const MONGODB_NODE = machineSchema.parse({
 	},
 	sources: [
 		{
-			ref: `${AT$4}/connection_string.ts:804-807 connectTimeoutMS 30000, :850-853 heartbeatFrequencyMS 10000, :934-937 minHeartbeatFrequencyMS 500`,
+			ref: `${AT$5}/connection_string.ts:804-807 connectTimeoutMS 30000, :850-853 heartbeatFrequencyMS 10000, :934-937 minHeartbeatFrequencyMS 500`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/connection_string.ts:1100-1103 serverSelectionTimeoutMS 30000, :1107-1111 socketTimeoutMS 0, :1178-1182 waitQueueTimeoutMS 0`,
+			ref: `${AT$5}/connection_string.ts:1100-1103 serverSelectionTimeoutMS 30000, :1107-1111 socketTimeoutMS 0, :1178-1182 waitQueueTimeoutMS 0`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/connection_string.ts:896-898 maxConnecting 2, :906-908 maxIdleTimeMS 0, :910-912 maxPoolSize 100, :930-933 minPoolSize 0, :1075-1082 retryReads and retryWrites true, :1089-1091 serverMonitoringMode auto`,
+			ref: `${AT$5}/connection_string.ts:896-898 maxConnecting 2, :906-908 maxIdleTimeMS 0, :910-912 maxPoolSize 100, :930-933 minPoolSize 0, :1075-1082 retryReads and retryWrites true, :1089-1091 serverMonitoringMode auto`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/cmap/connect.ts:291 DEFAULT_KEEP_ALIVE_INITIAL_DELAY_MS 120000, :336-338 keepAlive and noDelay, :378-417 makeSocket: setKeepAlive, setNoDelay, setTimeout(connectTimeoutMS), :432-438 the connect timeout`,
+			ref: `${AT$5}/cmap/connect.ts:291 DEFAULT_KEEP_ALIVE_INITIAL_DELAY_MS 120000, :336-338 keepAlive and noDelay, :378-417 makeSocket: setKeepAlive, setNoDelay, setTimeout(connectTimeoutMS), :432-438 the connect timeout`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/cmap/connect.ts:117-120 the handshake reads with socketTimeoutMS = connectTimeoutMS`,
+			ref: `${AT$5}/cmap/connect.ts:117-120 the handshake reads with socketTimeoutMS = connectTimeoutMS`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/sdam/monitor.ts:245-259 the streaming protocol, :338-371 the awaitable hello: maxAwaitTimeMS = heartbeatFrequencyMS, socketTimeoutMS = connectTimeoutMS + maxAwaitTimeMS`,
+			ref: `${AT$5}/sdam/monitor.ts:245-259 the streaming protocol, :338-371 the awaitable hello: maxAwaitTimeMS = heartbeatFrequencyMS, socketTimeoutMS = connectTimeoutMS + maxAwaitTimeMS`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/sdam/monitor.ts:273-293 a failed heartbeat: ResetPool, and InterruptInUseConnections for a timeout`,
+			ref: `${AT$5}/sdam/monitor.ts:273-293 a failed heartbeat: ResetPool, and InterruptInUseConnections for a timeout`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/sdam/monitor.ts:175-194 reset: the next check after heartbeatFrequencyMS, :609-636 wake: no check sooner than minHeartbeatFrequencyMS, :668-691 the next check after heartbeatFrequencyMS`,
+			ref: `${AT$5}/sdam/monitor.ts:175-194 reset: the next check after heartbeatFrequencyMS, :609-636 wake: no check sooner than minHeartbeatFrequencyMS, :668-691 the next check after heartbeatFrequencyMS`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/sdam/monitor.ts:490-565 the RTT pinger: its own connection, a hello each heartbeatFrequencyMS, no socket timeout`,
+			ref: `${AT$5}/sdam/monitor.ts:490-565 the RTT pinger: its own connection, a hello each heartbeatFrequencyMS, no socket timeout`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/cmap/connection.ts:328-334 a socket timeout, 1 ms later, is a MongoNetworkTimeoutError, :461-505 the socket timeout of a command, set again at each reply`,
+			ref: `${AT$5}/cmap/connection.ts:328-334 a socket timeout, 1 ms later, is a MongoNetworkTimeoutError, :461-505 the socket timeout of a command, set again at each reply`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/sdam/server.ts:186 resetServer, :390-444 handleError, :450-515 decorateCommandError, :532-546 markServerUnknown: a network error that is not a timeout resets the monitor`,
+			ref: `${AT$5}/sdam/server.ts:186 resetServer, :390-444 handleError, :450-515 decorateCommandError, :532-546 markServerUnknown: a network error that is not a timeout resets the monitor`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/sdam/topology.ts:559 the selection timeout, :568-572 and :635-664 MongoServerSelectionError, :862-888 updateServers clears the pool, :1082-1089 a waiting selection wakes each monitor`,
+			ref: `${AT$5}/sdam/topology.ts:559 the selection timeout, :568-572 and :635-664 MongoServerSelectionError, :862-888 updateServers clears the pool, :1082-1089 a waiting selection wakes each monitor`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/sdam/topology_description.ts:458-467 a primary that another primary replaces is Unknown, and nothing clears its pool`,
+			ref: `${AT$5}/sdam/topology_description.ts:458-467 a primary that another primary replaces is Unknown, and nothing clears its pool`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/cmap/connection_pool.ts:417-468 clear, :475-481 interruptInUseConnections: PoolClearedOnNetworkError, :584 a connection idle for maxIdleTimeMS is perished at the next check-out`,
+			ref: `${AT$5}/cmap/connection_pool.ts:417-468 clear, :475-481 interruptInUseConnections: PoolClearedOnNetworkError, :584 a connection idle for maxIdleTimeMS is perished at the next check-out`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/cmap/errors.ts:37-84 PoolClearedError and PoolClearedOnNetworkError, with the label PoolRequestedRetry`,
+			ref: `${AT$5}/cmap/errors.ts:37-84 PoolClearedError and PoolClearedOnNetworkError, with the label PoolRequestedRetry`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/operations/execute_operation.ts:252-279 two attempts for a retryable read or write, :375-380 the retry selects a server again, :442-445 canRetry`,
+			ref: `${AT$5}/operations/execute_operation.ts:252-279 two attempts for a retryable read or write, :375-380 the retry selects a server again, :442-445 canRetry`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/error.ts:1377-1394 the retryable codes, :1431-1436 isRetryableWriteError: RetryableWriteError or PoolRequestedRetry`,
+			ref: `${AT$5}/error.ts:1377-1394 the retryable codes, :1431-1436 isRetryableWriteError: RetryableWriteError or PoolRequestedRetry`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$4}/timeout.ts:362-372 the legacy timeout context: the selection timeout, and no check-out timeout at waitQueueTimeoutMS 0`,
+			ref: `${AT$5}/timeout.ts:362-372 the legacy timeout context: the selection timeout, and no check-out timeout at waitQueueTimeoutMS 0`,
 			rung: "implemented"
 		},
 		{
@@ -7541,7 +7541,7 @@ const HIKARICP_PGJDBC = machineSchema.parse({
 });
 //#endregion
 //#region src/pg/node-postgres.ts
-const AT$3 = "pg 8.23.1 lib";
+const AT$4 = "pg 8.23.1 lib";
 const POOL = "pg-pool 3.14.0";
 /**
 * This document is node-postgres 8.23.1 (the npm package pg) with pg-pool 3.14.0, for one client
@@ -7583,75 +7583,75 @@ const NODE_POSTGRES = machineSchema.parse({
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/defaults.js:42 max 10 and :46 idleTimeoutMillis 30000: no line of pg or pg-pool reads them, thus a pool does not use them`,
+			ref: `${AT$4}/defaults.js:42 max 10 and :46 idleTimeoutMillis 30000: no line of pg or pg-pool reads them, thus a pool does not use them`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/defaults.js:65, :69, :73 and :76 statement_timeout, lock_timeout, idle_in_transaction_session_timeout and query_timeout are false`,
+			ref: `${AT$4}/defaults.js:65, :69, :73 and :76 statement_timeout, lock_timeout, idle_in_transaction_session_timeout and query_timeout are false`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/defaults.js:63-76 the comments of pg: each of the four is in milliseconds, false is no limit, and query_timeout is on the client side`,
+			ref: `${AT$4}/defaults.js:63-76 the comments of pg: each of the four is in milliseconds, false is no limit, and query_timeout is on the client side`,
 			rung: "documented"
 		},
 		{
-			ref: `${AT$3}/connection-parameters.js:9-23 val: the config, else the default of pg, :121-124 the three timeouts of the server and query_timeout, with no environment variable`,
+			ref: `${AT$4}/connection-parameters.js:9-23 val: the config, else the default of pg, :121-124 the three timeouts of the server and query_timeout, with no environment variable`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/client.js:89-98 the Connection gets keepAlive false and keepAliveInitialDelayMillis 0 when the config does not give them, :116 connectionTimeoutMillis 0`,
+			ref: `${AT$4}/client.js:89-98 the Connection gets keepAlive false and keepAliveInitialDelayMillis 0 when the config does not give them, :116 connectionTimeoutMillis 0`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/stream.js:20-24 and :78-83 outside Cloudflare Workers, the socket is a new net.Socket with no option`,
+			ref: `${AT$4}/stream.js:20-24 and :78-83 outside Cloudflare Workers, the socket is a new net.Socket with no option`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/connection.js:40-52 setNoDelay(true) before the connect, and setKeepAlive(true, keepAliveInitialDelayMillis) at the connect only when keepAlive is true, :54-65 the error and the close of the socket`,
+			ref: `${AT$4}/connection.js:40-52 setNoDelay(true) before the connect, and setKeepAlive(true, keepAliveInitialDelayMillis) at the connect only when keepAlive is true, :54-65 the error and the close of the socket`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/client.js:167-176 and :702-737 are the only timers of the client, and connection.js has none: the client sends nothing by itself on an idle connection`,
+			ref: `${AT$4}/client.js:167-176 and :702-737 are the only timers of the client, and connection.js has none: the client sends nothing by itself on an idle connection`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/client.js:153-230 _connect: no second connect, the connect timer of the client ('timeout expired'), and 'Connection terminated unexpectedly' for an end that the client did not ask for`,
+			ref: `${AT$4}/client.js:153-230 _connect: no second connect, the connect timer of the client ('timeout expired'), and 'Connection terminated unexpectedly' for an end that the client did not ask for`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/client.js:373-387 the first ReadyForQuery ends the connect and clears the timer, :398-423 an error before it goes to the connect callback, and an error after it makes the client unqueryable`,
+			ref: `${AT$4}/client.js:373-387 the first ReadyForQuery ends the connect and clears the timer, :398-423 an error before it goes to the connect callback, and an error after it makes the client unqueryable`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/client.js:426-442 an ErrorResponse fails the active query only, and with no active query it is an error of the client`,
+			ref: `${AT$4}/client.js:426-442 an ErrorResponse fails the active query only, and with no active query it is an error of the client`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/connection.js:137-145 and pg-protocol 1.16.1 dist/parser.js:142-144, :296-323 an ErrorResponse is a DatabaseError, with the severity and the code that the server gives`,
+			ref: `${AT$4}/connection.js:137-145 and pg-protocol 1.16.1 dist/parser.js:142-144, :296-323 an ErrorResponse is a DatabaseError, with the severity and the code that the server gives`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/client.js:133-151 _errorAllQueries: each query of the client fails with the same error, on the next tick`,
+			ref: `${AT$4}/client.js:133-151 _errorAllQueries: each query of the client fails with the same error, on the next tick`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/query.js:122-150 a query gives its error or its result to its callback, at the error or at the ReadyForQuery`,
+			ref: `${AT$4}/query.js:122-150 a query gives its error or its result to its callback, at the error or at the ReadyForQuery`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/client.js:702-737 query_timeout: a Node timer for each query, 'Query read timeout'. The client sends no cancel, and it keeps the active query`,
+			ref: `${AT$4}/client.js:702-737 query_timeout: a Node timer for each query, 'Query read timeout'. The client sends no cancel, and it keeps the active query`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/client.js:616-641 the next query goes only after a ReadyForQuery, :765-777 a query on an unqueryable or ended client fails at once`,
+			ref: `${AT$4}/client.js:616-641 the next query goes only after a ReadyForQuery, :765-777 a query on an unqueryable or ended client fails at once`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/client.js:799-836 end: a dead socket or an active query destroys the socket, else connection.js:217-227 sends Terminate and ends the socket`,
+			ref: `${AT$4}/client.js:799-836 end: a dead socket or an active query destroys the socket, else connection.js:217-227 sends Terminate and ends the socket`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$3}/client.js:543-572 getStartupConf: statement_timeout, lock_timeout and idle_in_transaction_session_timeout go to the server only when they are set`,
+			ref: `${AT$4}/client.js:543-572 getStartupConf: statement_timeout, lock_timeout and idle_in_transaction_session_timeout go to the server only when they are set`,
 			rung: "implemented"
 		},
 		{
@@ -10047,7 +10047,7 @@ const PGPOOL_SESSION = machineSchema.parse({
 });
 //#endregion
 //#region src/pg/postgres-session.ts
-const AT$2 = "postgresql REL_17_11 src";
+const AT$3 = "postgresql REL_17_11 src";
 const DOC = "postgresql REL_17_11 doc/src/sgml";
 /**
 * This document is the hold of a PostgreSQL 17.11 backend on one client connection, over its TCP
@@ -10087,163 +10087,163 @@ const POSTGRES_SESSION = machineSchema.parse({
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/tcop/backend_startup.c:157-161 BackendInitialize calls pq_init in the backend, before the startup packet`,
+			ref: `${AT$3}/backend/tcop/backend_startup.c:157-161 BackendInitialize calls pq_init in the backend, before the startup packet`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/libpq/pqcomm.c:793-817 AcceptConnection in the postmaster, :180 the Port starts at zeros, :195-220 TCP_NODELAY and SO_KEEPALIVE on each socket that is not AF_UNIX, a failure is FATAL, :264-274 then the four TCP GUCs, a failure is a LOG only`,
+			ref: `${AT$3}/backend/libpq/pqcomm.c:793-817 AcceptConnection in the postmaster, :180 the Port starts at zeros, :195-220 TCP_NODELAY and SO_KEEPALIVE on each socket that is not AF_UNIX, a failure is FATAL, :264-274 then the four TCP GUCs, a failure is a LOG only`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/libpq/pqcomm.c:1663-1711 pq_setkeepalivesidle: no call at a value equal to the Port's, and 0 sets the value that getsockopt read first; :1748-1795, :1827-1870 and :1902-1945 the same for TCP_KEEPINTVL, TCP_KEEPCNT and TCP_USER_TIMEOUT`,
+			ref: `${AT$3}/backend/libpq/pqcomm.c:1663-1711 pq_setkeepalivesidle: no call at a value equal to the Port's, and 0 sets the value that getsockopt read first; :1748-1795, :1827-1870 and :1902-1945 the same for TCP_KEEPINTVL, TCP_KEEPCNT and TCP_USER_TIMEOUT`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/libpq/pqcomm.c:87-90 TCP_KEEPIDLE on Linux, :1947-2047 an assign hook sets the socket of the session at once, and a show hook reads the kernel`,
+			ref: `${AT$3}/backend/libpq/pqcomm.c:87-90 TCP_KEEPIDLE on Linux, :1947-2047 an assign hook sets the socket of the session at once, and a show hook reads the kernel`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/utils/misc/guc_tables.c:3452-3461 tcp_keepalives_idle 0 s, :3463-3472 tcp_keepalives_interval 0 s, :3485-3495 tcp_keepalives_count 0, :3587-3596 tcp_user_timeout 0 ms: each PGC_USERSET, 0 to INT_MAX, 0 is the system default`,
+			ref: `${AT$3}/backend/utils/misc/guc_tables.c:3452-3461 tcp_keepalives_idle 0 s, :3463-3472 tcp_keepalives_interval 0 s, :3485-3495 tcp_keepalives_count 0, :3587-3596 tcp_user_timeout 0 ms: each PGC_USERSET, 0 to INT_MAX, 0 is the system default`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/utils/misc/guc_tables.c:2611-2620 statement_timeout, :2622-2631 lock_timeout, :2633-2642 idle_in_transaction_session_timeout, :2644-2653 transaction_timeout, :2655-2664 idle_session_timeout: each 0 ms, 0 to INT_MAX, PGC_USERSET, 0 turns it off`,
+			ref: `${AT$3}/backend/utils/misc/guc_tables.c:2611-2620 statement_timeout, :2622-2631 lock_timeout, :2633-2642 idle_in_transaction_session_timeout, :2644-2653 transaction_timeout, :2655-2664 idle_session_timeout: each 0 ms, 0 to INT_MAX, PGC_USERSET, 0 turns it off`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/utils/misc/guc_tables.c:2774-2783 authentication_timeout 60 s, 1 to 600, PGC_SIGHUP; :3632-3641 client_connection_check_interval 0 ms, 0 to INT_MAX, PGC_USERSET`,
+			ref: `${AT$3}/backend/utils/misc/guc_tables.c:2774-2783 authentication_timeout 60 s, 1 to 600, PGC_SIGHUP; :3632-3641 client_connection_check_interval 0 ms, 0 to INT_MAX, PGC_USERSET`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/storage/lmgr/proc.c:58-62, backend/tcop/postgres.c:106 and backend/postmaster/postmaster.c:228 the C defaults agree: 0 ms for each timeout, 0 ms for the client check, 60 s for authentication`,
+			ref: `${AT$3}/backend/storage/lmgr/proc.c:58-62, backend/tcop/postgres.c:106 and backend/postmaster/postmaster.c:228 the C defaults agree: 0 ms for each timeout, 0 ms for the client check, 60 s for authentication`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/include/utils/timeout.h:3-4 and :23-43 one SIGALRM for each timeout id, STARTUP_PACKET_TIMEOUT to CLIENT_CONNECTION_CHECK_TIMEOUT`,
+			ref: `${AT$3}/include/utils/timeout.h:3-4 and :23-43 one SIGALRM for each timeout id, STARTUP_PACKET_TIMEOUT to CLIENT_CONNECTION_CHECK_TIMEOUT`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/utils/misc/timeout.c:559-575 enable_timeout_after: the deadline is the current time + the delay in ms, :209-350 schedule_alarm: setitimer(ITIMER_REAL) for the nearest deadline, :363-453 handle_sig_alarm sets the latch and calls each handler that is due`,
+			ref: `${AT$3}/backend/utils/misc/timeout.c:559-575 enable_timeout_after: the deadline is the current time + the delay in ms, :209-350 schedule_alarm: setitimer(ITIMER_REAL) for the nearest deadline, :363-453 handle_sig_alarm sets the latch and calls each handler that is due`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/utils/init/postinit.c:770-782 the handlers of a backend, :1374-1407 the statement timer sends SIGINT, or SIGTERM in authentication, and the lock timer sends SIGINT, :1409-1447 each other handler sets a flag and the latch`,
+			ref: `${AT$3}/backend/utils/init/postinit.c:770-782 the handlers of a backend, :1374-1407 the statement timer sends SIGINT, or SIGTERM in authentication, and the lock timer sends SIGINT, :1409-1447 each other handler sets a flag and the latch`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/tcop/postgres.c:2999-3023 die (SIGTERM) sets ProcDiePending, :3029-3043 StatementCancelHandler (SIGINT) sets QueryCancelPending, :4292-4294 the two handlers`,
+			ref: `${AT$3}/backend/tcop/postgres.c:2999-3023 die (SIGTERM) sets ProcDiePending, :3029-3043 StatementCancelHandler (SIGINT) sets QueryCancelPending, :4292-4294 the two handlers`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/tcop/postgres.c:3271-3319 ProcessInterrupts acts on a die request first: FATAL 57014 "canceling authentication due to timeout" in authentication, else FATAL 57P01 "terminating connection due to administrator command"`,
+			ref: `${AT$3}/backend/tcop/postgres.c:3271-3319 ProcessInterrupts acts on a die request first: FATAL 57014 "canceling authentication due to timeout" in authentication, else FATAL 57P01 "terminating connection due to administrator command"`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/tcop/postgres.c:3321-3350 then the client check, then a lost connection: FATAL 08006 "connection to client lost", with no message to the client`,
+			ref: `${AT$3}/backend/tcop/postgres.c:3321-3350 then the client check, then a lost connection: FATAL 08006 "connection to client lost", with no message to the client`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/tcop/postgres.c:3372-3430 a cancel: ERROR 55P03 "canceling statement due to lock timeout", ERROR 57014 "canceling statement due to statement timeout"`,
+			ref: `${AT$3}/backend/tcop/postgres.c:3372-3430 a cancel: ERROR 55P03 "canceling statement due to lock timeout", ERROR 57014 "canceling statement due to statement timeout"`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/tcop/postgres.c:3435-3477 FATAL 25P03 "terminating connection due to idle-in-transaction timeout", FATAL 25P04 "terminating connection due to transaction timeout", FATAL 57P05 "terminating connection due to idle-session timeout"`,
+			ref: `${AT$3}/backend/tcop/postgres.c:3435-3477 FATAL 25P03 "terminating connection due to idle-in-transaction timeout", FATAL 25P04 "terminating connection due to transaction timeout", FATAL 57P05 "terminating connection due to idle-session timeout"`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/utils/errcodes.txt:106-107 08003 and 08006, :111 08P01, :254-255 25P03 and 25P04, :421 55P03, :428-429 57014 and 57P01, :433 57P05`,
+			ref: `${AT$3}/backend/utils/errcodes.txt:106-107 08003 and 08006, :111 08P01, :254-255 25P03 and 25P04, :421 55P03, :428-429 57014 and 57P01, :433 57P05`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/tcop/postgres.c:4618-4706 at ReadyForQuery the backend arms idle_in_transaction_session_timeout in a transaction block, open or aborted, and idle_session_timeout outside one; :4714-4750 after a message it disarms them, then checks for interrupts`,
+			ref: `${AT$3}/backend/tcop/postgres.c:4618-4706 at ReadyForQuery the backend arms idle_in_transaction_session_timeout in a transaction block, open or aborted, and idle_session_timeout outside one; :4714-4750 after a message it disarms them, then checks for interrupts`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/tcop/postgres.c:2770-2796 start_xact_command arms statement_timeout and the client check, each only when not active, :2798-2802 finish_xact_command disarms statement_timeout, :5251-5278 no statement timer when statement_timeout >= transaction_timeout > 0`,
+			ref: `${AT$3}/backend/tcop/postgres.c:2770-2796 start_xact_command arms statement_timeout and the client check, each only when not active, :2798-2802 finish_xact_command disarms statement_timeout, :5251-5278 no statement timer when statement_timeout >= transaction_timeout > 0`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/utils/adt/misc.c:391-412 pg_sleep: CHECK_FOR_INTERRUPTS before each WaitLatch on the latch of the backend, thus the SIGALRM of a timeout ends its wait`,
+			ref: `${AT$3}/backend/utils/adt/misc.c:391-412 pg_sleep: CHECK_FOR_INTERRUPTS before each WaitLatch on the latch of the backend, thus the SIGALRM of a timeout ends its wait`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/tcop/postgres.c:4446-4502 an ERROR: disable_all_timeouts, the error to the client, AbortCurrentTransaction; :4562-4563 then ReadyForQuery`,
+			ref: `${AT$3}/backend/tcop/postgres.c:4446-4502 an ERROR: disable_all_timeouts, the error to the client, AbortCurrentTransaction; :4562-4563 then ReadyForQuery`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/access/transam/xact.c:2174-2176 StartTransaction arms transaction_timeout, :2315-2317, :2592-2594 and :2768-2770 commit, prepare and abort disarm it, :3472-3477 an error in a transaction block aborts the transaction and keeps the block`,
+			ref: `${AT$3}/backend/access/transam/xact.c:2174-2176 StartTransaction arms transaction_timeout, :2315-2317, :2592-2594 and :2768-2770 commit, prepare and abort disarm it, :3472-3477 an error in a transaction block aborts the transaction and keeps the block`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/storage/lmgr/proc.c:1292-1307 ProcSleep arms lock_timeout with the deadlock timer, :1652-1666 and disarms it after the wait`,
+			ref: `${AT$3}/backend/storage/lmgr/proc.c:1292-1307 ProcSleep arms lock_timeout with the deadlock timer, :1652-1666 and disarms it after the wait`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/tcop/postgres.c:3652-3661 a client_connection_check_interval above 0 needs a wait set that reports a close`,
+			ref: `${AT$3}/backend/tcop/postgres.c:3652-3661 a client_connection_check_interval above 0 needs a wait set that reports a close`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/libpq/pqcomm.c:2049-2084 pq_check_connection: a wait of 0 ms for WL_SOCKET_CLOSED`,
+			ref: `${AT$3}/backend/libpq/pqcomm.c:2049-2084 pq_check_connection: a wait of 0 ms for WL_SOCKET_CLOSED`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/storage/ipc/latch.c:72-85 epoll where sys/epoll.h exists, :1131-1156 WL_SOCKET_CLOSED adds EPOLLRDHUP, and EPOLLERR and EPOLLHUP are always on, :1661-1680 EPOLLERR or EPOLLHUP make the socket readable, writable and closed, :2253-2263 epoll can report a close`,
+			ref: `${AT$3}/backend/storage/ipc/latch.c:72-85 epoll where sys/epoll.h exists, :1131-1156 WL_SOCKET_CLOSED adds EPOLLRDHUP, and EPOLLERR and EPOLLHUP are always on, :1661-1680 EPOLLERR or EPOLLHUP make the socket readable, writable and closed, :2253-2263 epoll can report a close`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/libpq/be-secure.c:174-261 secure_read and :300-370 secure_write: a wait for the socket or the latch with no timeout; at the latch, ProcessClientReadInterrupt or ProcessClientWriteInterrupt; :234-237 and :343-346 FATAL 57P01 at the death of the postmaster`,
+			ref: `${AT$3}/backend/libpq/be-secure.c:174-261 secure_read and :300-370 secure_write: a wait for the socket or the latch with no timeout; at the latch, ProcessClientReadInterrupt or ProcessClientWriteInterrupt; :234-237 and :343-346 FATAL 57P01 at the death of the postmaster`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/tcop/postgres.c:513-548 ProcessClientReadInterrupt: each interrupt in the wait for a command, a die request in another read; :559-600 ProcessClientWriteInterrupt: a die request only, with no message to the client`,
+			ref: `${AT$3}/backend/tcop/postgres.c:513-548 ProcessClientReadInterrupt: each interrupt in the wait for a command, a die request in another read; :559-600 ProcessClientWriteInterrupt: a die request only, with no message to the client`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/libpq/pqcomm.c:287-297 the socket has O_NONBLOCK, and the latch gives the waits; :896-956 pq_recvbuf: 0 bytes or an error is EOF, and an error logs COMMERROR "could not receive data from client: %m"`,
+			ref: `${AT$3}/backend/libpq/pqcomm.c:287-297 the socket has O_NONBLOCK, and the latch gives the waits; :896-956 pq_recvbuf: 0 bytes or an error is EOF, and an error logs COMMERROR "could not receive data from client: %m"`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/tcop/postgres.c:364-396 SocketBackend: EOF in a transaction logs COMMERROR 08006 "unexpected EOF on client connection with an open transaction", else DEBUG1 08003; :4988-5016 EOF or Terminate: proc_exit(0)`,
+			ref: `${AT$3}/backend/tcop/postgres.c:364-396 SocketBackend: EOF in a transaction logs COMMERROR 08006 "unexpected EOF on client connection with an open transaction", else DEBUG1 08003; :4988-5016 EOF or Terminate: proc_exit(0)`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/access/transam/xact.c:383-396 IsTransactionState is TRANS_INPROGRESS only; backend/utils/init/postinit.c:1360-1371 ShutdownPostgres aborts the transaction at exit`,
+			ref: `${AT$3}/backend/access/transam/xact.c:383-396 IsTransactionState is TRANS_INPROGRESS only; backend/utils/init/postinit.c:1360-1371 ShutdownPostgres aborts the transaction at exit`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/libpq/pqcomm.c:1275-1336 a full buffer flushes, and the flush waits for the socket, :1358-1423 internal_flush_buffer: an error logs COMMERROR "could not send data to client: %m" once for each errno, drops the buffer and sets ClientConnectionLost`,
+			ref: `${AT$3}/backend/libpq/pqcomm.c:1275-1336 a full buffer flushes, and the flush waits for the socket, :1358-1423 internal_flush_buffer: an error logs COMMERROR "could not send data to client: %m" once for each errno, drops the buffer and sets ClientConnectionLost`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/tcop/postgres.c:4310-4316 the backend ignores SIGPIPE`,
+			ref: `${AT$3}/backend/tcop/postgres.c:4310-4316 the backend ignores SIGPIPE`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/include/utils/elog.h:31-38 COMMERROR is LOG_SERVER_ONLY; backend/utils/error/elog.c:205-228 it goes to the log at log_min_messages WARNING (guc_tables.c:534), and DEBUG1 does not`,
+			ref: `${AT$3}/include/utils/elog.h:31-38 COMMERROR is LOG_SERVER_ONLY; backend/utils/error/elog.c:205-228 it goes to the log at log_min_messages WARNING (guc_tables.c:534), and DEBUG1 does not`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/utils/error/elog.c:245-262 and :1726-1732 an error goes to the client while the output is DestRemote, :3643-3651 the backend flushes it, :559-590 FATAL ends the process with proc_exit(1)`,
+			ref: `${AT$3}/backend/utils/error/elog.c:245-262 and :1726-1732 an error goes to the client while the output is DestRemote, :3643-3651 the backend flushes it, :559-590 FATAL ends the process with proc_exit(1)`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/libpq/pqcomm.c:347-392 socket_close keeps the socket open until the process exits`,
+			ref: `${AT$3}/backend/libpq/pqcomm.c:347-392 socket_close keeps the socket open until the process exits`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/tcop/backend_startup.c:237-253 the startup timer: authentication_timeout, after the DNS lookup, :311-314 the end of the startup packet disarms it, :895-922 its handler and SIGTERM call _exit(1), with no log and no message`,
+			ref: `${AT$3}/backend/tcop/backend_startup.c:237-253 the startup timer: authentication_timeout, after the DNS lookup, :311-314 the end of the startup packet disarms it, :895-922 its handler and SIGTERM call _exit(1), with no log and no message`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/tcop/backend_startup.c:460-519 ProcessStartupPacket: no byte is a silent end, a part of a packet logs COMMERROR 08P01 "incomplete startup packet"; :328-333 proc_exit(0)`,
+			ref: `${AT$3}/backend/tcop/backend_startup.c:460-519 ProcessStartupPacket: no byte is a silent end, a part of a packet logs COMMERROR 08P01 "incomplete startup packet"; :328-333 proc_exit(0)`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/utils/init/postinit.c:235-251 PerformAuthentication arms the statement timer at authentication_timeout * 1000 ms, :305 ClientAuthInProgress ends after it, :1210-1215 the GUCs of the startup packet apply after it`,
+			ref: `${AT$3}/backend/utils/init/postinit.c:235-251 PerformAuthentication arms the statement timer at authentication_timeout * 1000 ms, :305 ClientAuthInProgress ends after it, :1210-1215 the GUCs of the startup packet apply after it`,
 			rung: "implemented"
 		},
 		{
-			ref: `${AT$2}/backend/libpq/auth.c:260-271 an EOF from the client in authentication: proc_exit(0), with no log; :714-744 recv_password_packet gives an EOF as NULL`,
+			ref: `${AT$3}/backend/libpq/auth.c:260-271 an EOF from the client in authentication: proc_exit(0), with no log; :714-744 recv_password_packet gives an EOF as NULL`,
 			rung: "implemented"
 		},
 		{
@@ -12271,6 +12271,818 @@ const PROCEDURES_WS_SERVER = machineSchema.parse({
 	}
 });
 //#endregion
+//#region src/proxy/envoy.ts
+const AT$2 = "envoy v1.39.4";
+/**
+* This document is Envoy 1.39.4 as an HTTP/2 proxy of gRPC, for one connection of a client. Its static
+* configuration is the one of the harness. It has one listener with the HTTP connection manager, one
+* route with no timeout of its own, and one cluster of h2c. Each other field is at its default.
+*
+* Envoy answers a failure of its upstream itself. Before the headers of the response, it sends a local
+* reply: a gRPC response of trailers only, with a status from the HTTP code (503 and 504 give UNAVAILABLE).
+* After the headers, it resets the stream with INTERNAL_ERROR. It retries no call at the defaults. The
+* route ends each call 15 s after the end of its request. Envoy sets no keepalive of HTTP/2 or of TCP. At
+* SIGTERM it closes each connection with no GOAWAY.
+*/
+const ENVOY_HTTP2 = machineSchema.parse({
+	format: "mark1russell7.machine/1",
+	id: "envoy-http2",
+	title: "Envoy 1.39.4 as an HTTP/2 proxy of gRPC: one connection of a client, its streams to one cluster, the local replies and the close",
+	layer: "proxy",
+	version: "1.39.4",
+	conditions: {
+		envoy: "v1.39.4",
+		codec: "nghttp2 1.66.0",
+		configuration: "one listener with the HTTP connection manager and the router, one route with no timeout, retry or max_stream_duration, and one STATIC cluster with http2_protocol_options"
+	},
+	sources: [
+		{
+			ref: `${AT$2} source/common/runtime/runtime_features.cc:274-276 the codec of HTTP/2 is nghttp2: http2_use_oghttp2 is false`,
+			rung: "implemented"
+		},
+		{
+			ref: `${AT$2} hutil.cc:746-777, :805-808 a local reply to a gRPC request is a response of trailers only: :status 200, grpc-status and grpc-message`,
+			rung: "implemented"
+		},
+		{
+			ref: `${AT$2} source/common/grpc/status.cc:6-26 the status of an HTTP code: 429, 502, 503 and 504 give UNAVAILABLE, and an unknown code gives UNKNOWN`,
+			rung: "implemented"
+		},
+		{
+			ref: `${AT$2} source/common/http/filter_manager.cc:1120-1127, cm.cc:301-313 and h2.cc:193-199 after the headers of the response, a local reply resets the stream with INTERNAL_ERROR`,
+			rung: "implemented"
+		},
+		{
+			ref: `${AT$2} api/envoy/config/route/v3/route_components.proto:1373-1384 and source/common/router/config_impl.h:976 the timeout of a route: 15 s when it is not given`,
+			rung: "implemented"
+		},
+		{
+			ref: `${AT$2} router.cc:180-266, :1309-1331, :1530-1572 the timer of the route starts at the end of the request, and its end gives the local reply 504 "upstream request timeout". The flag grpc_timeout_returns_deadline_exceeded is false (runtime_features.cc:242-244)`,
+			rung: "implemented"
+		},
+		{
+			ref: `${AT$2} route_components.proto:1114-1118 and cm.cc:1731-1772 Envoy reads grpc-timeout only with grpc_timeout_header_max. At the defaults it forwards the header and does not act on it`,
+			rung: "implemented"
+		},
+		{
+			ref: `${AT$2} source/common/http/codec_client.cc:124-144 and router.cc:1574-1581, :1681-1712 a reset of the upstream connection resets each stream on it with ConnectionTermination. With no retry policy, the router sends the local reply 503 "upstream connect error or disconnect/reset before headers. reset reason: connection termination"`,
+			rung: "implemented"
+		},
+		{
+			ref: `${AT$2} source/common/router/retry_state_impl.cc:28-47 a route with no retry_on, and a request with no x-envoy-retry-on, get no retry state`,
+			rung: "implemented"
+		},
+		{
+			ref: `${AT$2} source/common/upstream/upstream_impl.cc:1206-1207 the connect timeout of a cluster: 5 s. Its end gives the local reply 503 with the reset reason connection timeout`,
+			rung: "implemented"
+		},
+		{
+			ref: `${AT$2} source/extensions/filters/network/http_connection_manager/config.h:372-377 and config.cc:404-425, :488-492 the defaults of the HTTP connection manager: stream_idle_timeout 5 min, request_timeout off, drain_timeout 5 s, delayed_close_timeout 1 s, idle_timeout 1 h`,
+			rung: "implemented"
+		},
+		{
+			ref: `${AT$2} cm.cc:968-974, :1052-1069 the idle timer of a stream: each frame of the stream arms it again. Its end gives the local reply 504 "stream timeout" for a request that is complete`,
+			rung: "implemented"
+		},
+		{
+			ref: `${AT$2} cm.cc:207-212, :1699-1705, :819-824 and h2.cc:1176-1193 the idle timer of a connection runs only with no stream open. Its end sends GOAWAY NO_ERROR as a notice, then after drain_timeout the final GOAWAY and the close`,
+			rung: "implemented"
+		},
+		{
+			ref: `${AT$2} api/envoy/config/core/v3/protocol.proto:538-569 and h2.cc:1013-1029 no PING of HTTP/2 from Envoy when connection_keepalive is not given`,
+			rung: "implemented"
+		},
+		{
+			ref: `${AT$2} source/common/listener_manager/listener_impl.cc:405-416 and upstream_impl.cc:223-228 no SO_KEEPALIVE on a socket when tcp_keepalive is not given. No TCP_USER_TIMEOUT anywhere`,
+			rung: "implemented"
+		},
+		{
+			ref: `${AT$2} source/server/server.cc:1005-1014, :1097-1127 and source/common/listener_manager/active_tcp_listener.cc:54-63 SIGTERM shuts down the server: each worker closes each connection with NoFlush. No GOAWAY and no timer of the drain`,
+			rung: "implemented"
+		}
+	],
+	states: {
+		"[none]": {
+			initial: true,
+			pseudo: true,
+			note: "Before the accept of the connection of the client"
+		},
+		idle: { note: "The connection of the client, with no stream open. The idle timer of the connection runs" },
+		active: { note: "A stream of the client is open: its request goes to the cluster" },
+		draining: { note: "After the GOAWAY notice of an idle connection, until its final GOAWAY" },
+		ended: {
+			final: true,
+			note: "The connection of the client closed"
+		}
+	},
+	events: {
+		"local.accept": {
+			kind: "local",
+			note: "The listener accepts the connection of the client"
+		},
+		"rx.headers": {
+			kind: "rx",
+			note: "The headers of a new stream of the client: a call"
+		},
+		"rx.request-end": {
+			kind: "rx",
+			note: "The end of the request of the stream (END_STREAM): a unary call sends it at once"
+		},
+		"rx.frame": {
+			kind: "rx",
+			note: "Any frame of the stream, in either direction"
+		},
+		"upstream.connect-timeout": {
+			kind: "local",
+			note: "The connect to the cluster does not complete in connect_timeout"
+		},
+		"upstream.headers": {
+			kind: "local",
+			note: "The headers of the response of the upstream go to the client"
+		},
+		"upstream.end": {
+			kind: "local",
+			note: "The response of the upstream ends with its status: the stream closes"
+		},
+		"upstream.reset": {
+			kind: "local",
+			note: "The upstream connection ends with a reset or an end of file while the stream waits: ConnectionTermination"
+		},
+		"timer.route": {
+			kind: "timer",
+			note: "The timeout of the route ends after the end of the request"
+		},
+		"timer.stream-idle": {
+			kind: "timer",
+			note: "No frame of the stream for stream_idle_timeout"
+		},
+		"timer.idle": {
+			kind: "timer",
+			note: "No stream open for idle_timeout"
+		},
+		"timer.drain": {
+			kind: "timer",
+			note: "drain_timeout after the GOAWAY notice"
+		},
+		"app.stop": {
+			kind: "app",
+			note: "SIGTERM or SIGINT to the process of Envoy"
+		},
+		"peer.fin": {
+			kind: "peer",
+			note: "The client ends the connection"
+		},
+		"peer.rst": {
+			kind: "peer",
+			note: "A reset of the connection of the client"
+		},
+		"tx.local-reply": {
+			kind: "tx",
+			note: "A response of trailers only with the gRPC status of the HTTP code, before the headers of a response"
+		},
+		"tx.rst-stream": {
+			kind: "tx",
+			note: "RST_STREAM INTERNAL_ERROR of a stream whose response headers went out"
+		},
+		"tx.goaway": {
+			kind: "tx",
+			note: "A GOAWAY NO_ERROR to the client"
+		},
+		"tx.fin": {
+			kind: "tx",
+			note: "The close of the connection of the client: a FIN"
+		}
+	},
+	knobs: {
+		route_timeout: {
+			key: "RouteAction.timeout",
+			scope: "server",
+			unit: "s",
+			default: 15,
+			off: 0,
+			note: "config_impl.h:976: 15 s. 0 turns it off"
+		},
+		stream_idle_timeout: {
+			key: "HttpConnectionManager.stream_idle_timeout",
+			scope: "server",
+			unit: "s",
+			default: 300,
+			off: 0,
+			note: "config.h:372-373: 5 min"
+		},
+		idle_timeout: {
+			key: "HttpConnectionManager.common_http_protocol_options.idle_timeout",
+			scope: "server",
+			unit: "s",
+			default: 3600,
+			off: 0,
+			note: "config.cc:488-492: 1 h"
+		},
+		drain_timeout: {
+			key: "HttpConnectionManager.drain_timeout",
+			scope: "server",
+			unit: "s",
+			default: 5,
+			note: "config.cc:411: 5000 ms"
+		},
+		connect_timeout: {
+			key: "Cluster.connect_timeout",
+			scope: "server",
+			unit: "s",
+			default: 5,
+			note: "upstream_impl.cc:1206-1207: 5 s"
+		},
+		slack: {
+			key: "the lateness of the event loop of a worker of Envoy for one step",
+			scope: "process",
+			unit: "s",
+			default: .01,
+			note: "An assumption of this document, not a value of Envoy"
+		},
+		hz: {
+			key: "CONFIG_HZ",
+			scope: "global",
+			unit: "Hz",
+			default: null,
+			note: "The build option of the kernel"
+		}
+	},
+	timers: {
+		route: {
+			duration: {
+				knob: "route_timeout",
+				unit: "s"
+			},
+			lateness: {
+				knob: "slack",
+				unit: "s"
+			},
+			arms: ["rx.request-end"],
+			cancels: [
+				"upstream.end",
+				"upstream.reset",
+				"peer.rst",
+				"peer.fin"
+			],
+			fires: "timer.route",
+			note: "router.cc:1309-1331: from the end of the request. A stream that does not end its request never starts it"
+		},
+		stream_idle: {
+			duration: {
+				knob: "stream_idle_timeout",
+				unit: "s"
+			},
+			lateness: {
+				knob: "slack",
+				unit: "s"
+			},
+			arms: ["rx.headers", "rx.frame"],
+			cancels: [
+				"upstream.end",
+				"upstream.reset",
+				"peer.rst",
+				"peer.fin"
+			],
+			fires: "timer.stream-idle",
+			note: "cm.cc:968-974: each frame of the stream arms it again"
+		},
+		idle: {
+			duration: {
+				knob: "idle_timeout",
+				unit: "s"
+			},
+			lateness: {
+				knob: "slack",
+				unit: "s"
+			},
+			arms: ["enter:idle"],
+			cancels: ["rx.headers"],
+			fires: "timer.idle",
+			note: "cm.cc:207-212, :398-400: only with no stream open. A PING does not arm it again"
+		},
+		drain: {
+			duration: {
+				knob: "drain_timeout",
+				unit: "s"
+			},
+			lateness: {
+				knob: "slack",
+				unit: "s"
+			},
+			arms: ["timer.idle"],
+			fires: "timer.drain",
+			note: "cm.cc:1699-1705: from the GOAWAY notice"
+		}
+	},
+	transitions: [
+		{
+			id: "env.accept",
+			from: "[none]",
+			to: "idle",
+			on: "local.accept",
+			timer: "idle",
+			source: "source/common/listener_manager/active_tcp_listener.cc"
+		},
+		{
+			id: "env.stream",
+			from: "idle",
+			to: "active",
+			on: "rx.headers",
+			timer: "stream_idle",
+			source: "cm.cc:968-974"
+		},
+		{
+			id: "env.request-end",
+			from: "active",
+			to: "active",
+			on: "rx.request-end",
+			timer: "route",
+			source: "router.cc:1309-1331"
+		},
+		{
+			id: "env.replied",
+			from: "active",
+			to: "idle",
+			on: "upstream.end",
+			note: "The status of the upstream passes to the client unchanged",
+			source: "router.cc"
+		},
+		{
+			id: "env.upstream-reset",
+			from: "active",
+			to: "idle",
+			on: "upstream.reset",
+			guard: "no headers of the response went to the client",
+			errno: "UNAVAILABLE",
+			emits: ["tx.local-reply"],
+			note: "503 upstream connect error or disconnect/reset before headers. reset reason: connection termination, as trailers only with grpc-status 14. No retry",
+			source: "codec_client.cc:124-144, router.cc:1574-1581, :1681-1712"
+		},
+		{
+			id: "env.upstream-reset-streaming",
+			from: "active",
+			to: "idle",
+			on: "upstream.reset",
+			guard: "the headers of the response went to the client",
+			errno: "INTERNAL",
+			emits: ["tx.rst-stream"],
+			source: "filter_manager.cc:1120-1127, cm.cc:301-313"
+		},
+		{
+			id: "env.route-timeout",
+			from: "active",
+			to: "idle",
+			on: "timer.route",
+			timer: "route",
+			errno: "UNAVAILABLE",
+			emits: ["tx.local-reply"],
+			note: "504 upstream request timeout. The upstream stream is reset",
+			source: "router.cc:1530-1572"
+		},
+		{
+			id: "env.stream-idle",
+			from: "active",
+			to: "idle",
+			on: "timer.stream-idle",
+			timer: "stream_idle",
+			errno: "UNAVAILABLE",
+			emits: ["tx.local-reply"],
+			note: "504 stream timeout for a request that is complete. A request that is still open gets 408, thus UNKNOWN",
+			source: "cm.cc:1052-1069, hutil.cc:1535-1540"
+		},
+		{
+			id: "env.connect-timeout",
+			from: "active",
+			to: "idle",
+			on: "upstream.connect-timeout",
+			errno: "UNAVAILABLE",
+			emits: ["tx.local-reply"],
+			note: "503 with the reset reason connection timeout",
+			source: "upstream_impl.cc:1206-1207, router.cc:1681-1712"
+		},
+		{
+			id: "env.idle",
+			from: "idle",
+			to: "draining",
+			on: "timer.idle",
+			timer: "idle",
+			emits: ["tx.goaway"],
+			note: "The GOAWAY notice: last-stream-id 2^31 − 1",
+			source: "cm.cc:1699-1705, h2.cc:1176-1193"
+		},
+		{
+			id: "env.drained",
+			from: "draining",
+			to: "ended",
+			on: "timer.drain",
+			timer: "drain",
+			emits: ["tx.goaway", "tx.fin"],
+			source: "cm.cc:819-824"
+		},
+		{
+			id: "env.stop",
+			from: [
+				"idle",
+				"active",
+				"draining"
+			],
+			to: "ended",
+			on: "app.stop",
+			emits: ["tx.fin"],
+			note: "No GOAWAY: the close of a connection with NoFlush. A call in flight ends with the close",
+			source: "server.cc:1005-1014, active_tcp_listener.cc:54-63"
+		},
+		{
+			id: "env.client-end",
+			from: [
+				"idle",
+				"active",
+				"draining"
+			],
+			to: "ended",
+			on: ["peer.fin", "peer.rst"],
+			source: "source/common/network/connection_impl.cc:804-819"
+		}
+	],
+	over: {
+		machine: "systems.machine.linux-tcp",
+		states: {
+			idle: "ESTABLISHED",
+			active: "ESTABLISHED",
+			draining: "ESTABLISHED"
+		},
+		sets: {},
+		ends: "peer.rst",
+		note: "The socket toward the client: a Linux TCP socket with TCP_NODELAY and no keepalive. The socket toward the cluster is the same"
+	}
+});
+//#endregion
+//#region src/proxy/tcp-proxies.ts
+const TOXI = "toxiproxy v2.12.0";
+const MOBY = "moby docker-v29.1.5";
+/** These are the facts of Go that both proxies share: the TCP keepalive of a socket that the caller does not set. */
+const GO_KEEPALIVE = [
+	{
+		ref: "go1.23.0 and go1.25.6 src/net/dial.go:19-26 the defaults of the TCP keepalive: 15 s idle, 15 s between probes, 9 probes",
+		rung: "implemented"
+	},
+	{
+		ref: "go1.23.0 and go1.25.6 src/net/tcpsock_posix.go:121, :158-164 and tcpsock.go:289-305 an accepted and a dialed connection get the KeepAlive of a zero ListenConfig or Dialer: on, with the defaults",
+		rung: "implemented"
+	},
+	{
+		ref: "linux v6.6 net/ipv4/tcp.c:2781-2807 the close of a socket with unread bytes in its receive queue sends a reset, and else a FIN",
+		rung: "implemented"
+	}
+];
+/** These are the knobs of the TCP keepalive of Go, which each socket of the two proxies gets. */
+const GO_KNOBS = {
+	keepidle: {
+		key: "the TCP keepalive idle of Go",
+		scope: "process",
+		unit: "s",
+		default: 15,
+		note: "dial.go:23: no caller sets it"
+	},
+	keepintvl: {
+		key: "the TCP keepalive interval of Go",
+		scope: "process",
+		unit: "s",
+		default: 15,
+		note: "dial.go:24"
+	},
+	keepcnt: {
+		key: "the TCP keepalive count of Go",
+		scope: "process",
+		unit: "count",
+		default: 9,
+		note: "dial.go:26"
+	},
+	slack: {
+		key: "the lateness of the scheduler of Go for one copy",
+		scope: "process",
+		unit: "s",
+		default: .01,
+		note: "An assumption of this document, not a value of the proxy"
+	},
+	hz: {
+		key: "CONFIG_HZ",
+		scope: "global",
+		unit: "Hz",
+		default: null,
+		note: "The build option of the kernel"
+	}
+};
+/** These are the events of a proxied connection: one socket toward the client, and one toward the upstream. */
+const EVENTS = {
+	"local.accept": {
+		kind: "local",
+		note: "The listener accepts a connection of the client"
+	},
+	"local.dialed": {
+		kind: "local",
+		note: "The connect to the upstream completes"
+	},
+	"local.dial-failed": {
+		kind: "local",
+		note: "The connect to the upstream fails"
+	},
+	"peer.client-fin": {
+		kind: "peer",
+		note: "The client ends its side: an end of file for the proxy"
+	},
+	"peer.upstream-fin": {
+		kind: "peer",
+		note: "The upstream ends its side: an end of file for the proxy"
+	},
+	"peer.client-rst": {
+		kind: "peer",
+		note: "A reset of the socket toward the client: its read fails with ECONNRESET"
+	},
+	"peer.upstream-rst": {
+		kind: "peer",
+		note: "A reset of the socket toward the upstream: its read fails with ECONNRESET"
+	},
+	"app.stop": {
+		kind: "app",
+		note: "SIGINT or SIGTERM to the process of the proxy"
+	},
+	"tx.client-fin": {
+		kind: "tx",
+		note: "The proxy ends its side toward the client: a FIN, or a reset when bytes are unread"
+	},
+	"tx.upstream-fin": {
+		kind: "tx",
+		note: "The proxy ends its side toward the upstream: a FIN, or a reset when bytes are unread"
+	}
+};
+/** This function gives the TCP socket under each side of a proxied connection: the keepalive of Go, and no other option. */
+const overOf = (states) => ({
+	machine: "systems.machine.linux-tcp",
+	states: Object.fromEntries(states.map((state) => [state, "ESTABLISHED"])),
+	sets: {
+		keepidle: {
+			knob: "keepidle",
+			unit: "s"
+		},
+		keepintvl: {
+			knob: "keepintvl",
+			unit: "s"
+		},
+		keepcnt: {
+			knob: "keepcnt",
+			unit: "count"
+		}
+	},
+	ends: "peer.client-rst",
+	note: "Each socket of the proxy, toward the client and toward the upstream: a Linux TCP socket with the keepalive of Go. A peer that is gone ends it at 15 + 9 × 15 = 150 s"
+});
+/**
+* This document is one proxied connection of Toxiproxy 2.12.0, with no toxic. Toxiproxy copies TCP, and it
+* knows no protocol above it. It has no timer on a link. Each socket gets the TCP keepalive of Go. It has
+* no half-close: an end of file or an error on either side closes both sockets. A stop of the process
+* shuts down only the HTTP API, and the exit of the process then closes each socket.
+*/
+const TOXIPROXY_LINK = machineSchema.parse({
+	format: "mark1russell7.machine/1",
+	id: "toxiproxy-link",
+	title: "Toxiproxy 2.12.0 with no toxic: one proxied TCP connection, its two links and its close",
+	layer: "proxy",
+	version: "2.12.0",
+	conditions: {
+		toxiproxy: "v2.12.0",
+		go: "1.23.0 or later",
+		proxy: "one proxy from the configuration file, with no toxic"
+	},
+	sources: [
+		{
+			ref: `${TOXI} proxy.go:113, :183, :206, :221-222 the listener, the accept, the dial of the upstream in the loop of the accepts, and the two links`,
+			rung: "implemented"
+		},
+		{
+			ref: `${TOXI} proxy.go:182-214 the dial has no timeout of its own. While it waits, the loop accepts no other client. A failed dial closes the client`,
+			rung: "implemented"
+		},
+		{
+			ref: `${TOXI} toxic_collection.go:30-44 and toxics/noop.go:6-18 each direction starts with the noop toxic, which copies each chunk and closes its output when its input closes`,
+			rung: "implemented"
+		},
+		{
+			ref: `${TOXI} link.go:116-168 a link copies with io.Copy and no deadline. At an end of file or an error of its source, it closes its input. Its writer then calls Close on its destination: a full close, with no CloseWrite`,
+			rung: "implemented"
+		},
+		{
+			ref: `${TOXI} link.go:95-107 only the toxic reset_peer sets SO_LINGER(0), thus with no toxic the proxy sends no reset on purpose`,
+			rung: "implemented"
+		},
+		{
+			ref: `${TOXI} cmd/server/server.go:53-60, :101-109 and api.go:75-88 SIGINT and SIGTERM shut down the HTTP API, and the process exits. The proxies and their links do not close first`,
+			rung: "implemented"
+		},
+		...GO_KEEPALIVE
+	],
+	states: {
+		"[none]": {
+			initial: true,
+			pseudo: true,
+			note: "Before the accept of the client"
+		},
+		dialing: { note: "The accepted client, while the proxy dials the upstream in its loop of accepts" },
+		linked: { note: "Both links copy: the client to the upstream, and the upstream to the client" },
+		ended: {
+			final: true,
+			note: "Both sockets closed"
+		}
+	},
+	events: EVENTS,
+	knobs: GO_KNOBS,
+	timers: {},
+	transitions: [
+		{
+			id: "tl.accept",
+			from: "[none]",
+			to: "dialing",
+			on: "local.accept",
+			source: "proxy.go:183-206"
+		},
+		{
+			id: "tl.dialed",
+			from: "dialing",
+			to: "linked",
+			on: "local.dialed",
+			source: "proxy.go:206, :221-222"
+		},
+		{
+			id: "tl.dial-failed",
+			from: "dialing",
+			to: "ended",
+			on: "local.dial-failed",
+			emits: ["tx.client-fin"],
+			note: "The client is closed. Its unread preface makes that close a reset",
+			source: "proxy.go:206-214"
+		},
+		{
+			id: "tl.upstream-end",
+			from: "linked",
+			to: "ended",
+			on: ["peer.upstream-fin", "peer.upstream-rst"],
+			emits: ["tx.client-fin", "tx.upstream-fin"],
+			note: "The link from the upstream ends. Its writer closes the client after the bytes it holds. The read of the other link then fails, and it closes the upstream: no half-close",
+			source: "link.go:122-133, :152-163, toxics/noop.go:11-14"
+		},
+		{
+			id: "tl.client-end",
+			from: "linked",
+			to: "ended",
+			on: ["peer.client-fin", "peer.client-rst"],
+			emits: ["tx.upstream-fin", "tx.client-fin"],
+			note: "The same close from the side of the client: the upstream gets a full close",
+			source: "link.go:122-133, :152-163"
+		},
+		{
+			id: "tl.stop",
+			from: ["dialing", "linked"],
+			to: "ended",
+			on: "app.stop",
+			emits: ["tx.client-fin", "tx.upstream-fin"],
+			note: "The process exits after the shutdown of its HTTP API, and the kernel closes each socket: a FIN, or a reset when bytes are unread",
+			source: "cmd/server/server.go:101-109, api.go:75-88"
+		}
+	],
+	over: overOf(["linked"])
+});
+/**
+* This document is one proxied connection of docker-proxy, the userland proxy of Docker Engine 29.1.5. It
+* copies TCP with two goroutines and knows no protocol above it. It has no timer. Each socket gets the
+* TCP keepalive of Go. An end of file of one side passes as a half-close. A reset of one side becomes a
+* FIN toward the other side. A stop of the process, which Docker sends at a stop or a restart of the
+* container, closes each connection fully.
+*/
+const DOCKER_PROXY_LINK = machineSchema.parse({
+	format: "mark1russell7.machine/1",
+	id: "docker-proxy-link",
+	title: "docker-proxy of Docker Engine 29.1.5: one proxied TCP connection, its two copies and its close",
+	layer: "proxy",
+	version: "29.1.5",
+	conditions: {
+		docker: "Engine 29.1.5",
+		go: "1.25.6",
+		proxy: "one TCP port binding, as dockerd starts it for a published port"
+	},
+	sources: [
+		{
+			ref: `${MOBY} cmd/docker-proxy/tcp_proxy_linux.go:27-77 the whole TCP path: the accept, net.DialTCP to the container, and two io.Copy goroutines. No deadline and no timer`,
+			rung: "implemented"
+		},
+		{
+			ref: `${MOBY} cmd/docker-proxy/tcp_proxy_linux.go:36-41 at the end of one copy, CloseRead of its source and CloseWrite of its destination: a FIN passes as a half-close, and a reset of the source becomes a FIN`,
+			rung: "implemented"
+		},
+		{
+			ref: `${MOBY} cmd/docker-proxy/tcp_proxy_linux.go:28-33 a failed dial closes the client at once`,
+			rung: "implemented"
+		},
+		{
+			ref: `${MOBY} cmd/docker-proxy/main_linux.go:188-197 SIGINT and SIGTERM close the listener, and the process exits`,
+			rung: "implemented"
+		},
+		{
+			ref: `${MOBY} daemon/libnetwork/portmapper/proxy_linux.go:133-143 dockerd stops a proxy with SIGINT when it removes its port binding: at a stop or a restart of the container`,
+			rung: "implemented"
+		},
+		{
+			ref: `${MOBY} daemon/command/config_unix.go:39 the userland proxy is on at the defaults, for the traffic to a published port on the loopback of the host`,
+			rung: "implemented"
+		},
+		...GO_KEEPALIVE
+	],
+	states: {
+		"[none]": {
+			initial: true,
+			pseudo: true,
+			note: "Before the accept of the client"
+		},
+		dialing: { note: "The accepted client, while its goroutine dials the container" },
+		linked: { note: "Both copies run" },
+		"half-closed": { note: "One copy ended at an end of file or a reset. The other copy goes on" },
+		ended: {
+			final: true,
+			note: "Both sockets closed"
+		}
+	},
+	events: EVENTS,
+	knobs: GO_KNOBS,
+	timers: {},
+	transitions: [
+		{
+			id: "dp.accept",
+			from: "[none]",
+			to: "dialing",
+			on: "local.accept",
+			source: "tcp_proxy_linux.go:63-73"
+		},
+		{
+			id: "dp.dialed",
+			from: "dialing",
+			to: "linked",
+			on: "local.dialed",
+			source: "tcp_proxy_linux.go:28-35"
+		},
+		{
+			id: "dp.dial-failed",
+			from: "dialing",
+			to: "ended",
+			on: "local.dial-failed",
+			emits: ["tx.client-fin"],
+			source: "tcp_proxy_linux.go:28-33"
+		},
+		{
+			id: "dp.upstream-end",
+			from: "linked",
+			to: "half-closed",
+			on: ["peer.upstream-fin", "peer.upstream-rst"],
+			emits: ["tx.client-fin"],
+			note: "The copy from the upstream ends, and CloseWrite sends a FIN to the client. A reset of the upstream also gives the client a FIN, not a reset",
+			source: "tcp_proxy_linux.go:36-41"
+		},
+		{
+			id: "dp.client-end",
+			from: "linked",
+			to: "half-closed",
+			on: ["peer.client-fin", "peer.client-rst"],
+			emits: ["tx.upstream-fin"],
+			source: "tcp_proxy_linux.go:36-41"
+		},
+		{
+			id: "dp.both-ended",
+			from: "half-closed",
+			to: "ended",
+			on: [
+				"peer.client-fin",
+				"peer.client-rst",
+				"peer.upstream-fin",
+				"peer.upstream-rst"
+			],
+			note: "The other copy ends, and both sockets close",
+			source: "tcp_proxy_linux.go:53-58"
+		},
+		{
+			id: "dp.stop",
+			from: [
+				"dialing",
+				"linked",
+				"half-closed"
+			],
+			to: "ended",
+			on: "app.stop",
+			emits: ["tx.client-fin", "tx.upstream-fin"],
+			note: "The process exits at once, and the kernel closes each socket fully: a FIN, or a reset when bytes are unread",
+			source: "main_linux.go:188-197"
+		}
+	],
+	over: overOf(["linked", "half-closed"])
+});
+//#endregion
 //#region src/rabbit/amqplib.ts
 const AT$1 = "amqplib 2.2.0 lib";
 /**
@@ -14339,9 +15151,12 @@ const MACHINES = byId([
 	RA_MEMBER,
 	GRPC_JS,
 	GRPC_GO_SERVER,
-	ETCD_SERVER
+	ETCD_SERVER,
+	TOXIPROXY_LINK,
+	DOCKER_PROXY_LINK,
+	ENVOY_HTTP2
 ]);
 //#endregion
-export { AMQPLIB, ATEN_DETECTOR, ETCD_SERVER, GO_TRANSPORT, GRPC_GO_SERVER, GRPC_JS, HIKARICP_PGJDBC, IOREDIS_SENTINEL, IOREDIS_STATUS, LINUX_TCP, MACHINES, MANIFESTATIONS, MONGODB_NODE, MONGOD_REPL, MONGOD_SESSION, NF_CONNTRACK_TCP, NODE_HTTP_AGENT, NODE_HTTP_SERVER, NODE_POSTGRES, NODE_TIMER_EARLY, PGBOUNCER_CLIENT, PGBOUNCER_SERVER, PGPOOL_SESSION, POSTGRES_SESSION, PROCEDURES_WS_CLIENT, PROCEDURES_WS_SERVER, RABBITMQ_CONNECTION, RA_MEMBER, REDIS_CLIENT, SENTINEL, SUPAVISOR_CLIENT, SUPAVISOR_SERVER, UNDICI_CLIENT, UNDICI_TICK_MS, goLateSeconds, goTimerLateness, nodeEarlySeconds, nodeLateSeconds, nodeTimerLateness, undiciFastEarly, undiciFastLateness };
+export { AMQPLIB, ATEN_DETECTOR, DOCKER_PROXY_LINK, ENVOY_HTTP2, ETCD_SERVER, GO_TRANSPORT, GRPC_GO_SERVER, GRPC_JS, HIKARICP_PGJDBC, IOREDIS_SENTINEL, IOREDIS_STATUS, LINUX_TCP, MACHINES, MANIFESTATIONS, MONGODB_NODE, MONGOD_REPL, MONGOD_SESSION, NF_CONNTRACK_TCP, NODE_HTTP_AGENT, NODE_HTTP_SERVER, NODE_POSTGRES, NODE_TIMER_EARLY, PGBOUNCER_CLIENT, PGBOUNCER_SERVER, PGPOOL_SESSION, POSTGRES_SESSION, PROCEDURES_WS_CLIENT, PROCEDURES_WS_SERVER, RABBITMQ_CONNECTION, RA_MEMBER, REDIS_CLIENT, SENTINEL, SUPAVISOR_CLIENT, SUPAVISOR_SERVER, TOXIPROXY_LINK, UNDICI_CLIENT, UNDICI_TICK_MS, goLateSeconds, goTimerLateness, nodeEarlySeconds, nodeLateSeconds, nodeTimerLateness, undiciFastEarly, undiciFastLateness };
 
 //# sourceMappingURL=index.js.map