Module spec 

Spec-Driven Bug Hunting Module (BH-11, BH-14)

Parses specification files to extract claims, maps them to code, and supports bidirectional linking between specs and findings.

Structs

CodeLocation

A location in code.

ParsedSpec

Parsed specification with claims.

SpecClaim

A claim extracted from a specification file.

Enums

ClaimStatus

Status of a spec claim after bug hunting.

Functions

find_implementations

Find code implementing a spec claim by searching for the claim ID in comments.

map_findings_to_claims

Map findings to spec claims based on file paths and content.