@dommaker/harness 0.16.9 → 0.17.1

package/dist/core/constraints/definitions/guidelines.js.map

@@ -1 +1 @@
-{"version":3,"file":"guidelines.js","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/guidelines.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAIH,2CAA2C;AAC3C,mBAAmB;AACnB,GAAG;AACH,wBAAwB;AACxB,2CAA2C;AAE9B,QAAA,UAAU,GAA+B;IACpD;;;;OAIG;IACH,eAAe,EAAE;QACf,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,oCAAoC;QAC1C,OAAO,EAAE,sBAAsB;QAC/B,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,CAAC;QAChC,WAAW,EAAE,gBAAgB;QAC7B,WAAW,EAAE;;;;;;;;;;;;;;;+BAec;QAC3B,eAAe,EAAE,wDAAwD;KAC1E;IAED;;;OAGG;IACH,yBAAyB,EAAE;QACzB,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,iDAAiD;QACvD,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,kBAAkB;QAC/B,WAAW,EAAE;;;;;;;;;;;;;;;4BAeW;QACxB,UAAU,EAAE,CAAC,aAAa,EAAE,oBAAoB,EAAE,gBAAgB,CAAC;QACnE,eAAe,EAAE,uDAAuD;KACzE;IAED;;;OAGG;IACH,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,6CAA6C;QACnD,OAAO,EAAE,cAAc;QACvB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,WAAW;QACxB,WAAW,EAAE;;;;;;;;;;;;mBAYE;QACf,UAAU,EAAE,CAAC,aAAa,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,wBAAwB,CAAC;QAC3F,eAAe,EAAE,+DAA+D;KACjF;IAED;;;OAGG;IACH,WAAW,EAAE;QACX,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,+CAA+C;QACrD,OAAO,EAAE,WAAW;QACpB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,WAAW;QACxB,WAAW,EAAE;;;;;;;;;;aAUJ;QACT,UAAU,EAAE,CAAC,mBAAmB,EAAE,sBAAsB,EAAE,kBAAkB,CAAC;QAC7E,eAAe,EAAE,iEAAiE;KACnF;IAED;;;OAGG;IACH,uBAAuB,EAAE;QACvB,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,kDAAkD;QACxD,OAAO,EAAE,YAAY;QACrB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,EAAE,kBAAkB,CAAC;QACpD,WAAW,EAAE,mBAAmB;QAChC,WAAW,EAAE;;;;;;;;;kCASiB;QAC9B,UAAU,EAAE,CAAC,sBAAsB,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,sBAAsB,CAAC;QACzG,eAAe,EAAE,8EAA8E;QAC/F,YAAY,EAAE,IAAI;KACnB;IAED;;;OAGG;IACH,+BAA+B,EAAE;QAC/B,EAAE,EAAE,iCAAiC;QACrC,IAAI,EAAE,+CAA+C;QACrD,OAAO,EAAE,cAAc;QACvB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE;YACP,iBAAiB;YACjB,iBAAiB;YACjB,iBAAiB;YACjB,iBAAiB;YACjB,kBAAkB;YAClB,qBAAqB;SACtB;QACD,WAAW,EAAE,aAAa;QAC1B,WAAW,EAAE;;;;;;;;;;;;;oBAaG;QAChB,UAAU,EAAE,CAAC,eAAe,EAAE,QAAQ,EAAE,gBAAgB,CAAC;QACzD,eAAe,EAAE,oDAAoD;KACtE;IAED;;;OAGG;IACH,eAAe,EAAE;QACf,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,0CAA0C;QAChD,OAAO,EAAE,6BAA6B;QACtC,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,iBAAiB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,kBAAkB,CAAC;QAC1F,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE;;;;;;;;;;;;;yFAawE;QACrF,UAAU,EAAE,CAAC,mBAAmB,EAAE,cAAc,EAAE,0BAA0B,CAAC;KAC9E;IAED;;;OAGG;IACH,kCAAkC,EAAE;QAClC,EAAE,EAAE,oCAAoC;QACxC,IAAI,EAAE,4CAA4C;QAClD,OAAO,EAAE,cAAc;QACvB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE;;;;;;;;;;cAUH;QACV,UAAU,EAAE,CAAC,wBAAwB,EAAE,sBAAsB,EAAE,qBAAqB,CAAC;QACrF,eAAe,EAAE,mDAAmD;KACrE;IAED;;;OAGG;IACH,qBAAqB,EAAE;QACrB,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,uCAAuC;QAC7C,OAAO,EAAE,gBAAgB;QACzB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,iBAAiB;QAC1B,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE;;;;;;;;;;OAUV;QACH,eAAe,EAAE,8CAA8C;KAChE;IAED;;;OAGG;IACH,sBAAsB,EAAE;QACtB,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,sCAAsC;QAC5C,OAAO,EAAE,aAAa;QACtB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,gBAAgB;QAC7B,WAAW,EAAE;;;;;;;;YAQL;KACT;IAED;;;OAGG;IACH,mCAAmC,EAAE;QACnC,EAAE,EAAE,qCAAqC;QACzC,IAAI,EAAE,0DAA0D;QAChE,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,gBAAgB,EAAE,qBAAqB,EAAE,qBAAqB,CAAC;QACzE,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;;;;;;;;;;WAmBN;QACP,UAAU,EAAE,CAAC,sBAAsB,EAAE,eAAe,EAAE,iBAAiB,CAAC;QACxE,eAAe,EAAE,2DAA2D;KAC7E;IAED;;;OAGG;IACH,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,2CAA2C;QACjD,OAAO,EAAE,cAAc;QACvB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,QAAQ;QACjB,WAAW,EAAE,eAAe;QAC5B,WAAW,EAAE;;;;;;;;;;;;;;;;cAgBH;QACV,UAAU,EAAE,CAAC,oBAAoB,EAAE,2BAA2B,EAAE,4BAA4B,CAAC;QAC7F,eAAe,EAAE,2DAA2D;KAC7E;IAED;;;OAGG;IACH,gBAAgB,EAAE;QAChB,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,wCAAwC;QAC9C,OAAO,EAAE,oDAAoD;QAC7D,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,eAAe;QAC5B,WAAW,EAAE;;;;;;;;;;;;;+BAac;QAC3B,UAAU,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,gBAAgB,CAAC;KACvD;IAED;;;OAGG;IACH;;;;OAIG;IACH,kBAAkB,EAAE;QAClB,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,iDAAiD;QACvD,OAAO,EAAE,mBAAmB;QAC5B,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,CAAC;QAChC,WAAW,EAAE,cAAc;QAC3B,WAAW,EAAE;;;;;;;;;;;;;;;;2BAgBU;QACvB,eAAe,EAAE,8FAA8F;QAC/G,UAAU,EAAE,CAAC,mBAAmB,CAAC;KAClC;IAED;;;;OAIG;IACH,WAAW,EAAE;QACX,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,yDAAyD;QAC/D,OAAO,EAAE,oBAAoB;QAC7B,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,EAAE,gBAAgB,CAAC;QAClD,WAAW,EAAE,aAAa;QAC1B,WAAW,EAAE;;;;;;;;;;;;;;uBAcM;QACnB,eAAe,EAAE,mIAAmI;QACpJ,UAAU,EAAE,CAAC,mBAAmB,EAAE,gBAAgB,EAAE,sBAAsB,CAAC;KAC5E;IAED;;;OAGG;IACH,yBAAyB,EAAE;QACzB,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,6CAA6C;QACnD,OAAO,EAAE,yBAAyB;QAClC,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,EAAE,eAAe,EAAE,qBAAqB,CAAC;QACxE,WAAW,EAAE,gBAAgB;QAC7B,WAAW,EAAE;;;;qDAIoC;QACjD,eAAe,EAAE,0FAA0F;KAC5G;IAED;;;OAGG;IACH,yBAAyB,EAAE;QACzB,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,4CAA4C;QAClD,OAAO,EAAE,qBAAqB;QAC9B,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,eAAe,EAAE,iBAAiB,CAAC;QAC7C,WAAW,EAAE,eAAe;QAC5B,WAAW,EAAE;;;;;sBAKK;QAClB,eAAe,EAAE,0FAA0F;KAC5G;IAED;;;OAGG;IACH,qBAAqB,EAAE;QACrB,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,0CAA0C;QAChD,OAAO,EAAE,oBAAoB;QAC7B,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,EAAE,mBAAmB,CAAC;QACrD,WAAW,EAAE,gBAAgB;QAC7B,WAAW,EAAE,uDAAuD;QACpE,eAAe,EAAE,kDAAkD;QACnE,YAAY,EAAE,IAAI;KACnB;IAED;;;OAGG;IACH,0BAA0B,EAAE;QAC1B,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,4DAA4D;QAClE,OAAO,EAAE,2BAA2B;QACpC,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,CAAC;QAChC,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE,qFAAqF;QAClG,eAAe,EAAE,sDAAsD;QACvE,YAAY,EAAE,IAAI;KACnB;IAED;;;OAGG;IACH,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,sCAAsC;QAC5C,OAAO,EAAE,qBAAqB;QAC9B,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,EAAE,kBAAkB,CAAC;QACpD,WAAW,EAAE,gBAAgB;QAC7B,WAAW,EAAE,iFAAiF;QAC9F,eAAe,EAAE,gDAAgD;QACjE,YAAY,EAAE,IAAI;KACnB;IAED;;;OAGG;IACH,iBAAiB,EAAE;QACjB,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,6CAA6C;QACnD,OAAO,EAAE,sBAAsB;QAC/B,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,EAAE,mBAAmB,CAAC;QACrD,WAAW,EAAE,YAAY;QACzB,WAAW,EAAE,6FAA6F;QAC1G,eAAe,EAAE,8DAA8D;QAC/E,YAAY,EAAE,IAAI;KACnB;IAED;;;OAGG;IACH,kBAAkB,EAAE;QAClB,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,kDAAkD;QACxD,OAAO,EAAE,2BAA2B;QACpC,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,EAAE,kBAAkB,CAAC;QACpD,WAAW,EAAE,kBAAkB;QAC/B,WAAW,EAAE,oIAAoI;QACjJ,eAAe,EAAE,mEAAmE;QACpF,YAAY,EAAE,IAAI;KACnB;IAED;;;OAGG;IACH,sBAAsB,EAAE;QACtB,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,uDAAuD;QAC7D,OAAO,EAAE,kCAAkC;QAC3C,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,mBAAmB,CAAC;QAC5E,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE,yEAAyE;QACtF,eAAe,EAAE,oEAAoE;QACrF,YAAY,EAAE,IAAI;KACnB;IAED;;;OAGG;IACH,4BAA4B,EAAE;QAC5B,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,8DAA8D;QACpE,OAAO,EAAE,mBAAmB;QAC5B,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,mBAAmB,CAAC;QAC5E,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE,2FAA2F;QACxG,eAAe,EAAE,kDAAkD;QACnE,YAAY,EAAE,IAAI;KACnB;IAED;;;OAGG;IACH,8BAA8B,EAAE;QAC9B,EAAE,EAAE,gCAAgC;QACpC,IAAI,EAAE,8CAA8C;QACpD,OAAO,EAAE,oCAAoC;QAC7C,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,mBAAmB,CAAC;QAC5E,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE,sJAAsJ;QACnK,eAAe,EAAE,mFAAmF;QACpG,YAAY,EAAE,IAAI;KACnB;IAED;;;OAGG;IACH,qBAAqB,EAAE;QACrB,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,mDAAmD;QACzD,OAAO,EAAE,0CAA0C;QACnD,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,mBAAmB,CAAC;QAC5E,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE,gLAAgL;QAC7L,eAAe,EAAE,8HAA8H;QAC/I,YAAY,EAAE,IAAI;KACnB;IAED;;;OAGG;IACH,0BAA0B,EAAE;QAC1B,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,6DAA6D;QACnE,OAAO,EAAE,0BAA0B;QACnC,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,WAAW,CAAC;QAC3G,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE,uKAAuK;QACpL,eAAe,EAAE,gGAAgG;QACjH,YAAY,EAAE,IAAI;KACnB;IAED;;;OAGG;IACH,wBAAwB,EAAE;QACxB,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,4EAA4E;QAClF,OAAO,EAAE,sCAAsC;QAC/C,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,CAAC;QACzE,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE,4KAA4K;QACzL,eAAe,EAAE,sDAAsD;KACxE;CACF,CAAC"}
+{"version":3,"file":"guidelines.js","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/guidelines.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAIU,QAAA,UAAU,GAA+B;IACpD;;;OAGG;IACH,wBAAwB,EAAE;QACxB,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,4EAA4E;QAClF,OAAO,EAAE,sCAAsC;QAC/C,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,CAAC;QACzE,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE,4KAA4K;QACzL,eAAe,EAAE,sDAAsD;KACxE;IAED;;;OAGG;IACH,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,0BAA0B;QAChC,OAAO,EAAE,WAAW;QACpB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE,mCAAmC;QAChD,eAAe,EAAE,8EAA8E;KAChG;IAED;;;OAGG;IACH,eAAe,EAAE;QACf,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,0CAA0C;QAChD,OAAO,EAAE,6BAA6B;QACtC,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,iBAAiB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,kBAAkB,CAAC;QAC1F,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE;;;;;;;;;;;;;yFAawE;QACrF,UAAU,EAAE,CAAC,mBAAmB,EAAE,cAAc,EAAE,0BAA0B,CAAC;KAC9E;IAED;;;OAGG;IACH,gBAAgB,EAAE;QAChB,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,wCAAwC;QAC9C,OAAO,EAAE,oDAAoD;QAC7D,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,eAAe;QAC5B,WAAW,EAAE;;;;;;;;;;;;;+BAac;QAC3B,UAAU,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,gBAAgB,CAAC;KACvD;CACF,CAAC"}

