check

Compare original and translation side by side

🇺🇸

Original

English

🇨🇳

Translation

Chinese

check — drift report

check — 漂移报告

Pure diagnostic. Reports violations. Writes nothing. User decides remedy.

纯诊断工具。仅报告违规情况，不执行任何写入操作，由用户决定补救方案。

LOAD

Read
```
SPEC.md
```
. If missing → "no spec, nothing to check." Stop.
Parse invocation args:
- ```
§V
```
  → check invariants only (default)
- ```
§I
```
  → check interfaces
- ```
§T
```
  → audit task status vs code
- ```
--all
```
  → all three

读取
```
SPEC.md
```
文件。若文件缺失，则返回"no spec, nothing to check."并终止操作。
解析调用参数：
- ```
§V
```
  → 仅检查不变量（默认选项）
- ```
§I
```
  → 检查接口
- ```
§T
```
  → 审核任务状态与代码的匹配情况
- ```
--all
```
  → 同时检查以上三项

CHECK §V — invariants

CHECK §V — 不变量

For each V<n>:

Translate invariant into verifiable claim about code.
Grep / read relevant files.
Classify: HOLD / VIOLATE / UNVERIFIABLE.
Record address + file:line evidence.

针对每个V<n>：

将不变量转换为可验证的代码断言。
检索/读取相关文件。
分类：HOLD（符合）/ VIOLATE（违反）/ UNVERIFIABLE（无法验证）。
记录地址及文件:行号作为证据。

CHECK §I — interfaces

CHECK §I — 接口

For each I item:

Locate implementation.
Classify:
- MATCH — shape in code = shape in spec.
- DRIFT — impl exists, shape differs.
- MISSING — impl absent.
- EXTRA — code exposes surface not in §I.

针对每个I项：

定位实现代码。
分类：
- MATCH — 代码中的结构与规范中的结构一致。
- DRIFT — 实现存在，但结构与规范不符。
- MISSING — 无对应实现。
- EXTRA — 代码暴露了§I中未定义的接口。

CHECK §T — tasks

CHECK §T — 任务

For each T<n>:

If
```
x
```
: verify claimed work present.
If
```
~
```
: note as in-progress.
If
```
.
```
: note as pending.
Flag
```
x
```
rows with no evidence as STALE.

针对每个T<n>：

若标记为
```
x
```
：验证声称已完成的工作是否存在。
若标记为
```
~
```
：记录为进行中。
若标记为
```
.
```
：记录为待处理。
标记无证据的
```
x
```
行项目为STALE（过时）。

REPORT

Caveman. Grouped by severity.

undefined

简洁输出，按严重程度分组。

undefined

§V drift

V2 VIOLATE: auth/mw.go:47 uses

not

≤

. see §B.1. V5 UNVERIFIABLE: no test covers ∀ req path.

V2 VIOLATE: auth/mw.go:47 uses

not

≤

. see §B.1. V5 UNVERIFIABLE: no test covers ∀ req path.

§I drift

I.api DRIFT: POST /x returns

{result}

not

{id}

. route.go:112. I.cmd MISSING:

foo bar

absent from cli/*.go.

I.api DRIFT: POST /x returns

{result}

not

{id}

. route.go:112. I.cmd MISSING:

foo bar

absent from cli/*.go.

§T drift

T3 STALE: status

, no middleware file exists.

T3 STALE: status

, no middleware file exists.

summary

2 violate. 1 missing. 1 stale. 1 unverifiable. next: spec skill with

bug:

or fix code at cited lines.

undefined

2 violate. 1 missing. 1 stale. 1 unverifiable. next: spec skill with

bug:

or fix code at cited lines.

undefined

REMEDY HINTS (not actions)

补救提示（非操作）

End report with one-line hint per class:

VIOLATE / DRIFT → invoke spec skill
```
bug: <V.n>
```
or fix code.
MISSING → invoke build skill on
```
§T.n
```
if task exists; else spec skill
```
amend §T
```
.
STALE → spec skill
```
amend §T
```
to uncheck.
EXTRA → spec skill
```
amend §I
```
to document, or delete code.

Never invoke fixes. Report only.

报告末尾针对每个类别给出一行提示：

VIOLATE / DRIFT → 调用规范Skill
```
bug: <V.n>
```
或修复代码。
MISSING → 若对应任务存在，调用构建Skill处理
```
§T.n
```
；否则调用规范Skill
```
amend §T
```
。
STALE → 调用规范Skill
```
amend §T
```
取消勾选。
EXTRA → 调用规范Skill
```
amend §I
```
进行文档记录，或删除冗余代码。

绝不自动执行修复操作，仅生成报告。

NON-GOALS

非目标

Zero writes. No SPEC.md edits. No code edits.
No sub-agents. Main thread reads.
No scores, no grades. Binary per item: holds or drifts.

零写入操作：不修改SPEC.md，不修改代码。
不使用子Agent：仅主线程读取操作。
不打分、不评级：每个项目仅区分符合或漂移两种状态。