<?xml version="1.0" encoding="UTF-8"?>
  <?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
  <!-- generated by https://github.com/cabo/kramdown-rfc version 1.7.30 (Ruby 4.0.1) -->


<!DOCTYPE rfc  [
  <!ENTITY nbsp    "&#160;">
  <!ENTITY zwsp   "&#8203;">
  <!ENTITY nbhy   "&#8209;">
  <!ENTITY wj     "&#8288;">

<!ENTITY RFC9717 SYSTEM "https://bib.ietf.org/public/rfc/bibxml/reference.RFC.9717.xml">
<!ENTITY RFC5715 SYSTEM "https://bib.ietf.org/public/rfc/bibxml/reference.RFC.5715.xml">
<!ENTITY RFC4552 SYSTEM "https://bib.ietf.org/public/rfc/bibxml/reference.RFC.4552.xml">
<!ENTITY RFC2119 SYSTEM "https://bib.ietf.org/public/rfc/bibxml/reference.RFC.2119.xml">
<!ENTITY RFC8174 SYSTEM "https://bib.ietf.org/public/rfc/bibxml/reference.RFC.8174.xml">
]>


<rfc ipr="trust200902" docName="draft-luan-rtgwg-sdaf-01" category="info" submissionType="IETF">
  <front>
    <title abbrev="SDAF for LEO">Symmetry-Driven Asynchronous Forwarding with Fast Reroute for LEO Satellite Networks (SDAF)</title>

    <author initials="S." surname="Luan" fullname="Shenshen Luan">
      <organization>Beihang University</organization>
      <address>
        <email>luanshenshen@buaa.edu.cn</email>
      </address>
    </author>
    <author initials="W." surname="Wei" fullname="Wenting Wei">
      <organization>Xidian University</organization>
      <address>
        <email>wtwei@xidian.edu.cn</email>
      </address>
    </author>
    <author initials="M." surname="Ke" fullname="Mingliang Ke">
      <organization>Xidian University</organization>
      <address>
        <email>mingliang.ke@stu.xidian.edu.cn</email>
      </address>
    </author>
    <author initials="D." surname="Hou" fullname="Dongxu Hou">
      <organization>ZTE Corporation</organization>
      <address>
        <email>hou.dongxu@zte.com.cn</email>
      </address>
    </author>
    <author initials="M." surname="Xiao" fullname="Min Xiao">
      <organization>ZTE Corporation</organization>
      <address>
        <email>xiao.min2@zte.com.cn</email>
      </address>
    </author>

    <date year="2026" month="June" day="06"/>

    <area>Routing</area>
    <workgroup>rtgwg</workgroup>
    <keyword>satellite</keyword> <keyword>LEO</keyword> <keyword>routing</keyword> <keyword>microloop avoidance</keyword> <keyword>symmetric topology</keyword>

    <abstract>


<?line 96?>

<t>Interior Gateway Protocols (IGPs) such as OSPF are commonly employed in satellite networks to address topology awareness and autonomous routing in response to link interruptions, link/node failures, and subsequent repairs. However, IGP-based approaches suffer from inherent limitations. Synchronization delays between the control plane and the forwarding plane can cause routing black holes, while asynchronous convergence across nodes may induce micro-loops (as described in prior work), leading to packet loss and congestion. These issues are particularly exacerbated in satellite networks characterized by highly dynamic topologies, long inter-satellite propagation delays, and constrained on-board computing resources.</t>

<t>This document describes the Symmetry-Driven Asynchronous Forwarding (SDAF) mechanism, which leverages the intrinsic symmetry of toroidal topologies in satellite networks. Low Earth Orbit (LEO) satellite constellations are typically composed of multiple circular orbital planes, forming a toroidal topology by inter-satellite links. SDAF autonomously triggers and processes reverse flows based solely on local link-state information, without requiring control-plane convergence, protocol extensions, or packet header modifications.</t>

<t>SDAF is fully compatible with existing protocols and technologies such as OSPFv3, IS-IS, and MPLS, and is specifically tailored to the resource-constrained nature of satellite systems. It achieves microsecond-scale convergence and low packet loss under failure conditions.</t>

<t>Simulation results and tests conducted on actual satellite routers demonstrate that the SDAF mechanism significantly suppresses packet loss caused by routing black holes and micro-loops, while also alleviating link congestion and packet reordering issues.</t>



    </abstract>



  </front>

  <middle>


<?line 106?>

<section anchor="introduction"><name>Introduction</name>

<section anchor="problem-statement"><name>Problem Statement</name>

<section anchor="onboard-characteristics-of-satellite-networks"><name>Onboard Characteristics of Satellite Networks</name>

<t>The onboard characteristics of satellite networks severely limit the applicability of conventional IGP routing approaches.</t>

<t>Highly Dynamic Topology: In LEO constellations, inter-satellite links (ISLs) undergo frequent disruptions due to orbital motion and scheduled maneuvers such as solar avoidance -- representing predictable dynamics. Additionally, unpredictable events like radiation-induced node or link failures introduce stochastic topology changes. These continuous alterations constantly reshape the network topology, triggering repeated routing convergence processes that result in significant performance degradation, including packet loss, congestion, and reordering. Traditional IGP schemes are designed for relatively stable topologies with sporadic failures and are inherently ill-suited to cope with the persistent and rapid dynamics inherent in LEO satellite networks.</t>

<t>Stringent Resource Constraints: Satellite payloads operate under strict environmental limitations -- weight, power consumption, and thermal dissipation -- which directly constrain onboard computing resources. Compared to terrestrial routers, satellite routers typically offer an order-of-magnitude lower CPU processing capability, only 1/10 to 1/5 of the memory capacity, and rely on limited solar-powered energy supply. These constraints make it impractical to run high-overhead protocols or sustain intensive, continuous computations. Conventional IGP approaches, however, require frequent topology flooding and repeated FIB updates to track dynamic changes -- generating substantial control-plane signaling traffic that consumes precious inter-satellite bandwidth and imposes unsustainable computational loads on resource-constrained satellite platforms.</t>

</section>
<section anchor="inherent-deficiencies-of-asynchronous-convergence"><name>Inherent Deficiencies of Asynchronous Convergence</name>

<t>The asynchronous convergence mechanism inherent in link-state IGP routing suffers significantly amplified negative effects in the context of satellite networks' highly dynamic topologies and stringent resource constraints, directly giving rise to three core issues that undermine forwarding continuity and reliability:</t>

<t>Micro-loops: Asynchronous updates across nodes -- caused by control-plane synchronization delays such as IGP flooding and FIB installation -- lead to transient forwarding inconsistencies, resulting in micro-loops <xref target="RFC5715"/>. In satellite networks, the combination of high topology dynamics and long inter-satellite propagation delays dramatically extends both the duration and spatial scope of these micro-loops, exacerbating packet loss and congestion.</t>

<t>Routing Black Holes: Upon sudden link or node failures, the control plane relies on mechanisms like Hello timeouts (typically &gt;= 1 second) and subsequent SPF (Shortest Path First) computations (tens to hundreds of milliseconds) -- processes that cannot be accelerated due to onboard resource limitations. Consequently, routers retain stale FIB entries for extended periods, causing sustained packet drops and forming persistent routing black holes that are difficult to recover from promptly.</t>

</section>
<section anchor="limitations-of-existing-approaches"><name>Limitations of Existing Approaches</name>

<t>Current loop-free convergence schemes (e.g., TI-LFA, SPRING) were not designed for satellite-specific constraints and thus fail to address the above issues:</t>

<t><list style="symbols">
  <t>They assume topological stability and are ill-suited for the frequent, constant topology fluctuations in LEO constellations. Repeated path precomputation, control-plane flooding, and FIB updates result in convergence delays far exceeding millisecond-scale requirements while increasing microloop risk.</t>
  <t>They incur significant protocol overhead through extensions (e.g., modified routing messages, new header fields) or continuous complex computation (e.g., global path planning, multiple backup paths). Such overhead exceeds the computational, memory, and bandwidth budgets of satellite payloads, rendering these solutions impractical.</t>
</list></t>

<t>To achieve global coverage and efficient packet forwarding, LEO satellite constellations commonly adopt torus-like topologies, constructing the network through symmetric intra-orbit and inter-orbit inter-satellite links. Such architectures exhibit high rotational symmetry and a regular, grid-like distribution of inter-satellite links (often referred to as Grid+ topology). This inherent structural regularity serves as a natural advantage for mitigating the adverse effects of topological dynamics. Building on this foundation, this document proposes the SDAF mechanism. The core idea of SDAF is to leverage the intrinsic symmetry of toroidal topologies to alleviate the convergence pressure imposed by frequent topological changes, thereby reducing reliance on control-plane coordination. SDAF enhances the resilience and reliability of packet forwarding in dynamic satellite networks.</t>

