@cat-factory/kernel 0.328.0 → 0.330.0

package/dist/domain/environment-reachability.logic.js

@@ -1,5 +1,5 @@
-// Proving that a `ready` environment can be reached: what to try, in what order, and what the
-// answers add up to.
+// Proving that a `ready` environment can be reached: what to look up, what to try, in what order,
+// and what the answers add up to.
 //
 // The rule lives here rather than in the provisioning service because two layers act on the
 // result and neither may re-derive it: the DEPLOYER settles a frame on the verdict, and the
@@ -11,7 +11,7 @@
 // `deploy-health` gate that would have probed the environment handle, on the grounds that the
 // deployer owns provisioning through to a terminal verdict, and this is that verdict getting one
 // more fact behind it.
-import { environmentUnreachableReasonSchema } from '@cat-factory/contracts';
+import { environmentUnreachableReasonSchema, statedRouteTarget } from '@cat-factory/contracts';
 import { isBridgeableAddress } from '../shared/environment-host-bridge.logic.js';
 /** How much of a probe's own error message is kept on the attempt it explains. */
 const MAX_PROBE_DETAIL_CHARS = 200;
@@ -27,68 +27,221 @@ export const ROUTE_PROBE_TIMEOUT_MS = 4000;
  * 162ms, so the ceiling is well under a second of ordinary cost.
  */
 export const MAX_PROBED_ADDRESSES = 4;
+/**
+ * How long one stated NAME gets to resolve before the lookup counts as one the platform could not
+ * complete.
+ *
+ * Much tighter than {@link ROUTE_PROBE_TIMEOUT_MS}, because the two wait on different things: a
+ * connect legitimately hangs against a route that does not carry, which is the finding, whereas a
+ * resolver that has not answered in two seconds is not about to.
+ */
+export const HOST_RESOLVE_TIMEOUT_MS = 2000;
+/**
+ * How many stated NAMES a proof will look up.
+ *
+ * Its own bound rather than a share of {@link MAX_PROBED_ADDRESSES}, because they cap different
+ * costs: that one caps sockets opened, this one caps lookups made, and one name can expand into
+ * several addresses so neither implies the other. The same four, sized for the same shape (an
+ * internal and a public balancer, with room for a second availability zone).
+ */
+export const MAX_RESOLVED_HOSTS = 4;
+/**
+ * The stated NAMES a proof will resolve, in the provider's order, deduplicated and bounded.
+ *
+ * Exported because the caller does the I/O and the plan consumes the answers, so both have to
+ * agree about exactly which names are in scope. Stated ONCE here and read twice rather than
+ * recomputed on each side: two copies of a bound is how a name beyond it comes to be reported as a
+ * name nothing could resolve.
+ */
+export function planHostResolutions(candidates = []) {
+    const hosts = [];
+    const seen = new Set();
+    for (const candidate of candidates) {
+        const stated = statedRouteTarget(candidate);
+        if (stated.kind !== 'host' || seen.has(stated.host))
+            continue;
+        seen.add(stated.host);
+        hosts.push(stated.host);
+        if (hosts.length >= MAX_RESOLVED_HOSTS)
+            break;
+    }
+    return hosts;
+}
 /**
  * The targets a proof tries for one environment, in order: the URL's own name first, then each
- * stated address in the PROVIDER'S preference order.
+ * stated candidate in the PROVIDER'S preference order, a stated NAME expanded IN PLACE into the
+ * addresses it resolved to.
+ *
+ * The URL's name goes first because it is the answer that needs no bridge, and a deployment where
+ * it works must not start paying for `--add-host` entries and the warm-pool evictions they cost.
+ * The candidates keep the provider's order because the provider is the only thing that knows which
+ * of its balancers is the one it wants used; the platform decides only which one CARRIED. A name is
+ * expanded in place rather than having its addresses appended, so that order still means something
+ * when a provider states a name and an address side by side.
  *
- * The name goes first because it is the answer that needs no bridge, and a deployment where it
- * works must not start paying for `--add-host` entries and the warm-pool evictions they cost. The
- * addresses keep the provider's order because the provider is the only thing that knows which of
- * its balancers is the one it wants used; the platform decides only which one CARRIED.
+ * **Every dialled target is an address a bridge could NAME**, whether the provider stated it or the
+ * platform resolved it. The rule is `isBridgeableAddress`, and applying it HERE rather than only at
+ * bridge-build time is the whole safety property of the probe: candidates are provider-authored
+ * data, so without it the orchestrator opens sockets wherever a manifest says and records the
+ * results on a row a workspace can read back, which is a liveness oracle against the deployment's
+ * own private network. Resolving first and grading each answer is what keeps that property intact
+ * for a name: the destination a bridge is built from is still an IP the platform itself proved, and
+ * a name answering with something unbridgeable is refused per address.
  *
- * **A stated address is dialled only if a bridge could NAME it.** The rule is
- * `isBridgeableAddress`, and applying it HERE rather than only at bridge-build time is the whole
- * safety property of the probe: `addresses` is provider-authored data, so without it the
- * orchestrator opens sockets wherever a manifest says and records the results on a row a workspace
- * can read back, which is a liveness oracle against the deployment's own private network. The
- * refusal costs nothing real either, because an address no bridge may name is an address no
- * container could be pointed at, so proving it would prove something unusable. Refused addresses
- * are RECORDED (`kind: 'refused'`) rather than dropped: a shortened list nobody is told about is
- * how a provider's bad address becomes an unexplained `name_unresolved`.
+ * The refusal costs nothing real either, because an address no bridge may name is an address no
+ * container could be pointed at, so proving it would prove something unusable. Refused and
+ * unresolvable targets are RECORDED (`kind: 'undialled'`) rather than dropped: a shortened list
+ * nobody is told about is how a provider's bad candidate becomes an unexplained `name_unresolved`.
+ *
+ * **Every cap this plan applies reports what it passed over**, in one final `not_attempted`
+ * target. Three of them bite (names beyond {@link MAX_RESOLVED_HOSTS}, addresses beyond the dial
+ * budget, records beyond the recording budget) and each ends the list early, so without that
+ * report a proof over a longer list is a prefix presented as the whole thing. It is not a
+ * cosmetic omission: {@link reduceRouteProof} grades `not_reached` only when every attempt
+ * established something, and a silently shortened list is how the deployer comes to fail a frame
+ * on a verdict about candidates the platform never looked at.
  *
  * Empty when there is no host or port to dial, which the caller reads as `no_candidate`: an
  * environment with no URL was never going to be reached, and that is a different fact from one
  * that was tried and failed.
  */
