@telora/daemon 0.24.7 → 0.24.10

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (172) hide show
  1. package/build-info.json +12 -3
  2. package/dist/backends/agent-backend.d.ts +10 -0
  3. package/dist/backends/agent-backend.d.ts.map +1 -1
  4. package/dist/backends/claude/claude-backend.d.ts +19 -0
  5. package/dist/backends/claude/claude-backend.d.ts.map +1 -1
  6. package/dist/backends/claude/claude-backend.js +41 -1
  7. package/dist/backends/claude/claude-backend.js.map +1 -1
  8. package/dist/backends/codex/codex-backend.d.ts.map +1 -1
  9. package/dist/backends/codex/codex-backend.js +50 -20
  10. package/dist/backends/codex/codex-backend.js.map +1 -1
  11. package/dist/backends/index.js +1 -1
  12. package/dist/ci/candidate-ref.js +1 -1
  13. package/dist/ci/candidate-ref.js.map +1 -1
  14. package/dist/ci/gate-ref.d.ts +150 -0
  15. package/dist/ci/gate-ref.d.ts.map +1 -0
  16. package/dist/ci/gate-ref.js +348 -0
  17. package/dist/ci/gate-ref.js.map +1 -0
  18. package/dist/completion/review-exit/review-exit-phase.d.ts.map +1 -1
  19. package/dist/completion/review-exit/review-exit-phase.js +11 -22
  20. package/dist/completion/review-exit/review-exit-phase.js.map +1 -1
  21. package/dist/composition/execution-migrations-context.js +1 -1
  22. package/dist/composition/runtime-poll-context.d.ts +7 -1
  23. package/dist/composition/runtime-poll-context.d.ts.map +1 -1
  24. package/dist/composition/runtime-poll-context.js +14 -2
  25. package/dist/composition/runtime-poll-context.js.map +1 -1
  26. package/dist/composition/verification-context.d.ts.map +1 -1
  27. package/dist/composition/verification-context.js +56 -8
  28. package/dist/composition/verification-context.js.map +1 -1
  29. package/dist/delivery/delivery-reconciler.d.ts +10 -15
  30. package/dist/delivery/delivery-reconciler.d.ts.map +1 -1
  31. package/dist/delivery/delivery-reconciler.js +17 -30
  32. package/dist/delivery/delivery-reconciler.js.map +1 -1
  33. package/dist/focus/focus-executor.d.ts.map +1 -1
  34. package/dist/focus/focus-executor.js +2 -6
  35. package/dist/focus/focus-executor.js.map +1 -1
  36. package/dist/focus/verify-routing-passes.d.ts +5 -1
  37. package/dist/focus/verify-routing-passes.d.ts.map +1 -1
  38. package/dist/focus/verify-routing-passes.js +1 -0
  39. package/dist/focus/verify-routing-passes.js.map +1 -1
  40. package/dist/host-control/load.d.ts.map +1 -1
  41. package/dist/host-control/load.js +2 -1
  42. package/dist/host-control/load.js.map +1 -1
  43. package/dist/nexus/file-escalation.d.ts.map +1 -1
  44. package/dist/nexus/file-escalation.js +1 -0
  45. package/dist/nexus/file-escalation.js.map +1 -1
  46. package/dist/nexus/intake.d.ts +14 -2
  47. package/dist/nexus/intake.d.ts.map +1 -1
  48. package/dist/nexus/intake.js +11 -2
  49. package/dist/nexus/intake.js.map +1 -1
  50. package/dist/nexus/pending-returns.d.ts +1 -1
  51. package/dist/nexus/pending-returns.d.ts.map +1 -1
  52. package/dist/prompt/team-prompt-base.d.ts +31 -2
  53. package/dist/prompt/team-prompt-base.d.ts.map +1 -1
  54. package/dist/prompt/team-prompt-base.js +52 -2
  55. package/dist/prompt/team-prompt-base.js.map +1 -1
  56. package/dist/prompt-sections/persona-sections.d.ts +7 -6
  57. package/dist/prompt-sections/persona-sections.d.ts.map +1 -1
  58. package/dist/prompt-sections/persona-sections.js +17 -13
  59. package/dist/prompt-sections/persona-sections.js.map +1 -1
  60. package/dist/prompt-sections/role-sections.d.ts +12 -1
  61. package/dist/prompt-sections/role-sections.d.ts.map +1 -1
  62. package/dist/prompt-sections/role-sections.js +42 -1
  63. package/dist/prompt-sections/role-sections.js.map +1 -1
  64. package/dist/prompt-sections/shared.js +1 -1
  65. package/dist/queries/deliveries/falsified-effect-reopens.d.ts +33 -0
  66. package/dist/queries/deliveries/falsified-effect-reopens.d.ts.map +1 -0
  67. package/dist/queries/deliveries/falsified-effect-reopens.js +36 -0
  68. package/dist/queries/deliveries/falsified-effect-reopens.js.map +1 -0
  69. package/dist/queries/verification/verification.js +1 -1
  70. package/dist/resolvers/assembly-engine.js +1 -1
  71. package/dist/resolvers/git-diff-against-base.d.ts.map +1 -1
  72. package/dist/resolvers/git-diff-against-base.js +2 -1
  73. package/dist/resolvers/git-diff-against-base.js.map +1 -1
  74. package/dist/session/session-lineage.d.ts +15 -6
  75. package/dist/session/session-lineage.d.ts.map +1 -1
  76. package/dist/session/session-lineage.js +17 -5
  77. package/dist/session/session-lineage.js.map +1 -1
  78. package/dist/spawn/model-routing.d.ts +1 -1
  79. package/dist/spawn/model-routing.d.ts.map +1 -1
  80. package/dist/spawn/model-routing.js +6 -4
  81. package/dist/spawn/model-routing.js.map +1 -1
  82. package/dist/spawn/prompt-assembly.d.ts +0 -9
  83. package/dist/spawn/prompt-assembly.d.ts.map +1 -1
  84. package/dist/spawn/prompt-assembly.js +61 -65
  85. package/dist/spawn/prompt-assembly.js.map +1 -1
  86. package/dist/spawn/spawn-decision.d.ts +8 -1
  87. package/dist/spawn/spawn-decision.d.ts.map +1 -1
  88. package/dist/spawn/spawn-decision.js +10 -3
  89. package/dist/spawn/spawn-decision.js.map +1 -1
  90. package/dist/testing/fixtures/index.js +1 -1
  91. package/dist/testing/fixtures/verification-deps.d.ts +8 -67
  92. package/dist/testing/fixtures/verification-deps.d.ts.map +1 -1
  93. package/dist/testing/fixtures/verification-deps.js +94 -1
  94. package/dist/testing/fixtures/verification-deps.js.map +1 -1
  95. package/dist/testing/fixtures/vitest-failure-log.d.ts.map +1 -1
  96. package/dist/testing/fixtures/vitest-failure-log.js +1 -0
  97. package/dist/testing/fixtures/vitest-failure-log.js.map +1 -1
  98. package/dist/types/index.js +1 -1
  99. package/dist/verify/ci-gate/ci-gate-dispatch.d.ts +93 -0
  100. package/dist/verify/ci-gate/ci-gate-dispatch.d.ts.map +1 -0
  101. package/dist/verify/ci-gate/ci-gate-dispatch.js +304 -0
  102. package/dist/verify/ci-gate/ci-gate-dispatch.js.map +1 -0
  103. package/dist/verify/ci-gate/ci-gate-reruns.d.ts +51 -0
  104. package/dist/verify/ci-gate/ci-gate-reruns.d.ts.map +1 -0
  105. package/dist/verify/ci-gate/ci-gate-reruns.js +189 -0
  106. package/dist/verify/ci-gate/ci-gate-reruns.js.map +1 -0
  107. package/dist/verify/ci-gate/ci-gate-wait-record.d.ts +33 -0
  108. package/dist/verify/ci-gate/ci-gate-wait-record.d.ts.map +1 -0
  109. package/dist/verify/ci-gate/ci-gate-wait-record.js +89 -0
  110. package/dist/verify/ci-gate/ci-gate-wait-record.js.map +1 -0
  111. package/dist/verify/deterministic-gate/verification-deterministic.d.ts +6 -0
  112. package/dist/verify/deterministic-gate/verification-deterministic.d.ts.map +1 -1
  113. package/dist/verify/deterministic-gate/verification-deterministic.js +1 -20
  114. package/dist/verify/deterministic-gate/verification-deterministic.js.map +1 -1
  115. package/dist/verify/deterministic-gate/verification-gate-stages.d.ts.map +1 -1
  116. package/dist/verify/deterministic-gate/verification-gate-stages.js +1 -0
  117. package/dist/verify/deterministic-gate/verification-gate-stages.js.map +1 -1
  118. package/dist/verify/effect-reconciliation/verify-reconciliation.d.ts +34 -5
  119. package/dist/verify/effect-reconciliation/verify-reconciliation.d.ts.map +1 -1
  120. package/dist/verify/effect-reconciliation/verify-reconciliation.js +106 -27
  121. package/dist/verify/effect-reconciliation/verify-reconciliation.js.map +1 -1
  122. package/dist/verify/engine/verification-commit-sharing.d.ts +24 -0
  123. package/dist/verify/engine/verification-commit-sharing.d.ts.map +1 -1
  124. package/dist/verify/engine/verification-commit-sharing.js +93 -1
  125. package/dist/verify/engine/verification-commit-sharing.js.map +1 -1
  126. package/dist/verify/engine/verification-deps.d.ts +9 -0
  127. package/dist/verify/engine/verification-deps.d.ts.map +1 -1
  128. package/dist/verify/engine/verification-deps.js +1 -1
  129. package/dist/verify/engine/verification-engine.d.ts.map +1 -1
  130. package/dist/verify/engine/verification-engine.js +19 -5
  131. package/dist/verify/engine/verification-engine.js.map +1 -1
  132. package/dist/verify/failing-test-rerun/failing-test-retry.d.ts.map +1 -1
  133. package/dist/verify/failing-test-rerun/failing-test-retry.js +2 -1
  134. package/dist/verify/failing-test-rerun/failing-test-retry.js.map +1 -1
  135. package/dist/verify/gate-config/judged-commit-gate.d.ts +11 -3
  136. package/dist/verify/gate-config/judged-commit-gate.d.ts.map +1 -1
  137. package/dist/verify/gate-config/judged-commit-gate.js +16 -5
  138. package/dist/verify/gate-config/judged-commit-gate.js.map +1 -1
  139. package/dist/verify/gate-config/verification-config.js +1 -1
  140. package/dist/verify/gate-config/verification-manifest.d.ts +18 -1
  141. package/dist/verify/gate-config/verification-manifest.d.ts.map +1 -1
  142. package/dist/verify/gate-config/verification-manifest.js +21 -21
  143. package/dist/verify/gate-config/verification-manifest.js.map +1 -1
  144. package/dist/verify/gate-verdicts/commit-verdict-record.d.ts +2 -0
  145. package/dist/verify/gate-verdicts/commit-verdict-record.d.ts.map +1 -1
  146. package/dist/verify/gate-verdicts/commit-verdict-record.js +11 -4
  147. package/dist/verify/gate-verdicts/commit-verdict-record.js.map +1 -1
  148. package/dist/verify/gate-verdicts/gate-run-registry.js +1 -1
  149. package/dist/verify/outcome-routing/failing-output-excerpt.d.ts +8 -0
  150. package/dist/verify/outcome-routing/failing-output-excerpt.d.ts.map +1 -0
  151. package/dist/verify/outcome-routing/failing-output-excerpt.js +41 -0
  152. package/dist/verify/outcome-routing/failing-output-excerpt.js.map +1 -0
  153. package/dist/verify/outcome-routing/falsified-effect-reopen.d.ts +17 -0
  154. package/dist/verify/outcome-routing/falsified-effect-reopen.d.ts.map +1 -0
  155. package/dist/verify/outcome-routing/falsified-effect-reopen.js +76 -0
  156. package/dist/verify/outcome-routing/falsified-effect-reopen.js.map +1 -0
  157. package/dist/verify/outcome-routing/verification-feedback.d.ts +2 -0
  158. package/dist/verify/outcome-routing/verification-feedback.d.ts.map +1 -1
  159. package/dist/verify/outcome-routing/verification-feedback.js +3 -0
  160. package/dist/verify/outcome-routing/verification-feedback.js.map +1 -1
  161. package/dist/verify/outcome-routing/verification-rework-issue.d.ts +7 -0
  162. package/dist/verify/outcome-routing/verification-rework-issue.d.ts.map +1 -1
  163. package/dist/verify/outcome-routing/verification-rework-issue.js +30 -2
  164. package/dist/verify/outcome-routing/verification-rework-issue.js.map +1 -1
  165. package/dist/verify/run-selection/default-on-guards.js +1 -1
  166. package/dist/verify/run-selection/explicit-rearm.d.ts.map +1 -1
  167. package/dist/verify/run-selection/explicit-rearm.js +1 -0
  168. package/dist/verify/run-selection/explicit-rearm.js.map +1 -1
  169. package/dist/verify/run-selection/verification-default-on.d.ts.map +1 -1
  170. package/dist/verify/run-selection/verification-default-on.js +1 -0
  171. package/dist/verify/run-selection/verification-default-on.js.map +1 -1
  172. package/package.json +2 -2
@@ -55,6 +55,17 @@
55
55
  * is a claim and must be true -- the judge is only given the chance to make it
56
56
  * true.
57
57
  *
58
+ * AN ANSWER THAT DOES NOT PARSE gets that same one turn. The turn names the JSON.parse
59
+ * error and asks for the verdict again as valid JSON; UnparseableJudgment is
60
+ * thrown only when that answer still does not parse. ONE turn per session is
61
+ * the budget for both reasons together: an answer the parse turn recovers is
62
+ * checked for citations like any answer, but a citation that does not resolve
63
+ * there is held as unresolved_citations at once -- the turn is spent. Every
64
+ * answer that does not parse is logged with its JSON.parse error and a bounded
65
+ * tail of its raw text (the session keeps no transcript), and
66
+ * UnparseableJudgment carries the same tail. No lenient parser rewrites the
67
+ * answer: a slip is corrected by the judge, never hidden by the daemon.
68
+ *
58
69
  * @module verify-reconciliation
