feat(ui+记录): 整定写路径与四类页落地，五类记录写入方补齐
UI 面：ui_data 增加深度 4 参数写队列（请求 168 B、队列 .bss 672 B）与状态机 OK/ERR_RANGE/ERR_LOCKED/ERR_BUSY，ui_data_feed 出队后按注入 ops 走「闭锁 → 整批 预检 → 逐项 prot_set_set_sealed」，只提交改动位图；par 帧尾追加 cal_block （口径 = UA/UN/IA 三路 ADC_CAL_F_VALID，与 protect_task 判据同构，不用 rt.eng 反推，V0.1 下 eng 恒 0）、UI_DATA_VER 升到 2。参数/定值/控制字/软压板四叶绑定 内容页（UI_PAGE_MAP_COUNT 12→16，复用四个查看模块，零新增 .c），编辑态按 is_editable 分派，LOCK（写不进去）与「未标定」（仍可改值）两源两通道两词。 记录面：syslog_request_clear/state/apply 三段式删除 API（UI 只发请求，落地在 defaultTask 的 drain 尾部且必须后置，卷锁一律 try，幂等只认 FR_NO_FILE）； 事故/告警/启动/操作/遥控五类各有一个真实写入点，记录类型 = 日志 ID 本身 （一类一个 /log 严格 8.3 文件；64B 定长体没有类型字段位，塞字段会砸掉既有读者）。 为守 protectTask 872 B 静态最坏链另拆 syslog_post_quiet()（无 DBG 的投递核， 丢弃留痕挪到 drain 侧差值补发），syslog_post 对外语义逐字不变。 为什么两道合成一笔而不是各一笔（实测，不是省事）：simulator/main.c 同时消费 两道新增 API（整定 pump 与 logtest 清除用例），按道切文件会让中间提交编不过； RAM 受管快照与体积同码凭证描述的是合并后的 .map，拆开必落在「台账与 .map 不同 码」这条红线上。pre-commit 跑钩子前会 stash 未 staged 部分，这类耦合没法绕。 实测：@build 0 错误 0 警告；Code 228,260 / RO 24,960 / RW 1,440 / ZI 135,976 B； RW_IRAM1 79,992 B = 61.0%、RW_CCM 87.9%（阈值 92%）；九个任务静态最坏链全 PASS， protectTask 872 B / 57% 改前后逐字节不变（记录投递没垫栈）。主机单测 ui_data 82→ 164、sys_log_mcu 106→137、prot_elm 47→60、iec104 141→154、iec104_serv 28→34， 既有断言零删改；48 个钩子 --all-files 全绿；编号门禁可判定 86.34%（基线 86.0%）、 不可判定 1,153 处低于上限 1,166；doc-links 无法判定 0；UI 黄金 18 页扩到 27 页 连跑两次逐字节一致；字库 diff 空。 顺手修掉三处既有缺陷（都是本轮第一个消费者才暴露）：sim_syslog.c 的 s_paths 行宽 16 而 "sim_selftest.log" 正好 16 字符没有 NUL 位（stat/remove 读越过数组尾，此前 靠后面 .rodata 碰巧为 0）；ui_w_setlist 二态行 ENTER 不回绕（控制字与软压板出厂值 全在最后一项，按了像没反应而叠层里已是越界值）；生成物 ui_menu_tab.h 与 gen_menu.py 模板漂移（上一笔改了模板没重跑生成器），现随生成器输出对齐。 未收口（不算完成）：保存后重启值保持与主站 C_RD 读回两条只能上板，台架窗口执行； LOCK 屏显与越界反显的页面侧在模拟器造不出来（模拟器不跑定值自检、无 NAND）， 已由生成侧单测与代码注释点名差距；同类页数与钩子数陈述残留另立待办。
This commit is contained in:
@@ -24,6 +24,11 @@
|
||||
* TC-PROTELEM-012 低频 UF（B8/L3-5）：欠量方向 + RET_UF 滞回 + 方向隔离
|
||||
* TC-PROTELEM-013 run() 接线（B8）：测频驱动 OF 动作；幅值门失效 OF 复位且
|
||||
* 相量类元件仍被评估（不整拍跳过）
|
||||
* TC-PROTELEM-014 启动位图与动作位图分离（道F task-10「保护启动」记录的前置）：
|
||||
* 延时段已启动未到点时两枚位图必须不同 + 不变式 asserted ⊆ picked
|
||||
* TC-PROTELEM-015 动作边沿的记录分类（道F task-10「事故 / 保护告警」）：
|
||||
* 逐项独立读 PS_*_TRIP、改定值即改类别、无该投退项的五项恒告警
|
||||
* （同时挡住 trip_ctl=0xFF 的越界读）、越界编号不落记录
|
||||
*
|
||||
* 通过：全部 TC PASS（main 返回 0）。
|
||||
* 创建日期：2026-10-11（B5）；2026-10-12 扩 OF/UF（B8）
|
||||
@@ -442,6 +447,101 @@ static void tc_run_freq_wiring(void) {
|
||||
"TC-PROTELEM-013 run(): UV still evaluated with zero-amplitude (no whole-beat skip)");
|
||||
}
|
||||
|
||||
/* TC-PROTELEM-014（道F task-10）：启动位图与动作位图**分离**。
|
||||
* 「保护启动」记录的边沿检测靠 pick_mask，若它等于 active_mask（或干脆没实现，
|
||||
* 让 protect_task 去轮询 state），"启动了但延时段还没到点"这一整段在记录里就是
|
||||
* 空的——而那恰恰是这一页唯一比"动作记录"多出来的信息。所以这里把两者的
|
||||
* **不等**关系钉死，并钉住不变式 asserted ⊆ picked。 */
|
||||
static void tc_pick_mask(void) {
|
||||
float m[PE_COUNT];
|
||||
|
||||
prot_set_init();
|
||||
prot_elm_init();
|
||||
(void)prot_set_set(PS_OC1_DLY, PROT_SET_Q10(100.0)); /* 延时段 */
|
||||
(void)prot_set_set(PS_OC3_DLY, PROT_SET_Q10(0.0)); /* 瞬时段 */
|
||||
mk_base(m);
|
||||
m[PE_OC1] = 10.1f; /* 越限，但 100 ms 未到 */
|
||||
m[PE_OC3] = 2.1f; /* 越限，dly=0 同拍动作 */
|
||||
|
||||
prot_elm_eval(6000u, m);
|
||||
CHECK(prot_elm_pick_mask() == ((1uL << PE_OC1) | (1uL << PE_OC3)),
|
||||
"TC-PROTELEM-014 pick mask carries the delayed element that has not tripped yet");
|
||||
CHECK(prot_elm_active_mask() == (1uL << PE_OC3),
|
||||
"TC-PROTELEM-014 active mask still excludes it (the two masks are genuinely different)");
|
||||
CHECK((prot_elm_active_mask() & ~prot_elm_pick_mask()) == 0u,
|
||||
"TC-PROTELEM-014 invariant: asserted is a subset of picked");
|
||||
|
||||
prot_elm_eval(6100u, m); /* OC1 定时限到点 */
|
||||
CHECK(prot_elm_active_mask() == ((1uL << PE_OC1) | (1uL << PE_OC3)),
|
||||
"TC-PROTELEM-014 after the delay the active mask catches up");
|
||||
CHECK(prot_elm_pick_mask() == ((1uL << PE_OC1) | (1uL << PE_OC3)),
|
||||
"TC-PROTELEM-014 pick mask unchanged while the level holds");
|
||||
|
||||
m[PE_OC1] = 9.4f; /* 跌破返回门槛 */
|
||||
m[PE_OC3] = 1.0f;
|
||||
prot_elm_eval(6200u, m);
|
||||
CHECK((prot_elm_pick_mask() == 0u) && (prot_elm_active_mask() == 0u),
|
||||
"TC-PROTELEM-014 both masks clear together below the return threshold");
|
||||
}
|
||||
|
||||
/* TC-PROTELEM-015（道F task-10）：动作上升沿该归"事故"还是"保护告警"。
|
||||
* 判据的唯一来源是定值表里的跳闸投退项 PS_*_TRIP（枚举注释即"0 告警 / 1 跳闸"），
|
||||
* 元件->投退项的对应关系在 k_pe[] 的 trip_ctl 列。这里要钉的是三件容易做错的事：
|
||||
* a) **逐项独立**：OC1 投入、OC2 退出必须给出不同类别（做成一个全局开关、
|
||||
* 或在本函数里另写一份"哪些元件算跳闸"的名单，都会在这里翻红——而那份
|
||||
* 名单一旦与 g_prot_set_meta / k_pe[] 分叉，就是"整定视图与记录分类打架"，
|
||||
* setview-check 也只认既有表）；
|
||||
* b) **改定值即改类别**：同一元件同一状态，写 1 变事故、写 0 变告警，
|
||||
* 证明它是查表而不是编译期常量；
|
||||
* c) **没有该投退项的五项恒告警**，且**不会串到别人的字**：把全部 TRIP 项
|
||||
* 写成 1，OV/UV/3U0/OF/UF 仍然是告警——这条同时是 trip_ctl=0xFF 那格的
|
||||
* 越界读防线（若实现把 0xFF 直接喂给 prot_set_get_ctl()，读到的是定值区
|
||||
* 之外，类别会随内存内容漂，这条必红）。
|
||||
* 越界编号返回"不落任何记录"。 */
|
||||
static void tc_record_kind(void) {
|
||||
prot_set_init();
|
||||
prot_elm_init();
|
||||
|
||||
/* a) 逐项独立 */
|
||||
(void)prot_set_set(PS_OC1_TRIP, PROT_SET_Q10(1));
|
||||
(void)prot_set_set(PS_OC2_TRIP, PROT_SET_Q10(0));
|
||||
CHECK((prot_elm_record_kind(PE_OC1) == PROT_REC_TRIP)
|
||||
&& (prot_elm_record_kind(PE_OC2) == PROT_REC_ALARM),
|
||||
"TC-PROTELEM-015 the kind is read per element, not from one global switch");
|
||||
|
||||
/* b) 改定值即改类别（同元件、同状态） */
|
||||
(void)prot_set_set(PS_OC1_TRIP, PROT_SET_Q10(0));
|
||||
CHECK(prot_elm_record_kind(PE_OC1) == PROT_REC_ALARM,
|
||||
"TC-PROTELEM-015 releasing the trip word turns the same element into an alarm");
|
||||
(void)prot_set_set(PS_OC1_TRIP, PROT_SET_Q10(1));
|
||||
CHECK(prot_elm_record_kind(PE_OC1) == PROT_REC_TRIP,
|
||||
"TC-PROTELEM-015 re-engaging it turns it back into an accident (no latching)");
|
||||
(void)prot_set_set(PS_OC3_TRIP, PROT_SET_Q10(1));
|
||||
(void)prot_set_set(PS_OL_TRIP, PROT_SET_Q10(1));
|
||||
CHECK((prot_elm_record_kind(PE_OC3) == PROT_REC_TRIP)
|
||||
&& (prot_elm_record_kind(PE_OL) == PROT_REC_TRIP),
|
||||
"TC-PROTELEM-015 OC3/OL follow their own trip words too");
|
||||
|
||||
/* c) 无跳闸投退项的五项：全表写 1 之后仍恒告警（也挡住 0xFF 越界读） */
|
||||
(void)prot_set_set(PS_OC1_TRIP, PROT_SET_Q10(1));
|
||||
(void)prot_set_set(PS_OC2_TRIP, PROT_SET_Q10(1));
|
||||
(void)prot_set_set(PS_OC3_TRIP, PROT_SET_Q10(1));
|
||||
(void)prot_set_set(PS_OL_TRIP, PROT_SET_Q10(1));
|
||||
CHECK((prot_elm_record_kind(PE_OV) == PROT_REC_ALARM)
|
||||
&& (prot_elm_record_kind(PE_UV) == PROT_REC_ALARM)
|
||||
&& (prot_elm_record_kind(PE_3U0) == PROT_REC_ALARM)
|
||||
&& (prot_elm_record_kind(PE_OF) == PROT_REC_ALARM)
|
||||
&& (prot_elm_record_kind(PE_UF) == PROT_REC_ALARM),
|
||||
"TC-PROTELEM-015 alarm-only elements stay alarms with every trip word engaged");
|
||||
|
||||
/* 守卫：越界编号 = 一条都不许落 */
|
||||
CHECK(prot_elm_record_kind(PE_COUNT) == PROT_REC_NONE,
|
||||
"TC-PROTELEM-015 out-of-range id -> no record at all");
|
||||
/* 只读性：判定不改任何状态（protectTask 每拍都会问，问完还要跑判据） */
|
||||
CHECK(prot_elm_pick_mask() == 0u,
|
||||
"TC-PROTELEM-015 the classifier leaves the element states untouched");
|
||||
}
|
||||
|
||||
int main(void) {
|
||||
printf("=== Prot Elm Tests ===\n");
|
||||
tc_init_clear();
|
||||
@@ -457,6 +557,8 @@ int main(void) {
|
||||
tc_of_hysteresis();
|
||||
tc_uf_direction();
|
||||
tc_run_freq_wiring();
|
||||
tc_pick_mask();
|
||||
tc_record_kind();
|
||||
|
||||
printf("\n=== Prot Elm Tests: %d/%d PASSED (failed=%d) ===\n",
|
||||
s_passed, s_total, s_failed);
|
||||
|
||||
Reference in New Issue
Block a user