@dommaker/harness 0.2.0 → 0.3.0

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.
Files changed (61) hide show
  1. package/README.md +134 -1
  2. package/dist/cli/commands/diagnose.d.ts +16 -0
  3. package/dist/cli/commands/diagnose.d.ts.map +1 -0
  4. package/dist/cli/commands/diagnose.js +195 -0
  5. package/dist/cli/commands/diagnose.js.map +1 -0
  6. package/dist/cli/commands/index.d.ts +3 -0
  7. package/dist/cli/commands/index.d.ts.map +1 -1
  8. package/dist/cli/commands/index.js +7 -1
  9. package/dist/cli/commands/index.js.map +1 -1
  10. package/dist/cli/commands/propose.d.ts +18 -0
  11. package/dist/cli/commands/propose.d.ts.map +1 -0
  12. package/dist/cli/commands/propose.js +331 -0
  13. package/dist/cli/commands/propose.js.map +1 -0
  14. package/dist/cli/commands/traces.d.ts +15 -0
  15. package/dist/cli/commands/traces.d.ts.map +1 -0
  16. package/dist/cli/commands/traces.js +167 -0
  17. package/dist/cli/commands/traces.js.map +1 -0
  18. package/dist/core/constraints/checker.d.ts +4 -0
  19. package/dist/core/constraints/checker.d.ts.map +1 -1
  20. package/dist/core/constraints/checker.js +54 -0
  21. package/dist/core/constraints/checker.js.map +1 -1
  22. package/dist/core/validators/checkpoint.d.ts +13 -1
  23. package/dist/core/validators/checkpoint.d.ts.map +1 -1
  24. package/dist/core/validators/checkpoint.js +51 -0
  25. package/dist/core/validators/checkpoint.js.map +1 -1
  26. package/dist/index.d.ts +1 -0
  27. package/dist/index.d.ts.map +1 -1
  28. package/dist/index.js +4 -0
  29. package/dist/index.js.map +1 -1
  30. package/dist/monitoring/constraint-doctor.d.ts +130 -0
  31. package/dist/monitoring/constraint-doctor.d.ts.map +1 -0
  32. package/dist/monitoring/constraint-doctor.js +305 -0
  33. package/dist/monitoring/constraint-doctor.js.map +1 -0
  34. package/dist/monitoring/constraint-evolver.d.ts +174 -0
  35. package/dist/monitoring/constraint-evolver.d.ts.map +1 -0
  36. package/dist/monitoring/constraint-evolver.js +412 -0
  37. package/dist/monitoring/constraint-evolver.js.map +1 -0
  38. package/dist/monitoring/index.d.ts +14 -0
  39. package/dist/monitoring/index.d.ts.map +1 -0
  40. package/dist/monitoring/index.js +30 -0
  41. package/dist/monitoring/index.js.map +1 -0
  42. package/dist/monitoring/trace-analyzer.d.ts +100 -0
  43. package/dist/monitoring/trace-analyzer.d.ts.map +1 -0
  44. package/dist/monitoring/trace-analyzer.js +432 -0
  45. package/dist/monitoring/trace-analyzer.js.map +1 -0
  46. package/dist/monitoring/traces.d.ts +111 -0
  47. package/dist/monitoring/traces.d.ts.map +1 -0
  48. package/dist/monitoring/traces.js +312 -0
  49. package/dist/monitoring/traces.js.map +1 -0
  50. package/dist/types/constraint.d.ts +2 -0
  51. package/dist/types/constraint.d.ts.map +1 -1
  52. package/dist/types/constraint.js.map +1 -1
  53. package/dist/types/index.d.ts +3 -0
  54. package/dist/types/index.d.ts.map +1 -1
  55. package/dist/types/index.js +2 -0
  56. package/dist/types/index.js.map +1 -1
  57. package/dist/types/trace.d.ts +151 -0
  58. package/dist/types/trace.d.ts.map +1 -0
  59. package/dist/types/trace.js +8 -0
  60. package/dist/types/trace.js.map +1 -0
  61. package/package.json +1 -1
