URL 编解码

格式化 JSON，支持 2/4 空格或 Tab 缩进，语法错误精确到行列。

移除 JSON 中的空白与换行，生成紧凑文本，同时校验语法。

校验 JSON 语法，给出错误行列与结构统计。