release: develop → main

.claude/hooks/block-git.py

@@ -1,16 +1,142 @@
 #!/usr/bin/env python3
-"""铁律 #2 机械执行：Bash 命令以 git 开头 → 拒绝执行（exit 2）。"""
+"""铁律 #2 机械执行：命令串中出现 git **调用** → 拒绝执行（exit 2）。
+
+加固（2026-09-16，TODO #2026-09-11-7）：原实现只拦「整条命令以 git 开头」，
+`cd x && git …` / `bash -c 'git …'` / `… | git …` / `$(git …)` 全能绕过。
+
+现覆盖：
+  · 以 git 开头（原行为；含 `/usr/bin/git` 等带路径形态）
+  · 分隔符之后：`;` `&&` `||` `|` `&` `(` `)` 换行
+  · 命令替换 / 子壳：`$(git …)`、反引号、`(git …)`
+  · shell 内联脚本：`bash -c '…'` / `sh -c "…"`（递归扫描，深度 ≤ 3）
+  · 前缀命令之后：sudo / env / nice / nohup / time / exec / command / xargs /
+    timeout / stdbuf / setsid / ionice / cpulimit / watch（含其旗标与数字参数）
+
+**不得误伤（同为零容忍：误伤会让人绕开 hook）**：
+  · `jj git push`（git 不是命令词）
+  · **引号内**的 git 文本：`jj commit -m '… git log …'` · `echo "use git"`
+  · **heredoc 体内**的 git 文本（`<<'PY' … PY`；脚本体是数据不是命令）
+  · `grep -n git` · `find . -name .gitignore` · `cat .gitignore`
+
+实现要点：先剥离 heredoc 体（按行扫，遇 `<<[-]?WORD` 丢弃到终止行），
+再用 `shlex`（`punctuation_chars`，**尊重引号**）分词，按分隔符 token 切段，
+每段跳过前导「环境赋值 / 前缀命令 / shell 名 / 旗标 / 纯数字」后看**首个命令词**。
+
+失败模式：hook 自身异常 **一律放行**（exit 0）—— 宁可漏拦，不可把会话卡死。
+"""
 import json
+import re
+import shlex
 import sys
 
