@atomic-chat/core 0.5.1 → 0.13.2

package/dist/runtime/environment/state.js

@@ -0,0 +1,479 @@
+/**
+ * The setup, update and removal state machine, as a pure function.
+ *
+ * Everything that can fail halfway lives here: a user who must sign out and back in before the
+ * `docker` group counts, a machine that must reboot before WSL exists, a package transaction that
+ * cannot be interrupted, a core that died between importing a distribution and recording that it
+ * did. None of that is testable against a real machine often enough to trust, so the rules are a
+ * table: previous state plus one event in, next state and at most one effect intent out. No clock,
+ * no ids, no filesystem — the caller supplies those facts and runs the effects.
+ *
+ * Two invariants hold the rest together. An effect's result is accepted only for the effect that is
+ * actually pending, at the revision it was issued at, so a late answer from a superseded attempt
+ * cannot move the machine. And nothing privileged happens without a consent whose hash still
+ * matches the plan: if the host changed under an approval, the machine goes back to asking.
+ */
+import { err, ok } from '../../util/index.js';
+import { hostStepFailureError } from './host-step-failure.js';
+/**
+ * Where a freshly probed digest goes. Before any consent it is the plan on offer (`plan_digest`).
+ * Once work started under one, `plan_digest` is left as it is and the fresh digest is reported as
+ * `carried_plan_digest` instead. What `plan_digest` then holds is the consented digest — equal to
+ * `approved_plan_digest` (review r2, ruling A) — or, once the core re-asked because the host changed
+ * beyond the consent, the plan it last offered, which differs from the approval until the user
+ * approves it; no work runs while they differ.
+ */
+const probedDigest = (state, digest) => (state.consented ?? null) !== null ? { carried_plan_digest: digest } : { plan_digest: digest };
+const sameTarget = (a, b) => a.kind === b.kind &&
+    (a.kind === 'environment' ||
+        (b.kind === 'runtime' && a.installation_id === b.installation_id && a.engine_id === b.engine_id));
+/**
+ * Whether `plan` still asks for what the consent covered. A removal downloads nothing, so the
+ * same target is enough; a setup must also name the same descriptor and the same image digest —
+ * otherwise continuing would download something nobody approved — and the same environment manifest,
+ * the distribution list the approved system changes were judged against.
+ */
+const consentCovers = (basis, plan, kind) => sameTarget(basis.target, plan.target) &&
+    (kind === 'remove' ||
+        (basis.descriptor_id === plan.descriptor_id &&
+            basis.image_digest === plan.image_digest &&
+            (basis.environment_manifest_id ?? null) === plan.environment_manifest_id));
+/** Phases from which nothing more happens on its own. */
+const TERMINAL = ['ready', 'removed', 'cancelled', 'failed'];
+/** Phases that change the machine. Entering one records the checkpoint (`OperationMachine.checkpoint`). */
+const WORK_PHASES = [
+    'preparing-host',
+    'preparing-environment',
+    'pulling-image',
+    'verifying',
+    'activating',
+    'removing',
+];
+/** Only the `ErrorBody` part of a blocker becomes the operation's error; its reason goes in `details`. */
+const errorOf = (blocker) => {
+    const details = blocker.details ?? blocker.reason;
+    return { code: blocker.code, message: blocker.message, ...(details === undefined ? {} : { details }) };
+};
+const RELOGIN_ERROR = {
+    code: 'MANAGED_RELOGIN_REQUIRED',
+    message: 'Log out and back in so the docker group takes effect; setup continues on its own after that.',
+};
+/** Which effect each internal event is the answer to. A result for anything else is not accepted. */
+const ANSWERS = {
+    'requirements-ready': 'probe',
+    'host-step-started': 'host-step',
+    'host-receipt-verified': 'host-step',
+    'environment-verified': 'prepare-environment',
+    'image-pulled': 'pull-image',
+    'verification-passed': 'verify',
+    'resident-unloaded': 'unload-resident',
+    'activation-committed': 'activate',
+    'removal-completed': 'remove',
+    'cleanup-completed': 'cleanup',
+    'reconciled': 'reconcile',
+};
+const conflict = (why) => err('MANAGED_OPERATION_CONFLICT', 'This event does not apply to the operation.', why);
+/**
+ * What happens to the work already in flight. `KEEP` is for a transition that records something —
+ * a cancellation asked for, a step reported as started — while the effect it is about is still
+ * running: dropping the pending effect there would leave its eventual result with nothing to
+ * attach to, and the machine would refuse the answer to its own question.
+ */
+const KEEP = 'keep';
+/** Build the next machine. Every accepted change moves the revision on exactly once. */
+const advance = (state, operation, effect, flags = {}) => {
+    const revision = state.operation.revision + 1;
+    const next = { ...state.operation, ...operation, revision };
+    const issued = effect === null || effect === KEEP
+        ? null
+        : {
+            effect_id: effect.input.next_effect_id,
+            operation_id: next.operation_id,
+            expected_revision: revision,
+            kind: effect.kind,
+            plan_digest: next.plan_digest,
+        };
+    return ok({
+        state: {
+            ...state,
+            operation: next,
+            pending_effect: effect === KEEP ? state.pending_effect : issued,
+            indivisible_host_step_running: flags.indivisible ?? false,
+            checkpoint: WORK_PHASES.includes(next.phase) ? next.phase : (state.checkpoint ?? null),
+        },
+        effects: issued === null ? [] : [issued],
+    });
+};
+/** A fresh operation: nothing has been touched yet, and the first thing to do is look. */
+export function startOperation(input, transition) {
+    const operation = {
+        schema_version: 1,
+        operation_id: input.operation_id,
+        request_id: input.request_id,
+        environment_id: input.environment_id,
+        target: input.target,
+        kind: input.kind,
+        instance_id: input.instance_id,
+        revision: 0,
+        phase: 'checking',
+        plan_digest: null,
+        approved_plan_digest: input.approved_plan_digest ?? null,
+        carried_plan_digest: null,
+        progress: null,
+        pending_host_step: null,
+        completed_step_ids: [],
+        cancellation_requested: false,
+        error: null,
+    };
+    const intent = {
+        effect_id: transition.next_effect_id,
+        operation_id: operation.operation_id,
+        expected_revision: 0,
+        kind: 'probe',
+        plan_digest: null,
+    };
+    return {
+        state: { operation, pending_effect: intent, indivisible_host_step_running: false },
+        effects: [intent],
+    };
+}
+/** Stop and clean up whatever this operation may have started. */
+const startCancelling = (state, input) => advance(state, { phase: 'cancelling', cancellation_requested: true }, { kind: 'cleanup', input });
+/**
+ * Where a plan goes once it is approved and the host is ready for it. Setup builds the environment
+ * first; an update only stages a new image over an environment that already exists; a removal has
+ * nothing to prepare.
+ */
+const afterConsent = (state, input, hostStep) => {
+    if (hostStep !== null) {
+        // The step is bound to the revision it is issued at, whatever the probe that built it wrote
+        // there: that revision is what a receipt has to name.
+        const issued = { ...hostStep, expected_operation_revision: state.operation.revision + 1 };
+        return advance(state, { phase: 'preparing-host', pending_host_step: issued, error: null }, { kind: 'host-step', input });
+    }
+    switch (state.operation.kind) {
+        case 'setup':
+            return advance(state, { phase: 'preparing-environment', error: null }, { kind: 'prepare-environment', input });
+        case 'update':
+            return advance(state, { phase: 'pulling-image', error: null }, { kind: 'pull-image', input });
+        case 'remove':
+            return advance(state, { phase: 'removing', error: null }, { kind: 'remove', input });
+    }
+};
+/**
+ * Where work consent already covered picks up again, after a sign-in, a failure the user resumed,
+ * or a core restart. What is left changes nothing on the host (the caller checked there is no host
+ * step), so it needs no new consent: an image that was being pulled is verified if it is all there
+ * and pulled on otherwise, without re-running the GPU check that already passed; everything before
+ * the pull starts again at the GPU check; a removal carries on removing.
+ */
+const continueConsentedWork = (state, input, imagePresent) => {
+    const checkpoint = state.checkpoint ?? null;
+    const { kind, target } = state.operation;
+    const pulledSomething = checkpoint === 'pulling-image' || checkpoint === 'verifying' || checkpoint === 'activating';
+    if (kind !== 'remove' && target.kind === 'runtime' && pulledSomething) {
+        return imagePresent
+            ? advance(state, { phase: 'verifying', error: null }, { kind: 'verify', input })
+            : advance(state, { phase: 'pulling-image', error: null }, { kind: 'pull-image', input });
+    }
+    if (kind !== 'remove' && target.kind === 'environment' && checkpoint === 'verifying') {
+        return advance(state, { phase: 'verifying', error: null }, { kind: 'verify', input });
+    }
+    return afterConsent(state, input, null);
+};
+/** After any step that completed, honour a cancellation that arrived while it was running. */
+const continueOrCancel = (state, input, proceed) => (state.operation.cancellation_requested ? startCancelling(state, input) : proceed());
+const failWith = (state, error, keepStep = false) => advance(state, {
+    phase: 'failed',
+    error,
+    ...(keepStep ? {} : { pending_host_step: null }),
+}, null);
+/**
+ * Apply one event. Returns the next machine and the effect to run, or a failure explaining why the
+ * event does not apply — in which case the caller keeps the state it had.
+ */
+export function reduceOperation(state, event, input) {
+    const { operation } = state;
+    const phase = operation.phase;
+    // A caller's cancel and resume are not answers to an effect; everything else must be.
+    if (event.type !== 'cancel' && event.type !== 'resume' && event.type !== 'approve') {
+        const pending = state.pending_effect;
+        if (pending === null)
+            return conflict(`no effect is pending in ${phase}`);
+        if (pending.effect_id !== event.effect_id)
+            return conflict('this is another effect’s result');
+        if (event.expected_revision !== operation.revision) {
+            return conflict(`result is for revision ${event.expected_revision}, now at ${operation.revision}`);
+        }
+        const answers = ANSWERS[event.type];
+        if (answers !== undefined && answers !== pending.kind) {
+            return conflict(`a ${pending.kind} effect cannot answer with ${event.type}`);
+        }
+    }
+    switch (event.type) {
+        case 'cancel': {
+            if (phase === 'ready' || phase === 'removed' || phase === 'cancelled')
+                return ok({ state, effects: [] });
+            if (phase === 'cancelling')
+                return ok({ state, effects: [] });
+            if (phase === 'failed') {
+                // Nothing was started, so there is nothing to undo.
+                return operation.completed_step_ids.length === 0
+                    ? advance(state, { phase: 'cancelled', cancellation_requested: true }, null)
+                    : startCancelling(state, input);
+            }
+            // A package transaction or an atomic activation is running: record the wish and let it finish.
+            // Killing the first leaves a half-installed system; interrupting the second would either lose
+            // an installation that did commit or claim one that did not.
+            if (state.indivisible_host_step_running || phase === 'activating') {
+                if (operation.cancellation_requested)
+                    return ok({ state, effects: [] });
+                return advance(state, { cancellation_requested: true }, KEEP, {
+                    indivisible: state.indivisible_host_step_running,
+                });
+            }
+            return startCancelling(state, input);
+        }
+        case 'resume': {
+            if (phase === 'ready' || phase === 'removed')
+                return ok({ state, effects: [] });
+            if (event.input.expected_revision !== operation.revision) {
+                return err('MANAGED_REVISION_CONFLICT', 'The operation has moved on since this resume was prepared.', `expected ${event.input.expected_revision}, now at ${operation.revision}`);
+            }
+            if (phase !== 'failed' &&
+                phase !== 'cancelled' &&
+                phase !== 'relogin-required' &&
+                phase !== 'reboot-required') {
+                return conflict(`${phase} is already running`);
+            }
+            // A resume may carry an approval only of the plan the operation names now (`plan_digest`):
+            // normally the approval it already has, restated; after a re-ask, the plan that was on offer,
+            // which the user did see. Any other digest is refused: it would put an approval the user
+            // never saw a plan for next to the plan the work runs under (review r3, N1). Refused, not
+            // ignored, so a client that meant to approve something else finds out instead of carrying on
+            // under the old consent.
+            const restated = event.input.approved_plan_digest;
+            if (restated !== undefined && restated !== operation.plan_digest) {
+                return err('MANAGED_PLAN_CHANGED', 'This approval is not for the plan the operation is on; resume without one, and approve the plan it offers.', `approval ${restated}, plan ${String(operation.plan_digest)}`);
+            }
+            // Never continue from a stored phase: look at the machine first.
+            return advance(state, {
+                phase: 'checking',
+                error: null,
+                cancellation_requested: false,
+                approved_plan_digest: restated ?? operation.approved_plan_digest,
+            }, { kind: 'reconcile', input });
+        }
+        case 'approve': {
+            if (phase !== 'awaiting-consent')
+                return conflict(`nothing is awaiting consent in ${phase}`);
+            if (event.input.expected_revision !== operation.revision) {
+                return err('MANAGED_REVISION_CONFLICT', 'The operation has moved on since this approval was prepared.', `expected ${event.input.expected_revision}, now at ${operation.revision}`);
+            }
+            const approved = event.input.approved_plan_digest;
+            if (approved === undefined) {
+                return err('MANAGED_CONSENT_REQUIRED', 'This operation needs the plan to be approved.');
+            }
+            // An approval is not a licence to act on what was true a moment ago: look again first, and
+            // let the fresh plan decide whether this consent still covers it.
+            return advance(state, { phase: 'checking', approved_plan_digest: approved, error: null }, { kind: 'probe', input });
+        }
+        case 'requirements-ready': {
+            if (phase !== 'checking')
+                return conflict(`requirements arrived in ${phase}`);
+            if (operation.cancellation_requested)
+                return startCancelling(state, input);
+            const plan = event.plan;
+            const blocker = plan.blockers[0];
+            if (blocker !== undefined) {
+                // A sign-in is something to wait for, not a failure: the operation stays resumable and
+                // continues on its own at the next core start once the group counts (spec "Повторный вход").
+                const relogin = plan.blockers.find((entry) => entry.code === 'MANAGED_RELOGIN_REQUIRED');
+                if (relogin !== undefined && plan.blockers.length === 1) {
+                    return advance(state, { phase: 'relogin-required', ...probedDigest(state, plan.plan_digest), error: errorOf(relogin) }, null);
+                }
+                return advance(state, { phase: 'failed', ...probedDigest(state, plan.plan_digest), error: errorOf(blocker) }, null);
+            }
+            // Consent this operation already acted on covers the rest of its work, as long as the rest
+            // asks nothing new of the host: the plan digest moves on its own once work has begun (the
+            // packages it installed, the space a pull used), and asking again for what is already
+            // underway would be asking for nothing.
+            // It never covers a different descriptor, image or target: that is a new download.
+            const basis = state.consented ?? null;
+            if ((state.checkpoint ?? null) !== null &&
+                event.host_step === null &&
+                basis !== null &&
+                // The approval on record must still be the consent the work began under: only then does
+                // the work continue with plan and approval equal (review r3, N1).
+                operation.approved_plan_digest === basis.plan_digest &&
+                consentCovers(basis, plan, operation.kind)) {
+                const carried = {
+                    ...state,
+                    operation: { ...operation, plan_digest: basis.plan_digest, carried_plan_digest: plan.plan_digest },
+                };
+                return continueConsentedWork(carried, input, event.image_present ?? false);
+            }
+            if (operation.approved_plan_digest !== plan.plan_digest) {
+                // Either nothing was approved yet, or the host changed under an approval. Both mean asking.
+                const changed = operation.approved_plan_digest !== null;
+                return advance(state, {
+                    phase: 'awaiting-consent',
+                    plan_digest: plan.plan_digest,
+                    carried_plan_digest: null,
+                    error: changed
+                        ? {
+                            code: 'MANAGED_PLAN_CHANGED',
+                            message: 'What this setup would do has changed; approve it again.',
+                        }
+                        : null,
+                }, null);
+            }
+            // The user's approval matches this plan: work starts under it, and what it covers is recorded.
+            return afterConsent({
+                ...state,
+                consented: {
+                    plan_digest: plan.plan_digest,
+                    descriptor_id: plan.descriptor_id,
+                    image_digest: plan.image_digest,
+                    environment_manifest_id: plan.environment_manifest_id,
+                    target: plan.target,
+                },
+                operation: { ...operation, plan_digest: plan.plan_digest, carried_plan_digest: null },
+            }, input, event.host_step);
+        }
+        case 'host-step-started': {
+            if (phase !== 'preparing-host')
+                return conflict(`a host step started in ${phase}`);
+            return advance(state, {}, KEEP, { indivisible: true });
+        }
+        case 'safe-boundary': {
+            // The indivisible work reached a point where stopping is safe.
+            if (operation.cancellation_requested)
+                return startCancelling(state, input);
+            return advance(state, {}, KEEP, { indivisible: false });
+        }
+        case 'host-receipt-verified': {
+            if (phase !== 'preparing-host')
+                return conflict(`a receipt arrived in ${phase}`);
+            const { receipt } = event;
+            const steps = operation.completed_step_ids.includes(receipt.step_id)
+                ? operation.completed_step_ids
+                : [...operation.completed_step_ids, receipt.step_id];
+            if (receipt.outcome === 'declined') {
+                return failWith(state, {
+                    code: 'MANAGED_ELEVATION_DECLINED',
+                    message: 'The system change was not authorized.',
+                });
+            }
+            if (receipt.outcome === 'failed') {
+                // The step's own log tail, when the app forwards it, names a cause the core recognises and
+                // is kept as the details (task 2.23, F-4); without one, the receipt id, as before.
+                return failWith(state, hostStepFailureError(receipt, event.address_pools_configured));
+            }
+            // A completed host step is kept whatever happens next: it changed the machine, and a later
+            // cancellation does not un-install a package.
+            const kept = { completed_step_ids: steps, pending_host_step: null };
+            // Whether to wait for a sign-in is the probe's call, never the helper's (task 2.6): the
+            // receipt is an assertion, and a helper that reports a relogin the machine does not show is
+            // a helper whose step did not take.
+            const waiting = event.needs_relogin
+                ? 'relogin-required'
+                : receipt.outcome === 'reboot-required' && !event.prerequisites_met
+                    ? 'reboot-required'
+                    : null;
+            if (waiting !== null) {
+                return operation.cancellation_requested
+                    ? advance(state, { ...kept, phase: 'cancelling' }, { kind: 'cleanup', input })
+                    : advance(state, { ...kept, phase: waiting, error: waiting === 'relogin-required' ? RELOGIN_ERROR : null }, null);
+            }
+            if (!event.prerequisites_met) {
+                // The helper reported success and the machine disagrees. Believe the machine.
+                return advance(state, {
+                    ...kept,
+                    phase: 'failed',
+                    error: event.probe_error ?? {
+                        code: 'MANAGED_PREREQUISITE_BLOCKED',
+                        message: 'The system change was reported as done, but the requirement is still missing.',
+                    },
+                }, null);
+            }
+            return continueOrCancel({ ...state, operation: { ...operation, ...kept } }, input, () => advance({ ...state, operation: { ...operation, ...kept } }, { ...kept, phase: 'preparing-environment', error: null }, { kind: 'prepare-environment', input }));
+        }
+        case 'reconciled': {
+            if (phase !== 'checking')
+                return conflict(`reconciliation answered in ${phase}`);
+            const base = {
+                instance_id: event.instance_id,
+                completed_step_ids: event.verified_completed_step_ids,
+                ...probedDigest(state, event.current_plan_digest),
+                pending_host_step: null,
+            };
+            if (operation.cancellation_requested) {
+                return advance(state, { ...base, phase: 'cancelling' }, { kind: 'cleanup', input });
+            }
+            // Still waiting on the user: the group is not effective yet, or the machine has not rebooted.
+            // The consumed nonce is dropped either way, so nothing re-elevates on its own.
+            if (event.needs_relogin) {
+                return advance(state, { ...base, phase: 'relogin-required', error: RELOGIN_ERROR }, null);
+            }
+            if (event.needs_reboot)
+                return advance(state, { ...base, phase: 'reboot-required' }, null);
+            // The wait is over, or this is a restart mid-operation: look at requirements again.
+            return advance(state, base, { kind: 'probe', input });
+        }
+        case 'environment-verified': {
+            if (phase !== 'preparing-environment')
+                return conflict(`the environment was verified in ${phase}`);
+            return continueOrCancel(state, input, () => operation.target.kind === 'environment'
+                ? advance(state, { phase: 'verifying' }, { kind: 'verify', input })
+                : advance(state, { phase: 'pulling-image' }, { kind: 'pull-image', input }));
+        }
+        case 'image-pulled': {
+            if (phase !== 'pulling-image')
+                return conflict(`an image arrived in ${phase}`);
+            return continueOrCancel(state, input, () => advance(state, { phase: 'verifying', progress: null }, { kind: 'verify', input }));
+        }
+        case 'verification-passed': {
+            if (phase !== 'verifying')
+                return conflict(`verification passed in ${phase}`);
+            return continueOrCancel(state, input, () => {
+                if (operation.target.kind === 'environment') {
+                    return advance(state, { phase: 'ready', error: null }, null);
+                }
+                // An update has to take the GPU back from the model that is running on the old image
+                // before its smoke test can prove the new one.
+                return operation.kind === 'update'
+                    ? advance(state, { phase: 'activating' }, { kind: 'unload-resident', input })
+                    : advance(state, { phase: 'activating' }, { kind: 'activate', input });
+            });
+        }
+        case 'resident-unloaded': {
+            if (phase !== 'activating')
+                return conflict(`a model was unloaded in ${phase}`);
+            return advance(state, {}, { kind: 'activate', input });
+        }
+        case 'activation-committed': {
+            if (phase !== 'activating')
+                return conflict(`an activation committed in ${phase}`);
+            // The installation is live. A cancellation that arrived mid-commit lost the race, and saying
+            // otherwise would leave the record claiming a descriptor that is actually running.
+            return advance(state, { phase: 'ready', cancellation_requested: false, error: null }, null);
+        }
+        case 'removal-completed': {
+            if (phase !== 'removing')
+                return conflict(`a removal completed in ${phase}`);
+            return advance(state, { phase: 'removed', error: null }, null);
+        }
+        case 'cleanup-completed': {
+            if (phase !== 'cancelling')
+                return conflict(`cleanup completed in ${phase}`);
+            return advance(state, { phase: 'cancelled' }, null);
+        }
+        case 'failed': {
+            if (TERMINAL.includes(phase))
+                return conflict(`${phase} has already finished`);
+            return failWith(state, event.error, true);
+        }
+    }
+}
+//# sourceMappingURL=state.js.map