package/dist/core/constraints/definitions/iron-laws.d.ts

@@ -1,6 +1,10 @@
 /**
- * 约束定义拆分文件（工单 20）：原 definitions.ts 按层拆分，
- * definitions.ts 保持原路径做薄聚合（studio rule-scanner 契约）。
+ * check · iron_law 定义（ADR-0001：kind 二元模型）
+ *
+ * 只保留带真实 checker 的铁律。每条必须：
+ * - kind: 'check'
+ * - level: 'iron_law'
+ * - 在 checkers/ 注册表中有对应实现（注册表闭环，缺失即加载期抛错）
  */
 import type { Constraint } from '../../../types/constraint';
 export declare const IRON_LAWS: Record<string, Constraint>;

package/dist/core/constraints/definitions/iron-laws.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"iron-laws.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/iron-laws.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAQ5D,eAAO,MAAM,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CA+ThD,CAAC"}
+{"version":3,"file":"iron-laws.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/iron-laws.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAE5D,eAAO,MAAM,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAkIhD,CAAC"}

package/dist/core/constraints/definitions/iron-laws.js

@@ -1,50 +1,22 @@
 "use strict";
 /**
- * 约束定义拆分文件（工单 20）：原 definitions.ts 按层拆分，
- * definitions.ts 保持原路径做薄聚合（studio rule-scanner 契约）。
+ * check · iron_law 定义（ADR-0001：kind 二元模型）
+ *
+ * 只保留带真实 checker 的铁律。每条必须：
+ * - kind: 'check'
+ * - level: 'iron_law'
+ * - 在 checkers/ 注册表中有对应实现（注册表闭环，缺失即加载期抛错）
  */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.IRON_LAWS = void 0;
