From 74a8a5060a74e5c7ea292802d49525fd1931eb84 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Mon, 5 Oct 2026 05:43:02 +0000
Subject: [PATCH] chore: sync public mirror from internal

---
 .repository-projection.json  | 6 +++---
 vendor/dex-loop/src/event.rs | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.repository-projection.json b/.repository-projection.json
index 514fc6037..531416c18 100644
--- a/.repository-projection.json
+++ b/.repository-projection.json
@@ -3,11 +3,11 @@
   "projection": "deixic-code",
   "projectionSchemaVersion": 1,
   "sourceRepository": "dx-corp/mono",
-  "sourceSha": "8c755f61c393b81b2634a91484c42b9e355fc7ad",
+  "sourceSha": "9c83e14d4c0144c2b6d5830d63b06b925937fa5f",
   "destinationRepository": "dx-corp/code",
-  "priorProjectedBase": "164121d541239fe5b10aa9405aaae4d59e66de86",
+  "priorProjectedBase": "3718b097b301f748fe93e4bdcd2228617ae00e09",
   "definitionDigest": "cb9d429542ebb0a2de9b42a7aad60d9d8696a648ceba47c30f05c0b285ca0db7",
   "toolDigest": "f8cb071b0f27267120ccf45a00d0982f45113bd23535bef6a1555b4933f99f13",
-  "contentDigest": "bab5c84b4214e8d13e4aea20f68976fb348d5285338d6ed56b8049cafe63739a",
+  "contentDigest": "5a6e6c32494ea9e417f86956469d637a6b26c80d514398ff85d733f70e6f0448",
   "publicationEligible": true
 }
diff --git a/vendor/dex-loop/src/event.rs b/vendor/dex-loop/src/event.rs
index 9cd2069f3..a8dc5ab37 100644
--- a/vendor/dex-loop/src/event.rs
+++ b/vendor/dex-loop/src/event.rs
@@ -535,7 +535,7 @@ impl InteractionMode {
     pub fn is_unspecified(&self) -> bool {
         *self == Self::Unspecified
     }
-    pub fn tools_allowed(self) -> bool {
+    pub(crate) fn tools_allowed(self) -> bool {
         self != Self::Discuss
     }
 }