@mark1russell7/machines 0.3.20 → 0.3.22

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/build/index.js CHANGED
@@ -1,49 +1,49 @@
1
1
  import { machineSchema } from "@mark1russell7/algebra";
2
2
  import { z } from "zod";
3
3
  //#region src/grpc/grpc-go-server.ts
4
- const AT$13 = "grpc-go v1.84.0";
4
+ const AT$14 = "grpc-go v1.84.0";
5
5
  const GO = "go1.27.2 src/net";
6
6
  const ETCD = "etcd v3.6.15";
7
7
  /** These are the facts of the transport of grpc-go, for each server on it. */
8
8
  const TRANSPORT = [
9
9
  {
10
- ref: `${AT$13} 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`,
10
+ ref: `${AT$14} 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`,
11
11
  rung: "implemented"
12
12
  },
13
13
  {
14
- ref: `${AT$13} 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`,
14
+ ref: `${AT$14} 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`,
15
15
  rung: "implemented"
16
16
  },
17
17
  {
18
- ref: `${AT$13} internal/syscall/syscall_linux.go:71-90 SetTCPUserTimeout acts only on a *net.TCPConn. On any other net.Conn it does nothing`,
18
+ ref: `${AT$14} internal/syscall/syscall_linux.go:71-90 SetTCPUserTimeout acts only on a *net.TCPConn. On any other net.Conn it does nothing`,
19
19
  rung: "implemented"
20
20
  },
21
21
  {
22
- ref: `${AT$13} 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`,
22
+ ref: `${AT$14} 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`,
23
23
  rung: "implemented"
24
24
  },
25
25
  {
26
- ref: `${AT$13} 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`,
26
+ ref: `${AT$14} 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`,
27
27
  rung: "implemented"
28
28
  },
29
29
  {
30
- ref: `${AT$13} internal/transport/http2_server.go:279-281, :1064, :1132, :1176 each write of headers, a status or data by the server clears the strikes`,
30
+ ref: `${AT$14} internal/transport/http2_server.go:279-281, :1064, :1132, :1176 each write of headers, a status or data by the server clears the strikes`,
31
31
  rung: "implemented"
32
32
  },
33
33
  {
34
- ref: `${AT$13} internal/transport/http2_server.go:1291-1310 Close closes the net.Conn: a FIN, or a reset when bytes are unread`,
34
+ ref: `${AT$14} internal/transport/http2_server.go:1291-1310 Close closes the net.Conn: a FIN, or a reset when bytes are unread`,
35
35
  rung: "implemented"
36
36
  },
37
37
  {
38
- ref: `${AT$13} 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`,
38
+ ref: `${AT$14} 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`,
39
39
  rung: "implemented"
40
40
  },
41
41
  {
42
- ref: `${AT$13} server.go:192, :1000-1009 a deadline of 120 s for the handshake of each new connection (ConnectionTimeout)`,
42
+ ref: `${AT$14} server.go:192, :1000-1009 a deadline of 120 s for the handshake of each new connection (ConnectionTimeout)`,
43
43
  rung: "implemented"
44
44
  },
45
45
  {
46
- ref: `${AT$13} server.go:894-905 the comment of grpc-go: Go sets a TCP keepalive of 15 s on each accepted connection`,
46
+ ref: `${AT$14} server.go:894-905 the comment of grpc-go: Go sets a TCP keepalive of 15 s on each accepted connection`,
47
47
  rung: "documented"
48
48
  },
49
49
  {
@@ -702,7 +702,7 @@ const ETCD_SERVER = serverOf({
702
702
  });
703
703
  //#endregion
704
704
  //#region src/grpc/grpc-js.ts
705
- const AT$12 = "@grpc/grpc-js 1.14.6 src";
705
+ const AT$13 = "@grpc/grpc-js 1.14.6 src";
706
706
  /**
707
707
  * This document is grpc-js 1.14.6 on Node, for one channel to one server with no TLS, its transport
708
708
  * (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({
732
732
  },
733
733
  sources: [
734
734
  {
735
- ref: `${AT$12}/transport.ts:70 KEEPALIVE_TIMEOUT_MS is 20000`,
735
+ ref: `${AT$13}/transport.ts:70 KEEPALIVE_TIMEOUT_MS is 20000`,
736
736
  rung: "implemented"
737
737
  },
738
738
  {
739
- ref: `${AT$12}/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`,
739
+ ref: `${AT$13}/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`,
740
740
  rung: "implemented"
741
741
  },
742
742
  {
743
- ref: `${AT$12}/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`,
743
+ ref: `${AT$13}/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`,
744
744
  rung: "implemented"
745
745
  },
746
746
  {
747
- ref: `${AT$12}/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`,
747
+ ref: `${AT$13}/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`,
748
748
  rung: "implemented"
749
749
  },
750
750
  {
751
- ref: `${AT$12}/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`,
751
+ ref: `${AT$13}/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`,
752
752
  rung: "implemented"
753
753
  },
754
754
  {
755
- ref: `${AT$12}/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)`,
755
+ ref: `${AT$13}/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)`,
756
756
  rung: "implemented"
757
757
  },
758
758
  {
759
- ref: `${AT$12}/transport.ts:205-227 a GOAWAY ENHANCE_YOUR_CALM with the data too_many_pings tells the subchannel that the server refused the pings`,
759
+ ref: `${AT$13}/transport.ts:205-227 a GOAWAY ENHANCE_YOUR_CALM with the data too_many_pings tells the subchannel that the server refused the pings`,
760
760
  rung: "implemented"
761
761
  },
762
762
  {
763
- ref: `${AT$12}/transport.ts:431-441 handleDisconnect: each call in flight gets onDisconnect, and the session is destroyed in the next turn of the event loop`,
763
+ ref: `${AT$13}/transport.ts:431-441 handleDisconnect: each call in flight gets onDisconnect, and the session is destroyed in the next turn of the event loop`,
764
764
  rung: "implemented"
765
765
  },
766
766
  {
767
- ref: `${AT$12}/transport.ts:684-687 shutdown closes the session: a GOAWAY, then the end of the socket after the last stream`,
767
+ ref: `${AT$13}/transport.ts:684-687 shutdown closes the session: a GOAWAY, then the end of the socket after the last stream`,
768
768
  rung: "implemented"
769
769
  },
770
770
  {
771
- ref: `${AT$12}/transport.ts:792-810 the transport is ready at the first SETTINGS of the server (remoteSettings)`,
771
+ ref: `${AT$13}/transport.ts:792-810 the transport is ready at the first SETTINGS of the server (remoteSettings)`,
772
772
  rung: "implemented"
773
773
  },
774
774
  {
775
- ref: `${AT$12}/transport.ts:818-840 the TCP connect is net.connect with no timeout`,
775
+ ref: `${AT$13}/transport.ts:818-840 the TCP connect is net.connect with no timeout`,
776
776
  rung: "implemented"
777
777
  },
778
778
  {
779
- ref: `${AT$12}/transport.ts:862 setNoDelay on each connection: TCP_NODELAY, thus no Nagle. No setKeepAlive anywhere in the package`,
779
+ ref: `${AT$13}/transport.ts:862 setNoDelay on each connection: TCP_NODELAY, thus no Nagle. No setKeepAlive anywhere in the package`,
780
780
  rung: "implemented"
781
781
  },
782
782
  {
783
- ref: `${AT$12}/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`,
783
+ ref: `${AT$13}/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`,
784
784
  rung: "implemented"
785
785
  },
786
786
  {
787
- ref: `${AT$12}/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`,
787
+ ref: `${AT$13}/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`,
788
788
  rung: "implemented"
789
789
  },
790
790
  {
791
- ref: `${AT$12}/load-balancing-call.ts:257-261 a stream that the server refused has the progress REFUSED, and any other started stream PROCESSED`,
791
+ ref: `${AT$13}/load-balancing-call.ts:257-261 a stream that the server refused has the progress REFUSED, and any other started stream PROCESSED`,
792
792
  rung: "implemented"
793
793
  },
794
794
  {
795
- ref: `${AT$12}/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`,
795
+ ref: `${AT$13}/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`,
796
796
  rung: "implemented"
797
797
  },
798
798
  {
799
- ref: `${AT$12}/load-balancing-call.ts:338-345 a pick in TRANSIENT_FAILURE fails the call at once, unless it asks for waitForReady`,
799
+ ref: `${AT$13}/load-balancing-call.ts:338-345 a pick in TRANSIENT_FAILURE fails the call at once, unless it asks for waitForReady`,
800
800
  rung: "implemented"
801
801
  },
802
802
  {
803
- ref: `${AT$12}/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`,
803
+ ref: `${AT$13}/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`,
804
804
  rung: "implemented"
805
805
  },
806
806
  {
807
- ref: `${AT$12}/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`,
807
+ ref: `${AT$13}/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`,
808
808
  rung: "implemented"
809
809
  },
810
810
  {
811
- ref: `${AT$12}/subchannel-call.ts:269-279 a RST_STREAM CANCEL of the server ends the call with CANCELLED 'Call cancelled'`,
811
+ ref: `${AT$13}/subchannel-call.ts:269-279 a RST_STREAM CANCEL of the server ends the call with CANCELLED 'Call cancelled'`,
812
812
  rung: "implemented"
813
813
  },
814
814
  {
@@ -816,19 +816,23 @@ const GRPC_JS = machineSchema.parse({
816
816
  rung: "observed"
817
817
  },
818
818
  {
819
- ref: `${AT$12}/subchannel.ts:275-291 the end of the transport takes the subchannel from READY to IDLE. After too_many_pings the keepalive time doubles`,
819
+ ref: `${AT$13}/subchannel.ts:275-291 the end of the transport takes the subchannel from READY to IDLE. After too_many_pings the keepalive time doubles`,
820
820
  rung: "implemented"
821
821
  },
822
822
  {
823
- ref: `${AT$12}/subchannel.ts:298-304 a failed connect takes the subchannel to TRANSIENT_FAILURE`,
823
+ ref: `${AT$13}/subchannel.ts:298-304 a failed connect takes the subchannel to TRANSIENT_FAILURE`,
824
824
  rung: "implemented"
825
825
  },
826
826
  {
827
- ref: `${AT$12}/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`,
827
+ ref: `${AT$13}/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`,
828
828
  rung: "implemented"
829
829
  },
830
830
  {
831
- ref: `${AT$12}/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`,
831
+ ref: `${AT$13}/backoff-timeout.ts:124, :169-181, :197-201 the first wait after a reset is the initial delay, with no jitter. Each next wait is the last wait, jitter included, times 1.6 and capped, then ± 20 %: the jitter compounds`,
832
+ rung: "implemented"
833
+ },
834
+ {
835
+ ref: `${AT$13}/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`,
832
836
  rung: "implemented"
833
837
  },
834
838
  {
@@ -1064,18 +1068,18 @@ const GRPC_JS = machineSchema.parse({
1064
1068
  unit: "ms"
1065
1069
  },
1066
1070
  early: {
1067
- expr: "0.2 * min(initial_reconnect_backoff * pow(1.6, fired), max_reconnect_backoff)",
1071
+ expr: "min(initial_reconnect_backoff * pow(1.6, fired), max_reconnect_backoff) - min(initial_reconnect_backoff * pow(1.28, fired), 0.8 * max_reconnect_backoff)",
1068
1072
  unit: "ms"
1069
1073
  },
1070
1074
  lateness: {
1071
- expr: "0.2 * min(initial_reconnect_backoff * pow(1.6, fired), max_reconnect_backoff) + 1000 * slack",
1075
+ expr: "min(initial_reconnect_backoff * pow(1.92, fired), 1.2 * max_reconnect_backoff) - min(initial_reconnect_backoff * pow(1.6, fired), max_reconnect_backoff) + 1000 * slack",
1072
1076
  unit: "ms"
1073
1077
  },
1074
1078
  arms: ["enter:connecting"],
1075
1079
  cancels: ["rx.settings"],
1076
1080
  fires: "timer.reconnect",
1077
1081
  backoff: { resets: ["rx.settings"] },
1078
- note: "backoff-timeout.ts:23-26, subchannel.ts:349-372: the backoff starts with each connect. A connect that fails before it ends waits for it. A ready transport stops it and starts it again from 1 s"
1082
+ note: "backoff-timeout.ts:23-26, :169-181, subchannel.ts:349-372: the backoff starts with each connect. A connect that fails before it ends waits for it. A ready transport stops it and starts it again from 1 s, with no jitter. In kind run 39390098968, the calls of a client failed for 984 ms to 1021 ms after a refused connect"
1079
1083
  }
1080
1084
  },
1081
1085
  realizes: {
@@ -2582,7 +2586,7 @@ const UNDICI_CLIENT = machineSchema.parse({
2582
2586
  });
2583
2587
  //#endregion
2584
2588
  //#region src/http/undici-retry.ts
2585
- const AT$11 = "undici 8.12.2 lib/handler/retry-handler.js";
2589
+ const AT$12 = "undici 8.12.2 lib/handler/retry-handler.js";
2586
2590
  /**
2587
2591
  * This document is one request through a `RetryAgent` of undici 8.12.2: the retries of a reply
2588
2592
  * whose status is retryable, for example 429 or 503. Each fact comes from the published package at
@@ -2616,7 +2620,7 @@ const UNDICI_RETRY = machineSchema.parse({
2616
2620
  },
2617
2621
  sources: [
2618
2622
  {
2619
- ref: `${AT$11}:125-133 the defaults: retryAfter true, maxTimeout 30000, minTimeout 500, timeoutFactor 2, maxRetries 5, the methods GET HEAD OPTIONS PUT DELETE TRACE QUERY, the statusCodes 500 502 503 504 429`,
2623
+ ref: `${AT$12}:125-133 the defaults: retryAfter true, maxTimeout 30000, minTimeout 500, timeoutFactor 2, maxRetries 5, the methods GET HEAD OPTIONS PUT DELETE TRACE QUERY, the statusCodes 500 502 503 504 429`,
2620
2624
  rung: "implemented"
2621
2625
  },
2622
2626
  {
@@ -2624,19 +2628,19 @@ const UNDICI_RETRY = machineSchema.parse({
2624
2628
  rung: "implemented"
2625
2629
  },
2626
2630
  {
2627
- ref: `${AT$11}:331-351 the policy: a method or a status out of its lists is not retried, and a counter above maxRetries gives up`,
2631
+ ref: `${AT$12}:331-351 the policy: a method or a status out of its lists is not retried, and a counter above maxRetries gives up`,
2628
2632
  rung: "implemented"
2629
2633
  },
2630
2634
  {
2631
- ref: `${AT$11}:353-370 the delay: Retry-After in seconds times 1000, or an HTTP-date less the clock of the client (:13-16), capped by maxTimeout; 0 at once; else min(minTimeout * timeoutFactor^(counter - 1), maxTimeout); then setTimeout`,
2635
+ ref: `${AT$12}:353-370 the delay: Retry-After in seconds times 1000, or an HTTP-date less the clock of the client (:13-16), capped by maxTimeout; 0 at once; else min(minTimeout * timeoutFactor^(counter - 1), maxTimeout); then setTimeout`,
2632
2636
  rung: "implemented"
2633
2637
  },
2634
2638
  {
2635
- ref: `${AT$11}:380 the counter: one more at each reply`,
2639
+ ref: `${AT$12}:380 the counter: one more at each reply`,
2636
2640
  rung: "implemented"
2637
2641
  },
2638
2642
  {
2639
- ref: `${AT$11}:175-192 and :518-535 a retryable status with throwOnError drops the body of the reply, and the error goes to the policy`,
2643
+ ref: `${AT$12}:175-192 and :518-535 a retryable status with throwOnError drops the body of the reply, and the error goes to the policy`,
2640
2644
  rung: "implemented"
2641
2645
  },
2642
2646
  {
@@ -2798,7 +2802,7 @@ const UNDICI_RETRY = machineSchema.parse({
2798
2802
  });
2799
2803
  //#endregion
2800
2804
  //#region src/ioredis-sentinel.ts
2801
- const AT$10 = "ioredis 6.0.0 built";
2805
+ const AT$11 = "ioredis 6.0.0 built";
2802
2806
  /**
2803
2807
  * This document is the Sentinel path of ioredis 6.0.0. It tells how ioredis finds the primary of a
2804
2808
  * group through the Sentinels, loses it, and connects to the new one. The standalone states of
@@ -2819,43 +2823,43 @@ const IOREDIS_SENTINEL = machineSchema.parse({
2819
2823
  },
2820
2824
  sources: [
2821
2825
  {
2822
- ref: `${AT$10}/connectors/SentinelConnector/index.js:46-121 connect (each Sentinel in turn, then sentinelRetryStrategy)`,
2826
+ ref: `${AT$11}/connectors/SentinelConnector/index.js:46-121 connect (each Sentinel in turn, then sentinelRetryStrategy)`,
2823
2827
  rung: "implemented"
2824
2828
  },
2825
2829
  {
2826
- ref: `${AT$10}/connectors/SentinelConnector/index.js:145-151 resolveMaster (get-master-addr-by-name, then SENTINEL sentinels)`,
2830
+ ref: `${AT$11}/connectors/SentinelConnector/index.js:145-151 resolveMaster (get-master-addr-by-name, then SENTINEL sentinels)`,
2827
2831
  rung: "implemented"
2828
2832
  },
2829
2833
  {
2830
- ref: `${AT$10}/connectors/SentinelConnector/index.js:175-212 connectToSentinel and resolve (one connection for each question, no retry)`,
2834
+ ref: `${AT$11}/connectors/SentinelConnector/index.js:175-212 connectToSentinel and resolve (one connection for each question, no retry)`,
2831
2835
  rung: "implemented"
2832
2836
  },
2833
2837
  {
2834
- ref: `${AT$10}/connectors/SentinelConnector/index.js:27-39 check (the role of the ready check)`,
2838
+ ref: `${AT$11}/connectors/SentinelConnector/index.js:27-39 check (the role of the ready check)`,
2835
2839
  rung: "implemented"
2836
2840
  },
2837
2841
  {
2838
- ref: `${AT$10}/connectors/SentinelConnector/FailoverDetector.js:6-43 (+switch-master, only with failoverDetector)`,
2842
+ ref: `${AT$11}/connectors/SentinelConnector/FailoverDetector.js:6-43 (+switch-master, only with failoverDetector)`,
2839
2843
  rung: "implemented"
2840
2844
  },
2841
2845
  {
2842
- ref: `${AT$10}/redis/RedisOptions.js:9-57 (the defaults)`,
2846
+ ref: `${AT$11}/redis/RedisOptions.js:9-57 (the defaults)`,
2843
2847
  rung: "implemented"
2844
2848
  },
2845
2849
  {
2846
- ref: `${AT$10}/redis/event_handler.js:294-355 closeHandler (retryStrategy, then maxRetriesPerRequest flushes the queue)`,
2850
+ ref: `${AT$11}/redis/event_handler.js:294-355 closeHandler (retryStrategy, then maxRetriesPerRequest flushes the queue)`,
2847
2851
  rung: "implemented"
2848
2852
  },
2849
2853
  {
2850
- ref: `${AT$10}/redis/event_handler.js:364-449 readyHandler (retryAttempts back to 0, the resend, the offline queue)`,
2854
+ ref: `${AT$11}/redis/event_handler.js:364-449 readyHandler (retryAttempts back to 0, the resend, the offline queue)`,
2851
2855
  rung: "implemented"
2852
2856
  },
2853
2857
  {
2854
- ref: `${AT$10}/Redis.js:123-240 _connect (connectTimeout, keepAlive) and :379-405 sendCommand (the offline queue)`,
2858
+ ref: `${AT$11}/Redis.js:123-240 _connect (connectTimeout, keepAlive) and :379-405 sendCommand (the offline queue)`,
2855
2859
  rung: "implemented"
2856
2860
  },
2857
2861
  {
2858
- ref: `${AT$10}/Redis.js:599-605 handleReconnection (reconnectOnError: null, thus a READONLY error goes to the caller)`,
2862
+ ref: `${AT$11}/Redis.js:599-605 handleReconnection (reconnectOnError: null, thus a READONLY error goes to the caller)`,
2859
2863
  rung: "implemented"
2860
2864
  }
2861
2865
  ],
@@ -5015,7 +5019,7 @@ const IOREDIS_STATUS = machineSchema.parse(ioredis_status_default);
5015
5019
  const MANIFESTATIONS = z.record(z.string(), z.array(z.string())).parse(manifestations_default);
5016
5020
  //#endregion
5017
5021
  //#region src/mongo/mongod-replication.ts
5018
- const AT$9 = "mongodb r9.0.4 src/mongo/db/repl";
5022
+ const AT$10 = "mongodb r9.0.4 src/mongo/db/repl";
5019
5023
  /**
5020
5024
  * This document is the replication of mongod 9.0.4. It gives one member of a replica set, its view
5021
5025
  * of the primary, and the election that it can hold. The states are the states of the member. The
@@ -5046,95 +5050,95 @@ const MONGOD_REPL = machineSchema.parse({
5046
5050
  },
5047
5051
  sources: [
5048
5052
  {
5049
- ref: `${AT$9}/repl_set_config.idl:74-109 the settings: heartbeatIntervalMillis 2000, heartbeatTimeoutSecs 10, electionTimeoutMillis 10000, catchUpTimeoutMillis -1, catchUpTakeoverDelayMillis 30000`,
5053
+ ref: `${AT$10}/repl_set_config.idl:74-109 the settings: heartbeatIntervalMillis 2000, heartbeatTimeoutSecs 10, electionTimeoutMillis 10000, catchUpTimeoutMillis -1, catchUpTakeoverDelayMillis 30000`,
5050
5054
  rung: "implemented"
5051
5055
  },
5052
5056
  {
5053
- ref: `${AT$9}/repl_server_parameters.idl:320-328 replElectionTimeoutOffsetLimitFraction 0.15`,
5057
+ ref: `${AT$10}/repl_server_parameters.idl:320-328 replElectionTimeoutOffsetLimitFraction 0.15`,
5054
5058
  rung: "implemented"
5055
5059
  },
5056
5060
  {
5057
- ref: `${AT$9}/topology_coordinator.cpp:1058-1101 the heartbeat window and the timeout of each request, :1124-1147 the next heartbeat, :1239-1248 a member DOWN`,
5061
+ ref: `${AT$10}/topology_coordinator.cpp:1058-1101 the heartbeat window and the timeout of each request, :1124-1147 the next heartbeat, :1239-1248 a member DOWN`,
5058
5062
  rung: "implemented"
5059
5063
  },
5060
5064
  {
5061
- ref: `${AT$9}/topology_coordinator.h:62 kMaxHeartbeatRetries 2`,
5065
+ ref: `${AT$10}/topology_coordinator.h:62 kMaxHeartbeatRetries 2`,
5062
5066
  rung: "implemented"
5063
5067
  },
5064
5068
  {
5065
- ref: `${AT$9}/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`,
5069
+ ref: `${AT$10}/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`,
5066
5070
  rung: "implemented"
5067
5071
  },
5068
5072
  {
5069
- ref: `${AT$9}/data_replicator_external_state_impl.cpp:70-81 an oplog batch that names a primary postpones the election`,
5073
+ ref: `${AT$10}/data_replicator_external_state_impl.cpp:70-81 an oplog batch that names a primary postpones the election`,
5070
5074
  rung: "implemented"
5071
5075
  },
5072
5076
  {
5073
- ref: `${AT$9}/delayable_timeout_callback.cpp:149-172 the offset changes at most once in its own length`,
5077
+ ref: `${AT$10}/delayable_timeout_callback.cpp:149-172 the offset changes at most once in its own length`,
5074
5078
  rung: "implemented"
5075
5079
  },
5076
5080
  {
5077
- ref: `${AT$9}/topology_coordinator.cpp:1440-1457 and :1476-1489 the liveness check: a primary that cannot see a majority steps down`,
5081
+ ref: `${AT$10}/topology_coordinator.cpp:1440-1457 and :1476-1489 the liveness check: a primary that cannot see a majority steps down`,
5078
5082
  rung: "implemented"
5079
5083
  },
5080
5084
  {
5081
- ref: `${AT$9}/replication_coordinator_impl_heartbeat.cpp:1158-1188 the liveness check runs at the stalest member's last update plus the election timeout`,
5085
+ ref: `${AT$10}/replication_coordinator_impl_heartbeat.cpp:1158-1188 the liveness check runs at the stalest member's last update plus the election timeout`,
5082
5086
  rung: "implemented"
5083
5087
  },
5084
5088
  {
5085
- ref: `${AT$9}/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`,
5089
+ ref: `${AT$10}/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`,
5086
5090
  rung: "implemented"
5087
5091
  },
5088
5092
  {
5089
- ref: `${AT$9}/vote_requester.cpp:96 a vote request times out at min(electionTimeoutMillis, 30 s), :160-177 a majority of yes votes ends the round`,
5093
+ ref: `${AT$10}/vote_requester.cpp:96 a vote request times out at min(electionTimeoutMillis, 30 s), :160-177 a majority of yes votes ends the round`,
5090
5094
  rung: "implemented"
5091
5095
  },
5092
5096
  {
5093
- ref: `${AT$9}/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`,
5097
+ ref: `${AT$10}/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`,
5094
5098
  rung: "implemented"
5095
5099
  },
5096
5100
  {
5097
- ref: `${AT$9}/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`,
5101
+ ref: `${AT$10}/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`,
5098
5102
  rung: "implemented"
5099
5103
  },
5100
5104
  {
5101
- ref: `${AT$9}/topology_coordinator.cpp:3841-3849 and :3910-3932 a restarted heartbeat, and the latest optime that the catch-up waits for`,
5105
+ ref: `${AT$10}/topology_coordinator.cpp:3841-3849 and :3910-3932 a restarted heartbeat, and the latest optime that the catch-up waits for`,
5102
5106
  rung: "implemented"
5103
5107
  },
5104
5108
  {
5105
- ref: `${AT$9}/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`,
5109
+ ref: `${AT$10}/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`,
5106
5110
  rung: "implemented"
5107
5111
  },
5108
5112
  {
5109
- ref: `${AT$9}/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`,
5113
+ ref: `${AT$10}/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`,
5110
5114
  rung: "implemented"
5111
5115
  },
5112
5116
  {
5113
- ref: `${AT$9}/repl_set_commands.cpp:545-561 stepDownSecs 60 and secondaryCatchUpPeriodSecs 10`,
5117
+ ref: `${AT$10}/repl_set_commands.cpp:545-561 stepDownSecs 60 and secondaryCatchUpPeriodSecs 10`,
5114
5118
  rung: "implemented"
5115
5119
  },
5116
5120
  {
5117
- ref: `${AT$9}/replication_coordinator_impl.idl:18-26 enableElectionHandoff true, and replication_coordinator_impl.cpp:2830-2873 the hand-off: replSetStepUp with skipDryRun`,
5121
+ ref: `${AT$10}/replication_coordinator_impl.idl:18-26 enableElectionHandoff true, and replication_coordinator_impl.cpp:2830-2873 the hand-off: replSetStepUp with skipDryRun`,
5118
5122
  rung: "implemented"
5119
5123
  },
5120
5124
  {
5121
- ref: `${AT$9}/replication_coordinator_impl.cpp:1516 the reconfig of the term, :4598 and :4750 a new config starts each heartbeat again`,
5125
+ ref: `${AT$10}/replication_coordinator_impl.cpp:1516 the reconfig of the term, :4598 and :4750 a new config starts each heartbeat again`,
5122
5126
  rung: "implemented"
5123
5127
  },
5124
5128
  {
5125
- ref: `${AT$9}/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`,
5129
+ ref: `${AT$10}/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`,
5126
5130
  rung: "implemented"
5127
5131
  },
5128
5132
  {
5129
- ref: `${AT$9}/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`,
5133
+ ref: `${AT$10}/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`,
5130
5134
  rung: "implemented"
5131
5135
  },
5132
5136
  {
5133
- ref: `${AT$9}/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`,
5137
+ ref: `${AT$10}/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`,
5134
5138
  rung: "implemented"
5135
5139
  },
5136
5140
  {
5137
- ref: `${AT$9}/repl_server_parameters.idl:121-126 oplogRetriedFindMaxSeconds 2, :234-244 oplogFetcherSteadyStateMaxFetcherRestarts 1, :344-351 oplogNetworkTimeoutBufferSeconds 5`,
5141
+ ref: `${AT$10}/repl_server_parameters.idl:121-126 oplogRetriedFindMaxSeconds 2, :234-244 oplogFetcherSteadyStateMaxFetcherRestarts 1, :344-351 oplogNetworkTimeoutBufferSeconds 5`,
5138
5142
  rung: "implemented"
5139
5143
  },
5140
5144
  {
@@ -5142,19 +5146,19 @@ const MONGOD_REPL = machineSchema.parse({
5142
5146
  rung: "implemented"
5143
5147
  },
5144
5148
  {
5145
- ref: `${AT$9}/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`,
5149
+ ref: `${AT$10}/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`,
5146
5150
  rung: "implemented"
5147
5151
  },
5148
5152
  {
5149
- ref: `${AT$9}/replication_coordinator_impl.cpp:4947-4972 a member that loses its sync source starts each heartbeat again at once`,
5153
+ ref: `${AT$10}/replication_coordinator_impl.cpp:4947-4972 a member that loses its sync source starts each heartbeat again at once`,
5150
5154
  rung: "implemented"
5151
5155
  },
5152
5156
  {
5153
- ref: `${AT$9}/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`,
5157
+ ref: `${AT$10}/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`,
5154
5158
  rung: "implemented"
5155
5159
  },
5156
5160
  {
5157
- ref: `${AT$9}/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`,
5161
+ ref: `${AT$10}/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`,
5158
5162
  rung: "implemented"
5159
5163
  },
5160
5164
  {
@@ -5773,7 +5777,7 @@ const MONGOD_REPL = machineSchema.parse({
5773
5777
  });
5774
5778
  //#endregion
5775
5779
  //#region src/mongo/mongod-session.ts
5776
- const AT$8 = "mongodb r9.0.4 src/mongo";
5780
+ const AT$9 = "mongodb r9.0.4 src/mongo";
5777
5781
  /**
5778
5782
  * This document is the hold of mongod 9.0.4 on one client connection, over its socket. `mongod`
5779
5783
  * turns keepalive on for each TCP session. It lowers two keepalive options of the socket to a
@@ -5800,27 +5804,27 @@ const MONGOD_SESSION = machineSchema.parse({
5800
5804
  },
5801
5805
  sources: [
5802
5806
  {
5803
- ref: `${AT$8}/transport/asio/asio_session_impl.cpp:156-165 each TCP session: TCP_NODELAY, SO_KEEPALIVE, setSocketKeepAliveParams, failures at debug 3 in a release build`,
5807
+ ref: `${AT$9}/transport/asio/asio_session_impl.cpp:156-165 each TCP session: TCP_NODELAY, SO_KEEPALIVE, setSocketKeepAliveParams, failures at debug 3 in a release build`,
5804
5808
  rung: "implemented"
5805
5809
  },
5806
5810
  {
5807
- ref: `${AT$8}/util/net/socket_utils.h:15-16 kMaxKeepIdleSecs 300 and kMaxKeepIntvlSecs 1, :19-22 the defaults of setSocketKeepAliveParams`,
5811
+ ref: `${AT$9}/util/net/socket_utils.h:15-16 kMaxKeepIdleSecs 300 and kMaxKeepIntvlSecs 1, :19-22 the defaults of setSocketKeepAliveParams`,
5808
5812
  rung: "implemented"
5809
5813
  },
5810
5814
  {
5811
- ref: `${AT$8}/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`,
5815
+ ref: `${AT$9}/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`,
5812
5816
  rung: "implemented"
5813
5817
  },
5814
5818
  {
5815
- ref: `${AT$8}/util/net/socket_utils.cpp:176-181 and :190-194 the log of a failed read or set, at the severity of the caller`,
5819
+ ref: `${AT$9}/util/net/socket_utils.cpp:176-181 and :190-194 the log of a failed read or set, at the severity of the caller`,
5816
5820
  rung: "implemented"
5817
5821
  },
5818
5822
  {
5819
- ref: `${AT$8}/util/net/sock.cpp:135-142 the older socket path: SO_KEEPALIVE, then the same maximums, failures as errors`,
5823
+ ref: `${AT$9}/util/net/sock.cpp:135-142 the older socket path: SO_KEEPALIVE, then the same maximums, failures as errors`,
5820
5824
  rung: "implemented"
5821
5825
  },
5822
5826
  {
5823
- ref: `${AT$8}/db/repl/replication_info.cpp:131-143 an awaitable hello waits until now + maxAwaitTimeMS on the precise clock, or a change of the topology`,
5827
+ ref: `${AT$9}/db/repl/replication_info.cpp:131-143 an awaitable hello waits until now + maxAwaitTimeMS on the precise clock, or a change of the topology`,
5824
5828
  rung: "implemented"
5825
5829
  }
5826
5830
  ],
@@ -5982,7 +5986,7 @@ const MONGOD_SESSION = machineSchema.parse({
5982
5986
  });
5983
5987
  //#endregion
5984
5988
  //#region src/mongo/mongodb-node.ts
5985
- const AT$7 = "mongodb 7.7.0 src";
5989
+ const AT$8 = "mongodb 7.7.0 src";
5986
5990
  /**
5987
5991
  * This document is the MongoDB Node driver 7.7.0, for one server of a replica set. It gives one
5988
5992
  * connection of the driver by its role, and the timers that act on it. The roles are the monitor
@@ -6009,75 +6013,75 @@ const MONGODB_NODE = machineSchema.parse({
6009
6013
  },
6010
6014
  sources: [
6011
6015
  {
6012
- ref: `${AT$7}/connection_string.ts:804-807 connectTimeoutMS 30000, :850-853 heartbeatFrequencyMS 10000, :934-937 minHeartbeatFrequencyMS 500`,
6016
+ ref: `${AT$8}/connection_string.ts:804-807 connectTimeoutMS 30000, :850-853 heartbeatFrequencyMS 10000, :934-937 minHeartbeatFrequencyMS 500`,
6013
6017
  rung: "implemented"
6014
6018
  },
6015
6019
  {
6016
- ref: `${AT$7}/connection_string.ts:1100-1103 serverSelectionTimeoutMS 30000, :1107-1111 socketTimeoutMS 0, :1178-1182 waitQueueTimeoutMS 0`,
6020
+ ref: `${AT$8}/connection_string.ts:1100-1103 serverSelectionTimeoutMS 30000, :1107-1111 socketTimeoutMS 0, :1178-1182 waitQueueTimeoutMS 0`,
6017
6021
  rung: "implemented"
6018
6022
  },
6019
6023
  {
6020
- ref: `${AT$7}/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`,
6024
+ ref: `${AT$8}/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`,
6021
6025
  rung: "implemented"
6022
6026
  },
6023
6027
  {
6024
- ref: `${AT$7}/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`,
6028
+ ref: `${AT$8}/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`,
6025
6029
  rung: "implemented"
6026
6030
  },
6027
6031
  {
6028
- ref: `${AT$7}/cmap/connect.ts:117-120 the handshake reads with socketTimeoutMS = connectTimeoutMS`,
6032
+ ref: `${AT$8}/cmap/connect.ts:117-120 the handshake reads with socketTimeoutMS = connectTimeoutMS`,
6029
6033
  rung: "implemented"
6030
6034
  },
6031
6035
  {
6032
- ref: `${AT$7}/sdam/monitor.ts:245-259 the streaming protocol, :338-371 the awaitable hello: maxAwaitTimeMS = heartbeatFrequencyMS, socketTimeoutMS = connectTimeoutMS + maxAwaitTimeMS`,
6036
+ ref: `${AT$8}/sdam/monitor.ts:245-259 the streaming protocol, :338-371 the awaitable hello: maxAwaitTimeMS = heartbeatFrequencyMS, socketTimeoutMS = connectTimeoutMS + maxAwaitTimeMS`,
6033
6037
  rung: "implemented"
6034
6038
  },
6035
6039
  {
6036
- ref: `${AT$7}/sdam/monitor.ts:273-293 a failed heartbeat: ResetPool, and InterruptInUseConnections for a timeout`,
6040
+ ref: `${AT$8}/sdam/monitor.ts:273-293 a failed heartbeat: ResetPool, and InterruptInUseConnections for a timeout`,
6037
6041
  rung: "implemented"
6038
6042
  },
6039
6043
  {
6040
- ref: `${AT$7}/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`,
6044
+ ref: `${AT$8}/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`,
6041
6045
  rung: "implemented"
6042
6046
  },
6043
6047
  {
6044
- ref: `${AT$7}/sdam/monitor.ts:490-565 the RTT pinger: its own connection, a hello each heartbeatFrequencyMS, no socket timeout`,
6048
+ ref: `${AT$8}/sdam/monitor.ts:490-565 the RTT pinger: its own connection, a hello each heartbeatFrequencyMS, no socket timeout`,
6045
6049
  rung: "implemented"
6046
6050
  },
6047
6051
  {
6048
- ref: `${AT$7}/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`,
6052
+ ref: `${AT$8}/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`,
6049
6053
  rung: "implemented"
6050
6054
  },
6051
6055
  {
6052
- ref: `${AT$7}/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`,
6056
+ ref: `${AT$8}/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`,
6053
6057
  rung: "implemented"
6054
6058
  },
6055
6059
  {
6056
- ref: `${AT$7}/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`,
6060
+ ref: `${AT$8}/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`,
6057
6061
  rung: "implemented"
6058
6062
  },
6059
6063
  {
6060
- ref: `${AT$7}/sdam/topology_description.ts:458-467 a primary that another primary replaces is Unknown, and nothing clears its pool`,
6064
+ ref: `${AT$8}/sdam/topology_description.ts:458-467 a primary that another primary replaces is Unknown, and nothing clears its pool`,
6061
6065
  rung: "implemented"
6062
6066
  },
6063
6067
  {
6064
- ref: `${AT$7}/cmap/connection_pool.ts:417-468 clear, :475-481 interruptInUseConnections: PoolClearedOnNetworkError, :584 a connection idle for maxIdleTimeMS is perished at the next check-out`,
6068
+ ref: `${AT$8}/cmap/connection_pool.ts:417-468 clear, :475-481 interruptInUseConnections: PoolClearedOnNetworkError, :584 a connection idle for maxIdleTimeMS is perished at the next check-out`,
6065
6069
  rung: "implemented"
6066
6070
  },
6067
6071
  {
6068
- ref: `${AT$7}/cmap/errors.ts:37-84 PoolClearedError and PoolClearedOnNetworkError, with the label PoolRequestedRetry`,
6072
+ ref: `${AT$8}/cmap/errors.ts:37-84 PoolClearedError and PoolClearedOnNetworkError, with the label PoolRequestedRetry`,
6069
6073
  rung: "implemented"
6070
6074
  },
6071
6075
  {
6072
- ref: `${AT$7}/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`,
6076
+ ref: `${AT$8}/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`,
6073
6077
  rung: "implemented"
6074
6078
  },
6075
6079
  {
6076
- ref: `${AT$7}/error.ts:1377-1394 the retryable codes, :1431-1436 isRetryableWriteError: RetryableWriteError or PoolRequestedRetry`,
6080
+ ref: `${AT$8}/error.ts:1377-1394 the retryable codes, :1431-1436 isRetryableWriteError: RetryableWriteError or PoolRequestedRetry`,
6077
6081
  rung: "implemented"
6078
6082
  },
6079
6083
  {
6080
- ref: `${AT$7}/timeout.ts:362-372 the legacy timeout context: the selection timeout, and no check-out timeout at waitQueueTimeoutMS 0`,
6084
+ ref: `${AT$8}/timeout.ts:362-372 the legacy timeout context: the selection timeout, and no check-out timeout at waitQueueTimeoutMS 0`,
6081
6085
  rung: "implemented"
6082
6086
  },
6083
6087
  {
@@ -7757,7 +7761,7 @@ const HIKARICP_PGJDBC = machineSchema.parse({
7757
7761
  });
7758
7762
  //#endregion
7759
7763
  //#region src/pg/node-postgres.ts
7760
- const AT$6 = "pg 8.23.1 lib";
7764
+ const AT$7 = "pg 8.23.1 lib";
7761
7765
  const POOL = "pg-pool 3.14.0";
7762
7766
  /**
7763
7767
  * This document is node-postgres 8.23.1 (the npm package pg) with pg-pool 3.14.0, for one client
@@ -7799,75 +7803,75 @@ const NODE_POSTGRES = machineSchema.parse({
7799
7803
  rung: "implemented"
7800
7804
  },
7801
7805
  {
7802
- ref: `${AT$6}/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`,
7806
+ ref: `${AT$7}/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`,
7803
7807
  rung: "implemented"
7804
7808
  },
7805
7809
  {
7806
- ref: `${AT$6}/defaults.js:65, :69, :73 and :76 statement_timeout, lock_timeout, idle_in_transaction_session_timeout and query_timeout are false`,
7810
+ ref: `${AT$7}/defaults.js:65, :69, :73 and :76 statement_timeout, lock_timeout, idle_in_transaction_session_timeout and query_timeout are false`,
7807
7811
  rung: "implemented"
7808
7812
  },
7809
7813
  {
7810
- ref: `${AT$6}/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`,
7814
+ ref: `${AT$7}/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`,
7811
7815
  rung: "documented"
7812
7816
  },
7813
7817
  {
7814
- ref: `${AT$6}/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`,
7818
+ ref: `${AT$7}/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`,
7815
7819
  rung: "implemented"
7816
7820
  },
7817
7821
  {
7818
- ref: `${AT$6}/client.js:89-98 the Connection gets keepAlive false and keepAliveInitialDelayMillis 0 when the config does not give them, :116 connectionTimeoutMillis 0`,
7822
+ ref: `${AT$7}/client.js:89-98 the Connection gets keepAlive false and keepAliveInitialDelayMillis 0 when the config does not give them, :116 connectionTimeoutMillis 0`,
7819
7823
  rung: "implemented"
7820
7824
  },
7821
7825
  {
7822
- ref: `${AT$6}/stream.js:20-24 and :78-83 outside Cloudflare Workers, the socket is a new net.Socket with no option`,
7826
+ ref: `${AT$7}/stream.js:20-24 and :78-83 outside Cloudflare Workers, the socket is a new net.Socket with no option`,
7823
7827
  rung: "implemented"
7824
7828
  },
7825
7829
  {
7826
- ref: `${AT$6}/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`,
7830
+ ref: `${AT$7}/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`,
7827
7831
  rung: "implemented"
7828
7832
  },
7829
7833
  {
7830
- ref: `${AT$6}/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`,
7834
+ ref: `${AT$7}/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`,
7831
7835
  rung: "implemented"
7832
7836
  },
7833
7837
  {
7834
- ref: `${AT$6}/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`,
7838
+ ref: `${AT$7}/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`,
7835
7839
  rung: "implemented"
7836
7840
  },
7837
7841
  {
7838
- ref: `${AT$6}/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`,
7842
+ ref: `${AT$7}/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`,
7839
7843
  rung: "implemented"
7840
7844
  },
7841
7845
  {
7842
- ref: `${AT$6}/client.js:426-442 an ErrorResponse fails the active query only, and with no active query it is an error of the client`,
7846
+ ref: `${AT$7}/client.js:426-442 an ErrorResponse fails the active query only, and with no active query it is an error of the client`,
7843
7847
  rung: "implemented"
7844
7848
  },
7845
7849
  {
7846
- ref: `${AT$6}/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`,
7850
+ ref: `${AT$7}/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`,
7847
7851
  rung: "implemented"
7848
7852
  },
7849
7853
  {
7850
- ref: `${AT$6}/client.js:133-151 _errorAllQueries: each query of the client fails with the same error, on the next tick`,
7854
+ ref: `${AT$7}/client.js:133-151 _errorAllQueries: each query of the client fails with the same error, on the next tick`,
7851
7855
  rung: "implemented"
7852
7856
  },
7853
7857
  {
7854
- ref: `${AT$6}/query.js:122-150 a query gives its error or its result to its callback, at the error or at the ReadyForQuery`,
7858
+ ref: `${AT$7}/query.js:122-150 a query gives its error or its result to its callback, at the error or at the ReadyForQuery`,
7855
7859
  rung: "implemented"
7856
7860
  },
7857
7861
  {
7858
- ref: `${AT$6}/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`,
7862
+ ref: `${AT$7}/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`,
7859
7863
  rung: "implemented"
7860
7864
  },
7861
7865
  {
7862
- ref: `${AT$6}/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`,
7866
+ ref: `${AT$7}/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`,
7863
7867
  rung: "implemented"
7864
7868
  },
7865
7869
  {
7866
- ref: `${AT$6}/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`,
7870
+ ref: `${AT$7}/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`,
7867
7871
  rung: "implemented"
7868
7872
  },
7869
7873
  {
7870
- ref: `${AT$6}/client.js:543-572 getStartupConf: statement_timeout, lock_timeout and idle_in_transaction_session_timeout go to the server only when they are set`,
7874
+ ref: `${AT$7}/client.js:543-572 getStartupConf: statement_timeout, lock_timeout and idle_in_transaction_session_timeout go to the server only when they are set`,
7871
7875
  rung: "implemented"
7872
7876
  },
7873
7877
  {
@@ -10263,7 +10267,7 @@ const PGPOOL_SESSION = machineSchema.parse({
10263
10267
  });
10264
10268
  //#endregion
10265
10269
  //#region src/pg/postgres-session.ts
10266
- const AT$5 = "postgresql REL_17_11 src";
10270
+ const AT$6 = "postgresql REL_17_11 src";
10267
10271
  const DOC = "postgresql REL_17_11 doc/src/sgml";
10268
10272
  /**
10269
10273
  * This document is the hold of a PostgreSQL 17.11 backend on one client connection, over its TCP
@@ -10303,163 +10307,163 @@ const POSTGRES_SESSION = machineSchema.parse({
10303
10307
  rung: "implemented"
10304
10308
  },
10305
10309
  {
10306
- ref: `${AT$5}/backend/tcop/backend_startup.c:157-161 BackendInitialize calls pq_init in the backend, before the startup packet`,
10310
+ ref: `${AT$6}/backend/tcop/backend_startup.c:157-161 BackendInitialize calls pq_init in the backend, before the startup packet`,
10307
10311
  rung: "implemented"
10308
10312
  },
10309
10313
  {
10310
- ref: `${AT$5}/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`,
10314
+ ref: `${AT$6}/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`,
10311
10315
  rung: "implemented"
10312
10316
  },
10313
10317
  {
10314
- ref: `${AT$5}/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`,
10318
+ ref: `${AT$6}/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`,
10315
10319
  rung: "implemented"
10316
10320
  },
10317
10321
  {
10318
- ref: `${AT$5}/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`,
10322
+ ref: `${AT$6}/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`,
10319
10323
  rung: "implemented"
10320
10324
  },
10321
10325
  {
10322
- ref: `${AT$5}/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`,
10326
+ ref: `${AT$6}/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`,
10323
10327
  rung: "implemented"
10324
10328
  },
10325
10329
  {
10326
- ref: `${AT$5}/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`,
10330
+ ref: `${AT$6}/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`,
10327
10331
  rung: "implemented"
10328
10332
  },
10329
10333
  {
10330
- ref: `${AT$5}/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`,
10334
+ ref: `${AT$6}/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`,
10331
10335
  rung: "implemented"
10332
10336
  },
10333
10337
  {
10334
- ref: `${AT$5}/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`,
10338
+ ref: `${AT$6}/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`,
10335
10339
  rung: "implemented"
10336
10340
  },
10337
10341
  {
10338
- ref: `${AT$5}/include/utils/timeout.h:3-4 and :23-43 one SIGALRM for each timeout id, STARTUP_PACKET_TIMEOUT to CLIENT_CONNECTION_CHECK_TIMEOUT`,
10342
+ ref: `${AT$6}/include/utils/timeout.h:3-4 and :23-43 one SIGALRM for each timeout id, STARTUP_PACKET_TIMEOUT to CLIENT_CONNECTION_CHECK_TIMEOUT`,
10339
10343
  rung: "implemented"
10340
10344
  },
10341
10345
  {
10342
- ref: `${AT$5}/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`,
10346
+ ref: `${AT$6}/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`,
10343
10347
  rung: "implemented"
10344
10348
  },
10345
10349
  {
10346
- ref: `${AT$5}/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`,
10350
+ ref: `${AT$6}/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`,
10347
10351
  rung: "implemented"
10348
10352
  },
10349
10353
  {
10350
- ref: `${AT$5}/backend/tcop/postgres.c:2999-3023 die (SIGTERM) sets ProcDiePending, :3029-3043 StatementCancelHandler (SIGINT) sets QueryCancelPending, :4292-4294 the two handlers`,
10354
+ ref: `${AT$6}/backend/tcop/postgres.c:2999-3023 die (SIGTERM) sets ProcDiePending, :3029-3043 StatementCancelHandler (SIGINT) sets QueryCancelPending, :4292-4294 the two handlers`,
10351
10355
  rung: "implemented"
10352
10356
  },
10353
10357
  {
10354
- ref: `${AT$5}/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"`,
10358
+ ref: `${AT$6}/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"`,
10355
10359
  rung: "implemented"
10356
10360
  },
10357
10361
  {
10358
- ref: `${AT$5}/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`,
10362
+ ref: `${AT$6}/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`,
10359
10363
  rung: "implemented"
10360
10364
  },
10361
10365
  {
10362
- ref: `${AT$5}/backend/tcop/postgres.c:3372-3430 a cancel: ERROR 55P03 "canceling statement due to lock timeout", ERROR 57014 "canceling statement due to statement timeout"`,
10366
+ ref: `${AT$6}/backend/tcop/postgres.c:3372-3430 a cancel: ERROR 55P03 "canceling statement due to lock timeout", ERROR 57014 "canceling statement due to statement timeout"`,
10363
10367
  rung: "implemented"
10364
10368
  },
10365
10369
  {
10366
- ref: `${AT$5}/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"`,
10370
+ ref: `${AT$6}/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"`,
10367
10371
  rung: "implemented"
10368
10372
  },
10369
10373
  {
10370
- ref: `${AT$5}/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`,
10374
+ ref: `${AT$6}/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`,
10371
10375
  rung: "implemented"
10372
10376
  },
10373
10377
  {
10374
- ref: `${AT$5}/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`,
10378
+ ref: `${AT$6}/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`,
10375
10379
  rung: "implemented"
10376
10380
  },
10377
10381
  {
10378
- ref: `${AT$5}/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`,
10382
+ ref: `${AT$6}/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`,
10379
10383
  rung: "implemented"
10380
10384
  },
10381
10385
  {
10382
- ref: `${AT$5}/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`,
10386
+ ref: `${AT$6}/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`,
10383
10387
  rung: "implemented"
10384
10388
  },
10385
10389
  {
10386
- ref: `${AT$5}/backend/tcop/postgres.c:4446-4502 an ERROR: disable_all_timeouts, the error to the client, AbortCurrentTransaction; :4562-4563 then ReadyForQuery`,
10390
+ ref: `${AT$6}/backend/tcop/postgres.c:4446-4502 an ERROR: disable_all_timeouts, the error to the client, AbortCurrentTransaction; :4562-4563 then ReadyForQuery`,
10387
10391
  rung: "implemented"
10388
10392
  },
10389
10393
  {
10390
- ref: `${AT$5}/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`,
10394
+ ref: `${AT$6}/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`,
10391
10395
  rung: "implemented"
10392
10396
  },
10393
10397
  {
10394
- ref: `${AT$5}/backend/storage/lmgr/proc.c:1292-1307 ProcSleep arms lock_timeout with the deadlock timer, :1652-1666 and disarms it after the wait`,
10398
+ ref: `${AT$6}/backend/storage/lmgr/proc.c:1292-1307 ProcSleep arms lock_timeout with the deadlock timer, :1652-1666 and disarms it after the wait`,
10395
10399
  rung: "implemented"
10396
10400
  },
10397
10401
  {
10398
- ref: `${AT$5}/backend/tcop/postgres.c:3652-3661 a client_connection_check_interval above 0 needs a wait set that reports a close`,
10402
+ ref: `${AT$6}/backend/tcop/postgres.c:3652-3661 a client_connection_check_interval above 0 needs a wait set that reports a close`,
10399
10403
  rung: "implemented"
10400
10404
  },
10401
10405
  {
10402
- ref: `${AT$5}/backend/libpq/pqcomm.c:2049-2084 pq_check_connection: a wait of 0 ms for WL_SOCKET_CLOSED`,
10406
+ ref: `${AT$6}/backend/libpq/pqcomm.c:2049-2084 pq_check_connection: a wait of 0 ms for WL_SOCKET_CLOSED`,
10403
10407
  rung: "implemented"
10404
10408
  },
10405
10409
  {
10406
- ref: `${AT$5}/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`,
10410
+ ref: `${AT$6}/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`,
10407
10411
  rung: "implemented"
10408
10412
  },
10409
10413
  {
10410
- ref: `${AT$5}/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`,
10414
+ ref: `${AT$6}/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`,
10411
10415
  rung: "implemented"
10412
10416
  },
10413
10417
  {
10414
- ref: `${AT$5}/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`,
10418
+ ref: `${AT$6}/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`,
10415
10419
  rung: "implemented"
10416
10420
  },
10417
10421
  {
10418
- ref: `${AT$5}/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"`,
10422
+ ref: `${AT$6}/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"`,
10419
10423
  rung: "implemented"
10420
10424
  },
10421
10425
  {
10422
- ref: `${AT$5}/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)`,
10426
+ ref: `${AT$6}/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)`,
10423
10427
  rung: "implemented"
10424
10428
  },
10425
10429
  {
10426
- ref: `${AT$5}/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`,
10430
+ ref: `${AT$6}/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`,
10427
10431
  rung: "implemented"
10428
10432
  },
10429
10433
  {
10430
- ref: `${AT$5}/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`,
10434
+ ref: `${AT$6}/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`,
10431
10435
  rung: "implemented"
10432
10436
  },
10433
10437
  {
10434
- ref: `${AT$5}/backend/tcop/postgres.c:4310-4316 the backend ignores SIGPIPE`,
10438
+ ref: `${AT$6}/backend/tcop/postgres.c:4310-4316 the backend ignores SIGPIPE`,
10435
10439
  rung: "implemented"
10436
10440
  },
10437
10441
  {
10438
- ref: `${AT$5}/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`,
10442
+ ref: `${AT$6}/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`,
10439
10443
  rung: "implemented"
10440
10444
  },
10441
10445
  {
10442
- ref: `${AT$5}/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)`,
10446
+ ref: `${AT$6}/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)`,
10443
10447
  rung: "implemented"
10444
10448
  },
10445
10449
  {
10446
- ref: `${AT$5}/backend/libpq/pqcomm.c:347-392 socket_close keeps the socket open until the process exits`,
10450
+ ref: `${AT$6}/backend/libpq/pqcomm.c:347-392 socket_close keeps the socket open until the process exits`,
10447
10451
  rung: "implemented"
10448
10452
  },
10449
10453
  {
10450
- ref: `${AT$5}/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`,
10454
+ ref: `${AT$6}/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`,
10451
10455
  rung: "implemented"
10452
10456
  },
10453
10457
  {
10454
- ref: `${AT$5}/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)`,
10458
+ ref: `${AT$6}/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)`,
10455
10459
  rung: "implemented"
10456
10460
  },
10457
10461
  {
10458
- ref: `${AT$5}/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`,
10462
+ ref: `${AT$6}/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`,
10459
10463
  rung: "implemented"
10460
10464
  },
10461
10465
  {
10462
- ref: `${AT$5}/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`,
10466
+ ref: `${AT$6}/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`,
10463
10467
  rung: "implemented"
10464
10468
  },
10465
10469
  {
@@ -12488,7 +12492,7 @@ const PROCEDURES_WS_SERVER = machineSchema.parse({
12488
12492
  });
12489
12493
  //#endregion
12490
12494
  //#region src/proxy/caddy.ts
12491
- const AT$4 = "caddy v2.11.7";
12495
+ const AT$5 = "caddy v2.11.7";
12492
12496
  const XNET = "x/net v0.59.0";
12493
12497
  /**
12494
12498
  * This document is Caddy 2.11.7 as an HTTP/2 proxy of gRPC, for one connection of a client. Its
@@ -12514,11 +12518,11 @@ const CADDY_HTTP2 = machineSchema.parse({
12514
12518
  },
12515
12519
  sources: [
12516
12520
  {
12517
- ref: `${AT$4} modules/caddyhttp/app.go:404-418, :925-940 the defaults of a server: idle_timeout 5 min, read_header_timeout 1 min, read_idle_timeout 1 min, write_idle_timeout 1 min`,
12521
+ ref: `${AT$5} modules/caddyhttp/app.go:404-418, :925-940 the defaults of a server: idle_timeout 5 min, read_header_timeout 1 min, read_idle_timeout 1 min, write_idle_timeout 1 min`,
12518
12522
  rung: "implemented"
12519
12523
  },
12520
12524
  {
12521
- ref: `${AT$4} modules/caddyhttp/app.go:520-533 the protocol h2c: http2.ConfigureServer with a zero http2.Server of ${XNET}`,
12525
+ ref: `${AT$5} modules/caddyhttp/app.go:520-533 the protocol h2c: http2.ConfigureServer with a zero http2.Server of ${XNET}`,
12522
12526
  rung: "implemented"
12523
12527
  },
12524
12528
  {
@@ -12538,15 +12542,15 @@ const CADDY_HTTP2 = machineSchema.parse({
12538
12542
  rung: "implemented"
12539
12543
  },
12540
12544
  {
12541
- ref: `${AT$4} modules/caddyhttp/reverseproxy/reverseproxy.go:1086, :1107-1112, :1393-1397, :1667-1697 a failure of the upstream before the headers of a response: no retry at the defaults, and statusError gives 502`,
12545
+ ref: `${AT$5} modules/caddyhttp/reverseproxy/reverseproxy.go:1086, :1107-1112, :1393-1397, :1667-1697 a failure of the upstream before the headers of a response: no retry at the defaults, and statusError gives 502`,
12542
12546
  rung: "implemented"
12543
12547
  },
12544
12548
  {
12545
- ref: `${AT$4} modules/caddyhttp/reverseproxy/reverseproxy.go:1331-1352 and ${XNET} xs:2296-2310 after the headers, a failed copy panics with http.ErrAbortHandler, and the stream gets RST_STREAM INTERNAL_ERROR`,
12549
+ ref: `${AT$5} modules/caddyhttp/reverseproxy/reverseproxy.go:1331-1352 and ${XNET} xs:2296-2310 after the headers, a failed copy panics with http.ErrAbortHandler, and the stream gets RST_STREAM INTERNAL_ERROR`,
12546
12550
  rung: "implemented"
12547
12551
  },
12548
12552
  {
12549
- ref: `${AT$4} modules/caddyhttp/reverseproxy/httptransport.go:212-226 the defaults of the transport: a dial timeout of 3 s, and an idle upstream connection closes after 2 min`,
12553
+ ref: `${AT$5} modules/caddyhttp/reverseproxy/httptransport.go:212-226 the defaults of the transport: a dial timeout of 3 s, and an idle upstream connection closes after 2 min`,
12550
12554
  rung: "implemented"
12551
12555
  },
12552
12556
  {
@@ -12554,11 +12558,11 @@ const CADDY_HTTP2 = machineSchema.parse({
12554
12558
  rung: "implemented"
12555
12559
  },
12556
12560
  {
12557
- ref: `${AT$4} modules/caddyhttp/app.go:136-142, :753-799, :862-876 a stop calls Shutdown on each server: a GOAWAY at once, and the grace period is eternal at the defaults. Caddy closes no connection by itself`,
12561
+ ref: `${AT$5} modules/caddyhttp/app.go:136-142, :753-799, :862-876 a stop calls Shutdown on each server: a GOAWAY at once, and the grace period is eternal at the defaults. Caddy closes no connection by itself`,
12558
12562
  rung: "implemented"
12559
12563
  },
12560
12564
  {
12561
- ref: `${AT$4} modules/caddyhttp/app.go:570-577 and go1.26.8 src/net/tcpsock.go:291-296 each accepted socket gets the TCP keepalive of Go: 15 s, 15 s and 9 probes`,
12565
+ ref: `${AT$5} modules/caddyhttp/app.go:570-577 and go1.26.8 src/net/tcpsock.go:291-296 each accepted socket gets the TCP keepalive of Go: 15 s, 15 s and 9 probes`,
12562
12566
  rung: "implemented"
12563
12567
  }
12564
12568
  ],
@@ -12849,7 +12853,7 @@ const CADDY_HTTP2 = machineSchema.parse({
12849
12853
  });
12850
12854
  //#endregion
12851
12855
  //#region src/proxy/envoy.ts
12852
- const AT$3 = "envoy v1.39.4";
12856
+ const AT$4 = "envoy v1.39.4";
12853
12857
  /**
12854
12858
  * This document is Envoy 1.39.4 as an HTTP/2 proxy of gRPC, for one connection of a client. Its static
12855
12859
  * configuration is the one of the harness. It has one listener with the HTTP connection manager, one
@@ -12874,67 +12878,67 @@ const ENVOY_HTTP2 = machineSchema.parse({
12874
12878
  },
12875
12879
  sources: [
12876
12880
  {
12877
- ref: `${AT$3} source/common/runtime/runtime_features.cc:274-276 the codec of HTTP/2 is nghttp2: http2_use_oghttp2 is false`,
12881
+ ref: `${AT$4} source/common/runtime/runtime_features.cc:274-276 the codec of HTTP/2 is nghttp2: http2_use_oghttp2 is false`,
12878
12882
  rung: "implemented"
12879
12883
  },
12880
12884
  {
12881
- ref: `${AT$3} 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`,
12885
+ ref: `${AT$4} 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`,
12882
12886
  rung: "implemented"
12883
12887
  },
12884
12888
  {
12885
- ref: `${AT$3} 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`,
12889
+ ref: `${AT$4} 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`,
12886
12890
  rung: "implemented"
12887
12891
  },
12888
12892
  {
12889
- ref: `${AT$3} 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`,
12893
+ ref: `${AT$4} 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`,
12890
12894
  rung: "implemented"
12891
12895
  },
12892
12896
  {
12893
- ref: `${AT$3} 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`,
12897
+ ref: `${AT$4} 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`,
12894
12898
  rung: "implemented"
12895
12899
  },
12896
12900
  {
12897
- ref: `${AT$3} 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)`,
12901
+ ref: `${AT$4} 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)`,
12898
12902
  rung: "implemented"
12899
12903
  },
12900
12904
  {
12901
- ref: `${AT$3} 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`,
12905
+ ref: `${AT$4} 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`,
12902
12906
  rung: "implemented"
12903
12907
  },
12904
12908
  {
12905
- ref: `${AT$3} 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"`,
12909
+ ref: `${AT$4} 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"`,
12906
12910
  rung: "implemented"
12907
12911
  },
12908
12912
  {
12909
- ref: `${AT$3} 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`,
12913
+ ref: `${AT$4} 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`,
12910
12914
  rung: "implemented"
12911
12915
  },
12912
12916
  {
12913
- ref: `${AT$3} 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`,
12917
+ ref: `${AT$4} 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`,
12914
12918
  rung: "implemented"
12915
12919
  },
12916
12920
  {
12917
- ref: `${AT$3} 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`,
12921
+ ref: `${AT$4} 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`,
12918
12922
  rung: "implemented"
12919
12923
  },
12920
12924
  {
12921
- ref: `${AT$3} 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`,
12925
+ ref: `${AT$4} 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`,
12922
12926
  rung: "implemented"
12923
12927
  },
12924
12928
  {
12925
- ref: `${AT$3} 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`,
12929
+ ref: `${AT$4} 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`,
12926
12930
  rung: "implemented"
12927
12931
  },
12928
12932
  {
12929
- ref: `${AT$3} 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`,
12933
+ ref: `${AT$4} 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`,
12930
12934
  rung: "implemented"
12931
12935
  },
12932
12936
  {
12933
- ref: `${AT$3} 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`,
12937
+ ref: `${AT$4} 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`,
12934
12938
  rung: "implemented"
12935
12939
  },
12936
12940
  {
12937
- ref: `${AT$3} 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`,
12941
+ ref: `${AT$4} 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`,
12938
12942
  rung: "implemented"
12939
12943
  }
12940
12944
  ],
@@ -13295,7 +13299,7 @@ const ENVOY_HTTP2 = machineSchema.parse({
13295
13299
  });
13296
13300
  //#endregion
13297
13301
  //#region src/proxy/nginx.ts
13298
- const AT$2 = "nginx release-1.29.6";
13302
+ const AT$3 = "nginx release-1.29.6";
13299
13303
  const V2 = "src/http/v2/ngx_http_v2.c";
13300
13304
  const UP = "src/http/ngx_http_upstream.c";
13301
13305
  /**
@@ -13330,47 +13334,47 @@ const NGINX_GRPC = machineSchema.parse({
13330
13334
  },
13331
13335
  sources: [
13332
13336
  {
13333
- ref: `${AT$2} src/http/ngx_http_core_module.c:3540-3541, :3844-3845, :3885, :3894-3909 the defaults: client_header_timeout, client_body_timeout and send_timeout 60 s, keepalive_timeout 75 s, keepalive_time 1 h, lingering_time 30 s, lingering_timeout 5 s`,
13337
+ ref: `${AT$3} src/http/ngx_http_core_module.c:3540-3541, :3844-3845, :3885, :3894-3909 the defaults: client_header_timeout, client_body_timeout and send_timeout 60 s, keepalive_timeout 75 s, keepalive_time 1 h, lingering_time 30 s, lingering_timeout 5 s`,
13334
13338
  rung: "implemented"
13335
13339
  },
13336
13340
  {
13337
- ref: `${AT$2} src/http/modules/ngx_http_grpc_module.c:4462-4469 grpc_connect_timeout, grpc_send_timeout and grpc_read_timeout: 60 s each`,
13341
+ ref: `${AT$3} src/http/modules/ngx_http_grpc_module.c:4462-4469 grpc_connect_timeout, grpc_send_timeout and grpc_read_timeout: 60 s each`,
13338
13342
  rung: "implemented"
13339
13343
  },
13340
13344
  {
13341
- ref: `${AT$2} ${V2}:3102-3104 a new stream deletes the read timer of the connection, and :668-670 the end of the last stream arms keepalive_timeout`,
13345
+ ref: `${AT$3} ${V2}:3102-3104 a new stream deletes the read timer of the connection, and :668-670 the end of the last stream arms keepalive_timeout`,
13342
13346
  rung: "implemented"
13343
13347
  },
13344
13348
  {
13345
- ref: `${AT$2} ${V2}:4694-4697, :4764-4769, :703-775 the idle timer sends GOAWAY NO_ERROR, then the lingering close: a FIN, and the input is dropped`,
13349
+ ref: `${AT$3} ${V2}:4694-4697, :4764-4769, :703-775 the idle timer sends GOAWAY NO_ERROR, then the lingering close: a FIN, and the input is dropped`,
13346
13350
  rung: "implemented"
13347
13351
  },
13348
13352
  {
13349
- ref: `${AT$2} ${V2}:2325-2336 a PING of the client gets its ACK, and no timer moves`,
13353
+ ref: `${AT$3} ${V2}:2325-2336 a PING of the client gets its ACK, and no timer moves`,
13350
13354
  rung: "implemented"
13351
13355
  },
13352
13356
  {
13353
- ref: `${AT$2} ${UP}:2242-2249 the read timer arms when the request has gone to the upstream, and :4046-4051 it arms again after each read of the response`,
13357
+ ref: `${AT$3} ${UP}:2242-2249 the read timer arms when the request has gone to the upstream, and :4046-4051 it arms again after each read of the response`,
13354
13358
  rung: "implemented"
13355
13359
  },
13356
13360
  {
13357
- ref: `${AT$2} ${UP}:2452-2454, :4606-4621, :4668-4672, :4879-4884 a read timeout before the headers of the response: no retry, then 504 (src/http/ngx_http_special_response.c:316-321), with no grpc-status`,
13361
+ ref: `${AT$3} ${UP}:2452-2454, :4606-4621, :4668-4672, :4879-4884 a read timeout before the headers of the response: no retry, then 504 (src/http/ngx_http_special_response.c:316-321), with no grpc-status`,
13358
13362
  rung: "implemented"
13359
13363
  },
13360
13364
  {
13361
- ref: `${AT$2} ${UP}:3912-3915 and ${V2}:4521-4531 a read timeout after the headers: RST_STREAM INTERNAL_ERROR`,
13365
+ ref: `${AT$3} ${UP}:3912-3915 and ${V2}:4521-4531 a read timeout after the headers: RST_STREAM INTERNAL_ERROR`,
13362
13366
  rung: "implemented"
13363
13367
  },
13364
13368
  {
13365
- ref: `${AT$2} src/http/modules/ngx_http_grpc_module.c:4859 and ${UP}:6806-6816 grpc_pass to an address is an implicit upstream with no keepalive: each call has its own upstream connection, and ${UP}:4793-4822 it ends with the call`,
13369
+ ref: `${AT$3} src/http/modules/ngx_http_grpc_module.c:4859 and ${UP}:6806-6816 grpc_pass to an address is an implicit upstream with no keepalive: each call has its own upstream connection, and ${UP}:4793-4822 it ends with the call`,
13366
13370
  rung: "implemented"
13367
13371
  },
13368
13372
  {
13369
- ref: `${AT$2} src/core/nginx.c:1148 worker_processes is 1, and src/event/ngx_event.c:649-656 with :1369 no accept mutex: the handlers of I/O run in the processing of epoll_wait`,
13373
+ ref: `${AT$3} src/core/nginx.c:1148 worker_processes is 1, and src/event/ngx_event.c:649-656 with :1369 no accept mutex: the handlers of I/O run in the processing of epoll_wait`,
13370
13374
  rung: "implemented"
13371
13375
  },
13372
13376
  {
13373
- ref: `${AT$2} src/event/modules/ngx_epoll_module.c:804-823 the clock updates after epoll_wait, and an error of it (EINTR) returns before any event; src/event/ngx_event.c:248-263 then the timers fire; src/event/ngx_event_timer.c:53-96 each overdue timer, the earliest first`,
13377
+ ref: `${AT$3} src/event/modules/ngx_epoll_module.c:804-823 the clock updates after epoll_wait, and an error of it (EINTR) returns before any event; src/event/ngx_event.c:248-263 then the timers fire; src/event/ngx_event_timer.c:53-96 each overdue timer, the earliest first`,
13374
13378
  rung: "implemented"
13375
13379
  },
13376
13380
  {
@@ -13378,7 +13382,7 @@ const NGINX_GRPC = machineSchema.parse({
13378
13382
  rung: "documented"
13379
13383
  },
13380
13384
  {
13381
- ref: `${AT$2} src/os/unix/ngx_process_cycle.c:203-244, :712-740 and src/core/ngx_connection.c:1433-1450 SIGQUIT and SIGHUP: GOAWAY NO_ERROR, and the worker waits for each stream; :723-726 SIGTERM: no GOAWAY`,
13385
+ ref: `${AT$3} src/os/unix/ngx_process_cycle.c:203-244, :712-740 and src/core/ngx_connection.c:1433-1450 SIGQUIT and SIGHUP: GOAWAY NO_ERROR, and the worker waits for each stream; :723-726 SIGTERM: no GOAWAY`,
13382
13386
  rung: "implemented"
13383
13387
  }
13384
13388
  ],
@@ -13682,6 +13686,360 @@ const NGINX_GRPC = machineSchema.parse({
13682
13686
  }
13683
13687
  });
13684
13688
  //#endregion
13689
+ //#region src/proxy/traefik.ts
13690
+ const AT$2 = "traefik v3.7.15";
13691
+ const H2 = "go1.26.9 src/net/http/h2_bundle.go";
13692
+ /**
13693
+ * This document is Traefik 3.7.15 as an HTTP/2 proxy of gRPC, for one connection of a client. Its
13694
+ * configuration is the one of the harness. It has one entrypoint of h2c and the file provider over a
13695
+ * folder of dynamic files, with one router to one server of h2c. Each other option is at its default.
13696
+ *
13697
+ * - With no stream open for 180 s (respondingTimeouts.idleTimeout), Go sends GOAWAY NO_ERROR, and it
13698
+ * closes the connection 1 s later. The timer counts from the close of the last stream.
13699
+ * - A reload of the dynamic file only swaps the handler of each entrypoint. Thus a reload sends nothing
13700
+ * to the client: no GOAWAY, no reset and no close. A stream that runs keeps its handler, and a new
13701
+ * stream gets the new one. A transport whose configuration is the same is kept, with its upstream
13702
+ * connection.
13703
+ * - The file provider watches the file and its folder. The first message goes at once, and a change
13704
+ * within the throttle of 2 s waits for its end. A rewrite with the same content changes nothing.
13705
+ * - At SIGTERM, Traefik sends GOAWAY, and it closes each connection after graceTimeOut (10 s).
13706
+ */
13707
+ const TRAEFIK_HTTP2 = machineSchema.parse({
13708
+ format: "mark1russell7.machine/1",
13709
+ id: "traefik-http2",
13710
+ title: "Traefik 3.7.15 as an HTTP/2 proxy of gRPC: one connection of a client, its idle close, a reload of its dynamic file and its stop",
13711
+ layer: "proxy",
13712
+ version: "3.7.15",
13713
+ conditions: {
13714
+ traefik: "v3.7.15",
13715
+ go: "1.26 (go1.26.9 assumed)",
13716
+ configuration: "one entrypoint of h2c, the file provider over a folder of dynamic files, one router to one service with one server of h2c, at the defaults"
13717
+ },
13718
+ sources: [
13719
+ {
13720
+ ref: `${AT$2} pkg/config/static/static_config.go:47-51, :208-211 the respondingTimeouts of an entrypoint: idleTimeout 180 s, readTimeout 60 s, writeTimeout 0`,
13721
+ rung: "implemented"
13722
+ },
13723
+ {
13724
+ ref: `${H2}:4310-4316, :5022-5025, :6120-6122, :5809-5813 the idle timer of HTTP/2: from the serve of the connection, stopped by a new stream, armed again at the close of the last stream`,
13725
+ rung: "implemented"
13726
+ },
13727
+ {
13728
+ ref: `${H2}:5081-5083, :5112-5120, :5566 the idle timer sends GOAWAY NO_ERROR, and the connection closes goAwayTimeout (1 s) after it, with no stream open`,
13729
+ rung: "implemented"
13730
+ },
13731
+ {
13732
+ ref: `${AT$2} pkg/provider/file/file.go:81-85, :169-211 the file provider watches its folder with fsnotify. Each event of a file of the folder reads each file again (:201-205)`,
13733
+ rung: "implemented"
13734
+ },
13735
+ {
13736
+ ref: `${AT$2} cmd/configuration.go:26-28 and pkg/provider/aggregator/aggregator.go:44-58 providersThrottleDuration of 2 s: a message goes at once, then the forwarder sleeps 2 s and keeps the newest message`,
13737
+ rung: "implemented"
13738
+ },
13739
+ {
13740
+ ref: `${AT$2} pkg/server/configurationwatcher.go:136-140, :182-184 a configuration equal to the last one is dropped`,
13741
+ rung: "implemented"
13742
+ },
13743
+ {
13744
+ ref: `${AT$2} pkg/server/server_entrypoint_tcp.go:382-407 and pkg/middlewares/handler_switcher.go:21-35 a reload swaps the handler of each entrypoint. The http.Server and each connection stay, and a stream reads the handler when it starts`,
13745
+ rung: "implemented"
13746
+ },
13747
+ {
13748
+ ref: `${AT$2} pkg/server/service/transport.go:54-109 a transport whose configuration is the same is kept with its connections. A changed one is new, and the old one is not closed`,
13749
+ rung: "implemented"
13750
+ },
13751
+ {
13752
+ ref: `${AT$2} pkg/server/service/service.go:484-485 the debug line "Creating server" when the routers are built for a configuration`,
13753
+ rung: "implemented"
13754
+ },
13755
+ {
13756
+ ref: `${AT$2} pkg/server/server_entrypoint_tcp.go:316-380, ${H2}:5545-5570 SIGTERM: Shutdown sends GOAWAY NO_ERROR, and Close comes after graceTimeOut (10 s, static_config.go:43-45)`,
13757
+ rung: "implemented"
13758
+ },
13759
+ {
13760
+ ref: "the runs 39364790926 (a reload in the gap) and 39370033339 (no reload) of T02.array.77: the GOAWAY of the idle timeout came 180.001 s to 180.086 s after the last write of the stream. Caddy, on the same code of Go, gave 300.006 s",
13761
+ rung: "observed",
13762
+ note: "Thus the lateness is in the process of Traefik, not in the reload. The source does not give its cause"
13763
+ }
13764
+ ],
13765
+ states: {
13766
+ "[none]": {
13767
+ initial: true,
13768
+ pseudo: true,
13769
+ note: "Before the accept of the connection of the client"
13770
+ },
13771
+ idle: { note: "The connection of the client, with no stream open. The idle timer runs" },
13772
+ active: { note: "A stream of the client is open: its request goes to the upstream" },
13773
+ closing: { note: "After a GOAWAY with no stream open, until the close goAwayTimeout later" },
13774
+ draining: { note: "After the GOAWAY of a stop, while a stream is open, until graceTimeOut" },
13775
+ ended: {
13776
+ final: true,
13777
+ note: "The connection of the client closed"
13778
+ }
13779
+ },
13780
+ events: {
13781
+ "local.accept": {
13782
+ kind: "local",
13783
+ note: "The entrypoint accepts the connection of the client"
13784
+ },
13785
+ "rx.headers": {
13786
+ kind: "rx",
13787
+ note: "The headers of a new stream of the client: a call. It reads the handler of the entrypoint"
13788
+ },
13789
+ "upstream.end": {
13790
+ kind: "local",
13791
+ note: "The response of the upstream ends: the last stream closes"
13792
+ },
13793
+ "local.reload": {
13794
+ kind: "local",
13795
+ note: "The file provider sends a changed dynamic configuration, and the routers are built again"
13796
+ },
13797
+ "timer.idle": {
13798
+ kind: "timer",
13799
+ note: "No stream open for idleTimeout"
13800
+ },
13801
+ "timer.goaway": {
13802
+ kind: "timer",
13803
+ note: "goAwayTimeout after the GOAWAY, with no stream open"
13804
+ },
13805
+ "timer.grace": {
13806
+ kind: "timer",
13807
+ note: "graceTimeOut after the GOAWAY of a stop"
13808
+ },
13809
+ "app.stop": {
13810
+ kind: "app",
13811
+ note: "SIGTERM or SIGINT to the process of Traefik"
13812
+ },
13813
+ "peer.fin": {
13814
+ kind: "peer",
13815
+ note: "The client ends the connection"
13816
+ },
13817
+ "peer.rst": {
13818
+ kind: "peer",
13819
+ note: "A reset of the connection of the client"
13820
+ },
13821
+ "tx.goaway": {
13822
+ kind: "tx",
13823
+ note: "A GOAWAY NO_ERROR to the client"
13824
+ },
13825
+ "tx.fin": {
13826
+ kind: "tx",
13827
+ note: "The close of the connection of the client: a FIN"
13828
+ }
13829
+ },
13830
+ knobs: {
13831
+ idle_timeout: {
13832
+ key: "entryPoints.<name>.transport.respondingTimeouts.idleTimeout",
13833
+ scope: "server",
13834
+ unit: "s",
13835
+ default: 180,
13836
+ note: "static_config.go:47-48, :208-211"
13837
+ },
13838
+ read_timeout: {
13839
+ key: "entryPoints.<name>.transport.respondingTimeouts.readTimeout",
13840
+ scope: "server",
13841
+ unit: "s",
13842
+ default: 60,
13843
+ note: "A timer for each stream on the body of its request"
13844
+ },
13845
+ goaway_timeout: {
13846
+ key: "goAwayTimeout of the HTTP/2 server of Go",
13847
+ scope: "server",
13848
+ unit: "s",
13849
+ default: 1,
13850
+ note: "h2_bundle.go: a constant of 1 s"
13851
+ },
13852
+ grace_timeout: {
13853
+ key: "entryPoints.<name>.transport.lifeCycle.graceTimeOut",
13854
+ scope: "server",
13855
+ unit: "s",
13856
+ default: 10,
13857
+ note: "static_config.go:43-45"
13858
+ },
13859
+ throttle: {
13860
+ key: "providers.providersThrottleDuration",
13861
+ scope: "process",
13862
+ unit: "s",
13863
+ default: 2,
13864
+ note: "cmd/configuration.go:26-28"
13865
+ },
13866
+ upstream_idle_timeout: {
13867
+ key: "serversTransport.idleConnTimeout",
13868
+ scope: "server",
13869
+ unit: "s",
13870
+ default: 90,
13871
+ note: "transport.go:312"
13872
+ },
13873
+ slack: {
13874
+ key: "the lateness of one step of the process of Traefik",
13875
+ scope: "process",
13876
+ unit: "s",
13877
+ default: .1,
13878
+ note: "An observation, not a value of Traefik: its GOAWAY came up to 86 ms after the idle timeout, from the last write of the stream, in 22 runs. The source gives no cause"
13879
+ }
13880
+ },
13881
+ timers: {
13882
+ idle: {
13883
+ duration: {
13884
+ knob: "idle_timeout",
13885
+ unit: "s"
13886
+ },
13887
+ lateness: {
13888
+ knob: "slack",
13889
+ unit: "s"
13890
+ },
13891
+ arms: ["enter:idle"],
13892
+ cancels: ["rx.headers"],
13893
+ fires: "timer.idle",
13894
+ note: "h2_bundle.go:5809-5813: from the close of the last stream. A reload does not arm it again"
13895
+ },
13896
+ goaway: {
13897
+ duration: {
13898
+ knob: "goaway_timeout",
13899
+ unit: "s"
13900
+ },
13901
+ lateness: {
13902
+ knob: "slack",
13903
+ unit: "s"
13904
+ },
13905
+ arms: ["tx.goaway"],
13906
+ fires: "timer.goaway",
13907
+ note: "h2_bundle.go:5112-5120: the close after the GOAWAY, when no stream is open"
13908
+ },
13909
+ grace: {
13910
+ duration: {
13911
+ knob: "grace_timeout",
13912
+ unit: "s"
13913
+ },
13914
+ lateness: {
13915
+ knob: "slack",
13916
+ unit: "s"
13917
+ },
13918
+ arms: ["app.stop"],
13919
+ fires: "timer.grace",
13920
+ note: "server_entrypoint_tcp.go:327-351: Close after graceTimeOut"
13921
+ }
13922
+ },
13923
+ transitions: [
13924
+ {
13925
+ id: "tf.accept",
13926
+ from: "[none]",
13927
+ to: "idle",
13928
+ on: "local.accept",
13929
+ timer: "idle",
13930
+ source: "server_entrypoint_tcp.go:184-234"
13931
+ },
13932
+ {
13933
+ id: "tf.stream",
13934
+ from: "idle",
13935
+ to: "active",
13936
+ on: "rx.headers",
13937
+ source: "h2_bundle.go:6120-6122"
13938
+ },
13939
+ {
13940
+ id: "tf.replied",
13941
+ from: "active",
13942
+ to: "idle",
13943
+ on: "upstream.end",
13944
+ timer: "idle",
13945
+ source: "h2_bundle.go:5809-5813"
13946
+ },
13947
+ {
13948
+ id: "tf.reload-idle",
13949
+ from: "idle",
13950
+ to: "idle",
13951
+ on: "local.reload",
13952
+ note: "A swap of the handler: nothing to the client, and the idle timer goes on",
13953
+ source: "server_entrypoint_tcp.go:382-407"
13954
+ },
13955
+ {
13956
+ id: "tf.reload-active",
13957
+ from: "active",
13958
+ to: "active",
13959
+ on: "local.reload",
13960
+ note: "The stream keeps the handler that it started with",
13961
+ source: "handler_switcher.go:21-24"
13962
+ },
13963
+ {
13964
+ id: "tf.idle",
13965
+ from: "idle",
13966
+ to: "closing",
13967
+ on: "timer.idle",
13968
+ timer: "idle",
13969
+ emits: ["tx.goaway"],
13970
+ note: "GOAWAY NO_ERROR, with the highest stream of the client",
13971
+ source: "h2_bundle.go:5081-5083"
13972
+ },
13973
+ {
13974
+ id: "tf.closed",
13975
+ from: "closing",
13976
+ to: "ended",
13977
+ on: "timer.goaway",
13978
+ timer: "goaway",
13979
+ emits: ["tx.fin"],
13980
+ source: "h2_bundle.go:5112-5120"
13981
+ },
13982
+ {
13983
+ id: "tf.stop-idle",
13984
+ from: "idle",
13985
+ to: "closing",
13986
+ on: "app.stop",
13987
+ emits: ["tx.goaway"],
13988
+ source: "server_entrypoint_tcp.go:316-380"
13989
+ },
13990
+ {
13991
+ id: "tf.stop-active",
13992
+ from: "active",
13993
+ to: "draining",
13994
+ on: "app.stop",
13995
+ timer: "grace",
13996
+ emits: ["tx.goaway"],
13997
+ source: "server_entrypoint_tcp.go:316-380"
13998
+ },
13999
+ {
14000
+ id: "tf.drained",
14001
+ from: "draining",
14002
+ to: "closing",
14003
+ on: "upstream.end",
14004
+ timer: "goaway",
14005
+ source: "h2_bundle.go:5112-5120"
14006
+ },
14007
+ {
14008
+ id: "tf.grace",
14009
+ from: "draining",
14010
+ to: "ended",
14011
+ on: "timer.grace",
14012
+ timer: "grace",
14013
+ emits: ["tx.fin"],
14014
+ source: "server_entrypoint_tcp.go:327-351"
14015
+ },
14016
+ {
14017
+ id: "tf.client-end",
14018
+ from: [
14019
+ "idle",
14020
+ "active",
14021
+ "closing",
14022
+ "draining"
14023
+ ],
14024
+ to: "ended",
14025
+ on: ["peer.fin", "peer.rst"],
14026
+ source: "h2_bundle.go"
14027
+ }
14028
+ ],
14029
+ over: {
14030
+ machine: "systems.machine.linux-tcp",
14031
+ states: {
14032
+ idle: "ESTABLISHED",
14033
+ active: "ESTABLISHED",
14034
+ closing: "ESTABLISHED",
14035
+ draining: "ESTABLISHED"
14036
+ },
14037
+ sets: {},
14038
+ ends: "peer.rst",
14039
+ note: "The socket toward the client: a Linux TCP socket. Its keepalive is the one of the listener of Go, which the source of this document does not name"
14040
+ }
14041
+ });
14042
+ //#endregion
13685
14043
  //#region src/proxy/tcp-proxies.ts
13686
14044
  const TOXI = "toxiproxy v2.12.0";
13687
14045
  const MOBY = "moby docker-v29.1.5";
@@ -16122,9 +16480,10 @@ const MACHINES = byId([
16122
16480
  DOCKER_PROXY_LINK,
16123
16481
  ENVOY_HTTP2,
16124
16482
  CADDY_HTTP2,
16125
- NGINX_GRPC
16483
+ NGINX_GRPC,
16484
+ TRAEFIK_HTTP2
16126
16485
  ]);
16127
16486
  //#endregion
16128
- export { AMQPLIB, ATEN_DETECTOR, CADDY_HTTP2, 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, NGINX_GRPC, 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_RETRY, UNDICI_TICK_MS, goLateSeconds, goTimerLateness, nodeEarlySeconds, nodeLateSeconds, nodeTimerLateness, undiciFastEarly, undiciFastLateness };
16487
+ export { AMQPLIB, ATEN_DETECTOR, CADDY_HTTP2, 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, NGINX_GRPC, 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, TRAEFIK_HTTP2, UNDICI_CLIENT, UNDICI_RETRY, UNDICI_TICK_MS, goLateSeconds, goTimerLateness, nodeEarlySeconds, nodeLateSeconds, nodeTimerLateness, undiciFastEarly, undiciFastLateness };
16129
16488
 
16130
16489
  //# sourceMappingURL=index.js.map