{"equal":true,"fault_matrix_entries":12,"normalized_sha256":"dafe3bb4fbbfa21b8b3dcb585a65d42fdabf5f2ca39a70d52f9c4ff7d86fa145","processes":22,"semantic_normalization":"omits per-run PIDs, clock values, random row/digest identifiers"}