</section>
</section>
<section anchor="requirements-language"><name>Requirements Language</name>

<t>The key words "<bcp14>MUST</bcp14>", "<bcp14>MUST NOT</bcp14>", "<bcp14>REQUIRED</bcp14>", "<bcp14>SHALL</bcp14>", "<bcp14>SHALL
NOT</bcp14>", "<bcp14>SHOULD</bcp14>", "<bcp14>SHOULD NOT</bcp14>", "<bcp14>RECOMMENDED</bcp14>", "<bcp14>NOT RECOMMENDED</bcp14>",
"<bcp14>MAY</bcp14>", and "<bcp14>OPTIONAL</bcp14>" in this document are to be interpreted as
described in BCP 14 <xref target="RFC2119"/> <xref target="RFC8174"/> when, and only when, they
appear in all capitals, as shown here.</t>

<?line -18?>

</section>
<section anchor="scope"><name>Scope</name>

<t>This document specifies the core design principles, forwarding decision procedures, LSD methodology, and integration approaches of the SDAF mechanism with link-state routing protocols (e.g., OSPFv3, IS-IS) and MPLS label switching. It does not cover: hardware implementation details of SDAF, specific satellite payload hardware selection criteria, or extension schemes for non-toroidal topologies (which will be addressed in future documents).</t>

</section>
<section anchor="document-structure"><name>Document Structure</name>

<t>This document is organized as follows:</t>

<t><list style="symbols">
  <t><xref target="terminology" /> defines key terms and abbreviations.</t>
  <t><xref target="core-principles" /> describes the core principles of <strong>SDAF</strong>.</t>
  <t><xref target="detailed-procedures" /> specifies the end-to-end procedures for <strong>SDAF</strong> operation.</t>
  <t><xref target="failure-scenarios" /> discusses failure scenario handling, including single-link, multi-link, and node failures.</t>
  <t><xref target="interoperability" /> describes interoperability with <strong>OSPFv3</strong>, <strong>IS-IS</strong>, and <strong>MPLS</strong>.</t>
  <t><xref target="key-characteristics" /> summarizes key characteristics, including advantages and limitations.</t>
  <t><xref target="security-considerations" /> discusses security considerations.</t>
  <t><xref target="iana-considerations" /> provides <strong>IANA</strong> considerations.</t>
</list></t>

</section>
</section>
<section anchor="terminology"><name>Terminology</name>

<t>Full topology: The complete, fault-free topology of the satellite network.</t>

<t>Defective topology: The connected subgraph of the full topology after a failure or disruption.</t>

<t>Planned disruption: A predictable, temporary unavailability of an ISL due to orbital motion or solar avoidance.</t>

<t>Unplanned failure: An unpredictable outage of an ISL or node due to internal or external factors.</t>

<t>Link-State Detection (LSD): A local mechanism for detecting ISL disruptions or failures, with low-latency requirements.</t>

<t>Hop Distance (HD): The number of hops on the shortest path between source and destination.</t>

<t>Forward Flow (FF): Data forwarding along the shortest path, following decreasing Hop Distance (HD).</t>

<t>Reverse Flow (RF): A temporary forwarding state triggered by failure, propagating opposite to FF with increasing HD.</t>

<t>Primary Egress Interface (PEI): The egress ISL selected by the shortest-path algorithm for FF.</t>

<t>Counter-facing Interface (CFI): The ISL diametrically opposite to the PEI within the toroidal topology.</t>

<t>Lateral-facing Interface (LFI): The ISL orthogonal to the PEI; if multiple exist, the lowest-indexed is used.</t>

<t>Interface Symmetry Mapping Table (ISMT): A node-local table mapping each PEI to its corresponding CFI and LFI.</t>

<t>Local Interface Status Table (LIST): A node-local array recording the availability status of each interface.</t>

<t>Phase (P): A logical indicator of flow direction: positive for FF, negative for RF.</t>

<t>Phase Transition Point (PTP): A node where RF transitions back to FF, identified by the ingress interface not being equal to the local PEI.</t>

<t>Reverse Flow with Counter-facing priority (RF-CF): An RF strategy prioritizing the CFI upon PEI failure.</t>

<t>Reverse Flow with Lateral-facing priority (RF-LF): An RF strategy prioritizing the LFI upon PEI failure.</t>

</section>
<section anchor="core-principles"><name>Core Principles</name>

<t>The SDAF mechanism leverages the rotational and reflectional symmetries inherent in toroidal topologies to enable autonomous forwarding-plane decisions, thereby addressing the core deficiencies of traditional routing under dynamic topologies and resource constraints.</t>

<section anchor="enforcing-routing-paths-via-rotational-symmetry"><name>Enforcing Routing Paths via Rotational Symmetry</name>

<t>In a ring topology -- a simplified special case of the toroidal topology -- satellite nodes are interconnected via intra-orbit ISL to form a closed loop, exhibiting 360 degrees rotational invariance. For example, the intra-orbital routing domains defined in <xref target="RFC9717"/> inherently constitute such ring structures within each orbital plane. When a satellite node's PEI becomes unavailable due to failure or scheduled interruption,  rotational symmetry strictly constrains the only feasible detour to the CFI. This constraint is not unique to SDAF. The IGP routing will inevitably select the CFI, as the symmetry of the ring guarantees it is the sole valid route to the destination.</t>

<t>When extended to a two-dimensional toroidal topology -- the typical architecture of multi-orbit LEO satellite constellations -- rotational symmetry exhibits dual-dimensional characteristics. Both the intra-orbit direction and the inter-orbit direction possess rotational invariance. This dual-axis symmetry not only retains the CFI constraint from the one-dimensional ring case but also introduces LFIs to the PEI. Under this structure, a node can determine its CFI and LFI solely through local knowledge of interface positions and their symmetric mappings in the intra- and inter-orbit dimensions, without requiring global topology computation. Provided the network remains connected, both CFI- and LFI-based detours are guaranteed by the topological symmetry to reach the destination, ensuring that all locally selected recovery paths strictly adhere to the natural routing constraints imposed by the constellation's geometric regularity.</t>

</section>
<section anchor="forming-forwardreverse-flows-via-reflectional-symmetry"><name>Forming Forward/Reverse Flows via Reflectional Symmetry</name>

<t>In a fault-free full topology, all shortest paths from any source node to a common destination are symmetric with respect to the mirror plane defined by the "destination node-topology center" axis. Moreover, these shortest paths always propagate along the minor arc -- the shorter segment between two points on the toroidal topology -- which aligns with the core objective of shortest-path-first routing and constitutes the forward flow.</t>

<t>When the PEI becomes unavailable due to failure or scheduled interruption, the forwarding plane autonomously selects either the CFI or a LFI based on the preconfigured policy (RF-CF or RF-LF) to forward packets before the control plane completes reconvergence. At this point, the forwarding path deviates from the minor arc and enters the major arc, propagating in the direction opposite to the original shortest path. Consequently, the HD to the destination no longer decreases but instead increases, forming a RF that is directionally opposed to the forward flow.</t>

<t>Due to the constraint of reflection symmetry, once a reverse-flow packet crosses the mirror plane and re-enters the minor-arc region, it inevitably arrives at a PTP. Here, the reflection symmetry inherently triggers an automatic switch in forwarding logic. The packet ceases to propagate as a reverse flow along the major arc and instead transitions back to a forward flow along the minor arc, resuming adherence to the shortest-path-first routing strategy and continuing toward the destination. This bidirectional flow transition occurs entirely without control-plane intervention, driven solely by topological reflection symmetry and local forwarding decisions, thereby ensuring continuous and reliable data delivery.</t>

</section>
</section>
<section anchor="detailed-procedures"><name>Detailed Procedures</name>

<t>All procedures of the SDAF mechanism are executed locally within the forwarding plane without requiring inter-node coordination. The core process consists of five steps: initialization, fault/interruption detection, reverse-flow triggering, reverse-flow forwarding and convergence, and fault/interruption recovery.</t>

<section anchor="initialization"><name>Initialization</name>

<t>Before forwarding any data packets, each satellite node completes three node-local configuration and preparation steps. These steps are performed locally and do not depend on the number of destinations or on real-time control-plane convergence.</t>

<t><list style="numbers" type="1">
  <t>Configure the Interface Symmetry Mapping Table (ISMT): Each node locally provisions an ISMT according to its physical interface geometry and the toroidal topology. The ISMT maps each local PEI to its corresponding CFI and LFI candidate set.
Table: Example node-local Interface Symmetry Mapping Table (ISMT) for a four-interface toroidal node.</t>
</list></t>

<texttable>
      <ttcol align='left'>Local PEI</ttcol>
      <ttcol align='left'>CFI</ttcol>
      <ttcol align='left'>LFI Candidate Set</ttcol>
      <ttcol align='left'>LFI Selection Order</ttcol>
      <c>if0</c>
      <c>if1</c>
      <c>{if2, if3}</c>
      <c>if2, then if3</c>
      <c>if1</c>
      <c>if0</c>
      <c>{if2, if3}</c>
      <c>if2, then if3</c>
      <c>if2</c>
      <c>if3</c>
      <c>{if0, if1}</c>
      <c>if0, then if1</c>
      <c>if3</c>
      <c>if2</c>
      <c>{if0, if1}</c>
      <c>if0, then if1</c>
</texttable>

<t anchor="tab-ismt">The ISMT is static during normal operation. It may be pre-provisioned by the management plane, derived from local interface geometry, or installed together with the forwarding configuration. Since the ISMT is indexed only by local interfaces, its size depends on the number of local ISL interfaces rather than on the number of network destinations.</t>

<t><list style="numbers" type="1">
  <t>Configure the Reverse-Flow Policy: Each node selects one of two mutually exclusive reverse-flow policies, RF-CF or RF-LF.  <vspace blankLines='1'/>
All nodes in the network <bcp14>MUST</bcp14> maintain consistent policy selection.</t>
  <t>Initialize the Local Interface Status Table (LIST) and Link-State Detection (LSD): Each node maintains one LIST entry for every local ISL interface. The LIST records both unplanned failures detected by LSD and planned interruptions notified by the control plane.
Table: Local Interface Status Table (LIST) availability semantics.</t>
</list></t>

<texttable>
      <ttcol align='left'>Failure State</ttcol>
      <ttcol align='left'>Interruption State</ttcol>
      <ttcol align='left'>LIST Availability</ttcol>
      <ttcol align='left'>Forwarding Meaning</ttcol>
      <c>0</c>
      <c>0</c>
      <c>Available</c>
      <c>The interface can be selected for forwarding.</c>
      <c>1</c>
      <c>0</c>
      <c>Unavailable</c>
      <c>The interface is excluded due to failure.</c>
      <c>0</c>
      <c>1</c>
      <c>Unavailable</c>
      <c>The interface is excluded due to scheduled interruption.</c>
      <c>1</c>
      <c>1</c>
      <c>Unavailable</c>
      <c>The interface is excluded due to both conditions.</c>
</texttable>

<t anchor="tab-list-availability">For each local interface <spanx style="verb">if_k</spanx>, the LIST maintains two input states: a failure state <spanx style="verb">F_k</spanx> and an interruption state <spanx style="verb">I_k</spanx>. The derived availability state is computed as follows:</t>

<figure><artwork><![CDATA[
Available(if_k) = (F_k == 0) AND (I_k == 0)
]]></artwork></figure>

<t>The forwarding plane consults the LIST before selecting any PEI, CFI, or LFI. Therefore, SDAF can be implemented as a deterministic local table-lookup procedure in which unavailable interfaces are excluded before a forwarding or detour interface is selected.</t>

<t>This design requires only two node-local data structures: the ISMT, which provides symmetric candidate interfaces, and the LIST, which filters out unavailable interfaces. As a result, the forwarding plane can make a local recovery decision without waiting for global control-plane synchronization.</t>

</section>
<section anchor="failuredisruption-detection"><name>Failure/Disruption Detection</name>

<t>During operation, the LIST is updated whenever a local interface satisfies either of the following conditions:</t>

<t>Failure: The Link-State Detection (LSD) mechanism detects that an interface has gone down or that its forwarding quality falls below the required threshold.</t>

<t>Scheduled Interruption: The pre-provisioned interruption schedule from the control plane indicates that the current time has reached the designated moment for deactivating the interface.</t>

</section>
<section anchor="reverse-flow-triggering"><name>Reverse-Flow Triggering</name>

<t>When an interface is marked as "unavailable," any data packet that, according to the forwarding table, would egress through that interface as its PEI immediately triggers the reverse-flow mechanism. This occurs without waiting for the control plane to synchronize link-state updates or complete network-wide reconvergence. The execution logic for the two reverse-flow policies is as follows.</t>

<section anchor="rf-cf-policy"><name>RF-CF Policy</name>

<t>The node first checks its local interface status table to determine whether the CFI is available:</t>

<t><list style="symbols">
  <t>If the CFI is available, the packet is immediately forwarded through the CFI, thereby initiating a reverse flow.</t>
  <t>If the CFI is unavailable, the node inspects the two LFIs in the preconfigured order and selects the first available LFI for forwarding.</t>
  <t>If neither the CFI nor any LFI is available, the node is considered isolated, and the packet is dropped by default.</t>
</list></t>

</section>
<section anchor="rf-lf-policy"><name>RF-LF Policy</name>

<t>The node first checks its local interface status table in the preconfigured order to determine the availability of the two LFIs and selects the first available LFI to forward the packet, thereby initiating a reverse flow.</t>

<t>If both LFIs are unavailable, the node then checks the availability of the CFI:</t>

<t><list style="symbols">
  <t>If the CFI is available, the packet is forwarded through the CFI.</t>
  <t>If the CFI is also unavailable, the node is considered isolated, and the packet is dropped by default.</t>
</list></t>

</section>
</section>
<section anchor="reverse-flow-forwarding-and-transition"><name>Reverse-Flow Forwarding and Transition</name>

<t>Upon receiving a data packet forwarded from another satellite node, any node processes it according to the following logic:</t>

<t><list style="numbers" type="1">
  <t>Record the ingress interface and consult the local forwarding table to determine the PEI associated with the packet's destination.</t>
  <t>Compare the ingress interface with the local PEI:  <vspace blankLines='1'/>
Case (1): Ingress interface matches the local PEI  <vspace blankLines='1'/>
The receiving node identifies the packet as part of a reverse flow. It then executes the reverse-flow handling procedure specified in Section 4.3.1 or Section 4.3.2, based on its preconfigured reverse-flow strategy.  <vspace blankLines='1'/>
Case (2): Ingress interface differs from the local PEI  <vspace blankLines='1'/>
The node forwards the packet via its local PEI.  <list style="symbols">
      <t>If the packet belongs to a forward flow, this step constitutes normal forwarding.</t>
      <t>If the packet belongs to a reverse flow, the current node acts as a PTP, where the reverse flow is converted back into a forward flow.</t>
    </list></t>
</list></t>

<t>Once a reverse flow is converted to a forward flow at a PTP, the packet proceeds toward its destination using standard forward-path forwarding logic. However, if a link failure or scheduled interruption occurs along this newly established forward path, the reverse-flow mechanism is triggered again locally. This cycle of forward-reverse flow switching continues iteratively until either the packet successfully reaches its destination or the hop count exceeds a predefined limit, at which point the packet is discarded.</t>

</section>
<section anchor="recovery-from-failuresdisruptions"><name>Recovery from Failures/Disruptions</name>

<t>The local interface status table marks an interface as "available" when the terminal on a satellite link satisfies either of the following conditions:</t>

<t>Failure Recovery: The Link-State Detection (LSD) mechanism detects that a previously failed interface has come back up or that its forwarding quality has returned to an acceptable level.</t>

<t>Scheduled Interruption Recovery: According to the interruption schedule pre-provisioned by the control plane, the current time reaches the designated moment for restoring the interface.</t>

<t>Once the local interface status is updated to "available", the following actions are performed:</t>

<t><list style="symbols">
  <t>Newly arriving packets whose destination maps to this interface as the PEI are immediately forwarded through it using the standard forward-flow logic.</t>
  <t>In-flight reverse-flow packets, which were already en route before the recovery, continue unchanged until they reach a PTP, where they revert to forward flow as originally planned. This ensures continuity and avoids mid-path disruption, even before the control plane completes any associated reconvergence triggered by the recovery event.</t>
</list></t>

</section>
</section>
<section anchor="failure-scenarios"><name>Failure Scenario Handling</name>

<t>The SDAF mechanism is specifically designed for typical failure and scheduled interruption scenarios in LEO satellite networks with toroidal topologies. All considered scenarios operate under the fundamental assumption that the impaired topology remains a connected subgraph of the full physical topology. In cases where the topology becomes partitioned (i.e., splits into disconnected components), the mechanism, like conventional loop-free convergence schemes such as <xref target="RFC5715"/> , cannot guarantee reachability or path restoration.</t>

