sillyspec 3.26.15 → 3.27.1

package/.claude/skills/sillyspec-explore/SKILL.md

@@ -1,6 +1,6 @@
 ---
 name: sillyspec:explore
-description: 用于自由讨论、代码库调研、方案比较、画 ASCII 图、澄清问题。适合用户说"分析下、讨论下、看看怎么设计、先别写代码、调研一下、画个结构图、帮我再分析下"。只读，不修改文件，不实现功能。
+description: 用于自由讨论、代码库调研、方案比较、画 ASCII 图、澄清问题、生成 HTML 原型。适合用户说"分析下、讨论下、看看怎么设计、先别写代码、调研一下、画个结构图、帮我再分析下、画个原型、出个原型图、做个 demo 页"。默认只读不修改文件（仅用户明确要求时保存结论或生成原型），不实现功能。
 ---
 
 ## 交互规范
@@ -33,7 +33,7 @@ sillyspec run explore --status                     # 查看阶段状态
 
 ## 这是什么模式
 
-**探索模式用于思考，不用于实现。** 你可以读文件、搜代码、调查代码库，但绝对不能写代码或实现功能。如果用户要求实现，提醒他们先退出探索模式。
+**探索模式用于思考，不用于实现。** 你可以读文件、搜代码、调查代码库，但默认不写任何文件（用户明确要求保存结论或生成原型时除外），也绝不写实现代码。如果用户要求实现，提醒他们先退出探索模式。
 
 **这不是一个工作流，是一种姿态。** 没有固定步骤、没有必需的输出。你是一个帮助用户思考的伙伴。
 
@@ -66,6 +66,12 @@ sillyspec run explore --status                     # 查看阶段状态
 └─────────────────────────────────┘
 ```
 
+**生成 HTML 原型**（仅用户明确要求时）：讨论 UI/交互方案时，用户说"画个原型、出个原型图、做个 demo 页"才动手，平时最多提议。生成要求与 brainstorm 阶段原型对齐：
+- 单文件 HTML（内联 CSS + JS），浏览器直接打开
+- 高保真呈现讨论中的布局/组件/交互流程，风格对齐项目现有界面（先读 scan 文档与前端代码）
+- 保存到 `.sillyspec/explore/prototype-<名称>.html`（用户指定其他位置则从其指定）
+- 探索原型是讨论工具、不是交付物，也不是实现代码；后续进入 brainstorm 时可复制到变更目录复用
+
 **暴露风险**：识别可能出错的地方、发现理解空白
 
 ## OpenSpec 上下文感知
@@ -90,6 +96,7 @@ cat .sillyspec/ROADMAP.md 2>/dev/null
 
 - ❌ 写实现代码
 - ❌ 安装依赖
-- ❌ 修改任何文件（除非用户明确要求保存发现）
+- ❌ 修改任何文件（除非用户明确要求保存发现或生成原型）
+- ❌ 主动生成原型（必须用户明确要求；最多提议）
 - ❌ 强行下结论
 - ❌ 强行结构化（让模式自然涌现）

package/.claude/skills/sillyspec-verify/SKILL.md

@@ -52,6 +52,8 @@ verify 是只读阶段（**禁止改代码/改 git 状态**，只检查 + 写报
 ## verify-result.md 格式
 
 > 🔧 **机械探针 + 报告骨架一条命令**：`sillyspec verify-probes --change <变更名> --init`——探针 1（TODO 标记）/3（测试覆盖）/5（API 契约对账）/6（删除对账）CLI 跑完并预填进 verify-result.md 骨架（七章节、已存在不覆盖）；探针 2/4（关键词/决策追踪）与断言抽查、集成盲区标注是语义判断，替换骨架里的 `<!--TODO-->` 完成。结论必须写明 PASS/FAIL——留「待填」会被 gate 判不过。
+>
+> 🔧 **test/lint 实测对账**：`--done` 时 CLI 亲自执行 local.yaml 的 `commands.test`（实测失败阻断 verify 完成）与 `commands.lint`（advisory 对账，实测失败会明示）——自报告与实测不符时以实测为准，勿谎报跑过。
 
 ```markdown
 # 验证报告

package/README.md

