SuperAPI AI 工具集
合作ENAI 行业资讯收藏
Skill 广场deterministic-checks

deterministic-checks

部署与运维

查看项目

更新于 10-16 10:26

技能介绍

deterministic-checks 是一个以“确定性项目门禁”为核心的技能，适用于在做出非平凡变更或提交之前、以及当构建、测试、Lint 或 CI 命令必须通过时运行。它关注的是可复现、可核验的检查流程，而非具体业务功能。

用途 在仓库发生非平凡改动、发布或状态变更前，运行匹配该项目技术栈的门禁检查，并确认工作区可安全继续。它同时用于核对远端 CI 交付结果是否确实通过所需任务。

主要能力

  1. 受限命令执行：通过 bounded_run.py 运行项目命令，支持 --timeout 指定超时、--cwd 指定所有者根目录、以 -- 分隔命令参数。超时、中断或终端丢失时按 TERM→宽限→KILL 终止整个命令组；未加边界的原始项目命令视为 FAIL。
  2. 工作目录约束：门禁必须在受影响的“所有者包根”下用 --cwd 执行；在仓库根对无关所有者执行视为 FAIL。
  3. GitHub 交付回执：通过 github_delivery.py 传入仓库、run-id、期望仓库、SHA、工作流名称、工作流 ID、工作流路径、事件、分支、run-attempt、check-suite-id，以及可选的可复用工作流、必需 job 与必需 job::step，核验交付的提交是否通过所需任务。
  4. 按技术栈选择门禁：
  • JS/TS：typecheck + 测试 + 每个已配置的格式化/Lint 门禁 + Fallow + 声明的边界契约门禁；若无格式化/Lint 所有者，则采用 Biome 格式化 + Lint。
  • React/Next：JS/TS 行 + React Doctor + 声明的边界契约门禁。
  • Dart（非 Flutter）：包根 dart analyze + dart test + Dart Decimate + 声明的边界契约门禁。
  • Flutter：包根 dart analyze + flutter test + Dart Decimate + 声明的边界契约门禁。
  • Python：清单声明的 python-format + python-lint（Ruff）+ python-tests + python-types。
  • 安全（任意栈）：push/ci 密钥（gitleaks）全树扫描；Python 依赖清单使用 sast（Bandit）+ deps-audit（pip-audit）。
  1. 规则与效率：项目影响分类器为项目自有 SSOT，禁止在全局技能中硬编码仓库布局；门禁效率要求对同一树+同一执行者+同一必需接口只执行一次，复用有效回执/产物，仅在树、环境、机制变化或回执失效时重跑，重复的等价设置/构建/门禁视为 FAIL。
  2. 并行与隔离：独立的共享锁族按清单顺序、最多四个有界并行 worker；独占源码树的族（如 React Doctor）保持串行。
  3. 写入约束：门禁树保持只写；Ruff 族使用 --no-cache、format --check 与不带 --fix 的 lint；pytest 使用 -p no:cacheprovider；密钥扫描使用 --redact、fail-on-findings 且不做基线抑制。
  4. 工具运行时：Dart Decimate、Fallow、React Doctor 运行时使用规范的 npx --yes <tool>@latest；禁止项目本地安装、包装或运行时副本。
  5. 外部工具适配：对外部工具做范围限定、校验与调用，保持上游输出/判定/退出码不变；结构化结果需专用输出文件或仅机器可读的 stdout 并整通道解析，禁止从人类日志推断首个 {/[；ANSI、警告、版本、更新、括号前缀或尾部非空白视为歧义→FAIL。
  6. 证据与信任：门禁信任 = 退出码 + 紧凑回执（路径 + 哈希 + 判定）；禁止把门禁源码或完整证据产物加载进主上下文以重新证明 PASS。门禁身份为有界运行回执行（exe + cwd + 脱敏的 argv 数量/摘要 + 退出码）；聚焦子集、更早的运行、不同的 exe 或 cwd 不能作为另一个失败门禁的证明。
  7. 本地与 CI 工具链分歧（解析出的 exe/运行时版本）在同一门禁上视为 FAIL，直到一致。
  8. 远端 CI PASS 要求交付提交的必要通用/受影响所有者/聚合任务为绿色；已证明不受影响的范围可跳过；必需范围缺失、跳过或取消视为 FAIL；仅工作流级别绿色不足。

使用方式 按资料给出的命令形式使用：

  • 项目命令：python3 "$HOME/.agents/skills/deterministic-checks/scripts/bounded_run.py" --timeout <seconds> --cwd <owner-root> -- <argv>
  • GitHub 交付回执：python3 "$HOME/.agents/skills/deterministic-checks/scripts/github_delivery.py" --repo <owner/repo> --run-id <id> --expected-repository <owner/repo> --sha <sha> --workflow <name> --workflow-id <id> --workflow-path path@ref --event <event> --ref <branch> --run-attempt <n> --check-suite-id <id> [--reusable-workflow '<path>::<sha>[::<ref>]'] --require-job <job> --require-step '<job>::<step>'

适用场景

  • 工作区变更/发布前的“工作区就绪”检查。
  • 首次付费或改变状态的外部/原生尝试或重试前的“重试就绪”检查。
  • 生命周期切片/全门禁证明的切片门禁。
  • 发布前的变更强度（每个功能）的变异回执。
  • 复制粘贴克隆的检查（Python/Dart，基线 + 仅新增）。

限制与禁止

  • 禁止通过 --no-verify、|| true、continue-on-error、静默跳过、降级严重度或刷新基线来制造绿色。
  • 安全族仅限 push≡ci 两阶段 + 全树扫描；禁止 commit 阶段与切片派生。
  • Fallow、React Doctor、Dart Decimate 要求一次完整所有者扫描 + 零发现；禁止仅变更/暂存/基线/新引入模式与继承例外。
  • 扫描器静默剥离未知 flag 时，argv 文本不等于模式证明；React Doctor 扫描需 --help 预检声明清单中每个 flag 并输出全量扫描报告，未声明的 flag 在执行前即 FAIL。
  • 新仓库与既有仓库的所有发现都阻断。
  • 结构化外部分析、禁止/必需规则等细节仅以资料为准。

结果判定

  • PASS：匹配的命令 + 退出码 + 报告；无未解决发现。
  • CONCERNS：缺失门禁 + 确切缺口。
  • FAIL：发现、崩溃、配置错误、跳过范围或未经批准的绕过。

其他事实（如官方收费、价格、具体平台支持范围、更多使用步骤）暂未提供。