Repository navigation
Choose the Security Harness and adjust Codex sessions - #563
Merged
Merged
Conversation
This was referenced Oct 8, 2026
Merged
Merged
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Security runs choose their Harness in order, with Model and Effort from its own section:
Closes #546
Evidence
Before:
cargo test --test security_run the_security_harness_overrides_the_default_and_uses_its_own_model_and_effort -- --exactfailed withunknown section [security].After: passes; observes Codex's own Model and Effort.
Before:
cargo test --test security_run codex_security_sessions_and_their_resumes_raise_the_thread_cap_and_request_fresh_sub_agents -- --exactfailed withmissing Security thread cap.After: passes for both the original session and its Resume, including fresh sub-agent instructions.
cargo test --test security_run: 18 passed;cargo test --test codex_sessions: 13 passed.Full suite:
cargo nextest run --test-threads 8 --no-fail-fast— 1,527 passed, 1 existing ignored test skipped (all 40 binaries).cargo check --all-targets,cargo fmt --check, andcargo clippy --all-targets -- -D warnings: passed.The complete-config Setup regression (
cargo test --bin thirdshift setup::tests::on_a_terminal_pressing_enter_throughout_keeps_an_existing_user_config -- --exact) failed after adding the setting because the old fixture lacked it; passes after updating the fixture.The Setup section inventory (
cargo test --test setup with_no_terminal_and_no_user_config_setup_writes_the_defaults -- --exact) failed because it omitted[security]; passes with the updated inventory and the blank Harness assertion.Testing seams: the existing end-to-end scenario harness: real binary and Git, fake GitHub and agent CLIs recording their prompts and arguments. Covers Harness precedence, Model/Effort selection, blank/missing settings, invalid settings, Codex Security sessions and Resumes, Claude sessions, and ordinary Codex Runs. The existing Setup interaction double also verifies that a complete User config retains its Security setting.
Unaddressed findings
Standards
None. The single P3 maintainability finding (Security policy depended on the log-label prefix) was accepted and resolved by explicit
session::Purpose, retained on Resume; the Standards follow-up confirmed the fix.Spec
None. The initial and coverage-closing Spec reviews reported no findings.
Changed files left unread by review:
src/setup.rsandtests/setup.rsunder both Standards and Spec. After their single coverage-closing follow-up, the complete-config fixture gainedsecurity.harness = "codex"and the Setup section-list expectation gained[security]plus its blank-Harness assertion. Both existing regressions failed before their fixture updates and passed afterward. Both reviewers covered the other 14 changed files.Review fixed point:
issue-427pinned at8b775669cb8bbc1bbd815428337ac587477d2151. Standards: 1 finding addressed, 0 remaining. Spec: 0 findings. No behavior-wrong findings were raised.Merge Danger
Door: two-way
Configuration and launch changes are reversible; no migration or stored-data change.
Blast Radius: Sessions
Security runs can use a separate configured Harness. Codex security sessions and their Resumes use eight thread slots and request independent verifiers.
Built with codex · gpt-6.1-sol · xhigh