<t>This section explicitly defines, for each failure scenario, the triggering conditions of the SDAF mechanism, the applicable reverse-flow policy selection, and the core reliability guarantees provided by the design.</t>

<section anchor="single-link-failure"><name>Single-Link Failure</name>

<t>The single-link failure scenario applies to unpredictable failures or predictable interruptions affecting a single intra-orbit or inter-orbit ISL, under the condition that the toroidal or torus-like topology remains connected and both endpoints of the failed link retain at least one available symmetric interface. Upon detecting the failure via LSD or receiving a scheduled interruption notification from the control plane, each endpoint marks the corresponding PEI as "unavailable" and immediately triggers a reverse flow according to its preconfigured policy, rerouting traffic to bypass the faulty link. Reverse-flow packets automatically switch back to forward flow at the nearest PTP, achieving loop-free convergence. For intra-orbit link failures or ring-like topologies, RF-CF is preferred to leverage symmetric intra-orbit paths for rapid detour. For inter-orbit link failures or when inter-orbit resources are sufficient, RF-LF is favored to avoid latency accumulation from intra-orbit looping. Overall, this approach ensures micro-loop-free rerouting strictly bounded by topological symmetry and enables millisecond-scale, control-plane-independent data-plane recovery with minimal packet loss. As shown in the figure below.</t>

<figure title="Example reverse-flow forwarding and phase transition (numbered steps are illustrative)." anchor="fig-sdaf-procedure-example"><artwork type="ascii-art"><![CDATA[
                              (1)
                           <---- A_1 A_2
                           ---------A---------
                          | ---->       ----> |
                       B_1|    (4)       (5)  |G_2
                          B                   G
                    |  B_2|  ^                |G_1 |
                 (2)|     |  | (3)            |    |(6)
                    v  C_1|  |                |F_2 v
                          C                   F
                       C_2|                   |F_1 |
                          X                   |    |(7)
                       D_1|        (8)        |E_2 v
                          D       <----       E
                       D_2 ------------------- E_1
]]></artwork></figure>

<!-- 
## Multiple-Link Failures

To be added in a future version.

## Node Failure

To be added in a future version.
-->

</section>
<section anchor="boundary-conditions-and-limitations"><name>Boundary Conditions and Limitations</name>

<t>The SDAF mechanism provides fault-handling capabilities only for "connected impaired topologies", that is, scenarios where the network remains a single connected component despite link or node failures. If the topology becomes partitioned into multiple disconnected subgraphs, SDAF cannot construct valid end-to-end paths, and recovery must rely on higher-layer mechanisms such as routing protocol reconvergence.</t>

<t>For predictable interruption scenarios (e.g., scheduled maintenance, orbital maneuvers), the handling logic is identical to that of equivalent failure types, with the sole difference lying in the failure detection phase. Instead of relying on LSD for real-time anomaly identification, nodes receive advance notifications from the control plane about the timing of the upcoming interruption.</t>

</section>
</section>
<section anchor="interoperability"><name>Interoperability with Existing Protocols and Technologies</name>

<t>The SDAF mechanism is independent of protocols and requires no modifications to existing IGP routing protocols (e.g., OSPFv3, IS-IS)  or forwarding technologies (e.g., IP forwarding, MPLS) commonly used in LEO satellite networks.</t>

</section>
<section anchor="key-characteristics"><name>Key Characteristics</name>

<section anchor="core-advantages"><name>Core Advantages</name>

<t>Dynamic Topology Adaptation: By leveraging the symmetry of the toroidal topology, SDAF enables resilient forwarding in dynamic scenarios such as link outages or node failures, without waiting for control-plane convergence, thereby reducing packet loss through asynchronous forwarding.</t>

<t>Low Control-Plane Overhead: For link failures, forwarding decisions can be made solely based on local Link-State Detection and interface mapping tables, eliminating the need for control-plane flooding, SPF computation, or pre-planned path calculation, significantly reducing satellite resource consumption.</t>

<t>Microsecond-Level Convergence: In the event of a failure, path switching is rapidly triggered via locally initiated reverse flows, achieving convergence latency of less than 1 ms, significantly faster than the tens to hundreds of milliseconds required by traditional approaches.</t>

<t>Strong Protocol Compatibility: It can be directly integrated with link-state routing protocols such as OSPFv3 and IS-IS, as well as MPLS label forwarding, without requiring any modifications to protocol message formats or packet headers.</t>

</section>
<section anchor="limitations"><name>Limitations</name>

<t>The limitations of SDAF stem from its core design principle of relying on the symmetry of the toroidal topology, specifically including ineffective forwarding in highly asymmetric scenarios and increased transmission latency due to non-shortest-path forwarding.</t>

</section>
</section>
<section anchor="security-considerations"><name>Security Considerations</name>

<t>The SDAF mechanism inherits the security properties of existing LEO satellite communication protocols and introduces only a minimal additional attack surface. Below are the key security considerations for LEO satellite constellations with a toroidal topology:</t>

<t>Link-State Spoofing: An attacker could forge link-failure signals to trigger unauthorized reverse flows.</t>

<t>Mitigation: Link-State Detection (LSD) <bcp14>MUST</bcp14> rely on authenticated mechanisms at the physical or data link layer (e.g., frame checksums, signal characteristic verification) or leverage existing protocol authentication extensions (e.g., OSPFv3 authentication mechanisms <xref target="RFC4552"/>) to prevent false failure indications from triggering reverse flows.</t>

</section>
<section anchor="iana-considerations"><name>IANA Considerations</name>

<t>This document has no IANA actions.</t>

</section>


  </middle>

  <back>



    <references title='Normative References' anchor="sec-normative-references">

&RFC9717;
&RFC5715;
&RFC4552;
&RFC2119;
&RFC8174;


    </references>




<?line 427?>

<section numbered="false" anchor="revision-history"><name>Revision History</name>

<t>RFC Editor: Please remove this section before publication.</t>

<section numbered="false" anchor="changes-from-draft-luan-rtgwg-sdaf-00-to-draft-luan-rtgwg-sdaf-01"><name>Changes from draft-luan-rtgwg-sdaf-00 to draft-luan-rtgwg-sdaf-01</name>

<t><list style="symbols">
  <t>Expanded the SDAF initialization procedure to describe the node-local configuration steps more explicitly.</t>
  <t>Added an example Interface Symmetry Mapping Table (ISMT) for a four-interface toroidal node.</t>
  <t>Added Local Interface Status Table (LIST) availability semantics covering failure and scheduled-interruption states.</t>
  <t>Added the derived interface-availability rule used by the forwarding plane.</t>
  <t>Clarified that SDAF forwarding decisions can be implemented as deterministic node-local table-lookup procedures based on ISMT and LIST.</t>
  <t>Updated author metadata, including the email address for Mingliang Ke and the English name formats for Dongxu Hou and Min Xiao.</t>
</list></t>

</section>
</section>
<section numbered="false" anchor="acknowledgments"><name>Acknowledgments</name>

<t>The authors would like to thank colleagues and reviewers for their valuable feedback.</t>

</section>
<section numbered="false" anchor="contributors"><name>Contributors</name>

<t>None.</t>

</section>


  </back>