@@ -0,0 +1,312 @@
1
+ "use strict";
2
+ /**
3
+ * Execution Trace 收集器
4
+ *
5
+ * 轻量设计,零 Token 成本
6
+ *
7
+ * 功能:
8
+ * - 记录约束检查结果(追加写入)
9
+ * - 批量读取 traces(按时间范围过滤)
10
+ * - 文件滚动(防止文件过大)
11
+ */
12
+ var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
13
+ if (k2 === undefined) k2 = k;
14
+ var desc = Object.getOwnPropertyDescriptor(m, k);
15
+ if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
16
+ desc = { enumerable: true, get: function() { return m[k]; } };
17
+ }
18
+ Object.defineProperty(o, k2, desc);
19
+ }) : (function(o, m, k, k2) {
20
+ if (k2 === undefined) k2 = k;
21
+ o[k2] = m[k];
22
+ }));
23
+ var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
24
+ Object.defineProperty(o, "default", { enumerable: true, value: v });
25
+ }) : function(o, v) {
26
+ o["default"] = v;
27
+ });
28
+ var __importStar = (this && this.__importStar) || (function () {
29
+ var ownKeys = function(o) {
30
+ ownKeys = Object.getOwnPropertyNames || function (o) {
31
+ var ar = [];
32
+ for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
33
+ return ar;
34
+ };
35
+ return ownKeys(o);
36
+ };
37
+ return function (mod) {
38
+ if (mod && mod.__esModule) return mod;
39
+ var result = {};
40
+ if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
41
+ __setModuleDefault(result, mod);
42
+ return result;
43
+ };
44
+ })();
45
+ Object.defineProperty(exports, "__esModule", { value: true });
46
+ exports.TraceCollector = void 0;
47
+ exports.getTraceCollector = getTraceCollector;
48
+ exports.configureTraceCollector = configureTraceCollector;
49
+ const fs = __importStar(require("fs"));
50
+ const path = __importStar(require("path"));
51
+ /**
52
+ * 默认配置
53
+ */
54
+ const DEFAULT_CONFIG = {
55
+ traceFile: '.harness/traces/execution.log',
56
+ maxFileSize: 10 * 1024 * 1024, // 10MB
57
+ enabled: true,
58
+ };
59
+ /**
60
+ * Trace 收集器
61
+ *
62
+ * 使用方式:
63
+ * ```typescript
64
+ * const collector = new TraceCollector();
65
+ * collector.record({
66
+ * constraintId: 'no_fix_without_root_cause',
67
+ * level: 'iron_law',
68
+ * timestamp: Date.now(),
69
+ * result: 'fail',
70
+ * });
71
+ * ```
72
+ */
73
+ class TraceCollector {
74
+ config;
75
+ traceFile;
76
+ constructor(config) {
77
+ this.config = { ...DEFAULT_CONFIG, ...config };
78
+ this.traceFile = this.config.traceFile;
79
+ this.ensureDirectory();
80
+ }
81
+ /**
82
+ * 确保 trace 目录存在
83
+ */
84
+ ensureDirectory() {
85
+ const dir = path.dirname(this.traceFile);
86
+ if (!fs.existsSync(dir)) {
87
+ fs.mkdirSync(dir, { recursive: true });
88
+ }
89
+ }
90
+ /**
91
+ * 记录一条 trace
92
+ *
93
+ * 轻量操作:
94
+ * - 追加写入(不读取现有内容)
95
+ * - 单行 JSON(便于批量处理)
96
+ * - 零 Token 成本
97
+ */
98
+ record(trace) {
99
+ if (!this.config.enabled)
100
+ return;
101
+ // 检查文件大小,必要时滚动
102
+ this.checkFileSize();
103
+ // 追加写入
104
+ const line = JSON.stringify(trace);
105
+ fs.appendFileSync(this.traceFile, line + '\n', 'utf-8');
106
+ }
107
+ /**
108
+ * 快捷方法:记录通过
109
+ */
110
+ recordPass(constraintId, level, options) {
111
+ this.record({
112
+ constraintId,
113
+ level,
114
+ timestamp: Date.now(),
115
+ result: 'pass',
116
+ ...options,
117
+ });
118
+ }
119
+ /**
120
+ * 快捷方法:记录失败
121
+ */
122
+ recordFail(constraintId, level, options) {
123
+ this.record({
124
+ constraintId,
125
+ level,
126
+ timestamp: Date.now(),
127
+ result: 'fail',
128
+ ...options,
129
+ });
130
+ }
131
+ /**
132
+ * 快捷方法:记录绕过
133
+ */
134
+ recordBypass(constraintId, level, bypassReason, options) {
135
+ this.record({
136
+ constraintId,
137
+ level,
138
+ timestamp: Date.now(),
139
+ result: 'bypassed',
140
+ userAction: 'bypass',
141
+ bypassReason,
142
+ ...options,
143
+ });
144
+ }
145
+ /**
146
+ * 批量读取 traces
147
+ *
148
+ * 支持过滤条件:
149
+ * - 时间范围
150
+ * - 约束 ID
151
+ * - 结果类型
152
+ */
153
+ read(filter) {
154
+ if (!fs.existsSync(this.traceFile)) {
155
+ return [];
156
+ }
157
+ const content = fs.readFileSync(this.traceFile, 'utf-8');
158
+ const lines = content.split('\n').filter(l => l.trim());
159
+ let traces = lines.map(line => JSON.parse(line));
160
+ // 应用过滤条件
161
+ if (filter) {
162
+ traces = this.applyFilter(traces, filter);
163
+ }
164
+ return traces;
165
+ }
166
+ /**
167
+ * 读取最近 N 小时的 traces
168
+ */
169
+ readRecent(hours) {
170
+ const start = Date.now() - hours * 3600 * 1000;
171
+ return this.read({ timeRange: { start, end: Date.now() } });
172
+ }
173
+ /**
174
+ * 读取特定约束的 traces
175
+ */
176
+ readByConstraint(constraintId) {
177
+ return this.read({ constraintId });
178
+ }
179
+ /**
180
+ * 应用过滤条件
181
+ */
182
+ applyFilter(traces, filter) {
183
+ return traces.filter(trace => {
184
+ // 约束 ID
185
+ if (filter.constraintId && trace.constraintId !== filter.constraintId) {
186
+ return false;
187
+ }
188
+ // 层级
189
+ if (filter.level && trace.level !== filter.level) {
190
+ return false;
191
+ }
192
+ // 结果
193
+ if (filter.result && trace.result !== filter.result) {
194
+ return false;
195
+ }
196
+ // 时间范围
197
+ if (filter.timeRange) {
198
+ if (trace.timestamp < filter.timeRange.start) {
199
+ return false;
200
+ }
201
+ if (filter.timeRange.end && trace.timestamp > filter.timeRange.end) {
202
+ return false;
203
+ }
204
+ }
205
+ // 项目路径
206
+ if (filter.projectPath && trace.projectPath !== filter.projectPath) {
207
+ return false;
208
+ }
209
+ // 会话 ID
210
+ if (filter.sessionId && trace.sessionId !== filter.sessionId) {
211
+ return false;
212
+ }
213
+ return true;
214
+ });
215
+ }
216
+ /**
217
+ * 检查文件大小,必要时滚动
218
+ */
219
+ checkFileSize() {
220
+ if (!fs.existsSync(this.traceFile)) {
221
+ return;
222
+ }
223
+ const stats = fs.statSync(this.traceFile);
224
+ if (stats.size >= this.config.maxFileSize) {
225
+ this.rotateFile();
226
+ }
227
+ }
228
+ /**
229
+ * 滚动文件
230
+ *
231
+ * 将当前文件重命名为带时间戳的备份
232
+ */
233
+ rotateFile() {
234
+ const timestamp = new Date().toISOString().replace(/[:.]/g, '-');
235
+ const backupFile = this.traceFile.replace('.log', `-${timestamp}.log`);
236
+ // 重命名当前文件
237
+ fs.renameSync(this.traceFile, backupFile);
238
+ // 创建新文件
239
+ fs.writeFileSync(this.traceFile, '', 'utf-8');
240
+ }
241
+ /**
242
+ * 清理旧备份文件
243
+ *
244
+ * 删除超过 maxAge 天的备份文件
245
+ */
246
+ cleanupOldFiles(maxAgeDays = 30) {
247
+ const dir = path.dirname(this.traceFile);
248
+ if (!fs.existsSync(dir)) {
249
+ return 0;
250
+ }
251
+ const files = fs.readdirSync(dir);
252
+ const backupFiles = files.filter(f => f.endsWith('.log') && f !== 'execution.log');
253
+ const cutoffTime = Date.now() - maxAgeDays * 24 * 3600 * 1000;
254
+ let deletedCount = 0;
255
+ for (const file of backupFiles) {
256
+ const filePath = path.join(dir, file);
257
+ const stats = fs.statSync(filePath);
258
+ if (stats.mtimeMs < cutoffTime) {
259
+ fs.unlinkSync(filePath);
260
+ deletedCount++;
261
+ }
262
+ }
263
+ return deletedCount;
264
+ }
265
+ /**
266
+ * 获取 trace 文件统计信息
267
+ */
268
+ getStats() {
269
+ if (!fs.existsSync(this.traceFile)) {
270
+ return { fileExists: false, fileSize: 0, totalLines: 0 };
271
+ }
272
+ const stats = fs.statSync(this.traceFile);
273
+ const content = fs.readFileSync(this.traceFile, 'utf-8');
274
+ const lines = content.split('\n').filter(l => l.trim());
275
+ let oldest;
276
+ let newest;
277
+ if (lines.length > 0) {
278
+ const firstTrace = JSON.parse(lines[0]);
279
+ const lastTrace = JSON.parse(lines[lines.length - 1]);
280
+ oldest = firstTrace.timestamp;
281
+ newest = lastTrace.timestamp;
282
+ }
283
+ return {
284
+ fileExists: true,
285
+ fileSize: stats.size,
286
+ totalLines: lines.length,
287
+ oldestTrace: oldest,
288
+ newestTrace: newest,
289
+ };
290
+ }
291
+ }
292
+ exports.TraceCollector = TraceCollector;
293
+ /**
294
+ * 全局单例(可选)
295
+ */
296
+ let globalCollector = null;
297
+ /**
298
+ * 获取全局收集器
299
+ */
300
+ function getTraceCollector() {
301
+ if (!globalCollector) {
302
+ globalCollector = new TraceCollector();
303
+ }
304
+ return globalCollector;
305
+ }
306
+ /**
307
+ * 配置全局收集器
308
+ */
309
+ function configureTraceCollector(config) {
310
+ globalCollector = new TraceCollector(config);
311
+ }
312
+ //# sourceMappingURL=traces.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"traces.js","sourceRoot":"","sources":["../../src/monitoring/traces.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6TH,8CAKC;AAKD,0DAEC;AAvUD,uCAAyB;AACzB,2CAA6B;AAO7B;;GAEG;AACH,MAAM,cAAc,GAAyB;IAC3C,SAAS,EAAE,+BAA+B;IAC1C,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,KAAuC,EACvC,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,KAAuC,EACvC,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,KAAuC,EACvC,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,eAAe,CAAC,CAAC;QAEnF,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"}
@@ -100,6 +100,8 @@ export interface ConstraintContext {
100
100
  taskDescription?: string;
101
101
  /** 项目路径 */
102
102
  projectPath?: string;
103
+ /** 会话 ID(用于追踪同一会话的多次检查) */
104
+ sessionId?: string;
103
105
  /** 变更的文件列表 */
104
106
  changedFiles?: string[];
105
107
  /** 提交信息 */
@@ -1 +1 @@
1
- {"version":3,"file":"constraint.d.ts","sourceRoot":"","sources":["../../src/types/constraint.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC;AAElC;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,WAAW,GAAG,KAAK,CAAC;AAE/D;;GAEG;AACH,MAAM,MAAM,iBAAiB,GACzB,iBAAiB,GACjB,uBAAuB,GACvB,gBAAgB,GAChB,qBAAqB,GACrB,eAAe,GACf,oBAAoB,GACpB,gBAAgB,GAChB,eAAe,GACf,eAAe,GACf,mBAAmB,GACnB,iBAAiB,GACjB,qBAAqB,GACrB,iBAAiB,GACjB,kBAAkB,GAClB,qBAAqB,GACrB,YAAY,GACZ,eAAe,GACf,eAAe,GACf,mBAAmB,GACnB,eAAe,GACf,QAAQ,GACR,MAAM,GACN,OAAO,CAAC;AAEZ;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,YAAY;IACZ,EAAE,EAAE,YAAY,CAAC;IAEjB,eAAe;IACf,IAAI,EAAE,MAAM,CAAC;IAEb,eAAe;IACf,OAAO,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,KAAK,EAAE,eAAe,CAAC;IAEvB,yBAAyB;IACzB,OAAO,EAAE,iBAAiB,GAAG,iBAAiB,EAAE,CAAC;IAEjD,iBAAiB;IACjB,WAAW,EAAE,MAAM,CAAC;IAEpB,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,4BAA4B;IAC5B,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAMD;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,YAAY,CAAC;AAErC;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAE3D;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,iBAAiB,CAAC;AAE/C;;GAEG;AACH,MAAM,WAAW,OAAQ,SAAQ,UAAU;IACzC,8BAA8B;IAC9B,QAAQ,CAAC,EAAE,eAAe,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,YAAY;IACZ,EAAE,EAAE,YAAY,CAAC;IAEjB,WAAW;IACX,KAAK,EAAE,eAAe,CAAC;IAEvB,WAAW;IACX,SAAS,EAAE,OAAO,CAAC;IAEnB,WAAW;IACX,UAAU,CAAC,EAAE,UAAU,CAAC;IAExB,SAAS;IACT,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,WAAW;IACX,cAAc,CAAC,EAAE,MAAM,CAAC;IAExB,WAAW;IACX,SAAS,EAAE,IAAI,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,aAAc,SAAQ,gBAAgB;IACrD,kBAAkB;IAClB,GAAG,CAAC,EAAE,UAAU,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,aAAa;IACb,SAAS,EAAE,iBAAiB,CAAC;IAE7B,aAAa;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,YAAY;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,cAAc;IACd,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IAExB,WAAW;IACX,aAAa,CAAC,EAAE,MAAM,CAAC;IAEvB,WAAW;IACX,MAAM,CAAC,EAAE,MAAM,CAAC;IAMhB,gBAAgB;IAChB,yBAAyB,CAAC,EAAE,OAAO,CAAC;IAEpC,cAAc;IACd,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAElC,YAAY;IACZ,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,eAAe;IACf,cAAc,CAAC,EAAE,OAAO,CAAC;IAEzB,gBAAgB;IAChB,aAAa,CAAC,EAAE,OAAO,CAAC;IAExB,aAAa;IACb,gBAAgB,CAAC,EAAE;QACjB,oBAAoB,EAAE,MAAM,EAAE,CAAC;QAC/B,QAAQ,EAAE,OAAO,CAAC;QAClB,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC;IAOF,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAG9B,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,eAAe,CAAC,EAAE,OAAO,CAAC;IAG1B,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAGjC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAG5B,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,yBAAyB,CAAC,EAAE,OAAO,CAAC;IAGpC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAE9B,aAAa;IACb,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,YAAY;IACZ,gBAAgB,CAAC,EAAE,GAAG,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,iBAAiB,CAAC;AAE/C;;GAEG;AACH,qBAAa,wBAAyB,SAAQ,KAAK;IACjD,SAAgB,MAAM,EAAE,gBAAgB,CAAC;gBAE7B,MAAM,EAAE,gBAAgB;CAKrC;AAED;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,wBAAwB;gBACrD,MAAM,EAAE,gBAAgB;CAIrC;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,qBAAqB;IACrB,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAE7B,uBAAuB;IACvB,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAE/B,kBAAkB;IAClB,IAAI,EAAE,gBAAgB,EAAE,CAAC;IAEzB,mBAAmB;IACnB,MAAM,EAAE,OAAO,CAAC;IAEhB,WAAW;IACX,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,QAAQ,EAAE,MAAM,CAAC;CAClB"}
1
+ {"version":3,"file":"constraint.d.ts","sourceRoot":"","sources":["../../src/types/constraint.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC;AAElC;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,WAAW,GAAG,KAAK,CAAC;AAE/D;;GAEG;AACH,MAAM,MAAM,iBAAiB,GACzB,iBAAiB,GACjB,uBAAuB,GACvB,gBAAgB,GAChB,qBAAqB,GACrB,eAAe,GACf,oBAAoB,GACpB,gBAAgB,GAChB,eAAe,GACf,eAAe,GACf,mBAAmB,GACnB,iBAAiB,GACjB,qBAAqB,GACrB,iBAAiB,GACjB,kBAAkB,GAClB,qBAAqB,GACrB,YAAY,GACZ,eAAe,GACf,eAAe,GACf,mBAAmB,GACnB,eAAe,GACf,QAAQ,GACR,MAAM,GACN,OAAO,CAAC;AAEZ;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,YAAY;IACZ,EAAE,EAAE,YAAY,CAAC;IAEjB,eAAe;IACf,IAAI,EAAE,MAAM,CAAC;IAEb,eAAe;IACf,OAAO,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,KAAK,EAAE,eAAe,CAAC;IAEvB,yBAAyB;IACzB,OAAO,EAAE,iBAAiB,GAAG,iBAAiB,EAAE,CAAC;IAEjD,iBAAiB;IACjB,WAAW,EAAE,MAAM,CAAC;IAEpB,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,4BAA4B;IAC5B,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAMD;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,YAAY,CAAC;AAErC;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAE3D;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,iBAAiB,CAAC;AAE/C;;GAEG;AACH,MAAM,WAAW,OAAQ,SAAQ,UAAU;IACzC,8BAA8B;IAC9B,QAAQ,CAAC,EAAE,eAAe,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,YAAY;IACZ,EAAE,EAAE,YAAY,CAAC;IAEjB,WAAW;IACX,KAAK,EAAE,eAAe,CAAC;IAEvB,WAAW;IACX,SAAS,EAAE,OAAO,CAAC;IAEnB,WAAW;IACX,UAAU,CAAC,EAAE,UAAU,CAAC;IAExB,SAAS;IACT,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,WAAW;IACX,cAAc,CAAC,EAAE,MAAM,CAAC;IAExB,WAAW;IACX,SAAS,EAAE,IAAI,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,aAAc,SAAQ,gBAAgB;IACrD,kBAAkB;IAClB,GAAG,CAAC,EAAE,UAAU,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,aAAa;IACb,SAAS,EAAE,iBAAiB,CAAC;IAE7B,aAAa;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,YAAY;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,2BAA2B;IAC3B,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,cAAc;IACd,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IAExB,WAAW;IACX,aAAa,CAAC,EAAE,MAAM,CAAC;IAEvB,WAAW;IACX,MAAM,CAAC,EAAE,MAAM,CAAC;IAMhB,gBAAgB;IAChB,yBAAyB,CAAC,EAAE,OAAO,CAAC;IAEpC,cAAc;IACd,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAElC,YAAY;IACZ,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,eAAe;IACf,cAAc,CAAC,EAAE,OAAO,CAAC;IAEzB,gBAAgB;IAChB,aAAa,CAAC,EAAE,OAAO,CAAC;IAExB,aAAa;IACb,gBAAgB,CAAC,EAAE;QACjB,oBAAoB,EAAE,MAAM,EAAE,CAAC;QAC/B,QAAQ,EAAE,OAAO,CAAC;QAClB,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC;IAOF,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAG9B,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,eAAe,CAAC,EAAE,OAAO,CAAC;IAG1B,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAGjC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAG5B,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,yBAAyB,CAAC,EAAE,OAAO,CAAC;IAGpC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAE9B,aAAa;IACb,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,YAAY;IACZ,gBAAgB,CAAC,EAAE,GAAG,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,iBAAiB,CAAC;AAE/C;;GAEG;AACH,qBAAa,wBAAyB,SAAQ,KAAK;IACjD,SAAgB,MAAM,EAAE,gBAAgB,CAAC;gBAE7B,MAAM,EAAE,gBAAgB;CAKrC;AAED;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,wBAAwB;gBACrD,MAAM,EAAE,gBAAgB;CAIrC;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,qBAAqB;IACrB,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAE7B,uBAAuB;IACvB,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAE/B,kBAAkB;IAClB,IAAI,EAAE,gBAAgB,EAAE,CAAC;IAEzB,mBAAmB;IACnB,MAAM,EAAE,OAAO,CAAC;IAEhB,WAAW;IACX,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,QAAQ,EAAE,MAAM,CAAC;CAClB"}
@@ -1 +1 @@
1
- {"version":3,"file":"constraint.js","sourceRoot":"","sources":["../../src/types/constraint.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AA2OH;;GAEG;AACH,MAAa,wBAAyB,SAAQ,KAAK;IACjC,MAAM,CAAmB;IAEzC,YAAY,MAAwB;QAClC,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI,sBAAsB,CAAC,CAAC;QAChD,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;QACvC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AARD,4DAQC;AAED;;GAEG;AACH,MAAa,qBAAsB,SAAQ,wBAAwB;IACjE,YAAY,MAAwB;QAClC,KAAK,CAAC,MAAM,CAAC,CAAC;QACd,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;IACtC,CAAC;CACF;AALD,sDAKC"}
1
+ {"version":3,"file":"constraint.js","sourceRoot":"","sources":["../../src/types/constraint.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AA8OH;;GAEG;AACH,MAAa,wBAAyB,SAAQ,KAAK;IACjC,MAAM,CAAmB;IAEzC,YAAY,MAAwB;QAClC,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI,sBAAsB,CAAC,CAAC;QAChD,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;QACvC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AARD,4DAQC;AAED;;GAEG;AACH,MAAa,qBAAsB,SAAQ,wBAAwB;IACjE,YAAY,MAAwB;QAClC,KAAK,CAAC,MAAM,CAAC,CAAC;QACd,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;IACtC,CAAC;CACF;AALD,sDAKC"}
@@ -5,6 +5,9 @@ export * from './constraint';
5
5
  export * from './checkpoint';
6
6
  export * from './passes-gate';
7
7
  export * from './cso';
8
+ export * from './trace';
9
+ export type { Diagnosis } from '../monitoring/constraint-doctor';
10
+ export type { ConstraintProposal, ProposalReviewResult, } from '../monitoring/constraint-evolver';
8
11
  export { StartupCheckpoints, StartupCheckpointType, StartupCheckpointResult, CleanStateConfig, CleanStateResult, DetectedBug, TaskListJson, TaskStepStatus, SessionInfo, } from './session';
9
12
  export { DynamicTask as ExtendedDynamicTask, TaskTestResult as ExtendedTaskTestResult } from './session';
10
13
  //# sourceMappingURL=index.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,cAAc,cAAc,CAAC;AAE7B,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,OAAO,CAAC;AAGtB,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,uBAAuB,EACvB,gBAAgB,EAChB,gBAAgB,EAChB,WAAW,EACX,YAAY,EACZ,cAAc,EACd,WAAW,GACZ,MAAM,WAAW,CAAC;AAGnB,OAAO,EAAE,WAAW,IAAI,mBAAmB,EAAE,cAAc,IAAI,sBAAsB,EAAE,MAAM,WAAW,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,cAAc,cAAc,CAAC;AAE7B,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,OAAO,CAAC;AAGtB,cAAc,SAAS,CAAC;AAGxB,YAAY,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,YAAY,EACV,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,uBAAuB,EACvB,gBAAgB,EAChB,gBAAgB,EAChB,WAAW,EACX,YAAY,EACZ,cAAc,EACd,WAAW,GACZ,MAAM,WAAW,CAAC;AAGnB,OAAO,EAAE,WAAW,IAAI,mBAAmB,EAAE,cAAc,IAAI,sBAAsB,EAAE,MAAM,WAAW,CAAC"}
@@ -22,4 +22,6 @@ __exportStar(require("./constraint"), exports);
22
22
  __exportStar(require("./checkpoint"), exports);
23
23
  __exportStar(require("./passes-gate"), exports);
24
24
  __exportStar(require("./cso"), exports);
25
+ // Trace 类型(Execution Trace 系统)
26
+ __exportStar(require("./trace"), exports);
25
27
  //# sourceMappingURL=index.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;AAEH,aAAa;AACb,+CAA6B;AAE7B,+CAA6B;AAC7B,gDAA8B;AAC9B,wCAAsB"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;AAEH,aAAa;AACb,+CAA6B;AAE7B,+CAA6B;AAC7B,gDAA8B;AAC9B,wCAAsB;AAEtB,+BAA+B;AAC/B,0CAAwB"}
@@ -0,0 +1,151 @@
1
+ /**
2
+ * Execution Trace 类型定义
3
+ *
4
+ * 轻量设计:只记录核心信息,零 Token 成本
5
+ */
6
+ /**
7
+ * 约束执行 Trace
8
+ *
9
+ * 设计原则:
10
+ * - 只记录核心字段(零 Token)
11
+ * - 不记录代码片段(需要时从 git diff 获取)
12
+ * - 不记录决策路径(需要时从 execution logs 获取)
13
+ */
14
+ export interface ExecutionTrace {
15
+ /** 约束 ID */
16
+ constraintId: string;
17
+ /** 约束层级 */
18
+ level: 'iron_law' | 'guideline' | 'tip';
19
+ /** 检查时间(Unix timestamp) */
20
+ timestamp: number;
21
+ /** 检查结果 */
22
+ result: 'pass' | 'fail' | 'bypassed';
23
+ /** 操作类型(触发条件) */
24
+ operation?: string;
25
+ /** 严重性(从约束定义继承) */
26
+ severity?: 'error' | 'warning' | 'info';
27
+ /** 例外类型(如果适用了例外) */
28
+ exceptionApplied?: string;
29
+ /** 项目路径(用于区分多项目) */
30
+ projectPath?: string;
31
+ /** 会话 ID(用于追踪同一会话的多次检查) */
32
+ sessionId?: string;
33
+ /** 用户如何响应失败 */
34
+ userAction?: 'bypass' | 'fix' | 'ignore' | 'request_help';
35
+ /** 用户绕过理由(如果用户绕过) */
36
+ bypassReason?: string;
37
+ }
38
+ /**
39
+ * Trace 统计汇总
40
+ *
41
+ * 纯计算结果,零 Token 成本
42
+ */
43
+ export interface TraceSummary {
44
+ /** 约束 ID */
45
+ constraintId: string;
46
+ /** 约束层级 */
47
+ level: 'iron_law' | 'guideline' | 'tip';
48
+ /** 统计时间范围 */
49
+ timeRange: {
50
+ start: number;
51
+ end: number;
52
+ };
53
+ /** 总检查次数 */
54
+ totalChecks: number;
55
+ /** 通过次数 */
56
+ passCount: number;
57
+ /** 失败次数 */
58
+ failCount: number;
59
+ /** 绕过次数 */
60
+ bypassCount: number;
61
+ /** 用户忽略次数 */
62
+ ignoreCount: number;
63
+ /** 通过率 (0-1) */
64
+ passRate: number;
65
+ /** 失败率 (0-1) */
66
+ failRate: number;
67
+ /** 绕过率 (0-1) */
68
+ bypassRate: number;
69
+ /** 最近趋势 */
70
+ recentTrend: 'stable' | 'rising' | 'falling';
71
+ /** 对比上一周期的变化 */
72
+ changeFromLastPeriod?: {
73
+ passRateDelta: number;
74
+ failRateDelta: number;
75
+ bypassRateDelta: number;
76
+ };
77
+ /** 例外应用次数 */
78
+ exceptionCount: number;
79
+ /** 最常见例外 */
80
+ mostCommonException?: string;
81
+ }
82
+ /**
83
+ * 异常检测结果
84
+ */
85
+ export interface TraceAnomaly {
86
+ /** 异常类型 */
87
+ type: 'high_bypass_rate' | 'rising_fail_rate' | 'rising_bypass_rate' | 'low_pass_rate' | 'exception_overuse';
88
+ /** 约束 ID */
89
+ constraintId: string;
90
+ /** 约束层级 */
91
+ level: 'iron_law' | 'guideline' | 'tip';
92
+ /** 异常描述 */
93
+ message: string;
94
+ /** 相关数据 */
95
+ data: {
96
+ currentRate: number;
97
+ threshold: number;
98
+ trend?: 'rising' | 'falling' | 'stable';
99
+ };
100
+ /** 检测时间 */
101
+ detectedAt: number;
102
+ /** 建议的下一步 */
103
+ suggestedAction?: 'diagnose' | 'adjust_threshold' | 'add_exception' | 'notify_user';
104
+ }
105
+ /**
106
+ * Trace 过滤条件
107
+ */
108
+ export interface TraceFilter {
109
+ /** 约束 ID(可选,不指定则查全部) */
110
+ constraintId?: string;
111
+ /** 约束层级(可选) */
112
+ level?: 'iron_law' | 'guideline' | 'tip';
113
+ /** 结果类型(可选) */
114
+ result?: 'pass' | 'fail' | 'bypassed';
115
+ /** 时间范围(可选) */
116
+ timeRange?: {
117
+ start: number;
118
+ end: number;
119
+ };
120
+ /** 项目路径(可选) */
121
+ projectPath?: string;
122
+ /** 会话 ID(可选) */
123
+ sessionId?: string;
124
+ }
125
+ /**
126
+ * Trace 收集器配置
127
+ */
128
+ export interface TraceCollectorConfig {
129
+ /** Trace 文件路径 */
130
+ traceFile?: string;
131
+ /** 最大文件大小(字节),超出则滚动 */
132
+ maxFileSize?: number;
133
+ /** 是否启用(默认 true) */
134
+ enabled?: boolean;
135
+ }
136
+ /**
137
+ * 分析器配置
138
+ */
139
+ export interface TraceAnalyzerConfig {
140
+ /** Summary 文件路径 */
141
+ summaryFile?: string;
142
+ /** 周期长度(毫秒),默认 1 小时 */
143
+ periodMs?: number;
144
+ /** 异常阈值 */
145
+ thresholds?: {
146
+ bypassRate?: number;
147
+ failRate?: number;
148
+ exceptionRate?: number;
149
+ };
150
+ }
151
+ //# sourceMappingURL=trace.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"trace.d.ts","sourceRoot":"","sources":["../../src/types/trace.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc;IAK7B,YAAY;IACZ,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,KAAK,EAAE,UAAU,GAAG,WAAW,GAAG,KAAK,CAAC;IAExC,2BAA2B;IAC3B,SAAS,EAAE,MAAM,CAAC;IAElB,WAAW;IACX,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU,CAAC;IAMrC,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,KAAK,CAAC;IAExC,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,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,KAAK,CAAC;IAExC,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,KAAK,CAAC;IAEzC,eAAe;IACf,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU,CAAC;IAEtC,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"}
@@ -0,0 +1,8 @@
1
+ "use strict";
2
+ /**
3
+ * Execution Trace 类型定义
4
+ *
5
+ * 轻量设计:只记录核心信息,零 Token 成本
6
+ */
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ //# sourceMappingURL=trace.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"trace.js","sourceRoot":"","sources":["../../src/types/trace.ts"],"names":[],"mappings":";AAAA;;;;GAIG"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@dommaker/harness",
3
- "version": "0.2.0",
3
+ "version": "0.3.0",
4
4
  "description": "通用工程约束框架 - 铁律系统、检查点验证、测试门控",
5
5
  "keywords": [
6
6
  "harness",