chore(cli-version): verify codex 0.150.1 and agy 1.1.22 - #939
Merged
Conversation
Two candidates, both through their gates against the real binaries.
codex 0.149.1 -> 0.150.1
Gate A: 401 -> 411 schema files, ServerNotification 75 -> 79, ClientRequest
150 -> 153, nothing removed and no enum value dropped.
Gate B: 11/11, 679.80s. All eleven sessions log version=codex-cli 0.150.1
with a matching drift line.
Gate C: CLEAR over 220 notes across two releases, 0 REVIEW items.
agy 1.1.20 -> 1.1.22
Gate B: 7/7, 161.88s, against a manifest download whose sha512 was checked
before it ran. Log reports only version=1.1.22.
Gate C: CLEAR. Every item on our surface is a fix in our favour -- sessions no
longer stall mid-response on invalid UTF-8 in a tool result or file diff,
transient HTTP 502s now retry with backoff instead of terminating the run, and
file writes are no longer reported as failures after succeeding.
The always-proceed permission change does not reach us: build_argv sends
--mode only for accept-edits and plan and opens the gate with
--dangerously-skip-permissions (argv.rs:76,107), gating each call in AionUi's
own hook bridge. Stated with its limit -- gate B does not exercise that bridge.
--help and models --help are byte-identical 1.1.20 -> 1.1.22, diffed against
the 08-26 capture rather than by re-running the 1.1.20 binary, which would
have self-updated it.
Gate C for agy was read from the WEB changelog this time, not the binary. The
bundled 'agy changelog' in the 1.1.22 build stops at 1.1.20 -- it is a snapshot
taken when the build was cut, not a live document -- while the web page has
un-frozen and now carries 1.1.21 and 1.1.22. Three days ago the two sources were
the other way round. Both are checked from now on.
Records: ~/aion/protocols/samples/codex-cli/0.150.1/ and
~/aion/protocols/samples/antigravity-cli/1.1.22/
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.
Two candidates, both through their gates against the real binaries.
ServerNotification75 → 79,ClientRequest150 → 153, nothing removedBoth suites prove the candidate from their own logs —
version=codex-cli 0.150.1andversion=1.1.22, each with the drift lines that only appear because the binary disagrees with the not-yet-bumped constant. codex ran through an npm PATH shim; agy from a manifest download whose sha512 was checked before it executed. Neither of the operator’s installed CLIs was touched.agy: everything on our surface is a fix in our favour
None changes a contract; each removes a way a turn could look broken.
The one permission item does not reach us. 1.1.21 improved the
always-proceedmode to auto-approve MCP tool calls, butbuild_argvsends--modeonly foraccept-editsandplanand opens the gate with--dangerously-skip-permissions(argv.rs:76,107), gating each call in AionUi’s own PreToolUse hook bridge. Stated limit: gate B does not exercise that bridge — its only permission test is claude’s — so this rests on the argv we build, not on a live run.--helpandmodels --helpare byte-identical 1.1.20 → 1.1.22, diffed against the 08-26 capture rather than by re-running the 1.1.20 binary, which would have self-updated it and destroyed the control.agy gate C came from the web page this time, and that is the news
Three days ago the web changelog was frozen at 1.1.17 while the binary’s bundled
agy changelogcovered 1.1.19, so gate C switched to reading the binary. Tonight it is the other way round. The 1.1.22 build is genuine (size 179,586,688 vs 1.1.20’s 179,469,984) and its bundled changelog stops at 1.1.20 — no 1.1.21, no 1.1.22 — while the web page has un-frozen and carries both.The bundled copy is a snapshot from whenever that build was cut, not a live document. Neither source is authoritative; both are checked from now on, and the record says which one was used.
codex
Gate A grew by 10 schema files and removed nothing. The only note flagged in 220 was
Preserve sandbox errors during session initialization(#40381), which is additive error preservation. 0.147.0 remains deliberately skipped.Tests
Pinned fixtures for both CLIs moved with their constants — re-pointed above the new values rather than loosened, and both literal verified-release assertions now name the new releases.
cargo test -p aionui-session --lib cli_version: 14/14. Clippy clean, fmt clean.Follow-up, not included here
agy 1.1.21 now generates conversation titles automatically. Whether it surfaces one on the print-mode wire, and whether we should consume it instead of generating our own, is not investigated — a capability question, and any change would be a source PR. No existing PR or issue covers it (searched).
Records:
~/aion/protocols/samples/codex-cli/0.150.1/and~/aion/protocols/samples/antigravity-cli/1.1.22/Constants and records only — no source change.