soloforge 1.2.18 → 1.2.20

package/dist/engine/user_feedback_contract.js.map

@@ -1 +1 @@
-{"version":3,"file":"user_feedback_contract.js","sourceRoot":"","sources":["../../src/engine/user_feedback_contract.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAoJH,MAAM,iBAAiB,GAA8C;IACnE,WAAW,EAAE,CAAC,UAAU,EAAE,eAAe,CAAC;IAC1C,SAAS,EAAE,CAAC,eAAe,EAAE,UAAU,EAAE,gBAAgB,EAAE,aAAa,CAAC;IACzE,SAAS,EAAE,CAAC,sBAAsB,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS,CAAC;IAC3E,SAAS,EAAE,CAAC,sBAAsB,EAAE,gBAAgB,EAAE,aAAa,CAAC;IACpE,UAAU,EAAE,CAAC,oBAAoB,EAAE,iBAAiB,EAAE,SAAS,EAAE,SAAS,CAAC;IAC3E,SAAS,EAAE,CAAC,UAAU,EAAE,SAAS,EAAE,gBAAgB,CAAC;IACpD,OAAO,EAAE,CAAC,gBAAgB,EAAE,eAAe,EAAE,gBAAgB,CAAC;IAC9D,UAAU,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAChD,kBAAkB,EAAE,CAAC,sBAAsB,EAAE,aAAa,CAAC;IAC3D,iBAAiB,EAAE,CAAC,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,SAAS,CAAC;IAC9E,iBAAiB,EAAE,CAAC,sBAAsB,EAAE,SAAS,CAAC;IACtD,QAAQ,EAAE,CAAC,UAAU,EAAE,SAAS,EAAE,gBAAgB,CAAC;CACpD,CAAC;AAEF,sBAAsB;AACtB,MAAM,UAAU,uBAAuB,CAAC,IAAmB;IACzD,OAAO,CAAC,KAAK,CAAC,iCAAiC,EAAE,IAAI,CAAC,CAAC;IACvD,OAAO,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;AACvC,CAAC;AAED,wBAAwB;AACxB,MAAM,UAAU,4BAA4B,CAAC,IAAmB,EAAE,IAAsB;IACtF,OAAO,CAAC,KAAK,CAAC,gCAAgC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5D,OAAO,iBAAiB,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;AAC1D,CAAC;AAED,2BAA2B;AAC3B,MAAM,UAAU,SAAS;IACvB,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC5C,OAAO,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAoB,CAAC;AAC3D,CAAC;AAED,gCAAgC;AAEhC,MAAM,aAAa,GAA+C;IAChE,aAAa,EAAE,UAAU;IACzB,QAAQ,EAAE,MAAM;IAChB,WAAW,EAAE,SAAS;IACtB,OAAO,EAAE,UAAU;IACnB,cAAc,EAAE,UAAU;IAC1B,oBAAoB,EAAE,MAAM;IAC5B,cAAc,EAAE,MAAM;IACtB,kBAAkB,EAAE,MAAM;IAC1B,eAAe,EAAE,SAAS;IAC1B,OAAO,EAAE,UAAU;IACnB,SAAS,EAAE,SAAS;CACrB,CAAC;AAEF,sBAAsB;AACtB,MAAM,UAAU,kBAAkB,CAAC,IAAsB;IACvD,OAAO,CAAC,KAAK,CAAC,8BAA8B,EAAE,IAAI,CAAC,CAAC;IACpD,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED,oCAAoC;AAEpC,MAAM,oBAAoB,GAAsC;IAC9D,aAAa,EAAE,IAAI;IACnB,QAAQ,EAAE,KAAK;IACf,WAAW,EAAE,KAAK;IAClB,OAAO,EAAE,IAAI;IACb,cAAc,EAAE,IAAI;IACpB,oBAAoB,EAAE,KAAK;IAC3B,cAAc,EAAE,KAAK;IACrB,kBAAkB,EAAE,IAAI;IACxB,eAAe,EAAE,KAAK;IACtB,OAAO,EAAE,IAAI;IACb,SAAS,EAAE,KAAK;CACjB,CAAC;AAEF,yBAAyB;AACzB,MAAM,UAAU,wBAAwB,CAAC,IAAsB;IAC7D,OAAO,CAAC,KAAK,CAAC,kCAAkC,EAAE,IAAI,CAAC,CAAC;IACxD,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,gCAAgC;AAEhC,MAAM,iBAAiB,GAA8E;IACnG;QACE,OAAO,EAAE,KAAK;QACd,SAAS,EAAE,CAAC,gBAAgB,EAAE,oBAAoB,CAAC;QACnD,MAAM,EAAE,8CAA8C;KACvD;IACD;QACE,OAAO,EAAE,KAAK;QACd,SAAS,EAAE,CAAC,oBAAoB,EAAE,gBAAgB,CAAC;QACnD,MAAM,EAAE,8CAA8C;KACvD;IACD;QACE,OAAO,EAAE,IAAI;QACb,SAAS,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,SAAS,CAAC;QAChD,MAAM,EAAE,0CAA0C;KACnD;CACF,CAAC;AAEF,oBAAoB;AACpB,MAAM,UAAU,qBAAqB,CAAC,OAA4B;IAChE,OAAO,CAAC,KAAK,CAAC,4BAA4B,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAkD,EAAE,CAAC;IACrE,KAAK,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,iBAAiB,EAAE,CAAC;QAC/D,IAAI,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YACvG,UAAU,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,mCAAmC;AAEnC,sBAAsB;AACtB,MAAM,UAAU,iBAAiB,CAAC,IAAsB;IACtD,OAAO,CAAC,KAAK,CAAC,4BAA4B,EAAE,IAAI,CAAC,CAAC;IAClD,MAAM,SAAS,GAAqC;QAClD,aAAa,EAAE,YAAY;QAC3B,QAAQ,EAAE,QAAQ;QAClB,WAAW,EAAE,iBAAiB;QAC9B,OAAO,EAAE,qBAAqB;QAC9B,cAAc,EAAE,mBAAmB;QACnC,oBAAoB,EAAE,gBAAgB;QACtC,cAAc,EAAE,sCAAsC;QACtD,kBAAkB,EAAE,uBAAuB;QAC3C,eAAe,EAAE,mBAAmB;QACpC,OAAO,EAAE,mBAAmB;QAC5B,SAAS,EAAE,mBAAmB;KAC/B,CAAC;IACF,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC;AACzB,CAAC;AAED,0EAA0E;AAE1E,kCAAkC;AAClC,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,OAAO,CAAC,KAAK,CAAC,+BAA+B,EAAE,IAAI,CAAC,CAAC;IACrD,OAAO,4FAA4F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjH,CAAC;AAED,gBAAgB;AAEhB,eAAe;AACf,MAAM,UAAU,yBAAyB,CAAC,MAYzC;IACC,OAAO,CAAC,KAAK,CAAC,8BAA8B,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3D,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC;QAC5D,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,EAAE;QAC/B,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,EAAE;QACnC,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE;QACzB,oBAAoB,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,CAAC;QACvF,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,sBAAsB,EAAE,MAAM,CAAC,sBAAsB;QACrD,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,EAAE;KACpC,CAAC;AACJ,CAAC;AAED,0BAA0B;AAE1B,kBAAkB;AAClB,MAAM,UAAU,2BAA2B,CAAC,MAA2B;IACrE,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,MAAM,CAAC,iBAAiB;QAAE,MAAM,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAClF,IAAI,CAAC,MAAM,CAAC,sBAAsB;QAAE,MAAM,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;IAC5F,IAAI,CAAC,MAAM,CAAC,oBAAoB;QAAE,MAAM,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACxF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,kBAAkB;AAClB,MAAM,UAAU,yBAAyB,CAAC,MAAyB;IACjE,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,MAAM,CAAC,YAAY;QAAE,MAAM,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IACtE,IAAI,CAAC,MAAM,CAAC,aAAa;QAAE,MAAM,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IACxE,IAAI,CAAC,MAAM,CAAC,aAAa;QAAE,MAAM,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IACxE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,kBAAkB;AAClB,MAAM,UAAU,qBAAqB,CAAC,MAAqB;IACzD,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,MAAM,CAAC,aAAa;QAAE,MAAM,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACpE,IAAI,CAAC,MAAM,CAAC,WAAW;QAAE,MAAM,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,oBAAoB;AACpB,MAAM,UAAU,2BAA2B,CAAC,MAA2B;IACrE,OAAO,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,MAAM,CAAC,cAAc;QAAE,MAAM,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAC7E,IAAI,CAAC,MAAM,CAAC,MAAM;QAAE,MAAM,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IAC7D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,oBAAoB;AACpB,MAAM,UAAU,4BAA4B,CAAC,MAA4B;IACvE,OAAO,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,aAAa,GAAG,CAAC,UAAU,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;IAC7D,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAC/F,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IACnG,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,kBAAkB;AAClB,MAAM,UAAU,qBAAqB,CAAC,MAAqB;IACzD,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,MAAM,CAAC,YAAY;QAAE,MAAM,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IAClE,IAAI,CAAC,MAAM,CAAC,iBAAiB;QAAE,MAAM,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IAC5E,IAAI,CAAC,MAAM,CAAC,uBAAuB;QAAE,MAAM,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IACxF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iBAAiB;AACjB,MAAM,UAAU,uBAAuB,CAAC,MAAuB;IAC7D,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,kBAAkB,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,kEAAkE;IACpE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,gCAAgC;AAEhC,qBAAqB;AACrB,MAAM,UAAU,0BAA0B,CAAC,KAAa,EAAE,MAAc;IACtE,OAAO,CAAC,KAAK,CAAC,+BAA+B,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9D,IAAI,MAAM,KAAK,UAAU;QAAE,OAAO,GAAG,KAAK,OAAO,CAAC;IAClD,IAAI,MAAM,KAAK,QAAQ;QAAE,OAAO,GAAG,KAAK,QAAQ,CAAC;IACjD,OAAO,GAAG,KAAK,OAAO,CAAC;AACzB,CAAC;AAED,kBAAkB;AAClB,MAAM,UAAU,2BAA2B,CAAC,MAA4B;IACtE,OAAO,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;IACnG,IAAI,MAAM,CAAC,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IACpE,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;IACnE,IAAI,MAAM,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;IACvE,IAAI,MAAM,CAAC,YAAY;QAAE,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC;IACpE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,8BAA8B;AAE9B,2BAA2B;AAC3B,MAAM,UAAU,4BAA4B,CAAC,QAA+B;IAC1E,OAAO,CAAC,KAAK,CAAC,8BAA8B,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAoC,EAAE,CAAC;IAErD,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,wDAAwD;QACxD,MAAM,iBAAiB,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACrD,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;YAClC,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;gBAChB,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,WAAW;oBACrB,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,OAAO,EAAE,CAAC,CAAC,MAAM;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,iCAAiC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3D,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,uBAAuB;gBAC7B,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,YAAY;aACtB,CAAC,CAAC;QACL,CAAC;QAED,uCAAuC;QACvC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,IAAI,CAAC,GAAG,CAAC,sBAAsB,EAAE,CAAC;YAC1G,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,GAAG,GAAG,CAAC,IAAI,8CAA8C;aACnE,CAAC,CAAC;QACL,CAAC;QAED,+BAA+B;QAC/B,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC;YACtD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,oBAAoB;gBAC1B,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,6BAA6B;aACvC,CAAC,CAAC;QACL,CAAC;QAED,0CAA0C;QAC1C,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACxF,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,kCAAkC;gBACxC,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,sCAAsC;aAChD,CAAC,CAAC;QACL,CAAC;QAED,mDAAmD;QACnD,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAiB,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClE,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,qBAAqB;gBAC3B,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,+CAA+C;aACzD,CAAC,CAAC;QACL,CAAC;QAED,4CAA4C;QAC5C,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjE,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,uBAAuB;gBAC7B,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,qCAAqC;aAC/C,CAAC,CAAC;QACL,CAAC;QAED,4BAA4B;QAC5B,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;YACtD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,sBAAsB;gBAC5B,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,uCAAuC,GAAG,CAAC,QAAQ,EAAE;aAC/D,CAAC,CAAC;QACL,CAAC;QAED,mCAAmC;QACnC,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxE,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,cAAc,GAAG,CAAC,IAAI,EAAE;aAClC,CAAC,CAAC;QACL,CAAC;QAED,8DAA8D;QAC9D,IAAI,GAAG,CAAC,IAAI,KAAK,sBAAsB,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7F,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,iCAAiC;gBACvC,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,yCAAyC;aACnD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}
+{"version":3,"file":"user_feedback_contract.js","sourceRoot":"","sources":["../../src/engine/user_feedback_contract.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAoJH,MAAM,iBAAiB,GAA8C;IACnE,WAAW,EAAE,CAAC,UAAU,EAAE,eAAe,CAAC;IAC1C,SAAS,EAAE,CAAC,eAAe,EAAE,UAAU,EAAE,gBAAgB,EAAE,aAAa,CAAC;IACzE,SAAS,EAAE,CAAC,sBAAsB,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS,CAAC;IAC3E,SAAS,EAAE,CAAC,sBAAsB,EAAE,gBAAgB,EAAE,aAAa,CAAC;IACpE,UAAU,EAAE,CAAC,oBAAoB,EAAE,iBAAiB,EAAE,SAAS,EAAE,SAAS,CAAC;IAC3E,SAAS,EAAE,CAAC,UAAU,EAAE,SAAS,EAAE,gBAAgB,CAAC;IACpD,OAAO,EAAE,CAAC,gBAAgB,EAAE,eAAe,EAAE,gBAAgB,CAAC;IAC9D,UAAU,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAChD,kBAAkB,EAAE,CAAC,sBAAsB,EAAE,aAAa,CAAC;IAC3D,iBAAiB,EAAE,CAAC,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,SAAS,CAAC;IAC9E,iBAAiB,EAAE,CAAC,sBAAsB,EAAE,SAAS,CAAC;IACtD,QAAQ,EAAE,CAAC,UAAU,EAAE,SAAS,EAAE,gBAAgB,CAAC;CACpD,CAAC;AAEF,sBAAsB;AACtB,MAAM,UAAU,uBAAuB,CAAC,IAAmB;IACzD,OAAO,CAAC,KAAK,CAAC,iCAAiC,EAAE,IAAI,CAAC,CAAC;IACvD,OAAO,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;AACvC,CAAC;AAED,wBAAwB;AACxB,MAAM,UAAU,4BAA4B,CAAC,IAAmB,EAAE,IAAsB;IACtF,OAAO,CAAC,KAAK,CAAC,gCAAgC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5D,OAAO,iBAAiB,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;AAC1D,CAAC;AAED,2BAA2B;AAC3B,MAAM,UAAU,SAAS;IACvB,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC5C,OAAO,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAoB,CAAC;AAC3D,CAAC;AAED,sBAAsB;AAEtB,MAAM,aAAa,GAA+C;IAChE,aAAa,EAAE,UAAU;IACzB,QAAQ,EAAE,MAAM;IAChB,WAAW,EAAE,SAAS;IACtB,OAAO,EAAE,UAAU;IACnB,cAAc,EAAE,UAAU;IAC1B,oBAAoB,EAAE,MAAM;IAC5B,cAAc,EAAE,MAAM;IACtB,kBAAkB,EAAE,MAAM;IAC1B,eAAe,EAAE,SAAS;IAC1B,OAAO,EAAE,UAAU;IACnB,SAAS,EAAE,SAAS;CACrB,CAAC;AAEF,sBAAsB;AACtB,MAAM,UAAU,kBAAkB,CAAC,IAAsB;IACvD,OAAO,CAAC,KAAK,CAAC,8BAA8B,EAAE,IAAI,CAAC,CAAC;IACpD,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED,wBAAwB;AAExB,MAAM,oBAAoB,GAAsC;IAC9D,aAAa,EAAE,IAAI;IACnB,QAAQ,EAAE,KAAK;IACf,WAAW,EAAE,KAAK;IAClB,OAAO,EAAE,IAAI;IACb,cAAc,EAAE,IAAI;IACpB,oBAAoB,EAAE,KAAK;IAC3B,cAAc,EAAE,KAAK;IACrB,kBAAkB,EAAE,IAAI;IACxB,eAAe,EAAE,KAAK;IACtB,OAAO,EAAE,IAAI;IACb,SAAS,EAAE,KAAK;CACjB,CAAC;AAEF,yBAAyB;AACzB,MAAM,UAAU,wBAAwB,CAAC,IAAsB;IAC7D,OAAO,CAAC,KAAK,CAAC,kCAAkC,EAAE,IAAI,CAAC,CAAC;IACxD,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,eAAe;AAEf,MAAM,iBAAiB,GAA8E;IACnG;QACE,OAAO,EAAE,KAAK;QACd,SAAS,EAAE,CAAC,gBAAgB,EAAE,oBAAoB,CAAC;QACnD,MAAM,EAAE,8CAA8C;KACvD;IACD;QACE,OAAO,EAAE,KAAK;QACd,SAAS,EAAE,CAAC,oBAAoB,EAAE,gBAAgB,CAAC;QACnD,MAAM,EAAE,8CAA8C;KACvD;IACD;QACE,OAAO,EAAE,IAAI;QACb,SAAS,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,SAAS,CAAC;QAChD,MAAM,EAAE,0CAA0C;KACnD;CACF,CAAC;AAEF,oBAAoB;AACpB,MAAM,UAAU,qBAAqB,CAAC,OAA4B;IAChE,OAAO,CAAC,KAAK,CAAC,4BAA4B,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAkD,EAAE,CAAC;IACrE,KAAK,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,iBAAiB,EAAE,CAAC;QAC/D,IAAI,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YACvG,UAAU,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,eAAe;AAEf,sBAAsB;AACtB,MAAM,UAAU,iBAAiB,CAAC,IAAsB;IACtD,OAAO,CAAC,KAAK,CAAC,4BAA4B,EAAE,IAAI,CAAC,CAAC;IAClD,MAAM,SAAS,GAAqC;QAClD,aAAa,EAAE,YAAY;QAC3B,QAAQ,EAAE,QAAQ;QAClB,WAAW,EAAE,iBAAiB;QAC9B,OAAO,EAAE,qBAAqB;QAC9B,cAAc,EAAE,mBAAmB;QACnC,oBAAoB,EAAE,gBAAgB;QACtC,cAAc,EAAE,sCAAsC;QACtD,kBAAkB,EAAE,uBAAuB;QAC3C,eAAe,EAAE,mBAAmB;QACpC,OAAO,EAAE,mBAAmB;QAC5B,SAAS,EAAE,mBAAmB;KAC/B,CAAC;IACF,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC;AACzB,CAAC;AAED,4BAA4B;AAE5B,kCAAkC;AAClC,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,OAAO,CAAC,KAAK,CAAC,+BAA+B,EAAE,IAAI,CAAC,CAAC;IACrD,OAAO,4FAA4F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjH,CAAC;AAED,aAAa;AAEb,eAAe;AACf,MAAM,UAAU,yBAAyB,CAAC,MAYzC;IACC,OAAO,CAAC,KAAK,CAAC,8BAA8B,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3D,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC;QAC5D,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,EAAE;QAC/B,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,EAAE;QACnC,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE;QACzB,oBAAoB,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,CAAC;QACvF,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,sBAAsB,EAAE,MAAM,CAAC,sBAAsB;QACrD,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,EAAE;KACpC,CAAC;AACJ,CAAC;AAED,cAAc;AAEd,kBAAkB;AAClB,MAAM,UAAU,2BAA2B,CAAC,MAA2B;IACrE,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,MAAM,CAAC,iBAAiB;QAAE,MAAM,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAClF,IAAI,CAAC,MAAM,CAAC,sBAAsB;QAAE,MAAM,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;IAC5F,IAAI,CAAC,MAAM,CAAC,oBAAoB;QAAE,MAAM,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACxF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,kBAAkB;AAClB,MAAM,UAAU,yBAAyB,CAAC,MAAyB;IACjE,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,MAAM,CAAC,YAAY;QAAE,MAAM,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IACtE,IAAI,CAAC,MAAM,CAAC,aAAa;QAAE,MAAM,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IACxE,IAAI,CAAC,MAAM,CAAC,aAAa;QAAE,MAAM,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IACxE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,kBAAkB;AAClB,MAAM,UAAU,qBAAqB,CAAC,MAAqB;IACzD,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,MAAM,CAAC,aAAa;QAAE,MAAM,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACpE,IAAI,CAAC,MAAM,CAAC,WAAW;QAAE,MAAM,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,oBAAoB;AACpB,MAAM,UAAU,2BAA2B,CAAC,MAA2B;IACrE,OAAO,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,MAAM,CAAC,cAAc;QAAE,MAAM,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAC7E,IAAI,CAAC,MAAM,CAAC,MAAM;QAAE,MAAM,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IAC7D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,oBAAoB;AACpB,MAAM,UAAU,4BAA4B,CAAC,MAA4B;IACvE,OAAO,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,aAAa,GAAG,CAAC,UAAU,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;IAC7D,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAC/F,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IACnG,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,kBAAkB;AAClB,MAAM,UAAU,qBAAqB,CAAC,MAAqB;IACzD,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,MAAM,CAAC,YAAY;QAAE,MAAM,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IAClE,IAAI,CAAC,MAAM,CAAC,iBAAiB;QAAE,MAAM,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IAC5E,IAAI,CAAC,MAAM,CAAC,uBAAuB;QAAE,MAAM,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IACxF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iBAAiB;AACjB,MAAM,UAAU,uBAAuB,CAAC,MAAuB;IAC7D,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,kBAAkB,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,kEAAkE;IACpE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,eAAe;AAEf,qBAAqB;AACrB,MAAM,UAAU,0BAA0B,CAAC,KAAa,EAAE,MAAc;IACtE,OAAO,CAAC,KAAK,CAAC,+BAA+B,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9D,IAAI,MAAM,KAAK,UAAU;QAAE,OAAO,GAAG,KAAK,OAAO,CAAC;IAClD,IAAI,MAAM,KAAK,QAAQ;QAAE,OAAO,GAAG,KAAK,QAAQ,CAAC;IACjD,OAAO,GAAG,KAAK,OAAO,CAAC;AACzB,CAAC;AAED,kBAAkB;AAClB,MAAM,UAAU,2BAA2B,CAAC,MAA4B;IACtE,OAAO,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;IACnG,IAAI,MAAM,CAAC,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IACpE,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;IACnE,IAAI,MAAM,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;IACvE,IAAI,MAAM,CAAC,YAAY;QAAE,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC;IACpE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,aAAa;AAEb,2BAA2B;AAC3B,MAAM,UAAU,4BAA4B,CAAC,QAA+B;IAC1E,OAAO,CAAC,KAAK,CAAC,8BAA8B,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAoC,EAAE,CAAC;IAErD,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,wDAAwD;QACxD,MAAM,iBAAiB,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACrD,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;YAClC,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;gBAChB,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,WAAW;oBACrB,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,OAAO,EAAE,CAAC,CAAC,MAAM;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,iCAAiC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3D,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,uBAAuB;gBAC7B,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,YAAY;aACtB,CAAC,CAAC;QACL,CAAC;QAED,uCAAuC;QACvC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,IAAI,CAAC,GAAG,CAAC,sBAAsB,EAAE,CAAC;YAC1G,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,GAAG,GAAG,CAAC,IAAI,8CAA8C;aACnE,CAAC,CAAC;QACL,CAAC;QAED,+BAA+B;QAC/B,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC;YACtD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,oBAAoB;gBAC1B,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,6BAA6B;aACvC,CAAC,CAAC;QACL,CAAC;QAED,0CAA0C;QAC1C,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACxF,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,kCAAkC;gBACxC,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,sCAAsC;aAChD,CAAC,CAAC;QACL,CAAC;QAED,mDAAmD;QACnD,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAiB,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClE,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,qBAAqB;gBAC3B,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,+CAA+C;aACzD,CAAC,CAAC;QACL,CAAC;QAED,4CAA4C;QAC5C,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjE,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,uBAAuB;gBAC7B,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,qCAAqC;aAC/C,CAAC,CAAC;QACL,CAAC;QAED,4BAA4B;QAC5B,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;YACtD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,sBAAsB;gBAC5B,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,uCAAuC,GAAG,CAAC,QAAQ,EAAE;aAC/D,CAAC,CAAC;QACL,CAAC;QAED,mCAAmC;QACnC,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxE,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,cAAc,GAAG,CAAC,IAAI,EAAE;aAClC,CAAC,CAAC;QACL,CAAC;QAED,8DAA8D;QAC9D,IAAI,GAAG,CAAC,IAAI,KAAK,sBAAsB,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7F,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,iCAAiC;gBACvC,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,yCAAyC;aACnD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/engine/verification_contract.d.ts

@@ -0,0 +1,132 @@
+/**
+ * 验证契约 — 问题十二 (Verification Contract)。
+ *
+ * 核心规则:
+ * - VerificationPlan 只是计划，不是结果
+ * - VerificationResult 必须来自真实执行或明确 not_executed
+ * - 未验证不得 delivered
+ * - delivery_readiness 不得触发 delivery_execution
+ */
+export type VerificationStatus = "pending" | "executing" | "passed" | "failed" | "not_executed" | "skipped";
+export interface VerificationPlan {
+    plan_id: string;
+    task_id: string;
+    commands: string[];
+    acceptance_criteria: string[];
+    created_at: string;
+    status: "plan_only";
+}
+export interface VerificationEvidence {
+    evidence_id: string;
+    plan_id: string;
+    task_id: string;
+    command: string;
+    exit_code: number | null;
+    stdout_hash: string;
+    stderr_hash: string;
+    duration_ms: number;
+    executed_at: string;
+    redacted: boolean;
+}
+export interface VerificationResult {
+    result_id: string;
+    task_id: string;
+    plan_id: string;
+    status: VerificationStatus;
+    total_commands: number;
+    passed_commands: number;
+    failed_commands: number;
+    evidence_ids: string[];
+    findings: VerificationFinding[];
+    completed_at: string;
+    /**
+     * 来源标记 — 只有 "record_verification_execution" 的 passed 结果可被 delivery 消费。
+     * "direct" 表示通过 createVerificationResult 直接构造，delivery 必须拒绝。
+     */
+    provenance: "record_verification_execution" | "direct";
+    /** plan.commands 中已被 execution_records 覆盖的命令 */
+    covered_commands?: string[];
+    /** plan.commands 中缺少对应 execution_record 的命令 */
+    missing_commands?: string[];
+    /** 证据格式校验是否全部通过 */
+    evidence_integrity_passed?: boolean;
+}
+export interface VerificationFinding {
+    rule: string;
+    severity: "hard_fail" | "warning" | "advisory";
+    message_zh: string;
+    diagnostic_code: string;
+}
+/**
+ * 创建验证计划（不执行）。
+ */
+export declare function createVerificationPlan(taskId: string, commands: string[], acceptanceCriteria: string[]): VerificationPlan;
+/**
+ * 检查是否为 plan_only（无真实执行）。
+ * VerificationPlan.status === "plan_only" 时不得视为 VerificationResult。
+ */
+export declare function isPlanOnly(plan: VerificationPlan): boolean;
+/**
+ * 创建验证结果（内部使用，provenance = "direct"）。
+ * delivery_readiness 必须拒绝 provenance="direct" 的 passed 结果。
+ * 唯一合法 passed 入口是 recordVerificationExecution。
+ */
+export declare function createVerificationResult(taskId: string, planId: string, evidenceIds: string[], commandResults: Array<{
+    passed: boolean;
+    diagnostic_code?: string;
+}>): VerificationResult;
+/**
+ * 创建未执行的验证结果。
+ */
+export declare function createNotExecutedResult(taskId: string, planId: string, reason: string): VerificationResult;
+/**
+ * 真实执行记录 — recordVerificationExecution 的输入。
+ * 每条记录必须包含完整的执行证据，缺字段则该条判定为失败。
+ */
+export interface ExecutionRecord {
+    command: string;
+    exit_code: number;
+    stdout_hash: string;
+    stderr_hash: string;
+    started_at: string;
+    finished_at: string;
+    evidence_id: string;
+}
+/**
+ * 校验执行记录: 证据格式、命令合法性、evidence_id 唯一性、时间合法性。
+ * 返回校验失败的记录索引及对应的 diagnostic_code。
+ */
+export declare function validateExecutionRecords(plan: VerificationPlan, records: ExecutionRecord[]): Array<{
+    index: number;
+    diagnostic_code: string;
+    message_zh: string;
+}>;
+/**
+ * 计算命令覆盖率: plan.commands 中被 records 覆盖的比例。
+ */
+export declare function computeCommandCoverage(plan: VerificationPlan, records: ExecutionRecord[]): {
+    covered_commands: string[];
+    missing_commands: string[];
+};
+/**
+ * 录入真实执行结果 — VerificationResult.status = "passed" 的唯一合法入口。
+ *
+ * 规则:
+ * - plan 为 null → hard fail (SF-VERIFY-5002)
+ * - records 为空 → not_executed
+ * - 非计划命令 → 该条 failed (SF-VERIFY-5006)
+ * - stdout/stderr hash 格式非法 → 该条 failed
+ * - evidence_id 重复 → 该条 failed
+ * - 时间倒挂 → 该条 failed
+ * - plan.commands 未全覆盖 → failed (SF-VERIFY-5003)
+ * - 所有 exit_code === 0 且全覆盖且无格式错误 → passed
+ */
+export declare function recordVerificationExecution(taskId: string, planId: string, records: ExecutionRecord[], plan: VerificationPlan | null): VerificationResult;
+/**
+ * 验证: VerificationPlan 不得当作 VerificationEvidence。
+ */
+export declare function validateVerificationSeparation(plan: VerificationPlan, result: VerificationResult | undefined): Array<{
+    error: string;
+    severity: "hard_fail" | "warning";
+}>;
+//# sourceMappingURL=verification_contract.d.ts.map

package/dist/engine/verification_contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification_contract.d.ts","sourceRoot":"","sources":["../../src/engine/verification_contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,MAAM,MAAM,kBAAkB,GAAG,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,QAAQ,GAAG,cAAc,GAAG,SAAS,CAAC;AAE5G,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,WAAW,CAAC;CACrB;AAED,MAAM,WAAW,oBAAoB;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB;;;OAGG;IACH,UAAU,EAAE,+BAA+B,GAAG,QAAQ,CAAC;IACvD,gDAAgD;IAChD,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,+CAA+C;IAC/C,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,mBAAmB;IACnB,yBAAyB,CAAC,EAAE,OAAO,CAAC;CACrC;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,WAAW,GAAG,SAAS,GAAG,UAAU,CAAC;IAC/C,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,EAAE,EAClB,kBAAkB,EAAE,MAAM,EAAE,GAC3B,gBAAgB,CASlB;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAE1D;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EAAE,EACrB,cAAc,EAAE,KAAK,CAAC;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,eAAe,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GACnE,kBAAkB,CAmDpB;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,kBAAkB,CAmB1G;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB;AAQD;;;GAGG;AACH,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,gBAAgB,EACtB,OAAO,EAAE,eAAe,EAAE,GACzB,KAAK,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAC,CAyCvE;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,gBAAgB,EACtB,OAAO,EAAE,eAAe,EAAE,GACzB;IAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAAC,gBAAgB,EAAE,MAAM,EAAE,CAAA;CAAE,CAY5D;AAgCD;;;;;;;;;;;;GAYG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,eAAe,EAAE,EAC1B,IAAI,EAAE,gBAAgB,GAAG,IAAI,GAC5B,kBAAkB,CA4EpB;AAED;;GAEG;AACH,wBAAgB,8BAA8B,CAC5C,IAAI,EAAE,gBAAgB,EACtB,MAAM,EAAE,kBAAkB,GAAG,SAAS,GACrC,KAAK,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,WAAW,GAAG,SAAS,CAAA;CAAE,CAAC,CAgB7D"}

package/dist/engine/verification_contract.js

@@ -0,0 +1,296 @@
+/**
+ * 验证契约 — 问题十二 (Verification Contract)。
+ *
+ * 核心规则:
+ * - VerificationPlan 只是计划，不是结果
+ * - VerificationResult 必须来自真实执行或明确 not_executed
+ * - 未验证不得 delivered
+ * - delivery_readiness 不得触发 delivery_execution
+ */
+/**
+ * 创建验证计划（不执行）。
+ */
+export function createVerificationPlan(taskId, commands, acceptanceCriteria) {
+    return {
+        plan_id: `vp-${taskId}-${Date.now()}`,
+        task_id: taskId,
+        commands,
+        acceptance_criteria: acceptanceCriteria,
+        created_at: new Date().toISOString(),
+        status: "plan_only",
+    };
+}
+/**
+ * 检查是否为 plan_only（无真实执行）。
+ * VerificationPlan.status === "plan_only" 时不得视为 VerificationResult。
+ */
+export function isPlanOnly(plan) {
+    return plan.status === "plan_only";
+}
+/**
+ * 创建验证结果（内部使用，provenance = "direct"）。
+ * delivery_readiness 必须拒绝 provenance="direct" 的 passed 结果。
+ * 唯一合法 passed 入口是 recordVerificationExecution。
+ */
+export function createVerificationResult(taskId, planId, evidenceIds, commandResults) {
+    // 不允许空 evidenceIds + 空 commandResults 时返回 passed
+    const hasEvidence = evidenceIds.length > 0;
+    const hasCommands = commandResults.length > 0;
+    // 无 evidence 或无 commands → 强制 failed
+    if (!hasEvidence || !hasCommands) {
+        return {
+            result_id: `vr-${taskId}-${Date.now()}`,
+            task_id: taskId,
+            plan_id: planId,
+            status: "failed",
+            total_commands: commandResults.length,
+            passed_commands: 0,
+            failed_commands: 0,
+            evidence_ids: evidenceIds,
+            findings: [{
+                    rule: "evidence_required",
+                    severity: "hard_fail",
+                    message_zh: `验证结果缺少${!hasEvidence ? " evidence" : ""}${!hasEvidence && !hasCommands ? " 和" : ""}${!hasCommands ? " commands" : ""}，不得 passed`,
+                    diagnostic_code: "SF-VERIFY-0003",
+                }],
+            completed_at: new Date().toISOString(),
+            provenance: "direct",
+        };
+    }
+    const passedCount = commandResults.filter((r) => r.passed).length;
+    const failedCount = commandResults.filter((r) => !r.passed).length;
+    const findings = commandResults
+        .filter((r) => !r.passed && r.diagnostic_code)
+        .map((r) => ({
+        rule: "command_failed",
+        severity: "hard_fail",
+        message_zh: `验证命令失败: ${r.diagnostic_code}`,
+        diagnostic_code: r.diagnostic_code,
+    }));
+    return {
+        result_id: `vr-${taskId}-${Date.now()}`,
+        task_id: taskId,
+        plan_id: planId,
+        status: failedCount === 0 ? "passed" : "failed",
+        total_commands: commandResults.length,
+        passed_commands: passedCount,
+        failed_commands: failedCount,
+        evidence_ids: evidenceIds,
+        findings,
+        completed_at: new Date().toISOString(),
+        provenance: "direct",
+    };
+}
+/**
+ * 创建未执行的验证结果。
+ */
+export function createNotExecutedResult(taskId, planId, reason) {
+    return {
+        result_id: `vr-${taskId}-${Date.now()}`,
+        task_id: taskId,
+        plan_id: planId,
+        status: "not_executed",
+        total_commands: 0,
+        passed_commands: 0,
+        failed_commands: 0,
+        evidence_ids: [],
+        findings: [{
+                rule: "not_executed",
+                severity: "warning",
+                message_zh: `验证未执行: ${reason}`,
+                diagnostic_code: "SF-VERIFY-0001",
+            }],
+        completed_at: new Date().toISOString(),
+        provenance: "direct",
+    };
+}
+/** SHA256 hex 格式 */
+const SHA256_RE = /^[a-f0-9]{64}$/i;
+/** ISO 8601 日期格式 */
+const ISO8601_RE = /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}/;
+/**
+ * 校验执行记录: 证据格式、命令合法性、evidence_id 唯一性、时间合法性。
+ * 返回校验失败的记录索引及对应的 diagnostic_code。
+ */
+export function validateExecutionRecords(plan, records) {
+    const errors = [];
+    const seenEvidenceIds = new Set();
+    const planCommands = new Set(plan.commands);
+    for (let i = 0; i < records.length; i++) {
+        const r = records[i];
+        if (!r.command) {
+            errors.push({ index: i, diagnostic_code: "SF-VERIFY-5001", message_zh: `记录 ${i}: command 为空` });
+            continue;
+        }
+        if (!planCommands.has(r.command)) {
+            errors.push({ index: i, diagnostic_code: "SF-VERIFY-5006", message_zh: `记录 ${i}: 命令 "${r.command}" 不在 plan.commands 中` });
+        }
+        if (!r.stdout_hash || !SHA256_RE.test(r.stdout_hash)) {
+            errors.push({ index: i, diagnostic_code: "SF-VERIFY-5007", message_zh: `记录 ${i}: stdout_hash 为空或格式非法` });
+        }
+        if (!r.stderr_hash || !SHA256_RE.test(r.stderr_hash)) {
+            errors.push({ index: i, diagnostic_code: "SF-VERIFY-5008", message_zh: `记录 ${i}: stderr_hash 为空或格式非法` });
+        }
+        if (!r.evidence_id) {
+            errors.push({ index: i, diagnostic_code: "SF-VERIFY-5009", message_zh: `记录 ${i}: evidence_id 为空` });
+        }
+        else if (seenEvidenceIds.has(r.evidence_id)) {
+            errors.push({ index: i, diagnostic_code: "SF-VERIFY-5010", message_zh: `记录 ${i}: evidence_id "${r.evidence_id}" 重复` });
+        }
+        else {
+            seenEvidenceIds.add(r.evidence_id);
+        }
+        if (!r.started_at || !ISO8601_RE.test(r.started_at)) {
+            errors.push({ index: i, diagnostic_code: "SF-VERIFY-5011", message_zh: `记录 ${i}: started_at 格式非法` });
+        }
+        if (!r.finished_at || !ISO8601_RE.test(r.finished_at)) {
+            errors.push({ index: i, diagnostic_code: "SF-VERIFY-5012", message_zh: `记录 ${i}: finished_at 格式非法` });
+        }
+        if (r.started_at && r.finished_at && ISO8601_RE.test(r.started_at) && ISO8601_RE.test(r.finished_at)) {
+            if (new Date(r.finished_at).getTime() < new Date(r.started_at).getTime()) {
+                errors.push({ index: i, diagnostic_code: "SF-VERIFY-5013", message_zh: `记录 ${i}: finished_at 早于 started_at` });
+            }
+        }
+    }
+    return errors;
+}
+/**
+ * 计算命令覆盖率: plan.commands 中被 records 覆盖的比例。
+ */
+export function computeCommandCoverage(plan, records) {
+    const covered = new Set(records.map((r) => r.command));
+    const coveredCommands = [];
+    const missingCommands = [];
+    for (const cmd of plan.commands) {
+        if (covered.has(cmd)) {
+            coveredCommands.push(cmd);
+        }
+        else {
+            missingCommands.push(cmd);
+        }
+    }
+    return { covered_commands: coveredCommands, missing_commands: missingCommands };
+}
+/** 构造带 diagnostic_code 的 failed 结果 */
+function createFailedResult(taskId, planId, diagnosticCode, message) {
+    return {
+        result_id: `vr-${taskId}-${Date.now()}`,
+        task_id: taskId,
+        plan_id: planId,
+        status: "failed",
+        total_commands: 0,
+        passed_commands: 0,
+        failed_commands: 0,
+        evidence_ids: [],
+        findings: [{
+                rule: "plan_binding_required",
+                severity: "hard_fail",
+                message_zh: message,
+                diagnostic_code: diagnosticCode,
+            }],
+        completed_at: new Date().toISOString(),
+        provenance: "direct",
+        covered_commands: [],
+        missing_commands: [],
+        evidence_integrity_passed: false,
+    };
+}
+/**
+ * 录入真实执行结果 — VerificationResult.status = "passed" 的唯一合法入口。
+ *
+ * 规则:
+ * - plan 为 null → hard fail (SF-VERIFY-5002)
+ * - records 为空 → not_executed
+ * - 非计划命令 → 该条 failed (SF-VERIFY-5006)
+ * - stdout/stderr hash 格式非法 → 该条 failed
+ * - evidence_id 重复 → 该条 failed
+ * - 时间倒挂 → 该条 failed
+ * - plan.commands 未全覆盖 → failed (SF-VERIFY-5003)
+ * - 所有 exit_code === 0 且全覆盖且无格式错误 → passed
+ */
+export function recordVerificationExecution(taskId, planId, records, plan) {
+    if (!plan) {
+        return createFailedResult(taskId, planId, "SF-VERIFY-5002", "无关联 VerificationPlan，不得录入执行结果");
+    }
+    if (planId !== plan.plan_id) {
+        return createFailedResult(taskId, planId, "SF-VERIFY-5014", `plan_id 不匹配: 传入 "${planId}"，plan 中 "${plan.plan_id}"`);
+    }
+    if (taskId !== plan.task_id) {
+        return createFailedResult(taskId, planId, "SF-VERIFY-5015", `task_id 不匹配: 传入 "${taskId}"，plan 中 "${plan.task_id}"`);
+    }
+    if (records.length === 0) {
+        return createNotExecutedResult(taskId, planId, "无执行记录");
+    }
+    // 校验证据格式和命令合法性
+    const validationErrors = validateExecutionRecords(plan, records);
+    const errorIndices = new Set(validationErrors.map((e) => e.index));
+    // 校验命令覆盖
+    const { covered_commands, missing_commands } = computeCommandCoverage(plan, records);
+    const hasMissing = missing_commands.length > 0;
+    // 逐条判定: 合法记录按 exit_code 判，非法记录直接 failed
+    const commandResults = records.map((r, i) => {
+        if (errorIndices.has(i)) {
+            return { passed: false, diagnostic_code: "SF-VERIFY-5001" };
+        }
+        return {
+            passed: r.exit_code === 0,
+            diagnostic_code: r.exit_code !== 0 ? "SF-VERIFY-0004" : undefined,
+        };
+    });
+    // 所有校验错误转为 findings（每条记录可能有多个错误）
+    const validationFindings = validationErrors.map((e) => ({
+        rule: "evidence_validation",
+        severity: "hard_fail",
+        message_zh: e.message_zh,
+        diagnostic_code: e.diagnostic_code,
+    }));
+    const evidenceIds = records.map((r) => r.evidence_id);
+    const base = createVerificationResult(taskId, planId, evidenceIds, commandResults);
+    // 合并所有 findings
+    const allFindings = [...base.findings, ...validationFindings];
+    // 命令未全覆盖 → 强制 failed 并追加 finding
+    if (hasMissing) {
+        return {
+            ...base,
+            status: "failed",
+            provenance: "record_verification_execution",
+            findings: [...allFindings, {
+                    rule: "plan_coverage_incomplete",
+                    severity: "hard_fail",
+                    message_zh: `plan 命令未全覆盖，缺少: ${missing_commands.join(", ")}`,
+                    diagnostic_code: "SF-VERIFY-5003",
+                }],
+            covered_commands,
+            missing_commands,
+            evidence_integrity_passed: errorIndices.size === 0,
+        };
+    }
+    return {
+        ...base,
+        provenance: "record_verification_execution",
+        findings: allFindings,
+        covered_commands,
+        missing_commands,
+        evidence_integrity_passed: errorIndices.size === 0,
+    };
+}
+/**
+ * 验证: VerificationPlan 不得当作 VerificationEvidence。
+ */
+export function validateVerificationSeparation(plan, result) {
+    const errors = [];
+    if (!result) {
+        errors.push({
+            error: `验证计划 ${plan.plan_id} 存在但无 VerificationResult`,
+            severity: "hard_fail",
+        });
+    }
+    else if (result.status === "not_executed") {
+        errors.push({
+            error: `验证结果状态为 not_executed，不得视为通过`,
+            severity: "hard_fail",
+        });
+    }
+    return errors;
+}
+//# sourceMappingURL=verification_contract.js.map

package/dist/engine/verification_contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification_contract.js","sourceRoot":"","sources":["../../src/engine/verification_contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAyDH;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,MAAc,EACd,QAAkB,EAClB,kBAA4B;IAE5B,OAAO;QACL,OAAO,EAAE,MAAM,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;QACrC,OAAO,EAAE,MAAM;QACf,QAAQ;QACR,mBAAmB,EAAE,kBAAkB;QACvC,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,MAAM,EAAE,WAAW;KACpB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,IAAsB;IAC/C,OAAO,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CACtC,MAAc,EACd,MAAc,EACd,WAAqB,EACrB,cAAoE;IAEpE,iDAAiD;IACjD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;IAC3C,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC;IAE9C,qCAAqC;IACrC,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,EAAE,CAAC;QACjC,OAAO;YACL,SAAS,EAAE,MAAM,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;YACvC,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,QAAQ;YAChB,cAAc,EAAE,cAAc,CAAC,MAAM;YACrC,eAAe,EAAE,CAAC;YAClB,eAAe,EAAE,CAAC;YAClB,YAAY,EAAE,WAAW;YACzB,QAAQ,EAAE,CAAC;oBACT,IAAI,EAAE,mBAAmB;oBACzB,QAAQ,EAAE,WAAW;oBACrB,UAAU,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,WAAW,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,YAAY;oBAC7I,eAAe,EAAE,gBAAgB;iBAClC,CAAC;YACF,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACtC,UAAU,EAAE,QAAQ;SACrB,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IAClE,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IACnE,MAAM,QAAQ,GAA0B,cAAc;SACnD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,eAAe,CAAC;SAC7C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,IAAI,EAAE,gBAAgB;QACtB,QAAQ,EAAE,WAAoB;QAC9B,UAAU,EAAE,WAAW,CAAC,CAAC,eAAe,EAAE;QAC1C,eAAe,EAAE,CAAC,CAAC,eAAgB;KACpC,CAAC,CAAC,CAAC;IAEN,OAAO;QACL,SAAS,EAAE,MAAM,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;QACvC,OAAO,EAAE,MAAM;QACf,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAC/C,cAAc,EAAE,cAAc,CAAC,MAAM;QACrC,eAAe,EAAE,WAAW;QAC5B,eAAe,EAAE,WAAW;QAC5B,YAAY,EAAE,WAAW;QACzB,QAAQ;QACR,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACtC,UAAU,EAAE,QAAQ;KACrB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CAAC,MAAc,EAAE,MAAc,EAAE,MAAc;IACpF,OAAO;QACL,SAAS,EAAE,MAAM,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;QACvC,OAAO,EAAE,MAAM;QACf,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,cAAc;QACtB,cAAc,EAAE,CAAC;QACjB,eAAe,EAAE,CAAC;QAClB,eAAe,EAAE,CAAC;QAClB,YAAY,EAAE,EAAE;QAChB,QAAQ,EAAE,CAAC;gBACT,IAAI,EAAE,cAAc;gBACpB,QAAQ,EAAE,SAAS;gBACnB,UAAU,EAAE,UAAU,MAAM,EAAE;gBAC9B,eAAe,EAAE,gBAAgB;aAClC,CAAC;QACF,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACtC,UAAU,EAAE,QAAQ;KACrB,CAAC;AACJ,CAAC;AAgBD,oBAAoB;AACpB,MAAM,SAAS,GAAG,iBAAiB,CAAC;AAEpC,oBAAoB;AACpB,MAAM,UAAU,GAAG,sCAAsC,CAAC;AAE1D;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CACtC,IAAsB,EACtB,OAA0B;IAE1B,MAAM,MAAM,GAA0E,EAAE,CAAC;IACzF,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAE5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC;YAChG,SAAS;QACX,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,sBAAsB,EAAE,CAAC,CAAC;QAC5H,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,uBAAuB,EAAE,CAAC,CAAC;QAC3G,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,uBAAuB,EAAE,CAAC,CAAC;QAC3G,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC;QACtG,CAAC;aAAM,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;YAC9C,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,kBAAkB,CAAC,CAAC,WAAW,MAAM,EAAE,CAAC,CAAC;QACzH,CAAC;aAAM,CAAC;YACN,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACrC,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;YACpD,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,mBAAmB,EAAE,CAAC,CAAC;QACvG,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC;QACxG,CAAC;QACD,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,WAAW,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;YACrG,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;gBACzE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,6BAA6B,EAAE,CAAC,CAAC;YACjH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAsB,EACtB,OAA0B;IAE1B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACvD,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5B,CAAC;aAAM,CAAC;YACN,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,gBAAgB,EAAE,eAAe,EAAE,CAAC;AAClF,CAAC;AAED,sCAAsC;AACtC,SAAS,kBAAkB,CACzB,MAAc,EACd,MAAc,EACd,cAAsB,EACtB,OAAe;IAEf,OAAO;QACL,SAAS,EAAE,MAAM,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;QACvC,OAAO,EAAE,MAAM;QACf,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,QAAQ;QAChB,cAAc,EAAE,CAAC;QACjB,eAAe,EAAE,CAAC;QAClB,eAAe,EAAE,CAAC;QAClB,YAAY,EAAE,EAAE;QAChB,QAAQ,EAAE,CAAC;gBACT,IAAI,EAAE,uBAAuB;gBAC7B,QAAQ,EAAE,WAAW;gBACrB,UAAU,EAAE,OAAO;gBACnB,eAAe,EAAE,cAAc;aAChC,CAAC;QACF,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACtC,UAAU,EAAE,QAAQ;QACpB,gBAAgB,EAAE,EAAE;QACpB,gBAAgB,EAAE,EAAE;QACpB,yBAAyB,EAAE,KAAK;KACjC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,2BAA2B,CACzC,MAAc,EACd,MAAc,EACd,OAA0B,EAC1B,IAA6B;IAE7B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,+BAA+B,CAAC,CAAC;IAC/F,CAAC;IAED,IAAI,MAAM,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,OAAO,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,oBAAoB,MAAM,aAAa,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;IACtH,CAAC;IAED,IAAI,MAAM,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,OAAO,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,oBAAoB,MAAM,aAAa,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;IACtH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,uBAAuB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1D,CAAC;IAED,eAAe;IACf,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAEnE,SAAS;IACT,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrF,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC;IAE/C,wCAAwC;IACxC,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC1C,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,gBAAyB,EAAE,CAAC;QACvE,CAAC;QACD,OAAO;YACL,MAAM,EAAE,CAAC,CAAC,SAAS,KAAK,CAAC;YACzB,eAAe,EAAE,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS;SAClE,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,iCAAiC;IACjC,MAAM,kBAAkB,GAA0B,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7E,IAAI,EAAE,qBAAqB;QAC3B,QAAQ,EAAE,WAAoB;QAC9B,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,eAAe,EAAE,CAAC,CAAC,eAAe;KACnC,CAAC,CAAC,CAAC;IAEJ,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,wBAAwB,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC;IAEnF,gBAAgB;IAChB,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,kBAAkB,CAAC,CAAC;IAE9D,iCAAiC;IACjC,IAAI,UAAU,EAAE,CAAC;QACf,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE,+BAA+B;YAC3C,QAAQ,EAAE,CAAC,GAAG,WAAW,EAAE;oBACzB,IAAI,EAAE,0BAA0B;oBAChC,QAAQ,EAAE,WAAoB;oBAC9B,UAAU,EAAE,mBAAmB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;oBAC5D,eAAe,EAAE,gBAAgB;iBAClC,CAAC;YACF,gBAAgB;YAChB,gBAAgB;YAChB,yBAAyB,EAAE,YAAY,CAAC,IAAI,KAAK,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,UAAU,EAAE,+BAA+B;QAC3C,QAAQ,EAAE,WAAW;QACrB,gBAAgB;QAChB,gBAAgB;QAChB,yBAAyB,EAAE,YAAY,CAAC,IAAI,KAAK,CAAC;KACnD,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,8BAA8B,CAC5C,IAAsB,EACtB,MAAsC;IAEtC,MAAM,MAAM,GAAgE,EAAE,CAAC;IAE/E,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,QAAQ,IAAI,CAAC,OAAO,0BAA0B;YACrD,QAAQ,EAAE,WAAW;SACtB,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,MAAM,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QAC5C,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,6BAA6B;YACpC,QAAQ,EAAE,WAAW;SACtB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/engine/verifier.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verifier.d.ts","sourceRoot":"","sources":["../../src/engine/verifier.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAiB,cAAc,EAA+C,MAAM,aAAa,CAAC;AAY3I;;;;;;;;;;GAUG;AAIH,eAAe;AACf,MAAM,WAAW,oBAAoB;IACnC,iBAAiB;IACjB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,WAAW;IACX,sBAAsB,EAAE,MAAM,EAAE,CAAC;IACjC,WAAW;IACX,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa;IACb,MAAM,EAAE,OAAO,CAAC;CACjB;AAMD;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE;IAC5C,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,aAAa,EAAE,aAAa,CAAC;CAC9B,GAAG,oBAAoB,CAoDvB;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EAAE,EACtB,eAAe,EAAE,cAAc,EAAE,EACjC,KAAK,CAAC,EAAE,MAAM,EACd,cAAc,CAAC,EAAE,MAAM,GACtB,YAAY,CAgPd"}
+{"version":3,"file":"verifier.d.ts","sourceRoot":"","sources":["../../src/engine/verifier.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAiB,cAAc,EAA+C,MAAM,aAAa,CAAC;AAa3I;;;;;;;;;;GAUG;AAIH,eAAe;AACf,MAAM,WAAW,oBAAoB;IACnC,iBAAiB;IACjB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,WAAW;IACX,sBAAsB,EAAE,MAAM,EAAE,CAAC;IACjC,WAAW;IACX,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa;IACb,MAAM,EAAE,OAAO,CAAC;CACjB;AAMD;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE;IAC5C,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,aAAa,EAAE,aAAa,CAAC;CAC9B,GAAG,oBAAoB,CAoDvB;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EAAE,EACtB,eAAe,EAAE,cAAc,EAAE,EACjC,KAAK,CAAC,EAAE,MAAM,EACd,cAAc,CAAC,EAAE,MAAM,GACtB,YAAY,CAgPd"}

package/dist/engine/verifier.js

@@ -4,7 +4,8 @@ import { checkJavaQuality } from "./java_quality_guard.js";
 import { orphanGate, buildMainPathIntegrationContracts, } from "./main_path_integration_contract.js";
 import { checkCorePrinciples } from "./core_engineering_principles.js";
 import { createCommandContract } from "./command_execution_contract.js";
-console.error("[soloForge] verifier: 验证命令生成器模块已加载");
+import { debugLog } from "./debug_log.js";
+debugLog("verifier: 验证命令生成器模块已加载");
 /** 终局宣言签名 */
 const SOLOFORGE_AUDIT_PASS = "[SoloForge Audit: PASS - 已通过三重深度推演，确认无潜在隐患]";
 const SOLOFORGE_AUDIT_FAIL = "[SoloForge Audit: FAIL - 三重推演发现未覆盖的边界场景]";
@@ -22,7 +23,7 @@ export function performTripleNegation(params) {
     const { changedFiles, acceptanceItems, projectConfig } = params;
     const crashScenarios = [];
     const mitigations = [];
-    console.error("[soloForge] verifier: 开始三重否定推演");
+    debugLog("verifier: 开始三重否定推演");
     // 推演 1: 边界否定 — 检查验收项是否覆盖空值和极端值
     const hasBoundaryCheck = acceptanceItems.some((a) => /null|undefined|空|边界|极端|空值/.test(a.description));
     if (!hasBoundaryCheck && changedFiles.length > 0) {
@@ -45,10 +46,10 @@ export function performTripleNegation(params) {
     }
     const passed = crashScenarios.length === 0;
     if (!passed) {
-        console.error(`[soloForge] verifier: 三重否定推演发现 ${crashScenarios.length} 个未覆盖场景`);
+        debugLog(`verifier: 三重否定推演发现 ${crashScenarios.length} 个未覆盖场景`);
     }
     else {
-        console.error("[soloForge] verifier: 三重否定推演通过");
+        debugLog("verifier: 三重否定推演通过");
     }
     return {
         crash_scenarios: crashScenarios,
@@ -67,7 +68,7 @@ export function performTripleNegation(params) {
  * @returns 验证结果，包含命令列表、摘要、证据项和覆盖率矩阵
  */
 export function generateVerifyCommands(config, changedFiles, acceptanceItems, route, executionShape) {
-    console.error(`[soloForge] verifier: 生成验证命令，变更文件 ${changedFiles.length} 个`);
+    debugLog(`verifier: 生成验证命令，变更文件 ${changedFiles.length} 个`);
     const projectPath = config._projectPath || process.cwd();
     // 确定受影响的仓库
     const affectedRepos = detectAffectedRepos(changedFiles, config);
@@ -203,7 +204,7 @@ export function generateVerifyCommands(config, changedFiles, acceptanceItems, ro
     }
     const integrationPassed = integrationFindings.every((f) => f.severity !== "hard_fail");
     if (!integrationPassed) {
-        console.error("[soloForge] verifier: 主链路集成检查失败");
+        debugLog("verifier: 主链路集成检查失败");
         finalSummary += "\n\n⚠ 主链路集成检查失败: 存在孤岛模块或缺少集成/契约测试";
         for (const f of integrationFindings.filter((f) => f.severity === "hard_fail")) {
             finalSummary += `\n- ${f.module_path}: ${f.reason}`;
@@ -245,7 +246,7 @@ export function generateVerifyCommands(config, changedFiles, acceptanceItems, ro
         const failedIds = corePrinciples.principles
             .filter((p) => p.status === "failed")
             .map((p) => p.principle_id);
-        console.error(`[soloForge] verifier: 核心工程执行原则检查失败: ${failedIds.join(", ")}`);
+        debugLog(`verifier: 核心工程执行原则检查失败: ${failedIds.join(", ")}`);
         finalSummary += `\n\n✗ 核心工程执行原则检查失败: ${failedIds.join(", ")}`;
         for (const pr of corePrinciples.principles) {
             if (pr.status === "failed") {
@@ -275,7 +276,7 @@ export function generateVerifyCommands(config, changedFiles, acceptanceItems, ro
             mode: "plan_only",
         })),
     ];
-    console.error(`[soloForge] verifier: 验证命令生成完成 — 构建 ${buildCommands.length} 个，测试 ${testCommands.length} 个，自动验收 ${autoTotal} 项`);
+    debugLog(`verifier: 验证命令生成完成 — 构建 ${buildCommands.length} 个，测试 ${testCommands.length} 个，自动验收 ${autoTotal} 项`);
     return {
         task_id: "", // 由调用方填充
         checks: {