soloforge 1.1.37 → 1.1.40

package/dist/engine/pipeline/slice_executor.d.ts

@@ -46,11 +46,15 @@ export interface SliceExecutionContext {
     results: Map<string, SliceExecutionResult>;
     /** 已通过切片占据的文件集合（用于隔离检查） */
     protected_files: Set<string>;
+    /** 可选的任务描述 */
+    description?: string;
 }
 /**
  * 创建切片执行器上下文。
+ * @param slices - 开发切片列表
+ * @param description - 可选的任务描述，用于切片执行日志和追踪
  */
-export declare function createSliceContext(slices: DevSlice[]): SliceExecutionContext;
+export declare function createSliceContext(slices: DevSlice[], description?: string): SliceExecutionContext;
 /**
  * 获取下一个待执行的切片。
  * 考虑依赖关系：依赖切片必须已通过。

package/dist/engine/pipeline/slice_executor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"slice_executor.d.ts","sourceRoot":"","sources":["../../../src/engine/pipeline/slice_executor.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,aAAa;AACb,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG,aAAa,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,CAAC;AAExF,WAAW;AACX,MAAM,WAAW,QAAQ;IACvB,YAAY;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,WAAW;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,mBAAmB;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa;IACb,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,eAAe;IACf,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,aAAa;AACb,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,WAAW,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,aAAa;AACb,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,EAAE,KAAK,CAAC;QACd,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;QAC1C,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC,CAAC;CACJ;AAED,eAAe;AACf,MAAM,WAAW,qBAAqB;IACpC,WAAW;IACX,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,eAAe;IACf,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IAC3C,2BAA2B;IAC3B,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAC9B;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,qBAAqB,CAM5E;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,qBAAqB,GAAG,QAAQ,GAAG,IAAI,CAexE;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,qBAAqB,GAAG,QAAQ,EAAE,CAoBxE;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,qBAAqB,EAC1B,KAAK,EAAE,QAAQ,GACd;IAAE,QAAQ,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,EAAE,CAAA;CAAE,CAM5C;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,qBAAqB,EAC1B,MAAM,EAAE,oBAAoB,GAC3B,IAAI,CAYN;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,iBAAiB,CAAC,UAAU,CAAC,GACtC,iBAAiB,CAgBnB"}
+{"version":3,"file":"slice_executor.d.ts","sourceRoot":"","sources":["../../../src/engine/pipeline/slice_executor.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,aAAa;AACb,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG,aAAa,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,CAAC;AAExF,WAAW;AACX,MAAM,WAAW,QAAQ;IACvB,YAAY;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,WAAW;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,mBAAmB;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa;IACb,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,eAAe;IACf,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,aAAa;AACb,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,WAAW,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,aAAa;AACb,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,EAAE,KAAK,CAAC;QACd,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;QAC1C,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC,CAAC;CACJ;AAED,eAAe;AACf,MAAM,WAAW,qBAAqB;IACpC,WAAW;IACX,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,eAAe;IACf,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IAC3C,2BAA2B;IAC3B,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,cAAc;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,qBAAqB,CAOlG;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,qBAAqB,GAAG,QAAQ,GAAG,IAAI,CAexE;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,qBAAqB,GAAG,QAAQ,EAAE,CAoBxE;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,qBAAqB,EAC1B,KAAK,EAAE,QAAQ,GACd;IAAE,QAAQ,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,EAAE,CAAA;CAAE,CAM5C;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,qBAAqB,EAC1B,MAAM,EAAE,oBAAoB,GAC3B,IAAI,CAYN;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,iBAAiB,CAAC,UAAU,CAAC,GACtC,iBAAiB,CAgBnB"}

package/dist/engine/pipeline/slice_executor.js

@@ -9,12 +9,15 @@
 import { debug } from "../core/logger.js";
 /**
  * 创建切片执行器上下文。
+ * @param slices - 开发切片列表
+ * @param description - 可选的任务描述，用于切片执行日志和追踪
  */
