Skip to content

fix: 豁免数组回归修复 + §12 (a) 泛化（ADR-0058、ADR-0034） #178

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
randypanding merged 1 commit into from
Aug 21, 2026
Merged

fix: 豁免数组回归修复 + §12 (a) 泛化（ADR-0058、ADR-0034） #178

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 9 additions & 1 deletion governance/drift-check.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -466,11 +466,14 @@ REQ_CHECKS=$(jq -rs '[.[].rules[]? | select(.type == "required_status_checks")
epoch_of() { date -u -d "$1" +%s; } # ISO8601 → epoch（runner GNU date）
for r in $REPOS; do
jq -e --arg r "$r" '($r as $x | . | index($x)) != null' <<<"$EXCLUDES" >/dev/null && continue
HAS_PR_ACTIVITY=1 # 有（已合并/打开的）PR head 可采样=强证据形态
PRS_RECENT=$(api "https://api.github.com/repos/$ORG/$r/pulls?state=all&sort=updated&direction=desc&per_page=20")
if jq -e 'type == "array"' <<<"$PRS_RECENT" >/dev/null 2>&1; then
HEADS=$(jq -r '[.[] | select(.state == "open" or .merged_at != null) | .head.sha][0:3] | .[]' <<<"$PRS_RECENT")
if [[ -z "$HEADS" ]]; then
# 无（已合并/打开的）PR 活动 → 退化为默认分支 HEAD
# 无（已合并/打开的）PR 活动 → 退化为默认分支 HEAD（§12 采样处于最弱证据
# 形态：degenerate 模式标记——缺失判定走 IR-0002 (a) 待接入分支）
HAS_PR_ACTIVITY=0
DBR=$(api "https://api.github.com/repos/$ORG/$r" | jq -r '.default_branch // "main"')
HEADS=$(api "https://api.github.com/repos/$ORG/$r/git/ref/heads/$DBR" | jq -r '.object.sha // empty')
[[ -n "$HEADS" ]] || { drift "repo '$r' 无 PR 活动且默认分支 HEAD 不可读，活体验证无载体（fail-closed）"; continue; }
Expand Down Expand Up @@ -530,6 +533,11 @@ for r in $REPOS; do
# IR-0002 (a) 形态：org-gate ruleset 生效后该仓无 PR 活动——从未接入，
# 非裸奔（待接入清单；本地 gate 的活体验证不受影响，照常执行）
echo "OK required-check-live '$r'：'$ctx' 待接入（ruleset 生效后无 PR 活动——IR-0002 (a) 形态）"
elif [[ "${HAS_PR_ACTIVITY:-1}" -eq 0 ]]; then
# IR-0002 (a) 泛化：无 PR 仓的 degenerate 采样下任意 required check 缺失=
# 从未接线（如新建 L1 记忆层仓无本地 gate workflow）——PR 面仍受 org
# ruleset 的 org-gate 保护；接线后自然转绿。有 PR 的仓不适用（保 (b) 检出）
echo "OK required-check-live '$r'：'$ctx' 待接入（无 PR 活动，degenerate 采样——IR-0002 (a) 形态）"
else
drift "repo '$r' required check '$ctx' 活体缺失：最近 $N_CONCL 个已完结 CI 的 head 均无该 check run——job 改名或 workflow 重构？裸奔窗口已开启（ADR-0034 §12；IR-0002 (b) 形态）"
LIVE_MISS=1
Expand Down
4 changes: 3 additions & 1 deletion governance/expected-state.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -122,7 +122,9 @@
"416f5f57fd459f6ece3587f3aa20b772148ad335"
],
"Shorts_Director": [
"f63baf264291670aa33f4a599779dd5c84678433"
"f63baf264291670aa33f4a599779dd5c84678433",
"d81fea9db47e065fd2bd0e254449862fc4a3c91b6",
"014f38986ee5335fe0d7e3ea260a9a4f2899fa1"
],
"agent-tools": [
"1050459443ce0373cffff7788c668d6f5dec0048"
Expand Down