Skip to content

diagnose(shell): record the projection shape behind a discarded selection (#156) - #189

Merged
JavaZeroo merged 1 commit into
mainfrom
diag/selection-details
Oct 29, 2026
Merged

JavaZeroo merged 1 commit into
mainfrom
diag/selection-details

Conversation

@JavaZeroo

Copy link
Copy Markdown
Owner

内容

  1. 丢弃诊断补充投影形状:DiscardReport 携带 saved_bytes/current_bytes/saved_columns/current_columns,JSONL 同步输出。
    • 若两列数不同 → 该行被裁剪/扩展(列数变化);
    • 若列数相同但字节数不同 → 行内容被真正改写。
  2. 带上复现作业:本分支同时包含 dispatch-only 的 windows-2025-actions-repeat(重复跑 text_actions|selection_context),用于按需复现 [R2][回归] 定位默认/system的动作几何恢复后选区失效 #156。

本地结果

{"schema":"termforge-selection-discard-v1","reason":"row-text-changed","row":0,"saved_bytes":23,"current_bytes":17,"saved_columns":74,"current_columns":74,"t_ms":187046484}

本地(通过的那次)丢弃是 live-selected 阶段的预期失效:列数相同、字节数 23→17,属内容改写。

已复现的 hosted 失败(上一轮)

失败发生在 geometry-zoom75 与 geometry-failure 之间,丢弃行号为 78;本 PR 合入后重跑同一作业即可看到该行的字节/列数差异,从而区分"裁剪"与"改写"。

边界

Refs #156 #99 #73

…efs #156

The discard report now carries saved/current byte and column counts, so a hosted failure shows whether a row was cropped (columns differ) or rewritten (bytes differ). The branch also carries the repeat job used to reproduce the failure.
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 29, 2026 •

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 ✅ Completed 2026-10-29T15:16:52.672910Z 5f4b4f1 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.

@JavaZeroo
JavaZeroo merged commit ab07572 into main Oct 29, 2026
14 of 16 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