@mty-coder/cli 0.1.1

package/src/cli/logo.ts

@@ -0,0 +1,53 @@
+export const logo = {
+  left: [
+    "                                                             ",
+    "                                                             ",
+    "  ███╗   ███╗ ████████╗ ██╗   ██╗ ",
+    "  ████╗ ████║ ╚══██╔══╝ ╚██╗ ██╔╝ ",
+    "  ██╔████╔██║    ██║     ╚████╔╝  ",
+    "  ██║╚██╔╝██║    ██║      ╚██╔╝   ",
+    "  ██║ ╚═╝ ██║    ██║       ██║    ",
+    "  ╚═╝     ╚═╝    ╚═╝       ╚═╝     ",
+  ],
+  right: [
+    "                          Dechnic",
+    "                                 ",
+    " ██████╗  ██████╗  ██████╗  ███████╗",
+    "██╔════╝ ██╔═══██╗ ██╔══██╗ ██╔════╝",
+    "██║      ██║   ██║ ██║  ██║ █████╗  ",
+    "██║      ██║   ██║ ██║  ██║ ██╔══╝  ",
+    "╚██████╗ ╚██████╔╝ ██████╔╝ ███████╗",
+    " ╚═════╝  ╚═════╝  ╚═════╝  ╚══════╝",
+  ],
+}
+
+export const logoThin = {
+  left: [
+    "                  ",
+    "                  ",
+    "█▄ ▄█ ▀█▀ ▀█▀",
+    "█ █ █  █  █ █",
+    "▀   ▀  ▀   ▀  ",
+  ],
+  right: [
+    "           Dechnic",
+    "                    ",
+    "  █▀▀ █▀▀█ █▀▀▄ █▀▀▀",
+    "  █   █  █ █  █ █▀▀ ",
+    "  ▀▀▀ ▀▀▀▀ ▀▀▀  ▀▀▀▀",
+  ],
+}
+
+export const logos = {
+  thin: logoThin,
+  classic: logo,
+} as const
+
+export type LogoKey = keyof typeof logos
+
+export const go = {
+  left: ["    ", "█▀▀█", "█  █", "▀▀▀▀"],
+  right: ["    ", "█▀▀▀", "█ __", "▀▀▀▀"],
+}
+
+export const marks = "_^~,"

package/src/cli/network.ts

@@ -0,0 +1,62 @@
+import type { Argv, InferredOptionTypes } from "yargs"
+import { Config } from "../config"
+import { AppRuntime } from "@/effect/app-runtime"
+
+const options = {
+  port: {
+    type: "number" as const,
+    describe: "port to listen on",
+    default: 0,
+  },
+  hostname: {
+    type: "string" as const,
+    describe: "hostname to listen on",
+    default: "127.0.0.1",
+  },
+  mdns: {
+    type: "boolean" as const,
+    describe: "enable mDNS service discovery (defaults hostname to 0.0.0.0)",
+    default: false,
+  },
+  "mdns-domain": {
+    type: "string" as const,
+    describe: "custom domain name for mDNS service (default: mtycoder.local)",
+    default: "mtycoder.local",
+  },
+  cors: {
+    type: "string" as const,
+    array: true,
+    describe: "additional domains to allow for CORS",
+    default: [] as string[],
+  },
+}
+
+export type NetworkOptions = InferredOptionTypes<typeof options>
+
+export function withNetworkOptions<T>(yargs: Argv<T>) {
+  return yargs.options(options)
+}
+export async function resolveNetworkOptions(args: NetworkOptions) {
+  const config = await AppRuntime.runPromise(Config.Service.use((cfg) => cfg.getGlobal()))
+  return resolveNetworkOptionsNoConfig(args, config)
+}
+
+export function resolveNetworkOptionsNoConfig(args: NetworkOptions, config?: Config.Info) {
+  const portExplicitlySet = process.argv.includes("--port")
+  const hostnameExplicitlySet = process.argv.includes("--hostname")
+  const mdnsExplicitlySet = process.argv.includes("--mdns")
+  const mdnsDomainExplicitlySet = process.argv.includes("--mdns-domain")
+  const mdns = mdnsExplicitlySet ? args.mdns : (config?.server?.mdns ?? args.mdns)
+  const mdnsDomain = mdnsDomainExplicitlySet ? args["mdns-domain"] : (config?.server?.mdnsDomain ?? args["mdns-domain"])
+  const port = portExplicitlySet ? args.port : (config?.server?.port ?? args.port)
+  const hostname = hostnameExplicitlySet
+    ? args.hostname
+    : mdns && !config?.server?.hostname
+      ? "0.0.0.0"
+      : (config?.server?.hostname ?? args.hostname)
+  const configCors = config?.server?.cors ?? []
+  const argsCors = Array.isArray(args.cors) ? args.cors : args.cors ? [args.cors] : []
+  const cors = [...configCors, ...argsCors]
+
+  return { hostname, port, mdns, mdnsDomain, cors }
+}