@@ -109,7 +109,7 @@ SillySpec 进度库使用 SQLite 持久化（基于 Node.js 内置的 `node:sqli
 |---|---|
 | `/sillyspec:status` · `/sillyspec:state` | 查看进度 / 当前工作状态 |
 | `/sillyspec:continue` | 自动判断并执行下一步 |
-| `/sillyspec:explore` | 自由思考：画图、讨论、调研 |
+| `/sillyspec:explore` | 自由思考：画图、讨论、调研、HTML 原型 |
 | `/sillyspec:quick` | 快速模式：跳过完整流程 |
 | `/sillyspec:resume` | 恢复工作（支持大模块阶段进度） |
 | `/sillyspec:doctor` | 项目自检与状态修复 |

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "sillyspec",
-  "version": "3.26.15",
+  "version": "3.27.1",
   "description": "SillySpec CLI — 流程状态机，让 AI 严格按步骤来",
   "icon": "logo.jpg",
   "homepage": "https://sillyspec.ppdmq.top/",

package/packages/dashboard/server/index.js

@@ -468,10 +468,19 @@ function startServer({ port = 3456, open: openBrowser = true } = {}) {
         res.end(JSON.stringify({ error: 'Missing project parameter' }))
         return
       }
-      const docs = parseSillyspecDocsTree(projectPath)
-      res.setHeader('Content-Type', 'application/json')
-      res.writeHead(200)
-      res.end(JSON.stringify(docs))
+      // SEC-06 对齐：detail/content API 均已限"已发现项目内"，此处此前漏校验——
+      // 任意绝对路径可列其 .sillyspec/docs 树与根文档文件名
+      isKnownProjectPath(projectPath).then(known => {
+        if (!known) {
+          res.writeHead(403)
+          res.end(JSON.stringify({ error: 'Unknown project path' }))
+          return
+        }
+        const docs = parseSillyspecDocsTree(projectPath)
+        res.setHeader('Content-Type', 'application/json')
+        res.writeHead(200)
+        res.end(JSON.stringify(docs))
+      })
       return
     }
 
@@ -591,8 +600,15 @@ function startServer({ port = 3456, open: openBrowser = true } = {}) {
             break
           case 'docs:get':
             if (data.data?.projectPath) {
-              const docs = parseSillyspecDocsTree(data.data.projectPath)
-              ws.send(JSON.stringify({ type: 'docs:tree', data: docs }))
+              // SEC-06 对齐：与 /api/docs 同口径，仅已发现项目可列 docs 树
+              isKnownProjectPath(data.data.projectPath).then(known => {
+                if (!known) {
+                  ws.send(JSON.stringify({ type: 'docs:tree', data: { error: 'Unknown project path' } }))
+                  return
+                }
+                const docs = parseSillyspecDocsTree(data.data.projectPath)
+                ws.send(JSON.stringify({ type: 'docs:tree', data: docs }))
+              })
             }
             break
           default:

package/src/change-risk-profile.js

@@ -90,19 +90,29 @@ export const VERIFICATION_NEEDS = {
   },
   real_daemon_backend_integration: {
     desc: '真实 daemon↔backend 集成验证（非仅 mock 单测）。写「真实集成/端到端」的证据；',
-    literals: ['端到端', 'integration test', 'e2e test', 'daemon.*backend', '真实集成', 'runtime evidence', '运行时证据'],
+    // 同义扩充（坑 verify-literal-evidence-mismatch，2026-08-22 实证：证据第一轮就齐但表述
+    // 不含字面词被误拦三轮）——覆盖常见自然表述 + PID 登记句式（verify prompt 要求照写）
+    literals: ['端到端', 'integration test', 'e2e test', 'daemon.*backend', '真实集成',
+      'runtime evidence', '运行时证据', '联调', '打通', '实际请求', '真实请求', '跨进程',
+      'PID 已登记', 'verify-services'],
   },
   runtime_log_evidence: {
     desc: 'Runtime Evidence section + 指向真实日志/证据片段。',
-    literals: ['Runtime Evidence', '运行时证据', 'daemon log', '日志片段'],
+    literals: ['Runtime Evidence', '运行时证据', 'daemon log', '日志片段', '日志关键',
+      '日志:', '日志摘录', '日志', 'log 摘录', 'log 片段', '进程日志', 'PID 已登记', 'verify-services'],
   },
   real_startup_once: {
     desc: '真实启动一次本变更触及的部署/启动入口（服务入口、CLI 主入口、守护进程等——须是本变更实际改动的那一类入口，不能拿无关进程的启动来凑数）。',
-    literals: ['启动.*一次', '实际.*启动', 'real startup', 'docker up', 'npm start', 'node server'],
+    // 同义扩充（同坑）：自然表述 + CLI 回执句式；checkIntegrationEvidence 另拼 CLI 回执文本
+    //（verify-services.receipt.json，服务回收器落盘）——结构化信号不依赖 agent 措辞
+    literals: ['启动.*一次', '实际.*启动', 'real startup', 'docker up', 'npm start', 'node server',
+      '真实启动', '拉起', '已启动', '进程启动', '服务启动', '启动验证',
+      'PID 已登记', 'verify-services'],
   },
   terminal_state_assertion: {
     desc: '终态断言（建议项，不阻断）：AgentRun running→completed/failed、session/lease end 状态同步。',
-    literals: ['terminal state', '终态', 'completed failed', 'session end', 'lease end'],
+    literals: ['terminal state', '终态', 'completed failed', 'session end', 'lease end',
+      '生命周期终态', '状态同步'],
   },
 }
 
@@ -202,11 +212,16 @@ export function detectChangeRisk({ designContent = '', planContent = '', changed
 
 /**
  * 检查 verify-result.md 是否包含集成验证证据
+ *
+ * opts.extraEvidenceText（坑 verify-literal-evidence-mismatch，2026-08-22）：调用方可注入
+ * CLI 结构化回执文本（如 verify-services.receipt.json 的服务回收回执）——它随 verifyContent
+ * 一起参与 literals 匹配，agent 真实起过服务且 CLI 回收过（有回执）时不再依赖其自然语言
+ * 措辞恰好含字面词，表述差异不再误拦。
  */
-export function checkIntegrationEvidence(verifyContent, requiredVerification) {
+export function checkIntegrationEvidence(verifyContent, requiredVerification, opts = {}) {
   const errors = []
   const warnings = []
-  const lower = verifyContent.toLowerCase()
+  const lower = (String(verifyContent || '') + '\n' + String(opts.extraEvidenceText || '')).toLowerCase()
 
   // 字面证据正则从 VERIFICATION_NEEDS[k].literals 派生——与报错描述、prompt 事前契约严格同源,
   // 杜绝历史上"描述说 A、正则查 B"的分叉(checkIntegrationEvidence 正则曾比 VERIFICATION_NEEDS

package/src/db.js

@@ -105,13 +105,19 @@ export class DB {
       if (!existsSync(p)) return null;
       return statSync(p).size === 0 ? 'empty' : 'ok';
     };
-    // tryOpen: openDatabase(path) + prepare 探测双保险（防打开成功但内容非 SQLite）
+    // tryOpen: openDatabase(path) + prepare 探测双保险（防打开成功但内容非 SQLite）。
+    // 探测前先设 busy_timeout（2026-08-21 审查 BUG-7）：init() 的 applyPragmas 在 _openWithFallback
+    // 之后才跑，探测 SELECT 此前以 busy_timeout=0（SQLite 默认）执行——他者进程 CHECKPOINT 改写
+    // 主库时探测立即 SQLITE_BUSY，3 次重试总窗口仅 350ms，大 WAL 下 checkpoint 秒级 → 健康库
+    // 被误判"损坏"硬抛错。先设 busy_timeout 让探测自身等待锁，重试只剩消化瞬时抖动。
     const tryOpen = (p) => {
       let db;
       try { db = openDatabase(p); }
       catch { return null; }
-      try { db.prepare('SELECT count(*) FROM sqlite_master').get(); return db; }
-      catch { try { db.close(); } catch { /* 关闭失败忽略 */ } return null; }
+      try {
+        db.exec('PRAGMA busy_timeout = 5000');
+        db.prepare('SELECT count(*) FROM sqlite_master').get(); return db;
+      } catch { try { db.close(); } catch { /* 关闭失败忽略 */ } return null; }
     };
 
     // 1. 主库（0 字节=截断信号，必须走回退，故门禁要求 'ok' 有内容）
@@ -144,6 +150,11 @@ export class DB {
             : 'sillyspec.db 损坏';
         console.warn(`⚠️  ${reason}，已从 .bak 备份恢复。`);
         bakDb.close();
+        // 覆盖前救援快照（2026-08-21 审查 BUG-7）：主库有内容但打不开（"损坏"）时，其中可能
+        // 含比 .bak 更新的数据——静默覆盖即静默丢。best-effort 留一份 .corrupt-<ts> 副本供人工恢复。
+        if (primaryRaw === 'ok') {
+          try { copyFileSync(this.dbPath, `${this.dbPath}.corrupt-${Date.now()}`); } catch { /* 救援失败不阻断恢复 */ }
+        }
         // node:sqlite 绑定路径，无 _save：把 .bak 内容 copy 回主库，统一用 dbPath。
         // 体检 BUG-18：主库可能正被其他进程（daemon/另一 CLI）打开——Windows 覆盖他人
         // 打开的文件抛 EPERM/EBUSY，短暂退避重试（持有者通常是瞬时句柄），仍失败 fail-loud