Structural verifier: target/cover/duplicate/decision-ref checks.
Emits spec/unknown_reference, spec/duplicate_id, spec/invalid_id,
spec/missing_field, and spec/requirement_unverified. There is no
command building, execution, timeout, forensics, or strength ladder.
Summary
Functions
Returns structural findings for index.
Functions
@spec verify(map()) :: [Ancora.Finding.t()]
Returns structural findings for index.
index is the map produced by Ancora.Index.build/2 (or a test
double of that shape). Command machinery is not consulted.