锚点验证 unknowbug/anchorlaw

Anchorlaw — 在 DeepSeek Harness 上做代码验证

「任何主张都必须有可验证的实践锚点。」

—— 唯物实践论第一定律

Anchorlaw 是一套代码验证工具链，服务于 AI 辅助（vibe）编程，以 DeepSeek Harness（DSH）宿主适配的形式维护：dsh/ 子树提供 11 个协议技能、4 个模型工具和 anchorlaw 智能体预设——安装一次，之后每个 DSH 会话都能用上扫描 / 报告 / 噪声卡片 / AI 上下文工具。底层协议（spec/、python/、typescript/）与语言无关，驱动这些 DSH 工具。Reasonix 宿主格式已归档，不再维护——见 Reasonix 版本归档。

快速开始（DSH）

1. install once (host-level default): preset + user skills + global tool mount
pwsh dsh/scripts/install.ps1
2. six-item self-check: toolchain / skill manifest / self-scan / installed artifacts / tool schemas / preset rows
pwsh dsh/scripts/selfcheck.ps1
3. open a NEW DSH session → 4 anchorlaw_* tools + 11 anchor-* skills in every session

项目级技能不需要安装器：把它们放到 <projectRoot>/.dsh/skills/（DSH 原生项目根目录，rank 100），任何预设都能发现。DSH 没有项目级插件 / 预设机制，所以 anchorlaw 预设和这 4 个工具只能装在宿主级。

工具只在新会话里出现（会话组成在创建时就固定了）。全局挂载受工具 schema 检查把关（2026-08-13 事故防护）——schema 格式不对，永远装不进去。

你能得到什么（DSH）

4 个模型工具——全局，每个会话可用

| 工具 | 作用 |
| anchorlaw_scan | 一级防御模式扫描器（P1-P6；lang cpp/go/java → 注解提取） |
| anchorlaw_report | 健康报告（扫描结果 + 噪声积压 + 结论） |
| anchorlaw_ai_context | 导出噪声卡片 + 课程内容，供 LLM 上下文注入 |
| anchorlaw_status | 工具链版本 + 已发现的 anchor- 技能 |

11 个协议技能（anchor-，DSH 格式）

L0-L4 行动技能 + 执行角色（scout/worker/judge），按场景加载；技能正文放在 dsh/skills/（唯一事实来源，协议 §14 是与宿主无关的规范）。触发索引和工具调用约定见 dsh/AGENTS.md。

anchorlaw 智能体预设

由 judge 驱动的四阶段流水线人格（协议 §15.4）：输入契约 → 实现规范 → 计划 → 并行实现 → 交付。验收标准先行，3 轮硬停，confirmed 只由人授予；scout/worker/judge 通过隔离子代理委派。

协议核心（与语言无关的后端）

协议本身放在仓库根目录，与宿主无关——DSH 工具驱动它的命令行：

| 组件 | 位置 | 状态 |
| Spec | spec/protocol-v0.25.md | 与语言无关的代码验证协议（当前版本） |
| Python | python/anchorlaw-scanner + python/anchorlaw | 扫描器（已验证）+ anchors/noise/CLI（实验性）—— DSH 工具后端 |
| TypeScript | typescript/anchorlaw-scanner | TS/JS 扫描器（开发中） |

组件成熟度

| 组件 | Python | TypeScript | 成熟度 |
| 扫描器 | ✅ anchorlaw-scanner | ✅ anchorlaw-scanner | 已验证 —— 在真实项目上测过 |
| Anchors | ✅ anchorlaw | — | 实验性 —— API 稳定，暂无效果数据 |
| 来源溯源（v0.3/v0.7） | ✅ source 参数 + 探针类型（v0.7） | — | 范围限定 —— 仅在 Python 中实现；1 个项目（CoreSwap）产出了带来源的 anchors |
| 噪声卡片 | ✅ anchorlaw | — | 未验证 —— schema 已定义，尚无累积数据 |
| AI 上下文 | ✅ anchorlaw | — | 推测 —— 格式已定义，未做 A/B 测试 |
| 降级验证（v0.3） | — | — | 推测 —— 模式已定义，除参考宿主外未实际跑过 |

