axmap-cli 0.0.1

package/app/lib/adjacent.mjs

@@ -0,0 +1,125 @@
+/**
+ * 기능 인접 경고 — 파일은 안 겹치는데 **기능이 겹칠 때**.
+ *
+ * v0 프로토콜은 경로가 겹치는지만 본다. 그것으로 못 잡는 상황이 있다.
+ *
+ *   에이전트 A 가 `album.controller.ts` 를 잡는다   (API 쪽, 앞에서부터)
+ *   에이전트 B 가 `album.repository.ts` 를 잡는다   (DB 쪽, 뒤에서부터)
+ *
+ * 경로가 안 겹치므로 **둘 다 통과한다.** 그런데 같은 기능이다.
+ * A 가 응답 형태를 바꾸고 B 가 스키마를 바꾸면, 머지 시점에 텍스트 충돌은
+ * 하나도 없는데 기능이 깨진다. 이것이 파일 단위 락의 한계다.
+ *
+ * 🔴 이것은 **경고이지 거부가 아니다.** 프로토콜을 건드리지 않는다.
+ *
+ * checkOverlap 은 그대로 두고, 뷰어가 옆에서 알려주기만 한다. 이유가 있다 —
+ *
+ *   1. 거부로 만들면 통과가 **줄어드는** 게 아니라 판정 기준이 달라진다.
+ *      "경로가 겹치면 거부" 는 결정론이고 증명 가능하지만(I1), "기능이 겹치면
+ *      거부" 는 lift 문턱이라는 조절 가능한 숫자에 기댄다. 그 숫자를 정당화할
+ *      근거가 아직 없다 (DECISIONS.md 열린 질문 Q5).
+ *   2. 히스토리가 없는 새 저장소에서는 이 신호가 아예 없다. 락이 그런 것에
+ *      의존하면 "어떤 저장소에서는 락이 약해진다" 는 상태가 된다.
+ *
+ * 그래서 게이트는 그대로, 사람에게 정보만 준다 — D4 가 LLM 을 게이트 밖에
+ * 둔 것과 같은 배치다.
+ */
+
+/** 경로 접두사 포함. protocol.mjs 의 겹침 판정과 같은 '/' 경계 규칙을 쓴다. */
+const covers = (claimPath, file) => file === claimPath || file.startsWith(`${claimPath}/`)
+
+/** 이 claim 이 덮는 실제 파일들 */
+function filesOf(claim, allPaths) {
+  const out = new Set()
+  for (const c of claim.paths ?? []) {
+    for (const f of allPaths) if (covers(c, f)) out.add(f)
+  }
+  return out
+}
+
+/**
+ * 활성 claim 들 사이에서 "경로는 안 겹치는데 공변경으로 이어진" 쌍을 찾는다.
+ *
+ * @param {object[]} claims    활성 claim (agent, paths, task, intent…)
+ * @param {object[]} coEdges   공변경 엣지 (source, target, support, lift)
+ * @param {string[]} allPaths  그래프에 있는 파일 전체
+ * @param {object} opts
+ * @returns {{pairs: object[], byAgent: object}}
+ */
+export function featureAdjacency(claims, coEdges, allPaths, {
+  minLift = 3, minSupport = 4, maxEvidence = 8,
+} = {}) {
+  const live = (claims ?? []).filter((c) => !c.broken && (c.paths?.length ?? 0) > 0)
+  if (live.length < 2) return { pairs: [], checked: live.length }
+
+  const owned = live.map((c) => ({ claim: c, files: filesOf(c, allPaths) }))
+
+  // 파일 → 그 파일을 덮는 claim 들. 같은 파일을 둘이 덮고 있으면 그건
+  // 프로토콜이 이미 막았어야 하는 상황이므로 여기서 다루지 않는다.
+  const ownerOf = new Map()
+  owned.forEach((o, i) => { for (const f of o.files) ownerOf.set(f, i) })
+
+  const pairKey = (i, j) => (i < j ? `${i}\0${j}` : `${j}\0${i}`)
+  const acc = new Map()
+
+  for (const e of coEdges) {
+    if ((e.lift ?? 0) < minLift || (e.support ?? 0) < minSupport) continue
+    const a = ownerOf.get(e.source)
+    const b = ownerOf.get(e.target)
+    if (a === undefined || b === undefined || a === b) continue
+
+    const k = pairKey(a, b)
+    if (!acc.has(k)) acc.set(k, { a: Math.min(a, b), b: Math.max(a, b), evidence: [] })
+    acc.get(k).evidence.push({
+      from: e.source, to: e.target, lift: e.lift, support: e.support,
+    })
+  }
+
+  const pairs = [...acc.values()].map((p) => {
+    const A = owned[p.a].claim
+    const B = owned[p.b].claim
+    const ev = p.evidence.sort((x, y) => y.lift - x.lift).slice(0, maxEvidence)
+    return {
+      agents: [A.agent, B.agent],
+      tasks: [A.task ?? null, B.task ?? null],
+      intents: [A.intent ?? null, B.intent ?? null],
+      paths: [A.paths, B.paths],
+      // 세기는 "몇 개의 공변경 엣지가 두 영역을 가로지르나" + 가장 강한 lift.
+      // 하나의 점수로 합치지 않는다 — 둘은 다른 것을 뜻한다.
+      // (엣지 수 = 얼마나 넓게 얽혔나 / 최고 lift = 얼마나 강하게 얽혔나)
+      crossings: p.evidence.length,
+      topLift: ev[0]?.lift ?? 0,
+      evidence: ev,
+    }
+  }).sort((x, y) => y.crossings - x.crossings || y.topLift - x.topLift)
+
+  return { pairs, checked: live.length }
+}
+
+/**
+ * 사람이 읽을 경고문.
+ *
+ * 거부 메시지와 **같은 모양**으로 만든다. 이 저장소의 거부 메시지는
+ * "누가·무엇을·언제까지" 를 말해서 에이전트가 스스로 방향을 틀 수 있게 한다.
+ * 경고도 같은 재료를 줘야 같은 판단을 할 수 있다.
+ */
+export function formatAdjacency(pair) {
+  const [a, b] = pair.agents
+  const lines = [
+    `⚠ 경로는 안 겹치지만 같은 기능일 수 있습니다`,
+    ``,
+    `  ${a}  (${pair.tasks[0] ?? '작업 미지정'})`,
+    `    ${pair.paths[0].join(', ')}`,
+    pair.intents[0] ? `    의도: ${pair.intents[0]}` : null,
+    ``,
+    `  ${b}  (${pair.tasks[1] ?? '작업 미지정'})`,
+    `    ${pair.paths[1].join(', ')}`,
+    pair.intents[1] ? `    의도: ${pair.intents[1]}` : null,
+    ``,
+    `  근거 — 두 영역을 가로지르는 공변경 ${pair.crossings}건 (최고 lift ${pair.topLift})`,
+    ...pair.evidence.slice(0, 4).map((e) => `    ${e.from}  ↔  ${e.to}   lift ${e.lift} · n=${e.support}`),
+    ``,
+    `  이것은 거부가 아닙니다. 두 사람이 서로의 의도를 아는 것으로 충분할 수 있습니다.`,
+  ]
+  return lines.filter((l) => l !== null).join('\n')
+}

