Reference resolution section: instructions may be incorrect?

[thomas-fossati]

Given the following:

• base [-2, ["foo", 4711], ["pa", "th"], ["query"], "frag"], and
• ref [null, ["a"]]

the resolved reference would be [-2, ["a"]], right?

If so, I am not sure how following 1-5 in Section 5.3 this can be achieved. In particular, what would prompt us to drop path, query and fragment from the base?

(See also how my code attempts at translating the prose from Section 5.3.)

[chrysn]

The discard value, even though not serialized when there is a scheme and/or authority, is implicitly DISCARD-ALL (true) in item 3 of 5.3. This is due to section 5.1 ("which in CRI references never carry a discard section (the value of discard defaults to true)."), but could be made a bit more explicit there, eg. with

If the value of discard is true in the CRI reference (which is implicitly the case when scheme and authority are present in the reference), ..."

[thomas-fossati]

The discard value, even though not serialized when there is a scheme and/or authority, is implicitly DISCARD-ALL (true) in item 3 of 5.3. This is due to section 5.1 ("which in CRI references never carry a discard section (the value of discard defaults to true)."), but could be made a bit more explicit there, eg. with

If the value of discard is true in the CRI reference (which is implicitly the case when scheme and authority are present in the reference), ..."

Thanks @chrysn for the clarification. I reckon the text you proposed would be a useful addition.