O echo
serve para imprimir valores escaleres(int, string float etc) exceto arrays e objetos.
Imprima cada uma das chaves doVocê pode pegar o array para conseguire transforma em uma string json com o resultado desejado:php e pelo javascript converter para um objeto.
<button id="button" type="button" data-toggle="modal" data-target="#detalhes"
data-id="<?=$linha['id_processo']?>" data-detalhes="<?=$details['dt_detalhes']=json_encode($detalhes);?>">
No javascript:
var data = document.getElementById('button');
var json = JSON.parse(data.getAttribute('data-detalhes'));
console.log(json);