Server-side prover merge
Problem: The backend sends prover status and test results as separate ServiceStatus entries. The frontend has a complex 60-line mergeProverStatusAndTests() to recombine them.
Solution: Merge on the server before serialization.
Server-side prover merge
Problem: The backend sends prover status and test results as separate
ServiceStatusentries. The frontend has a complex 60-linemergeProverStatusAndTests()to recombine them.Solution: Merge on the server before serialization.