package/src/cli/ui.ts

@@ -0,0 +1,133 @@
+import z from "zod"
+import { EOL } from "os"
+import { NamedError } from "@mty-coder/shared/util/error"
+import { logo as glyphs } from "./logo"
+
+const wordmark = [
+  `⠀                                                  `,
+  `█▄ ▄█ ▀█▀ ▀█▀  █▀▀█ █▀▀█ █▀▀█ █▀▀▄ █▀▀▀`,
+  `█ █ █  █  █    █   █ █  █ █  █ █  █ █▀▀ `,
+  `▀   ▀  ▀  ▀    ▀▀▀▀ ▀▀▀▀ ▀▀▀▀ ▀▀▀  ▀▀▀▀`,
+]
+
+export const CancelledError = NamedError.create("UICancelledError", z.void())
+
+export const Style = {
+  TEXT_HIGHLIGHT: "\x1b[96m",
+  TEXT_HIGHLIGHT_BOLD: "\x1b[96m\x1b[1m",
+  TEXT_DIM: "\x1b[90m",
+  TEXT_DIM_BOLD: "\x1b[90m\x1b[1m",
+  TEXT_NORMAL: "\x1b[0m",
+  TEXT_NORMAL_BOLD: "\x1b[1m",
+  TEXT_WARNING: "\x1b[93m",
+  TEXT_WARNING_BOLD: "\x1b[93m\x1b[1m",
+  TEXT_DANGER: "\x1b[91m",
+  TEXT_DANGER_BOLD: "\x1b[91m\x1b[1m",
+  TEXT_SUCCESS: "\x1b[92m",
+  TEXT_SUCCESS_BOLD: "\x1b[92m\x1b[1m",
+  TEXT_INFO: "\x1b[94m",
+  TEXT_INFO_BOLD: "\x1b[94m\x1b[1m",
+}
+
+export function println(...message: string[]) {
+  print(...message)
+  process.stderr.write(EOL)
+}
+
+export function print(...message: string[]) {
+  blank = false
+  process.stderr.write(message.join(" "))
+}
+
+let blank = false
+export function empty() {
+  if (blank) return
+  println("" + Style.TEXT_NORMAL)
+  blank = true
+}
+
+export function logo(pad?: string) {
+  if (!process.stdout.isTTY && !process.stderr.isTTY) {
+    const result = []
+    for (const row of wordmark) {
+      if (pad) result.push(pad)
+      result.push(row)
+      result.push(EOL)
+    }
+    return result.join("").trimEnd()
+  }
+
+  const result: string[] = []
+  const reset = "\x1b[0m"
+  const left = {
+    fg: "\x1b[90m",
+    shadow: "\x1b[38;5;235m",
+    bg: "\x1b[48;5;235m",
+  }
+  const right = {
+    fg: reset,
+    shadow: "\x1b[38;5;238m",
+    bg: "\x1b[48;5;238m",
+  }
+  const gap = "  "
+  const draw = (line: string, fg: string, shadow: string, bg: string) => {
+    const parts: string[] = []
+    for (const char of line) {
+      if (char === "_") {
+        parts.push(bg, " ", reset)
+        continue
+      }
+      if (char === "^") {
+        parts.push(fg, bg, "▀", reset)
+        continue
+      }
+      if (char === "~") {
+        parts.push(shadow, "▀", reset)
+        continue
+      }
+      if (char === " ") {
+        parts.push(" ")
+        continue
+      }
+      parts.push(fg, char, reset)
+    }
+    return parts.join("")
+  }
+  glyphs.left.forEach((row, index) => {
+    if (pad) result.push(pad)
+    result.push(draw(row, left.fg, left.shadow, left.bg))
+    result.push(gap)
+    const other = glyphs.right[index] ?? ""
+    result.push(draw(other, right.fg, right.shadow, right.bg))
+    result.push(EOL)
+  })
+  return result.join("").trimEnd()
+}
+
+export async function input(prompt: string): Promise<string> {
+  const readline = require("readline")
+  const rl = readline.createInterface({
+    input: process.stdin,
+    output: process.stdout,
+  })
+
+  return new Promise((resolve) => {
+    rl.question(prompt, (answer: string) => {
+      rl.close()
+      resolve(answer.trim())
+    })
+  })
+}
+
+export function error(message: string) {
+  if (message.startsWith("Error: ")) {
+    message = message.slice("Error: ".length)
+  }
+  println(Style.TEXT_DANGER_BOLD + "Error: " + Style.TEXT_NORMAL + message)
+}
+
+export function markdown(text: string): string {
+  return text
+}
+
+export * as UI from "./ui"

