static-bug-validation

To link static bug analysis to dynamic verification, this Skill automates identifying <LINK-BUG-[BG-TBD]> placeholders and applying final BG tags. It enforces correct FG/FC/CK/BG mappings and validates existence in bug_analysis.md to preserve the static_bug_analysis.md structure.

Tracking static and dynamic bugs with consistent mappings requires validating FG/FC/CK/BG relationships before applying links. This Skill automates this by checking that static bugs exist in summary and detail records, ensuring stable one-to-one or one-to-many tracking relationships.

To record new dynamic bugs without existing results, this Skill guides the documentation process during the linking workflow. It handles steps from identifying placeholders to recording new dynamic bugs and applying final links back to the static analysis file.

To backfill a static bug placeholder, call the script with the -SBG parameter set to BG-STATIC-xxx-XXX and -LBG set to the target BG tag or BG-NA. The script completes the update and outputs the resulting file path.

No external dependencies are required to run this bug validation script. It operates independently to enforce correct FG/FC/CK/BG mappings, validate existence in bug_analysis.md, and preserve the static_bug_analysis.md structure.

Static bug linking fails because this Skill enforces multiple validations before backfilling, including verifying that the link target already exists in bug_analysis.md. This ensures the static_bug_analysis.md structure remains preserved without broken references.