hara-stage4

What problem does it solve?

Stage 4 SG_Sum 汇总把已通过 Stage 3 校验的 HARA 结果整理成可交付的 stage4 输出，同时严格保证仅由模型填写“操作模式”，其余字段全部由工具派生并可校验回溯。

Core Features & Use Cases

• Stage 4 只补“操作模式”：从 generate_stage4_sg.py 生成的草稿中读取 SG_Sum 行与证据，仅让模型填写“操作模式”字段。
• 严格派生与门禁校验：不允许模型改动安全目标、ASIL Level、安全状态、FTTI(ms)与Comments，且输出不包含 MF_ID。
• 支持汇总规则落地：同一 MF 内相同安全目标汇总时，ASIL 取最高、FTTI(ms)取最小；来源 MF 通过 Comments 追溯。

Quick Start

Run generate_stage4_sg to create the Stage 4 SG_Sum draft, fill only the 操作模式 field based on Comments evidence, then validate the result with check_stage_json for stage4.