Just-DataInspector

LuChiChick/Just-DataInspector

0 Fork 0

Commit Graph

Author	SHA1	Message	Date
DeepSeek V4.1 Flash	53b981a2a9	全项目大检查：修复数据层/UI 真 BUG、清理死代码与过期注释、并评估二进制体积按「性能 / BUG / 错误 / 过期注释 / 命名与实际含义不符」四项对全仓做了一次审查，四个只读子审查交叉核对后逐条回到源码确认再改。一、数据层真 BUG - MatH5：U8/U16/U32/U64 用逐字节 Cached() 拼装，而 Cached 只服务「完全落在同一个 64KB 块内」的请求 => 跨块时静默读成 0（U32 整段为 0、U64 高 32 位为 0），分块 B-tree 的 chunk 偏移/子节点地址被破坏且无任何报错。新增 ScalarLE()：命中缓存用缓存，否则退回一次 ReadAt；U64 顺带从 8 次缓存查找降到 1 次。 - Mf4Loader::IsBlock 未校验链接表是否落在块内 => DataOffset 越界，随后 block_len - (data - offset) 在 uint64 上下溢，得到一个约 2^64 的"可用字节数"，下游 vector(usable+1) 直接 bad_alloc。同时把 offset + bytes > size 改成不产生回绕的写法。 - DecodeRawValue 的整数路径：bit_offset%8 != 0 且位宽 64 时需 9 个字节，先拼成 64 位再整体右移会把最高字节静默丢弃 => 改为逐字节带位偏移累加。 - cg_cycle_count 加「数据段总字节 / 记录字节」上限（压缩段按 deflate 最大膨胀比估算）。 - CsvLoader 表头分支同样跳过 #/% 注释行（否则整份文件按 1 列解析并被丢弃）。 - MatLoader：double -> int 的越界转换加了范围检查；普通对象递归加深度上限与成环检测。 - Utf8Util::BuildTicks：double -> long long 越界转换前先判商是否落在 ±9e18 内。二、界面 BUG - 工具栏按钮永远不显示悬停高亮：Paint 读的 Button::hover 全仓从未赋值，改为按 m_hoverIndex 判断。 - 菜单打开时"取消底层拖拽"对每个消息都执行，把菜单自己的 Target::EDIT_FIELD 也清掉 => 菜单内联输入框无法拖拽框选。排除 EDIT_FIELD。 - GdiplusShutdown 之前未释放 PlotView 的 GDI+ 位图（Application 是进程单例，成员析构在 WinMain 之后）=> 新增 PlotView::ReleaseGraphicsResources() 并在 Shutdown 里调用。 - WM_KILLFOCUS 现在会提交标签页/绘图区编辑并复位捕获与拖拽状态。 - WM_LBUTTONUP 不再抢走中键平移的鼠标捕获。 - TextEdit：被过滤器拒绝的字符返回 false；无选区时 Ctrl+X 只复制、不再清空整段文本。 - SignalPanel::InvalidateRows 作废编辑/待确认/改名计时等行下标状态。 - EndFilterEdit 改走 ApplyFilterText（否则输入纯空格后回车，列表仍停在筛选结果）。 - 新增 SignalBadgeVisible 作为唯一判据（原来命中只看"可见"，绘制还要求"已分配网格"）。 - 折起动画结束后夹取滚动量；双击分组名改名时清掉该组正在播放的折起动画。 - ScrollToSignal 复用 SignalScrollTarget（含悬浮组名避让）。 - RowNameRect 与绘制使用同一最小宽度（原来退化时返回空矩形）。 - 分隔条拖拽上限改用与 Relayout 同一公式；UpdateDragCursor 补 SPLITTER/EDIT_FIELD。 - SignalPanel 里几个守卫改为判断真正被解引用的指针；分组行 ✕ 也返回手型光标。三、PlotView - FindStyleOnlyLanes 改用完整的 SceneStyleEntry::operator==（原来只比 4 个字段，另一个网格同时改"调整"时带着旧像素被当成最新）。 - 宽基底图层不再烘焙拖拽光晕（LaneLayerHash 不含它），改由 PaintHoverHighlight 每帧叠加。 - PaintLaneLegend 提前返回前清掉本网格的命中矩形（否则能点中看不见的图例条目）。 - 面板主体改为完全不透明（消除平移后 4% 透出的旧波形，零额外代价）。 - PAN / Shift+滚轮改走 SetTimeView，使"自动点线"判据随平移重算。 - 内联输入框命中字体与绘制统一为 monoSmall。 - 派生曲线取值与窗口按 SourceIndexFor 映射（水平镜像时不再读到镜像另一端）。 - EdgePanelWidth 补 style/axis 空指针守卫；二分结果夹到 count。四、清理 - 删除 Toolbar::ActionLabel、Theme::statusBg、PopupMenu 的 editResult 死机制、 Toolbar::Layout 的重复 clear()、HitRow 的恒假分支、OnDoubleClick 的重复判定、 PaintUtil 里孤立的注释块。 - 修正一批过期/错误注释（包络带"不做加宽"、LaneLayerHash 的图例说法、均值滤波曲线的窗口说法、样式区行数与「调整」按钮顺序、FIT_ALL 退出缩放模式、 RemoveSignal 的 ✕ 位置、.mat/.dat 格式文档、MatH5 的"映射视图"、DataModel 的 "点线/被移除文件"、SignalPanel 的"行高连续缩小"、TextEdit 的 PaintUtil 引用等）。五、二进制体积评估（按要求只评估，未做压缩修改） - release 809,472 字节；.text 652KB、.xdata+.pdata 约 75KB、.rdata 42KB、 .rsrc 20KB、.idata 11.5KB。 - 去掉 -ld3d11 -ldwmapi -ld3dcompiler（仓内无任何调用）实测 0 字节收益（静态库只拉取被引用的对象）=> 删链接库不是压缩手段，只是配置整洁。 - 仓内已无 <iostream>/<sstream>/<filesystem>/<regex>/<locale> 等体积炸弹。 - 结论：已无明显的浪费可捡；要显著变小只能改变取舍（动态 CRT / UPX / 砍功能），需要用户决策，本轮未动。验证 - editcheck 20/20、round3check 31/31、round4check 34/34、round5check 5/5、convcheck 18/18。 - check 136/137：唯一失败项经 git stash 回到改动前复现同一数值，属该探针自身的既有不稳定项（取决于前置用例留下的缓存/时序），与本轮改动无关。 - 真实数据：4 个 MF4 => 283/8/18/24 个信号；.mat 样例 8 信号、带无障碍对照-防夹力曲线数据 8 信号、BIG_MAT.mat 5 信号（私有内存 +741MB）。 - make release / make debug 零警告。文档：Documents/agent_mem.md 同步 §10 变更日志、§11.2 第 171-180 条硬约束与文末本轮小节（含体积评估数据）。	2026-10-20 16:10:29 +08:00
DeepSeek V4.1 Flash	6eedbe3c5d	数据层大重构：文件→分组 / 时间轴一等公民 / 加载器抽象 + CSV 多时间轴 + MF4 支持一、数据模型解耦（详见 Documents/refactor_report_2026-10-15.md 与 agent_mem §9.27） 1. DataFile → SignalGroup：删除 filePath / fileName / time / timeColumnName / timeMonotonic / minTime / maxTime —— 「分组」是应用内的逻辑容器，加载完成后与磁盘文件再无关系。 2. 新增 TimeAxis（name / time / minTime / maxTime / monotonic / finiteCount），一个分组可含 1..N 条； SignalData 新增 axisIndex 指向所属时间轴，采样值与时间的对应关系自包含。 3. SignalData 删除冗余的 rawHeader（name 的副本）与 unit（由列名猜出、全仓无人使用）；名字只保留 name（源名称）+ displayName（用户重命名），Title() 统一展示。 4. SignalRef::fileIndex → groupIndex；DataSet：AddGroup/RemoveGroup/GroupAt/GroupCount/Groups()/ SetGroupDisplayName/RemapSelectionAfterGroupRemoval + 新增 Axis(ref)； TabConfig：SetGroupVisible/GroupHasVisible/GroupAllVisible/RemapAfterGroupRemoval + RowKind::GROUP / CMD_GROUP_。 5. 采样与统计 API 首参由 const DataFile& 改为 const TimeAxis&： SampleSignalAt / SampleDisplayedSignalAt / FindNearestSample（Utilities）与 SampleSpacingPixels / VisibleIndexRange / EdgeIndexRange / MeanFilterValueAt / WeakPeakValueAt / EdgeCountsFor / EdgeCenterCountsFor / EdgeScanFor（PlotView）。 6. 视图层：ResolvedSignal = { data, style, group, axis, visible }；PolylineCacheEntry::file→group； EdgeScanState::file→axis（统计身份 = 时间轴 + 信号）； ComputeVisibleTimeBounds 只统计可见信号真正用到的时间轴。二、加载层抽象（格式与模型彻底解耦） - 新增 Utilities/Inc/DataTable.hpp：DataTable（通用列优先表格）+ LoadProgress/Info + TableBlock（一个时间轴块）+ LoadedSource（源文件全部块）。 - 新增 Utilities/Inc\|Src/DataLoader.：唯一入口 LoadSignalSource 按扩展名分发 + IsSupportedSignalFile + SignalFileDialogFilter。 - 新增 Utilities/Inc\|Src/CsvLoader.：CSV 解析 + 多时间轴切分 + 各轴按自己的时间列裁剪。 - 新增 Utilities/Inc\|Src/Mf4Loader.：ASAM MDF v4 解析。 - 删除 Utilities/Inc/CsvTable.hpp 与 Utilities/Src/CsvTable.cpp。 - 唯一装配点 BuildSignalGroup(LoadedSource&&, paletteBase, group, error, progress)：时间轴去重合并 + 信号命名 + 调色板取色 + 统计与粗粒度包络；新增格式只需写一个加载器。三、CSV 多时间轴（修正用户报告的缺陷） - 只有名为 t/time/timestamp/simulation time/时间/时间轴的列是时间轴（判据收紧，不再用「包含 time」以免把 timeout 误判成时间轴）。 - 每个时间列开启一个新块，其后直到下一个时间列之前的列都属于该块；各块按自己的时间列裁剪 ⇒ 支持各轴长度不同（Multi_Timeline.CSV 实测切出 3 条轴，长度 7/4/7）；不再把其它 time 列当成信号显示。 - 完全没有时间列时保留旧行为（第一列当时间轴，单轴）。四、MF4 支持（新功能） - 加载后新建一个分组、组名 = 文件名，文件内全部信号归入该分组。 - 每个通道组（CG）是一条时间轴，内容相同的时间轴自动合并（实测 27 个 CG → 3 条轴 / 124 条信号）。 - 实现 MDF v4 块解析（HD/DG/CG/CN/CC/DT）、1–64 位整数（任意位偏移、含符号扩展）与 32/64 位 IEEE 浮点解码、无效位（inval bit）处理、线性换算 phys = cc_val[0] + cc_val[1]raw。 - TX 文本块同时兼容规范写法（U32 长度 + UTF-16/UTF-8）与 CANape 的「无长度前缀 NUL 结尾裸文本」。 - 未实现（跳过该组）：压缩块 ##DZ/##HL/##SD、##DL 数据列表、字符串/MIME 通道。五、顺带修复 - Application::Initialize：窗口类已注册（ERROR_CLASS_ALREADY_EXISTS）时复用而不是弹模态错误框（旧实现让同一进程第二次构造 Application 永久阻塞）；Shutdown 注销窗口类并销毁窗口。 - UI 文案统一到「分组」：选中该分组全部信号 / 取消该分组全部信号 / 关闭该分组（从工作区移除）/ 请关闭部分分组或信号后重试。/ 尚未加载数据，请打开数据文件 / 打开数据文件以查看波形 / （可同时加载多个文件，各自成为一个分组）；对话框过滤器增加 .mf4/*.mdf。六、验证（全部离屏：BELOW_NORMAL 优先级 + SW_HIDE 窗口 + 只注入合成消息） - 新增 .preflight/perf/datacheck_main.cpp：69/69 通过（单轴 CSV 回归、多时间轴 CSV、MF4 组名/信号数/ 时间轴/主时间轴 ns→s/setSpeed 首样本与原始字节人工核对、DataSet 不变量、派生信号沿用源轴、 MF4 集成 124 信号并一格 60~68ms/帧）。 - 新增 .preflight/perf/edgecheck_main.cpp（ASCII-only，替代被编码破坏的 panelcheck）：46/46 通过（「调整」符号规则走真实菜单路径、边沿统计按帧推进/不饿死/逐位一致/无鼠标输入也完成、面板两列等宽与信号名限宽、弱峰复位控件）。 - 既有 .preflight/perf/verify_main.cpp（已适配新 API）：47/47，另有 2 条本机未同步的旧规则断言（derived offsetTime kept / mouse in lane1 lower half），与本轮无关。 - make clean && make all 零警告。	2026-10-15 03:48:58 +08:00

Author

SHA1

Message

Date

DeepSeek V4.1 Flash

53b981a2a9

全项目大检查：修复数据层/UI 真 BUG、清理死代码与过期注释、并评估二进制体积

按「性能 / BUG / 错误 / 过期注释 / 命名与实际含义不符」四项对全仓做了一次审查，
四个只读子审查交叉核对后逐条回到源码确认再改。

一、数据层真 BUG
- MatH5：U8/U16/U32/U64 用逐字节 Cached() 拼装，而 Cached 只服务「完全落在同一个
  64KB 块内」的请求 => 跨块时静默读成 0（U32 整段为 0、U64 高 32 位为 0），分块 B-tree
  的 chunk 偏移/子节点地址被破坏且无任何报错。新增 ScalarLE()：命中缓存用缓存，
  否则退回一次 ReadAt；U64 顺带从 8 次缓存查找降到 1 次。
- Mf4Loader::IsBlock 未校验链接表是否落在块内 => DataOffset 越界，随后
  block_len - (data - offset) 在 uint64 上下溢，得到一个约 2^64 的"可用字节数"，
  下游 vector(usable+1) 直接 bad_alloc。同时把 offset + bytes > size 改成不产生回绕的写法。
- DecodeRawValue 的整数路径：bit_offset%8 != 0 且位宽 64 时需 9 个字节，先拼成 64 位
  再整体右移会把最高字节静默丢弃 => 改为逐字节带位偏移累加。
- cg_cycle_count 加「数据段总字节 / 记录字节」上限（压缩段按 deflate 最大膨胀比估算）。
- CsvLoader 表头分支同样跳过 #/% 注释行（否则整份文件按 1 列解析并被丢弃）。
- MatLoader：double -> int 的越界转换加了范围检查；普通对象递归加深度上限与成环检测。
- Utf8Util::BuildTicks：double -> long long 越界转换前先判商是否落在 ±9e18 内。

二、界面 BUG
- 工具栏按钮永远不显示悬停高亮：Paint 读的 Button::hover 全仓从未赋值，改为按 m_hoverIndex 判断。
- 菜单打开时"取消底层拖拽"对每个消息都执行，把菜单自己的 Target::EDIT_FIELD 也清掉
  => 菜单内联输入框无法拖拽框选。排除 EDIT_FIELD。
- GdiplusShutdown 之前未释放 PlotView 的 GDI+ 位图（Application 是进程单例，成员析构在
  WinMain 之后）=> 新增 PlotView::ReleaseGraphicsResources() 并在 Shutdown 里调用。
- WM_KILLFOCUS 现在会提交标签页/绘图区编辑并复位捕获与拖拽状态。
- WM_LBUTTONUP 不再抢走中键平移的鼠标捕获。
- TextEdit：被过滤器拒绝的字符返回 false；无选区时 Ctrl+X 只复制、不再清空整段文本。
- SignalPanel::InvalidateRows 作废编辑/待确认/改名计时等行下标状态。
- EndFilterEdit 改走 ApplyFilterText（否则输入纯空格后回车，列表仍停在筛选结果）。
- 新增 SignalBadgeVisible 作为唯一判据（原来命中只看"可见"，绘制还要求"已分配网格"）。
- 折起动画结束后夹取滚动量；双击分组名改名时清掉该组正在播放的折起动画。
- ScrollToSignal 复用 SignalScrollTarget（含悬浮组名避让）。
- RowNameRect 与绘制使用同一最小宽度（原来退化时返回空矩形）。
- 分隔条拖拽上限改用与 Relayout 同一公式；UpdateDragCursor 补 SPLITTER/EDIT_FIELD。
- SignalPanel 里几个守卫改为判断真正被解引用的指针；分组行 ✕ 也返回手型光标。

三、PlotView
- FindStyleOnlyLanes 改用完整的 SceneStyleEntry::operator==（原来只比 4 个字段，
  另一个网格同时改"调整"时带着旧像素被当成最新）。
- 宽基底图层不再烘焙拖拽光晕（LaneLayerHash 不含它），改由 PaintHoverHighlight 每帧叠加。
- PaintLaneLegend 提前返回前清掉本网格的命中矩形（否则能点中看不见的图例条目）。
- 面板主体改为完全不透明（消除平移后 4% 透出的旧波形，零额外代价）。
- PAN / Shift+滚轮改走 SetTimeView，使"自动点线"判据随平移重算。
- 内联输入框命中字体与绘制统一为 monoSmall。
- 派生曲线取值与窗口按 SourceIndexFor 映射（水平镜像时不再读到镜像另一端）。
- EdgePanelWidth 补 style/axis 空指针守卫；二分结果夹到 count。

四、清理
- 删除 Toolbar::ActionLabel、Theme::statusBg、PopupMenu 的 editResult 死机制、
  Toolbar::Layout 的重复 clear()、HitRow 的恒假分支、OnDoubleClick 的重复判定、
  PaintUtil 里孤立的注释块。
- 修正一批过期/错误注释（包络带"不做加宽"、LaneLayerHash 的图例说法、
  均值滤波曲线的窗口说法、样式区行数与「调整」按钮顺序、FIT_ALL 退出缩放模式、
  RemoveSignal 的 ✕ 位置、.mat/.dat 格式文档、MatH5 的"映射视图"、DataModel 的
  "点线/被移除文件"、SignalPanel 的"行高连续缩小"、TextEdit 的 PaintUtil 引用等）。

五、二进制体积评估（按要求只评估，未做压缩修改）
- release 809,472 字节；.text 652KB、.xdata+.pdata 约 75KB、.rdata 42KB、
  .rsrc 20KB、.idata 11.5KB。
- 去掉 -ld3d11 -ldwmapi -ld3dcompiler（仓内无任何调用）实测 0 字节收益
  （静态库只拉取被引用的对象）=> 删链接库不是压缩手段，只是配置整洁。
- 仓内已无 <iostream>/<sstream>/<filesystem>/<regex>/<locale> 等体积炸弹。
- 结论：已无明显的浪费可捡；要显著变小只能改变取舍（动态 CRT / UPX / 砍功能），
  需要用户决策，本轮未动。

验证
- editcheck 20/20、round3check 31/31、round4check 34/34、round5check 5/5、convcheck 18/18。
- check 136/137：唯一失败项经 git stash 回到改动前复现同一数值，属该探针自身的既有
  不稳定项（取决于前置用例留下的缓存/时序），与本轮改动无关。
- 真实数据：4 个 MF4 => 283/8/18/24 个信号；.mat 样例 8 信号、
  带无障碍对照-防夹力曲线数据 8 信号、BIG_MAT.mat 5 信号（私有内存 +741MB）。
- make release / make debug 零警告。

文档：Documents/agent_mem.md 同步 §10 变更日志、§11.2 第 171-180 条硬约束
与文末本轮小节（含体积评估数据）。

2026-10-20 16:10:29 +08:00

DeepSeek V4.1 Flash

6eedbe3c5d

数据层大重构：文件→分组 / 时间轴一等公民 / 加载器抽象 + CSV 多时间轴 + MF4 支持

一、数据模型解耦（详见 Documents/refactor_report_2026-10-15.md 与 agent_mem §9.27）
1. DataFile → SignalGroup：删除 filePath / fileName / time / timeColumnName / timeMonotonic /
   minTime / maxTime —— 「分组」是应用内的逻辑容器，加载完成后与磁盘文件再无关系。
2. 新增 TimeAxis（name / time / minTime / maxTime / monotonic / finiteCount），一个分组可含 1..N 条；
   SignalData 新增 axisIndex 指向所属时间轴，采样值与时间的对应关系自包含。
3. SignalData 删除冗余的 rawHeader（name 的副本）与 unit（由列名猜出、全仓无人使用）；
   名字只保留 name（源名称）+ displayName（用户重命名），Title() 统一展示。
4. SignalRef::fileIndex → groupIndex；DataSet：AddGroup/RemoveGroup/GroupAt/GroupCount/Groups()/
   SetGroupDisplayName/RemapSelectionAfterGroupRemoval + 新增 Axis(ref)；
   TabConfig：SetGroupVisible/GroupHasVisible/GroupAllVisible/RemapAfterGroupRemoval +
   RowKind::GROUP / CMD_GROUP_*。
5. 采样与统计 API 首参由 const DataFile& 改为 const TimeAxis&：
   SampleSignalAt / SampleDisplayedSignalAt / FindNearestSample（Utilities）与
   SampleSpacingPixels / VisibleIndexRange / EdgeIndexRange / MeanFilterValueAt / WeakPeakValueAt /
   EdgeCountsFor / EdgeCenterCountsFor / EdgeScanFor（PlotView）。
6. 视图层：ResolvedSignal = { data, style, group, axis, visible }；PolylineCacheEntry::file→group；
   EdgeScanState::file→axis（统计身份 = 时间轴 + 信号）；
   ComputeVisibleTimeBounds 只统计可见信号真正用到的时间轴。

二、加载层抽象（格式与模型彻底解耦）
- 新增 Utilities/Inc/DataTable.hpp：DataTable（通用列优先表格）+ LoadProgress/Info +
  TableBlock（一个时间轴块）+ LoadedSource（源文件全部块）。
- 新增 Utilities/Inc|Src/DataLoader.*：唯一入口 LoadSignalSource 按扩展名分发 +
  IsSupportedSignalFile + SignalFileDialogFilter。
- 新增 Utilities/Inc|Src/CsvLoader.*：CSV 解析 + 多时间轴切分 + 各轴按自己的时间列裁剪。
- 新增 Utilities/Inc|Src/Mf4Loader.*：ASAM MDF v4 解析。
- 删除 Utilities/Inc/CsvTable.hpp 与 Utilities/Src/CsvTable.cpp。
- 唯一装配点 BuildSignalGroup(LoadedSource&&, paletteBase, group, error, progress)：
  时间轴去重合并 + 信号命名 + 调色板取色 + 统计与粗粒度包络；新增格式只需写一个加载器。

三、CSV 多时间轴（修正用户报告的缺陷）
- 只有名为 t/time/timestamp/simulation time/时间/时间轴 的列是时间轴（判据收紧，
  不再用「包含 time」以免把 timeout 误判成时间轴）。
- 每个时间列开启一个新块，其后直到下一个时间列之前的列都属于该块；各块按自己的时间列裁剪
  ⇒ 支持各轴长度不同（Multi_Timeline.CSV 实测切出 3 条轴，长度 7/4/7）；
  **不再把其它 time 列当成信号显示**。
- 完全没有时间列时保留旧行为（第一列当时间轴，单轴）。

四、MF4 支持（新功能）
- 加载后新建一个分组、组名 = 文件名，文件内全部信号归入该分组。
- 每个通道组（CG）是一条时间轴，内容相同的时间轴自动合并（实测 27 个 CG → 3 条轴 / 124 条信号）。
- 实现 MDF v4 块解析（HD/DG/CG/CN/CC/DT）、1–64 位整数（任意位偏移、含符号扩展）与
  32/64 位 IEEE 浮点解码、无效位（inval bit）处理、线性换算 phys = cc_val[0] + cc_val[1]*raw。
- TX 文本块同时兼容规范写法（U32 长度 + UTF-16/UTF-8）与 CANape 的「无长度前缀 NUL 结尾裸文本」。
- 未实现（跳过该组）：压缩块 ##DZ/##HL/##SD、##DL 数据列表、字符串/MIME 通道。

五、顺带修复
- Application::Initialize：窗口类已注册（ERROR_CLASS_ALREADY_EXISTS）时复用而不是弹模态错误框
  （旧实现让同一进程第二次构造 Application 永久阻塞）；Shutdown 注销窗口类并销毁窗口。
- UI 文案统一到「分组」：选中该分组全部信号 / 取消该分组全部信号 / 关闭该分组（从工作区移除）/
  请关闭部分分组或信号后重试。/ 尚未加载数据，请打开数据文件 / 打开数据文件以查看波形 /
  （可同时加载多个文件，各自成为一个分组）；对话框过滤器增加 *.mf4/*.mdf。

六、验证（全部离屏：BELOW_NORMAL 优先级 + SW_HIDE 窗口 + 只注入合成消息）
- 新增 .preflight/perf/datacheck_main.cpp：69/69 通过（单轴 CSV 回归、多时间轴 CSV、MF4 组名/信号数/
  时间轴/主时间轴 ns→s/setSpeed 首样本与原始字节人工核对、DataSet 不变量、派生信号沿用源轴、
  MF4 集成 124 信号并一格 60~68ms/帧）。
- 新增 .preflight/perf/edgecheck_main.cpp（ASCII-only，替代被编码破坏的 panelcheck）：46/46 通过
  （「调整」符号规则走真实菜单路径、边沿统计按帧推进/不饿死/逐位一致/无鼠标输入也完成、
  面板两列等宽与信号名限宽、弱峰复位控件）。
- 既有 .preflight/perf/verify_main.cpp（已适配新 API）：47/47，另有 2 条本机未同步的旧规则断言
  （derived offsetTime kept / mouse in lane1 lower half），与本轮无关。
- make clean && make all 零警告。

2026-10-15 03:48:58 +08:00