feat(config): add longcontx profile to codex config.toml#184
feat(config): add longcontx profile to codex config.toml#184skulidropek merged 4 commits intoProverCoderAI:mainfrom
Conversation
Adding .gitkeep for PR creation (default mode). This file will be removed when the task is complete. Issue: ProverCoderAI#183
Move model_context_window and model_auto_compact_token_limit from the global section to a dedicated [profiles.longcontx] profile so that the large-context overrides only apply when the user explicitly selects `codex --profile longcontx`, instead of being forced on every model. - Resolves: ProverCoderAI#183 - INVARIANT: ∀c: default_config(c) → longcontx_profile(c) ∧ ¬global_context_override(c) Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
This reverts commit ef5a91e.
🤖 Solution Draft LogThis log file contains the complete execution trace of the AI solution draft process. 💰 Cost estimation:
🤖 Models used:
📎 Log file uploaded as Gist (819KB)Now working session is ended, feel free to review and add any feedback on the solution draft. |
🔄 Auto-restart 1/3Detected uncommitted changes from previous run. Starting new session to review and commit or discard them. Uncommitted files: Auto-restart will stop after changes are committed or discarded, or after 2 more iterations. Please wait until working session will end and give your feedback. |
🔄 Auto-restart 1/3 LogThis log file contains the complete execution trace of the AI solution draft process. 💰 Cost estimation:
🤖 Models used:
📎 Log file uploaded as Gist (968KB)Now working session is ended, feel free to review and add any feedback on the solution draft. |
🔄 Auto-restart triggered (iteration 1)Reason: CI failures detected Starting new session to address the issues. Auto-restart-until-mergeable mode is active. Will continue until PR becomes mergeable. |
…s violation - Extracted `renderEntrypointCodexResumeHint` and `escapeForDoubleQuotes` from `codex.ts` into `codex-resume-hint.ts` to bring `codex.ts` under 300-line limit - `codex.ts` re-exports `renderEntrypointCodexResumeHint` to preserve public API - WHY: ESLint max-lines rule requires files <= 300 lines; codex.ts exceeded limit after adding longcontx profile config in feat(config) commit Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
🔄 Auto-restart-until-mergeable Log (iteration 1)This log file contains the complete execution trace of the AI solution draft process. 💰 Cost estimation:
🤖 Models used:
📎 Log file uploaded as Gist (1490KB)Now working session is ended, feel free to review and add any feedback on the solution draft. |
🔄 Auto-restart triggered (iteration 2)Reason: Uncommitted changes detected Starting new session to address the issues. Auto-restart-until-mergeable mode is active. Will continue until PR becomes mergeable. |
🔄 Auto-restart-until-mergeable Log (iteration 2)This log file contains the complete execution trace of the AI solution draft process. 💰 Cost estimation:
🤖 Models used:
📎 Log file uploaded as Gist (1753KB)Now working session is ended, feel free to review and add any feedback on the solution draft. |
✅ Ready to mergeThis pull request is now ready to be merged:
Monitored by hive-mind with --auto-restart-until-mergeable flag |
Summary
model_context_window = 1050000andmodel_auto_compact_token_limit = 945000from the globalconfig.tomlsection into a new[profiles.longcontx]profilemodel, reasoning effort, and policies — no forced context-window overrides for every modelcodex --profile longcontxChanges
packages/lib/src/core/templates-entrypoint/codex.tsUpdated the shell template that writes
~/.codex/config.tomlon container startup.packages/lib/src/usecases/auth-sync-helpers.tsUpdated
defaultCodexConfig(used by auth-sync to create/rewrite the config) to match the new layout.Mathematical Guarantees
Invariants:
∀c: default_config(c) → longcontx_profile(c) ∧ ¬global_context_override(c)Resulting config.toml structure:
Test plan
pnpm --filter ./packages/lib test+pnpm --filter ./packages/app test)model_context_windowandmodel_auto_compact_token_limitpresence still pass (values remain in profile)Fixes #183
🤖 Generated with Claude Code