{
  "stop_exit_code": 0,
  "user_codex_configuration_unchanged_during_stop": true,
  "workspace_only_stop": true
}