@prover-coder-ai/docker-git 1.0.23 → 1.0.24

package/src/docker-git/menu-shared.ts

@@ -1,256 +0,0 @@
-import type { MenuViewContext, ViewState } from "./menu-types.js"
-
-import { Effect, pipe } from "effect"
-
-// CHANGE: share menu escape handling across flows
-// WHY: avoid duplicated logic in TUI handlers
-// QUOTE(ТЗ): "А ты можешь сделать удобный выбор проектов?"
-// REF: user-request-2026-02-02-select-project
-// SOURCE: n/a
-// FORMAT THEOREM: forall s: escape(s) -> menu(s)
-// PURITY: SHELL
-// EFFECT: n/a
-// INVARIANT: always resets message on escape
-// COMPLEXITY: O(1)
-
-type MenuResetContext = Pick<MenuViewContext, "setView" | "setMessage">
-
-type OutputWrite = typeof process.stdout.write
-
-let stdoutPatched = false
-let stdoutMuted = false
-let baseStdoutWrite: OutputWrite | null = null
-let baseStderrWrite: OutputWrite | null = null
-
-const wrapWrite = (baseWrite: OutputWrite): OutputWrite =>
-(
-  chunk: string | Uint8Array,
-  encoding?: BufferEncoding | ((err?: Error | null) => void),
-  cb?: (err?: Error | null) => void
-) => {
-  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)
-}
-
-const disableMouseModes = (): void => {
-  // 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 = (): void => {
-  if (stdoutPatched) {
-    return
-  }
-  baseStdoutWrite = process.stdout.write.bind(process.stdout)
-  baseStderrWrite = process.stderr.write.bind(process.stderr)
-
-  process.stdout.write = wrapWrite(baseStdoutWrite)
-  process.stderr.write = wrapWrite(baseStderrWrite)
-  stdoutPatched = true
-}
-
-// CHANGE: allow writing to the terminal even while stdout is muted
-// WHY: we mute Ink renders during interactive commands, but still need to show prompts/errors
-// REF: user-request-2026-02-18-tui-output-hidden
-// SOURCE: n/a
-// PURITY: SHELL
-// EFFECT: n/a
-// INVARIANT: bypasses the mute wrapper safely
-export const writeToTerminal = (text: string): void => {
-  ensureStdoutPatched()
-  const write = baseStdoutWrite ?? process.stdout.write.bind(process.stdout)
-  write(text)
-}
-
-// CHANGE: keep the user on the primary screen until they acknowledge
-// WHY: otherwise output from failed docker/gh commands gets hidden again when TUI resumes
-// REF: user-request-2026-02-18-tui-output-hidden
-// SOURCE: n/a
-// PURITY: SHELL
-// EFFECT: Effect<void, never, never>
-// INVARIANT: no-op when stdin/stdout aren't TTY (CI/e2e)
-export const pauseForEnter = (
-  prompt = "Press Enter to return to docker-git..."
-): Effect.Effect<void> => {
-  if (!process.stdin.isTTY || !process.stdout.isTTY) {
-    return Effect.void
-  }
-
-  return Effect.async((resume) => {
-    // Ensure the prompt isn't glued to the last command line.
-    writeToTerminal(`\n${prompt}\n`)
-    process.stdin.resume()
-
-    const cleanup = () => {
-      process.stdin.off("data", onData)
-    }
-
-    const onData = () => {
-      cleanup()
-      resume(Effect.void)
-    }
-
-    process.stdin.on("data", onData)
-
-    return Effect.sync(() => {
-      cleanup()
-    })
-  }).pipe(Effect.asVoid)
-}
-
-export const writeErrorAndPause = (renderedError: string): Effect.Effect<void> =>
-  pipe(
-    Effect.sync(() => {
-      writeToTerminal(`\n[docker-git] ${renderedError}\n`)
-    }),
-    Effect.zipRight(pauseForEnter()),
-    Effect.asVoid
-  )
-
-export const withSuspendedTui = <A, E, R>(
-  effect: Effect.Effect<A, E, R>,
-  options?: {
-    readonly onError?: (error: E) => Effect.Effect<void>
-    readonly onResume?: () => void
-  }
-): Effect.Effect<A, E, R> => {
-  const withError = options?.onError
-    ? pipe(effect, Effect.tapError((error) => Effect.ignore(options.onError?.(error) ?? Effect.void)))
-    : effect
-
-  return pipe(
-    Effect.sync(suspendTui),
-    Effect.zipRight(withError),
-    Effect.ensuring(
-      Effect.sync(() => {
-        resumeTui()
-        options?.onResume?.()
-      })
-    )
-  )
-}
-
-export type SkipInputsContext = {
-  readonly setSkipInputs: (update: (value: number) => number) => void
-}
-
-export type SshActiveContext = {
-  readonly setSshActive: (active: boolean) => void
-}
-
-export const resumeWithSkipInputs = (context: SkipInputsContext, extra?: () => void) => () => {
-  extra?.()
-  context.setSkipInputs(() => 2)
-}
-
-export const resumeSshWithSkipInputs = (context: SkipInputsContext & SshActiveContext) =>
-  resumeWithSkipInputs(context, () => {
-    context.setSshActive(false)
-  })
-
-export const pauseOnError = <E>(render: (error: E) => string) => (error: E): Effect.Effect<void> =>
-  writeErrorAndPause(render(error))
-
-// 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: boolean): void => {
-  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 = (): void => {
-  if (!process.stdout.isTTY) {
-    return
-  }
-  disableMouseModes()
-  if (process.stdin.isTTY && typeof process.stdin.setRawMode === "function") {
-    process.stdin.setRawMode(false)
-  }
-  // Switch back to the primary screen so interactive commands (ssh/gh/codex)
-  // can render normally. Do not clear it: users may need scrollback (OAuth codes/URLs).
-  process.stdout.write("\u001B[?1049l")
-  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 = (): void => {
-  if (!process.stdout.isTTY) {
-    return
-  }
-  setStdoutMuted(false)
-  disableMouseModes()
-  // Return to the alternate screen for Ink rendering.
-  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 = (): void => {
-  if (!process.stdout.isTTY) {
-    return
-  }
-  // Ensure we don't leave the terminal in a broken "mouse reporting" mode.
-  setStdoutMuted(false)
-  disableMouseModes()
-  // Restore the primary screen on exit without clearing it (keeps useful scrollback).
-  process.stdout.write("\u001B[?1049l")
-  if (process.stdin.isTTY && typeof process.stdin.setRawMode === "function") {
-    process.stdin.setRawMode(false)
-  }
-}
-
-export const resetToMenu = (context: MenuResetContext): void => {
-  const view: ViewState = { _tag: "Menu" }
-  context.setView(view)
-  context.setMessage(null)
-}

package/src/docker-git/menu-startup.ts

@@ -1,83 +0,0 @@
-import type { ProjectItem } from "@effect-template/lib/usecases/projects"
-
-export type MenuStartupSnapshot = {
-  readonly activeDir: string | null
-  readonly runningDockerGitContainers: number
-  readonly message: string | null
-}
-
-const dockerGitContainerPrefix = "dg-"
-
-const emptySnapshot = (): MenuStartupSnapshot => ({
-  activeDir: null,
-  runningDockerGitContainers: 0,
-  message: null
-})
-
-const uniqueDockerGitContainerNames = (
-  runningContainerNames: ReadonlyArray<string>
-): ReadonlyArray<string> => [
-  ...new Set(runningContainerNames.filter((name) => name.startsWith(dockerGitContainerPrefix)))
-]
-
-const detectKnownRunningProjects = (
-  items: ReadonlyArray<ProjectItem>,
-  runningDockerGitNames: ReadonlyArray<string>
-): ReadonlyArray<ProjectItem> => {
-  const runningSet = new Set(runningDockerGitNames)
-  return items.filter((item) => runningSet.has(item.containerName))
-}
-
-const renderRunningHint = (runningCount: number): string =>
-  runningCount === 1
-    ? "Detected 1 running docker-git container."
-    : `Detected ${runningCount} running docker-git containers.`
-
-// CHANGE: infer initial menu state from currently running docker-git containers
-// WHY: avoid "(none)" confusion when containers are already up outside this TUI session
-// QUOTE(ISSUE): "У меня запущены контейнеры от docker-git но он говорит что они не запущены"
-// REF: issue-13
-// SOURCE: n/a
-// FORMAT THEOREM: forall startupState: snapshot(startupState) -> deterministic(menuState)
-// PURITY: CORE
-// EFFECT: n/a
-// INVARIANT: activeDir is set only when exactly one known project is running
-// COMPLEXITY: O(|containers| + |projects|)
-export const resolveMenuStartupSnapshot = (
-  items: ReadonlyArray<ProjectItem>,
-  runningContainerNames: ReadonlyArray<string>
-): MenuStartupSnapshot => {
-  const runningDockerGitNames = uniqueDockerGitContainerNames(runningContainerNames)
-  if (runningDockerGitNames.length === 0) {
-    return emptySnapshot()
-  }
-
-  const knownRunningProjects = detectKnownRunningProjects(items, runningDockerGitNames)
-  if (knownRunningProjects.length === 1 && runningDockerGitNames.length === 1) {
-    const selected = knownRunningProjects[0]
-    if (!selected) {
-      return emptySnapshot()
-    }
-    return {
-      activeDir: selected.projectDir,
-      runningDockerGitContainers: 1,
-      message: `Auto-selected active project: ${selected.displayName}.`
-    }
-  }
-
-  if (knownRunningProjects.length === 0) {
-    return {
-      activeDir: null,
-      runningDockerGitContainers: runningDockerGitNames.length,
-      message: `${renderRunningHint(runningDockerGitNames.length)} No matching project config found.`
-    }
-  }
-
-  return {
-    activeDir: null,
-    runningDockerGitContainers: runningDockerGitNames.length,
-    message: `${renderRunningHint(runningDockerGitNames.length)} Use Select project to choose active.`
-  }
-}
-
-export const defaultMenuStartupSnapshot = emptySnapshot

package/src/docker-git/menu-types.ts

@@ -1,170 +0,0 @@
-import type * as CommandExecutor from "@effect/platform/CommandExecutor"
-import type * as FileSystem from "@effect/platform/FileSystem"
-import type * as Path from "@effect/platform/Path"
-import type * as Effect from "effect/Effect"
-
-import type { MenuAction } from "@effect-template/lib/core/domain"
-import type { AppError } from "@effect-template/lib/usecases/errors"
-import type { ProjectItem } from "@effect-template/lib/usecases/projects"
-
-// CHANGE: isolate TUI types/constants into a shared module
-// WHY: keep menu rendering and input handling small and focused
-// QUOTE(ТЗ): "TUI? Красивый, удобный"
-// REF: user-request-2026-02-01-tui
-// SOURCE: n/a
-// FORMAT THEOREM: forall s: state(s) -> wellTyped(s)
-// PURITY: CORE
-// EFFECT: n/a
-// INVARIANT: createSteps is ordered and total over CreateStep
-// COMPLEXITY: O(1)
-
-export type MenuState = {
-  readonly cwd: string
-  readonly activeDir: string | null
-}
-
-export type MenuEnv = FileSystem.FileSystem | Path.Path | CommandExecutor.CommandExecutor
-
-export type MenuRunner = {
-  readonly runEffect: (effect: Effect.Effect<void, AppError, MenuEnv>) => void
-}
-
-export type MenuViewContext = {
-  readonly setView: (view: ViewState) => void
-  readonly setMessage: (message: string | null) => void
-  readonly setActiveDir: (dir: string | null) => void
-}
-
-export type MenuKeyInput = {
-  readonly upArrow?: boolean
-  readonly downArrow?: boolean
-  readonly return?: boolean
-  readonly escape?: boolean
-  readonly backspace?: boolean
-  readonly delete?: boolean
-}
-
-export type CreateInputs = {
-  readonly repoUrl: string
-  readonly repoRef: string
-  readonly outDir: string
-  readonly runUp: boolean
-  readonly enableMcpPlaywright: boolean
-  readonly force: boolean
-  readonly forceEnv: boolean
-}
-
-export type CreateStep =
-  | "repoUrl"
-  | "repoRef"
-  | "outDir"
-  | "runUp"
-  | "mcpPlaywright"
-  | "force"
-
-export const createSteps: ReadonlyArray<CreateStep> = [
-  "repoUrl",
-  "repoRef",
-  "outDir",
-  "runUp",
-  "mcpPlaywright",
-  "force"
-]
-
-export type AuthFlow =
-  | "GithubOauth"
-  | "GithubRemove"
-  | "GitSet"
-  | "GitRemove"
-  | "ClaudeOauth"
-  | "ClaudeLogout"
-
-export interface AuthSnapshot {
-  readonly globalEnvPath: string
-  readonly claudeAuthPath: string
-  readonly totalEntries: number
-  readonly githubTokenEntries: number
-  readonly gitTokenEntries: number
-  readonly gitUserEntries: number
-  readonly claudeAuthEntries: number
-}
-
-export type ProjectAuthFlow =
-  | "ProjectGithubConnect"
-  | "ProjectGithubDisconnect"
-  | "ProjectGitConnect"
-  | "ProjectGitDisconnect"
-  | "ProjectClaudeConnect"
-  | "ProjectClaudeDisconnect"
-
-export interface ProjectAuthSnapshot {
-  readonly projectDir: string
-  readonly projectName: string
-  readonly envGlobalPath: string
-  readonly envProjectPath: string
-  readonly claudeAuthPath: string
-  readonly githubTokenEntries: number
-  readonly gitTokenEntries: number
-  readonly claudeAuthEntries: number
-  readonly activeGithubLabel: string | null
-  readonly activeGitLabel: string | null
-  readonly activeClaudeLabel: string | null
-}
-
-export type ViewState =
-  | { readonly _tag: "Menu" }
-  | { readonly _tag: "Create"; readonly step: number; readonly buffer: string; readonly values: Partial<CreateInputs> }
-  | { readonly _tag: "AuthMenu"; readonly selected: number; readonly snapshot: AuthSnapshot }
-  | {
-    readonly _tag: "AuthPrompt"
-    readonly flow: AuthFlow
-    readonly step: number
-    readonly buffer: string
-    readonly values: Readonly<Record<string, string>>
-    readonly snapshot: AuthSnapshot
-  }
-  | {
-    readonly _tag: "ProjectAuthMenu"
-    readonly selected: number
-    readonly project: ProjectItem
-    readonly snapshot: ProjectAuthSnapshot
-  }
-  | {
-    readonly _tag: "ProjectAuthPrompt"
-    readonly flow: ProjectAuthFlow
-    readonly step: number
-    readonly buffer: string
-    readonly values: Readonly<Record<string, string>>
-    readonly project: ProjectItem
-    readonly snapshot: ProjectAuthSnapshot
-  }
-  | {
-    readonly _tag: "SelectProject"
-    readonly purpose: "Connect" | "Down" | "Info" | "Delete" | "Auth"
-    readonly items: ReadonlyArray<ProjectItem>
-    readonly runtimeByProject: Readonly<Record<string, SelectProjectRuntime>>
-    readonly selected: number
-    readonly confirmDelete: boolean
-    readonly connectEnableMcpPlaywright: boolean
-  }
-
-export type SelectProjectRuntime = {
-  readonly running: boolean
-  readonly sshSessions: number
-  readonly startedAtIso: string | null
-  readonly startedAtEpochMs: number | null
-}
-
-export const menuItems: ReadonlyArray<{ readonly id: MenuAction; readonly label: string }> = [
-  { id: { _tag: "Create" }, label: "Create project" },
-  { id: { _tag: "Select" }, label: "Select project" },
-  { id: { _tag: "Auth" }, label: "Auth profiles (keys)" },
-  { id: { _tag: "ProjectAuth" }, label: "Project auth (bind labels)" },
-  { 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 (folder + container)" },
-  { id: { _tag: "Quit" }, label: "Quit" }
-]