Validate Stage 3B SEC ratings, FTTI consistency, and safety goal coverage.
npx skills add https://github.com/WSJ40/hara-mutiagent --skill hara-stage3br
Please help me install this Agent Skill. Skill: hara-stage3br Source: https://github.com/WSJ40/hara-mutiagent/tree/main/skills/hara-stage3br Command: npx skills add https://github.com/WSJ40/hara-mutiagent --skill hara-stage3br
hara-stage3br helps you review Stage 3B SEC semantics, FTTI, and the resulting safety goal/state for each matched output so that only meaningful Stage 3B issues are surfaced without re-evaluating Stage 3A scenario quality.
Run the Stage3B JSON validation and then prepare stage3b-review-batches context to review outputs in batches using the provided checks and prompts.
High-intent search queries and answers about installing and using this skill.
To validate S/E/C ratings and FTTI consistency, review Stage 3B SEC semantics by checking sec_reasoning support and verifying FTTI alignment with hazard development time for each matched scenario-output record.
Reviewing safety goal and safe state coverage ensures the safety_goal addresses the highest credible risk path and the safe_state can achieve it, validating Stage 3B SEC semantics without re-evaluating Stage 3A scenario quality.
Run batch evaluations by processing up to 5 scenario and SEC pairings per batch, merging results into a single review artifact for traceability and per-MF batch worker evaluations.
To correct wrong S/E/C ratings, rerun the relevant Stage 3B dimension batch first, then re-merge and re-validate the outputs using the stage3b gate to satisfy deterministic stage gating requirements.
No, the Stage 3B review process does not re-rate Stage 3A scenario quality; it strictly validates Stage 3B SEC semantics, FTTI consistency, and safety goal coverage for matched outputs.
Satisfy deterministic stage gating requirements by running check_stage_json.py with the --stage stage3b command to validate records and generate the output review JSON file without re-rating Stage 3A.
WSJ40Review Stage3A scenario outputs for realism, independence, and hazard-event logic.
WSJ40Generate Stage 3A operational scenarios and hazard events for a single MF.
WSJ40Generate Stage 3B SEC rating outputs by merging S/E/C/FTTI batch files into a contract-compliant sec.json.
norechangApply EN 50128 safety analysis techniques to C programs.
