<?xml version="1.0" encoding="US-ASCII"?>

<!DOCTYPE rfc SYSTEM "rfc2629.dtd" [
<!ENTITY NET_PGM_ILL PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ids/reference.I-D.filsfils-spring-srv6-net-pgm-illustration.xml">
<!ENTITY SR_VPN_BGP PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ids/reference.I-D.ietf-bess-srv6-services.xml">
<!ENTITY TILFA PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ids/reference.I-D.ietf-rtgwg-segment-routing-ti-lfa.xml">
<!ENTITY SRV6_BGPLS PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ids/reference.I-D.ietf-idr-bgpls-srv6-ext.xml">
<!ENTITY RFC2119 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.2119.xml">
<!ENTITY RFC8174 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.8174.xml">
<!ENTITY RFC8200 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.8200.xml">
<!ENTITY RFC4364 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.4364.xml">
<!ENTITY RFC6437 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.6437.xml">
<!ENTITY RFC2473 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.2473.xml">
<!ENTITY RFC7432 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.7432.xml">
<!ENTITY RFC8402 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.8402.xml">
<!ENTITY RFC8214 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.8214.xml">
<!ENTITY RFC8754 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.8754.xml">

<!ENTITY IEEE-802.3 PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ieee/reference.IEEE.802.3_2012.xml">
]>

