sillyspec 3.28.10 → 3.28.11

package/src/sync.js

@@ -1120,6 +1120,28 @@ export class SyncManager {
       return { synced: 0, errors: [...errors, '无可用文档'] };
     }
 
+    // 无变化推送去重（2026-09-17 用户反馈⑥-②，ql-20260917-005）：每条 CLI 命令的自动同步都
+    // 全量 POST 四件套 + 打「已同步 N 个文档」——内容未变时的重复推送是纯噪音/流量，也放大
+    // 「同步在反复回写」的干扰体感。四件套内容集合的 sha256 与上次成功推送比对，一致即跳过
+    // （debug 一行）；marker 读取失败/缺失按「有变化」处理（多推一次无害，fail-open）。
+    // manual 路径不去重（显式意图，允许空跑确认链路）。
+    let docsFingerprint = null;
+    try {
+      docsFingerprint = createHash('sha256')
+        .update(DOCUMENT_FILES.map(f => `${f}\u0000${documents[f] ?? ''}`).join('\u0001'))
+        .digest('hex');
+    } catch { /* 指纹失败按有变化处理 */ }
+    if (!manual && docsFingerprint) {
+      const markerPath = join(safePlatformSpecDir(this.cwd) || join(this.cwd, '.sillyspec'), '.runtime', `sync-docs-lastpush-${changeName}.json`);
+      try {
+        const prev = JSON.parse(readFileSync(markerPath, 'utf8'));
+        if (prev && prev.hash === docsFingerprint) {
+          debugLog(`[sync] 四件套内容与上次成功推送一致，跳过文档直推: ${changeName}`);
+          return { synced: 0, errors, deduped: true };
+        }
+      } catch { /* 无 marker / 损坏 = 首推或按有变化处理 */ }
+    }
+
     const docUrl = `${platform.url}/api/changes/${encodeURIComponent(changeName)}/documents`;
     const result = await fetchJson(docUrl, {
       method: 'POST',
@@ -1135,6 +1157,14 @@ export class SyncManager {
       return { synced: 0, errors: [...errors, '文档同步请求失败'] };
     }
 
+    // 推送成功才落指纹 marker（失败不落——下轮重推）
+    if (docsFingerprint) {
+      try {
+        const runtimeDir = join(safePlatformSpecDir(this.cwd) || join(this.cwd, '.sillyspec'), '.runtime');
+        mkdirSync(runtimeDir, { recursive: true });
+        writeFileSync(join(runtimeDir, `sync-docs-lastpush-${changeName}.json`), JSON.stringify({ hash: docsFingerprint, at: Date.now() }) + '\n', 'utf8');
+      } catch { /* marker 失败只损失去重（下轮多推一次），不影响同步 */ }
+    }
     console.log(`[sync] 已同步 ${syncedCount} 个文档: ${changeName}`);
     return { synced: syncedCount, errors };
   }
@@ -1726,6 +1756,8 @@ export class SyncManager {
       return { ok: false, pulled: false, specDir, reason: `删除本地 specDir 失败${holdHint}: ${err.message}` };
     }
     try {
+      let pulledFiles = 0;
+      const crlfEntries = [];
       for (const e of entries) {
         _assertSafeTarName(e.name.replace(/\/+$/, ''), specDir);
         const fullPath = join(specDir, e.name);
@@ -1734,8 +1766,23 @@ export class SyncManager {
         } else {
           mkdirSync(dirname(fullPath), { recursive: true });
           writeFileSync(fullPath, e.data);
+          pulledFiles++;
+          if (e.data && e.data.length < 4 * 1024 * 1024) crlfEntries.push([e.name, e.data]); // CRLF 画像采样（超 4MB 大文件跳过采样，写入不受影响）
         }
       }
+      // 批量写入留痕（2026-09-17 反馈⑥②法证收口）：整树解包=逐字节回放，他机 CRLF 内容
+      // 原样落盘——审计行记 时间/触发面/文件数/CRLF 命中数（fail-open）。
+      try {
+        const { appendWriteAudit, detectCrlfFiles, WRITE_AUDIT_FILE_CAP } = await import('./write-audit.js');
+        const crlfPaths = detectCrlfFiles(crlfEntries);
+        appendWriteAudit(specDir, {
+          via: 'pull-spec-bundle',
+          files: pulledFiles,
+          crlfPaths: crlfPaths.slice(0, WRITE_AUDIT_FILE_CAP),
+          crlfCount: crlfPaths.length,
+          force: opts.force === true,
+        });
+      } catch { /* 审计 fail-open */ }
       if (localYamlSaved !== null) {
         mkdirSync(specDir, { recursive: true }); // 空 bundle（零条目）时树根未被条目重建
         writeAtomicSync(localYamlPath, localYamlSaved); // fs-atomic 契约：hook/probe 并发读 local.yaml
@@ -1816,6 +1863,7 @@ export class SyncManager {
     let overwritten = 0;
     let removed = 0;
     const skipped = [];
+    const writtenEntries = []; // [path, data] 对——写后审计 CRLF 画像用（2026-09-17 反馈⑥②法证收口）
     for (const p of normalized) {
       try {
         _assertSafeTarName(p, specDir);
@@ -1825,6 +1873,7 @@ export class SyncManager {
           mkdirSync(dirname(full), { recursive: true });
           writeFileSync(full, data);
           overwritten++;
+          writtenEntries.push([p, data]);
         } else if (existsSync(join(specDir, p))) {
           // 服务器已无该文件（远端删除）→ 接受服务器 = 删本地
           rmSync(join(specDir, p), { force: true });
@@ -1835,6 +1884,26 @@ export class SyncManager {
       }
     }
 
+    // 批量写入留痕（2026-09-17 用户反馈⑥②法证收口）：take-platform 是「单命令批量整文件
+    // 重写 + 逐字节保留来源行尾」的回放面——他机 CRLF 内容会原样落盘且事后无任何日志可查
+    // （console 打印即蒸发，实证只能靠 mtime 考古）。落一条审计行：时间/触发面/文件集/CRLF
+    // 命中。fail-open：审计失败不影响覆盖结果。
+    try {
+      const { appendWriteAudit, detectCrlfFiles, WRITE_AUDIT_FILE_CAP } = await import('./write-audit.js');
+      const crlfPaths = detectCrlfFiles(writtenEntries);
+      if (crlfPaths.length > 0) {
+        console.warn(`⚠️ [sync] take-platform 覆盖的 ${crlfPaths.length} 个文件内容为 CRLF 行尾（他机编辑器产物按字节回放，本仓自产文件一律 LF）——git add 时 autocrlf 会提示转换，属预期：${crlfPaths.slice(0, 5).join('、')}${crlfPaths.length > 5 ? ' 等' : ''}（明细见 .runtime/write-audit.jsonl）`);
+      }
+      appendWriteAudit(specDir, {
+        via: 'platform-resolve-take-platform',
+        overwritten, removed,
+        files: writtenEntries.map(([p]) => p).slice(0, WRITE_AUDIT_FILE_CAP)
+          .concat(writtenEntries.length > WRITE_AUDIT_FILE_CAP ? [`…+${writtenEntries.length - WRITE_AUDIT_FILE_CAP}`] : []),
+        crlfPaths: crlfPaths.slice(0, WRITE_AUDIT_FILE_CAP),
+        crlfCount: crlfPaths.length,
+      });
+    } catch { /* 审计 fail-open */ }
+
     // 基线快照刷新（best-effort）：被覆盖路径回写当前盘面 hash（= 服务器内容 hash）、被删
     // 路径移除条目——下次同步这些路径按「本地未改动」豁免回推（take-platform 语义闭环）。
     try {

package/src/task-review.js

@@ -341,8 +341,11 @@ export function readReview(reviewPath) {
  * （ql-20260915-001 修复②，坑 review-write-draft-marker-stuck：execute 期间反复
  * 「草稿 review changedFiles 为空，跳过自动勾选」，主仓文档面任务自动勾选断链。）
  *
- * 判据：reviewProvenanceStamp 落的 writtenBy 以 'writeTaskReview' 开头（含 ':force' 变体）。
- * 显式写入带 agent 供给的 verdict（非草稿兜底通道），即使 reviewerNotes 字面残留
+ * 判据：reviewProvenanceStamp 落的 writtenBy 以显式写入通道前缀开头——writeTaskReview
+ * （`sillyspec review write`，含 ':force' 变体）或 adoptTaskReviewMechanics（adopt 通道
+ * 一键重算代填，落 writtenBy=adoptTaskReviewMechanics#pid；task-05 / FR-08 补入：该通道
+ * 合并写入的 review 带 agent 供给 verdict，此前被判草稿、跨仓 task 自动勾选断链）。
+ * 两通道均为显式写入（非草稿兜底通道），即使 reviewerNotes 字面残留
  * 'auto-generated draft'（agent 升级草稿时 --notes 引用/复述草稿文案、或 adopt 通道合并
  * 保留旧 notes 的变体）也一律按非草稿处理——verdict 判定不再受草稿零 diff 守卫限制。
  *
@@ -352,8 +355,11 @@ export function readReview(reviewPath) {
  * @param {object|null} review readReview 返回的 review 对象
  * @returns {boolean}
  */
+const EXPLICIT_REVIEW_WRITE_PREFIXES = ['writeTaskReview', 'adoptTaskReviewMechanics']
+
 export function isExplicitReviewWrite(review) {
-  return typeof review?.writtenBy === 'string' && review.writtenBy.startsWith('writeTaskReview')
+  if (typeof review?.writtenBy !== 'string') return false
+  return EXPLICIT_REVIEW_WRITE_PREFIXES.some(p => review.writtenBy.startsWith(p))
 }
 
 /**

package/src/verify-facts-schema.js

@@ -8,6 +8,12 @@
  * 双层写入模型（D-001@v2）：机器数据（probes/tests/factsConsistency）CLI 直写；判断层
  * （结论枚举/证据状态/回执声明）经 verify-result.md 受控槽段录入、--done 时 CLI 解析固化
  * （slot-backfill），单向渲染约束对象是机器数据。
+ *
+ * PASS 封顶事实面扩展（2026-09-17-pass-cap-semantics task-01 / D-011）：db 脚本执行声明的
+ * 录入文法（X-03）= 回执槽条目 command 含 db/<file>.sql，或声明行「已对目标库执行：db/<file>.sql」，
+ * 解析器 parseDbScriptDeclarations 落 verify-probes.js（producer：backfillFactsFromMdAndTests
+ * 产出 facts.dbScriptDeclarations；跨仓消费方：worktree-apply 兜底声明门按「文件集 ∩ db/*.sql
+ * ⊆ parseDbScriptDeclarations(verifyMd)」对账）。
  */
 export const FACTS_SCHEMA_VERSION = 2
 
@@ -52,6 +58,14 @@ const EVIDENCE_LINE_RE = /^- (task-\d+):\s*(satisfied|missing|partial)\b([^\n]*)
  */
 const RECEIPT_LINE_RE = /^- claim:\s*([^|｜\n]+)[|｜]\s*command:\s*([^|｜\n]+)[|｜]\s*exit:\s*(\d+)\s*[|｜]\s*log:\s*(.+)$/
 
+/**
+ * 多行 YAML 形态续行：`  key: value`（缩进键值行，2026-09-16-friction5-hardening FR-01 / D-001@v1）。
+ * 单行管道形态 agent 手写时列错位/字段序调换/多行书写整行不命中 → 回执槽收 0 条 →
+ * integration-critical 误报无绿回执——多行聚合根除形态自由度问题；字段序无关（command 可在
+ * claim 前），聚合遇首个不匹配行（下一列表项/非缩进行/空行/标题）即止。
+ */
+const RECEIPT_CONT_LINE_RE = /^[ \t]+([A-Za-z_][\w-]*):\s*(.*)$/
+
 /**
  * 解析 verify-result.md 的两个受控槽段（D-001@v2 slot-backfill 录入界面）。
  * 占位形态（<待填：三选一> / <待填：0 或非 0>）不含枚举词，行首锚定 + 枚举词双保险 fail-closed。
@@ -101,15 +115,47 @@ export function parseEvidenceSlots(mdText) {
 
   const runtimeEvidence = []
   if (receiptBody) {
-    for (const line of receiptBody) {
-      const m = line.match(RECEIPT_LINE_RE)
-      if (!m) continue
-      runtimeEvidence.push({
-        claim: m[1].trim(),
-        command: m[2].trim(),
-        exitCode: Number(m[3]),
-        logPath: m[4].split(/[|｜]/)[0].trim().replace(/^`|`$/g, ''),
-      })
+    // 回执双形态解析（FR-01 / D-001@v1）：①单行管道形态 RECEIPT_LINE_RE 命中即收（正则与
+    // 字段语义逐字节不变，存量回执零回归）；②不命中且行首 `- claim:` 起头时进入多行 YAML
+    // 聚合——收集缩进续行（RECEIPT_CONT_LINE_RE）为 key→value（值 trim、剥首尾成对反引号），
+    // 首行行内剩余只作 claim 值（claim 含管道符不截断）；四字段 = claim/command 非空（trim 后）
+    // + exit 纯数字 + log 非空（值内 ｜/| 尾注取首段，同单行口径），齐才 push——任一缺失/空
+    // 整条不收（fail-closed 宁漏不误收，坑 receipt-fullwidth-parse 形态自由度的根除收口）。
+    const stripPairedBackticks = (v) => {
+      const t = v.trim()
+      return t.length >= 2 && t.startsWith('`') && t.endsWith('`') ? t.slice(1, -1) : t
+    }
+    for (let i = 0; i < receiptBody.length; i++) {
+      const m = receiptBody[i].match(RECEIPT_LINE_RE)
+      if (m) {
+        runtimeEvidence.push({
+          claim: m[1].trim(),
+          command: m[2].trim(),
+          exitCode: Number(m[3]),
+          logPath: m[4].split(/[|｜]/)[0].trim().replace(/^`|`$/g, ''),
+        })
+        continue
+      }
+      const head = receiptBody[i].match(/^-\s*claim:\s*(.*)$/)
+      if (!head) continue
+      const fields = {}
+      let j = i + 1
+      while (j < receiptBody.length) {
+        const cm = receiptBody[j].match(RECEIPT_CONT_LINE_RE)
+        if (!cm) break
+        if (!(cm[1] in fields)) fields[cm[1]] = stripPairedBackticks(cm[2])
+        j++
+      }
+      i = j - 1 // 聚合消费至 j-1，回退一格交还外层 for 推进
+      const claim = [head[1].trim(), typeof fields.claim === 'string' ? fields.claim.trim() : '']
+        .filter(s => s.length > 0).join(' ').trim()
+      const command = typeof fields.command === 'string' ? fields.command : ''
+      const exit = typeof fields.exit === 'string' ? fields.exit.trim() : ''
+      const log = typeof fields.log === 'string'
+        ? fields.log.split(/[|｜]/)[0].trim().replace(/^`|`$/g, '')
+        : ''
+      if (!claim || !command || !/^\d+$/.test(exit) || !log) continue
+      runtimeEvidence.push({ claim, command, exitCode: Number(exit), logPath: log })
     }
   }
 
@@ -144,5 +190,28 @@ export function validateFactsV2(facts) {
       errors.push(`requiredEvidence[${item.task}] satisfied 但 verifiedFiles 为空`)
     }
   }
+  // PASS 封顶事实面五字段 additive 登记（2026-09-17-pass-cap-semantics task-01 / D-011 故障面）：
+  // 字段不在场一律不报错（存量 facts 零迁移通过，producer=backfillFactsFromMdAndTests 首次
+  // backfill 产出）；在场才校验类型/枚举。schemaVersion 保持 2。
+  if (facts.integrationRan != null && !['ran', 'not-ran'].includes(facts.integrationRan)) {
+    errors.push(`integrationRan 非法枚举值：${facts.integrationRan}`)
+  }
+  if (facts.dbScriptDeclarations != null
+    && (!Array.isArray(facts.dbScriptDeclarations) || !facts.dbScriptDeclarations.every(x => typeof x === 'string'))) {
+    errors.push('dbScriptDeclarations 应为 string[]')
+  }
+  if (facts.matrixPartialRows != null
+    && (!Number.isInteger(facts.matrixPartialRows) || facts.matrixPartialRows < 0)) {
+    errors.push(`matrixPartialRows 应为非负整数，实际 ${facts.matrixPartialRows}`)
+  }
+  if (facts.runtimeEndpointExcluded != null && typeof facts.runtimeEndpointExcluded !== 'boolean') {
+    errors.push(`runtimeEndpointExcluded 应为 boolean，实际 ${typeof facts.runtimeEndpointExcluded}`)
+  }
+  const handoverItems = (facts.handover && Array.isArray(facts.handover.items)) ? facts.handover.items : []
+  for (const [i, item] of handoverItems.entries()) {
+    if (item && item.severity != null && !['blocking', 'advisory'].includes(item.severity)) {
+      errors.push(`handover.items[${i}] severity 非法枚举值：${item.severity}`)
+    }
+  }
   return { ok: errors.length === 0, errors }
 }