@prover-coder-ai/docker-git 1.0.5

package/dist/src/docker-git/menu-create.js

@@ -0,0 +1,203 @@
+import { deriveRepoPathParts, resolveRepoInput } from "@effect-template/lib/core/domain";
+import { createProject } from "@effect-template/lib/usecases/actions";
+import { defaultProjectsRoot } from "@effect-template/lib/usecases/menu-helpers";
+import * as Path from "@effect/platform/Path";
+import { Effect, Either, Match, pipe } from "effect";
+import { parseArgs } from "./cli/parser.js";
+import { formatParseError, usageText } from "./cli/usage.js";
+import { resetToMenu } from "./menu-shared.js";
+import { createSteps } from "./menu-types.js";
+export const buildCreateArgs = (input) => {
+    const args = ["create", "--repo-url", input.repoUrl, "--secrets-root", input.secretsRoot];
+    if (input.repoRef.length > 0) {
+        args.push("--repo-ref", input.repoRef);
+    }
+    args.push("--out-dir", input.outDir);
+    if (!input.runUp) {
+        args.push("--no-up");
+    }
+    if (input.enableMcpPlaywright) {
+        args.push("--mcp-playwright");
+    }
+    if (input.force) {
+        args.push("--force");
+    }
+    if (input.forceEnv) {
+        args.push("--force-env");
+    }
+    return args;
+};
+const trimLeftSlash = (value) => {
+    let start = 0;
+    while (start < value.length && value[start] === "/") {
+        start += 1;
+    }
+    return value.slice(start);
+};
+const trimRightSlash = (value) => {
+    let end = value.length;
+    while (end > 0 && value[end - 1] === "/") {
+        end -= 1;
+    }
+    return value.slice(0, end);
+};
+const joinPath = (...parts) => {
+    const cleaned = parts
+        .filter((part) => part.length > 0)
+        .map((part, index) => {
+        if (index === 0) {
+            return trimRightSlash(part);
+        }
+        return trimRightSlash(trimLeftSlash(part));
+    });
+    return cleaned.join("/");
+};
+const resolveDefaultOutDir = (cwd, repoUrl) => {
+    const resolvedRepo = resolveRepoInput(repoUrl);
+    const baseParts = deriveRepoPathParts(resolvedRepo.repoUrl).pathParts;
+    const projectParts = resolvedRepo.workspaceSuffix ? [...baseParts, resolvedRepo.workspaceSuffix] : baseParts;
+    return joinPath(defaultProjectsRoot(cwd), ...projectParts);
+};
+export const resolveCreateInputs = (cwd, values) => {
+    const repoUrl = values.repoUrl ?? "";
+    const resolvedRepoRef = repoUrl.length > 0 ? resolveRepoInput(repoUrl).repoRef : undefined;
+    const secretsRoot = values.secretsRoot ?? joinPath(defaultProjectsRoot(cwd), "secrets");
+    const outDir = values.outDir ?? (repoUrl.length > 0 ? resolveDefaultOutDir(cwd, repoUrl) : "");
+    return {
+        repoUrl,
+        repoRef: values.repoRef ?? resolvedRepoRef ?? "main",
+        outDir,
+        secretsRoot,
+        runUp: values.runUp !== false,
+        enableMcpPlaywright: values.enableMcpPlaywright === true,
+        force: values.force === true,
+        forceEnv: values.forceEnv === true
+    };
+};
+const parseYesDefault = (input, fallback) => {
+    const normalized = input.trim().toLowerCase();
+    if (normalized === "y" || normalized === "yes") {
+        return true;
+    }
+    if (normalized === "n" || normalized === "no") {
+        return false;
+    }
+    return fallback;
+};
+const applyCreateCommand = (state, create) => Effect.gen(function* (_) {
+    const path = yield* _(Path.Path);
+    const resolvedOutDir = path.resolve(create.outDir);
+    yield* _(createProject(create));
+    return { _tag: "Continue", state: { ...state, activeDir: resolvedOutDir } };
+});
+const isCreateCommand = (command) => command._tag === "Create";
+const buildCreateEffect = (command, state, setActiveDir, setMessage) => {
+    if (isCreateCommand(command)) {
+        return pipe(applyCreateCommand(state, command), Effect.tap((outcome) => Effect.sync(() => {
+            setActiveDir(outcome.state.activeDir);
+        })), Effect.asVoid);
+    }
+    if (command._tag === "Help") {
+        return Effect.sync(() => {
+            setMessage(usageText);
+        });
+    }
+    return Effect.void;
+};
+const applyCreateStep = (input) => Match.value(input.step).pipe(Match.when("repoUrl", () => {
+    if (input.buffer.length === 0) {
+        input.setMessage("Repo URL is required.");
+        return false;
+    }
+    input.nextValues.repoUrl = input.buffer;
+    input.nextValues.outDir = resolveDefaultOutDir(input.cwd, input.buffer);
+    return true;
+}), Match.when("repoRef", () => {
+    input.nextValues.repoRef = input.buffer.length > 0 ? input.buffer : input.currentDefaults.repoRef;
+    return true;
+}), Match.when("outDir", () => {
+    input.nextValues.outDir = input.buffer.length > 0 ? input.buffer : input.currentDefaults.outDir;
+    return true;
+}), Match.when("runUp", () => {
+    input.nextValues.runUp = parseYesDefault(input.buffer, input.currentDefaults.runUp);
+    return true;
+}), Match.when("mcpPlaywright", () => {
+    input.nextValues.enableMcpPlaywright = parseYesDefault(input.buffer, input.currentDefaults.enableMcpPlaywright);
+    return true;
+}), Match.when("force", () => {
+    input.nextValues.force = parseYesDefault(input.buffer, input.currentDefaults.force);
+    return true;
+}), Match.exhaustive);
+const finalizeCreateFlow = (input) => {
+    const inputs = resolveCreateInputs(input.state.cwd, input.nextValues);
+    if (inputs.repoUrl.length === 0) {
+        input.setMessage("Repo URL is required.");
+        return;
+    }
+    const parsed = parseArgs(buildCreateArgs(inputs));
+    if (Either.isLeft(parsed)) {
+        input.setMessage(formatParseError(parsed.left));
+        input.setView({ _tag: "Menu" });
+        return;
+    }
+    const effect = buildCreateEffect(parsed.right, input.state, input.setActiveDir, input.setMessage);
+    input.runner.runEffect(effect);
+    input.setView({ _tag: "Menu" });
+    input.setMessage(null);
+};
+const handleCreateReturn = (context) => {
+    const step = createSteps[context.view.step];
+    if (!step) {
+        context.setView({ _tag: "Menu" });
+        return;
+    }
+    const buffer = context.view.buffer.trim();
+    const currentDefaults = resolveCreateInputs(context.state.cwd, context.view.values);
+    const nextValues = { ...context.view.values };
+    const updated = applyCreateStep({
+        step,
+        buffer,
+        currentDefaults,
+        nextValues,
+        cwd: context.state.cwd,
+        setMessage: context.setMessage
+    });
+    if (!updated) {
+        return;
+    }
+    const nextStep = context.view.step + 1;
+    if (nextStep < createSteps.length) {
+        context.setView({ _tag: "Create", step: nextStep, buffer: "", values: nextValues });
+        context.setMessage(null);
+        return;
+    }
+    finalizeCreateFlow({
+        state: context.state,
+        nextValues,
+        setView: context.setView,
+        setMessage: context.setMessage,
+        runner: context.runner,
+        setActiveDir: context.setActiveDir
+    });
+};
+export const startCreateView = (setView, setMessage, buffer = "") => {
+    setView({ _tag: "Create", step: 0, buffer, values: {} });
+    setMessage(null);
+};
+export const handleCreateInput = (input, key, view, context) => {
+    if (key.escape) {
+        resetToMenu(context);
+        return;
+    }
+    if (key.return) {
+        handleCreateReturn({ ...context, view });
+        return;
+    }
+    if (key.backspace || key.delete) {
+        context.setView({ ...view, buffer: view.buffer.slice(0, -1) });
+        return;
+    }
+    if (input.length > 0) {
+        context.setView({ ...view, buffer: view.buffer + input });
+    }
+};

