Distill a passing run's end-state into deterministic goal postconditions:
one URL postcondition (final normalized URL) + up to MAX_LANDMARK_POSTCONDITIONS visible postconditions for the end-state's
landmark headings (role/name presence). Returns [] when there's nothing to
distill.
Distill a passing run's end-state into deterministic goal postconditions: one URL postcondition (final normalized URL) + up to MAX_LANDMARK_POSTCONDITIONS
visiblepostconditions for the end-state's landmark headings (role/name presence). Returns [] when there's nothing to distill.