-// ========================================
-// IRON LAWS（铁律）
-// 
-// 定义：绝对禁止，无例外，违背即阻止执行
-// ========================================
 exports.IRON_LAWS = {
-    /**
-     * 禁止跳过检查点验证
-     * 原因：安全底线，检查点是质量门控
-     */
-    no_bypass_checkpoint: {
-        id: 'no_bypass_checkpoint',
-        rule: 'NO BYPASSING CHECKPOINTS',
-        message: '禁止跳过检查点验证',
-        level: 'iron_law',
-        trigger: 'code_implementation',
-        enforcement: 'checkpoint-required',
-        description: '所有检查点必须通过，不能跳过验证步骤。检查点是质量的最后一道防线。',
-        promptInjection: '每个关键步骤后有 checkpoint 验证点，必须通过才能继续。通过标准：测试通过、类型检查无错误、lint 无新增警告。未通过时回退修复，不得跳过。',
-    },
-    /**
-     * 禁止自评通过
-     * 原因：质量底线，必须有测试证据
-     */
-    no_self_approval: {
-        id: 'no_self_approval',
-        rule: 'NO SELF APPROVAL WITHOUT TEST EVIDENCE',
-        message: '禁止自评通过，必须提供测试证据',
-        level: 'iron_law',
-        trigger: 'task_completion_claim',
-        enforcement: 'passes-gate',
-        description: '任务完成声明必须基于真实测试结果，不能由开发者自评。测试证据包括：测试报告、覆盖率数据、CI 通过记录。',
-        promptInjection: '声明任务完成时，必须提供可验证的测试证据（测试报告、覆盖率数据、CI 通过记录），不得仅凭自己的判断声称完成。',
-    },
     /**
      * 禁止无验证声明完成
      * 原因：质量底线，必须有验证命令
      */
     no_completion_without_verification: {
         id: 'no_completion_without_verification',
+        kind: 'check',
         rule: 'NO COMPLETION CLAIMS WITHOUT FRESH VERIFICATION EVIDENCE',
         message: '禁止无验证声明完成，必须运行验证命令',
         level: 'iron_law',
@@ -53,30 +25,6 @@ exports.IRON_LAWS = {
         description: '在声明任何任务完成之前，必须运行新鲜的、完整的验证命令。验证命令包括：npm test、npm run build、CI 流程。',
         promptInjection: '在声明任务完成前，必须重新运行完整的验证命令（npm test、npm run build、type check），使用新鲜的输出作为完成证据，不得复用旧结果。',
     },
-    /**
-     * 禁止简化测试
-     * 原因：质量底线，测试困难必须解决
-     */
-    no_test_simplification: {
-        id: 'no_test_simplification',
-        rule: 'NO SIMPLIFYING TESTS TO AVOID DIFFICULTY',
-        message: '禁止简化测试绕过困难',
-        level: 'iron_law',
-        trigger: 'test_creation',
-        enforcement: 'full-test-coverage',
-        description: `在编写测试时，不能因为遇到困难而简化或跳过测试。
-
-遇到测试困难时：
-1. 分析问题：是 mock 问题？异步问题？环境问题？
-2. 尝试解决：查阅文档、搜索解决方案
-3. 请求帮助：向用户说明困难，请求指示
-
-禁止：
-- 为了绕过 mock 困难而删除测试用例
-- 为了绕过异步问题而跳过断言
-- 降低测试覆盖率要求`,
-        promptInjection: '编写测试时遇到困难（mock、异步、环境），不得删除用例或跳过断言。正确做法：分析问题 → 查阅文档 → 尝试解决 → 仍不行则向用户说明困难请求指示。不得降低覆盖率要求。',
-    },
     /**
      * 禁止一次做多个任务（one-shotting）
      * 来源：Anthropic AI Harness - Effective Harnesses for Long-running Agents
@@ -84,6 +32,7 @@ exports.IRON_LAWS = {
      */
     incremental_progress: {
         id: 'incremental_progress',
+        kind: 'check',
         rule: 'ONE TASK PER SESSION',
         message: '禁止一次做多个任务，每次只做一件事',
         level: 'iron_law',
@@ -112,204 +61,72 @@ https://www.anthropic.com/engineering/effective-harnesses-for-long-running-agent
         promptInjection: '一次只处理一个任务。改动涉及多个模块、超过 100 行、或影响多个文件时，必须拆分为小步骤分步执行，每步有独立 checkpoint 可回滚。不要试图一次性完成所有改动。',
     },
     /**
-     * 禁止实现未验证的外部依赖能力
-     * 原因：假设外部系统能力存在，实现后发现不支持，浪费开发时间
-     */
-    verify_external_capability: {
-        id: 'verify_external_capability',
-        rule: 'VERIFY EXTERNAL CAPABILITY BEFORE IMPLEMENTATION',
-        message: '外部依赖能力必须先验证',
-        level: 'iron_law',
-        trigger: 'api_change',
-        enforcement: 'capability-verification',
-        description: `实现方案依赖外部系统的未确认能力时，必须先验证。
-
-【触发条件】（满足任一）
-- 依赖外部 API/服务的回调/交互机制
-- 使用未验证过的外部系统高级功能
-- 假设外部系统支持某种能力但未查阅文档
-
-【必须执行】
-1. 查阅官方文档 → 确认能力是否存在
-2. 发送最小测试 → 验证可行性
-3. 记录限制 → 作为设计约束
-
-【不触发】
-- 内部逻辑实现
-- 已熟悉的库/框架基本功能
-- 标准 CRUD 操作
-
-【案例】
-- 假设外部 API 支持某种交互模式
-- 未查阅官方文档的限制说明
-- 实现完整功能后才发现不支持
-- 浪费开发时间，需要重新设计方案
-
-【正确流程】
-设计方案 → 查阅文档限制 → 发送最小测试 → 验证可行 → 开发`,
-        promptInjection: '实现方案依赖外部 API/服务未确认的能力时，必须先查阅官方文档确认能力存在，再发送最小测试验证可行性，记录限制作为设计约束。不要假设外部系统支持某种能力就直接开发。',
-    },
-    /**
-     * 实现后必须对比需求验证
-     * 原因：避免实现偏离需求
-     */
-    no_implementation_without_requirement_review: {
-        id: 'no_implementation_without_requirement_review',
-        rule: 'REVIEW IMPLEMENTATION AGAINST REQUIREMENTS',
-        message: '实现后必须对比需求验证',
-        level: 'iron_law',
-        trigger: 'code_implementation',
-        enforcement: 'requirement-review',
-        description: `实现完成后，必须对比原始需求进行验证。
-
-【触发条件】
-- 功能开发完成
-- Bug 修复完成
-- 重构完成
-
-【必须执行】
-1. 回顾需求文档（Spec/Roadmap/Issue）
-2. 检查实现是否符合每条 AC
-3. 确认边界情况已覆盖
-4. 输出验证清单
-
-【禁止】
-- 实现后不对比需求直接提交
-- 只测试"功能能跑"不验证 AC
-- 跳过边界情况验证
-- 假设"差不多就行"
-
-【验证清单模板】
-| AC | 实现 | 状态 |
-|----|------|:----:|
-| AC-001 | xxx | ✅ |
-| AC-002 | xxx | ✅ |
-
-【案例】
-- 需求：事件触发后自动创建关联资源
-- 实现：增加了自动关联逻辑
-- 验证：✅ 检查了 Spec 定义、测试了多种场景`,
-        promptInjection: '实现完成后，必须逐条对比原始需求文档（Spec/Issue/Roadmap）中的验收标准(AC)，确认每条 AC 已实现且边界情况已覆盖，输出验证清单。不得仅凭"功能能跑"就认为完成。',
-    },
-    /**
-     * 禁止无需求就开始实现
-     * 原因：没有需求就没有验收标准，实现方向不可控
+     * 禁止无需求就开始实现（吸收 no_implementation_without_requirement_review）
+     * 原因：没有需求就没有验收标准，实现方向不可控；
+     *       实现完成后必须逐条对照 AC 验证，避免偏离需求
      */
     no_implementation_without_requirement: {
         id: 'no_implementation_without_requirement',
-        rule: 'NO IMPLEMENTATION WITHOUT REQUIREMENTS',
-        message: '禁止无需求就开始实现',
+        kind: 'check',
+        rule: 'NO IMPLEMENTATION WITHOUT REQUIREMENTS, AND REVIEW AGAINST AC AFTER IMPLEMENTATION',
+        message: '禁止无需求就开始实现，实现后必须逐条对照 AC 验证',
         level: 'iron_law',
         trigger: ['code_implementation', 'design_request'],
         enforcement: 'requirement-exists',
-        description: `在开始实现之前，必须有明确的需求定义。
-
-【触发条件】
-- 开始编写业务代码
-- 开始开发新功能
+        description: `在开始实现之前，必须有明确的需求定义；实现完成后，必须逐条对照验收标准（AC）验证。
 
-【必须执行】
+【实现前必须执行】
 1. 确认需求来源（Spec/Issue/Roadmap/用户指令）
 2. 确认验收标准（AC）已定义
 3. 确认边界情况已明确
 
+【实现后必须执行】（吸收自 no_implementation_without_requirement_review）
+1. 回顾需求文档（Spec/Roadmap/Issue）
+2. 逐条检查实现是否符合每条 AC
+3. 确认边界情况已覆盖
+4. 输出验证清单（AC × 实现 × 状态）
+
 【禁止】
-- 没有需求就开始写代码
-- 假设"用户想要什么"就开始实现
-- 跳过需求确认直接开发
+- 没有需求就开始写代码、凭假设开始实现
+- 实现后不对比需求直接提交，只测"功能能跑"不验证 AC
+- 跳过边界情况验证，假设"差不多就行"
 
 【正确流程】
-需求确认 → AC 定义 → 实现 → 验证`,
-        promptInjection: '开始编写代码前，必须确认：需求来源明确（Spec/Issue/Roadmap/用户指令）、验收标准(AC)已定义、边界情况已明确。不要凭假设或猜测开始实现。',
-    },
-    /**
-     * 禁止模糊完成声明
-     * 原因：质量底线，必须有可量化证据
-     * 来源：Superpowers no_fuzzy_completion_claim
-     */
-    no_fuzzy_completion_claim: {
-        id: 'no_fuzzy_completion_claim',
-        rule: 'NO FUZZY COMPLETION CLAIMS WITHOUT QUANTIFIABLE EVIDENCE',
-        message: '禁止模糊完成声明，必须提供可量化证据',
-        level: 'iron_law',
-        trigger: ['code_implementation', 'design_request'],
-        enforcement: 'fuzzy-check',
-        description: `声明任务完成时，禁止使用模糊词语。必须提供具体、可量化的验证结果。
-
-【禁止的模糊词】
-- "应该没问题"、"大概完成了"、"可能可以了"
-- "好像通过了"、"似乎工作正常"、"应该能跑"
-- "基本完成"、"差不多"、"大部分功能可用"
-- "我记得删过了"、"之前说删了"、"已删除"（未经 ls/grep 验证）
-- "大部分实现"（未经逐 AC 对照 spec）
-- "已修复"（未经 test 验证）
-
-【必须提供】
-- 测试通过的精确数量（如 "142 tests passed"）
-- 验证命令输出（如 "npm test 全部通过"）
-- 删除操作后 ls 确认（如 "ls packages/dead-pkg → No such file"）
-- Spec AC 对照表（逐项标注 pass/fail）`,
-        promptInjection: '声明任务完成时，禁止使用模糊词语。必须提供具体的测试通过数量、覆盖率数据和验证命令输出来证明任务真的完成了。声明"已删除"前必须用 ls 确认文件不存在。声明 spec 完成前必须逐 AC 对照。',
-    },
-    /**
-     * 禁止表演性同意
-     * 原因：同意不等于理解，必须先分析再确认
-     * 来源：Superpowers no_performative_agreement
-     */
-    no_performative_agreement: {
-        id: 'no_performative_agreement',
-        rule: 'NO PERFORMATIVE AGREEMENT WITHOUT ANALYSIS',
-        message: '禁止表演性同意，必须先分析再确认',
-        level: 'iron_law',
-        trigger: ['design_request'],
-        enforcement: 'performative-check',
-        description: `收到需求或反馈时，不能仅表示"好的"、"明白了"就直接执行。必须先分析、复述理解、确认一致。
-
-【禁止模式】
-- "好的，我来做" → 无分析直接行动
-- "明白了" → 没有复述理解
-- "没问题" → 没有提出疑问
-
-【必须步骤】
-1. 复述你对需求的理解
-2. 提出潜在的疑问或边界情况
-3. 说明你的实现方案
-4. 确认理解一致后再行动`,
-        promptInjection: '先思后码。明确声明前提假设。遇不确定先提问而非猜测。存在歧义时列出多种理解路径。若存在更简方案应果断提出异议。收到需求时：①复述理解 ②提出疑问 ③说明方案 ④确认一致。',
+需求确认 → AC 定义 → 实现 → 逐条对照 AC 验证`,
+        promptInjection: '开始编写代码前，必须确认：需求来源明确（Spec/Issue/Roadmap/用户指令）、验收标准(AC)已定义、边界情况已明确。不要凭假设或猜测开始实现。实现完成后，必须逐条对比原始需求文档中的验收标准(AC)，确认每条 AC 已实现且边界情况已覆盖，输出验证清单。不得仅凭"功能能跑"就认为完成。',
     },
     /**
-     * 必须两阶段审查
-     * 原因：先验证规范合规，再检查代码质量，防止规范偏差
-     * 来源：Superpowers two_stage_review_required
+     * 禁止简化测试
+     * 原因：质量底线，测试困难必须解决
      */
-    two_stage_review_required: {
-        id: 'two_stage_review_required',
-        rule: 'REVIEW MUST COVER SPEC COMPLIANCE BEFORE CODE QUALITY',
-        message: '审查必须两阶段：先验证规范合规，再检查代码质量',
+    no_test_simplification: {
+        id: 'no_test_simplification',
+        kind: 'check',
+        rule: 'NO SIMPLIFYING TESTS TO AVOID DIFFICULTY',
+        message: '禁止简化测试绕过困难',
         level: 'iron_law',
-        trigger: 'code_implementation',
-        enforcement: 'two-stage-review',
-        description: `代码审查必须分两阶段进行：
+        trigger: 'test_creation',
+        enforcement: 'full-test-coverage',
+        description: `在编写测试时，不能因为遇到困难而简化或跳过测试。
 
-【Stage 1: 规范合规审查】
-- 逐条对照验收标准(AC)验证
-- 重新运行 Executor 的测试，确认通过
-- 审计测试质量（是否只测了 happy path）
-- 补写边界条件测试，验证是否失败
+遇到测试困难时：
+1. 分析问题：是 mock 问题？异步问题？环境问题？
+2. 尝试解决：查阅文档、搜索解决方案
+3. 请求帮助：向用户说明困难，请求指示
 
-【Stage 2: 代码质量审查】
-- 仅在 Stage 1 全部通过后进入
-- 安全性检查（注入、泄露、权限）
-- 可读性检查（命名、结构、DRY）
-- 类型安全（type check、lint）`,
-        promptInjection: '代码审查必须分两阶段：① 规范合规审查 — 逐条对照验收标准(AC)验证实现是否满足需求，重新运行测试，审计测试质量并补写边界用例；② 代码质量审查 — 仅在 Stage 1 全部通过后，检查安全性、可读性、类型安全。Stage 1 不通过则不得进入 Stage 2。',
+禁止：
+- 为了绕过 mock 困难而删除测试用例
+- 为了绕过异步问题而跳过断言
+- 降低测试覆盖率要求`,
+        promptInjection: '编写测试时遇到困难（mock、异步、环境），不得删除用例或跳过断言。正确做法：分析问题 → 查阅文档 → 尝试解决 → 仍不行则向用户说明困难请求指示。不得降低覆盖率要求。',
     },
     /**
-     * 文档新鲜度 — 升级为 Iron Law (2026-05-19)
+     * 文档新鲜度
      * 原因：guideline 只警告不阻断，导致文档持续腐烂。
      */
     docs_freshness: {
         id: 'docs_freshness',
+        kind: 'check',
         rule: 'CAPABILITIES.MD MUST BE IN SYNC WITH CODE',
         message: 'CAPABILITIES.md 与源码不同步，运行 harness sync-docs 更新后重新提交',
         level: 'iron_law',

package/dist/core/constraints/definitions/iron-laws.js.map

@@ -1 +1 @@
-{"version":3,"file":"iron-laws.js","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/iron-laws.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAIH,2CAA2C;AAC3C,gBAAgB;AAChB,GAAG;AACH,sBAAsB;AACtB,2CAA2C;AAE9B,QAAA,SAAS,GAA+B;IACnD;;;OAGG;IACH,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,0BAA0B;QAChC,OAAO,EAAE,WAAW;QACpB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE,mCAAmC;QAChD,eAAe,EAAE,8EAA8E;KAChG;IAED;;;OAGG;IACH,gBAAgB,EAAE;QAChB,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,wCAAwC;QAC9C,OAAO,EAAE,iBAAiB;QAC1B,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,uBAAuB;QAChC,WAAW,EAAE,aAAa;QAC1B,WAAW,EAAE,sDAAsD;QACnE,eAAe,EAAE,yDAAyD;KAC3E;IAED;;;OAGG;IACH,kCAAkC,EAAE;QAClC,EAAE,EAAE,oCAAoC;QACxC,IAAI,EAAE,0DAA0D;QAChE,OAAO,EAAE,oBAAoB;QAC7B,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,mBAAmB;QAChC,WAAW,EAAE,kEAAkE;QAC/E,eAAe,EAAE,kFAAkF;KACpG;IAED;;;OAGG;IACH,sBAAsB,EAAE;QACtB,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,0CAA0C;QAChD,OAAO,EAAE,YAAY;QACrB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,eAAe;QACxB,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;YAUL;QACR,eAAe,EAAE,wFAAwF;KAC1G;IAED;;;;OAIG;IACH,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,mBAAmB;QAC5B,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,mBAAmB;QAChC,WAAW,EAAE;;;;;;;;;;;;;;;;;;;kFAmBiE;QAC9E,eAAe,EAAE,uFAAuF;KACzG;IAED;;;OAGG;IACH,0BAA0B,EAAE;QAC1B,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,kDAAkD;QACxD,OAAO,EAAE,aAAa;QACtB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,YAAY;QACrB,WAAW,EAAE,yBAAyB;QACtC,WAAW,EAAE;;;;;;;;;;;;;;;;;;;;;;;;mCAwBkB;QAC/B,eAAe,EAAE,qFAAqF;KACvG;IAED;;;OAGG;IACH,4CAA4C,EAAE;QAC5C,EAAE,EAAE,8CAA8C;QAClD,IAAI,EAAE,4CAA4C;QAClD,OAAO,EAAE,aAAa;QACtB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;2BA4BU;QACvB,eAAe,EAAE,8FAA8F;KAChH;IAED;;;OAGG;IACH,qCAAqC,EAAE;QACrC,EAAE,EAAE,uCAAuC;QAC3C,IAAI,EAAE,wCAAwC;QAC9C,OAAO,EAAE,YAAY;QACrB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,qBAAqB,EAAE,gBAAgB,CAAC;QAClD,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;;;;;;;;uBAiBM;QACnB,eAAe,EAAE,gFAAgF;KAClG;IAED;;;;OAIG;IACH,yBAAyB,EAAE;QACzB,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,0DAA0D;QAChE,OAAO,EAAE,oBAAoB;QAC7B,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,qBAAqB,EAAE,gBAAgB,CAAC;QAClD,WAAW,EAAE,aAAa;QAC1B,WAAW,EAAE;;;;;;;;;;;;;;8BAca;QAC1B,eAAe,EAAE,oGAAoG;KACtH;IAED;;;;OAIG;IACH,yBAAyB,EAAE;QACzB,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,4CAA4C;QAClD,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,gBAAgB,CAAC;QAC3B,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;;cAWH;QACV,eAAe,EAAE,uFAAuF;KACzG;IAED;;;;OAIG;IACH,yBAAyB,EAAE;QACzB,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,uDAAuD;QAC7D,OAAO,EAAE,yBAAyB;QAClC,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,kBAAkB;QAC/B,WAAW,EAAE;;;;;;;;;;;;wBAYO;QACpB,eAAe,EAAE,wIAAwI;KAC1J;IAED;;;OAGG;IACH,cAAc,EAAE;QACd,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,2CAA2C;QACjD,OAAO,EAAE,qDAAqD;QAC9D,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,mBAAmB,EAAE,iBAAiB,EAAE,qBAAqB,CAAC;QACxE,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE;kFACiE;KAC/E;CACF,CAAC"}
+{"version":3,"file":"iron-laws.js","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/iron-laws.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAIU,QAAA,SAAS,GAA+B;IACnD;;;OAGG;IACH,kCAAkC,EAAE;QAClC,EAAE,EAAE,oCAAoC;QACxC,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,0DAA0D;QAChE,OAAO,EAAE,oBAAoB;QAC7B,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,mBAAmB;QAChC,WAAW,EAAE,kEAAkE;QAC/E,eAAe,EAAE,kFAAkF;KACpG;IAED;;;;OAIG;IACH,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,mBAAmB;QAC5B,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,mBAAmB;QAChC,WAAW,EAAE;;;;;;;;;;;;;;;;;;;kFAmBiE;QAC9E,eAAe,EAAE,uFAAuF;KACzG;IAED;;;;OAIG;IACH,qCAAqC,EAAE;QACrC,EAAE,EAAE,uCAAuC;QAC3C,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,oFAAoF;QAC1F,OAAO,EAAE,4BAA4B;QACrC,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,qBAAqB,EAAE,gBAAgB,CAAC;QAClD,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;;;;;;;;;;+BAmBc;QAC3B,eAAe,EAAE,wJAAwJ;KAC1K;IAED;;;OAGG;IACH,sBAAsB,EAAE;QACtB,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,0CAA0C;QAChD,OAAO,EAAE,YAAY;QACrB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,eAAe;QACxB,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;YAUL;QACR,eAAe,EAAE,wFAAwF;KAC1G;IAED;;;OAGG;IACH,cAAc,EAAE;QACd,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,2CAA2C;QACjD,OAAO,EAAE,qDAAqD;QAC9D,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,mBAAmB,EAAE,iBAAiB,EAAE,qBAAqB,CAAC;QACxE,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE;kFACiE;KAC/E;CACF,CAAC"}

package/dist/core/constraints/definitions/prompts.d.ts

@@ -0,0 +1,12 @@
+/**
+ * prompt 类约束定义（ADR-0001：kind 二元模型）
+ *
+ * 纯文本提示层：
+ * - kind: 'prompt'，level 统一为 'prompt'
+ * - 不带 checker，不参与运行时检查与 trace 统计
+ * - promptInjection 参与 init 注入；trigger 供消费端（studio）做角色路由
+ * - appliesTo 标注适用场景（如 'agent-skill'、'llm-app'），缺省为通用
+ */
+import type { Constraint } from '../../../types/constraint';
+export declare const PROMPTS: Record<string, Constraint>;
+//# sourceMappingURL=prompts.d.ts.map

package/dist/core/constraints/definitions/prompts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompts.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/prompts.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAE5D,eAAO,MAAM,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAsZ9C,CAAC"}