@nikovirtala/adr 0.3.0 → 0.4.0

package/dist/server-CXCO5zfp.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server-CXCO5zfp.js","names":[],"sources":["../src/mcp/policy.ts","../src/mcp/resources.ts","../src/mcp/text.ts","../src/mcp/tools.ts","../src/mcp/prompt.ts","../src/mcp/server.ts"],"sourcesContent":["import type { Actor, Finding } from \"@nikovirtala/ledger\";\nimport type { AdrConfig } from \"../config.js\";\nimport { adrKind, type DecisionView } from \"../kind.js\";\nimport type { DecisionsRead } from \"../log.js\";\n\n/** The tools that decide; listed only with `[policy] mcp_can_decide = true`. */\nexport const DECISION_TOOLS = [\n  \"adr_accept\",\n  \"adr_reject\",\n  \"adr_deprecate\",\n  \"adr_supersede\",\n] as const;\n\n/** Whether `adr mcp` offers the decision tools (design §7.5, Table A). */\nexport function decisionToolsAvailable(adr: AdrConfig): boolean {\n  return adr.mcpCanDecide;\n}\n\n/**\n * Who a proposal is for (design D5): its `proposed` event's actor, `on_behalf_of` for an agent\n * and `email` for a human, lower-cased; `null` when the event or the address is missing.\n */\nexport function proposalOwner(read: DecisionsRead, id: string): string | null {\n  const proposed = read.folded.subjects\n    .get(id)\n    ?.applied.find((a) => a.event.type === adrKind.machine.initial.type);\n  const actor = proposed?.event.actor;\n  if (actor === undefined) return null;\n  const owner = actor.kind === \"agent\" ? actor.on_behalf_of : actor.email;\n  return typeof owner === \"string\" && owner.trim() !== \"\" ? owner.trim().toLowerCase() : null;\n}\n\n/** The writes `mcpWriteRefusal` judges: the ones whose ownership matters. */\nexport type PolicyTool = \"adr_scope\" | \"adr_update_draft\" | \"adr_withdraw\";\n\n/**\n * The MCP policy (design §7.5, Table B): `null` when the write may go ahead, else the\n * `decision/mcp-cannot-decide` finding. Without `mcp_can_decide` an agent may scope, edit and\n * withdraw only the proposals made for the person it acts for, and rescope no accepted or\n * deprecated decision.\n * Writes the state machine forbids anyway get `null`, so the library refuses them with the real\n * reason.\n */\nexport function mcpWriteRefusal(o: {\n  readonly tool: PolicyTool;\n  readonly view: DecisionView;\n  readonly owner: string | null;\n  readonly actor: Actor;\n  readonly mcpCanDecide: boolean;\n  readonly display: (id: string) => string;\n  /** The finding's file when the decision has no body: its events directory. */\n  readonly eventsDir: string;\n}): Finding | null {\n  const { view } = o;\n  if (o.tool === \"adr_scope\" && !adrKind.machine.allowed(view.status, \"scoped\")) return null;\n  if (o.tool === \"adr_update_draft\" && view.status !== \"proposed\") return null;\n  if (o.tool === \"adr_withdraw\" && !adrKind.machine.allowed(view.status, \"withdrawn\")) return null;\n  if (o.mcpCanDecide) return null;\n  const me = o.actor.on_behalf_of?.trim().toLowerCase() ?? null;\n  if (view.status === \"proposed\" && o.owner !== null && o.owner === me) return null;\n  const shown = o.display(view.id);\n  const named = shown === view.id ? view.id : `${shown} (${view.id})`;\n  const verb = o.tool === \"adr_withdraw\" ? \"withdrawing\" : \"changing\";\n  const message =\n    view.status === \"proposed\"\n      ? `${named} was proposed for ${o.owner ?? \"someone else\"}, and you act for ${o.actor.on_behalf_of ?? \"nobody\"}; ${verb} another person's proposal needs [policy] mcp_can_decide = true. Add a note with adr_note instead.`\n      : `${named} is ${view.status}; rescoping it needs [policy] mcp_can_decide = true, because narrowing a scope can switch a decision off. Ask a human to run adr scope ${shown} …, or propose a superseding decision.`;\n  return {\n    severity: \"error\",\n    rule: \"decision/mcp-cannot-decide\",\n    message,\n    file: view.body_path ?? o.eventsDir,\n    line: null,\n    subject: view.id,\n    kind: adrKind.name,\n  };\n}\n","import { renderIndex, resolveSubjectInput, UsageError } from \"@nikovirtala/ledger\";\nimport type { McpResource, McpResourceTemplate } from \"@nikovirtala/ledger/mcp\";\nimport { adrKind } from \"../kind.js\";\nimport { type DecisionsRead, readDecisions, resolveDecision } from \"../log.js\";\nimport { DECISION_INDEX } from \"../log-index.js\";\nimport { showDecision } from \"../views.js\";\nimport { mcpHeader } from \"./text.js\";\nimport { type AdrMcpEnv, openLog } from \"./tools.js\";\n\nconst MAX_ID = 64;\n\n/**\n * Where an MCP client reads a decision: `adr://decision/ADR-0012` when numbered, else\n * `adr://decision/<id>`. The `refer` of every header the MCP texts show.\n */\nexport function decisionUri(read: DecisionsRead): (id: string) => string {\n  return (id) => `adr://decision/${read.projection.views.get(id)?.display ?? id}`;\n}\n\n/** `adr://index`: the index table, numbered like every other read (design §7.7). */\nexport function indexResource(e: AdrMcpEnv): McpResource {\n  return {\n    uri: \"adr://index\",\n    name: \"index\",\n    title: \"Decision index\",\n    description: \"All decisions, grouped by status, with numbers and dates\",\n    mimeType: \"text/markdown\",\n    async read() {\n      const read = await readDecisions(await openLog(e));\n      const views = read.projection.views;\n      return {\n        header: null,\n        text: renderIndex(DECISION_INDEX(read.root, views), [...views.values()], read.numbering),\n      };\n    },\n  };\n}\n\n/**\n * `adr://decision/{id}`: the decision's state header, then its body. `{id}` is the id, the number\n * (`12`, `0012`) or `ADR-0012`; an unknown one is not found, a malformed or qualified one is the\n * caller's error.\n */\nexport function decisionResource(e: AdrMcpEnv): McpResourceTemplate {\n  return {\n    uriTemplate: \"adr://decision/{id}\",\n    name: \"decision\",\n    title: \"Decision\",\n    description:\n      \"One decision: its state header, then its body. {id} is the id (k3f9q8a1), the number (12) or ADR-0012\",\n    mimeType: \"text/markdown\",\n    async read({ id = \"\" }) {\n      if (id.length > MAX_ID) {\n        throw new UsageError(\n          `invalid decision ${JSON.stringify(`${id.slice(0, MAX_ID)}…`)}: an id or number is at most ${MAX_ID} characters`,\n        );\n      }\n      const read = await readDecisions(await openLog(e));\n      const r = resolveSubjectInput(id, {\n        subjects: new Set(read.folded.subjects.keys()),\n        kind: adrKind,\n        numbering: read.numbering,\n      });\n      if (!r.ok && r.reason === \"not-found\") return null;\n      const doc = await showDecision(read, resolveDecision(read, id));\n      return {\n        header: mcpHeader(doc.decision, read),\n        text: doc.body === null ? \"(no body file)\\n\" : doc.body,\n      };\n    },\n  };\n}\n","/**\n * The readable text of each MCP tool result (design §7.4, last column). The documents are the\n * CLI's; these texts are MCP's own, and their state headers point at `adr://decision/…`.\n */\nimport {\n  type EventEnvelope,\n  type Finding,\n  renderStateHeader,\n  type StateHeader,\n} from \"@nikovirtala/ledger\";\nimport type { McpToolResult } from \"@nikovirtala/ledger/mcp\";\nimport type { DecisionView } from \"../kind.js\";\nimport type { DecisionsRead } from \"../log.js\";\nimport type { DecisionsForJson } from \"../scope.js\";\nimport type { DecisionSearchJson } from \"../search.js\";\nimport type { TemplatesJson } from \"../templates/list.js\";\nimport { type DecisionListJson, type DecisionShowJson, stateHeader } from \"../views.js\";\nimport type { WriteResultJson } from \"../write.js\";\nimport { decisionUri } from \"./resources.js\";\n\ntype Text = Omit<McpToolResult, \"document\">;\n\nconst display = (read: DecisionsRead) => (id: string) =>\n  read.projection.views.get(id)?.display ?? id;\n\nfunction named(read: DecisionsRead, id: string): string {\n  const shown = display(read)(id);\n  return shown === id ? id : `${shown} (${id})`;\n}\n\n/** The decision's state header with MCP's `adr://` references. */\nexport function mcpHeader(view: DecisionView, read: DecisionsRead): StateHeader {\n  return stateHeader(view, read, { refer: decisionUri(read) });\n}\n\n/** `adr_search`: each result's header, title and excerpt, then the counts. */\nexport function searchText(doc: DecisionSearchJson, read: DecisionsRead): Text {\n  if (doc.results.length === 0) {\n    const more =\n      doc.inactive_omitted > 0\n        ? [`${inactiveLine(doc.inactive_omitted)}; pass include_inactive`]\n        : [];\n    return { headers: [], text: [\"No decisions match.\", ...more].join(\"\\n\") };\n  }\n  const lines: string[] = [];\n  for (const r of doc.results) {\n    lines.push(renderStateHeader(mcpHeader(r.decision, read)).trimEnd());\n    lines.push(`  ${r.decision.title}`);\n    const where = r.matched.filter((f) => f === \"id\" || f === \"title\").join(\" and \");\n    lines.push(r.excerpt === null ? `  (${where} match)` : `  ${r.excerpt}`);\n  }\n  lines.push(`${doc.results.length} of ${doc.total} shown`);\n  if (doc.inactive_omitted > 0) {\n    lines.push(`${inactiveLine(doc.inactive_omitted)}; pass include_inactive`);\n  }\n  return { headers: [], text: lines.join(\"\\n\") };\n}\n\nconst inactiveLine = (k: number) =>\n  k === 1 ? \"1 inactive decision also matches\" : `${k} inactive decisions also match`;\n\nfunction listOf(read: DecisionsRead, ids: readonly string[]): string {\n  return ids.length === 0 ? \"none\" : ids.map((id) => named(read, id)).join(\", \");\n}\n\nfunction historyLines(events: readonly EventEnvelope[]): string[] {\n  return events.map((e) => {\n    const a = e.actor;\n    const who = a.kind === \"agent\" ? `${a.name} (agent for ${a.on_behalf_of})` : a.name;\n    const why = typeof e.reason === \"string\" ? ` — ${e.reason}` : \"\";\n    return `  ${e.at}  ${e.type}  ${who}${why}`;\n  });\n}\n\n/** `adr_get`: the header, the decision's fields as `adr show` lists them, then the body. */\nexport function getText(doc: DecisionShowJson, read: DecisionsRead): Text {\n  const v = doc.decision;\n  const lines = [\n    `Title: ${v.title}`,\n    `Status: ${v.status} (${v.status_at.slice(0, 10)})`,\n    `Effective: ${v.effective === null ? \"none (supersession cycle)\" : named(read, v.effective)}`,\n    `Chain: ${v.chain.map(display(read)).join(\" → \")}`,\n    `Supersedes: ${listOf(read, v.supersedes)}`,\n    `Applies to: ${v.applies_to.length === 0 ? \"no globs recorded\" : v.applies_to.join(\", \")}`,\n  ];\n  if (doc.events !== null) lines.push(\"History:\", ...historyLines(doc.events));\n  lines.push(\"\", doc.body === null ? \"(no body file)\" : doc.body.trimEnd());\n  return { headers: [mcpHeader(v, read)], text: lines.join(\"\\n\") };\n}\n\n/** `adr_list`: one line per decision. */\nexport function listText(doc: DecisionListJson, read: DecisionsRead): Text {\n  if (doc.decisions.length === 0) return { headers: [], text: \"No decisions.\" };\n  const lines = doc.decisions.map((v) => {\n    const head = v.number === null ? v.id : `${v.display} (${v.id})`;\n    const to =\n      v.effective !== null && v.effective !== v.id ? ` → ${display(read)(v.effective)}` : \"\";\n    return `${head} · ${v.status} · ${v.title}${to}`;\n  });\n  return { headers: [], text: lines.join(\"\\n\") };\n}\n\n/** `adr_templates`: each template, then its sections. */\nexport function templatesText(doc: TemplatesJson): Text {\n  const lines = doc.templates.flatMap((t) => [\n    `${t.name} v${t.version} (${t.source})${t.name === doc.default ? \" default\" : \"\"}`,\n    ...t.sections.map(\n      (s) =>\n        `  ${s.id}: ${s.heading} (${s.required ? \"required\" : \"optional\"})${s.guidance === null ? \"\" : ` — ${s.guidance}`}`,\n    ),\n  ]);\n  return { headers: [], text: lines.length === 0 ? \"No templates.\" : lines.join(\"\\n\") };\n}\n\n/** `adr_for_path`: per path, each decision's header and how it matched. */\nexport function forText(doc: DecisionsForJson, read: DecisionsRead): Text {\n  const lines: string[] = [];\n  for (const p of doc.paths) {\n    lines.push(p.tracked ? p.path : `${p.path} (not tracked)`);\n    if (p.decisions.length === 0 && p.unresolved.length === 0) lines.push(\"  no decisions\");\n    for (const d of p.decisions) {\n      const view = read.projection.views.get(d.id);\n      const h =\n        view === undefined\n          ? { line: `${named(read, d.id)} · ${d.status}`, warning: d.warning }\n          : mcpHeader(view, read);\n      lines.push(`  ${h.line}`);\n      if (h.warning !== null) lines.push(`    ${h.warning}`);\n      for (const via of d.via) {\n        lines.push(\n          via.type === \"glob\" ? `    via glob ${via.glob}` : `    via anchor line ${via.line}`,\n        );\n      }\n    }\n    for (const u of p.unresolved) {\n      const why = u.reason === \"other-log\" ? \"in another log\" : \"not in this log\";\n      lines.push(`  unresolved: ${u.ref} (line ${u.line}, ${why})`);\n    }\n  }\n  return { headers: [], text: lines.join(\"\\n\") };\n}\n\nconst SECTION_FINDING =\n  /^(?:required )?section (.+?) (is missing|is empty|still contains its guidance text)$/;\nconst REASONS: Readonly<Record<string, string>> = {\n  \"is missing\": \"missing\",\n  \"is empty\": \"empty\",\n  \"still contains its guidance text\": \"guidance\",\n};\n\n/** Lint findings as `Fill in: <heading> (<reason>)`, others as `Draft: <message> [<rule>]`. */\nfunction lintLines(findings: readonly Finding[]): string[] {\n  return findings.map((f) => {\n    const m = SECTION_FINDING.exec(f.message);\n    if (m === null) return `Draft: ${f.message} [${f.rule}]`;\n    const [, heading = \"\", what = \"\"] = m;\n    return `Fill in: ${heading} (${REASONS[what] ?? what})`;\n  });\n}\n\nconst noteLines = (doc: WriteResultJson) => doc.notes.map((n) => `Note: ${n}`);\n\n/** What a write's text needs besides the document. */\nexport interface WriteTextOptions {\n  /** The log read after the write, for the headers and how decisions display. */\n  readonly read: DecisionsRead;\n  /** For `adr_propose`: whether a human must accept. */\n  readonly acceptRequiresHuman?: boolean;\n  /** For `adr_scope`: the globs before the write. */\n  readonly scopeBefore?: readonly string[];\n  /** For `adr_update_draft`: the section ids sent. */\n  readonly sections?: readonly string[];\n  /** The tool, for the refusal's last line. */\n  readonly tool: string;\n}\n\n/** A write's text: `Refused:` and the findings, or what was written; then the notes. */\nexport function writeText(doc: WriteResultJson, o: WriteTextOptions): Text {\n  const { read } = o;\n  const view =\n    doc.decision === null ? null : (read.projection.views.get(doc.decision.id) ?? doc.decision);\n  const headers = view === null ? [] : [mcpHeader(view, read), ...affectedHeaders(doc, read)];\n  if (!doc.ok) {\n    const lint =\n      doc.findings.length > 0 && doc.findings.every((f) => f.rule.startsWith(\"template/\"));\n    const again =\n      lint && (o.tool === \"adr_propose\" || o.tool === \"adr_update_draft\")\n        ? [`Fill in every required section and call ${o.tool} again.`]\n        : [];\n    const lines = [\n      \"Refused:\",\n      ...doc.findings.map(\n        (f) => `  ${f.file === null ? \"\" : `${f.file}: `}${f.message} [${f.rule}]`,\n      ),\n      ...again,\n      ...noteLines(doc),\n    ];\n    return { headers, text: lines.join(\"\\n\") };\n  }\n  if (view === null) return { headers, text: noteLines(doc).join(\"\\n\") };\n  const lines = bodyLines(doc, view, o);\n  return { headers, text: [...lines, ...noteLines(doc)].join(\"\\n\") };\n}\n\nfunction bodyLines(doc: WriteResultJson, v: DecisionView, o: WriteTextOptions): string[] {\n  const { read } = o;\n  const who = named(read, v.id);\n  const recorded = doc.commit === null ? [] : [`Committed ${doc.commit.slice(0, 7)}.`];\n  switch (doc.command) {\n    case \"new\":\n      return [\n        `Proposed ${v.id}: ${v.title}`,\n        ...(v.body_path === null ? [] : [`  ${v.body_path}`]),\n        ...lintLines(doc.findings),\n        ...recorded,\n        o.acceptRequiresHuman === true\n          ? `Next: ask a human to review and accept it (adr accept ${v.id})`\n          : `Next: adr_accept or adr accept ${v.id}`,\n      ];\n    case \"update\":\n      return doc.written.length === 0\n        ? [\"Unchanged\"]\n        : [\n            `Updated the draft of ${who}: ${(o.sections ?? []).join(\", \")}`,\n            ...lintLines(doc.findings),\n            ...recorded,\n          ];\n    case \"note\":\n      return [`Noted on ${who}`, ...recorded];\n    case \"link\": {\n      const link = doc.written.length === 0 ? undefined : v.links.at(-1);\n      if (link === undefined) return [`Links of ${who} unchanged`];\n      return [`Linked ${who} ${link.rel} ${named(read, link.to)}`, ...recorded];\n    }\n    case \"scope\": {\n      const before = new Set(o.scopeBefore ?? []);\n      const after = new Set(v.applies_to);\n      if (doc.written.length === 0) return [\"unchanged\"];\n      return [\n        ...v.applies_to.filter((g) => !before.has(g)).map((g) => `+ ${g}`),\n        ...[...before].filter((g) => !after.has(g)).map((g) => `- ${g}`),\n        `= ${v.applies_to.length === 0 ? \"no globs\" : v.applies_to.join(\", \")}`,\n        ...recorded,\n      ];\n    }\n    case \"accept\":\n      return [\n        `Accepted ${who}: ${v.title}`,\n        ...doc.affected.map((a) => `Superseded ${named(read, a.id)}: ${a.title}`),\n        ...recorded,\n      ];\n    case \"reject\":\n      return [`Rejected ${who}`, ...recorded];\n    case \"withdraw\":\n      return [`Withdrawn ${who}`, ...recorded];\n    case \"deprecate\":\n      return [`Deprecated ${who}`, ...recorded];\n    case \"supersede\":\n      return [`Superseded ${who} by ${named(read, v.superseded_by ?? \"\")}`, ...recorded];\n    default:\n      return [`${doc.command} ${who}`, ...recorded];\n  }\n}\n\n/** The headers of the decisions a write affected (superseded), other than its own. */\nfunction affectedHeaders(doc: WriteResultJson, read: DecisionsRead): StateHeader[] {\n  return doc.affected\n    .filter((a) => a.id !== doc.decision?.id)\n    .map((a) => mcpHeader(read.projection.views.get(a.id) ?? a, read));\n}\n","import {\n  type Attribution,\n  eventDir,\n  type JsonValue,\n  MAX_GLOB_LENGTH,\n  UsageError,\n} from \"@nikovirtala/ledger\";\nimport { type McpTool, type McpToolResult, mcpAttribution } from \"@nikovirtala/ledger/mcp\";\nimport { DECISION_STATUSES, type DecisionStatus } from \"../kind.js\";\nimport {\n  type DecisionLog,\n  type DecisionsRead,\n  openDecisionLog,\n  readDecisions,\n  resolveDecision,\n} from \"../log.js\";\nimport { decisionsFor } from \"../scope.js\";\nimport { searchDecisions } from \"../search.js\";\nimport { listTemplates } from \"../templates/list.js\";\nimport { listDecisions, showDecision } from \"../views.js\";\nimport {\n  acceptDecision,\n  deprecateDecision,\n  linkDecision,\n  noteDecision,\n  proposeDecision,\n  rejectDecision,\n  scopeDecision,\n  supersedeDecision,\n  updateDraft,\n  type WriteResultJson,\n  withdrawDecision,\n} from \"../write.js\";\nimport { mcpWriteRefusal, type PolicyTool, proposalOwner } from \"./policy.js\";\nimport {\n  forText,\n  getText,\n  listText,\n  searchText,\n  templatesText,\n  type WriteTextOptions,\n  writeText,\n} from \"./text.js\";\n\n/** Where `adr mcp` runs: every call opens the log afresh from here (design D2). */\nexport interface AdrMcpEnv {\n  readonly cwd: string;\n  readonly root: string | null;\n  readonly env: NodeJS.ProcessEnv;\n}\n\ntype Schema = Readonly<Record<string, JsonValue>>;\n\nexport const ID: Schema = { type: \"string\", minLength: 1, maxLength: 64 };\nconst TEXT: Schema = { type: \"string\", minLength: 1, maxLength: 65_536 };\nconst SECTIONS: Schema = {\n  type: \"object\",\n  propertyNames: { type: \"string\", pattern: \"^[a-z][a-z0-9-]*$\", maxLength: 64 },\n  additionalProperties: { type: \"string\", maxLength: 65_536 },\n  maxProperties: 50,\n};\nconst GLOBS: Schema = {\n  type: \"array\",\n  items: { type: \"string\", minLength: 1, maxLength: MAX_GLOB_LENGTH },\n  maxItems: 200,\n};\n\nconst object = (properties: Record<string, Schema>, required: string[] = []): Schema => ({\n  type: \"object\",\n  properties,\n  ...(required.length === 0 ? {} : { required }),\n  additionalProperties: false,\n});\n\nexport const READ = { readOnlyHint: true, openWorldHint: false } as const;\nexport const WRITE = { readOnlyHint: false, destructiveHint: false, openWorldHint: false } as const;\n\n/** The log for one call, opened again so outside edits and `[policy]` changes are seen. */\nexport const openLog = (e: AdrMcpEnv, ref: string | null = null): Promise<DecisionLog> =>\n  openDecisionLog({ cwd: e.cwd, root: e.root, ref, gitOptions: { env: e.env } });\n\nconst str = (v: JsonValue | undefined): string | undefined =>\n  typeof v === \"string\" ? v : undefined;\nconst strings = (v: JsonValue | undefined): string[] | undefined =>\n  Array.isArray(v) ? v.filter((x): x is string => typeof x === \"string\") : undefined;\nconst sectionsOf = (v: JsonValue | undefined): Record<string, string> =>\n  typeof v === \"object\" && v !== null && !Array.isArray(v)\n    ? Object.fromEntries(\n        Object.entries(v).flatMap(([k, x]) => (typeof x === \"string\" ? [[k, x]] : [])),\n      )\n    : {};\n\nconst doc = (d: unknown): JsonValue => d as JsonValue;\n\n/**\n * A write tool's result: the library's document, and its text rendered from a read of the log\n * after the write.\n */\nasync function writeResult(\n  log: DecisionLog,\n  d: WriteResultJson,\n  o: Omit<WriteTextOptions, \"read\">,\n): Promise<McpToolResult> {\n  const read = await readDecisions(log);\n  return { document: doc(d), ...writeText(d, { ...o, read }) };\n}\n\n/** The `adr-write/v1` command of each policy tool, as the CLI names it. */\nconst COMMAND: Record<PolicyTool, WriteResultJson[\"command\"]> = {\n  adr_scope: \"scope\",\n  adr_update_draft: \"update\",\n  adr_withdraw: \"withdraw\",\n};\n\n/**\n * The MCP policy step of `adr_scope`, `adr_update_draft` and `adr_withdraw` (design §7.5): the refusal document\n * when the agent may not make this write, else `null`.\n */\nfunction policyRefusal(\n  log: DecisionLog,\n  read: DecisionsRead,\n  tool: PolicyTool,\n  id: string,\n  attribution: Attribution,\n): WriteResultJson | null {\n  const view = read.projection.views.get(id);\n  if (view === undefined) return null;\n  const finding = mcpWriteRefusal({\n    tool,\n    view,\n    owner: proposalOwner(read, id),\n    actor: attribution.actor,\n    mcpCanDecide: log.adr.mcpCanDecide,\n    display: (x) => read.projection.views.get(x)?.display ?? x,\n    eventsDir: eventDir(read.layout, id),\n  });\n  if (finding === null) return null;\n  return {\n    format: \"adr-write/v1\",\n    command: COMMAND[tool],\n    ok: false,\n    decision: view,\n    affected: [],\n    written: [],\n    commit: null,\n    findings: [finding],\n    notes: [...log.notes, ...attribution.notes],\n  };\n}\n\n/** The eleven tools `adr mcp` always lists (design §7.4). */\nexport function alwaysOnTools(e: AdrMcpEnv): McpTool[] {\n  return [\n    {\n      name: \"adr_search\",\n      title: \"Search decisions\",\n      description:\n        \"Full-text search of the decision log: every word must appear in a decision's id, title, body or notes. Returns active (proposed or accepted) decisions unless include_inactive is true, each with its state header and an excerpt.\",\n      inputSchema: object(\n        {\n          query: { type: \"string\", minLength: 1, maxLength: 200 },\n          include_inactive: { type: \"boolean\" },\n          limit: { type: \"integer\", minimum: 1, maximum: 100 },\n        },\n        [\"query\"],\n      ),\n      annotations: READ,\n      async run(input) {\n        const read = await readDecisions(await openLog(e));\n        const d = searchDecisions(read, {\n          query: str(input.query) ?? \"\",\n          includeInactive: input.include_inactive === true,\n          limit: typeof input.limit === \"number\" ? input.limit : 10,\n        });\n        return { document: doc(d), ...searchText(d, read) };\n      },\n    },\n    {\n      name: \"adr_get\",\n      title: \"Get a decision\",\n      description:\n        \"One decision with its state header, computed status, supersession chain, effective decision and body. Use this or adr://decision/{id} instead of reading files under docs/adr. A SUPERSEDED or DEPRECATED header means: don't apply it, follow the warning.\",\n      inputSchema: object(\n        {\n          id: ID,\n          include_history: { type: \"boolean\" },\n          ref: { type: \"string\", minLength: 1, maxLength: 256 },\n        },\n        [\"id\"],\n      ),\n      annotations: READ,\n      async run(input) {\n        const read = await readDecisions(await openLog(e, str(input.ref) ?? null));\n        const id = resolveDecision(read, str(input.id) ?? \"\");\n        const d = await showDecision(read, id, { history: input.include_history === true });\n        return { document: doc(d), ...getText(d, read) };\n      },\n    },\n    {\n      name: \"adr_list\",\n      title: \"List decisions\",\n      description:\n        \"All decisions with their computed status, for orientation. Filter by status; limit truncates.\",\n      inputSchema: object({\n        status: {\n          type: \"array\",\n          items: { type: \"string\", enum: [...DECISION_STATUSES] },\n          uniqueItems: true,\n          minItems: 1,\n          maxItems: DECISION_STATUSES.length,\n        },\n        limit: { type: \"integer\", minimum: 1, maximum: 1000 },\n      }),\n      annotations: READ,\n      async run(input) {\n        const read = await readDecisions(await openLog(e));\n        const status = strings(input.status) as DecisionStatus[] | undefined;\n        const d = listDecisions(read, {\n          ...(status === undefined ? {} : { status }),\n          ...(typeof input.limit === \"number\" ? { limit: input.limit } : {}),\n        });\n        return { document: doc(d), ...listText(d, read) };\n      },\n    },\n    {\n      name: \"adr_templates\",\n      title: \"List templates\",\n      description:\n        \"The templates adr_propose can use, with each section's id, heading, whether it is required, and guidance for filling it in.\",\n      inputSchema: object({}),\n      annotations: READ,\n      async run() {\n        const d = await listTemplates(await readDecisions(await openLog(e)));\n        return { document: doc(d), ...templatesText(d) };\n      },\n    },\n    {\n      name: \"adr_propose\",\n      title: \"Propose a decision\",\n      description:\n        \"Propose a decision: give the title and a sections map (section id → markdown) for the template; the tool renders and stages the draft. Lint findings come back in findings: fix them with adr_update_draft. With auto_commit on, an incomplete draft is refused; send every required section. You can't accept your own proposal; tell the user its id.\",\n      inputSchema: object(\n        {\n          title: { type: \"string\", minLength: 1, maxLength: 200 },\n          template: { type: \"string\", pattern: \"^[a-z][a-z0-9-]*$\", maxLength: 64 },\n          sections: SECTIONS,\n          supersedes: { type: \"array\", items: ID, maxItems: 20 },\n        },\n        [\"title\"],\n      ),\n      annotations: WRITE,\n      async run(input, ctx) {\n        const log = await openLog(e);\n        const { actor, notes } = await mcpAttribution(log.git, ctx);\n        const template = str(input.template);\n        const supersedes = strings(input.supersedes);\n        const d = await proposeDecision(\n          log,\n          {\n            title: str(input.title) ?? \"\",\n            sections: sectionsOf(input.sections),\n            actor,\n            ...(template === undefined ? {} : { template }),\n            ...(supersedes === undefined ? {} : { supersedes }),\n          },\n          { notes },\n        );\n        return writeResult(log, d, {\n          tool: \"adr_propose\",\n          acceptRequiresHuman: log.adr.acceptRequiresHuman,\n        });\n      },\n    },\n    {\n      name: \"adr_update_draft\",\n      title: \"Update a draft\",\n      description:\n        \"Replace sections of a proposed decision's draft (section id → markdown). Only your own proposals unless mcp_can_decide is on. Returns the lint result. With auto_commit on, an incomplete draft is refused; send every required section.\",\n      inputSchema: object({ id: ID, sections: { ...SECTIONS, minProperties: 1 } }, [\n        \"id\",\n        \"sections\",\n      ]),\n      annotations: WRITE,\n      async run(input, ctx) {\n        const log = await openLog(e);\n        const read = await readDecisions(log);\n        const id = resolveDecision(read, str(input.id) ?? \"\");\n        const attribution = await mcpAttribution(log.git, ctx);\n        const sections = sectionsOf(input.sections);\n        const o = { tool: \"adr_update_draft\", sections: Object.keys(sections) };\n        const refused = policyRefusal(log, read, \"adr_update_draft\", id, attribution);\n        if (refused !== null) return writeResult(log, refused, o);\n        const d = await updateDraft(log, { id, sections }, { notes: attribution.notes });\n        return writeResult(log, d, o);\n      },\n    },\n    {\n      name: \"adr_note\",\n      title: \"Note on a decision\",\n      description:\n        \"Add a note to a decision in any state. Notes clarify; a changed decision needs a superseding proposal.\",\n      inputSchema: object({ id: ID, text: TEXT }, [\"id\", \"text\"]),\n      annotations: WRITE,\n      async run(input, ctx) {\n        const log = await openLog(e);\n        const { actor, notes } = await mcpAttribution(log.git, ctx);\n        const d = await noteDecision(\n          log,\n          { id: str(input.id) ?? \"\", text: str(input.text) ?? \"\", actor },\n          { notes },\n        );\n        return writeResult(log, d, { tool: \"adr_note\" });\n      },\n    },\n    {\n      name: \"adr_link\",\n      title: \"Link decisions\",\n      description:\n        \"Record a relation (relates-to, refines, depends-on) from one decision to another.\",\n      inputSchema: object(\n        {\n          id: ID,\n          to: { type: \"string\", minLength: 1, maxLength: 100 },\n          rel: { type: \"string\", enum: [\"relates-to\", \"refines\", \"depends-on\"] },\n        },\n        [\"id\", \"to\"],\n      ),\n      annotations: WRITE,\n      async run(input, ctx) {\n        const log = await openLog(e);\n        const { actor, notes } = await mcpAttribution(log.git, ctx);\n        const rel = str(input.rel);\n        const d = await linkDecision(\n          log,\n          {\n            id: str(input.id) ?? \"\",\n            to: str(input.to) ?? \"\",\n            actor,\n            ...(rel === undefined ? {} : { rel }),\n          },\n          { notes },\n        );\n        return writeResult(log, d, { tool: \"adr_link\" });\n      },\n    },\n    {\n      name: \"adr_for_path\",\n      title: \"Decisions for paths\",\n      description:\n        \"The decisions that govern each file, from scope globs and code anchors. Inactive ones carry a warning.\",\n      inputSchema: object(\n        {\n          paths: {\n            type: \"array\",\n            items: { type: \"string\", minLength: 1, maxLength: 4096 },\n            minItems: 1,\n            maxItems: 100,\n          },\n        },\n        [\"paths\"],\n      ),\n      annotations: READ,\n      async run(input) {\n        const log = await openLog(e);\n        const read = await readDecisions(log);\n        const d = await decisionsFor(read, log, { paths: strings(input.paths) ?? [] });\n        return { document: doc(d), ...forText(d, read) };\n      },\n    },\n    {\n      name: \"adr_scope\",\n      title: \"Scope a decision\",\n      description:\n        \"Set, add or remove the globs that map a decision to code. Allowed on your own proposals; rescoping someone else's proposal or an accepted or deprecated decision needs mcp_can_decide. If the decision's Scope section would no longer read true, propose a superseding decision instead.\",\n      inputSchema: {\n        ...object({ id: ID, set: GLOBS, add: GLOBS, remove: GLOBS }, [\"id\"]),\n        minProperties: 2,\n      },\n      inputHint: \"adr_scope needs id and at least one of set, add or remove\",\n      annotations: WRITE,\n      async run(input, ctx) {\n        const log = await openLog(e);\n        const read = await readDecisions(log);\n        const id = resolveDecision(read, str(input.id) ?? \"\");\n        const attribution = await mcpAttribution(log.git, ctx);\n        const scopeBefore = read.projection.views.get(id)?.applies_to ?? [];\n        const o = { tool: \"adr_scope\", scopeBefore };\n        const refused = policyRefusal(log, read, \"adr_scope\", id, attribution);\n        if (refused !== null) return writeResult(log, refused, o);\n        const set = strings(input.set);\n        const op = {\n          ...(set === undefined ? {} : { set }),\n          add: strings(input.add) ?? [],\n          remove: strings(input.remove) ?? [],\n        };\n        const d = await scopeDecision(\n          log,\n          { id, op, actor: attribution.actor },\n          { notes: attribution.notes },\n        );\n        return writeResult(log, d, o);\n      },\n    },\n    {\n      name: \"adr_withdraw\",\n      title: \"Withdraw a proposal\",\n      description:\n        \"Withdraw a proposed decision, with an optional reason, for example your own proposal when the user decides against it. Withdrawing someone else's proposal needs mcp_can_decide. Only proposals can be withdrawn; an accepted decision needs a superseding proposal.\",\n      inputSchema: object({ id: ID, reason: TEXT }, [\"id\"]),\n      annotations: WRITE,\n      async run(input, ctx) {\n        const log = await openLog(e);\n        const read = await readDecisions(log);\n        const id = resolveDecision(read, str(input.id) ?? \"\");\n        const attribution = await mcpAttribution(log.git, ctx);\n        const o = { tool: \"adr_withdraw\" };\n        const refused = policyRefusal(log, read, \"adr_withdraw\", id, attribution);\n        if (refused !== null) return writeResult(log, refused, o);\n        const d = await withdrawDecision(\n          log,\n          { id, reason: str(input.reason) ?? null, actor: attribution.actor },\n          { notes: attribution.notes },\n        );\n        return writeResult(log, d, o);\n      },\n    },\n  ];\n}\n\n/**\n * The log for a decision tool's call. The tool list was fixed at startup, so a call after\n * `mcp_can_decide` was turned off is a usage error telling the user to restart (design §7.3).\n */\nasync function decidingLog(e: AdrMcpEnv): Promise<DecisionLog> {\n  const log = await openLog(e);\n  if (!log.adr.mcpCanDecide) {\n    throw new UsageError(\n      `[policy] mcp_can_decide is now false in ${log.configPath ?? \"adr.toml (not present)\"}; restart adr mcp to update its tool list`,\n    );\n  }\n  return log;\n}\n\n/** The four tools `adr mcp` lists only with `[policy] mcp_can_decide = true` (design §7.4). */\nexport function decisionTools(e: AdrMcpEnv): McpTool[] {\n  return [\n    {\n      name: \"adr_accept\",\n      title: \"Accept a decision\",\n      description:\n        \"Accept a proposed decision (lints it, freezes the body, supersedes what it declares). Refused for agents while accept_requires_human is on.\",\n      inputSchema: object({ id: ID, copy_scope: { type: \"boolean\" } }, [\"id\"]),\n      annotations: WRITE,\n      async run(input, ctx) {\n        const log = await decidingLog(e);\n        const { actor, notes } = await mcpAttribution(log.git, ctx);\n        const copyScope =\n          input.copy_scope === true ? \"copy\" : input.copy_scope === false ? \"skip\" : \"suggest\";\n        const d = await acceptDecision(\n          log,\n          { id: str(input.id) ?? \"\", actor },\n          { notes, copyScope },\n        );\n        return writeResult(log, d, { tool: \"adr_accept\" });\n      },\n    },\n    {\n      name: \"adr_reject\",\n      title: \"Reject a decision\",\n      description: \"Reject a proposed decision, with a reason.\",\n      inputSchema: object({ id: ID, reason: TEXT }, [\"id\", \"reason\"]),\n      annotations: WRITE,\n      async run(input, ctx) {\n        const log = await decidingLog(e);\n        const { actor, notes } = await mcpAttribution(log.git, ctx);\n        const d = await rejectDecision(\n          log,\n          { id: str(input.id) ?? \"\", reason: str(input.reason) ?? \"\", actor },\n          { notes },\n        );\n        return writeResult(log, d, { tool: \"adr_reject\" });\n      },\n    },\n    {\n      name: \"adr_deprecate\",\n      title: \"Deprecate a decision\",\n      description: \"Deprecate an accepted decision that nothing replaces, with a reason.\",\n      inputSchema: object({ id: ID, reason: TEXT }, [\"id\", \"reason\"]),\n      annotations: WRITE,\n      async run(input, ctx) {\n        const log = await decidingLog(e);\n        const { actor, notes } = await mcpAttribution(log.git, ctx);\n        const d = await deprecateDecision(\n          log,\n          { id: str(input.id) ?? \"\", reason: str(input.reason) ?? \"\", actor },\n          { notes },\n        );\n        return writeResult(log, d, { tool: \"adr_deprecate\" });\n      },\n    },\n    {\n      name: \"adr_supersede\",\n      title: \"Supersede a decision\",\n      description: \"Mark an accepted or deprecated decision superseded by an accepted one.\",\n      inputSchema: object({ id: ID, by: ID, reason: TEXT }, [\"id\", \"by\"]),\n      annotations: WRITE,\n      async run(input, ctx) {\n        const log = await decidingLog(e);\n        const { actor, notes } = await mcpAttribution(log.git, ctx);\n        const reason = str(input.reason);\n        const d = await supersedeDecision(\n          log,\n          {\n            id: str(input.id) ?? \"\",\n            by: str(input.by) ?? \"\",\n            actor,\n            ...(reason === undefined ? {} : { reason }),\n          },\n          { notes },\n        );\n        return writeResult(log, d, { tool: \"adr_supersede\" });\n      },\n    },\n  ];\n}\n","import { UsageError } from \"@nikovirtala/ledger\";\nimport type { McpPrompt } from \"@nikovirtala/ledger/mcp\";\nimport { readDecisions, resolveDecision } from \"../log.js\";\nimport { listTemplates } from \"../templates/list.js\";\nimport { type AdrMcpEnv, openLog } from \"./tools.js\";\n\n/**\n * `adr_draft_from_discussion` (design §7.8): the steps from a discussion to a proposal, with the\n * template's sections spelled out, ending with a human's `adr accept`.\n */\nexport function draftPrompt(e: AdrMcpEnv): McpPrompt {\n  return {\n    name: \"adr_draft_from_discussion\",\n    title: \"Draft a decision from the discussion\",\n    description:\n      \"Turn the current discussion into a proposed architecture decision, checking the existing ones first.\",\n    arguments: [\n      { name: \"title\", description: \"Working title of the decision\", required: false },\n      {\n        name: \"template\",\n        description: \"Template name; default [log] default_template\",\n        required: false,\n      },\n      {\n        name: \"supersedes\",\n        description: \"A decision this proposal replaces: id or number\",\n        required: false,\n      },\n    ],\n    async get(args) {\n      const read = await readDecisions(await openLog(e));\n      const templates = await listTemplates(read);\n      const name = args.template ?? templates.default;\n      const t = templates.templates.find((x) => x.name === name);\n      if (t === undefined)\n        throw new UsageError(`unknown template ${name}; adr_templates lists them`);\n      const replaced =\n        args.supersedes === undefined ? null : resolveDecision(read, args.supersedes);\n      const shown = (id: string) => {\n        const display = read.projection.views.get(id)?.display ?? id;\n        return display === id ? id : `${display} (${id})`;\n      };\n      const title =\n        args.title === undefined\n          ? 'a short title that states the decision, such as \"Use PostgreSQL for orders\"'\n          : JSON.stringify(args.title);\n      return [\n        \"Turn the current discussion into an architecture decision proposal with adr.\",\n        \"\",\n        \"1. Call adr_search with the main subject of the discussion, and adr_for_path for the files it concerns. If an accepted decision already covers this, tell the user which one, and ask whether the proposal should supersede it.\",\n        ...(replaced === null\n          ? []\n          : [\n              `1a. The user named ${shown(replaced)} as the decision this replaces; read it with adr_get first.`,\n            ]),\n        `2. Use the template ${t.name} (version ${t.version}). Its sections:`,\n        ...t.sections.map(\n          (s) =>\n            `   - ${s.id}: ${s.heading}, ${s.required ? \"required\" : \"optional\"}.${s.guidance === null ? \"\" : ` ${s.guidance}`}`,\n        ),\n        \"3. Fill every required section with facts from the discussion and the code only. Where something wasn't settled, write it as an open question in that section instead of inventing an answer. If the template has an options section, list at least two options with their trade-offs, including those the discussion rejected.\",\n        `4. Call adr_propose with the title ${title}, template \"${t.name}\", the sections map${replaced === null ? \"\" : `, and supersedes [\"${replaced}\"]`}.`,\n        \"5. If the result has ok: true with findings, fix those sections with adr_update_draft and the new decision's id. If it was refused (ok: false), fill in every section the findings name and call adr_propose again.\",\n        \"6. Don't accept the proposal. Tell the user its id, and that they can review it and run: adr accept <id>\",\n      ].join(\"\\n\");\n    },\n  };\n}\n","import { parseOnBehalfOf } from \"@nikovirtala/ledger\";\nimport { type McpServeOptions, serveMcp } from \"@nikovirtala/ledger/mcp\";\nimport { openDecisionLog } from \"../log.js\";\nimport { DECISION_TOOLS, decisionToolsAvailable } from \"./policy.js\";\nimport { draftPrompt } from \"./prompt.js\";\nimport { decisionResource, indexResource } from \"./resources.js\";\nimport { type AdrMcpEnv, alwaysOnTools, decisionTools } from \"./tools.js\";\n\nexport const INSTRUCTIONS =\n  \"Architecture decisions in this repository are managed by adr. Decision files don't show their status: read decisions with adr_get or adr://decision/{id}, check adr_for_path and adr_search before changing architecture, and propose changes with adr_propose; a human accepts them.\";\n\n/**\n * `adr mcp` (design §7.2): checks `ARK_ON_BEHALF_OF` and opens the log first, so a bad\n * environment exits 2 before serving, then serves adr's tools over stdio until the client goes.\n */\nexport async function serveAdrMcp(o: {\n  readonly cwd: string;\n  readonly root: string | null;\n  readonly env: NodeJS.ProcessEnv;\n  readonly version: string;\n  readonly stderr: { write(s: string): void };\n  readonly transport?: McpServeOptions[\"transport\"];\n}): Promise<void> {\n  parseOnBehalfOf(o.env.ARK_ON_BEHALF_OF);\n  const log = await openDecisionLog({ cwd: o.cwd, root: o.root, gitOptions: { env: o.env } });\n  const e: AdrMcpEnv = { cwd: o.cwd, root: o.root, env: o.env };\n  const decide = decisionToolsAvailable(log.adr);\n  const tools = [...alwaysOnTools(e), ...(decide ? decisionTools(e) : [])];\n  const unavailable: Record<string, string> = {};\n  if (decide && log.adr.acceptRequiresHuman) {\n    o.stderr.write(\n      \"adr: warning: adr_accept refuses agents while [policy] accept_requires_human is true\\n\",\n    );\n  }\n  if (!decide) {\n    const where = log.configPath ?? \"adr.toml (not present)\";\n    for (const name of DECISION_TOOLS) {\n      unavailable[name] =\n        `[policy] mcp_can_decide is false in ${where}; a human decides with the adr CLI, or set it to true and restart adr mcp`;\n    }\n  }\n  await serveMcp(\n    {\n      name: \"adr\",\n      version: o.version,\n      instructions: INSTRUCTIONS,\n      tools,\n      unavailable,\n      resources: [indexResource(e)],\n      resourceTemplates: [decisionResource(e)],\n      prompts: [draftPrompt(e)],\n    },\n    {\n      env: o.env,\n      stderr: o.stderr,\n      ...(o.transport === undefined ? {} : { transport: o.transport }),\n    },\n  );\n}\n"],"mappings":";;;;;;;AAMA,MAAa,iBAAiB;CAC5B;CACA;CACA;CACA;AACF;;AAGA,SAAgB,uBAAuB,KAAyB;CAC9D,OAAO,IAAI;AACb;;;;;AAMA,SAAgB,cAAc,MAAqB,IAA2B;CAI5E,MAAM,SAHW,KAAK,OAAO,SAC1B,IAAI,EAAE,CAAC,EACN,QAAQ,MAAM,MAAM,EAAE,MAAM,SAAS,QAAQ,QAAQ,QAAQ,IAAI,EAAA,EAC7C,MAAM;CAC9B,IAAI,UAAU,KAAA,GAAW,OAAO;CAChC,MAAM,QAAQ,MAAM,SAAS,UAAU,MAAM,eAAe,MAAM;CAClE,OAAO,OAAO,UAAU,YAAY,MAAM,KAAK,MAAM,KAAK,MAAM,KAAK,CAAC,CAAC,YAAY,IAAI;AACzF;;;;;;;;;AAaA,SAAgB,gBAAgB,GASb;CACjB,MAAM,EAAE,SAAS;CACjB,IAAI,EAAE,SAAS,eAAe,CAAC,QAAQ,QAAQ,QAAQ,KAAK,QAAQ,QAAQ,GAAG,OAAO;CACtF,IAAI,EAAE,SAAS,sBAAsB,KAAK,WAAW,YAAY,OAAO;CACxE,IAAI,EAAE,SAAS,kBAAkB,CAAC,QAAQ,QAAQ,QAAQ,KAAK,QAAQ,WAAW,GAAG,OAAO;CAC5F,IAAI,EAAE,cAAc,OAAO;CAC3B,MAAM,KAAK,EAAE,MAAM,cAAc,KAAK,CAAC,CAAC,YAAY,KAAK;CACzD,IAAI,KAAK,WAAW,cAAc,EAAE,UAAU,QAAQ,EAAE,UAAU,IAAI,OAAO;CAC7E,MAAM,QAAQ,EAAE,QAAQ,KAAK,EAAE;CAC/B,MAAM,QAAQ,UAAU,KAAK,KAAK,KAAK,KAAK,GAAG,MAAM,IAAI,KAAK,GAAG;CACjE,MAAM,OAAO,EAAE,SAAS,iBAAiB,gBAAgB;CAKzD,OAAO;EACL,UAAU;EACV,MAAM;EACN,SANA,KAAK,WAAW,aACZ,GAAG,MAAM,oBAAoB,EAAE,SAAS,eAAe,oBAAoB,EAAE,MAAM,gBAAgB,SAAS,IAAI,KAAK,sGACrH,GAAG,MAAM,MAAM,KAAK,OAAO,yIAAyI,MAAM;EAK9K,MAAM,KAAK,aAAa,EAAE;EAC1B,MAAM;EACN,SAAS,KAAK;EACd,MAAM,QAAQ;CAChB;AACF;;ACnEA,MAAM,SAAS;;;;;AAMf,SAAgB,YAAY,MAA6C;CACvE,QAAQ,OAAO,kBAAkB,KAAK,WAAW,MAAM,IAAI,EAAE,CAAC,EAAE,WAAW;AAC7E;;AAGA,SAAgB,cAAc,GAA2B;CACvD,OAAO;EACL,KAAK;EACL,MAAM;EACN,OAAO;EACP,aAAa;EACb,UAAU;EACV,MAAM,OAAO;GACX,MAAM,OAAO,MAAM,cAAc,MAAM,QAAQ,CAAC,CAAC;GACjD,MAAM,QAAQ,KAAK,WAAW;GAC9B,OAAO;IACL,QAAQ;IACR,MAAM,YAAY,eAAe,KAAK,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,KAAK,SAAS;GACzF;EACF;CACF;AACF;;;;;;AAOA,SAAgB,iBAAiB,GAAmC;CAClE,OAAO;EACL,aAAa;EACb,MAAM;EACN,OAAO;EACP,aACE;EACF,UAAU;EACV,MAAM,KAAK,EAAE,KAAK,MAAM;GACtB,IAAI,GAAG,SAAS,QACd,MAAM,IAAI,WACR,oBAAoB,KAAK,UAAU,GAAG,GAAG,MAAM,GAAG,MAAM,EAAE,EAAE,EAAE,+BAA+B,OAAO,YACtG;GAEF,MAAM,OAAO,MAAM,cAAc,MAAM,QAAQ,CAAC,CAAC;GACjD,MAAM,IAAI,oBAAoB,IAAI;IAChC,UAAU,IAAI,IAAI,KAAK,OAAO,SAAS,KAAK,CAAC;IAC7C,MAAM;IACN,WAAW,KAAK;GAClB,CAAC;GACD,IAAI,CAAC,EAAE,MAAM,EAAE,WAAW,aAAa,OAAO;GAC9C,MAAM,MAAM,MAAM,aAAa,MAAM,gBAAgB,MAAM,EAAE,CAAC;GAC9D,OAAO;IACL,QAAQ,UAAU,IAAI,UAAU,IAAI;IACpC,MAAM,IAAI,SAAS,OAAO,qBAAqB,IAAI;GACrD;EACF;CACF;AACF;;;;;;ACjDA,MAAM,WAAW,UAAyB,OACxC,KAAK,WAAW,MAAM,IAAI,EAAE,CAAC,EAAE,WAAW;AAE5C,SAAS,MAAM,MAAqB,IAAoB;CACtD,MAAM,QAAQ,QAAQ,IAAI,CAAC,CAAC,EAAE;CAC9B,OAAO,UAAU,KAAK,KAAK,GAAG,MAAM,IAAI,GAAG;AAC7C;;AAGA,SAAgB,UAAU,MAAoB,MAAkC;CAC9E,OAAO,YAAY,MAAM,MAAM,EAAE,OAAO,YAAY,IAAI,EAAE,CAAC;AAC7D;;AAGA,SAAgB,WAAW,KAAyB,MAA2B;CAC7E,IAAI,IAAI,QAAQ,WAAW,GAKzB,OAAO;EAAE,SAAS,CAAC;EAAG,MAAM,CAAC,uBAAuB,GAHlD,IAAI,mBAAmB,IACnB,CAAC,GAAG,aAAa,IAAI,gBAAgB,EAAE,wBAAwB,IAC/D,CAAC,CACoD,CAAC,CAAC,KAAK,IAAI;CAAE;CAE1E,MAAM,QAAkB,CAAC;CACzB,KAAK,MAAM,KAAK,IAAI,SAAS;EAC3B,MAAM,KAAK,kBAAkB,UAAU,EAAE,UAAU,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;EACnE,MAAM,KAAK,KAAK,EAAE,SAAS,OAAO;EAClC,MAAM,QAAQ,EAAE,QAAQ,QAAQ,MAAM,MAAM,QAAQ,MAAM,OAAO,CAAC,CAAC,KAAK,OAAO;EAC/E,MAAM,KAAK,EAAE,YAAY,OAAO,MAAM,MAAM,WAAW,KAAK,EAAE,SAAS;CACzE;CACA,MAAM,KAAK,GAAG,IAAI,QAAQ,OAAO,MAAM,IAAI,MAAM,OAAO;CACxD,IAAI,IAAI,mBAAmB,GACzB,MAAM,KAAK,GAAG,aAAa,IAAI,gBAAgB,EAAE,wBAAwB;CAE3E,OAAO;EAAE,SAAS,CAAC;EAAG,MAAM,MAAM,KAAK,IAAI;CAAE;AAC/C;AAEA,MAAM,gBAAgB,MACpB,MAAM,IAAI,qCAAqC,GAAG,EAAE;AAEtD,SAAS,OAAO,MAAqB,KAAgC;CACnE,OAAO,IAAI,WAAW,IAAI,SAAS,IAAI,KAAK,OAAO,MAAM,MAAM,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI;AAC/E;AAEA,SAAS,aAAa,QAA4C;CAChE,OAAO,OAAO,KAAK,MAAM;EACvB,MAAM,IAAI,EAAE;EACZ,MAAM,MAAM,EAAE,SAAS,UAAU,GAAG,EAAE,KAAK,cAAc,EAAE,aAAa,KAAK,EAAE;EAC/E,MAAM,MAAM,OAAO,EAAE,WAAW,WAAW,MAAM,EAAE,WAAW;EAC9D,OAAO,KAAK,EAAE,GAAG,IAAI,EAAE,KAAK,IAAI,MAAM;CACxC,CAAC;AACH;;AAGA,SAAgB,QAAQ,KAAuB,MAA2B;CACxE,MAAM,IAAI,IAAI;CACd,MAAM,QAAQ;EACZ,UAAU,EAAE;EACZ,WAAW,EAAE,OAAO,IAAI,EAAE,UAAU,MAAM,GAAG,EAAE,EAAE;EACjD,cAAc,EAAE,cAAc,OAAO,8BAA8B,MAAM,MAAM,EAAE,SAAS;EAC1F,UAAU,EAAE,MAAM,IAAI,QAAQ,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK;EAC/C,eAAe,OAAO,MAAM,EAAE,UAAU;EACxC,eAAe,EAAE,WAAW,WAAW,IAAI,sBAAsB,EAAE,WAAW,KAAK,IAAI;CACzF;CACA,IAAI,IAAI,WAAW,MAAM,MAAM,KAAK,YAAY,GAAG,aAAa,IAAI,MAAM,CAAC;CAC3E,MAAM,KAAK,IAAI,IAAI,SAAS,OAAO,mBAAmB,IAAI,KAAK,QAAQ,CAAC;CACxE,OAAO;EAAE,SAAS,CAAC,UAAU,GAAG,IAAI,CAAC;EAAG,MAAM,MAAM,KAAK,IAAI;CAAE;AACjE;;AAGA,SAAgB,SAAS,KAAuB,MAA2B;CACzE,IAAI,IAAI,UAAU,WAAW,GAAG,OAAO;EAAE,SAAS,CAAC;EAAG,MAAM;CAAgB;CAO5E,OAAO;EAAE,SAAS,CAAC;EAAG,MANR,IAAI,UAAU,KAAK,MAAM;GACrC,MAAM,OAAO,EAAE,WAAW,OAAO,EAAE,KAAK,GAAG,EAAE,QAAQ,IAAI,EAAE,GAAG;GAC9D,MAAM,KACJ,EAAE,cAAc,QAAQ,EAAE,cAAc,EAAE,KAAK,MAAM,QAAQ,IAAI,CAAC,CAAC,EAAE,SAAS,MAAM;GACtF,OAAO,GAAG,KAAK,KAAK,EAAE,OAAO,KAAK,EAAE,QAAQ;EAC9C,CACgC,CAAC,CAAC,KAAK,IAAI;CAAE;AAC/C;;AAGA,SAAgB,cAAc,KAA0B;CACtD,MAAM,QAAQ,IAAI,UAAU,SAAS,MAAM,CACzC,GAAG,EAAE,KAAK,IAAI,EAAE,QAAQ,IAAI,EAAE,OAAO,GAAG,EAAE,SAAS,IAAI,UAAU,aAAa,MAC9E,GAAG,EAAE,SAAS,KACX,MACC,KAAK,EAAE,GAAG,IAAI,EAAE,QAAQ,IAAI,EAAE,WAAW,aAAa,WAAW,GAAG,EAAE,aAAa,OAAO,KAAK,MAAM,EAAE,YAC3G,CACF,CAAC;CACD,OAAO;EAAE,SAAS,CAAC;EAAG,MAAM,MAAM,WAAW,IAAI,kBAAkB,MAAM,KAAK,IAAI;CAAE;AACtF;;AAGA,SAAgB,QAAQ,KAAuB,MAA2B;CACxE,MAAM,QAAkB,CAAC;CACzB,KAAK,MAAM,KAAK,IAAI,OAAO;EACzB,MAAM,KAAK,EAAE,UAAU,EAAE,OAAO,GAAG,EAAE,KAAK,eAAe;EACzD,IAAI,EAAE,UAAU,WAAW,KAAK,EAAE,WAAW,WAAW,GAAG,MAAM,KAAK,gBAAgB;EACtF,KAAK,MAAM,KAAK,EAAE,WAAW;GAC3B,MAAM,OAAO,KAAK,WAAW,MAAM,IAAI,EAAE,EAAE;GAC3C,MAAM,IACJ,SAAS,KAAA,IACL;IAAE,MAAM,GAAG,MAAM,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE;IAAU,SAAS,EAAE;GAAQ,IACjE,UAAU,MAAM,IAAI;GAC1B,MAAM,KAAK,KAAK,EAAE,MAAM;GACxB,IAAI,EAAE,YAAY,MAAM,MAAM,KAAK,OAAO,EAAE,SAAS;GACrD,KAAK,MAAM,OAAO,EAAE,KAClB,MAAM,KACJ,IAAI,SAAS,SAAS,gBAAgB,IAAI,SAAS,uBAAuB,IAAI,MAChF;EAEJ;EACA,KAAK,MAAM,KAAK,EAAE,YAAY;GAC5B,MAAM,MAAM,EAAE,WAAW,cAAc,mBAAmB;GAC1D,MAAM,KAAK,iBAAiB,EAAE,IAAI,SAAS,EAAE,KAAK,IAAI,IAAI,EAAE;EAC9D;CACF;CACA,OAAO;EAAE,SAAS,CAAC;EAAG,MAAM,MAAM,KAAK,IAAI;CAAE;AAC/C;AAEA,MAAM,kBACJ;AACF,MAAM,UAA4C;CAChD,cAAc;CACd,YAAY;CACZ,oCAAoC;AACtC;;AAGA,SAAS,UAAU,UAAwC;CACzD,OAAO,SAAS,KAAK,MAAM;EACzB,MAAM,IAAI,gBAAgB,KAAK,EAAE,OAAO;EACxC,IAAI,MAAM,MAAM,OAAO,UAAU,EAAE,QAAQ,IAAI,EAAE,KAAK;EACtD,MAAM,GAAG,UAAU,IAAI,OAAO,MAAM;EACpC,OAAO,YAAY,QAAQ,IAAI,QAAQ,SAAS,KAAK;CACvD,CAAC;AACH;AAEA,MAAM,aAAa,QAAyB,IAAI,MAAM,KAAK,MAAM,SAAS,GAAG;;AAiB7E,SAAgB,UAAU,KAAsB,GAA2B;CACzE,MAAM,EAAE,SAAS;CACjB,MAAM,OACJ,IAAI,aAAa,OAAO,OAAQ,KAAK,WAAW,MAAM,IAAI,IAAI,SAAS,EAAE,KAAK,IAAI;CACpF,MAAM,UAAU,SAAS,OAAO,CAAC,IAAI,CAAC,UAAU,MAAM,IAAI,GAAG,GAAG,gBAAgB,KAAK,IAAI,CAAC;CAC1F,IAAI,CAAC,IAAI,IAAI;EAGX,MAAM,QADJ,IAAI,SAAS,SAAS,KAAK,IAAI,SAAS,OAAO,MAAM,EAAE,KAAK,WAAW,WAAW,CAAC,MAE1E,EAAE,SAAS,iBAAiB,EAAE,SAAS,sBAC5C,CAAC,2CAA2C,EAAE,KAAK,QAAQ,IAC3D,CAAC;EASP,OAAO;GAAE;GAAS,MAAM;IAPtB;IACA,GAAG,IAAI,SAAS,KACb,MAAM,KAAK,EAAE,SAAS,OAAO,KAAK,GAAG,EAAE,KAAK,MAAM,EAAE,QAAQ,IAAI,EAAE,KAAK,EAC1E;IACA,GAAG;IACH,GAAG,UAAU,GAAG;GAEU,CAAC,CAAC,KAAK,IAAI;EAAE;CAC3C;CACA,IAAI,SAAS,MAAM,OAAO;EAAE;EAAS,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,IAAI;CAAE;CAErE,OAAO;EAAE;EAAS,MAAM,CAAC,GADX,UAAU,KAAK,MAAM,CACH,GAAG,GAAG,UAAU,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI;CAAE;AACnE;AAEA,SAAS,UAAU,KAAsB,GAAiB,GAA+B;CACvF,MAAM,EAAE,SAAS;CACjB,MAAM,MAAM,MAAM,MAAM,EAAE,EAAE;CAC5B,MAAM,WAAW,IAAI,WAAW,OAAO,CAAC,IAAI,CAAC,aAAa,IAAI,OAAO,MAAM,GAAG,CAAC,EAAE,EAAE;CACnF,QAAQ,IAAI,SAAZ;EACE,KAAK,OACH,OAAO;GACL,YAAY,EAAE,GAAG,IAAI,EAAE;GACvB,GAAI,EAAE,cAAc,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW;GACnD,GAAG,UAAU,IAAI,QAAQ;GACzB,GAAG;GACH,EAAE,wBAAwB,OACtB,yDAAyD,EAAE,GAAG,KAC9D,kCAAkC,EAAE;EAC1C;EACF,KAAK,UACH,OAAO,IAAI,QAAQ,WAAW,IAC1B,CAAC,WAAW,IACZ;GACE,wBAAwB,IAAI,KAAK,EAAE,YAAY,CAAC,EAAA,CAAG,KAAK,IAAI;GAC5D,GAAG,UAAU,IAAI,QAAQ;GACzB,GAAG;EACL;EACN,KAAK,QACH,OAAO,CAAC,YAAY,OAAO,GAAG,QAAQ;EACxC,KAAK,QAAQ;GACX,MAAM,OAAO,IAAI,QAAQ,WAAW,IAAI,KAAA,IAAY,EAAE,MAAM,GAAG,EAAE;GACjE,IAAI,SAAS,KAAA,GAAW,OAAO,CAAC,YAAY,IAAI,WAAW;GAC3D,OAAO,CAAC,UAAU,IAAI,GAAG,KAAK,IAAI,GAAG,MAAM,MAAM,KAAK,EAAE,KAAK,GAAG,QAAQ;EAC1E;EACA,KAAK,SAAS;GACZ,MAAM,SAAS,IAAI,IAAI,EAAE,eAAe,CAAC,CAAC;GAC1C,MAAM,QAAQ,IAAI,IAAI,EAAE,UAAU;GAClC,IAAI,IAAI,QAAQ,WAAW,GAAG,OAAO,CAAC,WAAW;GACjD,OAAO;IACL,GAAG,EAAE,WAAW,QAAQ,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,KAAK,GAAG;IACjE,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,QAAQ,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,KAAK,GAAG;IAC/D,KAAK,EAAE,WAAW,WAAW,IAAI,aAAa,EAAE,WAAW,KAAK,IAAI;IACpE,GAAG;GACL;EACF;EACA,KAAK,UACH,OAAO;GACL,YAAY,IAAI,IAAI,EAAE;GACtB,GAAG,IAAI,SAAS,KAAK,MAAM,cAAc,MAAM,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO;GACxE,GAAG;EACL;EACF,KAAK,UACH,OAAO,CAAC,YAAY,OAAO,GAAG,QAAQ;EACxC,KAAK,YACH,OAAO,CAAC,aAAa,OAAO,GAAG,QAAQ;EACzC,KAAK,aACH,OAAO,CAAC,cAAc,OAAO,GAAG,QAAQ;EAC1C,KAAK,aACH,OAAO,CAAC,cAAc,IAAI,MAAM,MAAM,MAAM,EAAE,iBAAiB,EAAE,KAAK,GAAG,QAAQ;EACnF,SACE,OAAO,CAAC,GAAG,IAAI,QAAQ,GAAG,OAAO,GAAG,QAAQ;CAChD;AACF;;AAGA,SAAS,gBAAgB,KAAsB,MAAoC;CACjF,OAAO,IAAI,SACR,QAAQ,MAAM,EAAE,OAAO,IAAI,UAAU,EAAE,CAAC,CACxC,KAAK,MAAM,UAAU,KAAK,WAAW,MAAM,IAAI,EAAE,EAAE,KAAK,GAAG,IAAI,CAAC;AACrE;;ACxNA,MAAa,KAAa;CAAE,MAAM;CAAU,WAAW;CAAG,WAAW;AAAG;AACxE,MAAM,OAAe;CAAE,MAAM;CAAU,WAAW;CAAG,WAAW;AAAO;AACvE,MAAM,WAAmB;CACvB,MAAM;CACN,eAAe;EAAE,MAAM;EAAU,SAAS;EAAqB,WAAW;CAAG;CAC7E,sBAAsB;EAAE,MAAM;EAAU,WAAW;CAAO;CAC1D,eAAe;AACjB;AACA,MAAM,QAAgB;CACpB,MAAM;CACN,OAAO;EAAE,MAAM;EAAU,WAAW;EAAG,WAAW;CAAgB;CAClE,UAAU;AACZ;AAEA,MAAM,UAAU,YAAoC,WAAqB,CAAC,OAAe;CACvF,MAAM;CACN;CACA,GAAI,SAAS,WAAW,IAAI,CAAC,IAAI,EAAE,SAAS;CAC5C,sBAAsB;AACxB;AAEA,MAAa,OAAO;CAAE,cAAc;CAAM,eAAe;AAAM;AAC/D,MAAa,QAAQ;CAAE,cAAc;CAAO,iBAAiB;CAAO,eAAe;AAAM;;AAGzF,MAAa,WAAW,GAAc,MAAqB,SACzD,gBAAgB;CAAE,KAAK,EAAE;CAAK,MAAM,EAAE;CAAM;CAAK,YAAY,EAAE,KAAK,EAAE,IAAI;AAAE,CAAC;AAE/E,MAAM,OAAO,MACX,OAAO,MAAM,WAAW,IAAI,KAAA;AAC9B,MAAM,WAAW,MACf,MAAM,QAAQ,CAAC,IAAI,EAAE,QAAQ,MAAmB,OAAO,MAAM,QAAQ,IAAI,KAAA;AAC3E,MAAM,cAAc,MAClB,OAAO,MAAM,YAAY,MAAM,QAAQ,CAAC,MAAM,QAAQ,CAAC,IACnD,OAAO,YACL,OAAO,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,OAAQ,OAAO,MAAM,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAE,CAC/E,IACA,CAAC;AAEP,MAAM,OAAO,MAA0B;;;;;AAMvC,eAAe,YACb,KACA,GACA,GACwB;CACxB,MAAM,OAAO,MAAM,cAAc,GAAG;CACpC,OAAO;EAAE,UAAU,IAAI,CAAC;EAAG,GAAG,UAAU,GAAG;GAAE,GAAG;GAAG;EAAK,CAAC;CAAE;AAC7D;;AAGA,MAAM,UAA0D;CAC9D,WAAW;CACX,kBAAkB;CAClB,cAAc;AAChB;;;;;AAMA,SAAS,cACP,KACA,MACA,MACA,IACA,aACwB;CACxB,MAAM,OAAO,KAAK,WAAW,MAAM,IAAI,EAAE;CACzC,IAAI,SAAS,KAAA,GAAW,OAAO;CAC/B,MAAM,UAAU,gBAAgB;EAC9B;EACA;EACA,OAAO,cAAc,MAAM,EAAE;EAC7B,OAAO,YAAY;EACnB,cAAc,IAAI,IAAI;EACtB,UAAU,MAAM,KAAK,WAAW,MAAM,IAAI,CAAC,CAAC,EAAE,WAAW;EACzD,WAAW,SAAS,KAAK,QAAQ,EAAE;CACrC,CAAC;CACD,IAAI,YAAY,MAAM,OAAO;CAC7B,OAAO;EACL,QAAQ;EACR,SAAS,QAAQ;EACjB,IAAI;EACJ,UAAU;EACV,UAAU,CAAC;EACX,SAAS,CAAC;EACV,QAAQ;EACR,UAAU,CAAC,OAAO;EAClB,OAAO,CAAC,GAAG,IAAI,OAAO,GAAG,YAAY,KAAK;CAC5C;AACF;;AAGA,SAAgB,cAAc,GAAyB;CACrD,OAAO;EACL;GACE,MAAM;GACN,OAAO;GACP,aACE;GACF,aAAa,OACX;IACE,OAAO;KAAE,MAAM;KAAU,WAAW;KAAG,WAAW;IAAI;IACtD,kBAAkB,EAAE,MAAM,UAAU;IACpC,OAAO;KAAE,MAAM;KAAW,SAAS;KAAG,SAAS;IAAI;GACrD,GACA,CAAC,OAAO,CACV;GACA,aAAa;GACb,MAAM,IAAI,OAAO;IACf,MAAM,OAAO,MAAM,cAAc,MAAM,QAAQ,CAAC,CAAC;IACjD,MAAM,IAAI,gBAAgB,MAAM;KAC9B,OAAO,IAAI,MAAM,KAAK,KAAK;KAC3B,iBAAiB,MAAM,qBAAqB;KAC5C,OAAO,OAAO,MAAM,UAAU,WAAW,MAAM,QAAQ;IACzD,CAAC;IACD,OAAO;KAAE,UAAU,IAAI,CAAC;KAAG,GAAG,WAAW,GAAG,IAAI;IAAE;GACpD;EACF;EACA;GACE,MAAM;GACN,OAAO;GACP,aACE;GACF,aAAa,OACX;IACE,IAAI;IACJ,iBAAiB,EAAE,MAAM,UAAU;IACnC,KAAK;KAAE,MAAM;KAAU,WAAW;KAAG,WAAW;IAAI;GACtD,GACA,CAAC,IAAI,CACP;GACA,aAAa;GACb,MAAM,IAAI,OAAO;IACf,MAAM,OAAO,MAAM,cAAc,MAAM,QAAQ,GAAG,IAAI,MAAM,GAAG,KAAK,IAAI,CAAC;IACzE,MAAM,KAAK,gBAAgB,MAAM,IAAI,MAAM,EAAE,KAAK,EAAE;IACpD,MAAM,IAAI,MAAM,aAAa,MAAM,IAAI,EAAE,SAAS,MAAM,oBAAoB,KAAK,CAAC;IAClF,OAAO;KAAE,UAAU,IAAI,CAAC;KAAG,GAAG,QAAQ,GAAG,IAAI;IAAE;GACjD;EACF;EACA;GACE,MAAM;GACN,OAAO;GACP,aACE;GACF,aAAa,OAAO;IAClB,QAAQ;KACN,MAAM;KACN,OAAO;MAAE,MAAM;MAAU,MAAM,CAAC,GAAG,iBAAiB;KAAE;KACtD,aAAa;KACb,UAAU;KACV,UAAU,kBAAkB;IAC9B;IACA,OAAO;KAAE,MAAM;KAAW,SAAS;KAAG,SAAS;IAAK;GACtD,CAAC;GACD,aAAa;GACb,MAAM,IAAI,OAAO;IACf,MAAM,OAAO,MAAM,cAAc,MAAM,QAAQ,CAAC,CAAC;IACjD,MAAM,SAAS,QAAQ,MAAM,MAAM;IACnC,MAAM,IAAI,cAAc,MAAM;KAC5B,GAAI,WAAW,KAAA,IAAY,CAAC,IAAI,EAAE,OAAO;KACzC,GAAI,OAAO,MAAM,UAAU,WAAW,EAAE,OAAO,MAAM,MAAM,IAAI,CAAC;IAClE,CAAC;IACD,OAAO;KAAE,UAAU,IAAI,CAAC;KAAG,GAAG,SAAS,GAAG,IAAI;IAAE;GAClD;EACF;EACA;GACE,MAAM;GACN,OAAO;GACP,aACE;GACF,aAAa,OAAO,CAAC,CAAC;GACtB,aAAa;GACb,MAAM,MAAM;IACV,MAAM,IAAI,MAAM,cAAc,MAAM,cAAc,MAAM,QAAQ,CAAC,CAAC,CAAC;IACnE,OAAO;KAAE,UAAU,IAAI,CAAC;KAAG,GAAG,cAAc,CAAC;IAAE;GACjD;EACF;EACA;GACE,MAAM;GACN,OAAO;GACP,aACE;GACF,aAAa,OACX;IACE,OAAO;KAAE,MAAM;KAAU,WAAW;KAAG,WAAW;IAAI;IACtD,UAAU;KAAE,MAAM;KAAU,SAAS;KAAqB,WAAW;IAAG;IACxE,UAAU;IACV,YAAY;KAAE,MAAM;KAAS,OAAO;KAAI,UAAU;IAAG;GACvD,GACA,CAAC,OAAO,CACV;GACA,aAAa;GACb,MAAM,IAAI,OAAO,KAAK;IACpB,MAAM,MAAM,MAAM,QAAQ,CAAC;IAC3B,MAAM,EAAE,OAAO,UAAU,MAAM,eAAe,IAAI,KAAK,GAAG;IAC1D,MAAM,WAAW,IAAI,MAAM,QAAQ;IACnC,MAAM,aAAa,QAAQ,MAAM,UAAU;IAY3C,OAAO,YAAY,KAAK,MAXR,gBACd,KACA;KACE,OAAO,IAAI,MAAM,KAAK,KAAK;KAC3B,UAAU,WAAW,MAAM,QAAQ;KACnC;KACA,GAAI,aAAa,KAAA,IAAY,CAAC,IAAI,EAAE,SAAS;KAC7C,GAAI,eAAe,KAAA,IAAY,CAAC,IAAI,EAAE,WAAW;IACnD,GACA,EAAE,MAAM,CACV,GAC2B;KACzB,MAAM;KACN,qBAAqB,IAAI,IAAI;IAC/B,CAAC;GACH;EACF;EACA;GACE,MAAM;GACN,OAAO;GACP,aACE;GACF,aAAa,OAAO;IAAE,IAAI;IAAI,UAAU;KAAE,GAAG;KAAU,eAAe;IAAE;GAAE,GAAG,CAC3E,MACA,UACF,CAAC;GACD,aAAa;GACb,MAAM,IAAI,OAAO,KAAK;IACpB,MAAM,MAAM,MAAM,QAAQ,CAAC;IAC3B,MAAM,OAAO,MAAM,cAAc,GAAG;IACpC,MAAM,KAAK,gBAAgB,MAAM,IAAI,MAAM,EAAE,KAAK,EAAE;IACpD,MAAM,cAAc,MAAM,eAAe,IAAI,KAAK,GAAG;IACrD,MAAM,WAAW,WAAW,MAAM,QAAQ;IAC1C,MAAM,IAAI;KAAE,MAAM;KAAoB,UAAU,OAAO,KAAK,QAAQ;IAAE;IACtE,MAAM,UAAU,cAAc,KAAK,MAAM,oBAAoB,IAAI,WAAW;IAC5E,IAAI,YAAY,MAAM,OAAO,YAAY,KAAK,SAAS,CAAC;IAExD,OAAO,YAAY,KAAK,MADR,YAAY,KAAK;KAAE;KAAI;IAAS,GAAG,EAAE,OAAO,YAAY,MAAM,CAAC,GACpD,CAAC;GAC9B;EACF;EACA;GACE,MAAM;GACN,OAAO;GACP,aACE;GACF,aAAa,OAAO;IAAE,IAAI;IAAI,MAAM;GAAK,GAAG,CAAC,MAAM,MAAM,CAAC;GAC1D,aAAa;GACb,MAAM,IAAI,OAAO,KAAK;IACpB,MAAM,MAAM,MAAM,QAAQ,CAAC;IAC3B,MAAM,EAAE,OAAO,UAAU,MAAM,eAAe,IAAI,KAAK,GAAG;IAM1D,OAAO,YAAY,KAAK,MALR,aACd,KACA;KAAE,IAAI,IAAI,MAAM,EAAE,KAAK;KAAI,MAAM,IAAI,MAAM,IAAI,KAAK;KAAI;IAAM,GAC9D,EAAE,MAAM,CACV,GAC2B,EAAE,MAAM,WAAW,CAAC;GACjD;EACF;EACA;GACE,MAAM;GACN,OAAO;GACP,aACE;GACF,aAAa,OACX;IACE,IAAI;IACJ,IAAI;KAAE,MAAM;KAAU,WAAW;KAAG,WAAW;IAAI;IACnD,KAAK;KAAE,MAAM;KAAU,MAAM;MAAC;MAAc;MAAW;KAAY;IAAE;GACvE,GACA,CAAC,MAAM,IAAI,CACb;GACA,aAAa;GACb,MAAM,IAAI,OAAO,KAAK;IACpB,MAAM,MAAM,MAAM,QAAQ,CAAC;IAC3B,MAAM,EAAE,OAAO,UAAU,MAAM,eAAe,IAAI,KAAK,GAAG;IAC1D,MAAM,MAAM,IAAI,MAAM,GAAG;IAWzB,OAAO,YAAY,KAAK,MAVR,aACd,KACA;KACE,IAAI,IAAI,MAAM,EAAE,KAAK;KACrB,IAAI,IAAI,MAAM,EAAE,KAAK;KACrB;KACA,GAAI,QAAQ,KAAA,IAAY,CAAC,IAAI,EAAE,IAAI;IACrC,GACA,EAAE,MAAM,CACV,GAC2B,EAAE,MAAM,WAAW,CAAC;GACjD;EACF;EACA;GACE,MAAM;GACN,OAAO;GACP,aACE;GACF,aAAa,OACX,EACE,OAAO;IACL,MAAM;IACN,OAAO;KAAE,MAAM;KAAU,WAAW;KAAG,WAAW;IAAK;IACvD,UAAU;IACV,UAAU;GACZ,EACF,GACA,CAAC,OAAO,CACV;GACA,aAAa;GACb,MAAM,IAAI,OAAO;IACf,MAAM,MAAM,MAAM,QAAQ,CAAC;IAC3B,MAAM,OAAO,MAAM,cAAc,GAAG;IACpC,MAAM,IAAI,MAAM,aAAa,MAAM,KAAK,EAAE,OAAO,QAAQ,MAAM,KAAK,KAAK,CAAC,EAAE,CAAC;IAC7E,OAAO;KAAE,UAAU,IAAI,CAAC;KAAG,GAAG,QAAQ,GAAG,IAAI;IAAE;GACjD;EACF;EACA;GACE,MAAM;GACN,OAAO;GACP,aACE;GACF,aAAa;IACX,GAAG,OAAO;KAAE,IAAI;KAAI,KAAK;KAAO,KAAK;KAAO,QAAQ;IAAM,GAAG,CAAC,IAAI,CAAC;IACnE,eAAe;GACjB;GACA,WAAW;GACX,aAAa;GACb,MAAM,IAAI,OAAO,KAAK;IACpB,MAAM,MAAM,MAAM,QAAQ,CAAC;IAC3B,MAAM,OAAO,MAAM,cAAc,GAAG;IACpC,MAAM,KAAK,gBAAgB,MAAM,IAAI,MAAM,EAAE,KAAK,EAAE;IACpD,MAAM,cAAc,MAAM,eAAe,IAAI,KAAK,GAAG;IAErD,MAAM,IAAI;KAAE,MAAM;KAAa,aADX,KAAK,WAAW,MAAM,IAAI,EAAE,CAAC,EAAE,cAAc,CAAC;IACvB;IAC3C,MAAM,UAAU,cAAc,KAAK,MAAM,aAAa,IAAI,WAAW;IACrE,IAAI,YAAY,MAAM,OAAO,YAAY,KAAK,SAAS,CAAC;IACxD,MAAM,MAAM,QAAQ,MAAM,GAAG;IAC7B,MAAM,KAAK;KACT,GAAI,QAAQ,KAAA,IAAY,CAAC,IAAI,EAAE,IAAI;KACnC,KAAK,QAAQ,MAAM,GAAG,KAAK,CAAC;KAC5B,QAAQ,QAAQ,MAAM,MAAM,KAAK,CAAC;IACpC;IAMA,OAAO,YAAY,KAAK,MALR,cACd,KACA;KAAE;KAAI;KAAI,OAAO,YAAY;IAAM,GACnC,EAAE,OAAO,YAAY,MAAM,CAC7B,GAC2B,CAAC;GAC9B;EACF;EACA;GACE,MAAM;GACN,OAAO;GACP,aACE;GACF,aAAa,OAAO;IAAE,IAAI;IAAI,QAAQ;GAAK,GAAG,CAAC,IAAI,CAAC;GACpD,aAAa;GACb,MAAM,IAAI,OAAO,KAAK;IACpB,MAAM,MAAM,MAAM,QAAQ,CAAC;IAC3B,MAAM,OAAO,MAAM,cAAc,GAAG;IACpC,MAAM,KAAK,gBAAgB,MAAM,IAAI,MAAM,EAAE,KAAK,EAAE;IACpD,MAAM,cAAc,MAAM,eAAe,IAAI,KAAK,GAAG;IACrD,MAAM,IAAI,EAAE,MAAM,eAAe;IACjC,MAAM,UAAU,cAAc,KAAK,MAAM,gBAAgB,IAAI,WAAW;IACxE,IAAI,YAAY,MAAM,OAAO,YAAY,KAAK,SAAS,CAAC;IAMxD,OAAO,YAAY,KAAK,MALR,iBACd,KACA;KAAE;KAAI,QAAQ,IAAI,MAAM,MAAM,KAAK;KAAM,OAAO,YAAY;IAAM,GAClE,EAAE,OAAO,YAAY,MAAM,CAC7B,GAC2B,CAAC;GAC9B;EACF;CACF;AACF;;;;;AAMA,eAAe,YAAY,GAAoC;CAC7D,MAAM,MAAM,MAAM,QAAQ,CAAC;CAC3B,IAAI,CAAC,IAAI,IAAI,cACX,MAAM,IAAI,WACR,2CAA2C,IAAI,cAAc,yBAAyB,0CACxF;CAEF,OAAO;AACT;;AAGA,SAAgB,cAAc,GAAyB;CACrD,OAAO;EACL;GACE,MAAM;GACN,OAAO;GACP,aACE;GACF,aAAa,OAAO;IAAE,IAAI;IAAI,YAAY,EAAE,MAAM,UAAU;GAAE,GAAG,CAAC,IAAI,CAAC;GACvE,aAAa;GACb,MAAM,IAAI,OAAO,KAAK;IACpB,MAAM,MAAM,MAAM,YAAY,CAAC;IAC/B,MAAM,EAAE,OAAO,UAAU,MAAM,eAAe,IAAI,KAAK,GAAG;IAC1D,MAAM,YACJ,MAAM,eAAe,OAAO,SAAS,MAAM,eAAe,QAAQ,SAAS;IAM7E,OAAO,YAAY,KAAK,MALR,eACd,KACA;KAAE,IAAI,IAAI,MAAM,EAAE,KAAK;KAAI;IAAM,GACjC;KAAE;KAAO;IAAU,CACrB,GAC2B,EAAE,MAAM,aAAa,CAAC;GACnD;EACF;EACA;GACE,MAAM;GACN,OAAO;GACP,aAAa;GACb,aAAa,OAAO;IAAE,IAAI;IAAI,QAAQ;GAAK,GAAG,CAAC,MAAM,QAAQ,CAAC;GAC9D,aAAa;GACb,MAAM,IAAI,OAAO,KAAK;IACpB,MAAM,MAAM,MAAM,YAAY,CAAC;IAC/B,MAAM,EAAE,OAAO,UAAU,MAAM,eAAe,IAAI,KAAK,GAAG;IAM1D,OAAO,YAAY,KAAK,MALR,eACd,KACA;KAAE,IAAI,IAAI,MAAM,EAAE,KAAK;KAAI,QAAQ,IAAI,MAAM,MAAM,KAAK;KAAI;IAAM,GAClE,EAAE,MAAM,CACV,GAC2B,EAAE,MAAM,aAAa,CAAC;GACnD;EACF;EACA;GACE,MAAM;GACN,OAAO;GACP,aAAa;GACb,aAAa,OAAO;IAAE,IAAI;IAAI,QAAQ;GAAK,GAAG,CAAC,MAAM,QAAQ,CAAC;GAC9D,aAAa;GACb,MAAM,IAAI,OAAO,KAAK;IACpB,MAAM,MAAM,MAAM,YAAY,CAAC;IAC/B,MAAM,EAAE,OAAO,UAAU,MAAM,eAAe,IAAI,KAAK,GAAG;IAM1D,OAAO,YAAY,KAAK,MALR,kBACd,KACA;KAAE,IAAI,IAAI,MAAM,EAAE,KAAK;KAAI,QAAQ,IAAI,MAAM,MAAM,KAAK;KAAI;IAAM,GAClE,EAAE,MAAM,CACV,GAC2B,EAAE,MAAM,gBAAgB,CAAC;GACtD;EACF;EACA;GACE,MAAM;GACN,OAAO;GACP,aAAa;GACb,aAAa,OAAO;IAAE,IAAI;IAAI,IAAI;IAAI,QAAQ;GAAK,GAAG,CAAC,MAAM,IAAI,CAAC;GAClE,aAAa;GACb,MAAM,IAAI,OAAO,KAAK;IACpB,MAAM,MAAM,MAAM,YAAY,CAAC;IAC/B,MAAM,EAAE,OAAO,UAAU,MAAM,eAAe,IAAI,KAAK,GAAG;IAC1D,MAAM,SAAS,IAAI,MAAM,MAAM;IAW/B,OAAO,YAAY,KAAK,MAVR,kBACd,KACA;KACE,IAAI,IAAI,MAAM,EAAE,KAAK;KACrB,IAAI,IAAI,MAAM,EAAE,KAAK;KACrB;KACA,GAAI,WAAW,KAAA,IAAY,CAAC,IAAI,EAAE,OAAO;IAC3C,GACA,EAAE,MAAM,CACV,GAC2B,EAAE,MAAM,gBAAgB,CAAC;GACtD;EACF;CACF;AACF;;;;;;AClgBA,SAAgB,YAAY,GAAyB;CACnD,OAAO;EACL,MAAM;EACN,OAAO;EACP,aACE;EACF,WAAW;GACT;IAAE,MAAM;IAAS,aAAa;IAAiC,UAAU;GAAM;GAC/E;IACE,MAAM;IACN,aAAa;IACb,UAAU;GACZ;GACA;IACE,MAAM;IACN,aAAa;IACb,UAAU;GACZ;EACF;EACA,MAAM,IAAI,MAAM;GACd,MAAM,OAAO,MAAM,cAAc,MAAM,QAAQ,CAAC,CAAC;GACjD,MAAM,YAAY,MAAM,cAAc,IAAI;GAC1C,MAAM,OAAO,KAAK,YAAY,UAAU;GACxC,MAAM,IAAI,UAAU,UAAU,MAAM,MAAM,EAAE,SAAS,IAAI;GACzD,IAAI,MAAM,KAAA,GACR,MAAM,IAAI,WAAW,oBAAoB,KAAK,2BAA2B;GAC3E,MAAM,WACJ,KAAK,eAAe,KAAA,IAAY,OAAO,gBAAgB,MAAM,KAAK,UAAU;GAC9E,MAAM,SAAS,OAAe;IAC5B,MAAM,UAAU,KAAK,WAAW,MAAM,IAAI,EAAE,CAAC,EAAE,WAAW;IAC1D,OAAO,YAAY,KAAK,KAAK,GAAG,QAAQ,IAAI,GAAG;GACjD;GACA,MAAM,QACJ,KAAK,UAAU,KAAA,IACX,kFACA,KAAK,UAAU,KAAK,KAAK;GAC/B,OAAO;IACL;IACA;IACA;IACA,GAAI,aAAa,OACb,CAAC,IACD,CACE,sBAAsB,MAAM,QAAQ,EAAE,4DACxC;IACJ,uBAAuB,EAAE,KAAK,YAAY,EAAE,QAAQ;IACpD,GAAG,EAAE,SAAS,KACX,MACC,QAAQ,EAAE,GAAG,IAAI,EAAE,QAAQ,IAAI,EAAE,WAAW,aAAa,WAAW,GAAG,EAAE,aAAa,OAAO,KAAK,IAAI,EAAE,YAC5G;IACA;IACA,sCAAsC,MAAM,cAAc,EAAE,KAAK,qBAAqB,aAAa,OAAO,KAAK,sBAAsB,SAAS,IAAI;IAClJ;IACA;GACF,CAAC,CAAC,KAAK,IAAI;EACb;CACF;AACF;;AC3DA,MAAa,eACX;;;;;AAMF,eAAsB,YAAY,GAOhB;CAChB,gBAAgB,EAAE,IAAI,gBAAgB;CACtC,MAAM,MAAM,MAAM,gBAAgB;EAAE,KAAK,EAAE;EAAK,MAAM,EAAE;EAAM,YAAY,EAAE,KAAK,EAAE,IAAI;CAAE,CAAC;CAC1F,MAAM,IAAe;EAAE,KAAK,EAAE;EAAK,MAAM,EAAE;EAAM,KAAK,EAAE;CAAI;CAC5D,MAAM,SAAS,uBAAuB,IAAI,GAAG;CAC7C,MAAM,QAAQ,CAAC,GAAG,cAAc,CAAC,GAAG,GAAI,SAAS,cAAc,CAAC,IAAI,CAAC,CAAE;CACvE,MAAM,cAAsC,CAAC;CAC7C,IAAI,UAAU,IAAI,IAAI,qBACpB,EAAE,OAAO,MACP,wFACF;CAEF,IAAI,CAAC,QAAQ;EACX,MAAM,QAAQ,IAAI,cAAc;EAChC,KAAK,MAAM,QAAQ,gBACjB,YAAY,QACV,uCAAuC,MAAM;CAEnD;CACA,MAAM,SACJ;EACE,MAAM;EACN,SAAS,EAAE;EACX,cAAc;EACd;EACA;EACA,WAAW,CAAC,cAAc,CAAC,CAAC;EAC5B,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;EACvC,SAAS,CAAC,YAAY,CAAC,CAAC;CAC1B,GACA;EACE,KAAK,EAAE;EACP,QAAQ,EAAE;EACV,GAAI,EAAE,cAAc,KAAA,IAAY,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU;CAChE,CACF;AACF"}

package/dist/types/cli/init.d.ts

@@ -1,3 +1,6 @@
 import { type CommandSpec } from "@nikovirtala/ledger/cli";
-/** `adr init [--template <name>]… [--commit | --no-commit] [-m <message>]` (design §6.2). */
-export declare const initCommand: CommandSpec;
+/**
+ * `adr init [--template <name>]… [--skill [--skill-dir <path>]] [--commit | --no-commit]
+ * [-m <message>]` (design §6.2, phase 3 §9).
+ */
+export declare function initCommand(version: string): CommandSpec;

package/dist/types/cli/mcp.d.ts

@@ -0,0 +1,6 @@
+import type { CommandSpec } from "@nikovirtala/ledger/cli";
+/**
+ * `adr mcp` (design §7.1): the MCP server over stdio. Loaded with a dynamic import, so no other
+ * command loads the MCP SDK.
+ */
+export declare function mcpCommand(version: string): CommandSpec;

package/dist/types/cli/search.d.ts

@@ -0,0 +1,3 @@
+import type { CommandSpec } from "@nikovirtala/ledger/cli";
+/** `adr search <query>… [--all]` (design §8.2): words are joined, and every one must match. */
+export declare const searchCommand: CommandSpec;

package/dist/types/cli/text.d.ts

@@ -2,6 +2,7 @@ import { type Actor } from "@nikovirtala/ledger";
 import type { InitResultJson } from "../init.js";
 import type { ChangedSince } from "../log.js";
 import type { DecisionsForJson } from "../scope.js";