59
70
  */
60
71
  import { ModelUnavailable } from '../../backends/claude/one-shot-model.js';
@@ -64,15 +75,28 @@ import { createLogger } from '../../log/daemon-log.js';
64
75
  const log = createLogger({ module: 'verification' });
65
76
  /** The name UnparseableJudgment carries; read by name (a duck-typed check survives the test mock loader). */
66
77
  const UNPARSEABLE_JUDGMENT = 'UnparseableJudgment';
78
+ /** How much of an unparseable answer is kept: its TAIL, where a broken or cut-off object ends. */
79
+ export const RAW_ANSWER_TAIL_CHARS = 1000;
80
+ /** The bounded tail of a judge's raw answer. Pure. */
81
+ export function rawAnswerTail(raw) {
82
+ return boundedText(raw, RAW_ANSWER_TAIL_CHARS, 'tail');
83
+ }
67
84
  /**
68
- * The judge answered, but nothing in its answer parsed as a judgment. Thrown by
85
+ * The judge answered, but nothing in its answer parsed as a judgment -- not its
86
+ * first answer and not the correction turn's (module header). Thrown by
69
87
  * reconcileAchievedEffect; the shortfall it is signed as carries `unjudged:
70
88
  * 'no_parseable_judgment'` (unjudgedShortfallKindOf).
71
89
  */
