ax25sdl 0.1.0

package/dist/ax25sdl/connected.g.js

@@ -0,0 +1,1456 @@
+// Code generated by tools/Packet.Sdl.CodeGen from spec-sdl/data-link/connected.sdl.yaml.
+// DO NOT EDIT. Run `dotnet run --project tools/Packet.Sdl.CodeGen` to regenerate.
+/**
+ * SDL transitions for the Connected state of the data_link machine.
+ * Source: ax.25.2.2.4_Oct_25, figure figc4.4.
+ */
+export const DataLinkConnected = {
+    machine: "data_link",
+    state: "Connected",
+    source: { spec: "ax.25.2.2.4_Oct_25", figure: "figc4.4", url: "https://raw.githubusercontent.com/packethacking/ax25spec/main/doc/media/figc4.4a.png" },
+    transitions: [
+        {
+            id: "t01_dl_disconnect_request",
+            from: "Connected",
+            on: "DL_DISCONNECT_request",
+            guard: "",
+            actions: [
+                { verb: "discard_I_frame_queue", kind: "processing" },
+                { verb: "RC := 0", kind: "processing" },
+                { verb: "DISC (P = 1)", kind: "signal_lower" },
+                { verb: "stop_T3", kind: "processing" },
+                { verb: "start_T1", kind: "processing" },
+            ],
+            next: "AwaitingRelease",
+            notes: "Upper layer requests disconnect. Tear down: discard pending I\nframes, reset retry counter, send DISC with P=1, swap timers\n(stop T3, start T1 for the DISC ack wait), → AwaitingRelease.\n",
+            references: [
+                { source: "spec_prose", cite: "§6.3.4 ¶1", quote: "While in the information-transfer state, either TNC may indicate a request to disconnect the link by transmitting a DISC command frame and starting timer T1.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L4Code.c", function: "CLOSECURRENTSESSION", line: 1086, note: "sets DISCPENDING if TX_Q non-empty; immediate state 4 + T1=1 otherwise — figure says always discard + DISC(P=1)" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "dl_disconnect_request", line: 1170, note: "state_3/state_4 fall-through: discard queue, DISC cmd P=1, STOP_T3 / START_T1, → state_2" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::disconnect", line: 1472, note: "fused Connected+TimerRecovery; clears iframe queue, rc=0, sends DISC, → AwaitingRelease. Author TODO flag on timer choice." },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/af_ax25.c", function: "ax25_release", line: 1031, note: "STATE_3/STATE_4 branch — Linux collapses Connected and TimerRecovery into one DISC path" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t02_i_received_not_command",
+            from: "Connected",
+            on: "I_received",
+            guard: "not command",
+            actions: [
+                { verb: "DL_ERROR_indication_O", kind: "signal_upper" },
+                { verb: "discard_I_frame", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "I frame received as a response rather than a command — protocol\nerror. DL-ERROR(O), discard, stay.\n",
+            references: [
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SDIFRM", line: 2641, note: "in-sequence path; LinBPQ funnels all I-frame logic through SDIFRM → PROC_I_FRAME → no spec_prose-mapped command check" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame", line: 2648, note: "state_3/state_4 entry. States 3 & 4 share body — divergence from figure" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1553, note: "Author rejects spec's DlError::O on non-command I: \"not even remotely correct, since O means packet too big\" — emits DlError::S instead" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 254, note: "no separate command-check; non-I frames fall to default (silent drop)" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t03_i_received_command_info_field_invalid_v22",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and not info_field_valid and version_2_2",
+            actions: [
+                { verb: "DL_ERROR_indication_O", kind: "signal_upper" },
+                { verb: "Establish_Data_Link", kind: "subroutine" },
+                { verb: "clear_layer_3_initiated", kind: "processing" },
+            ],
+            next: "AwaitingConnection22",
+            notes: "Bad I-frame info field (length > N1 or not octet-aligned), v2.2 peer.\nRe-establish link via the v2.2 path.\n",
+            references: [
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame", line: 2754, note: "bad-info-length path: DL-ERROR(O) message, establish_data_link, state→1 or 5 (modulo-128 author enhancement)" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1561, note: "Payload>N1 → establish_data_link + DlError::O + AwaitingConnection. Author TODO: \"should we discard it?\"" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "PROC_I_FRAME", line: 2914, note: "Length<1 or >257 → silent ReleaseBuffer. No DL-ERROR(O), no Establish — diverges from figure" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t04_i_received_command_info_field_invalid_v20",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and not info_field_valid and not version_2_2",
+            actions: [
+                { verb: "DL_ERROR_indication_O", kind: "signal_upper" },
+                { verb: "Establish_Data_Link", kind: "subroutine" },
+                { verb: "clear_layer_3_initiated", kind: "processing" },
+            ],
+            next: "AwaitingConnection",
+            notes: "Bad I-frame info field, v2.0 peer. Re-establish via v2.0 path.\n",
+            references: [
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame", line: 2754, note: "same code path as t03 — direwolf has no v2.0/v2.2 split for bad info length" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1561, note: "same as t03" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "PROC_I_FRAME", line: 2914, note: "same as t03 — LinBPQ has no v22/v20 distinction for info-field length" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t05_i_received_command_info_valid_nr_out_of_window_v22",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and info_field_valid and not V_a_le_N_r_le_V_s and version_2_2",
+            actions: [
+                { verb: "N_r_Error_Recovery", kind: "subroutine" },
+            ],
+            next: "AwaitingConnection22",
+            notes: "N(r) outside the V(a)..V(s) window — peer ACK is invalid. Recover\nvia re-establish on v2.2 path.\n",
+            references: [
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SDNRCHK", line: 2968, note: "LinBPQ collapse: all N(r) errors → SDFRMR/FRMR state. No N(r) Error Recovery → AwaitingConnection22" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame", line: 2747, note: "is_good_nr false → nr_error_recovery, → state 1 or 5 (author enhancement: modulo==128 ? state_5 : state_1)" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1571, note: "N(R) out of range → nr_error_recovery + transition AwaitingConnection" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 209, note: "ax25_validate_nr fails → nr_error_recovery + STATE_1" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t06_i_received_command_info_valid_nr_out_of_window_v20",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and info_field_valid and not V_a_le_N_r_le_V_s and not version_2_2",
+            actions: [
+                { verb: "N_r_Error_Recovery", kind: "subroutine" },
+            ],
+            next: "AwaitingConnection",
+            notes: "As t05 but v2.0 peer.\n",
+            references: [
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SDNRCHK", line: 2968, note: "same path as t05 — no v22/v20 split" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame", line: 2747, note: "same as t05" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1571, note: "same as t05" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 209, note: "same as t05" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t07_i_received_own_busy_p_eq_1",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and info_field_valid and V_a_le_N_r_le_V_s and own_receiver_busy and P_eq_1",
+            actions: [
+                { verb: "Check_I_Frame_Acknowledged", kind: "subroutine" },
+                { verb: "discard_contents_of_I_frame", kind: "processing" },
+                { verb: "F := 1", kind: "processing" },
+                { verb: "N(r) := V(r)", kind: "processing" },
+                { verb: "RR", kind: "signal_lower" },
+                { verb: "clear_acknowledge_pending", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "Own receiver is busy — drop the I-frame's contents. Peer polled\n(P=1) so we owe a status response: RR with F=1.\n",
+            references: [
+                { source: "spec_prose", cite: "§6.4.2.2", quote: "If the TNC is in a busy condition, it ignores any received I frames without reporting this condition, other than repeating the indication of the busy condition.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame", line: 2711, note: "own_receiver_busy && p==1: send RNR response. Author flags \"should be unreachable because we currently don't have a way to set own_receiver_busy\" — figure path effectively dead in direwolf" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1604, note: "own_receiver_busy: discard iframe (implicit), optionally send RNR if polled. Author note \"discord (implicit)\" typo" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 219, note: "OWN_RX_BUSY: discard, send enquiry_response only if P=1, no V(r) advance" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "RR_OR_RNR", line: 4173, note: "no separate own-busy-discard inside SDIFRM — busy decided dynamically at response-send time (QCOUNT<20)" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t08_i_received_own_busy_p_eq_0",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and info_field_valid and V_a_le_N_r_le_V_s and own_receiver_busy and not P_eq_1",
+            actions: [
+                { verb: "Check_I_Frame_Acknowledged", kind: "subroutine" },
+                { verb: "discard_contents_of_I_frame", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "Own busy and not polled — just drop the frame, stay.\n",
+            references: [
+                { source: "spec_prose", cite: "§6.4.2.2", quote: "If the TNC is in a busy condition, it ignores any received I frames without reporting this condition, other than repeating the indication of the busy condition.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame", line: 2707, note: "own_receiver_busy with !P=1: implicit no-op. See t07 note about unreachable code." },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 219, note: "same OWN_RX_BUSY branch; P=0 takes the no-response path" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t09_i_received_in_seq_no_stored_p_eq_1",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and info_field_valid and V_a_le_N_r_le_V_s and not own_receiver_busy and N_s_eq_V_r and not V_r_I_frame_stored and P_eq_1",
+            actions: [
+                { verb: "Check_I_Frame_Acknowledged", kind: "subroutine" },
+                { verb: "V(r) := V(r) + 1", kind: "processing" },
+                { verb: "clear_reject_exception", kind: "processing" },
+                { verb: "decrement_srej_exception_if_gt_0", kind: "processing" },
+                { verb: "DL_DATA_indication", kind: "signal_upper" },
+                { verb: "F := 1", kind: "processing" },
+                { verb: "N(r) := V(r)", kind: "processing" },
+                { verb: "RR", kind: "signal_lower" },
+                { verb: "clear_acknowledge_pending", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "In-sequence I frame received, no stored frame for V(r), peer\npolled. Deliver data, advance V(r), respond RR(F=1).\n",
+            references: [
+                { source: "spec_prose", cite: "§6.4.2.1", quote: "If a TNC receives a valid I frame...it accepts the received I frame, increments its receive state variable, and acts in one of the following manners: …the receiving TNC sends an RR frame with N(R) equal to V(R).", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame_continued", line: 2927, note: "P=1 path: send RR response with F=1 after in-order delivery" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1635, note: "After in-order delivery with poll: send RR F=1, clear acknowledge_pending" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 229, note: "ns==vr with pf=1: send enquiry_response (RR/RNR F=1) instead of arming T2" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SDIFRM", line: 2688, note: "P-bit set → SEND_RR_RESP(LINK, PFBIT) at 2708" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t10_i_received_in_seq_no_stored_p_eq_0_ack_pending",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and info_field_valid and V_a_le_N_r_le_V_s and not own_receiver_busy and N_s_eq_V_r and not V_r_I_frame_stored and not P_eq_1 and acknowledge_pending",
+            actions: [
+                { verb: "Check_I_Frame_Acknowledged", kind: "subroutine" },
+                { verb: "V(r) := V(r) + 1", kind: "processing" },
+                { verb: "clear_reject_exception", kind: "processing" },
+                { verb: "decrement_srej_exception_if_gt_0", kind: "processing" },
+                { verb: "DL_DATA_indication", kind: "signal_upper" },
+            ],
+            next: "Connected",
+            notes: "In-sequence data; not polled; ack already pending — let it batch.\n",
+            references: [
+                { source: "spec_prose", cite: "§6.4.2.1", quote: "If there are no outstanding I frames, the receiving TNC sends an RR frame with N(R) equal to V(R). The receiving TNC may wait a small period of time before sending the RR frame to be sure additional I frames are not being transmitted.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame_continued", line: 2956, note: "P=0, ack_pending: no-op; will piggyback or T2-fire later" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1644, note: "In-order, no poll: set acknowledge_pending. Comment \"LM seize request (?)\"" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "PROC_I_FRAME", line: 2930, note: "Sets L2ACKREQ = PORTT2 (delayed-ack) — equivalent to ack-pending; sent later via L2TimerProc:3533" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 232, note: "ACK_PENDING set + T2 started when pf=0 — T2 is Linux's deferred-ack timer (figc4.4 LM-SEIZE-request analogue)" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t11_i_received_in_seq_no_stored_p_eq_0_no_ack_pending",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and info_field_valid and V_a_le_N_r_le_V_s and not own_receiver_busy and N_s_eq_V_r and not V_r_I_frame_stored and not P_eq_1 and not acknowledge_pending",
+            actions: [
+                { verb: "Check_I_Frame_Acknowledged", kind: "subroutine" },
+                { verb: "V(r) := V(r) + 1", kind: "processing" },
+                { verb: "clear_reject_exception", kind: "processing" },
+                { verb: "decrement_srej_exception_if_gt_0", kind: "processing" },
+                { verb: "DL_DATA_indication", kind: "signal_upper" },
+                { verb: "LM_seize_request", kind: "signal_lower" },
+                { verb: "set_acknowledge_pending", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "In-sequence data; not polled; no ack pending — arrange to send\none: seize the medium and set ack-pending so we know to RR when\nwe get LM-SEIZE Confirm (see column 24).\n",
+            references: [
+                { source: "spec_prose", cite: "§6.4.2.1", quote: "If there are no outstanding I frames, the receiving TNC sends an RR frame with N(R) equal to V(R). The receiving TNC may wait a small period of time before sending the RR frame…", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame_continued", line: 2942, note: "!ack_pending branch: set ack_pending=1, lm_seize_request" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1644, note: "same handler as t10 — ack_pending flag set but no concrete LM seize emitted" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 232, note: "same path as t10 via T2 timer" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t12_i_received_out_of_seq_reject_exception_p_eq_1",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and info_field_valid and V_a_le_N_r_le_V_s and not own_receiver_busy and not N_s_eq_V_r and reject_exception and P_eq_1",
+            actions: [
+                { verb: "Check_I_Frame_Acknowledged", kind: "subroutine" },
+                { verb: "discard_contents_of_I_frame", kind: "processing" },
+                { verb: "F := 1", kind: "processing" },
+                { verb: "N(r) := V(r)", kind: "processing" },
+                { verb: "RR", kind: "signal_lower" },
+                { verb: "clear_acknowledge_pending", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.4.1", quote: "When an I frame is received with a correct FCS, but its send sequence number N(S) does not match the current receiver's receive state variable, the frame is discarded.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame_continued", line: 2974, note: "srej_enable==srej_none path: set reject_exception, REJ response, F=P" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1651, note: "reject_exception already set: discard frame; respond RR only if polled" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SDIFRM", line: 2670, note: "L2STATE==6 (REJ Sent) drops out of REJ when in-sequence frame arrives" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t13_i_received_out_of_seq_reject_exception_p_eq_0",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and info_field_valid and V_a_le_N_r_le_V_s and not own_receiver_busy and not N_s_eq_V_r and reject_exception and not P_eq_1",
+            actions: [
+                { verb: "Check_I_Frame_Acknowledged", kind: "subroutine" },
+                { verb: "discard_contents_of_I_frame", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.4.1", quote: "When an I frame is received with a correct FCS, but its send sequence number N(S) does not match the current receiver's receive state variable, the frame is discarded.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame_continued", line: 2956, note: "REJ outstanding + P=0: no response, stay" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1651, note: "same handler as t12" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t14_i_received_out_of_seq_srej_enabled_no_excep_in_range",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and info_field_valid and V_a_le_N_r_le_V_s and not own_receiver_busy and not N_s_eq_V_r and not reject_exception and srej_enabled and not srej_exception_gt_0 and not N_s_gt_V_r_plus_1",
+            actions: [
+                { verb: "Check_I_Frame_Acknowledged", kind: "subroutine" },
+                { verb: "save_contents_of_I_frame", kind: "processing" },
+                { verb: "N(r) := V(r)", kind: "processing" },
+                { verb: "F := 1", kind: "processing" },
+                { verb: "increment_srej_exception", kind: "processing" },
+                { verb: "SREJ", kind: "signal_lower" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.4.2", quote: "When an I frame is received…the frame is retained. SREJ frames are sent with a receive sequence number equal to the value N(R) of the missing frame, and P=1 if an uncleared SREJ condition has not been previously established.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame_continued", line: 3018, note: "SREJ-enabled and is_ns_in_window. Author Erratum 3014: \"AX.25 protocol spec did not handle SREJ very well. Based on X.25 section 2.4.6.4.\" Major divergence — direwolf follows X.25 rather than AX.25 SDL" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1697, note: "Single-frame gap with SREJ enabled: sreject_exception++, ack_pending=false. TODO: SendSrej action not implemented" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SDIFRM", line: 2636, note: "Out-of-sequence stored in RXFRAMES[NS]; SREJ vs REJ chosen in RR_OR_RNR:4230" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t15_i_received_out_of_seq_srej_enabled_no_excep_far_skip",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and info_field_valid and V_a_le_N_r_le_V_s and not own_receiver_busy and not N_s_eq_V_r and not reject_exception and srej_enabled and not srej_exception_gt_0 and N_s_gt_V_r_plus_1",
+            actions: [
+                { verb: "Check_I_Frame_Acknowledged", kind: "subroutine" },
+                { verb: "save_contents_of_I_frame", kind: "processing" },
+                { verb: "discard_contents_of_I_frame", kind: "processing" },
+                { verb: "set_reject_exception", kind: "processing" },
+                { verb: "F := P", kind: "processing" },
+                { verb: "N(r) := V(r)", kind: "processing" },
+                { verb: "REJ", kind: "signal_lower" },
+                { verb: "clear_acknowledge_pending", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.4.2", quote: "SREJ frames are sent with a receive sequence number equal to the value N(R) of the missing frame, and P=1 if an uncleared SREJ condition has not been previously established.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame_continued", line: 3102, note: "X.25 2.4.6.4 (a) — N(S) out of window, discard, respond if P=1" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1688, note: "p.ns != (vr+1) % modulus: SendRej path (gap > 1). Comment \"Maybe a version of if in_range(p.ns)\" TODO" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t16_i_received_out_of_seq_srej_enabled_existing_excep",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and info_field_valid and V_a_le_N_r_le_V_s and not own_receiver_busy and not N_s_eq_V_r and not reject_exception and srej_enabled and srej_exception_gt_0",
+            actions: [
+                { verb: "Check_I_Frame_Acknowledged", kind: "subroutine" },
+                { verb: "save_contents_of_I_frame", kind: "processing" },
+                { verb: "N(r) := N(s)", kind: "processing" },
+                { verb: "F := 0", kind: "processing" },
+                { verb: "increment_srej_exception", kind: "processing" },
+                { verb: "SREJ", kind: "signal_lower" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.4.2", quote: "If an SREJ condition is already pending, an SREJ will be sent with P=0.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame_continued", line: 3018, note: "same SREJ-in-window path as t14 with existing exception" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1680, note: "sreject_exception > 0: increment + clear ack_pending. TODO: actual SendSrej not implemented" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t17_i_received_out_of_seq_srej_disabled",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and info_field_valid and V_a_le_N_r_le_V_s and not own_receiver_busy and not N_s_eq_V_r and not reject_exception and not srej_enabled",
+            actions: [
+                { verb: "Check_I_Frame_Acknowledged", kind: "subroutine" },
+                { verb: "discard_contents_of_I_frame", kind: "processing" },
+                { verb: "set_reject_exception", kind: "processing" },
+                { verb: "F := P", kind: "processing" },
+                { verb: "N(r) := V(r)", kind: "processing" },
+                { verb: "REJ", kind: "signal_lower" },
+                { verb: "clear_acknowledge_pending", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.4.1", quote: "A REJ frame is sent with a receive sequence number equal to one higher than the last correctly received I frame if an uncleared N(S) sequence error condition has not been previously established.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame_continued", line: 2974, note: "SREJ disabled: set reject_exception, REJ response, F=P. Same as t12" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1663, note: "SREJ disabled path: set reject_exception, SendRej. Author TODO: \"should we maybe wait a bit with sending a REJ?\"" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SDIFRM", line: 2605, note: "L2OUTOFSEQ++; L2STATE=6 (REJ state). REJ sent later when L2ACKREQ expires" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 242, note: "REJ F=pf RESPONSE on first out-of-sequence I, ACK_PENDING cleared. Linux: go-back-N only — no SREJ alternative" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t18_dl_data_request",
+            from: "Connected",
+            on: "DL_DATA_request",
+            guard: "",
+            actions: [
+                { verb: "push_on_I_frame_queue", kind: "internal_out" },
+            ],
+            next: "Connected",
+            notes: "verification_pending: graphml label is 'Push on I Frame Queue\n(note: word order?)' — Tom flagged uncertainty about whether the\nspec text is \"Push on I Frame Queue\" vs \"Push I Frame on Queue\"\n(or similar word order). Canonical verb chosen here is\npush_on_I_frame_queue. Worth a spec re-read.\n",
+            references: [
+                { source: "spec_prose", cite: "§6.4.1", quote: "Whenever a TNC has an I frame to transmit, it sends the I frame with the N(S) of the control field equal to its current send state variable V(S).", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L4Code.c", function: "SendL4Data", line: 919, note: "C_Q_ADD(&LINK->TX_Q, Msg). Multiple L4 paths (637/908/919/1846/1950/1980) all push to TX_Q" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "data_request_good_size", line: 1480, note: "state_3/state_4 fall-through: append to I-frame queue, then lm_seize_request if within window. v1.5 change at 1502-1506" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::data", line: 1491, note: "Appends to obuf — \"deliberately doesn't preserve the application's frame boundaries\" — then calls Data::flush()" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/af_ax25.c", function: "ax25_sendmsg", line: 1630, note: "SOCK_SEQPACKET path: ax25_output() → ax25_kick(). No explicit DL-DATA primitive" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t19_i_frame_pops_off_queue_send_now_t1_running",
+            from: "Connected",
+            on: "I_frame_pops_off_queue",
+            guard: "not peer_receiver_busy and not V_s_eq_V_a_plus_k and T1_running",
+            actions: [
+                { verb: "N(s) := V(s)", kind: "processing" },
+                { verb: "N(r) := V(r)", kind: "processing" },
+                { verb: "p := 0", kind: "processing" },
+                { verb: "I_command", kind: "signal_lower" },
+                { verb: "V(s) := V(s) + 1", kind: "processing" },
+                { verb: "clear_acknowledge_pending", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.1", quote: "After the I frame is sent, the send state variable is incremented by one. If timer T1 is not running, it is started. If timer T1 is running, it is restarted.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame_pop_off_queue", line: 6591, note: "Build I frame, V(s)++, ack_pending=0. Author erratum 6621: \"always want to restart T1 when an I frame is sent\" — unconditional STOP_T3/START_T1" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Data::flush", line: 882, note: "Drains mtu_out bytes, builds Iframe, vs++, emits SendIframe. TODO on Direwolf advice \"always restart T1\"" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_out.c", function: "ax25_kick", line: 251, note: "Window-bounded TX loop. Sends with P=1 only on last frame of window (308). Stops T3 / starts T1 at end (330-332). Handles t19-t22 uniformly" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SDETX", line: 3195, note: "Drains TX_Q, sends from FRAMES[LINKNS], V(s)++. T1 reset to ONEMINUTE unconditionally — no distinction t19/t20" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t20_i_frame_pops_off_queue_send_now_t1_not_running",
+            from: "Connected",
+            on: "I_frame_pops_off_queue",
+            guard: "not peer_receiver_busy and not V_s_eq_V_a_plus_k and not T1_running",
+            actions: [
+                { verb: "N(s) := V(s)", kind: "processing" },
+                { verb: "N(r) := V(r)", kind: "processing" },
+                { verb: "p := 0", kind: "processing" },
+                { verb: "I_command", kind: "signal_lower" },
+                { verb: "V(s) := V(s) + 1", kind: "processing" },
+                { verb: "clear_acknowledge_pending", kind: "processing" },
+                { verb: "stop_T3", kind: "processing" },
+                { verb: "start_T1", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.1", quote: "If timer T1 is not running, it is started. If timer T1 is running, it is restarted.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame_pop_off_queue", line: 6624, note: "unconditional STOP_T3/START_T1 (covers t19 and t20)" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Data::flush", line: 891, note: "if T1 not running: stop T3, start T1(srt)" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SDETX", line: 3431, note: "same as t19 — no T1-state branch" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t21_i_frame_pops_off_queue_window_full",
+            from: "Connected",
+            on: "I_frame_pops_off_queue",
+            guard: "not peer_receiver_busy and V_s_eq_V_a_plus_k",
+            actions: [
+                { verb: "push_on_I_frame_queue", kind: "internal_out" },
+            ],
+            next: "Connected",
+            notes: "Window full (V(s) reached V(a)+k) — push back on queue and wait.\n",
+            references: [
+                { source: "spec_prose", cite: "§6.4.1", quote: "The TNC does not transmit any more I frames if its send state variable equals the last received N(R) from the other side of the link plus k. If the TNC sent more I frames, the flow control window would be exceeded.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame_pop_off_queue", line: 6581, note: "while-loop guard exits when window full (WITHIN_WINDOW_SIZE false)" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Data::flush", line: 875, note: "vs == (va+k) mod modulus: window full, leaves obuf intact" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SDETX", line: 3190, note: "Window check Outstanding >= LINKWINDOW; frames stay on TX_Q. No \"push back\" — never popped" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t22_i_frame_pops_off_queue_peer_busy",
+            from: "Connected",
+            on: "I_frame_pops_off_queue",
+            guard: "peer_receiver_busy",
+            actions: [
+                { verb: "push_on_I_frame_queue", kind: "internal_out" },
+            ],
+            next: "Connected",
+            notes: "Peer busy — push back on queue.\n",
+            references: [
+                { source: "spec_prose", cite: "§6.4.1", quote: "If a TNC is in a busy condition, it may still send I frames as long as the distant TNC is not also busy.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame_pop_off_queue", line: 6581, note: "same loop guard handles peer_busy" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Data::flush", line: 867, note: "Peer receiver busy → returns empty (no send)" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_out.c", function: "ax25_kick", line: 260, note: "PEER_RX_BUSY guard at line 260; loop skips" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SDETX", line: 3360, note: "send loop guarded by POLLSENT not peer-busy; RNRSET consulted via timer policy" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t23_dl_unit_data_request",
+            from: "Connected",
+            on: "DL_UNIT_DATA_request",
+            guard: "",
+            actions: [
+                { verb: "UI_command", kind: "signal_lower" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.3.7", quote: "AX.25 uses a special frame for this operation, the Unnumbered Information (UI) frame.", path: "", function: "", line: 0, note: "" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/af_ax25.c", function: "ax25_sendmsg", line: 1645, note: "SOCK_DGRAM path: builds UI directly, bypasses LAPB state machine. Same path in any state" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t24_dl_flow_off_when_not_busy",
+            from: "Connected",
+            on: "DL_FLOW_OFF_request",
+            guard: "own_receiver_busy",
+            actions: [
+                { verb: "set_own_receiver_busy", kind: "processing" },
+                { verb: "RNR_response", kind: "signal_lower" },
+                { verb: "clear_acknowledge_pending", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.10", quote: "Whenever a TNC enters a busy condition, it indicates this by sending an RNR response at the next opportunity.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "RR_OR_RNR", line: 4238, note: "RNR decided dynamically at supervisory-send time (QCOUNT<20 or session busy). No explicit DL-FLOW-OFF primitive" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t25_dl_flow_off_when_already_busy",
+            from: "Connected",
+            on: "DL_FLOW_OFF_request",
+            guard: "not own_receiver_busy",
+            actions: [],
+            next: "Connected",
+            notes: "",
+            references: [],
+            loops: [],
+        },
+        {
+            id: "t26_dl_flow_on_when_busy_and_t1_not_running",
+            from: "Connected",
+            on: "DL_FLOW_ON_request",
+            guard: "own_receiver_busy and not T1_running",
+            actions: [
+                { verb: "clear_own_receiver_busy", kind: "processing" },
+                { verb: "RR_command", kind: "signal_lower" },
+                { verb: "clear_acknowledge_pending", kind: "processing" },
+                { verb: "stop_T3", kind: "processing" },
+                { verb: "start_T1", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "L2TimerProc", line: 3505, note: "RNRSENT clears when no longer busy → SendSupervisCmd; closest analog to DL-FLOW-ON" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t27_dl_flow_on_when_busy_and_t1_running",
+            from: "Connected",
+            on: "DL_FLOW_ON_request",
+            guard: "own_receiver_busy and T1_running",
+            actions: [
+                { verb: "clear_own_receiver_busy", kind: "processing" },
+                { verb: "RR_command", kind: "signal_lower" },
+                { verb: "clear_acknowledge_pending", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [],
+            loops: [],
+        },
+        {
+            id: "t28_dl_flow_on_when_not_busy",
+            from: "Connected",
+            on: "DL_FLOW_ON_request",
+            guard: "not own_receiver_busy",
+            actions: [],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SendSupervisCmd", line: 3621, note: "RR(P) sent with PFBIT, L2TIMER restart via L2SENDCOMMAND" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t29_dl_connect_request_v22",
+            from: "Connected",
+            on: "DL_CONNECT_request",
+            guard: "version_2_2",
+            actions: [
+                { verb: "discard_I_frame_queue", kind: "processing" },
+                { verb: "Establish_Data_Link", kind: "subroutine" },
+                { verb: "set_layer_3_initiated", kind: "processing" },
+            ],
+            next: "AwaitingConnection22",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.3.6.2", quote: "If sent and received SABM(E) or DISC command frames are the same, both TNCs send a UA response at the earliest opportunity, and both devices enter the indicated state.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "dl_connect_request", line: 1052, note: "state_3/state_4 fall-through: discard_i_queue, establish_data_link, layer_3_initiated=1. Author enhancement at 1058-1060: state_5 if modulo==128 else state_1" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/af_ax25.c", function: "ax25_connect", line: 1227, note: "Already STATE_3: rejects with -EISCONN. Linux does NOT implement re-establishment" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t30_dl_connect_request_v20",
+            from: "Connected",
+            on: "DL_CONNECT_request",
+            guard: "not version_2_2",
+            actions: [
+                { verb: "discard_I_frame_queue", kind: "processing" },
+                { verb: "Establish_Data_Link", kind: "subroutine" },
+                { verb: "set_layer_3_initiated", kind: "processing" },
+            ],
+            next: "AwaitingConnection",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.3.6.2", quote: "If sent and received SABM(E) or DISC command frames are the same, both TNCs send a UA response at the earliest opportunity, and both devices enter the indicated state.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "dl_connect_request", line: 1060, note: "modulo!=128 branch → state_1" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t31_all_other_primitives_from_lower_layer",
+            from: "Connected",
+            on: "all_other_primitives__from_lower_layer",
+            guard: "",
+            actions: [],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "L2_PROCESS", line: 2203, note: "default → ReleaseBuffer" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 254, note: "default case silently no-ops" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t32_control_field_error_v22",
+            from: "Connected",
+            on: "control_field_error",
+            guard: "version_2_2",
+            actions: [
+                { verb: "DL_ERROR_indication_L", kind: "signal_upper" },
+                { verb: "discard_I_frame_queue", kind: "processing" },
+                { verb: "Establish_Data_Link", kind: "subroutine" },
+                { verb: "set_layer_3_initiated", kind: "processing" },
+            ],
+            next: "AwaitingConnection22",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.5", quote: "When a TNC receives a frame with an incorrect FCS, an invalid frame, or a frame with an improper address, that frame is discarded.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "L2_PROCESS", line: 2049, note: "default in S-frame switch → SDFRMR (FRMR state). NO Establish Data Link — sends FRMR instead" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t33_control_field_error_v20",
+            from: "Connected",
+            on: "control_field_error",
+            guard: "not version_2_2",
+            actions: [
+                { verb: "DL_ERROR_indication_L", kind: "signal_upper" },
+                { verb: "discard_I_frame_queue", kind: "processing" },
+                { verb: "Establish_Data_Link", kind: "subroutine" },
+                { verb: "set_layer_3_initiated", kind: "processing" },
+            ],
+            next: "AwaitingConnection",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.5", quote: "When a TNC receives a frame with an incorrect FCS, an invalid frame, or a frame with an improper address, that frame is discarded.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "L2_PROCESS", line: 2049, note: "same as t32 — no v22/v20 split" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t34_info_not_permitted_in_frame_v22",
+            from: "Connected",
+            on: "info_not_permitted_in_frame",
+            guard: "version_2_2",
+            actions: [
+                { verb: "DL_ERROR_indication_M", kind: "signal_upper" },
+                { verb: "discard_I_frame_queue", kind: "processing" },
+                { verb: "Establish_Data_Link", kind: "subroutine" },
+                { verb: "set_layer_3_initiated", kind: "processing" },
+            ],
+            next: "AwaitingConnection22",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.5", quote: "When a TNC receives a frame with an incorrect FCS, an invalid frame, or a frame with an improper address, that frame is discarded.", path: "", function: "", line: 0, note: "" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t35_info_not_permitted_in_frame_v20",
+            from: "Connected",
+            on: "info_not_permitted_in_frame",
+            guard: "not version_2_2",
+            actions: [
+                { verb: "DL_ERROR_indication_M", kind: "signal_upper" },
+                { verb: "discard_I_frame_queue", kind: "processing" },
+                { verb: "Establish_Data_Link", kind: "subroutine" },
+                { verb: "set_layer_3_initiated", kind: "processing" },
+            ],
+            next: "AwaitingConnection",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.5", quote: "When a TNC receives a frame with an incorrect FCS, an invalid frame, or a frame with an improper address, that frame is discarded.", path: "", function: "", line: 0, note: "" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t36_u_or_s_frame_length_error_v22",
+            from: "Connected",
+            on: "u_or_s_frame_length_error",
+            guard: "version_2_2",
+            actions: [
+                { verb: "DL_ERROR_indication_N", kind: "signal_upper" },
+                { verb: "discard_I_frame_queue", kind: "processing" },
+                { verb: "Establish_Data_Link", kind: "subroutine" },
+                { verb: "set_layer_3_initiated", kind: "processing" },
+            ],
+            next: "AwaitingConnection22",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.5", quote: "When a TNC receives a frame with an incorrect FCS, an invalid frame, or a frame with an improper address, that frame is discarded.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "PROC_I_FRAME", line: 2914, note: "Length<1 or >257 → drop. No DL-ERROR(N)" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t37_u_or_s_frame_length_error_v20",
+            from: "Connected",
+            on: "u_or_s_frame_length_error",
+            guard: "not version_2_2",
+            actions: [
+                { verb: "DL_ERROR_indication_N", kind: "signal_upper" },
+                { verb: "discard_I_frame_queue", kind: "processing" },
+                { verb: "Establish_Data_Link", kind: "subroutine" },
+                { verb: "set_layer_3_initiated", kind: "processing" },
+            ],
+            next: "AwaitingConnection",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.5", quote: "When a TNC receives a frame with an incorrect FCS, an invalid frame, or a frame with an improper address, that frame is discarded.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "PROC_I_FRAME", line: 2914, note: "same as t36" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t38_t1_expiry",
+            from: "Connected",
+            on: "T1_expiry",
+            guard: "",
+            actions: [
+                { verb: "RC := 1", kind: "processing" },
+                { verb: "Transmit_Enquiry", kind: "subroutine" },
+            ],
+            next: "TimerRecovery",
+            notes: "T1 expired — start the timer-recovery procedure. Note: figure\nlabels the subroutine \"Transmit Enquery\" (sic) — preserved\nverbatim but the canonical verb here is the spec's\n\"Transmit Enquiry\" routine.\n",
+            references: [
+                { source: "spec_prose", cite: "§6.4.11", quote: "If the originating TNC's timer T1 expires while awaiting the distant TNC's acknowledgement of an I frame transmitted, the originating TNC restarts timer T1 and transmits an appropriate supervisory command frame (RR or RNR) with the P bit set.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "L2TIMEOUT", line: 3826, note: "State>=5: L2RETRIES++; sends DISC at N2 (3839) or SendSupervisCmd (3843). No separate TimerRecovery state in LinBPQ" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "t1_expiry", line: 5514, note: "state_3: SET_RC(1), transmit_enquiry, → state_4" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::t1", line: 1704, note: "Single method handles Connected (rc=1) and TimerRecovery (rc++). Author: \"1998 spec doesn't say if it should be true or false. 2017 spec adds that pf should be false\"" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_timer.c", function: "ax25_std_t1timer_expiry", line: 155, note: "STATE_3: n2count=1, transmit_enquiry, → STATE_4" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t39_t3_expiry",
+            from: "Connected",
+            on: "T3_expiry",
+            guard: "",
+            actions: [
+                { verb: "RC := 1", kind: "processing" },
+                { verb: "Transmit_Enquiry", kind: "subroutine" },
+            ],
+            next: "TimerRecovery",
+            notes: "T3 expired — long idle, poll the peer via Transmit Enquiry.\n",
+            references: [
+                { source: "spec_prose", cite: "§6.7.1", quote: "T3 (inactive link timer): used to monitor data link traffic during idle periods to ensure the link is still functional.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "L2TimerProc", line: 3557, note: "L2SLOTIM (T3) decrement → SendSupervisCmd (RR(P) link-validation poll)" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "t3_expiry", line: 5631, note: "Author erratum 5633: \"Original sets RC to 0, 2006 revision sets RC to 1 which makes more sense.\" Direwolf follows 2006" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::t3", line: 1732, note: "Author: \"1998 bug: Says to set rc=0. Fixed in 2017.\" Sets rc=1, → TimerRecovery" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_timer.c", function: "ax25_std_t3timer_expiry", line: 87, note: "n2count=0 then transmit_enquiry, → STATE_4. DIVERGES: figure says \"stay in Connected\"; Linux moves to TimerRecovery" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t40_sabm_received_vs_neq_va",
+            from: "Connected",
+            on: "SABM_received",
+            guard: "not V_s_eq_V_a",
+            actions: [
+                { verb: "F := P", kind: "processing" },
+                { verb: "set_version_2_0", kind: "processing" },
+                { verb: "UA", kind: "signal_lower" },
+                { verb: "Clear_Exception_Conditions", kind: "subroutine" },
+                { verb: "DL_ERROR_indication_F", kind: "signal_upper" },
+                { verb: "discard_I_frame_queue", kind: "processing" },
+                { verb: "DL_CONNECT_indication", kind: "signal_upper" },
+                { verb: "stop_T1", kind: "processing" },
+                { verb: "start_T3", kind: "processing" },
+                { verb: "V(a) := 0", kind: "processing" },
+                { verb: "V(s) := 0", kind: "processing" },
+                { verb: "V(r) := 0", kind: "processing" },
+                { verb: "RC := 0", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "Peer sent SABM while we're already Connected → reset to v2.0.\nV(s) ≠ V(a) means we have unacknowledged data; discard queue and\nnotify L3 of the reset via DL-CONNECT indication.\n",
+            references: [
+                { source: "spec_prose", cite: "§6.3.3", quote: "If the TNC receives a SABM(E) command while in the information-transfer state, it follows the resetting procedure outlined in Section 6.5.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "L2LINKACTIVE", line: 1281, note: "If SESSACTIVE: InformPartner(NORMALCLOSE) + reset via L2SABM. LinBPQ uses SESSACTIVE flag instead of V(s)==V(a) — no DL-CONNECT-Indication" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "sabm_e_frame", line: 4442, note: "state_3/state_4 fall-through: UA F=p, clear_exception_conditions, error F, discard queue if vs!=va, reset V(), STOP_T1/START_T3" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::sabm", line: 1506, note: "Sets version 2, delegates to sabm_or_sabme()" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 146, note: "Combined SABM/SABME case 146-165. Collapses figure's t40-t43 — no per-F-bit or per-V-state branching" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t41_sabm_received_vs_eq_va",
+            from: "Connected",
+            on: "SABM_received",
+            guard: "V_s_eq_V_a",
+            actions: [
+                { verb: "F := P", kind: "processing" },
+                { verb: "set_version_2_0", kind: "processing" },
+                { verb: "UA", kind: "signal_lower" },
+                { verb: "Clear_Exception_Conditions", kind: "subroutine" },
+                { verb: "DL_ERROR_indication_F", kind: "signal_upper" },
+                { verb: "stop_T1", kind: "processing" },
+                { verb: "start_T3", kind: "processing" },
+                { verb: "V(a) := 0", kind: "processing" },
+                { verb: "V(s) := 0", kind: "processing" },
+                { verb: "V(r) := 0", kind: "processing" },
+                { verb: "RC := 0", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "Peer SABM with V(s)==V(a) (no unacked data) — silent reset, no\nDL-CONNECT indication to upper layer.\n",
+            references: [
+                { source: "spec_prose", cite: "§6.3.3", quote: "If the TNC receives a SABM(E) command while in the information-transfer state, it follows the resetting procedure outlined in Section 6.5.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "L2LINKACTIVE", line: 1275, note: "SESSACTIVE==0: repeat UA. Treats SABM as missed-UA case — no DL-CONNECT-Indication. Divergence from spec" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "sabm_e_frame", line: 4468, note: "vs!=va branch: discard I queue and re-issue server_link_established (figure's DL-CONNECT indication path)" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::sabm_or_sabme", line: 1433, note: "Author: \"2017 spec says to stop both T1 and T3 in state timer recovery. That can't be right, can it?\" (only T1 stopped)" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t42_sabme_received_vs_neq_va",
+            from: "Connected",
+            on: "SABME_received",
+            guard: "not V_s_eq_V_a",
+            actions: [
+                { verb: "F := P", kind: "processing" },
+                { verb: "set_version_2_2", kind: "processing" },
+                { verb: "UA", kind: "signal_lower" },
+                { verb: "Clear_Exception_Conditions", kind: "subroutine" },
+                { verb: "DL_ERROR_indication_F", kind: "signal_upper" },
+                { verb: "discard_I_frame_queue", kind: "processing" },
+                { verb: "DL_CONNECT_indication", kind: "signal_upper" },
+                { verb: "stop_T1", kind: "processing" },
+                { verb: "start_T3", kind: "processing" },
+                { verb: "V(a) := 0", kind: "processing" },
+                { verb: "V(s) := 0", kind: "processing" },
+                { verb: "V(r) := 0", kind: "processing" },
+                { verb: "RC := 0", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.3.3", quote: "If the TNC receives a SABM(E) command while in the information-transfer state, it follows the resetting procedure outlined in Section 6.5.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "sabm_e_frame", line: 4454, note: "SABM and SABME merge in state_3. extended bool only routes set_version — structural collapse vs figc4.4" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::sabme", line: 1515, note: "Sets version 2.2, delegates to sabm_or_sabme()" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 147, note: "Same combined case as t40. Extended modulus set at 152-153" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t43_sabme_received_vs_eq_va",
+            from: "Connected",
+            on: "SABME_received",
+            guard: "V_s_eq_V_a",
+            actions: [
+                { verb: "F := P", kind: "processing" },
+                { verb: "set_version_2_2", kind: "processing" },
+                { verb: "UA", kind: "signal_lower" },
+                { verb: "Clear_Exception_Conditions", kind: "subroutine" },
+                { verb: "DL_ERROR_indication_F", kind: "signal_upper" },
+                { verb: "stop_T1", kind: "processing" },
+                { verb: "start_T3", kind: "processing" },
+                { verb: "V(a) := 0", kind: "processing" },
+                { verb: "V(s) := 0", kind: "processing" },
+                { verb: "V(r) := 0", kind: "processing" },
+                { verb: "RC := 0", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.3.3", quote: "If the TNC receives a SABM(E) command while in the information-transfer state, it follows the resetting procedure outlined in Section 6.5.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "sabm_e_frame", line: 4468, note: "same as t41 — direwolf doesn't distinguish SABM/SABME branches" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::sabm_or_sabme", line: 1447, note: "Author: \"Added in 2017 spec, but only for Connected. TODO: should this be set also for TimerRecovery?\" on rc=0 reset" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t44_frmr_received_v22",
+            from: "Connected",
+            on: "FRMR_received",
+            guard: "version_2_2",
+            actions: [
+                { verb: "DL_ERROR_indication_K", kind: "signal_upper" },
+                { verb: "Establish_Data_Link", kind: "subroutine" },
+                { verb: "clear_layer_3_initiated", kind: "processing" },
+            ],
+            next: "AwaitingConnection22",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.5 ¶2", quote: "A TNC initiates a reset procedure whenever it receives an unexpected UA response frame, or after receipt of a FRMR frame from a TNC using an older version of the protocol.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "L2_PROCESS", line: 2168, note: "FRMRHACK (L2Code.c:24) treats FRMR as DM — InformPartner(LINKLOST) + DM + CLEAROUTLINK. NOTABLE DIVERGENCE: spec says DL-ERROR(K)+Establish. Spec-compliant path commented out at 2192-2202" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "frmr_frame", line: 5020, note: "state_3/state_4: error K, set_version_2_0 (Erratum 5028: \"FRMR can only be sent by v2.0\"), establish_data_link, → state_1" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::frmr", line: 1760, note: "Both Connected and TimerRecovery: layer3_initiated=false, DlError::K, establish_data_link, → AwaitingConnection" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 248, note: "AX25_FRMR (and AX25_ILLEGAL) → establish_data_link + STATE_1. No DL-ERROR(K) report; no FRMR info bytes inspected" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t45_frmr_received_v20",
+            from: "Connected",
+            on: "FRMR_received",
+            guard: "not version_2_2",
+            actions: [
+                { verb: "DL_ERROR_indication_K", kind: "signal_upper" },
+                { verb: "Establish_Data_Link", kind: "subroutine" },
+                { verb: "clear_layer_3_initiated", kind: "processing" },
+            ],
+            next: "AwaitingConnection",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.5 ¶2", quote: "A TNC initiates a reset procedure whenever it receives an unexpected UA response frame, or after receipt of a FRMR frame from a TNC using an older version of the protocol.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "frmr_frame", line: 5031, note: "single path — direwolf has no separate L3-initiated branch" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::frmr", line: 1760, note: "same handler as t44" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "L2_PROCESS", line: 2168, note: "same FRMRHACK path as t44 — no v22/v20 split" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 248, note: "same case as t44" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t46_ua_received_v22",
+            from: "Connected",
+            on: "UA_received",
+            guard: "version_2_2",
+            actions: [
+                { verb: "DL_ERROR_indication_K", kind: "signal_upper" },
+                { verb: "Establish_Data_Link", kind: "subroutine" },
+                { verb: "clear_layer_3_initiated", kind: "processing" },
+            ],
+            next: "AwaitingConnection22",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.5 ¶2", quote: "A TNC initiates a reset procedure whenever it receives an unexpected UA response frame, or after receipt of a FRMR frame from a TNC using an older version of the protocol.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "ua_frame", line: 4948, note: "state_3/state_4: error C (\"Unexpected UA\"), establish_data_link, → state_1 or 5 (modulo author enhancement). Direwolf does NOT branch on F bit — figure's two-path F=1/F=0 collapsed" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::ua", line: 1748, note: "Author: \"2017 spec says DlError::K, which is undocumented.\" Uses DlError::C, establish_data_link, → AwaitingConnection" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "L2_PROCESS", line: 2140, note: "UA in state 5 falls to default → ReleaseBuffer (silent ignore). NOTABLE DIVERGENCE from spec DL-ERROR(C)+Establish" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 254, note: "No AX25_UA case in STATE_3 switch → silent default. DIVERGENCE: figure t46 calls for DL-ERROR(C)" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t47_ua_received_v20",
+            from: "Connected",
+            on: "UA_received",
+            guard: "not version_2_2",
+            actions: [
+                { verb: "DL_ERROR_indication_K", kind: "signal_upper" },
+                { verb: "Establish_Data_Link", kind: "subroutine" },
+                { verb: "clear_layer_3_initiated", kind: "processing" },
+            ],
+            next: "AwaitingConnection",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.5 ¶2", quote: "A TNC initiates a reset procedure whenever it receives an unexpected UA response frame, or after receipt of a FRMR frame from a TNC using an older version of the protocol.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "ua_frame", line: 4948, note: "same path as t46 — no F-bit branching" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::ua", line: 1748, note: "same handler as t46" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "L2_PROCESS", line: 2140, note: "same silent-ignore as t46" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 254, note: "same default-case drop as t46. Linux uniform: no F-bit distinction" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t48_ui_received_p_eq_0",
+            from: "Connected",
+            on: "UI_received",
+            guard: "not P_eq_1",
+            actions: [
+                { verb: "UI_Check", kind: "subroutine" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.3.7", quote: "AX.25 uses a special frame for this operation, the Unnumbered Information (UI) frame…Since this mode is connectionless, there are no requests for retransmissions of bad frames.", path: "", function: "", line: 0, note: "" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "ui_frame", line: 5127, note: "Only runs when cmd && pf==1. state_3/4 case calls enquiry_response with frame_type_U_UI" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::ui", line: 1770, note: "Calls Data::ui_check(cr, len); no enquiry response unless poll set" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "L2LINKACTIVE", line: 1065, note: "UI dispatched by PID (Netrom/IP/ARP). No UI_Check DL-error semantics — LinBPQ just routes" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_in.c", function: "ax25_rcv", line: 229, note: "UI intercepted before LAPB state machine — handled state-independently" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t49_ui_received_p_eq_1",
+            from: "Connected",
+            on: "UI_received",
+            guard: "P_eq_1",
+            actions: [
+                { verb: "UI_Check", kind: "subroutine" },
+                { verb: "Enquiry_Response_F_1", kind: "subroutine" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.3.7", quote: "AX.25 uses a special frame for this operation, the Unnumbered Information (UI) frame…", path: "", function: "", line: 0, note: "" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::ui", line: 1772, note: "Poll branch: act.push(data.enquiry_response(true))" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "ui_frame", line: 5127, note: "same path as t48 — direwolf only handles cmd && pf==1 case" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t50_disc_received",
+            from: "Connected",
+            on: "DISC_received",
+            guard: "",
+            actions: [
+                { verb: "discard_I_frame_queue", kind: "processing" },
+                { verb: "F := P", kind: "processing" },
+                { verb: "UA", kind: "signal_lower" },
+                { verb: "DL_DISCONNECT_indication", kind: "signal_upper" },
+                { verb: "stop_T3", kind: "processing" },
+                { verb: "start_T1", kind: "processing" },
+            ],
+            next: "Disconnected",
+            notes: "Peer wants to disconnect — confirm with UA, notify L3, swap\ntimers and head to Disconnected. The figure draws stop_T3 then\nstart_T1 (and indeed wait for the peer's ack of the UA via T1).\n",
+            references: [
+                { source: "spec_prose", cite: "§6.3.4 ¶2", quote: "After receiving a valid DISC command, the TNC sends a UA response frame and enters the disconnected state.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "L2LINKACTIVE", line: 1090, note: "InformPartner(NORMALCLOSE) + L2SENDUA + CLEAROUTLINK. Goes straight to Disconnected — no explicit T3-stop/T1-start" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "disc_frame", line: 4557, note: "state_3/state_4: discard queue, UA F=p, server_link_terminated, STOP_T1, STOP_T3, → state_0" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::disc", line: 1537, note: "Author marks \"Done.\" Clear queue, stop T1/T3, SendUa + EOF + Disconnected" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 167, note: "UA F=pf, then ax25_disconnect(0) → STATE_0" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t51_dm_received",
+            from: "Connected",
+            on: "DM_received",
+            guard: "",
+            actions: [
+                { verb: "DL_ERROR_indication_E", kind: "signal_upper" },
+                { verb: "DL_DISCONNECT_indication", kind: "signal_upper" },
+                { verb: "discard_I_frame_queue", kind: "processing" },
+                { verb: "stop_T1", kind: "processing" },
+                { verb: "stop_T3", kind: "processing" },
+            ],
+            next: "Disconnected",
+            notes: "Unexpected DM while connected — peer claims it's not connected.\nDL-ERROR(E), tell L3 the link is gone, stop both timers.\n",
+            references: [
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "L2_PROCESS", line: 2145, note: "InformPartner(LINKLOST) + CLEAROUTLINK. No explicit DL-ERROR(E)" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "dm_frame", line: 4696, note: "state_3/state_4: error E, server_link_terminated, → state_0. Direwolf does NOT branch on F bit (spec figure shows F=1/F=0 paths)" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::dm", line: 1523, note: "Author marks \"Done.\" DL-DISCONNECT, clear queue, stop T1/T3, DlError::E, → Disconnected" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 172, note: "ax25_disconnect(ECONNRESET) → STATE_0. Linux ignores F bit (figure t51 only acts on F=1)" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t52_rr_received_nr_in_window",
+            from: "Connected",
+            on: "RR_received",
+            guard: "V_a_le_N_r_le_V_s",
+            actions: [
+                { verb: "clear_peer_receiver_busy", kind: "processing" },
+                { verb: "Check_Need_For_Response", kind: "subroutine" },
+                { verb: "Check_I_Frame_Acknowledged", kind: "subroutine" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.6", quote: "Whenever an I or S frame is correctly received, even in a busy condition, the N(R) of the received frame is checked to see if it includes an acknowledgement of outstanding sent I frames.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SFRAME", line: 2403, note: "treatasRR: clears RNRSET; ACKMSG releases acked frames. Stays in 5" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "rr_rnr_frame", line: 3545, note: "state_3 entry. peer_receiver_busy=!ready. Erratum 3549-3552: check_need_for_response only for cmd&&pf (figure has unconditional)" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::rr_connected", line: 1361, note: "Connected branch. Clears peer_receiver_busy, check_need_for_response, check_iframe_acked" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 182, note: "Combined RR/RNR case. enquiry_response on cmd&&pf, then check_iframes_acked" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t53_rr_received_nr_out_of_window_v22",
+            from: "Connected",
+            on: "RR_received",
+            guard: "not V_a_le_N_r_le_V_s and version_2_2",
+            actions: [
+                { verb: "clear_peer_receiver_busy", kind: "processing" },
+                { verb: "Check_Need_For_Response", kind: "subroutine" },
+                { verb: "N_r_Error_Recovery", kind: "subroutine" },
+            ],
+            next: "AwaitingConnection22",
+            notes: "",
+            references: [
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SFRAME", line: 2277, note: "SDREJF set by SDNRCHK → SDFRMR (FRMR state). NOTABLE DIVERGENCE: spec says N(r) Error Recovery → AwaitingConnection22. LinBPQ goes to FRMR state 3" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "rr_rnr_frame", line: 3569, note: "bad N(R): nr_error_recovery, → state_1 (or state_5 modulo author enhancement)" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::rr_connected", line: 1366, note: "N(R) out of window: nr_error_recovery → AwaitingConnection" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 184, note: "On invalid N(R): nr_error_recovery + STATE_1" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t54_rr_received_nr_out_of_window_v20",
+            from: "Connected",
+            on: "RR_received",
+            guard: "not V_a_le_N_r_le_V_s and not version_2_2",
+            actions: [
+                { verb: "clear_peer_receiver_busy", kind: "processing" },
+                { verb: "Check_Need_For_Response", kind: "subroutine" },
+                { verb: "N_r_Error_Recovery", kind: "subroutine" },
+            ],
+            next: "AwaitingConnection",
+            notes: "",
+            references: [
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SFRAME", line: 2277, note: "same SDFRMR path as t53 — no v22/v20 split" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "rr_rnr_frame", line: 3569, note: "same as t53" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::rr_connected", line: 1366, note: "same as t53" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 184, note: "same as t53" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t55_rnr_received_nr_in_window",
+            from: "Connected",
+            on: "RNR_received",
+            guard: "V_a_le_N_r_le_V_s",
+            actions: [
+                { verb: "set_peer_receiver_busy", kind: "processing" },
+                { verb: "Check_Need_For_Response", kind: "subroutine" },
+                { verb: "Check_I_Frame_Acknowledged", kind: "subroutine" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.9", quote: "Whenever a TNC receives an RNR frame, it stops transmitting I frames until the busy condition is cleared.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SFRAME", line: 2410, note: "Sets RNRSET (peer busy). RNR(F) restarts L2TIMER (2511) — explicit divergence comment at 2507" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "rr_rnr_frame", line: 3547, note: "Same code path as RR; ready=0 sets peer_receiver_busy=1. Structural collapse RR/RNR" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 181, note: "Shares RR/RNR case. Sets PEER_RX_BUSY (only difference from RR)" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t56_rnr_received_nr_out_of_window_v22",
+            from: "Connected",
+            on: "RNR_received",
+            guard: "not V_a_le_N_r_le_V_s and version_2_2",
+            actions: [
+                { verb: "set_peer_receiver_busy", kind: "processing" },
+                { verb: "Check_Need_For_Response", kind: "subroutine" },
+                { verb: "N_r_Error_Recovery", kind: "subroutine" },
+            ],
+            next: "AwaitingConnection22",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.9", quote: "Whenever a TNC receives an RNR frame, it stops transmitting I frames until the busy condition is cleared.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SFRAME", line: 2277, note: "same SDFRMR path as t53" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "rr_rnr_frame", line: 3569, note: "RR/RNR converge for bad-N(R)" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 184, note: "same as t53" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t57_rnr_received_nr_out_of_window_v20",
+            from: "Connected",
+            on: "RNR_received",
+            guard: "not V_a_le_N_r_le_V_s and not version_2_2",
+            actions: [
+                { verb: "set_peer_receiver_busy", kind: "processing" },
+                { verb: "Check_Need_For_Response", kind: "subroutine" },
+                { verb: "N_r_Error_Recovery", kind: "subroutine" },
+            ],
+            next: "AwaitingConnection",
+            notes: "",
+            references: [
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SFRAME", line: 2277, note: "same SDFRMR path" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "rr_rnr_frame", line: 3569, note: "same as t56" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 184, note: "same as t53" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t58_lm_seize_confirm_no_ack_pending",
+            from: "Connected",
+            on: "LM_SEIZE_confirm",
+            guard: "not acknowledge_pending",
+            actions: [
+                { verb: "LM_release_request", kind: "signal_lower" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "lm_seize_confirm", line: 2223, note: "state_3/4: i_frame_pop_off_queue, no enquiry_response (acknowledge_pending false). Erratum 2244: states 3 & 4 merged per 2006 revision" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t59_lm_seize_confirm_ack_pending",
+            from: "Connected",
+            on: "LM_SEIZE_confirm",
+            guard: "acknowledge_pending",
+            actions: [
+                { verb: "clear_acknowledge_pending", kind: "processing" },
+                { verb: "Enquiry_Response_F_0", kind: "subroutine" },
+                { verb: "LM_release_request", kind: "signal_lower" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "lm_seize_confirm", line: 2231, note: "Same code path; acknowledge_pending check at 2235" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "L2TimerProc", line: 3526, note: "Closest analog: delayed-ack timer (L2ACKREQ) fires SEND_RR_RESP. Not literally LM-SEIZE — deferred ack mechanism" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t60_srej_received_nr_in_window_pf_eq_0",
+            from: "Connected",
+            on: "SREJ_received",
+            guard: "V_a_le_N_r_le_V_s and not P_or_F_eq_1",
+            actions: [
+                { verb: "clear_peer_receiver_busy", kind: "processing" },
+                { verb: "Check_Need_For_Response", kind: "subroutine" },
+                { verb: "stop_T1", kind: "processing" },
+                { verb: "start_T3", kind: "processing" },
+                { verb: "Select_T1_Value", kind: "subroutine" },
+                { verb: "push_old_I_frame_N_r_on_queue", kind: "internal_out" },
+                { verb: "LM_data_request", kind: "signal_lower" },
+                { verb: "stop_T3", kind: "processing" },
+                { verb: "start_T1", kind: "processing" },
+                { verb: "clear_acknowledge_pending", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.8", quote: "After receiving a SREJ frame, the transmitting TNC retransmits the individual I frame indicated by the N(R) contained in the SREJ at the next available opportunity.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SFRAME", line: 2954, note: "SDNRCHK: SREJ without F doesn't ACK (early return)" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "srej_frame", line: 4057, note: "state_3 entry. Erratum 4061-4067: figure has check_need_for_response but SREJ can only be response, so removed" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t61_srej_received_nr_in_window_pf_eq_1",
+            from: "Connected",
+            on: "SREJ_received",
+            guard: "V_a_le_N_r_le_V_s and P_or_F_eq_1",
+            actions: [
+                { verb: "clear_peer_receiver_busy", kind: "processing" },
+                { verb: "Check_Need_For_Response", kind: "subroutine" },
+                { verb: "V(a) := N(r)", kind: "processing" },
+                { verb: "stop_T1", kind: "processing" },
+                { verb: "start_T3", kind: "processing" },
+                { verb: "Select_T1_Value", kind: "subroutine" },
+                { verb: "push_old_I_frame_N_r_on_queue", kind: "internal_out" },
+                { verb: "LM_data_request", kind: "signal_lower" },
+                { verb: "stop_T3", kind: "processing" },
+                { verb: "start_T1", kind: "processing" },
+                { verb: "clear_acknowledge_pending", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.8", quote: "If the P bit was set, then all frames up to N(R)-1 are acknowledged.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SFRAME", line: 2303, note: "SREJ(F) resend: clear POLLSENT, look up FRAMES[NS], resend. No V(s) advance / T3 restart — collapses spec's t60/t61" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "srej_frame", line: 4079, note: "resend_for_srej. Author addition at 4082-4093: STOP_T3/START_T1 after sending I frame — avoids mutual-timeout deadlock" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t62_srej_received_nr_out_of_window_v22",
+            from: "Connected",
+            on: "SREJ_received",
+            guard: "not V_a_le_N_r_le_V_s and version_2_2",
+            actions: [
+                { verb: "clear_peer_receiver_busy", kind: "processing" },
+                { verb: "Check_Need_For_Response", kind: "subroutine" },
+                { verb: "N_r_Error_Recovery", kind: "subroutine" },
+            ],
+            next: "AwaitingConnection22",
+            notes: "",
+            references: [
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SFRAME", line: 2277, note: "same SDFRMR path as t53" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "srej_frame", line: 4096, note: "bad N(R): nr_error_recovery, → state_1 or 5. Erratum 4098: \"Flow chart shows state 1 but that would not be appropriate if modulo is 128\"" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t63_srej_received_nr_out_of_window_v20",
+            from: "Connected",
+            on: "SREJ_received",
+            guard: "not V_a_le_N_r_le_V_s and not version_2_2",
+            actions: [
+                { verb: "clear_peer_receiver_busy", kind: "processing" },
+                { verb: "Check_Need_For_Response", kind: "subroutine" },
+                { verb: "N_r_Error_Recovery", kind: "subroutine" },
+            ],
+            next: "AwaitingConnection",
+            notes: "",
+            references: [
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SFRAME", line: 2277, note: "same as t62" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "srej_frame", line: 4096, note: "same as t62" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t64_rej_received_nr_in_window",
+            from: "Connected",
+            on: "REJ_received",
+            guard: "V_a_le_N_r_le_V_s",
+            actions: [
+                { verb: "clear_peer_receiver_busy", kind: "processing" },
+                { verb: "Check_Need_For_Response", kind: "subroutine" },
+                { verb: "V(a) := N(r)", kind: "processing" },
+                { verb: "start_T1", kind: "processing" },
+                { verb: "stop_T3", kind: "processing" },
+                { verb: "clear_acknowledge_pending", kind: "processing" },
+                { verb: "Select_T1_Value", kind: "subroutine" },
+                { verb: "Invoke_Retransmission", kind: "subroutine" },
+            ],
+            next: "Connected",
+            notes: "",
+            references: [
+                { source: "spec_prose", cite: "§6.4.7", quote: "After receiving a REJ frame, the transmitting TNC sets its send state variable to the same value as the REJ frame's received sequence number in the control field. The TNC then retransmits any I frame(s) outstanding at the next available opportunity.", path: "", function: "", line: 0, note: "" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SFRAME", line: 2481, note: "REJ → POLLSENT check → RESETNS resets V(s) to N(r) (= Invoke_Retransmission). T1 cleared at 2486. No explicit Select_T1_Value" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "rej_frame", line: 3804, note: "state_3: peer_receiver_busy=0, check_need_for_response UNCONDITIONAL (different from rr_rnr_frame), is_good_nr" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 192, note: "AX25_REJ: clears PEER_RX_BUSY, enquiry_response on cmd&&pf, ax25_frames_acked + RTT + stop T1 + start T3 + requeue_frames on valid N(R)" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t65_rej_received_nr_out_of_window_v22",
+            from: "Connected",
+            on: "REJ_received",
+            guard: "not V_a_le_N_r_le_V_s and version_2_2",
+            actions: [
+                { verb: "clear_peer_receiver_busy", kind: "processing" },
+                { verb: "Check_Need_For_Response", kind: "subroutine" },
+                { verb: "N_r_Error_Recovery", kind: "subroutine" },
+            ],
+            next: "AwaitingConnection22",
+            notes: "",
+            references: [
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SFRAME", line: 2277, note: "same SDFRMR path" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "rej_frame", line: 3840, note: "bad N(R): nr_error_recovery, → state_1 or 5 (author enhancement)" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 194, note: "same as t53" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t66_rej_received_nr_out_of_window_v20",
+            from: "Connected",
+            on: "REJ_received",
+            guard: "not V_a_le_N_r_le_V_s and not version_2_2",
+            actions: [
+                { verb: "clear_peer_receiver_busy", kind: "processing" },
+                { verb: "Check_Need_For_Response", kind: "subroutine" },
+                { verb: "N_r_Error_Recovery", kind: "subroutine" },
+            ],
+            next: "AwaitingConnection",
+            notes: "",
+            references: [
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SFRAME", line: 2277, note: "same as t65" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "rej_frame", line: 3840, note: "same as t65" },
+                { source: "linux_oot", cite: "", quote: "", path: "net/ax25/ax25_std_in.c", function: "ax25_std_state3_machine", line: 194, note: "same as t65" },
+            ],
+            loops: [],
+        },
+        {
+            id: "t67_i_received_in_seq_stored_p_eq_1",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and info_field_valid and V_a_le_N_r_le_V_s and not own_receiver_busy and N_s_eq_V_r and V_r_I_frame_stored and P_eq_1",
+            actions: [
+                { verb: "Check_I_Frame_Acknowledged", kind: "subroutine" },
+                { verb: "V(r) := V(r) + 1", kind: "processing" },
+                { verb: "clear_reject_exception", kind: "processing" },
+                { verb: "decrement_srej_exception_if_gt_0", kind: "processing" },
+                { verb: "DL_DATA_indication", kind: "signal_upper" },
+                { verb: "retrieve_stored_V_r_I_frame", kind: "processing" },
+                { verb: "DL_DATA_indication", kind: "signal_upper" },
+                { verb: "V(r) := V(r) + 1", kind: "processing" },
+                { verb: "F := 1", kind: "processing" },
+                { verb: "N(r) := V(r)", kind: "processing" },
+                { verb: "RR", kind: "signal_lower" },
+                { verb: "clear_acknowledge_pending", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "Loop body (retrieve / DL-DATA Indication / V(r)++) drained\nvia the `loop_while` step — iterates until V(r) I Frame Stored\nreturns false. Compiled to flat Actions[] with a LoopRange entry;\nruntime loop semantics handled by loop-aware dispatchers, falls\nback to one-iteration on legacy consumers (matches today's smoke\ntest behaviour).\n",
+            references: [
+                { source: "spec_prose", cite: "§6.4.4.2", quote: "When an I frame is received…the frame is retained…This mode requires frame queuing and frame resequencing at the receiver.", path: "", function: "", line: 0, note: "" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1628, note: "Loop to drain stored out-of-order iframes — stub only (`while false`); TODO: \"check for stored out of order frames\"" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame_continued", line: 2906, note: "Drain SREJ-buffered out-of-order frames now contiguous with V(R) — equivalent of figure's stored-frame loop" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SDIFRM", line: 2586, note: "After REJ, when missing frame arrives, replays stored RXFRAMES via CheckNSLoop → PROC_I_FRAME at 2593" },
+            ],
+            loops: [
+                { start: 5, length: 3, predicate: "V_r_I_frame_stored" },
+            ],
+        },
+        {
+            id: "t68_i_received_in_seq_stored_p_eq_0_ack_pending",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and info_field_valid and V_a_le_N_r_le_V_s and not own_receiver_busy and N_s_eq_V_r and V_r_I_frame_stored and not P_eq_1 and acknowledge_pending",
+            actions: [
+                { verb: "Check_I_Frame_Acknowledged", kind: "subroutine" },
+                { verb: "V(r) := V(r) + 1", kind: "processing" },
+                { verb: "clear_reject_exception", kind: "processing" },
+                { verb: "decrement_srej_exception_if_gt_0", kind: "processing" },
+                { verb: "DL_DATA_indication", kind: "signal_upper" },
+                { verb: "retrieve_stored_V_r_I_frame", kind: "processing" },
+                { verb: "DL_DATA_indication", kind: "signal_upper" },
+                { verb: "V(r) := V(r) + 1", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "Same stored-frame loop as t67; continues into the not-polled /\nack-pending tail.\n",
+            references: [
+                { source: "spec_prose", cite: "§6.4.4.2", quote: "When an I frame is received…the frame is retained…This mode requires frame queuing and frame resequencing at the receiver.", path: "", function: "", line: 0, note: "" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1628, note: "same loop stub as t67" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame_continued", line: 2906, note: "same drain loop as t67" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "SDIFRM", line: 2586, note: "same replay path as t67" },
+            ],
+            loops: [
+                { start: 5, length: 3, predicate: "V_r_I_frame_stored" },
+            ],
+        },
+        {
+            id: "t69_i_received_in_seq_stored_p_eq_0_no_ack_pending",
+            from: "Connected",
+            on: "I_received",
+            guard: "command and info_field_valid and V_a_le_N_r_le_V_s and not own_receiver_busy and N_s_eq_V_r and V_r_I_frame_stored and not P_eq_1 and not acknowledge_pending",
+            actions: [
+                { verb: "Check_I_Frame_Acknowledged", kind: "subroutine" },
+                { verb: "V(r) := V(r) + 1", kind: "processing" },
+                { verb: "clear_reject_exception", kind: "processing" },
+                { verb: "decrement_srej_exception_if_gt_0", kind: "processing" },
+                { verb: "DL_DATA_indication", kind: "signal_upper" },
+                { verb: "retrieve_stored_V_r_I_frame", kind: "processing" },
+                { verb: "DL_DATA_indication", kind: "signal_upper" },
+                { verb: "V(r) := V(r) + 1", kind: "processing" },
+                { verb: "LM_seize_request", kind: "signal_lower" },
+                { verb: "set_acknowledge_pending", kind: "processing" },
+            ],
+            next: "Connected",
+            notes: "Same stored-frame loop as t67; continues into the not-polled /\nno-ack tail.\n",
+            references: [
+                { source: "spec_prose", cite: "§6.4.4.2", quote: "When an I frame is received…the frame is retained…This mode requires frame queuing and frame resequencing at the receiver.", path: "", function: "", line: 0, note: "" },
+                { source: "rax25", cite: "", quote: "", path: "src/state.rs", function: "Connected::iframe", line: 1628, note: "same loop stub" },
+                { source: "direwolf", cite: "", quote: "", path: "src/ax25_link.c", function: "i_frame_continued", line: 2906, note: "same drain loop" },
+                { source: "linbpq", cite: "", quote: "", path: "L2Code.c", function: "RR_OR_RNR", line: 4185, note: "Second replay loop in RR_OR_RNR — replays RXFRAMES when about to send supervisory response" },
+            ],
+            loops: [
+                { start: 5, length: 3, predicate: "V_r_I_frame_stored" },
+            ],
+        },
+    ],
+};
+//# sourceMappingURL=connected.g.js.map