+import type { DecisionSearchJson } from "../search.js";
 import type { DecisionListJson, DecisionShowJson } from "../views.js";
 import type { ScopeOffer, WriteResultJson } from "../write.js";
 /** How a decision id is shown: its display (`ADR-0007`), or the id when it has no number. */
@@ -48,5 +49,10 @@ export declare function showText(doc: DecisionShowJson, display: Display): strin
  * below it when it isn't in force, then the anchors that name no decision of this log.
  */
 export declare function forText(doc: DecisionsForJson, display: Display, keyword: string): string;
+/**
+ * `adr search`: one padded row per result with its excerpt (or which field matched) under it, and
+ * an inactive result's warning; then the count.
+ */
+export declare function searchText(doc: DecisionSearchJson): string;
 /** `adr init`: what was written and kept, then the next step; or that nothing was needed. */
 export declare function initText(doc: InitResultJson): string;

package/dist/types/commit-actions.d.ts

@@ -44,6 +44,8 @@ export declare const ACTIONS: {
 export declare const INDEX_ACTION = "regenerate";
 /** What `adr index --commit`'s title slot holds. */
 export declare const INDEX_TITLE = "the decision index";
+/** `{action}` of a draft update (`adr_update_draft`), whose title slot holds the display. */
+export declare const DRAFT_ACTION = "update the draft of";
 /** The longest `{action}`, which `[commit] subject` must leave room for. */
 export declare const LONGEST_ACTION: number;
 /** The longest display: `ADR-` and up to 9 digits (`formatDecisionNumber`, kind/project.ts). */

package/dist/types/index.d.ts

@@ -2,9 +2,12 @@ export { type AdrConfig, DEFAULT_ADR_CONFIG, parseAdrConfig } from "./config.js"
 export { addHookTrailers, decisionHookCommands, type HooksResultJson, installDecisionHooks, printDecisionHooks, runPreCommitHook, uninstallDecisionHooks, } from "./hooks.js";
 export { type InitResultJson, initDecisionLog } from "./init.js";
 export { type AdrOptions, adrKind, DECISION_STATUSES, type DecisionEvents, type DecisionState, type DecisionStatus, type DecisionView, formatDecisionNumber, type LinkRel, parseDecisionNumber, REF, } from "./kind.js";
-export { type ChangedSince, changedSince, type DecisionLog, type DecisionsRead, openDecisionLog, readDecisions, readDecisionsFrom, resolveDecision, } from "./log.js";
+export { type ChangedSince, changedSince, type DecisionLog, type DecisionsRead, openDecisionLog, readDecisions, readDecisionsFrom, resolveDecision, sourcesNote, } from "./log.js";
 export { type IndexResultJson, indexDecisionLog, renderDecisionIndex } from "./log-index.js";
 export { type DecisionForJson, type DecisionsForJson, decisionsFor, type UnresolvedAnchorJson, } from "./scope.js";
+export { type DecisionSearchJson, type DecisionSearchResultJson, searchDecisions, } from "./search.js";
+export { SKILL_MD } from "./skill.js";
+export { listTemplates, type TemplatesJson } from "./templates/list.js";
 export { adrChecks, verifyDecisions } from "./verify.js";
 export { type DecisionListJson, type DecisionShowJson, listDecisions, type NumberingJson, showDecision, stateHeader, } from "./views.js";
-export { acceptDecision, type CopyScope, deprecateDecision, followScopeRenames, type LinkInput, linkDecision, noteDecision, type ProposeInput, proposeDecision, type ReasonInput, rejectDecision, type ScopeInput, type ScopeOffer, scopeDecision, scopeToCopy, supersedeDecision, type WriteOptions, type WriteResultJson, withdrawDecision, } from "./write.js";
+export { acceptDecision, type CopyScope, deprecateDecision, followScopeRenames, type LinkInput, linkDecision, noteDecision, type ProposeInput, proposeDecision, type ReasonInput, rejectDecision, type ScopeInput, type ScopeOffer, scopeDecision, scopeToCopy, supersedeDecision, type UpdateDraftInput, updateDraft, type WriteOptions, type WriteResultJson, withdrawDecision, } from "./write.js";

package/dist/types/init.d.ts

@@ -9,6 +9,8 @@ export interface InitResultJson {
     readonly written: readonly string[];
     /** Files that were already there and were left as they are. */
     readonly kept: readonly string[];
+    /** With `--skill`, the SKILL.md path (written or kept); else `null`. */
+    readonly skill: string | null;
     readonly commit: string | null;
     readonly notes: readonly string[];
 }
@@ -17,6 +19,8 @@ export interface InitResultJson {
  * init keeps existing files, so it would commit nothing.
  */
 export declare const INIT_RERUN = "Running adr init again won't commit them: the files exist now, so it keeps them and commits nothing.";
+/** The line `adr init --skill` adds to AGENTS.md for tools that don't load skills. */
+export declare const agentsPointer: (skill: string) => string;
 /**
  * `adr init` (design §6.2): writes a config for the log, unless one is found, and each built-in
  * template in `o.templates` (default `nygard`) to `<root>/templates/`, never overwriting a file.
@@ -24,10 +28,21 @@ export declare const INIT_RERUN = "Running adr init again won't commit them: the
  * the log without `--root`; when that file exists for another log, the config goes in the root.
  * With `[log] index = "committed"` it also writes `<root>/index.md` unless one exists. With
  * `commit` (default `[policy] auto_commit`) the written files are committed on their own;
- * nothing written means nothing committed. No events are written.
+ * nothing written means nothing committed. No events are written. With `o.skill` it also writes
+ * the agent skill, unless a SKILL.md is there, and adds the pointer line to `AGENTS.md`, unless a
+ * line already names the skill; an AGENTS.md with unstaged changes or not tracked is refused
+ * with a commit and left unstaged without one.
  */
 export declare function initDecisionLog(log: DecisionLog, o?: {
     readonly templates?: readonly string[];
     readonly commit?: boolean;
     readonly message?: string | null;
+    /**
+     * Also write `<dir>/SKILL.md` (`dir` repo-relative, `""` for the root) and the AGENTS.md
+     * pointer (design §9); `version` is adr's, for the note on a SKILL.md that differs.
+     */
+    readonly skill?: {
+        readonly dir: string;
+        readonly version: string;
+    };
 }): Promise<InitResultJson>;

package/dist/types/log.d.ts

@@ -32,6 +32,8 @@ export interface DecisionsRead {
     readonly findings: readonly Finding[];
     /** How the log was located (`ToolLog.notes`); `[]` for a MemoryTree read. */
     readonly notes: readonly string[];
+    /** The `[[sources]]` names in the config; their logs aren't read yet (ark's step 4). */
+    readonly sources: readonly string[];
 }
 /**
  * `numberLog` on the repository, then `readDecisionsFrom(log.tree, …)`. In a shallow clone of a
@@ -50,7 +52,15 @@ export declare function readDecisionsFrom(tree: TreeReader, o: {
     readonly ref?: string | null;
     readonly commit?: string | null;
     readonly notes?: readonly string[];
+    readonly sources?: readonly string[];
 }): Promise<DecisionsRead>;
+/**
+ * The note listing reads add while only the local log is read: the logs of `[[sources]]` aren't
+ * listed or searched until ark's step 4. `null` without sources.
+ */
+export declare function sourcesNote(read: DecisionsRead): string | null;
+/** `read.notes`, then the sources note when there is one. */
+export declare function listingNotes(read: DecisionsRead): readonly string[];
 /**
  * The note a read command adds about where numbers come from: the shallow-clone index, or why
  * they are unavailable (`unavailable: false` leaves that one out); `null` for none.

package/dist/types/mcp/policy.d.ts

@@ -0,0 +1,33 @@
+import type { Actor, Finding } from "@nikovirtala/ledger";
+import type { AdrConfig } from "../config.js";
+import { type DecisionView } from "../kind.js";
+import type { DecisionsRead } from "../log.js";
+/** The tools that decide; listed only with `[policy] mcp_can_decide = true`. */
+export declare const DECISION_TOOLS: readonly ["adr_accept", "adr_reject", "adr_deprecate", "adr_supersede"];
+/** Whether `adr mcp` offers the decision tools (design §7.5, Table A). */
+export declare function decisionToolsAvailable(adr: AdrConfig): boolean;
+/**
+ * Who a proposal is for (design D5): its `proposed` event's actor, `on_behalf_of` for an agent
+ * and `email` for a human, lower-cased; `null` when the event or the address is missing.
+ */
+export declare function proposalOwner(read: DecisionsRead, id: string): string | null;
+/** The writes `mcpWriteRefusal` judges: the ones whose ownership matters. */
+export type PolicyTool = "adr_scope" | "adr_update_draft" | "adr_withdraw";
+/**
+ * The MCP policy (design §7.5, Table B): `null` when the write may go ahead, else the
+ * `decision/mcp-cannot-decide` finding. Without `mcp_can_decide` an agent may scope, edit and
+ * withdraw only the proposals made for the person it acts for, and rescope no accepted or
+ * deprecated decision.
+ * Writes the state machine forbids anyway get `null`, so the library refuses them with the real
+ * reason.
+ */
+export declare function mcpWriteRefusal(o: {
+    readonly tool: PolicyTool;
+    readonly view: DecisionView;
+    readonly owner: string | null;
+    readonly actor: Actor;
+    readonly mcpCanDecide: boolean;
+    readonly display: (id: string) => string;
+    /** The finding's file when the decision has no body: its events directory. */
+    readonly eventsDir: string;
+}): Finding | null;

package/dist/types/mcp/prompt.d.ts

@@ -0,0 +1,7 @@
+import type { McpPrompt } from "@nikovirtala/ledger/mcp";
+import { type AdrMcpEnv } from "./tools.js";
+/**
+ * `adr_draft_from_discussion` (design §7.8): the steps from a discussion to a proposal, with the
+ * template's sections spelled out, ending with a human's `adr accept`.
+ */
+export declare function draftPrompt(e: AdrMcpEnv): McpPrompt;

package/dist/types/mcp/resources.d.ts

@@ -0,0 +1,16 @@
+import type { McpResource, McpResourceTemplate } from "@nikovirtala/ledger/mcp";
+import { type DecisionsRead } from "../log.js";
+import { type AdrMcpEnv } from "./tools.js";
+/**
+ * Where an MCP client reads a decision: `adr://decision/ADR-0012` when numbered, else
+ * `adr://decision/<id>`. The `refer` of every header the MCP texts show.
+ */
+export declare function decisionUri(read: DecisionsRead): (id: string) => string;
+/** `adr://index`: the index table, numbered like every other read (design §7.7). */
+export declare function indexResource(e: AdrMcpEnv): McpResource;
+/**
+ * `adr://decision/{id}`: the decision's state header, then its body. `{id}` is the id, the number
+ * (`12`, `0012`) or `ADR-0012`; an unknown one is not found, a malformed or qualified one is the
+ * caller's error.
+ */
+export declare function decisionResource(e: AdrMcpEnv): McpResourceTemplate;

package/dist/types/mcp/server.d.ts

@@ -0,0 +1,16 @@
+import { type McpServeOptions } from "@nikovirtala/ledger/mcp";
+export declare const INSTRUCTIONS = "Architecture decisions in this repository are managed by adr. Decision files don't show their status: read decisions with adr_get or adr://decision/{id}, check adr_for_path and adr_search before changing architecture, and propose changes with adr_propose; a human accepts them.";
+/**
+ * `adr mcp` (design §7.2): checks `ARK_ON_BEHALF_OF` and opens the log first, so a bad
+ * environment exits 2 before serving, then serves adr's tools over stdio until the client goes.
+ */
+export declare function serveAdrMcp(o: {
+    readonly cwd: string;
+    readonly root: string | null;
+    readonly env: NodeJS.ProcessEnv;
+    readonly version: string;
+    readonly stderr: {
+        write(s: string): void;
+    };
+    readonly transport?: McpServeOptions["transport"];
+}): Promise<void>;

package/dist/types/mcp/text.d.ts

@@ -0,0 +1,42 @@
+/**
+ * The readable text of each MCP tool result (design §7.4, last column). The documents are the
+ * CLI's; these texts are MCP's own, and their state headers point at `adr://decision/…`.
+ */
+import { type StateHeader } from "@nikovirtala/ledger";
+import type { McpToolResult } from "@nikovirtala/ledger/mcp";
+import type { DecisionView } from "../kind.js";
+import type { DecisionsRead } from "../log.js";
+import type { DecisionsForJson } from "../scope.js";
+import type { DecisionSearchJson } from "../search.js";
+import type { TemplatesJson } from "../templates/list.js";
+import { type DecisionListJson, type DecisionShowJson } from "../views.js";
+import type { WriteResultJson } from "../write.js";
+type Text = Omit<McpToolResult, "document">;
+/** The decision's state header with MCP's `adr://` references. */
+export declare function mcpHeader(view: DecisionView, read: DecisionsRead): StateHeader;
+/** `adr_search`: each result's header, title and excerpt, then the counts. */
+export declare function searchText(doc: DecisionSearchJson, read: DecisionsRead): Text;
+/** `adr_get`: the header, the decision's fields as `adr show` lists them, then the body. */
+export declare function getText(doc: DecisionShowJson, read: DecisionsRead): Text;
+/** `adr_list`: one line per decision. */
+export declare function listText(doc: DecisionListJson, read: DecisionsRead): Text;
+/** `adr_templates`: each template, then its sections. */
+export declare function templatesText(doc: TemplatesJson): Text;
+/** `adr_for_path`: per path, each decision's header and how it matched. */
+export declare function forText(doc: DecisionsForJson, read: DecisionsRead): Text;
+/** What a write's text needs besides the document. */
+export interface WriteTextOptions {
+    /** The log read after the write, for the headers and how decisions display. */
+    readonly read: DecisionsRead;
+    /** For `adr_propose`: whether a human must accept. */
+    readonly acceptRequiresHuman?: boolean;
+    /** For `adr_scope`: the globs before the write. */
+    readonly scopeBefore?: readonly string[];
+    /** For `adr_update_draft`: the section ids sent. */
+    readonly sections?: readonly string[];
+    /** The tool, for the refusal's last line. */
+    readonly tool: string;
+}
+/** A write's text: `Refused:` and the findings, or what was written; then the notes. */
+export declare function writeText(doc: WriteResultJson, o: WriteTextOptions): Text;
+export {};

package/dist/types/mcp/tools.d.ts

@@ -0,0 +1,27 @@
+import { type JsonValue } from "@nikovirtala/ledger";
+import { type McpTool } from "@nikovirtala/ledger/mcp";
+import { type DecisionLog } from "../log.js";
+/** Where `adr mcp` runs: every call opens the log afresh from here (design D2). */
+export interface AdrMcpEnv {
+    readonly cwd: string;
+    readonly root: string | null;
+    readonly env: NodeJS.ProcessEnv;
+}
+type Schema = Readonly<Record<string, JsonValue>>;
+export declare const ID: Schema;
+export declare const READ: {
+    readonly readOnlyHint: true;
+    readonly openWorldHint: false;
+};
+export declare const WRITE: {
+    readonly readOnlyHint: false;
+    readonly destructiveHint: false;
+    readonly openWorldHint: false;
+};
+/** The log for one call, opened again so outside edits and `[policy]` changes are seen. */
+export declare const openLog: (e: AdrMcpEnv, ref?: string | null) => Promise<DecisionLog>;
+/** The eleven tools `adr mcp` always lists (design §7.4). */
+export declare function alwaysOnTools(e: AdrMcpEnv): McpTool[];
+/** The four tools `adr mcp` lists only with `[policy] mcp_can_decide = true` (design §7.4). */
+export declare function decisionTools(e: AdrMcpEnv): McpTool[];
+export {};

package/dist/types/scope.d.ts

@@ -1,6 +1,6 @@
 import { type Finding, type ScopeVia } from "@nikovirtala/ledger";
 import type { DecisionStatus } from "./kind.js";
-import type { DecisionLog, DecisionsRead } from "./log.js";
+import { type DecisionLog, type DecisionsRead } from "./log.js";
 import { type NumberingJson } from "./views.js";
 /** One decision that governs a path in `adr-for/v1` (design §6.9). */
 export interface DecisionForJson {
@@ -39,6 +39,8 @@ export interface DecisionsForJson {
     readonly findings: readonly Finding[];
     readonly notes: readonly string[];
 }
+/** The order `adr for` and `adr search` list statuses in: in force first. */
+export declare const STATUS_ORDER: readonly DecisionStatus[];
 /**
  * Which decisions govern each path (design §6.9): globs of decisions that were ever in force, and
  * comment anchors of any decision, read from the work tree or, with a `--ref` log, that commit.

package/dist/types/search.d.ts

@@ -0,0 +1,61 @@
+import { type Finding, type StateHeader } from "@nikovirtala/ledger";
+import type { DecisionView } from "./kind.js";
+import { type DecisionsRead } from "./log.js";
+import { type NumberingJson } from "./views.js";
+export type SearchField = "id" | "title" | "body" | "notes";
+/** One decision `adr search` found. */
+export interface DecisionSearchResultJson {
+    readonly decision: DecisionView;
+    /** `stateHeader(view, read)`: the CLI's wording. */
+    readonly header: StateHeader;
+    readonly score: number;
+    /** The fields with a hit, in the order id, title, body, notes (the display number is `id`). */
+    readonly matched: readonly SearchField[];
+    /** The best matching line of the body or a note, cut to about 160 characters; `null` if none. */
+    readonly excerpt: string | null;
+}
+/** `adr search <query>… --json` and `adr_search` (design §6.4). */
+export interface DecisionSearchJson {
+    readonly format: "adr-search/v1";
+    readonly root: string;
+    readonly ref: string | null;
+    readonly commit: string | null;
+    readonly numbering: NumberingJson;
+    /** As given, trimmed. */
+    readonly query: string;
+    /** Folded, deduplicated, in query order. */
+    readonly terms: readonly string[];
+    readonly include_inactive: boolean;
+    /** Matching decisions before `limit`. */
+    readonly total: number;
+    /** Decisions that match but aren't active; `0` with `include_inactive`. */
+    readonly inactive_omitted: number;
+    readonly results: readonly DecisionSearchResultJson[];
+    /** The read's findings of the listed decisions and of the log as a whole. */
+    readonly findings: readonly Finding[];
+    /** `read.notes`, then the sources note. */
+    readonly notes: readonly string[];
+}
+/** A folded string and, for every folded UTF-16 offset (and its end), the original offset. */
+interface Folded {
+    readonly text: string;
+    readonly at: readonly number[];
+}
+/**
+ * Case- and accent-insensitive form: per code point NFKD, combining marks dropped, lower-cased.
+ * `Café` → `cafe` and `fi` → `fi`; `ß` and `ø` have no decomposition and stay as they are.
+ */
+export declare function fold(s: string): Folded;
+/**
+ * Full-text search of the log (design §8.1): a decision matches when every term of the folded
+ * query is a substring of its folded id, display number, title, body or note texts. Ranked by
+ * score (10 for a term equal to the id or number, 5 in the title, up to 3 for body hits and 2
+ * for note hits), then status as `adr for` orders them, then list order. Only proposed and
+ * accepted decisions unless `includeInactive`. Throws `UsageError` for an invalid query.
+ */
+export declare function searchDecisions(read: DecisionsRead, o: {
+    readonly query: string;
+    readonly includeInactive?: boolean;
+    readonly limit?: number;
+}): DecisionSearchJson;
+export {};

package/dist/types/skill.d.ts

@@ -0,0 +1,5 @@
+/**
+ * The agent skill `adr init --skill` writes (01, "Agent skill (SKILL.md)"): the judgment of when
+ * to use adr's MCP tools. `skill.test.ts` keeps it equal to the block in docs/01-adr-v1.md.
+ */
+export declare const SKILL_MD = "---\nname: adr\ndescription: Use before changing architecture, data stores, integration patterns, dependencies or cross-cutting conventions, and whenever asked to record, propose or look up an architectural decision.\n---\n\n# Architectural decisions (adr)\n\nDecisions in this repo are managed by adr. Decision files do not\nshow their own status, so never judge from the raw files whether a\ndecision applies.\n\n## Before changing architecture\n\n1. Call adr_for_path for the files you will touch, and adr_search\n   for the area you are about to change. adr_search returns active\n   decisions only; adr_for_path also lists inactive ones, each with\n   a warning.\n2. If your change conflicts with an accepted decision, stop and tell\n   the user which ADR it conflicts with. Do not work around it silently.\n3. If the user still wants the change, propose a superseding ADR.\n\n## Reading decisions\n\n- Use adr_get or adr://decision/{id}, never docs/adr/decisions/*.md.\n- If a response says SUPERSEDED or DEPRECATED, follow it to the\n  effective decision before acting.\n- If it says REJECTED or WITHDRAWN, the decision was never in force;\n  do not apply it.\n\n## Proposing decisions\n\n1. Call adr_templates and fill every required section.\n2. Use only facts from the conversation and the code. Mark unknowns\n   as open questions instead of inventing them.\n3. List at least two options considered when the template has that section.\n4. Set supersedes when the proposal replaces an existing decision.\n5. Do not accept your own proposal. Tell the user the ADR id and\n   that they can review it and run: adr accept <id>\n6. If the user decides against your proposal, withdraw it with\n   adr_withdraw and give their reason. Don't withdraw other\n   people's proposals; tell the user instead.\n\n## Changing scope\n\n- When you move or rename code covered by a decision, let the\n  pre-commit hook update its globs (adr hooks install). For your\n  own proposals, you can use adr_scope. Rescoping an accepted\n  decision needs mcp_can_decide; otherwise tell the user and\n  suggest adr scope <id> \u2026.\n- Before any scope change, read the decision's Scope section. If it\n  would no longer read true after the change, do not rescope: tell\n  the user the decision itself is changing and propose a\n  superseding ADR.\n\n## Never\n\n- Edit an accepted decision body, any file under docs/adr/events/,\n  or index.md by hand.\n- Use adr_note to change the meaning of a decision. Notes clarify;\n  changed decisions need a superseding ADR.\n\n## Without the MCP server\n\nUse the CLI with --json: adr search, adr for, adr show, adr new,\nadr note. Set ARK_AGENT=<your name> and ARK_ON_BEHALF_OF=<the user's\nemail> so your writes are attributed.\n";

package/dist/types/templates/list.d.ts

@@ -0,0 +1,31 @@
+import { type Finding } from "@nikovirtala/ledger";
+import type { DecisionsRead } from "../log.js";
+/** `adr_templates` (and phase 4's `adr template list --json`): the templates a proposal can use. */
+export interface TemplatesJson {
+    readonly format: "adr-templates/v1";
+    readonly root: string;
+    /** `[log] default_template`. */
+    readonly default: string;
+    readonly templates: readonly {
+        readonly name: string;
+        readonly version: number;
+        readonly source: "repo" | "builtin";
+        /** `<root>/templates/<name>.md` for a repo template; `null` for a built-in one. */
+        readonly path: string | null;
+        readonly sections: readonly {
+            readonly id: string;
+            readonly heading: string;
+            readonly required: boolean;
+            readonly guidance: string | null;
+        }[];
+    }[];
+    /** Why a repo template is left out: it doesn't parse or fails the template lint. */
+    readonly findings: readonly Finding[];
+    readonly notes: readonly string[];
+}
+/**
+ * The templates of `<root>/templates` that parse and pass the template lint, and the built-in
+ * ones no repo template or file of the same name shadows (`adr new` copies those on first use),
+ * sorted by name.
+ */
+export declare function listTemplates(read: DecisionsRead): Promise<TemplatesJson>;

package/dist/types/views.d.ts

@@ -1,6 +1,6 @@
 import { type EventEnvelope, type Finding, type StateHeader } from "@nikovirtala/ledger";
 import type { DecisionStatus, DecisionView } from "./kind.js";
-import type { ChangedSince, DecisionsRead } from "./log.js";
+import { type ChangedSince, type DecisionsRead } from "./log.js";
 /** The `numbering` key of the read documents. */
 export interface NumberingJson {
     readonly available: boolean;
@@ -41,6 +41,8 @@ export interface DecisionShowJson {
 }
 /** The `numbering` key of `adr-list/v1`, `adr-show/v1` and `adr-for/v1`. */
 export declare const numberingJson: (read: DecisionsRead) => NumberingJson;
+/** Numbered decisions by number, then unnumbered ones by `proposed_at`, then id. */
+export declare function compareViews(a: DecisionView, b: DecisionView): number;
 /**
  * The `adr-list/v1` document: decisions in list order, filtered by `status` and by `since` (only
  * the decisions with event files added since its revision, from `changedSince`), and truncated to