Environment: Linux x86_64; real source server, WebSocket RPC, real PTY shell; fresh isolated database; synthetic provider settings; no provider agent launched

Update proofCodex initial
  {"sensitiveValueRedacted": true, "plaintextAbsentFromSettings": true}

Codex terminal.open initial
  RESULT secret=synthetic-initial override=provider-initial home=codex-initial ordinary=ordinary-initial terminal=terminal-only END

Update proofCodex refreshed
  {"sensitiveValueRedacted": true, "plaintextAbsentFromSettings": true}

Codex terminal.open after settings refresh
  RESULT secret=synthetic-refreshed override=provider-refreshed home=codex-refreshed ordinary=ordinary-refreshed terminal=terminal-only END

Existing shell retains its launch environment
  RESULT secret=synthetic-initial override=provider-initial home=codex-initial ordinary=ordinary-initial terminal=terminal-only END

Codex terminal.attach creates new shell
  RESULT secret=synthetic-refreshed override=provider-refreshed home=codex-refreshed ordinary=ordinary-refreshed terminal=terminal-only END

Update proofCodex restarted
  {"sensitiveValueRedacted": true, "plaintextAbsentFromSettings": true}

Codex terminal.attach restarts exited shell with current settings
  RESULT secret=synthetic-restarted override=provider-restarted home=codex-restarted ordinary=ordinary-restarted terminal=terminal-only END

Update proofClaude initial
  {"sensitiveValueRedacted": true, "plaintextAbsentFromSettings": true}

Claude home mapping through terminal.attach
  RESULT secret=synthetic-initial override=provider-initial home=claudeAgent-initial ordinary=ordinary-initial terminal=terminal-only END

Update proofClaude refreshed
  {"sensitiveValueRedacted": true, "plaintextAbsentFromSettings": true}

Claude terminal.open after settings refresh
  RESULT secret=synthetic-refreshed override=provider-refreshed home=claudeAgent-refreshed ordinary=ordinary-refreshed terminal=terminal-only END

Update proofGeneric initial
  {"sensitiveValueRedacted": true, "plaintextAbsentFromSettings": true}

Generic provider environment mapping
  RESULT secret=synthetic-initial override=provider-initial home= ordinary=ordinary-initial terminal=terminal-only END

Terminal without provider instance
  RESULT secret=plain override=terminal home= ordinary=plain terminal=terminal-only END

Missing provider rejected
  {"error": "TerminalProviderInstanceNotFoundError"}

Completed: true