The following errata report has been submitted for RFC10041,
"Advertising Unreachable Links in OSPF"

--------------------------------------
You may review the report below and at:
https://errata.rfc-editor.org/eid9289/

--------------------------------------
Type: Technical
Reported by: Paul Aitken <[email protected]>

Section 4.2.5 says:

Original Text
-------------
must "not(../advertise-unreachable-link = 'true' and "
         + "/rt:routing/rt:control-plane-protocols/"
         + "rt:control-plane-protocol/ospf:ospf/ospf:areas/"
         + "ospf:area/"
         + "ospf-unreach-link:unreachable-link-advertisement/"
         + "ospf-unreach-link:enabled = 'false')" {

Corrected Text
--------------
must "not(../advertise-unreachable-link = 'true' and "
        + "../../../ospf-unreach-link:unreachable-link-advertisement/"
        + "ospf-unreach-link:enabled = 'false')" {

Notes
-----
The second operand is an absolute path to the  enabled  leaf of all areas, with 
no predicate binding to the interface's own area. Since XPath node-set = 
'false'  is existential, the constraint is violated whenever the interface flag 
is  true  and any area anywhere has  enabled = 'false' .  The  description  
states the intent is the interface's "OSPF area level capability," which argues 
for a relative path up to the containing area.

So correct 
/rt:routing/rt:control-plane-protocols/rt:control-plane-protocol/ospf:ospf/ospf:areas/ospf:area/
  to  ../../../

Instructions:
-------------
This erratum is currently posted as "Reported". Please
use "Reply All" to discuss whether it should be verified or
rejected. When a decision is reached, the verifying party  
will log in to change the status and edit the report, if necessary.

--------------------------------------
RFC10041 (draft-ietf-lsr-ospf-ls-link-infinity)
--------------------------------------
Title               : Advertising Unreachable Links in OSPF
Publication Date    : September 2026
Author(s)           : L. Gong, W. Cheng, C. Lin, A. Lindem, R. Chen
Category            : Proposed Standard
Source              : lsr (rtg)
Stream              : IETF
Verifying Party     : IESG
_______________________________________________
Lsr mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to