unknowbug/anchorlaw

Anchorlaw — 在 DeepSeek Harness 上进行代码验证

— 唯物主义实践理论第一定律

Anchorlaw 是一个面向 AI 辅助（vibe）编程的代码验证工具链，作为 DeepSeek Harness（DSH）宿主适配进行维护：dsh/ 子树提供 11 个协议技能、4 个模型工具以及 anchorlaw agent 预设——安装一次，每个 DSH 会话即可获得 scan / report / noise-card / AI-context 工具。底层协议（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

按项目安装（Reasonix 风格）：pwsh dsh/scripts/install.ps1 -Project /path/to/project——这 11 个技能仅在该项目的会话中加载。

工具会出现在新会话中（会话组成在创建时即固定）。全局挂载受工具 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 agent 预设

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

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

协议本身位于仓库根目录，且与宿主无关——DSH 工具驱动其 CLI：

| 组件 | 位置 | 状态 |
|-----------|-------|-------|
| 规范 | spec/protocol-v0.21.md | 语言无关的代码验证协议（当前） |
| Python | python/anchorlaw-scanner + python/anchorlaw | 扫描器（已验证）+ 锚点/噪声/CLI（实验性）—— DSH 工具后端 |
| TypeScript | typescript/anchorlaw-scanner | TS/JS 扫描器（开发中） |

组件成熟度

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

诚实声明：标记为实验性、未验证或推测的组件均为工作假设。其价值尚未通过实践得到证明。请使用它们来帮助我们检验这些假设 —— 而不是因为我们声称它们有效。

变更日志

v0.21（2026-09-15）： DSH 宿主适配能力对齐 + 故障关闭预设门禁 —— anchorlaw 代理预设现已跟踪上游标准预设的行表面（command-goal、tool-subagent-codex、tool-subagent-claude-code、tool-ralph、present；三个可选的外部代理/工作流行保持 disabled: true，与上游发布时完全一致 —— 启用需要安装匹配的 Bundle）。一个不再能解析的 composition name: 会导致整个预设无法挂载（无法创建/恢复会话），因此预设行的可解析性现已成为一项故障关闭自检项（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）：被推翻的 candidate+ 结论以取代记录的形式表达（双向链接 + 原因；原文永不重写），从机制上回答“当前有效结论是什么 + 其历史”；② 验证可比性声明（§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 中移除（独立的需求协议）；四阶段 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 宿主适配（维护中）
│   ├── skills/                    # 11 个 anchor- 技能（单一事实来源）
│   ├── plugins/                   # anchorlaw-tools.js — 4 个模型工具
│   ├── preset/                    # anchorlaw 代理预设（Judge 驱动流水线）
│   ├── scripts/                   # install.ps1 / selfcheck.ps1
│   └── AGENTS.md                  # DSH 维护入口
├── spec/
│   └── protocol-v0.21.md          # 语言中立协议（当前）
├── python/                        # 协议实现（DSH 工具后端）
│   ├── anchorlaw-scanner/         # 独立扫描器（Level 1，已验证）
│   └── anchorlaw/                 # Anchors / noise / CLI（Level 2-4，实验性）
├── typescript/
│   └── anchorlaw-scanner/         # TS/JS 扫描器（Level 1，开发中）
└── archive/
└── reasonix/                  # Reasonix 宿主格式归档（不维护；fork 并恢复）

贡献
这个项目正在积极寻求实践数据，而非拉取请求辩论。

当前最有价值的贡献：
1. 运行扫描器（DSH 中的 anchorlaw_scan，或从 CLI 运行 anchorlaw-scanner check）在你的代码库上。报告误报。
2. 在真实项目中使用锚点 2 周以上。告诉我们它们是有帮助还是有损害。
3. 积累噪声卡片。我们需要拥有 30 张以上卡片的项目来测试 AI 上下文注入。

在 [GitHub Discussions]() 上发起讨论，或提交一个包含你发现的问题。

参考资料

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

“这个项目不承诺永恒真理。它承诺的是一套在当前历史条件下锻造的工具，并愿意被更好的工具所取代。它的最高承诺是让其使用者能够质疑、改进并最终超越它。”

—— 第一定律，反身性应用