package/app/lib/agentcli.mjs

@@ -0,0 +1,153 @@
+/**
+ * 어떤 AI CLI 가 이 PC 에 있고, 로그인돼 있는가.
+ *
+ * 🔴 왜 필요한가.
+ *
+ * 화면에서는 "새 대화" 지만 실제로는 **CLI 프로세스를 하나 띄우는 것**이다.
+ * 그 CLI 에 로그인이 안 돼 있으면 프롬프트를 보낸 뒤에야 로그인 화면이 뜨는데,
+ * 우리는 터미널을 감춰 놨으므로 사용자에게는 그냥 **아무 일도 안 일어난 것**으로
+ * 보인다. 그래서 대화를 시작하기 전에 먼저 물어본다.
+ *
+ * 세 CLI 모두 같은 모양의 비대화형 모드를 갖고 있어서 한 겹으로 덮을 수 있다.
+ *
+ *   -p / --print                     한 번 묻고 끝낸다
+ *   --output-format stream-json      JSONL 로 흘려준다 → 채팅 말풍선으로 다시 그린다
+ *   --resume / --conversation <id>   앞 대화에 이어붙인다
+ */
+
+import { spawnSync } from 'node:child_process'
+import fs from 'node:fs'
+import os from 'node:os'
+import path from 'node:path'
+
+const HOME = os.homedir()
+const hasHome = (rel) => { try { return fs.existsSync(path.join(HOME, rel)) } catch { return false } }
+
+/**
+ * 🔴 `claude` 는 세션 id 를 **받고**, `agy` 는 **주기만 한다.**
+ *
+ * 그래서 이어붙이는 방법이 둘로 갈린다.
+ *   받는 쪽 — 우리가 uuid 를 만들어 첫 턴에 박고, 그 값으로 resume 한다
+ *   주는 쪽 — 첫 턴 응답에서 id 를 주워 두었다가 다음 턴에 쓴다
+ * 둘 다 `pickId()` 로 응답에서 id 를 줍는다. 받는 쪽도 주워 두면 우리가 만든
+ * 값과 CLI 가 실제로 쓴 값이 어긋났을 때 CLI 쪽을 따라갈 수 있다.
+ */
+export const AGENTS = [
+  {
+    id: 'claude',
+    name: 'Claude Code',
+    bin: 'claude',
+    creds: ['.claude/.credentials.json', '.claude.json'],
+    takesId: true,
+    start: (id) => ['-p', '--output-format', 'stream-json', '--verbose', '--session-id', id],
+    resume: (cid) => ['-p', '--output-format', 'stream-json', '--verbose', '--resume', cid],
+  },
+  {
+    id: 'agy',
+    name: 'agy',
+    bin: 'agy',
+    /**
+     * 🔴 여기에 `AppData/Local/agy` 를 넣었다가 뺐다.
+     *
+     * 그건 **실행 파일이 있는 자리**이지 자격증명이 아니다. 넣어 두면 설치만
+     * 해도 "로그인됨" 으로 뜬다 — 확신 있게 틀린 답이고, 이 저장소가 가장
+     * 싫어하는 종류의 실패다(D5). 모르면 `unknown` 이 맞는 답이다.
+     */
+    creds: ['.agy/auth.json', '.agy/credentials.json', '.config/agy/auth.json'],
+    takesId: false,
+    start: () => ['-p', '--output-format', 'stream-json'],
+    resume: (cid) => ['-p', '--output-format', 'stream-json', '--conversation', cid],
+  },
+  {
+    id: 'codex',
+    name: 'Codex CLI',
+    bin: 'codex',
+    creds: ['.codex/auth.json'],
+    takesId: false,
+    start: () => ['exec', '--json', '-'],
+    resume: (cid) => ['exec', 'resume', cid, '--json', '-'],
+    /**
+     * 🔴 이 PC 에 codex 가 없어서 **실물로 확인하지 못했다.**
+     * 확인 안 된 것을 확인된 것처럼 화면에 내보내지 않는다 — 화면이 이 표시를
+     * 그대로 띄운다. 실제 codex 가 있는 PC 에서 한 번 돌려보고 이 줄을 지운다.
+     */
+    unverified: true,
+  },
+]
+
+export const agentById = (id) => AGENTS.find((a) => a.id === id) ?? null
+
+/**
+ * 실행 파일의 실제 경로.
+ *
+ * 🔴 윈도우의 `spawn('claude', …)` 은 확장자 없는 이름을 못 찾는다.
+ * `shell: true` 로 우회하면 프롬프트 안의 따옴표가 셸에 먹혀 **조용히 잘린다** —
+ * 사용자가 쓴 말이 반쯤 사라진 채로 AI 에게 간다는 뜻이라 최악이다.
+ * 그래서 경로를 먼저 풀어서 그 경로로 직접 띄운다. 프롬프트는 stdin 으로 준다.
+ */
+export function resolveBin(bin) {
+  const cmd = process.platform === 'win32' ? 'where' : 'which'
+  try {
+    const r = spawnSync(cmd, [bin], { encoding: 'utf8', windowsHide: true })
+    if (r.status !== 0) return null
+    return r.stdout.split(/\r?\n/).map((s) => s.trim()).filter(Boolean)[0] ?? null
+  } catch { return null }
+}
+
+/**
+ * 로그인 여부는 **모르면 모른다고 한다.**
+ *
+ * 자격증명이 있는 자리는 CLI 버전마다 바뀌고, macOS 는 키체인에 넣어서 파일이
+ * 아예 없다. 없다고 단정하면 멀쩡한 CLI 를 못 쓰게 막고, 있다고 단정하면 첫
+ * 프롬프트에서 로그인 화면이 떠 대화가 그냥 멈춘다. 둘 다 조용한 실패다.
+ * 그래서 `yes` · `no` · `unknown` 셋으로 답하고, 화면이 그 셋을 다르게 그린다.
+ *
+ * 🔴 그러므로 `unknown` 을 "아마 되겠지" 로 접지 마라. 그 값이 화면에
+ * "로그인 상태를 확인하지 못했습니다" 로 그대로 나가는 것이 설계다 —
+ * 터미널을 감춰 놨기 때문에 침묵이 곧 미궁이 된다.
+ */
+function signedIn(a, installed) {
+  if (!installed) return 'no'
+  return a.creds.some(hasHome) ? 'yes' : 'unknown'
+}
+
+/** 이 PC 에서 쓸 수 있는 CLI 목록. 화면이 시작할 때 한 번 묻는다. */
+export function detect() {
+  return AGENTS.map((a) => {
+    const bin = resolveBin(a.bin)
+    return {
+      id: a.id,
+      name: a.name,
+      installed: !!bin,
+      path: bin,
+      signedIn: signedIn(a, !!bin),
+      unverified: !!a.unverified,
+    }
+  })
+}
+
+/** 설치돼 있는 것 중 첫 번째. 화면이 기본값으로 쓴다. */
+export function preferred(found = detect()) {
+  return found.find((a) => a.installed && a.signedIn !== 'no') ?? found.find((a) => a.installed) ?? null
+}
+
+/**
+ * 이번 턴에 띄울 인자.
+ * `cid` 가 있으면 이어붙이고, 없으면 새로 시작한다.
+ */
+export function argvFor(agent, { cid, newId }) {
+  return cid ? agent.resume(cid) : agent.start(newId)
+}
+
+/**
+ * 응답 이벤트에서 대화 id 를 줍는다.
+ * CLI 마다 이름이 달라서 아는 이름을 전부 본다. 못 찾으면 null 이고,
+ * 그러면 다음 턴은 **이어붙지 않고 새 대화가 된다** — 조용히 섞이는 것보다 낫다.
+ */
+export function pickId(ev) {
+  if (!ev || typeof ev !== 'object') return null
+  for (const k of ['session_id', 'sessionId', 'conversation_id', 'conversationId', 'thread_id']) {
+    if (typeof ev[k] === 'string' && ev[k]) return ev[k]
+  }
+  return null
+}