JSON5 nit
(1) By Bo Lindbergh (_blgl_) on 2025-05-10 14:09:17 [source]
It looks like you missed one constraint on escapes:
A decimal digit must not follow a reverse solidus followed by a zero.
json('"x\01y"') should raise a runtime error, but it returns the result '"x\u00001y"'.
(2) By Bo Lindbergh (_blgl_) on 2025-05-10 19:33:37 in reply to 1 [link] [source]
Fixed here, thanks!
Note that any old JSONB blobs containing TEXT5 elements with the now-banned escapes are still allowed and produce the same output as before when converted back to strict textual JSON.