package/dist/runtime/environment/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../src/runtime/environment/state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAcH,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAA;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAA;AAqD7D;;;;;;;GAOG;AACH,MAAM,YAAY,GAAG,CACnB,KAAuB,EACvB,MAA2B,EACoE,EAAE,CACjG,CAAC,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,CAAA;AAiBhG,MAAM,UAAU,GAAG,CAAC,CAAyB,EAAE,CAAyB,EAAW,EAAE,CACnF,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;IACjB,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa;QACvB,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,eAAe,KAAK,CAAC,CAAC,eAAe,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,CAAA;AAErG;;;;;GAKG;AACH,MAAM,aAAa,GAAG,CAAC,KAAmB,EAAE,IAAqB,EAAE,IAA0B,EAAW,EAAE,CACxG,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;IACrC,CAAC,IAAI,KAAK,QAAQ;QAChB,CAAC,KAAK,CAAC,aAAa,KAAK,IAAI,CAAC,aAAa;YACzC,KAAK,CAAC,YAAY,KAAK,IAAI,CAAC,YAAY;YACxC,CAAC,KAAK,CAAC,uBAAuB,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAA;AA6EhF,yDAAyD;AACzD,MAAM,QAAQ,GAA4B,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAA;AAErF,2GAA2G;AAC3G,MAAM,WAAW,GAA4B;IAC3C,gBAAgB;IAChB,uBAAuB;IACvB,eAAe;IACf,WAAW;IACX,YAAY;IACZ,UAAU;CACX,CAAA;AAED,0GAA0G;AAC1G,MAAM,OAAO,GAAG,CAAC,OAAwC,EAAa,EAAE;IACtE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,CAAA;IACjD,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAA;AACxG,CAAC,CAAA;AAED,MAAM,aAAa,GAAc;IAC/B,IAAI,EAAE,0BAA0B;IAChC,OAAO,EAAE,8FAA8F;CACxG,CAAA;AAED,qGAAqG;AACrG,MAAM,OAAO,GAA+B;IAC1C,oBAAoB,EAAE,OAAO;IAC7B,mBAAmB,EAAE,WAAW;IAChC,uBAAuB,EAAE,WAAW;IACpC,sBAAsB,EAAE,qBAAqB;IAC7C,cAAc,EAAE,YAAY;IAC5B,qBAAqB,EAAE,QAAQ;IAC/B,mBAAmB,EAAE,iBAAiB;IACtC,sBAAsB,EAAE,UAAU;IAClC,mBAAmB,EAAE,QAAQ;IAC7B,mBAAmB,EAAE,SAAS;IAC9B,YAAY,EAAE,WAAW;CAC1B,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAsB,EAAE,CACnD,GAAG,CAAC,4BAA4B,EAAE,6CAA6C,EAAE,GAAG,CAAC,CAAA;AAEvF;;;;;GAKG;AACH,MAAM,IAAI,GAAG,MAAM,CAAA;AAGnB,wFAAwF;AACxF,MAAM,OAAO,GAAG,CACd,KAAuB,EACvB,SAAwC,EACxC,MAAkB,EAClB,QAAmC,EAAE,EACjB,EAAE;IACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,QAAQ,GAAG,CAAC,CAAA;IAC7C,MAAM,IAAI,GAAyB,EAAE,GAAG,KAAK,CAAC,SAAS,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,CAAA;IACjF,MAAM,MAAM,GACV,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI;QAChC,CAAC,CAAC,IAAI;QACN,CAAC,CAAC;YACE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,cAAc;YACtC,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,iBAAiB,EAAE,QAAQ;YAC3B,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,WAAW,EAAE,IAAI,CAAC,WAAW;SAC9B,CAAA;IACP,OAAO,EAAE,CAAC;QACR,KAAK,EAAE;YACL,GAAG,KAAK;YACR,SAAS,EAAE,IAAI;YACf,cAAc,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM;YAC/D,6BAA6B,EAAE,KAAK,CAAC,WAAW,IAAI,KAAK;YACzD,UAAU,EAAE,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,IAAI,CAAC;SACvF;QACD,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;KACzC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,0FAA0F;AAC1F,MAAM,UAAU,cAAc,CAAC,KAAqB,EAAE,UAA2B;IAC/E,MAAM,SAAS,GAAyB;QACtC,cAAc,EAAE,CAAC;QACjB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ,EAAE,CAAC;QACX,KAAK,EAAE,UAAU;QACjB,WAAW,EAAE,IAAI;QACjB,oBAAoB,EAAE,KAAK,CAAC,oBAAoB,IAAI,IAAI;QACxD,mBAAmB,EAAE,IAAI;QACzB,QAAQ,EAAE,IAAI;QACd,iBAAiB,EAAE,IAAI;QACvB,kBAAkB,EAAE,EAAE;QACtB,sBAAsB,EAAE,KAAK;QAC7B,KAAK,EAAE,IAAI;KACZ,CAAA;IACD,MAAM,MAAM,GAAiB;QAC3B,SAAS,EAAE,UAAU,CAAC,cAAc;QACpC,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,iBAAiB,EAAE,CAAC;QACpB,IAAI,EAAE,OAAO;QACb,WAAW,EAAE,IAAI;KAClB,CAAA;IACD,OAAO;QACL,KAAK,EAAE,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,EAAE,6BAA6B,EAAE,KAAK,EAAE;QAClF,OAAO,EAAE,CAAC,MAAM,CAAC;KAClB,CAAA;AACH,CAAC;AAED,kEAAkE;AAClE,MAAM,eAAe,GAAG,CAAC,KAAuB,EAAE,KAAsB,EAAsB,EAAE,CAC9F,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,sBAAsB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAA;AAEnG;;;;GAIG;AACH,MAAM,YAAY,GAAG,CACnB,KAAuB,EACvB,KAAsB,EACtB,QAAgC,EACZ,EAAE;IACtB,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,4FAA4F;QAC5F,sDAAsD;QACtD,MAAM,MAAM,GAAG,EAAE,GAAG,QAAQ,EAAE,2BAA2B,EAAE,KAAK,CAAC,SAAS,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAA;QACzF,OAAO,OAAO,CACZ,KAAK,EACL,EAAE,KAAK,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,EACnE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAC7B,CAAA;IACH,CAAC;IACD,QAAQ,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QAC7B,KAAK,OAAO;YACV,OAAO,OAAO,CACZ,KAAK,EACL,EAAE,KAAK,EAAE,uBAAuB,EAAE,KAAK,EAAE,IAAI,EAAE,EAC/C,EAAE,IAAI,EAAE,qBAAqB,EAAE,KAAK,EAAE,CACvC,CAAA;QACH,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAA;QAC/F,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAA;IACxF,CAAC;AACH,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,qBAAqB,GAAG,CAC5B,KAAuB,EACvB,KAAsB,EACtB,YAAqB,EACD,EAAE;IACtB,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,IAAI,CAAA;IAC3C,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,SAAS,CAAA;IACxC,MAAM,eAAe,GACnB,UAAU,KAAK,eAAe,IAAI,UAAU,KAAK,WAAW,IAAI,UAAU,KAAK,YAAY,CAAA;IAC7F,IAAI,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,eAAe,EAAE,CAAC;QACtE,OAAO,YAAY;YACjB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;YAChF,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAA;IAC5F,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;QACrF,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAA;IACvF,CAAC;IACD,OAAO,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;AACzC,CAAC,CAAA;AAED,8FAA8F;AAC9F,MAAM,gBAAgB,GAAG,CACvB,KAAuB,EACvB,KAAsB,EACtB,OAAiC,EACb,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;AAE7G,MAAM,QAAQ,GAAG,CAAC,KAAuB,EAAE,KAAgB,EAAE,QAAQ,GAAG,KAAK,EAAsB,EAAE,CACnG,OAAO,CACL,KAAK,EACL;IACE,KAAK,EAAE,QAAQ;IACf,KAAK;IACL,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;CACjD,EACD,IAAI,CACL,CAAA;AAEH;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAuB,EACvB,KAAqB,EACrB,KAAsB;IAEtB,MAAM,EAAE,SAAS,EAAE,GAAG,KAAK,CAAA;IAC3B,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAA;IAE7B,sFAAsF;IACtF,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACnF,MAAM,OAAO,GAAG,KAAK,CAAC,cAAc,CAAA;QACpC,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,QAAQ,CAAC,2BAA2B,KAAK,EAAE,CAAC,CAAA;QACzE,IAAI,OAAO,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;YAAE,OAAO,QAAQ,CAAC,iCAAiC,CAAC,CAAA;QAC7F,IAAI,KAAK,CAAC,iBAAiB,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;YACnD,OAAO,QAAQ,CAAC,0BAA0B,KAAK,CAAC,iBAAiB,YAAY,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAA;QACpG,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACnC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC;YACtD,OAAO,QAAQ,CAAC,KAAK,OAAO,CAAC,IAAI,8BAA8B,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;QAC9E,CAAC;IACH,CAAC;IAED,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,WAAW;gBAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAA;YACxG,IAAI,KAAK,KAAK,YAAY;gBAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAA;YAC7D,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACvB,oDAAoD;gBACpD,OAAO,SAAS,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC;oBAC9C,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,sBAAsB,EAAE,IAAI,EAAE,EAAE,IAAI,CAAC;oBAC5E,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACnC,CAAC;YACD,+FAA+F;YAC/F,8FAA8F;YAC9F,6DAA6D;YAC7D,IAAI,KAAK,CAAC,6BAA6B,IAAI,KAAK,KAAK,YAAY,EAAE,CAAC;gBAClE,IAAI,SAAS,CAAC,sBAAsB;oBAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAA;gBACvE,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,sBAAsB,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE;oBAC5D,WAAW,EAAE,KAAK,CAAC,6BAA6B;iBACjD,CAAC,CAAA;YACJ,CAAC;YACD,OAAO,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QACtC,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAA;YAC/E,IAAI,KAAK,CAAC,KAAK,CAAC,iBAAiB,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;gBACzD,OAAO,GAAG,CACR,2BAA2B,EAC3B,4DAA4D,EAC5D,YAAY,KAAK,CAAC,KAAK,CAAC,iBAAiB,YAAY,SAAS,CAAC,QAAQ,EAAE,CAC1E,CAAA;YACH,CAAC;YACD,IACE,KAAK,KAAK,QAAQ;gBAClB,KAAK,KAAK,WAAW;gBACrB,KAAK,KAAK,kBAAkB;gBAC5B,KAAK,KAAK,iBAAiB,EAC3B,CAAC;gBACD,OAAO,QAAQ,CAAC,GAAG,KAAK,qBAAqB,CAAC,CAAA;YAChD,CAAC;YACD,2FAA2F;YAC3F,8FAA8F;YAC9F,yFAAyF;YACzF,0FAA0F;YAC1F,6FAA6F;YAC7F,yBAAyB;YACzB,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,oBAAoB,CAAA;YACjD,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,CAAC,WAAW,EAAE,CAAC;gBACjE,OAAO,GAAG,CACR,sBAAsB,EACtB,4GAA4G,EAC5G,YAAY,QAAQ,UAAU,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAC9D,CAAA;YACH,CAAC;YACD,iEAAiE;YACjE,OAAO,OAAO,CACZ,KAAK,EACL;gBACE,KAAK,EAAE,UAAU;gBACjB,KAAK,EAAE,IAAI;gBACX,sBAAsB,EAAE,KAAK;gBAC7B,oBAAoB,EAAE,QAAQ,IAAI,SAAS,CAAC,oBAAoB;aACjE,EACD,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAC7B,CAAA;QACH,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,KAAK,KAAK,kBAAkB;gBAAE,OAAO,QAAQ,CAAC,kCAAkC,KAAK,EAAE,CAAC,CAAA;YAC5F,IAAI,KAAK,CAAC,KAAK,CAAC,iBAAiB,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;gBACzD,OAAO,GAAG,CACR,2BAA2B,EAC3B,8DAA8D,EAC9D,YAAY,KAAK,CAAC,KAAK,CAAC,iBAAiB,YAAY,SAAS,CAAC,QAAQ,EAAE,CAC1E,CAAA;YACH,CAAC;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,oBAAoB,CAAA;YACjD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO,GAAG,CAAC,0BAA0B,EAAE,+CAA+C,CAAC,CAAA;YACzF,CAAC;YACD,2FAA2F;YAC3F,kEAAkE;YAClE,OAAO,OAAO,CACZ,KAAK,EACL,EAAE,KAAK,EAAE,UAAU,EAAE,oBAAoB,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,EAClE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CACzB,CAAA;QACH,CAAC;QAED,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,IAAI,KAAK,KAAK,UAAU;gBAAE,OAAO,QAAQ,CAAC,2BAA2B,KAAK,EAAE,CAAC,CAAA;YAC7E,IAAI,SAAS,CAAC,sBAAsB;gBAAE,OAAO,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YAC1E,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAA;YACvB,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;YAChC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,uFAAuF;gBACvF,6FAA6F;gBAC7F,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAA;gBACxF,IAAI,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACxD,OAAO,OAAO,CACZ,KAAK,EACL,EAAE,KAAK,EAAE,kBAAkB,EAAE,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,EAChG,IAAI,CACL,CAAA;gBACH,CAAC;gBACD,OAAO,OAAO,CACZ,KAAK,EACL,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,EACtF,IAAI,CACL,CAAA;YACH,CAAC;YACD,2FAA2F;YAC3F,0FAA0F;YAC1F,sFAAsF;YACtF,wCAAwC;YACxC,mFAAmF;YACnF,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,IAAI,IAAI,CAAA;YACrC,IACE,CAAC,KAAK,CAAC,UAAU,IAAI,IAAI,CAAC,KAAK,IAAI;gBACnC,KAAK,CAAC,SAAS,KAAK,IAAI;gBACxB,KAAK,KAAK,IAAI;gBACd,wFAAwF;gBACxF,kEAAkE;gBAClE,SAAS,CAAC,oBAAoB,KAAK,KAAK,CAAC,WAAW;gBACpD,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,EAC1C,CAAC;gBACD,MAAM,OAAO,GAAqB;oBAChC,GAAG,KAAK;oBACR,SAAS,EAAE,EAAE,GAAG,SAAS,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,mBAAmB,EAAE,IAAI,CAAC,WAAW,EAAE;iBACnG,CAAA;gBACD,OAAO,qBAAqB,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,aAAa,IAAI,KAAK,CAAC,CAAA;YAC5E,CAAC;YACD,IAAI,SAAS,CAAC,oBAAoB,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC;gBACxD,4FAA4F;gBAC5F,MAAM,OAAO,GAAG,SAAS,CAAC,oBAAoB,KAAK,IAAI,CAAA;gBACvD,OAAO,OAAO,CACZ,KAAK,EACL;oBACE,KAAK,EAAE,kBAAkB;oBACzB,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC7B,mBAAmB,EAAE,IAAI;oBACzB,KAAK,EAAE,OAAO;wBACZ,CAAC,CAAC;4BACE,IAAI,EAAE,sBAAsB;4BAC5B,OAAO,EAAE,yDAAyD;yBACnE;wBACH,CAAC,CAAC,IAAI;iBACT,EACD,IAAI,CACL,CAAA;YACH,CAAC;YACD,+FAA+F;YAC/F,OAAO,YAAY,CACjB;gBACE,GAAG,KAAK;gBACR,SAAS,EAAE;oBACT,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC7B,aAAa,EAAE,IAAI,CAAC,aAAa;oBACjC,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC/B,uBAAuB,EAAE,IAAI,CAAC,uBAAuB;oBACrD,MAAM,EAAE,IAAI,CAAC,MAAM;iBACpB;gBACD,SAAS,EAAE,EAAE,GAAG,SAAS,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,mBAAmB,EAAE,IAAI,EAAE;aACtF,EACD,KAAK,EACL,KAAK,CAAC,SAAS,CAChB,CAAA;QACH,CAAC;QAED,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,IAAI,KAAK,KAAK,gBAAgB;gBAAE,OAAO,QAAQ,CAAC,0BAA0B,KAAK,EAAE,CAAC,CAAA;YAClF,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAA;QACxD,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,+DAA+D;YAC/D,IAAI,SAAS,CAAC,sBAAsB;gBAAE,OAAO,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YAC1E,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAA;QACzD,CAAC;QAED,KAAK,uBAAuB,CAAC,CAAC,CAAC;YAC7B,IAAI,KAAK,KAAK,gBAAgB;gBAAE,OAAO,QAAQ,CAAC,wBAAwB,KAAK,EAAE,CAAC,CAAA;YAChF,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAA;YACzB,MAAM,KAAK,GAAG,SAAS,CAAC,kBAAkB,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC;gBAClE,CAAC,CAAC,SAAS,CAAC,kBAAkB;gBAC9B,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,kBAAkB,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;YAEtD,IAAI,OAAO,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;gBACnC,OAAO,QAAQ,CAAC,KAAK,EAAE;oBACrB,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,uCAAuC;iBACjD,CAAC,CAAA;YACJ,CAAC;YACD,IAAI,OAAO,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;gBACjC,2FAA2F;gBAC3F,mFAAmF;gBACnF,OAAO,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,wBAAwB,CAAC,CAAC,CAAA;YACvF,CAAC;YACD,2FAA2F;YAC3F,8CAA8C;YAC9C,MAAM,IAAI,GAAG,EAAE,kBAAkB,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAA;YACnE,wFAAwF;YACxF,4FAA4F;YAC5F,oCAAoC;YACpC,MAAM,OAAO,GAAwB,KAAK,CAAC,aAAa;gBACtD,CAAC,CAAC,kBAAkB;gBACpB,CAAC,CAAC,OAAO,CAAC,OAAO,KAAK,iBAAiB,IAAI,CAAC,KAAK,CAAC,iBAAiB;oBACjE,CAAC,CAAC,iBAAiB;oBACnB,CAAC,CAAC,IAAI,CAAA;YACV,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,OAAO,SAAS,CAAC,sBAAsB;oBACrC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;oBAC9E,CAAC,CAAC,OAAO,CACL,KAAK,EACL,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,KAAK,kBAAkB,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,EACzF,IAAI,CACL,CAAA;YACP,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC;gBAC7B,8EAA8E;gBAC9E,OAAO,OAAO,CACZ,KAAK,EACL;oBACE,GAAG,IAAI;oBACP,KAAK,EAAE,QAAQ;oBACf,KAAK,EAAE,KAAK,CAAC,WAAW,IAAI;wBAC1B,IAAI,EAAE,8BAA8B;wBACpC,OAAO,EAAE,+EAA+E;qBACzF;iBACF,EACD,IAAI,CACL,CAAA;YACH,CAAC;YACD,OAAO,gBAAgB,CAAC,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,EAAE,GAAG,SAAS,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CACtF,OAAO,CACL,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,EAAE,GAAG,SAAS,EAAE,GAAG,IAAI,EAAE,EAAE,EAClD,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,uBAAuB,EAAE,KAAK,EAAE,IAAI,EAAE,EACxD,EAAE,IAAI,EAAE,qBAAqB,EAAE,KAAK,EAAE,CACvC,CACF,CAAA;QACH,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,IAAI,KAAK,KAAK,UAAU;gBAAE,OAAO,QAAQ,CAAC,8BAA8B,KAAK,EAAE,CAAC,CAAA;YAChF,MAAM,IAAI,GAAG;gBACX,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,kBAAkB,EAAE,KAAK,CAAC,2BAA2B;gBACrD,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,mBAAmB,CAAC;gBACjD,iBAAiB,EAAE,IAAI;aACxB,CAAA;YACD,IAAI,SAAS,CAAC,sBAAsB,EAAE,CAAC;gBACrC,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAA;YACrF,CAAC;YACD,8FAA8F;YAC9F,+EAA+E;YAC/E,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;gBACxB,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,IAAI,CAAC,CAAA;YAC3F,CAAC;YACD,IAAI,KAAK,CAAC,YAAY;gBAAE,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,iBAAiB,EAAE,EAAE,IAAI,CAAC,CAAA;YAC1F,oFAAoF;YACpF,OAAO,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAA;QACvD,CAAC;QAED,KAAK,sBAAsB,CAAC,CAAC,CAAC;YAC5B,IAAI,KAAK,KAAK,uBAAuB;gBAAE,OAAO,QAAQ,CAAC,mCAAmC,KAAK,EAAE,CAAC,CAAA;YAClG,OAAO,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CACzC,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa;gBACrC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;gBACnE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAC9E,CAAA;QACH,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,IAAI,KAAK,KAAK,eAAe;gBAAE,OAAO,QAAQ,CAAC,uBAAuB,KAAK,EAAE,CAAC,CAAA;YAC9E,OAAO,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CACzC,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAClF,CAAA;QACH,CAAC;QAED,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,IAAI,KAAK,KAAK,WAAW;gBAAE,OAAO,QAAQ,CAAC,0BAA0B,KAAK,EAAE,CAAC,CAAA;YAC7E,OAAO,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE;gBACzC,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBAC5C,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,CAAC,CAAA;gBAC9D,CAAC;gBACD,qFAAqF;gBACrF,+CAA+C;gBAC/C,OAAO,SAAS,CAAC,IAAI,KAAK,QAAQ;oBAChC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC;oBAC7E,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAA;YAC1E,CAAC,CAAC,CAAA;QACJ,CAAC;QAED,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,IAAI,KAAK,KAAK,YAAY;gBAAE,OAAO,QAAQ,CAAC,2BAA2B,KAAK,EAAE,CAAC,CAAA;YAC/E,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAA;QACxD,CAAC;QAED,KAAK,sBAAsB,CAAC,CAAC,CAAC;YAC5B,IAAI,KAAK,KAAK,YAAY;gBAAE,OAAO,QAAQ,CAAC,8BAA8B,KAAK,EAAE,CAAC,CAAA;YAClF,6FAA6F;YAC7F,mFAAmF;YACnF,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,sBAAsB,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,CAAC,CAAA;QAC7F,CAAC;QAED,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,IAAI,KAAK,KAAK,UAAU;gBAAE,OAAO,QAAQ,CAAC,0BAA0B,KAAK,EAAE,CAAC,CAAA;YAC5E,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,CAAC,CAAA;QAChE,CAAC;QAED,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,IAAI,KAAK,KAAK,YAAY;gBAAE,OAAO,QAAQ,CAAC,wBAAwB,KAAK,EAAE,CAAC,CAAA;YAC5E,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,IAAI,CAAC,CAAA;QACrD,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,OAAO,QAAQ,CAAC,GAAG,KAAK,uBAAuB,CAAC,CAAA;YAC9E,OAAO,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QAC3C,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/runtime/environment/store-models.d.ts