诚实声明：标记为实验性、未验证或推测的组件，都是尚在验证的假设。它们的价值还没有经过实践检验。用它们是为了帮我们检验这些假设 —— 而不是因为我们声称它们有效。

变更日志

v0.25（2026-10-24）： 针对 0.2.1 的 DSH 宿主适配后续改动 —— ① 上游从 @deepseek-ai/dsh-tool-subagent-control 移除了 ./list-agents 子路径导出（它把共享的控制工具统一注册在包的主入口里），于是预设里的 tool-subagent-list-agents 行解析不到任何东西（ERR_PACKAGE_PATH_NOT_EXPORTED）。该行已删除；list_agents 工具仍可通过 tool-subagent-control 行使用，与上游自己的预设一致。失败即关闭的行校验在维护期就抓到了这个问题，而不是等到会话挂载时 —— 这正是它存在的意义。② DSH bundle 现在声明 engines.dsh（^0.2.0）：运行时会优先采用自身的 engines.dsh，而不是 peerDependencies，因此不兼容的 harness 会失败即关闭，而不是带着静默错误的宿主 API 加载 bundle —— 这正是 0.1.7 和 0.2.x 两次事故背后的故障模式。（^0.2.1 作为范围被否决：0.2.1-rc.N 预发布版排序在正式版之前，不会匹配。）协议核心未变 —— 这属于 §16 宿主适配范围。
v0.24（2026-10-17）： 针对 0.2.x 的 DSH 宿主适配后续修复 —— 两处过期的宿主配置，而现有校验门禁都把这两处报成了绿色。① 上游 DSH 0.2.x 删掉了 cwd 提示词变量，而 persona 模板严格在装配时做插值，于是 anchorlaw 预设每次请求都失败，报 unknown prompt variable "{{cwd}}" in section "deployment:persona-prefix"；现在工作目录改由 working-directory:current 运行时上下文传入，并新增一道 fail-closed 门禁（dsh/tests/audit_prompt_variables.mjs，自检第 7 项），要求预设模板里的每个 {{variable}} 都必须由运行中的 harness 注册 —— 预设行门禁看不到这一类问题，因为行能解析、包能挂载，而模板变量早已失效。② 子代理行上的 backgroundMode 键在 @deepseek-ai/dsh-tool-subagent 里已不存在；Schemastery 会忽略未知键，所以它被静默丢弃，从未生效 —— 已移除。协议核心未变 —— 这属于 §16 宿主适配范围。

v0.23（2026-09-23）： DSH 宿主适配载体迁移 —— 上游 DeepSeek Harness 0.1.7 更换了智能体预设载体：预设不再是 $DSH_HOME/.agent-presets/<id>/ 目录，而是由 bundle 补丁携带的 @deepseek-ai/dsh-agent-preset 声明行，旧目录已无人读取（头部记录过此类预设的会话无法再恢复）。因此 DSH 适配层（dsh/）变成一等 bundle 包；其预设的插件行改用裸包子路径寻址（config.plugins[] 里的行不按路径锚定，预设子树的 baseUrl 是配置档目录，不是 bundle）；11 个 anchor-* 技能改为安装到用户全局根，不再内嵌在预设里。项目级（Reasonix 风格）安装模式已撤回 —— DSH 没有项目级插件/预设机制，项目作用域安装能交付技能，却永远交付不了预设 persona 和四个工具；项目作用域技能仍可通过 DSH 自带的 <projectRoot>/.dsh/skills 根使用。预设行门禁现在会遍历 bundle 补丁载体和 config.plugins[]（此前的遍历漏掉了 28 行中的 27 行 —— 这正是自检绿色却恢复失败并存的原因）。协议核心未变 —— 这属于 §16 宿主适配范围。
v0.22（2026-09-15）： 验证的时间性、验收标准的前提条件、等价层级、流程不变量 —— 五条条款，堵上实践已经付过代价的缺口（CoreSwap #156/#160/#161/#162 + M11/M16）：① §9.8 验证的时间性 —— 验证动作的原地副作用必须带可寻址的逆操作，或显式声明不可逆（只登记；禁止自动回滚，因为失败轮次的证据是更有价值的产物）；② 验收标准的前提条件 —— 验收标准声明它依赖的外部事实，前提失效时挂起该标准，但绝不自动改动任何状态；③ §9.7.1 等价层级 —— E1 同载体 / E2 跨载体（只比较双方共同声明的键集合 S）/ E3 交错未知，外加部分等价的诚实条款和一份无效声明清单（单独成轴命名，不复用 §9.1 的能力模式）；④ §15.4 PI-1 —— 已停机的流水线是终态，不得被静默继承（PI-2 登记为未验证，并写明其无环前提）；⑤ §14.7 引用完整性 —— 协议只在可判定层审计自身的活跃引用。每条条款的证据状态登记在 §8/§11 —— 多数按设计就是 scoped：条款存在的意义，是让宿主有一个权威目标去实现、去证伪。

