From c69052ae89e8826a9c662afff4f3b985bba360c8 Mon Sep 17 00:00:00 2001
From: PJ <ipriyanshujain@gmail.com>
Date: Sat, 30 May 2026 16:33:23 +0530
Subject: [PATCH] style(verifier): use maps.Copy for verdict snapshot

---
 internal/verifier/worker.go | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/internal/verifier/worker.go b/internal/verifier/worker.go
index 53555c8..b7d6e1e 100644
--- a/internal/verifier/worker.go
+++ b/internal/verifier/worker.go
@@ -4,6 +4,7 @@ import (
 	"encoding/json"
 	"errors"
 	"fmt"
+	"maps"
 	"math/rand/v2"
 	"sort"
 	"strings"
@@ -317,9 +318,7 @@ func (v *Verifier) EvaluateProperties() map[string]ltl.Verdict {
 	v.newlyViolated = onset
 
 	next := make(map[string]ltl.Verdict, len(verdicts))
-	for name, verdict := range verdicts {
-		next[name] = verdict
-	}
+	maps.Copy(next, verdicts)
 	v.priorVerdicts = next
 
 	return verdicts