package/src/cli/upgrade.ts

@@ -0,0 +1,41 @@
+import { Bus } from "@/bus"
+import { Config } from "@/config"
+import { AppRuntime } from "@/effect/app-runtime"
+import { Flag } from "@/flag/flag"
+import { Installation } from "@/installation"
+import { InstallationLocal, InstallationVersion } from "@/installation/version"
+import { Log } from "@/util"
+
+const log = Log.create({ service: "upgrade" })
+
+export async function upgrade() {
+  if (InstallationLocal) return
+  const config = await AppRuntime.runPromise(Config.Service.use((cfg) => cfg.getGlobal()))
+  const method = await AppRuntime.runPromise(Installation.Service.use((svc) => svc.method()))
+  const latest = await AppRuntime.runPromise(Installation.Service.use((svc) => svc.latest(method))).catch((err) => {
+    log.warn("failed to check for updates", { method, error: String(err) })
+  })
+  if (!latest) return
+
+  if (Flag.MTYCODER_ALWAYS_NOTIFY_UPDATE) {
+    await Bus.publish(Installation.Event.UpdateAvailable, { version: latest })
+    return
+  }
+
+  if (InstallationVersion === latest) return
+  if (config.autoupdate === false || Flag.MTYCODER_DISABLE_AUTOUPDATE) return
+
+  const kind = Installation.getReleaseType(InstallationVersion, latest)
+
+  if (config.autoupdate === "notify" || kind !== "patch") {
+    await Bus.publish(Installation.Event.UpdateAvailable, { version: latest })
+    return
+  }
+
+  if (method === "unknown") return
+  await AppRuntime.runPromise(Installation.Service.use((svc) => svc.upgrade(method, latest)))
+    .then(() => Bus.publish(Installation.Event.Updated, { version: latest }))
+    .catch((err) => {
+      log.warn("auto-upgrade failed", { method, target: latest, error: String(err) })
+    })
+}

package/src/command/index.ts