v0.21（2026-09-15）： DSH 宿主适配能力对齐 + 预设门禁 fail-closed —— anchorlaw 智能体预设现在跟随上游标准预设的行表面（command-goal、tool-subagent-codex、tool-subagent-claude-code、tool-ralph、present；三个可选的外部智能体/工作流行保持 disabled: true，与上游出厂状态完全一致 —— 启用需安装对应的 Bundle）。组合里某个 name: 已无法解析时，整个预设挂载失败（会话无法创建/恢复），因此预设行的可解析性现在是 fail-closed 自检项（dsh/tests/audit_preset_rows.mjs，第 6 项），在维护期就抓住上游的重命名/删除，而不是等到恢复会话时才发现；悬而未决的重命名（dsh-workflow-worker-thread → dsh-workflow-ptc）已关闭。协议核心不变 —— 这属于 §16 宿主适配范围。
v0.20（2026-09-01）： 证据与结论的连续性（来自 CoreSwap M11/M14/M16 实践）——新增三条：① 结论取代链（§15.4）：被推翻的候选结论+ 以取代记录表达（双向链接 + 原因；原文永不改写），机械地回答「当前有效结论是什么 + 它的历史」；② 验证可比性声明（§9.7）：量化指标必须声明比较基准（载体 / 覆盖范围 / 与既有指标的可比性）；③ 宿主交接校验（§16.3 检查清单）：交接项区分已验证结论与未验证假设，继承者把方向级结论当作前提使用之前，必须先跑一次低成本的独立验证。证据持久化与压缩流程仍属宿主/框架范围。

v0.19（2026-08-15）： 验证范围澄清——Anchorlaw 是验证协议，不是知识积累协议。噪声卡片的 discovery/curriculum 字段从「知识积累义务」重新定位为验证回溯；§15.2 的产物是验证可复现性的载体（不是「跨会话记忆」）；§14 明确不是知识汇聚处（那是宿主或独立知识机制的职责）。验证内核（@anchor.test / source / 陈旧性 / 健康状态 / §9）不变——正是它让种子污染得以被追溯，而没有被误判成「Rust 没有 bug」。

v0.18（2026-08-13）： DSH 宿主适配——DSH 是第一个实现 §16 宿主集成契约全部接口面的宿主（11 个技能、4 个工具、anchorlaw 预设、宿主级全局工具挂载、项目级安装）。修复（2026-08-15）：anchorlaw noise resolve 接受 noise list 打印的短后缀 id；新增 4 个单元测试。v0.18 同时归档 Reasonix 宿主格式（.reasonix/skills/ → archive/reasonix/）；dsh/skills/ 成为唯一的技能来源。

v0.17（2026-08-12）： §12 挑战结果（Reasonix/Go 审计）——解析错误标记（INFO，永远不算 P1-P6 模式）；注释形式的语言声明降级（仅限注解提取）；定义 P7-P10 可靠性风险模式。

v0.16（2026-08-10）： Go/Java 注册为注释形式语言；Rust 声明按设计不支持。

v0.15（2026-08-10）： C 门禁停止升级——同一判据上 3 次未达标必须停止流水线；Judge 把完整报告交给人类。

v0.14（2026-08-10）： 输入契约分层——契约 = 已确认需求 + 技术约束；架构设计是流水线第 1 阶段的输出；§16.1 交接泛化为协议中立的确认判据。

