Repository navigation
test(research): complete the hidden-height supplemental audit (#27/#29) - #312
Merged
Merged
Conversation
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]>
6 of 10 tasks
This was referenced Nov 4, 2026
Open
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.
背景
#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。环境盘点(实测)
WindTerm.exeSHA2567b10531d…;4047 文件清单e459adf2…938992c4…,.attempted单次标记在reference-source.json清单51e80b93…,执行基88ace8d…app4048 文件、profile(含user.sessions)在;mechanics-check.json按原失败保持缺失app/、profile/、reference-source.json,是此前 blocked 的原因,不是不可恢复补充审计结果
hidden-height-tail-supplement.jsonSHA2564c0f28f25adf2acc6c5124889ae0dd430425f871a7de0d1fdb68ffacb78564ed: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。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 报告。验证
-O8/8 通过(离线,不启动原版)。边界
剩余验收矩阵(当前)