-export function createSliceContext(slices) {
+export function createSliceContext(slices, description) {
     return {
         slices: slices.sort((a, b) => a.priority - b.priority),
         results: new Map(),
         protected_files: new Set(),
+        ...(description ? { description } : {}),
     };
 }
 /**

package/dist/engine/pipeline/slice_executor.js.map

@@ -1 +1 @@
-{"version":3,"file":"slice_executor.js","sourceRoot":"","sources":["../../../src/engine/pipeline/slice_executor.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAgD1C;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAkB;IACnD,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC;QACtD,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,eAAe,EAAE,IAAI,GAAG,EAAE;KAC3B,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,GAA0B;IACrD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACzC,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;YAAE,SAAS;QAEpD,YAAY;QACZ,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/C,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACnC,OAAO,GAAG,EAAE,MAAM,KAAK,QAAQ,CAAC;QAClC,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAA0B;IAC1D,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;SACtB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,aAAa,CAAC;SACzC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAC1B,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,SAAS;QACxC,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,SAAS;QAEvC,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/C,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACnC,OAAO,GAAG,EAAE,MAAM,KAAK,QAAQ,CAAC;QAClC,CAAC,CAAC,CAAC;QACH,IAAI,OAAO;YAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CACjC,GAA0B,EAC1B,KAAe;IAEf,MAAM,SAAS,GAAG,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,OAAO;QACL,QAAQ,EAAE,SAAS,CAAC,MAAM,KAAK,CAAC;QAChC,SAAS;KACV,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,GAA0B,EAC1B,MAA4B;IAE5B,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAEzC,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC/D,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;gBACrC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QACD,KAAK,CAAC,OAAO,EAAE,wBAAwB,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IACtF,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CACzB,OAAe,EACf,QAAuC;IAEvC,MAAM,MAAM,GAAsB;QAChC,QAAQ,EAAE,OAAO;QACjB,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC;QACxD,QAAQ;KACT,CAAC;IAEF,KAAK,CACH,OAAO,EACP,4BAA4B,EAC5B,OAAO,EACP,MAAM,CAAC,MAAM,EACb,QAAQ,CAAC,MAAM,CAChB,CAAC;IAEF,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"slice_executor.js","sourceRoot":"","sources":["../../../src/engine/pipeline/slice_executor.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAkD1C;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAkB,EAAE,WAAoB;IACzE,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC;QACtD,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,eAAe,EAAE,IAAI,GAAG,EAAE;QAC1B,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,GAA0B;IACrD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACzC,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;YAAE,SAAS;QAEpD,YAAY;QACZ,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/C,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACnC,OAAO,GAAG,EAAE,MAAM,KAAK,QAAQ,CAAC;QAClC,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAA0B;IAC1D,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;SACtB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,aAAa,CAAC;SACzC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAC1B,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,SAAS;QACxC,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,SAAS;QAEvC,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/C,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACnC,OAAO,GAAG,EAAE,MAAM,KAAK,QAAQ,CAAC;QAClC,CAAC,CAAC,CAAC;QACH,IAAI,OAAO;YAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CACjC,GAA0B,EAC1B,KAAe;IAEf,MAAM,SAAS,GAAG,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,OAAO;QACL,QAAQ,EAAE,SAAS,CAAC,MAAM,KAAK,CAAC;QAChC,SAAS;KACV,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,GAA0B,EAC1B,MAA4B;IAE5B,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAEzC,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC/D,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;gBACrC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QACD,KAAK,CAAC,OAAO,EAAE,wBAAwB,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IACtF,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CACzB,OAAe,EACf,QAAuC;IAEvC,MAAM,MAAM,GAAsB;QAChC,QAAQ,EAAE,OAAO;QACjB,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC;QACxD,QAAQ;KACT,CAAC;IAEF,KAAK,CACH,OAAO,EACP,4BAA4B,EAC5B,OAAO,EACP,MAAM,CAAC,MAAM,EACb,QAAQ,CAAC,MAAM,CAChB,CAAC;IAEF,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/engine/pipeline/state_machine/audit_logger.d.ts

@@ -0,0 +1,42 @@
+/**
+ * 审计日志 — 管线操作的持久化审计追踪。
+ *
+ * 操作前保存快照，操作后追加审计条目。
+ * 写入 .soloforge/state/audit.log（JSONL 格式）。
+ */
+import type { PipelineState } from "../../../types/state_machine.js";
+/**
+ * 追加审计日志条目到 audit.log 文件。
+ *
+ * @param stateDir - 状态目录路径
+ * @param entry - 审计日志条目
+ */
+export declare function appendAuditLog(stateDir: string, entry: {
+    timestamp: string;
+    operation: string;
+    from_stage?: string;
+    to_stage?: string;
+    user_confirmation?: string;
+    previous_snapshot_path?: string;
+    reason?: string;
+}): Promise<void>;
+/**
+ * 操作前保存快照。
+ *
+ * 将当前管线状态序列化为 YAML 快照文件。
+ *
+ * @param stateDir - 状态目录路径
+ * @param pipelineId - 管线 ID
+ * @param state - 当前管线状态
+ * @returns 快照文件路径
+ */
+export declare function saveSnapshot(stateDir: string, pipelineId: string, state: PipelineState): Promise<string>;
+/**
+ * 读取审计日志。
+ *
+ * @param stateDir - 状态目录路径
+ * @param limit - 最大条目数（默认 100）
+ * @returns 审计日志条目列表（最新在前）
+ */
+export declare function readAuditLog(stateDir: string, limit?: number): Promise<Array<Record<string, unknown>>>;
+//# sourceMappingURL=audit_logger.d.ts.map

package/dist/engine/pipeline/state_machine/audit_logger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"audit_logger.d.ts","sourceRoot":"","sources":["../../../../src/engine/pipeline/state_machine/audit_logger.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAKH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAMrE;;;;;GAKG;AACH,wBAAsB,cAAc,CAClC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE;IACL,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GACA,OAAO,CAAC,IAAI,CAAC,CAIf;AAED;;;;;;;;;GASG;AACH,wBAAsB,YAAY,CAChC,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,aAAa,GACnB,OAAO,CAAC,MAAM,CAAC,CAWjB;AAED;;;;;;GAMG;AACH,wBAAsB,YAAY,CAChC,QAAQ,EAAE,MAAM,EAChB,KAAK,SAAM,GACV,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAczC"}

package/dist/engine/pipeline/state_machine/audit_logger.js

@@ -0,0 +1,71 @@
+/**
+ * 审计日志 — 管线操作的持久化审计追踪。
+ *
+ * 操作前保存快照，操作后追加审计条目。
+ * 写入 .soloforge/state/audit.log（JSONL 格式）。
+ */
+import fs from "node:fs/promises";
+import path from "node:path";
+import YAML from "yaml";
+// ═══════════════════════════════════════════
+// 公共接口
+// ═══════════════════════════════════════════
+/**
+ * 追加审计日志条目到 audit.log 文件。
+ *
+ * @param stateDir - 状态目录路径
+ * @param entry - 审计日志条目
+ */
+export async function appendAuditLog(stateDir, entry) {
+    const auditPath = path.join(stateDir, "audit.log");
+    const line = JSON.stringify(entry) + "\n";
+    await fs.appendFile(auditPath, line, "utf-8");
+}
+/**
+ * 操作前保存快照。
+ *
+ * 将当前管线状态序列化为 YAML 快照文件。
+ *
+ * @param stateDir - 状态目录路径
+ * @param pipelineId - 管线 ID
+ * @param state - 当前管线状态
+ * @returns 快照文件路径
+ */
+export async function saveSnapshot(stateDir, pipelineId, state) {
+    const snapshotDir = path.join(stateDir, "snapshots");
+    await fs.mkdir(snapshotDir, { recursive: true });
+    const timestamp = new Date().toISOString().replace(/[:.]/g, "-");
+    const snapshotPath = path.join(snapshotDir, `${pipelineId}-${timestamp}.yaml`);
+    const content = YAML.stringify(state);
+    await fs.writeFile(snapshotPath, content, "utf-8");
+    return snapshotPath;
+}
+/**
+ * 读取审计日志。
+ *
+ * @param stateDir - 状态目录路径
+ * @param limit - 最大条目数（默认 100）
+ * @returns 审计日志条目列表（最新在前）
+ */
+export async function readAuditLog(stateDir, limit = 100) {
+    const auditPath = path.join(stateDir, "audit.log");
+    try {
+        const content = await fs.readFile(auditPath, "utf-8");
+        const lines = content.trim().split("\n").filter(Boolean);
+        // 最新在前
+        return lines
+            .map((line) => { try {
+            return JSON.parse(line);
+        }
+        catch {
+            return null;
+        } })
+            .filter((entry) => entry !== null)
+            .reverse()
+            .slice(0, limit);
+    }
+    catch {
+        return [];
+    }
+}
+//# sourceMappingURL=audit_logger.js.map

package/dist/engine/pipeline/state_machine/audit_logger.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"audit_logger.js","sourceRoot":"","sources":["../../../../src/engine/pipeline/state_machine/audit_logger.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,IAAI,MAAM,MAAM,CAAC;AAGxB,8CAA8C;AAC9C,OAAO;AACP,8CAA8C;AAE9C;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,QAAgB,EAChB,KAQC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;IAC1C,MAAM,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AAChD,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,QAAgB,EAChB,UAAkB,EAClB,KAAoB;IAEpB,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACrD,MAAM,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAEjD,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,UAAU,IAAI,SAAS,OAAO,CAAC,CAAC;IAE/E,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,EAAE,CAAC,SAAS,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAEnD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,QAAgB,EAChB,KAAK,GAAG,GAAG;IAEX,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACnD,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACzD,OAAO;QACP,OAAO,KAAK;aACT,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC;YAAC,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,IAAI,CAAC;QAAC,CAAC,CAAC,CAAC,CAAC;aAC1E,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC;aACrE,OAAO,EAAE;aACT,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC"}

package/dist/engine/pipeline/state_machine/capability_safety_valve.d.ts

@@ -0,0 +1,51 @@
+/**
+ * 能力状态安全阀 — 防止 experimental 能力硬阻断管线推进。
+ * 当门禁检查触发 experimental 能力约束时，安全阀评估是否可降级。
+ */
+import type { TaskStage } from "../../workflow/workflow_navigation_contract.js";
+/** 能力等级 */
+export type CapabilityLevel = "stable" | "experimental" | "deprecated";
+/** 能力状态条目 */
+export interface CapabilityStateEntry {
+    capability_id: string;
+    level: CapabilityLevel;
+    min_gate_level: "stable" | "experimental";
+    downgrade_count: number;
+    last_downgrade_reason?: string;
+}
+/** 安全阀输入 */
+export interface SafetyValveInput {
+    capability: CapabilityStateEntry;
+    current_stage: TaskStage;
+    gate_result: "passed" | "warning" | "blocked";
+}
+/** 安全阀输出 */
+export interface SafetyValveResult {
+    action: "allow" | "downgrade" | "block";
+    original_level: CapabilityLevel;
+    effective_level: CapabilityLevel;
+    reason_zh: string;
+    audit_event?: {
+        event_type: "GATE_DOWNGRADED" | "GATE_BLOCKED" | "GATE_PASSED";
+        capability_id: string;
+        from_level: CapabilityLevel;
+        to_level: CapabilityLevel;
+        stage: TaskStage;
+        timestamp: string;
+    };
+}
+/** 门禁到能力等级映射 */
+export declare const GATE_CHECK_TO_CAPABILITY: Record<string, CapabilityLevel>;
+/**
+ * 评估能力安全阀 — 当门禁检查结果与能力等级冲突时决定降级策略。
+ *
+ * 规则：
+ * 1. stable 能力不会被降级
+ * 2. experimental 能力在设计阶段可降级为 advisory
+ * 3. 编码/审查/验证阶段不允许降级
+ * 4. 降级次数超过阈值时硬阻断
+ */
+export declare function applyCapabilitySafetyValve(input: SafetyValveInput): SafetyValveResult;
+/** 获取门禁对应的能力等级 */
+export declare function getRequiredCapabilityLevel(gateId: string): CapabilityLevel;
+//# sourceMappingURL=capability_safety_valve.d.ts.map

package/dist/engine/pipeline/state_machine/capability_safety_valve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capability_safety_valve.d.ts","sourceRoot":"","sources":["../../../../src/engine/pipeline/state_machine/capability_safety_valve.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gDAAgD,CAAC;AAGhF,WAAW;AACX,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,cAAc,GAAG,YAAY,CAAC;AAEvE,aAAa;AACb,MAAM,WAAW,oBAAoB;IACnC,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,eAAe,CAAC;IACvB,cAAc,EAAE,QAAQ,GAAG,cAAc,CAAC;IAC1C,eAAe,EAAE,MAAM,CAAC;IACxB,qBAAqB,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,YAAY;AACZ,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,oBAAoB,CAAC;IACjC,aAAa,EAAE,SAAS,CAAC;IACzB,WAAW,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;CAC/C;AAED,YAAY;AACZ,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,OAAO,GAAG,WAAW,GAAG,OAAO,CAAC;IACxC,cAAc,EAAE,eAAe,CAAC;IAChC,eAAe,EAAE,eAAe,CAAC;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE;QACZ,UAAU,EAAE,iBAAiB,GAAG,cAAc,GAAG,aAAa,CAAC;QAC/D,aAAa,EAAE,MAAM,CAAC;QACtB,UAAU,EAAE,eAAe,CAAC;QAC5B,QAAQ,EAAE,eAAe,CAAC;QAC1B,KAAK,EAAE,SAAS,CAAC;QACjB,SAAS,EAAE,MAAM,CAAC;KACnB,CAAC;CACH;AAED,gBAAgB;AAChB,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CASpE,CAAC;AAQF;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,gBAAgB,GAAG,iBAAiB,CAwGrF;AAED,kBAAkB;AAClB,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,MAAM,GAAG,eAAe,CAE1E"}

package/dist/engine/pipeline/state_machine/capability_safety_valve.js

@@ -0,0 +1,131 @@
+/**
+ * 能力状态安全阀 — 防止 experimental 能力硬阻断管线推进。
+ * 当门禁检查触发 experimental 能力约束时，安全阀评估是否可降级。
+ */
+import { debug } from "../../core/logger.js";
+/** 门禁到能力等级映射 */
+export const GATE_CHECK_TO_CAPABILITY = {
+    "gate-需求分析-knowledge-coverage": "stable",
+    "gate-架构设计-knowledge-coverage": "stable",
+    "gate-架构设计-risk-patterns": "stable",
+    "gate-架构设计-confirmation-level": "stable",
+    "gate-详细设计-knowledge-coverage": "stable",
+    "gate-详细设计-required-inputs": "stable",
+    "gate-现有系统分析-knowledge-coverage": "experimental",
+    "gate-现有系统分析-crash-risk": "experimental",
+};
+/** 允许降级的阶段（设计阶段允许 experimental 降级） */
+const DOWNGRADE_ALLOWED_STAGES = ["需求分析", "架构设计", "详细设计", "任务规划"];
+/** 最大降级次数 */
+const MAX_DOWNGRADE_COUNT = 3;
+/**
+ * 评估能力安全阀 — 当门禁检查结果与能力等级冲突时决定降级策略。
+ *
+ * 规则：
+ * 1. stable 能力不会被降级
+ * 2. experimental 能力在设计阶段可降级为 advisory
+ * 3. 编码/审查/验证阶段不允许降级
+ * 4. 降级次数超过阈值时硬阻断
+ */
+export function applyCapabilitySafetyValve(input) {
+    const { capability, current_stage, gate_result } = input;
+    // 门禁通过 → 直接放行
+    if (gate_result === "passed") {
+        return {
+            action: "allow",
+            original_level: capability.level,
+            effective_level: capability.level,
+            reason_zh: "门禁检查通过",
+        };
+    }
+    // stable 能力不降级
+    if (capability.level === "stable") {
+        return {
+            action: gate_result === "blocked" ? "block" : "allow",
+            original_level: capability.level,
+            effective_level: capability.level,
+            reason_zh: gate_result === "blocked" ? "stable 能力要求必须满足" : "stable 能力检查通过",
+            audit_event: gate_result === "blocked" ? {
+                event_type: "GATE_BLOCKED",
+                capability_id: capability.capability_id,
+                from_level: capability.level,
+                to_level: capability.level,
+                stage: current_stage,
+                timestamp: new Date().toISOString(),
+            } : undefined,
+        };
+    }
+    // deprecated 能力直接阻断
+    if (capability.level === "deprecated") {
+        return {
+            action: "block",
+            original_level: capability.level,
+            effective_level: capability.level,
+            reason_zh: `已废弃能力 ${capability.capability_id}，请迁移到替代方案`,
+            audit_event: {
+                event_type: "GATE_BLOCKED",
+                capability_id: capability.capability_id,
+                from_level: capability.level,
+                to_level: capability.level,
+                stage: current_stage,
+                timestamp: new Date().toISOString(),
+            },
+        };
+    }
+    // experimental 能力降级逻辑
+    if (!DOWNGRADE_ALLOWED_STAGES.includes(current_stage)) {
+        // 编码/审查/验证阶段不允许降级
+        return {
+            action: "block",
+            original_level: capability.level,
+            effective_level: capability.level,
+            reason_zh: `experimental 能力在 ${current_stage} 阶段不可降级`,
+            audit_event: {
+                event_type: "GATE_BLOCKED",
+                capability_id: capability.capability_id,
+                from_level: capability.level,
+                to_level: capability.level,
+                stage: current_stage,
+                timestamp: new Date().toISOString(),
+            },
+        };
+    }
+    // 超过降级次数阈值
+    if (capability.downgrade_count >= MAX_DOWNGRADE_COUNT) {
+        return {
+            action: "block",
+            original_level: capability.level,
+            effective_level: capability.level,
+            reason_zh: `能力 ${capability.capability_id} 降级次数已达上限 (${MAX_DOWNGRADE_COUNT})`,
+            audit_event: {
+                event_type: "GATE_BLOCKED",
+                capability_id: capability.capability_id,
+                from_level: capability.level,
+                to_level: capability.level,
+                stage: current_stage,
+                timestamp: new Date().toISOString(),
+            },
+        };
+    }
+    // 允许降级
+    debug("能力安全阀", "降级 %s: experimental → advisory (阶段=%s, 第%d次)", capability.capability_id, current_stage, capability.downgrade_count + 1);
+    return {
+        action: "downgrade",
+        original_level: "experimental",
+        effective_level: "stable", // 降级后按 stable 处理
+        reason_zh: `experimental 能力在 ${current_stage} 阶段降级为 advisory（第 ${capability.downgrade_count + 1} 次降级）`,
+        audit_event: {
+            event_type: "GATE_DOWNGRADED",
+            capability_id: capability.capability_id,
+            from_level: "experimental",
+            to_level: "stable",
+            stage: current_stage,
+            timestamp: new Date().toISOString(),
+        },
+    };
+}
+/** 获取门禁对应的能力等级 */
+export function getRequiredCapabilityLevel(gateId) {
+    return GATE_CHECK_TO_CAPABILITY[gateId] ?? "stable";
+}
+//# sourceMappingURL=capability_safety_valve.js.map

package/dist/engine/pipeline/state_machine/capability_safety_valve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capability_safety_valve.js","sourceRoot":"","sources":["../../../../src/engine/pipeline/state_machine/capability_safety_valve.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAqC7C,gBAAgB;AAChB,MAAM,CAAC,MAAM,wBAAwB,GAAoC;IACvE,8BAA8B,EAAE,QAAQ;IACxC,8BAA8B,EAAE,QAAQ;IACxC,yBAAyB,EAAE,QAAQ;IACnC,8BAA8B,EAAE,QAAQ;IACxC,8BAA8B,EAAE,QAAQ;IACxC,2BAA2B,EAAE,QAAQ;IACrC,gCAAgC,EAAE,cAAc;IAChD,wBAAwB,EAAE,cAAc;CACzC,CAAC;AAEF,sCAAsC;AACtC,MAAM,wBAAwB,GAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAE/E,aAAa;AACb,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAE9B;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAuB;IAChE,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IAEzD,cAAc;IACd,IAAI,WAAW,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO;YACL,MAAM,EAAE,OAAO;YACf,cAAc,EAAE,UAAU,CAAC,KAAK;YAChC,eAAe,EAAE,UAAU,CAAC,KAAK;YACjC,SAAS,EAAE,QAAQ;SACpB,CAAC;IACJ,CAAC;IAED,eAAe;IACf,IAAI,UAAU,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO;YACL,MAAM,EAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO;YACrD,cAAc,EAAE,UAAU,CAAC,KAAK;YAChC,eAAe,EAAE,UAAU,CAAC,KAAK;YACjC,SAAS,EAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe;YAC1E,WAAW,EAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC;gBACvC,UAAU,EAAE,cAAc;gBAC1B,aAAa,EAAE,UAAU,CAAC,aAAa;gBACvC,UAAU,EAAE,UAAU,CAAC,KAAK;gBAC5B,QAAQ,EAAE,UAAU,CAAC,KAAK;gBAC1B,KAAK,EAAE,aAAa;gBACpB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC,CAAC,CAAC,CAAC,SAAS;SACd,CAAC;IACJ,CAAC;IAED,oBAAoB;IACpB,IAAI,UAAU,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;QACtC,OAAO;YACL,MAAM,EAAE,OAAO;YACf,cAAc,EAAE,UAAU,CAAC,KAAK;YAChC,eAAe,EAAE,UAAU,CAAC,KAAK;YACjC,SAAS,EAAE,SAAS,UAAU,CAAC,aAAa,WAAW;YACvD,WAAW,EAAE;gBACX,UAAU,EAAE,cAAc;gBAC1B,aAAa,EAAE,UAAU,CAAC,aAAa;gBACvC,UAAU,EAAE,UAAU,CAAC,KAAK;gBAC5B,QAAQ,EAAE,UAAU,CAAC,KAAK;gBAC1B,KAAK,EAAE,aAAa;gBACpB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC;SACF,CAAC;IACJ,CAAC;IAED,sBAAsB;IACtB,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QACtD,kBAAkB;QAClB,OAAO;YACL,MAAM,EAAE,OAAO;YACf,cAAc,EAAE,UAAU,CAAC,KAAK;YAChC,eAAe,EAAE,UAAU,CAAC,KAAK;YACjC,SAAS,EAAE,oBAAoB,aAAa,SAAS;YACrD,WAAW,EAAE;gBACX,UAAU,EAAE,cAAc;gBAC1B,aAAa,EAAE,UAAU,CAAC,aAAa;gBACvC,UAAU,EAAE,UAAU,CAAC,KAAK;gBAC5B,QAAQ,EAAE,UAAU,CAAC,KAAK;gBAC1B,KAAK,EAAE,aAAa;gBACpB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC;SACF,CAAC;IACJ,CAAC;IAED,WAAW;IACX,IAAI,UAAU,CAAC,eAAe,IAAI,mBAAmB,EAAE,CAAC;QACtD,OAAO;YACL,MAAM,EAAE,OAAO;YACf,cAAc,EAAE,UAAU,CAAC,KAAK;YAChC,eAAe,EAAE,UAAU,CAAC,KAAK;YACjC,SAAS,EAAE,MAAM,UAAU,CAAC,aAAa,cAAc,mBAAmB,GAAG;YAC7E,WAAW,EAAE;gBACX,UAAU,EAAE,cAAc;gBAC1B,aAAa,EAAE,UAAU,CAAC,aAAa;gBACvC,UAAU,EAAE,UAAU,CAAC,KAAK;gBAC5B,QAAQ,EAAE,UAAU,CAAC,KAAK;gBAC1B,KAAK,EAAE,aAAa;gBACpB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC;SACF,CAAC;IACJ,CAAC;IAED,OAAO;IACP,KAAK,CAAC,OAAO,EAAE,8CAA8C,EAC3D,UAAU,CAAC,aAAa,EAAE,aAAa,EAAE,UAAU,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC;IAE3E,OAAO;QACL,MAAM,EAAE,WAAW;QACnB,cAAc,EAAE,cAAc;QAC9B,eAAe,EAAE,QAAQ,EAAE,iBAAiB;QAC5C,SAAS,EAAE,oBAAoB,aAAa,qBAAqB,UAAU,CAAC,eAAe,GAAG,CAAC,OAAO;QACtG,WAAW,EAAE;YACX,UAAU,EAAE,iBAAiB;YAC7B,aAAa,EAAE,UAAU,CAAC,aAAa;YACvC,UAAU,EAAE,cAAc;YAC1B,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,aAAa;YACpB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC;KACF,CAAC;AACJ,CAAC;AAED,kBAAkB;AAClB,MAAM,UAAU,0BAA0B,CAAC,MAAc;IACvD,OAAO,wBAAwB,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC;AACtD,CAAC"}

package/dist/engine/pipeline/state_machine/certainty_gate.d.ts

@@ -0,0 +1,92 @@
+/**
+ * 三级确定性门禁 — 状态机阶段执行前检查。
+ *
+ * 第一级：输入完备性（知识覆盖 + 必需输入 + 生命周期知识门禁）
+ * 第二级：方案风险扫描（8 种风险模式 + mini-brainstorm 触发 + 计划前置门禁）
+ * 第三级：决策确认（人类确认级别 + 设计产物门禁）
+ */
+import type { TaskStage } from "../../workflow/workflow_navigation_contract.js";
+import type { KnowledgeIndexManager } from "../../../knowledge/index_manager.js";
+import type { ProjectConfig, TaskContext } from "../../../types/index.js";
+import { type StageContract } from "../../workflow/workflow_contract_registry.js";
+import type { CertaintyGateResult, PipelineState } from "../../../types/state_machine.js";
+import { type SideEffect } from "../../contracts/tool_invocation_contract_registry.js";
+/** 门禁评估参数 */
+export interface CertaintyGateParams {
+    stage: TaskStage;
+    knowledgeIndex: KnowledgeIndexManager;
+    stageContract?: StageContract;
+    workDescription: string;
+    pipelineState: PipelineState;
+    config: ProjectConfig;
+}
+/**
+ * 评估三级确定性门禁。
+ *
+ * @param params - 门禁评估参数
+ * @returns 三级门禁结果
+ */
+export declare function evaluateCertaintyGate(params: CertaintyGateParams): CertaintyGateResult;
+/** 计划前置门禁结果 */
+export interface PlanProposalGateResult {
+    allowed: boolean;
+    diagnostic_code?: string;
+    violation_type?: string;
+    reason?: string;
+}
+/**
+ * 计划前置门禁 — 写操作前必须有 plan_proposal_gate。
+ *
+ * 迁移自 gate_checks.ts:checkWriteToolPlanGate，集成到确定性门禁第二级。
+ * middleware.ts 从此模块导入，不再依赖 gate_checks.ts。
+ */
+export declare function evaluatePlanProposalGate(params: {
+    ctx: TaskContext | null;
+    toolName: string;
+    sideEffects: SideEffect[];
+}): PlanProposalGateResult;
+/** 设计产物门禁结果 */
+export interface DesignArtifactGateResult {
+    allowed: boolean;
+    diagnostic_code?: string;
+    reason?: string;
+}
+/**
+ * 设计产物编码门禁 — 依赖设计包的任务，在真实复验完成前不得写入业务实现。
+ *
+ * 迁移自 gate_checks.ts:checkDesignArtifactWriteGate，集成到确定性门禁第三级。
+ * 仅阻断文件/配置/外部交付写入；任务状态、设计文档复验和讨论本身仍可推进。
+ */
+export declare function evaluateDesignArtifactGate(params: {
+    ctx: TaskContext | null;
+    toolName: string;
+    sideEffects: SideEffect[];
+}): DesignArtifactGateResult;
+/** 生命周期知识门禁结果 */
+export interface LifecycleKnowledgeGateResult {
+    allowed: boolean;
+    hard_fail_count: number;
+    findings: string[];
+    decision_summary_zh: string;
+    recovery_commands: string[];
+    contract_id: string;
+    lifecycle_stage: string;
+    authoritative_paths: string[];
+}
+/**
+ * 生命周期知识门禁 — 检查项目知识 hard rule 是否满足。
+ *
+ * 迁移自 lifecycle_knowledge_contract.ts:evaluateLifecycleKnowledgeDecision，
+ * 集成到确定性门禁第一级。sf_stage_execute/sf_gate_check/sf_stage_advance 必经此门。
+ */
+export declare function evaluateLifecycleKnowledgeGate(params: {
+    toolName: string;
+    projectPath: string;
+    config: ProjectConfig;
+    ctx: TaskContext | null;
+    taskId?: string;
+    changedFiles?: string[];
+    sideEffects: SideEffect[];
+}): Promise<LifecycleKnowledgeGateResult>;
+export { GATE_CHECK_TO_CAPABILITY, applyCapabilitySafetyValve } from "./capability_safety_valve.js";
+//# sourceMappingURL=certainty_gate.d.ts.map

package/dist/engine/pipeline/state_machine/certainty_gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"certainty_gate.d.ts","sourceRoot":"","sources":["../../../../src/engine/pipeline/state_machine/certainty_gate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gDAAgD,CAAC;AAChF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC1E,OAAO,EAAqB,KAAK,aAAa,EAAE,MAAM,8CAA8C,CAAC;AACrG,OAAO,KAAK,EACV,mBAAmB,EAGnB,aAAa,EACd,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAsB,KAAK,UAAU,EAAE,MAAM,sDAAsD,CAAC;AAoF3G,aAAa;AACb,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,SAAS,CAAC;IACjB,cAAc,EAAE,qBAAqB,CAAC;IACtC,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,aAAa,CAAC;IAC7B,MAAM,EAAE,aAAa,CAAC;CACvB;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,mBAAmB,GAAG,mBAAmB,CAuEtF;AAyLD,eAAe;AACf,MAAM,WAAW,sBAAsB;IACrC,OAAO,EAAE,OAAO,CAAC;IACjB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE;IAC/C,GAAG,EAAE,WAAW,GAAG,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,GAAG,sBAAsB,CAWzB;AAED,eAAe;AACf,MAAM,WAAW,wBAAwB;IACvC,OAAO,EAAE,OAAO,CAAC;IACjB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,MAAM,EAAE;IACjD,GAAG,EAAE,WAAW,GAAG,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,GAAG,wBAAwB,CAW3B;AAED,iBAAiB;AACjB,MAAM,WAAW,4BAA4B;IAC3C,OAAO,EAAE,OAAO,CAAC;IACjB,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,CAAC;IACxB,mBAAmB,EAAE,MAAM,EAAE,CAAC;CAC/B;AAED;;;;;GAKG;AACH,wBAAsB,8BAA8B,CAAC,MAAM,EAAE;IAC3D,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,aAAa,CAAC;IACtB,GAAG,EAAE,WAAW,GAAG,IAAI,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,GAAG,OAAO,CAAC,4BAA4B,CAAC,CA2DxC;AAGD,OAAO,EAAE,wBAAwB,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC"}