@dommaker/harness 1.1.0 → 1.1.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/CHANGELOG.md +9 -2
- package/dist/cli/commands/status.d.ts.map +1 -1
- package/dist/cli/commands/status.js +0 -9
- package/dist/cli/commands/status.js.map +1 -1
- package/dist/core/constraints/checker.d.ts +3 -1
- package/dist/core/constraints/checker.d.ts.map +1 -1
- package/dist/core/constraints/checker.js +4 -2
- package/dist/core/constraints/checker.js.map +1 -1
- package/dist/core/constraints/interceptor.d.ts +3 -2
- package/dist/core/constraints/interceptor.d.ts.map +1 -1
- package/dist/core/constraints/interceptor.js +4 -4
- package/dist/core/constraints/interceptor.js.map +1 -1
- package/dist/index.d.ts +9 -2
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +10 -5
- package/dist/index.js.map +1 -1
- package/dist/monitoring/constraint-doctor.d.ts +2 -8
- package/dist/monitoring/constraint-doctor.d.ts.map +1 -1
- package/dist/monitoring/constraint-doctor.js +2 -4
- package/dist/monitoring/constraint-doctor.js.map +1 -1
- package/dist/monitoring/traces.d.ts +3 -3
- package/dist/monitoring/traces.d.ts.map +1 -1
- package/dist/monitoring/traces.js.map +1 -1
- package/dist/types/trace.d.ts +4 -4
- package/dist/types/trace.d.ts.map +1 -1
- package/package.json +1 -1
- package/src/CONTEXT.md +1 -2
- package/src/__tests__/checker-extra.test.ts +47 -0
- package/src/cli/commands/__tests__/status-extra.test.ts +0 -22
- package/src/cli/commands/__tests__/status.test.ts +0 -15
- package/src/cli/commands/status.ts +0 -10
- package/src/core/CONTEXT.md +1 -1
- package/src/core/constraints/__tests__/interceptor.test.ts +14 -0
- package/src/core/constraints/checker.ts +5 -2
- package/src/core/constraints/interceptor.ts +7 -4
- package/src/index.ts +17 -6
- package/src/monitoring/constraint-doctor.ts +4 -15
- package/src/monitoring/traces.ts +3 -3
- package/src/types/trace.ts +4 -4
package/CHANGELOG.md
CHANGED
|
@@ -4,6 +4,15 @@ All notable changes to this project will be documented in this file.
|
|
|
4
4
|
|
|
5
5
|
The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
|
|
6
6
|
|
|
7
|
+
## [Unreleased]
|
|
8
|
+
|
|
9
|
+
## [1.1.1] - 2026-08-17
|
|
10
|
+
|
|
11
|
+
### Changes
|
|
12
|
+
- docs: 评审收尾——ADR-0002 版本线 1.0.0 + 文档漂移对齐
|
|
13
|
+
- fix(core,cli,monitoring,types): D5/D8 收尾——tip 层级整链摘除 + constraint-doctor 死配置清理
|
|
14
|
+
- fix(core): O4 收尾——便捷 API 补 per-request customConfig(checkConstraint/checkBeforeExecution/checkConstraints/interceptOperation)
|
|
15
|
+
|
|
7
16
|
## [1.1.0] - 2026-08-16
|
|
8
17
|
|
|
9
18
|
### Changes
|
|
@@ -14,8 +23,6 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
|
|
|
14
23
|
- feat(completion-checkers): T7-E1 三纯判定函数 tdd-chain/phase-format/contract-presence + CompletionCheckersConfig(#160)
|
|
15
24
|
- docs: CLAUDE.md Key Subsystems 清除已删子系统行 + 修正 context/tools 描述(#40 收尾)
|
|
16
25
|
|
|
17
|
-
## [Unreleased]
|
|
18
|
-
|
|
19
26
|
## [1.0.0] - 2026-08-16
|
|
20
27
|
|
|
21
28
|
### Changes
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"status.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/status.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAUH,MAAM,WAAW,aAAa;IAC5B,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW;IACX,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,YAAY;IACZ,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,eAAe;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,wBAAsB,MAAM,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,
|
|
1
|
+
{"version":3,"file":"status.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/status.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAUH,MAAM,WAAW,aAAa;IAC5B,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW;IACX,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,YAAY;IACZ,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,eAAe;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,wBAAsB,MAAM,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAiIlE"}
|
|
@@ -142,15 +142,6 @@ async function status(options) {
|
|
|
142
142
|
});
|
|
143
143
|
console.log();
|
|
144
144
|
}
|
|
145
|
-
// Tips
|
|
146
|
-
const tipSummaries = summaries.filter((s) => s.level === 'tip');
|
|
147
|
-
if (tipSummaries.length > 0) {
|
|
148
|
-
console.log(chalk_1.default.blue('🔵 Tips:'));
|
|
149
|
-
tipSummaries.forEach((s) => {
|
|
150
|
-
console.log(` 💡 ${s.constraintId}`);
|
|
151
|
-
});
|
|
152
|
-
console.log();
|
|
153
|
-
}
|
|
154
145
|
// 异常检测
|
|
155
146
|
if (anomalies.length > 0) {
|
|
156
147
|
console.log(chalk_1.default.yellow(`⚠️ 发现 ${anomalies.length} 个异常`));
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"status.js","sourceRoot":"","sources":["../../../src/cli/commands/status.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwBH,
|
|
1
|
+
{"version":3,"file":"status.js","sourceRoot":"","sources":["../../../src/cli/commands/status.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwBH,wBAiIC;AAvJD,kDAA0B;AAC1B,uCAAyB;AACzB,2CAA6B;AAC7B,oDAAyD;AACzD,oEAAgE;AAChE,6CAAuD;AAcvD;;GAEG;AACI,KAAK,UAAU,MAAM,CAAC,OAAsB;IACjD,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,0BAAkB,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IAEvD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC;IACzC,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,UAAU;IACV,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;QACtC,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,CAAC;QACpD,OAAO;IACT,CAAC;IAED,cAAc;IACd,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAC7C,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,CAAC;QACpD,OAAO;IACT,CAAC;IAED,cAAc;IACd,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC;IAEhC,YAAY;IACZ,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;QAC9B,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAEnB,YAAY;IACZ,MAAM,SAAS,GAAG,IAAI,uBAAc,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,IAAI,8BAAa,CAAC,SAAS,CAAC,CAAC;IAE9C,OAAO;IACP,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,QAAQ,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC;IAEtD,OAAO;IACP,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,QAAQ,UAAU,IAAI,CAAC,CAAC,CAAC;IAChD,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACtB,QAAQ;QACR,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;QACtC,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,UAAU,SAAS,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC;YAC7D,OAAO,CAAC,GAAG,EAAE,CAAC;YACd,SAAS,CAAC,OAAO,CAAC,CAAC,CAAe,EAAE,EAAE;gBACpC,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;gBACjD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC7C,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,WAAW,IAAK,CAAS,CAAC,OAAO,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;gBAC1F,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,SAAS,IAAK,CAAS,CAAC,SAAS,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;gBACzF,OAAO,CAAC,GAAG,EAAE,CAAC;YAChB,CAAC,CAAC,CAAC;YAEH,QAAQ;YACR,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;YACrC,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC,CAAC;QAC/D,CAAC;QACD,OAAO;IACT,CAAC;IAED,SAAS;IACT,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IACpC,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,YAAY;IACZ,MAAM,gBAAgB,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAe,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC;IACvF,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC;QACxC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAe,EAAE,EAAE;YAC3C,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAC3C,OAAO,CAAC,GAAG,CAAC,KAAK,MAAM,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;YAC7C,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBACnB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,WAAW,UAAU,CAAC,CAAC,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzI,CAAC;QACH,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC;IAED,aAAa;IACb,MAAM,kBAAkB,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAe,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC;IAC1F,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAC5C,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAe,EAAE,EAAE;YAC7C,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;YACxE,OAAO,CAAC,GAAG,CAAC,KAAK,MAAM,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;YAC7C,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBACnB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,WAAW,UAAU,CAAC,CAAC,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzI,CAAC;QACH,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC;IAED,OAAO;IACP,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,UAAU,SAAS,CAAC,MAAM,MAAM,CAAC,CAAC,CAAC;QAC5D,OAAO,CAAC,GAAG,EAAE,CAAC;QACd,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAe,EAAE,EAAE;YAChD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC;IAED,SAAS;IACT,MAAM,KAAK,GAAG;QACZ,aAAa,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACxC,CAAC;IACF,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3D,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAE5D,QAAQ;IACR,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IACrC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC,CAAC;IAChE,CAAC;SAAM,IAAI,UAAU,IAAI,GAAG,EAAE,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC5C,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC;IAClD,CAAC;AACH,CAAC"}
|
|
@@ -138,8 +138,10 @@ export declare class ConstraintChecker {
|
|
|
138
138
|
}
|
|
139
139
|
/**
|
|
140
140
|
* 快捷函数:检查约束
|
|
141
|
+
*
|
|
142
|
+
* @param customConfig 可选,per-request 自定义配置;不传则返回内置约束集
|
|
141
143
|
*/
|
|
142
|
-
export declare function checkConstraint(constraintId: string, context: ConstraintContext): Promise<ConstraintResult>;
|
|
144
|
+
export declare function checkConstraint(constraintId: string, context: ConstraintContext, customConfig?: MergedConstraintsConfig | null): Promise<ConstraintResult>;
|
|
143
145
|
/**
|
|
144
146
|
* 快捷函数:执行三层检查
|
|
145
147
|
*
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EAItB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAExD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAsC1E;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,CAAC,KAAK,EAAE,cAAc,GAAG,IAAI,CAAC;CACrC;AAID;;GAEG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAoB;IAE3C,6CAA6C;IAC7C,OAAO,CAAC,KAAK,CAA+C;IAE5D;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAA6C;IAE7D,6DAA6D;IAC7D,OAAO,CAAC,aAAa,CAAsC;IAE3D,OAAO;IAEP;;OAEG;IACH,OAAO,CAAC,OAAO;IAUf;;OAEG;IACH,OAAO,CAAC,aAAa;IAMrB;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAM1B;;OAEG;IACH,MAAM,CAAC,WAAW,IAAI,iBAAiB;IAOvC;;OAEG;IACH,gBAAgB,CAAC,QAAQ,EAAE,aAAa,GAAG,IAAI;IAI/C;;;;OAIG;IACH,cAAc,CAAC,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAAG;QAC7D,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG;YAAE,KAAK,EAAE,CAAC,GAAG,EAAE,iBAAiB,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAA;SAAE,CAAC,CAAC;QACxG,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG;YAAE,KAAK,EAAE,CAAC,GAAG,EAAE,iBAAiB,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAA;SAAE,CAAC,CAAC;QAC1G,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG;YAAE,KAAK,EAAE,CAAC,GAAG,EAAE,iBAAiB,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAA;SAAE,CAAC,CAAC;KACxG;IAoBD;;OAEG;IACG,KAAK,CACT,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC;IAsD5B;;OAEG;IACH,OAAO,CAAC,cAAc;IAOtB;;OAEG;IACH,OAAO,CAAC,WAAW;IAanB;;;;;OAKG;IACH,OAAO,CAAC,cAAc;IAMtB;;OAEG;IACH,OAAO,CAAC,WAAW;IAqBnB;;;;;OAKG;YACW,iBAAiB;IA6B/B;;;;;OAKG;IACH,yBAAyB,CACvB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C;QACD,QAAQ,EAAE,UAAU,EAAE,CAAC;QACvB,UAAU,EAAE,UAAU,EAAE,CAAC;QACzB,OAAO,EAAE,UAAU,EAAE,CAAC;KACvB;IAoBD;;;;;;;;OAQG;IACG,gBAAgB,CACpB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,qBAAqB,CAAC;IAiDjC;;;;;OAKG;IACG,oBAAoB,CACxB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,qBAAqB,CAAC;IAsCjC;;;;;;OAMG;IACG,eAAe,CACnB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,IAAI,CAAC;CAajB;AAMD
|
|
1
|
+
{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EAItB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAExD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAsC1E;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,CAAC,KAAK,EAAE,cAAc,GAAG,IAAI,CAAC;CACrC;AAID;;GAEG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAoB;IAE3C,6CAA6C;IAC7C,OAAO,CAAC,KAAK,CAA+C;IAE5D;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAA6C;IAE7D,6DAA6D;IAC7D,OAAO,CAAC,aAAa,CAAsC;IAE3D,OAAO;IAEP;;OAEG;IACH,OAAO,CAAC,OAAO;IAUf;;OAEG;IACH,OAAO,CAAC,aAAa;IAMrB;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAM1B;;OAEG;IACH,MAAM,CAAC,WAAW,IAAI,iBAAiB;IAOvC;;OAEG;IACH,gBAAgB,CAAC,QAAQ,EAAE,aAAa,GAAG,IAAI;IAI/C;;;;OAIG;IACH,cAAc,CAAC,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAAG;QAC7D,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG;YAAE,KAAK,EAAE,CAAC,GAAG,EAAE,iBAAiB,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAA;SAAE,CAAC,CAAC;QACxG,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG;YAAE,KAAK,EAAE,CAAC,GAAG,EAAE,iBAAiB,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAA;SAAE,CAAC,CAAC;QAC1G,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG;YAAE,KAAK,EAAE,CAAC,GAAG,EAAE,iBAAiB,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAA;SAAE,CAAC,CAAC;KACxG;IAoBD;;OAEG;IACG,KAAK,CACT,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC;IAsD5B;;OAEG;IACH,OAAO,CAAC,cAAc;IAOtB;;OAEG;IACH,OAAO,CAAC,WAAW;IAanB;;;;;OAKG;IACH,OAAO,CAAC,cAAc;IAMtB;;OAEG;IACH,OAAO,CAAC,WAAW;IAqBnB;;;;;OAKG;YACW,iBAAiB;IA6B/B;;;;;OAKG;IACH,yBAAyB,CACvB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C;QACD,QAAQ,EAAE,UAAU,EAAE,CAAC;QACvB,UAAU,EAAE,UAAU,EAAE,CAAC;QACzB,OAAO,EAAE,UAAU,EAAE,CAAC;KACvB;IAoBD;;;;;;;;OAQG;IACG,gBAAgB,CACpB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,qBAAqB,CAAC;IAiDjC;;;;;OAKG;IACG,oBAAoB,CACxB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,qBAAqB,CAAC;IAsCjC;;;;;;OAMG;IACG,eAAe,CACnB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,IAAI,CAAC;CAajB;AAMD;;;;GAIG;AACH,wBAAsB,eAAe,CACnC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,gBAAgB,CAAC,CAoB3B;AAED;;;;;GAKG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,qBAAqB,CAAC,CAEhC;AAED;;GAEG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,qBAAqB,CAAC,CAEhC;AAED;;;;;GAKG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,IAAI,CAAC,CAEf;AAGD,eAAO,MAAM,iBAAiB,mBAAkC,CAAC"}
|
|
@@ -397,10 +397,12 @@ exports.ConstraintChecker = ConstraintChecker;
|
|
|
397
397
|
// ========================================
|
|
398
398
|
/**
|
|
399
399
|
* 快捷函数:检查约束
|
|
400
|
+
*
|
|
401
|
+
* @param customConfig 可选,per-request 自定义配置;不传则返回内置约束集
|
|
400
402
|
*/
|
|
401
|
-
async function checkConstraint(constraintId, context) {
|
|
403
|
+
async function checkConstraint(constraintId, context, customConfig) {
|
|
402
404
|
const checker = ConstraintChecker.getInstance();
|
|
403
|
-
const constraints = checker.getConstraints();
|
|
405
|
+
const constraints = checker.getConstraints(customConfig);
|
|
404
406
|
const constraint = constraints.ironLaws[constraintId] ||
|
|
405
407
|
constraints.guidelines[constraintId] ||
|
|
406
408
|
constraints.prompts[constraintId];
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AA0eH,0CAuBC;AAQD,4CAKC;AAKD,oDAKC;AAQD,oDAKC;AAniBD,uDAQgC;AAEhC,+CAA+D;AAE/D,2CAAqD;AACrD,2CAA8C;AAC9C,+BAAsC;AACtC,+CAA2C;AAC3C,qDAA0D;AAC1D,yCAAkF;AAElF;;GAEG;AACH,MAAM,mBAAmB,GAA4C;IACnE,oBAAoB,EAAE,qBAAqB;IAC3C,iBAAiB,EAAE,kBAAkB;IACrC,oBAAoB,EAAE,qBAAqB;IAC3C,oBAAoB,EAAE,qBAAqB;IAC3C,WAAW,EAAE,cAAc;IAC3B,kBAAkB,EAAE,oBAAoB;IACxC,cAAc,EAAE,iBAAiB;IACjC,WAAW,EAAE,cAAc;IAC3B,eAAe,EAAE,kBAAkB;IACnC,eAAe,EAAE,kBAAkB;IACnC,sBAAsB,EAAE,wBAAwB;IAChD,iBAAiB,EAAE,mBAAmB;IACtC,oBAAoB,EAAE,qBAAqB;IAC3C,gBAAgB,EAAE,mBAAmB;IACrC,iBAAiB,EAAE,oBAAoB;IACvC,YAAY,EAAE,cAAc;IAC5B,wBAAwB,EAAE,2BAA2B;IACrD,sBAAsB,EAAE,wBAAwB;IAChD,oBAAoB,EAAE,sBAAsB;IAC5C,mBAAmB,EAAE,qBAAqB;IAC1C,mBAAmB,EAAE,sBAAsB;IAC3C,oBAAoB,EAAE,uBAAuB;IAC7C,aAAa,EAAE,gBAAgB;IAC/B,eAAe,EAAE,kBAAkB;CACpC,CAAC;AAYF,MAAM,mBAAmB,GAAkB,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;AAEvE;;GAEG;AACH,MAAa,iBAAiB;IACpB,MAAM,CAAC,QAAQ,CAAoB;IAE3C,6CAA6C;IACrC,KAAK,GAAe,IAAI,wBAAU,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAE5D;;;OAGG;IACK,QAAQ,GAAwC,IAAI,CAAC;IAE7D,6DAA6D;IACrD,aAAa,GAAkB,mBAAmB,CAAC;IAE3D,gBAAuB,CAAC;IAExB;;OAEG;IACK,OAAO,CAAC,GAAW,EAAE,EAAyB;QACpD,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,EAAE,CAAC;QAChC,IAAI,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,GAAG,EAAE,EAAE,CAAC;YACf,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,WAAmB;QACvC,OAAO,IAAI,CAAC,OAAO,CAAC,mBAAmB,WAAW,EAAE,EAAE,GAAG,EAAE,CACzD,IAAA,iBAAU,EAAC,mBAAmB,EAAE,WAAW,CAAC,CAC7C,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,kBAAkB,CAAC,WAAmB;QAC5C,OAAO,IAAI,CAAC,OAAO,CAAC,yBAAyB,WAAW,EAAE,EAAE,GAAG,EAAE,CAC/D,IAAA,iBAAU,EAAC,+BAA+B,EAAE,WAAW,CAAC,CACzD,CAAC;IACJ,CAAC;IAED;;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,gBAAgB,CAAC,QAAuB;QACtC,IAAI,CAAC,aAAa,GAAG,QAAQ,CAAC;IAChC,CAAC;IAED;;;;OAIG;IACH,cAAc,CAAC,YAA6C;QAK1D,MAAM,MAAM,GAAG,YAAY,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM;YACnB,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,qBAAO,EAAE;YAClG,CAAC,CAAC,EAAE,QAAQ,EAAE,uBAAS,EAAE,UAAU,EAAE,wBAAU,EAAE,OAAO,EAAE,qBAAO,EAAE,CAAC;QAEtE,kDAAkD;QAClD,MAAM,IAAI,GAAG,CAAC,WAAuC,EAAE,EAAE;YACvD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC1C,CAAS,CAAC,KAAK,GAAG,CAAC,GAAsB,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACpE,CAAC;YACD,OAAO,WAA4G,CAAC;QACtH,CAAC,CAAC;QACF,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;YAC/B,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;YACnC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;SAC9B,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,KAAK,CACT,UAAsB,EACtB,OAA0B;QAE1B,2CAA2C;QAC3C,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjC,OAAO;gBACL,EAAE,EAAE,UAAU,CAAC,EAAE;gBACjB,KAAK,EAAE,UAAU,CAAC,KAAK;gBACvB,SAAS,EAAE,IAAI;gBACf,UAAU;gBACV,SAAS,EAAE,IAAI,IAAI,EAAE;aACtB,CAAC;QACJ,CAAC;QAED,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,8DAA8D;QAC9D,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAElE,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;YACvB,OAAO;gBACL,EAAE,EAAE,UAAU,CAAC,EAAE;gBACjB,KAAK,EAAE,UAAU,CAAC,KAAK;gBACvB,SAAS,EAAE,IAAI;gBACf,OAAO,EAAE,IAAI;gBACb,UAAU;gBACV,OAAO,EAAE,MAAM,UAAU,CAAC,EAAE,oBAAoB;gBAChD,SAAS,EAAE,IAAI,IAAI,EAAE;aACtB,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,OAAO,CAAC;QAE1B,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;QACzC,OAAO,UAAU,CAAC,UAAU,CAAC,IAAI,CAC/B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAClD,CAAC;IACJ,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,QAAQ;gBACX,OAAO,MAAM,CAAC;YAChB;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACK,cAAc,CAAC,UAAsB,EAAE,OAA0B;QACvE,MAAM,QAAQ,GAAG,IAAA,wBAAiB,EAAoB,UAAU,CAAC,OAAO,CAAC,CAAC;QAC1E,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;QACzE,OAAO,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,CAAC;IAED;;OAEG;IACK,WAAW,CACjB,SAAwB,EACxB,UAAsB,EACtB,WAA6B,EAC7B,OAA0B;QAE1B,SAAS,CAAC,MAAM,CAAC;YACf,YAAY,EAAE,UAAU,CAAC,EAAE;YAC3B,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YAC9E,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC;YAC5C,gBAAgB,EAAE,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC;gBACnD,CAAC,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;gBAC5B,CAAC,CAAC,SAAS;YACb,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,SAAS,EAAE,OAAO,CAAC,SAAS;SAC7B,CAAC,CAAC;IACL,CAAC;IAED;;;;;OAKG;IACK,KAAK,CAAC,iBAAiB,CAC7B,UAAsB,EACtB,OAA0B;QAE1B,MAAM,IAAI,GAAG,IAAA,6BAAkB,EAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACb,iBAAiB,UAAU,CAAC,EAAE,sCAAsC;gBACpE,yCAAyC,CAC1C,CAAC;QACJ,CAAC;QAED,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QACzD,MAAM,GAAG,GAAa;YACpB,OAAO;YACP,WAAW;YACX,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC;YACjD,eAAe,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,WAAW,CAAC;YAC3D,OAAO,EAAE,CAAC,IAAY,EAAE,EAAE,CACxB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CACvD,IAAA,6BAAiB,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxE,IAAA,eAAQ,EAAC,WAAW,EAAE,CAAC,CAAC,CACzB,CACF;SACJ,CAAC;QAEF,OAAO,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IAED;;;;;OAKG;IACH,yBAAyB,CACvB,OAA0B,EAC1B,YAA6C;QAM7C,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;QACzE,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;QAEtD,MAAM,eAAe,GAAG,CAAC,aAAyC,EAAgB,EAAE;YAClF,OAAO,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;gBACtD,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,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;YACtD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC;QAEF,OAAO;YACL,QAAQ,EAAE,eAAe,CAAC,WAAW,CAAC,QAAQ,CAAC;YAC/C,UAAU,EAAE,eAAe,CAAC,WAAW,CAAC,UAAU,CAAC;YACnD,OAAO,EAAE,eAAe,CAAC,WAAW,CAAC,OAAO,CAAC;SAC9C,CAAC;IACJ,CAAC;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,gBAAgB,CACpB,OAA0B,EAC1B,YAA6C;QAE7C,6CAA6C;QAC7C,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACxB,IAAI,CAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;QAE1B,IAAI,CAAC;YACH,MAAM,MAAM,GAA0B;gBACpC,QAAQ,EAAE,EAAE;gBACZ,UAAU,EAAE,EAAE;gBACd,MAAM,EAAE,IAAI;gBACZ,YAAY,EAAE,CAAC;aAChB,CAAC;YAEF,MAAM,cAAc,GAAG,IAAI,CAAC,aAAa,CAAC;YAC1C,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;YAEtD,uBAAuB;YACvB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7D,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC;oBAAE,SAAS;gBAExD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC1D,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAClC,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;gBAEnE,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;oBAC3B,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;oBACtB,MAAM,IAAI,qCAAwB,CAAC,WAAW,CAAC,CAAC;gBAClD,CAAC;YACH,CAAC;YAED,sBAAsB;YACtB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC/D,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC;oBAAE,SAAS;gBAExD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC1D,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBACpC,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;gBAEnE,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;oBAC3B,MAAM,CAAC,YAAY,EAAE,CAAC;gBACxB,CAAC;YACH,CAAC;YAED,OAAO,MAAM,CAAC;QAChB,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACvB,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,oBAAoB,CACxB,OAA0B,EAC1B,YAA6C;QAE7C,2BAA2B;QAC3B,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACxB,IAAI,CAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;QAE1B,IAAI,CAAC;YACH,MAAM,MAAM,GAA0B;gBACpC,QAAQ,EAAE,EAAE;gBACZ,UAAU,EAAE,EAAE;gBACd,MAAM,EAAE,IAAI;gBACZ,YAAY,EAAE,CAAC;aAChB,CAAC;YAEF,MAAM,cAAc,GAAG,IAAI,CAAC,aAAa,CAAC;YAC1C,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;YAEtD,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7D,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC;oBAAE,SAAS;gBACxD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC1D,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAClC,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;gBACnE,IAAI,CAAC,WAAW,CAAC,SAAS;oBAAE,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;YACpD,CAAC;YAED,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC/D,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC;oBAAE,SAAS;gBACxD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC1D,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBACpC,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;gBACnE,IAAI,CAAC,WAAW,CAAC,SAAS;oBAAE,MAAM,CAAC,YAAY,EAAE,CAAC;YACpD,CAAC;YAED,OAAO,MAAM,CAAC;QAChB,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACvB,CAAC;IACH,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,eAAe,CACnB,OAA0B,EAC1B,YAA6C;QAE7C,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;QAEzE,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC,IAAA,wBAAiB,EAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAAE,SAAS;YAEzF,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,qCAAwB,CAAC,MAAM,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;CACF;AA/ZD,8CA+ZC;AAED,2CAA2C;AAC3C,OAAO;AACP,2CAA2C;AAE3C;;GAEG;AACI,KAAK,UAAU,eAAe,CACnC,YAAoB,EACpB,OAA0B;IAE1B,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,EAAE,CAAC;IAChD,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAE7C,MAAM,UAAU,GACd,WAAW,CAAC,QAAQ,CAAC,YAAY,CAAC;QAClC,WAAW,CAAC,UAAU,CAAC,YAAY,CAAC;QACpC,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAEpC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,EAAE,EAAE,YAAY;YAChB,KAAK,EAAE,WAAW;YAClB,SAAS,EAAE,KAAK;YAChB,OAAO,EAAE,UAAU,YAAY,EAAE;YACjC,SAAS,EAAE,IAAI,IAAI,EAAE;SACtB,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;GAKG;AACI,KAAK,UAAU,gBAAgB,CACpC,OAA0B,EAC1B,YAA6C;IAE7C,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;AACjF,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,oBAAoB,CACxC,OAA0B,EAC1B,YAA6C;IAE7C,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,oBAAoB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;AACrF,CAAC;AAED;;;;;GAKG;AACI,KAAK,UAAU,oBAAoB,CACxC,OAA0B,EAC1B,YAA6C;IAE7C,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;AAChF,CAAC;AAED,OAAO;AACM,QAAA,iBAAiB,GAAG,iBAAiB,CAAC,WAAW,EAAE,CAAC"}
|
|
1
|
+
{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AA4eH,0CAwBC;AAQD,4CAKC;AAKD,oDAKC;AAQD,oDAKC;AAtiBD,uDAQgC;AAEhC,+CAA+D;AAE/D,2CAAqD;AACrD,2CAA8C;AAC9C,+BAAsC;AACtC,+CAA2C;AAC3C,qDAA0D;AAC1D,yCAAkF;AAElF;;GAEG;AACH,MAAM,mBAAmB,GAA4C;IACnE,oBAAoB,EAAE,qBAAqB;IAC3C,iBAAiB,EAAE,kBAAkB;IACrC,oBAAoB,EAAE,qBAAqB;IAC3C,oBAAoB,EAAE,qBAAqB;IAC3C,WAAW,EAAE,cAAc;IAC3B,kBAAkB,EAAE,oBAAoB;IACxC,cAAc,EAAE,iBAAiB;IACjC,WAAW,EAAE,cAAc;IAC3B,eAAe,EAAE,kBAAkB;IACnC,eAAe,EAAE,kBAAkB;IACnC,sBAAsB,EAAE,wBAAwB;IAChD,iBAAiB,EAAE,mBAAmB;IACtC,oBAAoB,EAAE,qBAAqB;IAC3C,gBAAgB,EAAE,mBAAmB;IACrC,iBAAiB,EAAE,oBAAoB;IACvC,YAAY,EAAE,cAAc;IAC5B,wBAAwB,EAAE,2BAA2B;IACrD,sBAAsB,EAAE,wBAAwB;IAChD,oBAAoB,EAAE,sBAAsB;IAC5C,mBAAmB,EAAE,qBAAqB;IAC1C,mBAAmB,EAAE,sBAAsB;IAC3C,oBAAoB,EAAE,uBAAuB;IAC7C,aAAa,EAAE,gBAAgB;IAC/B,eAAe,EAAE,kBAAkB;CACpC,CAAC;AAYF,MAAM,mBAAmB,GAAkB,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;AAEvE;;GAEG;AACH,MAAa,iBAAiB;IACpB,MAAM,CAAC,QAAQ,CAAoB;IAE3C,6CAA6C;IACrC,KAAK,GAAe,IAAI,wBAAU,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAE5D;;;OAGG;IACK,QAAQ,GAAwC,IAAI,CAAC;IAE7D,6DAA6D;IACrD,aAAa,GAAkB,mBAAmB,CAAC;IAE3D,gBAAuB,CAAC;IAExB;;OAEG;IACK,OAAO,CAAC,GAAW,EAAE,EAAyB;QACpD,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,EAAE,CAAC;QAChC,IAAI,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,GAAG,EAAE,EAAE,CAAC;YACf,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,WAAmB;QACvC,OAAO,IAAI,CAAC,OAAO,CAAC,mBAAmB,WAAW,EAAE,EAAE,GAAG,EAAE,CACzD,IAAA,iBAAU,EAAC,mBAAmB,EAAE,WAAW,CAAC,CAC7C,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,kBAAkB,CAAC,WAAmB;QAC5C,OAAO,IAAI,CAAC,OAAO,CAAC,yBAAyB,WAAW,EAAE,EAAE,GAAG,EAAE,CAC/D,IAAA,iBAAU,EAAC,+BAA+B,EAAE,WAAW,CAAC,CACzD,CAAC;IACJ,CAAC;IAED;;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,gBAAgB,CAAC,QAAuB;QACtC,IAAI,CAAC,aAAa,GAAG,QAAQ,CAAC;IAChC,CAAC;IAED;;;;OAIG;IACH,cAAc,CAAC,YAA6C;QAK1D,MAAM,MAAM,GAAG,YAAY,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM;YACnB,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,qBAAO,EAAE;YAClG,CAAC,CAAC,EAAE,QAAQ,EAAE,uBAAS,EAAE,UAAU,EAAE,wBAAU,EAAE,OAAO,EAAE,qBAAO,EAAE,CAAC;QAEtE,kDAAkD;QAClD,MAAM,IAAI,GAAG,CAAC,WAAuC,EAAE,EAAE;YACvD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC1C,CAAS,CAAC,KAAK,GAAG,CAAC,GAAsB,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACpE,CAAC;YACD,OAAO,WAA4G,CAAC;QACtH,CAAC,CAAC;QACF,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;YAC/B,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;YACnC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;SAC9B,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,KAAK,CACT,UAAsB,EACtB,OAA0B;QAE1B,2CAA2C;QAC3C,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjC,OAAO;gBACL,EAAE,EAAE,UAAU,CAAC,EAAE;gBACjB,KAAK,EAAE,UAAU,CAAC,KAAK;gBACvB,SAAS,EAAE,IAAI;gBACf,UAAU;gBACV,SAAS,EAAE,IAAI,IAAI,EAAE;aACtB,CAAC;QACJ,CAAC;QAED,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,8DAA8D;QAC9D,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAElE,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;YACvB,OAAO;gBACL,EAAE,EAAE,UAAU,CAAC,EAAE;gBACjB,KAAK,EAAE,UAAU,CAAC,KAAK;gBACvB,SAAS,EAAE,IAAI;gBACf,OAAO,EAAE,IAAI;gBACb,UAAU;gBACV,OAAO,EAAE,MAAM,UAAU,CAAC,EAAE,oBAAoB;gBAChD,SAAS,EAAE,IAAI,IAAI,EAAE;aACtB,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,OAAO,CAAC;QAE1B,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;QACzC,OAAO,UAAU,CAAC,UAAU,CAAC,IAAI,CAC/B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAClD,CAAC;IACJ,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,QAAQ;gBACX,OAAO,MAAM,CAAC;YAChB;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACK,cAAc,CAAC,UAAsB,EAAE,OAA0B;QACvE,MAAM,QAAQ,GAAG,IAAA,wBAAiB,EAAoB,UAAU,CAAC,OAAO,CAAC,CAAC;QAC1E,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;QACzE,OAAO,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,CAAC;IAED;;OAEG;IACK,WAAW,CACjB,SAAwB,EACxB,UAAsB,EACtB,WAA6B,EAC7B,OAA0B;QAE1B,SAAS,CAAC,MAAM,CAAC;YACf,YAAY,EAAE,UAAU,CAAC,EAAE;YAC3B,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YAC9E,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC;YAC5C,gBAAgB,EAAE,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC;gBACnD,CAAC,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;gBAC5B,CAAC,CAAC,SAAS;YACb,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,SAAS,EAAE,OAAO,CAAC,SAAS;SAC7B,CAAC,CAAC;IACL,CAAC;IAED;;;;;OAKG;IACK,KAAK,CAAC,iBAAiB,CAC7B,UAAsB,EACtB,OAA0B;QAE1B,MAAM,IAAI,GAAG,IAAA,6BAAkB,EAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACb,iBAAiB,UAAU,CAAC,EAAE,sCAAsC;gBACpE,yCAAyC,CAC1C,CAAC;QACJ,CAAC;QAED,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QACzD,MAAM,GAAG,GAAa;YACpB,OAAO;YACP,WAAW;YACX,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC;YACjD,eAAe,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,WAAW,CAAC;YAC3D,OAAO,EAAE,CAAC,IAAY,EAAE,EAAE,CACxB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CACvD,IAAA,6BAAiB,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxE,IAAA,eAAQ,EAAC,WAAW,EAAE,CAAC,CAAC,CACzB,CACF;SACJ,CAAC;QAEF,OAAO,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IAED;;;;;OAKG;IACH,yBAAyB,CACvB,OAA0B,EAC1B,YAA6C;QAM7C,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;QACzE,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;QAEtD,MAAM,eAAe,GAAG,CAAC,aAAyC,EAAgB,EAAE;YAClF,OAAO,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;gBACtD,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,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;YACtD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC;QAEF,OAAO;YACL,QAAQ,EAAE,eAAe,CAAC,WAAW,CAAC,QAAQ,CAAC;YAC/C,UAAU,EAAE,eAAe,CAAC,WAAW,CAAC,UAAU,CAAC;YACnD,OAAO,EAAE,eAAe,CAAC,WAAW,CAAC,OAAO,CAAC;SAC9C,CAAC;IACJ,CAAC;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,gBAAgB,CACpB,OAA0B,EAC1B,YAA6C;QAE7C,6CAA6C;QAC7C,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACxB,IAAI,CAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;QAE1B,IAAI,CAAC;YACH,MAAM,MAAM,GAA0B;gBACpC,QAAQ,EAAE,EAAE;gBACZ,UAAU,EAAE,EAAE;gBACd,MAAM,EAAE,IAAI;gBACZ,YAAY,EAAE,CAAC;aAChB,CAAC;YAEF,MAAM,cAAc,GAAG,IAAI,CAAC,aAAa,CAAC;YAC1C,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;YAEtD,uBAAuB;YACvB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7D,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC;oBAAE,SAAS;gBAExD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC1D,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAClC,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;gBAEnE,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;oBAC3B,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;oBACtB,MAAM,IAAI,qCAAwB,CAAC,WAAW,CAAC,CAAC;gBAClD,CAAC;YACH,CAAC;YAED,sBAAsB;YACtB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC/D,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC;oBAAE,SAAS;gBAExD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC1D,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBACpC,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;gBAEnE,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;oBAC3B,MAAM,CAAC,YAAY,EAAE,CAAC;gBACxB,CAAC;YACH,CAAC;YAED,OAAO,MAAM,CAAC;QAChB,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACvB,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,oBAAoB,CACxB,OAA0B,EAC1B,YAA6C;QAE7C,2BAA2B;QAC3B,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACxB,IAAI,CAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;QAE1B,IAAI,CAAC;YACH,MAAM,MAAM,GAA0B;gBACpC,QAAQ,EAAE,EAAE;gBACZ,UAAU,EAAE,EAAE;gBACd,MAAM,EAAE,IAAI;gBACZ,YAAY,EAAE,CAAC;aAChB,CAAC;YAEF,MAAM,cAAc,GAAG,IAAI,CAAC,aAAa,CAAC;YAC1C,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;YAEtD,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7D,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC;oBAAE,SAAS;gBACxD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC1D,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAClC,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;gBACnE,IAAI,CAAC,WAAW,CAAC,SAAS;oBAAE,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;YACpD,CAAC;YAED,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC/D,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC;oBAAE,SAAS;gBACxD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC1D,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBACpC,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;gBACnE,IAAI,CAAC,WAAW,CAAC,SAAS;oBAAE,MAAM,CAAC,YAAY,EAAE,CAAC;YACpD,CAAC;YAED,OAAO,MAAM,CAAC;QAChB,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACvB,CAAC;IACH,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,eAAe,CACnB,OAA0B,EAC1B,YAA6C;QAE7C,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;QAEzE,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC,IAAA,wBAAiB,EAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAAE,SAAS;YAEzF,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,qCAAwB,CAAC,MAAM,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;CACF;AA/ZD,8CA+ZC;AAED,2CAA2C;AAC3C,OAAO;AACP,2CAA2C;AAE3C;;;;GAIG;AACI,KAAK,UAAU,eAAe,CACnC,YAAoB,EACpB,OAA0B,EAC1B,YAA6C;IAE7C,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,EAAE,CAAC;IAChD,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;IAEzD,MAAM,UAAU,GACd,WAAW,CAAC,QAAQ,CAAC,YAAY,CAAC;QAClC,WAAW,CAAC,UAAU,CAAC,YAAY,CAAC;QACpC,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAEpC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,EAAE,EAAE,YAAY;YAChB,KAAK,EAAE,WAAW;YAClB,SAAS,EAAE,KAAK;YAChB,OAAO,EAAE,UAAU,YAAY,EAAE;YACjC,SAAS,EAAE,IAAI,IAAI,EAAE;SACtB,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;GAKG;AACI,KAAK,UAAU,gBAAgB,CACpC,OAA0B,EAC1B,YAA6C;IAE7C,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;AACjF,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,oBAAoB,CACxC,OAA0B,EAC1B,YAA6C;IAE7C,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,oBAAoB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;AACrF,CAAC;AAED;;;;;GAKG;AACI,KAAK,UAAU,oBAAoB,CACxC,OAA0B,EAC1B,YAA6C;IAE7C,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;AAChF,CAAC;AAED,OAAO;AACM,QAAA,iBAAiB,GAAG,iBAAiB,CAAC,WAAW,EAAE,CAAC"}
|
|
@@ -3,6 +3,7 @@
|
|
|
3
3
|
*/
|
|
4
4
|
import type { ConstraintTrigger, ConstraintContext } from '../../types/constraint';
|
|
5
5
|
import type { EnforcementId, EnforcementExecutor, InterceptionResult } from '../../types/enforcement';
|
|
6
|
+
import type { MergedConstraintsConfig } from '../../types/project-config';
|
|
6
7
|
export declare class ConstraintInterceptor {
|
|
7
8
|
private static instance;
|
|
8
9
|
private executors;
|
|
@@ -28,11 +29,11 @@ export declare class ConstraintInterceptor {
|
|
|
28
29
|
}[];
|
|
29
30
|
skip(enforcementIds: EnforcementId[]): void;
|
|
30
31
|
clearSkips(): void;
|
|
31
|
-
intercept(trigger: ConstraintTrigger, context: ConstraintContext): Promise<InterceptionResult>;
|
|
32
|
+
intercept(trigger: ConstraintTrigger, context: ConstraintContext, customConfig?: MergedConstraintsConfig | null): Promise<InterceptionResult>;
|
|
32
33
|
claim(trigger: ConstraintTrigger, context: ConstraintContext): Promise<void>;
|
|
33
34
|
canProceed(trigger: ConstraintTrigger, context: ConstraintContext): Promise<boolean>;
|
|
34
35
|
}
|
|
35
36
|
export declare const constraintInterceptor: ConstraintInterceptor;
|
|
36
|
-
export declare function interceptOperation(trigger: ConstraintTrigger, context: ConstraintContext): Promise<InterceptionResult>;
|
|
37
|
+
export declare function interceptOperation(trigger: ConstraintTrigger, context: ConstraintContext, customConfig?: MergedConstraintsConfig | null): Promise<InterceptionResult>;
|
|
37
38
|
export declare function claimOperation(trigger: ConstraintTrigger, context: ConstraintContext): Promise<void>;
|
|
38
39
|
//# sourceMappingURL=interceptor.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"interceptor.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/interceptor.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,iBAAiB,EAGlB,MAAM,wBAAwB,CAAC;AAGhC,OAAO,KAAK,EACV,aAAa,EACb,mBAAmB,EAEnB,kBAAkB,EACnB,MAAM,yBAAyB,CAAC;
|
|
1
|
+
{"version":3,"file":"interceptor.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/interceptor.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,iBAAiB,EAGlB,MAAM,wBAAwB,CAAC;AAGhC,OAAO,KAAK,EACV,aAAa,EACb,mBAAmB,EAEnB,kBAAkB,EACnB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAG1E,qBAAa,qBAAqB;IAChC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAwB;IAC/C,OAAO,CAAC,SAAS,CAAsD;IACvE,OAAO,CAAC,eAAe,CAAyC;IAChE,OAAO,CAAC,OAAO,CAAiB;IAChC,OAAO,CAAC,gBAAgB,CAAiC;IAEzD,OAAO;IAEP,MAAM,CAAC,WAAW,IAAI,qBAAqB;IAO3C,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI;IAIlC,QAAQ,CACN,aAAa,EAAE,aAAa,EAC5B,QAAQ,EAAE,mBAAmB,EAC7B,MAAM,CAAC,EAAE,MAAM,GACd,IAAI;IAKP,aAAa,CACX,aAAa,EAAE,KAAK,CAAC;QACnB,aAAa,EAAE,aAAa,CAAC;QAC7B,QAAQ,EAAE,mBAAmB,CAAC;KAC/B,CAAC,GACD,IAAI;IAMP,UAAU,CAAC,aAAa,EAAE,aAAa,GAAG,OAAO;IAIjD,WAAW,CAAC,aAAa,EAAE,aAAa,GAAG,OAAO;IAIlD,WAAW,CAAC,aAAa,EAAE,aAAa,GAAG,mBAAmB,GAAG,SAAS;IAI1E,gBAAgB,IAAI;QAAE,EAAE,EAAE,aAAa,CAAC;QAAC,QAAQ,EAAE,mBAAmB,CAAC;QAAC,YAAY,EAAE,IAAI,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE;IAS/G,IAAI,CAAC,cAAc,EAAE,aAAa,EAAE,GAAG,IAAI;IAM3C,UAAU,IAAI,IAAI;IAIZ,SAAS,CACb,OAAO,EAAE,iBAAiB,EAC1B,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,kBAAkB,CAAC;IAmFxB,KAAK,CAAC,OAAO,EAAE,iBAAiB,EAAE,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC;IAa5E,UAAU,CAAC,OAAO,EAAE,iBAAiB,EAAE,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,OAAO,CAAC;CAO3F;AAED,eAAO,MAAM,qBAAqB,uBAAsC,CAAC;AAEzE,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,iBAAiB,EAC1B,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,kBAAkB,CAAC,CAE7B;AAED,wBAAsB,cAAc,CAClC,OAAO,EAAE,iBAAiB,EAC1B,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,IAAI,CAAC,CAEf"}
|
|
@@ -60,7 +60,7 @@ class ConstraintInterceptor {
|
|
|
60
60
|
clearSkips() {
|
|
61
61
|
this.skipEnforcements.clear();
|
|
62
62
|
}
|
|
63
|
-
async intercept(trigger, context) {
|
|
63
|
+
async intercept(trigger, context, customConfig) {
|
|
64
64
|
if (!this.enabled) {
|
|
65
65
|
return {
|
|
66
66
|
passed: true,
|
|
@@ -76,7 +76,7 @@ class ConstraintInterceptor {
|
|
|
76
76
|
violations: [],
|
|
77
77
|
interceptedAt: new Date(),
|
|
78
78
|
};
|
|
79
|
-
const constraints = checker_1.constraintChecker.getConstraints();
|
|
79
|
+
const constraints = checker_1.constraintChecker.getConstraints(customConfig);
|
|
80
80
|
// prompt 类约束不参与拦截执行(ADR-0001:仅参与注入)
|
|
81
81
|
const allConstraints = [
|
|
82
82
|
...Object.values(constraints.ironLaws),
|
|
@@ -157,8 +157,8 @@ class ConstraintInterceptor {
|
|
|
157
157
|
}
|
|
158
158
|
exports.ConstraintInterceptor = ConstraintInterceptor;
|
|
159
159
|
exports.constraintInterceptor = ConstraintInterceptor.getInstance();
|
|
160
|
-
async function interceptOperation(trigger, context) {
|
|
161
|
-
return exports.constraintInterceptor.intercept(trigger, context);
|
|
160
|
+
async function interceptOperation(trigger, context, customConfig) {
|
|
161
|
+
return exports.constraintInterceptor.intercept(trigger, context, customConfig);
|
|
162
162
|
}
|
|
163
163
|
async function claimOperation(trigger, context) {
|
|
164
164
|
return exports.constraintInterceptor.claim(trigger, context);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"interceptor.js","sourceRoot":"","sources":["../../../src/core/constraints/interceptor.ts"],"names":[],"mappings":";AAAA;;GAEG;;;
|
|
1
|
+
{"version":3,"file":"interceptor.js","sourceRoot":"","sources":["../../../src/core/constraints/interceptor.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAyMH,gDAMC;AAED,wCAKC;AA9MD,uDAAkE;AAClE,2CAAqD;AAQrD,uCAA8C;AAE9C,MAAa,qBAAqB;IACxB,MAAM,CAAC,QAAQ,CAAwB;IACvC,SAAS,GAA4C,IAAI,GAAG,EAAE,CAAC;IAC/D,eAAe,GAA+B,IAAI,GAAG,EAAE,CAAC;IACxD,OAAO,GAAY,IAAI,CAAC;IACxB,gBAAgB,GAAuB,IAAI,GAAG,EAAE,CAAC;IAEzD,gBAAuB,CAAC;IAExB,MAAM,CAAC,WAAW;QAChB,IAAI,CAAC,qBAAqB,CAAC,QAAQ,EAAE,CAAC;YACpC,qBAAqB,CAAC,QAAQ,GAAG,IAAI,qBAAqB,EAAE,CAAC;QAC/D,CAAC;QACD,OAAO,qBAAqB,CAAC,QAAQ,CAAC;IACxC,CAAC;IAED,UAAU,CAAC,OAAgB;QACzB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;IAED,QAAQ,CACN,aAA4B,EAC5B,QAA6B,EAC7B,MAAe;QAEf,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QAC5C,IAAI,MAAM;YAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IAC9D,CAAC;IAED,aAAa,CACX,aAGE;QAEF,KAAK,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,aAAa,EAAE,CAAC;YACxD,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,UAAU,CAAC,aAA4B;QACrC,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAC9C,CAAC;IAED,WAAW,CAAC,aAA4B;QACtC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3C,CAAC;IAED,WAAW,CAAC,aAA4B;QACtC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3C,CAAC;IAED,gBAAgB;QACd,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;YACnE,EAAE;YACF,QAAQ;YACR,YAAY,EAAE,IAAI,IAAI,EAAE;YACxB,MAAM,EAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;SACrC,CAAC,CAAC,CAAC;IACN,CAAC;IAED,IAAI,CAAC,cAA+B;QAClC,KAAK,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC;YAChC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,UAAU;QACR,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;IAChC,CAAC;IAED,KAAK,CAAC,SAAS,CACb,OAA0B,EAC1B,OAA0B,EAC1B,YAA6C;QAE7C,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAClB,OAAO;gBACL,MAAM,EAAE,IAAI;gBACZ,WAAW,EAAE,EAAE;gBACf,UAAU,EAAE,EAAE;gBACd,OAAO,EAAE,QAAQ;gBACjB,aAAa,EAAE,IAAI,IAAI,EAAE;aAC1B,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAuB;YACjC,MAAM,EAAE,IAAI;YACZ,WAAW,EAAE,EAAE;YACf,UAAU,EAAE,EAAE;YACd,aAAa,EAAE,IAAI,IAAI,EAAE;SAC1B,CAAC;QAEF,MAAM,WAAW,GAAG,2BAAiB,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;QACnE,oCAAoC;QACpC,MAAM,cAAc,GAAG;YACrB,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC;YACtC,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC;SACzC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QAEnC,MAAM,qBAAqB,GAAG,cAAc,CAAC,MAAM,CACjD,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAiB,EAAoB,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CACzE,CAAC;QAEF,MAAM,KAAK,GAAoC,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QACxF,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAEtF,KAAK,MAAM,UAAU,IAAI,OAAO,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;gBACtD,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,oBAAoB,EAAE,CAAC,CAAC;gBACzF,SAAS;YACX,CAAC;YAED,2CAA2C;YAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;YAC5D,IAAI,WAA6B,CAAC;YAElC,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,kBAAkB,GAAuB,EAAE,GAAG,OAAO,EAAE,aAAa,EAAE,UAAU,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;gBACjH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBACzB,IAAI,CAAC;oBACH,MAAM,iBAAiB,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;oBACrE,iBAAiB,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;oBAChD,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC,CAAC;oBAC3D,WAAW,GAAG;wBACZ,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK;wBAC1C,SAAS,EAAE,iBAAiB,CAAC,MAAM;wBACnC,OAAO,EAAE,iBAAiB,CAAC,OAAO;wBAClC,SAAS,EAAE,IAAI,IAAI,EAAE;wBACrB,UAAU;qBACX,CAAC;gBACJ,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,IAAI,KAAK,YAAY,qCAAwB;wBAAE,MAAM,KAAK,CAAC;oBAC3D,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAG,KAAe,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC7I,WAAW,GAAG,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAG,KAAe,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,EAAE,UAAU,EAAE,CAAC;gBACvJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,0DAA0D;gBAC1D,WAAW,GAAG,MAAO,UAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBACvD,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,EAAE,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC9H,CAAC;YAED,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,IAAI,UAAU,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;oBACpC,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;oBACtB,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBACnC,MAAM,IAAI,qCAAwB,CAAC,WAAW,CAAC,CAAC;gBAClD,CAAC;gBACD,IAAI,UAAU,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;oBACrC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,UAAU,CAAC,MAAM,QAAQ,CAAC;QACnG,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,OAA0B,EAAE,OAA0B;QAChE,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACtD,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACnB,MAAM,IAAI,qCAAwB,CAAC;gBACjC,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,SAAS;gBACzC,KAAK,EAAE,UAAU;gBACjB,SAAS,EAAE,KAAK;gBAChB,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,SAAS,EAAE,IAAI,IAAI,EAAE;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,OAA0B,EAAE,OAA0B;QACrE,IAAI,CAAC;YACH,OAAO,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;QACzD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;CACF;AAlLD,sDAkLC;AAEY,QAAA,qBAAqB,GAAG,qBAAqB,CAAC,WAAW,EAAE,CAAC;AAElE,KAAK,UAAU,kBAAkB,CACtC,OAA0B,EAC1B,OAA0B,EAC1B,YAA6C;IAE7C,OAAO,6BAAqB,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;AACzE,CAAC;AAEM,KAAK,UAAU,cAAc,CAClC,OAA0B,EAC1B,OAA0B;IAE1B,OAAO,6BAAqB,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AACvD,CAAC"}
|
package/dist/index.d.ts
CHANGED
|
@@ -36,6 +36,7 @@ export type { CheckCacheConfig, CheckSamplingConfig } from './core/constraints/c
|
|
|
36
36
|
export { renderConstraintsByTrigger } from './core/constraints/agent-prompt-renderer';
|
|
37
37
|
export type { RenderConstraintsByTriggerOptions } from './core/constraints/agent-prompt-renderer';
|
|
38
38
|
import type { ConstraintContext, ConstraintCheckResult, ConstraintTrigger } from './types/constraint';
|
|
39
|
+
import type { MergedConstraintsConfig } from './types/project-config';
|
|
39
40
|
import type { EnforcementExecutor, EnforcementId, InterceptionResult } from './types/enforcement';
|
|
40
41
|
/** 约束拦截器单例,用于注册 enforcement executor 和拦截操作 */
|
|
41
42
|
export declare const interceptor: import("./core").ConstraintInterceptor;
|
|
@@ -43,9 +44,10 @@ export declare const interceptor: import("./core").ConstraintInterceptor;
|
|
|
43
44
|
* 拦截操作 — 在操作执行前检查约束
|
|
44
45
|
* @param trigger - 触发条件
|
|
45
46
|
* @param context - 约束上下文
|
|
47
|
+
* @param customConfig - 可选,per-request 自定义约束配置;不传则用内置约束集
|
|
46
48
|
* @returns 拦截结果(是否通过、违规列表)
|
|
47
49
|
*/
|
|
48
|
-
export declare function interceptOperation(trigger: ConstraintTrigger, context: ConstraintContext): Promise<InterceptionResult>;
|
|
50
|
+
export declare function interceptOperation(trigger: ConstraintTrigger, context: ConstraintContext, customConfig?: MergedConstraintsConfig | null): Promise<InterceptionResult>;
|
|
49
51
|
/**
|
|
50
52
|
* 声明操作意图 — 声明即将执行的操作,但不执行检查
|
|
51
53
|
* @param trigger - 触发条件
|
|
@@ -64,12 +66,17 @@ export declare function registerExecutor(enforcementId: EnforcementId, executor:
|
|
|
64
66
|
*
|
|
65
67
|
* @param context - 约束上下文
|
|
66
68
|
* @param options.onTrace - 每条约束检查后的回调(用于记录 trace 到外部存储)
|
|
69
|
+
* @param options.customConfig - 可选,per-request 自定义约束配置;不传则用内置约束集
|
|
67
70
|
*/
|
|
68
71
|
export declare function checkConstraints(context: ConstraintContext, options?: {
|
|
69
72
|
onTrace?: (result: import('./types/constraint').ConstraintResult) => void;
|
|
73
|
+
customConfig?: MergedConstraintsConfig | null;
|
|
70
74
|
}): Promise<ConstraintCheckResult>;
|
|
71
75
|
/**
|
|
72
76
|
* 执行前检查(仅 Iron Laws)
|
|
77
|
+
*
|
|
78
|
+
* @param context - 约束上下文
|
|
79
|
+
* @param customConfig - 可选,per-request 自定义约束配置;不传则用内置约束集
|
|
73
80
|
*/
|
|
74
|
-
export declare function checkBeforeExecution(context: ConstraintContext): Promise<void>;
|
|
81
|
+
export declare function checkBeforeExecution(context: ConstraintContext, customConfig?: MergedConstraintsConfig | null): Promise<void>;
|
|
75
82
|
//# sourceMappingURL=index.d.ts.map
|
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAKH,cAAc,SAAS,CAAC;AAKxB,cAAc,QAAQ,CAAC;AAKvB,cAAc,SAAS,CAAC;AAKxB,cAAc,cAAc,CAAC;AAK7B,cAAc,WAAW,CAAC;AAK1B,cAAc,2BAA2B,CAAC;AAK1C,cAAc,WAAW,CAAC;AAK1B,cAAc,aAAa,CAAC;AAK5B,cAAc,UAAU,CAAC;AAKzB,cAAc,gBAAgB,CAAC;AAO/B,cAAc,uBAAuB,CAAC;AAKtC,cAAc,aAAa,CAAC;AAK5B,cAAc,SAAS,CAAC;AAKxB,cAAc,SAAS,CAAC;AAKxB,cAAc,UAAU,CAAC;AAKzB,cAAc,WAAW,CAAC;AAK1B,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,YAAY,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC5F,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AACtF,YAAY,EAAE,iCAAiC,EAAE,MAAM,0CAA0C,CAAC;AAQlG,OAAO,KAAK,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAKH,cAAc,SAAS,CAAC;AAKxB,cAAc,QAAQ,CAAC;AAKvB,cAAc,SAAS,CAAC;AAKxB,cAAc,cAAc,CAAC;AAK7B,cAAc,WAAW,CAAC;AAK1B,cAAc,2BAA2B,CAAC;AAK1C,cAAc,WAAW,CAAC;AAK1B,cAAc,aAAa,CAAC;AAK5B,cAAc,UAAU,CAAC;AAKzB,cAAc,gBAAgB,CAAC;AAO/B,cAAc,uBAAuB,CAAC;AAKtC,cAAc,aAAa,CAAC;AAK5B,cAAc,SAAS,CAAC;AAKxB,cAAc,SAAS,CAAC;AAKxB,cAAc,UAAU,CAAC;AAKzB,cAAc,WAAW,CAAC;AAK1B,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,YAAY,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC5F,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AACtF,YAAY,EAAE,iCAAiC,EAAE,MAAM,0CAA0C,CAAC;AAQlG,OAAO,KAAK,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACtG,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAEtE,OAAO,KAAK,EAAE,mBAAmB,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAKlG,8CAA8C;AAC9C,eAAO,MAAM,WAAW,wCAAwB,CAAC;AAEjD;;;;;;GAMG;AACH,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,iBAAiB,EAC1B,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,kBAAkB,CAAC,CAE7B;AAED;;;;GAIG;AACH,wBAAsB,cAAc,CAClC,OAAO,EAAE,iBAAiB,EAC1B,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,IAAI,CAAC,CAEf;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,aAAa,EAAE,aAAa,EAC5B,QAAQ,EAAE,mBAAmB,EAC7B,MAAM,CAAC,EAAE,MAAM,GACd,IAAI,CAEN;AAED;;;;;;GAMG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,iBAAiB,EAC1B,OAAO,CAAC,EAAE;IACR,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,oBAAoB,EAAE,gBAAgB,KAAK,IAAI,CAAC;IAC1E,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,CAAC;CAC/C,GACA,OAAO,CAAC,qBAAqB,CAAC,CAOhC;AAED;;;;;GAKG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,IAAI,CAAC,CAEf"}
|
package/dist/index.js
CHANGED
|
@@ -124,10 +124,11 @@ exports.interceptor = interceptor_1.constraintInterceptor;
|
|
|
124
124
|
* 拦截操作 — 在操作执行前检查约束
|
|
125
125
|
* @param trigger - 触发条件
|
|
126
126
|
* @param context - 约束上下文
|
|
127
|
+
* @param customConfig - 可选,per-request 自定义约束配置;不传则用内置约束集
|
|
127
128
|
* @returns 拦截结果(是否通过、违规列表)
|
|
128
129
|
*/
|
|
129
|
-
async function interceptOperation(trigger, context) {
|
|
130
|
-
return interceptor_1.constraintInterceptor.intercept(trigger, context);
|
|
130
|
+
async function interceptOperation(trigger, context, customConfig) {
|
|
131
|
+
return interceptor_1.constraintInterceptor.intercept(trigger, context, customConfig);
|
|
131
132
|
}
|
|
132
133
|
/**
|
|
133
134
|
* 声明操作意图 — 声明即将执行的操作,但不执行检查
|
|
@@ -151,9 +152,10 @@ function registerExecutor(enforcementId, executor, source) {
|
|
|
151
152
|
*
|
|
152
153
|
* @param context - 约束上下文
|
|
153
154
|
* @param options.onTrace - 每条约束检查后的回调(用于记录 trace 到外部存储)
|
|
155
|
+
* @param options.customConfig - 可选,per-request 自定义约束配置;不传则用内置约束集
|
|
154
156
|
*/
|
|
155
157
|
async function checkConstraints(context, options) {
|
|
156
|
-
const result = await checker_1.constraintChecker.checkConstraints(context);
|
|
158
|
+
const result = await checker_1.constraintChecker.checkConstraints(context, options?.customConfig ?? null);
|
|
157
159
|
if (options?.onTrace) {
|
|
158
160
|
for (const r of result.ironLaws)
|
|
159
161
|
options.onTrace(r);
|
|
@@ -164,8 +166,11 @@ async function checkConstraints(context, options) {
|
|
|
164
166
|
}
|
|
165
167
|
/**
|
|
166
168
|
* 执行前检查(仅 Iron Laws)
|
|
169
|
+
*
|
|
170
|
+
* @param context - 约束上下文
|
|
171
|
+
* @param customConfig - 可选,per-request 自定义约束配置;不传则用内置约束集
|
|
167
172
|
*/
|
|
168
|
-
async function checkBeforeExecution(context) {
|
|
169
|
-
return checker_1.constraintChecker.beforeExecution(context);
|
|
173
|
+
async function checkBeforeExecution(context, customConfig) {
|
|
174
|
+
return checker_1.constraintChecker.beforeExecution(context, customConfig);
|
|
170
175
|
}
|
|
171
176
|
//# sourceMappingURL=index.js.map
|
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;;;;;;;;;;;;;;;;
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;;;;;;;;;;;;;;;;AAoHH,gDAMC;AAOD,wCAKC;AAQD,4CAMC;AASD,4CAaC;AAQD,oDAKC;AArLD,2CAA2C;AAC3C,OAAO;AACP,2CAA2C;AAC3C,0CAAwB;AAExB,2CAA2C;AAC3C,SAAS;AACT,2CAA2C;AAC3C,yCAAuB;AAEvB,2CAA2C;AAC3C,SAAS;AACT,2CAA2C;AAC3C,0CAAwB;AAExB,2CAA2C;AAC3C,OAAO;AACP,2CAA2C;AAC3C,+CAA6B;AAE7B,2CAA2C;AAC3C,SAAS;AACT,2CAA2C;AAC3C,4CAA0B;AAE1B,2CAA2C;AAC3C,YAAY;AACZ,2CAA2C;AAC3C,4DAA0C;AAE1C,2CAA2C;AAC3C,UAAU;AACV,2CAA2C;AAC3C,4CAA0B;AAE1B,2CAA2C;AAC3C,SAAS;AACT,2CAA2C;AAC3C,8CAA4B;AAE5B,2CAA2C;AAC3C,SAAS;AACT,2CAA2C;AAC3C,2CAAyB;AAEzB,2CAA2C;AAC3C,SAAS;AACT,2CAA2C;AAC3C,iDAA+B;AAE/B,2CAA2C;AAC3C,2CAA2C;AAC3C,+DAA+D;AAC/D,yCAAyC;AACzC,2CAA2C;AAC3C,wDAAsC;AAEtC,2CAA2C;AAC3C,iBAAiB;AACjB,2CAA2C;AAC3C,8CAA4B;AAE5B,2CAA2C;AAC3C,SAAS;AACT,2CAA2C;AAC3C,0CAAwB;AAExB,2CAA2C;AAC3C,sBAAsB;AACtB,2CAA2C;AAC3C,0CAAwB;AAExB,2CAA2C;AAC3C,eAAe;AACf,2CAA2C;AAC3C,2CAAyB;AAEzB,2CAA2C;AAC3C,OAAO;AACP,2CAA2C;AAC3C,4CAA0B;AAE1B,2CAA2C;AAC3C,6BAA6B;AAC7B,2CAA2C;AAC3C,8DAA4D;AAAnD,yGAAA,UAAU,OAAA;AAEnB,kFAAsF;AAA7E,mIAAA,0BAA0B,OAAA;AAGnC,2CAA2C;AAC3C,SAAS;AACT,2CAA2C;AAE3C,wDAA+D;AAC/D,gDAAwD;AAGxD,gEAAuE;AAGvE,qDAAqD;AACrD,2BAAiB,CAAC,gBAAgB,CAAC,IAAA,0BAAiB,GAAE,CAAC,CAAC;AAExD,8CAA8C;AACjC,QAAA,WAAW,GAAG,mCAAqB,CAAC;AAEjD;;;;;;GAMG;AACI,KAAK,UAAU,kBAAkB,CACtC,OAA0B,EAC1B,OAA0B,EAC1B,YAA6C;IAE7C,OAAO,mCAAqB,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;AACzE,CAAC;AAED;;;;GAIG;AACI,KAAK,UAAU,cAAc,CAClC,OAA0B,EAC1B,OAA0B;IAE1B,OAAO,mCAAqB,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AACvD,CAAC;AAED;;;;;GAKG;AACH,SAAgB,gBAAgB,CAC9B,aAA4B,EAC5B,QAA6B,EAC7B,MAAe;IAEf,mCAAqB,CAAC,QAAQ,CAAC,aAAa,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;AAClE,CAAC;AAED;;;;;;GAMG;AACI,KAAK,UAAU,gBAAgB,CACpC,OAA0B,EAC1B,OAGC;IAED,MAAM,MAAM,GAAG,MAAM,2BAAiB,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,IAAI,IAAI,CAAC,CAAC;IAChG,IAAI,OAAO,EAAE,OAAO,EAAE,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ;YAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACpD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU;YAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACI,KAAK,UAAU,oBAAoB,CACxC,OAA0B,EAC1B,YAA6C;IAE7C,OAAO,2BAAiB,CAAC,eAAe,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;AAClE,CAAC"}
|
|
@@ -10,14 +10,8 @@ export type { Diagnosis };
|
|
|
10
10
|
* 诊断配置
|
|
11
11
|
*/
|
|
12
12
|
export interface ConstraintDoctorConfig {
|
|
13
|
-
/**
|
|
14
|
-
|
|
15
|
-
/** Agent 类型(预留,后续对接) */
|
|
16
|
-
agentType?: 'claude-code' | 'codex' | 'openai';
|
|
17
|
-
/** 最大 traces 数量(用于构造 prompt) */
|
|
18
|
-
maxTracesInPrompt?: number;
|
|
19
|
-
/** 是否自动生成提案 */
|
|
20
|
-
autoGenerateProposal?: boolean;
|
|
13
|
+
/** 最大 traces 数量(用于构造诊断证据) */
|
|
14
|
+
maxTraces?: number;
|
|
21
15
|
}
|
|
22
16
|
/**
|
|
23
17
|
* Constraint Doctor - 约束诊断器
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"constraint-doctor.d.ts","sourceRoot":"","sources":["../../src/monitoring/constraint-doctor.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,cAAc,EACd,YAAY,EACZ,YAAY,EACb,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAI3D,YAAY,EAAE,SAAS,EAAE,CAAC;AAE1B;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,
|
|
1
|
+
{"version":3,"file":"constraint-doctor.d.ts","sourceRoot":"","sources":["../../src/monitoring/constraint-doctor.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,cAAc,EACd,YAAY,EACZ,YAAY,EACb,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAI3D,YAAY,EAAE,SAAS,EAAE,CAAC;AAE1B;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,6BAA6B;IAC7B,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,MAAM,CAAyB;IACvC,OAAO,CAAC,MAAM,CAAmB;gBAErB,MAAM,CAAC,EAAE,sBAAsB;IAQ3C;;OAEG;IACH,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,EAAE,QAAQ,CAAC,EAAE,YAAY,GAAG,IAAI;IAIhE;;;;OAIG;IACG,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,SAAS,CAAC;IAQzD;;;;OAIG;IACH,OAAO,CAAC,iBAAiB;IA2CzB;;;;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"}
|
|
@@ -26,9 +26,7 @@ class ConstraintDoctor {
|
|
|
26
26
|
traces;
|
|
27
27
|
constructor(config) {
|
|
28
28
|
this.config = {
|
|
29
|
-
|
|
30
|
-
maxTracesInPrompt: 20,
|
|
31
|
-
autoGenerateProposal: false,
|
|
29
|
+
maxTraces: 20,
|
|
32
30
|
...config,
|
|
33
31
|
};
|
|
34
32
|
this.traces = [];
|
|
@@ -63,7 +61,7 @@ class ConstraintDoctor {
|
|
|
63
61
|
rootCause: {
|
|
64
62
|
primary: '',
|
|
65
63
|
secondary: [],
|
|
66
|
-
evidence: traces.slice(0, this.config.
|
|
64
|
+
evidence: traces.slice(0, this.config.maxTraces),
|
|
67
65
|
},
|
|
68
66
|
impact: {
|
|
69
67
|
severity: 'medium',
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"constraint-doctor.js","sourceRoot":"","sources":["../../src/monitoring/constraint-doctor.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;
|
|
1
|
+
{"version":3,"file":"constraint-doctor.js","sourceRoot":"","sources":["../../src/monitoring/constraint-doctor.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;AA6NH,oCAEC;AAvND,uDAAoD;AAapD;;;;;;;;;;;;GAYG;AACH,MAAa,gBAAgB;IACnB,MAAM,CAAyB;IAC/B,MAAM,CAAmB;IAEjC,YAAY,MAA+B;QACzC,IAAI,CAAC,MAAM,GAAG;YACZ,SAAS,EAAE,EAAE;YACb,GAAG,MAAM;SACV,CAAC;QACF,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,MAAwB,EAAE,QAAuB;QACvD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,QAAQ,CAAC,OAAqB;QAClC,cAAc;QACd,MAAM,cAAc,GAAG,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAE1D,qBAAqB;QACrB,OAAO,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IACzD,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,SAAU,CAAC;aAClD;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,+CAA+C;QAC/C,MAAM,IAAI,GAAG,iCAAe,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,IAAI,EAAE,CAAC;YACT,SAAS,CAAC,SAAS,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;YAC3C,SAAS,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;YAC/C,SAAS,CAAC,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;YAC9C,SAAS,CAAC,eAAe,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;YAC1D,SAAS,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;YACzC,SAAS,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC5C,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;AAtLD,4CAsLC;AAED;;GAEG;AACH,SAAgB,YAAY,CAAC,MAA+B;IAC1D,OAAO,IAAI,gBAAgB,CAAC,MAAM,CAAC,CAAC;AACtC,CAAC"}
|
|
@@ -44,15 +44,15 @@ export declare class TraceCollector {
|
|
|
44
44
|
/**
|
|
45
45
|
* 快捷方法:记录通过
|
|
46
46
|
*/
|
|
47
|
-
recordPass(constraintId: string, level: 'iron_law' | 'guideline'
|
|
47
|
+
recordPass(constraintId: string, level: 'iron_law' | 'guideline', options?: Partial<ExecutionTrace>): void;
|
|
48
48
|
/**
|
|
49
49
|
* 快捷方法:记录失败
|
|
50
50
|
*/
|
|
51
|
-
recordFail(constraintId: string, level: 'iron_law' | 'guideline'
|
|
51
|
+
recordFail(constraintId: string, level: 'iron_law' | 'guideline', options?: Partial<ExecutionTrace>): void;
|
|
52
52
|
/**
|
|
53
53
|
* 快捷方法:记录绕过
|
|
54
54
|
*/
|
|
55
|
-
recordBypass(constraintId: string, level: 'iron_law' | 'guideline'
|
|
55
|
+
recordBypass(constraintId: string, level: 'iron_law' | 'guideline', bypassReason?: string, options?: Partial<ExecutionTrace>): void;
|
|
56
56
|
/**
|
|
57
57
|
* 批量读取 traces
|
|
58
58
|
*
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"traces.d.ts","sourceRoot":"","sources":["../../src/monitoring/traces.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,OAAO,EACL,kBAAkB,EAClB,KAAK,cAAc,EACnB,KAAK,WAAW,EAChB,KAAK,oBAAoB,EAC1B,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EAAE,kBAAkB,EAAE,CAAC;AAW9B;;;;;;;;;;;;;GAaG;AACH,qBAAa,cAAc;IACzB,OAAO,CAAC,MAAM,CAAuB;IACrC,OAAO,CAAC,SAAS,CAAS;gBAEd,MAAM,CAAC,EAAE,OAAO,CAAC,oBAAoB,CAAC;IAMlD;;OAEG;IACH,OAAO,CAAC,eAAe;IAOvB;;;;;;;OAOG;IACH,MAAM,CAAC,KAAK,EAAE,cAAc,GAAG,IAAI;IAWnC;;OAEG;IACH,UAAU,CACR,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,UAAU,GAAG,WAAW,
|
|
1
|
+
{"version":3,"file":"traces.d.ts","sourceRoot":"","sources":["../../src/monitoring/traces.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,OAAO,EACL,kBAAkB,EAClB,KAAK,cAAc,EACnB,KAAK,WAAW,EAChB,KAAK,oBAAoB,EAC1B,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EAAE,kBAAkB,EAAE,CAAC;AAW9B;;;;;;;;;;;;;GAaG;AACH,qBAAa,cAAc;IACzB,OAAO,CAAC,MAAM,CAAuB;IACrC,OAAO,CAAC,SAAS,CAAS;gBAEd,MAAM,CAAC,EAAE,OAAO,CAAC,oBAAoB,CAAC;IAMlD;;OAEG;IACH,OAAO,CAAC,eAAe;IAOvB;;;;;;;OAOG;IACH,MAAM,CAAC,KAAK,EAAE,cAAc,GAAG,IAAI;IAWnC;;OAEG;IACH,UAAU,CACR,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,UAAU,GAAG,WAAW,EAC/B,OAAO,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,GAChC,IAAI;IAUP;;OAEG;IACH,UAAU,CACR,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,UAAU,GAAG,WAAW,EAC/B,OAAO,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,GAChC,IAAI;IAUP;;OAEG;IACH,YAAY,CACV,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,UAAU,GAAG,WAAW,EAC/B,YAAY,CAAC,EAAE,MAAM,EACrB,OAAO,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,GAChC,IAAI;IAYP;;;;;;;OAOG;IACH,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,GAAG,cAAc,EAAE;IAkB5C;;OAEG;IACH,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,cAAc,EAAE;IAK3C;;OAEG;IACH,gBAAgB,CAAC,YAAY,EAAE,MAAM,GAAG,cAAc,EAAE;IAIxD;;OAEG;IACH,OAAO,CAAC,WAAW;IAyCnB;;OAEG;IACH,OAAO,CAAC,aAAa;IAWrB;;;;OAIG;IACH,OAAO,CAAC,UAAU;IAWlB;;;;OAIG;IACH,eAAe,CAAC,UAAU,GAAE,MAAW,GAAG,MAAM;IAyBhD;;OAEG;IACH,QAAQ,IAAI;QACV,UAAU,EAAE,OAAO,CAAC;QACpB,QAAQ,EAAE,MAAM,CAAC;QACjB,UAAU,EAAE,MAAM,CAAC;QACnB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,WAAW,CAAC,EAAE,MAAM,CAAC;KACtB;CA2BF;AAOD;;GAEG;AACH,wBAAgB,iBAAiB,IAAI,cAAc,CAKlD;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,OAAO,CAAC,oBAAoB,CAAC,GAAG,IAAI,CAEnF"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"traces.js","sourceRoot":"","sources":["../../src/monitoring/traces.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiUH,8CAKC;AAKD,0DAEC;AA3UD,uCAAyB;AACzB,2CAA6B;AAC7B,0CAKwB;AAGf,mGAPP,0BAAkB,OAOO;AAE3B;;GAEG;AACH,MAAM,cAAc,GAAyB;IAC3C,SAAS,EAAE,0BAAkB;IAC7B,WAAW,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI,EAAE,OAAO;IACtC,OAAO,EAAE,IAAI;CACd,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAa,cAAc;IACjB,MAAM,CAAuB;IAC7B,SAAS,CAAS;IAE1B,YAAY,MAAsC;QAChD,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,cAAc,EAAE,GAAG,MAAM,EAAE,CAAC;QAC/C,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,SAAU,CAAC;QACxC,IAAI,CAAC,eAAe,EAAE,CAAC;IACzB,CAAC;IAED;;OAEG;IACK,eAAe;QACrB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzC,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;IACH,CAAC;IAED;;;;;;;OAOG;IACH,MAAM,CAAC,KAAqB;QAC1B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,OAAO;QAEjC,eAAe;QACf,IAAI,CAAC,aAAa,EAAE,CAAC;QAErB,OAAO;QACP,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACnC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1D,CAAC;IAED;;OAEG;IACH,UAAU,CACR,YAAoB,EACpB,
|
|
1
|
+
{"version":3,"file":"traces.js","sourceRoot":"","sources":["../../src/monitoring/traces.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiUH,8CAKC;AAKD,0DAEC;AA3UD,uCAAyB;AACzB,2CAA6B;AAC7B,0CAKwB;AAGf,mGAPP,0BAAkB,OAOO;AAE3B;;GAEG;AACH,MAAM,cAAc,GAAyB;IAC3C,SAAS,EAAE,0BAAkB;IAC7B,WAAW,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI,EAAE,OAAO;IACtC,OAAO,EAAE,IAAI;CACd,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAa,cAAc;IACjB,MAAM,CAAuB;IAC7B,SAAS,CAAS;IAE1B,YAAY,MAAsC;QAChD,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,cAAc,EAAE,GAAG,MAAM,EAAE,CAAC;QAC/C,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,SAAU,CAAC;QACxC,IAAI,CAAC,eAAe,EAAE,CAAC;IACzB,CAAC;IAED;;OAEG;IACK,eAAe;QACrB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzC,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;IACH,CAAC;IAED;;;;;;;OAOG;IACH,MAAM,CAAC,KAAqB;QAC1B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,OAAO;QAEjC,eAAe;QACf,IAAI,CAAC,aAAa,EAAE,CAAC;QAErB,OAAO;QACP,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACnC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1D,CAAC;IAED;;OAEG;IACH,UAAU,CACR,YAAoB,EACpB,KAA+B,EAC/B,OAAiC;QAEjC,IAAI,CAAC,MAAM,CAAC;YACV,YAAY;YACZ,KAAK;YACL,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,MAAM,EAAE,MAAM;YACd,GAAG,OAAO;SACX,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,UAAU,CACR,YAAoB,EACpB,KAA+B,EAC/B,OAAiC;QAEjC,IAAI,CAAC,MAAM,CAAC;YACV,YAAY;YACZ,KAAK;YACL,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,MAAM,EAAE,MAAM;YACd,GAAG,OAAO;SACX,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,YAAY,CACV,YAAoB,EACpB,KAA+B,EAC/B,YAAqB,EACrB,OAAiC;QAEjC,IAAI,CAAC,MAAM,CAAC;YACV,YAAY;YACZ,KAAK;YACL,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,MAAM,EAAE,UAAU;YAClB,UAAU,EAAE,QAAQ;YACpB,YAAY;YACZ,GAAG,OAAO;SACX,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;OAOG;IACH,IAAI,CAAC,MAAoB;QACvB,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YACnC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAExD,IAAI,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAmB,CAAC,CAAC;QAEnE,SAAS;QACT,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC5C,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,KAAa;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC;QAC/C,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;IAC9D,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,YAAoB;QACnC,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC;IACrC,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,MAAwB,EAAE,MAAmB;QAC/D,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;YAC3B,QAAQ;YACR,IAAI,MAAM,CAAC,YAAY,IAAI,KAAK,CAAC,YAAY,KAAK,MAAM,CAAC,YAAY,EAAE,CAAC;gBACtE,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KAAK;YACL,IAAI,MAAM,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC;gBACjD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KAAK;YACL,IAAI,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;gBACpD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,OAAO;YACP,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;gBACrB,IAAI,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;oBAC7C,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,IAAI,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;oBACnE,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YAED,OAAO;YACP,IAAI,MAAM,CAAC,WAAW,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,EAAE,CAAC;gBACnE,OAAO,KAAK,CAAC;YACf,CAAC;YAED,QAAQ;YACR,IAAI,MAAM,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,EAAE,CAAC;gBAC7D,OAAO,KAAK,CAAC;YACf,CAAC;YAED,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACK,aAAa;QACnB,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YACnC,OAAO;QACT,CAAC;QAED,MAAM,KAAK,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1C,IAAI,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,WAAY,EAAE,CAAC;YAC3C,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,CAAC;IACH,CAAC;IAED;;;;OAIG;IACK,UAAU;QAChB,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACjE,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,SAAS,MAAM,CAAC,CAAC;QAEvE,UAAU;QACV,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QAE1C,QAAQ;QACR,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IAED;;;;OAIG;IACH,eAAe,CAAC,aAAqB,EAAE;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QAEjG,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,UAAU,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;QAC9D,IAAI,YAAY,GAAG,CAAC,CAAC;QAErB,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACtC,MAAM,KAAK,GAAG,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAEpC,IAAI,KAAK,CAAC,OAAO,GAAG,UAAU,EAAE,CAAC;gBAC/B,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBACxB,YAAY,EAAE,CAAC;YACjB,CAAC;QACH,CAAC;QAED,OAAO,YAAY,CAAC;IACtB,CAAC;IAED;;OAEG;IACH,QAAQ;QAON,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YACnC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;QAC3D,CAAC;QAED,MAAM,KAAK,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAExD,IAAI,MAA0B,CAAC;QAC/B,IAAI,MAA0B,CAAC;QAE/B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAmB,CAAC;YAC1D,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAmB,CAAC;YACxE,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC;YAC9B,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC;QAC/B,CAAC;QAED,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,KAAK,CAAC,IAAI;YACpB,UAAU,EAAE,KAAK,CAAC,MAAM;YACxB,WAAW,EAAE,MAAM;YACnB,WAAW,EAAE,MAAM;SACpB,CAAC;IACJ,CAAC;CACF;AAlRD,wCAkRC;AAED;;GAEG;AACH,IAAI,eAAe,GAA0B,IAAI,CAAC;AAElD;;GAEG;AACH,SAAgB,iBAAiB;IAC/B,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,eAAe,GAAG,IAAI,cAAc,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,eAAe,CAAC;AACzB,CAAC;AAED;;GAEG;AACH,SAAgB,uBAAuB,CAAC,MAAqC;IAC3E,eAAe,GAAG,IAAI,cAAc,CAAC,MAAM,CAAC,CAAC;AAC/C,CAAC"}
|
package/dist/types/trace.d.ts
CHANGED
|
@@ -22,7 +22,7 @@ export interface ExecutionTrace {
|
|
|
22
22
|
/** 约束 ID */
|
|
23
23
|
constraintId: string;
|
|
24
24
|
/** 约束层级 */
|
|
25
|
-
level: 'iron_law' | 'guideline' | 'prompt'
|
|
25
|
+
level: 'iron_law' | 'guideline' | 'prompt';
|
|
26
26
|
/** 检查时间(Unix timestamp) */
|
|
27
27
|
timestamp: number;
|
|
28
28
|
/** 检查结果(skip = 约定未采用/证据未接线,未评估;不计 pass/fail 分母) */
|
|
@@ -51,7 +51,7 @@ export interface TraceSummary {
|
|
|
51
51
|
/** 约束 ID */
|
|
52
52
|
constraintId: string;
|
|
53
53
|
/** 约束层级 */
|
|
54
|
-
level: 'iron_law' | 'guideline' | 'prompt'
|
|
54
|
+
level: 'iron_law' | 'guideline' | 'prompt';
|
|
55
55
|
/** 统计时间范围 */
|
|
56
56
|
timeRange: {
|
|
57
57
|
start: number;
|
|
@@ -97,7 +97,7 @@ export interface TraceAnomaly {
|
|
|
97
97
|
/** 约束 ID */
|
|
98
98
|
constraintId: string;
|
|
99
99
|
/** 约束层级 */
|
|
100
|
-
level: 'iron_law' | 'guideline' | 'prompt'
|
|
100
|
+
level: 'iron_law' | 'guideline' | 'prompt';
|
|
101
101
|
/** 异常描述 */
|
|
102
102
|
message: string;
|
|
103
103
|
/** 相关数据 */
|
|
@@ -118,7 +118,7 @@ export interface TraceFilter {
|
|
|
118
118
|
/** 约束 ID(可选,不指定则查全部) */
|
|
119
119
|
constraintId?: string;
|
|
120
120
|
/** 约束层级(可选) */
|
|
121
|
-
level?: 'iron_law' | 'guideline' | 'prompt'
|
|
121
|
+
level?: 'iron_law' | 'guideline' | 'prompt';
|
|
122
122
|
/** 结果类型(可选) */
|
|
123
123
|
result?: 'pass' | 'fail' | 'bypassed' | 'skip';
|
|
124
124
|
/** 时间范围(可选) */
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"trace.d.ts","sourceRoot":"","sources":["../../src/types/trace.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,6BAA6B,CAAC;AAE7D;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc;IAK7B,YAAY;IACZ,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,KAAK,EAAE,UAAU,GAAG,WAAW,GAAG,QAAQ,
|
|
1
|
+
{"version":3,"file":"trace.d.ts","sourceRoot":"","sources":["../../src/types/trace.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,6BAA6B,CAAC;AAE7D;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc;IAK7B,YAAY;IACZ,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,KAAK,EAAE,UAAU,GAAG,WAAW,GAAG,QAAQ,CAAC;IAE3C,2BAA2B;IAC3B,SAAS,EAAE,MAAM,CAAC;IAElB,mDAAmD;IACnD,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,CAAC;IAM9C,iBAAiB;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,mBAAmB;IACnB,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IAExC,oBAAoB;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAE1B,oBAAoB;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,2BAA2B;IAC3B,SAAS,CAAC,EAAE,MAAM,CAAC;IAMnB,eAAe;IACf,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,cAAc,CAAC;IAE1D,qBAAqB;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,YAAY;IACZ,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,KAAK,EAAE,UAAU,GAAG,WAAW,GAAG,QAAQ,CAAC;IAE3C,aAAa;IACb,SAAS,EAAE;QACT,KAAK,EAAE,MAAM,CAAC;QACd,GAAG,EAAE,MAAM,CAAC;KACb,CAAC;IAMF,YAAY;IACZ,WAAW,EAAE,MAAM,CAAC;IAEpB,WAAW;IACX,SAAS,EAAE,MAAM,CAAC;IAElB,WAAW;IACX,SAAS,EAAE,MAAM,CAAC;IAElB,WAAW;IACX,WAAW,EAAE,MAAM,CAAC;IAEpB,0DAA0D;IAC1D,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,aAAa;IACb,WAAW,EAAE,MAAM,CAAC;IAMpB,gBAAgB;IAChB,QAAQ,EAAE,MAAM,CAAC;IAEjB,gBAAgB;IAChB,QAAQ,EAAE,MAAM,CAAC;IAEjB,gBAAgB;IAChB,UAAU,EAAE,MAAM,CAAC;IAMnB,WAAW;IACX,WAAW,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IAE7C,gBAAgB;IAChB,oBAAoB,CAAC,EAAE;QACrB,aAAa,EAAE,MAAM,CAAC;QACtB,aAAa,EAAE,MAAM,CAAC;QACtB,eAAe,EAAE,MAAM,CAAC;KACzB,CAAC;IAMF,aAAa;IACb,cAAc,EAAE,MAAM,CAAC;IAEvB,YAAY;IACZ,mBAAmB,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,WAAW;IACX,IAAI,EACA,kBAAkB,GAClB,kBAAkB,GAClB,oBAAoB,GACpB,eAAe,GACf,mBAAmB,CAAC;IAExB,YAAY;IACZ,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,KAAK,EAAE,UAAU,GAAG,WAAW,GAAG,QAAQ,CAAC;IAE3C,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,IAAI,EAAE;QACJ,WAAW,EAAE,MAAM,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC;QAClB,KAAK,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAC;KACzC,CAAC;IAEF,WAAW;IACX,UAAU,EAAE,MAAM,CAAC;IAEnB,aAAa;IACb,eAAe,CAAC,EAAE,UAAU,GAAG,kBAAkB,GAAG,eAAe,GAAG,aAAa,CAAC;CACrF;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,wBAAwB;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IAEtB,eAAe;IACf,KAAK,CAAC,EAAE,UAAU,GAAG,WAAW,GAAG,QAAQ,CAAC;IAE5C,eAAe;IACf,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,CAAC;IAE/C,eAAe;IACf,SAAS,CAAC,EAAE;QACV,KAAK,EAAE,MAAM,CAAC;QACd,GAAG,EAAE,MAAM,CAAC;KACb,CAAC;IAEF,eAAe;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,gBAAgB;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,iBAAiB;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,uBAAuB;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,oBAAoB;IACpB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,mBAAmB;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,uBAAuB;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,WAAW;IACX,UAAU,CAAC,EAAE;QACX,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,aAAa,CAAC,EAAE,MAAM,CAAC;KACxB,CAAC;CACH"}
|
package/package.json
CHANGED
package/src/CONTEXT.md
CHANGED
|
@@ -17,8 +17,7 @@
|
|
|
17
17
|
| gates/ | 质量门 (acceptance, command, contract, performance, review, security) |
|
|
18
18
|
| monitoring/ | 追踪收集/分析、性能、诊断 |
|
|
19
19
|
| failure/ | 错误分类、失败记录 |
|
|
20
|
-
| context/ |
|
|
21
|
-
| architecture/ | 架构约束、跨项目检查 |
|
|
20
|
+
| context/ | 会话管理、token 预算、压缩、知识注入 |
|
|
22
21
|
| spec/ | Spec 注解验证 |
|
|
23
22
|
| cli/commands/ | 24 个 CLI 子命令 |
|
|
24
23
|
| tools/ | 工具定义 |
|
|
@@ -8,6 +8,7 @@
|
|
|
8
8
|
import { describe, it, expect, beforeAll, afterAll, jest } from '@jest/globals';
|
|
9
9
|
import {
|
|
10
10
|
ConstraintChecker,
|
|
11
|
+
checkConstraint,
|
|
11
12
|
checkConstraints,
|
|
12
13
|
checkBeforeExecution,
|
|
13
14
|
} from '../core/constraints/checker';
|
|
@@ -525,6 +526,22 @@ describe('ConstraintChecker - 补充覆盖', () => {
|
|
|
525
526
|
|
|
526
527
|
await expect(checkBeforeExecution(context)).rejects.toThrow();
|
|
527
528
|
});
|
|
529
|
+
|
|
530
|
+
it('customConfig 应替换内置集(空配置不检查内置铁律)', async () => {
|
|
531
|
+
const context: ConstraintContext = {
|
|
532
|
+
operation: 'code_implementation',
|
|
533
|
+
hasTest: false,
|
|
534
|
+
hasVerificationEvidence: false,
|
|
535
|
+
};
|
|
536
|
+
|
|
537
|
+
// 内置铁律下违规抛错
|
|
538
|
+
await expect(checkBeforeExecution(context)).rejects.toThrow();
|
|
539
|
+
|
|
540
|
+
// 空 customConfig 替换内置集 → 不抛
|
|
541
|
+
await expect(
|
|
542
|
+
checkBeforeExecution(context, { ironLaws: {}, guidelines: {}, disabled: [], custom: [] })
|
|
543
|
+
).resolves.not.toThrow();
|
|
544
|
+
});
|
|
528
545
|
});
|
|
529
546
|
|
|
530
547
|
describe('checkConstraints 完整流程', () => {
|
|
@@ -557,6 +574,36 @@ describe('ConstraintChecker - 补充覆盖', () => {
|
|
|
557
574
|
expect(constraints.ironLaws).toEqual({});
|
|
558
575
|
expect(constraints.guidelines).toEqual({});
|
|
559
576
|
});
|
|
577
|
+
|
|
578
|
+
it('checkConstraint 带 customConfig 应命中自定义约束', async () => {
|
|
579
|
+
const context: ConstraintContext = { operation: 'file_modification' };
|
|
580
|
+
const customConfig = {
|
|
581
|
+
ironLaws: {
|
|
582
|
+
test_only: {
|
|
583
|
+
id: 'test_only',
|
|
584
|
+
kind: 'prompt' as const,
|
|
585
|
+
level: 'iron_law' as const,
|
|
586
|
+
rule: 'TEST',
|
|
587
|
+
message: 'test',
|
|
588
|
+
trigger: 'file_modification',
|
|
589
|
+
enforcement: 'test',
|
|
590
|
+
},
|
|
591
|
+
},
|
|
592
|
+
guidelines: {},
|
|
593
|
+
disabled: [] as string[],
|
|
594
|
+
custom: [] as string[],
|
|
595
|
+
};
|
|
596
|
+
|
|
597
|
+
// 不带 customConfig:自定义约束不可见
|
|
598
|
+
const missing = await checkConstraint('test_only', context);
|
|
599
|
+
expect(missing.satisfied).toBe(false);
|
|
600
|
+
expect(missing.message).toContain('未知的约束');
|
|
601
|
+
|
|
602
|
+
// 带 customConfig:命中(prompt kind 直接 pass)
|
|
603
|
+
const hit = await checkConstraint('test_only', context, customConfig);
|
|
604
|
+
expect(hit.id).toBe('test_only');
|
|
605
|
+
expect(hit.satisfied).toBe(true);
|
|
606
|
+
});
|
|
560
607
|
});
|
|
561
608
|
|
|
562
609
|
describe('getSeverity', () => {
|
|
@@ -153,26 +153,6 @@ describe('status command - 补充覆盖', () => {
|
|
|
153
153
|
|
|
154
154
|
expect(consoleSpy).toHaveBeenCalled();
|
|
155
155
|
});
|
|
156
|
-
|
|
157
|
-
it('应该显示 Tips 统计', async () => {
|
|
158
|
-
const mockTraces = [
|
|
159
|
-
{ constraintId: 'context_doc_sync', level: 'tip', result: 'pass' },
|
|
160
|
-
];
|
|
161
|
-
mockFs.readFileSync.mockReturnValue(mockTraces.map(t => JSON.stringify(t)).join('\n'));
|
|
162
|
-
|
|
163
|
-
const mockSummaries = [
|
|
164
|
-
{ constraintId: 'context_doc_sync', level: 'tip', passRate: 1, totalChecks: 5, bypassRate: 0 },
|
|
165
|
-
];
|
|
166
|
-
const mockAnalyze = {
|
|
167
|
-
summarize: jest.fn().mockReturnValue(mockSummaries),
|
|
168
|
-
detectAnomalies: jest.fn().mockReturnValue([]),
|
|
169
|
-
};
|
|
170
|
-
(MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
|
|
171
|
-
|
|
172
|
-
await status({});
|
|
173
|
-
|
|
174
|
-
expect(consoleSpy).toHaveBeenCalled();
|
|
175
|
-
});
|
|
176
156
|
});
|
|
177
157
|
|
|
178
158
|
describe('详细模式扩展', () => {
|
|
@@ -180,14 +160,12 @@ describe('status command - 补充覆盖', () => {
|
|
|
180
160
|
const mockTraces = [
|
|
181
161
|
{ constraintId: 'no_bypass_checkpoint', level: 'iron_law', result: 'pass' },
|
|
182
162
|
{ constraintId: 'capability_sync', level: 'guideline', result: 'pass' },
|
|
183
|
-
{ constraintId: 'context_doc_sync', level: 'tip', result: 'pass' },
|
|
184
163
|
];
|
|
185
164
|
mockFs.readFileSync.mockReturnValue(mockTraces.map(t => JSON.stringify(t)).join('\n'));
|
|
186
165
|
|
|
187
166
|
const mockSummaries = [
|
|
188
167
|
{ constraintId: 'no_bypass_checkpoint', level: 'iron_law', passRate: 1, totalChecks: 10, bypassRate: 0 },
|
|
189
168
|
{ constraintId: 'capability_sync', level: 'guideline', passRate: 0.9, totalChecks: 20, bypassRate: 0.1 },
|
|
190
|
-
{ constraintId: 'context_doc_sync', level: 'tip', passRate: 1, totalChecks: 5, bypassRate: 0 },
|
|
191
169
|
];
|
|
192
170
|
const mockAnalyze = {
|
|
193
171
|
summarize: jest.fn().mockReturnValue(mockSummaries),
|
|
@@ -193,21 +193,6 @@ describe('status command', () => {
|
|
|
193
193
|
await status({});
|
|
194
194
|
expect(consoleSpy).toHaveBeenCalledWith(expect.stringContaining('Guidelines'));
|
|
195
195
|
});
|
|
196
|
-
|
|
197
|
-
it('应该显示 Tips 统计', async () => {
|
|
198
|
-
mockFs.readFileSync.mockReturnValue('{"constraintId":"test"}');
|
|
199
|
-
|
|
200
|
-
const mockAnalyze = {
|
|
201
|
-
summarize: jest.fn().mockReturnValue([
|
|
202
|
-
{ constraintId: 'test_tip', level: 'tip', passRate: 1, totalChecks: 5, bypassRate: 0 },
|
|
203
|
-
]),
|
|
204
|
-
detectAnomalies: jest.fn().mockReturnValue([]),
|
|
205
|
-
};
|
|
206
|
-
(MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
|
|
207
|
-
|
|
208
|
-
await status({});
|
|
209
|
-
expect(consoleSpy).toHaveBeenCalledWith(expect.stringContaining('Tips'));
|
|
210
|
-
});
|
|
211
196
|
});
|
|
212
197
|
|
|
213
198
|
describe('异常模式', () => {
|
|
@@ -129,16 +129,6 @@ export async function status(options: StatusOptions): Promise<void> {
|
|
|
129
129
|
console.log();
|
|
130
130
|
}
|
|
131
131
|
|
|
132
|
-
// Tips
|
|
133
|
-
const tipSummaries = summaries.filter((s: TraceSummary) => s.level === 'tip');
|
|
134
|
-
if (tipSummaries.length > 0) {
|
|
135
|
-
console.log(chalk.blue('🔵 Tips:'));
|
|
136
|
-
tipSummaries.forEach((s: TraceSummary) => {
|
|
137
|
-
console.log(` 💡 ${s.constraintId}`);
|
|
138
|
-
});
|
|
139
|
-
console.log();
|
|
140
|
-
}
|
|
141
|
-
|
|
142
132
|
// 异常检测
|
|
143
133
|
if (anomalies.length > 0) {
|
|
144
134
|
console.log(chalk.yellow(`⚠️ 发现 ${anomalies.length} 个异常`));
|
package/src/core/CONTEXT.md
CHANGED
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
约束引擎核心:check/prompt 二元约束系统(ADR-0001)、生效集合并(effective-constraints)、检查点验证器(CSO/passes-gate)、会话管理、Spec 验证器、项目配置加载。
|
|
5
5
|
|
|
6
6
|
## 核心导出
|
|
7
|
-
- `constraints/` — 约束定义(IRON_LAWS/GUIDELINES/PROMPTS
|
|
7
|
+
- `constraints/` — 约束定义(IRON_LAWS/GUIDELINES/PROMPTS) + 检查引擎(ConstraintChecker) + 拦截器(ConstraintInterceptor) + 缓存(CheckCache:TTL 缓存 + 计数采样,H6/G5 起公开导出) + 注入渲染(injection-renderer) + Agent prompt 渲染(agent-prompt-renderer:trigger 参数化分组渲染,role 路由留 studio,H6/G6)/漂移校验(injection-drift)/使用统计(usage-report)
|
|
8
8
|
- `effective-constraints.ts` — `getEffectiveConstraints(projectRoot)`:全仓唯一生效集来源(内置 → preset → config.yml 禁用(内置与 custom 同效)→ custom 追加(禁用/已退役的不追加)→ scenes 过滤);`lintEffectiveConfig` 配置诊断
|
|
9
9
|
- `validators/` — checkpoints、passes-gate、CSO 验证器
|
|
10
10
|
- `session/` — 会话管理
|
|
@@ -215,6 +215,20 @@ describe('ConstraintInterceptor', () => {
|
|
|
215
215
|
|
|
216
216
|
await expect(interceptor.intercept('code_implementation', mockContext)).rejects.toThrow();
|
|
217
217
|
});
|
|
218
|
+
|
|
219
|
+
it('should forward customConfig to checker.getConstraints', async () => {
|
|
220
|
+
interceptor.register('test-enforcement', mockExecutor);
|
|
221
|
+
(mockExecutor.execute as jest.Mock).mockResolvedValue({ passed: true });
|
|
222
|
+
|
|
223
|
+
const customConfig = {
|
|
224
|
+
ironLaws: { test_iron_law: mockIronLaw },
|
|
225
|
+
guidelines: {},
|
|
226
|
+
prompts: {},
|
|
227
|
+
} as any;
|
|
228
|
+
|
|
229
|
+
await interceptor.intercept('code_implementation', mockContext, customConfig);
|
|
230
|
+
expect(mockChecker.getConstraints).toHaveBeenCalledWith(customConfig);
|
|
231
|
+
});
|
|
218
232
|
});
|
|
219
233
|
|
|
220
234
|
describe('claim', () => {
|
|
@@ -494,13 +494,16 @@ export class ConstraintChecker {
|
|
|
494
494
|
|
|
495
495
|
/**
|
|
496
496
|
* 快捷函数:检查约束
|
|
497
|
+
*
|
|
498
|
+
* @param customConfig 可选,per-request 自定义配置;不传则返回内置约束集
|
|
497
499
|
*/
|
|
498
500
|
export async function checkConstraint(
|
|
499
501
|
constraintId: string,
|
|
500
|
-
context: ConstraintContext
|
|
502
|
+
context: ConstraintContext,
|
|
503
|
+
customConfig?: MergedConstraintsConfig | null
|
|
501
504
|
): Promise<ConstraintResult> {
|
|
502
505
|
const checker = ConstraintChecker.getInstance();
|
|
503
|
-
const constraints = checker.getConstraints();
|
|
506
|
+
const constraints = checker.getConstraints(customConfig);
|
|
504
507
|
|
|
505
508
|
const constraint =
|
|
506
509
|
constraints.ironLaws[constraintId] ||
|
|
@@ -16,6 +16,7 @@ import type {
|
|
|
16
16
|
EnforcementContext,
|
|
17
17
|
InterceptionResult,
|
|
18
18
|
} from '../../types/enforcement';
|
|
19
|
+
import type { MergedConstraintsConfig } from '../../types/project-config';
|
|
19
20
|
import { constraintChecker } from './checker';
|
|
20
21
|
|
|
21
22
|
export class ConstraintInterceptor {
|
|
@@ -91,7 +92,8 @@ export class ConstraintInterceptor {
|
|
|
91
92
|
|
|
92
93
|
async intercept(
|
|
93
94
|
trigger: ConstraintTrigger,
|
|
94
|
-
context: ConstraintContext
|
|
95
|
+
context: ConstraintContext,
|
|
96
|
+
customConfig?: MergedConstraintsConfig | null
|
|
95
97
|
): Promise<InterceptionResult> {
|
|
96
98
|
if (!this.enabled) {
|
|
97
99
|
return {
|
|
@@ -110,7 +112,7 @@ export class ConstraintInterceptor {
|
|
|
110
112
|
interceptedAt: new Date(),
|
|
111
113
|
};
|
|
112
114
|
|
|
113
|
-
const constraints = constraintChecker.getConstraints();
|
|
115
|
+
const constraints = constraintChecker.getConstraints(customConfig);
|
|
114
116
|
// prompt 类约束不参与拦截执行(ADR-0001:仅参与注入)
|
|
115
117
|
const allConstraints = [
|
|
116
118
|
...Object.values(constraints.ironLaws),
|
|
@@ -201,9 +203,10 @@ export const constraintInterceptor = ConstraintInterceptor.getInstance();
|
|
|
201
203
|
|
|
202
204
|
export async function interceptOperation(
|
|
203
205
|
trigger: ConstraintTrigger,
|
|
204
|
-
context: ConstraintContext
|
|
206
|
+
context: ConstraintContext,
|
|
207
|
+
customConfig?: MergedConstraintsConfig | null
|
|
205
208
|
): Promise<InterceptionResult> {
|
|
206
|
-
return constraintInterceptor.intercept(trigger, context);
|
|
209
|
+
return constraintInterceptor.intercept(trigger, context, customConfig);
|
|
207
210
|
}
|
|
208
211
|
|
|
209
212
|
export async function claimOperation(
|
package/src/index.ts
CHANGED
|
@@ -113,6 +113,7 @@ export type { RenderConstraintsByTriggerOptions } from './core/constraints/agent
|
|
|
113
113
|
import { constraintChecker } from './core/constraints/checker';
|
|
114
114
|
import { getTraceCollector } from './monitoring/traces';
|
|
115
115
|
import type { ConstraintContext, ConstraintCheckResult, ConstraintTrigger } from './types/constraint';
|
|
116
|
+
import type { MergedConstraintsConfig } from './types/project-config';
|
|
116
117
|
import { constraintInterceptor } from './core/constraints/interceptor';
|
|
117
118
|
import type { EnforcementExecutor, EnforcementId, InterceptionResult } from './types/enforcement';
|
|
118
119
|
|
|
@@ -126,13 +127,15 @@ export const interceptor = constraintInterceptor;
|
|
|
126
127
|
* 拦截操作 — 在操作执行前检查约束
|
|
127
128
|
* @param trigger - 触发条件
|
|
128
129
|
* @param context - 约束上下文
|
|
130
|
+
* @param customConfig - 可选,per-request 自定义约束配置;不传则用内置约束集
|
|
129
131
|
* @returns 拦截结果(是否通过、违规列表)
|
|
130
132
|
*/
|
|
131
133
|
export async function interceptOperation(
|
|
132
134
|
trigger: ConstraintTrigger,
|
|
133
|
-
context: ConstraintContext
|
|
135
|
+
context: ConstraintContext,
|
|
136
|
+
customConfig?: MergedConstraintsConfig | null
|
|
134
137
|
): Promise<InterceptionResult> {
|
|
135
|
-
return constraintInterceptor.intercept(trigger, context);
|
|
138
|
+
return constraintInterceptor.intercept(trigger, context, customConfig);
|
|
136
139
|
}
|
|
137
140
|
|
|
138
141
|
/**
|
|
@@ -166,12 +169,16 @@ export function registerExecutor(
|
|
|
166
169
|
*
|
|
167
170
|
* @param context - 约束上下文
|
|
168
171
|
* @param options.onTrace - 每条约束检查后的回调(用于记录 trace 到外部存储)
|
|
172
|
+
* @param options.customConfig - 可选,per-request 自定义约束配置;不传则用内置约束集
|
|
169
173
|
*/
|
|
170
174
|
export async function checkConstraints(
|
|
171
175
|
context: ConstraintContext,
|
|
172
|
-
options?: {
|
|
176
|
+
options?: {
|
|
177
|
+
onTrace?: (result: import('./types/constraint').ConstraintResult) => void;
|
|
178
|
+
customConfig?: MergedConstraintsConfig | null;
|
|
179
|
+
}
|
|
173
180
|
): Promise<ConstraintCheckResult> {
|
|
174
|
-
const result = await constraintChecker.checkConstraints(context);
|
|
181
|
+
const result = await constraintChecker.checkConstraints(context, options?.customConfig ?? null);
|
|
175
182
|
if (options?.onTrace) {
|
|
176
183
|
for (const r of result.ironLaws) options.onTrace(r);
|
|
177
184
|
for (const r of result.guidelines) options.onTrace(r);
|
|
@@ -181,9 +188,13 @@ export async function checkConstraints(
|
|
|
181
188
|
|
|
182
189
|
/**
|
|
183
190
|
* 执行前检查(仅 Iron Laws)
|
|
191
|
+
*
|
|
192
|
+
* @param context - 约束上下文
|
|
193
|
+
* @param customConfig - 可选,per-request 自定义约束配置;不传则用内置约束集
|
|
184
194
|
*/
|
|
185
195
|
export async function checkBeforeExecution(
|
|
186
|
-
context: ConstraintContext
|
|
196
|
+
context: ConstraintContext,
|
|
197
|
+
customConfig?: MergedConstraintsConfig | null
|
|
187
198
|
): Promise<void> {
|
|
188
|
-
return constraintChecker.beforeExecution(context);
|
|
199
|
+
return constraintChecker.beforeExecution(context, customConfig);
|
|
189
200
|
}
|
|
@@ -19,17 +19,8 @@ export type { Diagnosis };
|
|
|
19
19
|
* 诊断配置
|
|
20
20
|
*/
|
|
21
21
|
export interface ConstraintDoctorConfig {
|
|
22
|
-
/**
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
/** Agent 类型(预留,后续对接) */
|
|
26
|
-
agentType?: 'claude-code' | 'codex' | 'openai';
|
|
27
|
-
|
|
28
|
-
/** 最大 traces 数量(用于构造 prompt) */
|
|
29
|
-
maxTracesInPrompt?: number;
|
|
30
|
-
|
|
31
|
-
/** 是否自动生成提案 */
|
|
32
|
-
autoGenerateProposal?: boolean;
|
|
22
|
+
/** 最大 traces 数量(用于构造诊断证据) */
|
|
23
|
+
maxTraces?: number;
|
|
33
24
|
}
|
|
34
25
|
|
|
35
26
|
/**
|
|
@@ -51,9 +42,7 @@ export class ConstraintDoctor {
|
|
|
51
42
|
|
|
52
43
|
constructor(config?: ConstraintDoctorConfig) {
|
|
53
44
|
this.config = {
|
|
54
|
-
|
|
55
|
-
maxTracesInPrompt: 20,
|
|
56
|
-
autoGenerateProposal: false,
|
|
45
|
+
maxTraces: 20,
|
|
57
46
|
...config,
|
|
58
47
|
};
|
|
59
48
|
this.traces = [];
|
|
@@ -95,7 +84,7 @@ export class ConstraintDoctor {
|
|
|
95
84
|
rootCause: {
|
|
96
85
|
primary: '',
|
|
97
86
|
secondary: [],
|
|
98
|
-
evidence: traces.slice(0, this.config.
|
|
87
|
+
evidence: traces.slice(0, this.config.maxTraces!),
|
|
99
88
|
},
|
|
100
89
|
impact: {
|
|
101
90
|
severity: 'medium',
|
package/src/monitoring/traces.ts
CHANGED
|
@@ -88,7 +88,7 @@ export class TraceCollector {
|
|
|
88
88
|
*/
|
|
89
89
|
recordPass(
|
|
90
90
|
constraintId: string,
|
|
91
|
-
level: 'iron_law' | 'guideline'
|
|
91
|
+
level: 'iron_law' | 'guideline',
|
|
92
92
|
options?: Partial<ExecutionTrace>
|
|
93
93
|
): void {
|
|
94
94
|
this.record({
|
|
@@ -105,7 +105,7 @@ export class TraceCollector {
|
|
|
105
105
|
*/
|
|
106
106
|
recordFail(
|
|
107
107
|
constraintId: string,
|
|
108
|
-
level: 'iron_law' | 'guideline'
|
|
108
|
+
level: 'iron_law' | 'guideline',
|
|
109
109
|
options?: Partial<ExecutionTrace>
|
|
110
110
|
): void {
|
|
111
111
|
this.record({
|
|
@@ -122,7 +122,7 @@ export class TraceCollector {
|
|
|
122
122
|
*/
|
|
123
123
|
recordBypass(
|
|
124
124
|
constraintId: string,
|
|
125
|
-
level: 'iron_law' | 'guideline'
|
|
125
|
+
level: 'iron_law' | 'guideline',
|
|
126
126
|
bypassReason?: string,
|
|
127
127
|
options?: Partial<ExecutionTrace>
|
|
128
128
|
): void {
|
package/src/types/trace.ts
CHANGED
|
@@ -29,7 +29,7 @@ export interface ExecutionTrace {
|
|
|
29
29
|
constraintId: string;
|
|
30
30
|
|
|
31
31
|
/** 约束层级 */
|
|
32
|
-
level: 'iron_law' | 'guideline' | 'prompt'
|
|
32
|
+
level: 'iron_law' | 'guideline' | 'prompt';
|
|
33
33
|
|
|
34
34
|
/** 检查时间(Unix timestamp) */
|
|
35
35
|
timestamp: number;
|
|
@@ -77,7 +77,7 @@ export interface TraceSummary {
|
|
|
77
77
|
constraintId: string;
|
|
78
78
|
|
|
79
79
|
/** 约束层级 */
|
|
80
|
-
level: 'iron_law' | 'guideline' | 'prompt'
|
|
80
|
+
level: 'iron_law' | 'guideline' | 'prompt';
|
|
81
81
|
|
|
82
82
|
/** 统计时间范围 */
|
|
83
83
|
timeRange: {
|
|
@@ -161,7 +161,7 @@ export interface TraceAnomaly {
|
|
|
161
161
|
constraintId: string;
|
|
162
162
|
|
|
163
163
|
/** 约束层级 */
|
|
164
|
-
level: 'iron_law' | 'guideline' | 'prompt'
|
|
164
|
+
level: 'iron_law' | 'guideline' | 'prompt';
|
|
165
165
|
|
|
166
166
|
/** 异常描述 */
|
|
167
167
|
message: string;
|
|
@@ -188,7 +188,7 @@ export interface TraceFilter {
|
|
|
188
188
|
constraintId?: string;
|
|
189
189
|
|
|
190
190
|
/** 约束层级(可选) */
|
|
191
|
-
level?: 'iron_law' | 'guideline' | 'prompt'
|
|
191
|
+
level?: 'iron_law' | 'guideline' | 'prompt';
|
|
192
192
|
|
|
193
193
|
/** 结果类型(可选) */
|
|
194
194
|
result?: 'pass' | 'fail' | 'bypassed' | 'skip';
|