<?xml-stylesheet type='text/xsl' href='rfc2629.xslt' ?>
<?rfc strict="yes" ?>
<?rfc toc="yes"?>
<?rfc tocompact="yes"?>
<?rfc tocdepth="3"?>
<?rfc tocindent="yes"?>
<?rfc symrefs="yes"?> <!-- use symbolic references tags, i.e, [RFC2119] instead of [1] -->
<?rfc sortrefs="yes"?> <!-- sort the reference entries alphabetically -->
<?rfc comments="yes"?>
<?rfc inline="yes"?>
<?rfc compact="yes"?> <!-- control vertical white space -->
<?rfc subcompact="no"?> <!-- keep one blank line between list items -->
<?rfc autobreaks="yes"?>
<rfc category="std" docName="draft-ietf-spring-srv6-network-programming-17" ipr="trust200902">
 <!-- category values: std, bcp, info, exp, and historic
    ipr values: trust200902, noModificationTrust200902, noDerivativesTrust200902,
         or pre5378Trust200902  -->

    <front>

     <!--title abbrev="Abbreviated Title">SRv6 Network Programming</title> -->
     <title>SRv6 Network Programming</title>

     <author fullname="Clarence Filsfils" initials="C." surname="Filsfils" role="editor">
        <organization>Cisco Systems, Inc.</organization>
        <address>
            <postal>
                <street></street>
                <city></city>
                <region></region>
                <code></code>
                <country>Belgium</country>
            </postal>
            <phone></phone>
            <email>cf@cisco.com</email>
        </address>
     </author>

     <author fullname="Pablo Camarillo Garvia" initials="P." surname="Camarillo" role="editor" >
        <organization>Cisco Systems, Inc.</organization>
        <address>
            <postal>
                <street></street>
                <city></city>
                <region></region>
                <code></code>
                <country>Spain</country>
            </postal>
            <email>pcamaril@cisco.com</email>
        </address>
     </author>

     <author fullname="John Leddy" initials="J." surname="Leddy">
        <organization>Individual Contributor</organization>
        <address>
            <postal>
                <street></street>
                <city></city>
                <region></region>
                <code></code>
                <country>United States of America</country>
            </postal>
            <email>john@leddy.net</email>
        </address>
     </author>

     <author fullname="Daniel Voyer" initials="D." surname="Voyer">
        <organization>Bell Canada</organization>
        <address>
            <postal>
                <street></street>
                <city></city>
                <region></region>
                <code></code>
                <country>Canada</country>
            </postal>
            <email>daniel.voyer@bell.ca</email>
        </address>
     </author>

     <author fullname="Satoru Matsushima" initials="S." surname="Matsushima">
         <organization abbrev="SoftBank">SoftBank</organization>
         <address>
             <postal>
                 <street>1-9-1,Higashi-Shimbashi,Minato-Ku</street>
                 <city>Tokyo  105-7322</city>
                 <region></region>
                 <code></code>
                 <country>Japan</country>
             </postal>
             <phone></phone>
             <email>satoru.matsushima@g.softbank.co.jp</email>
         </address>
     </author>

     <author fullname="Zhenbin Li" initials="Z." surname="Li">
        <organization>Huawei Technologies</organization>
        <address>
            <postal>
                <street></street>
                <city></city>
                <region></region>
                <code></code>
                <country>China</country>
            </postal>
            <phone></phone>
            <email>lizhenbin@huawei.com</email>
        </address>
     </author>


     <date />

     <area>General</area>
     <workgroup>SPRING</workgroup>

     <keyword>SRv6</keyword>
     <keyword>Segment Routing</keyword>
     <keyword>IPv6 Segment Routing</keyword>

     <!-- Keywords will be incorporated into HTML output
        files in a meta tag but they have no effect on text or nroff
        output. If you submit your draft to the RFC Editor, the
        keywords will be used for the search engine. -->

        <abstract>
            <t>The SRv6 Network Programming framework enables a network operator or an application to specify a packet processing program by encoding a sequence of instructions in the IPv6 packet header.</t>
            <t>Each instruction is implemented on one or several nodes in the network and identified by an SRv6 Segment Identifier in the packet.</t>
            <t>This document defines the SRv6 Network Programming concept and specifies the base set of SRv6 behaviors that enables the creation of interoperable overlays with underlay optimization (Service Level Agreements).</t>
        </abstract>
    </front>

    <middle>
        <section title="Introduction">
            <t>Segment Routing <xref target="RFC8402" /> leverages the source routing paradigm. An ingress node steers a packet through an ordered list of instructions, called segments. Each one of these instructions represents a function to be called at a specific location in the network. A function is locally defined on the node where it is executed and may range from simply moving forward in the Segment List to any complex user-defined behavior. Network programming combines segment routing functions, both simple and complex, to achieve a networking objective that goes beyond mere packet routing.</t>
            <t>This document defines the SRv6 Network Programming concept and specifies the main segment routing behaviors to enable the creation of interoperable overlays with underlay optimization (Service Level Agreement).</t>
            <t>The companion document <xref target="I-D.filsfils-spring-srv6-net-pgm-illustration" /> illustrates the concepts defined in this document.</t>
            <t>Familiarity with the <xref target="RFC8754">Segment Routing Header</xref> is expected.</t>
        </section>

        <section title="Terminology">
            <t>The following terms used within this document are defined in <xref target="RFC8402" />: Segment Routing, SR Domain, Segment ID (SID), SRv6, SRv6 SID, SR Policy, Prefix SID and Adjacency SID.</t>

            <t>The following terms used within this document are defined in <xref target="RFC8754" />: SRH, SR Source Node, Transit Node, SR Segment Endpoint Node and Reduced SRH.</t>

            <t>NH: Next-header field of the IPv6 header <xref target="RFC8200" />. NH=SRH means that the next-header of the IPv6 header is Routing Header for IPv6(43) with the Type field set to 4.</t>

            <t>SL: The Segments Left field of the SRH</t>
            <t>FIB: Forwarding Information Base.  A FIB lookup is a lookup in the forwarding table.</t>
            <t>SA: Source Address</t>
            <t>DA: Destination Address</t>

            <t>SRv6 SID function: The function part of the SID is an opaque identification of a local behavior bound to the SID. It is formally defined in <xref target="sid_format" /> of this document.</t>

            <t>SRv6 Segment Endpoint behavior: A packet processing behavior executed at an SRv6 Segment Endpoint Node. <xref target="behaviors" /> of this document defines SRv6 Segment Endpoint behaviors related to traffic-engineering and overlay use-cases. Other behaviors (e.g. service programming) are outside the scope of this document.</t>

            <t>An SR Policy is resolved to a SID list. A SID list is represented as &lt;S1, S2, S3&gt; where S1 is the first SID to visit, S2 is the second SID to visit and S3 is the last SID to visit along the SR path.</t>

            <t>(SA,DA) (S3, S2, S1; SL) represents an IPv6 packet with:<list style="format - ">
                <t>Source Address is SA, Destination Address is DA, and next-header is SRH</t>
                <t>SRH with SID list &lt;S1, S2, S3&gt; with Segments Left = SL</t>
                <t>Note the difference between the &lt;&gt; and () symbols: &lt;S1, S2, S3&gt; represents a SID list where S1 is the first SID and S3 is the last SID to traverse. (S3, S2, S1; SL) represents the same SID list but encoded in the SRH format where the rightmost SID in the SRH is the first SID and the leftmost SID in the SRH is the last SID. When referring to an SR policy in a high-level use-case, it is simpler to use the &lt;S1, S2, S3&gt; notation. When referring to an illustration of the detailed packet behavior, the (S3, S2, S1; SL) notation is more convenient.</t>
                <t>The payload of the packet is omitted.</t>
            </list></t>

            <t>SRH[n]: A shorter representation of Segment List[n], as defined in <xref target="RFC8754" />.</t>

            <section title="Requirements Language">
                <t>The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "NOT RECOMMENDED", "MAY", and "OPTIONAL" 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>
            </section>
        </section>

        <section title="SRv6 SID">
            <t>RFC8402 defines an SRv6 Segment Identifier as an IPv6 address explicitly associated with the segment.</t>

            <t>When an SRv6 SID is in the Destination Address field of an IPv6 header of a packet, it is routed through an IPv6 network as an IPv6 address.</t>

            <t>Its processing is defined in <xref target="RFC8754" /> section 4.3 and reproduced here as a reminder. <list style="empty">

                <t>Without constraining the details of an implementation, the SR Segment Endpoint Node creates Forwarding Information Base (FIB) entries for its local SIDs.</t>

                <t>When an SRv6-capable node receives an IPv6 packet, it performs a longest-prefix-match lookup on the packets destination address.  This lookup can return any of the following: <list style="format - ">

                    <t>A FIB entry that represents a locally instantiated SRv6 SID</t>
                    <t>A FIB entry that represents a local interface, not locally instantiated as an SRv6 SID</t>
                    <t>A FIB entry that represents a non-local route</t>
                    <t>No Match</t>
                </list></t>
            </list></t>

            <t>This document formally defines behaviors and parameters for SRv6 SIDs.</t>

            <section title="SID Format" anchor="sid_format">
                <t>This document defines an SRv6 SID as consisting of LOC:FUNCT:ARG, where a locator (LOC) is encoded in the L most significant bits of the SID, followed by F bits of function (FUNCT) and A bits of arguments (ARG).  L, the locator length, is flexible, and an operator is free to use the locator length of their choice. F and A may be any value as long as L+F+A &lt;= 128. When L+F+A is less than 128 then the remainder of the SID MUST be zero.</t>

                <t>A locator may be represented as B:N where B is the SRv6 SID block (IPv6 subnet allocated for SRv6 SIDs by the operator) and N is the identifier of the parent node instantiating the SID.</t>

                <t>When the LOC part of the SRv6 SIDs is routable, it leads to the node which instantiates the SID.</t>

                <t>The FUNCT is an opaque identification of a local behavior bound to the SID.</t>

                <t>The term &quot;function&quot; refers to the bit-string in the SRv6 SID. The term &quot;behavior&quot; identifies the behavior bound to the SID. The behaviors are defined in Section 4 of this document.</t>

                <t>An SRv6 endpoint behavior MAY require additional information for its processing (e.g. related to the flow or service). This information may be encoded in the ARG bits of the SID.</t>

                <t>In such a case, the semantics and format of the ARG bits are defined as part of the SRv6 endpoint behavior specification.</t>

                <t>The ARG value of a routed SID SHOULD remain constant among packets in a given flow.  Varying ARG values among packets in a flow may result in different ECMP hashing and cause re-ordering.</t>
            </section>

            <section title="SID Allocation within an SR domain">
                <t>Locators are assigned consistent with IPv6 infrastructure allocation.  For example, an network operator may:
                    <list style="symbols">
                        <t>Assign block B::/48 to the SR domain</t>
                        <t>Assign a unique B:N::/64 block to each SRv6-enabled node in the domain</t>
                    </list>
                </t>
                <t>As an example, one mobile service provider has commercially deployed SRv6 across more than 1000 commercial routers and 1800 whitebox routers. All these devices are enabled for SRv6 and advertise SRv6 SID&apos;s. The provider historically deployed IPv6 and assigned infrastructure address from a portion of the fc00::/7 prefix. They further subdivided the prefix into three /48 prefixes (Country X, Country Y, Country Z) to support their SRv6 infrastructure. From those /48 prefixes each router is assigned a /64 prefix from which all SIDs of that router are allocated.</t>

                <t>In another example, a large mobile and fixed line service provider has commercially deployed SRv6 in their country-wide network. This provider is assigned a /20 prefix by a RIR. They sub-allocated a few /48 prefixes to their infrastructure to deploy SRv6. Each router is assigned a /64 prefix from which all SIDs of that router are allocated.</t>

                <t>IPv6 address consumption in both these examples is minimum, representing one billionth and one millionth of the assigned address space respectively.</t>

                <t>A service provider receiving the current minimum allocation of a /32 from a RIR may assign a /48 prefix to their infrastructure deploying SRv6, and subsequently allocate /64 prefixes for SIDs at each SRv6 node. The /48 assignment is one sixty five thousandth (1/2^16) of the usable IPv6 address space available for assignment by the provider.</t>

                <t>When an operator instantiates a SID at a node, they specify a SID value B:N:FUNCT and the behavior bound to the SID using one of the IANA codepoints of the registry of SRv6 Endpoint Behaviors defined in this document.</t>

                <t>The node advertises the SID, B:N:FUNCT, in the control-plane (see <xref target="cp" />) together with the IANA Endpoint Behavior codepoint (see <xref target="endpoint_cp_types" />) identifying the behavior of the SID.</t>

                <t>A remote node uses the IANA behavior codepoint to map the received SID (B:N:FUNCT) to a behavior.</t>

                <t>A remote node selects a desired behavior at an advertising node by selecting the SID (B:N:FUNCT) advertised with the desired behavior.</t>

                <t>A remote node cannot infer the behavior by examination of the FUNCT value of a SID.</t>

                <t>Therefore the IANA Endpoint Behavior codepoint is advertised along with the SID in the control plane.</t>

                <t>As an example, a network operator may:
                    <list style="symbols">
                        <t>Assign an SRv6 SID block 2001:db8:bbbb::/48 from their in-house operation block for their SRv6 infrastructure</t>
                        <t>Assign an SRv6 Locator 2001:db8:bbbb:3::/64 to the Router 3 in their SR Domain</t>
                        <t>At Router 3, within the locator 2001:db8:bbbb:3::/64, network operator or the router performs dynamic assignment for:
                            <list>
                                <t>Function 11 associated with the behavior End.X (Endpoint with cross-connect) between router 3 and its connected neighbor router 4.<vspace />
                                This SID is advertised in the control plane as 2001:db8:bbbb:3:11:: with IANA Behavior value of 5.</t>
                                <t>Function 12 associated with the behavior End.X (Endpoint with cross-connect) between router 3 and its connected neighbor router 2.<vspace />
                                This SID is advertised in the control plane as 2001:db8:bbbb:3:12:: with IANA Behavior value of 5.</t>
                            </list>
                        </t>
                    </list>
                </t>
            </section>

            <section title="SID Reachability">
                <t>Most often, the node N would advertise IPv6 prefix(es) matching the LOC parts covering its SIDs or shorter-mask prefix. The distribution of these advertisements and calculation of their reachability are routing protocol specific aspects that are outside the scope of this document.</t>

                <t>An SRv6 SID is said to be routed if its SID belongs to an IPv6 prefix advertised via a routing protocol. An SRv6 SID that does not fulfill this condition is non-routed.</t>

                <t>Let's provide a classic illustration:</t>

                <t>Node N is configured explicitly with two SIDs: 2001:DB8:B:1:100:: and 2001:DB8:B:2:101::.</t>

                <t>The network learns about a path to 2001:DB8:B:1::/64 via the IGP and hence a packet destined to 2001:DB8:B:1:100:: would be routed up to N. The network does not learn about a path to 2001:DB8:B:2::/64 via the IGP and hence a packet destined to 2001:DB8:B:2:101:: would not be routed up to N.</t>

                <t>A packet could be steered to a non-routed SID 2001:DB8:B:2:101:: by using a SID list &lt;...,2001:DB8:B:1:100::,2001:DB8:B:2:101::,...&gt; where the non-routed SID is preceded by a routed SID to the same node. Routed and non-routed SRv6 SIDs are the SRv6 instantiation of global and local segments, respectively [RFC8402].<vspace blankLines="25" /></t>
            </section>
        </section>

        <?rfc needLines="40" ?>
        <section title="SR Endpoint Behaviors" anchor="behaviors">
            <t>Each FIB entry indicates the behavior associated with a SID instance and its parameters.</t>
            <t>This document defines a new set of behaviors in addition to that defined in RFC8754 Section 4.3.1.</t>
            <t>Following is a set of well-known behaviors that can be associated with a SID.</t>
                <figure>
                    <artwork><![CDATA[
 End                Endpoint function
                    The SRv6 instantiation of a prefix SID [RFC8402]
 End.X              Endpoint with Layer-3 cross-connect
                    The SRv6 instantiation of a Adj SID [RFC8402]
 End.T              Endpoint with specific IPv6 table lookup
 End.DX6            Endpoint with decapsulation and IPv6 cross-connect
                    e.g. IPv6-L3VPN (equivalent to per-CE VPN label)
 End.DX4            Endpoint with decaps and IPv4 cross-connect
                    e.g. IPv4-L3VPN (equivalent to per-CE VPN label)
 End.DT6            Endpoint with decapsulation and IPv6 table lookup
                    e.g. IPv6-L3VPN (equivalent to per-VRF VPN label)
 End.DT4            Endpoint with decapsulation and IPv4 table lookup
                    e.g. IPv4-L3VPN (equivalent to per-VRF VPN label)
 End.DT46           Endpoint with decapsulation and IP table lookup
                    e.g. IP-L3VPN (equivalent to per-VRF VPN label)
 End.DX2            Endpoint with decapsulation and L2 cross-connect
                    e.g. L2VPN use-case
 End.DX2V           Endpoint with decaps and VLAN L2 table lookup
                    e.g. EVPN Flexible cross-connect use-case
 End.DT2U           Endpoint with decaps and unicast MAC L2table lookup
                    e.g. EVPN Bridging unicast use-case
 End.DT2M           Endpoint with decapsulation and L2 table flooding
                    e.g. EVPN Bridging BUM use-case with ESI filtering
 End.B6.Encaps      Endpoint bound to an SRv6 policy with encapsulation
                    SRv6 instantiation of a Binding SID
 End.B6.Encaps.RED  End.B6.Encaps with reduced SRH
                    SRv6 instantiation of a Binding SID                
 End.BM             Endpoint bound to an SR-MPLS Policy
                    SRv6 instantiation of an SR-MPLS Binding SID
                    ]]></artwork>
                </figure>
            
            <t>The list is not exhaustive. In practice, any function can be attached to a local SID: e.g. a node N can bind a SID to a local VM or container which can apply any complex processing on the packet.</t>
            <t>The following sub-sections detail the behaviors, introduced in this document, that a node (N) binds to a SID (S).</t>
            <t>Section 4.16 defines flavors of some of these behaviors.</t>

            <?rfc needLines="40" ?>
            <section title="End: Endpoint">

                <t>The Endpoint behavior ("End" for short) is the most basic behavior. It is the instantiation of a Prefix-SID <xref target="RFC8402" />.</t>

                <t><vspace blankLines="2" />When N receives a packet whose IPv6 DA is S and S is a local End SID, N does:</t>

                <figure>
                    <artwork><![CDATA[
S01. When an SRH is processed {
S02.   If (Segments Left == 0) {
S03.      Proceed to process the next header in the packet, 
             whose type is identified by the Next Header field in
             the routing header.
S04.   }
S05.   If (IPv6 Hop Limit <= 1) {
S06.      Send an ICMP Time Exceeded message to the Source Address,
             Code 0 (Hop limit exceeded in transit),
             Interrupt packet processing and discard the packet.
S07.   }
S08.   max_LE = (Hdr Ext Len / 2) - 1
S09.   If ((Last Entry > max_LE) or (Segments Left > Last Entry+1)) {
S10.      Send an ICMP Parameter Problem to the Source Address,
             Code 0 (Erroneous header field encountered),
             Pointer set to the Segments Left field.
             Interrupt packet processing and discard the packet.

S11.   }
S12.   Decrement Hop Limit by 1
S13.   Decrement Segments Left by 1
S14.   Update IPv6 DA with Segment List[Segments Left]
S15.   Submit the packet to the egress IPv6 FIB lookup and           
          transmission to the new destination
S16. }
                    ]]></artwork>
                </figure>
                <t>Notes:<vspace blankLines="0" />
                The End behavior operates on the same FIB table (i.e. VRF, L3 relay id) associated to the packet. Hence the FIB lookup on line S15 is done in the same FIB table as the ingress interface.</t>

                <section title="Upper-Layer Header" anchor="upper">
                    <t>When processing the Upper-layer Header of a packet matching a FIB entry locally instantiated as an SRv6 End SID, if Upper-layer Header processing is allowed by local configuration (e.g. ICMPv6), then process the upper-layer header. Otherwise, send an ICMP parameter problem message to the Source Address and discard the packet. Error code 4 (SR Upper-layer Header Error) and Pointer set to the offset of the upper-layer header. </t>
                </section>
            </section>

            <?rfc needLines="20" ?>
            <section title="End.X: Layer-3 Cross-Connect">
                <t>The "Endpoint with cross-connect to an array of layer-3 adjacencies" behavior (End.X for short) is a variant of the End behavior.</t>

                <t>It is the SRv6 instantiation of an Adjacency-SID <xref target="RFC8402" /> and it is required to express any traffic-engineering policy.</t>

                <t>Any SID instance of this behavior is associated with a set, J, of one or more Layer-3 adjacencies.</t>

                <t><vspace blankLines="2" />When N receives a packet destined to S and S is a local End.X SID, the line S15 from the End processing is replaced by the following:</t>

                <figure> <artwork><![CDATA[
S15.   Submit the packet to the IPv6 module for transmission
          to the new destination via a member of J
                    ]]></artwork>
                </figure>

                <t>Notes:<vspace blankLines="0" />
                S15. If the set J contains several L3 adjacencies, then one element of the set is selected based on a hash of the packet's header <xref target="OpsFlowLabel" />.</t>


                <t><vspace blankLines="2" />If a node N has 30 outgoing interfaces to 30 neighbors, usually the operator would explicitly instantiate 30 End.X SIDs at N: one per layer-3 adjacency to a neighbor.  Potentially, more End.X could be explicitly defined (groups of layer-3 adjacencies to the same neighbor or to different neighbors).</t>

                <t>Note that if N has an outgoing interface bundle I to a neighbor Q made of 10 member links, N may allocate up to 11 End.X local SIDs: one for the bundle(LAG) itself and then up to one for each Layer-2 member link.</t>

                <t><vspace blankLines="2" />When the End.X behavior is associated with a BGP Next-Hop, it is the SRv6 instantiation of the BGP Peering Segments <xref target="RFC8402" />.<vspace blankLines="5" /></t>
            </section>

            <?rfc needLines="20" ?>
            <section title="End.T: Specific IPv6 Table Lookup">
                <t>The "Endpoint with specific IPv6 table lookup" behavior (End.T for short) is a variant of the End behavior.</t>

                <t>The End.T behavior is used for multi-table operation in the core. For this reason, an instance of the End.T behavior is associated with an IPv6 FIB table T.</t>

                <t><vspace blankLines="2" />When N receives a packet destined to S and S is a local End.T SID, the line S15 from the End processing is replaced by the following:</t>

                <figure> <artwork><![CDATA[
S15.1.   Set the packet's associated FIB table to T
S15.2.   Submit the packet to the egress IPv6 FIB lookup and           
           transmission to the new destination
                ]]></artwork> </figure>
                
            </section>

            <section title="End.DX6: Decapsulation and IPv6 Cross-Connect">
                <t>The "Endpoint with decapsulation and cross-connect to an array of IPv6 adjacencies" behavior (End.DX6 for short) is a variant of the End.X behavior.</t>

                <t>One of the applications of the End.DX6 behavior is the L3VPNv6 use-case where a FIB lookup in a specific tenant table at the egress PE is not required. This is equivalent to the per-CE VPN label in MPLS <xref target="RFC4364" />.</t>

                <t>The End.DX6 SID MUST be the last segment in a SR Policy, and it is associated with one or more L3 IPv6 adjacencies J.</t>

                <t><vspace blankLines="2" />When N receives a packet destined to S and S is a local End.DX6 SID, N does the following processing:</t>

                <figure><artwork><![CDATA[
S01. When an SRH is processed {
S02.   If (Segments Left != 0) {
S03.      Send an ICMP Parameter Problem to the Source Address,
             Code 0 (Erroneous header field encountered),
             Pointer set to the Segments Left field.
             Interrupt packet processing and discard the packet.
S04.   }
S05.   Proceed to process the next header in the packet
S06. }
                ]]></artwork></figure>

                <t><vspace blankLines="2" />When processing the Upper-layer header of a packet matching a FIB entry locally instantiated as an SRv6 End.DX6 SID, the following is done:</t>

                <figure><artwork><![CDATA[
S01. If (Upper-Layer Header type != 41) {
S02.    Process as per Section 4.1.1
S03. }
S04. Remove the outer IPv6 Header with all its extension headers
S05. Forward the exposed IPv6 packet to the L3 adjacency J
                ]]></artwork></figure>     

                <t>Notes:<vspace blankLines="0" />
                S01. 41 refers to IPv6 encapsulation as defined by IANA allocation for Internet Protocol Numbers.<vspace blankLines="0" />
                S05. If the End.DX6 SID is bound to an array of L3 adjacencies, then one entry of the array is selected based on the hash of the packet's header <xref target="OpsFlowLabel" />.</t>
            </section>

            <section title="End.DX4: Decapsulation and IPv4 Cross-Connect">
                <t>The "Endpoint with decapsulation and cross-connect to an array of IPv4 adjacencies" behavior (End.DX4 for short) is a variant of the End.X behavior.</t>
                <t>One of the applications of the End.DX4 behavior is the L3VPNv4 use-case where a FIB lookup in a specific tenant table at the egress PE is not required. This is equivalent to the per-CE VPN label in MPLS <xref target="RFC4364" />.</t>
                <t>The End.DX4 SID MUST be the last segment in a SR Policy, and it is associated with one or more L3 IPv4 adjacencies J.</t>
                <t><vspace blankLines="2" />When N receives a packet destined to S and S is a local End.DX4 SID, N does the following processing:</t>

                <figure><artwork><![CDATA[
S01. When an SRH is processed {
S02.   If (Segments Left != 0) {
S03.      Send an ICMP Parameter Problem to the Source Address,
             Code 0 (Erroneous header field encountered),
             Pointer set to the Segments Left field.
             Interrupt packet processing and discard the packet.
S04.   }
S05.   Proceed to process the next header in the packet
S06. }
                ]]></artwork></figure>

                <t><vspace blankLines="2" />When processing the Upper-layer header of a packet matching a FIB entry locally instantiated as an SRv6 End.DX4 SID, the following is done:</t>
                <figure><artwork><![CDATA[
S01. If (Upper-Layer Header type != 4) {
S02.    Process as per Section 4.1.1
S03. }
S04. Remove the outer IPv6 Header with all its extension headers
S05. Forward the exposed IPv4 packet to the L3 adjacency J
                ]]></artwork></figure>
                <t>Notes:<vspace blankLines="0" />
                S01. 4 refers to IPv4 encapsulation as defined by IANA allocation for Internet Protocol Numbers<vspace blankLines="0" />
                S05. If the End.DX4 SID is bound to an array of L3 adjacencies, then one entry of the array is selected based on the hash of the packet's header <xref target="OpsFlowLabel" />.</t>
            </section>

            <section title="End.DT6: Decapsulation and Specific IPv6 Table Lookup">
                <t>The "Endpoint with decapsulation and specific IPv6 table lookup" behavior (End.DT6 for short) is a variant of the End.T behavior.</t>
                <t>One of the applications of the End.DT6 behavior is the L3VPNv6 use-case where a FIB lookup in a specific tenant table at the egress PE is required. This is equivalent to the per-VRF VPN label in MPLS <xref target="RFC4364" />.</t>
                <t>Note that an End.DT6 may be defined for the main IPv6 table in which case and End.DT6 supports the equivalent of an IPv6inIPv6 decapsulation (without VPN/tenant implication).</t>
                <t>The End.DT6 SID MUST be the last segment in a SR Policy, and a SID instance is associated with an IPv6 FIB table T.</t>

                <t><vspace blankLines="2" />When N receives a packet destined to S and S is a local End.DT6 SID, N does the following processing:</t>
                <figure><artwork><![CDATA[
S01. When an SRH is processed {
S02.   If (Segments Left != 0) {
S03.      Send an ICMP Parameter Problem to the Source Address,
             Code 0 (Erroneous header field encountered),
             Pointer set to the Segments Left field.
             Interrupt packet processing and discard the packet.
S04.   }
S05.   Proceed to process the next header in the packet
S06. }
                ]]></artwork></figure>

                <t><vspace blankLines="2" />When processing the Upper-layer header of a packet matching a FIB entry locally instantiated as an SRv6 End.DT6 SID, N does the following:</t>
                <figure><artwork><![CDATA[
S01. If (Upper-Layer Header type != 41) {
S02.    Process as per Section 4.1.1
S03. }
S04. Remove the outer IPv6 Header with all its extension headers
S05. Set the packet's associated FIB table to T
S06. Submit the packet to the egress IPv6 FIB lookup and 
        transmission to the new destination
                ]]></artwork></figure>

            </section>

            <section title="End.DT4: Decapsulation and Specific IPv4 Table Lookup">
                <t>The "Endpoint with decapsulation and specific IPv4 table lookup" behavior (End.DT4 for short) is a variant of the End behavior.</t>
                <t>One of the applications of the End.DT4 behavior is the L3VPNv4 use-case where a FIB lookup in a specific tenant table at the egress PE is required. This is equivalent to the per-VRF VPN label in MPLS <xref target="RFC4364" />.</t>
                <t>Note that an End.DT4 may be defined for the main IPv4 table in which case an End.DT4 supports the equivalent of an IPv4inIPv6 decapsulation (without VPN/tenant implication).</t>
                <t>The End.DT4 SID MUST be the last segment in a SR Policy, and a SID instance is associated with an IPv4 FIB table T.</t>

                <t><vspace blankLines="2" />When N receives a packet destined to S and S is a local End.DT4 SID, N does the following processing:</t>
                <figure><artwork><![CDATA[
S01. When an SRH is processed {
S02.   If (Segments Left != 0) {
S03.      Send an ICMP Parameter Problem to the Source Address,
             Code 0 (Erroneous header field encountered),
             Pointer set to the Segments Left field.
             Interrupt packet processing and discard the packet.
S04.   }
S05.   Proceed to process the next header in the packet
S06. }
                ]]></artwork></figure>

                <t><vspace blankLines="2" />When processing the Upper-layer header of a packet matching a FIB entry locally instantiated as an SRv6 End.DT4 SID, N does the following:</t>
                <figure><artwork><![CDATA[
S01. If (Upper-Layer Header type != 4) {
S02.    Process as per Section 4.1.1
S03. }
S04. Remove the outer IPv6 Header with all its extension headers
S05. Set the packet's associated FIB table to T
S06. Submit the packet to the egress IPv4 FIB lookup and 
        transmission to the new destination
                ]]></artwork></figure>
            </section>

            <section title="End.DT46: Decapsulation and Specific IP Table Lookup">
                <t>The "Endpoint with decapsulation and specific IP table lookup" behavior (End.DT46 for short) is a variant of the End.DT4 and End.DT6 behavior.</t>
                <t>One of the applications of the End.DT46 behavior is the L3VPN use-case where a FIB lookup in a specific IP tenant table at the egress PE is required. This is equivalent to single per-VRF VPN label (for IPv4 and IPv6) in MPLS<xref target="RFC4364" />.</t>
                <t>Note that an End.DT46 may be defined for the main IP table in which case an End.DT46 supports the equivalent of an IPinIPv6 decapsulation(without VPN/tenant implication).</t>
                <t>The End.DT46 SID MUST be the last segment in a SR Policy, and a SID instance is associated with an IPv4 FIB table T4 and an IPv6 FIB table T6.</t>
                <t><vspace blankLines="2" />When N receives a packet destined to S and S is a local End.DT46 SID, N does the following processing:</t>
                <figure><artwork><![CDATA[
S01. When an SRH is processed {
S02.   If (Segments Left != 0) {
S03.      Send an ICMP Parameter Problem to the Source Address,
             Code 0 (Erroneous header field encountered),
             Pointer set to the Segments Left field.
             Interrupt packet processing and discard the packet.
S04.   }
S05.   Proceed to process the next header in the packet
S06. }
                ]]></artwork></figure>

                <t><vspace blankLines="2" />When processing the Upper-layer header of a packet matching a FIB entry locally instantiated as an SRv6 End.DT46 SID, N does the following:</t>
                <figure><artwork><![CDATA[
S01. If (Upper-layer Header type == 4) {
S02.    Remove the outer IPv6 Header with all its extension headers
S03.    Set the packet's associated FIB table to T4
S04.    Submit the packet to the egress IPv4 FIB lookup and 
           transmission to the new destination
S05. } Else if (Upper-layer Header type == 41) {
S06.    Remove the outer IPv6 Header with all its extension headers
S07.    Set the packet's associated FIB table to T6
S08.    Submit the packet to the egress IPv6 FIB lookup and 
           transmission to the new destination
S09. } Else {
S10.    Process as per Section 4.1.1
S11. }
                ]]></artwork></figure>
            </section>

            <section title="End.DX2: Decapsulation and L2 Cross-Connect">
                <t>The "Endpoint with decapsulation and Layer-2 cross-connect to an outgoing L2 interface (OIF)" (End.DX2 for short) is a variant of the endpoint behavior.</t>
                <t>One of the applications of the End.DX2 behavior is the L2VPN/EVPN VPWS <xref target="RFC7432" /><xref target="RFC8214" /> use-case.</t>
                <t>The End.DX2 SID MUST be the last segment in a SR Policy, and it is associated with one outgoing interface I.</t>

                <t><vspace blankLines="2" />When N receives a packet destined to S and S is a local End.DX2 SID, N does:</t>

                <figure><artwork><![CDATA[
S01. When an SRH is processed {
S02.   If (Segments Left != 0) {
S03.      Send an ICMP Parameter Problem to the Source Address,
             Code 0 (Erroneous header field encountered),
             Pointer set to the Segments Left field.
             Interrupt packet processing and discard the packet.
S04.   }
S05.   Proceed to process the next header in the packet
S06. }
                ]]></artwork></figure>
                
                <t><vspace blankLines="2" />When processing the Upper-layer header of a packet matching a FIB entry locally instantiated as an SRv6 End.DX2 SID, the following is done:</t>

                <figure><artwork><![CDATA[
S01. If (Upper-Layer Header type != 143) {
S02.    Process as per Section 4.1.1
S03. }
S04. Remove the outer IPv6 Header with all its extension headers and 
        forward the Ethernet frame to the OIF I.

                ]]></artwork></figure>
                <t>Notes:<vspace blankLines="0" />
                S04. An End.DX2 behavior could be customized to expect a specific IEEE header (e.g. VLAN tag) and rewrite the egress IEEE header before forwarding on the outgoing interface.</t>
            </section>

            <section title="End.DX2V: Decapsulation and VLAN L2 Table Lookup">
                <t>The "Endpoint with decapsulation and specific VLAN table lookup" behavior (End.DX2V for short) is a variant of the End.DX2 behavior.</t>

                <t>One of the applications of the End.DX2V behavior is the EVPN Flexible cross-connect use-case. The End.DX2V behavior is used to perform a lookup of the Ethernet frame VLANs in a particular L2 table. Any SID instance of this behavior is associated with an L2 Table T.</t>

                <t><vspace blankLines="2" />When N receives a packet whose IPv6 DA is S and S is a local End.DX2 SID, the processing is identical to the End.DX2 behavior except for the Upper-layer header processing which is modified as follows:</t>

                <figure><artwork><![CDATA[
S04. Remove the outer IPv6 Header with all its extension headers, 
        lookup the exposed VLANs in L2 table T, and forward 
        via the matched table entry.
                ]]></artwork></figure>
                <t>Notes:<vspace blankLines="0" /> 
                An End.DX2V behavior could be customized to expect a specific VLAN format and rewrite the egress VLAN header before forwarding on the outgoing interface.</t>
            </section>

            <section title="End.DT2U: Decapsulation and Unicast MAC L2 Table Lookup">
                <t>The "Endpoint with decapsulation and specific unicast MAC L2 table lookup" behavior (End.DT2U for short) is a variant of the End behavior.</t>

                <t>One of the applications of the End.DT2U behavior is the EVPN Bridging unicast. Any SID instance of the End.DT2U behavior is associated with an L2 Table T.</t>

                <t><vspace blankLines="2" />When N receives a packet whose IPv6 DA is S and S is a local End.DT2U SID, the processing is identical to the End.DX2 behavior except for the Upper-layer header processing which is as follows:</t>

                <figure><artwork><![CDATA[
S01. If (Upper-Layer Header type != 143) {
S02.    Process as per Section 4.1.1
S03. }
S04. Remove the IPv6 header and all its extension headers
S05. Learn the exposed MAC Source Address in L2 Table T
S06. Lookup the exposed MAC Destination Address in L2 Table T
S07. If (matched entry in T) {
S08.    Forward via the matched table T entry
S09. } Else {
S10.    Forward via all L2 OIFs entries in table T
S11. }
                ]]></artwork></figure>
                
                <t>Notes:<vspace blankLines="0" />
                S05. In EVPN, the learning of the exposed MAC Source Address is done via the control plane.</t>
            </section>

            <section title="End.DT2M: Decapsulation and L2 Table Flooding">
                <t>The "Endpoint with decapsulation and specific L2 table flooding" behavior (End.DT2M for short) is a variant of the End.DT2U behavior.</t>

                <t>Two of the applications of the End.DT2M behavior are the EVPN Bridging BUM with ESI filtering and the EVPN ETREE use-cases.</t>

                <t>Any SID instance of this behavior is associated with a L2 table T. Additionally the behavior MAY take an argument: "Arg.FE2". It is an argument specific to EVPN ESI filtering and EVPN-ETREE used to exclude specific OIF (or set of OIFs) from L2 table T flooding.</t>

                <t><vspace blankLines="2" />When N receives a packet whose IPv6 DA is S and S is a local End.DT2M SID, the processing is identical to the End.DX2 behavior except for the Upper-layer header processing which is as follows:</t>

                <figure><artwork><![CDATA[
S01. If (Upper-Layer Header type != 143) {
S02.    Process as per Section 4.1.1
S03. }
S04. Remove the IPv6 header and all its extension headers
S05. Learn the exposed MAC Source Address in L2 Table T
S06. Forward via all L2 OIFs excluding the one specified in Arg.FE2

                ]]></artwork></figure>
                <t>Notes:<vspace blankLines="0" />
                S05. In EVPN, the learning of the exposed MAC Source Address is done via control plane</t>

                <t>Arg.FE2 is encoded in the SID as an (k*x)-bit value. These bits represent a list of up to k OIFs, each identified with an x-bit value. Values k and x are defined on a per End.DT2M SID basis. The interface identifier 0 indicates an empty entry in the interface list.</t>
            </section>

            <section title="End.B6.Encaps: Endpoint Bound to an SRv6 Policy w/ Encaps">
                <t>This is a variation of the End behavior.</t>
                <t>One of its applications is to express scalable traffic-engineering policies across multiple domains. it is one of the SRv6 instantiations of a Binding SID <xref target="RFC8402" />.</t>
                <t>Any SID instance of this behavior is associated with an SR Policy B and a source address A.</t>

                <t><vspace blankLines="2" />When N receives a packet whose IPv6 DA is S and S is a local End.B6.Encaps SID, does:</t>
                <figure><artwork><![CDATA[
S01. When an SRH is processed {
S02.   If (Segments Left == 0) {
S03.      Proceed to process the next header in the packet, 
             whose type is identified by the Next Header field in
             the routing header.
S04.   }
S05.   If (IPv6 Hop Limit <= 1) {
S06.       Send an ICMP Time Exceeded message to the Source Address,
             Code 0 (Hop limit exceeded in transit),
             Interrupt packet processing and discard the packet.
S07.   }
S08.   max_LE = (Hdr Ext Len / 2) - 1
S09.   If ((Last Entry > max_LE) or (Segments Left > (Last Entry+1)) {
S10.      Send an ICMP Parameter Problem to the Source Address,
             Code 0 (Erroneous header field encountered),
             Pointer set to the Segments Left field.
             Interrupt packet processing and discard the packet.
S11.   }
S12.   Decrement Hop Limit by 1
S13.   Decrement Segments Left by 1
S14.   Update IPv6 DA with Segment List[Segments Left]
S15.   Push a new IPv6 header with its own SRH containing B
S16.   Set the outer IPv6 SA to A
S17.   Set the outer IPv6 DA to the first SID of B
S18.   Set the outer PayloadLength, Traffic Class, FlowLabel and 
          Next-Header fields
S19.   Submit the packet to the egress IPv6 FIB lookup and           
          transmission to the new destination
S20. }
                ]]></artwork></figure>

                <t>Notes:<vspace blankLines="0" />
                S14. The SRH MAY be omitted when the SRv6 Policy B only contains one SID and there is no need to use any flag, tag or TLV.<vspace blankLines="0" />
                S17. The Payload Length, Traffic Class and Next-Header fields are set as per <xref target="RFC2473" />. The Flow Label is computed as per <xref target="RFC6437" />.</t>

                <t><vspace blankLines="2" />When processing the Upper-layer header of a packet matching a FIB entry locally instantiated as an SRv6 End.B6.Encaps SID, process the packet as per <xref target="upper"/>.<vspace blankLines="3" /></t>

            </section>

            <section title="End.B6.Encaps.Red: End.B6.Encaps with Reduced SRH">
                <t>This is an optimization of the End.B6.Encaps behavior.</t>
                <t>End.B6.Encaps.Red reduces the size of the SRH by one SID by excluding the first SID in the SRH of the new IPv6 header. Thus the first segment is only placed in the IPv6 Destination Address of the new IPv6 header and the packet is forwarded according to it.</t>
                <t>The SRH Last Entry field is set as defined in Section 4.1.1 of <xref target="RFC8754" />.</t>
                <t>The SRH MAY be omitted when the SRv6 Policy only contains one segment and there is no need to use any flag, tag or TLV.</t>
            </section>

            <section title="End.BM: Endpoint Bound to an SR-MPLS Policy">
                <t>The "Endpoint bound to an SR-MPLS Policy" is a variant of the End behavior.</t>
                <t>The End.BM behavior is required to express scalable traffic-engineering policies across multiple domains where some domains support the MPLS instantiation of Segment Routing. This is an SRv6 instantiation of an SR-MPLS Binding SID <xref target="RFC8402" />.</t>
                <t>Any SID instance of this behavior is associated with an SR-MPLS Policy B.</t>

                <t><vspace blankLines="2" />When N receives a packet whose IPv6 DA is S and S is a local End.BM SID, does:</t>
                <figure><artwork><![CDATA[
S01. When an SRH is processed {
S02.   If (Segments Left == 0) {
S03.      Proceed to process the next header in the packet, 
             whose type is identified by the Next Header field in
             the routing header.
S04.   }
S05.   If (IPv6 Hop Limit <= 1) {
S06.      Send an ICMP Time Exceeded message to the Source Address,
             Code 0 (Hop limit exceeded in transit),
             Interrupt packet processing and discard the packet.

S07.   }
S08.   max_LE = (Hdr Ext Len / 2) - 1
S09.   If ((Last Entry > max_LE) or (Segments Left > (Last Entry+1)) {
S10.      Send an ICMP Parameter Problem to the Source Address,
             Code 0 (Erroneous header field encountered),
             Pointer set to the Segments Left field.
             Interrupt packet processing and discard the packet.

S11.   }
S12.   Decrement Hop Limit by 1
S13.   Decrement Segments Left by 1
S14.   Update IPv6 DA with Segment List[Segments Left]
S15.   Push the MPLS label stack for B
S16.   Submit the packet to the MPLS engine for transmission to the 
          topmost label.
S17. }
                ]]></artwork></figure>

                <t><vspace blankLines="2" />When processing the Upper-layer header of a packet matching a FIB entry locally instantiated as an SRv6 End.BM SID, process the packet as per <xref target="upper"/>.</t>
            </section>

            <section title="Flavors" anchor="BehFlavors">
                <t>The PSP, USP and USD flavors are variants of the End, End.X and End.T behaviors. For each of these behaviors these flavors MAY be supported for a SID either individually or in combinations.</t>

                <section title="PSP: Penultimate Segment Pop of the SRH">
                    <section title="Guidelines">
                        <t>SR Segment Endpoint Nodes advertise the SIDs instantiated on them via control plane protocols as described in <xref target="cp" />. Different behavior ids are allocated for flavored and unflavored SIDs (see <xref target="endpoint_cp_types" />).</t>
                        <t>An SR Segment Endpoint Node that offers both PSP and non-PSP flavored behavior advertises them as two different SIDs.</t>
                        <t>The SR Segment Endpoint Node only advertises the PSP flavor if the operator enables this capability at the node.</t>
                        <t>The PSP operation is deterministically controlled by the SR Source Node.</t>
                        <t>A PSP-flavored SID is used by the Source SR Node when it needs to instruct the penultimate SR Segment Endpoint Node listed in the SRH to remove the SRH from the IPv6 header.</t>
                    </section>
                    <section title="Definition">
                        <t>SR Segment Endpoint Nodes receive the IPv6 packet with the Destination Address field of the IPv6 Header equal to its SID address.</t>
                        <t>A penultimate SR Segment Endpoint Node is one that, as part of the SID processing, copies the last SID from the SRH into the IPv6 Destination Address and decrements Segments Left value from one to zero.</t>
                        <t>The PSP operation only takes place at a penultimate SR Segment Endpoint Node and does not happen at any Transit Node. When a SID of PSP-flavor is processed at a non-penultimate SR Segment Endpoint Node, the PSP behavior is not performed as described in the pseudocode below since Segments Left would not be zero.</t>
                        <t>The SRH processing of the End, End.X and End.T behaviors are modified: after the instruction "S14. Update IPv6 DA with Segment List[Segments Left]" is executed, the following instructions must be executed as well:</t>
                    <figure><artwork><![CDATA[
S14.1.   If (Segments Left == 0) {
S14.2.      Update the Next Header field in the preceding header to the
               Next Header value of the SRH
S14.3.      Decrease the IPv6 header Payload Length by the Hdr Ext Len 
               value of the SRH
S14.4.      Remove the SRH from the IPv6 extension header chain
S14.5.   }
                    ]]></artwork></figure>
                    
                        <t>The usage of PSP does not increase the MTU of the IPv6 packet and hence does not have any impact on the PMTU discovery mechanism.</t>
                        <t>As a reminder, <xref target="RFC8754"/> defines in section 5 the SR Deployment Model within the SR Domain <xref target="RFC8402"/>. Within this framework, the Authentication Header (AH) is not used to secure the SRH as described in Section 7.5 of <xref target="RFC8754"/>.</t>

                        <t>This behavior does not contravene Section 4 of <xref target="RFC8200"/> because the current destination address of the incoming packet is the address of the node executing the PSP behavior.</t>
                    </section>
                    <section title="Use-case">
                        <t>One use-case for the PSP functionality is streamlining the operation of an egress border router.</t>
                        <figure title="PSP use-case topology" anchor="fig-psp"><artwork><![CDATA[
  +----------------------------------------------------+
  |                                                    |
+-+-+         +--+         +--+         +--+         +-+-+
|iPE+-------->+R2+-------->+R3+-------->+R4+-------->+ePE|
| R1|         +--+         +--+         +--+         |R5 |
+-+-+ +-----+      +-----+      +-----+      +-----+ +-+-+
  |   |IPv6 |      |IPv6 |      |IPv6 |      |IPv6 |   |
  |   |DA=R3|      |DA=R3|      |DA=R5|      |DA=R5|   |
  |   +-----+      +-----+      +-----+      +-----+   |
  |   | SRH |      | SRH |      | IP  |      | IP  |   |
  |   |SL=1 |      |SL=1 |      +-----+      +-----+   |
  |   | R5  |      | R5  |                             |
  |   +-----+      +-----+                             |
  |   | IP  |      | IP  |                             |
  |   +-----+      +-----+                             |
  |                                                    |
  +----------------------------------------------------+
                        ]]></artwork></figure>
                            
                        <t>In the above illustration, for a packet sent from iPE to ePE, node R3 is an intermediate traffic engineering waypoint and is the penultimate segment endpoint router; the node that copies the last segment from the SRH into the IPv6 Destination Address and decrements segments left to 0. The SDN controller knows that no-other node after R3 needs to inspect the SRH, and it instructs R3 to remove the exhausted SRH from the packet by using a PSP-flavored SID.</t>

                        <t>The benefits for the egress PE are straightforward:
                            <list style="format -">
                                <t>as part of the decapsulation process the egress PE is required to terminates less bytes from the packet.</t>
                                <t>if a lookup on an upper-layer IP header is required (e.g. per-VRF VPN), the header is more likely to be within the memory accessible to the lookup engine in the forwarding ASIC.</t>
                            </list>
                        </t>
                    </section>
                </section>

                <section title="USP: Ultimate Segment Pop of the SRH">
                    <t>The SRH processing of the End, End.X and End.T behaviors are modified: the instructions S02-S04 are substituted by the following ones:</t>
                    <figure><artwork><![CDATA[
S02.     If (Segments Left == 0) {
S03.1.      Update the Next Header field in the preceding header to the
               Next Header value of the SRH
S03.2.      Decrease the IPv6 header Payload Length by the Hdr Ext Len 
               value of the SRH
S03.3.      Remove the SRH from the IPv6 extension header chain
S03.4.      Proceed to process the next header in the packet
S04.     }
                    ]]></artwork></figure>
                </section>

                <section title="USD: Ultimate Segment Decapsulation">
                    <t>The Upper-layer header processing of the End, End.X and End.T behaviors are modified as follows:</t>
                    <figure><artwork><![CDATA[
End:
S01. If (Upper-layer Header type == 41 || 4) {
S02.    Remove the outer IPv6 Header with all its extension headers
S03.    Submit the packet to the egress IP FIB lookup and 
           transmission to the new destination
S04. } Else {
S05.    Process as per Section 4.1.1

S06. }
                    ]]></artwork></figure>

                    <figure><artwork><![CDATA[
End.T:
S01. If (Upper-layer Header type == 41 || 4) {
S02.    Remove the outer IPv6 Header with all its extension headers
S03.    Set the packet's associated FIB table to T
S04.    Submit the packet to the egress IP FIB lookup and 
           Transmission to the new destination
S05. } Else {
S06.    Process as per Section 4.1.1
S07. }
                    ]]></artwork></figure>

                    <figure><artwork><![CDATA[
End.X:
S01. If (Upper-layer Header type == 41 || 4) {
S02.    Remove the outer IPv6 Header with all its extension headers
S03.    Forward the exposed IP packet to the L3 adjacency J
S04. } Else {
S05.    Process as per Section 4.1.1
S06. }
                    ]]></artwork></figure>
                    <t>An implementation that supports the USD flavor in conjunction with the USP flavor MAY optimize the packet processing by first looking whether the conditions for the USD flavor are met, in which case it can proceed with USD processing else do USP processing.</t>
                    <t><vspace blankLines="35" /></t>
                </section>
            </section>
        </section>

        <section title="SR Policy Headend Behaviors">
            <t>This section describes a set of SR Policy Headend behaviors.</t>
            <figure>
                <artwork><![CDATA[
H.Encaps        SR Headend Behavior with Encapsulation in an SR Policy
H.Encaps.Red    H.Encaps with Reduced Encapsulation
H.Encaps.L2     H.Encaps Applied to Received L2 Frames
H.Encaps.L2.Red H.Encaps.Red Applied to Received L2 Frames
            ]]></artwork>
            </figure>
            <t>This list can be expanded in case any new functionality requires it.</t>

            <?rfc needLines="10" ?>
            <section title="H.Encaps: SR Headend with Encapsulation in an SRv6 Policy">
                <t>Node N receives two packets P1=(A, B2) and P2=(A,B2)(B3, B2, B1; SL=1). B2 is neither a local address nor SID of N.</t>
                <t>N steers the transit packets P1 and P2 into an SR Policy with a Source Address T and a Segment list &lt;S1, S2, S3&gt;.</t>
                <t>The H.Encaps encapsulation behavior is defined as follows:</t>
                <figure><artwork><![CDATA[
S01.   Push an IPv6 header with its own SRH (S3, S2, S1; SL=2)
S02.   Set outer IPv6 SA = T and outer IPv6 DA = S1
S03.   Set outer payload length, traffic class and flow label
S04.   Set the outer Next-Header value
S05.   Decrement inner Hop Limit or TTL
S06.   Submit the packet to the IPv6 module for transmission to S1
                ]]></artwork></figure>
                <t>After the H.Encaps behavior, P1' and P2' respectively look like:
                    <list style="format - ">
                        <t>(T, S1) (S3, S2, S1; SL=2) (A, B2)</t>
                        <t>(T, S1) (S3, S2, S1; SL=2) (A, B2) (B3, B2, B1; SL=1)</t>
                    </list></t>
                <t>The received packet is encapsulated unmodified (with the exception of the TTL or Hop Limit that is decremented as described in <xref target="RFC2473"/>).</t>
                <t>The H.Encaps behavior is valid for any kind of Layer-3 traffic. This behavior is commonly used for L3VPN with IPv4 and IPv6 deployments. It may be also used for TI-LFA <xref target="I-D.ietf-rtgwg-segment-routing-ti-lfa"/> at the point of local repair.</t>
                <t>The push of the SRH MAY be omitted when the SRv6 Policy only contains one segment and there is no need to use any flag, tag or TLV.</t>
                <t>S03: As described in <xref target="RFC6437"/> (IPv6 Flow Label Specification)</t>
            </section>

            <?rfc needLines="10" ?>
            <section title="H.Encaps.Red: H.Encaps with Reduced Encapsulation">
                <t>The H.Encaps.Red behavior is an optimization of the H.Encaps behavior.</t>
                <t>H.Encaps.Red reduces the length of the SRH by excluding the first SID in the SRH of the pushed IPv6 header. The first SID is only placed in the Destination Address field of the pushed IPv6 header.</t>
                <t>After the H.Encaps.Red behavior, P1' and P2' respectively look like:
                    <list style="format - ">
                        <t>(T, S1) (S3, S2; SL=2) (A, B2)</t>
                        <t>(T, S1) (S3, S2; SL=2) (A, B2) (B3, B2, B1; SL=1)</t>
                    </list></t>
                <t>The push of the SRH MAY be omitted when the SRv6 Policy only contains one segment and there is no need to use any flag, tag or TLV.</t>
            </section>

            <?rfc needLines="10" ?>
            <section title="H.Encaps.L2: H.Encaps Applied to Received L2 Frames">
                <t>The H.Encaps.L2 behavior encapsulates a received Ethernet <xref target="IEEE.802.3_2012"/> frame and its attached VLAN header, if present, in an IPv6 packet with an SRH. The Ethernet frame becomes the payload of the new IPv6 packet.</t>
                <t>The Next Header field of the SRH MUST be set to 143.</t>
                <t>The push of the SRH MAY be omitted when the SRv6 Policy only contains one segment and there is no need to use any flag, tag or TLV.</t>
                <t>The encapsulating node MUST remove the preamble or frame check sequence (FCS) from the Ethernet frame upon encapsulation and the decapsulating node MUST regenerate the preamble or FCS before forwarding Ethernet frame.</t>
            </section>

            <?rfc needLines="10" ?>
            <section title="H.Encaps.L2.Red: H.Encaps.Red Applied to Received L2 frames">
                <t>The H.Encaps.L2.Red behavior is an optimization of the H.Encaps.L2 behavior.</t>
                <t>H.Encaps.L2.Red reduces the length of the SRH by excluding the first SID in teh SRH of the pushed IPv6 header. The first SID is only places in the Destination Address field of the pushed IPv6 header.</t>
                <t>The push of the SRH MAY be omitted when the SRv6 Policy only contains one segment and there is no need to use any flag, tag or TLV.</t>
                <t><vspace blankLines="15" /></t>
            </section>
        </section>

        <?rfc needLines="10" ?>
        <section title="Operation">
            <section title="Counters">
                <t>A node supporting this document SHOULD implement a combined traffic counter (packets and bytes) per local SID entry, for traffic that matched that SID and was processed correctly.</t>
            </section>

            <?rfc needLines="5" ?>
            <section title="Flow-based Hash Computation" anchor="OpsFlowLabel" >
                <t>When a flow-based selection within a set needs to be performed, the source address, the destination address and the flow label MUST be included in the flow-based hash.</t> 
                <t>This occurs when a FIB lookup is performed and multiple ECMP paths exist to the updated destination address.</t>
                <t>This occurs when End.X, End.DX4, or End.DX6 are bound to an array of adjacencies.</t>
                <t>This occurs when the packet is steered in an SR policy whose selected path has multiple SID lists.</t>
                <t>Additionally, any transit router in an SRv6 domain includes the outer flow label in its ECMP load-balancing hash <xref target="RFC6437" />.</t>
            </section>
        </section>

        <?rfc needLines="10" ?>
        <section title="Security Considerations">
            <t>The security considerations for Segment Routing are discussed in <xref target="RFC8402"/>. More specifically for SRv6 the security considerations and the mechanisms for securing an SR domain are discussed in <xref target="RFC8754"/>. Together, they describe the required security mechanisms that allow establishment of an SR domain of trust to operate SRv6-based services for internal traffic while preventing any external traffic from accessing or exploiting the SRv6-based services.</t>

            <t>This document introduces SRv6 Endpoint and SR Policy Headend behaviors for implementation on SRv6 capable nodes in the network. As such, this document does not introduce any new security considerations.</t>
        </section>

        <?rfc needLines="8" ?>
        <section title="Control Plane" anchor="cp">
            <t>In an SDN environment, one expects the controller to explicitly provision the SIDs and/or discover them as part of a service discovery function. Applications residing on top of the controller could then discover the required SIDs and combine them to form a distributed network program.</t>
            <t>The concept of &quot;SRv6 network programming&quot; refers to the capability for an application to encode any complex program as a set of individual functions distributed through the network. Some functions relate to underlay SLA, others to overlay/tenant, others to complex applications residing in VM and containers.</t>
            <t>This section provides a high level overview of the control-plane protocols involved with SRv6 and their specification.</t>

            <section title="IGP" anchor="igp">
                <t>The End, End.T and End.X SIDs express topological behaviors and hence are expected to be signaled in the IGP together with the flavors PSP, USP and USD. The IGP should also advertise the maximum SRv6 SID depth (MSD) capability of the node for each type of SRv6 operation. In particular, the SR source (e.g., H.Encaps), intermediate endpoint (e.g., End, End.X) and final endpoint (e.g., End.DX4, End.DT6) behaviors. These capabilities are factored in by an SR Source Node (or a controller) during the SR Policy computation.</t>
                <t>The presence of SIDs in the IGP do not imply any routing semantics to the addresses represented by these SIDs. The routing reachability to an IPv6 address is solely governed by the, non-SID-related, IGP prefix reachability information that includes locators. Routing is not governed neither influenced in any way by a SID advertisement in the IGP.</t>
                <t>These SIDs provide important topological behaviors for the IGP to build TI-LFA <xref target="I-D.ietf-rtgwg-segment-routing-ti-lfa"/> based FRR solutions and for TE processes relying on IGP topology database to build SR policies.</t>
            </section>

            <section title="BGP-LS">
                <t>BGP-LS provides the functionality for topology discovery that includes the SRv6 capabilities of the nodes, their locators and locally instantiated SIDs <xref target="I-D.ietf-idr-bgpls-srv6-ext"/>. This enables controllers or applications to build an inter-domain topology that can be used for computation of SR Policies using the SRv6 SIDs.</t>
            </section>

            <section title="BGP IP/VPN/EVPN">
                <t>The End.DX4, End.DX6, End.DT4, End.DT6, End.DT46, End.DX2, End.DX2V, End.DT2U and End.DT2M SIDs can be signaled in BGP <xref target="I-D.ietf-bess-srv6-services"/>.</t>
            </section>

            <section title="Summary">
                <t>The following table summarizes behaviors for SIDs that can be signaled in which each respective control plane protocol.</t>

                <texttable anchor="localsid_signaling" title="SRv6 locally instantiated SIDs signaling">
                    <ttcol align="left"></ttcol>
                    <ttcol align="center">IGP</ttcol>
                    <ttcol align="center">BGP-LS</ttcol>
                    <ttcol align="center">BGP IP/VPN/EVPN</ttcol>
                        
                    <c>End   (PSP, USP, USD)</c>
                    <c>X</c>
                    <c>X</c>
                    <c></c>
                    <c>End.X (PSP, USP, USD)</c>
                    <c>X</c>
                    <c>X</c>
                    <c></c>
                    <c>End.T (PSP, USP, USD)</c>
                    <c>X</c>
                    <c>X</c>
                    <c></c>
                    <c>End.DX6</c>
                    <c>X</c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.DX4</c>
                    <c>X</c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.DT6</c>
                    <c>X</c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.DT4</c>
                    <c>X</c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.DT46</c>
                    <c>X</c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.DX2</c>
                    <c></c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.DX2V</c>
                    <c></c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.DT2U</c>
                    <c></c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.DT2M</c>
                    <c></c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.B6.Encaps</c>
                    <c></c>
                    <c>X</c>
                    <c></c>
                    <c>End.B6.Encaps.Red</c>
                    <c></c>
                    <c>X</c>
                    <c></c>
                    <c>End.B6.BM</c>
                    <c></c>
                    <c>X</c>
                    <c></c>
                </texttable>

                <t>The following table summarizes which SR Policy Headend capabilities are signaled in which signaling protocol.</t>

                <texttable anchor="transit_signaling" title="SRv6 Policy Headend behaviors signaling">
                    <ttcol align="left"></ttcol>
                    <ttcol align="center">IGP</ttcol>
                    <ttcol align="center">BGP-LS</ttcol>
                    <ttcol align="center">BGP IP/VPN/EVPN</ttcol>
                        
                    <c>H.Encaps</c>
                    <c>X</c>
                    <c>X</c>
                    <c></c>
                    <c>H.Encaps.Red</c>
                    <c>X</c>
                    <c>X</c>
                    <c></c>
                    <c>H.Encaps.L2</c>
                    <c></c>
                    <c>X</c>
                    <c></c>
                    <c>H.Encaps.L2.Red</c>
                    <c></c>
                    <c>X</c>
                    <c></c>
                </texttable>

                <t>The previous table describes generic capabilities. It does not describe specific instantiated SR policies.</t>
                <t>For example, a BGP-LS advertisement of H.Encaps behavior would describe the capability of node N to perform a H.Encaps behavior, specifically it would describe how many SIDs could be pushed by N without significant performance degradation.</t>
                <t><vspace blankLines="1" /></t>
                <t>As a reminder, an SR policy is always assigned a Binding SID <xref target="RFC8402" />. BSIDs are also advertised in BGP-LS as shown in <xref target="localsid_signaling" />. Hence, the <xref target="transit_signaling" /> only focuses on the generic capabilities related to H.Encaps.</t>
            </section>
        </section>

        <section title="IANA Considerations">
            <section title="Ethernet Next Header Type">
                <t>This document requests IANA to allocate, in the &quot;Protocol Numbers&quot; registry (https://www.iana.org/assignments/protocol-numbers/protocol-numbers.xhtml), a new value for &quot;Ethernet&quot; with the following definition: The value 143 in the Next Header field of an IPv6 header or any extension header indicates that the payload is an Ethernet <xref target="IEEE.802.3_2012" />.</t>
                <t>IANA has done a temporary allocation of Protocol Number 143.</t>
            </section>

            <section title="SRv6 Endpoint Behaviors Registry">
                <t>This document requests IANA to create a new top-level registry called &quot;Segment Routing Parameters&quot;. This registry is being defined to serve as a top-level registry for keeping all other Segment Routing sub-registries.</t>
                <t>Additionally, a new sub-registry &quot;SRv6 Endpoint Behaviors&quot; is to be created under top-level &quot;Segment Routing Parameters&quot; registry. This sub-registry maintains 16-bit identifiers for the SRv6 Endpoint behaviors. This registry is established to provide consistency for control plane protocols which need to refer to these behaviors. These values are not encoded in the function bits within a SID.</t>
                <t>The range of the registry is 0-65535 (0x0000 - 0xFFFF) and has the following registration rules and allocation policies:</t>

                <texttable anchor="endpoint_cp_codepoint_ranges" title="SRv6 Endpoint Behaviors Registry">
                    <ttcol align="left">Range</ttcol>
                    <ttcol align="center">Hex</ttcol>
                    <ttcol align="center">Registration procedure</ttcol>
                    <ttcol align="center">Notes</ttcol>
                    
                    <c>0</c>
                    <c>0x0000</c>
                    <c>Reserved</c>
                    <c>Not to be allocated</c>  
                    
                    <c>1-32767</c>
                    <c>0x0001-0x7FFF</c>
                    <c>FCFS</c>
                    <c></c>

                    <c>32768-65534</c>
                    <c>0x8000-0xFFFE</c>
                    <c>Reserved</c>
                    <c></c>

                    <c>65535</c>
                    <c>0xFFFF</c>
                    <c>Reserved</c>
                    <c>Opaque</c>
                </texttable>
                <t>Requests for allocation from within the FCFS range must include a point of contact and preferably also a brief description of how the value will be used. This information may be provided with a reference to an Internet Draft or an RFC or in some other documentation that is permanently and readily available.</t>

                <section title="Initial Registrations">
                    <t>The initial registrations for the sub-registry are as follows:</t> 
                    <texttable anchor="endpoint_cp_types" title="IETF - SRv6 Endpoint Behaviors">
                        <ttcol align="left">Value</ttcol>
                        <ttcol align="center">Hex</ttcol>
                        <ttcol align="center">Endpoint behavior</ttcol>
                        <ttcol align="center">Reference</ttcol>
                        <c>0</c>
                        <c>0x0000</c>
                        <c>Reserved</c>
                        <c>Not to be allocated</c>              
                        <c>1</c>
                        <c>0x0001</c>
                        <c>End (no PSP, no USP)</c>
                        <c>[This.ID]</c>
                        <c>2</c>
                        <c>0x0002</c>
                        <c>End with PSP</c>
                        <c>[This.ID]</c>
                        <c>3</c>
                        <c>0x0003</c>
                        <c>End with USP</c>
                        <c>[This.ID]</c>
                        <c>4</c>
                        <c>0x0004</c>
                        <c>End with PSP&amp;USP</c>
                        <c>[This.ID]</c>
                        <c>5</c>
                        <c>0x0005</c>
                        <c>End.X (no PSP, no USP)</c>
                        <c>[This.ID]</c>
                        <c>6</c>
                        <c>0x0006</c>
                        <c>End.X with PSP</c>
                        <c>[This.ID]</c>
                        <c>7</c>
                        <c>0x0007</c>
                        <c>End.X with USP</c>
                        <c>[This.ID]</c>
                        <c>8</c>
                        <c>0x0008</c>
                        <c>End.X with PSP&amp;USP</c>
                        <c>[This.ID]</c>
                        <c>9</c>
                        <c>0x0009</c>
                        <c>End.T (no PSP, no USP)</c>
                        <c>[This.ID]</c>
                        <c>10</c>
                        <c>0x000A</c>
                        <c>End.T with PSP</c>
                        <c>[This.ID]</c>
                        <c>11</c>
                        <c>0x000B</c>
                        <c>End.T with USP</c>
                        <c>[This.ID]</c>
                        <c>12</c>
                        <c>0x000C</c>
                        <c>End.T with PSP&amp;USP</c>
                        <c>[This.ID]</c>
                        <c>14</c>
                        <c>0x000E</c>
                        <c>End.B6.Encaps</c>
                        <c>[This.ID]</c>
                        <c>15</c>
                        <c>0x000F</c>
                        <c>End.BM</c>
                        <c>[This.ID]</c>
                        <c>16</c>
                        <c>0x0010</c>
                        <c>End.DX6</c>
                        <c>[This.ID]</c>
                        <c>17</c>
                        <c>0x0011</c>
                        <c>End.DX4</c>
                        <c>[This.ID]</c>
                        <c>18</c>
                        <c>0x0012</c>
                        <c>End.DT6</c>
                        <c>[This.ID]</c>
                        <c>19</c>
                        <c>0x0013</c>
                        <c>End.DT4</c>
                        <c>[This.ID]</c>
                        <c>20</c>
                        <c>0x0014</c>
                        <c>End.DT46</c>
                        <c>[This.ID]</c>
                        <c>21</c>
                        <c>0x0015</c>
                        <c>End.DX2</c>
                        <c>[This.ID]</c>
                        <c>22</c>
                        <c>0x0016</c>
                        <c>End.DX2V</c>
                        <c>[This.ID]</c>
                        <c>23</c>
                        <c>0x0017</c>
                        <c>End.DT2U</c>
                        <c>[This.ID]</c>
                        <c>24</c>
                        <c>0x0018</c>
                        <c>End.DT2M</c>
                        <c>[This.ID]</c>
                        <c>25</c>
                        <c>0x0019</c>
                        <c>Reserved</c>
                        <c>[This.ID]</c>
                        <c>27</c>
                        <c>0x001B</c>
                        <c>End.B6.Encaps.Red</c>
                        <c>[This.ID]</c>
                        <c>28</c>
                        <c>0x001C</c>
                        <c>End with USD</c>
                        <c>[This.ID]</c>
                        <c>29</c>
                        <c>0x001D</c>
                        <c>End with PSP&amp;USD</c>
                        <c>[This.ID]</c>
                        <c>30</c>
                        <c>0x001E</c>
                        <c>End with USP&amp;USD</c>
                        <c>[This.ID]</c>
                        <c>31</c>
                        <c>0x001F</c>
                        <c>End with PSP, USP &amp; USD</c>
                        <c>[This.ID]</c>
                        <c>32</c>
                        <c>0x0020</c>
                        <c>End.X with USD</c>
                        <c>[This.ID]</c>
                        <c>33</c>
                        <c>0x0021</c>
                        <c>End.X with PSP&amp;USD</c>
                        <c>[This.ID]</c>
                        <c>34</c>
                        <c>0x0022</c>
                        <c>End.X with USP&amp;USD</c>
                        <c>[This.ID]</c>
                        <c>35</c>
                        <c>0x0023</c>
                        <c>End.X with PSP, USP &amp; USD</c>
                        <c>[This.ID]</c>
                        <c>36</c>
                        <c>0x0024</c>
                        <c>End.T with USD</c>
                        <c>[This.ID]</c>
                        <c>37</c>
                        <c>0x0025</c>
                        <c>End.T with PSP&amp;USD</c>
                        <c>[This.ID]</c>
                        <c>38</c>
                        <c>0x0026</c>
                        <c>End.T with USP&amp;USD</c>
                        <c>[This.ID]</c>
                        <c>39</c>
                        <c>0x0027</c>
                        <c>End.T with PSP, USP &amp; USD</c>
                        <c>[This.ID]</c>
                        <c>40-32766</c>
                        <c></c>
                        <c>Unassigned</c>
                        <c></c>
                        <c>32767</c>
                        <c>0x7FFF</c>
                        <c>The SID defined in RFC8754</c>
                        <c>[This.ID] <xref target="RFC8754" /></c>
                        <c>32768-65534</c>
                        <c></c>
                        <c>Reserved</c>
                        <c></c>
                        <c>65535</c>
                        <c>0xFFFF</c>
                        <c>Opaque</c>
                        <c>[This.ID]</c>
                    </texttable>
                </section>
            </section>
        </section>

        <?rfc needLines="1" ?>
        <section anchor="Acknowledgements" title="Acknowledgements">
            <t>The authors would like to acknowledge Stefano Previdi, Dave Barach, Mark Townsley, Peter Psenak, Thierry Couture, Kris Michielsen, Paul Wells, Robert Hanzl, Dan Ye, Gaurav Dawra, Faisal Iqbal, Jaganbabu Rajamanickam, David Toscano, Asif Islam, Jianda Liu, Yunpeng Zhang, Jiaoming Li, Narendra A.K, Mike Mc Gourty, Bhupendra Yadav, Sherif Toulan, Satish Damodaran, John Bettink, Kishore Nandyala Veera Venk, Jisu Bhattacharya, Saleem Hafeez and Brian Carpenter.</t>
        </section>

        <?rfc needLines="1" ?>
        <section title="Contributors">

            <t>Daniel Bernier<vspace blankLines="0" />
            Bell Canada<vspace blankLines="0" />
            Canada</t>
            <t>Email: daniel.bernier@bell.ca<vspace blankLines="0" /></t>

            <t>Dirk Steinberg<vspace blankLines="0" />
            Lapishills Consulting Limited<vspace blankLines="0" />
            Cyprus</t>
            <t>Email: dirk@lapishills.com<vspace blankLines="0" /></t>

            <t>Robert Raszuk<vspace blankLines="0" />
            Bloomberg LP<vspace blankLines="0" />
            United States of America</t>
            <t>Email: robert@raszuk.net<vspace blankLines="0" /></t>

            <t>Bruno Decraene<vspace blankLines="0" />
            Orange<vspace blankLines="0" />
            France</t>
            <t>Email: bruno.decraene@orange.com<vspace blankLines="0" /></t>

            <t>Bart Peirens<vspace blankLines="0" />
            Proximus<vspace blankLines="0" />
            Belgium</t>
            <t>Email: bart.peirens@proximus.com<vspace blankLines="0" /></t>

            <t>Hani Elmalky<vspace blankLines="0" />
            Google<vspace blankLines="0" />
            United States of America</t>
            <t>Email: helmalky@google.com<vspace blankLines="0" /></t>
            
            <t>Prem Jonnalagadda<vspace blankLines="0" />
            Barefoot Networks<vspace blankLines="0" />
            United States of America</t>
            <t>Email: prem@barefootnetworks.com<vspace blankLines="0" /></t>

            <t>Milad Sharif<vspace blankLines="0" />
            SambaNova Systems<vspace blankLines="0" />
            United States of America</t>
            <t>Email: milad.sharif@sambanova.ai<vspace blankLines="0" /></t>

            <t>David Lebrun<vspace blankLines="0" />
            Google<vspace blankLines="0" />
            Belgium</t>
            <t>Email: dlebrun@google.com<vspace blankLines="0" /></t>

            <t>Stefano Salsano<vspace blankLines="0" />
            Universita di Roma "Tor Vergata"<vspace blankLines="0" />
            Italy</t>
            <t>Email: stefano.salsano@uniroma2.it<vspace blankLines="0" /></t>

            <t>Ahmed AbdelSalam<vspace blankLines="0" />
            Gran Sasso Science Institute<vspace blankLines="0" />
            Italy</t>
            <t>Email: ahmed.abdelsalam@gssi.it</t>

            <t>Gaurav Naik<vspace blankLines="0" />
            Drexel University<vspace blankLines="0" />
            United States of America</t>
            <t>Email: gn@drexel.edu<vspace blankLines="0" /></t>

            <t>Arthi Ayyangar<vspace blankLines="0" />
            Arrcus, Inc<vspace blankLines="0" />
            United States of America</t>
            <t>Email: arthi@arrcus.com<vspace blankLines="0" /></t>

            <t>Satish Mynam<vspace blankLines="0" />
            Arrcus, Inc<vspace blankLines="0" />
            United States of America</t>
            <t>Email: satishm@arrcus.com<vspace blankLines="0" /></t>

            <t>Wim Henderickx<vspace blankLines="0" />
            Nokia<vspace blankLines="0" />
            Belgium</t>
            <t>Email: wim.henderickx@nokia.com<vspace blankLines="0" /></t>

            <t>Shaowen Ma<vspace blankLines="0" />
            Juniper<vspace blankLines="0" />
            Singapore</t>
            <t>Email: mashao@juniper.net<vspace blankLines="0" /></t>

            <t>Ahmed Bashandy<vspace blankLines="0" />
            Individual<vspace blankLines="0" />
            United States of America</t>
            <t>Email: abashandy.ietf@gmail.com<vspace blankLines="0" /></t>

            <t>Francois Clad<vspace blankLines="0" />
            Cisco Systems, Inc.<vspace blankLines="0" />
            France</t>
            <t>Email: fclad@cisco.com<vspace blankLines="0" /></t>

            <t>Kamran Raza<vspace blankLines="0" />
            Cisco Systems, Inc.<vspace blankLines="0" />
            Canada</t>
            <t>Email: skraza@cisco.com<vspace blankLines="0" /></t>

            <t>Darren Dukes<vspace blankLines="0" />
            Cisco Systems, Inc.<vspace blankLines="0" />
            Canada</t>
            <t>Email: ddukes@cisco.com<vspace blankLines="0" /></t>

            <t>Patrice Brissete <vspace blankLines="0" />
            Cisco Systems, Inc.<vspace blankLines="0" />
            Canada</t>
            <t>Email: pbrisset@cisco.com<vspace blankLines="0" /></t>

            <t>Zafar Ali<vspace blankLines="0" />
            Cisco Systems, Inc.<vspace blankLines="0" />
            United States of America</t>
            <t>Email: zali@cisco.com</t>

            <t>Ketan Talaulikar<vspace blankLines="0" />
            Cisco Systems, Inc.<vspace blankLines="0" />
            India</t>
            <t>Email: ketant@cisco.com</t>
        </section>
    </middle>
    <back>
        <references title="Normative References">
            <!--?rfc include="http://xml.resource.org/public/rfc/bibxml/reference.RFC.2119.xml"?-->
            &RFC2119;
            &RFC8174;
            &RFC8754;
            &RFC2473;
            &RFC8200;
            &RFC8402;
            &RFC6437;
            &IEEE-802.3;
        </references>
        <references title="Informative References">
            &SR_VPN_BGP;
            &RFC4364;
            &SRV6_BGPLS;
            &NET_PGM_ILL;
            &TILFA;
            &RFC8214;
            &RFC7432;
        </references>
    </back>
</rfc>