-data = json.load(sys.stdin)
-cmd = data.get("tool_input", {}).get("command", "")
-stripped = cmd.strip()
-
-if stripped == "git" or stripped.startswith("git "):
-    sys.stderr.write(
-        "铁律 #2：全面使用 jj，禁止 git。\n"
-        "改用 jj 命令：jj status / jj log / jj describe / jj git push / jj bookmark ...\n"
-    )
-    sys.exit(2)  # PreToolUse exit 2 = block the tool call
-sys.exit(0)
+PREFIX_CMDS = {
+    "sudo", "doas", "env", "nice", "nohup", "time", "exec", "command", "xargs",
+    "timeout", "stdbuf", "setsid", "ionice", "cpulimit", "parallel", "watch",
+}
+SHELLS = {"bash", "sh", "zsh", "dash", "ksh", "fish"}
+MAX_DEPTH = 3
+PUNCT = "();|&<>`$\n"
+SEP_CHARS = set("();|&`$\n")                      # 切段用；< > 是重定向、不是命令分隔符
+ENV_ASSIGN_RE = re.compile(r"^[A-Za-z_][A-Za-z0-9_]*=")
+HEREDOC_RE = re.compile(r"<<-?\s*(['\"]?)([A-Za-z_][A-Za-z0-9_]*)\1")
+INNER_RE = re.compile(
+    r"""(?:^|[;&|(\s])(?:bash|sh|zsh|dash|ksh|fish)\s+(?:-\S+\s+)*-\S*c\S*\s+"""
+    r"""(?P<q>['"])(?P<script>.*?)(?P=q)""",
+    re.S,
+)
+
+MSG = (
+    "铁律 #2：全面使用 jj，禁止 git（任何位置的 git 调用都会被拦）。\n"
+    "改用 jj：jj status / jj log / jj describe / jj git push / jj bookmark …\n"
+    "（本拦截由 .claude/hooks/block-git.py 执行；测试见 tests/harness/test_block_git.py）\n"
+)
+
+
+def strip_heredocs(cmd: str) -> str:
+    """丢弃 heredoc 体（脚本体是数据，不是被执行的命令）。"""
+    lines = cmd.split("\n")
+    out, i = [], 0
+    while i < len(lines):
+        line = lines[i]
+        out.append(line)
+        m = HEREDOC_RE.search(line)
+        if m:
+            delim = m.group(2)
+            i += 1
+            while i < len(lines) and lines[i].strip() != delim:
+                i += 1                      # 丢弃体
+        i += 1
+    return "\n".join(out)
+
+
+def tokenize(cmd: str):
+    try:
+        lex = shlex.shlex(cmd, posix=True, punctuation_chars=PUNCT)
+        lex.whitespace_split = True
+        lex.whitespace = " \t"                  # 换行留给标点 ⇒ 成为独立分隔 token
+        return list(lex)
+    except ValueError:                      # 引号不配对等 → 退化为空白切分
+        return cmd.split()
+
+
+def split_segments(tokens):
+    segs, cur = [], []
+    for t in (tokens or []):
+        if t and all(c in SEP_CHARS for c in t):
+            if cur:
+                segs.append(cur)
+            cur = []
+        else:
+            cur.append(t)
+    if cur:
+        segs.append(cur)
+    return segs
+
+
+def first_command_word(seg):
+    i, skipped = 0, 0
+    while i < len(seg) and skipped < 6:
+        t = seg[i]
+        if (ENV_ASSIGN_RE.match(t) or t in PREFIX_CMDS or t in SHELLS
+                or t.startswith("-") or t.isdigit()):
+            i, skipped = i + 1, skipped + 1
+            continue
+        break
+    return seg[i] if i < len(seg) else None
+
+
+def is_git_token(tok: str) -> bool:
+    base = tok.rsplit("/", 1)[-1]
+    return base in ("git", "git.exe")
+
+
+def scan(cmd: str, depth: int = 0):
+    """返回首个命中片段（str），未命中返回 None。"""
+    if depth > MAX_DEPTH:
+        return None
+    text = strip_heredocs(cmd)
+    for seg in split_segments(tokenize(text)):
+        w = first_command_word(seg)
+        if w and is_git_token(w):
+            return " ".join(seg[:4])
+    for m in INNER_RE.finditer(text):       # bash -c '…' 内联脚本
+        hit = scan(m.group("script"), depth + 1)
+        if hit:
+            return hit
+    return None
+
+
+def main() -> int:
+    try:
+        data = json.load(sys.stdin)
+        cmd = data.get("tool_input", {}).get("command", "") or ""
+        if scan(cmd):
+            sys.stderr.write(MSG)
+            return 2                        # PreToolUse exit 2 = 拦截本次调用
+    except Exception as exc:                # 自身异常一律放行
+        sys.stderr.write(f"[block-git] hook 内部错误，本次放行：{exc!r}\n")
+    return 0
+
+
+if __name__ == "__main__":
+    sys.exit(main())

.github/CODE_OF_CONDUCT.md

@@ -37,7 +37,7 @@
 
 ## 执行
 
-如遇骚扰或其他不可接受的行为，可通过 **dsls.dzc@gmail.com** 联系项目团队。所有投诉都会被
+如遇骚扰或其他不可接受的行为，可通过 dsls.dzc@gmail.com 联系项目团队。所有投诉都会被
 审查和调查，并得到必要且适当的回应。项目团队有义务对事件举报者保密。
 
 项目维护者不遵守或不信奉行为规范者，可能面临由项目其他领导成员决定的暂时或永久性处分。

.github/CONTRIBUTING.md

@@ -1,27 +1,27 @@
 # 贡献指南
 
-Core 的开发流程参考 Rust/Linux：**main 即 mainline，任何人（含维护者）不得直推**。
-全部改动经 PR + 审查 + 合入门槛进入 main。
+Core 的开发流程参考 Rust/Linux：main 即 mainline，任何人（含维护者）不得直推。
+全部改动经 PR、审查与合入要求进入 main。
 
 ## 流程
 
