flakelab 0.1.4 → 0.1.5
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 +4 -4
- package/dist/cli-command-help.js +5 -5
- package/dist/cli-command-help.js.map +1 -1
- package/dist/cli-option-definitions.d.ts +2 -2
- package/dist/cli-option-definitions.js +2 -2
- package/dist/commands/diagnose.js +2 -1
- package/dist/commands/diagnose.js.map +1 -1
- package/dist/commands/discover.d.ts +1 -0
- package/dist/commands/discover.js +20 -4
- package/dist/commands/discover.js.map +1 -1
- package/dist/diagnosis/cli.js +4 -4
- package/dist/diagnosis/cli.js.map +1 -1
- package/dist/diagnosis/discovery-budget.d.ts +14 -0
- package/dist/diagnosis/discovery-budget.js +11 -0
- package/dist/diagnosis/discovery-budget.js.map +1 -0
- package/dist/diagnosis/recommendation.js +14 -5
- package/dist/diagnosis/recommendation.js.map +1 -1
- package/dist/diagnosis/solari-handoff.d.ts +1 -13
- package/dist/diagnosis/solari-handoff.js +4 -14
- package/dist/diagnosis/solari-handoff.js.map +1 -1
- package/dist/discovery/minimize.d.ts +1 -0
- package/dist/discovery/minimize.js +4 -0
- package/dist/discovery/minimize.js.map +1 -1
- package/dist/proof/cli.js +1 -1
- package/dist/proof/cli.js.map +1 -1
- package/package.json +1 -1
package/README.md
CHANGED
|
@@ -70,9 +70,9 @@ traces, screenshots, and videos are retained with the owned analysis evidence un
|
|
|
70
70
|
retention, while temporary archive copies and conversion files are removed.
|
|
71
71
|
|
|
72
72
|
The scan explicitly disables Playwright retries so a retry is never mistaken for an independent
|
|
73
|
-
statistical repetition. It uses
|
|
74
|
-
|
|
75
|
-
|
|
73
|
+
statistical repetition. It uses two Playwright workers by default for a practical speed/isolation
|
|
74
|
+
balance. Use `--concurrency 1` when a suite shares ports, databases, caches, or workspace files
|
|
75
|
+
unsafely. Traces, screenshots, videos,
|
|
76
76
|
and ordinary test output stay in a unique directory beneath the selected evidence directory;
|
|
77
77
|
FlakeLab removes only its temporary JSON reporter file.
|
|
78
78
|
|
|
@@ -193,7 +193,7 @@ the evidence for every candidate. Every candidate alternates matched-seed contro
|
|
|
193
193
|
trials. A pre-existing failure is allowed, but the intervention is causal only when the same
|
|
194
194
|
normalized failure signature reaches the requested rate and its 80% lower confidence bound exceeds
|
|
195
195
|
the control's upper bound. Discovery prints each completed trial to stderr
|
|
196
|
-
and stops at the
|
|
196
|
+
and stops at the ten-minute default elapsed-time ceiling; set `--max-seconds` explicitly when a
|
|
197
197
|
suite needs a different local budget. Replay the result with:
|
|
198
198
|
|
|
199
199
|
```bash
|
package/dist/cli-command-help.js
CHANGED
|
@@ -23,10 +23,10 @@ const DISCOVERY_OPTIONS = [
|
|
|
23
23
|
{ label: "--fault <family>", value: FAULTS },
|
|
24
24
|
{ label: "--pattern <glob>", value: "Request pattern the network faults apply to" },
|
|
25
25
|
{ label: "--trials <number>", value: "Trials per candidate batch" },
|
|
26
|
-
{ label: "--concurrency <n>", value: "Playwright workers per trial batch" },
|
|
26
|
+
{ label: "--concurrency <n>", value: "Playwright workers per trial batch (default: 2)" },
|
|
27
27
|
{ label: "--min-rate <rate>", value: "Failure rate a trigger must reach to be confirmed" },
|
|
28
28
|
{ label: "--seed <number>", value: "Deterministic seed for every trial" },
|
|
29
|
-
{ label: "--max-seconds <n>", value: "Elapsed-time ceiling for the search (default:
|
|
29
|
+
{ label: "--max-seconds <n>", value: "Elapsed-time ceiling for the search (default: 600)" },
|
|
30
30
|
{ label: "Fault bounds", value: FAULT_BOUNDS },
|
|
31
31
|
];
|
|
32
32
|
export const COMMAND_HELP = {
|
|
@@ -142,7 +142,7 @@ export const COMMAND_HELP = {
|
|
|
142
142
|
examples: ["flakelab repair flakelab.investigation.json --source src/checkout.ts"],
|
|
143
143
|
options: [
|
|
144
144
|
{ label: "--source <file>", value: "Approve one application source file (repeatable)" },
|
|
145
|
-
{ label: "--concurrency <n>", value: "Playwright workers inside the Solari proof" },
|
|
145
|
+
{ label: "--concurrency <n>", value: "Playwright workers inside the Solari proof (default: 2)" },
|
|
146
146
|
{ label: "--max-seconds <number>", value: "Elapsed-time ceiling for candidate generation" },
|
|
147
147
|
...EVIDENCE_OPTIONS,
|
|
148
148
|
...PROVIDER_OPTIONS,
|
|
@@ -153,7 +153,7 @@ export const COMMAND_HELP = {
|
|
|
153
153
|
replay: {
|
|
154
154
|
examples: ["flakelab replay flakelab.repro.yaml --concurrency 4"],
|
|
155
155
|
options: [
|
|
156
|
-
{ label: "--concurrency <n>", value: "Playwright workers used for
|
|
156
|
+
{ label: "--concurrency <n>", value: "Playwright workers used for replay trials (default: 2)" },
|
|
157
157
|
],
|
|
158
158
|
summary: "Re-run a saved reproducer and check that the recorded signature still appears.",
|
|
159
159
|
usage: "flakelab replay <reproducer> [options]",
|
|
@@ -183,7 +183,7 @@ export const COMMAND_HELP = {
|
|
|
183
183
|
],
|
|
184
184
|
options: [
|
|
185
185
|
{ label: "--runs <number>", value: "Repetitions to run (default: 4)" },
|
|
186
|
-
{ label: "--concurrency <n>", value: "Playwright workers (default:
|
|
186
|
+
{ label: "--concurrency <n>", value: "Playwright workers (default: 2)" },
|
|
187
187
|
{ label: "--artifacts <dir>", value: "Evidence directory (default: .flakelab/runs)" },
|
|
188
188
|
{ label: "--json", value: "Write only the scan artifact JSON to stdout" },
|
|
189
189
|
{ label: "--verbose", value: "Append the artifact JSON to the human summary" },
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"cli-command-help.js","sourceRoot":"","sources":["../src/cli-command-help.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAuB3C,MAAM,MAAM,GAAG,4EAA4E;MACvF,+EAA+E;MAC/E,uEAAuE;MACvE,gFAAgF,CAAA;AAEpF,MAAM,YAAY,GAAG,wEAAwE;MACzF,kFAAkF;MAClF,+EAA+E;MAC/E,8EAA8E;MAC9E,mBAAmB,CAAA;AAEvB,MAAM,gBAAgB,GAAkB;IACtC,EAAE,KAAK,EAAE,qBAAqB,EAAE,KAAK,EAAE,qDAAqD,EAAE;IAC9F,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,0CAA0C,EAAE;IAC9E,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,6CAA6C,EAAE;CAClF,CAAA;AAED,MAAM,gBAAgB,GAAkB;IACtC,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,uBAAuB,EAAE;IAC3D,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE,gDAAgD,EAAE;IACtF,EAAE,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAE,gDAAgD,EAAE;CAC3F,CAAA;AAED,MAAM,iBAAiB,GAAkB;IACvC,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE,MAAM,EAAE;IAC5C,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE,6CAA6C,EAAE;IACnF,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,4BAA4B,EAAE;IACnE,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"cli-command-help.js","sourceRoot":"","sources":["../src/cli-command-help.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAuB3C,MAAM,MAAM,GAAG,4EAA4E;MACvF,+EAA+E;MAC/E,uEAAuE;MACvE,gFAAgF,CAAA;AAEpF,MAAM,YAAY,GAAG,wEAAwE;MACzF,kFAAkF;MAClF,+EAA+E;MAC/E,8EAA8E;MAC9E,mBAAmB,CAAA;AAEvB,MAAM,gBAAgB,GAAkB;IACtC,EAAE,KAAK,EAAE,qBAAqB,EAAE,KAAK,EAAE,qDAAqD,EAAE;IAC9F,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,0CAA0C,EAAE;IAC9E,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,6CAA6C,EAAE;CAClF,CAAA;AAED,MAAM,gBAAgB,GAAkB;IACtC,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,uBAAuB,EAAE;IAC3D,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE,gDAAgD,EAAE;IACtF,EAAE,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAE,gDAAgD,EAAE;CAC3F,CAAA;AAED,MAAM,iBAAiB,GAAkB;IACvC,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE,MAAM,EAAE;IAC5C,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE,6CAA6C,EAAE;IACnF,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,4BAA4B,EAAE;IACnE,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,iDAAiD,EAAE;IACxF,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,mDAAmD,EAAE;IAC1F,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,oCAAoC,EAAE;IACzE,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,oDAAoD,EAAE;IAC3F,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,YAAY,EAAE;CAC/C,CAAA;AAED,MAAM,CAAC,MAAM,YAAY,GAAmC;IAC1D,OAAO,EAAE;QACP,QAAQ,EAAE;YACR,gCAAgC;YAChC,0EAA0E;SAC3E;QACD,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,8CAA8C,EAAE;YACrF,EAAE,KAAK,EAAE,uBAAuB,EAAE,KAAK,EAAE,iDAAiD,EAAE;YAC5F,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,iDAAiD,EAAE;YAC7E,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,+CAA+C,EAAE;SAC/E;QACD,OAAO,EAAE,uEAAuE;QAChF,KAAK,EAAE,0CAA0C;KAClD;IACD,MAAM,EAAE;QACN,QAAQ,EAAE,CAAC,0CAA0C,CAAC;QACtD,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,iDAAiD,EAAE;YACxF,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE,iCAAiC,EAAE;YACvE,EAAE,KAAK,EAAE,0BAA0B,EAAE,KAAK,EAAE,6BAA6B,EAAE;YAC3E,EAAE,KAAK,EAAE,wBAAwB,EAAE,KAAK,EAAE,oCAAoC,EAAE;YAChF,EAAE,KAAK,EAAE,uBAAuB,EAAE,KAAK,EAAE,sCAAsC,EAAE;YACjF,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,wCAAwC,EAAE;YAC/E,EAAE,KAAK,EAAE,qBAAqB,EAAE,KAAK,EAAE,qCAAqC,EAAE;YAC9E,EAAE,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAE,gDAAgD,EAAE;SAC3F;QACD,OAAO,EAAE,iFAAiF;QAC1F,KAAK,EAAE,6CAA6C;KACrD;IACD,QAAQ,EAAE;QACR,QAAQ,EAAE;YACR,0CAA0C;YAC1C,mEAAmE;YACnE,qDAAqD;SACtD;QACD,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,wBAAwB,EAAE,KAAK,EAAE,gDAAgD,EAAE;YAC5F,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,yCAAyC,EAAE;YAC9E,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,kDAAkD,EAAE;YAClF,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,8CAA8C,EAAE;YACjF,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,yDAAyD,EAAE;YACvF,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,6CAA6C,EAAE;YAClF,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,6BAA6B,EAAE;YACpE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,+BAA+B,EAAE;YAClE,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,6CAA6C,EAAE;YACzE,GAAG,gBAAgB;YACnB,GAAG,gBAAgB;YACnB;gBACE,KAAK,EAAE,QAAQ;gBACf,KAAK,EAAE,sEAAsE;sBACzE,8DAA8D;aACnE;SACF;QACD,OAAO,EAAE,mFAAmF;QAC5F,KAAK,EAAE,oCAAoC;KAC5C;IACD,QAAQ,EAAE;QACR,QAAQ,EAAE;YACR,gFAAgF;YAChF,2FAA2F;SAC5F;QACD,OAAO,EAAE;YACP,GAAG,iBAAiB;YACpB,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,oDAAoD,EAAE;SAC1F;QACD,OAAO,EAAE,kFAAkF;QAC3F,KAAK,EAAE,oCAAoC;KAC5C;IACD,MAAM,EAAE;QACN,QAAQ,EAAE,CAAC,iBAAiB,CAAC;QAC7B,OAAO,EAAE,EAAE;QACX,OAAO,EAAE,4EAA4E;QACrF,KAAK,EAAE,iBAAiB;KACzB;IACD,WAAW,EAAE;QACX,QAAQ,EAAE,CAAC,6DAA6D,CAAC;QACzE,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,6BAA6B,EAAE;YAClE,EAAE,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAE,uBAAuB,EAAE;YACjE,EAAE,KAAK,EAAE,uBAAuB,EAAE,KAAK,EAAE,+BAA+B,EAAE;YAC1E,EAAE,KAAK,EAAE,uBAAuB,EAAE,KAAK,EAAE,wCAAwC,EAAE;YACnF,EAAE,KAAK,EAAE,wBAAwB,EAAE,KAAK,EAAE,sBAAsB,EAAE;YAClE,GAAG,gBAAgB;YACnB;gBACE,KAAK,EAAE,QAAQ;gBACf,KAAK,EAAE,qEAAqE;aAC7E;SACF;QACD,OAAO,EAAE,8EAA8E;QACvF,KAAK,EAAE,uCAAuC;KAC/C;IACD,KAAK,EAAE;QACL,QAAQ,EAAE;YACR,uCAAuC;YACvC,+EAA+E;SAChF;QACD,OAAO,EAAE;YACP,GAAG,iBAAiB;YACpB,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,6CAA6C,EAAE;YAClF,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,+BAA+B,EAAE;YAClE,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,6CAA6C,EAAE;YACzE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,gDAAgD,EAAE;YAC/E,GAAG,gBAAgB;YACnB,GAAG,gBAAgB;SACpB;QACD,OAAO,EAAE,8EAA8E;QACvF,KAAK,EAAE,iCAAiC;KACzC;IACD,MAAM,EAAE;QACN,QAAQ,EAAE,CAAC,sEAAsE,CAAC;QAClF,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,kDAAkD,EAAE;YACvF,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,yDAAyD,EAAE;YAChG,EAAE,KAAK,EAAE,wBAAwB,EAAE,KAAK,EAAE,+CAA+C,EAAE;YAC3F,GAAG,gBAAgB;YACnB,GAAG,gBAAgB;SACpB;QACD,OAAO,EAAE,oFAAoF;QAC7F,KAAK,EAAE,2CAA2C;KACnD;IACD,MAAM,EAAE;QACN,QAAQ,EAAE,CAAC,qDAAqD,CAAC;QACjE,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,wDAAwD,EAAE;SAChG;QACD,OAAO,EAAE,gFAAgF;QACzF,KAAK,EAAE,wCAAwC;KAChD;IACD,MAAM,EAAE;QACN,QAAQ,EAAE,CAAC,oDAAoD,CAAC;QAChE,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,6CAA6C,EAAE;YAChF,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,6CAA6C,EAAE;YACzE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,gDAAgD,EAAE;YAC/E,GAAG,gBAAgB;YACnB,EAAE,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAE,gDAAgD,EAAE;SAC3F;QACD,OAAO,EAAE,mEAAmE;QAC5E,KAAK,EAAE,2CAA2C;KACnD;IACD,MAAM,EAAE;QACN,QAAQ,EAAE,CAAC,8CAA8C,CAAC;QAC1D,OAAO,EAAE,EAAE;QACX,OAAO,EAAE,mFAAmF;QAC5F,KAAK,EAAE,iCAAiC;KACzC;IACD,IAAI,EAAE;QACJ,QAAQ,EAAE;YACR,2CAA2C;YAC3C,6CAA6C;SAC9C;QACD,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,iCAAiC,EAAE;YACtE,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,iCAAiC,EAAE;YACxE,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,8CAA8C,EAAE;YACrF,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,6CAA6C,EAAE;YACzE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,+CAA+C,EAAE;SAC/E;QACD,OAAO,EAAE,+EAA+E;QACxF,KAAK,EAAE,kCAAkC;KAC1C;CACF,CAAA;AAED,MAAM,UAAU,eAAe,CAAC,KAAgB,EAAE,QAAuB,WAAW;IAClF,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAChC,MAAM,QAAQ,GAAG,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAA;IAC5C,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACnC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC7C,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAChD,CAAC;IACD,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;IAC5B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IAC3B,CAAC;IACD,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAA;IACnD,OAAO,GAAG,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAA;AACjC,CAAC"}
|
|
@@ -21,7 +21,7 @@ export declare const CLI_OPTION_DEFINITIONS: {
|
|
|
21
21
|
};
|
|
22
22
|
readonly concurrency: {
|
|
23
23
|
readonly type: "string";
|
|
24
|
-
readonly default: "
|
|
24
|
+
readonly default: "2";
|
|
25
25
|
};
|
|
26
26
|
readonly clockOffsetMs: {
|
|
27
27
|
readonly type: "string";
|
|
@@ -64,7 +64,7 @@ export declare const CLI_OPTION_DEFINITIONS: {
|
|
|
64
64
|
};
|
|
65
65
|
readonly discoveryMaxSeconds: {
|
|
66
66
|
readonly type: "string";
|
|
67
|
-
readonly default: "
|
|
67
|
+
readonly default: "600";
|
|
68
68
|
};
|
|
69
69
|
readonly maxDuplicateBytes: {
|
|
70
70
|
readonly type: "string";
|
|
@@ -4,7 +4,7 @@ export const CLI_OPTION_DEFINITIONS = {
|
|
|
4
4
|
bad: { type: "string", default: "HEAD" },
|
|
5
5
|
bisectParallelism: { type: "string", default: "2" },
|
|
6
6
|
bisectReport: { type: "string", default: "flakelab.bisect.json" },
|
|
7
|
-
concurrency: { type: "string", default: "
|
|
7
|
+
concurrency: { type: "string", default: "2" },
|
|
8
8
|
clockOffsetMs: { type: "string", default: "3600000" },
|
|
9
9
|
cookieName: { type: "string" },
|
|
10
10
|
fault: { type: "string", default: "network-delay" },
|
|
@@ -15,7 +15,7 @@ export const CLI_OPTION_DEFINITIONS = {
|
|
|
15
15
|
maxCost: { type: "string", default: "0.25" },
|
|
16
16
|
maxCopies: { type: "string", default: "4" },
|
|
17
17
|
maxDelay: { type: "string", default: "250" },
|
|
18
|
-
discoveryMaxSeconds: { type: "string", default: "
|
|
18
|
+
discoveryMaxSeconds: { type: "string", default: "600" },
|
|
19
19
|
maxDuplicateBytes: { type: "string", default: "1024" },
|
|
20
20
|
maxHoldMs: { type: "string", default: "250" },
|
|
21
21
|
maxRemoveBytes: { type: "string", default: "1024" },
|
|
@@ -3,7 +3,8 @@ import { isAbsolute, relative, resolve, sep } from "node:path";
|
|
|
3
3
|
import { portableProjectPath } from "../artifacts/paths.js";
|
|
4
4
|
import { nextDiagnosisPhase, readDiagnosisCheckpoint, } from "../diagnosis/checkpoint.js";
|
|
5
5
|
import { addDiagnosisUsage, analysisObservation, createDiagnosisContext, emptyObservation, emptyPaths, restoreDiagnosisContext, saveDiagnosis, scanObservation, } from "../diagnosis/run-state.js";
|
|
6
|
-
import { buildDiscoveryBudget
|
|
6
|
+
import { buildDiscoveryBudget } from "../diagnosis/discovery-budget.js";
|
|
7
|
+
import { requestSolariProof, } from "../diagnosis/solari-handoff.js";
|
|
7
8
|
import { formatDiagnosisSummary } from "../diagnosis/summary.js";
|
|
8
9
|
import { discoverRepairSourceCandidates } from "../investigator/safe-source.js";
|
|
9
10
|
import { redactText } from "../report/redaction.js";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"diagnose.js","sourceRoot":"","sources":["../../src/commands/diagnose.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AACvC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AAE9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAA;AAC3D,OAAO,EACL,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,4BAA4B,CAAA;AACnC,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,sBAAsB,EACtB,gBAAgB,EAChB,UAAU,EACV,uBAAuB,EACvB,aAAa,EACb,eAAe,GAChB,MAAM,2BAA2B,CAAA;AAOlC,OAAO,EACL,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,gCAAgC,CAAA;AACvC,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAA;AAC/E,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAA;AACzD,OAAO,EACL,aAAa,EACb,oBAAoB,GACrB,MAAM,cAAc,CAAA;AAGrB,SAAS,aAAa,CACpB,MAA0B,EAC1B,MAA0B,EAC1B,cAAuB;IAEvB,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,cAAc,CAAA;AACvB,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,WAAmB,EACnB,MAA0B,EAC1B,MAAuB,EACvB,KAAqB,EACrB,cAAuB;IAEvB,IAAI,WAAW,GAAG,gBAAgB,EAAE,CAAA;IACpC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;IAC5B,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAA;QAChD,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE;YAC5C,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,KAAK;SACf,CAAC,CAAA;QACF,KAAK,CAAC,QAAQ,GAAG,mBAAmB,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC,CAAA;QAC5F,WAAW,GAAG,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,CAAA;QACnE,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAA;IAC9B,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC;QACzD,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAChC,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,CAAA;QAC1C,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE;YACvC,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,OAAO,EAAE,KAAK;SACf,CAAC,CAAA;QACF,KAAK,CAAC,IAAI,GAAG,mBAAmB,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAA;QACrF,WAAW,GAAG,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,aAAa,CAAC,CAAA;QAClE,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAA;IAC9B,CAAC;IACD,OAAO,WAAW,CAAA;AACpB,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,OAAyB;IACxD,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;IAC/C,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,MAAM,CAAC,eAAe,CAAC,CAAA;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;IAC5B,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,MAAM,IAAI,EAAE,EAAE;QAC1C,gBAAgB,EAAE,GAAG;QACrB,iBAAiB,EAAE,SAAS;QAC5B,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,KAAK,EAAE,eAAe;QACtB,eAAe,EAAE,GAAG;QACpB,MAAM,EAAE,OAAO;QACf,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC;QAChC,YAAY,EAAE,GAAG;QACjB,qBAAqB,EAAE,MAAM;QAC7B,aAAa,EAAE,KAAK;QACpB,kBAAkB,EAAE,MAAM;QAC1B,aAAa,EAAE,MAAM,CAAC,aAAa,CAAC;QACpC,cAAc,EAAE,KAAK;QACrB,aAAa,EAAE,GAAG;QAClB,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9B,MAAM,EAAE,MAAM,CAAC,UAAU;QACzB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,eAAe,EAAE,QAAQ;QACzB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,eAAe,EAAE,oBAAoB;QACrC,gBAAgB,EAAE,GAAG;QACrB,OAAO,EAAE,eAAe;QACxB,QAAQ,EAAE,kBAAkB;QAC5B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,iBAAiB,EAAE,KAAK;QACxB,gBAAgB,EAAE,KAAK;KACxB,CAAC,CAAA;IACF,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,UAAU,GAAG,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;IAC7F,iBAAiB,CAAC,OAAO,EAAE;QACzB,mBAAmB,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;QAC3C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM;cAC9B,MAAM,CAAC,WAAW,CAAC,MAAM,CACzB,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,CAAC,KAAK,GAAG,CAC7B,QAAQ,IAAI,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CACtE,EACD,CAAC,CACF;KACJ,CAAC,CAAA;AACJ,CAAC;AAED,KAAK,UAAU,qBAAqB,CAAC,OAAyB;IAC5D,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;IAC/C,WAAW,CAAC,sBAAsB,CAAC;QACjC,WAAW,EAAE,CAAC,cAAc,CAAC;QAC7B,MAAM,EAAE,8EAA8E;cAClF,yDAAyD;QAC7D,IAAI,EAAE;YACJ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;YACvC,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE;YAC1D,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE;SAC9D;QACD,KAAK,EAAE,4BAA4B;KACpC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;IAClB,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAA;IACxD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;IAC5B,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,IAAI,EAAE,EAAE;QAC7C,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9B,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC;QAChC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,CAAC;QAC5C,aAAa,EAAE,MAAM,CAAC,aAAa,CAAC;QACpC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC;QAChC,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC;QAClC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9B,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,CAAC;QAClD,MAAM,EAAE,MAAM,CAAC,QAAQ;QACvB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC,CAAA;IACF,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,QAAQ,GAAG,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAA;IACzF,iBAAiB,CAAC,OAAO,EAAE;QACzB,kBAAkB,EAAE,MAAM,CAAC,KAAK,CAAC,gBAAgB;QACjD,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW;QACvC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY;QACzC,mBAAmB,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;QAC3C,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CACnC,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,CAAC,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,EACvD,CAAC,CACF;KACF,CAAC,CAAA;AACJ,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,OAAyB;IACrD,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;IACvC,WAAW,CAAC,sBAAsB,CAAC;QACjC,WAAW,EAAE,CAAC,cAAc,EAAE,gBAAgB,CAAC;QAC/C,MAAM,EAAE,0EAA0E;cAC9E,qCAAqC;QACzC,IAAI,EAAE;YACJ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;YACvC,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE;YAC1D,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE;SAC/E;QACD,KAAK,EAAE,uCAAuC;KAC/C,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;IAClB,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC,CAAA;IAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;IAC5B,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE;QAC3C,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9B,aAAa,EAAE,MAAM,CAAC,aAAa,CAAC;QACpC,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,CAAC;QAClD,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC,CAAA;IACF,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,KAAK,CAAC,CAAA;IAC7C,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAA;IAC5B,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,GAAG,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;IACnF,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,GAAG,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;IACnF,iBAAiB,CAAC,OAAO,EAAE;QACzB,kBAAkB,EAAE,MAAM,CAAC,KAAK,CAAC,gBAAgB;QACjD,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW;QACvC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY;QACzC,mBAAmB,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;QAC3C,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM;cACzC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM;cAChC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM;cAChC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAC/B,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,CAAC,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,EACvD,CAAC,CACF;QACH,sBAAsB,EAAE,CAAC;QACzB,qBAAqB,EAAE,CAAC;QACxB,aAAa,EAAE,IAAI;KACpB,CAAC,CAAA;IACF,OAAO,CAAC,UAAU,CAAC,KAAK,GAAG;QACzB,GAAG,EAAE,IAAI;QACT,MAAM,EAAE,sFAAsF;QAC9F,MAAM,EAAE,UAAU;KACnB,CAAA;IACD,OAAO,CAAC,UAAU,CAAC,OAAO,GAAG,EAAE,aAAa,EAAE,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAA;IACtE,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe,CAAA;IAClE,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC,CAAA;IACtD,MAAM,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE;QACpC,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,CAAC;QAClD,OAAO,EAAE,KAAK;QACd,UAAU,EAAE,MAAM,CAAC,UAAU;KAC9B,CAAC,CAAA;IACF,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,GAAG,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;IACjF,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;IACtB,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,UAAU,CAAC,OAAyB,EAAE,KAAqB;IAClE,IAAI,KAAK,KAAK,eAAe,IAAI,KAAK,KAAK,iBAAiB,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,KAAK,KAAK,cAAc,EAAE,CAAC;QAC7B,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAA;IAC/B,CAAC;IACD,IAAI,KAAK,KAAK,oBAAoB,EAAE,CAAC;QACnC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAA;IAC9D,CAAC;IACD,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAA;AAC1F,CAAC;AAED,SAAS,mBAAmB,CAAC,WAAmB,EAAE,IAAY;IAC5D,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;IAC3C,MAAM,eAAe,GAAG,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAA;IACvD,IAAI,eAAe,KAAK,IAAI,IAAI,eAAe,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC;WACjE,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAA;IAC7F,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAyB;IACpD,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;IAC3D,MAAM,WAAW,GAAG;QAClB,MAAM,CAAC,SAAS;QAChB,MAAM,CAAC,QAAQ;QACf,MAAM,CAAC,QAAQ;QACf,MAAM,CAAC,IAAI;QACX,MAAM,CAAC,KAAK;QACZ,MAAM,CAAC,KAAK;QACZ,MAAM,CAAC,MAAM;QACb,MAAM,CAAC,UAAU;QACjB,MAAM;KACP,CAAA;IACD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,IAAI,IAAI,EAAE,CAAC;YACT,mBAAmB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;QACxC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACvD,IAAI,IAAI,EAAE,CAAC;YACT,mBAAmB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;QACxC,CAAC;IACH,CAAC;AACH,CAAC;AAED,KAAK,UAAU,yBAAyB,CACtC,OAAyB,EACzB,IAA+B;IAE/B,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;IAC/C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,uCAAuC,IAAI,gBAAgB,CAAC,CAAA;IAC9E,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAA;IAC1E,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,yBAAyB,CAAC,CAAA;IACxE,CAAC;AACH,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,OAAyB;IACnD,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;IACpD,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACzB,MAAM,iBAAiB,CAAC,OAAO,CAAC,CAAA;QAChC,OAAO,oBAAoB,CAAA;IAC7B,CAAC;IACD,IAAI,KAAK,KAAK,aAAa,EAAE,CAAC;QAC5B,MAAM,yBAAyB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;QACtD,MAAM,qBAAqB,CAAC,OAAO,CAAC,CAAA;QACpC,OAAO,cAAc,CAAA;IACvB,CAAC;IACD,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvB,MAAM,yBAAyB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;QACtD,MAAM,yBAAyB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;QACpD,OAAO,cAAc,CAAC,OAAO,CAAC,CAAA;IAChC,CAAC;IACD,OAAO,OAAO,CAAC,UAAU,CAAC,KAAK,CAAA;AACjC,CAAC;AAED,SAAS,WAAW,CAAC,KAAY;IAC/B,OAAO,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;AAC/E,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,OAAyB;IACxD,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,YAAY,CAAC,CAAA;IAC3F,IAAI,kBAAkB,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,UAAU,EAAE,CAAC;QAC1D,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;QACnF,WAAW,CAAC,sBAAsB,CAAC,QAAQ,EAAE,oBAAoB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;QAClF,OAAM;IACR,CAAC;IACD,MAAM,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;IACjE,IAAI,CAAC;QACH,OAAO,kBAAkB,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,UAAU,EAAE,CAAC;YAC7D,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,CAAA;YACzC,MAAM,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;QAC1F,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,KAAK,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAA;QAClF,IAAI,kBAAkB,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,QAAQ,EAAE,CAAC;YACxD,OAAO,CAAC,UAAU,CAAC,OAAO,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAA;YAC3E,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,GAAG,IAAI,CAAA;QACtD,CAAC;QACD,MAAM,aAAa,CACjB,OAAO,EACP,OAAO,CAAC,UAAU,CAAC,KAAK,EACxB,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,EAC7C,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAC1C,CAAA;QACD,MAAM,KAAK,CAAA;IACb,CAAC;IACD,WAAW,CAAC,sBAAsB,CAAC,OAAO,CAAC,UAAU,EAAE,oBAAoB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;AAC9F,CAAC;AAED,SAAS,eAAe,CAAC,OAAyB;IAKhD,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;IACtC,OAAO,oBAAoB,CAAC;QAC1B,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;QAC7D,iBAAiB,EAAE,oBAAoB,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC;QAC7E,mBAAmB,EAAE,UAAU,CAAC,WAAW,CAAC,mBAAmB;QAC/D,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;QAChD,aAAa,EAAE,UAAU,CAAC,cAAc,CAAC,aAAa;KACvD,CAAC,CAAA;AACJ,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,OAAyB;IACvD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;IAClC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAM;IACR,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,OAAM;IACR,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE;QAChF,eAAe,EAAE,KAAK,IAAI,EAAE,CAAC,8BAA8B,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC;KACzF,CAAC,CAAA;IACF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAM;IACR,CAAC;IACD,MAAM,EAAE,mBAAmB,EAAE,GAAG,MAAM,MAAM,CAAC,iBAAiB,CAAC,CAAA;IAC/D,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAA;IAClE,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;IAC/B,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACrB,CAAC;IACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAA;IAC5C,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,MAAM,CAAC,YAAY,CAAC,CAAA;IAC5C,MAAM,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAA;AACpD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,MAA0B,EAC1B,MAAuB;IAEvB,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IACjC,MAAM,YAAY,GAAG,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,SAAS,EAAE,eAAe,CAAC,CAAA;IAC5E,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAA;IAC3E,MAAM,KAAK,GAAG,UAAU,EAAE,CAAA;IAC1B,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,MAAM,CAAA;IAC7E,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAC1C,WAAW,EACX,MAAM,EACN,MAAM,EACN,KAAK,EACL,cAAc,CACf,CAAA;IACD,MAAM,OAAO,GAAG,sBAAsB,CAAC;QACrC,YAAY;QACZ,WAAW;QACX,KAAK;QACL,WAAW;QACX,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7B,MAAM;KACP,CAAC,CAAA;IACF,MAAM,aAAa,CAAC,OAAO,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;IACjF,MAAM,2BAA2B,GAAG,WAAW,CAAC,MAAM,KAAK,qBAAqB;WAC3E,WAAW,CAAC,MAAM,KAAK,gBAAgB,CAAA;IAC5C,IAAI,CAAC,MAAM,IAAI,CAAC,2BAA2B,EAAE,CAAC;QAC5C,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,WAAW,CAAC,sBAAsB,CAAC,OAAO,CAAC,UAAU,EAAE,oBAAoB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;YAC5F,OAAM;QACR,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,KAAK,CACrB,yFAAyF,CAC1F,CAAA;QACD,MAAM,aAAa,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;QACjE,MAAM,KAAK,CAAA;IACb,CAAC;IACD,MAAM,iBAAiB,CAAC,OAAO,CAAC,CAAA;IAChC,MAAM,gBAAgB,CAAC,OAAO,CAAC,CAAA;AACjC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAY;IAChD,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IACjC,MAAM,YAAY,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;IAC/C,MAAM,UAAU,GAAG,MAAM,uBAAuB,CAAC,YAAY,CAAC,CAAA;IAC9D,MAAM,OAAO,GAAG,uBAAuB,CAAC,YAAY,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IAC9E,mBAAmB,CAAC,OAAO,CAAC,CAAA;IAC5B,MAAM,iBAAiB,CAAC,OAAO,CAAC,CAAA;AAClC,CAAC"}
|
|
1
|
+
{"version":3,"file":"diagnose.js","sourceRoot":"","sources":["../../src/commands/diagnose.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AACvC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AAE9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAA;AAC3D,OAAO,EACL,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,4BAA4B,CAAA;AACnC,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,sBAAsB,EACtB,gBAAgB,EAChB,UAAU,EACV,uBAAuB,EACvB,aAAa,EACb,eAAe,GAChB,MAAM,2BAA2B,CAAA;AAOlC,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,EACL,kBAAkB,GACnB,MAAM,gCAAgC,CAAA;AACvC,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAA;AAC/E,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAA;AACzD,OAAO,EACL,aAAa,EACb,oBAAoB,GACrB,MAAM,cAAc,CAAA;AAGrB,SAAS,aAAa,CACpB,MAA0B,EAC1B,MAA0B,EAC1B,cAAuB;IAEvB,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,cAAc,CAAA;AACvB,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,WAAmB,EACnB,MAA0B,EAC1B,MAAuB,EACvB,KAAqB,EACrB,cAAuB;IAEvB,IAAI,WAAW,GAAG,gBAAgB,EAAE,CAAA;IACpC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;IAC5B,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAA;QAChD,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE;YAC5C,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,KAAK;SACf,CAAC,CAAA;QACF,KAAK,CAAC,QAAQ,GAAG,mBAAmB,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC,CAAA;QAC5F,WAAW,GAAG,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,CAAA;QACnE,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAA;IAC9B,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC;QACzD,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAChC,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,CAAA;QAC1C,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE;YACvC,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,OAAO,EAAE,KAAK;SACf,CAAC,CAAA;QACF,KAAK,CAAC,IAAI,GAAG,mBAAmB,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAA;QACrF,WAAW,GAAG,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,aAAa,CAAC,CAAA;QAClE,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAA;IAC9B,CAAC;IACD,OAAO,WAAW,CAAA;AACpB,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,OAAyB;IACxD,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;IAC/C,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,MAAM,CAAC,eAAe,CAAC,CAAA;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;IAC5B,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,MAAM,IAAI,EAAE,EAAE;QAC1C,gBAAgB,EAAE,GAAG;QACrB,iBAAiB,EAAE,SAAS;QAC5B,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,KAAK,EAAE,eAAe;QACtB,eAAe,EAAE,GAAG;QACpB,MAAM,EAAE,OAAO;QACf,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC;QAChC,YAAY,EAAE,GAAG;QACjB,qBAAqB,EAAE,MAAM;QAC7B,aAAa,EAAE,KAAK;QACpB,kBAAkB,EAAE,MAAM;QAC1B,aAAa,EAAE,MAAM,CAAC,aAAa,CAAC;QACpC,cAAc,EAAE,KAAK;QACrB,aAAa,EAAE,GAAG;QAClB,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9B,MAAM,EAAE,MAAM,CAAC,UAAU;QACzB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,eAAe,EAAE,QAAQ;QACzB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,eAAe,EAAE,oBAAoB;QACrC,gBAAgB,EAAE,GAAG;QACrB,OAAO,EAAE,eAAe;QACxB,QAAQ,EAAE,kBAAkB;QAC5B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,iBAAiB,EAAE,KAAK;QACxB,gBAAgB,EAAE,KAAK;KACxB,CAAC,CAAA;IACF,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,UAAU,GAAG,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;IAC7F,iBAAiB,CAAC,OAAO,EAAE;QACzB,mBAAmB,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;QAC3C,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM;cAC9B,MAAM,CAAC,WAAW,CAAC,MAAM,CACzB,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,CAAC,KAAK,GAAG,CAC7B,QAAQ,IAAI,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CACtE,EACD,CAAC,CACF;KACJ,CAAC,CAAA;AACJ,CAAC;AAED,KAAK,UAAU,qBAAqB,CAAC,OAAyB;IAC5D,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;IAC/C,WAAW,CAAC,sBAAsB,CAAC;QACjC,WAAW,EAAE,CAAC,cAAc,CAAC;QAC7B,MAAM,EAAE,8EAA8E;cAClF,yDAAyD;QAC7D,IAAI,EAAE;YACJ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;YACvC,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE;YAC1D,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE;SAC9D;QACD,KAAK,EAAE,4BAA4B;KACpC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;IAClB,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAA;IACxD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;IAC5B,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,IAAI,EAAE,EAAE;QAC7C,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9B,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC;QAChC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,CAAC;QAC5C,aAAa,EAAE,MAAM,CAAC,aAAa,CAAC;QACpC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC;QAChC,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC;QAClC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9B,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,CAAC;QAClD,MAAM,EAAE,MAAM,CAAC,QAAQ;QACvB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC,CAAA;IACF,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,QAAQ,GAAG,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAA;IACzF,iBAAiB,CAAC,OAAO,EAAE;QACzB,kBAAkB,EAAE,MAAM,CAAC,KAAK,CAAC,gBAAgB;QACjD,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW;QACvC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY;QACzC,mBAAmB,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;QAC3C,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CACnC,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,CAAC,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,EACvD,CAAC,CACF;KACF,CAAC,CAAA;AACJ,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,OAAyB;IACrD,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;IACvC,WAAW,CAAC,sBAAsB,CAAC;QACjC,WAAW,EAAE,CAAC,cAAc,EAAE,gBAAgB,CAAC;QAC/C,MAAM,EAAE,0EAA0E;cAC9E,qCAAqC;QACzC,IAAI,EAAE;YACJ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;YACvC,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE;YAC1D,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE;SAC/E;QACD,KAAK,EAAE,uCAAuC;KAC/C,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;IAClB,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC,CAAA;IAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;IAC5B,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE;QAC3C,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9B,aAAa,EAAE,MAAM,CAAC,aAAa,CAAC;QACpC,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,CAAC;QAClD,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC,CAAA;IACF,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,KAAK,CAAC,CAAA;IAC7C,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAA;IAC5B,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,GAAG,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;IACnF,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,GAAG,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;IACnF,iBAAiB,CAAC,OAAO,EAAE;QACzB,kBAAkB,EAAE,MAAM,CAAC,KAAK,CAAC,gBAAgB;QACjD,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW;QACvC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY;QACzC,mBAAmB,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;QAC3C,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM;cACzC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM;cAChC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM;cAChC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAC/B,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,CAAC,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,EACvD,CAAC,CACF;QACH,sBAAsB,EAAE,CAAC;QACzB,qBAAqB,EAAE,CAAC;QACxB,aAAa,EAAE,IAAI;KACpB,CAAC,CAAA;IACF,OAAO,CAAC,UAAU,CAAC,KAAK,GAAG;QACzB,GAAG,EAAE,IAAI;QACT,MAAM,EAAE,sFAAsF;QAC9F,MAAM,EAAE,UAAU;KACnB,CAAA;IACD,OAAO,CAAC,UAAU,CAAC,OAAO,GAAG,EAAE,aAAa,EAAE,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAA;IACtE,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe,CAAA;IAClE,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC,CAAA;IACtD,MAAM,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE;QACpC,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,CAAC;QAClD,OAAO,EAAE,KAAK;QACd,UAAU,EAAE,MAAM,CAAC,UAAU;KAC9B,CAAC,CAAA;IACF,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,GAAG,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;IACjF,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;IACtB,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,UAAU,CAAC,OAAyB,EAAE,KAAqB;IAClE,IAAI,KAAK,KAAK,eAAe,IAAI,KAAK,KAAK,iBAAiB,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,KAAK,KAAK,cAAc,EAAE,CAAC;QAC7B,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAA;IAC/B,CAAC;IACD,IAAI,KAAK,KAAK,oBAAoB,EAAE,CAAC;QACnC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAA;IAC9D,CAAC;IACD,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAA;AAC1F,CAAC;AAED,SAAS,mBAAmB,CAAC,WAAmB,EAAE,IAAY;IAC5D,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;IAC3C,MAAM,eAAe,GAAG,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAA;IACvD,IAAI,eAAe,KAAK,IAAI,IAAI,eAAe,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC;WACjE,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAA;IAC7F,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAyB;IACpD,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;IAC3D,MAAM,WAAW,GAAG;QAClB,MAAM,CAAC,SAAS;QAChB,MAAM,CAAC,QAAQ;QACf,MAAM,CAAC,QAAQ;QACf,MAAM,CAAC,IAAI;QACX,MAAM,CAAC,KAAK;QACZ,MAAM,CAAC,KAAK;QACZ,MAAM,CAAC,MAAM;QACb,MAAM,CAAC,UAAU;QACjB,MAAM;KACP,CAAA;IACD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,IAAI,IAAI,EAAE,CAAC;YACT,mBAAmB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;QACxC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACvD,IAAI,IAAI,EAAE,CAAC;YACT,mBAAmB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;QACxC,CAAC;IACH,CAAC;AACH,CAAC;AAED,KAAK,UAAU,yBAAyB,CACtC,OAAyB,EACzB,IAA+B;IAE/B,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;IAC/C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,uCAAuC,IAAI,gBAAgB,CAAC,CAAA;IAC9E,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAA;IAC1E,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,yBAAyB,CAAC,CAAA;IACxE,CAAC;AACH,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,OAAyB;IACnD,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;IACpD,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACzB,MAAM,iBAAiB,CAAC,OAAO,CAAC,CAAA;QAChC,OAAO,oBAAoB,CAAA;IAC7B,CAAC;IACD,IAAI,KAAK,KAAK,aAAa,EAAE,CAAC;QAC5B,MAAM,yBAAyB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;QACtD,MAAM,qBAAqB,CAAC,OAAO,CAAC,CAAA;QACpC,OAAO,cAAc,CAAA;IACvB,CAAC;IACD,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvB,MAAM,yBAAyB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;QACtD,MAAM,yBAAyB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;QACpD,OAAO,cAAc,CAAC,OAAO,CAAC,CAAA;IAChC,CAAC;IACD,OAAO,OAAO,CAAC,UAAU,CAAC,KAAK,CAAA;AACjC,CAAC;AAED,SAAS,WAAW,CAAC,KAAY;IAC/B,OAAO,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;AAC/E,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,OAAyB;IACxD,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,YAAY,CAAC,CAAA;IAC3F,IAAI,kBAAkB,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,UAAU,EAAE,CAAC;QAC1D,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;QACnF,WAAW,CAAC,sBAAsB,CAAC,QAAQ,EAAE,oBAAoB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;QAClF,OAAM;IACR,CAAC;IACD,MAAM,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;IACjE,IAAI,CAAC;QACH,OAAO,kBAAkB,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,UAAU,EAAE,CAAC;YAC7D,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,CAAA;YACzC,MAAM,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;QAC1F,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,KAAK,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAA;QAClF,IAAI,kBAAkB,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,QAAQ,EAAE,CAAC;YACxD,OAAO,CAAC,UAAU,CAAC,OAAO,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAA;YAC3E,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,GAAG,IAAI,CAAA;QACtD,CAAC;QACD,MAAM,aAAa,CACjB,OAAO,EACP,OAAO,CAAC,UAAU,CAAC,KAAK,EACxB,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,EAC7C,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAC1C,CAAA;QACD,MAAM,KAAK,CAAA;IACb,CAAC;IACD,WAAW,CAAC,sBAAsB,CAAC,OAAO,CAAC,UAAU,EAAE,oBAAoB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;AAC9F,CAAC;AAED,SAAS,eAAe,CAAC,OAAyB;IAKhD,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;IACtC,OAAO,oBAAoB,CAAC;QAC1B,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;QAC7D,iBAAiB,EAAE,oBAAoB,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC;QAC7E,mBAAmB,EAAE,UAAU,CAAC,WAAW,CAAC,mBAAmB;QAC/D,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;QAChD,aAAa,EAAE,UAAU,CAAC,cAAc,CAAC,aAAa;KACvD,CAAC,CAAA;AACJ,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,OAAyB;IACvD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;IAClC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAM;IACR,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,OAAM;IACR,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE;QAChF,eAAe,EAAE,KAAK,IAAI,EAAE,CAAC,8BAA8B,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC;KACzF,CAAC,CAAA;IACF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAM;IACR,CAAC;IACD,MAAM,EAAE,mBAAmB,EAAE,GAAG,MAAM,MAAM,CAAC,iBAAiB,CAAC,CAAA;IAC/D,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAA;IAClE,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;IAC/B,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACrB,CAAC;IACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAA;IAC5C,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,MAAM,CAAC,YAAY,CAAC,CAAA;IAC5C,MAAM,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAA;AACpD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,MAA0B,EAC1B,MAAuB;IAEvB,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IACjC,MAAM,YAAY,GAAG,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,SAAS,EAAE,eAAe,CAAC,CAAA;IAC5E,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAA;IAC3E,MAAM,KAAK,GAAG,UAAU,EAAE,CAAA;IAC1B,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,MAAM,CAAA;IAC7E,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAC1C,WAAW,EACX,MAAM,EACN,MAAM,EACN,KAAK,EACL,cAAc,CACf,CAAA;IACD,MAAM,OAAO,GAAG,sBAAsB,CAAC;QACrC,YAAY;QACZ,WAAW;QACX,KAAK;QACL,WAAW;QACX,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7B,MAAM;KACP,CAAC,CAAA;IACF,MAAM,aAAa,CAAC,OAAO,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;IACjF,MAAM,2BAA2B,GAAG,WAAW,CAAC,MAAM,KAAK,qBAAqB;WAC3E,WAAW,CAAC,MAAM,KAAK,gBAAgB,CAAA;IAC5C,IAAI,CAAC,MAAM,IAAI,CAAC,2BAA2B,EAAE,CAAC;QAC5C,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,WAAW,CAAC,sBAAsB,CAAC,OAAO,CAAC,UAAU,EAAE,oBAAoB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;YAC5F,OAAM;QACR,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,KAAK,CACrB,yFAAyF,CAC1F,CAAA;QACD,MAAM,aAAa,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;QACjE,MAAM,KAAK,CAAA;IACb,CAAC;IACD,MAAM,iBAAiB,CAAC,OAAO,CAAC,CAAA;IAChC,MAAM,gBAAgB,CAAC,OAAO,CAAC,CAAA;AACjC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAY;IAChD,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IACjC,MAAM,YAAY,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;IAC/C,MAAM,UAAU,GAAG,MAAM,uBAAuB,CAAC,YAAY,CAAC,CAAA;IAC9D,MAAM,OAAO,GAAG,uBAAuB,CAAC,YAAY,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IAC9E,mBAAmB,CAAC,OAAO,CAAC,CAAA;IAC5B,MAAM,iBAAiB,CAAC,OAAO,CAAC,CAAA;AAClC,CAAC"}
|
|
@@ -15,4 +15,5 @@ export type DiscoveryResult = AuthCookieDiscoveryResult | DelayDiscoveryResult |
|
|
|
15
15
|
kind: "shared-state-interference" | "worker-pressure";
|
|
16
16
|
}>>;
|
|
17
17
|
export declare function buildDiscoveredReproducer(test: string, seed: number, minimumRate: number, trigger: Fault, triggerResult: ExperimentResult): Reproducer;
|
|
18
|
+
export declare function discoveryFailureDetail(timedOut: boolean, completedTrials: number, plannedTrials: number | undefined): string;
|
|
18
19
|
export declare function discover(selector: string, values: DiscoverOptions): Promise<DiscoveryResult>;
|
|
@@ -2,7 +2,7 @@ import { writeFile } from "node:fs/promises";
|
|
|
2
2
|
import { basename, dirname, extname, resolve } from "node:path";
|
|
3
3
|
import { discoverAuthCookieExpiry } from "../discovery/auth-cookie.js";
|
|
4
4
|
import { discoverEventLoopStall } from "../discovery/event-loop.js";
|
|
5
|
-
import { discoverNetworkDelay, discoverResponseDuplication, discoverResponseReordering, discoverResponseTruncation, } from "../discovery/minimize.js";
|
|
5
|
+
import { discoverNetworkDelay, discoverResponseDuplication, discoverResponseReordering, discoverResponseTruncation, networkDelayTrialBound, } from "../discovery/minimize.js";
|
|
6
6
|
import { discoverResourceLoadingDelay } from "../discovery/resource-loading.js";
|
|
7
7
|
import { discoverStartupEventDelay } from "../discovery/startup-event.js";
|
|
8
8
|
import { discoverStorageStateDelay } from "../discovery/storage-state.js";
|
|
@@ -198,15 +198,31 @@ async function runBoundedDiscovery(selector, values, progress, maxSeconds) {
|
|
|
198
198
|
timeoutMessage: `Discovery stopped after reaching --max-seconds ${maxSeconds}`,
|
|
199
199
|
});
|
|
200
200
|
}
|
|
201
|
-
async function reportedDiscovery(selector, values, progress, maxSeconds, reporter) {
|
|
201
|
+
async function reportedDiscovery(selector, values, progress, maxSeconds, plannedTrials, reporter) {
|
|
202
202
|
try {
|
|
203
203
|
return await runBoundedDiscovery(selector, values, progress, maxSeconds);
|
|
204
204
|
}
|
|
205
205
|
catch (error) {
|
|
206
|
-
|
|
206
|
+
const timedOut = error instanceof Error && error.message.includes("--max-seconds");
|
|
207
|
+
reporter.fail(discoveryFailureDetail(timedOut, progress.completed, plannedTrials));
|
|
207
208
|
throw error;
|
|
208
209
|
}
|
|
209
210
|
}
|
|
211
|
+
export function discoveryFailureDetail(timedOut, completedTrials, plannedTrials) {
|
|
212
|
+
if (!timedOut) {
|
|
213
|
+
return `no confirmed trigger · ${completedTrials} trials`;
|
|
214
|
+
}
|
|
215
|
+
const progress = plannedTrials === undefined
|
|
216
|
+
? `${completedTrials} trials`
|
|
217
|
+
: `${completedTrials} of ${plannedTrials} planned trials`;
|
|
218
|
+
return `incomplete · ${progress}`;
|
|
219
|
+
}
|
|
220
|
+
function plannedDiscoveryTrials(values) {
|
|
221
|
+
if (values.fault !== "network-delay") {
|
|
222
|
+
return undefined;
|
|
223
|
+
}
|
|
224
|
+
return networkDelayTrialBound(integerOption(values.trials, "trials"), integerOption(values["max-delay"], "max-delay"));
|
|
225
|
+
}
|
|
210
226
|
export async function discover(selector, values) {
|
|
211
227
|
const projectRoot = process.cwd();
|
|
212
228
|
const outputPath = resolve(projectRoot, values.output);
|
|
@@ -216,7 +232,7 @@ export async function discover(selector, values) {
|
|
|
216
232
|
const reporter = new ProgressReporter();
|
|
217
233
|
reporter.start(`discovery · ${values.fault}`, `bounded to ${formatSeconds(maxSeconds)} · stable triggers receive a 12-trial confirmation`);
|
|
218
234
|
const progress = new TrialProgress(reporter, maxSeconds);
|
|
219
|
-
const result = await reportedDiscovery(selector, values, progress, maxSeconds, reporter);
|
|
235
|
+
const result = await reportedDiscovery(selector, values, progress, maxSeconds, plannedDiscoveryTrials(values), reporter);
|
|
220
236
|
reporter.done(`${describeTrigger(result)} · ${progress.completed} trials`);
|
|
221
237
|
await writeReproducer(outputPath, buildDiscoveredReproducer(selector, seed, minimumFailureRate, result.trigger, result.triggerResult));
|
|
222
238
|
const discoveryPath = resolve(dirname(outputPath), `${basename(outputPath, extname(outputPath))}.discovery.json`);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"discover.js","sourceRoot":"","sources":["../../src/commands/discover.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAC5C,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAS/D,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAA;AAEtE,OAAO,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAA;AACnE,OAAO,EACL,oBAAoB,EACpB,2BAA2B,EAC3B,0BAA0B,EAC1B,0BAA0B,
|
|
1
|
+
{"version":3,"file":"discover.js","sourceRoot":"","sources":["../../src/commands/discover.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAC5C,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAS/D,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAA;AAEtE,OAAO,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAA;AACnE,OAAO,EACL,oBAAoB,EACpB,2BAA2B,EAC3B,0BAA0B,EAC1B,0BAA0B,EAC1B,sBAAsB,GACvB,MAAM,0BAA0B,CAAA;AAEjC,OAAO,EAAE,4BAA4B,EAAE,MAAM,kCAAkC,CAAA;AAE/E,OAAO,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAA;AAEzE,OAAO,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAA;AAEzE,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,gBAAgB,GACjB,MAAM,sCAAsC,CAAA;AAE7C,OAAO,EACL,sBAAsB,EACtB,qBAAqB,EACrB,gBAAgB,GACjB,MAAM,oCAAoC,CAAA;AAE3C,OAAO,EACL,+BAA+B,EAC/B,sBAAsB,GACvB,MAAM,oCAAoC,CAAA;AAG3C,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,gBAAgB,EAChB,yBAAyB,EACzB,YAAY,EACZ,kBAAkB,EAClB,cAAc,GACf,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAEvD,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAA;AAE3E,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAC/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAEvD,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AA2BhG,SAAS,mBAAmB,CAAC,KAAyB,EAAE,MAAc,EAAE,KAAa;IACnF,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,eAAe,MAAM,UAAU,CAAC,CAAA;IAC1D,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,IAAY,EACZ,IAAY,EACZ,WAAmB,EACnB,OAAc,EACd,aAA+B;IAE/B,OAAO;QACL,IAAI;QACJ,IAAI;QACJ,MAAM,EAAE,aAAa,CAAC,MAAM;QAC5B,MAAM,EAAE,CAAC,OAAO,CAAC;QACjB,eAAe,EAAE;YACf,WAAW;YACX,GAAG,CAAC,aAAa,CAAC,wBAAwB;gBACxC,CAAC,CAAC,EAAE,SAAS,EAAE,aAAa,CAAC,wBAAwB,EAAE;gBACvD,CAAC,CAAC,EAAE,CAAC;SACR;KACF,CAAA;AACH,CAAC;AAED,KAAK,UAAU,uBAAuB,CACpC,OAAsB,EACtB,MAAuB,EACvB,MAA8B;IAE9B,IAAI,MAAM,CAAC,KAAK,KAAK,iBAAiB,EAAE,CAAC;QACvC,OAAO,sBAAsB,CAAC,OAAO,EAAE;YACrC,GAAG,MAAM;YACT,IAAI,EAAE,oBAAoB,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;SACvE,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,oBAAoB,EAAE,CAAC;QAC1C,OAAO,wBAAwB,CAAC,OAAO,EAAE;YACvC,GAAG,MAAM;YACT,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,mBAAmB,CACpD,MAAM,CAAC,aAAa,CAAC,EAAE,aAAa,EAAE,oBAAoB,CAC3D,CAAC;SACH,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;QAClC,OAAO,iBAAiB,CAAC,OAAO,EAAE;YAChC,GAAG,MAAM;YACT,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;YACpE,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;SACtE,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,kBAAkB,EAAE,CAAC;QACxC,OAAO,sBAAsB,CAAC,OAAO,EAAE;YACrC,GAAG,MAAM;YACT,iBAAiB,EAAE,aAAa,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC;YACxE,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;SACxE,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,cAAc,CAAC,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAC1F,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,gBAAgB,EAAE,CAAC;QACtC,OAAO,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IAC/C,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,qBAAqB,EAAE,CAAC;QAC3C,OAAO,yBAAyB,CAAC,OAAO,EAAE;YACxC,GAAG,MAAM;YACT,GAAG,EAAE,uBAAuB,CAAC,KAAK,CAAC,mBAAmB,CACpD,MAAM,CAAC,aAAa,CAAC,EAAE,aAAa,EAAE,qBAAqB,CAC5D,CAAC;YACF,cAAc,EAAE,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;YAC/D,OAAO,EAAE,wBAAwB,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC;SACxD,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,gBAAgB,CAAC,OAAO,EAAE;YAC/B,GAAG,MAAM;YACT,UAAU,EAAE,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC;SAClD,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,gBAAgB,CAAC,OAAO,EAAE;YAC/B,GAAG,MAAM;YACT,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;YACnE,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;SACjE,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,OAAsB,EACtB,QAAgB,EAChB,MAAuB,EACvB,MAA8B;IAE9B,IAAI,MAAM,CAAC,KAAK,KAAK,2BAA2B,EAAE,CAAC;QACjD,OAAO,+BAA+B,CAAC,OAAO,EAAE;YAC9C,GAAG,MAAM;YACT,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC;YAChE,OAAO,EAAE,QAAQ;SAClB,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,iBAAiB,EAAE,CAAC;QACvC,OAAO,sBAAsB,CAAC,OAAO,EAAE;YACrC,GAAG,MAAM;YACT,cAAc,EAAE,aAAa,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC;YACnE,OAAO,EAAE,QAAQ;SAClB,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CACtB,YAA2B,EAC3B,QAAuB;IAEvB,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;QACrB,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,KAAK,CAAC,CAAA;QACzC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC,CAAA;QAClD,OAAO,OAAO,CAAA;IAChB,CAAC,CAAA;AACH,CAAC;AAED,KAAK,UAAU,YAAY,CACzB,QAAgB,EAChB,MAAuB,EACvB,QAAuB,EACvB,MAAmB;IAEnB,MAAM,MAAM,GAAG;QACb,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;QAC7D,kBAAkB,EAAE,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAClD,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;QACxC,MAAM;QACN,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;KAC/C,CAAA;IACD,MAAM,YAAY,GAAG,wBAAwB,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,CAAA;IAClF,MAAM,OAAO,GAAG,eAAe,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAA;IACvD,MAAM,YAAY,GAAG,MAAM,kBAAkB,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAChF,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,YAAY,CAAA;IACrB,CAAC;IACD,MAAM,iBAAiB,GAAG,MAAM,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAChF,IAAI,iBAAiB,EAAE,CAAC;QACtB,OAAO,iBAAiB,CAAA;IAC1B,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,eAAe,EAAE,CAAC;QACrC,OAAO,oBAAoB,CAAC,OAAO,EAAE;YACnC,GAAG,MAAM;YACT,cAAc,EAAE,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;SAChE,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,qBAAqB,EAAE,CAAC;QAC3C,OAAO,0BAA0B,CAAC,OAAO,EAAE;YACzC,GAAG,MAAM;YACT,kBAAkB,EAAE,aAAa,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;SAClF,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,sBAAsB,EAAE,CAAC;QAC5C,OAAO,2BAA2B,CAAC,OAAO,EAAE;YAC1C,GAAG,MAAM;YACT,qBAAqB,EAAE,aAAa,CAClC,MAAM,CAAC,qBAAqB,CAAC,EAC7B,qBAAqB,CACtB;SACF,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,qBAAqB,EAAE,CAAC;QAC3C,OAAO,0BAA0B,CAAC,OAAO,EAAE;YACzC,GAAG,MAAM;YACT,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC;SACnE,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,wBAAwB,EAAE,CAAC;QAC9C,OAAO,4BAA4B,CAAC,OAAO,EAAE;YAC3C,GAAG,MAAM;YACT,cAAc,EAAE,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;YAC/D,YAAY,EAAE,yBAAyB,CAAC,KAAK,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;SACvE,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,qBAAqB,EAAE,CAAC;QAC3C,OAAO,yBAAyB,CAAC,OAAO,EAAE;YACxC,GAAG,MAAM;YACT,KAAK,EAAE,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;YACxD,cAAc,EAAE,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;SAChE,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,IAAI,KAAK,CACb,6TAA6T,CAC9T,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CAAC,MAAuB;IAC9C,MAAM,KAAK,GAAa,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IAC7C,IAAI,gBAAgB,IAAI,MAAM,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,cAAc,KAAK,CAAC,CAAA;IACzD,CAAC;IACD,IAAI,mBAAmB,IAAI,MAAM,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,oBAAoB,MAAM,CAAC,iBAAiB,KAAK,CAAC,CAAA;IAC/D,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAA;IACrC,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,qBAAqB,CAAC,CAAA;IACtE,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAC1B,CAAC;AAED,KAAK,UAAU,mBAAmB,CAChC,QAAgB,EAChB,MAAuB,EACvB,QAAuB,EACvB,UAAkB;IAElB,OAAO,gBAAgB,CACrB,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,EAClE;QACE,UAAU;QACV,cAAc,EAAE,kDAAkD,UAAU,EAAE;KAC/E,CACF,CAAA;AACH,CAAC;AAED,KAAK,UAAU,iBAAiB,CAC9B,QAAgB,EAChB,MAAuB,EACvB,QAAuB,EACvB,UAAkB,EAClB,aAAiC,EACjC,QAA0B;IAE1B,IAAI,CAAC;QACH,OAAO,MAAM,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAA;IAC1E,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,QAAQ,GAAG,KAAK,YAAY,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAA;QAClF,QAAQ,CAAC,IAAI,CAAC,sBAAsB,CAAC,QAAQ,EAAE,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,CAAA;QAClF,MAAM,KAAK,CAAA;IACb,CAAC;AACH,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,QAAiB,EACjB,eAAuB,EACvB,aAAiC;IAEjC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,0BAA0B,eAAe,SAAS,CAAA;IAC3D,CAAC;IACD,MAAM,QAAQ,GAAG,aAAa,KAAK,SAAS;QAC1C,CAAC,CAAC,GAAG,eAAe,SAAS;QAC7B,CAAC,CAAC,GAAG,eAAe,OAAO,aAAa,iBAAiB,CAAA;IAC3D,OAAO,gBAAgB,QAAQ,EAAE,CAAA;AACnC,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAuB;IACrD,IAAI,MAAM,CAAC,KAAK,KAAK,eAAe,EAAE,CAAC;QACrC,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,sBAAsB,CAC3B,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,EACtC,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAChD,CAAA;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,QAAgB,EAAE,MAAuB;IACtE,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IACjC,MAAM,UAAU,GAAG,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;IACtD,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IAC/C,MAAM,kBAAkB,GAAG,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAA;IACzD,MAAM,UAAU,GAAG,oBAAoB,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC,CAAA;IAC7E,MAAM,QAAQ,GAAG,IAAI,gBAAgB,EAAE,CAAA;IACvC,QAAQ,CAAC,KAAK,CACZ,eAAe,MAAM,CAAC,KAAK,EAAE,EAC7B,cAAc,aAAa,CAAC,UAAU,CAAC,oDAAoD,CAC5F,CAAA;IACD,MAAM,QAAQ,GAAG,IAAI,aAAa,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;IACxD,MAAM,MAAM,GAAG,MAAM,iBAAiB,CACpC,QAAQ,EACR,MAAM,EACN,QAAQ,EACR,UAAU,EACV,sBAAsB,CAAC,MAAM,CAAC,EAC9B,QAAQ,CACT,CAAA;IACD,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,MAAM,QAAQ,CAAC,SAAS,SAAS,CAAC,CAAA;IAC1E,MAAM,eAAe,CAAC,UAAU,EAAE,yBAAyB,CACzD,QAAQ,EACR,IAAI,EACJ,kBAAkB,EAClB,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,aAAa,CACrB,CAAC,CAAA;IACF,MAAM,aAAa,GAAG,OAAO,CAC3B,OAAO,CAAC,UAAU,CAAC,EACnB,GAAG,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,iBAAiB,CAC9D,CAAA;IACD,MAAM,SAAS,CAAC,aAAa,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAA;IAC5F,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC;QACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM;QACtC,GAAG,CAAC,gBAAgB,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,GAAG,CAAC,mBAAmB,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,cAAc,EAAE,UAAU;QAC1B,aAAa;QACb,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,aAAa,EAAE,MAAM,CAAC,aAAa;KACpC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;IACZ,OAAO,MAAM,CAAA;AACf,CAAC"}
|
package/dist/diagnosis/cli.js
CHANGED
|
@@ -10,7 +10,7 @@ export function parseDiagnoseArguments(args) {
|
|
|
10
10
|
options: {
|
|
11
11
|
artifacts: { type: "string", default: ".flakelab/runs" },
|
|
12
12
|
baseline: { type: "string" },
|
|
13
|
-
concurrency: { type: "string", default: "
|
|
13
|
+
concurrency: { type: "string", default: "2" },
|
|
14
14
|
discover: { type: "boolean", default: false },
|
|
15
15
|
evidence: { type: "string", default: "flakelab.investigation.json" },
|
|
16
16
|
html: { type: "string", default: "flakelab.report.html" },
|
|
@@ -18,7 +18,7 @@ export function parseDiagnoseArguments(args) {
|
|
|
18
18
|
"max-cost": { type: "string", default: "0.25" },
|
|
19
19
|
"max-delay": { type: "string", default: "250" },
|
|
20
20
|
"max-experiments": { type: "string", default: "3" },
|
|
21
|
-
"max-seconds": { type: "string", default: "
|
|
21
|
+
"max-seconds": { type: "string", default: "600" },
|
|
22
22
|
"max-steps": { type: "string", default: "3" },
|
|
23
23
|
"max-trials": { type: "string", default: "12" },
|
|
24
24
|
"min-rate": { type: "string", default: "0.7" },
|
|
@@ -53,7 +53,7 @@ export function parseDiagnoseArguments(args) {
|
|
|
53
53
|
options: {
|
|
54
54
|
artifacts: withDefault(parsed.values.artifacts, ".flakelab/runs"),
|
|
55
55
|
baseline: parsed.values.baseline,
|
|
56
|
-
concurrency: withDefault(parsed.values.concurrency, "
|
|
56
|
+
concurrency: withDefault(parsed.values.concurrency, "2"),
|
|
57
57
|
discover: withDefault(parsed.values.discover, false),
|
|
58
58
|
evidence: withDefault(parsed.values.evidence, "flakelab.investigation.json"),
|
|
59
59
|
html: withDefault(parsed.values.html, "flakelab.report.html"),
|
|
@@ -61,7 +61,7 @@ export function parseDiagnoseArguments(args) {
|
|
|
61
61
|
"max-cost": withDefault(parsed.values["max-cost"], "0.25"),
|
|
62
62
|
"max-delay": withDefault(parsed.values["max-delay"], "250"),
|
|
63
63
|
"max-experiments": withDefault(parsed.values["max-experiments"], "3"),
|
|
64
|
-
"max-seconds": withDefault(parsed.values["max-seconds"], "
|
|
64
|
+
"max-seconds": withDefault(parsed.values["max-seconds"], "600"),
|
|
65
65
|
"max-steps": withDefault(parsed.values["max-steps"], "3"),
|
|
66
66
|
"max-trials": withDefault(parsed.values["max-trials"], "12"),
|
|
67
67
|
"min-rate": withDefault(parsed.values["min-rate"], "0.7"),
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/diagnosis/cli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAUrC,SAAS,WAAW,CAAI,KAAoB,EAAE,QAAW;IACvD,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAA;AAC/C,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAc;IACnD,MAAM,MAAM,GAAG,SAAS,CAAC;QACvB,IAAI;QACJ,gBAAgB,EAAE,IAAI;QACtB,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE;YACP,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,EAAE;YACxD,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC5B,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE;YAC7C,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YAC7C,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,6BAA6B,EAAE;YACpE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,sBAAsB,EAAE;YACzD,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YAChD,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE;YAC/C,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE;YAC/C,iBAAiB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE;YACnD,aAAa,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/diagnosis/cli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAUrC,SAAS,WAAW,CAAI,KAAoB,EAAE,QAAW;IACvD,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAA;AAC/C,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAc;IACnD,MAAM,MAAM,GAAG,SAAS,CAAC;QACvB,IAAI;QACJ,gBAAgB,EAAE,IAAI;QACtB,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE;YACP,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,EAAE;YACxD,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC5B,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE;YAC7C,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YAC7C,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,6BAA6B,EAAE;YACpE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,sBAAsB,EAAE;YACzD,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YAChD,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE;YAC/C,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE;YAC/C,iBAAiB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE;YACnD,aAAa,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE;YACjD,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE;YAC7C,YAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE;YAC/C,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE;YAC9C,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,kBAAkB,EAAE;YACtD,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACzC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,EAAE;YACpD,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,iBAAiB,EAAE;YACvD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,qBAAqB,EAAE;YACzD,oBAAoB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACzD,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YAC3C,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC1B,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,qBAAqB,EAAE;YAC9D,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE;YACtC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE;YACtC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE;YACvD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE;SACzC;KACF,CAAC,CAAA;IACF,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAA;IAC7D,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;IACpC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAA;IAC9E,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7F,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAA;IAC1F,CAAC;IACD,OAAO;QACL,OAAO,EAAE,UAAU;QACnB,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE;YACP,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,gBAAgB,CAAC;YACjE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ;YAChC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC;YACxD,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC;YACpD,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,6BAA6B,CAAC;YAC5E,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,sBAAsB,CAAC;YAC7D,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC;YAC1D,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;YAC1D,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC;YAC3D,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,GAAG,CAAC;YACrE,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,KAAK,CAAC;YAC/D,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC;YACzD,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC;YAC5D,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC;YACzD,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,kBAAkB,CAAC;YAC3D,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;YAC5C,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,gBAAgB,CAAC;YACzD,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,iBAAiB,CAAC;YAC9D,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,qBAAqB,CAAC;YAC9D,oBAAoB,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,EAAE,KAAK,CAAC;YAC7E,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC;YAChD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM;YAC5B,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,qBAAqB,CAAC;YACxE,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;YAC1C,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;YAC1C,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE;YAClC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;SAC/C;KACF,CAAA;AACH,CAAC"}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
export interface DiscoveryBudget {
|
|
2
|
+
configuredSeconds: number;
|
|
3
|
+
estimatedSeconds: number;
|
|
4
|
+
recommendedSeconds: number;
|
|
5
|
+
}
|
|
6
|
+
interface DiscoveryBudgetInput {
|
|
7
|
+
concurrency: number;
|
|
8
|
+
configuredSeconds: number;
|
|
9
|
+
elapsedMilliseconds: number;
|
|
10
|
+
observedRuns: number;
|
|
11
|
+
plannedTrials: number;
|
|
12
|
+
}
|
|
13
|
+
export declare function buildDiscoveryBudget(input: DiscoveryBudgetInput): DiscoveryBudget;
|
|
14
|
+
export {};
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
export function buildDiscoveryBudget(input) {
|
|
2
|
+
const estimatedSeconds = Math.ceil(input.elapsedMilliseconds * input.plannedTrials
|
|
3
|
+
/ input.observedRuns / input.concurrency / 1_000 / 60) * 60;
|
|
4
|
+
const recommendedSeconds = Math.max(600, Math.ceil(estimatedSeconds * 2 / 60) * 60);
|
|
5
|
+
return {
|
|
6
|
+
configuredSeconds: input.configuredSeconds,
|
|
7
|
+
estimatedSeconds,
|
|
8
|
+
recommendedSeconds,
|
|
9
|
+
};
|
|
10
|
+
}
|
|
11
|
+
//# sourceMappingURL=discovery-budget.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"discovery-budget.js","sourceRoot":"","sources":["../../src/diagnosis/discovery-budget.ts"],"names":[],"mappings":"AAcA,MAAM,UAAU,oBAAoB,CAAC,KAA2B;IAC9D,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAChC,KAAK,CAAC,mBAAmB,GAAG,KAAK,CAAC,aAAa;UAC3C,KAAK,CAAC,YAAY,GAAG,KAAK,CAAC,WAAW,GAAG,KAAK,GAAG,EAAE,CACxD,GAAG,EAAE,CAAA;IACN,MAAM,kBAAkB,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,gBAAgB,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;IACnF,OAAO;QACL,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,gBAAgB;QAChB,kBAAkB;KACnB,CAAA;AACH,CAAC"}
|
|
@@ -1,12 +1,13 @@
|
|
|
1
1
|
import { integerOption, positiveNumberOption } from "../commands/options.js";
|
|
2
|
+
import { networkDelayTrialBound } from "../discovery/minimize.js";
|
|
3
|
+
import { buildDiscoveryBudget } from "./discovery-budget.js";
|
|
2
4
|
function quoted(value) {
|
|
3
5
|
return JSON.stringify(value);
|
|
4
6
|
}
|
|
5
7
|
function discoveryTrialBound(values) {
|
|
6
8
|
const trials = integerOption(values.trials, "trials");
|
|
7
9
|
const maximumDelay = integerOption(values["max-delay"], "max-delay");
|
|
8
|
-
|
|
9
|
-
return 2 * (trials * interventionBatches + Math.max(trials, 12));
|
|
10
|
+
return networkDelayTrialBound(trials, maximumDelay);
|
|
10
11
|
}
|
|
11
12
|
function formattedDuration(seconds) {
|
|
12
13
|
if (seconds < 60) {
|
|
@@ -18,9 +19,17 @@ function expectedDuration(elapsedMilliseconds, observedRuns, plannedTrials, conc
|
|
|
18
19
|
if (elapsedMilliseconds === 0 || observedRuns === 0) {
|
|
19
20
|
return `${plannedTrials} normal target run(s); no runtime sample is available yet`;
|
|
20
21
|
}
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
22
|
+
if (plannedTrials === 0) {
|
|
23
|
+
return formattedDuration(1);
|
|
24
|
+
}
|
|
25
|
+
const budget = buildDiscoveryBudget({
|
|
26
|
+
concurrency,
|
|
27
|
+
configuredSeconds: 0,
|
|
28
|
+
elapsedMilliseconds,
|
|
29
|
+
observedRuns,
|
|
30
|
+
plannedTrials,
|
|
31
|
+
});
|
|
32
|
+
return `up to ${Math.ceil(budget.recommendedSeconds / 60)} minute(s)`;
|
|
24
33
|
}
|
|
25
34
|
function localRecommendation(input, plannedTrials, command, rationale) {
|
|
26
35
|
return {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"recommendation.js","sourceRoot":"","sources":["../../src/diagnosis/recommendation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAA;
|
|
1
|
+
{"version":3,"file":"recommendation.js","sourceRoot":"","sources":["../../src/diagnosis/recommendation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAA;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AAEjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAA;AAe5D,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;AAC9B,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAuB;IAClD,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IACrD,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAAA;IACpE,OAAO,sBAAsB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;AACrD,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAe;IACxC,IAAI,OAAO,GAAG,EAAE,EAAE,CAAC;QACjB,OAAO,SAAS,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,YAAY,CAAA;IAClD,CAAC;IACD,OAAO,SAAS,IAAI,CAAC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC,YAAY,CAAA;AACrD,CAAC;AAED,SAAS,gBAAgB,CACvB,mBAA2B,EAC3B,YAAoB,EACpB,aAAqB,EACrB,WAAmB;IAEnB,IAAI,mBAAmB,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;QACpD,OAAO,GAAG,aAAa,2DAA2D,CAAA;IACpF,CAAC;IACD,IAAI,aAAa,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAA;IAC7B,CAAC;IACD,MAAM,MAAM,GAAG,oBAAoB,CAAC;QAClC,WAAW;QACX,iBAAiB,EAAE,CAAC;QACpB,mBAAmB;QACnB,YAAY;QACZ,aAAa;KACd,CAAC,CAAA;IACF,OAAO,SAAS,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,kBAAkB,GAAG,EAAE,CAAC,YAAY,CAAA;AACvE,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAA0B,EAC1B,aAAqB,EACrB,OAAsB,EACtB,SAAiB;IAEjB,OAAO;QACL,cAAc,EAAE,IAAI;QACpB,OAAO;QACP,WAAW,EAAE,EAAE;QACf,gBAAgB,EAAE,gBAAgB,CAChC,KAAK,CAAC,mBAAmB,EACzB,KAAK,CAAC,YAAY,EAClB,aAAa,EACb,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC,CACvD;QACD,aAAa;QACb,SAAS;QACT,qBAAqB,EAAE,CAAC;QACxB,cAAc,EAAE,8DAA8D;KAC/E,CAAA;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,KAA0B;IACxD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,eAAe,CAAA;IAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,qBAAqB,EAAE,CAAC;QAC3C,MAAM,aAAa,GAAG,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QACvD,OAAO,mBAAmB,CACxB,KAAK,EACL,aAAa,EACb,qBAAqB,MAAM,CAAC,MAAM,CAAC,aAAa,EAChD,uFAAuF,CACxF,CAAA;IACH,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;QACtC,MAAM,aAAa,GAAG,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QACvD,OAAO,mBAAmB,CACxB,KAAK,EACL,aAAa,EACb,qBAAqB,MAAM,CAAC,MAAM,CAAC,aAAa,EAChD,wJAAwJ,CACzJ,CAAA;IACH,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,kBAAkB,EAAE,CAAC;QACxC,OAAO,mBAAmB,CACxB,KAAK,EACL,CAAC,EACD,IAAI,EACJ,4FAA4F,CAC7F,CAAA;IACH,CAAC;IACD,OAAO,mBAAmB,CACxB,KAAK,EACL,CAAC,EACD,IAAI,EACJ,uFAAuF,CACxF,CAAA;AACH,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,KAA0B;IAE1B,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QAC/B,OAAO,sBAAsB,CAAC,KAAK,CAAC,CAAA;IACtC,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,KAAK,oBAAoB,EAAE,CAAC;QACzC,OAAO;YACL,cAAc,EAAE,oBAAoB,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;YAC1E,OAAO,EAAE,KAAK,CAAC,MAAM;gBACnB,CAAC,CAAC,qBAAqB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,gBAAgB;gBAC3D,CAAC,CAAC,IAAI;YACR,WAAW,EAAE,CAAC,cAAc,CAAC;YAC7B,gBAAgB,EAAE,cAAc,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,iCAAiC;YAC5F,aAAa,EAAE,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC;YACtE,SAAS,EAAE,yEAAyE;YACpF,qBAAqB,EAAE,CAAC;YACxB,cAAc,EAAE,iEAAiE;SAClF,CAAA;IACH,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,KAAK,cAAc,EAAE,CAAC;QACnC,OAAO;YACL,cAAc,EAAE,IAAI;YACpB,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,qBAAqB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI;YACnF,WAAW,EAAE,CAAC,cAAc,EAAE,gBAAgB,CAAC;YAC/C,gBAAgB,EAAE,2DAA2D;YAC7E,aAAa,EAAE,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC;YACtE,SAAS,EAAE,0EAA0E;YACrF,qBAAqB,EAAE,IAAI;YAC3B,cAAc,EAAE,qEAAqE;SACtF,CAAA;IACH,CAAC;IACD,OAAO;QACL,cAAc,EAAE,IAAI;QACpB,OAAO,EAAE,IAAI;QACb,WAAW,EAAE,EAAE;QACf,gBAAgB,EAAE,UAAU;QAC5B,aAAa,EAAE,CAAC;QAChB,SAAS,EAAE,KAAK,CAAC,KAAK,KAAK,eAAe;YACxC,CAAC,CAAC,iDAAiD;YACnD,CAAC,CAAC,6EAA6E;QACjF,qBAAqB,EAAE,IAAI;QAC3B,cAAc,EAAE,gEAAgE;KACjF,CAAA;AACH,CAAC"}
|
|
@@ -1,3 +1,4 @@
|
|
|
1
|
+
import type { DiscoveryBudget } from "./discovery-budget.js";
|
|
1
2
|
type AskQuestion = (question: string, completions?: string[]) => Promise<string>;
|
|
2
3
|
type DiscoverSources = () => Promise<string[]>;
|
|
3
4
|
interface SolariHandoffOptions {
|
|
@@ -7,22 +8,9 @@ interface SolariHandoffOptions {
|
|
|
7
8
|
inputIsTTY?: boolean;
|
|
8
9
|
outputIsTTY?: boolean;
|
|
9
10
|
}
|
|
10
|
-
export interface DiscoveryBudget {
|
|
11
|
-
configuredSeconds: number;
|
|
12
|
-
estimatedSeconds: number;
|
|
13
|
-
recommendedSeconds: number;
|
|
14
|
-
}
|
|
15
11
|
export interface SolariProofRequest {
|
|
16
12
|
maxSeconds: number;
|
|
17
13
|
sources: string[];
|
|
18
14
|
}
|
|
19
|
-
interface DiscoveryBudgetInput {
|
|
20
|
-
concurrency: number;
|
|
21
|
-
configuredSeconds: number;
|
|
22
|
-
elapsedMilliseconds: number;
|
|
23
|
-
observedRuns: number;
|
|
24
|
-
plannedTrials: number;
|
|
25
|
-
}
|
|
26
|
-
export declare function buildDiscoveryBudget(input: DiscoveryBudgetInput): DiscoveryBudget;
|
|
27
15
|
export declare function requestSolariProof(approvedSources: string[], budget: DiscoveryBudget, options?: SolariHandoffOptions): Promise<SolariProofRequest | null>;
|
|
28
16
|
export {};
|
|
@@ -1,16 +1,6 @@
|
|
|
1
1
|
import { createInterface } from "node:readline/promises";
|
|
2
2
|
import { formatSeconds } from "../ui/format.js";
|
|
3
3
|
import { sanitizeLine } from "../ui/text.js";
|
|
4
|
-
export function buildDiscoveryBudget(input) {
|
|
5
|
-
const estimatedSeconds = Math.ceil(input.elapsedMilliseconds * input.plannedTrials
|
|
6
|
-
/ input.observedRuns / input.concurrency / 1_000 / 60) * 60;
|
|
7
|
-
const recommendedSeconds = Math.ceil(estimatedSeconds * 1.2 / 60) * 60;
|
|
8
|
-
return {
|
|
9
|
-
configuredSeconds: input.configuredSeconds,
|
|
10
|
-
estimatedSeconds,
|
|
11
|
-
recommendedSeconds,
|
|
12
|
-
};
|
|
13
|
-
}
|
|
14
4
|
function interactive(options) {
|
|
15
5
|
const environment = options.environment ?? process.env;
|
|
16
6
|
return (options.inputIsTTY ?? Boolean(process.stdin.isTTY))
|
|
@@ -90,10 +80,10 @@ export async function requestSolariProof(approvedSources, budget, options = {})
|
|
|
90
80
|
sources = selected;
|
|
91
81
|
}
|
|
92
82
|
let maxSeconds = budget.configuredSeconds;
|
|
93
|
-
if (budget.
|
|
94
|
-
const question = `
|
|
95
|
-
+
|
|
96
|
-
+ `${formatSeconds(budget.
|
|
83
|
+
if (budget.recommendedSeconds > budget.configuredSeconds) {
|
|
84
|
+
const question = `Fault discovery is budgeted up to `
|
|
85
|
+
+ `${formatSeconds(budget.recommendedSeconds)}, above the current `
|
|
86
|
+
+ `${formatSeconds(budget.configuredSeconds)} limit. Raise the limit? [Y/n] `;
|
|
97
87
|
if (acceptedByDefault(await ask(question))) {
|
|
98
88
|
maxSeconds = budget.recommendedSeconds;
|
|
99
89
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"solari-handoff.js","sourceRoot":"","sources":["../../src/diagnosis/solari-handoff.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAExD,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;
|
|
1
|
+
{"version":3,"file":"solari-handoff.js","sourceRoot":"","sources":["../../src/diagnosis/solari-handoff.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAExD,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAmB5C,SAAS,WAAW,CAAC,OAA6B;IAChD,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,CAAA;IACtD,OAAO,CAAC,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;WACtD,CAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;WACtD,CAAC,WAAW,CAAC,EAAE,CAAA;AACtB,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,QAAgB,EAAE,cAAwB,EAAE;IACvE,MAAM,SAAS,GAAG,CAAC,IAAY,EAAsB,EAAE;QACrD,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;QAC7E,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;IAC3D,CAAC,CAAA;IACD,MAAM,MAAM,GAAG,eAAe,CAAC;QAC7B,SAAS;QACT,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAC,CAAA;IACF,IAAI,CAAC;QACH,OAAO,MAAM,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;IACxC,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,KAAK,EAAE,CAAA;IAChB,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,MAAc;IAC9B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;IAC9C,OAAO,UAAU,KAAK,GAAG,IAAI,UAAU,KAAK,KAAK,CAAA;AACnD,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAc;IACvC,OAAO,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAA;AACjD,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAoB;IAC7C,MAAM,OAAO,GAAG,UAAU;SACvB,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;SACvE,IAAI,CAAC,IAAI,CAAC,CAAA;IACb,OAAO,mCAAmC,OAAO,IAAI;UACjD,qEAAqE,CAAA;AAC3E,CAAC;AAED,SAAS,cAAc,CAAC,MAAc,EAAE,UAAoB;IAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAA;IAC3B,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,IAAI,CAAA;IACb,CAAC;IACD,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,OAAO,YAAY,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,CAAA;AACzD,CAAC;AAED,KAAK,UAAU,sBAAsB,CACnC,GAAgB,EAChB,eAA4C;IAE5C,MAAM,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,MAAM,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IACjE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,wCAAwC,SAAS,UAAU,CAAC,CAAC,EAAE,CAAC;YACrF,OAAO,CAAC,SAAS,CAAC,CAAA;QACpB,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC;QACpC,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC;QAC/B,CAAC,CAAC,8DAA8D,CAAA;IAClE,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,UAAU,CAAC,CAAA;IAC1E,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AACjC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,eAAyB,EACzB,MAAuB,EACvB,UAAgC,EAAE;IAElC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAA;IACb,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,aAAa,CAAA;IACxC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,6CAA6C,CAAC,CAAC,EAAE,CAAC;QACxE,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,0DAA0D,CAAC,CAAC,EAAE,CAAC;QACrF,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,OAAO,GAAG,eAAe,CAAA;IAC7B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAAC,GAAG,EAAE,OAAO,CAAC,eAAe,CAAC,CAAA;QAC3E,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,IAAI,CAAA;QACb,CAAC;QACD,OAAO,GAAG,QAAQ,CAAA;IACpB,CAAC;IACD,IAAI,UAAU,GAAG,MAAM,CAAC,iBAAiB,CAAA;IACzC,IAAI,MAAM,CAAC,kBAAkB,GAAG,MAAM,CAAC,iBAAiB,EAAE,CAAC;QACzD,MAAM,QAAQ,GAAG,oCAAoC;cACjD,GAAG,aAAa,CAAC,MAAM,CAAC,kBAAkB,CAAC,sBAAsB;cACjE,GAAG,aAAa,CAAC,MAAM,CAAC,iBAAiB,CAAC,iCAAiC,CAAA;QAC/E,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC3C,UAAU,GAAG,MAAM,CAAC,kBAAkB,CAAA;QACxC,CAAC;IACH,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,CAAA;AAChC,CAAC"}
|
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
import type { NetworkDelayFault, ResponseDuplicationFault, ResponseReorderingFault, ResponseTruncationFault } from "../domain/schema.js";
|
|
2
2
|
import type { TrialExecutor } from "../runner/playwright-executor.js";
|
|
3
3
|
import type { ExperimentResult } from "./evaluate.js";
|
|
4
|
+
export declare function networkDelayTrialBound(trials: number, maximumDelayMs: number): number;
|
|
4
5
|
export interface DelayDiscoveryOptions {
|
|
5
6
|
concurrency: number;
|
|
6
7
|
maximumDelayMs: number;
|
|
@@ -1,5 +1,9 @@
|
|
|
1
1
|
import { createCausalEvaluator } from "./evaluate.js";
|
|
2
2
|
const MINIMUM_CONFIRMATION_TRIALS = 12;
|
|
3
|
+
export function networkDelayTrialBound(trials, maximumDelayMs) {
|
|
4
|
+
const interventionBatches = 1 + Math.ceil(Math.log2(Math.max(1, maximumDelayMs)));
|
|
5
|
+
return 2 * (trials * interventionBatches + Math.max(trials, MINIMUM_CONFIRMATION_TRIALS));
|
|
6
|
+
}
|
|
3
7
|
async function confirmStableDelay(experiments, minimumDelayMs, evaluateDelay, confirmationTrials) {
|
|
4
8
|
const candidates = [...new Set(experiments
|
|
5
9
|
.filter((entry) => entry.delayMs >= minimumDelayMs && entry.result.confirmed)
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"minimize.js","sourceRoot":"","sources":["../../src/discovery/minimize.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAA;AAErD,MAAM,2BAA2B,GAAG,EAAE,CAAA;
|
|
1
|
+
{"version":3,"file":"minimize.js","sourceRoot":"","sources":["../../src/discovery/minimize.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAA;AAErD,MAAM,2BAA2B,GAAG,EAAE,CAAA;AAEtC,MAAM,UAAU,sBAAsB,CAAC,MAAc,EAAE,cAAsB;IAC3E,MAAM,mBAAmB,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAA;IACjF,OAAO,CAAC,GAAG,CAAC,MAAM,GAAG,mBAAmB,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,2BAA2B,CAAC,CAAC,CAAA;AAC3F,CAAC;AA0FD,KAAK,UAAU,kBAAkB,CAC/B,WAA8B,EAC9B,cAAsB,EACtB,aAA8E,EAC9E,kBAA0B;IAE1B,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW;aACvC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,IAAI,cAAc,IAAI,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC;aAC5E,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;SAC/B,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,CAAA;IACtC,KAAK,MAAM,OAAO,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAA;QAC/D,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAA;QAC5B,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAA;AAC7F,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,MAAoB,EACpB,UAAyD;IAEzD,IAAI,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,CAAA;IACzB,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,OAAO,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,EAAE,CAAC,cAAc,KAAK,KAAK,CAAC,CAAA;QACtF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YACxD,OAAO,GAAG,SAAS,CAAA;QACrB,CAAC;aAAM,CAAC;YACN,KAAK,IAAI,CAAC,CAAA;QACZ,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,OAAsB,EACtB,OAA8B;IAE9B,MAAM,MAAM,GAAG;QACb,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;QAC9C,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAA;IACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IAExD,MAAM,WAAW,GAAsB,EAAE,CAAA;IACzC,MAAM,aAAa,GAAG,KAAK,EACzB,OAAe,EACf,MAAM,GAAG,OAAO,CAAC,MAAM,EACI,EAAE;QAC7B,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,eAAwB,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,CAAA;QACnF,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAA;QACxD,WAAW,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAA;QACrC,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;IAED,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,cAAc,CAAC,CAAA;IAC3D,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAA;IACpF,CAAC;IAED,IAAI,cAAc,GAAG,CAAC,CAAA;IACtB,IAAI,cAAc,GAAG,OAAO,CAAC,cAAc,CAAA;IAC3C,OAAO,cAAc,GAAG,cAAc,GAAG,CAAC,EAAE,CAAC;QAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,cAAc,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAA;QACnE,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,SAAS,CAAC,CAAA;QAC7C,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,cAAc,GAAG,SAAS,CAAA;QAC5B,CAAC;aAAM,CAAC;YACN,cAAc,GAAG,SAAS,CAAA;QAC5B,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,kBAAkB,CACrC,WAAW,EACX,cAAc,EACd,aAAa,EACb,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,2BAA2B,CAAC,CACtD,CAAA;IACD,OAAO;QACL,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE;QAC9B,WAAW;QACX,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE;QACrF,aAAa,EAAE,MAAM,CAAC,MAAM;KAC7B,CAAA;AACH,CAAC;AAED,KAAK,UAAU,uBAAuB,CACpC,WAAmC,EACnC,kBAA0B,EAC1B,eAAoF,EACpF,kBAA0B;IAE1B,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW;aACvC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,IAAI,kBAAkB,IAAI,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC;aACpF,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;SACnC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,CAAA;IACtC,KAAK,MAAM,WAAW,IAAI,UAAU,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAA;QACrE,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,CAAA;QAChC,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAA;AACnG,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,OAAsB,EACtB,OAAmC;IAEnC,MAAM,MAAM,GAAG;QACb,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;QAC9C,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAA;IACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IAExD,MAAM,WAAW,GAA2B,EAAE,CAAA;IAC9C,MAAM,eAAe,GAAG,KAAK,EAC3B,WAAmB,EACnB,MAAM,GAAG,OAAO,CAAC,MAAM,EACI,EAAE;QAC7B,MAAM,KAAK,GAAG;YACZ,IAAI,EAAE,qBAA8B;YACpC,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,WAAW;SACZ,CAAA;QACD,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAA;QACxD,WAAW,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAA;QACzC,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;IAED,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAA;IACjE,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAA;IAC1F,CAAC;IAED,IAAI,kBAAkB,GAAG,CAAC,CAAA;IAC1B,IAAI,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAA;IACnD,OAAO,kBAAkB,GAAG,kBAAkB,GAAG,CAAC,EAAE,CAAC;QACnD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,kBAAkB,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAA;QAC3E,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,SAAS,CAAC,CAAA;QAC/C,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,kBAAkB,GAAG,SAAS,CAAA;QAChC,CAAC;aAAM,CAAC;YACN,kBAAkB,GAAG,SAAS,CAAA;QAChC,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,uBAAuB,CAC1C,WAAW,EACX,kBAAkB,EAClB,eAAe,EACf,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,2BAA2B,CAAC,CACtD,CAAA;IACD,OAAO;QACL,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE;QAC9B,WAAW;QACX,OAAO,EAAE;YACP,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,WAAW,EAAE,MAAM,CAAC,WAAW;SAChC;QACD,aAAa,EAAE,MAAM,CAAC,MAAM;KAC7B,CAAA;AACH,CAAC;AAED,KAAK,UAAU,wBAAwB,CACrC,WAAoC,EACpC,qBAA6B,EAC7B,mBAA2F,EAC3F,kBAA0B;IAE1B,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW;aACvC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,IAAI,qBAAqB,IAAI,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC;aAC1F,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC;SACtC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,CAAA;IACtC,KAAK,MAAM,cAAc,IAAI,UAAU,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAAA;QAC5E,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,CAAA;QACnC,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,iFAAiF,CAAC,CAAA;AACpG,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,OAAsB,EACtB,OAAoC;IAEpC,MAAM,MAAM,GAAG;QACb,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;QAC9C,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAA;IACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IAExD,MAAM,WAAW,GAA4B,EAAE,CAAA;IAC/C,MAAM,mBAAmB,GAAG,KAAK,EAC/B,cAAsB,EACtB,MAAM,GAAG,OAAO,CAAC,MAAM,EACI,EAAE;QAC7B,MAAM,KAAK,GAAG;YACZ,IAAI,EAAE,sBAA+B;YACrC,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,cAAc;SACf,CAAA;QACD,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAA;QACxD,WAAW,CAAC,IAAI,CAAC,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAA;QAC5C,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;IAED,MAAM,OAAO,GAAG,MAAM,mBAAmB,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAA;IACxE,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAA;IAC3F,CAAC;IAED,IAAI,qBAAqB,GAAG,CAAC,CAAA;IAC7B,IAAI,qBAAqB,GAAG,OAAO,CAAC,qBAAqB,CAAA;IACzD,OAAO,qBAAqB,GAAG,qBAAqB,GAAG,CAAC,EAAE,CAAC;QACzD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,qBAAqB,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAA;QACjF,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,SAAS,CAAC,CAAA;QACnD,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,qBAAqB,GAAG,SAAS,CAAA;QACnC,CAAC;aAAM,CAAC;YACN,qBAAqB,GAAG,SAAS,CAAA;QACnC,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAC3C,WAAW,EACX,qBAAqB,EACrB,mBAAmB,EACnB,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,2BAA2B,CAAC,CACtD,CAAA;IACD,OAAO;QACL,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE;QAC9B,WAAW;QACX,OAAO,EAAE;YACP,IAAI,EAAE,sBAAsB;YAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,cAAc,EAAE,MAAM,CAAC,cAAc;SACtC;QACD,aAAa,EAAE,MAAM,CAAC,MAAM;KAC7B,CAAA;AACH,CAAC;AAED,KAAK,UAAU,uBAAuB,CACpC,WAAmC,EACnC,aAAqB,EACrB,YAA4E,EAC5E,kBAA0B;IAE1B,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW;aACvC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,aAAa,IAAI,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC;aAC1E,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;SAC9B,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,CAAA;IACtC,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;QAC7D,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAA;QAC3B,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAA;AACnG,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,OAAsB,EACtB,OAAmC;IAEnC,MAAM,MAAM,GAAG;QACb,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;QAC9C,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAA;IACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IAExD,MAAM,WAAW,GAA2B,EAAE,CAAA;IAC9C,MAAM,YAAY,GAAG,KAAK,EACxB,MAAc,EACd,MAAM,GAAG,OAAO,CAAC,MAAM,EACI,EAAE;QAC7B,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,qBAA8B,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,CAAA;QACxF,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAA;QACxD,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;QACpC,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;IAED,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,aAAa,CAAC,CAAA;IACzD,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAA;IACpF,CAAC;IAED,IAAI,aAAa,GAAG,CAAC,CAAA;IACrB,IAAI,aAAa,GAAG,OAAO,CAAC,aAAa,CAAA;IACzC,OAAO,aAAa,GAAG,aAAa,GAAG,CAAC,EAAE,CAAC;QACzC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,aAAa,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAA;QACjE,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,SAAS,CAAC,CAAA;QAC5C,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,aAAa,GAAG,SAAS,CAAA;QAC3B,CAAC;aAAM,CAAC;YACN,aAAa,GAAG,SAAS,CAAA;QAC3B,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,uBAAuB,CAC1C,WAAW,EACX,aAAa,EACb,YAAY,EACZ,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,2BAA2B,CAAC,CACtD,CAAA;IACD,OAAO;QACL,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE;QAC9B,WAAW;QACX,OAAO,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;QACzF,aAAa,EAAE,MAAM,CAAC,MAAM;KAC7B,CAAA;AACH,CAAC"}
|
package/dist/proof/cli.js
CHANGED
|
@@ -27,7 +27,7 @@ export function parseProveArguments(args) {
|
|
|
27
27
|
"max-experiments": DEFINITIONS.maxExperiments,
|
|
28
28
|
"max-hold-ms": DEFINITIONS.maxHoldMs,
|
|
29
29
|
"max-remove-bytes": DEFINITIONS.maxRemoveBytes,
|
|
30
|
-
"max-seconds": DEFINITIONS.
|
|
30
|
+
"max-seconds": DEFINITIONS.discoveryMaxSeconds,
|
|
31
31
|
"max-stall-ms": DEFINITIONS.maxStallMs,
|
|
32
32
|
"max-steps": DEFINITIONS.maxSteps,
|
|
33
33
|
"max-trials": DEFINITIONS.maxTrials,
|
package/dist/proof/cli.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/proof/cli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAErC,OAAO,EACL,sBAAsB,IAAI,WAAW,EACrC,cAAc,IAAI,QAAQ,GAC3B,MAAM,8BAA8B,CAAA;AASrC,SAAS,SAAS,CAAC,WAAqB;IACtC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAA;IACtF,CAAC;IACD,OAAO,WAAW,CAAC,CAAC,CAAC,CAAA;AACvB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAc;IAChD,MAAM,MAAM,GAAG,SAAS,CAAC;QACvB,IAAI;QACJ,gBAAgB,EAAE,IAAI;QACtB,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE;YACP,gBAAgB,EAAE,WAAW,CAAC,aAAa;YAC3C,iBAAiB,EAAE,WAAW,CAAC,aAAa;YAC5C,WAAW,EAAE,WAAW,CAAC,WAAW;YACpC,aAAa,EAAE,WAAW,CAAC,UAAU;YACrC,KAAK,EAAE,WAAW,CAAC,KAAK;YACxB,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,eAAe,EAAE,WAAW,CAAC,WAAW;YACxC,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,YAAY,EAAE,WAAW,CAAC,SAAS;YACnC,UAAU,EAAE,WAAW,CAAC,OAAO;YAC/B,WAAW,EAAE,WAAW,CAAC,QAAQ;YACjC,qBAAqB,EAAE,WAAW,CAAC,iBAAiB;YACpD,iBAAiB,EAAE,WAAW,CAAC,cAAc;YAC7C,aAAa,EAAE,WAAW,CAAC,SAAS;YACpC,kBAAkB,EAAE,WAAW,CAAC,cAAc;YAC9C,aAAa,EAAE,WAAW,CAAC,
|
|
1
|
+
{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/proof/cli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAErC,OAAO,EACL,sBAAsB,IAAI,WAAW,EACrC,cAAc,IAAI,QAAQ,GAC3B,MAAM,8BAA8B,CAAA;AASrC,SAAS,SAAS,CAAC,WAAqB;IACtC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAA;IACtF,CAAC;IACD,OAAO,WAAW,CAAC,CAAC,CAAC,CAAA;AACvB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAc;IAChD,MAAM,MAAM,GAAG,SAAS,CAAC;QACvB,IAAI;QACJ,gBAAgB,EAAE,IAAI;QACtB,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE;YACP,gBAAgB,EAAE,WAAW,CAAC,aAAa;YAC3C,iBAAiB,EAAE,WAAW,CAAC,aAAa;YAC5C,WAAW,EAAE,WAAW,CAAC,WAAW;YACpC,aAAa,EAAE,WAAW,CAAC,UAAU;YACrC,KAAK,EAAE,WAAW,CAAC,KAAK;YACxB,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,eAAe,EAAE,WAAW,CAAC,WAAW;YACxC,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,YAAY,EAAE,WAAW,CAAC,SAAS;YACnC,UAAU,EAAE,WAAW,CAAC,OAAO;YAC/B,WAAW,EAAE,WAAW,CAAC,QAAQ;YACjC,qBAAqB,EAAE,WAAW,CAAC,iBAAiB;YACpD,iBAAiB,EAAE,WAAW,CAAC,cAAc;YAC7C,aAAa,EAAE,WAAW,CAAC,SAAS;YACpC,kBAAkB,EAAE,WAAW,CAAC,cAAc;YAC9C,aAAa,EAAE,WAAW,CAAC,mBAAmB;YAC9C,cAAc,EAAE,WAAW,CAAC,UAAU;YACtC,WAAW,EAAE,WAAW,CAAC,QAAQ;YACjC,YAAY,EAAE,WAAW,CAAC,SAAS;YACnC,aAAa,EAAE,WAAW,CAAC,UAAU;YACrC,UAAU,EAAE,WAAW,CAAC,OAAO;YAC/B,KAAK,EAAE,WAAW,CAAC,KAAK;YACxB,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,KAAK,EAAE,WAAW,CAAC,KAAK;YACxB,OAAO,EAAE,WAAW,CAAC,OAAO;YAC5B,KAAK,EAAE,WAAW,CAAC,KAAK;YACxB,oBAAoB,EAAE,WAAW,CAAC,iBAAiB;YACnD,OAAO,EAAE,WAAW,CAAC,OAAO;YAC5B,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,UAAU,EAAE,WAAW,CAAC,UAAU;YAClC,eAAe,EAAE,WAAW,CAAC,YAAY;YACzC,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,gBAAgB,EAAE,WAAW,CAAC,YAAY;YAC1C,eAAe,EAAE,WAAW,CAAC,YAAY;YACzC,OAAO,EAAE,WAAW,CAAC,OAAO;YAC5B,aAAa,EAAE,WAAW,CAAC,UAAU;YACrC,QAAQ,EAAE,WAAW,CAAC,QAAQ;YAC9B,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,iBAAiB,EAAE,WAAW,CAAC,cAAc;YAC7C,gBAAgB,EAAE,WAAW,CAAC,aAAa;SAC5C;KACF,CAAC,CAAA;IACF,OAAO;QACL,OAAO,EAAE,OAAO;QAChB,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC;QACrC,OAAO,EAAE;YACP,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;YAC7E,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;YAChF,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;YAC/D,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxF,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC;YAC7C,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;YAC1C,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;YAC1E,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;YAChD,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC;YACjE,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;YAC3D,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;YAC9D,qBAAqB,EAAE,QAAQ,CAC7B,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,EACpC,qBAAqB,CACtB;YACD,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;YAChF,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC;YACpE,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;YACnF,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC;YACpE,cAAc,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC;YACvE,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;YAC9D,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC;YACjE,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC;YACpE,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;YAC3D,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC;YAC7C,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;YAC1C,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;YAChD,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC;YAC7C,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC;YACnD,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC;YAC7C,oBAAoB,EAAE,QAAQ,CAC5B,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,EACnC,oBAAoB,CACrB;YACD,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC;YACnD,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;YAChD,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC;YAC5D,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;YAC1E,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;YAC1C,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE;YAClC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;YAC7E,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;YAC1E,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC;YACnD,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxF,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC;YACtD,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;YAChD,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;YAChF,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;SAC9E;KACF,CAAA;AACH,CAAC"}
|