Skip to content

research(ui): 原版 1049 可观察语义汇总与核心对照 (#123) - #185

Merged
JavaZeroo merged 1 commit into
mainfrom
research/1049-semantics
Oct 29, 2026
Merged

JavaZeroo merged 1 commit into
mainfrom
research/1049-semantics

Conversation

@JavaZeroo

Copy link
Copy Markdown
Owner

内容

把三组独立实验(默认色块 / SGR 保持 / 备用屏内改样式 / 光标位置)合并成原版 1049 可观察语义汇总,并对照自研核心:

维度 进入 1049h 备用屏内 退出 1049l
当前前景/背景 保留进入时刻属性 可改 恢复进入时刻属性,改动不泄漏
光标位置 保留(不归零) 可移动 恢复进入时刻位置
默认调色板 #1C1C1C / #E3E3DD 不变 不变

与 experiments/core/alternate_mode_test.cpp 对照:

  • 一致:退出恢复主屏文字/光标/颜色(第 30–35 行);
  • 不一致:进入时核心会归零光标并重置颜色为默认(第 25–27 行),而原版观察是都保留。

按 ADR-0006,重要差异需用户确认后再改实现:本 PR 只记录证据与差异,不改产品代码与既有测试。

光标实验三帧裁切 SHA-16:e6f323395707b2bb(进入前)、242d869ae57799fc(1049h 后)、70f9f3683d0323c4(1049l 后);红块 (474,340)..(513,357),退出后绿块同位置。

边界

Refs #123 #126

…refs #123 #126

Collects the colour, attribute and cursor experiments into one table and records that the core homes the cursor and resets colours on entry while the observed original keeps both; differs from ADR-0006 policy only in needing user confirmation, so no code changes.
@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ⚠️ Failed 2026-10-29T14:00:42.883439Z
We couldn’t complete this review. Comment @codex review to try again.
f7fe002 PR opened
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, add credits to your account and enable them for code reviews in your settings.

@JavaZeroo
JavaZeroo merged commit 9923879 into main Oct 29, 2026
5 of 6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant