super_agent_bot
1a2ca0467d
台架（PR #82 head d9303e05，常授权烧写验证）在三点校验版守卫上继续复现 出打回形态：卷层给出的旧映射块与目标文件恰好同长（1064B）且整块全 0， 读长 == st.size 与读前后复 stat 全部通过，解析零错误、RAM 照样打回默认 （15:21 决定性轮：盘文件 RETR 校验七段完好，重载窗口内 s_sntp 三字节段 全 0）。纯令牌层校验对"内容坏"是盲的，必须补内容判据。 处置（引擎侧，与三点校验同族）： - 新增 s_view_bad：重载/保存读到的视图若为空读、或 [0,len) 内任意偏移 含 NUL 字节即判坏——INI UTF-8 文本约定下任何偏移都不得含 0x00；解析 器按行切分遇 NUL 即断行，零块之后的内容本就不可达（静默截断同源故障）， 拒之不误伤任何可解析文档。不要求首字节 ';'（手写文档可直接段名起始）。 - poll：坏内容 = 与长度/令牌不符同处置——拒绝应用，RAM 与基线不动，2s 重试自愈，首次 ERROR + 自检留痕，每 30 趟一条 WARN（限速）。 - save：坏内容同族拒存返回 -1，原文件一字节不动，调用方 dirty 保留重试。 - 边界如实保留：内容合法但陈旧的整卷视图（长度/令牌/内容三者皆一致滞后） 引擎层无法检出，属卷层（dhara/FTL）课题，重启必然收敛；"改过配置后 重启一次"在卷层根治前仍是最稳口径。 测试： - TC-CONFIG-061（poll 同尺寸全 0 块 HELD + 视图刷新自愈 + 零回调）、 TC-CONFIG-062（save 遇全 0 块拒存、文件字节/写次数不动、追平后重试 成功）；桩新增 vfs_mark_stale_zeros() 注入同长全 0 旧视图。 - cfg_file 套件 259/259；iec104 179/179、run_par 67/67、adc_cal 117/117、 sntp 98/98、cfg_file_store_mcu 34/34 复跑全绿。 - /keil-build 0 错 0 警：Code 254,784 -> 254,820 B（+36 B）；台账与同码 凭证已同步。台架实录见 PR #82 评论：NUL 注入块实机 HELD（16:55:46） + WARN 节拍 30/60 趟命中（16:56:42/16:57:41）+ 视图转新鲜后重载自动 追平；残余打回事件均为"内容合法但陈旧"整卷视图（15:19:30/16:34:59/ 16:58:38），属已声明守卫边界，盘文件全程未吞段，重启收敛实机确认 （17:04 RAM 回文件值）。 文档： - 《配置文件设计说明》§4-(3)/§5.3 守卫描述补内容判据与 15:21 实证形态、 风险表行更新、变更记录 v1.17 行同步； - 《配置文件单元测试说明》TC-CONFIG-061/062 行 + 当前结果 259/259 + 扩展指南补 vfs_mark_stale_zeros()。
49 lines
1.2 KiB
JSON
49 lines
1.2 KiB
JSON
{
|
|
"built_at": "2026-11-05T16:35:16+08:00",
|
|
"fingerprint": "36fcf475ac2d01551cf21b31af98a3aa51e1dca1e3a74ae79570e7cee253b5b5",
|
|
"fingerprint_files": 1479,
|
|
"fingerprint_source": "git-index",
|
|
"gated_regions": [
|
|
"RW_IRAM1",
|
|
"RW_CCM"
|
|
],
|
|
"git_head": "d9303e05a4512defe29c0e434c20ba5e243bcc1b",
|
|
"map": "MDK-ARM/STM32F407-Demo/STM32F407-Demo.map",
|
|
"map_mtime": 1793867423,
|
|
"pct": {
|
|
"ER_IROM1": 27.25,
|
|
"RW_CCM": 87.89,
|
|
"RW_IRAM1": 72.29,
|
|
"UNINIT_CCM": 18.75
|
|
},
|
|
"regions": {
|
|
"ER_IROM1": {
|
|
"max": 1048576,
|
|
"size": 285716
|
|
},
|
|
"RW_CCM": {
|
|
"max": 65280,
|
|
"size": 57376
|
|
},
|
|
"RW_IRAM1": {
|
|
"max": 131072,
|
|
"size": 94752
|
|
},
|
|
"UNINIT_CCM": {
|
|
"max": 256,
|
|
"size": 48
|
|
}
|
|
},
|
|
"schema": 2,
|
|
"scope_note": "\u540c\u7801\u51ed\u8bc1\uff1a\u6307\u7eb9\u8986\u76d6\u56fa\u4ef6\u4f53\u79ef\u76f8\u5173\u6e90\u7801\uff0c\u53e3\u5f84\u89c1\u672c\u811a\u672c docstring",
|
|
"sizes": {
|
|
"code": 254820,
|
|
"ro_data": 30896,
|
|
"rw_data": 2072,
|
|
"zi_data": 150104
|
|
},
|
|
"threshold_pct": 92.0,
|
|
"worktree_dirt_at_stamp": 0,
|
|
"written_by": "scripts/check_size_gate.py --stamp"
|
|
}
|