v0.13（2026-08-10）： §12 挑战结果——建设性限定在输入契约域内（RE 除外）；§16.1 RE 交接判据；§9.4 重试上限 → 证据饱和（3 轮没有新的数据层证据）。
v0.12（2026-08-10）： 恢复 C-gate 机械兜底 —— 同一验收标准上的迭代上限为 3 次，第 4 次迭代机械升级给人类。

v0.11（2026-08-10）： 输入契约边界 —— 需求发现从 Anchorlaw 移除（独立的 requirements 协议）；四阶段 Judge 驱动流水线。

v0.10（2026-08-10）： Judge 驱动编程 —— 验收标准优先（§15.4）；AGENTS.md 改为纯索引。

v0.9（2026-08-08）： Judge 制度化 —— 决策点强制评审门；验证终止门（外部测试集、三层意见、3 轮上限）。

v0.8（2026-08-08）： 收敛门模型 —— 子代理只保留 judge 角色；anchor.write/anchor.test 内联。

v0.7（2026-08-08）： 首个宿主实践反馈（CoreSwap 8576-24blocks）—— 源产物 + probe 类型（§5.5）、重试上限范围、执行器分离、judge 三源基线。

v0.6（2026-08-08）： 智能体执行拓扑（§15）+ 宿主集成契约（§16）。

v0.5（2026-08-08）： 智能体技能清单（§14）—— 参考实现随后发布在 .reasonix/skills/（现已归档）。

v0.3（2026-06-18）： 来源溯源、降级验证模式、Verify 重试上限。见 Protocol Spec v0.3。

Reasonix 版本存档

Reasonix 宿主格式（.reasonix/skills/ —— 11 个 anchor. 技能 —— 以及 Reasonix AGENTS.md）自 v0.18 起不再维护。已归档到 archive/reasonix/ 下。

如果你需要继续迭代 Reasonix 版本：fork 本仓库，然后运行

pwsh archive/reasonix/restore-reasonix.ps1

该脚本会把 .reasonix/skills/ + Reasonix AGENTS.md 恢复到仓库根目录 —— 得到一份完整的 Reasonix 工作副本，供你继续迭代（见 archive/reasonix/RESTORE.md）。上游不再更新它。

项目结构

anchorlaw/
├── dsh/ # DSH host adaptation (MAINTAINED)
│ ├── skills/ # 11 anchor- skills (single source of truth)
│ ├── plugins/ # anchorlaw-tools.js — 4 model tools │ ├── preset/ # anchorlaw agent preset (Judge-driven pipeline) │ ├── scripts/ # install.ps1 / selfcheck.ps1 │ └── AGENTS.md # DSH maintenance entry ├── spec/ │ └── protocol-v0.25.md # Language-neutral protocol (current) ├── python/ # Protocol implementation (DSH tool backend) │ ├── anchorlaw-scanner/ # Standalone scanner (Level 1, VERIFIED) │ └── anchorlaw/ # Anchors / noise / CLI (Level 2-4, EXPERIMENTAL) ├── typescript/ │ └── anchorlaw-scanner/ # TS/JS scanner (Level 1, IN DEVELOPMENT) └── archive/ └── reasonix/ # Reasonix host format archive (unmaintained; fork & restore)

贡献

本项目急需的是实践数据，不是 PR 辩论。

眼下最有价值的贡献：
1. 跑一遍扫描器（DSH 里的 anchorlaw_scan，或命令行里的 anchorlaw-scanner check），在你的代码库上运行。把误报反馈给我们。
2. 在真实项目里用锚点 2 周以上。告诉我们它帮上了忙还是添了乱。
3. 攒噪音卡片。我们需要有 30+ 张卡片的项目，用来测试 AI 上下文注入。

去 [GitHub Discussions]() 发起讨论，或开 issue 说说你的发现。

参考资料

- 协议规范 v0.18
- 降级验证：规范 §9
- 唯物实践论 —— 哲学基础

「本项目不承诺永恒真理。它承诺的是一套工具，在当下的历史条件里锻造出来，随时准备被更好的工具取代。它最高的承诺，是让使用者有能力质疑它、改进它，最终超越它。」

—— 第一定律，反身应用