pi-codex-auto-review 0.1.3 → 0.2.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 (128) hide show
  1. package/NOTICE +4 -2
  2. package/README.ko.md +85 -0
  3. package/README.md +51 -52
  4. package/dist/approval-commands.d.ts +3 -3
  5. package/dist/approval-commands.js +161 -34
  6. package/dist/approval-commands.js.map +1 -1
  7. package/dist/approval-settings.d.ts +1 -1
  8. package/dist/approval-settings.js +17 -10
  9. package/dist/approval-settings.js.map +1 -1
  10. package/dist/approvals.d.ts +10 -9
  11. package/dist/approvals.js +196 -75
  12. package/dist/approvals.js.map +1 -1
  13. package/dist/audit.d.ts +1 -1
  14. package/dist/audit.js +37 -13
  15. package/dist/audit.js.map +1 -1
  16. package/dist/cli.js +63 -34
  17. package/dist/cli.js.map +1 -1
  18. package/dist/context-files.d.ts +2 -2
  19. package/dist/context-files.js +40 -19
  20. package/dist/context-files.js.map +1 -1
  21. package/dist/contracts.d.ts +39 -39
  22. package/dist/contracts.js +117 -51
  23. package/dist/contracts.js.map +1 -1
  24. package/dist/index.d.ts +9 -9
  25. package/dist/index.js +147 -43
  26. package/dist/index.js.map +1 -1
  27. package/dist/pi-host.js +3 -3
  28. package/dist/pi-host.js.map +1 -1
  29. package/dist/policy/domains.js +17 -7
  30. package/dist/policy/domains.js.map +1 -1
  31. package/dist/policy/index.d.ts +7 -7
  32. package/dist/policy/index.js +382 -139
  33. package/dist/policy/index.js.map +1 -1
  34. package/dist/policy/paths.js +31 -18
  35. package/dist/policy/paths.js.map +1 -1
  36. package/dist/policy/rule-engine.d.ts +2 -0
  37. package/dist/policy/rule-engine.js +283 -0
  38. package/dist/policy/rule-engine.js.map +1 -0
  39. package/dist/policy/rule-types.d.ts +30 -0
  40. package/dist/policy/rule-types.js +2 -0
  41. package/dist/policy/rule-types.js.map +1 -0
  42. package/dist/policy/rules-sync.d.ts +1 -0
  43. package/dist/policy/rules-sync.js +14 -0
  44. package/dist/policy/rules-sync.js.map +1 -0
  45. package/dist/policy/rules-worker.d.ts +1 -0
  46. package/dist/policy/rules-worker.js +14 -0
  47. package/dist/policy/rules-worker.js.map +1 -0
  48. package/dist/policy/rules.d.ts +4 -31
  49. package/dist/policy/rules.js +126 -38
  50. package/dist/policy/rules.js.map +1 -1
  51. package/dist/policy/shell.js +70 -41
  52. package/dist/policy/shell.js.map +1 -1
  53. package/dist/policy/starlark/builtins.d.ts +6 -0
  54. package/dist/policy/starlark/builtins.js +764 -0
  55. package/dist/policy/starlark/builtins.js.map +1 -0
  56. package/dist/policy/starlark/evaluator.d.ts +18 -0
  57. package/dist/policy/starlark/evaluator.js +518 -0
  58. package/dist/policy/starlark/evaluator.js.map +1 -0
  59. package/dist/policy/starlark/lexer.d.ts +14 -0
  60. package/dist/policy/starlark/lexer.js +189 -0
  61. package/dist/policy/starlark/lexer.js.map +1 -0
  62. package/dist/policy/starlark/parser.d.ts +140 -0
  63. package/dist/policy/starlark/parser.js +508 -0
  64. package/dist/policy/starlark/parser.js.map +1 -0
  65. package/dist/policy/starlark/validation.d.ts +4 -0
  66. package/dist/policy/starlark/validation.js +183 -0
  67. package/dist/policy/starlark/validation.js.map +1 -0
  68. package/dist/policy/starlark/values.d.ts +46 -0
  69. package/dist/policy/starlark/values.js +363 -0
  70. package/dist/policy/starlark/values.js.map +1 -0
  71. package/dist/reports.d.ts +1 -1
  72. package/dist/reports.js +66 -30
  73. package/dist/reports.js.map +1 -1
  74. package/dist/review/context.d.ts +16 -3
  75. package/dist/review/context.js +254 -48
  76. package/dist/review/context.js.map +1 -1
  77. package/dist/review/investigation.d.ts +2 -2
  78. package/dist/review/investigation.js +57 -16
  79. package/dist/review/investigation.js.map +1 -1
  80. package/dist/review/lifecycle.d.ts +1 -1
  81. package/dist/review/lifecycle.js +72 -29
  82. package/dist/review/lifecycle.js.map +1 -1
  83. package/dist/review/policy.js +27 -5
  84. package/dist/review/policy.js.map +1 -1
  85. package/dist/review/upstream-policy.js +1 -1
  86. package/dist/review/upstream-policy.js.map +1 -1
  87. package/dist/review/user-input.d.ts +5 -0
  88. package/dist/review/user-input.js +54 -0
  89. package/dist/review/user-input.js.map +1 -0
  90. package/dist/reviewer.d.ts +16 -6
  91. package/dist/reviewer.js +258 -70
  92. package/dist/reviewer.js.map +1 -1
  93. package/dist/signals.js +24 -9
  94. package/dist/signals.js.map +1 -1
  95. package/dist/startup.d.ts +4 -4
  96. package/dist/startup.js +139 -41
  97. package/dist/startup.js.map +1 -1
  98. package/dist/tools/controller.d.ts +19 -13
  99. package/dist/tools/controller.js +460 -118
  100. package/dist/tools/controller.js.map +1 -1
  101. package/dist/tools/environment.d.ts +1 -0
  102. package/dist/tools/environment.js +5 -0
  103. package/dist/tools/environment.js.map +1 -1
  104. package/dist/tools/executor.d.ts +1 -1
  105. package/dist/tools/executor.js +45 -28
  106. package/dist/tools/executor.js.map +1 -1
  107. package/dist/tools/external.d.ts +9 -8
  108. package/dist/tools/external.js +22 -11
  109. package/dist/tools/external.js.map +1 -1
  110. package/dist/tools/mcp.d.ts +6 -6
  111. package/dist/tools/mcp.js +208 -79
  112. package/dist/tools/mcp.js.map +1 -1
  113. package/dist/tools/mutation-queue.js.map +1 -1
  114. package/docs/publishing.ko.md +114 -0
  115. package/docs/publishing.md +49 -47
  116. package/docs/security/dependencies.ko.md +54 -0
  117. package/docs/security/dependencies.md +27 -26
  118. package/docs/testing/auto-review-protection.ko.md +158 -0
  119. package/docs/testing/auto-review-protection.md +105 -97
  120. package/docs/usage.ko.md +242 -0
  121. package/docs/usage.md +127 -111
  122. package/package.json +106 -95
  123. package/dist/native/darwin-arm64/artifact.json +0 -5
  124. package/dist/native/darwin-arm64/pi-guard-execpolicy +0 -0
  125. package/dist/native/linux-x64/artifact.json +0 -5
  126. package/dist/native/linux-x64/pi-guard-execpolicy +0 -0
  127. package/native/execpolicy/LICENSE +0 -201
  128. package/native/execpolicy/NOTICE +0 -6
