@nikovirtala/adr 0.4.0 → 0.5.0

package/dist/{server-CXCO5zfp.js → server-D3ySzyj6.js}

@@ -1,6 +1,6 @@
-import { I as resolveDecision, N as openDecisionLog, P as readDecisions, _ as withdrawDecision, a as stateHeader, d as proposeDecision, f as rejectDecision, g as updateDraft, h as supersedeDecision, i as showDecision, l as linkDecision, n as decisionsFor, o as acceptDecision, p as scopeDecision, r as listDecisions, s as deprecateDecision, t as searchDecisions, u as noteDecision, y as DECISION_INDEX } from "./search-CwIPlNGd.js";
-import { n as DECISION_STATUSES, t as adrKind } from "./kind-DjvA3dyA.js";
-import { t as listTemplates } from "./list-Dt4KGxvj.js";
+import { F as resolveDecision, M as openDecisionLog, N as readDecisions, S as DECISION_INDEX, _ as withdrawDecision, a as stateHeader, d as proposeDecision, f as rejectDecision, g as updateDraft, h as supersedeDecision, i as showDecision, l as linkDecision, n as decisionsFor, o as acceptDecision, p as scopeDecision, r as listDecisions, s as deprecateDecision, t as searchDecisions, u as noteDecision, x as readSourceDecisions } from "./search-CTspg2pd.js";
+import { n as DECISION_STATUSES, t as adrKind } from "./kind-C3DiBuUp.js";
+import { t as listTemplates } from "./list-CJi9vZqJ.js";
 import { MAX_GLOB_LENGTH, UsageError, eventDir, parseOnBehalfOf, renderIndex, renderStateHeader, resolveSubjectInput } from "@nikovirtala/ledger";
 import { mcpAttribution, serveMcp } from "@nikovirtala/ledger/mcp";
 // src/mcp/policy.ts
@@ -423,6 +423,16 @@ function policyRefusal(log, read, tool, id, attribution) {
 		notes: [...log.notes, ...attribution.notes]
 	};
 }
