@mark1russell7/machines 0.3.20 → 0.3.21

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,19 @@ 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}/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
832
  rung: "implemented"
833
833
  },
834
834
  {
@@ -2582,7 +2582,7 @@ const UNDICI_CLIENT = machineSchema.parse({
2582
2582
  });
2583
2583
  //#endregion
2584
2584
  //#region src/http/undici-retry.ts
2585
- const AT$11 = "undici 8.12.2 lib/handler/retry-handler.js";
2585
+ const AT$12 = "undici 8.12.2 lib/handler/retry-handler.js";
2586
2586
  /**
2587
2587
  * This document is one request through a `RetryAgent` of undici 8.12.2: the retries of a reply
2588
2588
  * whose status is retryable, for example 429 or 503. Each fact comes from the published package at
@@ -2616,7 +2616,7 @@ const UNDICI_RETRY = machineSchema.parse({
2616
2616
  },
2617
2617
  sources: [
2618
2618
  {
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`,
2619
+ 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
2620
  rung: "implemented"
2621
2621
  },
2622
2622
  {
@@ -2624,19 +2624,19 @@ const UNDICI_RETRY = machineSchema.parse({
2624
2624
  rung: "implemented"
2625
2625
  },
2626
2626
  {
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`,
2627
+ 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
2628
  rung: "implemented"
2629
2629
  },
2630
2630
  {
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`,
2631
+ 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
2632
  rung: "implemented"
2633
2633
  },
2634
2634
  {
2635
- ref: `${AT$11}:380 the counter: one more at each reply`,
2635
+ ref: `${AT$12}:380 the counter: one more at each reply`,
2636
2636
  rung: "implemented"
2637
2637
  },
2638
2638
  {
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`,
2639
+ 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
2640
  rung: "implemented"
2641
2641
  },
2642
2642
  {
@@ -2798,7 +2798,7 @@ const UNDICI_RETRY = machineSchema.parse({
2798
2798
  });
2799
2799
  //#endregion
2800
2800
  //#region src/ioredis-sentinel.ts
2801
- const AT$10 = "ioredis 6.0.0 built";
2801
+ const AT$11 = "ioredis 6.0.0 built";
2802
2802
  /**
2803
2803
  * This document is the Sentinel path of ioredis 6.0.0. It tells how ioredis finds the primary of a
2804
2804
  * group through the Sentinels, loses it, and connects to the new one. The standalone states of
@@ -2819,43 +2819,43 @@ const IOREDIS_SENTINEL = machineSchema.parse({
2819
2819
  },
2820
2820
  sources: [
2821
2821
  {
2822
- ref: `${AT$10}/connectors/SentinelConnector/index.js:46-121 connect (each Sentinel in turn, then sentinelRetryStrategy)`,
2822
+ ref: `${AT$11}/connectors/SentinelConnector/index.js:46-121 connect (each Sentinel in turn, then sentinelRetryStrategy)`,
2823
2823
  rung: "implemented"
2824
2824
  },
2825
2825
  {
2826
- ref: `${AT$10}/connectors/SentinelConnector/index.js:145-151 resolveMaster (get-master-addr-by-name, then SENTINEL sentinels)`,
2826
+ ref: `${AT$11}/connectors/SentinelConnector/index.js:145-151 resolveMaster (get-master-addr-by-name, then SENTINEL sentinels)`,
2827
2827
  rung: "implemented"
2828
2828
  },
2829
2829
  {
2830
- ref: `${AT$10}/connectors/SentinelConnector/index.js:175-212 connectToSentinel and resolve (one connection for each question, no retry)`,
2830
+ ref: `${AT$11}/connectors/SentinelConnector/index.js:175-212 connectToSentinel and resolve (one connection for each question, no retry)`,
2831
2831
  rung: "implemented"
2832
2832
  },
2833
2833
  {
2834
- ref: `${AT$10}/connectors/SentinelConnector/index.js:27-39 check (the role of the ready check)`,
2834
+ ref: `${AT$11}/connectors/SentinelConnector/index.js:27-39 check (the role of the ready check)`,
2835
2835
  rung: "implemented"
2836
2836
  },
2837
2837
  {
2838
- ref: `${AT$10}/connectors/SentinelConnector/FailoverDetector.js:6-43 (+switch-master, only with failoverDetector)`,
2838
+ ref: `${AT$11}/connectors/SentinelConnector/FailoverDetector.js:6-43 (+switch-master, only with failoverDetector)`,
2839
2839
  rung: "implemented"
2840
2840
  },
2841
2841
  {
2842
- ref: `${AT$10}/redis/RedisOptions.js:9-57 (the defaults)`,
2842
+ ref: `${AT$11}/redis/RedisOptions.js:9-57 (the defaults)`,
2843
2843
  rung: "implemented"
2844
2844
  },
2845
2845
  {
2846
- ref: `${AT$10}/redis/event_handler.js:294-355 closeHandler (retryStrategy, then maxRetriesPerRequest flushes the queue)`,
2846
+ ref: `${AT$11}/redis/event_handler.js:294-355 closeHandler (retryStrategy, then maxRetriesPerRequest flushes the queue)`,
2847
2847
  rung: "implemented"
2848
2848
  },
2849
2849
  {
2850
- ref: `${AT$10}/redis/event_handler.js:364-449 readyHandler (retryAttempts back to 0, the resend, the offline queue)`,
2850
+ ref: `${AT$11}/redis/event_handler.js:364-449 readyHandler (retryAttempts back to 0, the resend, the offline queue)`,
2851
2851
  rung: "implemented"
2852
2852
  },
2853
2853
  {
2854
- ref: `${AT$10}/Redis.js:123-240 _connect (connectTimeout, keepAlive) and :379-405 sendCommand (the offline queue)`,
2854
+ ref: `${AT$11}/Redis.js:123-240 _connect (connectTimeout, keepAlive) and :379-405 sendCommand (the offline queue)`,
2855
2855
  rung: "implemented"
2856
2856
  },
2857
2857
  {
2858
- ref: `${AT$10}/Redis.js:599-605 handleReconnection (reconnectOnError: null, thus a READONLY error goes to the caller)`,
2858
+ ref: `${AT$11}/Redis.js:599-605 handleReconnection (reconnectOnError: null, thus a READONLY error goes to the caller)`,
2859
2859
  rung: "implemented"
2860
2860
  }
2861
2861
  ],
@@ -5015,7 +5015,7 @@ const IOREDIS_STATUS = machineSchema.parse(ioredis_status_default);
5015
5015
  const MANIFESTATIONS = z.record(z.string(), z.array(z.string())).parse(manifestations_default);
5016
5016
  //#endregion
5017
5017
  //#region src/mongo/mongod-replication.ts
5018
- const AT$9 = "mongodb r9.0.4 src/mongo/db/repl";
5018
+ const AT$10 = "mongodb r9.0.4 src/mongo/db/repl";
5019
5019
  /**
5020
5020
  * This document is the replication of mongod 9.0.4. It gives one member of a replica set, its view
5021
5021
  * of the primary, and the election that it can hold. The states are the states of the member. The
@@ -5046,95 +5046,95 @@ const MONGOD_REPL = machineSchema.parse({
5046
5046
  },
5047
5047
  sources: [
5048
5048
  {
5049
- ref: `${AT$9}/repl_set_config.idl:74-109 the settings: heartbeatIntervalMillis 2000, heartbeatTimeoutSecs 10, electionTimeoutMillis 10000, catchUpTimeoutMillis -1, catchUpTakeoverDelayMillis 30000`,
5049
+ ref: `${AT$10}/repl_set_config.idl:74-109 the settings: heartbeatIntervalMillis 2000, heartbeatTimeoutSecs 10, electionTimeoutMillis 10000, catchUpTimeoutMillis -1, catchUpTakeoverDelayMillis 30000`,
5050
5050
  rung: "implemented"
5051
5051
  },
5052
5052
  {
5053
- ref: `${AT$9}/repl_server_parameters.idl:320-328 replElectionTimeoutOffsetLimitFraction 0.15`,
5053
+ ref: `${AT$10}/repl_server_parameters.idl:320-328 replElectionTimeoutOffsetLimitFraction 0.15`,
5054
5054
  rung: "implemented"
5055
5055
  },
5056
5056
  {
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`,
5057
+ 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
5058
  rung: "implemented"
5059
5059
  },
5060
5060
  {
5061
- ref: `${AT$9}/topology_coordinator.h:62 kMaxHeartbeatRetries 2`,
5061
+ ref: `${AT$10}/topology_coordinator.h:62 kMaxHeartbeatRetries 2`,
5062
5062
  rung: "implemented"
5063
5063
  },
5064
5064
  {
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`,
5065
+ 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
5066
  rung: "implemented"
5067
5067
  },
5068
5068
  {
5069
- ref: `${AT$9}/data_replicator_external_state_impl.cpp:70-81 an oplog batch that names a primary postpones the election`,
5069
+ ref: `${AT$10}/data_replicator_external_state_impl.cpp:70-81 an oplog batch that names a primary postpones the election`,
5070
5070
  rung: "implemented"
5071
5071
  },
5072
5072
  {
5073
- ref: `${AT$9}/delayable_timeout_callback.cpp:149-172 the offset changes at most once in its own length`,
5073
+ ref: `${AT$10}/delayable_timeout_callback.cpp:149-172 the offset changes at most once in its own length`,
5074
5074
  rung: "implemented"
5075
5075
  },
5076
5076
  {
5077
- ref: `${AT$9}/topology_coordinator.cpp:1440-1457 and :1476-1489 the liveness check: a primary that cannot see a majority steps down`,
5077
+ ref: `${AT$10}/topology_coordinator.cpp:1440-1457 and :1476-1489 the liveness check: a primary that cannot see a majority steps down`,
5078
5078
  rung: "implemented"
5079
5079
  },
5080
5080
  {
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`,
5081
+ 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
5082
  rung: "implemented"
5083
5083
  },
5084
5084
  {
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`,
5085
+ 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
5086
  rung: "implemented"
5087
5087
  },
5088
5088
  {
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`,
5089
+ 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
5090
  rung: "implemented"
5091
5091
  },
5092
5092
  {
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`,
5093
+ 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
5094
  rung: "implemented"
5095
5095
  },
5096
5096
  {
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`,
5097
+ 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
5098
  rung: "implemented"
5099
5099
  },
5100
5100
  {
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`,
5101
+ 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
5102
  rung: "implemented"
5103
5103
  },
5104
5104
  {
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`,
5105
+ 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
5106
  rung: "implemented"
5107
5107
  },
5108
5108
  {
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`,
5109
+ 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
5110
  rung: "implemented"
5111
5111
  },
5112
5112
  {
5113
- ref: `${AT$9}/repl_set_commands.cpp:545-561 stepDownSecs 60 and secondaryCatchUpPeriodSecs 10`,
5113
+ ref: `${AT$10}/repl_set_commands.cpp:545-561 stepDownSecs 60 and secondaryCatchUpPeriodSecs 10`,
5114
5114
  rung: "implemented"
5115
5115
  },
5116
5116
  {
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`,
5117
+ 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
5118
  rung: "implemented"
5119
5119
  },
5120
5120
  {
5121
- ref: `${AT$9}/replication_coordinator_impl.cpp:1516 the reconfig of the term, :4598 and :4750 a new config starts each heartbeat again`,
5121
+ ref: `${AT$10}/replication_coordinator_impl.cpp:1516 the reconfig of the term, :4598 and :4750 a new config starts each heartbeat again`,
5122
5122
  rung: "implemented"
5123
5123
  },
5124
5124
  {
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`,
5125
+ 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
5126
  rung: "implemented"
5127
5127
  },
5128
5128
  {
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`,
5129
+ 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
5130
  rung: "implemented"
5131
5131
  },
5132
5132
  {
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`,
5133
+ 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
5134
  rung: "implemented"
5135
5135
  },
5136
5136
  {
5137
- ref: `${AT$9}/repl_server_parameters.idl:121-126 oplogRetriedFindMaxSeconds 2, :234-244 oplogFetcherSteadyStateMaxFetcherRestarts 1, :344-351 oplogNetworkTimeoutBufferSeconds 5`,
5137
+ ref: `${AT$10}/repl_server_parameters.idl:121-126 oplogRetriedFindMaxSeconds 2, :234-244 oplogFetcherSteadyStateMaxFetcherRestarts 1, :344-351 oplogNetworkTimeoutBufferSeconds 5`,
5138
5138
  rung: "implemented"
5139
5139
  },
5140
5140
  {
@@ -5142,19 +5142,19 @@ const MONGOD_REPL = machineSchema.parse({
5142
5142
  rung: "implemented"
5143
5143
  },
5144
5144
  {
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`,
5145
+ 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
5146
  rung: "implemented"
5147
5147
  },
5148
5148
  {
5149
- ref: `${AT$9}/replication_coordinator_impl.cpp:4947-4972 a member that loses its sync source starts each heartbeat again at once`,
5149
+ ref: `${AT$10}/replication_coordinator_impl.cpp:4947-4972 a member that loses its sync source starts each heartbeat again at once`,
5150
5150
  rung: "implemented"
5151
5151
  },
5152
5152
  {
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`,
5153
+ 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
5154
  rung: "implemented"
5155
5155
  },
5156
5156
  {
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`,
5157
+ 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
5158
  rung: "implemented"
5159
5159
  },
5160
5160
  {
@@ -5773,7 +5773,7 @@ const MONGOD_REPL = machineSchema.parse({
5773
5773
  });
5774
5774
  //#endregion
5775
5775
  //#region src/mongo/mongod-session.ts
5776
- const AT$8 = "mongodb r9.0.4 src/mongo";
5776
+ const AT$9 = "mongodb r9.0.4 src/mongo";
5777
5777
  /**
5778
5778
  * This document is the hold of mongod 9.0.4 on one client connection, over its socket. `mongod`
5779
5779
  * turns keepalive on for each TCP session. It lowers two keepalive options of the socket to a
@@ -5800,27 +5800,27 @@ const MONGOD_SESSION = machineSchema.parse({
5800
5800
  },
5801
5801
  sources: [
5802
5802
  {
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`,
5803
+ 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
5804
  rung: "implemented"
5805
5805
  },
5806
5806
  {
5807
- ref: `${AT$8}/util/net/socket_utils.h:15-16 kMaxKeepIdleSecs 300 and kMaxKeepIntvlSecs 1, :19-22 the defaults of setSocketKeepAliveParams`,
5807
+ ref: `${AT$9}/util/net/socket_utils.h:15-16 kMaxKeepIdleSecs 300 and kMaxKeepIntvlSecs 1, :19-22 the defaults of setSocketKeepAliveParams`,
5808
5808
  rung: "implemented"
5809
5809
  },
5810
5810
  {
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`,
5811
+ 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
5812
  rung: "implemented"
5813
5813
  },
5814
5814
  {
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`,
5815
+ 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
5816
  rung: "implemented"
5817
5817
  },
5818
5818
  {
5819
- ref: `${AT$8}/util/net/sock.cpp:135-142 the older socket path: SO_KEEPALIVE, then the same maximums, failures as errors`,
5819
+ ref: `${AT$9}/util/net/sock.cpp:135-142 the older socket path: SO_KEEPALIVE, then the same maximums, failures as errors`,
5820
5820
  rung: "implemented"
5821
5821
  },
5822
5822
  {
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`,
5823
+ 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
5824
  rung: "implemented"
5825
5825
  }
5826
5826
  ],
@@ -5982,7 +5982,7 @@ const MONGOD_SESSION = machineSchema.parse({
5982
5982
  });
5983
5983
  //#endregion
5984
5984
  //#region src/mongo/mongodb-node.ts
5985
- const AT$7 = "mongodb 7.7.0 src";
5985
+ const AT$8 = "mongodb 7.7.0 src";
5986
5986
  /**
5987
5987
  * This document is the MongoDB Node driver 7.7.0, for one server of a replica set. It gives one
5988
5988
  * connection of the driver by its role, and the timers that act on it. The roles are the monitor
@@ -6009,75 +6009,75 @@ const MONGODB_NODE = machineSchema.parse({
6009
6009
  },
6010
6010
  sources: [
6011
6011
  {
6012
- ref: `${AT$7}/connection_string.ts:804-807 connectTimeoutMS 30000, :850-853 heartbeatFrequencyMS 10000, :934-937 minHeartbeatFrequencyMS 500`,
6012
+ ref: `${AT$8}/connection_string.ts:804-807 connectTimeoutMS 30000, :850-853 heartbeatFrequencyMS 10000, :934-937 minHeartbeatFrequencyMS 500`,
6013
6013
  rung: "implemented"
6014
6014
  },
6015
6015
  {
6016
- ref: `${AT$7}/connection_string.ts:1100-1103 serverSelectionTimeoutMS 30000, :1107-1111 socketTimeoutMS 0, :1178-1182 waitQueueTimeoutMS 0`,
6016
+ ref: `${AT$8}/connection_string.ts:1100-1103 serverSelectionTimeoutMS 30000, :1107-1111 socketTimeoutMS 0, :1178-1182 waitQueueTimeoutMS 0`,
6017
6017
  rung: "implemented"
6018
6018
  },
6019
6019
  {
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`,
6020
+ 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
6021
  rung: "implemented"
6022
6022
  },
6023
6023
  {
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`,
6024
+ 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
6025
  rung: "implemented"
6026
6026
  },
6027
6027
  {
6028
- ref: `${AT$7}/cmap/connect.ts:117-120 the handshake reads with socketTimeoutMS = connectTimeoutMS`,
6028
+ ref: `${AT$8}/cmap/connect.ts:117-120 the handshake reads with socketTimeoutMS = connectTimeoutMS`,
6029
6029
  rung: "implemented"
6030
6030
  },
6031
6031
  {
6032
- ref: `${AT$7}/sdam/monitor.ts:245-259 the streaming protocol, :338-371 the awaitable hello: maxAwaitTimeMS = heartbeatFrequencyMS, socketTimeoutMS = connectTimeoutMS + maxAwaitTimeMS`,
6032
+ ref: `${AT$8}/sdam/monitor.ts:245-259 the streaming protocol, :338-371 the awaitable hello: maxAwaitTimeMS = heartbeatFrequencyMS, socketTimeoutMS = connectTimeoutMS + maxAwaitTimeMS`,
6033
6033
  rung: "implemented"
6034
6034
  },
6035
6035
  {
6036
- ref: `${AT$7}/sdam/monitor.ts:273-293 a failed heartbeat: ResetPool, and InterruptInUseConnections for a timeout`,
6036
+ ref: `${AT$8}/sdam/monitor.ts:273-293 a failed heartbeat: ResetPool, and InterruptInUseConnections for a timeout`,
6037
6037
  rung: "implemented"
6038
6038
  },
6039
6039
  {
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`,
6040
+ 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
6041
  rung: "implemented"
6042
6042
  },
6043
6043
  {
6044
- ref: `${AT$7}/sdam/monitor.ts:490-565 the RTT pinger: its own connection, a hello each heartbeatFrequencyMS, no socket timeout`,
6044
+ ref: `${AT$8}/sdam/monitor.ts:490-565 the RTT pinger: its own connection, a hello each heartbeatFrequencyMS, no socket timeout`,
6045
6045
  rung: "implemented"
6046
6046
  },
6047
6047
  {
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`,
6048
+ 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
6049
  rung: "implemented"
6050
6050
  },
6051
6051
  {
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`,
6052
+ 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
6053
  rung: "implemented"
6054
6054
  },
6055
6055
  {
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`,
6056
+ 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
6057
  rung: "implemented"
6058
6058
  },
6059
6059
  {
6060
- ref: `${AT$7}/sdam/topology_description.ts:458-467 a primary that another primary replaces is Unknown, and nothing clears its pool`,
6060
+ ref: `${AT$8}/sdam/topology_description.ts:458-467 a primary that another primary replaces is Unknown, and nothing clears its pool`,
6061
6061
  rung: "implemented"
6062
6062
  },
6063
6063
  {
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`,
6064
+ 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
6065
  rung: "implemented"
6066
6066
  },
6067
6067
  {
6068
- ref: `${AT$7}/cmap/errors.ts:37-84 PoolClearedError and PoolClearedOnNetworkError, with the label PoolRequestedRetry`,
6068
+ ref: `${AT$8}/cmap/errors.ts:37-84 PoolClearedError and PoolClearedOnNetworkError, with the label PoolRequestedRetry`,
6069
6069
  rung: "implemented"
6070
6070
  },
6071
6071
  {
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`,
6072
+ 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
6073
  rung: "implemented"
6074
6074
  },
6075
6075
  {
6076
- ref: `${AT$7}/error.ts:1377-1394 the retryable codes, :1431-1436 isRetryableWriteError: RetryableWriteError or PoolRequestedRetry`,
6076
+ ref: `${AT$8}/error.ts:1377-1394 the retryable codes, :1431-1436 isRetryableWriteError: RetryableWriteError or PoolRequestedRetry`,
6077
6077
  rung: "implemented"
6078
6078
  },
6079
6079
  {
6080
- ref: `${AT$7}/timeout.ts:362-372 the legacy timeout context: the selection timeout, and no check-out timeout at waitQueueTimeoutMS 0`,
6080
+ ref: `${AT$8}/timeout.ts:362-372 the legacy timeout context: the selection timeout, and no check-out timeout at waitQueueTimeoutMS 0`,
6081
6081
  rung: "implemented"
6082
6082
  },
6083
6083
  {
@@ -7757,7 +7757,7 @@ const HIKARICP_PGJDBC = machineSchema.parse({
7757
7757
  });
7758
7758
  //#endregion
7759
7759
  //#region src/pg/node-postgres.ts
7760
- const AT$6 = "pg 8.23.1 lib";
7760
+ const AT$7 = "pg 8.23.1 lib";
7761
7761
  const POOL = "pg-pool 3.14.0";
7762
7762
  /**
7763
7763
  * This document is node-postgres 8.23.1 (the npm package pg) with pg-pool 3.14.0, for one client
@@ -7799,75 +7799,75 @@ const NODE_POSTGRES = machineSchema.parse({
7799
7799
  rung: "implemented"
7800
7800
  },
7801
7801
  {
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`,
7802
+ 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
7803
  rung: "implemented"
7804
7804
  },
7805
7805
  {
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`,
7806
+ 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
7807
  rung: "implemented"
7808
7808
  },
7809
7809
  {
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`,
7810
+ 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
7811
  rung: "documented"
7812
7812
  },
7813
7813
  {
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`,
7814
+ 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
7815
  rung: "implemented"
7816
7816
  },
7817
7817
  {
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`,
7818
+ 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
7819
  rung: "implemented"
7820
7820
  },
7821
7821
  {
7822
- ref: `${AT$6}/stream.js:20-24 and :78-83 outside Cloudflare Workers, the socket is a new net.Socket with no option`,
7822
+ ref: `${AT$7}/stream.js:20-24 and :78-83 outside Cloudflare Workers, the socket is a new net.Socket with no option`,
7823
7823
  rung: "implemented"
7824
7824
  },
7825
7825
  {
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`,
7826
+ 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
7827
  rung: "implemented"
7828
7828
  },
7829
7829
  {
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`,
7830
+ 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
7831
  rung: "implemented"
7832
7832
  },
7833
7833
  {
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`,
7834
+ 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
7835
  rung: "implemented"
7836
7836
  },
7837
7837
  {
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`,
7838
+ 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
7839
  rung: "implemented"
7840
7840
  },
7841
7841
  {
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`,
7842
+ 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
7843
  rung: "implemented"
7844
7844
  },
7845
7845
  {
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`,
7846
+ 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
7847
  rung: "implemented"
7848
7848
  },
7849
7849
  {
7850
- ref: `${AT$6}/client.js:133-151 _errorAllQueries: each query of the client fails with the same error, on the next tick`,
7850
+ ref: `${AT$7}/client.js:133-151 _errorAllQueries: each query of the client fails with the same error, on the next tick`,
7851
7851
  rung: "implemented"
7852
7852
  },
7853
7853
  {
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`,
7854
+ 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
7855
  rung: "implemented"
7856
7856
  },
7857
7857
  {
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`,
7858
+ 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
7859
  rung: "implemented"
7860
7860
  },
7861
7861
  {
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`,
7862
+ 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
7863
  rung: "implemented"
7864
7864
  },
7865
7865
  {
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`,
7866
+ 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
7867
  rung: "implemented"
7868
7868
  },
7869
7869
  {
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`,
7870
+ 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
7871
  rung: "implemented"
7872
7872
  },
7873
7873
  {
@@ -10263,7 +10263,7 @@ const PGPOOL_SESSION = machineSchema.parse({
10263
10263
  });
10264
10264
  //#endregion
10265
10265
  //#region src/pg/postgres-session.ts
10266
- const AT$5 = "postgresql REL_17_11 src";
10266
+ const AT$6 = "postgresql REL_17_11 src";
10267
10267
  const DOC = "postgresql REL_17_11 doc/src/sgml";
10268
10268
  /**
10269
10269
  * This document is the hold of a PostgreSQL 17.11 backend on one client connection, over its TCP
@@ -10303,163 +10303,163 @@ const POSTGRES_SESSION = machineSchema.parse({
10303
10303
  rung: "implemented"
10304
10304
  },
10305
10305
  {
10306
- ref: `${AT$5}/backend/tcop/backend_startup.c:157-161 BackendInitialize calls pq_init in the backend, before the startup packet`,
10306
+ ref: `${AT$6}/backend/tcop/backend_startup.c:157-161 BackendInitialize calls pq_init in the backend, before the startup packet`,
10307
10307
  rung: "implemented"
10308
10308
  },
10309
10309
  {
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`,
10310
+ 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
10311
  rung: "implemented"
10312
10312
  },
10313
10313
  {
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`,
10314
+ 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
10315
  rung: "implemented"
10316
10316
  },
10317
10317
  {
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`,
10318
+ 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
10319
  rung: "implemented"
10320
10320
  },
10321
10321
  {
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`,
10322
+ 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
10323
  rung: "implemented"
10324
10324
  },
10325
10325
  {
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`,
10326
+ 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
10327
  rung: "implemented"
10328
10328
  },
10329
10329
  {
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`,
10330
+ 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
10331
  rung: "implemented"
10332
10332
  },
10333
10333
  {
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`,
10334
+ 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
10335
  rung: "implemented"
10336
10336
  },
10337
10337
  {
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`,
10338
+ 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
10339
  rung: "implemented"
10340
10340
  },
10341
10341
  {
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`,
10342
+ 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
10343
  rung: "implemented"
10344
10344
  },
10345
10345
  {
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`,
10346
+ 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
10347
  rung: "implemented"
10348
10348
  },
10349
10349
  {
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`,
10350
+ 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
10351
  rung: "implemented"
10352
10352
  },
10353
10353
  {
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"`,
10354
+ 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
10355
  rung: "implemented"
10356
10356
  },
10357
10357
  {
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`,
10358
+ 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
10359
  rung: "implemented"
10360
10360
  },
10361
10361
  {
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"`,
10362
+ 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
10363
  rung: "implemented"
10364
10364
  },
10365
10365
  {
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"`,
10366
+ 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
10367
  rung: "implemented"
10368
10368
  },
10369
10369
  {
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`,
10370
+ 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
10371
  rung: "implemented"
10372
10372
  },
10373
10373
  {
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`,
10374
+ 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
10375
  rung: "implemented"
10376
10376
  },
10377
10377
  {
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`,
10378
+ 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
10379
  rung: "implemented"
10380
10380
  },
10381
10381
  {
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`,
10382
+ 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
10383
  rung: "implemented"
10384
10384
  },
10385
10385
  {
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`,
10386
+ 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
10387
  rung: "implemented"
10388
10388
  },
10389
10389
  {
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`,
10390
+ 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
10391
  rung: "implemented"
10392
10392
  },
10393
10393
  {
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`,
10394
+ 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
10395
  rung: "implemented"
10396
10396
  },
10397
10397
  {
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`,
10398
+ 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
10399
  rung: "implemented"
10400
10400
  },
10401
10401
  {
10402
- ref: `${AT$5}/backend/libpq/pqcomm.c:2049-2084 pq_check_connection: a wait of 0 ms for WL_SOCKET_CLOSED`,
10402
+ ref: `${AT$6}/backend/libpq/pqcomm.c:2049-2084 pq_check_connection: a wait of 0 ms for WL_SOCKET_CLOSED`,
10403
10403
  rung: "implemented"
10404
10404
  },
10405
10405
  {
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`,
10406
+ 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
10407
  rung: "implemented"
10408
10408
  },
10409
10409
  {
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`,
10410
+ 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
10411
  rung: "implemented"
10412
10412
  },
10413
10413
  {
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`,
10414
+ 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
10415
  rung: "implemented"
10416
10416
  },
10417
10417
  {
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"`,
10418
+ 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
10419
  rung: "implemented"
10420
10420
  },
10421
10421
  {
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)`,
10422
+ 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
10423
  rung: "implemented"
10424
10424
  },
10425
10425
  {
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`,
10426
+ 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
10427
  rung: "implemented"
10428
10428
  },
10429
10429
  {
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`,
10430
+ 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
10431
  rung: "implemented"
10432
10432
  },
10433
10433
  {
10434
- ref: `${AT$5}/backend/tcop/postgres.c:4310-4316 the backend ignores SIGPIPE`,
10434
+ ref: `${AT$6}/backend/tcop/postgres.c:4310-4316 the backend ignores SIGPIPE`,
10435
10435
  rung: "implemented"
10436
10436
  },
10437
10437
  {
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`,
10438
+ 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
10439
  rung: "implemented"
10440
10440
  },
10441
10441
  {
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)`,
10442
+ 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
10443
  rung: "implemented"
10444
10444
  },
10445
10445
  {
10446
- ref: `${AT$5}/backend/libpq/pqcomm.c:347-392 socket_close keeps the socket open until the process exits`,
10446
+ ref: `${AT$6}/backend/libpq/pqcomm.c:347-392 socket_close keeps the socket open until the process exits`,
10447
10447
  rung: "implemented"
10448
10448
  },
10449
10449
  {
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`,
10450
+ 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
10451
  rung: "implemented"
10452
10452
  },
10453
10453
  {
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)`,
10454
+ 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
10455
  rung: "implemented"
10456
10456
  },
10457
10457
  {
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`,
10458
+ 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
10459
  rung: "implemented"
10460
10460
  },
10461
10461
  {
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`,
10462
+ 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
10463
  rung: "implemented"
10464
10464
  },
10465
10465
  {
@@ -12488,7 +12488,7 @@ const PROCEDURES_WS_SERVER = machineSchema.parse({
12488
12488
  });
12489
12489
  //#endregion
12490
12490
  //#region src/proxy/caddy.ts
12491
- const AT$4 = "caddy v2.11.7";
12491
+ const AT$5 = "caddy v2.11.7";
12492
12492
  const XNET = "x/net v0.59.0";
12493
12493
  /**
12494
12494
  * This document is Caddy 2.11.7 as an HTTP/2 proxy of gRPC, for one connection of a client. Its
@@ -12514,11 +12514,11 @@ const CADDY_HTTP2 = machineSchema.parse({
12514
12514
  },
12515
12515
  sources: [
12516
12516
  {
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`,
12517
+ 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
12518
  rung: "implemented"
12519
12519
  },
12520
12520
  {
12521
- ref: `${AT$4} modules/caddyhttp/app.go:520-533 the protocol h2c: http2.ConfigureServer with a zero http2.Server of ${XNET}`,
12521
+ ref: `${AT$5} modules/caddyhttp/app.go:520-533 the protocol h2c: http2.ConfigureServer with a zero http2.Server of ${XNET}`,
12522
12522
  rung: "implemented"
12523
12523
  },
12524
12524
  {
@@ -12538,15 +12538,15 @@ const CADDY_HTTP2 = machineSchema.parse({
12538
12538
  rung: "implemented"
12539
12539
  },
12540
12540
  {
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`,
12541
+ 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
12542
  rung: "implemented"
12543
12543
  },
12544
12544
  {
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`,
12545
+ 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
12546
  rung: "implemented"
12547
12547
  },
12548
12548
  {
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`,
12549
+ 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
12550
  rung: "implemented"
12551
12551
  },
12552
12552
  {
@@ -12554,11 +12554,11 @@ const CADDY_HTTP2 = machineSchema.parse({
12554
12554
  rung: "implemented"
12555
12555
  },
12556
12556
  {
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`,
12557
+ 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
12558
  rung: "implemented"
12559
12559
  },
12560
12560
  {
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`,
12561
+ 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
12562
  rung: "implemented"
12563
12563
  }
12564
12564
  ],
@@ -12849,7 +12849,7 @@ const CADDY_HTTP2 = machineSchema.parse({
12849
12849
  });
12850
12850
  //#endregion
12851
12851
  //#region src/proxy/envoy.ts
12852
- const AT$3 = "envoy v1.39.4";
12852
+ const AT$4 = "envoy v1.39.4";
12853
12853
  /**
12854
12854
  * This document is Envoy 1.39.4 as an HTTP/2 proxy of gRPC, for one connection of a client. Its static
12855
12855
  * configuration is the one of the harness. It has one listener with the HTTP connection manager, one
@@ -12874,67 +12874,67 @@ const ENVOY_HTTP2 = machineSchema.parse({
12874
12874
  },
12875
12875
  sources: [
12876
12876
  {
12877
- ref: `${AT$3} source/common/runtime/runtime_features.cc:274-276 the codec of HTTP/2 is nghttp2: http2_use_oghttp2 is false`,
12877
+ ref: `${AT$4} source/common/runtime/runtime_features.cc:274-276 the codec of HTTP/2 is nghttp2: http2_use_oghttp2 is false`,
12878
12878
  rung: "implemented"
12879
12879
  },
12880
12880
  {
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`,
12881
+ 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
12882
  rung: "implemented"
12883
12883
  },
12884
12884
  {
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`,
12885
+ 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
12886
  rung: "implemented"
12887
12887
  },
12888
12888
  {
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`,
12889
+ 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
12890
  rung: "implemented"
12891
12891
  },
12892
12892
  {
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`,
12893
+ 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
12894
  rung: "implemented"
12895
12895
  },
12896
12896
  {
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)`,
12897
+ 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
12898
  rung: "implemented"
12899
12899
  },
12900
12900
  {
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`,
12901
+ 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
12902
  rung: "implemented"
12903
12903
  },
12904
12904
  {
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"`,
12905
+ 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
12906
  rung: "implemented"
12907
12907
  },
12908
12908
  {
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`,
12909
+ 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
12910
  rung: "implemented"
12911
12911
  },
12912
12912
  {
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`,
12913
+ 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
12914
  rung: "implemented"
12915
12915
  },
12916
12916
  {
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`,
12917
+ 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
12918
  rung: "implemented"
12919
12919
  },
12920
12920
  {
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`,
12921
+ 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
12922
  rung: "implemented"
12923
12923
  },
12924
12924
  {
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`,
12925
+ 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
12926
  rung: "implemented"
12927
12927
  },
12928
12928
  {
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`,
12929
+ 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
12930
  rung: "implemented"
12931
12931
  },
12932
12932
  {
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`,
12933
+ 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
12934
  rung: "implemented"
12935
12935
  },
12936
12936
  {
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`,
12937
+ 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
12938
  rung: "implemented"
12939
12939
  }
12940
12940
  ],
@@ -13295,7 +13295,7 @@ const ENVOY_HTTP2 = machineSchema.parse({
13295
13295
  });
13296
13296
  //#endregion
13297
13297
  //#region src/proxy/nginx.ts
13298
- const AT$2 = "nginx release-1.29.6";
13298
+ const AT$3 = "nginx release-1.29.6";
13299
13299
  const V2 = "src/http/v2/ngx_http_v2.c";
13300
13300
  const UP = "src/http/ngx_http_upstream.c";
13301
13301
  /**
@@ -13330,47 +13330,47 @@ const NGINX_GRPC = machineSchema.parse({
13330
13330
  },
13331
13331
  sources: [
13332
13332
  {
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`,
13333
+ 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
13334
  rung: "implemented"
13335
13335
  },
13336
13336
  {
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`,
13337
+ 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
13338
  rung: "implemented"
13339
13339
  },
13340
13340
  {
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`,
13341
+ 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
13342
  rung: "implemented"
13343
13343
  },
13344
13344
  {
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`,
13345
+ 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
13346
  rung: "implemented"
13347
13347
  },
13348
13348
  {
13349
- ref: `${AT$2} ${V2}:2325-2336 a PING of the client gets its ACK, and no timer moves`,
13349
+ ref: `${AT$3} ${V2}:2325-2336 a PING of the client gets its ACK, and no timer moves`,
13350
13350
  rung: "implemented"
13351
13351
  },
13352
13352
  {
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`,
13353
+ 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
13354
  rung: "implemented"
13355
13355
  },
13356
13356
  {
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`,
13357
+ 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
13358
  rung: "implemented"
13359
13359
  },
13360
13360
  {
13361
- ref: `${AT$2} ${UP}:3912-3915 and ${V2}:4521-4531 a read timeout after the headers: RST_STREAM INTERNAL_ERROR`,
13361
+ ref: `${AT$3} ${UP}:3912-3915 and ${V2}:4521-4531 a read timeout after the headers: RST_STREAM INTERNAL_ERROR`,
13362
13362
  rung: "implemented"
13363
13363
  },
13364
13364
  {
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`,
13365
+ 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
13366
  rung: "implemented"
13367
13367
  },
13368
13368
  {
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`,
13369
+ 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
13370
  rung: "implemented"
13371
13371
  },
13372
13372
  {
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`,
13373
+ 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
13374
  rung: "implemented"
13375
13375
  },
13376
13376
  {
@@ -13378,7 +13378,7 @@ const NGINX_GRPC = machineSchema.parse({
13378
13378
  rung: "documented"
13379
13379
  },
13380
13380
  {
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`,
13381
+ 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
13382
  rung: "implemented"
13383
13383
  }
13384
13384
  ],
@@ -13682,6 +13682,360 @@ const NGINX_GRPC = machineSchema.parse({
13682
13682
  }
13683
13683
  });
13684
13684
  //#endregion
13685
+ //#region src/proxy/traefik.ts
13686
+ const AT$2 = "traefik v3.7.15";
13687
+ const H2 = "go1.26.9 src/net/http/h2_bundle.go";
13688
+ /**
13689
+ * This document is Traefik 3.7.15 as an HTTP/2 proxy of gRPC, for one connection of a client. Its
13690
+ * configuration is the one of the harness. It has one entrypoint of h2c and the file provider over a
13691
+ * folder of dynamic files, with one router to one server of h2c. Each other option is at its default.
13692
+ *
13693
+ * - With no stream open for 180 s (respondingTimeouts.idleTimeout), Go sends GOAWAY NO_ERROR, and it
13694
+ * closes the connection 1 s later. The timer counts from the close of the last stream.
13695
+ * - A reload of the dynamic file only swaps the handler of each entrypoint. Thus a reload sends nothing
13696
+ * to the client: no GOAWAY, no reset and no close. A stream that runs keeps its handler, and a new
13697
+ * stream gets the new one. A transport whose configuration is the same is kept, with its upstream
13698
+ * connection.
13699
+ * - The file provider watches the file and its folder. The first message goes at once, and a change
13700
+ * within the throttle of 2 s waits for its end. A rewrite with the same content changes nothing.
13701
+ * - At SIGTERM, Traefik sends GOAWAY, and it closes each connection after graceTimeOut (10 s).
13702
+ */
13703
+ const TRAEFIK_HTTP2 = machineSchema.parse({
13704
+ format: "mark1russell7.machine/1",
13705
+ id: "traefik-http2",
13706
+ 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",
13707
+ layer: "proxy",
13708
+ version: "3.7.15",
13709
+ conditions: {
13710
+ traefik: "v3.7.15",
13711
+ go: "1.26 (go1.26.9 assumed)",
13712
+ 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"
13713
+ },
13714
+ sources: [
13715
+ {
13716
+ 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`,
13717
+ rung: "implemented"
13718
+ },
13719
+ {
13720
+ 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`,
13721
+ rung: "implemented"
13722
+ },
13723
+ {
13724
+ 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`,
13725
+ rung: "implemented"
13726
+ },
13727
+ {
13728
+ 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)`,
13729
+ rung: "implemented"
13730
+ },
13731
+ {
13732
+ 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`,
13733
+ rung: "implemented"
13734
+ },
13735
+ {
13736
+ ref: `${AT$2} pkg/server/configurationwatcher.go:136-140, :182-184 a configuration equal to the last one is dropped`,
13737
+ rung: "implemented"
13738
+ },
13739
+ {
13740
+ 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`,
13741
+ rung: "implemented"
13742
+ },
13743
+ {
13744
+ 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`,
13745
+ rung: "implemented"
13746
+ },
13747
+ {
13748
+ ref: `${AT$2} pkg/server/service/service.go:484-485 the debug line "Creating server" when the routers are built for a configuration`,
13749
+ rung: "implemented"
13750
+ },
13751
+ {
13752
+ 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)`,
13753
+ rung: "implemented"
13754
+ },
13755
+ {
13756
+ 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",
13757
+ rung: "observed",
13758
+ note: "Thus the lateness is in the process of Traefik, not in the reload. The source does not give its cause"
13759
+ }
13760
+ ],
13761
+ states: {
13762
+ "[none]": {
13763
+ initial: true,
13764
+ pseudo: true,
13765
+ note: "Before the accept of the connection of the client"
13766
+ },
13767
+ idle: { note: "The connection of the client, with no stream open. The idle timer runs" },
13768
+ active: { note: "A stream of the client is open: its request goes to the upstream" },
13769
+ closing: { note: "After a GOAWAY with no stream open, until the close goAwayTimeout later" },
13770
+ draining: { note: "After the GOAWAY of a stop, while a stream is open, until graceTimeOut" },
13771
+ ended: {
13772
+ final: true,
13773
+ note: "The connection of the client closed"
13774
+ }
13775
+ },
13776
+ events: {
13777
+ "local.accept": {
13778
+ kind: "local",
13779
+ note: "The entrypoint accepts the connection of the client"
13780
+ },
13781
+ "rx.headers": {
13782
+ kind: "rx",
13783
+ note: "The headers of a new stream of the client: a call. It reads the handler of the entrypoint"
13784
+ },
13785
+ "upstream.end": {
13786
+ kind: "local",
13787
+ note: "The response of the upstream ends: the last stream closes"
13788
+ },
13789
+ "local.reload": {
13790
+ kind: "local",
13791
+ note: "The file provider sends a changed dynamic configuration, and the routers are built again"
13792
+ },
13793
+ "timer.idle": {
13794
+ kind: "timer",
13795
+ note: "No stream open for idleTimeout"
13796
+ },
13797
+ "timer.goaway": {
13798
+ kind: "timer",
13799
+ note: "goAwayTimeout after the GOAWAY, with no stream open"
13800
+ },
13801
+ "timer.grace": {
13802
+ kind: "timer",
13803
+ note: "graceTimeOut after the GOAWAY of a stop"
13804
+ },
13805
+ "app.stop": {
13806
+ kind: "app",
13807
+ note: "SIGTERM or SIGINT to the process of Traefik"
13808
+ },
13809
+ "peer.fin": {
13810
+ kind: "peer",
13811
+ note: "The client ends the connection"
13812
+ },
13813
+ "peer.rst": {
13814
+ kind: "peer",
13815
+ note: "A reset of the connection of the client"
13816
+ },
13817
+ "tx.goaway": {
13818
+ kind: "tx",
13819
+ note: "A GOAWAY NO_ERROR to the client"
13820
+ },
13821
+ "tx.fin": {
13822
+ kind: "tx",
13823
+ note: "The close of the connection of the client: a FIN"
13824
+ }
13825
+ },
13826
+ knobs: {
13827
+ idle_timeout: {
13828
+ key: "entryPoints.<name>.transport.respondingTimeouts.idleTimeout",
13829
+ scope: "server",
13830
+ unit: "s",
13831
+ default: 180,
13832
+ note: "static_config.go:47-48, :208-211"
13833
+ },
13834
+ read_timeout: {
13835
+ key: "entryPoints.<name>.transport.respondingTimeouts.readTimeout",
13836
+ scope: "server",
13837
+ unit: "s",
13838
+ default: 60,
13839
+ note: "A timer for each stream on the body of its request"
13840
+ },
13841
+ goaway_timeout: {
13842
+ key: "goAwayTimeout of the HTTP/2 server of Go",
13843
+ scope: "server",
13844
+ unit: "s",
13845
+ default: 1,
13846
+ note: "h2_bundle.go: a constant of 1 s"
13847
+ },
13848
+ grace_timeout: {
13849
+ key: "entryPoints.<name>.transport.lifeCycle.graceTimeOut",
13850
+ scope: "server",
13851
+ unit: "s",
13852
+ default: 10,
13853
+ note: "static_config.go:43-45"
13854
+ },
13855
+ throttle: {
13856
+ key: "providers.providersThrottleDuration",
13857
+ scope: "process",
13858
+ unit: "s",
13859
+ default: 2,
13860
+ note: "cmd/configuration.go:26-28"
13861
+ },
13862
+ upstream_idle_timeout: {
13863
+ key: "serversTransport.idleConnTimeout",
13864
+ scope: "server",
13865
+ unit: "s",
13866
+ default: 90,
13867
+ note: "transport.go:312"
13868
+ },
13869
+ slack: {
13870
+ key: "the lateness of one step of the process of Traefik",
13871
+ scope: "process",
13872
+ unit: "s",
13873
+ default: .1,
13874
+ 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"
13875
+ }
13876
+ },
13877
+ timers: {
13878
+ idle: {
13879
+ duration: {
13880
+ knob: "idle_timeout",
13881
+ unit: "s"
13882
+ },
13883
+ lateness: {
13884
+ knob: "slack",
13885
+ unit: "s"
13886
+ },
13887
+ arms: ["enter:idle"],
13888
+ cancels: ["rx.headers"],
13889
+ fires: "timer.idle",
13890
+ note: "h2_bundle.go:5809-5813: from the close of the last stream. A reload does not arm it again"
13891
+ },
13892
+ goaway: {
13893
+ duration: {
13894
+ knob: "goaway_timeout",
13895
+ unit: "s"
13896
+ },
13897
+ lateness: {
13898
+ knob: "slack",
13899
+ unit: "s"
13900
+ },
13901
+ arms: ["tx.goaway"],
13902
+ fires: "timer.goaway",
13903
+ note: "h2_bundle.go:5112-5120: the close after the GOAWAY, when no stream is open"
13904
+ },
13905
+ grace: {
13906
+ duration: {
13907
+ knob: "grace_timeout",
13908
+ unit: "s"
13909
+ },
13910
+ lateness: {
13911
+ knob: "slack",
13912
+ unit: "s"
13913
+ },
13914
+ arms: ["app.stop"],
13915
+ fires: "timer.grace",
13916
+ note: "server_entrypoint_tcp.go:327-351: Close after graceTimeOut"
13917
+ }
13918
+ },
13919
+ transitions: [
13920
+ {
13921
+ id: "tf.accept",
13922
+ from: "[none]",
13923
+ to: "idle",
13924
+ on: "local.accept",
13925
+ timer: "idle",
13926
+ source: "server_entrypoint_tcp.go:184-234"
13927
+ },
13928
+ {
13929
+ id: "tf.stream",
13930
+ from: "idle",
13931
+ to: "active",
13932
+ on: "rx.headers",
13933
+ source: "h2_bundle.go:6120-6122"
13934
+ },
13935
+ {
13936
+ id: "tf.replied",
13937
+ from: "active",
13938
+ to: "idle",
13939
+ on: "upstream.end",
13940
+ timer: "idle",
13941
+ source: "h2_bundle.go:5809-5813"
13942
+ },
13943
+ {
13944
+ id: "tf.reload-idle",
13945
+ from: "idle",
13946
+ to: "idle",
13947
+ on: "local.reload",
13948
+ note: "A swap of the handler: nothing to the client, and the idle timer goes on",
13949
+ source: "server_entrypoint_tcp.go:382-407"
13950
+ },
13951
+ {
13952
+ id: "tf.reload-active",
13953
+ from: "active",
13954
+ to: "active",
13955
+ on: "local.reload",
13956
+ note: "The stream keeps the handler that it started with",
13957
+ source: "handler_switcher.go:21-24"
13958
+ },
13959
+ {
13960
+ id: "tf.idle",
13961
+ from: "idle",
13962
+ to: "closing",
13963
+ on: "timer.idle",
13964
+ timer: "idle",
13965
+ emits: ["tx.goaway"],
13966
+ note: "GOAWAY NO_ERROR, with the highest stream of the client",
13967
+ source: "h2_bundle.go:5081-5083"
13968
+ },
13969
+ {
13970
+ id: "tf.closed",
13971
+ from: "closing",
13972
+ to: "ended",
13973
+ on: "timer.goaway",
13974
+ timer: "goaway",
13975
+ emits: ["tx.fin"],
13976
+ source: "h2_bundle.go:5112-5120"
13977
+ },
13978
+ {
13979
+ id: "tf.stop-idle",
13980
+ from: "idle",
13981
+ to: "closing",
13982
+ on: "app.stop",
13983
+ emits: ["tx.goaway"],
13984
+ source: "server_entrypoint_tcp.go:316-380"
13985
+ },
13986
+ {
13987
+ id: "tf.stop-active",
13988
+ from: "active",
13989
+ to: "draining",
13990
+ on: "app.stop",
13991
+ timer: "grace",
13992
+ emits: ["tx.goaway"],
13993
+ source: "server_entrypoint_tcp.go:316-380"
13994
+ },
13995
+ {
13996
+ id: "tf.drained",
13997
+ from: "draining",
13998
+ to: "closing",
13999
+ on: "upstream.end",
14000
+ timer: "goaway",
14001
+ source: "h2_bundle.go:5112-5120"
14002
+ },
14003
+ {
14004
+ id: "tf.grace",
14005
+ from: "draining",
14006
+ to: "ended",
14007
+ on: "timer.grace",
14008
+ timer: "grace",
14009
+ emits: ["tx.fin"],
14010
+ source: "server_entrypoint_tcp.go:327-351"
14011
+ },
14012
+ {
14013
+ id: "tf.client-end",
14014
+ from: [
14015
+ "idle",
14016
+ "active",
14017
+ "closing",
14018
+ "draining"
14019
+ ],
14020
+ to: "ended",
14021
+ on: ["peer.fin", "peer.rst"],
14022
+ source: "h2_bundle.go"
14023
+ }
14024
+ ],
14025
+ over: {
14026
+ machine: "systems.machine.linux-tcp",
14027
+ states: {
14028
+ idle: "ESTABLISHED",
14029
+ active: "ESTABLISHED",
14030
+ closing: "ESTABLISHED",
14031
+ draining: "ESTABLISHED"
14032
+ },
14033
+ sets: {},
14034
+ ends: "peer.rst",
14035
+ 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"
14036
+ }
14037
+ });
14038
+ //#endregion
13685
14039
  //#region src/proxy/tcp-proxies.ts
13686
14040
  const TOXI = "toxiproxy v2.12.0";
13687
14041
  const MOBY = "moby docker-v29.1.5";
@@ -16122,9 +16476,10 @@ const MACHINES = byId([
16122
16476
  DOCKER_PROXY_LINK,
16123
16477
  ENVOY_HTTP2,
16124
16478
  CADDY_HTTP2,
16125
- NGINX_GRPC
16479
+ NGINX_GRPC,
16480
+ TRAEFIK_HTTP2
16126
16481
  ]);
16127
16482
  //#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 };
16483
+ 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
16484
 
16130
16485
  //# sourceMappingURL=index.js.map