@@ -0,0 +1,19 @@
+/**
+ * What a removal of one managed engine does with the managed model store (change `add-vllm-runtime`,
+ * design D13; spec `managed-runtime-environment`, "Удаление установки движка"): the models are every
+ * managed engine's, so `retain_models: false` deletes them only when no installation of another engine
+ * is left after this one goes. Otherwise they stay, and the plan says which engines still use them.
+ * Shared by the Linux and the Windows provisioner, which must agree on it exactly.
+ */
+import type { ManagedOperationTarget, ManagedSystemChange } from '../../contracts/index.js';
+import type { InstallationStore } from './installations.js';
+/**
+ * The engines of the installations other than the one being removed that use the models: installed
+ * once (an active descriptor) and not being removed. A setup that failed before it ever installed
+ * anything uses nothing.
+ */
+export declare function otherEngines(installations: Pick<InstallationStore, 'list'>, target: Extract<ManagedOperationTarget, {
+    kind: 'runtime';
+}>): Promise<string[]>;
+/** The plan's line about the models, if the request asks to delete them. */
+export declare function storeModelsChange(retainModels: boolean, usedBy: readonly string[]): ManagedSystemChange[];

package/dist/runtime/environment/store-models.js

@@ -0,0 +1,30 @@
+/**
+ * The engines of the installations other than the one being removed that use the models: installed
+ * once (an active descriptor) and not being removed. A setup that failed before it ever installed
+ * anything uses nothing.
+ */
+export async function otherEngines(installations, target) {
+    const records = await installations.list();
+    const engines = records
+        .map((record) => record.installation)
+        .filter((installation) => installation.installation_id !== target.installation_id)
+        .filter((installation) => installation.active_descriptor_id !== null && installation.status !== 'removing')
+        .map((installation) => installation.engine_id);
+    return [...new Set(engines)].sort();
+}
+/** The plan's line about the models, if the request asks to delete them. */
+export function storeModelsChange(retainModels, usedBy) {
+    if (retainModels)
+        return [];
+    if (usedBy.length > 0) {
+        return [
+            {
+                code: 'keep-models',
+                text: `The downloaded models stay: ${usedBy.join(', ')} still uses them.`,
+                params: { engines: usedBy.join(',') },
+            },
+        ];
+    }
+    return [{ code: 'remove-models', text: 'Delete the downloaded models of the managed engines.' }];
+}
+//# sourceMappingURL=store-models.js.map

package/dist/runtime/environment/store-models.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store-models.js","sourceRoot":"","sources":["../../../src/runtime/environment/store-models.ts"],"names":[],"mappings":"AAUA;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,aAA8C,EAC9C,MAA4D;IAE5D,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,CAAA;IAC1C,MAAM,OAAO,GAAG,OAAO;SACpB,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC;SACpC,MAAM,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,YAAY,CAAC,eAAe,KAAK,MAAM,CAAC,eAAe,CAAC;SACjF,MAAM,CACL,CAAC,YAAY,EAAE,EAAE,CAAC,YAAY,CAAC,oBAAoB,KAAK,IAAI,IAAI,YAAY,CAAC,MAAM,KAAK,UAAU,CACnG;SACA,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;IAChD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;AACrC,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,iBAAiB,CAAC,YAAqB,EAAE,MAAyB;IAChF,IAAI,YAAY;QAAE,OAAO,EAAE,CAAA;IAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO;YACL;gBACE,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,+BAA+B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB;gBACzE,MAAM,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;aACtC;SACF,CAAA;IACH,CAAC;IACD,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,sDAAsD,EAAE,CAAC,CAAA;AAClG,CAAC"}