From a5e72d5d48fff399e1c0f46f9aee7c265536424c Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Tue, 13 Oct 2026 14:07:01 +0000
Subject: [PATCH] chore: sync public mirror from internal

---
 .repository-projection.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.repository-projection.json b/.repository-projection.json
index 9280dd2ec..147192880 100644
--- a/.repository-projection.json
+++ b/.repository-projection.json
@@ -3,9 +3,9 @@
   "projection": "deixic-code",
   "projectionSchemaVersion": 1,
   "sourceRepository": "dx-corp/mono",
-  "sourceSha": "eba84670e792ff62939cd6c959f3b4b98b4b8557",
+  "sourceSha": "bf25756990c69b8ddca86a2dfb5890daa896ad1c",
   "destinationRepository": "dx-corp/code",
-  "priorProjectedBase": "d07284ba5a46e14249fcfa67d2f7bcc2bb53efd6",
+  "priorProjectedBase": "a496ae3d3f19be7aed5288ec3dee835280b7ce64",
   "definitionDigest": "cb9d429542ebb0a2de9b42a7aad60d9d8696a648ceba47c30f05c0b285ca0db7",
   "toolDigest": "f6d8b2a0b6f867d1db845a086635357eed196054b6a47f0695e49fdde616d6e6",
   "contentDigest": "d5628a838125f65651c1706d4f211565804d589ebf3402c1b80a450b79f02adc",