Verdicts and coverage - Heretic

A verdict reports the result of the browser check. Your application decides how to act on it.

Verdicts

Verdict	Meaning
`contradicted`	Required measurement completed and a conclusive contradiction was found.
`refused`	Required measurement did not complete.
`uncontradicted`	Measurement completed and no contradiction rule fired.

One absolute or composite contradiction is enough. A required-measurement refusal takes precedence. An uncontradicted result may still contain conditional or weak findings; coverage shows which checks had usable input.

Finding tiers

Tier	Effect
`absolute`	Sets `contradicted`, except required-measurement refusal findings, which set `refused`.
`composite`	Sets `contradicted`.
`conditional`	Reported. No effect on the verdict.
`weak`	Reported. No effect on the verdict.

Coverage

Each family reports a status and a coverage state.

Family status	Meaning
`contradicted`	A verdict-bearing finding fired.
`consistent`	Rules ran and no conclusive contradiction was found.
`not-assessed`	No rule could run on the available input.

Coverage state	Meaning
`measured`	A rule had usable input.
`unavailable`	Input was missing. Required input produces `refused`; optional input is a coverage fact.
`not-yet-ruled`	Input arrived but no current rule applies to it.