@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.
- package/README.md +134 -1
- package/dist/cli/commands/diagnose.d.ts +16 -0
- package/dist/cli/commands/diagnose.d.ts.map +1 -0
- package/dist/cli/commands/diagnose.js +195 -0
- package/dist/cli/commands/diagnose.js.map +1 -0
- package/dist/cli/commands/index.d.ts +3 -0
- package/dist/cli/commands/index.d.ts.map +1 -1
- package/dist/cli/commands/index.js +7 -1
- package/dist/cli/commands/index.js.map +1 -1
- package/dist/cli/commands/propose.d.ts +18 -0
- package/dist/cli/commands/propose.d.ts.map +1 -0
- package/dist/cli/commands/propose.js +331 -0
- package/dist/cli/commands/propose.js.map +1 -0
- package/dist/cli/commands/traces.d.ts +15 -0
- package/dist/cli/commands/traces.d.ts.map +1 -0
- package/dist/cli/commands/traces.js +167 -0
- package/dist/cli/commands/traces.js.map +1 -0
- package/dist/core/constraints/checker.d.ts +4 -0
- package/dist/core/constraints/checker.d.ts.map +1 -1
- package/dist/core/constraints/checker.js +54 -0
- package/dist/core/constraints/checker.js.map +1 -1
- package/dist/core/validators/checkpoint.d.ts +13 -1
- package/dist/core/validators/checkpoint.d.ts.map +1 -1
- package/dist/core/validators/checkpoint.js +51 -0
- package/dist/core/validators/checkpoint.js.map +1 -1
- package/dist/index.d.ts +1 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +4 -0
- package/dist/index.js.map +1 -1
- package/dist/monitoring/constraint-doctor.d.ts +130 -0
- package/dist/monitoring/constraint-doctor.d.ts.map +1 -0
- package/dist/monitoring/constraint-doctor.js +305 -0
- package/dist/monitoring/constraint-doctor.js.map +1 -0
- package/dist/monitoring/constraint-evolver.d.ts +174 -0
- package/dist/monitoring/constraint-evolver.d.ts.map +1 -0
- package/dist/monitoring/constraint-evolver.js +412 -0
- package/dist/monitoring/constraint-evolver.js.map +1 -0
- package/dist/monitoring/index.d.ts +14 -0
- package/dist/monitoring/index.d.ts.map +1 -0
- package/dist/monitoring/index.js +30 -0
- package/dist/monitoring/index.js.map +1 -0
- package/dist/monitoring/trace-analyzer.d.ts +100 -0
- package/dist/monitoring/trace-analyzer.d.ts.map +1 -0
- package/dist/monitoring/trace-analyzer.js +432 -0
- package/dist/monitoring/trace-analyzer.js.map +1 -0
- package/dist/monitoring/traces.d.ts +111 -0
- package/dist/monitoring/traces.d.ts.map +1 -0
- package/dist/monitoring/traces.js +312 -0
- package/dist/monitoring/traces.js.map +1 -0
- package/dist/types/constraint.d.ts +2 -0
- package/dist/types/constraint.d.ts.map +1 -1
- package/dist/types/constraint.js.map +1 -1
- package/dist/types/index.d.ts +3 -0
- package/dist/types/index.d.ts.map +1 -1
- package/dist/types/index.js +2 -0
- package/dist/types/index.js.map +1 -1
- package/dist/types/trace.d.ts +151 -0
- package/dist/types/trace.d.ts.map +1 -0
- package/dist/types/trace.js +8 -0
- package/dist/types/trace.js.map +1 -0
- package/package.json +1 -1
|
@@ -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"}
|
|
@@ -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;;;
|
|
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"}
|
package/dist/types/index.d.ts
CHANGED
|
@@ -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"}
|
package/dist/types/index.js
CHANGED
|
@@ -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
|
package/dist/types/index.js.map
CHANGED
|
@@ -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 @@
|
|
|
1
|
+
{"version":3,"file":"trace.js","sourceRoot":"","sources":["../../src/types/trace.ts"],"names":[],"mappings":";AAAA;;;;GAIG"}
|