maskshell/solidforge-dsh

README excerpt

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 · 流控制完备性 上下文腐化 / 误差级联 / 目标漂移 双环收敛：确定性内环（逐编辑快速门 + 架构契约门）+ 同源对抗外环 + 状态机断路器 B · 验证源解耦 规格博弈（spec gaming） 判定结论的 oracle 必须与你 不同盲点 ： rightness 字段是 schema 常量（代理不可写，恒为 human confirm required ）+ 异源评审在 出进程的不同模型家族 上运行 一分钟看懂 五句话总结： 绿门只证明过程收敛，不证明结论正确；正确性由人（或真正异源的 oracle）确认；规格博弈的防御靠结构（schema 常量、事件监听、出进程边界），不靠提示词。 快速开始 1. （可选）全局插件面装好后， 任何预设 的会话都能直接敲 /solidforge:psv 等冒号手势或 /parallel-development 平名 token 调用技能； 2. 开一个 solidforge preset 会话获得完整形态（人格 + 缩写映射 + 角色代理引导）； 3. 在你的目标项目里 arm 一次（供给 arch-configs、宪法、蓝图模板、 .env.solidforge.example ）： 3. 对会话说「并行实现 X，TDD」，收敛循环接管——双环、断路器、回滚与运行记录全部自动。 4. （可选）在 cordis 会话里激活三个结构化插件（见 使用指南 §激活插件）。 完整的循序渐进上手： USER GUIDE.md 。 技能联用：典型链路 五个技能不是孤岛——它们组成论文 §6 的 specify→implement 流水线。四组典型组合： …

Category