+/** The `source` input of `adr_list` and `adr_search`: a `[[sources]]` name, read from the cache. */
+const SOURCE = {
+	type: "string",
+	pattern: "^[a-z][a-z0-9-]{0,31}$"
+};
+/** The local log, or with `source` that `[[sources]]` entry's cached log. */
+async function readFor(e, source) {
+	const log = await openLog(e);
+	return source === null ? readDecisions(log) : readSourceDecisions(log, source);
+}
 /** The eleven tools `adr mcp` always lists (design §7.4). */
 function alwaysOnTools(e) {
 	return [
@@ -441,11 +451,12 @@ function alwaysOnTools(e) {
 					type: "integer",
 					minimum: 1,
 					maximum: 100
-				}
+				},
+				source: SOURCE
 			}, ["query"]),
 			annotations: READ,
 			async run(input) {
-				const read = await readDecisions(await openLog(e));
+				const read = await readFor(e, str(input.source) ?? null);
 				const d = searchDecisions(read, {
 					query: str(input.query) ?? "",
 					includeInactive: input.include_inactive === true,
@@ -500,11 +511,12 @@ function alwaysOnTools(e) {
 					type: "integer",
 					minimum: 1,
 					maximum: 1e3
-				}
+				},
+				source: SOURCE
 			}),
 			annotations: READ,
 			async run(input) {
-				const read = await readDecisions(await openLog(e));
+				const read = await readFor(e, str(input.source) ?? null);
 				const status = strings(input.status);
 				const d = listDecisions(read, {
 					...status === void 0 ? {} : { status },
@@ -935,4 +947,4 @@ async function serveAdrMcp(o) {
 }
 export { serveAdrMcp };
 
-//# sourceMappingURL=server-CXCO5zfp.js.map
+//# sourceMappingURL=server-D3ySzyj6.js.map

package/dist/server-D3ySzyj6.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server-D3ySzyj6.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 { readSourceDecisions } from \"../sources.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 `source` input of `adr_list` and `adr_search`: a `[[sources]]` name, read from the cache. */\nconst SOURCE = { type: \"string\", pattern: \"^[a-z][a-z0-9-]{0,31}$\" } as const;\n\n/** The local log, or with `source` that `[[sources]]` entry's cached log. */\nasync function readFor(e: AdrMcpEnv, source: string | null) {\n  const log = await openLog(e);\n  return source === null ? readDecisions(log) : readSourceDecisions(log, source);\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          source: SOURCE,\n        },\n        [\"query\"],\n      ),\n      annotations: READ,\n      async run(input) {\n        const read = await readFor(e, str(input.source) ?? null);\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        source: SOURCE,\n      }),\n      annotations: READ,\n      async run(input) {\n        const read = await readFor(e, str(input.source) ?? null);\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;;ACvNA,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,MAAM,SAAS;CAAE,MAAM;CAAU,SAAS;AAAyB;;AAGnE,eAAe,QAAQ,GAAc,QAAuB;CAC1D,MAAM,MAAM,MAAM,QAAQ,CAAC;CAC3B,OAAO,WAAW,OAAO,cAAc,GAAG,IAAI,oBAAoB,KAAK,MAAM;AAC/E;;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;IACnD,QAAQ;GACV,GACA,CAAC,OAAO,CACV;GACA,aAAa;GACb,MAAM,IAAI,OAAO;IACf,MAAM,OAAO,MAAM,QAAQ,GAAG,IAAI,MAAM,MAAM,KAAK,IAAI;IACvD,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;IACpD,QAAQ;GACV,CAAC;GACD,aAAa;GACb,MAAM,IAAI,OAAO;IACf,MAAM,OAAO,MAAM,QAAQ,GAAG,IAAI,MAAM,MAAM,KAAK,IAAI;IACvD,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;;;;;;AC9gBA,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/list.d.ts

@@ -1,3 +1,6 @@
 import type { CommandSpec } from "@nikovirtala/ledger/cli";
-/** `adr list [--status <status>]… [--since <rev>]` (design §5.6, 2b D7). */
+/**
+ * `adr list [--status <status>]… [--since <rev>] [--source <name>]` (design §5.6, 2b D7):
+ * `--source` lists a `[[sources]]` entry's cached log instead of the local one.
+ */
 export declare const listCommand: CommandSpec;

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

@@ -1,3 +1,6 @@
 import type { CommandSpec } from "@nikovirtala/ledger/cli";
-/** `adr search <query>… [--all]` (design §8.2): words are joined, and every one must match. */
+/**
+ * `adr search <query>… [--all] [--source <name>]` (design §8.2): words are joined, and every one
+ * must match. `--source` searches a `[[sources]]` entry's cached log instead of the local one.
+ */
 export declare const searchCommand: CommandSpec;

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

@@ -40,13 +40,33 @@ export declare const ACTIONS: {
         readonly names: "display";
     };
 };
+/**
+ * The verb of each display-named event type in a batch subject (?6, design §4.4), and the order
+ * they are joined in: `link and scope ADR-0003`, `add a note to` last so it reads before the name.
+ */
+export declare const BATCH_ACTIONS: {
+    readonly deprecated: "deprecate";
+    readonly superseded: "supersede";
+    readonly linked: "link";
+    readonly scoped: "scope";
+    readonly noted: "add a note to";
+};
+export declare const BATCH_ORDER: readonly string[];
+/** `{action}` of a batch of more than three verbs. */
+export declare const UPDATE_ACTION = "update";
+/** The longest batch action, `deprecate, supersede and add a note to`. */
+export declare const LONGEST_BATCH: number;
 /** `{action}` of `adr index --commit`, whose title slot holds `the decision index`. */
 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. */
+/**
+ * The longest `{action}` that goes with a title, which `[commit] subject` must leave a title room
+ * for. A batch action (up to `LONGEST_BATCH`) only ever goes with a display, so `COMMIT_NAMES`
+ * covers it instead.
+ */
 export declare const LONGEST_ACTION: number;
 /** The longest display: `ADR-` and up to 9 digits (`formatDecisionNumber`, kind/project.ts). */
 export declare const DISPLAY_LENGTH = 13;

package/dist/types/hooks.d.ts

@@ -33,8 +33,9 @@ export declare function uninstallDecisionHooks(log: DecisionLog): Promise<HooksR
 /** The config to paste into a hook manager instead of installing shims. */
 export declare function printDecisionHooks(log: DecisionLog, manager: HookManager): HooksResultJson;
 /**
- * The `commit-msg` step (P1 §7.1): appends one `ADR`/`ADR-Event` pair per staged added event file
- * of the log, by path, keeping repeats (`ifExists: "add"`). It does nothing for a message that
+ * The `commit-msg` step (P1 §7.1): appends one `ADR`/`ADR-Event` pair per decision and event type
+ * among the staged added event files of the log (`eventTrailers`, ?6), in path order, keeping
+ * pairs another tool already added (`ifExists: "add"`). It does nothing for a message that
  * already has an `ADR-Event:` trailer (an `adr … --commit` message), or during a merge, whose
  * events came with their own commits' trailers. Throws `UsageError` when the file is missing.
  */

package/dist/types/index.d.ts

@@ -7,7 +7,8 @@ export { type IndexResultJson, indexDecisionLog, renderDecisionIndex } from "./l
 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 { type AdrSource, type DecisionSources, decisionSourceConfigs, type ForeignDecision, readDecisionSources, readSourceDecisions, } from "./sources.js";
 export { listTemplates, type TemplatesJson } from "./templates/list.js";
-export { adrChecks, verifyDecisions } from "./verify.js";
+export { adrChecks, decisionVerifyInputs, 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 UpdateDraftInput, updateDraft, type WriteOptions, type WriteResultJson, withdrawDecision, } from "./write.js";

package/dist/types/kind/rules.d.ts

@@ -1,10 +1,28 @@
 import type { FoldedLog, FoldedSubject, KindFinding } from "@nikovirtala/ledger";
 import type { DecisionState } from "./reduce.js";
 import type { DecisionEvents, DecisionStatus } from "./schemas.js";
+/** A decision in another repository's log, as the reference rules and `--source` listings see it. */
+export interface ForeignDecision {
+    readonly status: DecisionStatus;
+    readonly display: string;
+    readonly title: string;
+}
+/** One `[[sources]]` entry of kind `adr`, as `AdrOptions.sources` holds it. */
+export interface AdrSource {
+    /** The decisions at the cached commit; `null` when the source isn't cached (not checked). */
+    readonly subjects: ReadonlyMap<string, ForeignDecision> | null;
+    /** The cached commit, or `null`. */
+    readonly commit: string | null;
+}
 /** Options of the decision kind's `invariants` and `relate`. */
 export interface AdrOptions {
     /** Default `true`: an agent may propose, but only a human may accept (01:98). */
     readonly acceptRequiresHuman: boolean;
+    /**
+     * The `kind = "adr"` `[[sources]]` by name, for checking qualified references; `null` (the
+     * default) skips qualified references, as reads that don't load sources do.
+     */
+    readonly sources: ReadonlyMap<string, AdrSource> | null;
 }
 type Subject = FoldedSubject<DecisionStatus, DecisionState, DecisionEvents>;
 type Log = FoldedLog<DecisionStatus, DecisionState, DecisionEvents>;
@@ -14,7 +32,10 @@ export declare function invariants(subject: Subject, options: AdrOptions): reado
  * Cross-subject rules: `decision/reference-missing` for a local `supersedes`, `superseded.by` or
  * `linked.to` naming no subject in the log; `decision/superseded-by-unaccepted` when the target of
  * an applied `superseded.by` has no applied `accepted` event in this tree; and
- * `decision/supersession-cycle`, once per cycle on its smallest id.
+ * `decision/supersession-cycle`, once per cycle on its smallest id. With `options.sources`, a
+ * qualified reference naming a source that isn't configured is `decision/unknown-source`, and one
+ * into a cached source that doesn't hold the id is `decision/reference-missing`; references into
+ * an uncached source aren't checked.
  */
-export declare function relate(log: Log): readonly KindFinding[];
+export declare function relate(log: Log, options?: AdrOptions): readonly KindFinding[];
 export {};

package/dist/types/kind.d.ts

@@ -6,7 +6,7 @@ import { type DecisionEvents, type DecisionStatus } from "./kind/schemas.js";
 export type { DecisionView } from "./kind/project.js";
 export { formatDecisionNumber, parseDecisionNumber } from "./kind/project.js";
 export type { DecisionState } from "./kind/reduce.js";
-export type { AdrOptions } from "./kind/rules.js";
+export type { AdrOptions, AdrSource, ForeignDecision } from "./kind/rules.js";
 export { DECISION_STATUSES, type DecisionEvents, type DecisionStatus, type LinkRel, REF, } from "./kind/schemas.js";
 /**
  * The decision kind (01:128–194), as imported by other tools through `@nikovirtala/adr/kind`.

package/dist/types/log-index.d.ts

@@ -74,24 +74,6 @@ export declare function unstagedLogFiles(git: Git, layout: LogLayout): Promise<s
  * `adr index` would change nothing. The finding then names those files and says to stage them.
  */
 export declare function decisionIndexCheck(log: DecisionLog): Check;
-/** Whether `bytes` (null: absent) hold exactly `text`. */
-export declare function holdsText(bytes: Uint8Array | null, text: string): boolean;
-/** HEAD's copy of `path`; `null` when it is absent or HEAD is unborn. */
-export declare function headBytes(git: Git, path: string): Promise<Uint8Array | null>;
-/** HEAD's tree, or an empty tree on an unborn HEAD. */
-export declare function headTree(git: Git, head: string | null): Promise<TreeReader>;
-/**
- * Brings the work-tree copy of `path` to `text` (atomically, when it differs) and reports whether
- * the staged copy differs, so the caller stages it. `old` is the work-tree copy before the write
- * (`null` when absent), for rollback.
- */
-export declare function writeIndexCopy(git: Git, path: string, text: string): Promise<{
-    readonly wrote: boolean;
-    readonly old: Uint8Array | null;
-    readonly stage: boolean;
-}>;
-/** The first line of an error's message, for notes and headlines. */
-export declare const firstLine: (err: unknown) => string;
 /** `adr index`'s result and whether the work-tree refresh after a commit changed a copy. */
 export interface IndexRun {
     readonly doc: IndexResultJson;

package/dist/types/log.d.ts

@@ -32,8 +32,10 @@ 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). */
+    /** The `[[sources]]` names in the config; listings read them only with `--source`. */
     readonly sources: readonly string[];
+    /** The `[[sources]]` entry this read is of (`--source`), or `null` for the local log. */
+    readonly source: string | null;
 }
 /**
  * `numberLog` on the repository, then `readDecisionsFrom(log.tree, …)`. In a shallow clone of a
@@ -53,10 +55,11 @@ export declare function readDecisionsFrom(tree: TreeReader, o: {
     readonly commit?: string | null;
     readonly notes?: readonly string[];
     readonly sources?: readonly string[];
+    readonly source?: string | null;
 }): 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.
+ * The note listing reads add for a log with `[[sources]]`: the other logs are listed with
+ * `--source`, from cached copies. `null` without sources, and for a `--source` read.
  */
 export declare function sourcesNote(read: DecisionsRead): string | null;
 /** `read.notes`, then the sources note when there is one. */

package/dist/types/search.d.ts

@@ -17,6 +17,8 @@ export interface DecisionSearchResultJson {
 /** `adr search <query>… --json` and `adr_search` (design §6.4). */
 export interface DecisionSearchJson {
     readonly format: "adr-search/v1";
+    /** The `[[sources]]` entry searched (`--source`), or `null` for the local log. */
+    readonly source: string | null;
     readonly root: string;
     readonly ref: string | null;
     readonly commit: string | null;

package/dist/types/sources.d.ts

@@ -0,0 +1,35 @@
+import { type SourceConfig, type SourceStatus } from "@nikovirtala/ledger";
+import { type AdrSource, type ForeignDecision } from "./kind.js";
+import { type DecisionLog, type DecisionsRead } from "./log.js";
+export type { AdrSource, ForeignDecision };
+export interface DecisionSources {
+    /** Every `kind = "adr"` entry by name, for `AdrOptions.sources`. */
+    readonly logs: ReadonlyMap<string, AdrSource>;
+    /** What each `kind = "adr"` entry resolved to, for the report's `sources` field. */
+    readonly statuses: readonly SourceStatus[];
+    readonly notes: readonly string[];
+}
+/** The kinds adr reads from `[[sources]]`: only decision logs. */
+export declare const DECISION_SOURCE_KINDS: readonly string[];
+/** The `[[sources]]` entries adr reads and the ones it skips, in config order. */
+export declare function decisionSourceConfigs(log: DecisionLog): {
+    readonly sources: readonly SourceConfig[];
+    readonly skipped: readonly SourceConfig[];
+};
+/**
+ * Reads the decision logs of the `kind = "adr"` `[[sources]]` entries (other kinds are never
+ * fetched): from the local cache only with `fetch: "cache"` (the default), else fetched first
+ * (`readSources`; a failed fetch throws `SourceFetchError`). A cached source's decisions are folded
+ * with adr's kind and numbered from its committed `index.md` (the cache is a depth-1 clone, so
+ * history numbering can't work), else shown by id.
+ */
+export declare function readDecisionSources(log: DecisionLog, o?: {
+    readonly fetch?: "cache" | "network";
+}): Promise<DecisionSources>;
+/**
+ * The cached decision log of the `[[sources]]` entry `name`, as a `DecisionsRead` for `adr list
+ * --source` and `adr search --source` (cache only, never the network). An uncached source reads as
+ * an empty log with the note `<name> not fetched; run adr sources fetch`. Throws `UsageError` for a
+ * name that isn't configured or whose kind adr doesn't read.
+ */
+export declare function readSourceDecisions(log: DecisionLog, name: string): Promise<DecisionsRead>;

package/dist/types/verify.d.ts

@@ -1,12 +1,28 @@
-import { type Check, type Finding, type VerifyMode } from "@nikovirtala/ledger";
+import { type Check, type Finding, type FoldedLogOf, type VerifyMode } from "@nikovirtala/ledger";
+import { adrKind } from "./kind.js";
 import { type DecisionLog } from "./log.js";
+import { type DecisionSources } from "./sources.js";
 /**
  * Every check for the log: ledger's mechanical and fold checks with adr's actor policy, template
  * lint against the templates in the head tree and, for older versions, the history of
  * `historyRef`, the scope-glob and anchor checks, and the decision checks over code
  * (`decision/governed-by-inactive`, `decision/scope-narrowed`). With `[log] index = "committed"`,
- * also the freshness of `<root>/index.md`.
+ * also the freshness of `<root>/index.md`. With `sources` (`readDecisionSources`), qualified
+ * references are checked against the cached source logs, and each referenced source that isn't
+ * cached gets one `sources/not-fetched` warning.
+ */
+export declare function adrChecks(log: DecisionLog, historyRef: string | null, sources?: DecisionSources): readonly Check[];
+/** The source names that qualified references in a folded decision log name. */
+export declare function referencedSources(head: FoldedLogOf<typeof adrKind>): Set<string>;
+/**
+ * The inputs outside the decision events that adr's checks read: both candidate config paths (so
+ * adding a config counts) and the log's templates. A staged change to one widens `verify --staged`
+ * to every decision, because a policy, scope, severity, index or template change can make an
+ * unchanged decision fail.
+ */
+export declare function decisionVerifyInputs(log: DecisionLog): string[];
+/**
+ * Verifies the decision log in `mode` (staged, range or full) with `adrChecks`, reading the
+ * sources from the local cache only.
  */
-export declare function adrChecks(log: DecisionLog, historyRef: string | null): readonly Check[];
-/** Verifies the decision log in `mode` (staged, range or full) with `adrChecks`. */
 export declare function verifyDecisions(log: DecisionLog, mode: VerifyMode): Promise<Finding[]>;

package/dist/types/views.d.ts

@@ -10,6 +10,8 @@ export interface NumberingJson {
 /** `adr list --json` (design §5.5). */
 export interface DecisionListJson {
     readonly format: "adr-list/v1";
+    /** The `[[sources]]` entry listed (`--source`), or `null` for the local log. */
+    readonly source: string | null;
     readonly root: string;
     readonly ref: string | null;
     readonly commit: string | null;

package/dist/types/write.d.ts

@@ -1,5 +1,5 @@
-import { type Actor, type EventEnvelope, type Finding, type SetOp, type Template, type TemplateSource, type Trailer, type TreeReader } from "@nikovirtala/ledger";
-import { type DecisionView } from "./kind.js";
+import { type Actor, type EventEnvelope, type EventRef, type Finding, type RenderedCommit, type SetOp, type Template, type TemplateSource, type Trailer, type TreeReader } from "@nikovirtala/ledger";
+import { type AdrSource, type DecisionView } from "./kind.js";
 import { type DecisionLog, type DecisionsRead } from "./log.js";
 /** `adr <write command> --json` (design §5.5, §6.1). */
 export interface WriteResultJson {
@@ -155,6 +155,7 @@ export declare function planAccept(read: DecisionsRead, input: {
     readonly actor: Actor;
 }, c: PlanContext, o?: {
     readonly copyGlobs?: readonly string[];
+    readonly tracked?: readonly string[];
 }): Promise<PlanResult>;
 /** The scope an `accept` can copy from the decisions it supersedes (design §6.10). */
 export interface ScopeOffer {
@@ -223,11 +224,14 @@ export interface LinkInput {
 }
 /**
  * Plans `adr link` (design §6.7): `linked` in every state. A qualified target must name one of
- * `o.sources` (the log's `[[sources]]` names); it isn't looked up in the other log. A link that
- * already exists plans nothing, with a note.
+ * `o.sources` (the log's `[[sources]]` names) of kind `adr` (`o.logs`, from the local cache): a
+ * cached source must hold the id, else `UsageError`; into an uncached one the link is written with
+ * a note that it isn't checked. A link that already exists plans nothing, with a note.
  */
 export declare function planLink(read: DecisionsRead, input: LinkInput, c: PlanContext, o?: {
     readonly sources?: readonly string[];
+    readonly logs?: ReadonlyMap<string, AdrSource>;
+    readonly kinds?: ReadonlyMap<string, string>;
 }): Promise<PlanResult>;
 export interface ScopeInput {
     readonly id: string;
@@ -267,6 +271,8 @@ export interface AppliedPlan {
     readonly findings: readonly Finding[];
     /** Notes about the index ("not updated", "may be stale"); `[]` when none. */
     readonly notes: readonly string[];
+    /** The message `compose` rendered, or `null` without `compose` or a commit. */
+    readonly rendered: RenderedCommit | null;
 }
 /**
  * What the recovery hint says about rerunning a write command after `git commit` failed (design
@@ -286,6 +292,17 @@ export declare function applyPlan(log: DecisionLog, plan: WritePlan, o: {
     readonly message?: string;
     /** `message` is the user's own: append the trailers to its own trailer block, if it ends in one. */
     readonly mergeTrailers?: boolean;
+    /**
+     * Renders the commit message once the extra staged events are known (?6), instead of
+     * `message`: `plan` holds the plan's own events, `extra` the other staged event files the
+     * commit sweeps in (by file name, deduplicated by subject and type), and `tree` is the
+     * commit's tree. Exclusive with `message`.
+     */
+    readonly compose?: (c: {
+        readonly plan: readonly EventRef[];
+        readonly extra: readonly EventRef[];
+        readonly tree: TreeReader;
+    }) => RenderedCommit;
     readonly afterStage?: () => Promise<AfterStage>;
     /**
      * Renders the log's index for `tree`, which builds on `history` (HEAD, the new commit, or
@@ -303,6 +320,22 @@ export interface WriteDeps {
     readonly random?: (buf: Uint8Array) => void;
     readonly apply: typeof applyPlan;
 }
+/**
+ * The commit's action and title slot (ADR-0008, ?6), chosen once the staged events the commit
+ * sweeps in are known: when `plan` or `extra` holds a status event (proposed, accepted, rejected,
+ * withdrawn), the title form of the last one, since that is what the commit decides. Otherwise
+ * the plan's own subject when the extra events add no other verb; with two or three verbs those
+ * joined (`link and scope ADR-0003`), and beyond three (or where the joined verbs don't fit a
+ * custom template) `update ADR-0003`. Every single-action subject stays the plan's own, byte for
+ * byte.
+ */
+export declare function composeSubject(read: DecisionsRead, parts: CommitParts, c: {
+    readonly plan: readonly EventRef[];
+    readonly extra: readonly EventRef[];
+}): {
+    readonly action: string;
+    readonly title: string;
+};
 /**
  * `adr new`: renders a draft, writes the body, any materialized template and the `proposed`
  * event, stages them, and commits with `commit` (default `[policy] auto_commit`).

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nikovirtala/adr",
-  "version": "0.4.0",
+  "version": "0.5.0",
   "description": "Architecture decision records kept as event logs in git: frozen bodies, computed status and supersession chains. CLI and library.",
   "keywords": [
     "adr",
@@ -45,7 +45,7 @@
     "provenance": true
   },
   "dependencies": {
-    "@nikovirtala/ledger": "^0.6.0"
+    "@nikovirtala/ledger": "^0.7.1"
   },
   "devDependencies": {
     "@modelcontextprotocol/sdk": "1.32.2"