-1. **fork 仓库**，在 fork 上建 feature 分支（`fix/xxx`、`feat/xxx`、`docs/xxx`）
-2. 提交改动（请用 jj，见下），推送分支
-3. **开 PR——base 指向 `develop` 集成分支**（main 不接受直接合入；main 的合入仅维护者可执行），按 `.github/pull_request_template.md` 填写：
-   - 变更描述、测试记录、语义保鲜影响（IR/类型语义是否变化）
-4. 等待审查（≥1 审批，审批人限维护者）
-5. 审批通过且 PR 层 CI 全绿后，维护者手动 **squash 合入 develop**（merge queue 因免费计划不可用，已降级；见 spec §3.3），源分支由 GitHub 自动删除
+1. fork 仓库，在 fork 上建立 feature 分支（`fix/xxx`、`feat/xxx`、`docs/xxx`）。
+2. 提交改动（使用 jj，见下节），并推送分支。
+3. 开 PR，base 指向 `develop` 集成分支（main 不接受直接合入；main 的合入仅维护者可执行），按 `.github/pull_request_template.md` 填写：
+   - 变更描述、测试记录、语义保留影响（IR/类型语义是否变化）。
+4. 等待审查（≥1 审批，审批人限维护者）。
+5. 审批通过且 PR 层 CI 全部通过后，维护者手动 squash 合入 develop（merge queue 因免费计划不可用，已降级；见 spec 3.3 节），源分支由 GitHub 自动删除。
 
-## 铁律
+## 强制规则
 
-- **全面使用 jj，禁止 `git` 命令**（仓库为 jj colocated 形态；维护者本地 Claude Code hook 会拦截 git）
-- 长时间编译/测试任务限速运行（`cpulimit -l 10` 或 `nice -n 19`）
-- 文件还原必须经维护者明确许可
+- 全面使用 jj，禁止 `git` 命令（仓库为 jj colocated 形态；维护者本地 Claude Code hook 会拦截 git）。
+- 长时间编译或测试任务限速运行（`cpulimit -l 10` 或 `nice -n 19`）。
+- 文件还原必须经维护者明确许可。
 
 ## 构建与测试
 
 ```bash
-python3 build_selfhost_native.py   # 自举构建 → build/corec + build/corearch
+python3 build_selfhost_native.py   # 自举构建，生成 build/corec + build/corearch
 ./build/corec check FILE.cr        # 类型检查
 ./build/corec run 'fn main()->int{return 42;}'   # 解释器执行
 
@@ -30,19 +30,19 @@ python3 tests/selfhost/test_compile.py     # 自举编译器测试
 # tests/suite/*.cr 为集成测试：./build/corec build FILE.cr -o OUT --static && ./OUT
 ```
 
-CI 与本地跑同一套命令（`src/ci/run.sh`，按 `CI_JOB_NAME` 分发）。
+CI 与本地运行同一套命令（`src/ci/run.sh`，按 `CI_JOB_NAME` 分发）。
 
 ## 编码约定
 
-- 全部数组为动态字节缓冲（`string` + grow 函数），无 `MAX_*` 上限
-- 扁平 AST / 扁平 IR（每节点为 `{kind, a, b, c, ...}` 结构）
-- 每个目录的 `_import.cr` 集中管理共享导入
-- 关键字唯一真源：`src/compiler/lexer.cr`
-- 文档（`docs/`）更新与实现同步；伪代码文档（`docs/pseudocode/`）由源码生成，改源码后须重跑 `tools/pseudocode_check.py`
+- 全部数组为动态字节缓冲（`string` + grow 函数），无 `MAX_*` 上限。
+- 扁平 AST / 扁平 IR（每节点为 `{kind, a, b, c, ...}` 结构）。
+- 每个目录的 `_import.cr` 集中管理共享导入。
+- 关键字以 `src/compiler/lexer.cr` 为准（唯一）。
+- 文档（`docs/`）更新与实现同步；伪代码文档（`docs/pseudocode/`）由源码生成，改动源码后须重新运行 `tools/pseudocode_check.py`。
 
 ## 审查标准
 