@@ -0,0 +1,325 @@
+import { BusEvent } from "@/bus/bus-event"
+import { InstanceState } from "@/effect"
+import { EffectBridge } from "@/effect"
+import { Flag } from "@/flag/flag"
+import type { InstanceContext } from "@/project/instance"
+import { SessionID, MessageID } from "@/session/schema"
+import { Effect, Layer, Context } from "effect"
+import z from "zod"
+import { Config } from "../config"
+import { MCP } from "../mcp"
+import { Skill } from "../skill"
+import PROMPT_INITIALIZE from "./template/initialize.txt"
+import PROMPT_REVIEW from "./template/review.txt"
+import PROMPT_MTY_BACKEND from "./template/mty-backend.txt"
+import PROMPT_MTY_FRONTEND_DESIGN from "./template/mty-frontend-design.txt"
+import PROMPT_MTY_FRONTEND from "./template/mty-frontend.txt"
+import PROMPT_MTY_TEAM from "./template/mty-team.txt"
+
+type State = {
+  commands: Record<string, Info>
+}
+
+export const Event = {
+  Executed: BusEvent.define(
+    "command.executed",
+    z.object({
+      name: z.string(),
+      sessionID: SessionID.zod,
+      arguments: z.string(),
+      messageID: MessageID.zod,
+    }),
+  ),
+}
+
+export const Info = z
+  .object({
+    name: z.string(),
+    description: z.string().optional(),
+    agent: z.string().optional(),
+    model: z.string().optional(),
+    source: z.enum(["command", "mcp", "skill"]).optional(),
+    // workaround for zod not supporting async functions natively so we use getters
+    // https://zod.dev/v4/changelog?id=zfunction
+    template: z.promise(z.string()).or(z.string()),
+    subtask: z.boolean().optional(),
+    hints: z.array(z.string()),
+  })
+  .meta({
+    ref: "Command",
+  })
+
+// for some reason zod is inferring `string` for z.promise(z.string()).or(z.string()) so we have to manually override it
+export type Info = Omit<z.infer<typeof Info>, "template"> & { template: Promise<string> | string }
+
+export function hints(template: string) {
+  const result: string[] = []
+  const numbered = template.match(/\$\d+/g)
+  if (numbered) {
+    for (const match of [...new Set(numbered)].sort()) result.push(match)
+  }
+  if (template.includes("$ARGUMENTS")) result.push("$ARGUMENTS")
+  return result
+}
+
+export const Default = {
+  INIT: "init",
+  REVIEW: "review",
+  DREAM: "dream",
+  DISTILL: "distill",
+  GOAL: "goal",
+  DEEP_RESEARCH: "deep-research",
+  MTY_BACKEND: "mty-backend",
+  MTY_FRONTEND_DESIGN: "mty-frontend-design",
+  MTY_FRONTEND: "mty-frontend",
+  MTY_TEAM: "mty-team",
+} as const
+
+export function deepResearchTemplate(): string {
+  return [
+    "The user wants a deep, multi-source, fact-checked research report.",
+    "",
+    "Research request:",
+    "$ARGUMENTS",
+    "",
+    "If the request is underspecified (missing scope, constraints, region, time range, etc.),",
+    "ask 2-3 brief clarifying questions FIRST, then weave the answers into a refined question.",
+    "",
+    "When the request is specific enough, run the built-in deep-research workflow:",
+    '  workflow({ operation: "run", name: "deep-research", args: "<the refined research question>" })',
+    "",
+    "Pass the full refined question as `args`. The workflow fans out web searches, fetches sources,",
+    "adversarially verifies claims, and returns a cited report; relay its result to the user.",
+  ].join("\n")
+}
+
+export interface Interface {
+  readonly get: (name: string) => Effect.Effect<Info | undefined>
+  readonly list: () => Effect.Effect<Info[]>
+}
+
+export class Service extends Context.Service<Service, Interface>()("@opencode/Command") {}
+
+export const layer = Layer.effect(
+  Service,
+  Effect.gen(function* () {
+    const config = yield* Config.Service
+    const mcp = yield* MCP.Service
+    const skill = yield* Skill.Service
+
+    const init = Effect.fn("Command.state")(function* (ctx: InstanceContext) {
+      const cfg = yield* config.get()
+      const bridge = yield* EffectBridge.make()
+      const commands: Record<string, Info> = {}
+
+      commands[Default.INIT] = {
+        name: Default.INIT,
+        description: "guided AGENTS.md setup",
+        source: "command",
+        get template() {
+          return PROMPT_INITIALIZE.replace("${path}", ctx.worktree)
+        },
+        hints: hints(PROMPT_INITIALIZE),
+      }
+      commands[Default.REVIEW] = {
+        name: Default.REVIEW,
+        description: "review changes [commit|branch|pr], defaults to uncommitted",
+        source: "command",
+        get template() {
+          return PROMPT_REVIEW.replace("${path}", ctx.worktree)
+        },
+        subtask: true,
+        hints: hints(PROMPT_REVIEW),
+      }
+      commands[Default.DREAM] = {
+        name: Default.DREAM,
+        description: "manually consolidate project memory from memory files and raw trajectory",
+        agent: "dream",
+        source: "command",
+        subtask: false,
+        get template() {
+          return [
+            "Run one manual dream memory consolidation pass for the current project.",
+            "",
+            "User focus or constraints:",
+            "$ARGUMENTS",
+            "",
+            "Use the memory files as the working index and the raw mtycoder trajectory database as the source of truth.",
+            "Use bash for read-only SQLite and filesystem inspection. Do not modify the database.",
+            "Consolidate only durable, verified information into project memory.",
+          ].join("\n")
+        },
+        hints: ["$ARGUMENTS"],
+      }
+      commands[Default.DISTILL] = {
+        name: Default.DISTILL,
+        description: "find repeated workflows in recent work and package them into skills, subagents, or commands",
+        agent: "distill",
+        source: "command",
+        subtask: false,
+        get template() {
+          return [
+            "Run one manual distill pass for the current project.",
+            "",
+            "User focus or constraints:",
+            "$ARGUMENTS",
+            "",
+            "Look back over recent work and identify repeated manual workflows worth packaging.",
+            "Use the raw mtycoder trajectory database as the source of truth and memory files to spot cross-session patterns.",
+            "Inventory existing skills, agents, and commands first so you reuse or extend instead of duplicating.",
+            "Use bash for read-only SQLite and filesystem inspection. Do not modify the database.",
+            "Produce a compact shortlist, then create only the high-confidence missing assets.",
+          ].join("\n")
+        },
+        hints: ["$ARGUMENTS"],
+      }
+      commands[Default.GOAL] = {
+        name: Default.GOAL,
+        description: "set a stop-condition goal; runs until a judge says it's met. /goal clear to abort",
+        source: "command",
+        subtask: false,
+        get template() {
+          return "$ARGUMENTS"
+        },
+        hints: ["$ARGUMENTS"],
+      }
+
+      if (Flag.MTYCODER_EXPERIMENTAL_WORKFLOW_TOOL) {
+        commands[Default.DEEP_RESEARCH] = {
+          name: Default.DEEP_RESEARCH,
+          description: "deep multi-source, fact-checked research report (runs the deep-research workflow)",
+          source: "command",
+          subtask: false,
+          get template() {
+            return deepResearchTemplate()
+          },
+          hints: ["$ARGUMENTS"],
+        }
+      }
+
+      commands[Default.MTY_BACKEND] = {
+        name: Default.MTY_BACKEND,
+        description: "后端开发全流程：研究→构思→计划→TDD执行→优化→评审",
+        source: "command",
+        subtask: false,
+        get template() {
+          return PROMPT_MTY_BACKEND
+        },
+        hints: ["$ARGUMENTS"],
+      }
+      commands[Default.MTY_FRONTEND_DESIGN] = {
+        name: Default.MTY_FRONTEND_DESIGN,
+        description: "页面/UI设计全流程：研究→构思→组件计划→实现→打磨→评审",
+        source: "command",
+        subtask: false,
+        get template() {
+          return PROMPT_MTY_FRONTEND_DESIGN
+        },
+        hints: ["$ARGUMENTS"],
+      }
+      commands[Default.MTY_FRONTEND] = {
+        name: Default.MTY_FRONTEND,
+        description: "前端开发全流程：研究→构思→计划→执行→优化→评审",
+        source: "command",
+        subtask: false,
+        get template() {
+          return PROMPT_MTY_FRONTEND
+        },
+        hints: ["$ARGUMENTS"],
+      }
+      commands[Default.MTY_TEAM] = {
+        name: Default.MTY_TEAM,
+        description: "8阶段企业级工作流：需求澄清→风险分级→Spec→计划→TDD执行→代码审查→质量验证→交付总结",
+        source: "command",
+        subtask: false,
+        get template() {
+          return PROMPT_MTY_TEAM
+        },
+        hints: ["$ARGUMENTS"],
+      }
+
+      for (const [name, command] of Object.entries(cfg.command ?? {})) {
+        commands[name] = {
+          name,
+          agent: command.agent,
+          model: command.model,
+          description: command.description,
+          source: "command",
+          get template() {
+            return command.template
+          },
+          subtask: command.subtask,
+          hints: hints(command.template),
+        }
+      }
+
+      for (const [name, prompt] of Object.entries(yield* mcp.prompts())) {
+        commands[name] = {
+          name,
+          source: "mcp",
+          description: prompt.description,
+          get template() {
+            return bridge.promise(
+              mcp
+                .getPrompt(
+                  prompt.client,
+                  prompt.name,
+                  prompt.arguments
+                    ? Object.fromEntries(prompt.arguments.map((argument, i) => [argument.name, `$${i + 1}`]))
+                    : {},
+                )
+                .pipe(
+                  Effect.map(
+                    (template) =>
+                      template?.messages
+                        .map((message) => (message.content.type === "text" ? message.content.text : ""))
+                        .join("\n") || "",
+                  ),
+                ),
+            )
+          },
+          hints: prompt.arguments?.map((_, i) => `$${i + 1}`) ?? [],
+        }
+      }
+
+      for (const item of yield* skill.all()) {
+        if (commands[item.name]) continue
+        commands[item.name] = {
+          name: item.name,
+          description: item.description,
+          source: "skill",
+          get template() {
+            return item.content
+          },
+          hints: [],
+        }
+      }
+
+      return {
+        commands,
+      }
+    })
+
+    const state = yield* InstanceState.make<State>((ctx) => init(ctx))
+
+    const get = Effect.fn("Command.get")(function* (name: string) {
+      const s = yield* InstanceState.get(state)
+      return s.commands[name]
+    })
+
+    const list = Effect.fn("Command.list")(function* () {
+      const s = yield* InstanceState.get(state)
+      return Object.values(s.commands)
+    })
+
+    return Service.of({ get, list })
+  }),
+)
+
+export const defaultLayer = layer.pipe(
+  Layer.provide(Config.defaultLayer),
+  Layer.provide(MCP.defaultLayer),
+  Layer.provide(Skill.defaultLayer),
+)
+
+export * as Command from "."