72
90
  export class UnparseableJudgment extends Error {
73
- constructor() {
74
- super('verify-reconciliation produced no parseable judgment');
91
+ /** Why the last answer did not parse: the JSON.parse error, or what the parsed value lacks. */
92
+ parseError;
93
+ /** A bounded tail of the last answer's raw text (rawAnswerTail). */
94
+ rawTail;
95
+ constructor(parseError, rawTail) {
96
+ super(`verify-reconciliation produced no parseable judgment: ${parseError}`);
75
97
  this.name = UNPARSEABLE_JUDGMENT;
98
+ this.parseError = parseError;
99
+ this.rawTail = rawTail;
76
100
  }
77
101
  }
78
102
  /**
@@ -105,7 +129,7 @@ Do THREE things:
105
129
  - "path/to/file.ts" -- a file that exists at the judged commit;
106
130
  - "path/to/file.ts:LINE" -- a line (hunk) you read; the file must have at least LINE lines;
107
131
  - "path/to/file.test.ts::test name" -- a test whose name appears in that file;
108
- - "grep:<count>:<extended regex>" -- a tree-wide check the daemon RUNS: \`git grep -E\` over every file of the judged tree, hidden ones included, must find exactly <count> matching lines (e.g. "grep:0:\\?\\? *default" for a claim that no line has the pattern). Count it yourself first with the Grep tool (output_mode "count", summed over files) so the count you cite is the count you observed.
132
+ - "grep:<count>:<extended regex>" -- a tree-wide check the daemon RUNS: \`git grep -E\` over every file of the judged tree, hidden ones included, must find exactly <count> matching lines (e.g. "grep:0:\\\\?\\\\? *default" for a claim that no line has the pattern). The citation is a JSON string, so a backslash in the regex is written DOUBLED inside it: the regex \\?\\? *default is cited as "grep:0:\\\\?\\\\? *default". A single backslash is not a JSON escape, and it makes your whole answer unparseable. Count it yourself first with the Grep tool (output_mode "count", summed over files) so the count you cite is the count you observed.
109
133
  EVERY verdict MUST cite at least one grep: check, or it is discarded: for a claim about the whole tree, the check that establishes it; for a claim about the change, a count that locates what you judged (e.g. "grep:1:export function handleRetry").
110
134
  Whether the checks you cite establish the claim is YOUR judgement: the daemon confirms only that each resolves. Cite the check that bears on the claim -- one whose count the delivery's change moved and whose pattern names what the claim asserts -- and if what you observed disproves the claim, say so in a shortfall.
111
135
 
@@ -222,12 +246,11 @@ export function citationReferencesEvidence(citation, ev) {
222
246
  }
223
247
  return false;
224
248
  }
225
- /** Parse the model's JSON judgment. Tolerates code fences / surrounding prose. */
226
- export function parseReconcileJson(raw) {
227
- const stripped = raw.replace(/```(?:json)?\s*/g, '').replace(/```/g, '');
249
+ /** The first balanced JSON object in the answer's text, or why there is none. Pure. */
250
+ function firstJsonObject(stripped) {
228
251
  const firstBrace = stripped.indexOf('{');
229
252
  if (firstBrace < 0)
230
- return null;
253
+ return { ok: false, error: 'the answer holds no JSON object' };
231
254
  let depth = 0;
232
255
  let endIdx = -1;
233
256
  for (let i = firstBrace; i < stripped.length; i += 1) {
@@ -243,25 +266,36 @@ export function parseReconcileJson(raw) {
243
266
  }
244
267
  }
245
268
  if (endIdx < 0)
246
- return null;
269
+ return { ok: false, error: 'the JSON object is never closed' };
270
+ return { ok: true, text: stripped.slice(firstBrace, endIdx + 1) };
271
+ }
272
+ /**
273
+ * Read the model's answer as a JSON judgment, naming why when it is not one (the
274
+ * JSON.parse error, or the field the object lacks). Tolerates code fences /
275
+ * surrounding prose; never rewrites the JSON itself (module header).
276
+ */
277
+ export function parseReconcileAnswer(raw) {
278
+ const object = firstJsonObject(raw.replace(/```(?:json)?\s*/g, '').replace(/```/g, ''));
279
+ if (!object.ok)
280
+ return object;
247
281
  let parsed;
248
282
  try {
249
- parsed = JSON.parse(stripped.slice(firstBrace, endIdx + 1));
283
+ parsed = JSON.parse(object.text);
250
284
  }
251
- catch {
252
- return null;
285
+ catch (err) {
286
+ return { ok: false, error: `JSON.parse: ${err instanceof Error ? err.message : String(err)}` };
253
287
  }
254
288
  if (!parsed || typeof parsed !== 'object')
255
- return null;
289
+ return { ok: false, error: 'the JSON value is not an object' };
256
290
  const obj = parsed;
257
291
  const achieved = typeof obj.achievedStatement === 'string' ? obj.achievedStatement.trim() : '';
258
292
  if (achieved === '')
259
- return null;
293
+ return { ok: false, error: 'achievedStatement is missing or empty' };
260
294
  const classification = obj.classification;
261
295
  if (classification !== 'match' &&
262
296
  classification !== 'legitimate_divergence' &&
263
297
  classification !== 'shortfall') {
264
- return null;
298
+ return { ok: false, error: `classification ${JSON.stringify(classification) ?? 'undefined'} is not "match", "legitimate_divergence" or "shortfall"` };
265
299
  }
266
300
  const reasonRaw = typeof obj.divergenceReason === 'string' ? obj.divergenceReason.trim() : '';
267
301
  const citationRaw = typeof obj.diffCitation === 'string' ? obj.diffCitation.trim() : '';
@@ -282,7 +316,21 @@ export function parseReconcileJson(raw) {
282
316
  if (classification === 'shortfall' && citationRaw !== '') {
283
317
  judgment.diffCitation = citationRaw;
284
318
  }
285
- return judgment;
319
+ return { ok: true, judgment };
320
+ }
321
+ /** Parse the model's JSON judgment, or null when it is not one (parseReconcileAnswer names why). */
322
+ export function parseReconcileJson(raw) {
323
+ const parsed = parseReconcileAnswer(raw);
324
+ return parsed.ok ? parsed.judgment : null;
325
+ }
326
+ function readJudgeAnswer(raw, which) {
327
+ const parsed = parseReconcileAnswer(raw);
328
+ if (parsed.ok)
329
+ return parsed;
330
+ const rawTail = rawAnswerTail(raw);
331
+ log.warn(`[verification] verify-reconciliation: the judge's ${which} did not parse (${parsed.error}); `
332
+ + `raw answer (${raw.length} characters), tail:\n${rawTail}`);
333
+ return { ok: false, error: parsed.error, rawTail };
286
334
  }
287
335
  /** What in a verdict's citations does not resolve at the judged commit, or is missing (no concrete citation, no grep: check). */
288
336
  async function unresolvedCitations(judgment, workspace, resolveCitations) {
@@ -330,13 +378,46 @@ async function withCorrectionTurn(first, workspace, session, resolveCitations) {
330
378
  return first;
331
379
  log.info(`[verification] verify-reconciliation: ${unresolved.length} citation(s) do not resolve at ${workspace.sha.slice(0, 12)} `
332
380
  + '-- the judge gets its one correction turn, in the same session, before the verdict is held');
333
- const corrected = parseReconcileJson(await session.ask(buildCitationCorrectionMessage(workspace.sha, unresolved)));
334
- if (!corrected)
335
- throw unresolvedCitationsHold(first, workspace, unresolved, 'its correction turn returned no parseable verdict');
336
- const still = await unresolvedCitations(corrected, workspace, resolveCitations);
381
+ const corrected = readJudgeAnswer(await session.ask(buildCitationCorrectionMessage(workspace.sha, unresolved)), 'citation correction');
382
+ if (!corrected.ok) {
383
+ throw unresolvedCitationsHold(first, workspace, unresolved, `its correction turn returned no parseable verdict: ${corrected.error}`);
384
+ }
385
+ const still = await unresolvedCitations(corrected.judgment, workspace, resolveCitations);
337
386
  if (still.length > 0)
338
- throw unresolvedCitationsHold(corrected, workspace, still, 'still unresolved after its correction turn');
339
- return corrected;
387
+ throw unresolvedCitationsHold(corrected.judgment, workspace, still, 'still unresolved after its correction turn');
388
+ return corrected.judgment;
389
+ }
390
+ /**
391
+ * The parse correction turn's user message: the parse error, and the ask for the
392
+ * verdict again as valid JSON. Sent as the next turn of the SAME session. Pure.
393
+ */
394
+ export function buildParseCorrectionMessage(parseError) {
395
+ return [
396
+ `The daemon could not read your answer as the JSON verdict: ${parseError}.`,
397
+ 'Inside a JSON string a backslash begins an escape, so a backslash in a grep: regex is written doubled '
398
+ + '(the regex \\( is written \\\\( inside the string). '
399
+ + 'Respond with the complete verdict again as ONE valid JSON object and nothing else.',
400
+ ].join('\n\n');
401
+ }
402
+ /**
403
+ * The session's verdict (module header): a first answer that parses goes to the
404
+ * citation check with its correction turn; one that does not spends the turn on
405
+ * the parse, so the recovered answer's citations must resolve as they stand.
406
+ * Throws UnparseableJudgment when the recovered answer still does not parse.
407
+ */
408
+ async function sessionVerdict(inputs, workspace, session, resolveCitations) {
409
+ const first = readJudgeAnswer(await session.ask(buildReconcileUserMessage(inputs)), 'first answer');
410
+ if (first.ok)
411
+ return withCorrectionTurn(first.judgment, workspace, session, resolveCitations);
412
+ log.info('[verification] verify-reconciliation: the judge gets its one correction turn, in the same session, to answer as valid JSON');
413
+ const corrected = readJudgeAnswer(await session.ask(buildParseCorrectionMessage(first.error)), 'parse correction');
414
+ if (!corrected.ok)
415
+ throw new UnparseableJudgment(corrected.error, corrected.rawTail);
416
+ const unresolved = await unresolvedCitations(corrected.judgment, workspace, resolveCitations);
417
+ if (unresolved.length > 0) {
418
+ throw unresolvedCitationsHold(corrected.judgment, workspace, unresolved, 'unresolved after the correction turn its unparseable first answer spent');
419
+ }
420
+ return corrected.judgment;
340
421
  }
341
422
  /**
342
423
  * Reconcile the declared desired effect against the delivered code.
@@ -344,7 +425,8 @@ async function withCorrectionTurn(first, workspace, session, resolveCitations) {
344
425
  * One bounded judge session (at most one correction turn within it) in the pinned checkout. Throws ModelUnavailable when
345
426
  * the judge cannot run (no pinned checkout, or the session itself could not) or
346
427
  * its verdict cannot be vouched for (unresolved citations); throws
347
- * UnparseableJudgment on an unparseable first answer. The verify caller never
428
+ * UnparseableJudgment when neither the first answer nor its correction turn
429
+ * parses. The verify caller never
348
430
  * flips an injection it could not reconcile.
349
431
  */
350
432
  export async function reconcileAchievedEffect(inputs, openJudge, resolveCitations) {
@@ -368,10 +450,7 @@ export async function reconcileAchievedEffect(inputs, openJudge, resolveCitation
368
450
  const session = openJudge(buildReconcileSystemPrompt(), workspace);
369
451
  let judgment;
370
452
  try {
371
- const first = parseReconcileJson(await session.ask(buildReconcileUserMessage(inputs)));
372
- if (!first)
373
- throw new UnparseableJudgment();
374
- judgment = await withCorrectionTurn(first, workspace, session, resolveCitations);
453
+ judgment = await sessionVerdict(inputs, workspace, session, resolveCitations);
375
454
  }
376
455
  finally {
377
456
  session.close();
@@ -1 +1 @@
1
- {"version":3,"file":"verify-reconciliation.js","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/verify-reconciliation.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,2EAA2E;AAC3E,6EAA6E;AAC7E,8EAA8E;AAC9E,wFAAwF;AACxF,oFAAoF;AACpF,iFAAiF;AACjF,mEAAmE;AACnE,oEAAoE;AACpE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAmE,MAAM,sBAAsB,CAAC;AAC1H,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,WAAW,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAGjI,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD,6GAA6G;AAC7G,MAAM,oBAAoB,GAAG,qBAAqB,CAAC;AAEnD;;;;GAIG;AACH,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAC5C;QACE,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC9D,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,GAAY;IAClD,OAAO,GAAG,YAAY,KAAK,IAAI,GAAG,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,uBAAuB,CAAC;AACvH,CAAC;AAmFD,MAAM,CAAC,MAAM,uBAAuB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;8QA2BuO,CAAC;AAE/Q,MAAM,UAAU,0BAA0B;IACxC,OAAO,uBAAuB,CAAC;AACjC,CAAC;AAED,0FAA0F;AAC1F,SAAS,mBAAmB,CAAC,KAAwB,EAAE,KAAa;IAClE,OAAO,kBAAkB,KAAK,CAAC,MAAM,OAAO,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;AAClF,CAAC;AAED,4FAA4F;AAC5F,SAAS,kBAAkB,CAAC,SAAwB,EAAE,KAAa;IACjE,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,kCAAkC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,mDAAmD,CAAC;IAC/I,OAAO,kBAAkB,SAAS,CAAC,GAAG,iCAAiC,KAAK,0CAA0C,IAAI,EAAE,CAAC;AAC/H,CAAC;AAED,mFAAmF;AACnF,SAAS,eAAe,CAAC,IAAY;IACnC,OAAO,eAAe,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;AAChD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,MAAuB;IAC/D,MAAM,KAAK,GAAa,CAAC,6BAA6B,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IAClF,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,IAAI,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC;IACjG,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,EAAE,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,IAAI,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9G,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7E,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,gEAAgE,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACzL,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ;QAAE,QAAQ,CAAC,IAAI,CAAC,kCAAkC,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;IACpG,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,wBAAwB,WAAW,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACjJ,IAAI,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,uBAAuB,WAAW,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACvI,KAAK,CAAC,IAAI,CAAC,kBAAkB,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,6BAA6B,EAAE,CAAC,CAAC;IAC5G,KAAK,CAAC,IAAI,CACR,qOAAqO,CACtO,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,eAAe,CAAC,EAAkB;IAChD,MAAM,OAAO,GACX,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAClC,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAChE,CAAC,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7D,OAAO,CAAC,OAAO,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAkB;IACrD,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACrD,MAAM,eAAe,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1E,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACzF,OAAO,CAAC,OAAO,IAAI,CAAC,eAAe,IAAI,CAAC,aAAa,CAAC;AACxD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CAAC,QAAgB,EAAE,EAAkB;IAC7E,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC3B,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YACtB,IAAI,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACrC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;IACL,CAAC;IACD,2EAA2E;IAC3E,sEAAsE;IACtE,mDAAmD;IACnD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACnC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,+BAA+B,CAAC,IAAI,EAAE,CAAC;QAC9D,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC5C,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aACtB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACpB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,MAAM,GAAG,CAAC,CAAC;gBACX,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,GAAG,GAAG,MAAiC,CAAC;IAE9C,MAAM,QAAQ,GAAG,OAAO,GAAG,CAAC,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,IAAI,QAAQ,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAEjC,MAAM,cAAc,GAAG,GAAG,CAAC,cAAc,CAAC;IAC1C,IACE,cAAc,KAAK,OAAO;QAC1B,cAAc,KAAK,uBAAuB;QAC1C,cAAc,KAAK,WAAW,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,GAAG,CAAC,gBAAgB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9F,MAAM,WAAW,GAAG,OAAO,GAAG,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QAC5C,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzG,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,QAAQ,GAAsB;QAClC,iBAAiB,EAAE,QAAQ;QAC3B,cAAc;QACd,SAAS;QACT,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChF,CAAC;IACF,IAAI,cAAc,KAAK,OAAO,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;QACnD,QAAQ,CAAC,gBAAgB,GAAG,SAAS,CAAC;IACxC,CAAC;IACD,sEAAsE;IACtE,4EAA4E;IAC5E,IAAI,cAAc,KAAK,WAAW,IAAI,WAAW,KAAK,EAAE,EAAE,CAAC;QACzD,QAAQ,CAAC,YAAY,GAAG,WAAW,CAAC;IACtC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,iIAAiI;AACjI,KAAK,UAAU,mBAAmB,CAChC,QAA2B,EAC3B,SAAwB,EACxB,gBAAuC;IAEvC,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC;IAC3C,OAAO,CAAC,GAAG,MAAM,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED;;;;GAIG;AACH,SAAS,uBAAuB,CAC9B,QAA2B,EAC3B,SAAwB,EACxB,UAA4C,EAC5C,KAAa;IAEb,OAAO,IAAI,gBAAgB,CAAC;QAC1B,IAAI,EAAE,sBAAsB;QAC5B,KAAK,EAAE,uBAAuB;QAC9B,MAAM,EAAE,OAAO,QAAQ,CAAC,cAAc,kEAAkE;cACpG,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG;QAC7G,gBAAgB,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;KACzE,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAAC,GAAW,EAAE,UAA4C;IACtG,OAAO;QACL,wCAAwC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,8BAA8B;cAClF,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/D,gIAAgI;cAC5H,+HAA+H;cAC/H,uGAAuG;cACvG,uDAAuD;KAC5D,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,kBAAkB,CAC/B,KAAwB,EACxB,SAAwB,EACxB,OAAqB,EACrB,gBAAuC;IAEvC,MAAM,UAAU,GAAG,MAAM,mBAAmB,CAAC,KAAK,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IACjF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,GAAG,CAAC,IAAI,CACN,yCAAyC,UAAU,CAAC,MAAM,kCAAkC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;UACvH,4FAA4F,CAC/F,CAAC;IACF,MAAM,SAAS,GAAG,kBAAkB,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACnH,IAAI,CAAC,SAAS;QAAE,MAAM,uBAAuB,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,mDAAmD,CAAC,CAAC;IACjI,MAAM,KAAK,GAAG,MAAM,mBAAmB,CAAC,SAAS,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IAChF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,uBAAuB,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,4CAA4C,CAAC,CAAC;IAC/H,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,MAAuB,EACvB,SAA6B,EAC7B,gBAAuC;IAEvC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,gBAAgB,CAAC;YACzB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,uBAAuB;YAC9B,MAAM,EAAE,uGAAuG;SAChH,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,kBAAkB,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtF,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,gBAAgB,CAAC;YACzB,IAAI,EAAE,iBAAiB;YACvB,KAAK,EAAE,uBAAuB;YAC9B,SAAS,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE;YACzE,MAAM,EAAE,OAAO,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,KAAK,yBAAyB,SAAS,CAAC,WAAW,kEAAkE;SACpK,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,0BAA0B,EAAE,EAAE,SAAS,CAAC,CAAC;IACnE,IAAI,QAA2B,CAAC;IAChC,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvF,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;QAC5C,QAAQ,GAAG,MAAM,kBAAkB,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;IACnF,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,KAAK,EAAE,CAAC;IAClB,CAAC;IACD,sGAAsG;IACtG,IACE,QAAQ,CAAC,cAAc,KAAK,WAAW;QACvC,QAAQ,CAAC,YAAY;QACrB,CAAC,0BAA0B,CAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,EACnE,CAAC;QACD,OAAO,QAAQ,CAAC,YAAY,CAAC;IAC/B,CAAC;IACD,6EAA6E;IAC7E,iEAAiE;IACjE,IAAI,QAAQ,CAAC,cAAc,KAAK,OAAO,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QACtE,QAAQ,CAAC,gBAAgB;YACvB,QAAQ,CAAC,cAAc,KAAK,WAAW;gBACrC,CAAC,CAAC,8DAA8D;gBAChE,CAAC,CAAC,6DAA6D,CAAC;IACtE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}
1
+ {"version":3,"file":"verify-reconciliation.js","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/verify-reconciliation.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,2EAA2E;AAC3E,6EAA6E;AAC7E,8EAA8E;AAC9E,wFAAwF;AACxF,oFAAoF;AACpF,iFAAiF;AACjF,mEAAmE;AACnE,oEAAoE;AACpE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAmE,MAAM,sBAAsB,CAAC;AAC1H,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,WAAW,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAGjI,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD,6GAA6G;AAC7G,MAAM,oBAAoB,GAAG,qBAAqB,CAAC;AAEnD,kGAAkG;AAClG,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC;AAE1C,sDAAsD;AACtD,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,WAAW,CAAC,GAAG,EAAE,qBAAqB,EAAE,MAAM,CAAC,CAAC;AACzD,CAAC;AAED;;;;;GAKG;AACH,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAC5C,+FAA+F;IACtF,UAAU,CAAS;IAC5B,oEAAoE;IAC3D,OAAO,CAAS;IAEzB,YAAY,UAAkB,EAAE,OAAe;QAC7C,KAAK,CAAC,yDAAyD,UAAU,EAAE,CAAC,CAAC;QAC7E,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;QACjC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,GAAY;IAClD,OAAO,GAAG,YAAY,KAAK,IAAI,GAAG,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,uBAAuB,CAAC;AACvH,CAAC;AAmFD,MAAM,CAAC,MAAM,uBAAuB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;8QA2BuO,CAAC;AAE/Q,MAAM,UAAU,0BAA0B;IACxC,OAAO,uBAAuB,CAAC;AACjC,CAAC;AAED,0FAA0F;AAC1F,SAAS,mBAAmB,CAAC,KAAwB,EAAE,KAAa;IAClE,OAAO,kBAAkB,KAAK,CAAC,MAAM,OAAO,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;AAClF,CAAC;AAED,4FAA4F;AAC5F,SAAS,kBAAkB,CAAC,SAAwB,EAAE,KAAa;IACjE,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,kCAAkC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,mDAAmD,CAAC;IAC/I,OAAO,kBAAkB,SAAS,CAAC,GAAG,iCAAiC,KAAK,0CAA0C,IAAI,EAAE,CAAC;AAC/H,CAAC;AAED,mFAAmF;AACnF,SAAS,eAAe,CAAC,IAAY;IACnC,OAAO,eAAe,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;AAChD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,MAAuB;IAC/D,MAAM,KAAK,GAAa,CAAC,6BAA6B,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IAClF,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,IAAI,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC;IACjG,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,EAAE,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,IAAI,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9G,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7E,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,gEAAgE,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACzL,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ;QAAE,QAAQ,CAAC,IAAI,CAAC,kCAAkC,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;IACpG,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,wBAAwB,WAAW,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACjJ,IAAI,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,uBAAuB,WAAW,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACvI,KAAK,CAAC,IAAI,CAAC,kBAAkB,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,6BAA6B,EAAE,CAAC,CAAC;IAC5G,KAAK,CAAC,IAAI,CACR,qOAAqO,CACtO,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,eAAe,CAAC,EAAkB;IAChD,MAAM,OAAO,GACX,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAClC,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAChE,CAAC,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7D,OAAO,CAAC,OAAO,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAkB;IACrD,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACrD,MAAM,eAAe,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1E,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACzF,OAAO,CAAC,OAAO,IAAI,CAAC,eAAe,IAAI,CAAC,aAAa,CAAC;AACxD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CAAC,QAAgB,EAAE,EAAkB;IAC7E,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC3B,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YACtB,IAAI,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACrC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;IACL,CAAC;IACD,2EAA2E;IAC3E,sEAAsE;IACtE,mDAAmD;IACnD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACnC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,+BAA+B,CAAC,IAAI,EAAE,CAAC;QAC9D,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAKD,uFAAuF;AACvF,SAAS,eAAe,CAAC,QAAgB;IACvC,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,iCAAiC,EAAE,CAAC;IACnF,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aACtB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACpB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,MAAM,GAAG,CAAC,CAAC;gBACX,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,iCAAiC,EAAE,CAAC;IAC/E,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;AACpE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,GAAW;IAC9C,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;IACxF,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;IACjG,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,iCAAiC,EAAE,CAAC;IAC1G,MAAM,GAAG,GAAG,MAAiC,CAAC;IAE9C,MAAM,QAAQ,GAAG,OAAO,GAAG,CAAC,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,IAAI,QAAQ,KAAK,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,uCAAuC,EAAE,CAAC;IAE1F,MAAM,cAAc,GAAG,GAAG,CAAC,cAAc,CAAC;IAC1C,IACE,cAAc,KAAK,OAAO;QAC1B,cAAc,KAAK,uBAAuB;QAC1C,cAAc,KAAK,WAAW,EAC9B,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,kBAAkB,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,WAAW,yDAAyD,EAAE,CAAC;IACxJ,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,GAAG,CAAC,gBAAgB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9F,MAAM,WAAW,GAAG,OAAO,GAAG,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QAC5C,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzG,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,QAAQ,GAAsB;QAClC,iBAAiB,EAAE,QAAQ;QAC3B,cAAc;QACd,SAAS;QACT,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChF,CAAC;IACF,IAAI,cAAc,KAAK,OAAO,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;QACnD,QAAQ,CAAC,gBAAgB,GAAG,SAAS,CAAC;IACxC,CAAC;IACD,sEAAsE;IACtE,4EAA4E;IAC5E,IAAI,cAAc,KAAK,WAAW,IAAI,WAAW,KAAK,EAAE,EAAE,CAAC;QACzD,QAAQ,CAAC,YAAY,GAAG,WAAW,CAAC;IACtC,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC5C,MAAM,MAAM,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;IACzC,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5C,CAAC;AAKD,SAAS,eAAe,CAAC,GAAW,EAAE,KAAa;IACjD,MAAM,MAAM,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC;IAC7B,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IACnC,GAAG,CAAC,IAAI,CACN,qDAAqD,KAAK,mBAAmB,MAAM,CAAC,KAAK,KAAK;UAC5F,eAAe,GAAG,CAAC,MAAM,wBAAwB,OAAO,EAAE,CAC7D,CAAC;IACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC;AACrD,CAAC;AAED,iIAAiI;AACjI,KAAK,UAAU,mBAAmB,CAChC,QAA2B,EAC3B,SAAwB,EACxB,gBAAuC;IAEvC,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC;IAC3C,OAAO,CAAC,GAAG,MAAM,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED;;;;GAIG;AACH,SAAS,uBAAuB,CAC9B,QAA2B,EAC3B,SAAwB,EACxB,UAA4C,EAC5C,KAAa;IAEb,OAAO,IAAI,gBAAgB,CAAC;QAC1B,IAAI,EAAE,sBAAsB;QAC5B,KAAK,EAAE,uBAAuB;QAC9B,MAAM,EAAE,OAAO,QAAQ,CAAC,cAAc,kEAAkE;cACpG,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG;QAC7G,gBAAgB,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;KACzE,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAAC,GAAW,EAAE,UAA4C;IACtG,OAAO;QACL,wCAAwC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,8BAA8B;cAClF,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/D,gIAAgI;cAC5H,+HAA+H;cAC/H,uGAAuG;cACvG,uDAAuD;KAC5D,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,kBAAkB,CAC/B,KAAwB,EACxB,SAAwB,EACxB,OAAqB,EACrB,gBAAuC;IAEvC,MAAM,UAAU,GAAG,MAAM,mBAAmB,CAAC,KAAK,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IACjF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,GAAG,CAAC,IAAI,CACN,yCAAyC,UAAU,CAAC,MAAM,kCAAkC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;UACvH,4FAA4F,CAC/F,CAAC;IACF,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC;IACvI,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;QAClB,MAAM,uBAAuB,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,sDAAsD,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;IACvI,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,mBAAmB,CAAC,SAAS,CAAC,QAAQ,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IACzF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,uBAAuB,CAAC,SAAS,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,4CAA4C,CAAC,CAAC;IACxI,OAAO,SAAS,CAAC,QAAQ,CAAC;AAC5B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,2BAA2B,CAAC,UAAkB;IAC5D,OAAO;QACL,8DAA8D,UAAU,GAAG;QAC3E,wGAAwG;cACpG,sDAAsD;cACtD,oFAAoF;KACzF,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,cAAc,CAC3B,MAAuB,EACvB,SAAwB,EACxB,OAAqB,EACrB,gBAAuC;IAEvC,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;IACpG,IAAI,KAAK,CAAC,EAAE;QAAE,OAAO,kBAAkB,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;IAC9F,GAAG,CAAC,IAAI,CAAC,4HAA4H,CAAC,CAAC;IACvI,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,2BAA2B,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;IACnH,IAAI,CAAC,SAAS,CAAC,EAAE;QAAE,MAAM,IAAI,mBAAmB,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;IACrF,MAAM,UAAU,GAAG,MAAM,mBAAmB,CAAC,SAAS,CAAC,QAAQ,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IAC9F,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,uBAAuB,CAAC,SAAS,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,yEAAyE,CAAC,CAAC;IACtJ,CAAC;IACD,OAAO,SAAS,CAAC,QAAQ,CAAC;AAC5B,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,MAAuB,EACvB,SAA6B,EAC7B,gBAAuC;IAEvC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,gBAAgB,CAAC;YACzB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,uBAAuB;YAC9B,MAAM,EAAE,uGAAuG;SAChH,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,kBAAkB,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtF,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,gBAAgB,CAAC;YACzB,IAAI,EAAE,iBAAiB;YACvB,KAAK,EAAE,uBAAuB;YAC9B,SAAS,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE;YACzE,MAAM,EAAE,OAAO,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,KAAK,yBAAyB,SAAS,CAAC,WAAW,kEAAkE;SACpK,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,0BAA0B,EAAE,EAAE,SAAS,CAAC,CAAC;IACnE,IAAI,QAA2B,CAAC;IAChC,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,cAAc,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;IAChF,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,KAAK,EAAE,CAAC;IAClB,CAAC;IACD,sGAAsG;IACtG,IACE,QAAQ,CAAC,cAAc,KAAK,WAAW;QACvC,QAAQ,CAAC,YAAY;QACrB,CAAC,0BAA0B,CAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,EACnE,CAAC;QACD,OAAO,QAAQ,CAAC,YAAY,CAAC;IAC/B,CAAC;IACD,6EAA6E;IAC7E,iEAAiE;IACjE,IAAI,QAAQ,CAAC,cAAc,KAAK,OAAO,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QACtE,QAAQ,CAAC,gBAAgB;YACvB,QAAQ,CAAC,cAAc,KAAK,WAAW;gBACrC,CAAC,CAAC,8DAA8D;gBAChE,CAAC,CAAC,6DAA6D,CAAC;IACtE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}
@@ -12,6 +12,11 @@ export interface JudgeOptions {
12
12
  * left verify while the run was in flight, so the verdict routes nothing.
13
13
  */
14
14
  stillInVerify?: () => Promise<boolean>;
15
+ /**
16
+ * The verdict a CI runner rendered for the commit (verify/ci-gate/): judged and
17
+ * recorded as the commit's verdict in place of running the strategy here.
18
+ */
19
+ ranOnCi?: StrategyResult;
15
20
  }
16
21
  /** What judging rendered, before any per-delivery routing. */
17
22
  export interface JudgedDelivery {
@@ -56,6 +61,25 @@ export type DeliveryVerifier = (v: PendingVerification, deps: VerificationDeps,
56
61
  * A throw is rethrown either way.
57
62
  */
58
63
  export declare function dispatchDefaultOnCandidate(v: PendingVerification, deps: VerificationDeps, verify: DeliveryVerifier): Promise<StrategyResult | null>;
64
+ /** What startCiDispatch did: not a CI-run gate (dispatch it locally), started on its own, or that delivery already has one in flight. */
65
+ export type CiDispatchStart = 'local' | 'started' | 'busy';
66
+ /**
67
+ * Start a candidate whose gate runs on CI (verify/ci-gate/) -- default-on or an
68
+ * explicit deterministic row -- and return at once: the dispatch settles on its
69
+ * own, so the tick never waits on it. It takes no slot of the host's verification
70
+ * semaphore and no worktree interlock (no gate process starts on this host), and a
71
+ * red's awaited re-runs on a runner (verify/ci-gate/ci-gate-reruns.ts) hold only
72
+ * this focus: the next focus's gate is handed to CI in the same tick. Candidates of
73
+ * one focus still settle one at a time (serializedByFocus, inside the dispatch),
74
+ * so a sibling on the same commit takes the verdict the first one recorded. A
75
+ * delivery whose previous CI-run dispatch is still in flight is not started again:
76
+ * its selection is dropped, so a later tick selects it again. Its registration
77
+ * stays queued in its preflight until the dispatch settles, then ends; `onSettled`
78
+ * sees the routed result (null: nothing routed). Never throws.
79
+ */
80
+ export declare function startCiDispatch(v: PendingVerification, registration: GateRunRegistration | undefined, explicit: boolean, deps: VerificationDeps, verify: DeliveryVerifier, onSettled: (routed: StrategyResult | null) => void): CiDispatchStart;
81
+ /** Resolve once every CI-run dispatch in flight has settled (tests; a dispatch never rejects). */
82
+ export declare function settleCiDispatches(): Promise<void>;
59
83
  /**
60
84
  * Durably remove the verdict each selected EXPLICIT candidate's previous run
61
85
  * recorded (module doc), for every candidate at once and before any of them waits
@@ -1 +1 @@
1
- {"version":3,"file":"verification-commit-sharing.d.ts","sourceRoot":"","sources":["../../../src/verify/engine/verification-commit-sharing.ts"],"names":[],"mappings":"AAmHA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qDAAqD,CAAC;AAC1F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAqB,KAAK,mBAAmB,EAAE,MAAM,uCAAuC,CAAC;AAEpG,OAAO,EAAiC,KAAK,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AA4BrH,gCAAgC;AAChC,MAAM,WAAW,YAAY;IAC3B,oHAAoH;IACpH,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;CACxC;AAED,8DAA8D;AAC9D,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,cAAc,CAAC;IACvB,8FAA8F;IAC9F,uBAAuB,EAAE,mBAAmB,GAAG,IAAI,CAAC;IACpD,6FAA6F;IAC7F,MAAM,EAAE,OAAO,CAAC;CACjB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,aAAa,CACjC,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,gBAAgB,EACtB,WAAW,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,EAC1C,IAAI,CAAC,EAAE,YAAY,GAClB,OAAO,CAAC,cAAc,CAAC,CA4BzB;AAmED,uFAAuF;AACvF,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,YAAY,KAAK,OAAO,CAAC,cAAc,CAAC,CAAC;AAqN/H;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,0BAA0B,CAC9C,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,gBAAgB,EACtB,MAAM,EAAE,gBAAgB,GACvB,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CA6BhC;AAsCD;;;;;;;;;;;;GAYG;AACH,wBAAsB,oCAAoC,CACxD,QAAQ,EAAE,SAAS,mBAAmB,EAAE,EACxC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,SAAS,mBAAmB,EAAE,EAC7C,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,OAAO,EAAE,CAAC,CAYpB;AAsBD;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,yBAAyB,CAC7C,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,gBAAgB,EACtB,MAAM,EAAE,gBAAgB,GACvB,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAiBhC"}
1
+ {"version":3,"file":"verification-commit-sharing.d.ts","sourceRoot":"","sources":["../../../src/verify/engine/verification-commit-sharing.ts"],"names":[],"mappings":"AA4HA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qDAAqD,CAAC;AAC1F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAqB,KAAK,mBAAmB,EAAE,MAAM,uCAAuC,CAAC;AAEpG,OAAO,EAAiC,KAAK,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AA6BrH,gCAAgC;AAChC,MAAM,WAAW,YAAY;IAC3B,oHAAoH;IACpH,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;IACvC;;;OAGG;IACH,OAAO,CAAC,EAAE,cAAc,CAAC;CAC1B;AAED,8DAA8D;AAC9D,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,cAAc,CAAC;IACvB,8FAA8F;IAC9F,uBAAuB,EAAE,mBAAmB,GAAG,IAAI,CAAC;IACpD,6FAA6F;IAC7F,MAAM,EAAE,OAAO,CAAC;CACjB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,aAAa,CACjC,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,gBAAgB,EACtB,WAAW,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,EAC1C,IAAI,CAAC,EAAE,YAAY,GAClB,OAAO,CAAC,cAAc,CAAC,CA6BzB;AA0FD,uFAAuF;AACvF,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,YAAY,KAAK,OAAO,CAAC,cAAc,CAAC,CAAC;AA6N/H;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,0BAA0B,CAC9C,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,gBAAgB,EACtB,MAAM,EAAE,gBAAgB,GACvB,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CA6BhC;AAKD,yIAAyI;AACzI,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAE3D;;;;;;;;;;;;;GAaG;AACH,wBAAgB,eAAe,CAC7B,CAAC,EAAE,mBAAmB,EACtB,YAAY,EAAE,mBAAmB,GAAG,SAAS,EAC7C,QAAQ,EAAE,OAAO,EACjB,IAAI,EAAE,gBAAgB,EACtB,MAAM,EAAE,gBAAgB,EACxB,SAAS,EAAE,CAAC,MAAM,EAAE,cAAc,GAAG,IAAI,KAAK,IAAI,GACjD,eAAe,CAsBjB;AAED,kGAAkG;AAClG,wBAAsB,kBAAkB,IAAI,OAAO,CAAC,IAAI,CAAC,CAExD;AAsCD;;;;;;;;;;;;GAYG;AACH,wBAAsB,oCAAoC,CACxD,QAAQ,EAAE,SAAS,mBAAmB,EAAE,EACxC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,SAAS,mBAAmB,EAAE,EAC7C,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,OAAO,EAAE,CAAC,CAYpB;AAsBD;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,yBAAyB,CAC7C,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,gBAAgB,EACtB,MAAM,EAAE,gBAAgB,GACvB,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAiBhC"}
@@ -1,5 +1,6 @@
1
1
  // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
2
2
  // Pinned by: packages/daemon/src/integration/fully-merged-focus-sibling-red-scenario.test.ts,
3
+ // packages/daemon/src/verify/ci-gate/ci-gate-dispatch.test.ts,
3
4
  // packages/daemon/src/verify/engine/verification-commit-sharing.test.ts,
4
5
  // packages/daemon/src/verify/failing-test-rerun/rework-recheck.test.ts
5
6
  // PINNED-BY-END
@@ -105,6 +106,14 @@
105
106
  * ledger exactly as a run's does, and an older record a stale writer carries back
106
107
  * reads as no verdict.
107
108
  *
109
+ * A default-on candidate whose judged commit names CI as its gate runner runs
110
+ * nothing here: with no verdict to take, its dispatch takes one step of the
111
+ * CI-run gate instead (verify/ci-gate/ci-gate-dispatch.ts) -- hand the commit
112
+ * over, wait, or read CI's verdict back -- and only a verdict CI rendered is
113
+ * judged (judgeCiRun) and recorded under the same per-commit record, then routed
114
+ * exactly as a run is. A wait routes nothing and drops the mark, so the next tick
115
+ * asks again.
116
+ *
108
117
  * History: docs/daemon/history-verify.md (verify/engine/verification-commit-sharing.ts).
109
118
  *
110
119
  * @module verify/engine/verification-commit-sharing
@@ -124,6 +133,7 @@ import { judgedFailedSha, readVerificationHistory } from '../../queries/delivery
124
133
  import { noteDefaultOnResult, releaseDefaultOnMark } from '../run-selection/default-on-guards.js';
125
134
  import { releaseUnansweredDispatch } from '../run-selection/unanswered-dispatch.js';
126
135
  import { parkHoldsOnUnchangedFacts } from '../shortfalls/parked-shortfall-reuse.js';
136
+ import { ciGateRunOf, stepCiGate } from '../ci-gate/ci-gate-dispatch.js';
127
137
  import { createLogger } from '../../log/daemon-log.js';
128
138
  const log = createLogger({ module: 'verification' });
129
139
  /**
@@ -144,6 +154,8 @@ const log = createLogger({ module: 'verification' });
144
154
  export async function judgeDelivery(v, deps, runStrategy, opts) {
145
155
  if (opts?.reused)
146
156
  return { result: { ...opts.reused }, evidenceUnavailableHold: null, routes: true };
157
+ if (opts?.ranOnCi)
158
+ return judgeCiRun(v, opts.ranOnCi, deps, opts);
147
159
  const deterministic = v.verificationMethod === 'deterministic';
148
160
  // After a rework commit the previously failing tests are re-checked first: still
149
161
  // red is the commit's verdict, with no whole-gate run (verify/failing-test-rerun/rework-recheck.ts).
@@ -172,6 +184,28 @@ export async function judgeDelivery(v, deps, runStrategy, opts) {
172
184
  const routes = opts?.stillInVerify ? await opts.stillInVerify() : true;
173
185
  return { result, evidenceUnavailableHold, routes };
174
186
  }
187
+ /**
188
+ * Judge a verdict a CI runner rendered (verify/ci-gate/ci-gate-dispatch.ts) as a
189
+ * local run's is judged: a small red is retried on the same commit, a red is
190
+ * attributed against the focus base, and the result is recorded as the commit's
191
+ * verdict, so every reader of that record -- the review request, re-work routing,
192
+ * the gate-verdict section -- reads it unchanged. The log every step reads is the
193
+ * one CI published (fetched, where logPath names), and every run a step asks for
194
+ * -- the retry, a continuation, the base -- is a CI run too
195
+ * (verify/ci-gate/ci-gate-reruns.ts). No rework re-check runs first: that one is a
196
+ * local shortcut past the gate, and here the gate itself costs the host nothing.
197
+ */
198
+ async function judgeCiRun(v, ran, deps, opts) {
199
+ const result = { ...ran };
200
+ if (result.outcome === 'failed' && result.appliedConfig?.rerun) {
201
+ await retryFailingTestsOnSameCommit(v, result, readVerificationLogText(result), deps);
202
+ }
203
+ const evidenceUnavailableHold = result.outcome === 'failed' ? await attributeDeterministicFailure(v, result, deps) : null;
204
+ recordCommitVerdictFor(v, result, evidenceUnavailableHold !== null, deps.recordCommitVerdict, readVerificationLogText);
205
+ await recordNoVerdictFor(v, result, evidenceUnavailableHold !== null, deps);
206
+ const routes = opts.stillInVerify ? await opts.stillInVerify() : true;
207
+ return { result, evidenceUnavailableHold, routes };
208
+ }
175
209
  /** The gate command a run applied, else the one its verification carries. */
176
210
  function gateCommandOf(v, result) {
177
211
  const applied = result.appliedConfig?.command ?? v.verificationConfig?.command;
@@ -380,6 +414,8 @@ async function reuseOrRun(v, deps, verify, policy) {
380
414
  // No verdict to take: a commit whose earlier run rendered none waits out its backoff.
381
415
  if (!reused && !noVerdictBackoffAllows(v, key, deps, policy.kind))
382
416
  return null;
417
+ // No verdict to take, and the product runs its gate on CI: CI is asked instead (verify/ci-gate/).
418
+ const ciRun = reused ? null : ciGateRunOf(v, deps);
383
419
  if (!(await preRouteStepLanded(v, deps, policy)))
384
420
  return null;
385
421
  if (verdict && reused) {
@@ -397,8 +433,15 @@ async function reuseOrRun(v, deps, verify, policy) {
397
433
  }
398
434
  return verify(v, deps, { reused });
399
435
  }
436
+ let ranOnCi;
437
+ if (ciRun) {
438
+ const step = await stepCiGate(v, ciRun, deps);
439
+ if (step.kind === 'waiting')
440
+ return null;
441
+ ranOnCi = step.result;
442
+ }
400
443
  const probe = leftVerifyProbe(v, deps);
401
- const result = await verify(v, deps, { stillInVerify: probe.stillInVerify });
444
+ const result = await verify(v, deps, { stillInVerify: probe.stillInVerify, ...(ranOnCi ? { ranOnCi } : {}) });
402
445
  if (!probe.left())
403
446
  return result;
404
447
  logLeftVerifyMidRun(policy.kind, v, result);
@@ -451,6 +494,55 @@ export async function dispatchDefaultOnCandidate(v, deps, verify) {
451
494
  return result;
452
495
  });
453
496
  }
497
+ /** The CI-run dispatches in flight, by delivery (startCiDispatch). */
498
+ const ciDispatches = new Map();
499
+ /**
500
+ * Start a candidate whose gate runs on CI (verify/ci-gate/) -- default-on or an
501
+ * explicit deterministic row -- and return at once: the dispatch settles on its
502
+ * own, so the tick never waits on it. It takes no slot of the host's verification
503
+ * semaphore and no worktree interlock (no gate process starts on this host), and a
504
+ * red's awaited re-runs on a runner (verify/ci-gate/ci-gate-reruns.ts) hold only
505
+ * this focus: the next focus's gate is handed to CI in the same tick. Candidates of
506
+ * one focus still settle one at a time (serializedByFocus, inside the dispatch),
507
+ * so a sibling on the same commit takes the verdict the first one recorded. A
508
+ * delivery whose previous CI-run dispatch is still in flight is not started again:
509
+ * its selection is dropped, so a later tick selects it again. Its registration
510
+ * stays queued in its preflight until the dispatch settles, then ends; `onSettled`
511
+ * sees the routed result (null: nothing routed). Never throws.
512
+ */
513
+ export function startCiDispatch(v, registration, explicit, deps, verify, onSettled) {
514
+ if (ciGateRunOf(v, deps) === null)
515
+ return 'local';
516
+ if (ciDispatches.has(v.deliveryId)) {
517
+ if (explicit)
518
+ releaseExplicitRearm(v);
519
+ else
520
+ releaseDefaultOnMark(v.deliveryId);
521
+ registration?.end();
522
+ logNotStarting(explicit ? 'explicit' : 'default-on', v, 'its CI-run dispatch is still in flight; a later tick selects it again');
523
+ return 'busy';
524
+ }
525
+ registration?.waitOn({ on: 'preflight' });
526
+ const settled = (async () => {
527
+ try {
528
+ onSettled(explicit ? await dispatchExplicitCandidate(v, deps, verify) : await dispatchDefaultOnCandidate(v, deps, verify));
529
+ }
530
+ catch (err) {
531
+ log.warn(`[verification] CI-run dispatch failed for delivery ${v.deliveryId}:`, err.message);
532
+ }
533
+ finally {
534
+ registration?.end();
535
+ ciDispatches.delete(v.deliveryId);
536
+ }
537
+ })();
538
+ ciDispatches.set(v.deliveryId, settled);
539
+ return 'started';
540
+ }
541
+ /** Resolve once every CI-run dispatch in flight has settled (tests; a dispatch never rejects). */
542
+ export async function settleCiDispatches() {
543
+ while (ciDispatches.size > 0)
544
+ await Promise.all([...ciDispatches.values()]);
545
+ }
454
546
  /**
455
547
  * The reads an unanswered dispatch is released on (verify/run-selection/unanswered-dispatch.ts):
456
548
  * the PASSING verdict recorded for the commit the candidate's next dispatch would
@@ -1 +1 @@
1
- {"version":3,"file":"verification-commit-sharing.js","sourceRoot":"","sources":["../../../src/verify/engine/verification-commit-sharing.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,8FAA8F;AAC9F,2EAA2E;AAC3E,yEAAyE;AACzE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyGG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAItD,OAAO,EAAE,iBAAiB,EAA4B,MAAM,uCAAuC,CAAC;AACpG,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,6BAA6B,EAA4B,MAAM,4CAA4C,CAAC;AACrH,OAAO,EAAE,gBAAgB,EAAE,MAAM,qDAAqD,CAAC;AACvF,OAAO,EAAE,6BAA6B,EAAE,MAAM,6CAA6C,CAAC;AAC5F,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,yCAAyC,CAAC;AACtG,OAAO,EACL,wBAAwB,EACxB,kBAAkB,EAClB,qBAAqB,EACrB,sBAAsB,GAGvB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,yBAAyB,GAG1B,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,0DAA0D,CAAC;AACpH,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAC;AAClG,OAAO,EAAE,yBAAyB,EAAgC,MAAM,yCAAyC,CAAC;AAClH,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAsBrD;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,CAAsB,EACtB,IAAsB,EACtB,WAA0C,EAC1C,IAAmB;IAEnB,IAAI,IAAI,EAAE,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACrG,MAAM,aAAa,GAAG,CAAC,CAAC,kBAAkB,KAAK,eAAe,CAAC;IAC/D,iFAAiF;IACjF,qGAAqG;IACrG,MAAM,GAAG,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,wBAAwB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,WAAW,EAAE,CAAC;IACpG,+EAA+E;IAC/E,0EAA0E;IAC1E,MAAM,MAAM,GAAG,aAAa,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI;QACnD,CAAC,CAAC,gBAAgB,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,uBAAuB,CAAC,GAAG,CAAC,CAAC;QAC5E,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC;IACf,iFAAiF;IACjF,2FAA2F;IAC3F,IAAI,aAAa,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,EAAE,KAAK,EAAE,CAAC;QAChF,MAAM,6BAA6B,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;IACxF,CAAC;IACD,MAAM,uBAAuB,GAAG,aAAa,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ;QAC1E,CAAC,CAAC,MAAM,6BAA6B,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC;QACtD,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,aAAa,EAAE,CAAC;QAClB,sBAAsB,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,KAAK,IAAI,EAAE,IAAI,CAAC,mBAAmB,EAAE,uBAAuB,CAAC,CAAC;QACvH,MAAM,kBAAkB,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,KAAK,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5E,IAAI,uBAAuB,KAAK,IAAI;YAAE,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IAChI,CAAC;IACD,6EAA6E;IAC7E,+EAA+E;IAC/E,MAAM,MAAM,GAAG,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACvE,OAAO,EAAE,MAAM,EAAE,uBAAuB,EAAE,MAAM,EAAE,CAAC;AACrD,CAAC;AAED,6EAA6E;AAC7E,SAAS,aAAa,CAAC,CAAsB,EAAE,MAAsB;IACnE,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,EAAE,OAAO,IAAI,CAAC,CAAC,kBAAkB,EAAE,OAAO,CAAC;IAC/E,OAAO,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5E,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,kBAAkB,CAAC,CAAsB,EAAE,MAAsB,EAAE,eAAwB,EAAE,IAAsB;IAChI,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;IAC9B,IAAI,MAAM,CAAC,mBAAmB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO;IAClE,MAAM,IAAI,GAAyB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/G,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC;IACrC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAC3G,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC;IAC/B,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG;QAAE,OAAO;IACzE,MAAM,GAAG,GAAiB,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACpF,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IACnF,GAAG,CAAC,IAAI,CACN,wBAAwB,CAAC,CAAC,OAAO,WAAW,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,2BAA2B,CAAC,CAAC,UAAU,yBAAyB,IAAI,KAAK;UAClI,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,iFAAiF,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAC5J,CAAC;IACF,wGAAwG;IACxG,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC;QAAE,OAAO;IAC3C,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,cAAc,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;QAChF,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,+DAA+D,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACnI,CAAC;AACH,CAAC;AAED,kHAAkH;AAClH,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAkB,CAAC;AAEtD;;;;GAIG;AACH,SAAS,sBAAsB,CAAC,CAAsB,EAAE,GAAqD,EAAE,IAAsB,EAAE,IAAkB;IACvJ,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;IAC9B,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,SAAS,GAAiB,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IAC9G,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;IACxD,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;QACd,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACzD,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,MAAM,EAAE,CAAC;YACrD,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YAC9C,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,gBAAgB,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC7B,KAAK,CAAC,gBAAgB,CAAC,SAAS,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QACzF,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,eAAe,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,4BAA4B,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC/H,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAKD;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,CAAsB,EAAE,OAAe,EAAE,IAAsB;IACjF,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,IAAI,YAAY,IAAI,IAAI;gBAAE,OAAO,IAAI,CAAC;YACtC,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;YAC5D,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAChD,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,OAAO,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACvD,CAAC;AAQD;;;;;;;GAOG;AACH,KAAK,UAAU,mBAAmB,CAAC,CAAsB,EAAE,IAAsB;IAC/E,OAAO,CAAC,MAAM,yBAAyB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC7D,CAAC;AAED,yFAAyF;AACzF,KAAK,UAAU,yBAAyB,CACtC,CAAsB,EACtB,IAAsB;IAEtB,IAAI,CAAC,CAAC,kBAAkB,KAAK,eAAe,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACjH,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3C,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACpF,IAAI,QAAQ;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC;IACjF,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IAC/G,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAC5G,CAAC;AAED,mHAAmH;AACnH,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;AAErD,KAAK,UAAU,iBAAiB,CAAI,QAAgB,EAAE,EAAoB;IACxE,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7D,IAAI,OAAO,GAAe,GAAG,EAAE,GAAE,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAChC,MAAM,KAAK,CAAC;IACZ,IAAI,CAAC;QACH,OAAO,MAAM,EAAE,EAAE,CAAC;IACpB,CAAC;YAAS,CAAC;QACT,OAAO,EAAE,CAAC;QACV,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI;YAAE,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvE,CAAC;AACH,CAAC;AAKD,8GAA8G;AAC9G,KAAK,UAAU,cAAc,CAAC,CAAsB,EAAE,IAAsB;IAC1E,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,EAAE,UAAU,EAAE,8BAA8B,EAAE,CAAC;IACtE,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,CAAC;QAC1F,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,eAAe,KAAK,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IAClG,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,UAAU,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC;IAChD,CAAC;AACH,CAAC;AAED,0GAA0G;AAC1G,SAAS,eAAe,CAAC,CAAsB,EAAE,IAAsB;IACrE,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,OAAO;QACL,aAAa,EAAE,KAAK,IAAI,EAAE;YACxB,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC5C,UAAU,GAAG,UAAU,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,2CAA2C;YAChG,OAAO,CAAC,UAAU,CAAC;QACrB,CAAC;QACD,IAAI,EAAE,GAAG,EAAE,CAAC,UAAU;KACvB,CAAC;AACJ,CAAC;AAKD,SAAS,mBAAmB,CAAC,IAAkB,EAAE,CAAsB,EAAE,MAAsB;IAC7F,GAAG,CAAC,IAAI,CACN,kBAAkB,IAAI,eAAe,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,wCAAwC;UAC3G,QAAQ,MAAM,CAAC,OAAO,mFAAmF,CAC5G,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,IAAkB,EAAE,CAAsB,EAAE,GAAW;IAC7E,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,2CAA2C,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,QAAQ,GAAG,EAAE,CAAC,CAAC;AAC3H,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,eAAe,CAC5B,CAAsB,EACtB,IAAsB,EACtB,IAAkB,EAClB,IAAY;IAEZ,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7C,IAAI,UAAU,IAAI,MAAM,IAAI,MAAM,CAAC,QAAQ;QAAE,OAAO,MAAM,CAAC;IAC3D,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,IAAI,MAAM;QAC5C,CAAC,CAAC,kCAAkC,IAAI,KAAK,MAAM,CAAC,UAAU,6BAA6B;QAC3F,CAAC,CAAC,4BAA4B,IAAI,EAAE,CAAC,CAAC;IACxC,OAAO,IAAI,CAAC;AACd,CAAC;AAmBD;;;;GAIG;AACH,KAAK,UAAU,kBAAkB,CAAC,CAAsB,EAAE,IAAsB,EAAE,MAAsB;IACtG,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,EAAE,EAAE,IAAI,IAAI,CAAC;IAC5C,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAChC,OAAO,CAAC,MAAM,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,8CAA8C,CAAC,CAAC,KAAK,IAAI,CAAC;AAChH,CAAC;AAED;;;;;;;;;GASG;AACH,KAAK,UAAU,UAAU,CACvB,CAAsB,EACtB,IAAsB,EACtB,MAAwB,EACxB,MAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC/D,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,MAAM,yBAAyB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,QAAQ,EAAE,OAAO,IAAI,IAAI,CAAC;IAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnE,IAAI,MAAM,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,sFAAsF;IACtF,IAAI,CAAC,MAAM,IAAI,CAAC,sBAAsB,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,IAAI,CAAC,CAAC,MAAM,kBAAkB,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;QACtB,IAAI,QAAQ,EAAE,WAAW,EAAE,CAAC;YAC1B,wEAAwE;YACxE,yEAAyE;YACzE,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAClC,GAAG,CAAC,IAAI,CACN,kBAAkB,MAAM,CAAC,IAAI,eAAe,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,mBAAmB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;kBACvH,2CAA2C,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,yCAAyC;kBACpH,qCAAqC,OAAO,CAAC,OAAO,kCAAkC,CACzF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CACN,kBAAkB,MAAM,CAAC,IAAI,eAAe,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,gBAAgB,OAAO,CAAC,OAAO,YAAY;kBACrH,2BAA2B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,sBAAsB,OAAO,CAAC,gBAAgB,kBAAkB,CACrH,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IACrC,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC;IAC7E,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE;QAAE,OAAO,MAAM,CAAC;IACjC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,CAAsB,EACtB,IAAsB,EACtB,MAAwB;IAExB,OAAO,iBAAiB,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,UAAU,EAAE,KAAK,IAAI,EAAE;QAC7D,IAAI,MAA6B,CAAC;QAClC,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;QACrE,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,yBAAyB,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,uBAAuB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;YACzF,MAAM,GAAG,CAAC;QACZ,CAAC;QACD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YACnC,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,4EAA4E;QAC5E,4EAA4E;QAC5E,8EAA8E;QAC9E,8EAA8E;QAC9E,0EAA0E;QAC1E,yDAAyD;QACzD,MAAM,SAAS,GAAG,MAAM,CAAC,mBAAmB,KAAK,IAAI,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI;YACvF,CAAC,CAAC,MAAM,yBAAyB,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC;YAChD,CAAC,CAAC,KAAK,CAAC;QACV,mBAAmB,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAC5D,8GAA8G;QAC9G,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,yBAAyB,CAAC,CAAC,CAAC,UAAU,EAAE,UAAU,MAAM,CAAC,OAAO,GAAG,EAAE,uBAAuB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/G,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,SAAS,uBAAuB,CAAC,CAAsB,EAAE,IAAsB;IAC7E,OAAO;QACL,sBAAsB,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,mBAAmB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,OAAO,KAAK,QAAQ;QACtG,cAAc,EAAE,KAAK,IAAI,EAAE;YACzB,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC7C,OAAO,UAAU,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9C,CAAC;KACF,CAAC;AACJ,CAAC;AAED,+HAA+H;AAC/H,MAAM,oBAAoB,GAAG,IAAI,OAAO,EAAuB,CAAC;AAEhE;;;;GAIG;AACH,KAAK,UAAU,kBAAkB,CAAC,CAAsB,EAAE,IAAsB;IAC9E,MAAM,UAAU,GAAG,IAAI,CAAC,6BAA6B,CAAC;IACtD,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC;IAC3B,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,IAAI,MAAM,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1E,GAAG,CAAC,IAAI,CACN,kEAAkE,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,mBAAmB;UACnH,mIAAmI,CACtI,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,oCAAoC,CACxD,QAAwC,EACxC,WAAgC,EAChC,aAA6C,EAC7C,IAAsB;IAEtB,OAAO,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;QAC7C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,IAAI,MAAM,mBAAmB,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;YACvC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,MAAM,kBAAkB,CAAC,CAAC,EAAE,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACnD,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;QACxB,oBAAoB,CAAC,CAAC,CAAC,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,mHAAmH;AACnH,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;AAEnD;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,CAAsB,EAAE,MAAsB,EAAE,SAAkB;IAC3F,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,IAAI,uBAAuB,CAAC,SAAS,CAAC,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnI,MAAM,GAAG,GAAG,mCAAmC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,iDAAiD;UACjH,6CAA6C,CAAC;IAClD,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,SAAS,EAAE,CAAC;QACrD,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAC9C,cAAc,CAAC,UAAU,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,CAAsB,EACtB,IAAsB,EACtB,MAAwB;IAExB,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IACzC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,CAAC,CAAC,kBAAkB,KAAK,eAAe;YACrD,CAAC,CAAC,MAAM,iBAAiB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;gBACnE,IAAI,EAAE,UAAU;gBAChB,aAAa,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC;gBAC7E,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;aACzF,CAAC,CAAC;YACH,CAAC,CAAC,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAC5D,MAAM,GAAG,MAAM,KAAK,IAAI,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,MAAM;YAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC;AACH,CAAC"}
1
+ {"version":3,"file":"verification-commit-sharing.js","sourceRoot":"","sources":["../../../src/verify/engine/verification-commit-sharing.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,8FAA8F;AAC9F,iEAAiE;AACjE,2EAA2E;AAC3E,yEAAyE;AACzE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiHG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAItD,OAAO,EAAE,iBAAiB,EAA4B,MAAM,uCAAuC,CAAC;AACpG,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,6BAA6B,EAA4B,MAAM,4CAA4C,CAAC;AACrH,OAAO,EAAE,gBAAgB,EAAE,MAAM,qDAAqD,CAAC;AACvF,OAAO,EAAE,6BAA6B,EAAE,MAAM,6CAA6C,CAAC;AAC5F,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,yCAAyC,CAAC;AACtG,OAAO,EACL,wBAAwB,EACxB,kBAAkB,EAClB,qBAAqB,EACrB,sBAAsB,GAGvB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,yBAAyB,GAG1B,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,0DAA0D,CAAC;AACpH,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAC;AAClG,OAAO,EAAE,yBAAyB,EAAgC,MAAM,yCAAyC,CAAC;AAClH,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AACzE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AA2BrD;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,CAAsB,EACtB,IAAsB,EACtB,WAA0C,EAC1C,IAAmB;IAEnB,IAAI,IAAI,EAAE,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACrG,IAAI,IAAI,EAAE,OAAO;QAAE,OAAO,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAClE,MAAM,aAAa,GAAG,CAAC,CAAC,kBAAkB,KAAK,eAAe,CAAC;IAC/D,iFAAiF;IACjF,qGAAqG;IACrG,MAAM,GAAG,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,wBAAwB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,WAAW,EAAE,CAAC;IACpG,+EAA+E;IAC/E,0EAA0E;IAC1E,MAAM,MAAM,GAAG,aAAa,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI;QACnD,CAAC,CAAC,gBAAgB,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,uBAAuB,CAAC,GAAG,CAAC,CAAC;QAC5E,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC;IACf,iFAAiF;IACjF,2FAA2F;IAC3F,IAAI,aAAa,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,EAAE,KAAK,EAAE,CAAC;QAChF,MAAM,6BAA6B,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;IACxF,CAAC;IACD,MAAM,uBAAuB,GAAG,aAAa,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ;QAC1E,CAAC,CAAC,MAAM,6BAA6B,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC;QACtD,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,aAAa,EAAE,CAAC;QAClB,sBAAsB,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,KAAK,IAAI,EAAE,IAAI,CAAC,mBAAmB,EAAE,uBAAuB,CAAC,CAAC;QACvH,MAAM,kBAAkB,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,KAAK,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5E,IAAI,uBAAuB,KAAK,IAAI;YAAE,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IAChI,CAAC;IACD,6EAA6E;IAC7E,+EAA+E;IAC/E,MAAM,MAAM,GAAG,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACvE,OAAO,EAAE,MAAM,EAAE,uBAAuB,EAAE,MAAM,EAAE,CAAC;AACrD,CAAC;AAED;;;;;;;;;;GAUG;AACH,KAAK,UAAU,UAAU,CAAC,CAAsB,EAAE,GAAmB,EAAE,IAAsB,EAAE,IAAkB;IAC/G,MAAM,MAAM,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC;IAC1B,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,EAAE,KAAK,EAAE,CAAC;QAC/D,MAAM,6BAA6B,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;IACxF,CAAC;IACD,MAAM,uBAAuB,GAAG,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,6BAA6B,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1H,sBAAsB,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,KAAK,IAAI,EAAE,IAAI,CAAC,mBAAmB,EAAE,uBAAuB,CAAC,CAAC;IACvH,MAAM,kBAAkB,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,KAAK,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACtE,OAAO,EAAE,MAAM,EAAE,uBAAuB,EAAE,MAAM,EAAE,CAAC;AACrD,CAAC;AAED,6EAA6E;AAC7E,SAAS,aAAa,CAAC,CAAsB,EAAE,MAAsB;IACnE,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,EAAE,OAAO,IAAI,CAAC,CAAC,kBAAkB,EAAE,OAAO,CAAC;IAC/E,OAAO,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5E,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,kBAAkB,CAAC,CAAsB,EAAE,MAAsB,EAAE,eAAwB,EAAE,IAAsB;IAChI,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;IAC9B,IAAI,MAAM,CAAC,mBAAmB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO;IAClE,MAAM,IAAI,GAAyB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/G,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC;IACrC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAC3G,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC;IAC/B,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG;QAAE,OAAO;IACzE,MAAM,GAAG,GAAiB,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACpF,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IACnF,GAAG,CAAC,IAAI,CACN,wBAAwB,CAAC,CAAC,OAAO,WAAW,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,2BAA2B,CAAC,CAAC,UAAU,yBAAyB,IAAI,KAAK;UAClI,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,iFAAiF,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAC5J,CAAC;IACF,wGAAwG;IACxG,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC;QAAE,OAAO;IAC3C,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,cAAc,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;QAChF,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,+DAA+D,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACnI,CAAC;AACH,CAAC;AAED,kHAAkH;AAClH,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAkB,CAAC;AAEtD;;;;GAIG;AACH,SAAS,sBAAsB,CAAC,CAAsB,EAAE,GAAqD,EAAE,IAAsB,EAAE,IAAkB;IACvJ,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;IAC9B,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,SAAS,GAAiB,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IAC9G,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;IACxD,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;QACd,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACzD,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,MAAM,EAAE,CAAC;YACrD,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YAC9C,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,gBAAgB,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC7B,KAAK,CAAC,gBAAgB,CAAC,SAAS,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QACzF,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,eAAe,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,4BAA4B,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC/H,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAKD;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,CAAsB,EAAE,OAAe,EAAE,IAAsB;IACjF,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,IAAI,YAAY,IAAI,IAAI;gBAAE,OAAO,IAAI,CAAC;YACtC,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;YAC5D,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAChD,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,OAAO,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACvD,CAAC;AAQD;;;;;;;GAOG;AACH,KAAK,UAAU,mBAAmB,CAAC,CAAsB,EAAE,IAAsB;IAC/E,OAAO,CAAC,MAAM,yBAAyB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC7D,CAAC;AAED,yFAAyF;AACzF,KAAK,UAAU,yBAAyB,CACtC,CAAsB,EACtB,IAAsB;IAEtB,IAAI,CAAC,CAAC,kBAAkB,KAAK,eAAe,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACjH,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3C,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACpF,IAAI,QAAQ;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC;IACjF,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IAC/G,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAC5G,CAAC;AAED,mHAAmH;AACnH,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;AAErD,KAAK,UAAU,iBAAiB,CAAI,QAAgB,EAAE,EAAoB;IACxE,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7D,IAAI,OAAO,GAAe,GAAG,EAAE,GAAE,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAChC,MAAM,KAAK,CAAC;IACZ,IAAI,CAAC;QACH,OAAO,MAAM,EAAE,EAAE,CAAC;IACpB,CAAC;YAAS,CAAC;QACT,OAAO,EAAE,CAAC;QACV,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI;YAAE,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvE,CAAC;AACH,CAAC;AAKD,8GAA8G;AAC9G,KAAK,UAAU,cAAc,CAAC,CAAsB,EAAE,IAAsB;IAC1E,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,EAAE,UAAU,EAAE,8BAA8B,EAAE,CAAC;IACtE,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,CAAC;QAC1F,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,eAAe,KAAK,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IAClG,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,UAAU,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC;IAChD,CAAC;AACH,CAAC;AAED,0GAA0G;AAC1G,SAAS,eAAe,CAAC,CAAsB,EAAE,IAAsB;IACrE,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,OAAO;QACL,aAAa,EAAE,KAAK,IAAI,EAAE;YACxB,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC5C,UAAU,GAAG,UAAU,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,2CAA2C;YAChG,OAAO,CAAC,UAAU,CAAC;QACrB,CAAC;QACD,IAAI,EAAE,GAAG,EAAE,CAAC,UAAU;KACvB,CAAC;AACJ,CAAC;AAKD,SAAS,mBAAmB,CAAC,IAAkB,EAAE,CAAsB,EAAE,MAAsB;IAC7F,GAAG,CAAC,IAAI,CACN,kBAAkB,IAAI,eAAe,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,wCAAwC;UAC3G,QAAQ,MAAM,CAAC,OAAO,mFAAmF,CAC5G,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,IAAkB,EAAE,CAAsB,EAAE,GAAW;IAC7E,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,2CAA2C,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,QAAQ,GAAG,EAAE,CAAC,CAAC;AAC3H,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,eAAe,CAC5B,CAAsB,EACtB,IAAsB,EACtB,IAAkB,EAClB,IAAY;IAEZ,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7C,IAAI,UAAU,IAAI,MAAM,IAAI,MAAM,CAAC,QAAQ;QAAE,OAAO,MAAM,CAAC;IAC3D,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,IAAI,MAAM;QAC5C,CAAC,CAAC,kCAAkC,IAAI,KAAK,MAAM,CAAC,UAAU,6BAA6B;QAC3F,CAAC,CAAC,4BAA4B,IAAI,EAAE,CAAC,CAAC;IACxC,OAAO,IAAI,CAAC;AACd,CAAC;AAmBD;;;;GAIG;AACH,KAAK,UAAU,kBAAkB,CAAC,CAAsB,EAAE,IAAsB,EAAE,MAAsB;IACtG,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,EAAE,EAAE,IAAI,IAAI,CAAC;IAC5C,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAChC,OAAO,CAAC,MAAM,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,8CAA8C,CAAC,CAAC,KAAK,IAAI,CAAC;AAChH,CAAC;AAED;;;;;;;;;GASG;AACH,KAAK,UAAU,UAAU,CACvB,CAAsB,EACtB,IAAsB,EACtB,MAAwB,EACxB,MAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC/D,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,MAAM,yBAAyB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,QAAQ,EAAE,OAAO,IAAI,IAAI,CAAC;IAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnE,IAAI,MAAM,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,sFAAsF;IACtF,IAAI,CAAC,MAAM,IAAI,CAAC,sBAAsB,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,kGAAkG;IAClG,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACnD,IAAI,CAAC,CAAC,MAAM,kBAAkB,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;QACtB,IAAI,QAAQ,EAAE,WAAW,EAAE,CAAC;YAC1B,wEAAwE;YACxE,yEAAyE;YACzE,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAClC,GAAG,CAAC,IAAI,CACN,kBAAkB,MAAM,CAAC,IAAI,eAAe,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,mBAAmB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;kBACvH,2CAA2C,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,yCAAyC;kBACpH,qCAAqC,OAAO,CAAC,OAAO,kCAAkC,CACzF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CACN,kBAAkB,MAAM,CAAC,IAAI,eAAe,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,gBAAgB,OAAO,CAAC,OAAO,YAAY;kBACrH,2BAA2B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,sBAAsB,OAAO,CAAC,gBAAgB,kBAAkB,CACrH,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,OAAmC,CAAC;IACxC,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,IAAI,GAAG,MAAM,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACzC,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC;IACxB,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC9G,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE;QAAE,OAAO,MAAM,CAAC;IACjC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,CAAsB,EACtB,IAAsB,EACtB,MAAwB;IAExB,OAAO,iBAAiB,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,UAAU,EAAE,KAAK,IAAI,EAAE;QAC7D,IAAI,MAA6B,CAAC;QAClC,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;QACrE,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,yBAAyB,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,uBAAuB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;YACzF,MAAM,GAAG,CAAC;QACZ,CAAC;QACD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YACnC,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,4EAA4E;QAC5E,4EAA4E;QAC5E,8EAA8E;QAC9E,8EAA8E;QAC9E,0EAA0E;QAC1E,yDAAyD;QACzD,MAAM,SAAS,GAAG,MAAM,CAAC,mBAAmB,KAAK,IAAI,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI;YACvF,CAAC,CAAC,MAAM,yBAAyB,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC;YAChD,CAAC,CAAC,KAAK,CAAC;QACV,mBAAmB,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAC5D,8GAA8G;QAC9G,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,yBAAyB,CAAC,CAAC,CAAC,UAAU,EAAE,UAAU,MAAM,CAAC,OAAO,GAAG,EAAE,uBAAuB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/G,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,sEAAsE;AACtE,MAAM,YAAY,GAAG,IAAI,GAAG,EAAyB,CAAC;AAKtD;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,eAAe,CAC7B,CAAsB,EACtB,YAA6C,EAC7C,QAAiB,EACjB,IAAsB,EACtB,MAAwB,EACxB,SAAkD;IAElD,IAAI,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC;IAClD,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,IAAI,QAAQ;YAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC;;YACjC,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACxC,YAAY,EAAE,GAAG,EAAE,CAAC;QACpB,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,EAAE,uEAAuE,CAAC,CAAC;QACjI,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,YAAY,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,CAAC,KAAK,IAAI,EAAE;QAC1B,IAAI,CAAC;YACH,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,yBAAyB,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,0BAA0B,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAC7H,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAC1G,CAAC;gBAAS,CAAC;YACT,YAAY,EAAE,GAAG,EAAE,CAAC;YACpB,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC,EAAE,CAAC;IACL,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACxC,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,kGAAkG;AAClG,MAAM,CAAC,KAAK,UAAU,kBAAkB;IACtC,OAAO,YAAY,CAAC,IAAI,GAAG,CAAC;QAAE,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED;;;;;GAKG;AACH,SAAS,uBAAuB,CAAC,CAAsB,EAAE,IAAsB;IAC7E,OAAO;QACL,sBAAsB,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,mBAAmB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,OAAO,KAAK,QAAQ;QACtG,cAAc,EAAE,KAAK,IAAI,EAAE;YACzB,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC7C,OAAO,UAAU,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9C,CAAC;KACF,CAAC;AACJ,CAAC;AAED,+HAA+H;AAC/H,MAAM,oBAAoB,GAAG,IAAI,OAAO,EAAuB,CAAC;AAEhE;;;;GAIG;AACH,KAAK,UAAU,kBAAkB,CAAC,CAAsB,EAAE,IAAsB;IAC9E,MAAM,UAAU,GAAG,IAAI,CAAC,6BAA6B,CAAC;IACtD,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC;IAC3B,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,IAAI,MAAM,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1E,GAAG,CAAC,IAAI,CACN,kEAAkE,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,mBAAmB;UACnH,mIAAmI,CACtI,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,oCAAoC,CACxD,QAAwC,EACxC,WAAgC,EAChC,aAA6C,EAC7C,IAAsB;IAEtB,OAAO,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;QAC7C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,IAAI,MAAM,mBAAmB,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;YACvC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,MAAM,kBAAkB,CAAC,CAAC,EAAE,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACnD,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;QACxB,oBAAoB,CAAC,CAAC,CAAC,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,mHAAmH;AACnH,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;AAEnD;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,CAAsB,EAAE,MAAsB,EAAE,SAAkB;IAC3F,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,IAAI,uBAAuB,CAAC,SAAS,CAAC,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnI,MAAM,GAAG,GAAG,mCAAmC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,iDAAiD;UACjH,6CAA6C,CAAC;IAClD,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,SAAS,EAAE,CAAC;QACrD,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAC9C,cAAc,CAAC,UAAU,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,CAAsB,EACtB,IAAsB,EACtB,MAAwB;IAExB,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IACzC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,CAAC,CAAC,kBAAkB,KAAK,eAAe;YACrD,CAAC,CAAC,MAAM,iBAAiB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;gBACnE,IAAI,EAAE,UAAU;gBAChB,aAAa,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC;gBAC7E,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;aACzF,CAAC,CAAC;YACH,CAAC,CAAC,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAC5D,MAAM,GAAG,MAAM,KAAK,IAAI,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,MAAM;YAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC;AACH,CAAC"}
@@ -27,6 +27,7 @@ import type { StrategyResult } from '../deterministic-gate/verification-determin
27
27
  import type { runDeterministicStrategy } from '../deterministic-gate/verification-deterministic.js';
28
28
  import type { CommitVerdictGate, CommitVerdictReader, CommitVerdictRecorder } from '../gate-verdicts/commit-verdict-record.js';
29
29
  import type { NoVerdictStore } from '../gate-verdicts/no-verdict-record.js';
30
+ import type { CiGateDeps } from '../ci-gate/ci-gate-dispatch.js';
30
31
  import type { CarriedVerdict } from '../gate-verdicts/no-own-delta-verdict.js';
31
32
  import type { AncestorLister } from '../gate-verdicts/judged-ancestor.js';
32
33
  import type { CommitVerdictPullRegistry } from '../run-selection/commit-verdict-pull.js';
@@ -461,6 +462,14 @@ export interface VerificationDeps {
461
462
  * durable store.
462
463
  */
463
464
  noVerdicts: NoVerdictStore;
465
+ /**
466
+ * The CI-run gate's seams (verify/ci-gate/ci-gate-dispatch.ts): for a product
467
+ * whose judged commit says `"gateRunner": "ci"`, the run config applied there,
468
+ * the git-native push of a run to its gate branch, the read-back of CI's
469
+ * verdict and log, and the durable wait record. Production binds ci/gate-ref.ts
470
+ * and the durable store.
471
+ */
472
+ ciGate: CiGateDeps;
464
473
  /**
465
474
  * The verdict a focus commit that adds nothing of the focus's own carries from
466
475
  * its newest judged ancestor (verify/gate-verdicts/no-own-delta-verdict.ts), read when no
@@ -1 +1 @@
1
- {"version":3,"file":"verification-deps.d.ts","sourceRoot":"","sources":["../../../src/verify/engine/verification-deps.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0CAA0C,CAAC;AAClF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qDAAqD,CAAC;AAC1F,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,qDAAqD,CAAC;AACpG,OAAO,KAAK,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,2CAA2C,CAAC;AAC/H,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAC5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAC/E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAC1E,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AACnF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,8CAA8C,CAAC;AAC3F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qDAAqD,CAAC;AAC7F,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,iDAAiD,CAAC;AAClG,OAAO,KAAK,EACV,uBAAuB,EACvB,mBAAmB,EACnB,mBAAmB,EACpB,MAAM,4CAA4C,CAAC;AACpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAC;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,gDAAgD,CAAC;AAC/I,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mDAAmD,CAAC;AACxF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,OAAO,KAAK,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,MAAM,0DAA0D,CAAC;AAC9H,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uDAAuD,CAAC;AACpG,OAAO,KAAK,EAAE,yBAAyB,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAC7I,OAAO,KAAK,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,6CAA6C,CAAC;AAC1G,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iDAAiD,CAAC;AACvF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAC3E,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mDAAmD,CAAC;AAC5F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kDAAkD,CAAC;AACzF,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AACrF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mDAAmD,CAAC;AACrF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,6CAA6C,CAAC;AACzF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AAC1F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,6CAA6C,CAAC;AACzF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAC;AAElF;;;GAGG;AACH,MAAM,MAAM,uBAAuB,GAAG,CACpC,CAAC,EAAE,mBAAmB,EACtB,QAAQ,EAAE,SAAS,WAAW,EAAE,EAChC,IAAI,EAAE,cAAc,KACjB,OAAO,CAAC,cAAc,CAAC,CAAC;AAE7B,MAAM,WAAW,0BAA0B;IACzC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE;QACX,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,IAAI,EAAE,kBAAkB,GAAG,UAAU,GAAG,aAAa,GAAG,kBAAkB,GAAG,gBAAgB,CAAC;QAC9F,QAAQ,EAAE,MAAM,CAAC;QACjB,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC;CACH;AAED,MAAM,WAAW,gBAAgB;IAC/B,uBAAuB,EAAE,OAAO,uBAAuB,CAAC;IACxD;;;;OAIG;IACH,aAAa,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9G;;;;;;OAMG;IACH,eAAe,EAAE,CAAC,eAAe,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,iBAAiB,EAAE,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACxJ;;;;OAIG;IACH,aAAa,EAAE,iBAAiB,CAAC;IACjC;;;;;OAKG;IACH,oBAAoB,EAAE,sBAAsB,CAAC;IAC7C;;;;;OAKG;IACH,qBAAqB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,WAAW,EAAE,EAAE,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC;IAC/H;;;;;;;OAOG;IACH,0BAA0B,EAAE,CAC1B,OAAO,EAAE,iBAAiB,EAC1B,GAAG,EAAE,MAAM,KACR,OAAO,CAAC,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC,CAAC;IAC/D;;;;;;;;;;OAUG;IACH,sBAAsB,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IACnF;;;;;;;OAOG;IACH,wBAAwB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC;IAC3H;;;;;;;;OAQG;IACH,wBAAwB,EAAE,CACxB,eAAe,EAAE,MAAM,EACvB,OAAO,EAAE,MAAM,GAAG,IAAI,EACtB,QAAQ,EAAE,cAAc;IACxB;;;;OAIG;IACH,kBAAkB,EAAE,OAAO;IAC3B;;;;;OAKG;IACH,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI;IAC1B;;;OAGG;IACH,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,KAC/B,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACrC;;;;;;OAMG;IACH,iBAAiB,EAAE,CAAC,eAAe,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,EAAE,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IACpH;;;;;OAKG;IACH,cAAc,EAAE,CAAC,KAAK,EAAE,mBAAmB,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9D,uCAAuC;IACvC,cAAc,EAAE,MAAM,CAAC;IACvB,qEAAqE;IACrE,iBAAiB,EAAE,CAAC,OAAO,EAAE,0BAA0B,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1E;;;;;;;OAOG;IACH,eAAe,EAAE,CACf,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,SAAS,aAAa,EAAE,EACpC,aAAa,CAAC,EAAE,MAAM,KACnB,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,gBAAgB,EAAE,OAAO,wBAAwB,CAAC;IAClD,eAAe,EAAE,CAAC,MAAM,EAAE,kBAAkB,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3E,yBAAyB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IAC1F;;;;OAIG;IACH,gBAAgB,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC,kBAAkB,EAAE,cAAc,GAAG,UAAU,CAAC,CAAC;IAC7G,UAAU,EAAE,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,MAAM,CAAC;IACjD,iBAAiB,EAAE,MAAM,CAAC;IAC1B;;;;;;OAMG;IACH,mBAAmB,EAAE,uBAAuB,CAAC;IAE7C;;;;;OAKG;IACH,0BAA0B,EAAE,2BAA2B,CAAC;IACxD,+EAA+E;IAC/E,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,mEAAmE;IACnE,kBAAkB,EAAE,OAAO,kBAAkB,CAAC;IAC9C,sDAAsD;IACtD,sBAAsB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,EAAE,cAAc,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1F;;;;;;;;;;;;;;;OAeG;IACH,wBAAwB,EAAE,CACxB,CAAC,EAAE,mBAAmB,EACtB,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,EACzB,UAAU,CAAC,EAAE,kBAAkB,GAAG,IAAI,EACtC,kBAAkB,CAAC,EAAE,MAAM,GAAG,IAAI,KAC/B,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB;;;;;;;;;;;;OAYG;IACH,kCAAkC,EAAE,CAClC,CAAC,EAAE,mBAAmB,EACtB,KAAK,EAAE,IAAI,CAAC,yBAAyB,EAAE,QAAQ,CAAC,EAChD,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,EACzB,UAAU,CAAC,EAAE,kBAAkB,GAAG,IAAI,KACnC,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB;;;;;;OAMG;IACH,uBAAuB,EAAE,CACvB,CAAC,EAAE,mBAAmB,EACtB,MAAM,EAAE,sBAAsB,KAC3B,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB;;;;OAIG;IACH,sBAAsB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,CAAC;IAC3D;;;;;OAKG;IACH,wBAAwB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,GAAG,IAAI,CAAC;IACpE;;;;;OAKG;IACH,oBAAoB,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,cAAc,GAAG,IAAI,CAAC;IAClH;;;;;OAKG;IACH,gBAAgB,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACjD,4FAA4F;IAC5F,oBAAoB,EAAE,CAAC,iBAAiB,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,KAAK,cAAc,GAAG,IAAI,CAAC;IAChG;;;;OAIG;IACH,wBAAwB,EAAE,CAAC,iBAAiB,EAAE,MAAM,KAAK,0BAA0B,CAAC;IACpF;;;;;;;OAOG;IACH,4BAA4B,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,KAAK,yBAAyB,CAAC;IACrG;;;;OAIG;IACH,mBAAmB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACxD;;;;OAIG;IACH,aAAa,EAAE,cAAc,CAAC;IAC9B;;;OAGG;IACH,iBAAiB,EAAE,yBAAyB,CAAC;IAC7C,iHAAiH;IACjH,YAAY,EAAE,oBAAoB,CAAC;IACnC;;;;OAIG;IACH,wBAAwB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,gBAAgB,GAAG,IAAI,CAAC;IACvE;;;;OAIG;IACH,gBAAgB,EAAE,CAAC,MAAM,EAAE,uBAAuB,EAAE,IAAI,EAAE,oBAAoB,KAAK,iBAAiB,GAAG,IAAI,CAAC;IAC5G;;;;OAIG;IACH,oBAAoB,EAAE,eAAe,CAAC;IACtC;;;;;OAKG;IACH,mBAAmB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,CAAC;IACxD;;;;;;;OAOG;IACH,yBAAyB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACzE;;;;;;;;OAQG;IACH,0BAA0B,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IAC/E;;;;;;OAMG;IACH,iCAAiC,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACjF;;;;;;;;;OASG;IACH,yBAAyB,EAAE,CACzB,CAAC,EAAE,mBAAmB,KACnB,OAAO,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC,CAAC;IAC3D;;;;;;;;OAQG;IACH,8BAA8B,EAAE,CAC9B,CAAC,EAAE,mBAAmB,KACnB,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC,CAAC;IACtD,4EAA4E;IAC5E,iBAAiB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,EAAE,cAAc,KAAK,OAAO,CAAC,qBAAqB,GAAG,IAAI,CAAC,CAAC;IAC7G;;;;;OAKG;IACH,oBAAoB,EAAE,uBAAuB,CAAC;IAC9C;;;;;OAKG;IACH,mBAAmB,EAAE,mBAAmB,CAAC;IACzC;;;;;OAKG;IACH,oBAAoB,EAAE,qBAAqB,CAAC;IAC5C;;;;OAIG;IACH,aAAa,EAAE,kBAAkB,CAAC;IAClC;;;;OAIG;IACH,mBAAmB,EAAE,qBAAqB,CAAC;IAC3C;;;;;;OAMG;IACH,iBAAiB,EAAE,mBAAmB,CAAC;IACvC;;;;;OAKG;IACH,UAAU,EAAE,cAAc,CAAC;IAC3B;;;;;;OAMG;IACH,qBAAqB,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,KAAK,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAAC;IACrI;;;;;;OAMG;IACH,0BAA0B,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACzI;;;;;;OAMG;IACH,sBAAsB,EAAE,sBAAsB,CAAC;IAC/C;;;;;;;OAOG;IACH,6BAA6B,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CACxF"}
1
+ {"version":3,"file":"verification-deps.d.ts","sourceRoot":"","sources":["../../../src/verify/engine/verification-deps.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0CAA0C,CAAC;AAClF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qDAAqD,CAAC;AAC1F,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,qDAAqD,CAAC;AACpG,OAAO,KAAK,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,2CAA2C,CAAC;AAC/H,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAC5E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAC/E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAC1E,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AACnF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,8CAA8C,CAAC;AAC3F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qDAAqD,CAAC;AAC7F,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,iDAAiD,CAAC;AAClG,OAAO,KAAK,EACV,uBAAuB,EACvB,mBAAmB,EACnB,mBAAmB,EACpB,MAAM,4CAA4C,CAAC;AACpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAC;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,gDAAgD,CAAC;AAC/I,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mDAAmD,CAAC;AACxF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,OAAO,KAAK,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,MAAM,0DAA0D,CAAC;AAC9H,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uDAAuD,CAAC;AACpG,OAAO,KAAK,EAAE,yBAAyB,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAC7I,OAAO,KAAK,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,6CAA6C,CAAC;AAC1G,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iDAAiD,CAAC;AACvF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAC3E,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mDAAmD,CAAC;AAC5F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kDAAkD,CAAC;AACzF,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AACrF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mDAAmD,CAAC;AACrF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,6CAA6C,CAAC;AACzF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AAC1F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,6CAA6C,CAAC;AACzF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAC;AAElF;;;GAGG;AACH,MAAM,MAAM,uBAAuB,GAAG,CACpC,CAAC,EAAE,mBAAmB,EACtB,QAAQ,EAAE,SAAS,WAAW,EAAE,EAChC,IAAI,EAAE,cAAc,KACjB,OAAO,CAAC,cAAc,CAAC,CAAC;AAE7B,MAAM,WAAW,0BAA0B;IACzC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE;QACX,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,IAAI,EAAE,kBAAkB,GAAG,UAAU,GAAG,aAAa,GAAG,kBAAkB,GAAG,gBAAgB,CAAC;QAC9F,QAAQ,EAAE,MAAM,CAAC;QACjB,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC;CACH;AAED,MAAM,WAAW,gBAAgB;IAC/B,uBAAuB,EAAE,OAAO,uBAAuB,CAAC;IACxD;;;;OAIG;IACH,aAAa,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9G;;;;;;OAMG;IACH,eAAe,EAAE,CAAC,eAAe,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,iBAAiB,EAAE,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACxJ;;;;OAIG;IACH,aAAa,EAAE,iBAAiB,CAAC;IACjC;;;;;OAKG;IACH,oBAAoB,EAAE,sBAAsB,CAAC;IAC7C;;;;;OAKG;IACH,qBAAqB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,WAAW,EAAE,EAAE,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC;IAC/H;;;;;;;OAOG;IACH,0BAA0B,EAAE,CAC1B,OAAO,EAAE,iBAAiB,EAC1B,GAAG,EAAE,MAAM,KACR,OAAO,CAAC,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC,CAAC;IAC/D;;;;;;;;;;OAUG;IACH,sBAAsB,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IACnF;;;;;;;OAOG;IACH,wBAAwB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC;IAC3H;;;;;;;;OAQG;IACH,wBAAwB,EAAE,CACxB,eAAe,EAAE,MAAM,EACvB,OAAO,EAAE,MAAM,GAAG,IAAI,EACtB,QAAQ,EAAE,cAAc;IACxB;;;;OAIG;IACH,kBAAkB,EAAE,OAAO;IAC3B;;;;;OAKG;IACH,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI;IAC1B;;;OAGG;IACH,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,KAC/B,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACrC;;;;;;OAMG;IACH,iBAAiB,EAAE,CAAC,eAAe,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,EAAE,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IACpH;;;;;OAKG;IACH,cAAc,EAAE,CAAC,KAAK,EAAE,mBAAmB,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9D,uCAAuC;IACvC,cAAc,EAAE,MAAM,CAAC;IACvB,qEAAqE;IACrE,iBAAiB,EAAE,CAAC,OAAO,EAAE,0BAA0B,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1E;;;;;;;OAOG;IACH,eAAe,EAAE,CACf,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,SAAS,aAAa,EAAE,EACpC,aAAa,CAAC,EAAE,MAAM,KACnB,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,gBAAgB,EAAE,OAAO,wBAAwB,CAAC;IAClD,eAAe,EAAE,CAAC,MAAM,EAAE,kBAAkB,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3E,yBAAyB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IAC1F;;;;OAIG;IACH,gBAAgB,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC,kBAAkB,EAAE,cAAc,GAAG,UAAU,CAAC,CAAC;IAC7G,UAAU,EAAE,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,MAAM,CAAC;IACjD,iBAAiB,EAAE,MAAM,CAAC;IAC1B;;;;;;OAMG;IACH,mBAAmB,EAAE,uBAAuB,CAAC;IAE7C;;;;;OAKG;IACH,0BAA0B,EAAE,2BAA2B,CAAC;IACxD,+EAA+E;IAC/E,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,mEAAmE;IACnE,kBAAkB,EAAE,OAAO,kBAAkB,CAAC;IAC9C,sDAAsD;IACtD,sBAAsB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,EAAE,cAAc,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1F;;;;;;;;;;;;;;;OAeG;IACH,wBAAwB,EAAE,CACxB,CAAC,EAAE,mBAAmB,EACtB,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,EACzB,UAAU,CAAC,EAAE,kBAAkB,GAAG,IAAI,EACtC,kBAAkB,CAAC,EAAE,MAAM,GAAG,IAAI,KAC/B,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB;;;;;;;;;;;;OAYG;IACH,kCAAkC,EAAE,CAClC,CAAC,EAAE,mBAAmB,EACtB,KAAK,EAAE,IAAI,CAAC,yBAAyB,EAAE,QAAQ,CAAC,EAChD,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,EACzB,UAAU,CAAC,EAAE,kBAAkB,GAAG,IAAI,KACnC,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB;;;;;;OAMG;IACH,uBAAuB,EAAE,CACvB,CAAC,EAAE,mBAAmB,EACtB,MAAM,EAAE,sBAAsB,KAC3B,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB;;;;OAIG;IACH,sBAAsB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,CAAC;IAC3D;;;;;OAKG;IACH,wBAAwB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,GAAG,IAAI,CAAC;IACpE;;;;;OAKG;IACH,oBAAoB,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,cAAc,GAAG,IAAI,CAAC;IAClH;;;;;OAKG;IACH,gBAAgB,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACjD,4FAA4F;IAC5F,oBAAoB,EAAE,CAAC,iBAAiB,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,KAAK,cAAc,GAAG,IAAI,CAAC;IAChG;;;;OAIG;IACH,wBAAwB,EAAE,CAAC,iBAAiB,EAAE,MAAM,KAAK,0BAA0B,CAAC;IACpF;;;;;;;OAOG;IACH,4BAA4B,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,KAAK,yBAAyB,CAAC;IACrG;;;;OAIG;IACH,mBAAmB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACxD;;;;OAIG;IACH,aAAa,EAAE,cAAc,CAAC;IAC9B;;;OAGG;IACH,iBAAiB,EAAE,yBAAyB,CAAC;IAC7C,iHAAiH;IACjH,YAAY,EAAE,oBAAoB,CAAC;IACnC;;;;OAIG;IACH,wBAAwB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,gBAAgB,GAAG,IAAI,CAAC;IACvE;;;;OAIG;IACH,gBAAgB,EAAE,CAAC,MAAM,EAAE,uBAAuB,EAAE,IAAI,EAAE,oBAAoB,KAAK,iBAAiB,GAAG,IAAI,CAAC;IAC5G;;;;OAIG;IACH,oBAAoB,EAAE,eAAe,CAAC;IACtC;;;;;OAKG;IACH,mBAAmB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,CAAC;IACxD;;;;;;;OAOG;IACH,yBAAyB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACzE;;;;;;;;OAQG;IACH,0BAA0B,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IAC/E;;;;;;OAMG;IACH,iCAAiC,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACjF;;;;;;;;;OASG;IACH,yBAAyB,EAAE,CACzB,CAAC,EAAE,mBAAmB,KACnB,OAAO,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC,CAAC;IAC3D;;;;;;;;OAQG;IACH,8BAA8B,EAAE,CAC9B,CAAC,EAAE,mBAAmB,KACnB,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC,CAAC;IACtD,4EAA4E;IAC5E,iBAAiB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,EAAE,cAAc,KAAK,OAAO,CAAC,qBAAqB,GAAG,IAAI,CAAC,CAAC;IAC7G;;;;;OAKG;IACH,oBAAoB,EAAE,uBAAuB,CAAC;IAC9C;;;;;OAKG;IACH,mBAAmB,EAAE,mBAAmB,CAAC;IACzC;;;;;OAKG;IACH,oBAAoB,EAAE,qBAAqB,CAAC;IAC5C;;;;OAIG;IACH,aAAa,EAAE,kBAAkB,CAAC;IAClC;;;;OAIG;IACH,mBAAmB,EAAE,qBAAqB,CAAC;IAC3C;;;;;;OAMG;IACH,iBAAiB,EAAE,mBAAmB,CAAC;IACvC;;;;;OAKG;IACH,UAAU,EAAE,cAAc,CAAC;IAC3B;;;;;;OAMG;IACH,MAAM,EAAE,UAAU,CAAC;IACnB;;;;;;OAMG;IACH,qBAAqB,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,KAAK,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAAC;IACrI;;;;;;OAMG;IACH,0BAA0B,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACzI;;;;;;OAMG;IACH,sBAAsB,EAAE,sBAAsB,CAAC;IAC/C;;;;;;;OAOG;IACH,6BAA6B,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CACxF"}