Skip to content

test(research): complete the hidden-height supplemental audit (#27/#29) - #312

Merged
JavaZeroo merged 1 commit into
mainfrom
agent/continuation2/resume-issue-27-500634dea299
Nov 4, 2026
Merged

JavaZeroo merged 1 commit into
mainfrom
agent/continuation2/resume-issue-27-500634dea299

Conversation

@JavaZeroo-Bot

Copy link
Copy Markdown
Collaborator

背景

#27/#29 的隐藏主屏高度七阶段原版录制(91×20 → 61×20 → 1049h → 61×14 → 61×20 → 1049l → 91×20)在 2026-11-02 因固定文本白名单失败而保持严格审计未通过。此前宿主侧归档只有 27 个结果文件,故记录为 blocked。

按本轮授权先做取证环境盘点:原 QEMU 取证域仍可用,环境内保留完整运行时、参考发行物与原始录制。本次以只读原始录制、不重跑原版、不改旧失败的方式完成离线补充审计,并记录其与当前实现的行为差异。

改动

  • 新增 research/ui/audit_resize_hidden_height_tail.py 与对应测试、CMake 注册(离线补充审计;旧审计仍必须失败)。
  • 发布补充结果 research/ui/results/2026-11-02-resize-hidden-height-reference/(hidden-height-tail-supplement.json、README)。
  • 新增取证环境盘点/恢复记录 docs/research/original-evidence-runtime-2026-11-04.md。
  • 更新 EVIDENCE/FEATURES,并在 fix(core): keep hidden retained cells across height-only resizes (#27) #311 结果报告追加 2026-11-04 后续指向(原记录身份不变)。
  • 无生产代码改动,无重跑,未修改旧失败原始记录。

环境盘点(实测)

对象 核验结果
取证 QEMU 域 仍运行,QGA 只读访问
参考发行物 WindTerm.exe SHA256 7b10531d…;4047 文件清单 e459adf2…
隐藏高度计划 SHA256 938992c4…,.attempted 单次标记在
执行源归档 reference-source.json 清单 51e80b93…,执行基 88ace8d…
原始录制 app 4048 文件、profile(含 user.sessions)在;mechanics-check.json 按原失败保持缺失
宿主归档缺口 缺 app/、profile/、reference-source.json,是此前 blocked 的原因,不是不可恢复

补充审计结果

hidden-height-tail-supplement.json SHA256 4c0f28f25adf2acc6c5124889ae0dd430425f871a7de0d1fdb68ffacb78564ed:

  • status=original-audit-failed-offline-supplement-passed,failure_preserved=true,additional_original_runs=0,semantic_acceptance=false。
  • 原失败复现为同一文本白名单 ValueError;新增派生文本仅限固定源 S[:61]+S[91:](S=89 spaces+uvw),仅阶段 5/6 文档行 11。
  • 七阶段、源 91 B、DSR 28 B;hidden_height_policy_classification=null,不推断原版隐藏策略。

审计后的关键观察:备用屏活动期间 API 仍返回主文档(不能当活动备用屏网格);返回主屏后,宽行被裁到当前 61 列(61 空格 + w = 62 字符,u/v 丢失),DSR 由 19;7 变为 14;7。

与当前实现的行为差异(需确认)

当前核心在 #311 后的工程合同是纯高度变化保留隐藏源 Cell,实测返回后仍为 89 空格 + uvw(92 字符)。上表原版返回后为 62 字符。即:原版在返回主屏时裁剪隐藏行,与 #311 的保留合同不一致;当前实现属于 ADR-0010 保留方向的实现,但该差异尚未经用户确认。本 PR 只记录证据与差异,未修改实现或 #311 报告。

验证

  • 补充审计测试:normal 8/8、-O 8/8 通过(离线,不启动原版)。
  • 隐藏高度探针 CTest(含新审计模块):3/3 通过,91.89 秒。
  • 核心 CTest:37/37 通过,4.96 秒(生产代码未变)。
  • 未重跑原版;旧严格导出失败与原始录制保持原样。

边界

剩余验收矩阵(当前)

  1. 同时缩宽+缩高的原版视口/滚动/后续 CUP 与旧六阶段 native-sync 判据 → [R2-06][终端] 定义并验证 resize、逻辑行与历史语义 #29 下一独立切片。
  2. 隐藏帧/返回裁剪策略差异(本 PR 记录)→ 用户确认后决定是否调整 fix(core): keep hidden retained cells across height-only resizes (#27) #311 合同或实现。
  3. 完整 active grid/空白格样式/粗体/RIS 原版依据 → 需新的原版探针与取证运行时。
  4. 物理用户动作/TUI → [R2-05][终端] 补齐终端回复与输入/输出模式并验收固定 TUI #28/[R2-07][文字] 验收复杂 Unicode、IME 与键盘/选择语义 #30 联合复验。

The preserved seven-stage original recording still fails its strict text
allowlist audit. Recover the complete recording from the evidence runtime and
run the offline tail supplement against it without rerunning the target: the
original failure stays preserved, zero additional runs are claimed, and the
derived tail is limited to the fixed source interval.

Publish the supplement, its report and the runtime recovery inventory. The
audited return phase clips the hidden row to the current width, which differs
from the merged engineering retention contract; the difference is recorded and
left for user confirmation. No production code changes.

Co-authored-by: JavaZeroo <[email protected]>
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.

2 participants