package/dist/src/docker-git/menu-input.js

@@ -0,0 +1,2 @@
+export { buildCreateArgs, handleCreateInput, resolveCreateInputs, startCreateView } from "./menu-create.js";
+export { handleMenuInput } from "./menu-menu.js";

package/dist/src/docker-git/menu-menu.js

@@ -0,0 +1,46 @@
+import { parseMenuSelection } from "@effect-template/lib/core/domain";
+import { isRepoUrlInput } from "@effect-template/lib/usecases/menu-helpers";
+import { Either } from "effect";
+import { handleMenuActionSelection } from "./menu-actions.js";
+import { startCreateView } from "./menu-create.js";
+import { menuItems } from "./menu-types.js";
+const handleMenuNavigation = (key, setSelected) => {
+    if (key.upArrow) {
+        setSelected((prev) => (prev === 0 ? menuItems.length - 1 : prev - 1));
+        return;
+    }
+    if (key.downArrow) {
+        setSelected((prev) => (prev === menuItems.length - 1 ? 0 : prev + 1));
+    }
+};
+const handleMenuEnter = (context) => {
+    const action = menuItems[context.selected]?.id;
+    if (!action) {
+        return;
+    }
+    handleMenuActionSelection(action, context);
+};
+const handleMenuTextInput = (input, context) => {
+    const trimmed = input.trim();
+    if (trimmed.length > 0 && isRepoUrlInput(trimmed)) {
+        startCreateView(context.setView, context.setMessage, trimmed);
+        return true;
+    }
+    const selection = parseMenuSelection(input);
+    if (Either.isRight(selection)) {
+        handleMenuActionSelection(selection.right, context);
+        return true;
+    }
+    return false;
+};
+export const handleMenuInput = (input, key, context) => {
+    if (key.upArrow || key.downArrow) {
+        handleMenuNavigation(key, context.setSelected);
+        return;
+    }
+    if (key.return) {
+        handleMenuEnter(context);
+        return;
+    }
+    handleMenuTextInput(input, context);
+};

