From eb4d5e25226cef2acf0e91f6c279cad47e73df27 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Sat, 3 Oct 2026 15:27:50 +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 a4d276714..d0cb113c9 100644
--- a/.repository-projection.json
+++ b/.repository-projection.json
@@ -3,9 +3,9 @@
   "projection": "deixic-code",
   "projectionSchemaVersion": 1,
   "sourceRepository": "dx-corp/mono",
-  "sourceSha": "be83027d2b5902447ca1ba418d2b4f85df867bbc",
+  "sourceSha": "aa976f3d57658df7f0804227bb70e99e317ab2c1",
   "destinationRepository": "dx-corp/code",
-  "priorProjectedBase": "d5e2b3dd85095b0190afc25bb7492414ad27a29b",
+  "priorProjectedBase": "d2b2b4dbd91eb9443b760e8f0480a4413ff81b46",
   "definitionDigest": "cb9d429542ebb0a2de9b42a7aad60d9d8696a648ceba47c30f05c0b285ca0db7",
   "toolDigest": "f8cb071b0f27267120ccf45a00d0982f45113bd23535bef6a1555b4933f99f13",
   "contentDigest": "4676d676f45ea745c21a6ebb2d20aedcf3d83bcf978ca61d2f303c5ca4a09c82",