From c603784d440e8403544e8d7543bab9a9e06c4e34 Mon Sep 17 00:00:00 2001
From: johndoe6345789 <john.doe6345789@gmail.com>
Date: Sat, 3 Jan 2026 00:18:49 +0000
Subject: [PATCH] fix: correct syntax in DetectConflicts function for package
 conflict resolution

---
 spec/package_system.tla | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spec/package_system.tla b/spec/package_system.tla
index 4a6ceab4d..c52f85c8f 100644
--- a/spec/package_system.tla
+++ b/spec/package_system.tla
@@ -331,8 +331,8 @@ DetectConflicts ==
     packageConflicts' = {[
         packageId |-> pkg,
         sources |-> {s \in PackageSources: 
-            \E entry \in sourceIndex: entry[1] = s /\ entry[2].packageId = pkg},
-        versions |-> {entry[2].version: entry \in sourceIndex | entry[2].packageId = pkg},
+            \E entry \in sourceIndex: entry[1] = s /\ (entry[2]).packageId = pkg},
+        versions |-> {(e[2]).version : e \in sourceIndex, (e[2]).packageId = pkg},
         resolvedTo |-> <<>>
     ]: pkg \in packagesInMultipleSources}
     /\ UNCHANGED <<userLevels, userTenants, sourceConfigs, sourceIndex,