package/dist/src/docker-git/menu-render.js

@@ -0,0 +1,151 @@
+import { Match } from "effect";
+import { Box, Text } from "ink";
+import React from "react";
+import { createSteps, menuItems } from "./menu-types.js";
+// CHANGE: render menu views with Ink without JSX
+// WHY: keep UI logic separate from input/state reducers
+// QUOTE(ТЗ): "TUI? Красивый, удобный"
+// REF: user-request-2026-02-01-tui
+// SOURCE: n/a
+// FORMAT THEOREM: forall v: view(v) -> render(v)
+// PURITY: SHELL
+// EFFECT: n/a
+// INVARIANT: menu renders all items once
+// COMPLEXITY: O(n)
+export const renderStepLabel = (step, defaults) => Match.value(step).pipe(Match.when("repoUrl", () => "Repo URL"), Match.when("repoRef", () => `Repo ref [${defaults.repoRef}]`), Match.when("outDir", () => `Output dir [${defaults.outDir}]`), Match.when("runUp", () => `Run docker compose up now? [${defaults.runUp ? "Y" : "n"}]`), Match.when("mcpPlaywright", () => `Enable Playwright MCP (Chromium sidecar)? [${defaults.enableMcpPlaywright ? "y" : "N"}]`), Match.when("force", () => `Force recreate (overwrite files + wipe volumes)? [${defaults.force ? "y" : "N"}]`), Match.exhaustive);
+const renderMessage = (message) => {
+    if (!message) {
+        return null;
+    }
+    return React.createElement(Box, { marginTop: 1 }, React.createElement(Text, { color: "magenta" }, message));
+};
+const renderLayout = (title, body, message) => {
+    const el = React.createElement;
+    const messageView = renderMessage(message);
+    const tail = messageView ? [messageView] : [];
+    return el(Box, { flexDirection: "column", padding: 1, borderStyle: "round" }, el(Text, { color: "cyan", bold: true }, title), ...body, ...tail);
+};
+const compactElements = (items) => items.filter((item) => item !== null);
+const renderMenuHints = (el) => el(Box, { marginTop: 1, flexDirection: "column" }, el(Text, { color: "gray" }, "Hints:"), el(Text, { color: "gray" }, "  - Paste repo URL to create directly."), el(Text, { color: "gray" }, "  - Aliases: create/c, select/s, info/i, status/ps, logs/l, down/d, down-all/da, delete/del, quit/q"), el(Text, { color: "gray" }, "  - Use arrows and Enter to run."));
+const renderMenuMessage = (el, message) => {
+    if (!message || message.length === 0) {
+        return null;
+    }
+    return el(Box, { marginTop: 1, flexDirection: "column" }, ...message
+        .split("\n")
+        .map((line, index) => el(Text, { key: `${index}-${line}`, color: "magenta" }, line)));
+};
+export const renderMenu = (cwd, activeDir, selected, busy, message) => {
+    const el = React.createElement;
+    const activeLabel = `Active: ${activeDir ?? "(none)"}`;
+    const cwdLabel = `CWD: ${cwd}`;
+    const items = menuItems.map((item, index) => {
+        const indexLabel = `${index + 1})`;
+        const prefix = index === selected ? ">" : " ";
+        return el(Text, { key: item.label, color: index === selected ? "green" : "white" }, `${prefix} ${indexLabel} ${item.label}`);
+    });
+    const busyView = busy
+        ? el(Box, { marginTop: 1 }, el(Text, { color: "yellow" }, "Running..."))
+        : null;
+    const messageView = renderMenuMessage(el, message);
+    const hints = renderMenuHints(el);
+    return renderLayout("docker-git", compactElements([
+        el(Text, null, activeLabel),
+        el(Text, null, cwdLabel),
+        el(Box, { flexDirection: "column", marginTop: 1 }, ...items),
+        hints,
+        busyView,
+        messageView
+    ]), null);
+};
+export const renderCreate = (label, buffer, message, stepIndex, defaults) => {
+    const el = React.createElement;
+    const steps = createSteps.map((step, index) => el(Text, { key: step, color: index === stepIndex ? "green" : "gray" }, `${index === stepIndex ? ">" : " "} ${renderStepLabel(step, defaults)}`));
+    return renderLayout("docker-git / Create", [
+        el(Box, { flexDirection: "column", marginTop: 1 }, ...steps),
+        el(Box, { marginTop: 1 }, el(Text, null, `${label}: `), el(Text, { color: "green" }, buffer)),
+        el(Box, { marginTop: 1 }, el(Text, { color: "gray" }, "Enter = next, Esc = cancel."))
+    ], message);
+};
+const formatRepoRef = (repoRef) => {
+    const trimmed = repoRef.trim();
+    const prPrefix = "refs/pull/";
+    if (trimmed.startsWith(prPrefix)) {
+        const rest = trimmed.slice(prPrefix.length);
+        const number = rest.split("/")[0] ?? rest;
+        return `PR#${number}`;
+    }
+    return trimmed.length > 0 ? trimmed : "main";
+};
+const renderSelectDetails = (el, purpose, item) => {
+    if (!item) {
+        return [el(Text, { color: "gray", wrap: "truncate" }, "No project selected.")];
+    }
+    const refLabel = formatRepoRef(item.repoRef);
+    const authSuffix = item.authorizedKeysExists ? "" : " (missing)";
+    return Match.value(purpose).pipe(Match.when("Info", () => [
+        el(Text, { color: "cyan", bold: true, wrap: "truncate" }, "Connection info"),
+        el(Text, { wrap: "wrap" }, `Project directory: ${item.projectDir}`),
+        el(Text, { wrap: "wrap" }, `Container: ${item.containerName}`),
+        el(Text, { wrap: "wrap" }, `Service: ${item.serviceName}`),
+        el(Text, { wrap: "wrap" }, `SSH command: ${item.sshCommand}`),
+        el(Text, { wrap: "wrap" }, `Repo: ${item.repoUrl} (${refLabel})`),
+        el(Text, { wrap: "wrap" }, `Workspace: ${item.targetDir}`),
+        el(Text, { wrap: "wrap" }, `Authorized keys: ${item.authorizedKeysPath}${authSuffix}`),
+        el(Text, { wrap: "wrap" }, `Env global: ${item.envGlobalPath}`),
+        el(Text, { wrap: "wrap" }, `Env project: ${item.envProjectPath}`),
+        el(Text, { wrap: "wrap" }, `Codex auth: ${item.codexAuthPath} -> ${item.codexHome}`)
+    ]), Match.when("Delete", () => [
+        el(Text, { color: "cyan", bold: true, wrap: "truncate" }, "Delete project"),
+        el(Text, { wrap: "wrap" }, `Project directory: ${item.projectDir}`),
+        el(Text, { wrap: "wrap" }, `Container: ${item.containerName}`),
+        el(Text, { wrap: "wrap" }, `Repo: ${item.repoUrl} (${refLabel})`),
+        el(Text, { wrap: "wrap" }, "Removes the project folder (no git history rewrite).")
+    ]), Match.orElse(() => [
+        el(Text, { color: "cyan", bold: true, wrap: "truncate" }, "Details"),
+        el(Text, { wrap: "truncate" }, `Repo: ${item.repoUrl}`),
+        el(Text, { wrap: "truncate" }, `Ref: ${item.repoRef}`),
+        el(Text, { wrap: "truncate" }, `Project dir: ${item.projectDir}`),
+        el(Text, { wrap: "truncate" }, `Workspace: ${item.targetDir}`),
+        el(Text, { wrap: "truncate" }, `SSH: ${item.sshCommand}`)
+    ]));
+};
+const selectTitle = (purpose) => Match.value(purpose).pipe(Match.when("Connect", () => "docker-git / Select project"), Match.when("Down", () => "docker-git / Stop container"), Match.when("Info", () => "docker-git / Show connection info"), Match.when("Delete", () => "docker-git / Delete project"), Match.exhaustive);
+const selectHint = (purpose) => Match.value(purpose).pipe(Match.when("Connect", () => "Enter = select + SSH, Esc = back"), Match.when("Down", () => "Enter = stop container, Esc = back"), Match.when("Info", () => "Use arrows to browse details, Enter = set active, Esc = back"), Match.when("Delete", () => "Enter = ask/confirm delete, Esc = cancel"), Match.exhaustive);
+const buildSelectLabels = (items, selected) => items.map((item, index) => {
+    const prefix = index === selected ? ">" : " ";
+    const refLabel = formatRepoRef(item.repoRef);
+    return `${prefix} ${index + 1}. ${item.displayName} (${refLabel})`;
+});
+const computeListWidth = (labels) => {
+    const maxLabelWidth = labels.length > 0 ? Math.max(...labels.map((label) => label.length)) : 24;
+    return Math.min(Math.max(maxLabelWidth + 2, 28), 54);
+};
+const renderSelectListBox = (el, items, selected, labels, width) => {
+    const list = labels.map((label, index) => el(Text, {
+        key: items[index]?.projectDir ?? String(index),
+        color: index === selected ? "green" : "white",
+        wrap: "truncate"
+    }, label));
+    return el(Box, { flexDirection: "column", width }, ...(list.length > 0 ? list : [el(Text, { color: "gray" }, "No projects found.")]));
+};
+const renderSelectDetailsBox = (el, purpose, items, selected) => {
+    const details = renderSelectDetails(el, purpose, items[selected]);
+    return el(Box, { flexDirection: "column", marginLeft: 2, flexGrow: 1 }, ...details);
+};
+export const renderSelect = (purpose, items, selected, confirmDelete, message) => {
+    const el = React.createElement;
+    const listLabels = buildSelectLabels(items, selected);
+    const listWidth = computeListWidth(listLabels);
+    const listBox = renderSelectListBox(el, items, selected, listLabels, listWidth);
+    const detailsBox = renderSelectDetailsBox(el, purpose, items, selected);
+    const baseHint = selectHint(purpose);
+    const deleteHint = purpose === "Delete" && confirmDelete
+        ? "Confirm mode: Enter = delete now, Esc = cancel"
+        : baseHint;
+    const hints = el(Box, { marginTop: 1 }, el(Text, { color: "gray" }, deleteHint));
+    return renderLayout(selectTitle(purpose), [
+        el(Box, { flexDirection: "row", marginTop: 1 }, listBox, detailsBox),
+        hints
+    ], message);
+};