-- 不绕过问题（root cause 直修）
-- 语义保鲜：IR 全程保留类型/语义信息
-- 惰性/数据流优化不改变程序输出
-- 测试随变更更新
+- 不绕过问题，直接修 root cause。
+- 语义保留：IR 全程保留类型和语义信息。
+- 惰性优化和数据流优化不改变程序输出。
+- 测试随变更更新。

.github/SECURITY.md

@@ -2,7 +2,7 @@
 
 ## 报告漏洞
 
-请通过 GitHub 的 **私有漏洞报告**（仓库页 → Security → Report a vulnerability）提交，
+请通过 GitHub 的私有漏洞报告提交（仓库页的 Security 页面，选择 Report a vulnerability），
 不要公开披露。
 
 ## 响应
@@ -11,5 +11,5 @@
 
 ## 范围
 
-编译器本身（`src/compiler/`）、运行时（`src/runtime/`）、生成代码的正确性。
-生成代码/编译器的安全问题按严重程度处理。
+范围为编译器本身（`src/compiler/`）、运行时（`src/runtime/`）与生成代码的正确性。
+生成代码与编译器的安全问题按严重程度处理。

.github/pull_request_template.md

@@ -1,17 +1,17 @@
 ## 变更描述
 
-<!-- 这个 PR 改了什么、为什么。 -->
+<!-- 本 PR 的变更内容与变更原因。 -->
 
 ## 测试
 
-<!-- 跑了哪些验证（至少一项）：tests/bootstrap、tests/selfhost、tests/suite、自举构建。 -->
+<!-- 已运行的验证（至少一项）：tests/bootstrap、tests/selfhost、tests/suite、自举构建。 -->
 
 - [ ] 本地测试通过
 
-## 语义保鲜影响
+## 语义保留影响
 
-<!-- IR/类型语义是否有变化？对形式验证消费端（.cir/.ccr 消费者）的影响。无则填"无"。 -->
+<!-- IR/类型语义的变更情况，以及对形式验证消费端（`.cir`/`.ccr` 消费者）的影响；无则填“无”。 -->
 
 ## 已知限制 / 后续
 
-<!-- 非必须。 -->
+<!-- 非必需项。 -->

.github/workflows/core-ci.yml

@@ -35,7 +35,10 @@ jobs:
     runs-on: ubuntu-latest
     timeout-minutes: 120
     # PR 快速层：pull_request 事件全矩阵项（3 项）
-    if: github.event_name == 'pull_request'
+    # R2 P7 非构建小批（CI 挂点审计 #6）：原 `if: github.event_name == 'pull_request'`
+    # 使 `workflow_dispatch` 手动派发**两个 job 全被跳过**（= 派发空转）⇒ 本条纳入
+    # workflow_dispatch（手动派发即可跑 PR 层；`||` 右侧为本次改动点）。
+    if: github.event_name == 'pull_request' || github.event_name == 'workflow_dispatch'
     env:
       CI_JOB_NAME: ${{ matrix.name }}
     strategy:
@@ -63,9 +66,13 @@ jobs:
     name: ${{ matrix.name }}
     runs-on: ubuntu-latest
     timeout-minutes: 120
-    # 完整层（suite / full-bootstrap）：仅 merge_group 事件——当前休眠
+    # 完整层（suite / full-bootstrap）：merge_group 事件——当前休眠
     # （免费计划无 merge queue；恢复时在默认分支注册 merge_group 事件）。
-    if: github.event_name == 'merge_group'
+    # R2 P7 非构建小批（CI 挂点审计 #6）：原 `if: github.event_name == 'merge_group'`
+    # 在休眠期使本层**任何事件都不可达** ⇒ 纳入 workflow_dispatch（手动全量派发即可跑
+    # suite / full-bootstrap；`||` 右侧为本次改动点）。若日后需「派发时只跑 PR 层」，
+    # 可改为 `workflow_dispatch` 输入开关（本批不做）。
+    if: github.event_name == 'merge_group' || github.event_name == 'workflow_dispatch'
     env:
       CI_JOB_NAME: ${{ matrix.name }}
     strategy: