JSON encoding helper shared with verify rungs.
String encodeVerdictLine(Map<String, Object?> verdict) => jsonEncode(verdict);