feat(codex): enable verified native conversation rewind - #533
Merged
Conversation
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
|
Deployment failed for project pylon-marketing with the following error: Learn More: https://vercel.com/pylon-code?upgradeToPro=build-rate-limit |
6 tasks
Contributor
Thread transfer impact✅ Thread transfer remains within every enforced ceiling.
Baseline: Scenario and decoded snapshot size10 historical turns, 5 command tools per turn, 878.9 KiB retained MCP result per historical turn, and a 1.05 MiB retained result in the measured turn.
Updated in place by a trusted workflow. PR artifacts are strictly validated and never executed. |
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.
Codex could not safely use Pylon's rewind actions through relative turn counts. Eligible completed turns now capture immutable native forks and support the existing restore-files/keep-files saga, idempotent application, compensation and same-incarnation restart recovery.
Proof covers complete native JSONL context and inactive native goal state, including hidden context and unknown fields. Fresh forks defer goal continuation until the next explicit send. Original checkpoints remain distinct from compacted current sources. Private cursors and lifecycle fences preserve ordinary Stop/resume and prevent retired callbacks from changing the selected conversation.
Native limits remain explicit: active or uninspectable goals, paginated forks, external history bases, unsupported file shapes, histories over 16 MiB/100,000 records or lines over 1 MiB, and uncaptured old/root bindings cannot claim exact rewind. No live model/account test was performed.
Validation: independent adversarial native-source and adapter review; 360 focused tests, server typecheck and scoped lint from the saved implementation. After integration onto #531, the reviewed native code was preserved except for removing an unused export on the unchanged history size limit, identified by CI. All 85 history-helper tests and scoped lint passed after that fix. The shared capability conflict preserves OpenCode and changes only Codex to absolute. Integration capability regression and server typecheck passed. All ten final-head CI jobs passed in run 34709776527; merge CI34710265069 and relay34710265062 succeeded. The optional Vercel marketing preview hit its daily deployment quota.
Part of #526, extending #513 for upstream fd5553f1afcef4f410a067687faa991743b5034c and efccda9ac9230db22b36990cffabdad218fa41b0. Claude follows separately. Includes user/internals eligibility documentation and the compact disposition record.
Model: GPT-6. Harness: Codex.