dym-arex-skill-tich-hop-ci

Skill: dym-arex-skill-tich-hop-ci — Ghim & gác thư viện skill trong CI của dự án bạn

Vì sao dùng: Kết quả nghiên cứu chỉ tái lập được nếu cùng một bộ skill. Thư viện đổi âm thầm là kết quả cũ không giải thích được nữa. Sinh ra cái gì: Một job CI fail khi commit thư viện lệch khỏi giá trị đã ghim, hoặc khi bản cài local bị drift.

⚠️ Repo AREX-Skill không có .github/workflows/ nào cả (đã kiểm: không tìm thấy file CI nào). Nên không có pipeline nội bộ nào để copy — file dưới đây là ví dụ viết mới, tối thiểu, cho phía người dùng.

---

1. Nguyên liệu: hai tín hiệu kiểm được

Lệnh	Ý nghĩa
disco repo-skills status	Exit 0 sạch · 1 có drift/issue · 2 sai cú pháp. Chạy hoàn toàn offline, không gọi GitHub
disco repo-skills status | grep '^Commit: '	In Commit: <sha đầy đủ> (<12 ký tự>) — đây là thứ đem đi ghim

status không kiểm HEAD remote. Muốn biết có bản mới thì phải chạy update (có mạng) — nên đừng đặt update trong job gác.

2. Ghim commit thư viện vào repo của bạn

# chạy một lần trên máy, sau khi `disco repo-skills install`
disco repo-skills status | sed -n 's/^Commit: \([0-9a-f]*\).*/\1/p' > .arex-skill-commit
git add .arex-skill-commit && git commit -m "chore: ghim commit thư viện AREX-Skill"

3. Script gác (tự chạy được cả ở local lẫn CI)

#!/usr/bin/env bash
# scripts/check-arex-skill.sh
set -euo pipefail

PINNED_FILE=".arex-skill-commit"

if ! command -v disco >/dev/null 2>&1; then
  echo "::error::disco chưa được cài" >&2
  exit 1
fi

# Cổng 1 — drift/toàn vẹn cục bộ. Exit 1 = có issue, exit 2 = sai cú pháp.
if ! status_out="$(disco repo-skills status)"; then
  rc=$?
  echo "$status_out"
  case "$rc" in
    1) echo "::error::thư viện repo-skills bị drift hoặc thiếu router" >&2 ;;
    2) echo "::error::lệnh repo-skills sai cú pháp" >&2 ;;
    *) echo "::error::repo-skills status thất bại (rc=$rc)" >&2 ;;
  esac
  exit "$rc"
fi
echo "$status_out"

# Cổng 2 — commit đúng bản đã ghim.
actual="$(printf '%s\n' "$status_out" | sed -n 's/^Commit: \([0-9a-f]*\).*/\1/p')"
pinned="$(tr -d '[:space:]' < "$PINNED_FILE")"

if [ -z "$actual" ]; then
  echo "::error::status không in ra commit — thư viện chưa cài?" >&2
  exit 1
fi

if [ "$actual" != "$pinned" ]; then
  echo "::error::commit thư viện lệch: ghim=$pinned thực tế=$actual" >&2
  echo "Cập nhật có chủ đích: disco repo-skills update && cập nhật lại $PINNED_FILE" >&2
  exit 1
fi

echo "OK: thư viện AREX-Skill khớp commit đã ghim ($pinned)"