ax25sdl 0.1.0

package/dist/ax25sdl/subroutines.g.js

@@ -0,0 +1,497 @@
+// Code generated by tools/Packet.Sdl.CodeGen from spec-sdl/data-link/subroutines.sdl.yaml.
+// DO NOT EDIT. Run `dotnet run --project tools/Packet.Sdl.CodeGen` to regenerate.
+/**
+ * SDL subroutines for the data_link machine.
+ * Source: AX.25 v2.2 rev 4, figure C4.7.
+ */
+export const DataLinkSubroutines = {
+    machine: "data_link",
+    source: { spec: "AX.25 v2.2 rev 4", figure: "C4.7", url: "https://github.com/packethacking/ax25spec/blob/main/doc/ax.25.2.2.4_Oct_25.md" },
+    subroutines: [
+        {
+            name: "N_r_Error_Recovery",
+            paths: [
+                {
+                    id: "t01_recover",
+                    guard: "",
+                    actions: [
+                        { verb: "DL-ERROR Indication (J)", kind: "signal_upper" },
+                        { verb: "Establish_Data_Link", kind: "subroutine" },
+                        { verb: "Clear Layer 3 Initiated", kind: "processing" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+            ],
+            notes: "Three-step recovery when an inbound frame's N(r) is invalid.\nSignals DL-ERROR (J), calls Establish_Data_Link to restart the\nlink, then clears the Layer-3-initiated flag.\n",
+            references: [],
+        },
+        {
+            name: "Clear_Exception_Conditions",
+            paths: [
+                {
+                    id: "t01_clear_all",
+                    guard: "",
+                    actions: [
+                        { verb: "Clear Peer Receiver Busy", kind: "processing" },
+                        { verb: "Clear Own Receiver Busy", kind: "processing" },
+                        { verb: "Clear Reject Condition", kind: "processing" },
+                        { verb: "Clear Sreject Condition", kind: "processing" },
+                        { verb: "Clear Acknowledge Pending", kind: "processing" },
+                        { verb: "Discard I Queue Entries", kind: "processing" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+            ],
+            notes: "Six-action reset of all exception bookkeeping. Drawn as a single\nmulti-line processing box in the figure; transcribed as one\naction per line per the runbook's multi-line-box rule.\n",
+            references: [],
+        },
+        {
+            name: "Transmit_Enquiry",
+            paths: [
+                {
+                    id: "t01_not_busy_sends_rr",
+                    guard: "not own_receiver_busy",
+                    actions: [
+                        { verb: "P <- 1", kind: "processing" },
+                        { verb: "N(r) <- V(r)", kind: "processing" },
+                        { verb: "RR Command", kind: "signal_lower" },
+                        { verb: "Clear Acknowledge Pending", kind: "processing" },
+                        { verb: "Start T1", kind: "processing" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t02_busy_sends_rnr",
+                    guard: "own_receiver_busy",
+                    actions: [
+                        { verb: "P <- 1", kind: "processing" },
+                        { verb: "N(r) <- V(r)", kind: "processing" },
+                        { verb: "RNR Command", kind: "signal_lower" },
+                        { verb: "Clear Acknowledge Pending", kind: "processing" },
+                        { verb: "Start T1", kind: "processing" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+            ],
+            notes: "Polls the peer with RR-cmd or RNR-cmd (P=1) depending on whether\nwe ourselves are in busy state.\n",
+            references: [],
+        },
+        {
+            name: "Enquiry_Response",
+            paths: [
+                {
+                    id: "t01_not_polled_rr_response",
+                    guard: "not f_eq_1_and_supervisory_or_i",
+                    actions: [
+                        { verb: "N(r) <- V(r)", kind: "processing" },
+                        { verb: "RR Response", kind: "signal_lower" },
+                        { verb: "Clear Acknowledge Pending", kind: "processing" },
+                    ],
+                    notes: "F==1-supervisory-or-I check fails; just send RR Response.\n",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t02_polled_busy_rnr",
+                    guard: "f_eq_1_and_supervisory_or_i and own_receiver_busy",
+                    actions: [
+                        { verb: "N(r) <- V(r)", kind: "processing" },
+                        { verb: "RNR Response", kind: "signal_lower" },
+                        { verb: "Clear Acknowledge Pending", kind: "processing" },
+                    ],
+                    notes: "Polled and we're busy: respond with RNR.\n",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t03_polled_srej_disabled_rr",
+                    guard: "f_eq_1_and_supervisory_or_i and not own_receiver_busy and not srej_enabled",
+                    actions: [
+                        { verb: "N(r) <- V(r)", kind: "processing" },
+                        { verb: "RR Response", kind: "signal_lower" },
+                        { verb: "Clear Acknowledge Pending", kind: "processing" },
+                    ],
+                    notes: "Polled, not busy, SREJ not enabled → just RR Response.\n(Added in commit 46d3782 after the original redraw omitted\nthis edge.)\n",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t04_polled_srej_mod8_dl_error_then_buf_yes",
+                    guard: "f_eq_1_and_supervisory_or_i and not own_receiver_busy and srej_enabled and mod_8 and out_of_sequence_frames_in_receive_buffer",
+                    actions: [
+                        { verb: "N(r) <- V(r)", kind: "processing" },
+                        { verb: "DL-ERROR Indication (add)", kind: "signal_upper" },
+                        { verb: "SREJ", kind: "signal_lower" },
+                        { verb: "RR Response", kind: "signal_lower" },
+                        { verb: "Clear Acknowledge Pending", kind: "processing" },
+                    ],
+                    notes: "Polled, not busy, SREJ enabled, Mod 8 (so DL-ERROR add),\nand we have stored out-of-sequence frames → emit SREJ\nbefore the RR Response.\n",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t05_polled_srej_mod8_dl_error_then_buf_no",
+                    guard: "f_eq_1_and_supervisory_or_i and not own_receiver_busy and srej_enabled and mod_8 and not out_of_sequence_frames_in_receive_buffer",
+                    actions: [
+                        { verb: "N(r) <- V(r)", kind: "processing" },
+                        { verb: "DL-ERROR Indication (add)", kind: "signal_upper" },
+                        { verb: "RR Response", kind: "signal_lower" },
+                        { verb: "Clear Acknowledge Pending", kind: "processing" },
+                    ],
+                    notes: "Same as t04 but no stored out-of-sequence frames → straight\nto RR Response after DL-ERROR.\n",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t06_polled_srej_mod128_buf_yes",
+                    guard: "f_eq_1_and_supervisory_or_i and not own_receiver_busy and srej_enabled and not mod_8 and out_of_sequence_frames_in_receive_buffer",
+                    actions: [
+                        { verb: "N(r) <- V(r)", kind: "processing" },
+                        { verb: "SREJ", kind: "signal_lower" },
+                        { verb: "RR Response", kind: "signal_lower" },
+                        { verb: "Clear Acknowledge Pending", kind: "processing" },
+                    ],
+                    notes: "Polled, not busy, SREJ enabled, Mod 128 (no DL-ERROR), and\nstored frames present → SREJ then RR Response.\n",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t07_polled_srej_mod128_buf_no",
+                    guard: "f_eq_1_and_supervisory_or_i and not own_receiver_busy and srej_enabled and not mod_8 and not out_of_sequence_frames_in_receive_buffer",
+                    actions: [
+                        { verb: "N(r) <- V(r)", kind: "processing" },
+                        { verb: "RR Response", kind: "signal_lower" },
+                        { verb: "Clear Acknowledge Pending", kind: "processing" },
+                    ],
+                    notes: "Polled, not busy, SREJ enabled, Mod 128, no stored frames →\nstraight to RR Response.\n",
+                    references: [],
+                    loops: [],
+                },
+            ],
+            notes: "Polled-response handler. Five chained decisions; multiple paths\nconverge on a shared \"RR Response\" + \"Clear Acknowledge Pending\"\ntail before return.\n\nBoth figure ambiguities flagged on the original transcription\n(commit caa7326) were resolved upstream in commit 46d3782:\nn22 SREJ-Enabled?=No now explicitly routes to RR Response.\n",
+            references: [],
+        },
+        {
+            name: "Invoke_Retransmission",
+            paths: [
+                {
+                    id: "t01_retransmit_loop",
+                    guard: "",
+                    actions: [
+                        { verb: "Backtrack", kind: "processing" },
+                        { verb: "X <- V(s)", kind: "processing" },
+                        { verb: "V(s) <- N(r)", kind: "processing" },
+                        { verb: "Push Old I Frame onto Queue", kind: "internal_out" },
+                        { verb: "V(s) <- V(s) + 1", kind: "processing" },
+                    ],
+                    notes: "The figure draws this as a diamond loop `Push... → V(s) := V(s)+1 → V(s) == X? → if No, back to Push`. Our `loop_while` construct iterates while its predicate is TRUE, so we encode the inverse `v_s_neq_x` (predicate `not v_s_eq_x`). A future codegen extension could accept a `negate: true` modifier so the YAML can reuse the figure's literal predicate; for now we encode the inverse.\n",
+                    references: [],
+                    loops: [
+                        { start: 3, length: 2, predicate: "not v_s_eq_x" },
+                    ],
+                },
+            ],
+            notes: "Push every I-frame from N(r) up to V(s) back onto the send\nqueue. Spec-canonical loop: backtrack V(s) to N(r), push,\nincrement, repeat until back at X (the original V(s)).\n",
+            references: [],
+        },
+        {
+            name: "Check_I_Frame_Acknowledged",
+            paths: [
+                {
+                    id: "t01_peer_busy_t1_running",
+                    guard: "peer_receiver_busy and t1_running",
+                    actions: [
+                        { verb: "V(a) <- N(r)", kind: "processing" },
+                        { verb: "Stop T3", kind: "processing" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t02_peer_busy_t1_stopped",
+                    guard: "peer_receiver_busy and not t1_running",
+                    actions: [
+                        { verb: "V(a) <- N(r)", kind: "processing" },
+                        { verb: "Stop T3", kind: "processing" },
+                        { verb: "Start T1", kind: "processing" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t03_caught_up_select_t1",
+                    guard: "not peer_receiver_busy and n_r_eq_v_s",
+                    actions: [
+                        { verb: "V(a) <- N(r)", kind: "processing" },
+                        { verb: "Stop T1", kind: "processing" },
+                        { verb: "Start T3", kind: "processing" },
+                        { verb: "Select_T1_Value", kind: "subroutine" },
+                    ],
+                    notes: "Peer not busy, N(r) == V(s): we're fully caught up. Update\nV(a), stop T1, start T3, then run Select_T1_Value to\nrecompute the next T1.\n",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t04_partial_ack_n_r_eq_v_a",
+                    guard: "not peer_receiver_busy and not n_r_eq_v_s and n_r_eq_v_a",
+                    actions: [],
+                    notes: "Peer not busy, N(r) != V(s) but N(r) == V(a): no progress;\ndrop straight to the join (no action).\n",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t05_partial_ack_progress",
+                    guard: "not peer_receiver_busy and not n_r_eq_v_s and not n_r_eq_v_a",
+                    actions: [
+                        { verb: "V(a) <- N(r)", kind: "processing" },
+                        { verb: "Start T1", kind: "processing" },
+                    ],
+                    notes: "Peer not busy, partial ack with progress: advance V(a) and\nrestart T1.\n",
+                    references: [],
+                    loops: [],
+                },
+            ],
+            notes: "Process an incoming N(r) and update V(a) / T1 / T3 state\naccordingly. Four chained decisions, multiple join paths.\n",
+            references: [],
+        },
+        {
+            name: "Establish_Data_Link",
+            paths: [
+                {
+                    id: "t01_mod_8_sabm",
+                    guard: "not mod_128",
+                    actions: [
+                        { verb: "Clear Exception Conditions", kind: "processing" },
+                        { verb: "RC <- 1", kind: "processing" },
+                        { verb: "P <- 1", kind: "processing" },
+                        { verb: "SABM", kind: "signal_lower" },
+                        { verb: "Stop T3", kind: "processing" },
+                        { verb: "Start T1", kind: "processing" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t02_mod_128_sabme",
+                    guard: "mod_128",
+                    actions: [
+                        { verb: "Clear Exception Conditions", kind: "processing" },
+                        { verb: "RC <- 1", kind: "processing" },
+                        { verb: "P <- 1", kind: "processing" },
+                        { verb: "SABME", kind: "signal_lower" },
+                        { verb: "Stop T3", kind: "processing" },
+                        { verb: "Start T1", kind: "processing" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+            ],
+            notes: "Clear exception bookkeeping, set the retry counter and P flag,\nsend SABM or SABME depending on Mod 128 state, then start T1.\n",
+            references: [],
+        },
+        {
+            name: "Establish_Extended_Data_Link",
+            paths: [
+                {
+                    id: "t01_mod_8_sabm",
+                    guard: "not mod_128",
+                    actions: [
+                        { verb: "Clear Exception Conditions", kind: "processing" },
+                        { verb: "RC <- 1", kind: "processing" },
+                        { verb: "P <- 1", kind: "processing" },
+                        { verb: "SABM", kind: "signal_lower" },
+                        { verb: "Stop T3", kind: "processing" },
+                        { verb: "Start T1", kind: "processing" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t02_mod_128_sabme",
+                    guard: "mod_128",
+                    actions: [
+                        { verb: "Clear Exception Conditions", kind: "processing" },
+                        { verb: "RC <- 1", kind: "processing" },
+                        { verb: "P <- 1", kind: "processing" },
+                        { verb: "SABME", kind: "signal_lower" },
+                        { verb: "Stop T3", kind: "processing" },
+                        { verb: "Start T1", kind: "processing" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+            ],
+            notes: "Shares its body with Establish_Data_Link (both subroutine-start\nnodes in the graphml flow into the same shared body at n48).\nFunctionally identical — the body's `Mod 128?` test picks\nSABM vs SABME so the caller's choice of name is informational.\nTracked separately because state-machine pages (figc4.2 vs\nfigc4.4) reference them by distinct names.\n",
+            references: [],
+        },
+        {
+            name: "Check_Need_For_Response",
+            paths: [
+                {
+                    id: "t01_command_poll_enquiry_response",
+                    guard: "command_and_p_eq_1",
+                    actions: [
+                        { verb: "Enquiry_Response_F_1", kind: "subroutine" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t02_response_f_unexpected_dl_error",
+                    guard: "not command_and_p_eq_1 and response_and_f_eq_1",
+                    actions: [
+                        { verb: "DL-ERROR Indication (A)", kind: "signal_upper" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t03_neither_silent_return",
+                    guard: "not command_and_p_eq_1 and not response_and_f_eq_1",
+                    actions: [],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+            ],
+            notes: "Looks at incoming command/response role + P/F bit and either\nsends Enquiry_Response(F=1) (when it was a poll), surfaces a\nDL-ERROR (A) (response with F=1 when not expected), or returns\nsilently.\n",
+            references: [],
+        },
+        {
+            name: "UI_Check",
+            paths: [
+                {
+                    id: "t01_response_dl_error_q",
+                    guard: "not incoming_is_command",
+                    actions: [
+                        { verb: "DL-ERROR Indication (Q)", kind: "signal_upper" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t02_command_valid_unit_data",
+                    guard: "incoming_is_command and ui_info_field_valid",
+                    actions: [
+                        { verb: "DL-UNIT-DATA Indication", kind: "signal_upper" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t03_command_invalid_dl_error_k",
+                    guard: "incoming_is_command and not ui_info_field_valid",
+                    actions: [
+                        { verb: "DL-ERROR Indication (K)", kind: "signal_upper" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+            ],
+            notes: "Validates a received UI frame. Rejects if it's a response (Q\nerror), accepts if info length ≤ N1 and the content is\noctet-aligned (DL-UNIT-DATA indication), or surfaces a K error.\n",
+            references: [],
+        },
+        {
+            name: "Select_T1_Value",
+            paths: [
+                {
+                    id: "t01_fresh_ack_iir",
+                    guard: "rc_eq_0",
+                    actions: [
+                        { verb: "SRT <- 7(SRT)/8 + (T1)/8 - (Remaining Time on T1 When Last Stopped)/8", kind: "processing" },
+                        { verb: "Next T1 <- 2 * SRT", kind: "processing" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t02_retry_t1_expired",
+                    guard: "not rc_eq_0 and t1_expired",
+                    actions: [
+                        { verb: "Next T1 <- (RC*0.25)+SRT*2", kind: "processing" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+                {
+                    id: "t03_no_change",
+                    guard: "not rc_eq_0 and not t1_expired",
+                    actions: [],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+            ],
+            notes: "Recompute SRT (smoothed round-trip estimate) and the next T1\ntimeout. On a fresh-ack path (RC==0) the spec's IIR-style\nformula runs; on a retry path (RC > 0, T1 expired) we just\nbump T1V to next-attempt. Otherwise return without change.\n\nCanonical name `Select_T1_Value` (the figure's start label is\njust \"Select T1\" but the existing registry / state pages use\nthe longer form).\n",
+            references: [],
+        },
+        {
+            name: "Set_Version_2_0",
+            paths: [
+                {
+                    id: "t01_v2_0_defaults",
+                    guard: "",
+                    actions: [
+                        { verb: "Set Half Duplex", kind: "processing" },
+                        { verb: "Set Implicit Reject", kind: "processing" },
+                        { verb: "Modulo <- 8", kind: "processing" },
+                        { verb: "N1 <- 2048", kind: "processing" },
+                        { verb: "k <- 8", kind: "processing" },
+                        { verb: "T2 <- 3000", kind: "processing" },
+                        { verb: "N2 <- 10", kind: "processing" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+            ],
+            notes: "Configure all v2.0-specific parameters. Single multi-line\nprocessing box in the figure; transcribed as one action per\nline.\n",
+            references: [],
+        },
+        {
+            name: "Set_Version_2_2",
+            paths: [
+                {
+                    id: "t01_v2_2_defaults",
+                    guard: "",
+                    actions: [
+                        { verb: "Set Half Duplex", kind: "processing" },
+                        { verb: "Set Selective Reject", kind: "processing" },
+                        { verb: "Modulo <- 128", kind: "processing" },
+                        { verb: "N1 <- 2048", kind: "processing" },
+                        { verb: "k <- 32", kind: "processing" },
+                        { verb: "T2 <- 3000", kind: "processing" },
+                        { verb: "N2 <- 10", kind: "processing" },
+                    ],
+                    notes: "",
+                    references: [],
+                    loops: [],
+                },
+            ],
+            notes: "Configure all v2.2-specific parameters. Differs from v2.0 in\nSelective Reject (vs Implicit Reject), Modulo 128 (vs 8) and\nk = 32 (vs 8).\n",
+            references: [],
+        },
+    ],
+};
+//# sourceMappingURL=subroutines.g.js.map

package/dist/ax25sdl/subroutines.g.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"subroutines.g.js","sourceRoot":"","sources":["../../src/ax25sdl/subroutines.g.ts"],"names":[],"mappings":"AAAA,2FAA2F;AAC3F,kFAAkF;AAIlF;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAoB;IAClD,OAAO,EAAE,WAAW;IACpB,MAAM,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,+EAA+E,EAAE;IAC1I,WAAW,EAAE;QACX;YACE,IAAI,EAAE,oBAAoB;YAC1B,KAAK,EAAE;gBACL;oBACE,EAAE,EAAE,aAAa;oBACjB,KAAK,EAAE,EAAE;oBACT,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,cAAc,EAAE;wBACzD,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,YAAY,EAAE;wBACnD,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,YAAY,EAAE;qBACxD;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;aACF;YACD,KAAK,EAAE,+KAA+K;YACtL,UAAU,EAAE,EAAE;SACf;QACD;YACE,IAAI,EAAE,4BAA4B;YAClC,KAAK,EAAE;gBACL;oBACE,EAAE,EAAE,eAAe;oBACnB,KAAK,EAAE,EAAE;oBACT,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,0BAA0B,EAAE,IAAI,EAAE,YAAY,EAAE;wBACxD,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,YAAY,EAAE;wBACvD,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,YAAY,EAAE;wBACtD,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,YAAY,EAAE;wBACvD,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,YAAY,EAAE;wBACzD,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,YAAY,EAAE;qBACxD;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;aACF;YACD,KAAK,EAAE,yLAAyL;YAChM,UAAU,EAAE,EAAE;SACf;QACD;YACE,IAAI,EAAE,kBAAkB;YACxB,KAAK,EAAE;gBACL;oBACE,EAAE,EAAE,uBAAuB;oBAC3B,KAAK,EAAE,uBAAuB;oBAC9B,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE;wBACtC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC5C,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,cAAc,EAAE;wBAC5C,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,YAAY,EAAE;wBACzD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;qBACzC;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,oBAAoB;oBACxB,KAAK,EAAE,mBAAmB;oBAC1B,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE;wBACtC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC5C,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,cAAc,EAAE;wBAC7C,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,YAAY,EAAE;wBACzD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;qBACzC;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;aACF;YACD,KAAK,EAAE,qGAAqG;YAC5G,UAAU,EAAE,EAAE;SACf;QACD;YACE,IAAI,EAAE,kBAAkB;YACxB,KAAK,EAAE;gBACL;oBACE,EAAE,EAAE,4BAA4B;oBAChC,KAAK,EAAE,iCAAiC;oBACxC,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC5C,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,cAAc,EAAE;wBAC7C,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,YAAY,EAAE;qBAC1D;oBACD,KAAK,EAAE,6DAA6D;oBACpE,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,qBAAqB;oBACzB,KAAK,EAAE,mDAAmD;oBAC1D,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC5C,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,cAAc,EAAE;wBAC9C,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,YAAY,EAAE;qBAC1D;oBACD,KAAK,EAAE,4CAA4C;oBACnD,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,6BAA6B;oBACjC,KAAK,EAAE,4EAA4E;oBACnF,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC5C,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,cAAc,EAAE;wBAC7C,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,YAAY,EAAE;qBAC1D;oBACD,KAAK,EAAE,mIAAmI;oBAC1I,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,4CAA4C;oBAChD,KAAK,EAAE,+HAA+H;oBACtI,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC5C,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,cAAc,EAAE;wBAC3D,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE;wBACtC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,cAAc,EAAE;wBAC7C,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,YAAY,EAAE;qBAC1D;oBACD,KAAK,EAAE,4IAA4I;oBACnJ,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,2CAA2C;oBAC/C,KAAK,EAAE,mIAAmI;oBAC1I,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC5C,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,cAAc,EAAE;wBAC3D,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,cAAc,EAAE;wBAC7C,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,YAAY,EAAE;qBAC1D;oBACD,KAAK,EAAE,+FAA+F;oBACtG,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,gCAAgC;oBACpC,KAAK,EAAE,mIAAmI;oBAC1I,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC5C,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE;wBACtC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,cAAc,EAAE;wBAC7C,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,YAAY,EAAE;qBAC1D;oBACD,KAAK,EAAE,8GAA8G;oBACrH,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,+BAA+B;oBACnC,KAAK,EAAE,uIAAuI;oBAC9I,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC5C,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,cAAc,EAAE;wBAC7C,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,YAAY,EAAE;qBAC1D;oBACD,KAAK,EAAE,yFAAyF;oBAChG,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;aACF;YACD,KAAK,EAAE,uVAAuV;YAC9V,UAAU,EAAE,EAAE;SACf;QACD;YACE,IAAI,EAAE,uBAAuB;YAC7B,KAAK,EAAE;gBACL;oBACE,EAAE,EAAE,qBAAqB;oBACzB,KAAK,EAAE,EAAE;oBACT,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE;wBACzC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE;wBACzC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC5C,EAAE,IAAI,EAAE,6BAA6B,EAAE,IAAI,EAAE,cAAc,EAAE;wBAC7D,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,YAAY,EAAE;qBACjD;oBACD,KAAK,EAAE,mYAAmY;oBAC1Y,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE;wBACL,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,cAAc,EAAE;qBACnD;iBACF;aACF;YACD,KAAK,EAAE,iLAAiL;YACxL,UAAU,EAAE,EAAE;SACf;QACD;YACE,IAAI,EAAE,4BAA4B;YAClC,KAAK,EAAE;gBACL;oBACE,EAAE,EAAE,0BAA0B;oBAC9B,KAAK,EAAE,mCAAmC;oBAC1C,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC5C,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE;qBACxC;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,0BAA0B;oBAC9B,KAAK,EAAE,uCAAuC;oBAC9C,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC5C,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE;wBACvC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;qBACzC;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,yBAAyB;oBAC7B,KAAK,EAAE,uCAAuC;oBAC9C,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC5C,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE;wBACvC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;wBACxC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,YAAY,EAAE;qBAChD;oBACD,KAAK,EAAE,4IAA4I;oBACnJ,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,4BAA4B;oBAChC,KAAK,EAAE,0DAA0D;oBACjE,OAAO,EAAE,EAAE;oBACX,KAAK,EAAE,sGAAsG;oBAC7G,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,0BAA0B;oBAC9B,KAAK,EAAE,8DAA8D;oBACrE,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC5C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;qBACzC;oBACD,KAAK,EAAE,2EAA2E;oBAClF,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;aACF;YACD,KAAK,EAAE,uHAAuH;YAC9H,UAAU,EAAE,EAAE;SACf;QACD;YACE,IAAI,EAAE,qBAAqB;YAC3B,KAAK,EAAE;gBACL;oBACE,EAAE,EAAE,gBAAgB;oBACpB,KAAK,EAAE,aAAa;oBACpB,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,4BAA4B,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC1D,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE;wBACvC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE;wBACtC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE;wBACtC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE;wBACvC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;qBACzC;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,mBAAmB;oBACvB,KAAK,EAAE,SAAS;oBAChB,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,4BAA4B,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC1D,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE;wBACvC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE;wBACtC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE;wBACvC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE;wBACvC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;qBACzC;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;aACF;YACD,KAAK,EAAE,iIAAiI;YACxI,UAAU,EAAE,EAAE;SACf;QACD;YACE,IAAI,EAAE,8BAA8B;YACpC,KAAK,EAAE;gBACL;oBACE,EAAE,EAAE,gBAAgB;oBACpB,KAAK,EAAE,aAAa;oBACpB,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,4BAA4B,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC1D,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE;wBACvC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE;wBACtC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE;wBACtC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE;wBACvC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;qBACzC;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,mBAAmB;oBACvB,KAAK,EAAE,SAAS;oBAChB,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,4BAA4B,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC1D,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE;wBACvC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE;wBACtC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE;wBACvC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE;wBACvC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;qBACzC;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;aACF;YACD,KAAK,EAAE,oWAAoW;YAC3W,UAAU,EAAE,EAAE;SACf;QACD;YACE,IAAI,EAAE,yBAAyB;YAC/B,KAAK,EAAE;gBACL;oBACE,EAAE,EAAE,mCAAmC;oBACvC,KAAK,EAAE,oBAAoB;oBAC3B,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,sBAAsB,EAAE,IAAI,EAAE,YAAY,EAAE;qBACrD;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,oCAAoC;oBACxC,KAAK,EAAE,gDAAgD;oBACvD,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,cAAc,EAAE;qBAC1D;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,2BAA2B;oBAC/B,KAAK,EAAE,oDAAoD;oBAC3D,OAAO,EAAE,EAAE;oBACX,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;aACF;YACD,KAAK,EAAE,yMAAyM;YAChN,UAAU,EAAE,EAAE;SACf;QACD;YACE,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE;gBACL;oBACE,EAAE,EAAE,yBAAyB;oBAC7B,KAAK,EAAE,yBAAyB;oBAChC,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,cAAc,EAAE;qBAC1D;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,6BAA6B;oBACjC,KAAK,EAAE,6CAA6C;oBACpD,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,cAAc,EAAE;qBAC1D;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,gCAAgC;oBACpC,KAAK,EAAE,iDAAiD;oBACxD,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,cAAc,EAAE;qBAC1D;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;aACF;YACD,KAAK,EAAE,yLAAyL;YAChM,UAAU,EAAE,EAAE;SACf;QACD;YACE,IAAI,EAAE,iBAAiB;YACvB,KAAK,EAAE;gBACL;oBACE,EAAE,EAAE,mBAAmB;oBACvB,KAAK,EAAE,SAAS;oBAChB,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,uEAAuE,EAAE,IAAI,EAAE,YAAY,EAAE;wBACrG,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,YAAY,EAAE;qBACnD;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,sBAAsB;oBAC1B,KAAK,EAAE,4BAA4B;oBACnC,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,4BAA4B,EAAE,IAAI,EAAE,YAAY,EAAE;qBAC3D;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;gBACD;oBACE,EAAE,EAAE,eAAe;oBACnB,KAAK,EAAE,gCAAgC;oBACvC,OAAO,EAAE,EAAE;oBACX,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;aACF;YACD,KAAK,EAAE,uYAAuY;YAC9Y,UAAU,EAAE,EAAE;SACf;QACD;YACE,IAAI,EAAE,iBAAiB;YACvB,KAAK,EAAE;gBACL;oBACE,EAAE,EAAE,mBAAmB;oBACvB,KAAK,EAAE,EAAE;oBACT,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC/C,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,YAAY,EAAE;wBACnD,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC3C,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE;wBACtC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC1C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;qBACzC;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;aACF;YACD,KAAK,EAAE,iIAAiI;YACxI,UAAU,EAAE,EAAE;SACf;QACD;YACE,IAAI,EAAE,iBAAiB;YACvB,KAAK,EAAE;gBACL;oBACE,EAAE,EAAE,mBAAmB;oBACvB,KAAK,EAAE,EAAE;oBACT,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC/C,EAAE,IAAI,EAAE,sBAAsB,EAAE,IAAI,EAAE,YAAY,EAAE;wBACpD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC7C,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC1C,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE;wBACvC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE;wBAC1C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;qBACzC;oBACD,KAAK,EAAE,EAAE;oBACT,UAAU,EAAE,EAAE;oBACd,KAAK,EAAE,EAAE;iBACV;aACF;YACD,KAAK,EAAE,8IAA8I;YACrJ,UAAU,EAAE,EAAE;SACf;KACF;CACF,CAAC"}

package/dist/ax25sdl/types.d.ts

@@ -0,0 +1,94 @@
+/**
+ * Classifies how an SDL action verb interacts with the surrounding
+ * system. Mirrors the C# Packet.Ax25.Sdl.ActionKind enum and the kind
+ * groups in spec-sdl/actions.yaml.
+ */
+export type ActionKind = "signal_upper" | "signal_lower" | "processing" | "subroutine" | "internal_out";
+/** Identifies which figure of which specification a page was transcribed from. */
+export interface SdlSource {
+    readonly spec: string;
+    readonly figure: string;
+    /** Empty when no URL recorded. */
+    readonly url: string;
+}
+/**
+ * One verb + kind pair along a transition or subroutine path. The
+ * verb is the canonical spelling from spec-sdl/actions.yaml; aliases
+ * are normalised at codegen time.
+ */
+export interface ActionStep {
+    readonly verb: string;
+    readonly kind: ActionKind;
+}
+/**
+ * Records a loop_while construct as a slice over the flat actions
+ * list. start/length describe the body; predicate is the boolean
+ * expression gating re-execution.
+ */
+export interface LoopRange {
+    readonly start: number;
+    readonly length: number;
+    readonly predicate: string;
+}
+/**
+ * One citation supporting a transition or subroutine path. source is
+ * "spec_prose" or the key of a pinned_refs entry. Spec-prose
+ * citations populate cite/quote; code citations populate
+ * path/function/line.
+ */
+export interface ImplementationReference {
+    readonly source: string;
+    readonly cite: string;
+    readonly quote: string;
+    readonly path: string;
+    readonly function: string;
+    /** 0 = no line citation. */
+    readonly line: number;
+    readonly note: string;
+}
+/** One SDL transition column on a state-machine page. */
+export interface TransitionSpec {
+    readonly id: string;
+    readonly from: string;
+    readonly on: string;
+    /** Empty when unguarded. */
+    readonly guard: string;
+    readonly actions: readonly ActionStep[];
+    readonly next: string;
+    readonly notes: string;
+    readonly references: readonly ImplementationReference[];
+    readonly loops: readonly LoopRange[];
+}
+/**
+ * One path through a subroutine. Unlike a TransitionSpec there is no
+ * incoming event or destination state.
+ */
+export interface SubroutinePath {
+    readonly id: string;
+    readonly guard: string;
+    readonly actions: readonly ActionStep[];
+    readonly notes: string;
+    readonly references: readonly ImplementationReference[];
+    readonly loops: readonly LoopRange[];
+}
+/** One subroutine on a subroutine page. */
+export interface SubroutineSpec {
+    readonly name: string;
+    readonly paths: readonly SubroutinePath[];
+    readonly notes: string;
+    readonly references: readonly ImplementationReference[];
+}
+/** One generated state-machine page (figc4.1 / 4.2 / 4.3 / 4.4 / 4.6 etc.). */
+export interface StatePage {
+    readonly machine: string;
+    readonly state: string;
+    readonly source: SdlSource;
+    readonly transitions: readonly TransitionSpec[];
+}
+/** One generated subroutine page (figc4.7). */
+export interface SubroutinesPage {
+    readonly machine: string;
+    readonly source: SdlSource;
+    readonly subroutines: readonly SubroutineSpec[];
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/ax25sdl/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/ax25sdl/types.ts"],"names":[],"mappings":"AASA;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAClB,cAAc,GACd,cAAc,GACd,YAAY,GACZ,YAAY,GACZ,cAAc,CAAC;AAEnB,kFAAkF;AAClF,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kCAAkC;IAClC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;GAKG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,4BAA4B;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,yDAAyD;AACzD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,4BAA4B;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACxD,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;CACtC;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACxD,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;CACtC;AAED,2CAA2C;AAC3C,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,uBAAuB,EAAE,CAAC;CACzD;AAED,+EAA+E;AAC/E,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,SAAS,cAAc,EAAE,CAAC;CACjD;AAED,+CAA+C;AAC/C,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,SAAS,cAAc,EAAE,CAAC;CACjD"}

package/dist/ax25sdl/types.js

@@ -0,0 +1,10 @@
+// Hand-written runtime types for the ax25sdl package. The .g.ts files
+// in this directory import from this module; do not regenerate it.
+//
+// Empty-string and zero-int conventions stand in for nullable fields
+// throughout, to keep generated object literals readable. A guard of
+// "" means "no guard"; a line of 0 in an ImplementationReference means
+// "no line citation"; etc. Consumers should treat empty values as
+// absence.
+export {};
+//# sourceMappingURL=types.js.map

package/dist/ax25sdl/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/ax25sdl/types.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,mEAAmE;AACnE,EAAE;AACF,qEAAqE;AACrE,qEAAqE;AACrE,uEAAuE;AACvE,kEAAkE;AAClE,WAAW"}