package/src/command/template/initialize.txt

@@ -0,0 +1,66 @@
+Create or update `AGENTS.md` for this repository.
+
+The goal is a compact instruction file that helps future OpenCode sessions avoid mistakes and ramp up quickly. Every line should answer: "Would an agent likely miss this without help?" If not, leave it out.
+
+User-provided focus or constraints (honor these):
+$ARGUMENTS
+
+## How to investigate
+
+Read the highest-value sources first:
+- `README*`, root manifests, workspace config, lockfiles
+- build, test, lint, formatter, typecheck, and codegen config
+- CI workflows and pre-commit / task runner config
+- existing instruction files (`AGENTS.md`, `CLAUDE.md`, `.cursor/rules/`, `.cursorrules`, `.github/copilot-instructions.md`)
+- repo-local OpenCode config such as `opencode.json`
+
+If architecture is still unclear after reading config and docs, inspect a small number of representative code files to find the real entrypoints, package boundaries, and execution flow. Prefer reading the files that explain how the system is wired together over random leaf files.
+
+Prefer executable sources of truth over prose. If docs conflict with config or scripts, trust the executable source and only keep what you can verify.
+
+## What to extract
+
+Look for the highest-signal facts for an agent working in this repo:
+- exact developer commands, especially non-obvious ones
+- how to run a single test, a single package, or a focused verification step
+- required command order when it matters, such as `lint -> typecheck -> test`
+- monorepo or multi-package boundaries, ownership of major directories, and the real app/library entrypoints
+- framework or toolchain quirks: generated code, migrations, codegen, build artifacts, special env loading, dev servers, infra deploy flow
+- repo-specific style or workflow conventions that differ from defaults
+- testing quirks: fixtures, integration test prerequisites, snapshot workflows, required services, flaky or expensive suites
+- important constraints from existing instruction files worth preserving
+
+Good `AGENTS.md` content is usually hard-earned context that took reading multiple files to infer.
+
+## Questions
+
+Only ask the user questions if the repo cannot answer something important. Use the `question` tool for one short batch at most.
+
+Good questions:
+- undocumented team conventions
+- branch / PR / release expectations
+- missing setup or test prerequisites that are known but not written down
+
+Do not ask about anything the repo already makes clear.
+
+## Writing rules
+
+Include only high-signal, repo-specific guidance such as:
+- exact commands and shortcuts the agent would otherwise guess wrong
+- architecture notes that are not obvious from filenames
+- conventions that differ from language or framework defaults
+- setup requirements, environment quirks, and operational gotchas
+- references to existing instruction sources that matter
+
+Exclude:
+- generic software advice
+- long tutorials or exhaustive file trees
+- obvious language conventions
+- speculative claims or anything you could not verify
+- content better stored in another file referenced via `opencode.json` `instructions`
+
+When in doubt, omit.
+
+Prefer short sections and bullets. If the repo is simple, keep the file simple. If the repo is large, summarize the few structural facts that actually change how an agent should work.
+
+If `AGENTS.md` already exists at `${path}`, improve it in place rather than rewriting blindly. Preserve verified useful guidance, delete fluff or stale claims, and reconcile it with the current codebase.