Target-owned formal diagnostic; present exactly when ComputationResult.outcome is ComputationOutcome.ERRORED.