📋 JSON 格式化 / 压缩