The report's overall **Verdict:** line, verbatim (#152) — quoted and
attributed, never computed. Null when the report predates the line.
Why the structured view must withhold itself, or null when it applies. Contracts are forkable, so a report may legitimately follow a grammar this parser does not know; the contracts' own bounce rule turned on the UI is to say so and fall back to the raw markdown, never to guess.
Spec-defined criteria in definition order, then unknown citations.