@dommaker/harness 0.2.1 → 0.3.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +134 -1
- package/bin/harness.js +81 -3
- package/dist/cli/commands/diagnose.d.ts +16 -0
- package/dist/cli/commands/diagnose.d.ts.map +1 -0
- package/dist/cli/commands/diagnose.js +195 -0
- package/dist/cli/commands/diagnose.js.map +1 -0
- package/dist/cli/commands/index.d.ts +3 -0
- package/dist/cli/commands/index.d.ts.map +1 -1
- package/dist/cli/commands/index.js +7 -1
- package/dist/cli/commands/index.js.map +1 -1
- package/dist/cli/commands/propose.d.ts +18 -0
- package/dist/cli/commands/propose.d.ts.map +1 -0
- package/dist/cli/commands/propose.js +331 -0
- package/dist/cli/commands/propose.js.map +1 -0
- package/dist/cli/commands/traces.d.ts +15 -0
- package/dist/cli/commands/traces.d.ts.map +1 -0
- package/dist/cli/commands/traces.js +167 -0
- package/dist/cli/commands/traces.js.map +1 -0
- package/dist/core/constraints/checker.d.ts +4 -0
- package/dist/core/constraints/checker.d.ts.map +1 -1
- package/dist/core/constraints/checker.js +54 -0
- package/dist/core/constraints/checker.js.map +1 -1
- package/dist/index.d.ts +1 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +4 -0
- package/dist/index.js.map +1 -1
- package/dist/monitoring/constraint-doctor.d.ts +130 -0
- package/dist/monitoring/constraint-doctor.d.ts.map +1 -0
- package/dist/monitoring/constraint-doctor.js +305 -0
- package/dist/monitoring/constraint-doctor.js.map +1 -0
- package/dist/monitoring/constraint-evolver.d.ts +174 -0
- package/dist/monitoring/constraint-evolver.d.ts.map +1 -0
- package/dist/monitoring/constraint-evolver.js +412 -0
- package/dist/monitoring/constraint-evolver.js.map +1 -0
- package/dist/monitoring/index.d.ts +14 -0
- package/dist/monitoring/index.d.ts.map +1 -0
- package/dist/monitoring/index.js +30 -0
- package/dist/monitoring/index.js.map +1 -0
- package/dist/monitoring/trace-analyzer.d.ts +100 -0
- package/dist/monitoring/trace-analyzer.d.ts.map +1 -0
- package/dist/monitoring/trace-analyzer.js +432 -0
- package/dist/monitoring/trace-analyzer.js.map +1 -0
- package/dist/monitoring/traces.d.ts +111 -0
- package/dist/monitoring/traces.d.ts.map +1 -0
- package/dist/monitoring/traces.js +312 -0
- package/dist/monitoring/traces.js.map +1 -0
- package/dist/types/constraint.d.ts +2 -0
- package/dist/types/constraint.d.ts.map +1 -1
- package/dist/types/constraint.js.map +1 -1
- package/dist/types/index.d.ts +3 -0
- package/dist/types/index.d.ts.map +1 -1
- package/dist/types/index.js +2 -0
- package/dist/types/index.js.map +1 -1
- package/dist/types/trace.d.ts +151 -0
- package/dist/types/trace.d.ts.map +1 -0
- package/dist/types/trace.js +8 -0
- package/dist/types/trace.js.map +1 -0
- package/package.json +1 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAgWH,0CAoBC;AAKD,4CAIC;AAKD,oDAEC;AAiBD,oCAKC;AAKD,4CAKC;AA3ZD,uDAAkE;AAClE,+CAA4D;AAE5D;;GAEG;AACH,MAAa,iBAAiB;IACpB,MAAM,CAAC,QAAQ,CAAoB;IAE3C,gBAAuB,CAAC;IAExB;;OAEG;IACH,MAAM,CAAC,WAAW;QAChB,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,CAAC;YAChC,iBAAiB,CAAC,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACvD,CAAC;QACD,OAAO,iBAAiB,CAAC,QAAQ,CAAC;IACpC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,KAAK,CACT,UAAsB,EACtB,OAA0B;QAE1B,0BAA0B;QAC1B,IAAI,UAAU,CAAC,KAAK,KAAK,WAAW,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YAC9D,IAAI,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC7C,OAAO;oBACL,EAAE,EAAE,UAAU,CAAC,EAAE;oBACjB,KAAK,EAAE,UAAU,CAAC,KAAK;oBACvB,SAAS,EAAE,IAAI;oBACf,UAAU;oBACV,OAAO,EAAE,QAAQ,UAAU,CAAC,EAAE,WAAW;oBACzC,SAAS,EAAE,IAAI,IAAI,EAAE;iBACtB,CAAC;YACJ,CAAC;QACH,CAAC;QAED,SAAS;QACT,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAEpE,OAAO;YACL,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,SAAS;YACT,UAAU;YACV,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO;YACnD,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW;YAC9D,SAAS,EAAE,IAAI,IAAI,EAAE;SACtB,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,UAAsB,EAAE,OAA0B;QACvE,IAAI,CAAC,UAAU,CAAC,UAAU;YAAE,OAAO,KAAK,CAAC;QAEzC,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YAC9C,QAAQ,SAAS,EAAE,CAAC;gBAClB,6BAA6B;gBAC7B,KAAK,sBAAsB;oBACzB,IAAI,OAAO,CAAC,mBAAmB;wBAAE,OAAO,IAAI,CAAC;oBAC7C,MAAM;gBACR,KAAK,mBAAmB;oBACtB,IAAI,OAAO,CAAC,gBAAgB;wBAAE,OAAO,IAAI,CAAC;oBAC1C,MAAM;gBACR,KAAK,sBAAsB;oBACzB,IAAI,OAAO,CAAC,mBAAmB;wBAAE,OAAO,IAAI,CAAC;oBAC7C,MAAM;gBACR,KAAK,sBAAsB;oBACzB,IAAI,OAAO,CAAC,mBAAmB;wBAAE,OAAO,IAAI,CAAC;oBAC7C,MAAM;gBAER,+BAA+B;gBAC/B,KAAK,aAAa;oBAChB,IAAI,OAAO,CAAC,YAAY;wBAAE,OAAO,IAAI,CAAC;oBACtC,MAAM;gBACR,KAAK,oBAAoB;oBACvB,IAAI,OAAO,CAAC,kBAAkB;wBAAE,OAAO,IAAI,CAAC;oBAC5C,MAAM;gBACR,KAAK,gBAAgB;oBACnB,IAAI,OAAO,CAAC,eAAe;wBAAE,OAAO,IAAI,CAAC;oBACzC,MAAM;gBAER,0BAA0B;gBAC1B,KAAK,aAAa;oBAChB,IAAI,OAAO,CAAC,YAAY;wBAAE,OAAO,IAAI,CAAC;oBACtC,MAAM;gBACR,KAAK,iBAAiB;oBACpB,IAAI,OAAO,CAAC,gBAAgB;wBAAE,OAAO,IAAI,CAAC;oBAC1C,MAAM;gBACR,KAAK,iBAAiB;oBACpB,IAAI,OAAO,CAAC,gBAAgB;wBAAE,OAAO,IAAI,CAAC;oBAC1C,MAAM;gBACR,KAAK,wBAAwB;oBAC3B,IAAI,OAAO,CAAC,sBAAsB;wBAAE,OAAO,IAAI,CAAC;oBAChD,MAAM;gBAER,iBAAiB;gBACjB,KAAK,mBAAmB;oBACtB,IAAI,OAAO,CAAC,iBAAiB;wBAAE,OAAO,IAAI,CAAC;oBAC3C,MAAM;gBACR,KAAK,sBAAsB;oBACzB,IAAI,OAAO,CAAC,mBAAmB;wBAAE,OAAO,IAAI,CAAC;oBAC7C,MAAM;gBACR,KAAK,kBAAkB;oBACrB,IAAI,OAAO,CAAC,iBAAiB;wBAAE,OAAO,IAAI,CAAC;oBAC3C,MAAM;gBAER,qBAAqB;gBACrB,KAAK,mBAAmB;oBACtB,IAAI,OAAO,CAAC,kBAAkB;wBAAE,OAAO,IAAI,CAAC;oBAC5C,MAAM;gBACR,KAAK,cAAc;oBACjB,IAAI,OAAO,CAAC,YAAY;wBAAE,OAAO,IAAI,CAAC;oBACtC,MAAM;gBACR,KAAK,0BAA0B;oBAC7B,IAAI,OAAO,CAAC,yBAAyB;wBAAE,OAAO,IAAI,CAAC;oBACnD,MAAM;gBAER,wCAAwC;gBACxC,KAAK,wBAAwB;oBAC3B,IAAI,OAAO,CAAC,sBAAsB;wBAAE,OAAO,IAAI,CAAC;oBAChD,MAAM;gBACR,KAAK,sBAAsB;oBACzB,IAAI,OAAO,CAAC,oBAAoB;wBAAE,OAAO,IAAI,CAAC;oBAC9C,MAAM;gBACR,KAAK,qBAAqB;oBACxB,IAAI,OAAO,CAAC,mBAAmB;wBAAE,OAAO,IAAI,CAAC;oBAC7C,MAAM;YACV,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,iBAAiB,CAC7B,UAAsB,EACtB,OAA0B;QAE1B,QAAQ,UAAU,CAAC,EAAE,EAAE,CAAC;YACtB,YAAY;YACZ,KAAK,sBAAsB;gBACzB,mBAAmB;gBACnB,OAAO,IAAI,CAAC;YAEd,KAAK,kBAAkB;gBACrB,YAAY;gBACZ,OAAO,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC;YAElC,KAAK,oCAAoC;gBACvC,YAAY;gBACZ,OAAO,OAAO,CAAC,uBAAuB,KAAK,IAAI,CAAC;YAElD,KAAK,wBAAwB;gBAC3B,kBAAkB;gBAClB,OAAO,IAAI,CAAC;YAEd,aAAa;YACb,KAAK,2BAA2B;gBAC9B,cAAc;gBACd,OAAO,OAAO,CAAC,yBAAyB,KAAK,IAAI,CAAC;YAEpD,KAAK,sBAAsB;gBACzB,aAAa;gBACb,OAAO,OAAO,CAAC,cAAc,KAAK,IAAI,CAAC;YAEzC,KAAK,aAAa;gBAChB,wBAAwB;gBACxB,OAAO,IAAI,CAAC;YAEd,KAAK,yBAAyB;gBAC5B,eAAe;gBACf,OAAO,OAAO,CAAC,aAAa,KAAK,IAAI,CAAC;YAExC,KAAK,iCAAiC;gBACpC,cAAc;gBACd,OAAO,OAAO,CAAC,aAAa,KAAK,IAAI,CAAC;YAExC,KAAK,iBAAiB;gBACpB,gCAAgC;gBAChC,OAAO,IAAI,CAAC;YAEd,KAAK,oCAAoC;gBACvC,kBAAkB;gBAClB,OAAO,IAAI,CAAC;YAEd,KAAK,uBAAuB;gBAC1B,UAAU;gBACV,OAAO,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC;YAElC,KAAK,wBAAwB;gBAC3B,gBAAgB;gBAChB,OAAO,IAAI,CAAC;YAEd,wBAAwB;YACxB,KAAK,iBAAiB;gBACpB,OAAO,IAAI,CAAC;YAEd,KAAK,6BAA6B;gBAChC,OAAO,IAAI,CAAC;YAEd;gBACE,YAAY;gBACZ,OAAO,IAAI,CAAC;QAChB,CAAC;IACH,CAAC;IAED;;OAEG;IACH,yBAAyB,CAAC,OAA0B;QAKlD,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC;QAElC,MAAM,eAAe,GAAG,CAAC,WAAuC,EAAgB,EAAE;YAChF,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;gBACpD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;oBAChD,CAAC,CAAC,UAAU,CAAC,OAAO;oBACpB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;gBACzB,OAAO,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC,CAAC,CAAC;QACL,CAAC,CAAC;QAEF,OAAO;YACL,QAAQ,EAAE,eAAe,CAAC,uBAAS,CAAC;YACpC,UAAU,EAAE,eAAe,CAAC,wBAAU,CAAC;YACvC,IAAI,EAAE,eAAe,CAAC,kBAAI,CAAC;SAC5B,CAAC;IACJ,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,gBAAgB,CAAC,OAA0B;QAC/C,MAAM,MAAM,GAA0B;YACpC,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,EAAE;YACd,IAAI,EAAE,EAAE;YACR,MAAM,EAAE,IAAI;YACZ,YAAY,EAAE,CAAC;YACf,QAAQ,EAAE,CAAC;SACZ,CAAC;QAEF,0BAA0B;QAC1B,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,uBAAS,CAAC,EAAE,CAAC;YAClD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;gBAChD,CAAC,CAAC,UAAU,CAAC,OAAO;gBACpB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAEzB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;gBAAE,SAAS;YAEpD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAC1D,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAElC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;gBACtB,MAAM,IAAI,qCAAwB,CAAC,WAAW,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QAED,yBAAyB;QACzB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,wBAAU,CAAC,EAAE,CAAC;YACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;gBAChD,CAAC,CAAC,UAAU,CAAC,OAAO;gBACpB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAEzB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;gBAAE,SAAS;YAEpD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAC1D,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAEpC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,YAAY,EAAE,CAAC;YACxB,CAAC;QACH,CAAC;QAED,kBAAkB;QAClB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,kBAAI,CAAC,EAAE,CAAC;YAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;gBAChD,CAAC,CAAC,UAAU,CAAC,OAAO;gBACpB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAEzB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;gBAAE,SAAS;YAEpD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAC1D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAE9B,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,eAAe,CAAC,OAA0B;QAC9C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAE5F,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,uBAAS,CAAC,EAAE,CAAC;YAClD,MAAM,kBAAkB,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;gBAC1D,CAAC,CAAC,UAAU,CAAC,OAAO;gBACpB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAEzB,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACnE,IAAI,CAAC,OAAO;gBAAE,SAAS;YAEvB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAErD,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,qCAAwB,CAAC,MAAM,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAxUD,8CAwUC;AAED,2CAA2C;AAC3C,OAAO;AACP,2CAA2C;AAE3C;;GAEG;AACI,KAAK,UAAU,eAAe,CACnC,YAAoB,EACpB,OAA0B;IAE1B,MAAM,UAAU,GACd,uBAAS,CAAC,YAAY,CAAC;QACvB,wBAAU,CAAC,YAAY,CAAC;QACxB,kBAAI,CAAC,YAAY,CAAC,CAAC;IAErB,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,EAAE,EAAE,YAAY;YAChB,KAAK,EAAE,KAAK;YACZ,SAAS,EAAE,KAAK;YAChB,OAAO,EAAE,UAAU,YAAY,EAAE;YACjC,SAAS,EAAE,IAAI,IAAI,EAAE;SACtB,CAAC;IACJ,CAAC;IAED,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AACpE,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,gBAAgB,CACpC,OAA0B;IAE1B,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;AACnE,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,oBAAoB,CAAC,OAA0B;IACnE,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;AAClE,CAAC;AAED,OAAO;AACM,QAAA,iBAAiB,GAAG,iBAAiB,CAAC,WAAW,EAAE,CAAC;AAEjE,2CAA2C;AAC3C,YAAY;AACZ,2CAA2C;AAE3C;;GAEG;AACU,QAAA,cAAc,GAAG,iBAAiB,CAAC;AAEhD;;GAEG;AACI,KAAK,UAAU,YAAY,CAChC,KAAa,EACb,OAA0B;IAE1B,OAAO,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AACzC,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,gBAAgB,CACpC,OAA0B;IAE1B,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC/C,OAAO,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,UAAU,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;AACpE,CAAC;AAED;;GAEG;AACU,QAAA,cAAc,GAAG,yBAAiB,CAAC"}
|
|
1
|
+
{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AA6ZH,0CAoBC;AAKD,4CAIC;AAKD,oDAEC;AAiBD,oCAKC;AAKD,4CAKC;AAvdD,uDAAkE;AAElE,oDAA4D;AAC5D,+CAA4D;AAE5D;;GAEG;AACH,MAAa,iBAAiB;IACpB,MAAM,CAAC,QAAQ,CAAoB;IAE3C,gBAAuB,CAAC;IAExB;;OAEG;IACH,MAAM,CAAC,WAAW;QAChB,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,CAAC;YAChC,iBAAiB,CAAC,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACvD,CAAC;QACD,OAAO,iBAAiB,CAAC,QAAQ,CAAC;IACpC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,KAAK,CACT,UAAsB,EACtB,OAA0B;QAE1B,0BAA0B;QAC1B,IAAI,UAAU,CAAC,KAAK,KAAK,WAAW,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YAC9D,IAAI,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC7C,OAAO;oBACL,EAAE,EAAE,UAAU,CAAC,EAAE;oBACjB,KAAK,EAAE,UAAU,CAAC,KAAK;oBACvB,SAAS,EAAE,IAAI;oBACf,UAAU;oBACV,OAAO,EAAE,QAAQ,UAAU,CAAC,EAAE,WAAW;oBACzC,SAAS,EAAE,IAAI,IAAI,EAAE;iBACtB,CAAC;YACJ,CAAC;QACH,CAAC;QAED,SAAS;QACT,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAEpE,OAAO;YACL,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,SAAS;YACT,UAAU;YACV,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO;YACnD,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW;YAC9D,SAAS,EAAE,IAAI,IAAI,EAAE;SACtB,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,UAAsB,EAAE,OAA0B;QACvE,IAAI,CAAC,UAAU,CAAC,UAAU;YAAE,OAAO,KAAK,CAAC;QAEzC,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YAC9C,QAAQ,SAAS,EAAE,CAAC;gBAClB,6BAA6B;gBAC7B,KAAK,sBAAsB;oBACzB,IAAI,OAAO,CAAC,mBAAmB;wBAAE,OAAO,IAAI,CAAC;oBAC7C,MAAM;gBACR,KAAK,mBAAmB;oBACtB,IAAI,OAAO,CAAC,gBAAgB;wBAAE,OAAO,IAAI,CAAC;oBAC1C,MAAM;gBACR,KAAK,sBAAsB;oBACzB,IAAI,OAAO,CAAC,mBAAmB;wBAAE,OAAO,IAAI,CAAC;oBAC7C,MAAM;gBACR,KAAK,sBAAsB;oBACzB,IAAI,OAAO,CAAC,mBAAmB;wBAAE,OAAO,IAAI,CAAC;oBAC7C,MAAM;gBAER,+BAA+B;gBAC/B,KAAK,aAAa;oBAChB,IAAI,OAAO,CAAC,YAAY;wBAAE,OAAO,IAAI,CAAC;oBACtC,MAAM;gBACR,KAAK,oBAAoB;oBACvB,IAAI,OAAO,CAAC,kBAAkB;wBAAE,OAAO,IAAI,CAAC;oBAC5C,MAAM;gBACR,KAAK,gBAAgB;oBACnB,IAAI,OAAO,CAAC,eAAe;wBAAE,OAAO,IAAI,CAAC;oBACzC,MAAM;gBAER,0BAA0B;gBAC1B,KAAK,aAAa;oBAChB,IAAI,OAAO,CAAC,YAAY;wBAAE,OAAO,IAAI,CAAC;oBACtC,MAAM;gBACR,KAAK,iBAAiB;oBACpB,IAAI,OAAO,CAAC,gBAAgB;wBAAE,OAAO,IAAI,CAAC;oBAC1C,MAAM;gBACR,KAAK,iBAAiB;oBACpB,IAAI,OAAO,CAAC,gBAAgB;wBAAE,OAAO,IAAI,CAAC;oBAC1C,MAAM;gBACR,KAAK,wBAAwB;oBAC3B,IAAI,OAAO,CAAC,sBAAsB;wBAAE,OAAO,IAAI,CAAC;oBAChD,MAAM;gBAER,iBAAiB;gBACjB,KAAK,mBAAmB;oBACtB,IAAI,OAAO,CAAC,iBAAiB;wBAAE,OAAO,IAAI,CAAC;oBAC3C,MAAM;gBACR,KAAK,sBAAsB;oBACzB,IAAI,OAAO,CAAC,mBAAmB;wBAAE,OAAO,IAAI,CAAC;oBAC7C,MAAM;gBACR,KAAK,kBAAkB;oBACrB,IAAI,OAAO,CAAC,iBAAiB;wBAAE,OAAO,IAAI,CAAC;oBAC3C,MAAM;gBAER,qBAAqB;gBACrB,KAAK,mBAAmB;oBACtB,IAAI,OAAO,CAAC,kBAAkB;wBAAE,OAAO,IAAI,CAAC;oBAC5C,MAAM;gBACR,KAAK,cAAc;oBACjB,IAAI,OAAO,CAAC,YAAY;wBAAE,OAAO,IAAI,CAAC;oBACtC,MAAM;gBACR,KAAK,0BAA0B;oBAC7B,IAAI,OAAO,CAAC,yBAAyB;wBAAE,OAAO,IAAI,CAAC;oBACnD,MAAM;gBAER,wCAAwC;gBACxC,KAAK,wBAAwB;oBAC3B,IAAI,OAAO,CAAC,sBAAsB;wBAAE,OAAO,IAAI,CAAC;oBAChD,MAAM;gBACR,KAAK,sBAAsB;oBACzB,IAAI,OAAO,CAAC,oBAAoB;wBAAE,OAAO,IAAI,CAAC;oBAC9C,MAAM;gBACR,KAAK,qBAAqB;oBACxB,IAAI,OAAO,CAAC,mBAAmB;wBAAE,OAAO,IAAI,CAAC;oBAC7C,MAAM;YACV,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,KAAsB;QACxC,QAAQ,KAAK,EAAE,CAAC;YACd,KAAK,UAAU;gBACb,OAAO,OAAO,CAAC;YACjB,KAAK,WAAW;gBACd,OAAO,SAAS,CAAC;YACnB,KAAK,KAAK;gBACR,OAAO,MAAM,CAAC;YAChB;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,iBAAiB,CAC7B,UAAsB,EACtB,OAA0B;QAE1B,QAAQ,UAAU,CAAC,EAAE,EAAE,CAAC;YACtB,YAAY;YACZ,KAAK,sBAAsB;gBACzB,mBAAmB;gBACnB,OAAO,IAAI,CAAC;YAEd,KAAK,kBAAkB;gBACrB,YAAY;gBACZ,OAAO,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC;YAElC,KAAK,oCAAoC;gBACvC,YAAY;gBACZ,OAAO,OAAO,CAAC,uBAAuB,KAAK,IAAI,CAAC;YAElD,KAAK,wBAAwB;gBAC3B,kBAAkB;gBAClB,OAAO,IAAI,CAAC;YAEd,aAAa;YACb,KAAK,2BAA2B;gBAC9B,cAAc;gBACd,OAAO,OAAO,CAAC,yBAAyB,KAAK,IAAI,CAAC;YAEpD,KAAK,sBAAsB;gBACzB,aAAa;gBACb,OAAO,OAAO,CAAC,cAAc,KAAK,IAAI,CAAC;YAEzC,KAAK,aAAa;gBAChB,wBAAwB;gBACxB,OAAO,IAAI,CAAC;YAEd,KAAK,yBAAyB;gBAC5B,eAAe;gBACf,OAAO,OAAO,CAAC,aAAa,KAAK,IAAI,CAAC;YAExC,KAAK,iCAAiC;gBACpC,cAAc;gBACd,OAAO,OAAO,CAAC,aAAa,KAAK,IAAI,CAAC;YAExC,KAAK,iBAAiB;gBACpB,gCAAgC;gBAChC,OAAO,IAAI,CAAC;YAEd,KAAK,oCAAoC;gBACvC,kBAAkB;gBAClB,OAAO,IAAI,CAAC;YAEd,KAAK,uBAAuB;gBAC1B,UAAU;gBACV,OAAO,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC;YAElC,KAAK,wBAAwB;gBAC3B,gBAAgB;gBAChB,OAAO,IAAI,CAAC;YAEd,wBAAwB;YACxB,KAAK,iBAAiB;gBACpB,OAAO,IAAI,CAAC;YAEd,KAAK,6BAA6B;gBAChC,OAAO,IAAI,CAAC;YAEd;gBACE,YAAY;gBACZ,OAAO,IAAI,CAAC;QAChB,CAAC;IACH,CAAC;IAED;;OAEG;IACH,yBAAyB,CAAC,OAA0B;QAKlD,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC;QAElC,MAAM,eAAe,GAAG,CAAC,WAAuC,EAAgB,EAAE;YAChF,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;gBACpD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;oBAChD,CAAC,CAAC,UAAU,CAAC,OAAO;oBACpB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;gBACzB,OAAO,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC,CAAC,CAAC;QACL,CAAC,CAAC;QAEF,OAAO;YACL,QAAQ,EAAE,eAAe,CAAC,uBAAS,CAAC;YACpC,UAAU,EAAE,eAAe,CAAC,wBAAU,CAAC;YACvC,IAAI,EAAE,eAAe,CAAC,kBAAI,CAAC;SAC5B,CAAC;IACJ,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,gBAAgB,CAAC,OAA0B;QAC/C,MAAM,MAAM,GAA0B;YACpC,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,EAAE;YACd,IAAI,EAAE,EAAE;YACR,MAAM,EAAE,IAAI;YACZ,YAAY,EAAE,CAAC;YACf,QAAQ,EAAE,CAAC;SACZ,CAAC;QAEF,qBAAqB;QACrB,MAAM,cAAc,GAAG,IAAA,0BAAiB,GAAE,CAAC;QAE3C,0BAA0B;QAC1B,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,uBAAS,CAAC,EAAE,CAAC;YAClD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;gBAChD,CAAC,CAAC,UAAU,CAAC,OAAO;gBACpB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAEzB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;gBAAE,SAAS;YAEpD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAC1D,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAElC,WAAW;YACX,cAAc,CAAC,MAAM,CAAC;gBACpB,YAAY,EAAE,UAAU,CAAC,EAAE;gBAC3B,KAAK,EAAE,UAAU;gBACjB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;gBACrB,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;gBAC/C,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC;gBAC5C,gBAAgB,EAAE,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;gBAC9F,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,SAAS,EAAE,OAAO,CAAC,SAAS;aAC7B,CAAC,CAAC;YAEH,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;gBACtB,MAAM,IAAI,qCAAwB,CAAC,WAAW,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QAED,yBAAyB;QACzB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,wBAAU,CAAC,EAAE,CAAC;YACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;gBAChD,CAAC,CAAC,UAAU,CAAC,OAAO;gBACpB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAEzB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;gBAAE,SAAS;YAEpD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAC1D,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAEpC,WAAW;YACX,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACpD,cAAc,CAAC,MAAM,CAAC;gBACpB,YAAY,EAAE,UAAU,CAAC,EAAE;gBAC3B,KAAK,EAAE,WAAW;gBAClB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;gBACrB,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;gBAC/C,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,QAAQ;gBACR,gBAAgB,EAAE,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;gBAC9F,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,SAAS,EAAE,OAAO,CAAC,SAAS;aAC7B,CAAC,CAAC;YAEH,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,YAAY,EAAE,CAAC;YACxB,CAAC;QACH,CAAC;QAED,kBAAkB;QAClB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,kBAAI,CAAC,EAAE,CAAC;YAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;gBAChD,CAAC,CAAC,UAAU,CAAC,OAAO;gBACpB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAEzB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;gBAAE,SAAS;YAEpD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAC1D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAE9B,WAAW;YACX,cAAc,CAAC,MAAM,CAAC;gBACpB,YAAY,EAAE,UAAU,CAAC,EAAE;gBAC3B,KAAK,EAAE,KAAK;gBACZ,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;gBACrB,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;gBAC/C,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC;gBAC5C,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,SAAS,EAAE,OAAO,CAAC,SAAS;aAC7B,CAAC,CAAC;YAEH,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,eAAe,CAAC,OAA0B;QAC9C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAE5F,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,uBAAS,CAAC,EAAE,CAAC;YAClD,MAAM,kBAAkB,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;gBAC1D,CAAC,CAAC,UAAU,CAAC,OAAO;gBACpB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAEzB,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACnE,IAAI,CAAC,OAAO;gBAAE,SAAS;YAEvB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAErD,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,qCAAwB,CAAC,MAAM,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAlYD,8CAkYC;AAED,2CAA2C;AAC3C,OAAO;AACP,2CAA2C;AAE3C;;GAEG;AACI,KAAK,UAAU,eAAe,CACnC,YAAoB,EACpB,OAA0B;IAE1B,MAAM,UAAU,GACd,uBAAS,CAAC,YAAY,CAAC;QACvB,wBAAU,CAAC,YAAY,CAAC;QACxB,kBAAI,CAAC,YAAY,CAAC,CAAC;IAErB,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,EAAE,EAAE,YAAY;YAChB,KAAK,EAAE,KAAK;YACZ,SAAS,EAAE,KAAK;YAChB,OAAO,EAAE,UAAU,YAAY,EAAE;YACjC,SAAS,EAAE,IAAI,IAAI,EAAE;SACtB,CAAC;IACJ,CAAC;IAED,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AACpE,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,gBAAgB,CACpC,OAA0B;IAE1B,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;AACnE,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,oBAAoB,CAAC,OAA0B;IACnE,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;AAClE,CAAC;AAED,OAAO;AACM,QAAA,iBAAiB,GAAG,iBAAiB,CAAC,WAAW,EAAE,CAAC;AAEjE,2CAA2C;AAC3C,YAAY;AACZ,2CAA2C;AAE3C;;GAEG;AACU,QAAA,cAAc,GAAG,iBAAiB,CAAC;AAEhD;;GAEG;AACI,KAAK,UAAU,YAAY,CAChC,KAAa,EACb,OAA0B;IAE1B,OAAO,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AACzC,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,gBAAgB,CACpC,OAA0B;IAE1B,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC/C,OAAO,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,UAAU,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;AACpE,CAAC;AAED;;GAEG;AACU,QAAA,cAAc,GAAG,yBAAiB,CAAC"}
|
package/dist/index.d.ts
CHANGED
|
@@ -10,6 +10,7 @@
|
|
|
10
10
|
*/
|
|
11
11
|
export * from './types';
|
|
12
12
|
export * from './core';
|
|
13
|
+
export * from './monitoring';
|
|
13
14
|
export * from './presets';
|
|
14
15
|
import type { ConstraintContext, ConstraintCheckResult } from './types/constraint';
|
|
15
16
|
import type { IronLawContext, IronLawResult } from './types/constraint';
|
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,cAAc,SAAS,CAAC;AAKxB,cAAc,QAAQ,CAAC;AAKvB,cAAc,WAAW,CAAC;AAO1B,OAAO,KAAK,EAAE,iBAAiB,EAAE,qBAAqB,EAAoB,MAAM,oBAAoB,CAAC;AAErG,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAExE;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,qBAAqB,CAAC,CAEhC;AAED;;GAEG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,IAAI,CAAC,CAEf;AAMD;;GAEG;AACH,wBAAsB,aAAa,CACjC,OAAO,EAAE,cAAc,GACtB,OAAO,CAAC,aAAa,EAAE,CAAC,CAG1B"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,cAAc,SAAS,CAAC;AAKxB,cAAc,QAAQ,CAAC;AAKvB,cAAc,cAAc,CAAC;AAK7B,cAAc,WAAW,CAAC;AAO1B,OAAO,KAAK,EAAE,iBAAiB,EAAE,qBAAqB,EAAoB,MAAM,oBAAoB,CAAC;AAErG,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAExE;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,qBAAqB,CAAC,CAEhC;AAED;;GAEG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,IAAI,CAAC,CAEf;AAMD;;GAEG;AACH,wBAAsB,aAAa,CACjC,OAAO,EAAE,cAAc,GACtB,OAAO,CAAC,aAAa,EAAE,CAAC,CAG1B"}
|
package/dist/index.js
CHANGED
|
@@ -36,6 +36,10 @@ __exportStar(require("./types"), exports);
|
|
|
36
36
|
// ========================================
|
|
37
37
|
__exportStar(require("./core"), exports);
|
|
38
38
|
// ========================================
|
|
39
|
+
// 监控导出
|
|
40
|
+
// ========================================
|
|
41
|
+
__exportStar(require("./monitoring"), exports);
|
|
42
|
+
// ========================================
|
|
39
43
|
// 预设导出
|
|
40
44
|
// ========================================
|
|
41
45
|
__exportStar(require("./presets"), exports);
|
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;;;;;;;;;;;;;;
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;;;;;;;;;;;;;;AAkCH,4CAIC;AAKD,oDAIC;AASD,sCAKC;AA3DD,2CAA2C;AAC3C,OAAO;AACP,2CAA2C;AAC3C,0CAAwB;AAExB,2CAA2C;AAC3C,SAAS;AACT,2CAA2C;AAC3C,yCAAuB;AAEvB,2CAA2C;AAC3C,OAAO;AACP,2CAA2C;AAC3C,+CAA6B;AAE7B,2CAA2C;AAC3C,OAAO;AACP,2CAA2C;AAC3C,4CAA0B;AAE1B,2CAA2C;AAC3C,SAAS;AACT,2CAA2C;AAE3C,wDAA+D;AAK/D;;GAEG;AACI,KAAK,UAAU,gBAAgB,CACpC,OAA0B;IAE1B,OAAO,2BAAiB,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;AACrD,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,oBAAoB,CACxC,OAA0B;IAE1B,OAAO,2BAAiB,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;AACpD,CAAC;AAED,2CAA2C;AAC3C,WAAW;AACX,2CAA2C;AAE3C;;GAEG;AACI,KAAK,UAAU,aAAa,CACjC,OAAuB;IAEvB,MAAM,MAAM,GAAG,MAAM,2BAAiB,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;IACjE,OAAO,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,UAAU,EAAE,GAAG,MAAM,CAAC,IAAI,CAAoB,CAAC;AACvF,CAAC"}
|
|
@@ -0,0 +1,130 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Agent 诊断接口
|
|
3
|
+
*
|
|
4
|
+
* 当检测到异常时,提供 Agent 分析 traces 的能力
|
|
5
|
+
*
|
|
6
|
+
* 成本控制:
|
|
7
|
+
* - 仅在有异常时触发
|
|
8
|
+
* - 精简 prompt,不喂全部 traces
|
|
9
|
+
* - ~2000 Token/次
|
|
10
|
+
*/
|
|
11
|
+
import type { ExecutionTrace, TraceAnomaly, TraceSummary } from '../types/trace';
|
|
12
|
+
/**
|
|
13
|
+
* 诊断结果
|
|
14
|
+
*/
|
|
15
|
+
export interface Diagnosis {
|
|
16
|
+
/** 异常 ID */
|
|
17
|
+
anomalyId: string;
|
|
18
|
+
/** 约束 ID */
|
|
19
|
+
constraintId: string;
|
|
20
|
+
/** 诊断时间 */
|
|
21
|
+
diagnosedAt: number;
|
|
22
|
+
/** 根因分析 */
|
|
23
|
+
rootCause: {
|
|
24
|
+
/** 主要原因 */
|
|
25
|
+
primary: string;
|
|
26
|
+
/** 次要原因 */
|
|
27
|
+
secondary?: string[];
|
|
28
|
+
/** 相关 traces */
|
|
29
|
+
evidence: ExecutionTrace[];
|
|
30
|
+
};
|
|
31
|
+
/** 影响评估 */
|
|
32
|
+
impact: {
|
|
33
|
+
/** 影响程度 */
|
|
34
|
+
severity: 'low' | 'medium' | 'high';
|
|
35
|
+
/** 影响范围 */
|
|
36
|
+
scope: 'single_project' | 'multiple_projects' | 'team';
|
|
37
|
+
/** 用户影响 */
|
|
38
|
+
userImpact: string;
|
|
39
|
+
};
|
|
40
|
+
/** 改进建议 */
|
|
41
|
+
recommendations: {
|
|
42
|
+
/** 建议类型 */
|
|
43
|
+
type: 'add_exception' | 'adjust_threshold' | 'modify_constraint' | 'user_training';
|
|
44
|
+
/** 建议内容 */
|
|
45
|
+
content: string;
|
|
46
|
+
/** 预期效果 */
|
|
47
|
+
expectedOutcome: string;
|
|
48
|
+
/** 实施成本 */
|
|
49
|
+
implementationCost: 'low' | 'medium' | 'high';
|
|
50
|
+
}[];
|
|
51
|
+
/** 是否需要变更 */
|
|
52
|
+
needsChange: boolean;
|
|
53
|
+
/** 紧急程度 */
|
|
54
|
+
urgency: 'low' | 'medium' | 'high';
|
|
55
|
+
}
|
|
56
|
+
/**
|
|
57
|
+
* 诊断配置
|
|
58
|
+
*/
|
|
59
|
+
export interface ConstraintDoctorConfig {
|
|
60
|
+
/** 是否启用 Agent 诊断(默认 false,需要显式启用) */
|
|
61
|
+
enabled?: boolean;
|
|
62
|
+
/** Agent 类型(预留,后续对接) */
|
|
63
|
+
agentType?: 'claude-code' | 'codex' | 'openai';
|
|
64
|
+
/** 最大 traces 数量(用于构造 prompt) */
|
|
65
|
+
maxTracesInPrompt?: number;
|
|
66
|
+
/** 是否自动生成提案 */
|
|
67
|
+
autoGenerateProposal?: boolean;
|
|
68
|
+
}
|
|
69
|
+
/**
|
|
70
|
+
* Constraint Doctor - 约束诊断器
|
|
71
|
+
*
|
|
72
|
+
* 使用方式:
|
|
73
|
+
* ```typescript
|
|
74
|
+
* const doctor = new ConstraintDoctor(analyzer);
|
|
75
|
+
* const diagnosis = await doctor.diagnose(anomaly);
|
|
76
|
+
*
|
|
77
|
+
* if (diagnosis.needsChange) {
|
|
78
|
+
* const proposal = await evolver.propose(diagnosis);
|
|
79
|
+
* }
|
|
80
|
+
* ```
|
|
81
|
+
*/
|
|
82
|
+
export declare class ConstraintDoctor {
|
|
83
|
+
private config;
|
|
84
|
+
private traces;
|
|
85
|
+
private summary;
|
|
86
|
+
constructor(config?: ConstraintDoctorConfig);
|
|
87
|
+
/**
|
|
88
|
+
* 设置诊断数据
|
|
89
|
+
*/
|
|
90
|
+
setData(traces: ExecutionTrace[], summary?: TraceSummary): void;
|
|
91
|
+
/**
|
|
92
|
+
* 诊断异常
|
|
93
|
+
*
|
|
94
|
+
* 如果 Agent 未启用,返回基于规则的诊断
|
|
95
|
+
*/
|
|
96
|
+
diagnose(anomaly: TraceAnomaly): Promise<Diagnosis>;
|
|
97
|
+
/**
|
|
98
|
+
* 基于规则的诊断(零 Token)
|
|
99
|
+
*
|
|
100
|
+
* 根据异常类型应用预设的诊断规则
|
|
101
|
+
*/
|
|
102
|
+
private ruleBasedDiagnose;
|
|
103
|
+
/**
|
|
104
|
+
* 过滤相关 traces
|
|
105
|
+
*
|
|
106
|
+
* 只保留与异常相关的 traces,减少 prompt 内容
|
|
107
|
+
*/
|
|
108
|
+
private filterRelevantTraces;
|
|
109
|
+
/**
|
|
110
|
+
* 批量诊断多个异常
|
|
111
|
+
*/
|
|
112
|
+
diagnoseBatch(anomalies: TraceAnomaly[]): Promise<Diagnosis[]>;
|
|
113
|
+
/**
|
|
114
|
+
* 生成诊断报告(文本格式)
|
|
115
|
+
*/
|
|
116
|
+
generateReport(diagnosis: Diagnosis): string;
|
|
117
|
+
/**
|
|
118
|
+
* 保存诊断结果
|
|
119
|
+
*/
|
|
120
|
+
saveDiagnosis(diagnosis: Diagnosis, outputPath: string): void;
|
|
121
|
+
/**
|
|
122
|
+
* 加载诊断结果
|
|
123
|
+
*/
|
|
124
|
+
loadDiagnosis(inputPath: string): Diagnosis;
|
|
125
|
+
}
|
|
126
|
+
/**
|
|
127
|
+
* 创建诊断器
|
|
128
|
+
*/
|
|
129
|
+
export declare function createDoctor(config?: ConstraintDoctorConfig): ConstraintDoctor;
|
|
130
|
+
//# sourceMappingURL=constraint-doctor.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"constraint-doctor.d.ts","sourceRoot":"","sources":["../../src/monitoring/constraint-doctor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EACV,cAAc,EACd,YAAY,EACZ,YAAY,EACb,MAAM,gBAAgB,CAAC;AAExB;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,YAAY;IACZ,SAAS,EAAE,MAAM,CAAC;IAElB,YAAY;IACZ,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,WAAW,EAAE,MAAM,CAAC;IAEpB,WAAW;IACX,SAAS,EAAE;QACT,WAAW;QACX,OAAO,EAAE,MAAM,CAAC;QAEhB,WAAW;QACX,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;QAErB,gBAAgB;QAChB,QAAQ,EAAE,cAAc,EAAE,CAAC;KAC5B,CAAC;IAEF,WAAW;IACX,MAAM,EAAE;QACN,WAAW;QACX,QAAQ,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;QAEpC,WAAW;QACX,KAAK,EAAE,gBAAgB,GAAG,mBAAmB,GAAG,MAAM,CAAC;QAEvD,WAAW;QACX,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC;IAEF,WAAW;IACX,eAAe,EAAE;QACf,WAAW;QACX,IAAI,EAAE,eAAe,GAAG,kBAAkB,GAAG,mBAAmB,GAAG,eAAe,CAAC;QAEnF,WAAW;QACX,OAAO,EAAE,MAAM,CAAC;QAEhB,WAAW;QACX,eAAe,EAAE,MAAM,CAAC;QAExB,WAAW;QACX,kBAAkB,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;KAC/C,EAAE,CAAC;IAEJ,aAAa;IACb,WAAW,EAAE,OAAO,CAAC;IAErB,WAAW;IACX,OAAO,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,qCAAqC;IACrC,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,wBAAwB;IACxB,SAAS,CAAC,EAAE,aAAa,GAAG,OAAO,GAAG,QAAQ,CAAC;IAE/C,gCAAgC;IAChC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAE3B,eAAe;IACf,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,MAAM,CAAyB;IACvC,OAAO,CAAC,MAAM,CAAmB;IACjC,OAAO,CAAC,OAAO,CAAsB;gBAEzB,MAAM,CAAC,EAAE,sBAAsB;IAW3C;;OAEG;IACH,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,EAAE,OAAO,CAAC,EAAE,YAAY,GAAG,IAAI;IAK/D;;;;OAIG;IACG,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,SAAS,CAAC;IAiBzD;;;;OAIG;IACH,OAAO,CAAC,iBAAiB;IAmJzB;;;;OAIG;IACH,OAAO,CAAC,oBAAoB;IAa5B;;OAEG;IACG,aAAa,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAIpE;;OAEG;IACH,cAAc,CAAC,SAAS,EAAE,SAAS,GAAG,MAAM;IAmD5C;;OAEG;IACH,aAAa,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI;IAY7D;;OAEG;IACH,aAAa,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS;CAK5C;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,MAAM,CAAC,EAAE,sBAAsB,GAAG,gBAAgB,CAE9E"}
|
|
@@ -0,0 +1,305 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* Agent 诊断接口
|
|
4
|
+
*
|
|
5
|
+
* 当检测到异常时,提供 Agent 分析 traces 的能力
|
|
6
|
+
*
|
|
7
|
+
* 成本控制:
|
|
8
|
+
* - 仅在有异常时触发
|
|
9
|
+
* - 精简 prompt,不喂全部 traces
|
|
10
|
+
* - ~2000 Token/次
|
|
11
|
+
*/
|
|
12
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
13
|
+
exports.ConstraintDoctor = void 0;
|
|
14
|
+
exports.createDoctor = createDoctor;
|
|
15
|
+
/**
|
|
16
|
+
* Constraint Doctor - 约束诊断器
|
|
17
|
+
*
|
|
18
|
+
* 使用方式:
|
|
19
|
+
* ```typescript
|
|
20
|
+
* const doctor = new ConstraintDoctor(analyzer);
|
|
21
|
+
* const diagnosis = await doctor.diagnose(anomaly);
|
|
22
|
+
*
|
|
23
|
+
* if (diagnosis.needsChange) {
|
|
24
|
+
* const proposal = await evolver.propose(diagnosis);
|
|
25
|
+
* }
|
|
26
|
+
* ```
|
|
27
|
+
*/
|
|
28
|
+
class ConstraintDoctor {
|
|
29
|
+
config;
|
|
30
|
+
traces;
|
|
31
|
+
summary;
|
|
32
|
+
constructor(config) {
|
|
33
|
+
this.config = {
|
|
34
|
+
enabled: false,
|
|
35
|
+
maxTracesInPrompt: 20,
|
|
36
|
+
autoGenerateProposal: false,
|
|
37
|
+
...config,
|
|
38
|
+
};
|
|
39
|
+
this.traces = [];
|
|
40
|
+
this.summary = null;
|
|
41
|
+
}
|
|
42
|
+
/**
|
|
43
|
+
* 设置诊断数据
|
|
44
|
+
*/
|
|
45
|
+
setData(traces, summary) {
|
|
46
|
+
this.traces = traces;
|
|
47
|
+
this.summary = summary || null;
|
|
48
|
+
}
|
|
49
|
+
/**
|
|
50
|
+
* 诊断异常
|
|
51
|
+
*
|
|
52
|
+
* 如果 Agent 未启用,返回基于规则的诊断
|
|
53
|
+
*/
|
|
54
|
+
async diagnose(anomaly) {
|
|
55
|
+
// 过滤相关 traces
|
|
56
|
+
const relevantTraces = this.filterRelevantTraces(anomaly);
|
|
57
|
+
// 基于规则的初步诊断(不消耗 Token)
|
|
58
|
+
const ruleBasedDiagnosis = this.ruleBasedDiagnose(anomaly, relevantTraces);
|
|
59
|
+
// 如果 Agent 启用,可以进一步分析(预留)
|
|
60
|
+
if (this.config.enabled && this.config.agentType) {
|
|
61
|
+
// TODO: 调用 Agent 进行深度分析
|
|
62
|
+
// const agentDiagnosis = await this.agentDiagnose(anomaly, relevantTraces);
|
|
63
|
+
// return agentDiagnosis;
|
|
64
|
+
}
|
|
65
|
+
return ruleBasedDiagnosis;
|
|
66
|
+
}
|
|
67
|
+
/**
|
|
68
|
+
* 基于规则的诊断(零 Token)
|
|
69
|
+
*
|
|
70
|
+
* 根据异常类型应用预设的诊断规则
|
|
71
|
+
*/
|
|
72
|
+
ruleBasedDiagnose(anomaly, traces) {
|
|
73
|
+
const diagnosis = {
|
|
74
|
+
anomalyId: `${anomaly.constraintId}-${anomaly.type}-${Date.now()}`,
|
|
75
|
+
constraintId: anomaly.constraintId,
|
|
76
|
+
diagnosedAt: Date.now(),
|
|
77
|
+
rootCause: {
|
|
78
|
+
primary: '',
|
|
79
|
+
secondary: [],
|
|
80
|
+
evidence: traces.slice(0, this.config.maxTracesInPrompt),
|
|
81
|
+
},
|
|
82
|
+
impact: {
|
|
83
|
+
severity: 'medium',
|
|
84
|
+
scope: 'single_project',
|
|
85
|
+
userImpact: '',
|
|
86
|
+
},
|
|
87
|
+
recommendations: [],
|
|
88
|
+
needsChange: false,
|
|
89
|
+
urgency: 'low',
|
|
90
|
+
};
|
|
91
|
+
// 根据异常类型诊断
|
|
92
|
+
switch (anomaly.type) {
|
|
93
|
+
case 'high_bypass_rate':
|
|
94
|
+
diagnosis.rootCause.primary = '约束过于严格,用户频繁绕过';
|
|
95
|
+
diagnosis.rootCause.secondary = [
|
|
96
|
+
'约束触发条件过于宽泛',
|
|
97
|
+
'缺乏必要的例外条件',
|
|
98
|
+
'约束定义与实际场景不匹配',
|
|
99
|
+
];
|
|
100
|
+
diagnosis.impact.userImpact = '用户被迫绕过约束,降低信任度';
|
|
101
|
+
diagnosis.recommendations = [
|
|
102
|
+
{
|
|
103
|
+
type: 'add_exception',
|
|
104
|
+
content: `为约束 ${anomaly.constraintId} 添加常见例外条件`,
|
|
105
|
+
expectedOutcome: '绕过率降低至 20% 以下',
|
|
106
|
+
implementationCost: 'low',
|
|
107
|
+
},
|
|
108
|
+
{
|
|
109
|
+
type: 'adjust_threshold',
|
|
110
|
+
content: '调整触发条件,减少误触发',
|
|
111
|
+
expectedOutcome: '减少不必要的约束检查',
|
|
112
|
+
implementationCost: 'medium',
|
|
113
|
+
},
|
|
114
|
+
];
|
|
115
|
+
diagnosis.needsChange = true;
|
|
116
|
+
diagnosis.urgency = anomaly.data.currentRate > 0.5 ? 'high' : 'medium';
|
|
117
|
+
break;
|
|
118
|
+
case 'rising_fail_rate':
|
|
119
|
+
diagnosis.rootCause.primary = '约束失败率呈上升趋势';
|
|
120
|
+
diagnosis.rootCause.secondary = [
|
|
121
|
+
'代码质量下降',
|
|
122
|
+
'约束检查逻辑存在 bug',
|
|
123
|
+
'环境变化导致约束不再适用',
|
|
124
|
+
];
|
|
125
|
+
diagnosis.impact.userImpact = '开发效率下降,约束频繁阻止正常操作';
|
|
126
|
+
diagnosis.recommendations = [
|
|
127
|
+
{
|
|
128
|
+
type: 'modify_constraint',
|
|
129
|
+
content: '审查约束逻辑,确认是否符合预期',
|
|
130
|
+
expectedOutcome: '恢复正常的失败率水平',
|
|
131
|
+
implementationCost: 'medium',
|
|
132
|
+
},
|
|
133
|
+
{
|
|
134
|
+
type: 'user_training',
|
|
135
|
+
content: '指导用户正确理解约束要求',
|
|
136
|
+
expectedOutcome: '减少因误解导致的失败',
|
|
137
|
+
implementationCost: 'low',
|
|
138
|
+
},
|
|
139
|
+
];
|
|
140
|
+
diagnosis.needsChange = true;
|
|
141
|
+
diagnosis.urgency = 'medium';
|
|
142
|
+
break;
|
|
143
|
+
case 'rising_bypass_rate':
|
|
144
|
+
diagnosis.rootCause.primary = '绕过率呈上升趋势';
|
|
145
|
+
diagnosis.rootCause.secondary = [
|
|
146
|
+
'用户对约束的接受度下降',
|
|
147
|
+
'约束规则逐渐不适应新的开发模式',
|
|
148
|
+
'用户发现了绕过约束的"捷径"',
|
|
149
|
+
];
|
|
150
|
+
diagnosis.impact.userImpact = '约束逐渐失去约束力';
|
|
151
|
+
diagnosis.recommendations = [
|
|
152
|
+
{
|
|
153
|
+
type: 'modify_constraint',
|
|
154
|
+
content: '重新评估约束的必要性',
|
|
155
|
+
expectedOutcome: '恢复约束的权威性',
|
|
156
|
+
implementationCost: 'high',
|
|
157
|
+
},
|
|
158
|
+
];
|
|
159
|
+
diagnosis.needsChange = true;
|
|
160
|
+
diagnosis.urgency = 'high';
|
|
161
|
+
break;
|
|
162
|
+
case 'low_pass_rate':
|
|
163
|
+
diagnosis.rootCause.primary = '约束通过率过低';
|
|
164
|
+
diagnosis.rootCause.secondary = [
|
|
165
|
+
'约束要求过于严格',
|
|
166
|
+
'实际代码质量不达标',
|
|
167
|
+
'约束定义存在歧义',
|
|
168
|
+
];
|
|
169
|
+
diagnosis.impact.userImpact = '几乎所有操作都被阻止,开发受阻';
|
|
170
|
+
diagnosis.recommendations = [
|
|
171
|
+
{
|
|
172
|
+
type: 'adjust_threshold',
|
|
173
|
+
content: '放宽约束要求,设置合理阈值',
|
|
174
|
+
expectedOutcome: '通过率提升至 50% 以上',
|
|
175
|
+
implementationCost: 'low',
|
|
176
|
+
},
|
|
177
|
+
];
|
|
178
|
+
diagnosis.needsChange = true;
|
|
179
|
+
diagnosis.urgency = 'high';
|
|
180
|
+
break;
|
|
181
|
+
case 'exception_overuse':
|
|
182
|
+
diagnosis.rootCause.primary = '例外条件被过度使用';
|
|
183
|
+
diagnosis.rootCause.secondary = [
|
|
184
|
+
'例外条件过于宽泛',
|
|
185
|
+
'例外条件定义不够精确',
|
|
186
|
+
'用户习惯性申请例外',
|
|
187
|
+
];
|
|
188
|
+
diagnosis.impact.userImpact = '例外成为常态,约束失去意义';
|
|
189
|
+
diagnosis.recommendations = [
|
|
190
|
+
{
|
|
191
|
+
type: 'modify_constraint',
|
|
192
|
+
content: '缩小例外条件范围,提高例外门槛',
|
|
193
|
+
expectedOutcome: '例外使用率降低至 20% 以下',
|
|
194
|
+
implementationCost: 'medium',
|
|
195
|
+
},
|
|
196
|
+
];
|
|
197
|
+
diagnosis.needsChange = true;
|
|
198
|
+
diagnosis.urgency = 'medium';
|
|
199
|
+
break;
|
|
200
|
+
}
|
|
201
|
+
// 根据约束层级调整严重性
|
|
202
|
+
if (anomaly.level === 'iron_law') {
|
|
203
|
+
diagnosis.impact.severity = 'high';
|
|
204
|
+
diagnosis.urgency = 'medium'; // Iron law 总是至少 medium
|
|
205
|
+
}
|
|
206
|
+
return diagnosis;
|
|
207
|
+
}
|
|
208
|
+
/**
|
|
209
|
+
* 过滤相关 traces
|
|
210
|
+
*
|
|
211
|
+
* 只保留与异常相关的 traces,减少 prompt 内容
|
|
212
|
+
*/
|
|
213
|
+
filterRelevantTraces(anomaly) {
|
|
214
|
+
return this.traces.filter(t => {
|
|
215
|
+
// 必须是同一个约束
|
|
216
|
+
if (t.constraintId !== anomaly.constraintId)
|
|
217
|
+
return false;
|
|
218
|
+
// 失败或绕过的更有诊断价值
|
|
219
|
+
if (t.result === 'fail' || t.result === 'bypassed')
|
|
220
|
+
return true;
|
|
221
|
+
// 保留少量通过的作为对比
|
|
222
|
+
return true;
|
|
223
|
+
});
|
|
224
|
+
}
|
|
225
|
+
/**
|
|
226
|
+
* 批量诊断多个异常
|
|
227
|
+
*/
|
|
228
|
+
async diagnoseBatch(anomalies) {
|
|
229
|
+
return Promise.all(anomalies.map(a => this.diagnose(a)));
|
|
230
|
+
}
|
|
231
|
+
/**
|
|
232
|
+
* 生成诊断报告(文本格式)
|
|
233
|
+
*/
|
|
234
|
+
generateReport(diagnosis) {
|
|
235
|
+
const lines = [];
|
|
236
|
+
lines.push(`# Diagnosis Report`);
|
|
237
|
+
lines.push(`Constraint: ${diagnosis.constraintId}`);
|
|
238
|
+
lines.push(`Anomaly: ${diagnosis.anomalyId}`);
|
|
239
|
+
lines.push(`Diagnosed: ${new Date(diagnosis.diagnosedAt).toISOString()}`);
|
|
240
|
+
lines.push('');
|
|
241
|
+
// 根因
|
|
242
|
+
lines.push(`## Root Cause`);
|
|
243
|
+
lines.push('');
|
|
244
|
+
lines.push(`**Primary**: ${diagnosis.rootCause.primary}`);
|
|
245
|
+
if (diagnosis.rootCause.secondary?.length) {
|
|
246
|
+
lines.push('');
|
|
247
|
+
lines.push('**Secondary**:');
|
|
248
|
+
for (const s of diagnosis.rootCause.secondary) {
|
|
249
|
+
lines.push(`- ${s}`);
|
|
250
|
+
}
|
|
251
|
+
}
|
|
252
|
+
lines.push('');
|
|
253
|
+
// 影响
|
|
254
|
+
lines.push(`## Impact`);
|
|
255
|
+
lines.push('');
|
|
256
|
+
lines.push(`- Severity: ${diagnosis.impact.severity}`);
|
|
257
|
+
lines.push(`- Scope: ${diagnosis.impact.scope}`);
|
|
258
|
+
lines.push(`- User Impact: ${diagnosis.impact.userImpact}`);
|
|
259
|
+
lines.push('');
|
|
260
|
+
// 建议
|
|
261
|
+
lines.push(`## Recommendations`);
|
|
262
|
+
lines.push('');
|
|
263
|
+
for (const r of diagnosis.recommendations) {
|
|
264
|
+
lines.push(`### ${r.type}`);
|
|
265
|
+
lines.push(`- Content: ${r.content}`);
|
|
266
|
+
lines.push(`- Expected: ${r.expectedOutcome}`);
|
|
267
|
+
lines.push(`- Cost: ${r.implementationCost}`);
|
|
268
|
+
lines.push('');
|
|
269
|
+
}
|
|
270
|
+
// 决策
|
|
271
|
+
lines.push(`## Decision`);
|
|
272
|
+
lines.push('');
|
|
273
|
+
lines.push(`- Needs Change: ${diagnosis.needsChange ? '✅ Yes' : '❌ No'}`);
|
|
274
|
+
lines.push(`- Urgency: ${diagnosis.urgency}`);
|
|
275
|
+
return lines.join('\n');
|
|
276
|
+
}
|
|
277
|
+
/**
|
|
278
|
+
* 保存诊断结果
|
|
279
|
+
*/
|
|
280
|
+
saveDiagnosis(diagnosis, outputPath) {
|
|
281
|
+
const fs = require('fs');
|
|
282
|
+
const path = require('path');
|
|
283
|
+
const dir = path.dirname(outputPath);
|
|
284
|
+
if (!fs.existsSync(dir)) {
|
|
285
|
+
fs.mkdirSync(dir, { recursive: true });
|
|
286
|
+
}
|
|
287
|
+
fs.writeFileSync(outputPath, JSON.stringify(diagnosis, null, 2), 'utf-8');
|
|
288
|
+
}
|
|
289
|
+
/**
|
|
290
|
+
* 加载诊断结果
|
|
291
|
+
*/
|
|
292
|
+
loadDiagnosis(inputPath) {
|
|
293
|
+
const fs = require('fs');
|
|
294
|
+
const content = fs.readFileSync(inputPath, 'utf-8');
|
|
295
|
+
return JSON.parse(content);
|
|
296
|
+
}
|
|
297
|
+
}
|
|
298
|
+
exports.ConstraintDoctor = ConstraintDoctor;
|
|
299
|
+
/**
|
|
300
|
+
* 创建诊断器
|
|
301
|
+
*/
|
|
302
|
+
function createDoctor(config) {
|
|
303
|
+
return new ConstraintDoctor(config);
|
|
304
|
+
}
|
|
305
|
+
//# sourceMappingURL=constraint-doctor.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"constraint-doctor.js","sourceRoot":"","sources":["../../src/monitoring/constraint-doctor.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAkZH,oCAEC;AAhUD;;;;;;;;;;;;GAYG;AACH,MAAa,gBAAgB;IACnB,MAAM,CAAyB;IAC/B,MAAM,CAAmB;IACzB,OAAO,CAAsB;IAErC,YAAY,MAA+B;QACzC,IAAI,CAAC,MAAM,GAAG;YACZ,OAAO,EAAE,KAAK;YACd,iBAAiB,EAAE,EAAE;YACrB,oBAAoB,EAAE,KAAK;YAC3B,GAAG,MAAM;SACV,CAAC;QACF,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,MAAwB,EAAE,OAAsB;QACtD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,OAAO,GAAG,OAAO,IAAI,IAAI,CAAC;IACjC,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,QAAQ,CAAC,OAAqB;QAClC,cAAc;QACd,MAAM,cAAc,GAAG,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAE1D,uBAAuB;QACvB,MAAM,kBAAkB,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QAE3E,0BAA0B;QAC1B,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;YACjD,wBAAwB;YACxB,4EAA4E;YAC5E,yBAAyB;QAC3B,CAAC;QAED,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IAED;;;;OAIG;IACK,iBAAiB,CACvB,OAAqB,EACrB,MAAwB;QAExB,MAAM,SAAS,GAAc;YAC3B,SAAS,EAAE,GAAG,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;YAClE,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE;YACvB,SAAS,EAAE;gBACT,OAAO,EAAE,EAAE;gBACX,SAAS,EAAE,EAAE;gBACb,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,iBAAkB,CAAC;aAC1D;YACD,MAAM,EAAE;gBACN,QAAQ,EAAE,QAAQ;gBAClB,KAAK,EAAE,gBAAgB;gBACvB,UAAU,EAAE,EAAE;aACf;YACD,eAAe,EAAE,EAAE;YACnB,WAAW,EAAE,KAAK;YAClB,OAAO,EAAE,KAAK;SACf,CAAC;QAEF,WAAW;QACX,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,kBAAkB;gBACrB,SAAS,CAAC,SAAS,CAAC,OAAO,GAAG,eAAe,CAAC;gBAC9C,SAAS,CAAC,SAAS,CAAC,SAAS,GAAG;oBAC9B,YAAY;oBACZ,WAAW;oBACX,cAAc;iBACf,CAAC;gBACF,SAAS,CAAC,MAAM,CAAC,UAAU,GAAG,gBAAgB,CAAC;gBAC/C,SAAS,CAAC,eAAe,GAAG;oBAC1B;wBACE,IAAI,EAAE,eAAe;wBACrB,OAAO,EAAE,OAAO,OAAO,CAAC,YAAY,WAAW;wBAC/C,eAAe,EAAE,eAAe;wBAChC,kBAAkB,EAAE,KAAK;qBAC1B;oBACD;wBACE,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,cAAc;wBACvB,eAAe,EAAE,YAAY;wBAC7B,kBAAkB,EAAE,QAAQ;qBAC7B;iBACF,CAAC;gBACF,SAAS,CAAC,WAAW,GAAG,IAAI,CAAC;gBAC7B,SAAS,CAAC,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACvE,MAAM;YAER,KAAK,kBAAkB;gBACrB,SAAS,CAAC,SAAS,CAAC,OAAO,GAAG,YAAY,CAAC;gBAC3C,SAAS,CAAC,SAAS,CAAC,SAAS,GAAG;oBAC9B,QAAQ;oBACR,cAAc;oBACd,cAAc;iBACf,CAAC;gBACF,SAAS,CAAC,MAAM,CAAC,UAAU,GAAG,mBAAmB,CAAC;gBAClD,SAAS,CAAC,eAAe,GAAG;oBAC1B;wBACE,IAAI,EAAE,mBAAmB;wBACzB,OAAO,EAAE,iBAAiB;wBAC1B,eAAe,EAAE,YAAY;wBAC7B,kBAAkB,EAAE,QAAQ;qBAC7B;oBACD;wBACE,IAAI,EAAE,eAAe;wBACrB,OAAO,EAAE,cAAc;wBACvB,eAAe,EAAE,YAAY;wBAC7B,kBAAkB,EAAE,KAAK;qBAC1B;iBACF,CAAC;gBACF,SAAS,CAAC,WAAW,GAAG,IAAI,CAAC;gBAC7B,SAAS,CAAC,OAAO,GAAG,QAAQ,CAAC;gBAC7B,MAAM;YAER,KAAK,oBAAoB;gBACvB,SAAS,CAAC,SAAS,CAAC,OAAO,GAAG,UAAU,CAAC;gBACzC,SAAS,CAAC,SAAS,CAAC,SAAS,GAAG;oBAC9B,aAAa;oBACb,iBAAiB;oBACjB,gBAAgB;iBACjB,CAAC;gBACF,SAAS,CAAC,MAAM,CAAC,UAAU,GAAG,WAAW,CAAC;gBAC1C,SAAS,CAAC,eAAe,GAAG;oBAC1B;wBACE,IAAI,EAAE,mBAAmB;wBACzB,OAAO,EAAE,YAAY;wBACrB,eAAe,EAAE,UAAU;wBAC3B,kBAAkB,EAAE,MAAM;qBAC3B;iBACF,CAAC;gBACF,SAAS,CAAC,WAAW,GAAG,IAAI,CAAC;gBAC7B,SAAS,CAAC,OAAO,GAAG,MAAM,CAAC;gBAC3B,MAAM;YAER,KAAK,eAAe;gBAClB,SAAS,CAAC,SAAS,CAAC,OAAO,GAAG,SAAS,CAAC;gBACxC,SAAS,CAAC,SAAS,CAAC,SAAS,GAAG;oBAC9B,UAAU;oBACV,WAAW;oBACX,UAAU;iBACX,CAAC;gBACF,SAAS,CAAC,MAAM,CAAC,UAAU,GAAG,iBAAiB,CAAC;gBAChD,SAAS,CAAC,eAAe,GAAG;oBAC1B;wBACE,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,eAAe;wBACxB,eAAe,EAAE,eAAe;wBAChC,kBAAkB,EAAE,KAAK;qBAC1B;iBACF,CAAC;gBACF,SAAS,CAAC,WAAW,GAAG,IAAI,CAAC;gBAC7B,SAAS,CAAC,OAAO,GAAG,MAAM,CAAC;gBAC3B,MAAM;YAER,KAAK,mBAAmB;gBACtB,SAAS,CAAC,SAAS,CAAC,OAAO,GAAG,WAAW,CAAC;gBAC1C,SAAS,CAAC,SAAS,CAAC,SAAS,GAAG;oBAC9B,UAAU;oBACV,YAAY;oBACZ,WAAW;iBACZ,CAAC;gBACF,SAAS,CAAC,MAAM,CAAC,UAAU,GAAG,eAAe,CAAC;gBAC9C,SAAS,CAAC,eAAe,GAAG;oBAC1B;wBACE,IAAI,EAAE,mBAAmB;wBACzB,OAAO,EAAE,iBAAiB;wBAC1B,eAAe,EAAE,iBAAiB;wBAClC,kBAAkB,EAAE,QAAQ;qBAC7B;iBACF,CAAC;gBACF,SAAS,CAAC,WAAW,GAAG,IAAI,CAAC;gBAC7B,SAAS,CAAC,OAAO,GAAG,QAAQ,CAAC;gBAC7B,MAAM;QACV,CAAC;QAED,cAAc;QACd,IAAI,OAAO,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YACjC,SAAS,CAAC,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC;YACnC,SAAS,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC,uBAAuB;QACvD,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;OAIG;IACK,oBAAoB,CAAC,OAAqB;QAChD,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;YAC5B,WAAW;YACX,IAAI,CAAC,CAAC,YAAY,KAAK,OAAO,CAAC,YAAY;gBAAE,OAAO,KAAK,CAAC;YAE1D,eAAe;YACf,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU;gBAAE,OAAO,IAAI,CAAC;YAEhE,cAAc;YACd,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,aAAa,CAAC,SAAyB;QAC3C,OAAO,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,SAAoB;QACjC,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,eAAe,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC;QACpD,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAC1E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK;QACL,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,gBAAgB,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;QAC1D,IAAI,SAAS,CAAC,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC7B,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;gBAC9C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK;QACL,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,eAAe,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;QACvD,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,kBAAkB,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK;QACL,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,eAAe,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACtC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;QAED,KAAK;QACL,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,mBAAmB,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1E,KAAK,CAAC,IAAI,CAAC,cAAc,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;QAE9C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,SAAoB,EAAE,UAAkB;QACpD,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QACzB,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAE7B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACrC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACzC,CAAC;QAED,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC5E,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,SAAiB;QAC7B,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAc,CAAC;IAC1C,CAAC;CACF;AA5SD,4CA4SC;AAED;;GAEG;AACH,SAAgB,YAAY,CAAC,MAA+B;IAC1D,OAAO,IAAI,gBAAgB,CAAC,MAAM,CAAC,CAAC;AACtC,CAAC"}
|