From ace47789a818ef425b2f5843b38122a86ed0c68b Mon Sep 17 00:00:00 2001 From: morluto <76467478+morluto@users.noreply.github.com> Date: Sat, 24 Oct 2026 12:30:21 +0800 Subject: [PATCH] docs(setup): describe Codex registration preservation --- docs/client-configuration.md | 18 ++++++++++-------- docs/installation.md | 10 +++++----- 2 files changed, 15 insertions(+), 13 deletions(-) diff --git a/docs/client-configuration.md b/docs/client-configuration.md index 1395e2bc9b..97faaf85c7 100644 --- a/docs/client-configuration.md +++ b/docs/client-configuration.md @@ -305,15 +305,17 @@ for the supported policy values. When direct launcher paths prove the same executable or Node entrypoint, setup retains the existing caller-selected spelling. An otherwise aligned registration therefore needs no rewrite or recovery backup merely because -REA was invoked through another symlink. Unresolved identity does not prove -equivalence. +REA was invoked through another symlink. Setup also retains that spelling when +another field, such as an invalid timeout, needs repair. Unresolved identity +does not prove equivalence. -| Settings | Setup ownership | -| ----------------------------------------- | --------------------------------------------------------------------- | -| Launcher, transport and activation | Refreshes the REA stdio connection and enables it. | -| Explicit server environment | Preserves configured overrides and merges selected provider settings. | -| Codex positive timeouts and client policy | Retains caller choices; adds missing recommended REA timeouts. | -| Unrelated or future server settings | Retains their parsed values. | +| Settings | Setup ownership | +| ------------------------------------------- | --------------------------------------------------------------------------------------- | +| Launcher, transport and activation | Refreshes the REA stdio connection and enables it. | +| Explicit server environment | Preserves configured overrides and merges selected provider settings. | +| Codex timeouts | Retains positive values; repairs missing or invalid values to recommended REA defaults. | +| Codex approval policies and tool selections | Retains caller choices; refuses known malformed values. | +| Unrelated or future server settings | Retains their parsed values. | Dry-run applies the same policy validation and writes no files. A successful refresh keeps an exact recovery snapshot of the original configuration; diff --git a/docs/installation.md b/docs/installation.md index 915efa7fc6..3881ba13eb 100644 --- a/docs/installation.md +++ b/docs/installation.md @@ -88,11 +88,11 @@ Setup also retains valid environment overrides in REA's existing server entry, such as `REA_MCP_INPUT_SCHEMA_PROFILE`, `REA_MCP_OUTPUT_SCHEMA_PROFILE`, and `REA_MCP_MAX_RESPONSE_BYTES`. Detected provider settings replace only matching environment keys. -Setup manages REA's launcher, selected provider settings, and supported timeout -defaults. Client approval policies remain user choices, but the current Codex -refresh drops those policies inside the REA entry; see the -[Codex preservation limitation](client-configuration.md#codex-and-devin) before -refreshing a customized registration. +Setup manages REA's launcher, selected provider settings, and recommended timeout +defaults. Codex approval policies, tool selections, and other caller-owned server +settings are preserved. Known malformed policy values block setup before it +writes the configuration or a backup; see +[Codex settings preservation](client-configuration.md#codex-and-devin). Setup and doctor report a malformed REA environment map or invalid runtime setting before setup writes files. Repair the named setting in the client configuration; setup does not silently discard the rest of the map.