package/dist/src/docker-git/menu-select.js

@@ -0,0 +1,131 @@
+import { runDockerComposeDown } from "@effect-template/lib/shell/docker";
+import { connectProjectSshWithUp, deleteDockerGitProject, listRunningProjectItems } from "@effect-template/lib/usecases/projects";
+import { Effect, Match, pipe } from "effect";
+import { resetToMenu, resumeTui, suspendTui } from "./menu-shared.js";
+export const startSelectView = (items, purpose, context) => {
+    context.setMessage(null);
+    context.setView({ _tag: "SelectProject", purpose, items, selected: 0, confirmDelete: false });
+};
+const clampIndex = (value, size) => {
+    if (size <= 0) {
+        return 0;
+    }
+    if (value < 0) {
+        return 0;
+    }
+    if (value >= size) {
+        return size - 1;
+    }
+    return value;
+};
+export const handleSelectInput = (input, key, view, context) => {
+    if (key.escape) {
+        resetToMenu(context);
+        return;
+    }
+    if (handleSelectNavigation(key, view, context)) {
+        return;
+    }
+    if (key.return) {
+        handleSelectReturn(view, context);
+        return;
+    }
+    handleSelectHint(input, context);
+};
+const handleSelectNavigation = (key, view, context) => {
+    if (key.upArrow) {
+        const next = clampIndex(view.selected - 1, view.items.length);
+        context.setView({ ...view, selected: next, confirmDelete: false });
+        return true;
+    }
+    if (key.downArrow) {
+        const next = clampIndex(view.selected + 1, view.items.length);
+        context.setView({ ...view, selected: next, confirmDelete: false });
+        return true;
+    }
+    return false;
+};
+const runWithSuspendedTui = (context, effect, onResume, doneMessage) => {
+    context.runner.runEffect(pipe(Effect.sync(suspendTui), Effect.zipRight(effect), Effect.ensuring(Effect.sync(() => {
+        resumeTui();
+        onResume();
+        context.setSkipInputs(() => 2);
+    })), Effect.tap(() => Effect.sync(() => {
+        context.setMessage(doneMessage);
+    }))));
+};
+const runConnectSelection = (selected, context) => {
+    context.setMessage(`Connecting to ${selected.displayName}...`);
+    context.setSshActive(true);
+    runWithSuspendedTui(context, connectProjectSshWithUp(selected), () => {
+        context.setSshActive(false);
+    }, "SSH session ended. Press Esc to return to the menu.");
+};
+const runDownSelection = (selected, context) => {
+    context.setMessage(`Stopping ${selected.displayName}...`);
+    context.runner.runEffect(pipe(Effect.sync(suspendTui), Effect.zipRight(runDockerComposeDown(selected.projectDir)), Effect.zipRight(listRunningProjectItems), Effect.tap((items) => Effect.sync(() => {
+        if (items.length === 0) {
+            resetToMenu(context);
+            context.setMessage("No running docker-git containers.");
+            return;
+        }
+        startSelectView(items, "Down", context);
+        context.setMessage("Container stopped. Select another to stop, or Esc to return.");
+    })), Effect.ensuring(Effect.sync(() => {
+        resumeTui();
+        context.setSkipInputs(() => 2);
+    })), Effect.asVoid));
+};
+const runInfoSelection = (selected, context) => {
+    context.setMessage(`Details for ${selected.displayName} are shown on the right. Press Esc to return to the menu.`);
+};
+const runDeleteSelection = (selected, context) => {
+    context.setMessage(`Deleting ${selected.displayName}...`);
+    runWithSuspendedTui(context, deleteDockerGitProject(selected).pipe(Effect.tap(() => Effect.sync(() => {
+        if (context.activeDir === selected.projectDir) {
+            context.setActiveDir(null);
+        }
+        context.setView({ _tag: "Menu" });
+    }))), () => {
+        // Only return to menu on success (see Effect.tap above).
+    }, "Project deleted.");
+};
+const handleSelectReturn = (view, context) => {
+    const selected = view.items[view.selected];
+    if (!selected) {
+        context.setMessage("No project selected.");
+        resetToMenu(context);
+        return;
+    }
+    Match.value(view.purpose).pipe(Match.when("Connect", () => {
+        context.setActiveDir(selected.projectDir);
+        runConnectSelection(selected, context);
+    }), Match.when("Down", () => {
+        context.setActiveDir(selected.projectDir);
+        runDownSelection(selected, context);
+    }), Match.when("Info", () => {
+        context.setActiveDir(selected.projectDir);
+        runInfoSelection(selected, context);
+    }), Match.when("Delete", () => {
+        if (!view.confirmDelete) {
+            context.setMessage(`Really delete ${selected.displayName}? Press Enter again to confirm, Esc to cancel.`);
+            context.setView({ ...view, confirmDelete: true });
+            return;
+        }
+        runDeleteSelection(selected, context);
+    }), Match.exhaustive);
+};
+const handleSelectHint = (input, context) => {
+    if (input.trim().length > 0) {
+        context.setMessage("Use arrows + Enter to select a project, Esc to cancel.");
+    }
+};
+export const loadSelectView = (effect, purpose, context) => pipe(effect, Effect.flatMap((items) => Effect.sync(() => {
+    if (items.length === 0) {
+        context.setMessage(purpose === "Down"
+            ? "No running docker-git containers."
+            : "No docker-git projects found.");
+        return;
+    }
+    startSelectView(items, purpose, context);
+})));

