agent-exec transport a843e40dbd0a9999047fd1c2d49d9ebd/e65c5571b4d1

scripts/check-pins.sh

@@ -1,6 +1,7 @@
 #!/usr/bin/env bash
 # 组合指针一致：容器仓在 Dev 钉住的提交上，deps/ 里的每个 gitlink
-# 必须等于 Dev 顶层对应指针。development-guidelines 只告警。
+# 必须等于 Dev 顶层对应指针。development-guidelines / development-manager
+# 是治理规范与工具，版本由各项目固定采纳自行决定，不是运行时依赖，只告警。
 set -euo pipefail
 root=$(cd "$(dirname "$0")/.." && pwd)
 cd "$root"
@@ -48,10 +49,10 @@ for container in "${containers[@]}"; do
   while read -r mode _typ sha name; do
     [ "$mode" = "160000" ] || continue
     base=${name#deps/}
-    if [ "$base" = "development-guidelines" ]; then
-      dev=$(pin_of deps/development-guidelines)
+    if [ "$base" = "development-guidelines" ] || [ "$base" = "development-manager" ]; then
+      dev=$(pin_of "deps/$base")
       if [ "$sha" != "$dev" ]; then
-        echo "warn: $container deps/development-guidelines is ${sha:0:12}, Dev is ${dev:0:12}" >&2
+        echo "warn: $container deps/$base is ${sha:0:12}, Dev is ${dev:0:12}" >&2
       fi
       continue
     fi