<!-- ##markdown-source:
H4sIAAAAAAAAA8V9W28cSZbee/2KWOphRLmqRFLd0zP0dO9QpNiil5JoUY2d
GcPuSVZGVeUoK7MmL6TYLQ3Wxi5gGDbWL/bD2jAWsA0bMOAXG7ZhN7CAf8v2
7M7T/gWf75wTl8zKotQzC1hAN8mqzIyIE+fynUucnEwmoyZrcntodi5vVyvb
VLeTkyq7toU5qm+L2bIqi7KtzWlZ3SRVmhULc5M1S3Oa1I15aauybayZl5U5
f/LCXCaNzfOMPnlum5uyel2b+5cnR6e7O6Pk6qqy1xiF/nY37IzSclYkKxo9
rZJ5M8nbpJhUzeJmManTZD7Z2x/N6JmLsro9NFkxL0fZujo0TdXWzcHe3g/3
DkZ1e7XK6jori+Z2TQ86e/LqdJRUNjk0L2lyNOERZrKgma4PDT979Nre0mfp
4WhkzMTUbtb8F02Lf1Z6M35fZbOqzMtybZLrMkuTYibX1kKxbGaack0XLG5H
o3smaZtlWR3Sb7hGlne5tEVN/5lzWiF/Y0xZLQ7NY5stEyLqFwXRvKqz5la/
taskyw8NKFLrzT++apNkatN2Ois6T/9DW2Cu9DOLn/2TLM2SYuujb5obm/34
DV809NRn9Mg8w+T+wH6Hx67cbdPX9sd10063j3BSFos3rXlatvHzf/bqiTku
q3VZJQ1tq35VN5W1zaF5Xk4/3jOX5bwhfrTmiDi1ddOb0WToiqT4BXZOPqvs
gh5yaP4eplS7gWZlCpY/2N/b2z/Y4Y/MPfPr//aff/3Hf/o33/zZX/6f/7j3
7Td/9O1/+O9/9Wd//Jt/8l//6pt//Zt/+0ff/rM///abf/Xtn/7Pv/nmn//m
H//Ft3/yL3569Oz8r//Tv//1v/uXf/m//ve3f/Jf/vov/s23//R/+DHaogHj
Hi+zIukSaVm205RX/+OvGjudlasB6hOlk/L/L2U+YClvaJJT2vSDeCUjJwTb
ROAuAfgQ9h9m/jt49D2Mv4XtP+yB72H5QYbfuqnv5ZIBHvmQhw3vU1FWK7r0
2mKr7pmXp8cH+/s/xB/06w8/2f9Ef/34k/2P/SWP9h7t6+cfffzxgf/8+z/8
5PukVKGoO08V5b60i9SqdvcadeI16qStiYyTel3hx94judWYJqkWYO9l06zr
w4cP06RJmiqZvbbVNLPNfEoLf0h25OGyWeUPf6uh3EhqCJ95dX/k7jB8h7m8
eHn2/PMdvT7wuAhE4PQqSdNlYp5iGhtfX7T1cp3UWU32snqdVHoBrYu+PNjb
/2Sy90lEtjzThdhiiamkkyab5PNksv87keiOx/bI8UQvMK/UyJmzIrVrS/8r
GnMOyp6SBjJHeWOrglbRAQfvI9YxSfbCnGcbX3xOor9Y48ufWbbD3a9/StL4
s2X7YcR3tD34eLK/H7Nk2Tq44UDARA3/JKlmS/p71rSVneztbaP1zc1NoDHf
c20fZunD7zzAFJvTI70iGHMUXcrgaQBpPU5q2qOyME8zW/GzZ0luLgkr8W3v
2weoJlVM8gUZiBKTsGnWlNXG9T9hFUkaaJDEo8lkYpKrGlzYjEZnBbFGRvP+
nK66SW7NRVU25azMCSCefX5R75q6nS1NUpsXlxenBuaLFNSqLPJbUl/rvLyl
pZGy80Q0hVt2Uxra78rWtQdhJoEBLPBRUqRYMWHYFVCskh6PojvWZVFbPCDP
itf0Gc2xatfQm/WYP3tYkDE0c1KfRED6DE8jvFnbX7Zg/cquk6yqp0S2G0tm
YWxoLZMr3odkva7KZLa0Nd0xn9vKzKtyRYMsbYV782yVNayj6f5LBdrZV/yJ
SW2e3NbmitZoyWA2S5CDDHCZm3WeFJYngk/nAZXLFzOSilnS0rLcUq9y0gNk
SXIs4GaZ5XR3DOzpwTT1hYWSS0jvEdGw6tqsaJuyIm3pc1ahE2hE2i/aJPp6
VmVXsidr3lhsxi5RzSY8GyLqGvqHFlrqNtBAC1tjfVPziuhiDcH2lgbCbq+T
qslmbZ5U2PE3ycxWV7TX2zZ9tkzAWMRTX9E1V7dmmS2WdGd6S8wZ4HiGNecl
bzhdHGSQJl2uk0VM7bGbJHg2K1iUJlclUResuBZiEheUbTWz9XQ0erUkDU5K
tV1hPx1Jat6XD3WlxDsyK0sLKrJ6xTtEgpCDnZKFPo0mT4aqpnWpw3Fryjmt
sYJxyqPFDlNrSjr6xjwhCi/Ni+oqa8x9cnJ2oyt51fS78CNvCDlT0B9EU6y+
ZNUyN6s2b7I1sdAsq3i3CHXQAxPlSyIiLD9WlmzM7xb71N8HSBkEAE5hkFMa
lVa8WBDS4l2h3SKa17TACoQh1pnn5Q0JCItaTbxNd9BO5iVUHp45qRsYIo9E
ymLMfisJBT3jl20Gy++EaqKyEyRhjCFZQREzNgQ/RScQnytXL4nPSaZXZZrN
iU4qx6MRL4T4Yt460tF3V0Qwdprtm6xmPlp79ceSTNtfuC2MFeH1I1Ipl5Oz
S2HOZxfn+huNUK/tjMfGQA2pqLIiWpDcgWMcn05ifibTDPNB2xjoX9/Sxq9o
6mcNSf8yI/LWIu61pXvTSU0D2K6SoPGJ+h35bgtQQxUlriabwSQhimTENCJo
NCviH7fmumHlQwqmEbtFAt3S9oXJMX6ooG5Wsgz6rFkmjYgYKO0Fx9TZomBy
FA3Ro25J/QrHxNNkzcj6YkA78rQiTee1ZV6TiclJJLOE72FrEbSZcKiMUtmy
IkqwiWHlNhVLuMrSNLcIDpyB47Bm3Pn1vSz68x19fw+WkfhlRYablgvVgk/v
mReF6KJjr/lo8FmN3dzEAlBOtNF6y2zzlgGVWkOyIEdsmZjEZMNyouhVRley
ymE2KDBX2ieydZ6MwdrRgp+KLj5RXexQ4yGtnaNEXW0zHtYJhAsuzwkXMGct
SrKeanTTrHZG2qQtm2+ng1al34+a5pK2OW32ikS7hdLwkkX6ghSXdwYM7Q9Z
cmIXdSTp1zSbNQnEVg0KCchRKjwNeRvTtOKrLKhS08RfE9OSAeSVTcR4pmxO
oTqYbxyYMG7nSQZJFSwT7E1QlWBr4i9nKaGosqKF9UiAslVRMyWF4+mRy2Rt
ed90T/3Txk6biglbW7asbu9i2Q6KluVMBJatShAvs7YVa1XckNoFLVgVbFbM
8lbASBC6cSQqoryCkNDyQK6IobBvK8UEZFJpVJopAC+xJjuUEG4hemT2WLnW
cHppSwKJGfxV1oMuujfL80ndZo2oylm5Vs0Msq3h2BNn0hJ5msk6Sz0DBOSW
CRcP2FlSdjDUC1z1UjUweeOqgZv6MBLVdXKbl0lK0ri2rNhEhdaIJjbGFtcZ
oQWIPxs0jxXBrDeWBKwhE0Wos2IeaFfrQF5aCm1ODkGps7VoXtzFwCLNKvIi
2DTptIKaGEA5NHuyYM6wEDy2mCA9XFXzeEBbB+RQMu4lRMr7PSnnk1VCbNS0
JA85T/744gvHc8yKyVq1DdlaYP/9h/t7GHr/4ccMeWiXVmQMCADh0hlfKCyl
AACUEkiQVBMmEP1FrkC1EKOQ30Yi5faFdAQJLim9bLWGpmTHiUat2oKB5aQk
AYHFj+w2sWTdEicSAaG/CCFc23Esp0JOhwyO+5ozaMwxmR91HwSZ2KDsvD4g
vFOyZMlqVYRPzx6bdg3Pi/0gdvk9BlYVgr1fgAJivOC+QGVgE7vwB8KW5Aze
yXWdQxtBBwh/wZAS52RYWV9fX9GcbrKUpIihCaNFQAKlDwtrRA0wtHB+MYxT
IpROMg9VA9GCETxzMnhiaX4ZqSxIPzFGB18fB4UmhnCrvxPgQyzdEX6MbZy4
cXUPaSTkndJfUPN2wRrKWLpu1jAYd54bgchhs/u97Z6L2DGvUBypYsYdB3le
ZNcsupl4tM0SEZlZWXkvizeTlQzh847nqEwLG6+ylKkUHo5GzwIgOuyS2TFe
x2kkZgsgq8dfw06us8ogdYfLwdwZ7JsiBTwb7qVyOkkcyBKtg8wPkYY1+Iw9
PzFf6u/HPuzXX2tE8927KVDJ5r6MdetWV8TAPDptH7YqiKS3DAKIP8jJRNgJ
7ojoR3YtSBCuSrVAaSuWXbYeuht4mK2UaL/adhGq95R7RrfvcI9GLpL0mAHv
UwDeQ/PFmsaq2zS1wvXQar2Qx2bsAfxhWXq9+Cj0eUrrpr3JVpYGIwQXLMFn
n5p9Ix7Fbj+KgoDP/ctlWcElMBcJkotZVTe7HRVKTyMli71fEhOTVme5X5E9
z+S5hBWJQXoAhoS0KBtzhdDGzOZsaVMPG9XwecnqxGRgt2WGwHvOuFWWVT64
0jKHWvjmNBwwiuwnDbBGsCsF9Ekkbqyq0HpHIa3Ah6CEc5gj9DHknPByGBVl
0M2AZbBQtPRrF1uitRMOIAsnyvI8Qg1EqifO9zzylmc0Om4riUYhiDsXlRHU
owNj9+10MR2bV2eT89OjsQbBdw2MqwF5O0AtxDmdh9oxtYJQSH2AxTrBOyjq
K1qNKizSPaMJbDVppRoWyKtGWGdgQHFLPMgLyA7T4OiYmtGxB8qxQUVYVMmT
DTkmU8JwamfXYErYv8CQ4552c6pr7HWX048BRMe0VX0wT8A2M2tZg0XsrI63
IoIV+xfij5Kaq2xSy/UuUUF6//XU0YuuaKsuZHfRDI9kyECU7WIZhTfcNktM
I3IQiAVqxKLGpB1vXOSDrsghc2XVBz25fRNLrnvsIi+vECdiUhLJCiaWDyhd
Eau3a/663p2aS1gFP1mhUO10ckASY4WDQvUARK7adGGbnqvrIDcMQ6FeuuhU
goutckJAgAjxlS4o4qbP4kbE4PHsXFBI46Q6GKNxz0foRdh8cDtJyzW4smrr
CevQOHIpcoPggMw0OHa6eaH+AN5kMmFHWFAYmyL5e1vMjQ1vlFioic7LDHew
oSOWcXjNhx1Z2JA4RuyP9rTKUpk2ORs0j6vWmcotPn05J26j++dwJdiSk+X/
nJ7yd7xk7gKgZ5G/VWsGA16HDAyxr22FUBXdnkhgi75O0mtiduwONABpv2yR
eNrRlxw5dOiMI6hBoQRH/3Gb5SyNJfAbYnklWRwV+qYT9IWBL2sX8+0EpNjN
UACW2oTjNBobRMJB47vfMbzbhECUdZY58t1JThF+yzReSwis70jwUtUxYNte
WQTDbNrOxPFDFnuG0NFGbLQEXycSvueVaN6wdgFHUsc+PhhhSKxlQzygDR3i
HXSkyX69jFXfOU25JYIJoH9NSg4FPLXZefbF5audsfw0z1/w7y+f/P0vzl4+
OcHvl0+Pzs/9LyO94vLpiy/OT8Jv4c7jF8+ePXl+IjfTp6bz0Wjn2dFPd0Tb
7Ly4eHX24vnR+Y4g/ZgxOIJeAnewINDWwIwk9aiTOXl8fPF//3z/I4Kjv6d5
93fv9I8f7H/yEf1xs7Tq1bO2kD+J3rcj8h8t2Q56CnEEvGFEwJDEIERN/iQ5
rrS3RMgH/wCU+YeH5kdXs/X+R5/pB1hw50NHs86HTLPNTzZuFiIOfDQwjKdm
5/MepbvzPfpp529H9+jDH/1+Dqdmsv+D3/9sxNxzCdTcT9IoIrHOkvggE5JY
5DSsc01hODZN6XoYR8GVqUDi88sTkvNmWaYaXXMKd+HQe8j9adCiF6zmkFPk
ZjpLG8ILajQ7SYBdnwQweXJlSS3Tc0h9I452RiistDXDMbZRh2ZJa+BCoAw2
mUNJ6okgW1A7jTT2mYRNUxmeURN4lpg1sS9CyQlnQzx68Fhxzi5EMRlSX/cl
BnVDKIchuSA/kYV5y8kJt1WEAXgbT9zW+Tx2f08zxGIWRNevWMJoAjlyQwQf
H5gfvSFToxn7T3cadn15z3YefkZ0mBPP1KxM8JXGC7lOMVMIuPEM8MwkMIs8
J878MVOFC0DlBw9A5wcPNp8mW2HTSWAvPLHLpoRViJoT6/JgfBnT2T1YY4js
6PWHUE+O4KQtyHKWMuWsnrXsJbmUjfuadrxIcwYwIZoLrJnbCRhWEZv+DoJ1
/MXN8Vn/8fzEHHQp1v9WJOPBA+H7Bw/G9DvzPn7FaA8egP+HaEnbOOllOpiW
7WqVIE0sG927Il6lRw/q0UfO4MZghNFbwBCOW5F914B8l7buItO9aIBGSZEM
PIl2+zpDUIVocPT8iPa5/yCoOvMqsLX5+l7E5O9Go9M2D/nXQ4UkUAeNJT2X
0FaK1+fdItVXGzaZxjqxAE4IcPUfWBSWc3jk1JMKXC/dU+bx6CYh7FcRWnMs
Rwwccjn0/As4BfDO/YeH5ihOxpDlsysE+QkgtUVyTc+JMEZSkJY835ISgl/a
zfrQgF8Uax1Sp0TjFb3MDilmwLTwfBch0XGYgQGRVRny73PisLLC/pxDx3Mm
z5zYRjXofTIgu1ibpKuDWYBMp3IZ8SOvJkp2lVUUlhELUt5MyKMg1HXbcRSR
gyOf8CSDz0uI7P5TjIe9KtrVFW0CYlmIP5QSoaxd8IWdM1d1okERyEKKMJKC
P2IqsY/mFFng+6en9OyTpEliu5lwPGzj2WPVzmpanRu7MVnEqzTRL4O8PGWC
hf2PxhITqhkuhb1Cp3GIwAHOrwkWg6Vp205PhYKRL/30BDxYZSs8/smCYxJc
tkS7SbO6eHKmNLT6HW2PWEUZM17shAmZ5IuS5H8pG3t6Ss8/Rh0tOUb0TN7i
8PzjU/d82fdEHDvJo0QzxzA0F56+Bpg3Ci3AeAmyhPnAQOedgWi+y3LBTl54
+N81WVTqwUULEghE0oZWl5H3/MZyFQJCvVOt7+Lnu8oX84xQEIZ+xXJ0/+zy
2SveQ0jPRDhfRGylF1pCTLw0iBXXBlRSo8W7TPRhVqTpY3l8fzQq8UBbu7HO
zy43xkqqKrnleJlwDbuEsQqp5REkGjyRzD0bXLFMarCACq14UUQEFH6ULE0o
R9FYPOst3i+oStn5cUgO4IOXp/6hrziQzWrhoqQxaZRXF37uAPykKV+easBb
FAFCJcLEY/iWRSPhGuVBWhzzp1+AkQgok/iXbdhooQsRvC9tLBk9TuUiL5CJ
RHFyzNJYYF5SlUHaXS/IvnLExYa1iC9jS1UgB0fqsWpnpPMPGel8eKR7KIQm
fg5Y7Ot7Pfj2TtzJHjrvFl9FYRDxbOeKhENcRCqvQgJpi+tuJRUWlSMGLaZu
tvM3IudcUbJbrDot3fRXE2XRnS8h+eQtaaWhZJIA7ieomOKNcBkDRORrQ5CY
PvGkcGIO0UdESGr+1NKj9JNAo8+MMZ5F4AEcr9hgszpsMolhB2eTJHlP7BEw
BuYRB7ugxIi2iKLToLOcIx8IiY5dNAtTe/T9PS5VsIjHhlVkxTVhQ4YDqMpD
OgXgaOzDMjpKRNa0XBG1avUe2HXhbBJK5clhj0oNmLRZg/NRnOOqxFipG1M7
Dc7aplNFNzV/iGMSSY8c36uZwa8Qheb8qqqv3IORCFmF+pe4rHVsBqN6UnQQ
FwUI63PMYQ77yIPYhnjGaQ8Sbw3UBRaCQYCyaYvslzIjSJZEwuJMKjuARL3r
DBbgVs2oeyzHMNiaxtEwSCLuXbQE4GlJEDkekK8saX7XSZ5J0Nobyi5uYar6
HA1iaYaw7STNVuLDMjMOcCWzq6SyOvFSXxCprHhnxBdFRgOkVx5FKROpwHgq
PU9lah67LGHM/t7m+JLgOPIbviWDVMMqbGF+cakxheQNagvd9LCbzAWS96q9
Zo82nXNPwi62swIpsYTMX7WNlNH5oqcaWruOMMfUfMEKi+NoXkrGiO7CEKKu
GdBYktcgWAQIXAWoC4uLZXtdlDckAILegzUU08xlrkKxrIri6ApGfPJeaL0R
UvfLrIfKSjVXEIq5Qspiivo+eHVpJ6BfWdEqXs+NJSlMi5y4VWphuYih6EYv
DN76d3Jkbhc5UQg105MJUpFF3WoeBOnFPBfaeZlEFkhSjLeSmgm6IkkZm+gO
uhB8VFTmU35RPFpj1kEwSKktbKnED+F9sUWnmhpVh+NhjB3UIsXWuGeTIve2
44iOeZ0dv6QWJk6KW+f1MNOxipBUTUw2Jn1gGQYxQKqsw4Qcq6yqUCysRl1M
ha5/J34UI9TAKBY8tmMghFPzjEx9yXVBmqXqTjnJb5BBdC6OjZwuRAAq6Cqn
vuRWYnS74KCZP1lwU5JA8C6VW5yJUDtG+nVR1KFejqFIefULjQog1xb7P5M5
svihRNRV17NJrOPjCwyfnYJ2Ds7vZucGD0d0CsyFwWtjMyAtr9hAN9YpV+44
DZcGQgqKebZo4WESYbKZg8KGAT2QquIQXpFkPHCEYw4qbVZRuDBMzQLmszhT
c9SIDuRt2VwIHMtUMkB1UL1hwzkvWUghHr5IfiFfdH1h1W7BPvRdTELYi4wt
Vcx0/aoIXPn0ZMDaEl9zSQwQqPj5NFtYART0IKOrjnf3xAD8HOgh2CI3s+AA
h+r2HtuctH7akVkidgxY3etC1BUiqOEOEkzmUSk7FzIpa3YkWCDzJKYrCI4T
XHqKdsxoJEAacjczzk+SVjXk0k3NU1spsByYVowbo5MPzLFcL6Sxfo6UB25g
TS/4yi1BSI3jN0Ev1GG94qlGmsLxh5o42Z0hbzPpkH1I2UjBlewlGwdQWjfm
Ls3gPTtVEVyMxv4ED9cHcgJWrrKIRWRKYdamnM1gI+Ebc2mos9HdpCarDC3L
HJtUjuooloCyjmzp0J5J3Re+HcgYRR6cN7JxFbdPkkKtIXqW0l+ws+y5nmhi
AGjBRfy/vjeQLiAP9oisWZQYGM44wWTZN3bWNjb1Nj6KIW3oyk1UI/hH0Fgn
G+wT3Vp8ZbQMj+cyh2kgrkL5YFZkqGjTAkANQD+MFbcLf+LbjoSGAvbeF3HQ
UdgnnOHh8qrNMRyiEZBx1pnUaPRYNHbnubeyRarUx+Kzdb2zSKFL7WUUe3Km
I9T2rXF0UP9m4riqZP5DTsRJlX20XRyJLbXiCsdvnXUKUd1ITjhgzKslVI+a
vO2nnYgQ+6zaxcDxMz84ovcEtGAKuHly3qJWiG1wGarvXNxNgnvr5W2tYTQ3
juLAW+/JbMY1NWxJDyScXss2+DDWe+OGcCLSDEVZZPyb6YjXQQsQpz/esA9c
PAfzoBfbahLW4aeNBxJp35pzP8W3PB/6gekc++lckuaWzy59nvUFaubNW7p9
4v4Z+d1EH/W+2viUbs/me3qeF7/v48fX2fyALNb80TsTfXXAKqvA5+7Tkd7i
r9n77rcfRNc80tv3cPt+5/Y9f/t+5/ZH8RDf7fbR14fmHtnjCWnARmN9zD3s
YrJZTUUzcxeEPMqjIqGOA7BXjP0mnqUDjF8lRbKwUgYEgSIDYmFBUkFlwkib
3M1pcy1rZkSzsIw/ParuFmYHvTE1lxkb1GgRLhDPLjrNqzco0psNCta/sqox
6k2VoRx/eR7dZ2hIAcU4vNG/wzmtsbIhPj/oqxB11yYc6r1gzByrCwfAiahs
tMgVWbU4AciV0bO8xZGKHk7DQ7g0rgu9p2jkY2AIJW6oRs1NlAte4GBz7a4v
Em8ckPfFDfScR9NgEWQZH5BrEA1zR64vrNpNQ9aNu7mE+FYKiNnRHtgR0Xx8
taQwtGi87acwa7WgwqeoVGFzoxd1jrjDkHQyBx0HxavHD1p+J5FiVzhfMqtZ
952qryaEeSsPcpbYfcgLO4of8jY+Jf3MJqgWNR/2r6Myt+rGD1eiH/SPR93r
zqP3t3545L3Z8NkrF7djCiPWdWVDBAacEbTCtL/W/d4Ag6N+EXnRw6NmtUhd
GgrkXS5liML9te73L/qtRx126aeDa/3bG5XFKTq4HNbqrUhOWmMSs/o7zoXH
MCQM8fNs/uXrn4vDx+wdBB+aLivWbSOpawLGoShCktk/P6V7pRyp6FDBfX9G
34tOcEZnI5fJq5TIY78w6le/+tXIs+F9THTXfGru06Dm00/N3q45en5CEMf9
ydez8dxsN4HDYTjS7ZepAQ9VqYqeCfqMJbSPvm+SOSDfCFeOxVNRnvelajLl
xMd8OQhuorQxTsBwwbjzfKD0JU4VR4wimyYukO66TrNTtCDVF8hxdDjFyaFv
+SAVg1pwUYvxxZ5GAJLdhZDrOfRW2zV48LU9IY4Y0GlswB0YBnHdzfMs50AE
/LPhxU7NkTj92J0t0TCQnA8+JkpXH+n1VY/OCbxJJI0GTeQL4e842yWVSfec
8n944stYgmlE3KaSugwFXZGwZO54Wco1r7CLfpphc8gDy2quk9Mgnqs78kUm
QaCJ7U9dlQ/b0q3WOvKaxZa6wzdFNPSSuHMBC56i1pbPmyBw1cQ5XYNsO8Rx
TpgGoUB2ZJf+UAcfwrD1sszBW5de7cUmUibbh6BdlaA3hmhgN9KohQruDBFf
oMd+2C3EUjg9YH2sBSdBQftVudIzdvQpjkVch3r6uECCq7UjsPfKe+sa1O3Q
LsOB2+q1iPhOxMDjnb6vzVMed93HHjNradhN2eapq81xiSDZFD9wUvMOwRHL
SOpwTt/GATfZmwhvdqr5UWgqYaUhsdikO0yZFwsbl/u6k0F8dkaiBg6rTm5I
K/RDwlx1xMGbjJucLHDIXceE4hnEyCBz0Pp6Jkxgs2BxIzpd6jc5IEcsMHst
NNoQNUF97uR9lIsj+ewE0DGs29BDHOE6mw9+J9Ku2wxfJtoR3V6bRjupuWEX
VJNYkliYTnBzujFkzGHiF2DJZInXKtxCRU5IZkPxfj6+LscW1WdhHmSaBe0L
970H1WQqRS/FwOFS4vPzQYrI5Gpf68l1ViXK/NJgDQLZcJBwLRg+tRzsClt9
/rtv9R306HBB0y+ncmUejrAfQr0ofxIW+UFbPiIyM4KTsSq7ZdM5RKBr3zZl
2qLvwrdbeXWTETkFvoUbf9cN7yrg025UNFSZjUZ85pe208qB8aSjbsNiNCFa
Mud2Q51j5l6edjhui3Nnm1ra2WHWWYccZnzJ/quakH6pmksS8vHWpd0Mrw8o
IJcwTOq6nGWCGXxLD17W9+puJciB72uxZRr+fh9c5FbB5pjrAPd30cqmf88q
afjER+c2vusVmxVHcNluV7ZXx7ub1NwHjauNuwyOcFQj5Sscwx+wVa5wP0LE
7hwBVyldKsb5aPpoug/TE39wMA75Tg7PduS9M47L1kwjihwMUgQnlWFWPS7Z
JItoJNneDim4zMsrJylSNGg+qBKllwFToVpjIz+lJ/UQTu9knTXQF+vo9z02
3ohxBz7x7BNoNPZVLl5djLViM9odyU1lrvEER2aQUiM69SdNa3zRyU4O3DuQ
iWvc2NEKmAn4yKwk0bjEKMrP6rH0hpiGHyQPlLrlzQSj72+YgTPjPkbbc/AO
LLlEIWrD7A1ie9y/J6uX1o+rxeHb8RcXevkK72SBOJ6mG1wV2u0s5ziiW0qH
hP6klMvBscZiv4NbCrX0YR6XAigZ63YG/Sbd3AQk1xu0VCS2LNfSJ9kfV074
9IJWf/B5kjF2Sz1ALvft6fasnrH6dSpdHTKWIHVf6sib0kZfd1pwQO26C8AB
u70R2mEPS4w1a1TEwbvVh7zhv52z5dfwW3tdoOF1JjUbc0mKdt0wlImISLXr
93li4uuQT16oKBXcGGItpELhb77VFYuWctS3dMMO2ZbMQcdN6GoUdsgcn213
xtCGqayGPLEXLkWwhScix5qmHnHBuLeZyUyL5OJUJOOi5yzFXOAQuo6gOUFZ
d2tAOEfHBMrqLvd5k82nE+/C/QQrWl/7vKGuWLZFRwFsFfQBWmMNFXfULnjC
XSuSnIicIjWvBaNRnY4Lg/huTgCTcmY6VUXRoMuClNT11f6tDN7EYFbUdO2L
apAjlYi8Ki+uELB1vxMPH1ZCO0ZVzOE00Jhbzn1IdRGgWoSMOp5l99BMvHbp
aMelCD6A704IPnVA4+t7G4cLhwvq+90qO/1CXGWtMyjd7n09wdJhtvdgU+i2
WYA/5fRQhLHDw7od2FgMcOBfm69x8xEZ38dPshUa/7IMaZGcK+BM3ncczie+
Q1L7rOAq2TrCDqFlqlbBcX/cRtTI/Wxqpzi2m2fcZQpomAyHH5cbthZ8iFak
Omovy80aOm0c72794rozRR2TzNi11fHlpyIL3o+qpExNtJQLCDKj16ry7Rt0
lswaZgY+hjuWBBhEqn8mVRYRtTAMhma42kVucN0r86EkYpT0C04WF7HErQui
YvO1K9tVSREeFjt9KedjYdycuIgcRAdnN0/a8vykVqt75tCn8kDI6PNu9i7h
Phbiwsk4ncLwsuoULJ9dno8jBvcUDDztZQYyudGPJHB44DNuuQKn2xapKyJV
Thc7zevWjkk0Sm7RFh5B0+D2dzqYuFwnu6jhIKR7IqgHvwBZTTaCwYfdojAk
wyntebeER7WYxy1B4ZJyQ1RHIh5mJ1y5o/3uBiKJ/Xq7jfKXgXpSFDa5kjjf
ga8kflsn2h6Jvf1bJuvU+/uxjQv1glLDLTWDroKv7zVIijypuO0WjJj0uhHc
P6AU5IxMzGTdjqbYExxl2uhjI1HHjJcdOr/4HijDXWy0LhsPlUacnJrxc/Cc
vTEHhrPxFb6dpRRut65rz1hjZAjikKl1DWlgdI07Vks71/r+xdrBPVo/kYlT
si+wlDxXr9P1f/B2PfRsE6KGjfbl9FdoMqPqZaiGX+p6wXb1ZpuoXjMqPqDp
3s+A8M7EdW5T685GElm1FXdk8m3jOG0k7UNcXaCUc3DuYsqZQ5KCWZZNyB6N
NpOv8b/7+7t3XfEjTpsffblP/x3cdaHPsR/53+64XFL4n0X3fmbebrv+8Zf7
b3mqH+26SX9Mv739/M4ZPR747PPB699iiAP6/z/a+OZzWvjAvO4f7L51t741
9x/tdm7i/93//jBdr4055vW83Rjs9MsDc33Hio4HPjvddv0xr2jjHw0yuCL/
7ydDN/H/7n+ylVNOdIfw7/4PPDXePnnPik70p3CZ/HuyfZCDweq5J1/uc+4b
BQAkCPJKMh9em+hpQXlZx6c7ro7wrvLUNR/6jQqV70tZFdCir/wk6W45ypZd
293pzjskU3/0ezQfYI1neiy7gzZqblUmLVUk2pe4hir8tqJSgcpzBKwCQnnf
LSQ7I83kPuYeWKQ6jgP2kqIn3yVjEPr7PLecxvFBSt/pN3MZdGj6nQAu+hCb
rmMflY8HjCP0HkBz/zCVx0UD0Bj4be1jG/22l1MXD7wThzPy9sfkOxDcQf86
lDdIZx5t6KaHFePWLjB3rpmxqulViyp5bW2Mnmxk0vLkFu8dCJ03HULv9xDq
JRGlVGUbnIzoqZ2H4gbq3OA44ZJq31fDdVVXF8NvrGQn4fBziHvmzpsnHNZG
4puWznEMRXR4a59raMFOfpm70DF7IvltdGDF3eTLxEWi4EPJyQU+9SG30JdA
ihIvcTXQSUH4CH3ANQA/08oDqRsUSGmlFYycnA+vd9iWX0+ukAtmbsn48IOC
4HZNLOML530Zk74EYKDtje/QedF5O8Sr+O0Q/MaAzr1bXe4YBKAHW+ehvnql
KLsvseCD6m4i8aHd9/WmMp3UZ/edFnrH2UWnQyI6+eyGVoitdoLa2lz9nvkD
e7vxAoSv7w10/pFXKfD5/yPf1mc06r+SgL5M1qK+Ds3jWwdJfbypdwB5oyB9
7DrhCS5zTfC2drrzQuaEVrRPK12HNpvvDhUa3PHOkqbfzy/uCOwiap1m2HEe
ZIS3xBzr0y/46S+0Aecho+4O0h5sk1a7Oq5Vklp/ksYlliQkORgC9udrNZUm
tfasp3DcArHzIpSeFFZjR9tasKKlcKdXq6i+iauD5fAETWamyH7ca+rtCRh1
t487JmhAaKrtsRWKnyN8HHcf5zdeYMIcTZO0XmhNgzmEvERWi58TvEhtduBO
VWj2O6Tj5B04sdcWB3CcA4MKbymJoZ3ZN6u6v9Y5OeWu1FuSAHe3WQ7VS3BV
osYTnXeAXNK+RJpM8q1Npm3Fkc5UTvENzF0DPZe+vbM9XvclOcw+7j05hAho
y/Az6pQXq53Nk02IkW4oQW9Htf2tkTcJ1RsvAdLGGRtIKO/2X2ZNgZftqBsp
J1U2GxD2TNgH6qFOfDX0NMsKaXeqnWcinaRt55PgfAftJNIoBzT1MKC+Ytez
lVbNotNft+lRR6PcQ5JZeqAdd1qXkdbe0kJtiznD8chMS0d8X7U128FGm6B4
q9Xvw7BatYULAnWtYNSOQLrxeqc4SQNfNw0CKOTJS3TqMdfxueIBNJXb0ujN
vxZ5a1MIZvSBN2UddjqHXa7Lck4L4044Mht+7wcK3miIhdaW+QAjv8dBXwjB
mgQ1J/zWP+6R2FEfrMKkTy5s4B35OT5E4cAoHifwjjNTAY1qWMlHuVE5iPoS
th2CXRUMzKsEZ9K4Fqd1ammj7wWcES+X3G3ah402XqYVz0qCzP3W1k5ddK+L
ps9hbrzS9N27XVECorrnRNCAPrWiMgKF8et1utQlsHf0/GiT/Qd6/r3rt7ZE
tpLwGT9A83H6PimE9PDsl1aSi+Zphlj7LbmqzqFE60eaNNxHWpN5wm9xPDQX
iMLCnK3Qar2Jg/KaTVq3V7kuTzTbsb5IhJe65T3d/JaWre/wHpzVAwK866Rw
rTCkO3LnMGZUysIVP9I10hdNDZ6uFDd6VXKxt0syoOXiEfu5SeGa/PytHvJz
j//tD8tI11YGeUOJsMnmKYA6DCsJCTkI4OfYOapgKiSk26gNR78eHE87RvcN
Lhhih829qn0rzOuV63eL9fuN3jYq9usADeWQKOIJRCLM5AtNUoveQrtdvGUq
ift1MrDCq439KwSwU/Hbm31i5wk+q5f85lJvx3F1eB+z9NbV9ymz3B7NXAcZ
bqo4zMSwVTLHWkuQNfrNgAqvictJ4Bat77t1ndkbLoqSqpGsQiiglbwPwVoI
tvYuK6ShOj15eOjnJTZt9P8A/KjqdsJ/AAA=

-->

</rfc>