@@ -0,0 +1,508 @@
1
+ import { lex } from "./lexer.js";
2
+ const precedence = {
3
+ or: 1,
4
+ and: 2,
5
+ "==": 4,
6
+ "!=": 4,
7
+ "<": 4,
8
+ "<=": 4,
9
+ ">": 4,
10
+ ">=": 4,
11
+ in: 4,
12
+ "not in": 4,
13
+ "|": 5,
14
+ "^": 6,
15
+ "&": 7,
16
+ "<<": 8,
17
+ ">>": 8,
18
+ "+": 9,
19
+ "-": 9,
20
+ "*": 10,
21
+ "/": 10,
22
+ "//": 10,
23
+ "%": 10,
24
+ };
25
+ const reserved = new Set([
26
+ "and",
27
+ "or",
28
+ "not",
29
+ "in",
30
+ "if",
31
+ "else",
32
+ "elif",
33
+ "for",
34
+ "def",
35
+ "return",
36
+ "break",
37
+ "continue",
38
+ "pass",
39
+ "lambda",
40
+ "True",
41
+ "False",
42
+ "None",
43
+ "load",
44
+ "while",
45
+ "class",
46
+ "try",
47
+ "import",
48
+ "yield",
49
+ "await",
50
+ "async",
51
+ "del",
52
+ "global",
53
+ "nonlocal",
54
+ "raise",
55
+ "assert",
56
+ ]);
57
+ export class Parser {
58
+ budget;
59
+ index = 0;
60
+ depth = 0;
61
+ tokens;
62
+ constructor(source, budget) {
63
+ this.budget = budget;
64
+ this.tokens = lex(source, budget);
65
+ }
66
+ peek() {
67
+ return this.tokens[this.index];
68
+ }
69
+ at(text) {
70
+ return this.peek().text === text;
71
+ }
72
+ take() {
73
+ this.budget.tick();
74
+ return this.tokens[this.index++];
75
+ }
76
+ eat(text) {
77
+ if (!this.at(text))
78
+ return false;
79
+ this.take();
80
+ return true;
81
+ }
82
+ expect(text) {
83
+ if (!this.eat(text))
84
+ this.fail(`Expected ${text}`);
85
+ }
86
+ fail(message) {
87
+ throw new Error(`${message} at line ${this.peek()?.line ?? "end"}`);
88
+ }
89
+ name() {
90
+ if (this.peek().kind !== "name" || reserved.has(this.peek().text))
91
+ this.fail("Expected an identifier");
92
+ return this.take().text;
93
+ }
94
+ program(until = "eof") {
95
+ const result = [];
96
+ while (this.peek().kind !== until) {
97
+ if (this.peek().kind === "eof")
98
+ this.fail("Unclosed block");
99
+ if (this.peek().kind === "newline") {
100
+ this.take();
101
+ continue;
102
+ }
103
+ result.push(...this.statement());
104
+ }
105
+ return result;
106
+ }
107
+ block() {
108
+ this.expect(":");
109
+ if (this.peek().kind !== "newline")
110
+ return this.simpleLine();
111
+ this.take();
112
+ if (this.peek().kind !== "indent")
113
+ this.fail("Expected an indented block");
114
+ this.take();
115
+ if (++this.depth > 128)
116
+ this.fail("Rule nesting exceeded its depth budget");
117
+ const body = this.program("dedent");
118
+ this.take();
119
+ this.depth--;
120
+ return body;
121
+ }
122
+ statement() {
123
+ if (this.eat("def")) {
124
+ const name = this.name();
125
+ this.expect("(");
126
+ const parameters = this.parameters(")");
127
+ this.expect(")");
128
+ const annotation = this.eat("->") ? this.expression() : undefined;
129
+ return [
130
+ {
131
+ kind: "def",
132
+ name,
133
+ parameters,
134
+ annotation,
135
+ body: this.block(),
136
+ },
137
+ ];
138
+ }
139
+ if (this.eat("if")) {
140
+ const branches = [
141
+ { condition: this.expression(), body: this.block() },
142
+ ];
143
+ while (this.eat("elif"))
144
+ branches.push({
145
+ condition: this.expression(),
146
+ body: this.block(),
147
+ });
148
+ return [
149
+ {
150
+ kind: "if",
151
+ branches,
152
+ otherwise: this.eat("else") ? this.block() : [],
153
+ },
154
+ ];
155
+ }
156
+ if (this.eat("for")) {
157
+ const target = this.target();
158
+ this.expect("in");
159
+ const iterable = this.tuple();
160
+ return [{ kind: "for", target, iterable, body: this.block() }];
161
+ }
162
+ return this.simpleLine();
163
+ }
164
+ simpleLine() {
165
+ const statements = [];
166
+ do {
167
+ if (this.peek().kind === "newline")
168
+ break;
169
+ if (this.eat("return"))
170
+ statements.push({
171
+ kind: "return",
172
+ value: this.isEnd() ? undefined : this.tuple(),
173
+ });
174
+ else if (["break", "continue", "pass"].includes(this.peek().text)) {
175
+ const kind = this.take().text;
176
+ statements.push({ kind });
177
+ }
178
+ else {
179
+ const first = this.tuple();
180
+ if ([
181
+ "=",
182
+ "+=",
183
+ "-=",
184
+ "*=",
185
+ "/=",
186
+ "//=",
187
+ "%=",
188
+ "|=",
189
+ "&=",
190
+ "^=",
191
+ "<<=",
192
+ ">>=",
193
+ ].includes(this.peek().text)) {
194
+ const op = this.take().text, targets = [first];
195
+ const value = this.tuple();
196
+ if (this.at("="))
197
+ this.fail("Chained assignments are not supported in Starlark");
198
+ statements.push({ kind: "assign", targets, value, op });
199
+ }
200
+ else
201
+ statements.push({ kind: "expression", value: first });
202
+ }
203
+ } while (this.eat(";"));
204
+ if (this.peek().kind !== "newline")
205
+ this.fail("Expected end of statement");
206
+ this.take();
207
+ return statements;
208
+ }
209
+ isEnd() {
210
+ return (this.peek().kind === "newline" ||
211
+ [";", ")", "]", "}", ":"].includes(this.peek().text));
212
+ }
213
+ tuple(min = 0) {
214
+ const first = this.expression(min);
215
+ if (!this.eat(","))
216
+ return first;
217
+ const items = [first];
218
+ while (!this.isEnd() && !this.at("in")) {
219
+ items.push(this.expression(min));
220
+ if (!this.eat(","))
221
+ break;
222
+ }
223
+ return { kind: "tuple", items };
224
+ }
225
+ target() {
226
+ return this.tuple(5);
227
+ }
228
+ parameters(end) {
229
+ const parameters = [];
230
+ let isKeyword = false, hasDefault = false;
231
+ while (!this.at(end)) {
232
+ let mode = isKeyword ? "keyword" : "normal";
233
+ if (this.eat("**"))
234
+ mode = "keywords";
235
+ else if (this.eat("*")) {
236
+ isKeyword = true;
237
+ mode = "rest";
238
+ if (this.eat(","))
239
+ continue;
240
+ }
241
+ const name = this.name();
242
+ if (parameters.some((parameter) => parameter.name === name))
243
+ this.fail("Duplicate parameter");
244
+ const annotation = end === ")" && this.eat(":") ? this.expression() : undefined;
245
+ const value = this.eat("=") ? this.expression() : undefined;
246
+ if (mode === "normal" && hasDefault && !value)
247
+ this.fail("Required parameter follows a default");
248
+ if (value && ["rest", "keywords"].includes(mode))
249
+ this.fail("Variadic parameter cannot have a default");
250
+ if (mode === "normal" && value)
251
+ hasDefault = true;
252
+ parameters.push({ name, mode, value, annotation });
253
+ if (mode === "keywords" && this.eat(",") && !this.at(end))
254
+ this.fail("Parameter follows **kwargs");
255
+ if (mode === "keywords" || !this.eat(","))
256
+ break;
257
+ }
258
+ return parameters;
259
+ }
260
+ expression(min = 0) {
261
+ if (++this.depth > 128)
262
+ this.fail("Rule expression exceeded its depth budget");
263
+ let left, hasComparison = false;
264
+ if (this.eat("lambda")) {
265
+ const parameters = this.parameters(":");
266
+ this.expect(":");
267
+ left = { kind: "lambda", parameters, value: this.expression() };
268
+ }
269
+ else if (["not", "+", "-", "~"].includes(this.peek().text)) {
270
+ const op = this.take().text;
271
+ left = {
272
+ kind: "unary",
273
+ op,
274
+ value: this.expression(op === "not" ? 3 : 11),
275
+ };
276
+ }
277
+ else
278
+ left = this.atom();
279
+ while (true) {
280
+ if (this.eat(".")) {
281
+ left = { kind: "attribute", object: left, name: this.name() };
282
+ continue;
283
+ }
284
+ if (this.eat("(")) {
285
+ const args = [];
286
+ while (!this.at(")")) {
287
+ if (this.eat("**"))
288
+ args.push({
289
+ spread: true,
290
+ name: "**",
291
+ value: this.expression(),
292
+ });
293
+ else if (this.eat("*"))
294
+ args.push({ spread: true, value: this.expression() });
295
+ else if (this.peek().kind === "name" &&
296
+ this.tokens[this.index + 1]?.text === "=") {
297
+ const name = this.name();
298
+ this.take();
299
+ args.push({ name, value: this.expression() });
300
+ }
301
+ else
302
+ args.push({ value: this.expression() });
303
+ if (!this.eat(","))
304
+ break;
305
+ }
306
+ this.expect(")");
307
+ left = { kind: "call", target: left, args };
308
+ continue;
309
+ }
310
+ if (this.eat("[")) {
311
+ const start = this.at(":") ? undefined : this.tuple();
312
+ if (this.eat(":")) {
313
+ const end = this.at("]") || this.at(":")
314
+ ? undefined
315
+ : this.expression();
316
+ const step = this.eat(":") && !this.at("]")
317
+ ? this.expression()
318
+ : undefined;
319
+ this.expect("]");
320
+ left = { kind: "slice", object: left, start, end, step };
321
+ }
322
+ else {
323
+ if (!start)
324
+ this.fail("Missing index");
325
+ this.expect("]");
326
+ left = { kind: "index", object: left, index: start };
327
+ }
328
+ continue;
329
+ }
330
+ let op = this.peek().text;
331
+ if (op === "not" && this.tokens[this.index + 1]?.text === "in")
332
+ op = "not in";
333
+ const level = precedence[op];
334
+ if (level === undefined || level < min)
335
+ break;
336
+ this.take();
337
+ if (op === "not in")
338
+ this.take();
339
+ const right = this.expression(level + 1);
340
+ if (level === 4) {
341
+ if (hasComparison)
342
+ this.fail("Starlark comparisons cannot be chained");
343
+ hasComparison = true;
344
+ left = {
345
+ kind: "compare",
346
+ first: left,
347
+ rest: [{ op, value: right }],
348
+ };
349
+ }
350
+ else
351
+ left = { kind: "binary", op, left, right };
352
+ }
353
+ if (min === 0 && this.eat("if")) {
354
+ const condition = this.expression(1);
355
+ this.expect("else");
356
+ left = {
357
+ kind: "conditional",
358
+ condition,
359
+ yes: left,
360
+ no: this.expression(),
361
+ };
362
+ }
363
+ this.depth--;
364
+ return left;
365
+ }
366
+ clauses() {
367
+ const clauses = [];
368
+ while (true) {
369
+ if (this.eat("for")) {
370
+ const target = this.target();
371
+ this.expect("in");
372
+ clauses.push({
373
+ kind: "for",
374
+ target,
375
+ iterable: this.expression(1),
376
+ });
377
+ }
378
+ else if (this.eat("if"))
379
+ clauses.push({ kind: "if", condition: this.expression(1) });
380
+ else
381
+ break;
382
+ }
383
+ return clauses;
384
+ }
385
+ atom() {
386
+ const token = this.take();
387
+ if (token.kind === "number") {
388
+ if (/^0[0-9]/.test(token.text))
389
+ this.fail("Leading zero in a decimal literal");
390
+ return {
391
+ kind: "literal",
392
+ value: /[.eE]/.test(token.text) && !/^0[xob]/i.test(token.text)
393
+ ? Number(token.text)
394
+ : BigInt(token.text),
395
+ };
396
+ }
397
+ if (token.kind === "string") {
398
+ let value = token.text;
399
+ while (this.peek().kind === "string")
400
+ value += this.take().text;
401
+ return { kind: "literal", value: this.budget.string(value) };
402
+ }
403
+ if (token.kind === "format") {
404
+ const parts = [];
405
+ let literal = "";
406
+ for (let index = 0; index < token.text.length; index++) {
407
+ const char = token.text[index];
408
+ if ((char === "{" || char === "}") &&
409
+ token.text[index + 1] === char) {
410
+ literal += char;
411
+ index++;
412
+ }
413
+ else if (char === "{") {
414
+ parts.push(literal);
415
+ literal = "";
416
+ let end = index + 1, depth = 0, quote = "";
417
+ for (; end < token.text.length; end++) {
418
+ const current = token.text[end];
419
+ if (quote) {
420
+ if (current === "\\")
421
+ end++;
422
+ else if (current === quote)
423
+ quote = "";
424
+ continue;
425
+ }
426
+ if (current === "'" || current === '"') {
427
+ quote = current;
428
+ continue;
429
+ }
430
+ if (current === "{")
431
+ depth++;
432
+ if (current === "}" && depth-- === 0)
433
+ break;
434
+ }
435
+ if (end < 0)
436
+ this.fail("Unclosed format expression");
437
+ if (end >= token.text.length)
438
+ this.fail("Unclosed format expression");
439
+ const parser = new Parser(token.text.slice(index + 1, end), this.budget);
440
+ parts.push(parser.expression());
441
+ if (parser.peek().kind !== "newline")
442
+ this.fail("Invalid format expression");
443
+ index = end;
444
+ }
445
+ else if (char === "}")
446
+ this.fail("Unmatched format brace");
447
+ else
448
+ literal += char;
449
+ }
450
+ parts.push(literal);
451
+ return { kind: "format", parts };
452
+ }
453
+ if (token.kind === "name") {
454
+ if (["True", "False", "None"].includes(token.text))
455
+ return {
456
+ kind: "literal",
457
+ value: token.text === "None" ? null : token.text === "True",
458
+ };
459
+ if (reserved.has(token.text))
460
+ this.fail(`Unsupported Starlark construct ${token.text}`);
461
+ return { kind: "name", name: token.text };
462
+ }
463
+ if (token.text === "(") {
464
+ if (this.eat(")"))
465
+ return { kind: "tuple", items: [] };
466
+ const value = this.tuple();
467
+ this.expect(")");
468
+ return value;
469
+ }
470
+ if (token.text === "[") {
471
+ if (this.eat("]"))
472
+ return { kind: "list", items: [] };
473
+ const first = this.expression();
474
+ if (this.at("for")) {
475
+ const clauses = this.clauses();
476
+ this.expect("]");
477
+ return { kind: "comprehension", value: first, clauses };
478
+ }
479
+ const items = [first];
480
+ while (this.eat(",") && !this.at("]"))
481
+ items.push(this.expression());
482
+ this.expect("]");
483
+ return { kind: "list", items };
484
+ }
485
+ if (token.text === "{") {
486
+ if (this.eat("}"))
487
+ return { kind: "dict", entries: [] };
488
+ const key = this.expression();
489
+ this.expect(":");
490
+ const value = this.expression();
491
+ if (this.at("for")) {
492
+ const clauses = this.clauses();
493
+ this.expect("}");
494
+ return { kind: "comprehension", key, value, clauses };
495
+ }
496
+ const entries = [[key, value]];
497
+ while (this.eat(",") && !this.at("}")) {
498
+ const next = this.expression();
499
+ this.expect(":");
500
+ entries.push([next, this.expression()]);
501
+ }
502
+ this.expect("}");
503
+ return { kind: "dict", entries };
504
+ }
505
+ this.fail(`Unexpected token ${token.text}`);
506
+ }
507
+ }
508
+ //# sourceMappingURL=parser.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"parser.js","sourceRoot":"","sources":["../../../src/policy/starlark/parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,GAAG,EAAc,MAAM,YAAY,CAAC;AAkD1D,MAAM,UAAU,GAA2B;IACvC,EAAE,EAAE,CAAC;IACL,GAAG,EAAE,CAAC;IACN,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC;IACP,GAAG,EAAE,CAAC;IACN,IAAI,EAAE,CAAC;IACP,GAAG,EAAE,CAAC;IACN,IAAI,EAAE,CAAC;IACP,EAAE,EAAE,CAAC;IACL,QAAQ,EAAE,CAAC;IACX,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC;IACN,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC;IACP,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,EAAE;IACP,GAAG,EAAE,EAAE;IACP,IAAI,EAAE,EAAE;IACR,GAAG,EAAE,EAAE;CACV,CAAC;AACF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;IACrB,KAAK;IACL,IAAI;IACJ,KAAK;IACL,IAAI;IACJ,IAAI;IACJ,MAAM;IACN,MAAM;IACN,KAAK;IACL,KAAK;IACL,QAAQ;IACR,OAAO;IACP,UAAU;IACV,MAAM;IACN,QAAQ;IACR,MAAM;IACN,OAAO;IACP,MAAM;IACN,MAAM;IACN,OAAO;IACP,OAAO;IACP,KAAK;IACL,QAAQ;IACR,OAAO;IACP,OAAO;IACP,OAAO;IACP,KAAK;IACL,QAAQ;IACR,UAAU;IACV,OAAO;IACP,QAAQ;CACX,CAAC,CAAC;AAEH,MAAM,OAAO,MAAM;IAMM;IALb,KAAK,GAAG,CAAC,CAAC;IACV,KAAK,GAAG,CAAC,CAAC;IACD,MAAM,CAAU;IACjC,YACI,MAAc,EACG,MAAc;QAAd,WAAM,GAAN,MAAM,CAAQ;QAE/B,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC;IACO,IAAI;QACR,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IACO,EAAE,CAAC,IAAY;QACnB,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC;IACrC,CAAC;IACO,IAAI;QACR,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACrC,CAAC;IACO,GAAG,CAAC,IAAY;QACpB,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACjC,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC;IAChB,CAAC;IACO,MAAM,CAAC,IAAY;QACvB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IACvD,CAAC;IACO,IAAI,CAAC,OAAe;QACxB,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,YAAY,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC;IACxE,CAAC;IACO,IAAI;QACR,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC;YAC7D,IAAI,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACxC,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC;IAC5B,CAAC;IACD,OAAO,CAAC,QAA0B,KAAK;QACnC,MAAM,MAAM,GAAW,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK;gBAAE,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC5D,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACjC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,SAAS;YACb,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;QACrC,CAAC;QACD,OAAO,MAAM,CAAC;IAClB,CAAC;IACO,KAAK;QACT,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACjB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC;QAC7D,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ;YAC7B,IAAI,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,IAAI,EAAE,IAAI,CAAC,KAAK,GAAG,GAAG;YAClB,IAAI,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,IAAI,CAAC,KAAK,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IAChB,CAAC;IACO,SAAS;QACb,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAClB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACjB,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YACxC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACjB,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;YAClE,OAAO;gBACH;oBACI,IAAI,EAAE,KAAK;oBACX,IAAI;oBACJ,UAAU;oBACV,UAAU;oBACV,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE;iBACrB;aACJ,CAAC;QACN,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACjB,MAAM,QAAQ,GAAG;gBACb,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE;aACvD,CAAC;YACF,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;gBACnB,QAAQ,CAAC,IAAI,CAAC;oBACV,SAAS,EAAE,IAAI,CAAC,UAAU,EAAE;oBAC5B,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE;iBACrB,CAAC,CAAC;YACP,OAAO;gBACH;oBACI,IAAI,EAAE,IAAI;oBACV,QAAQ;oBACR,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;iBAClD;aACJ,CAAC;QACN,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YAC7B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC;IAC7B,CAAC;IACO,UAAU;QACd,MAAM,UAAU,GAAW,EAAE,CAAC;QAC9B,GAAG,CAAC;YACA,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;gBAAE,MAAM;YAC1C,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE;iBACjD,CAAC,CAAC;iBACF,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,IAAqC,CAAC;gBAC/D,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;YAC9B,CAAC;iBAAM,CAAC;gBACJ,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC3B,IACI;oBACI,GAAG;oBACH,IAAI;oBACJ,IAAI;oBACJ,IAAI;oBACJ,IAAI;oBACJ,KAAK;oBACL,IAAI;oBACJ,IAAI;oBACJ,IAAI;oBACJ,IAAI;oBACJ,KAAK;oBACL,KAAK;iBACR,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAC9B,CAAC;oBACC,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EACvB,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC;oBACtB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;oBAC3B,IAAI,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC;wBACZ,IAAI,CAAC,IAAI,CACL,mDAAmD,CACtD,CAAC;oBACN,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC5D,CAAC;;oBAAM,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;YACjE,CAAC;QACL,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QACxB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;YAC9B,IAAI,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QAC3C,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,OAAO,UAAU,CAAC;IACtB,CAAC;IACO,KAAK;QACT,OAAO,CACH,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;YAC9B,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CACvD,CAAC;IACN,CAAC;IACO,KAAK,CAAC,GAAG,GAAG,CAAC;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,MAAM;QAC9B,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACpC,CAAC;IACO,MAAM;QACV,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IACO,UAAU,CAAC,GAAW;QAC1B,MAAM,UAAU,GAAgB,EAAE,CAAC;QACnC,IAAI,SAAS,GAAG,KAAK,EACjB,UAAU,GAAG,KAAK,CAAC;QACvB,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,IAAI,IAAI,GAAsB,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;YAC/D,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,IAAI,GAAG,UAAU,CAAC;iBACjC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrB,SAAS,GAAG,IAAI,CAAC;gBACjB,IAAI,GAAG,MAAM,CAAC;gBACd,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;YAChC,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC;gBACvD,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;YACrC,MAAM,UAAU,GACZ,GAAG,KAAK,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;YACjE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;YAC5D,IAAI,IAAI,KAAK,QAAQ,IAAI,UAAU,IAAI,CAAC,KAAK;gBACzC,IAAI,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;YACtD,IAAI,KAAK,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAC5C,IAAI,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;YAC1D,IAAI,IAAI,KAAK,QAAQ,IAAI,KAAK;gBAAE,UAAU,GAAG,IAAI,CAAC;YAClD,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;YACnD,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC;gBACrD,IAAI,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;YAC5C,IAAI,IAAI,KAAK,UAAU,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,MAAM;QACrD,CAAC;QACD,OAAO,UAAU,CAAC;IACtB,CAAC;IACD,UAAU,CAAC,GAAG,GAAG,CAAC;QACd,IAAI,EAAE,IAAI,CAAC,KAAK,GAAG,GAAG;YAClB,IAAI,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;QAC3D,IAAI,IAAU,EACV,aAAa,GAAG,KAAK,CAAC;QAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrB,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YACxC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACjB,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;QACpE,CAAC;aAAM,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3D,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC;YAC5B,IAAI,GAAG;gBACH,IAAI,EAAE,OAAO;gBACb,EAAE;gBACF,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;aAChD,CAAC;QACN,CAAC;;YAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,OAAO,IAAI,EAAE,CAAC;YACV,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChB,IAAI,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC9D,SAAS;YACb,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChB,MAAM,IAAI,GAA4C,EAAE,CAAC;gBACzD,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;wBACd,IAAI,CAAC,IAAI,CAAC;4BACN,MAAM,EAAE,IAAI;4BACZ,IAAI,EAAE,IAAI;4BACV,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE;yBAC3B,CAAC,CAAC;yBACF,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;wBAClB,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;yBACrD,IACD,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM;wBAC3B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG,EAC3C,CAAC;wBACC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;wBACzB,IAAI,CAAC,IAAI,EAAE,CAAC;wBACZ,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;oBAClD,CAAC;;wBAAM,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;oBAC/C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;wBAAE,MAAM;gBAC9B,CAAC;gBACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACjB,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBAC5C,SAAS;YACb,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChB,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACtD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAChB,MAAM,GAAG,GACL,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC;wBACxB,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;oBAC5B,MAAM,IAAI,GACN,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC;wBAC1B,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE;wBACnB,CAAC,CAAC,SAAS,CAAC;oBACpB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBACjB,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;gBAC7D,CAAC;qBAAM,CAAC;oBACJ,IAAI,CAAC,KAAK;wBAAE,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;oBACvC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBACjB,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;gBACzD,CAAC;gBACD,SAAS;YACb,CAAC;YACD,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC;YAC1B,IAAI,EAAE,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;gBAC1D,EAAE,GAAG,QAAQ,CAAC;YAClB,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;YAC7B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,GAAG;gBAAE,MAAM;YAC9C,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,IAAI,EAAE,KAAK,QAAQ;gBAAE,IAAI,CAAC,IAAI,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACzC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBACd,IAAI,aAAa;oBACb,IAAI,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;gBACxD,aAAa,GAAG,IAAI,CAAC;gBACrB,IAAI,GAAG;oBACH,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE,IAAI;oBACX,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;iBAC/B,CAAC;YACN,CAAC;;gBAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACtD,CAAC;QACD,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACrC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACpB,IAAI,GAAG;gBACH,IAAI,EAAE,aAAa;gBACnB,SAAS;gBACT,GAAG,EAAE,IAAI;gBACT,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;aACxB,CAAC;QACN,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IAChB,CAAC;IACO,OAAO;QACX,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,OAAO,IAAI,EAAE,CAAC;YACV,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC7B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,KAAK;oBACX,MAAM;oBACN,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;iBAC/B,CAAC,CAAC;YACP,CAAC;iBAAM,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBACrB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;;gBAC3D,MAAM;QACf,CAAC;QACD,OAAO,OAAO,CAAC;IACnB,CAAC;IACO,IAAI;QACR,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;YACnD,OAAO;gBACH,IAAI,EAAE,SAAS;gBACf,KAAK,EACD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;oBACpD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;oBACpB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;aAC/B,CAAC;QACN,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,IAAI,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC;YACvB,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ;gBAAE,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC;YAChE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACjE,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAsB,EAAE,CAAC;YACpC,IAAI,OAAO,GAAG,EAAE,CAAC;YACjB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;gBACrD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC/B,IACI,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC;oBAC9B,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,EAChC,CAAC;oBACC,OAAO,IAAI,IAAI,CAAC;oBAChB,KAAK,EAAE,CAAC;gBACZ,CAAC;qBAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;oBACtB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACpB,OAAO,GAAG,EAAE,CAAC;oBACb,IAAI,GAAG,GAAG,KAAK,GAAG,CAAC,EACf,KAAK,GAAG,CAAC,EACT,KAAK,GAAG,EAAE,CAAC;oBACf,OAAO,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;wBACpC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;wBAChC,IAAI,KAAK,EAAE,CAAC;4BACR,IAAI,OAAO,KAAK,IAAI;gCAAE,GAAG,EAAE,CAAC;iCACvB,IAAI,OAAO,KAAK,KAAK;gCAAE,KAAK,GAAG,EAAE,CAAC;4BACvC,SAAS;wBACb,CAAC;wBACD,IAAI,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;4BACrC,KAAK,GAAG,OAAO,CAAC;4BAChB,SAAS;wBACb,CAAC;wBACD,IAAI,OAAO,KAAK,GAAG;4BAAE,KAAK,EAAE,CAAC;wBAC7B,IAAI,OAAO,KAAK,GAAG,IAAI,KAAK,EAAE,KAAK,CAAC;4BAAE,MAAM;oBAChD,CAAC;oBACD,IAAI,GAAG,GAAG,CAAC;wBAAE,IAAI,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;oBACrD,IAAI,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM;wBACxB,IAAI,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;oBAC5C,MAAM,MAAM,GAAG,IAAI,MAAM,CACrB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,EAChC,IAAI,CAAC,MAAM,CACd,CAAC;oBACF,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;oBAChC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;wBAChC,IAAI,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;oBAC3C,KAAK,GAAG,GAAG,CAAC;gBAChB,CAAC;qBAAM,IAAI,IAAI,KAAK,GAAG;oBAAE,IAAI,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;;oBACxD,OAAO,IAAI,IAAI,CAAC;YACzB,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QACrC,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxB,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;gBAC9C,OAAO;oBACH,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;iBAC9D,CAAC;YACN,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,kCAAkC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9C,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;YACrB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;YACvD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;YAC3B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACjB,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;YACrB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;YACtD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACjB,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;YAC5D,CAAC;YACD,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC;YACtB,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC;gBACjC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACjB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACnC,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;YACrB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;YACxD,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACjB,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACjB,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;YAC1D,CAAC;YACD,MAAM,OAAO,GAAmB,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;YAC/C,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC/B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACjB,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAC5C,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACjB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;QACrC,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,oBAAoB,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC;CACJ"}
@@ -0,0 +1,4 @@
1
+ import type { Budget } from "./lexer.js";
2
+ import type { Stmt } from "./parser.js";
3
+ /** Resolve every name and control-flow statement, including unreachable branches. */
4
+ export declare function validate(body: Stmt[], globals: Iterable<string>, budget: Budget): void;