-export function planRouteProbes(host, port, candidates = [], timeoutMs = ROUTE_PROBE_TIMEOUT_MS) {
+export function planRouteProbes(host, port, candidates = [], plan = {}) {
     if (!host || !port)
         return [];
+    const timeoutMs = plan.timeoutMs ?? ROUTE_PROBE_TIMEOUT_MS;
     const targets = [
         { kind: 'dial', request: { host, port, timeoutMs }, address: null, label: `${host}:${port}` },
     ];
+    const inScope = new Set(planHostResolutions(candidates));
     const seen = new Set();
-    let dialable = 0;
-    let refused = 0;
+    const budget = { dialable: 0, undialled: 0, passedOver: 0 };
+    // Bounded by `return` rather than `break`, so a manifest listing four refused addresses ahead of
+    // a good one still gets the good one dialled. Recording costs no I/O; the dial budget is what the
+    // deployer's settle path is actually waiting on.
+    const record = (label, reason, detail) => {
+        if (budget.undialled >= MAX_PROBED_ADDRESSES) {
+            budget.passedOver += 1;
+            return;
+        }
+        budget.undialled += 1;
+        targets.push({ kind: 'undialled', label, reason, ...(detail ? { detail } : {}) });
+    };
+    const dial = (address, statedHost) => {
+        const label = statedHost
+            ? `${host}@${address}:${port} (${statedHost})`
+            : `${host}@${address}:${port}`;
+        if (!isBridgeableAddress(address))
+            return record(label, 'address_refused');
+        if (budget.dialable >= MAX_PROBED_ADDRESSES) {
+            budget.passedOver += 1;
+            return;
+        }
+        budget.dialable += 1;
+        targets.push({
+            kind: 'dial',
+            request: { host, address, port, timeoutMs },
+            address,
+            ...(statedHost ? { statedHost } : {}),
+            label,
+        });
+    };
     for (const candidate of candidates) {
-        const address = candidate.address.trim();
-        if (!address || seen.has(address))
+        const stated = statedRouteTarget(candidate);
+        if (stated.kind === 'unusable') {
+            // No target to name, so the label names the position instead of inventing a value: a
+            // candidate stating nothing is still an omission the operator has to be able to see.
+            record(`${host}@(no target stated):${port}`, 'address_refused');
             continue;
-        seen.add(address);
-        const label = `${host}@${address}:${port}`;
-        // Bounded separately, and by `continue` rather than `break`, so a manifest listing four
-        // refused addresses ahead of a good one still gets the good one dialled. A refusal costs no
-        // I/O; the dial budget is what the deployer's settle path is actually waiting on.
-        if (!isBridgeableAddress(address)) {
-            if (refused < MAX_PROBED_ADDRESSES) {
-                refused += 1;
-                targets.push({ kind: 'refused', address, label, reason: 'address_refused' });
-            }
+        }
+        if (stated.kind === 'address') {
+            if (seen.has(`a:${stated.address}`))
+                continue;
+            seen.add(`a:${stated.address}`);
+            dial(stated.address);
             continue;
         }
-        if (dialable >= MAX_PROBED_ADDRESSES)
+        if (seen.has(`h:${stated.host}`))
             continue;
-        dialable += 1;
-        targets.push({ kind: 'dial', request: { host, address, port, timeoutMs }, address, label });
+        seen.add(`h:${stated.host}`);
+        // Beyond the resolution bound. Counted rather than dropped, because the platform is not about
+        // to look this name up: nothing is established about the candidate, and a proof that omits it
+        // reads as one taken against everything the provider offered.
+        if (!inScope.has(stated.host)) {
+            budget.passedOver += 1;
+            continue;
+        }
+        expandHost(stated.host, plan.resolutions?.get(stated.host), `${host}@${stated.host}:${port}`, {
+            record,
+            dial,
+            seen,
+        });
     }
+    if (budget.passedOver > 0)
+        targets.push(passedOverTarget(budget.passedOver));
     return targets;
 }
+/**
+ * The one target that says the plan above is a PREFIX of what the provider stated.
+ *
+ * ONE entry naming the count, never one per passed-over candidate: what a reader needs is whether
+ * anything was left unlooked-at, and N copies of the same admission would spend the attempt log
+ * the real attempts live in (which is itself capped, so the copies would crowd out the evidence).
+ *
+ * Appended LAST, which keeps two rules intact. `reduceRouteProof` reports the FIRST attempt's
+ * reason for a determinate proof, and that must stay the URL's own name; and the dials ahead of it
+ * are what the settle path waits on, so a target that opens no socket may not delay them.
+ */
+function passedOverTarget(count) {
+    return {
+        kind: 'undialled',
+        label: count === 1
+            ? '1 further target the provider stated'
+            : `${count} further targets the provider stated`,
+        reason: 'not_attempted',
+        detail: `The platform resolves at most ${MAX_RESOLVED_HOSTS} stated names and dials at most ` +
+            `${MAX_PROBED_ADDRESSES} addresses per environment, and this environment's provider stated ` +
+            'more than that.',
+    };
+}
+/**
+ * Turn one stated name's resolution into dialled targets, or into the one attempt that says why
+ * there are none.
+ *
+ * The three failures stay apart because they name different owners, which is the same split the
+ * resolver port itself draws: nothing wired to resolve is an admission about the DEPLOYMENT, a name
+ * that answered nothing is a fact about the NAME, and a lookup that failed is "we could not tell".
+ * Only the middle one establishes anything, and a resolution answering an empty address list is
+ * that same middle fact rather than a fourth one.
+ */
+function expandHost(statedHost, resolution, label, sink) {
+    if (!resolution)
+        return sink.record(label, 'resolver_unavailable');
+    if (resolution.state === 'failed')
+        return sink.record(label, 'probe_failed', resolution.detail);
+    const addresses = resolution.state === 'resolved'
+        ? resolution.addresses.map((address) => address.trim()).filter(Boolean)
+        : [];
+    if (addresses.length === 0)
+        return sink.record(label, 'name_unresolved');
+    for (const address of addresses) {
+        // Deduplicated against stated addresses and against the other names, because two balancers in
+        // one zone routinely answer with an overlapping set and dialling the same literal twice spends
+        // the bound on a target already tried.
+        if (sink.seen.has(`a:${address}`))
+            continue;
+        sink.seen.add(`a:${address}`);
+        sink.dial(address, statedHost);
+    }
+}
 /**
  * The user-facing reason one probe outcome states, for the target it was tried against.
  *
  * A NAME that does not resolve and an ADDRESS that does not resolve are not the same event, and
  * only the first can happen: an address is dialled, never looked up. A resolver answering
  * `unresolved` for a literal is a probe malfunction, so it is reported as `probe_failed` rather
- * than as a claim about DNS that would send a reader to the wrong zone.
+ * than as a claim about DNS that would send a reader to the wrong zone. That holds for an address
+ * the platform RESOLVED a stated name into as much as for a stated one: the name's own lookup
+ * already happened and was recorded, and this attempt dials a literal.
  */
 function reasonFor(outcome, address) {
     switch (outcome.state) {
@@ -124,9 +277,21 @@ export function recordRouteAttempt(target, outcome) {
         ...(detail ? { detail: detail.slice(0, MAX_PROBE_DETAIL_CHARS) } : {}),
     };
 }
-/** Record a target the platform REFUSED to dial, so the omission is on the proof rather than lost. */
-export function recordRefusedAttempt(target) {
-    return { target: target.label, outcome: target.reason };
+/**
+ * Record a target the platform never DIALLED, so the omission is on the proof rather than lost.
+ *
+ * Carries the same `detail` a dialled attempt does, because one of the causes that lands here says
+ * nothing on its own: a lookup that failed rather than answering nothing is `probe_failed`, and
+ * without the resolver's own words a reader cannot tell a DNS timeout from a resolver outage from a
+ * bug in the adapter.
+ */
+export function recordUndialledAttempt(target) {
+    const detail = target.detail?.trim() ?? '';
+    return {
+        target: target.label,
+        outcome: target.reason,
+        ...(detail ? { detail: detail.slice(0, MAX_PROBE_DETAIL_CHARS) } : {}),
+    };
 }
 /**
  * Whether one attempt's outcome leaves a route the platform never actually RULED OUT.
@@ -144,6 +309,14 @@ const LEAVES_ROUTE_UNKNOWN = {
     no_route: false,
     connection_refused: false,
     address_refused: false,
+    // A deployment with nothing to resolve a name with has not ruled that candidate out; it has
+    // declined to look at it. Grading it as established is how a facade missing a resolver would
+    // start failing deploys for environments it never dialled.
+    resolver_unavailable: true,
+    // The same shape of admission, from the platform's own bounds rather than its wiring: a
+    // candidate past the cap was passed over, so it is not ruled out, so the list as a whole cannot
+    // add up to "nothing reaches this environment".
+    not_attempted: true,
     probe_failed: true,
 };
 /**
@@ -171,18 +344,27 @@ function leavesRouteUnknown(outcome) {
  *
  *   - **`reached`** as soon as any attempt carried, publishing the target that did.
  *   - **`inconclusive`** when nothing carried AND some attempt left a route unruled-out: a probe
- *     that could not classify its own failure, or nothing to try at all. A workerd connect message
- *     matching none of that facade's markers, or a Node errno outside the mapped five, arrives
- *     here, and reading either as a verdict about the environment is how a diagnostic becomes a
- *     second way for a healthy deploy to die. The reason names the attempt that left it unknown.
+ *     that could not classify its own failure, a candidate the plan passed over, or nothing to try
+ *     at all. A workerd connect message matching none of that facade's markers, or a Node errno
+ *     outside the mapped five, arrives here, and reading either as a verdict about the environment
+ *     is how a diagnostic becomes a second way for a healthy deploy to die. The reason names the
+ *     attempt that left it unknown.
  *   - **`not_reached`** only when EVERY attempt established something and none of them carried.
  *     The reported reason is then the FIRST attempt's, which is always the name, so a reader is
  *     told what happened to the address they were given rather than what happened to the last
  *     balancer in someone's preference list. The attempt log carries the rest, in order.
  */
-export function reduceRouteProof(attempts, carriedVia, checkedAt) {
-    if (attempts.some((attempt) => attempt.outcome === 'carried'))
-        return { state: 'reached', via: carriedVia, reason: null, attempts: [...attempts], checkedAt };
+export function reduceRouteProof(attempts, carried, checkedAt) {
+    if (attempts.some((attempt) => attempt.outcome === 'carried')) {
+        return {
+            state: 'reached',
+            via: carried?.address ?? null,
+            ...(carried?.statedHost ? { viaHost: carried.statedHost } : {}),
+            reason: null,
+            attempts: [...attempts],
+            checkedAt,
+        };
+    }
     if (attempts.length === 0) {
         return {
             state: 'inconclusive',
@@ -216,7 +398,9 @@ const UNREACHABLE_CAUSES = {
     name_unresolved: 'its hostname resolves nowhere from this deployment, and no address the provider stated for it carried either',
     no_route: 'nothing answered within the probe window, so no route reaches it',
     connection_refused: 'the route reaches it and nothing is listening on that port',
-    address_refused: 'every address its provider stated is one no host bridge may name (loopback, link-local or vendor metadata, or a non-canonical literal), so none could be dialled',
+    address_refused: 'every target its provider stated is one no host bridge may name (loopback, link-local or vendor metadata, or a non-canonical literal, or a candidate naming nothing at all), so none could be dialled',
+    resolver_unavailable: 'its provider identified the environment by NAME and this deployment has nothing wired to turn a name into an address, so nothing was established either way',
+    not_attempted: 'its provider stated more targets than the platform will look up and dial for one environment, so at least one of them was never tried and nothing was established either way',
     probe_failed: 'the probe could not complete, so nothing was established either way',
 };
 /**
@@ -303,10 +487,10 @@ export function determinateRouteCause(candidates, proof) {
     if (proof.reason === 'no_candidate') {
         if (candidates.length === 0) {
             return ('This environment carries no address to dial at all: no URL with a host and port, and no ' +
-                'address stated for one. Nothing was tried because there was nothing to try, so this is a ' +
-                'fact about what the provider published, never a verdict about the environment. Whoever ' +
-                'maps this provider onto a URL (and onto stated addresses, if the name is not resolvable ' +
-                'from this deployment) owns the fix.');
+                'address or name stated for one. Nothing was tried because there was nothing to try, so ' +
+                'this is a fact about what the provider published, never a verdict about the environment. ' +
+                'Whoever maps this provider onto a URL (and onto stated addresses or balancer names, if ' +
+                'the URL is not resolvable from this deployment) owns the fix.');
         }
         // The SAME reason, a different fact, and telling a reader the provider stated no addresses
         // when it stated several is the misdirection this whole function exists to prevent. A stated
@@ -314,21 +498,22 @@ export function determinateRouteCause(candidates, proof) {
         // before it will plan anything), so an environment with addresses and no parseable URL had
         // nothing to dial them ON, and the fix is one field over from where the empty-list wording
         // would send someone.
-        const count = candidates.length === 1 ? '1 address' : `${candidates.length} addresses`;
+        const count = candidates.length === 1 ? '1 candidate' : `${candidates.length} candidates`;
         return (`This environment published no URL with a host and port, so the ${count} its provider DID ` +
-            'state could not be dialled either: an address is tried on the port the URL names, and ' +
-            'there was none. Nothing was tried because there was nothing to try it on, so this is a ' +
-            'fact about what the provider published, never a verdict about the environment. Whoever ' +
-            "maps this provider onto the environment's URL owns the fix; the stated addresses are not " +
-            'the gap here.');
+            'state could not be dialled either: a stated address (or an address a stated name resolves ' +
+            'to) is tried on the port the URL names, and there was none. Nothing was tried because ' +
+            'there was nothing to try it on, so this is a fact about what the provider published, never ' +
+            "a verdict about the environment. Whoever maps this provider onto the environment's URL " +
+            'owns the fix; the stated candidates are not the gap here.');
     }
     if (proof.state !== 'not_reached' || candidates.length > 0)
         return null;
     return ("The only target that ever existed was the environment's own name, because the provider " +
-        'stated no addresses for it. Nothing else was tried because there was nothing else to try: ' +
-        'the empty candidate list means addresses were never STATED, not that stated addresses were ' +
-        'tried and failed. Whoever maps this provider onto stated addresses owns the fix, and this ' +
-        'ranks ahead of any fault inferred from the ORDER platform events appear to have happened in.');
+        'stated no addresses and no balancer names for it. Nothing else was tried because there was ' +
+        'nothing else to try: the empty candidate list means candidates were never STATED, not that ' +
+        'stated ones were tried and failed. Whoever maps this provider onto stated addresses or names ' +
+        'owns the fix, and this ranks ahead of any fault inferred from the ORDER platform events ' +
+        'appear to have happened in.');
 }
 /**
  * The proof recorded when nothing was wired to open a socket.

package/dist/domain/environment-reachability.logic.js.map

@@ -1 +1 @@
-{"version":3,"file":"environment-reachability.logic.js","sourceRoot":"","sources":["../../src/domain/environment-reachability.logic.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,qBAAqB;AACrB,EAAE;AACF,4FAA4F;AAC5F,4FAA4F;AAC5F,gGAAgG;AAChG,+FAA+F;AAC/F,mEAAmE;AACnE,EAAE;AACF,2FAA2F;AAC3F,8FAA8F;AAC9F,iGAAiG;AACjG,uBAAuB;AAQvB,OAAO,EAAE,kCAAkC,EAAE,MAAM,wBAAwB,CAAA;AAE3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAA;AAEhF,kFAAkF;AAClF,MAAM,sBAAsB,GAAG,GAAG,CAAA;AAElC,gFAAgF;AAChF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAA;AAE1C;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAA;AAgBrC;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,eAAe,CAC7B,IAA+B,EAC/B,IAA+B,EAC/B,UAAU,GAAkC,EAAE,EAC9C,SAAS,GAAW,sBAAsB;IAE1C,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAA;IAC7B,MAAM,OAAO,GAAuB;QAClC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE;KAC9F,CAAA;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,IAAI,OAAO,GAAG,CAAC,CAAA;IACf,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;QACxC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAQ;QAC3C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACjB,MAAM,KAAK,GAAG,GAAG,IAAI,IAAI,OAAO,IAAI,IAAI,EAAE,CAAA;QAC1C,wFAAwF;QACxF,4FAA4F;QAC5F,kFAAkF;QAClF,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;YAClC,IAAI,OAAO,GAAG,oBAAoB,EAAE,CAAC;gBACnC,OAAO,IAAI,CAAC,CAAA;gBACZ,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC,CAAA;YAC9E,CAAC;YACD,SAAQ;QACV,CAAC;QACD,IAAI,QAAQ,IAAI,oBAAoB;YAAE,SAAQ;QAC9C,QAAQ,IAAI,CAAC,CAAA;QACb,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAA;IAC7F,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,SAAS,CAChB,OAA0B,EAC1B,OAAsB;IAEtB,QAAQ,OAAO,CAAC,KAAK,EAAE,CAAC;QACtB,KAAK,SAAS;YACZ,sFAAsF;YACtF,+CAA+C;YAC/C,OAAO,cAAc,CAAA;QACvB,KAAK,YAAY;YACf,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,cAAc,CAAA;QAC9D,KAAK,UAAU;YACb,OAAO,UAAU,CAAA;QACnB,KAAK,SAAS;YACZ,OAAO,oBAAoB,CAAA;QAC7B,KAAK,QAAQ;YACX,OAAO,cAAc,CAAA;IACzB,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAmD,EACnD,OAA0B;IAE1B,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,CAAA;IACpF,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IACtE,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,KAAK;QACpB,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC;QAC3C,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvE,CAAA;AACH,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,oBAAoB,CAClC,MAAsD;IAEtD,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,CAAA;AACzD,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,oBAAoB,GAAkD;IAC1E,YAAY,EAAE,IAAI;IAClB,eAAe,EAAE,KAAK;IACtB,QAAQ,EAAE,KAAK;IACf,kBAAkB,EAAE,KAAK;IACzB,eAAe,EAAE,KAAK;IACtB,YAAY,EAAE,IAAI;CACnB,CAAA;AAED;;;;;;;GAOG;AACH,SAAS,WAAW,CAAC,OAAe;IAClC,OAAQ,kCAAkC,CAAC,OAA6B,CAAC,QAAQ,CAAC,OAAO,CAAC;QACxF,CAAC,CAAE,OAAwC;QAC3C,CAAC,CAAC,SAAS,CAAA;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAe;IACzC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,CAAA;IACnC,OAAO,MAAM,KAAK,SAAS,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAA;AAC7D,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAA4C,EAC5C,UAAyB,EACzB,SAAiB;IAEjB,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC;QAC3D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,EAAE,SAAS,EAAE,CAAA;IAChG,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,KAAK,EAAE,cAAc;YACrB,GAAG,EAAE,IAAI;YACT,MAAM,EAAE,cAAqD;YAC7D,QAAQ,EAAE,EAAE;YACZ,SAAS;SACV,CAAA;IACH,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;IAC/E,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO;YACL,KAAK,EAAE,cAAc;YACrB,GAAG,EAAE,IAAI;YACT,MAAM,EAAE,OAAO,CAAC,OAAO;YACvB,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC;YACvB,SAAS;SACV,CAAA;IACH,CAAC;IACD,OAAO;QACL,KAAK,EAAE,aAAa;QACpB,GAAG,EAAE,IAAI;QACT,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,cAAc;QAC9C,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC;QACvB,SAAS;KACV,CAAA;AACH,CAAC;AAED,mFAAmF;AACnF,MAAM,kBAAkB,GAAiD;IACvE,YAAY,EAAE,wEAAwE;IACtF,eAAe,EACb,8GAA8G;IAChH,QAAQ,EAAE,kEAAkE;IAC5E,kBAAkB,EAAE,4DAA4D;IAChF,eAAe,EACb,kKAAkK;IACpK,YAAY,EAAE,qEAAqE;CACpF,CAAA;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,8BAA8B,CAC5C,GAAkB,EAClB,KAA4B;IAE5B,MAAM,MAAM,GAAG,KAAK,CAAC,MAA6C,CAAA;IAClE,MAAM,KAAK,GAAG,CAAC,MAAM,IAAI,kBAAkB,CAAC,MAAM,CAAC,CAAC,IAAI,kBAAkB,CAAC,YAAY,CAAA;IACvF,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,sBAAsB,GAAG,iBAAiB,CAAC,CAAC,CAAC,gCAAgC,CAAA;IACjG,OAAO,GAAG,KAAK,KAAK,KAAK,IAAI,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAA;AAC7D,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,yBAAyB,CACvC,GAAkB,EAClB,KAA4B;IAE5B,MAAM,MAAM,GAAG,KAAK,CAAC,MAA6C,CAAA;IAClE,MAAM,KAAK,GAAG,CAAC,MAAM,IAAI,kBAAkB,CAAC,MAAM,CAAC,CAAC,IAAI,kBAAkB,CAAC,YAAY,CAAA;IACvF,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,mCAAmC,GAAG,EAAE,CAAC,CAAC,CAAC,8BAA8B,CAAA;IAC7F,OAAO,GAAG,KAAK,yCAAyC,KAAK,IAAI,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAA;AACjG,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,oBAAoB,CAAC,QAA4C;IAC/E,OAAO,QAAQ;SACZ,GAAG,CACF,CAAC,OAAO,EAAE,EAAE,CACV,GAAG,OAAO,CAAC,MAAM,KAAK,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CACzF;SACA,IAAI,CAAC,IAAI,CAAC,CAAA;AACf,CAAC;AAED,qFAAqF;AACrF,SAAS,qBAAqB,CAAC,KAA4B;IACzD,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;IAClD,OAAO,KAAK,CAAC,CAAC,CAAC,WAAW,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;AACzC,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAyC,EACzC,KAAmC;IAEnC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAA;IACvB,gGAAgG;IAChG,gGAAgG;IAChG,6FAA6F;IAC7F,qEAAqE;IACrE,IAAI,KAAK,CAAC,MAAM,KAAM,cAAsD,EAAE,CAAC;QAC7E,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,CACL,0FAA0F;gBAC1F,2FAA2F;gBAC3F,yFAAyF;gBACzF,0FAA0F;gBAC1F,qCAAqC,CACtC,CAAA;QACH,CAAC;QACD,2FAA2F;QAC3F,6FAA6F;QAC7F,0FAA0F;QAC1F,2FAA2F;QAC3F,2FAA2F;QAC3F,sBAAsB;QACtB,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,YAAY,CAAA;QACtF,OAAO,CACL,kEAAkE,KAAK,oBAAoB;YAC3F,wFAAwF;YACxF,yFAAyF;YACzF,yFAAyF;YACzF,2FAA2F;YAC3F,eAAe,CAChB,CAAA;IACH,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,KAAK,aAAa,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAA;IACvE,OAAO,CACL,yFAAyF;QACzF,4FAA4F;QAC5F,6FAA6F;QAC7F,4FAA4F;QAC5F,8FAA8F,CAC/F,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,aAAa,CAAC,SAAiB;IAC7C,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,CAAA;AAChF,CAAC"}
+{"version":3,"file":"environment-reachability.logic.js","sourceRoot":"","sources":["../../src/domain/environment-reachability.logic.ts"],"names":[],"mappings":"AAAA,kGAAkG;AAClG,kCAAkC;AAClC,EAAE;AACF,4FAA4F;AAC5F,4FAA4F;AAC5F,gGAAgG;AAChG,+FAA+F;AAC/F,mEAAmE;AACnE,EAAE;AACF,2FAA2F;AAC3F,8FAA8F;AAC9F,iGAAiG;AACjG,uBAAuB;AAQvB,OAAO,EAAE,kCAAkC,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AAG9F,OAAO,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAA;AAEhF,kFAAkF;AAClF,MAAM,sBAAsB,GAAG,GAAG,CAAA;AAElC,gFAAgF;AAChF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAA;AAE1C;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAA;AAErC;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAA;AAE3C;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAA;AAEnC;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAAU,GAAyC,EAAE;IAErD,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAA;QAC3C,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,SAAQ;QAC7D,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACrB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACvB,IAAI,KAAK,CAAC,MAAM,IAAI,kBAAkB;YAAE,MAAK;IAC/C,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAgDD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,UAAU,eAAe,CAC7B,IAA+B,EAC/B,IAA+B,EAC/B,UAAU,GAAyC,EAAE,EACrD,IAAI,GAAmB,EAAE;IAEzB,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAA;IAC7B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,sBAAsB,CAAA;IAC1D,MAAM,OAAO,GAAuB;QAClC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE;KAC9F,CAAA;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAAA;IACxD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,MAAM,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAA;IAC3D,iGAAiG;IACjG,kGAAkG;IAClG,iDAAiD;IACjD,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,MAAoC,EAAE,MAAe,EAAE,EAAE;QACtF,IAAI,MAAM,CAAC,SAAS,IAAI,oBAAoB,EAAE,CAAC;YAC7C,MAAM,CAAC,UAAU,IAAI,CAAC,CAAA;YACtB,OAAM;QACR,CAAC;QACD,MAAM,CAAC,SAAS,IAAI,CAAC,CAAA;QACrB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;IACnF,CAAC,CAAA;IACD,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,UAAmB,EAAE,EAAE;QACpD,MAAM,KAAK,GAAG,UAAU;YACtB,CAAC,CAAC,GAAG,IAAI,IAAI,OAAO,IAAI,IAAI,KAAK,UAAU,GAAG;YAC9C,CAAC,CAAC,GAAG,IAAI,IAAI,OAAO,IAAI,IAAI,EAAE,CAAA;QAChC,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC;YAAE,OAAO,MAAM,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAA;QAC1E,IAAI,MAAM,CAAC,QAAQ,IAAI,oBAAoB,EAAE,CAAC;YAC5C,MAAM,CAAC,UAAU,IAAI,CAAC,CAAA;YACtB,OAAM;QACR,CAAC;QACD,MAAM,CAAC,QAAQ,IAAI,CAAC,CAAA;QACpB,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE;YAC3C,OAAO;YACP,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrC,KAAK;SACN,CAAC,CAAA;IACJ,CAAC,CAAA;IACD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAA;QAC3C,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,qFAAqF;YACrF,qFAAqF;YACrF,MAAM,CAAC,GAAG,IAAI,uBAAuB,IAAI,EAAE,EAAE,iBAAiB,CAAC,CAAA;YAC/D,SAAQ;QACV,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC;gBAAE,SAAQ;YAC7C,IAAI,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC,CAAA;YAC/B,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YACpB,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;YAAE,SAAQ;QAC1C,IAAI,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;QAC5B,8FAA8F;QAC9F,8FAA8F;QAC9F,8DAA8D;QAC9D,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,UAAU,IAAI,CAAC,CAAA;YACtB,SAAQ;QACV,CAAC;QACD,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,IAAI,MAAM,CAAC,IAAI,IAAI,IAAI,EAAE,EAAE;YAC5F,MAAM;YACN,IAAI;YACJ,IAAI;SACL,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,GAAG,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAA;IAC5E,OAAO,OAAO,CAAA;AAChB,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,gBAAgB,CAAC,KAAa;IACrC,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,KAAK,EACH,KAAK,KAAK,CAAC;YACT,CAAC,CAAC,sCAAsC;YACxC,CAAC,CAAC,GAAG,KAAK,sCAAsC;QACpD,MAAM,EAAE,eAAe;QACvB,MAAM,EACJ,iCAAiC,kBAAkB,kCAAkC;YACrF,GAAG,oBAAoB,qEAAqE;YAC5F,iBAAiB;KACpB,CAAA;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,UAAU,CACjB,UAAkB,EAClB,UAA0C,EAC1C,KAAa,EACb,IAIC;IAED,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAA;IAClE,IAAI,UAAU,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,cAAc,EAAE,UAAU,CAAC,MAAM,CAAC,CAAA;IAC/F,MAAM,SAAS,GACb,UAAU,CAAC,KAAK,KAAK,UAAU;QAC7B,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;QACvE,CAAC,CAAC,EAAE,CAAA;IACR,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAA;IACxE,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;QAChC,8FAA8F;QAC9F,+FAA+F;QAC/F,uCAAuC;QACvC,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,OAAO,EAAE,CAAC;YAAE,SAAQ;QAC3C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,OAAO,EAAE,CAAC,CAAA;QAC7B,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;IAChC,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,SAAS,CAChB,OAA0B,EAC1B,OAAsB;IAEtB,QAAQ,OAAO,CAAC,KAAK,EAAE,CAAC;QACtB,KAAK,SAAS;YACZ,sFAAsF;YACtF,+CAA+C;YAC/C,OAAO,cAAc,CAAA;QACvB,KAAK,YAAY;YACf,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,cAAc,CAAA;QAC9D,KAAK,UAAU;YACb,OAAO,UAAU,CAAA;QACnB,KAAK,SAAS;YACZ,OAAO,oBAAoB,CAAA;QAC7B,KAAK,QAAQ;YACX,OAAO,cAAc,CAAA;IACzB,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAmD,EACnD,OAA0B;IAE1B,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,CAAA;IACpF,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IACtE,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,KAAK;QACpB,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC;QAC3C,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvE,CAAA;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CACpC,MAAwD;IAExD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;IAC1C,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,KAAK;QACpB,OAAO,EAAE,MAAM,CAAC,MAAM;QACtB,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvE,CAAA;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,oBAAoB,GAAkD;IAC1E,YAAY,EAAE,IAAI;IAClB,eAAe,EAAE,KAAK;IACtB,QAAQ,EAAE,KAAK;IACf,kBAAkB,EAAE,KAAK;IACzB,eAAe,EAAE,KAAK;IACtB,4FAA4F;IAC5F,6FAA6F;IAC7F,2DAA2D;IAC3D,oBAAoB,EAAE,IAAI;IAC1B,wFAAwF;IACxF,gGAAgG;IAChG,gDAAgD;IAChD,aAAa,EAAE,IAAI;IACnB,YAAY,EAAE,IAAI;CACnB,CAAA;AAED;;;;;;;GAOG;AACH,SAAS,WAAW,CAAC,OAAe;IAClC,OAAQ,kCAAkC,CAAC,OAA6B,CAAC,QAAQ,CAAC,OAAO,CAAC;QACxF,CAAC,CAAE,OAAwC;QAC3C,CAAC,CAAC,SAAS,CAAA;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAe;IACzC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,CAAA;IACnC,OAAO,MAAM,KAAK,SAAS,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAA;AAC7D,CAAC;AAcD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAA4C,EAC5C,OAA8B,EAC9B,SAAiB;IAEjB,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,EAAE,CAAC;QAC9D,OAAO;YACL,KAAK,EAAE,SAAS;YAChB,GAAG,EAAE,OAAO,EAAE,OAAO,IAAI,IAAI;YAC7B,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC;YACvB,SAAS;SACV,CAAA;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,KAAK,EAAE,cAAc;YACrB,GAAG,EAAE,IAAI;YACT,MAAM,EAAE,cAAqD;YAC7D,QAAQ,EAAE,EAAE;YACZ,SAAS;SACV,CAAA;IACH,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;IAC/E,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO;YACL,KAAK,EAAE,cAAc;YACrB,GAAG,EAAE,IAAI;YACT,MAAM,EAAE,OAAO,CAAC,OAAO;YACvB,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC;YACvB,SAAS;SACV,CAAA;IACH,CAAC;IACD,OAAO;QACL,KAAK,EAAE,aAAa;QACpB,GAAG,EAAE,IAAI;QACT,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,cAAc;QAC9C,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC;QACvB,SAAS;KACV,CAAA;AACH,CAAC;AAED,mFAAmF;AACnF,MAAM,kBAAkB,GAAiD;IACvE,YAAY,EAAE,wEAAwE;IACtF,eAAe,EACb,8GAA8G;IAChH,QAAQ,EAAE,kEAAkE;IAC5E,kBAAkB,EAAE,4DAA4D;IAChF,eAAe,EACb,uMAAuM;IACzM,oBAAoB,EAClB,6JAA6J;IAC/J,aAAa,EACX,8KAA8K;IAChL,YAAY,EAAE,qEAAqE;CACpF,CAAA;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,8BAA8B,CAC5C,GAAkB,EAClB,KAA4B;IAE5B,MAAM,MAAM,GAAG,KAAK,CAAC,MAA6C,CAAA;IAClE,MAAM,KAAK,GAAG,CAAC,MAAM,IAAI,kBAAkB,CAAC,MAAM,CAAC,CAAC,IAAI,kBAAkB,CAAC,YAAY,CAAA;IACvF,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,sBAAsB,GAAG,iBAAiB,CAAC,CAAC,CAAC,gCAAgC,CAAA;IACjG,OAAO,GAAG,KAAK,KAAK,KAAK,IAAI,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAA;AAC7D,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,yBAAyB,CACvC,GAAkB,EAClB,KAA4B;IAE5B,MAAM,MAAM,GAAG,KAAK,CAAC,MAA6C,CAAA;IAClE,MAAM,KAAK,GAAG,CAAC,MAAM,IAAI,kBAAkB,CAAC,MAAM,CAAC,CAAC,IAAI,kBAAkB,CAAC,YAAY,CAAA;IACvF,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,mCAAmC,GAAG,EAAE,CAAC,CAAC,CAAC,8BAA8B,CAAA;IAC7F,OAAO,GAAG,KAAK,yCAAyC,KAAK,IAAI,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAA;AACjG,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,oBAAoB,CAAC,QAA4C;IAC/E,OAAO,QAAQ;SACZ,GAAG,CACF,CAAC,OAAO,EAAE,EAAE,CACV,GAAG,OAAO,CAAC,MAAM,KAAK,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CACzF;SACA,IAAI,CAAC,IAAI,CAAC,CAAA;AACf,CAAC;AAED,qFAAqF;AACrF,SAAS,qBAAqB,CAAC,KAA4B;IACzD,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;IAClD,OAAO,KAAK,CAAC,CAAC,CAAC,WAAW,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;AACzC,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAgD,EAChD,KAAmC;IAEnC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAA;IACvB,gGAAgG;IAChG,gGAAgG;IAChG,6FAA6F;IAC7F,qEAAqE;IACrE,IAAI,KAAK,CAAC,MAAM,KAAM,cAAsD,EAAE,CAAC;QAC7E,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,CACL,0FAA0F;gBAC1F,yFAAyF;gBACzF,2FAA2F;gBAC3F,yFAAyF;gBACzF,+DAA+D,CAChE,CAAA;QACH,CAAC;QACD,2FAA2F;QAC3F,6FAA6F;QAC7F,0FAA0F;QAC1F,2FAA2F;QAC3F,2FAA2F;QAC3F,sBAAsB;QACtB,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,aAAa,CAAA;QACzF,OAAO,CACL,kEAAkE,KAAK,oBAAoB;YAC3F,4FAA4F;YAC5F,wFAAwF;YACxF,6FAA6F;YAC7F,yFAAyF;YACzF,2DAA2D,CAC5D,CAAA;IACH,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,KAAK,aAAa,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAA;IACvE,OAAO,CACL,yFAAyF;QACzF,6FAA6F;QAC7F,6FAA6F;QAC7F,+FAA+F;QAC/F,0FAA0F;QAC1F,6BAA6B,CAC9B,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,aAAa,CAAC,SAAiB;IAC7C,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,CAAA;AAChF,CAAC"}

package/dist/domain/monorepo-adoption.logic.d.ts

@@ -0,0 +1,87 @@
+import { type AdoptionArea, type AdoptionChoice, type AdoptionDecision, type AdoptionPlan, type AdoptionSource, type AdoptionSurvey, type ResolvedAdoption } from '@cat-factory/contracts';
+/** Cap on how many decisions one plan may carry, so a runaway reply can't produce a wall of them. */
+export declare const MAX_ADOPTION_DECISIONS = 24;
+/**
+ * One convention area, in the words the review UI and the agent brief both use.
+ *
+ * The `default` is unreachable while the type is honoured, which is the point: adding a member
+ * fails the build here, and a member RETIRED after a plan was stored still renders honestly
+ * instead of splicing `undefined` into the sentence a human is deciding from.
+ */
+export declare function describeAdoptionArea(area: AdoptionArea): string;
+/** One side of the decision, as an instruction an agent can act on without further inference. */
+export declare function describeAdoptionSource(source: AdoptionSource): string;
+/** Whether a stored string is an area THIS build defines, narrowed from the schema's own options. */
+export declare function isAdoptionArea(value: unknown): value is AdoptionArea;
+/** Whether a stored string is a choice THIS build defines, narrowed from the schema's own options. */
+export declare function isAdoptionSource(value: unknown): value is AdoptionSource;
+/** What {@link parseAdoptionDecisions} produced, plus what it refused to carry through. */
+export interface ParsedAdoptionDecisions {
+    decisions: AdoptionDecision[];
+    /** One line per dropped recommendation, naming it and why. Rendered to the reviewer. */
+    dropped: string[];
+}
+/**
+ * Read a model's raw reply into the stored decision list, keeping only what it can support.
+ *
+ * The model is asked for `{ decisions: [...] }`; anything else is not a plan. Each decision has
+ * to survive three checks, and each one is a way the review would otherwise mislead:
+ *
+ *  - a duplicate or missing `id` makes the human's answer unaddressable, so the line is dropped;
+ *  - an area or recommendation outside the CURRENT vocabulary cannot be rendered or acted on;
+ *  - evidence that names no path the survey actually read means the claim about the monorepo
+ *    has nothing behind it. The line is dropped rather than shown unmarked, because a reviewer
+ *    reads an unmarked line as something the platform checked.
+ *
+ * Every drop is REPORTED, never silent: a plan that lost half its lines to invention looks
+ * exactly like a monorepo with few conventions, and those need opposite reactions.
+ */
+export declare function parseAdoptionDecisions(raw: unknown, survey: AdoptionSurvey): ParsedAdoptionDecisions;
+/**
+ * Settle a human review against the plan it answers, or throw the refusal naming what is wrong.
+ *
+ * Refuses rather than repairs, on both sides of the mismatch. An UNANSWERED decision cannot be
+ * defaulted to the recommendation without erasing the difference between agreeing with it and
+ * never having read it, which is the single fact this whole step exists to record. An answer
+ * naming a decision the plan does not have means the reviewer was looking at a different plan
+ * (a stale tab, a re-run survey), and applying the rest of it would build under a review that
+ * was never given for this proposal.
+ */
+export declare function resolveAdoptionReview(plan: AdoptionPlan, choices: readonly AdoptionChoice[], context: {
+    reviewedByUserId: string | null;
+    reviewedAt: number;
+    notes?: string | undefined;
+}): ResolvedAdoption;
+/**
+ * Render the settled review as the adoption section of the apply phase's brief.
+ *
+ * Every decision is stated as a SIDE plus the reviewer's own words where they left any, and the
+ * overrides are called out: an agent told only "use the monorepo's test runner" cannot tell a
+ * default it may reason around from a human who deliberately overruled the recommendation, and
+ * the second is not negotiable. The list is exhaustive on purpose: an area the reviewer settled
+ * and the brief omits is an area the agent decides again, unreviewed.
+ *
+ * The holes are VERBATIM here. {@link renderAdoptionPrSection} is the rendering for the pull
+ * request; do not send this one to a host.
+ */
+export declare function renderAdoptionBrief(resolved: ResolvedAdoption, directory: string): string;
+/**
+ * Render the settled review for the PULL REQUEST the apply phase opens.
+ *
+ * The same list, addressed to the human reviewing the change rather than to the agent making it:
+ * what a reviewer of a bootstrap PR is being asked is whether the service fits the monorepo, and
+ * what settles that is which side each area came from and who chose it, which the diff cannot
+ * show. Every hole crosses {@link HOST_SINK}, because both the titles (model-authored) and the
+ * notes (reviewer-authored) are untrusted text landing on a parsed surface. The caller scrubs
+ * secrets at compose time, before any of this is capped.
+ */
+export declare function renderAdoptionPrSection(resolved: ResolvedAdoption, directory: string): string;
+/**
+ * The default branch name for a monorepo bootstrap's pull request.
+ *
+ * Derived from the run's own id rather than the service name so two bootstraps of similarly
+ * named services can never collide on one branch, and stable per run so a retry of the SAME run
+ * resumes its branch instead of opening a second pull request against the monorepo.
+ */
+export declare function monorepoBootstrapBranch(jobId: string): string;
+//# sourceMappingURL=monorepo-adoption.logic.d.ts.map

package/dist/domain/monorepo-adoption.logic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"monorepo-adoption.logic.d.ts","sourceRoot":"","sources":["../../src/domain/monorepo-adoption.logic.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,gBAAgB,EACrB,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,gBAAgB,EAEtB,MAAM,wBAAwB,CAAA;AAsB/B,qGAAqG;AACrG,eAAO,MAAM,sBAAsB,KAAK,CAAA;AAcxC;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CA6B/D;AAOD,iGAAiG;AACjG,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CAarE;AAED,qGAAqG;AACrG,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,YAAY,CAIpE;AAED,sGAAsG;AACtG,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,cAAc,CAIxE;AAED,2FAA2F;AAC3F,MAAM,WAAW,uBAAuB;IACtC,SAAS,EAAE,gBAAgB,EAAE,CAAA;IAC7B,wFAAwF;IACxF,OAAO,EAAE,MAAM,EAAE,CAAA;CAClB;AAmBD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,OAAO,EACZ,MAAM,EAAE,cAAc,GACrB,uBAAuB,CAiEzB;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,YAAY,EAClB,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,OAAO,EAAE;IAAE,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAC3F,gBAAgB,CA+ClB;AA8DD;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAUzF;AAED;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAe7F;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE7D"}