OptionalDescriptionProvenance — e.g. the validation criterion this was distilled from.
'url' — the final URL matches UrlPattern.'visible' — Target (role/name) is present in the end-state.'absent' — Target is NOT present (e.g. no error toast).OptionalTargetOptionalUrl
A final, goal-level deterministic assertion distilled from a passing run's judge verdict + end-state. The replay tier scores by executing these — free, deterministic, and more trustworthy than a judge float — so the LLM judge runs only on the LLM tier or when a postcondition is ambiguous/fails.