Fix the Broken JSON Formatter

Fix the Broken JSON Formatter: a task in repo2rlenv-seta-seed2synth (Harbor dataset). A batch JSON formatting script is deployed in a data pipeline at /opt/jsonfix/format all.sh . It is supposed to pretty-print every .json file under /opt/jsonfix/data/ in place, but it has bugs: some files are…

The task

A batch JSON formatting script is deployed in a data pipeline at `/opt/jsonfix/format_all.sh`. It is supposed to pretty-print every `.json` file under `/opt/jsonfix/data/` in place, but it has bugs: some files are being silently emptied, and the script does not stop when `jq` reports a parse error — it overwrites the…

Part of FineEnvs/repo2rlenv-seta-seed2synth.