SolidForge

让"测试绿了"不再等于"你做对了"。 SolidForge（本仓库）是《Specification Gaming as an Orthogonal Failure Axis in Autonomous Coding Loops》（论文随仓快照；引用请用 PDF 与 CITATION.cff，论文为草稿状态）参考实现的 DeepSeek Harness 原生版：把编码代理的可靠性拆成两条轴，用确定性门 + 对抗评审 + 异源验证把两条轴都关进笼子。

English README · 使用指南 · 论文 · 移植设计 · 概念映射 · 自举评审轨迹

它解决什么问题（30 秒版）

自主编码循环有一个隐蔽的失效类：代理自己写测试、自己判通过。"测试绿了"只是对代理自己构造的代理规格的满足——删掉失败测试、把断言改成和实现一致、try/catch 吞掉触发循环的异常……代码可以全绿，却完全偏离你的意图。更糟的是：同源评审救不了它——评审者和被评审者共享训练数据，也就共享盲点。

SolidForge 的对策是两根轴，缺一不可：

轴	防什么	手段
A · 流控制完备性	上下文腐化 / 误差级联 / 目标漂移	双环收敛：确定性内环（逐编辑快速门 + 架构契约门）+ 同源对抗外环 + 状态机断路器

链路	适用场景	一句话流程
`csr → bc → pd`	有需求/设计文档，要落成可运行代码	文档对抗收敛 → 冻结意图蓝图 → TDD 并行实现收敛
`psv → csr`	文档引用密集、外部来源多（规则 13）	逐声明对源 GO/NO-GO（gate）→ 文档收敛 → 权威 full-M 覆盖记录
`psv + pas`	论文/研究文档自检	两条结果轴并行：引用核查 + 新颖性碰撞检测
`psv → csr → bc → pd`	从带引用的规格起步的完整流水线	见下方全链路对白

提示写法	效果
`psv → csr → psv → bc → pd`	完整流水线：psv gate（外部引用 GO/NO-GO）→ csr 文档收敛 → psv full-M 权威覆盖 → bc 冻结蓝图 → pd 双环实现
`csr → bc → pd`	文档收敛 → 冻结蓝图 → 并行实现
`psv + pas`	对一份文档并行跑两条结果轴（引用核查 + 新颖性碰撞）
`pd` / `bc` / `csr` / `psv` / `pas`	单技能直呼

部件	位置	作用
Agent preset	`preset/agent.cordis.yml` + `preset/preset.yml`	SolidForge 会话的组成（人格 + 标准工具 + 预设内技能挂载）
五个技能	`preset/skills/{parallel-development,blueprint-crafting,cross-source-review,primary-source-verification,prior-art-search}/`	收敛循环、specify 侧、文档收敛（csr，过程轴）、两条结果轴验证（psv/pas，逐声明对源核查）
22 个角色代理	`preset/agents/*.agent.md`	经 `subagent` 工具派发的角色提示语料
确定性基础设施	`preset/skills/*/infra/`	纯 stdlib Python 门禁/状态机/schema + 测试套件
结构化插件	`plugins/*.host.js`	工具事件门禁、rightness 不变量、异源评审工具（激活方式见使用指南）
全局插件面	`packages/solidforge-plugin/`	`@maskshell/solidforge`：host 层技能、`/solidforge:` 冒号手势、`/solidforge` 与 `/arm-tools` 命令（`install-global.sh` 装进 profile 补丁层，任何预设可用）
arm-tools	`preset/commands/arm-tools.md`	项目侧供给（Layer 2）

@maskshell/solidforge

安装

说明文档

SolidForge

它解决什么问题（30 秒版）

一分钟看懂

快速开始

技能联用：典型链路

五个核心概念（循序渐进）

本仓库包含什么

诚实声明

验证