From 50e312b2f6b2c960a1a1454ac88f3b8fecbcd337 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Thu, 24 Sep 2026 01:00:05 +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 c9a4d73b6..a3438d5c8 100644
--- a/.repository-projection.json
+++ b/.repository-projection.json
@@ -3,9 +3,9 @@
   "projection": "deixic-code",
   "projectionSchemaVersion": 1,
   "sourceRepository": "dx-corp/mono",
-  "sourceSha": "7d31f9cd4837e0231ba443b72f2c9fd1f8a33c12",
+  "sourceSha": "4f5ed944b73ff7f07d53b8cf233887880eb9cb15",
   "destinationRepository": "dx-corp/code",
-  "priorProjectedBase": "c1de266ddbc095bd757a87902b5a7bd28ec798d0",
+  "priorProjectedBase": "bf34e49a2ed13da1267c51afc2371a2c9cbcc08e",
   "definitionDigest": "82936441c776e3e8edb5d215a75007ec9714a233f489d460075d79d5ef5ba32f",
   "toolDigest": "45502ff0478e541d02f34cc39ac332935f8d3c0030fa221afe5bcc3b5e51f88e",
   "contentDigest": "6c3f370734db7c7085452f753e867f7291e1a13d8867ee25eedd7b47cb163c52",