@jevitate/cli 0.19.0 → 0.20.0

package/dist/bin.js

@@ -39690,15 +39690,23 @@ var INSTRUMENT = `(() => {
 })();`;
 var MAX_CAPTURED = 2e4;
 var RequestCapture = class {
+  /**
+   * #617: every request that finished during the capture (its whole completion history), each
+   * tagged with whether THIS capture saw it begin. A request already in flight when the capture
+   * started still finishes into it, but was not sent by the run the capture covers.
+   */
   #requests = [];
   /** #283: requests sent since the capture started that have not finished (keyed by the request). */
   #inflight = /* @__PURE__ */ new Map();
   /** #283: requests sent that never reported an end (their document went away first). */
   #unfinished = [];
   #truncated = false;
-  /** @internal — fed by the page's monitor. */
-  add(r) {
-    this.#requests.push(r);
+  /**
+   * @internal — fed by the page's monitor. `sent` is false for a completion the capture never saw
+   * begin (#617); it stays in the completion history but is not counted as sent by the capture.
+   */
+  add(r, sent = true) {
+    this.#requests.push({ r, sent });
     if (this.#requests.length > MAX_CAPTURED) {
       this.#requests.shift();
       this.#truncated = true;
@@ -39716,22 +39724,27 @@ var RequestCapture = class {
     const sent = this.#inflight.get(key2);
     this.#inflight.delete(key2);
     if (finished !== null)
-      this.add(finished);
+      this.add(finished, sent !== void 0);
     else if (sent !== void 0 && this.#unfinished.length < MAX_CAPTURED)
       this.#unfinished.push(sent);
   }
-  /** The requests captured so far, in the order they finished. */
+  /** The requests captured so far, in the order they finished, including ones the capture never saw begin. */
   requests() {
-    return [...this.#requests];
+    return this.#requests.map((e) => e.r);
   }
   /**
-   * Every request SENT since the capture started (#283): the finished ones (`requests()`), then the
-   * ones still in flight or abandoned without an end event (`pending: true`, `status: null`). A
-   * `requestMade` check is judged over these — a request counts once it was sent, whether or not
-   * its response has arrived.
+   * Every request SENT since the capture started (#283): the finished ones this capture saw begin,
+   * then the ones still in flight or abandoned without an end event (`pending: true`, `status: null`).
+   * A `requestMade` check is judged over these — a request counts once it was sent, whether or not
+   * its response has arrived. A request that began before the capture started is never among them
+   * (#617): only its completion shows up, in `requests()`.
    */
   sent() {
-    return [...this.#requests, ...this.#unfinished, ...this.#inflight.values()];
+    return [
+      ...this.#requests.filter((e) => e.sent).map((e) => e.r),
+      ...this.#unfinished,
+      ...this.#inflight.values()
+    ];
   }
   /** True when more requests finished than the capture keeps (the oldest were dropped). */
   get truncated() {
@@ -53640,6 +53653,72 @@ function mutationPairIssues(journey) {
   });
   return out;
 }
+function targetedProofPlanIssues(journey) {
+  const plans = journey.metadata.targetedProofs ?? [];
+  if (plans.length === 0)
+    return [];
+  const sites = new Set(journeyAssertions(journey).map(assertionSiteKey));
+  const steps = flat(journey);
+  const out = [];
+  const seen = /* @__PURE__ */ new Set();
+  plans.forEach((plan2, index) => {
+    const key2 = `${plan2.check}\0${plan2.mustFailWhen}`;
+    if (seen.has(key2))
+      out.push({ index, field: "check", message: `targetedProofs: duplicate plan for ${plan2.check} and ${plan2.mustFailWhen}` });
+    seen.add(key2);
+    if (!SITE_RE.test(plan2.check)) {
+      out.push({ index, field: "check", message: `targetedProofs: ${JSON.stringify(plan2.check)} is not an assertion site \u2014 expected step:<n>, step-request:<n>:<i> or end-state:<i>` });
+    } else if (!sites.has(plan2.check)) {
+      out.push({ index, field: "check", message: `targetedProofs: the Journey has no assertion at ${plan2.check}` });
+    }
+    let mutated;
+    try {
+      mutated = resolveMutationRef(journey, plan2.mustFailWhen);
+    } catch (err) {
+      out.push({ index, field: "mustFailWhen", message: `targetedProofs: ${err instanceof Error ? err.message : String(err)}` });
+    }
+    const check3 = /^step:([1-9][0-9]*)$/.exec(plan2.check);
+    const targetStep = check3 === null ? null : Number(check3[1]);
+    const relaxed2 = /* @__PURE__ */ new Set();
+    for (const entry of plan2.relax) {
+      if (!/^step:[1-9][0-9]*$/.test(entry)) {
+        out.push({ index, field: "relax", message: `targetedProofs: ${JSON.stringify(entry)} is not a step assertion site \u2014 expected step:<n>` });
+        continue;
+      }
+      if (relaxed2.has(entry)) {
+        out.push({ index, field: "relax", message: `targetedProofs: ${entry} is relaxed twice` });
+        continue;
+      }
+      relaxed2.add(entry);
+      const n3 = Number(entry.slice("step:".length));
+      const recorded = steps[n3 - 1];
+      if (recorded === void 0) {
+        out.push({ index, field: "relax", message: `targetedProofs: the Journey has no step ${n3}` });
+        continue;
+      }
+      if (targetStep === n3) {
+        out.push({ index, field: "relax", message: `targetedProofs: ${entry} is the target assertion \u2014 a declared proof never relaxes it` });
+        continue;
+      }
+      if (targetStep !== null && n3 > targetStep) {
+        out.push({ index, field: "relax", message: `targetedProofs: ${entry} is not before the target step:${targetStep}` });
+        continue;
+      }
+      if (recorded.step.kind === "handback") {
+        out.push({ index, field: "relax", message: `targetedProofs: ${entry} is a resume assertion \u2014 a declared proof never relaxes it` });
+        continue;
+      }
+      if (recorded.step.kind !== "assert" && !("expect" in recorded.step)) {
+        out.push({ index, field: "relax", message: `targetedProofs: ${entry} has no page postcondition to relax` });
+        continue;
+      }
+      if (mutated !== void 0 && n3 < mutated.step) {
+        out.push({ index, field: "relax", message: `targetedProofs: ${entry} is before the mutated step ${mutated.step} (${plan2.mustFailWhen})` });
+      }
+    }
+  });
+  return out;
+}
 function expectedText(a) {
   if (a.kind === "valueEquals")
     return typeof a.value === "string" ? { kind: a.kind, text: a.value } : null;
@@ -53868,6 +53947,7 @@ function relaxedMutationReplay(journey, m, opts = {}) {
   return { journey: copy };
 }
 var MAX_TARGETED_RELAXATIONS = 4;
+var MAX_DECLARED_RELAXATIONS = 8;
 function failedSiteKey(f2) {
   if (f2.where === "step")
     return `step:${f2.step}`;
@@ -53980,6 +54060,60 @@ async function runTargetedProof(journey, plan2, m, target, initial, replay, opts
   }
   return { site, relaxedSites, outcome: run.outcome, failedSites: run.failedSites };
 }
+async function runDeclaredTargetedProof(journey, plan2, m, target, declared, replay, opts = {}) {
+  const site = assertionSiteKey(target);
+  const relax = declared.relax;
+  const unpaired = relax.find((key2) => !plan2.pairs.some((p) => p.site === key2 && p.mutation === m.id));
+  if (unpaired !== void 0) {
+    return { site, relaxedSites: relax, outcome: "error", failedSites: [], declared: true, refused: `${unpaired} is not paired with ${m.id}` };
+  }
+  const relaxedNow = [...relax];
+  const run = await replay((j) => targetedMutationReplay(j, m, site, relaxedNow, opts), "targeted");
+  const first = run.failedSites[0];
+  if (first !== void 0 && first.where === "step" && first.postcondition && !relax.includes(`step:${first.step}`) && (target.where !== "step" || first.step < target.step)) {
+    const key2 = `step:${first.step}`;
+    return { site, relaxedSites: relax, outcome: run.outcome, failedSites: run.failedSites, declared: true, refused: `${key2} blocked the declared proof (not in relax)` };
+  }
+  if (classifyMutationPlain(target, m, run) === "sensitive") {
+    const control = await replay((j) => targetedControlReplay(j, m, relaxedNow), "control");
+    if (control.outcome !== "passed") {
+      return {
+        site,
+        relaxedSites: relax,
+        outcome: run.outcome,
+        failedSites: run.failedSites,
+        declared: true,
+        control: control.outcome,
+        refused: `the unmutated control replay with ${relax.join(", ")} relaxed did not pass (${control.outcome})`
+      };
+    }
+    return { site, relaxedSites: relax, outcome: run.outcome, failedSites: run.failedSites, declared: true, control: control.outcome };
+  }
+  return { site, relaxedSites: relax, outcome: run.outcome, failedSites: run.failedSites, declared: true };
+}
+function suggestTargetedProofPlan(proof, m) {
+  if (proof.refused !== `relaxation bound ${MAX_TARGETED_RELAXATIONS} reached`)
+    return null;
+  const first = proof.failedSites[0];
+  if (first === void 0 || first.where !== "step")
+    return null;
+  const relax = [...proof.relaxedSites, `step:${first.step}`];
+  if (relax.length > MAX_DECLARED_RELAXATIONS)
+    return null;
+  return { check: proof.site, mustFailWhen: m.id, relax };
+}
+function declaredTargetedProofFor(journey, m, siteKey) {
+  for (const plan2 of journey.metadata.targetedProofs ?? []) {
+    if (plan2.check !== siteKey)
+      continue;
+    try {
+      if (resolveMutationRef(journey, plan2.mustFailWhen).id === m.id)
+        return plan2;
+    } catch {
+    }
+  }
+  return void 0;
+}
 function needsRelaxedReplay(plan2, m, result) {
   if (result.outcome !== "failed")
     return false;
@@ -54025,6 +54159,19 @@ function classifyMutationPlain(site, m, result) {
   return fs.some((f2) => f2.where === "end-state" && f2.index === site.index) ? "sensitive" : "cascade";
 }
 var PRECEDENCE = ["sensitive", "insensitive", "cascade", "not-applied", "error"];
+function provenSensitive(journey, m, results, key2, visiting) {
+  if (visiting.has(key2))
+    return false;
+  const site = journeyAssertions(journey).find((s3) => assertionSiteKey(s3) === key2);
+  const result = results.get(m.id) ?? { outcome: "error", failedSites: [] };
+  if (site === void 0 || classifyMutation(site, m, result) !== "sensitive")
+    return false;
+  const proof = result.targeted?.find((t) => t.site === key2);
+  if (proof === void 0 || proof.refused !== void 0)
+    return true;
+  const next = /* @__PURE__ */ new Set([...visiting, key2]);
+  return proof.relaxedSites.every((relaxed2) => provenSensitive(journey, m, results, relaxed2, next));
+}
 function judgeAssertions(journey, plan2, results) {
   const proofFor = (m, key2) => results.get(m.id)?.targeted?.find((t) => t.site === key2);
   return journeyAssertions(journey).map((site) => {
@@ -54033,14 +54180,25 @@ function judgeAssertions(journey, plan2, results) {
     if (paired.length === 0)
       return { site: key2, verdict: "unpaired" };
     const verdicts = paired.map((m) => ({ m, v: classifyMutation(site, m, results.get(m.id) ?? { outcome: "error", failedSites: [] }) }));
+    let unsound;
     for (const v of PRECEDENCE) {
       const first = verdicts.find((x) => x.v === v);
-      if (first === void 0)
+      if (first === void 0 && !(v === "cascade" && unsound !== void 0))
         continue;
       if (v === "sensitive") {
-        const proof = proofFor(first.m, key2);
-        return proof !== void 0 && proof.refused === void 0 ? { site: key2, verdict: v, provedBy: first.m.id, relaxedSites: proof.relaxedSites } : { site: key2, verdict: v, provedBy: first.m.id };
+        for (const { m } of verdicts.filter((x) => x.v === "sensitive")) {
+          const proof = proofFor(m, key2);
+          if (proof === void 0 || proof.refused !== void 0)
+            return { site: key2, verdict: v, provedBy: m.id };
+          const bad = proof.relaxedSites.find((relaxed2) => !provenSensitive(journey, m, results, relaxed2, /* @__PURE__ */ new Set([key2])));
+          if (bad === void 0)
+            return { site: key2, verdict: v, provedBy: m.id, relaxedSites: proof.relaxedSites };
+          unsound ??= `relaxed site ${bad} is not itself proven sensitive to ${m.id}`;
+        }
+        continue;
       }
+      if (v === "cascade" && unsound !== void 0)
+        return { site: key2, verdict: v, targetedRefusal: unsound };
       if (v === "cascade") {
         const refusal = paired.map((m) => proofFor(m, key2)).find((t) => t !== void 0 && t.refused !== void 0);
         if (refusal !== void 0)
@@ -54634,6 +54792,12 @@ var JourneySchema = external_exports.object({
     endState: external_exports.array(OutcomeCheckSchema).max(50).optional(),
     acceptedWeak: external_exports.object({ reason: external_exports.string().min(1), rules: external_exports.array(external_exports.string()) }).strict().optional(),
     mutationPairs: external_exports.array(external_exports.object({ check: external_exports.string().min(1).max(100), mustFailWhen: external_exports.string().min(1).max(200) }).strict()).max(100).optional(),
+    // #616: a declared targeted-proof plan; the relax list is bounded tighter than the automatic proof.
+    targetedProofs: external_exports.array(external_exports.object({
+      check: external_exports.string().min(1).max(100),
+      mustFailWhen: external_exports.string().min(1).max(200),
+      relax: external_exports.array(external_exports.string().min(1).max(60)).min(1).max(MAX_DECLARED_RELAXATIONS)
+    }).strict()).max(20).optional(),
     approval: external_exports.object({
       contentHash: external_exports.string().regex(/^[0-9a-f]{64}$/, "approval.contentHash: a sha256 hex digest"),
       at: external_exports.string().min(1),
@@ -54659,6 +54823,9 @@ var JourneySchema = external_exports.object({
   for (const issue3 of mutationPairIssues(j)) {
     ctx.addIssue({ code: "custom", path: ["metadata", "mutationPairs", issue3.index, issue3.field], message: issue3.message });
   }
+  for (const issue3 of targetedProofPlanIssues(j)) {
+    ctx.addIssue({ code: "custom", path: ["metadata", "targetedProofs", issue3.index, issue3.field], message: issue3.message });
+  }
   const declared = /* @__PURE__ */ new Set([...j.metadata.params, ...(j.metadata.parameters ?? []).map((p) => p.name)]);
   j.recording.pages.forEach((page, pi) => page.steps.forEach((rs, si) => {
     if (rs.step.kind !== "navigate")
@@ -55498,7 +55665,9 @@ var ReviewVerifySchema = external_exports.discriminatedUnion("status", [
     /** True when the Journey changed after this proof ran (the verdict is for other content). */
     stale: external_exports.boolean(),
     reason: external_exports.string().optional(),
-    summary: external_exports.record(external_exports.string(), external_exports.number())
+    summary: external_exports.record(external_exports.string(), external_exports.number()),
+    /** #616: a reviewable declared targeted-proof plan the automatic bound refused (names only). */
+    suggestedTargetedProofs: external_exports.array(external_exports.object({ check: external_exports.string(), mustFailWhen: external_exports.string(), relax: external_exports.array(external_exports.string()) }).strict()).optional()
   }).strict()
 ]);
 var DiffSchema = external_exports.object({ added: external_exports.array(external_exports.string()), removed: external_exports.array(external_exports.string()) }).strict();
@@ -55518,7 +55687,9 @@ var ReviewChangeSchema = external_exports.discriminatedUnion("kind", [
     stepIdOnly: external_exports.boolean().optional(),
     steps: DiffSchema,
     assertions: DiffSchema,
-    sideEffects: DiffSchema
+    sideEffects: DiffSchema,
+    /** #616: proof-plan changes (`metadata.mutationPairs` / `metadata.targetedProofs`); omitted when neither side declares any. */
+    proofPlans: DiffSchema.optional()
   }).strict()
 ]);
 var ReviewAttentionSchema = external_exports.object({
@@ -55563,6 +55734,8 @@ var JourneyReviewSchema = external_exports.object({
     endStateText: external_exports.array(external_exports.string()).optional(),
     lint: external_exports.object({ errors: external_exports.number().int(), warnings: external_exports.number().int(), findings: external_exports.array(ReviewLintFindingSchema) }).strict(),
     acceptedWeak: external_exports.object({ reason: external_exports.string(), rules: external_exports.array(external_exports.string()) }).strict().optional(),
+    /** #616: the declared targeted-proof plans (`metadata.targetedProofs`) a reviewer approves with the Journey. Additive. */
+    targetedProofs: external_exports.array(external_exports.object({ check: external_exports.string(), mustFailWhen: external_exports.string(), relax: external_exports.array(external_exports.string()) }).strict()).optional(),
     verify: ReviewVerifySchema
   }).strict(),
   changeSinceApproval: ReviewChangeSchema,
@@ -62534,9 +62707,9 @@ function hostStarvedFailure(failure3, health) {
 }
 
 // src/build-info.generated.ts
-var GENERATED_COMMIT = "0a3d2f5";
-var GENERATED_TREE = "963f59f";
-var GENERATED_BUILT_AT = "2026-10-19T17:41:04.191Z";
+var GENERATED_COMMIT = "c9b33ab";
+var GENERATED_TREE = "35c694a";
+var GENERATED_BUILT_AT = "2026-10-19T23:00:10.969Z";
 
 // src/version.ts
 import { readFileSync as readFileSync5 } from "node:fs";
@@ -62558,13 +62731,13 @@ function readCliVersion() {
 
 // src/engine.ts
 function bundledCommit() {
-  return true ? "0a3d2f5" : void 0;
+  return true ? "c9b33ab" : void 0;
 }
 function bundledBuiltAt() {
-  return true ? "2026-10-19T17:41:04.191Z" : void 0;
+  return true ? "2026-10-19T23:00:10.969Z" : void 0;
 }
 function bundledTree() {
-  return true ? "963f59f" : void 0;
+  return true ? "35c694a" : void 0;
 }
 function currentBuildTree() {
   return bundledTree() ?? GENERATED_TREE;
@@ -79986,9 +80159,11 @@ function renderSteps(r, w, opts) {
 function renderProvesAtTheEnd(r, w, opts) {
   void opts;
   const endState = r.proof.endStateText ?? r.proof.endState;
-  if (endState.length > 0) {
+  const plans = r.proof.targetedProofs ?? [];
+  if (endState.length > 0 || plans.length > 0) {
     w.head("PROVES AT THE END", "Proves at the end");
     for (const e of endState) w.put(`${w.bullet}\u2713 `, e, w.bullet.length + 2);
+    for (const p of plans) w.put(`${w.bullet}\u21BA `, `declared targeted proof: ${p.check} against ${p.mustFailWhen} may relax ${p.relax.join(", ")}`, w.bullet.length + 2);
     w.gap();
   }
 }
@@ -80079,7 +80254,13 @@ function renderFullDetail(r, w, opts) {
     w.put(w.bullet, `Approved${c.approvedAt === void 0 ? "" : ` ${humanTime(c.approvedAt)}`} as ${nb(w.code(c.approvedHash))}${c.kind === "snapshot-missing" ? "; its snapshot is missing" : ""} \u2014 ${c.changed ? "CHANGED since" : "unchanged since"}`);
     if (c.stepIdOnly === true) w.put(w.bullet, STEP_ID_ONLY_LABEL);
     if (c.kind === "diff") {
-      for (const [label2, d] of [["Steps", c.steps], ["Assertions", c.assertions], ["Side effects", c.sideEffects]]) {
+      const blocks = [
+        ["Steps", c.steps],
+        ["Assertions", c.assertions],
+        ["Side effects", c.sideEffects]
+      ];
+      if (c.proofPlans !== void 0) blocks.push(["Proof plans", c.proofPlans]);
+      for (const [label2, d] of blocks) {
         if (d.added.length === 0 && d.removed.length === 0) continue;
         w.put(w.bullet, `${label2}:`);
         for (const l2 of d.removed) w.put(`${w.bullet}  `, `\u2212 ${l2}`, w.bullet.length + 4);
@@ -80360,6 +80541,8 @@ function buildChange(journey, hash3, snapshot2, stepIdOnly) {
   }
   const approvedHash = journeyReviewHash(snapshot2);
   const approvedAt = approval?.at ?? snapshot2.metadata.approval?.at;
+  const beforePlans = proofPlanLines(snapshot2);
+  const afterPlans = proofPlanLines(journey);
   return {
     kind: "diff",
     approvedHash,
@@ -80368,7 +80551,9 @@ function buildChange(journey, hash3, snapshot2, stepIdOnly) {
     ...idOnly,
     steps: multisetDiff(stepLines(snapshot2), stepLines(journey)),
     assertions: multisetDiff(assertionLines(snapshot2), assertionLines(journey)),
-    sideEffects: multisetDiff(sideEffectLines(snapshot2), sideEffectLines(journey))
+    sideEffects: multisetDiff(sideEffectLines(snapshot2), sideEffectLines(journey)),
+    // #616: only present when a side declares a proof plan, so an unrelated diff stays as before.
+    ...beforePlans.length === 0 && afterPlans.length === 0 ? {} : { proofPlans: multisetDiff(beforePlans, afterPlans) }
   };
 }
 function stepLines(j) {
@@ -80380,6 +80565,12 @@ function assertionLines(j) {
     ...journeyAssertions(j).filter((s3) => s3.where === "step-request").map((s3) => `step request: ${describeCheck(s3.check)}`)
   ];
 }
+function proofPlanLines(j) {
+  return [
+    ...(j.metadata.mutationPairs ?? []).map((p) => `mutation pair: ${p.check} must fail when ${p.mustFailWhen}`),
+    ...(j.metadata.targetedProofs ?? []).map((p) => `targeted proof: ${p.check} against ${p.mustFailWhen} may relax ${p.relax.join(", ")}`)
+  ];
+}
 function sideEffectLines(j) {
   return [
     ...[...new Set(buildWriteRequests(j).map((w) => `write ${w.method} ${w.endpoint}`))],
@@ -80417,7 +80608,8 @@ function buildVerify(journey, hash3, rec) {
     // #523: an executable-content change stales the proof; an old record without it compares the full hash.
     stale: rec.proofHash === void 0 ? rec.contentHash !== hash3 : rec.proofHash !== journeyProofHash(journey),
     ...rec.reason === void 0 ? {} : { reason: rec.reason },
-    summary: { ...rec.summary }
+    summary: { ...rec.summary },
+    ...rec.suggestedTargetedProofs === void 0 ? {} : { suggestedTargetedProofs: rec.suggestedTargetedProofs.map((p) => ({ ...p, relax: [...p.relax] })) }
   };
 }
 function buildJourneyReview(journey, ctx = {}) {
@@ -80495,6 +80687,8 @@ function buildJourneyReview(journey, ctx = {}) {
         findings: findings.map((f2) => ({ rule: f2.rule, level: f2.level, ...f2.step === void 0 ? {} : { step: f2.step }, message: f2.message }))
       },
       ...m.acceptedWeak === void 0 ? {} : { acceptedWeak: { reason: m.acceptedWeak.reason, rules: [...m.acceptedWeak.rules] } },
+      // #616: the declared targeted-proof plans, copied out of the metadata for review.
+      ...m.targetedProofs === void 0 || m.targetedProofs.length === 0 ? {} : { targetedProofs: m.targetedProofs.map((p) => ({ check: p.check, mustFailWhen: p.mustFailWhen, relax: [...p.relax] })) },
       verify: buildVerify(journey, hash3, ctx.lastVerify)
     },
     changeSinceApproval: buildChange(journey, hash3, ctx.approvedSnapshot, ctx.stepIdOnly === true),
@@ -94738,6 +94932,7 @@ var JourneyOutcomeChecks = class {
   async #judge(s3, fallback) {
     const window2 = s3.capture ?? fallback;
     if (window2 === void 0) return [];
+    const ownCapture = s3.capture !== void 0;
     const since = s3.startedAt;
     const until = s3.until;
     const out = [];
@@ -94746,7 +94941,7 @@ var JourneyOutcomeChecks = class {
         await evaluateNetworkCheckAwaiting(
           c,
           () => ({
-            requests: window2.sent().filter((q) => (since === void 0 || q.startedAt !== void 0 && q.startedAt >= since) && (until === void 0 || q.startedAt !== void 0 && q.startedAt <= until)),
+            requests: window2.sent().filter((q) => (ownCapture || since === void 0 || q.startedAt !== void 0 && q.startedAt >= since) && (until === void 0 || q.startedAt !== void 0 && q.startedAt <= until)),
             truncated: window2.truncated
           }),
           s3.responseTimeoutMs ?? this.#responseTimeoutMs
@@ -109237,6 +109432,8 @@ async function verifyJourneyMutations(opts, run = runJourneyProgrammatically) {
   const checkOf = new Map(sites.map((s3) => [assertionSiteKey(s3), describeCheck(s3.check)]));
   const plan2 = planJourneyMutations(journey, { ...lintOpts, params: opts.params });
   const mutations = [];
+  const suggested = [];
+  const seenSuggestions = /* @__PURE__ */ new Set();
   if (base.outcome === "ok") {
     const replayOpts2 = { ...lintOpts, params: opts.params };
     const runReplay = async (m, describe6) => {
@@ -109283,7 +109480,18 @@ async function verifyJourneyMutations(opts, run = runJourneyProgrammatically) {
         if (pair.mutation !== m.id) continue;
         const site = siteByKey.get(pair.site);
         if (site === void 0 || classifyMutation(site, m, initial) !== "cascade") continue;
-        targeted.push(await runTargetedProof(journey, plan2, m, site, initial, (describe6) => runReplay(m, describe6), replayOpts2));
+        const declared = declaredTargetedProofFor(journey, m, pair.site);
+        targeted.push(
+          declared === void 0 ? await runTargetedProof(journey, plan2, m, site, initial, (describe6) => runReplay(m, describe6), replayOpts2) : await runDeclaredTargetedProof(journey, plan2, m, site, declared, (describe6) => runReplay(m, describe6), replayOpts2)
+        );
+        const suggestion = suggestTargetedProofPlan(targeted[targeted.length - 1], m);
+        if (suggestion !== null) {
+          const key2 = `${suggestion.check}\0${suggestion.mustFailWhen}\0${suggestion.relax.join(",")}`;
+          if (!seenSuggestions.has(key2)) {
+            seenSuggestions.add(key2);
+            suggested.push(suggestion);
+          }
+        }
       }
       mutations.push({
         kind: m.kind,
@@ -109310,8 +109518,12 @@ async function verifyJourneyMutations(opts, run = runJourneyProgrammatically) {
     verdict: a.verdict,
     ...a.provedBy === void 0 ? {} : { provedBy: a.provedBy },
     ...a.relaxedSites === void 0 ? {} : { relaxedSites: a.relaxedSites },
-    ...a.targetedRefusal === void 0 ? {} : { targetedRefusal: a.targetedRefusal }
+    ...a.targetedRefusal === void 0 ? {} : { targetedRefusal: a.targetedRefusal },
+    // #616: the proving proof was a declared plan, not the automatic relaxation search.
+    ...a.provedBy !== void 0 && results.get(a.provedBy)?.targeted?.some((t) => t.site === a.site && t.declared === true) === true ? { declaredProof: true } : {}
   }));
+  const order = new Map(journeyAssertions(journey).map((s3, i) => [assertionSiteKey(s3), i]));
+  const siteOrder = (key2) => order.get(key2) ?? Number.MAX_SAFE_INTEGER;
   const { verdict, reason } = mutationProofVerdict({ basePassed: base.outcome === "ok", mutations, assertions: judged });
   const count = (v) => assertions.filter((a) => a.verdict === v).length;
   const report2 = {
@@ -109331,7 +109543,9 @@ async function verifyJourneyMutations(opts, run = runJourneyProgrammatically) {
       unpaired: count("unpaired"),
       // #609: assertions proven sensitive through a targeted proof that relaxed earlier sites.
       targeted: assertions.filter((a) => (a.relaxedSites?.length ?? 0) > 0).length
-    }
+    },
+    // #616: in assertion order, so the first suggestion is the one for the refusal the verdict quotes.
+    ...suggested.length === 0 ? {} : { suggestedTargetedProofs: [...suggested].sort((a, b2) => siteOrder(a.check) - siteOrder(b2.check)) }
   };
   const redacted = redactSecretParams(report2, journey, opts.params);
   await writeVerifyRecord(opts.dir, {
@@ -109341,12 +109555,13 @@ async function verifyJourneyMutations(opts, run = runJourneyProgrammatically) {
     verdict: redacted.verdict,
     ...redacted.reason === void 0 ? {} : { reason: redacted.reason },
     summary: { ...redacted.summary },
+    ...redacted.suggestedTargetedProofs === void 0 ? {} : { suggestedTargetedProofs: redacted.suggestedTargetedProofs },
     at: clock.nowIso()
   });
   return redacted;
 }
 function verifyAssertionLine(a) {
-  const relaxed2 = a.relaxedSites === void 0 || a.relaxedSites.length === 0 ? "" : `, relaxed ${a.relaxedSites.join(", ")}`;
+  const relaxed2 = a.relaxedSites === void 0 || a.relaxedSites.length === 0 ? "" : a.declaredProof === true ? `, declared plan relaxed ${a.relaxedSites.join(", ")}` : `, relaxed ${a.relaxedSites.join(", ")}`;
   const proved = a.provedBy === void 0 ? "" : `  (proved by ${a.provedBy}${relaxed2})`;
   const refused = a.targetedRefusal === void 0 ? "" : `  (targeted proof refused: ${a.targetedRefusal})`;
   return `${a.verdict.padEnd(11)}  ${a.site.padEnd(18)}  ${a.check}${proved}${refused}`;
@@ -109507,13 +109722,14 @@ function proofCheck(ctx, journeysDir, cwd) {
   if (nothingToMutate(ctx.journey, verify2.summary)) {
     return { check: { check: "proof", journey: ctx.id, state: "pass", detail: "read-only with no inputs: nothing a mutation could break", evidence } };
   }
+  const suggested = verify2.status === "recorded" ? verify2.suggestedTargetedProofs : void 0;
   return {
     check: { check: "proof", journey: ctx.id, state: "inconclusive", detail: verify2.reason ?? `proof verdict ${verify2.verdict}`, evidence },
-    blocker: { check: "proof", journey: ctx.id, why: inconclusiveProofGuidance(verify2.reason ?? ""), next: `jevitate journey verify ${ctx.id} --mutate` }
+    blocker: { check: "proof", journey: ctx.id, why: inconclusiveProofGuidance(verify2.reason ?? "", suggested), next: `jevitate journey verify ${ctx.id} --mutate` }
   };
 }
 var TARGETED_REFUSAL_MARKER = "a targeted proof was refused: ";
-function inconclusiveProofGuidance(reason) {
+function inconclusiveProofGuidance(reason, suggested) {
   const at3 = reason.indexOf(TARGETED_REFUSAL_MARKER);
   if (at3 < 0) return "inspect the cascade assertions in the verify report";
   const refusal = reason.slice(at3 + TARGETED_REFUSAL_MARKER.length).trim();
@@ -109522,7 +109738,15 @@ function inconclusiveProofGuidance(reason) {
     return `declare the earlier check ${unpaired[1]} as a defense of ${unpaired[2]} with a metadata.mutationPairs entry {check:'${unpaired[1]}', mustFailWhen:'${unpaired[2]}'}, then re-run verify`;
   }
   const bound2 = /relaxation bound (\d+)/.exec(refusal);
-  if (bound2 !== null) return `reduce the layered checks between the mutation and the target (relaxation bound ${bound2[1]})`;
+  if (bound2 !== null) {
+    const first = suggested?.[0];
+    const plan2 = first === void 0 ? `declare a metadata.targetedProofs plan (at most ${MAX_DECLARED_RELAXATIONS} earlier postconditions)` : `declare exactly this metadata.targetedProofs entry: ${JSON.stringify(first)} \u2014 a human reviews it like any other proof change (the review hash changes, so the Journey needs re-approval)`;
+    return `${plan2}, then re-run verify (relaxation bound ${bound2[1]})`;
+  }
+  const blocked = /^(\S+) blocked the declared proof \(not in relax\)$/.exec(refusal);
+  if (blocked !== null) return `add ${blocked[1]} to that plan's relax list (metadata.targetedProofs), then re-run verify`;
+  const unsound = /^relaxed site (\S+) is not itself proven sensitive to (\S+)$/.exec(refusal);
+  if (unsound !== null) return `pair ${unsound[1]} with ${unsound[2]} (metadata.mutationPairs) or make it a real defense, then re-run verify`;
   if (refusal.includes("action failed")) return "the mutated value makes an earlier action impossible, so that target cannot be proven independently \u2014 keep the check; it stays inconclusive by design";
   return "inspect the cascade assertions in the verify report";
 }

package/dist/build-info.generated.js

@@ -5,7 +5,7 @@
 // this plain `tsc --build` dist (no bundler substitution), so it needs real committed values
 // here instead. See ./engine.ts, which prefers the esbuild-injected value when present and
 // falls back to these.
-export const GENERATED_COMMIT = "0a3d2f5";
-export const GENERATED_TREE = "963f59f";
-export const GENERATED_BUILT_AT = "2026-10-19T17:40:57.283Z";
+export const GENERATED_COMMIT = "c9b33ab";
+export const GENERATED_TREE = "35c694a";
+export const GENERATED_BUILT_AT = "2026-10-19T23:00:05.032Z";
 //# sourceMappingURL=build-info.generated.js.map

package/dist/journey-network-checks.js

@@ -93,6 +93,11 @@ export class JourneyOutcomeChecks {
         const window = s.capture ?? fallback;
         if (window === undefined)
             return [];
+        // #617: a step with its OWN capture (every started window) is judged by IDENTITY — `sent()`
+        // already lists only the requests that capture saw begin, so a request from an earlier attempt
+        // (or a previous step) cannot be admitted by a timestamp. `since` is kept only for the
+        // fallback path (no step boundary was reported: the whole-replay capture needs the cut).
+        const ownCapture = s.capture !== undefined;
         const since = s.startedAt;
         const until = s.until;
         const out = [];
@@ -101,7 +106,8 @@ export class JourneyOutcomeChecks {
             out.push(await evaluateNetworkCheckAwaiting(c, () => ({
                 requests: window
                     .sent()
-                    .filter((q) => (since === undefined || (q.startedAt !== undefined && q.startedAt >= since)) && (until === undefined || (q.startedAt !== undefined && q.startedAt <= until))),
+                    .filter((q) => ((ownCapture || since === undefined || (q.startedAt !== undefined && q.startedAt >= since)) &&
+                    (until === undefined || (q.startedAt !== undefined && q.startedAt <= until)))),
                 truncated: window.truncated,
             }), s.responseTimeoutMs ?? this.#responseTimeoutMs));
         }

package/dist/journey-network-checks.js.map

@@ -1 +1 @@
-{"version":3,"file":"journey-network-checks.js","sourceRoot":"","sources":["../src/journey-network-checks.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAgB,MAAM,mBAAmB,CAAC;AAIxF,OAAO,EAAE,oBAAoB,EAAqB,MAAM,uBAAuB,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,gCAAgC,EAAE,4BAA4B,EAAE,qBAAqB,EAAmE,UAAU,EAAgD,MAAM,mBAAmB,CAAC;AAErP,gIAAgI;AAChI,MAAM,CAAC,MAAM,4BAA4B,GAAG,OAAO,CAAC;AAEpD,8FAA8F;AAC9F,MAAM,iBAAiB,GAAG,KAAK,CAAC;AA2ChC,MAAM,OAAO,oBAAoB;IACtB,KAAK,CAAO;IACZ,IAAI,CAAC;IACL,MAAM,CAAe;IACrB,QAAQ,CAAoB;IAC5B,kBAAkB,CAAS;IAC3B,UAAU,CAAwB;IAClC,WAAW,CAAmC;IACvD,aAAa,GAAmC,EAAE,CAAC;IACnD,UAAU,GAAe,EAAE,CAAC;IAE5B,uEAAuE;IACvE,YACE,IAAU,EACV,OAA4B,EAC5B,OAWI,EAAE;QAEN,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC;QACjC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC;QACnC,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC,qBAAqB,IAAI,gCAAgC,CAAC;QACzF,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;QAClE,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,SAAS,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;YAC/C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gBACxB,IAAI,CAAC,CAAC,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC;oBAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,cAAc,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,iBAAiB,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC/N,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IACxD,CAAC;IAED,uGAAuG;IACvG,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,qGAAqG;IACrG,IAAI,YAAY;QACd,OAAO,IAAI,CAAC,aAAa,CAAC;IAC5B,CAAC;IAED;;;;;;;;;OASG;IACH,QAAQ;QACN,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC/C,OAAO;YACL,UAAU,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;gBAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;gBACxB,iFAAiF;gBACjF,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;oBAAE,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;wBAAE,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC;gBACxH,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;gBACrD,IAAI,CAAC,KAAK,SAAS;oBAAE,OAAO;gBAC5B,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACvC,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;oBAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC5D,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC;gBAClB,OAAO,CAAC,CAAC,KAAK,CAAC;gBACf,OAAO,CAAC,CAAC,MAAM,CAAC;gBAChB,CAAC,CAAC,OAAO,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC;YACrC,CAAC;YACD,SAAS,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE;gBACtC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;gBACrD,IAAI,CAAC,EAAE,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,MAAM;oBAAE,OAAO;gBAC3D,iGAAiG;gBACjG,MAAM,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;gBAClG,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;gBACtB,CAAC,CAAC,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAClC,CAAC;SACF,CAAC;IACJ,CAAC;IAED,8GAA8G;IAC9G,KAAK,CAAC,MAAM,CAAC,CAAa,EAAE,QAAyB;QACnD,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC;QACrC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC;QAC1B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;QACtB,MAAM,GAAG,GAAkB,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACzB,6FAA6F;YAC7F,GAAG,CAAC,IAAI,CACN,MAAM,4BAA4B,CAChC,CAAC,EACD,GAAG,EAAE,CAAC,CAAC;gBACL,QAAQ,EAAE,MAAM;qBACb,IAAI,EAAE;qBACN,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC;gBAC9K,SAAS,EAAE,MAAM,CAAC,SAAS;aAC5B,CAAC,EACF,CAAC,CAAC,iBAAiB,IAAI,IAAI,CAAC,kBAAkB,CAC/C,CACF,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED;;;;OAIG;IACH,aAAa,CAAC,MAAwB;QACpC,MAAM,MAAM,GAAG,QAAQ,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAE,MAAM,CAAC,MAA4C,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7J,OAAO,CAAC,IAAI,EAAE,EAAE;YACd,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,GAAG,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC;gBAAE,OAAO,SAAS,CAAC;YACnD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAC;YAChD,+FAA+F;YAC/F,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7F,CAAC,CAAC;IACJ,CAAC;IAED,aAAa,CAAC,OAAsC,EAAE,OAAuB;QAC3E,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;gBAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC3F,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,GAAG,CAAC,KAAY,EAAE,MAAuC;QAC7D,IAAI,CAAC,aAAa,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,UAAU,GAAG,EAAE,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,OAAO,MAAM,EAAE,CAAC;QAClC,iDAAiD;QACjD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC5B,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;gBAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC3E,OAAO,CAAC,CAAC,OAAO,CAAC;YACjB,OAAO,CAAC,CAAC,SAAS,CAAC;YACnB,OAAO,CAAC,CAAC,KAAK,CAAC;YACf,OAAO,CAAC,CAAC,MAAM,CAAC;QAClB,CAAC;QACD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,OAAO,CAAC,UAAU,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;YAC5G,MAAM,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC;QACvC,IAAI,MAAwB,CAAC;QAC7B,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,MAAM,EAAE,CAAC;YACxB,IAAI,MAAM,CAAC,OAAO,KAAK,aAAa,IAAI,MAAM,CAAC,OAAO,KAAK,gBAAgB,EAAE,CAAC;gBAC5E,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;gBACrC,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,+FAA+F;YAC/F,qDAAqD;YACrD,MAAM,OAAO,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACrF,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACrC,MAAM,CAAC,CAAC;QACV,CAAC;QACD,kFAAkF;QAClF,MAAM,gBAAgB,GAA0B,EAAE,CAAC;QACnD,MAAM,kBAAkB,GAAa,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC5B,yFAAyF;YACzF,4FAA4F;YAC5F,iFAAiF;YACjF,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;YAC3D,KAAK,MAAM,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;gBACrE,IAAI,QAAQ,KAAK,SAAS;oBAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;gBACrF,IAAI,CAAC,CAAC,MAAM;oBAAE,SAAS;gBACvB,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBACpH,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YACxF,CAAC;QACH,CAAC;QACD,qGAAqG;QACrG,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACrC,IAAI,GAAG,GAAyB,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,IAAI,CAAC;gBACH,GAAG,GAAG,MAAM,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE;oBAC3C,KAAK;oBACL,IAAI,EAAE,IAAI,CAAC,KAAK;oBAChB,OAAO;oBACP,OAAO,EAAE,IAAI,CAAC,QAAQ;oBACtB,QAAQ,EAAE,iBAAiB;oBAC3B,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;oBACxE,UAAU,EAAE,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;iBACvC,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,yEAAyE;gBACzE,MAAM,MAAM,GAAG,8DAA8D,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1H,IAAI,CAAC,aAAa,GAAG,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;gBACxD,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;YACpD,CAAC;QACH,CAAC;QACD,+FAA+F;QAC/F,yEAAyE;QACzE,uFAAuF;QACvF,8FAA8F;QAC9F,MAAM,eAAe,GAA0B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAyB,EAAE,CAC7F,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAC9K,CAAC;QACF,IAAI,CAAC,aAAa,GAAG,CAAC,GAAG,gBAAgB,EAAE,GAAG,eAAe,CAAC,CAAC;QAC/D,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACzD,MAAM,OAAO,GAAG;YACd,GAAG,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qBAAqB,kBAAkB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,aAAa,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACzJ,GAAG,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,iCAAiC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SACpJ,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC;QACxC,uFAAuF;QACvF,IAAI,MAAM,CAAC,OAAO,KAAK,uBAAuB,EAAE,CAAC;YAC/C,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,qEAAqE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QACpM,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAChE,CAAC;CACF"}
+{"version":3,"file":"journey-network-checks.js","sourceRoot":"","sources":["../src/journey-network-checks.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAgB,MAAM,mBAAmB,CAAC;AAIxF,OAAO,EAAE,oBAAoB,EAAqB,MAAM,uBAAuB,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,gCAAgC,EAAE,4BAA4B,EAAE,qBAAqB,EAAmE,UAAU,EAAgD,MAAM,mBAAmB,CAAC;AAErP,gIAAgI;AAChI,MAAM,CAAC,MAAM,4BAA4B,GAAG,OAAO,CAAC;AAEpD,8FAA8F;AAC9F,MAAM,iBAAiB,GAAG,KAAK,CAAC;AA2ChC,MAAM,OAAO,oBAAoB;IACtB,KAAK,CAAO;IACZ,IAAI,CAAC;IACL,MAAM,CAAe;IACrB,QAAQ,CAAoB;IAC5B,kBAAkB,CAAS;IAC3B,UAAU,CAAwB;IAClC,WAAW,CAAmC;IACvD,aAAa,GAAmC,EAAE,CAAC;IACnD,UAAU,GAAe,EAAE,CAAC;IAE5B,uEAAuE;IACvE,YACE,IAAU,EACV,OAA4B,EAC5B,OAWI,EAAE;QAEN,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC;QACjC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC;QACnC,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC,qBAAqB,IAAI,gCAAgC,CAAC;QACzF,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;QAClE,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,SAAS,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;YAC/C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gBACxB,IAAI,CAAC,CAAC,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC;oBAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,cAAc,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,iBAAiB,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC/N,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IACxD,CAAC;IAED,uGAAuG;IACvG,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,qGAAqG;IACrG,IAAI,YAAY;QACd,OAAO,IAAI,CAAC,aAAa,CAAC;IAC5B,CAAC;IAED;;;;;;;;;OASG;IACH,QAAQ;QACN,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC/C,OAAO;YACL,UAAU,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;gBAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;gBACxB,iFAAiF;gBACjF,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;oBAAE,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;wBAAE,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC;gBACxH,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;gBACrD,IAAI,CAAC,KAAK,SAAS;oBAAE,OAAO;gBAC5B,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACvC,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;oBAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC5D,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC;gBAClB,OAAO,CAAC,CAAC,KAAK,CAAC;gBACf,OAAO,CAAC,CAAC,MAAM,CAAC;gBAChB,CAAC,CAAC,OAAO,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC;YACrC,CAAC;YACD,SAAS,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE;gBACtC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;gBACrD,IAAI,CAAC,EAAE,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,MAAM;oBAAE,OAAO;gBAC3D,iGAAiG;gBACjG,MAAM,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;gBAClG,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;gBACtB,CAAC,CAAC,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAClC,CAAC;SACF,CAAC;IACJ,CAAC;IAED,8GAA8G;IAC9G,KAAK,CAAC,MAAM,CAAC,CAAa,EAAE,QAAyB;QACnD,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC;QACrC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QACpC,4FAA4F;QAC5F,+FAA+F;QAC/F,uFAAuF;QACvF,yFAAyF;QACzF,MAAM,UAAU,GAAG,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC;QAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC;QAC1B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;QACtB,MAAM,GAAG,GAAkB,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACzB,6FAA6F;YAC7F,GAAG,CAAC,IAAI,CACN,MAAM,4BAA4B,CAChC,CAAC,EACD,GAAG,EAAE,CAAC,CAAC;gBACL,QAAQ,EAAE,MAAM;qBACb,IAAI,EAAE;qBACN,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CACb,CAAC,UAAU,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,IAAI,KAAK,CAAC,CAAC;oBAC1F,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,IAAI,KAAK,CAAC,CAAC,CAC7E,CAAC;gBACJ,SAAS,EAAE,MAAM,CAAC,SAAS;aAC5B,CAAC,EACF,CAAC,CAAC,iBAAiB,IAAI,IAAI,CAAC,kBAAkB,CAC/C,CACF,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED;;;;OAIG;IACH,aAAa,CAAC,MAAwB;QACpC,MAAM,MAAM,GAAG,QAAQ,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAE,MAAM,CAAC,MAA4C,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7J,OAAO,CAAC,IAAI,EAAE,EAAE;YACd,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,GAAG,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC;gBAAE,OAAO,SAAS,CAAC;YACnD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAC;YAChD,+FAA+F;YAC/F,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7F,CAAC,CAAC;IACJ,CAAC;IAED,aAAa,CAAC,OAAsC,EAAE,OAAuB;QAC3E,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;gBAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC3F,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,GAAG,CAAC,KAAY,EAAE,MAAuC;QAC7D,IAAI,CAAC,aAAa,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,UAAU,GAAG,EAAE,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,OAAO,MAAM,EAAE,CAAC;QAClC,iDAAiD;QACjD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC5B,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;gBAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC3E,OAAO,CAAC,CAAC,OAAO,CAAC;YACjB,OAAO,CAAC,CAAC,SAAS,CAAC;YACnB,OAAO,CAAC,CAAC,KAAK,CAAC;YACf,OAAO,CAAC,CAAC,MAAM,CAAC;QAClB,CAAC;QACD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,OAAO,CAAC,UAAU,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;YAC5G,MAAM,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC;QACvC,IAAI,MAAwB,CAAC;QAC7B,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,MAAM,EAAE,CAAC;YACxB,IAAI,MAAM,CAAC,OAAO,KAAK,aAAa,IAAI,MAAM,CAAC,OAAO,KAAK,gBAAgB,EAAE,CAAC;gBAC5E,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;gBACrC,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,+FAA+F;YAC/F,qDAAqD;YACrD,MAAM,OAAO,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACrF,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACrC,MAAM,CAAC,CAAC;QACV,CAAC;QACD,kFAAkF;QAClF,MAAM,gBAAgB,GAA0B,EAAE,CAAC;QACnD,MAAM,kBAAkB,GAAa,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC5B,yFAAyF;YACzF,4FAA4F;YAC5F,iFAAiF;YACjF,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;YAC3D,KAAK,MAAM,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;gBACrE,IAAI,QAAQ,KAAK,SAAS;oBAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;gBACrF,IAAI,CAAC,CAAC,MAAM;oBAAE,SAAS;gBACvB,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBACpH,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YACxF,CAAC;QACH,CAAC;QACD,qGAAqG;QACrG,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACrC,IAAI,GAAG,GAAyB,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,IAAI,CAAC;gBACH,GAAG,GAAG,MAAM,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE;oBAC3C,KAAK;oBACL,IAAI,EAAE,IAAI,CAAC,KAAK;oBAChB,OAAO;oBACP,OAAO,EAAE,IAAI,CAAC,QAAQ;oBACtB,QAAQ,EAAE,iBAAiB;oBAC3B,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;oBACxE,UAAU,EAAE,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;iBACvC,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,yEAAyE;gBACzE,MAAM,MAAM,GAAG,8DAA8D,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1H,IAAI,CAAC,aAAa,GAAG,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;gBACxD,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;YACpD,CAAC;QACH,CAAC;QACD,+FAA+F;QAC/F,yEAAyE;QACzE,uFAAuF;QACvF,8FAA8F;QAC9F,MAAM,eAAe,GAA0B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAyB,EAAE,CAC7F,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAC9K,CAAC;QACF,IAAI,CAAC,aAAa,GAAG,CAAC,GAAG,gBAAgB,EAAE,GAAG,eAAe,CAAC,CAAC;QAC/D,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACzD,MAAM,OAAO,GAAG;YACd,GAAG,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qBAAqB,kBAAkB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,aAAa,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACzJ,GAAG,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,iCAAiC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SACpJ,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC;QACxC,uFAAuF;QACvF,IAAI,MAAM,CAAC,OAAO,KAAK,uBAAuB,EAAE,CAAC;YAC/C,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,qEAAqE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QACpM,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAChE,CAAC;CACF"}