[Jsonpath] Re: [Technical Errata Reported] RFC9535 (8779)

[Andy Newton <[e-mail]>]

Hi all,

In retrospect, it does not appear wise to have classified Errata ID 8354 as Verified.
I have asked the RFC Editor to reclassify it as Hold For Document Update.

I am also marking this as Hold For Document Update so that a future revision for RFC 9535 can sort out this issue.

-andy, ART AD

On 2/23/26 4:24 AM, RFC Errata System wrote:
> The following errata report has been submitted for RFC9535,
> "JSONPath: Query Expressions for JSON".
> 
> --------------------------------------
> You may review the report below and at:
> https://www.rfc-editor.org/errata/eid8779
> 
> --------------------------------------
> Type: Technical
> Reported by: Alan Painter <[e-mail]>
> 
> Section: ERRATUM 8354
> 
> Original Text
> -------------
> ;; N.B. This text is from the Erratum 8534 and not from the original RFC
> 
> function-argument   = logical-expr /
>                       filter-query / ; (includes singular-query)
>                       function-expr /
>                       literal
> 
> Corrected Text
> --------------
> function-argument   = filter-query / ; (includes singular-query)
>                       logical-expr /
>                       function-expr /
>                       literal
> 
> Notes
> -----
> Accepting the affirmations of ERRATUM 8354, especially that the ABNF grammars are designed for PEG (Parsing Expression Grammar) parsers.
> 
> Whereas Erratum 8354 proposes making the logical-expr a higher priority than literal (i.e. for PEG parser, earlier in the list of alternative elements) for the function-argument rule, it causes a new problem by placing logical-expr before the filter-query element, an ordering that will break the parsing of a JSONPATH query such as $[?value(@.*)==4] because the function argument @.* will be recognized as a logical-expr instead of a filter-query and, subsequently, as per section 2.4.3 Well Typedness of Function Expressions subsection 2, the sole formal parameter for the value() function extension is of NodesType and hence requires a filter-query for type correctness.
> 
> Instructions:
> -------------
> This erratum is currently posted as "Reported". (If it is spam, it 
> will be removed shortly by the RFC Production Center.) 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.
> 
> --------------------------------------
> RFC9535 (draft-ietf-jsonpath-base-21)
> --------------------------------------
> Title               : JSONPath: Query Expressions for JSON
> Publication Date    : February 2024
> Author(s)           : S. Gössner, Ed., G. Normington, Ed., C. Bormann, Ed.
> Category            : PROPOSED STANDARD
> Source              : JSON Path
> Stream              : IETF
> Verifying Party     : IESG