Show HN: Correctness as spectrum not as binary in distributed system