DSH|SolidForge|让 Coding 流程更具确定性(Claude Code 插件移植) #4235
Replies: 2 comments 1 reply
Update (2026-08-24)帖子发布以来的两项进展:
Two developments since the original post:
|
Update (2026-08-24)帖子发布以来的两项进展:
Two developments since the original post:
|
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
项目地址:
项目介绍:
SolidForge 是论文 Specification Gaming as an Orthogonal Failure Axis in Autonomous Coding Loops 参考实现(SolidForge for Claude Code)的 DeepSeek Harness 原生移植——一套让"测试绿了"不等于"你做对了"的双轴收敛纪律:
与 DSH 的集成方式(三层挂载):
npm install --prefix "$DSH_HOME" @maskshell/solidforge+ profile 补丁层一行;五个技能进 host 技能层(/菜单 + 模型目录)、/solidforge:<skill>冒号手势在 pre-step 边界确定性注入技能正文、persona: true追加式纪律段;/solidforge、/arm-tools、/solidforge-status命令 +gates: true结构门禁(edit/write 快速门、run-record 的 rightness 不变量、异源评审工具),随预设自动生效;arm.py供给架构契约配置、L1 宪法、意图蓝图模板。截图(PTC 会话中的冒号手势:
/solidforge:psv say hi→ pre-step 注入 primary-source-verification 正文,模型按 psv 纪律作答):技术说明:DSH 命令语法不吃冒号,冒号手势由插件在
agent/pre-step边界自实现(零 harness 改动);相关语法 RFC 见 讨论 #1101。安装细节与逐缝验证记录:README / USER_GUIDE /test/verification.md。All reactions