Validate Stage 1 single-function failure semantics for a given Function_ID.
npx skills add https://github.com/WSJ40/hara-mutiagent --skill hara-stage1r
Please help me install this Agent Skill. Skill: hara-stage1r Source: https://github.com/WSJ40/hara-mutiagent/tree/main/skills/hara-stage1r Command: npx skills add https://github.com/WSJ40/hara-mutiagent --skill hara-stage1r
Stage1R ensures Stage 1 single-function failure semantics are correct and safe-boundary consistent by re-reviewing applicability, nan logic, missing safety-related failure types, and description edge cases per Function_ID.
Use the hara-stage1r skill to re-check output stage1 single-function JSON semantics for a specific Function_ID using the Stage1 context and mapping files, then write a Function_ID review JSON for human inspection.
High-intent search queries and answers about installing and using this skill.
To validate failure semantics for a function ID, re-check stage1 single-function JSON outputs by verifying applicability, nan logic, and boundary correctness against stage0 mapping and stage1 context.
Nan validation in failure semantics review means re-checking whether a nan designation is justified with real evidence rather than uncertainty, ensuring safety boundaries are correctly applied per function ID.
You re-review applicability by confirming each failure entry matches the current function's timing, size, and direction boundaries, then verify applicable but no safety risk entries remain for stage2 filtering.
No, stage1 semantic review does not act as a stage2 structured input. It produces per-function review artifacts for human audit that are later merged into a total review.
You run a failure semantics review after stage1_slice passes, when you need to independently validate deterministic preconditions and ensure missing safety-related failure types are caught before merging.
Yes, per-function review artifacts can be merged into a total review using the merge tool, providing comprehensive traceability for human inspection without feeding into stage2 structured inputs.
WSJ40Orchestrate Stage0–Stage4 HARA workflows with isolated sub-agents and validation gates.
WSJ40Validate vehicle-level hazard mappings and reasoning for each Function_ID.
WSJ40Convert Stage 1 safety faults into vehicle-level hazard JSON entries per Function_ID.
ginmp8Compress skill instructions to reduce token cost while preserving semantics.
