Determinism goals

[chrysn]

It's a goal of CRIs to be deterministic (I don't know off my head if we have any caveats to that).

For CRI references, we don't aspire to do that (as there are usually at least options of discarding more and re-populating it, and evaluation depends on the base anyway).

[chrysn]

One part we need to do here is narrow down the use of "equivalence" in the conversion rules. Maybe "equal under syntax based normalization" (RFC3986) can be helpful, or the conversion result already needs to be syntax normalized and thus needs to be byte-wise identical.

[chrysn]

Can we prove that no two correct CRIs produce the same URI? With which tools?

(And personally I don't care too much, because the one important usecase is block-listing, and that's a mistake of its own; other use cases cabo mentioned are more useful diagnostics, but maybe it's not that important)