package/dist/src/docker-git/menu-shared.js

@@ -0,0 +1,111 @@
+let stdoutPatched = false;
+let stdoutMuted = false;
+const disableMouseModes = () => {
+    // Disable xterm/urxvt mouse tracking and "alternate scroll" mode (wheel -> arrow keys).
+    process.stdout.write("\u001B[?1000l\u001B[?1002l\u001B[?1003l\u001B[?1005l\u001B[?1006l\u001B[?1015l\u001B[?1007l");
+};
+// CHANGE: mute Ink stdout writes while SSH is active
+// WHY: prevent Ink resize re-renders from corrupting the SSH terminal buffer
+// QUOTE(ТЗ): "при изменении разершения он всё ломает?"
+// REF: user-request-2026-02-05-ssh-resize
+// SOURCE: n/a
+// FORMAT THEOREM: ∀w: muted(w) → ¬writes(ink, stdout)
+// PURITY: SHELL
+// EFFECT: n/a
+// INVARIANT: wrapper preserves original stdout write when not muted
+// COMPLEXITY: O(1)
+const ensureStdoutPatched = () => {
+    if (stdoutPatched) {
+        return;
+    }
+    const baseWrite = process.stdout.write.bind(process.stdout);
+    const mutedWrite = (chunk, encoding, cb) => {
+        if (stdoutMuted) {
+            const callback = typeof encoding === "function" ? encoding : cb;
+            if (typeof callback === "function") {
+                callback();
+            }
+            return true;
+        }
+        if (typeof encoding === "function") {
+            return baseWrite(chunk, encoding);
+        }
+        return baseWrite(chunk, encoding, cb);
+    };
+    process.stdout.write = mutedWrite;
+    stdoutPatched = true;
+};
+// CHANGE: toggle stdout write muting for Ink rendering
+// WHY: allow SSH sessions to own the terminal without TUI redraws
+// QUOTE(ТЗ): "при изменении разершения он всё ломает?"
+// REF: user-request-2026-02-05-ssh-resize
+// SOURCE: n/a
+// FORMAT THEOREM: ∀m ∈ {true,false}: muted = m
+// PURITY: SHELL
+// EFFECT: n/a
+// INVARIANT: stdout wrapper is installed at most once
+// COMPLEXITY: O(1)
+const setStdoutMuted = (muted) => {
+    ensureStdoutPatched();
+    stdoutMuted = muted;
+};
+// CHANGE: temporarily suspend TUI rendering when running interactive commands
+// WHY: avoid mixed output from docker/ssh and the Ink UI
+// QUOTE(ТЗ): "Почему так кривокосо всё отображается?"
+// REF: user-request-2026-02-02-tui-output
+// SOURCE: n/a
+// FORMAT THEOREM: forall cmd: suspend -> cleanOutput(cmd)
+// PURITY: SHELL
+// EFFECT: n/a
+// INVARIANT: only toggles when TTY is available
+// COMPLEXITY: O(1)
+export const suspendTui = () => {
+    if (!process.stdout.isTTY) {
+        return;
+    }
+    disableMouseModes();
+    if (process.stdin.isTTY && typeof process.stdin.setRawMode === "function") {
+        process.stdin.setRawMode(false);
+    }
+    process.stdout.write("\u001B[?1049l\u001B[2J\u001B[H");
+    setStdoutMuted(true);
+};
+// CHANGE: restore TUI rendering after interactive commands
+// WHY: return to Ink UI without broken terminal state
+// QUOTE(ТЗ): "Почему так кривокосо всё отображается?"
+// REF: user-request-2026-02-02-tui-output
+// SOURCE: n/a
+// FORMAT THEOREM: forall cmd: resume -> tuiVisible(cmd)
+// PURITY: SHELL
+// EFFECT: n/a
+// INVARIANT: only toggles when TTY is available
+// COMPLEXITY: O(1)
+export const resumeTui = () => {
+    if (!process.stdout.isTTY) {
+        return;
+    }
+    setStdoutMuted(false);
+    disableMouseModes();
+    process.stdout.write("\u001B[?1049h\u001B[2J\u001B[H");
+    if (process.stdin.isTTY && typeof process.stdin.setRawMode === "function") {
+        process.stdin.setRawMode(true);
+    }
+    disableMouseModes();
+};
+export const leaveTui = () => {
+    if (!process.stdout.isTTY) {
+        return;
+    }
+    // Ensure we don't leave the terminal in a broken "mouse reporting" mode.
+    setStdoutMuted(false);
+    disableMouseModes();
+    process.stdout.write("\u001B[?1049l\u001B[2J\u001B[H");
+    if (process.stdin.isTTY && typeof process.stdin.setRawMode === "function") {
+        process.stdin.setRawMode(false);
+    }
+};
+export const resetToMenu = (context) => {
+    const view = { _tag: "Menu" };
+    context.setView(view);
+    context.setMessage(null);
+};

package/dist/src/docker-git/menu-types.js

@@ -0,0 +1,19 @@
+export const createSteps = [
+    "repoUrl",
+    "repoRef",
+    "outDir",
+    "runUp",
+    "mcpPlaywright",
+    "force"
+];
+export const menuItems = [
+    { id: { _tag: "Create" }, label: "Create project" },
+    { id: { _tag: "Select" }, label: "Select project" },
+    { id: { _tag: "Info" }, label: "Show connection info" },
+    { id: { _tag: "Status" }, label: "docker compose ps" },
+    { id: { _tag: "Logs" }, label: "docker compose logs --tail=200" },
+    { id: { _tag: "Down" }, label: "docker compose down" },
+    { id: { _tag: "DownAll" }, label: "docker compose down (ALL projects)" },
+    { id: { _tag: "Delete" }, label: "Delete project (remove folder)" },
+    { id: { _tag: "Quit" }, label: "Quit" }
+];