Derive Stage 4 SG_Sum summaries from validated HARA results with tool-based grouping.
npx skills add https://github.com/WSJ40/hara-mutiagent --skill hara-stage4
Please help me install this Agent Skill. Skill: hara-stage4 Source: https://github.com/WSJ40/hara-mutiagent/tree/main/skills/hara-stage4 Command: npx skills add https://github.com/WSJ40/hara-mutiagent --skill hara-stage4
Stage 4 SG_Sum 汇总把已通过 Stage 3 校验的 HARA 结果整理成可交付的 stage4 输出，同时严格保证仅由模型填写“操作模式”，其余字段全部由工具派生并可校验回溯。
generate_stage4_sg.py 生成的草稿中读取 SG_Sum 行与证据，仅让模型填写“操作模式”字段。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.
High-intent search queries and answers about installing and using this skill.
To generate Stage 4 SG_Sum summaries, run generate_stage4_sg to create a draft, fill only the operation mode field based on Comments evidence, then validate the output with check_stage_json for stage4 compliance.
Deterministic tool derivation is required for SG_No, safety goals, ASIL Level, safe state, FTTI(ms), and Comments. The model is restricted to filling only the operation mode field to ensure review-grade checking.
When aggregating safety goals within the same MF, the process takes the highest ASIL level and the minimum FTTI(ms) value. The source MF is traced through the Comments field for review-grade checking.
Stage 4 SG_Sum validation fails when MF_ID is present because the output format strictly excludes MF_ID. Validation also enforces that operation_mode contains a non-placeholder value.
No, manual edits to ASIL Level or FTTI values are not allowed. These fields are strictly derived by the tool from Stage 3 validated HARA results to maintain deterministic traceability.
The JSON output file naming convention for Stage 4 SG_Sum results is output/<RUN_ID>_stage4_sg_sum.json, ensuring review-grade checking for each specific run.
WSJ40Orchestrate Stage0–Stage4 HARA workflows with isolated sub-agents and validation gates.
want2betAdds states and transitions to Bob The Skull's finite state machine with entry/exit actions, timeouts, and events.
Andy-HNUTest web applications systematically and fix bugs with atomic commits.
WSJ40Generate Stage 3B SEC rating outputs by merging S/E/C/FTTI batch files into a contract-compliant sec.json.