Repository navigation
诊断：捕获并严格重放 resize 时序与残尾 - #67
Merged
Merged
Conversation
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
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.
原stage43残尾缺少host/core/feed边界证据。本改动仅在显式环境开关且resize测试模式下记录有界观察（1024事件/128KiB私有运输）；逐步重放候选实际feed/local resize，支持无UI定位。
在#55联合3e5b96d基础上，三fresh真实场景均保留原stage43 red、四次host API及Job0/desktop回收。三份离线plan与最终完整state逐字节等于真实失败，定位到核心扩高拉回历史与后续host绝对坐标局部更新的布局差异；这不是行为修复或可靠同步保证。
首次双审查发现 plan 尾部截断误接纳及trace元数据漏检，已单独修复并二审通过：5个实际EXE旧错误exit0→新exit1、15个真实trace变异旧接受→新拒绝，原3plan/states字节不变；focusedCTest2/2、内部8test通过。CI显式在两候选平台构建实际replay并执行拒绝测试。新旧proof分列，私有原件不提交。
这是基于Draft #50的诊断堆叠PR，仅合入实验分支，父PR #50继续Draft；#51仍需保留完整reflow/history合同的实际修复，不能清屏/停reflow/删OW或延期限制造通过。Refs #51, #47, #55.
最终
ce21016的默认与候选CI均通过；CI正则经实际选择验证，确实执行 resize_trace 与 candidate_resize_replay 两项，二者本地也通过。