@nikovirtala/adr 0.3.0 → 0.5.0

package/dist/types/search.d.ts

@@ -0,0 +1,63 @@
+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";
+    /** 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;
+    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/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/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/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

@@ -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;
@@ -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;
@@ -41,6 +43,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

package/dist/types/write.d.ts

@@ -1,10 +1,10 @@
-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 {
     readonly format: "adr-write/v1";
-    readonly command: "new" | "accept" | "supersede" | "reject" | "withdraw" | "deprecate" | "note" | "link" | "scope";
+    readonly command: "new" | "accept" | "supersede" | "reject" | "withdraw" | "deprecate" | "note" | "link" | "scope" | "update";
     readonly ok: boolean;
     /**
      * The decision after the write; before it when `ok` is false (`null` for a refused `new`).
@@ -68,6 +68,14 @@ export interface WritePlan {
     readonly subject: string;
     /** New files, repo-relative path → bytes, in write order: body, materialized template, events. */
     readonly files: Readonly<Record<string, Uint8Array>>;
+    /**
+     * Existing files to replace, path → the new bytes and the bytes the plan read; written only if
+     * the file still holds `expected` (a draft update).
+     */
+    readonly replace?: Readonly<Record<string, {
+        readonly bytes: Uint8Array;
+        readonly expected: Uint8Array;
+    }>>;
     readonly events: readonly EventEnvelope[];
     /** Paths to stage: every new file, plus the existing body for accept. */
     readonly stage: readonly string[];
@@ -126,12 +134,28 @@ export type PlanResult = {
 export declare function planPropose(read: DecisionsRead, input: ProposeInput, c: PlanContext, o?: {
     readonly refuseIncomplete?: boolean;
 }): Promise<PlanResult>;
+/** Input of a draft update: the decision and the sections to replace (section id → markdown). */
+export interface UpdateDraftInput {
+    readonly id: string;
+    readonly sections: Readonly<Record<string, string>>;
+}
+/**
+ * Plans a draft update (design §6.6): the given sections of a proposed decision's body replaced in
+ * place, every other line kept, written only if the body still holds the bytes read. Refused
+ * (`ok: false`) when the decision isn't proposed or its body or template version is missing or
+ * unreadable, and with `refuseIncomplete` when the new draft fails its template lint. An unknown
+ * section, a missing heading or a heading in the content is a `UsageError`.
+ */
+export declare function planUpdateDraft(read: DecisionsRead, input: UpdateDraftInput, c: PlanContext, o?: {
+    readonly refuseIncomplete?: boolean;
+}): Promise<PlanResult>;
 /** Plans `adr accept`: `accepted` with the body hash, and `superseded` on each declared target. */
 export declare function planAccept(read: DecisionsRead, input: {
     readonly id: string;
     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 {
@@ -200,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;
@@ -244,18 +271,38 @@ 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
  * 2b D5): the batch is already in the log, so a rerun is refused, writes nothing or duplicates it.
  */
 export declare const WRITE_RERUN = "Don't run the command again: the log already holds the change, so a rerun would be refused, do nothing, or write it a second time.";
+/**
+ * Applies a plan (§5.4): refuses a commit whose scope has unstaged or needed untracked paths,
+ * writes the files (removing them again if a write fails), stages them, runs `afterStage`, and
+ * commits `plan.stage` plus the involved subjects' already-staged files with exact trailers. A
+ * failed `git commit` throws `CommitFailedError` with the manual command (design 2b D5) and the
+ * notes made so far.
+ */
 export declare function applyPlan(log: DecisionLog, plan: WritePlan, o: {
     readonly commit: boolean;
     /** The commit message, without trailers; required when committing. */
     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
@@ -273,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`).
@@ -336,6 +399,14 @@ export declare function linkDecision(log: DecisionLog, input: LinkInput, o?: Wri
  * and commits with `commit`. An unchanged set writes nothing.
  */
 export declare function scopeDecision(log: DecisionLog, input: ScopeInput, o?: WriteOptions, deps?: WriteDeps): Promise<WriteResultJson>;
+/**
+ * Replaces sections of a proposed decision's draft (design §6.6), stages the body, and commits
+ * with `commit` (default `[policy] auto_commit`). A body with unstaged changes is a `UsageError`,
+ * so nobody's unsaved edit is folded into this write; a body changed between plan and write is
+ * `FileChangedError`. A commit is never made of a draft that fails its template lint: it is
+ * refused (`ok: false`, nothing written), as for `proposeDecision` without an editor.
+ */
+export declare function updateDraft(log: DecisionLog, input: UpdateDraftInput, o?: WriteOptions, deps?: WriteDeps): Promise<WriteResultJson>;
 /**
  * `adr scope [<decision>] --follow-renames` (design §6.8): rewrites the scope globs of the given
  * decision, or of every decision, after the renames staged against `HEAD`, and stages one

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nikovirtala/adr",
-  "version": "0.3.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,10 @@
     "provenance": true
   },
   "dependencies": {
-    "@nikovirtala/ledger": "^0.5.0"
+    "@nikovirtala/ledger": "^0.7.1"
+  },
+  "devDependencies": {
+    "@modelcontextprotocol/sdk": "1.32.2"
   },
   "scripts": {
     "build": "tsdown",

package/dist/kind-DjvA3dyA.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"kind-DjvA3dyA.js","names":[],"sources":["../src/kind/project.ts","../src/kind/reduce.ts","../src/kind/rules.ts","../src/kind/schemas.ts","../src/kind.ts"],"sourcesContent":["import type { FoldedSubject, ProjectContext } from \"@nikovirtala/ledger\";\nimport type { DecisionState } from \"./reduce.js\";\nimport type { DecisionEvents, DecisionStatus } from \"./schemas.js\";\n\n/** One decision as the CLI, the library and MCP show it (01:173–192, plus the added fields). */\nexport interface DecisionView {\n  readonly id: string;\n  readonly number: number | null;\n  /** `ADR-0007`, or the id when unnumbered. */\n  readonly display: string;\n  readonly title: string;\n  readonly status: DecisionStatus;\n  readonly superseded_by: string | null;\n  /** Ids whose applied `superseded.by` is this id, sorted. */\n  readonly supersedes: readonly string[];\n  /** The proposal's intent (01:164). */\n  readonly declared_supersedes: readonly string[];\n  /** Head of the `superseded_by` chain; `null` only on a cycle. */\n  readonly effective: string | null;\n  /** `[id, …, effective]`, following `superseded_by` forward. */\n  readonly chain: readonly string[];\n  readonly template: { readonly name: string; readonly version: number };\n  readonly body_path: string | null;\n  /** Recorded at acceptance. */\n  readonly body_sha256: string | null;\n  /** `null` until accepted; whether the current body hash equals the recorded one. */\n  readonly body_intact: boolean | null;\n  readonly links: readonly { readonly to: string; readonly rel: string }[];\n  readonly applies_to: readonly string[];\n  readonly notes: number;\n  readonly proposed_at: string;\n  readonly decided_at: string | null;\n  readonly status_at: string;\n  /** `proposed 2026-03-12`: state-changing events, in fold order. */\n  readonly history: readonly string[];\n}\n\ntype Subject = FoldedSubject<DecisionStatus, DecisionState, DecisionEvents>;\ntype Context = ProjectContext<DecisionStatus, DecisionState, DecisionEvents>;\n\nconst NUMBER = /^(?:adr-?)?0*([1-9][0-9]{0,8})$/i;\n\n/** `ADR-0007`: at least 4 digits, growing past 9999. */\nexport function formatDecisionNumber(n: number): string {\n  return `ADR-${String(n).padStart(4, \"0\")}`;\n}\n\n/** `7`, `0007`, `ADR-7`, `adr-0007` → 7; `null` for anything else. */\nexport function parseDecisionNumber(s: string): number | null {\n  const m = NUMBER.exec(s.trim());\n  return m === null ? null : Number(m[1]);\n}\n\n/**\n * Follows `superseded_by` from `id`. A visited set stops on a cycle (`effective: null`); a\n * reference to a subject that isn't folded ends the chain there.\n */\nfunction chainOf(id: string, ctx: Context): { chain: string[]; effective: string | null } {\n  const chain = [id];\n  let cur = id;\n  for (;;) {\n    const next = ctx.log.subjects.get(cur)?.state?.supersededBy ?? null;\n    if (next === null) return { chain, effective: cur };\n    if (chain.includes(next)) return { chain, effective: null };\n    chain.push(next);\n    cur = next;\n  }\n}\n\n/** Pure: the view of one folded decision. */\nexport function project(subject: Subject, ctx: Context): DecisionView {\n  const { id } = subject;\n  const s = subject.state;\n  if (s === null || subject.status === null) {\n    throw new Error(`decision ${id} is not folded`);\n  }\n  const supersedes = [...ctx.log.subjects.values()]\n    .filter((o) => o.id !== id && o.state?.supersededBy === id)\n    .map((o) => o.id)\n    .sort();\n  const { chain, effective } = chainOf(id, ctx);\n  const current = ctx.bodySha256(id);\n  return {\n    id,\n    number: ctx.number(id),\n    display: ctx.display(id),\n    title: s.title,\n    status: subject.status,\n    superseded_by: s.supersededBy,\n    supersedes,\n    declared_supersedes: s.declaredSupersedes,\n    effective,\n    chain,\n    template: s.template,\n    body_path: subject.loaded.body?.path ?? subject.loaded.bodyPaths[0] ?? null,\n    body_sha256: s.bodySha256,\n    body_intact: s.bodySha256 === null ? null : current === s.bodySha256,\n    links: s.links,\n    applies_to: s.appliesTo,\n    notes: s.notes,\n    proposed_at: s.proposedAt,\n    decided_at: s.decidedAt,\n    status_at: s.statusAt,\n    history: s.history.map((h) => `${h.type} ${h.at.slice(0, 10)}`),\n  };\n}\n","import type { Actor, FoldEvent } from \"@nikovirtala/ledger\";\nimport type { DecisionEvents } from \"./schemas.js\";\n\n/** A decision's own state, maintained by `reduce` over its applied events. */\nexport interface DecisionState {\n  readonly title: string;\n  readonly template: { readonly name: string; readonly version: number };\n  readonly declaredSupersedes: readonly string[];\n  /** From the applied `accepted` event. */\n  readonly bodySha256: string | null;\n  readonly acceptedBy: Actor | null;\n  readonly supersededBy: string | null;\n  /** In fold order, duplicates kept once. */\n  readonly links: readonly { readonly to: string; readonly rel: string }[];\n  /** The latest `scoped` set (latest wins). */\n  readonly appliesTo: readonly string[];\n  readonly notes: number;\n  /** State-changing events only, in fold order. */\n  readonly history: readonly { readonly type: string; readonly at: string }[];\n  readonly proposedAt: string;\n  /** `at` of `accepted`, `rejected` or `withdrawn`. */\n  readonly decidedAt: string | null;\n  /** `at` of the latest state-changing event. */\n  readonly statusAt: string;\n}\n\nconst EMPTY: DecisionState = {\n  title: \"\",\n  template: { name: \"\", version: 0 },\n  declaredSupersedes: [],\n  bodySha256: null,\n  acceptedBy: null,\n  supersededBy: null,\n  links: [],\n  appliesTo: [],\n  notes: 0,\n  history: [],\n  proposedAt: \"\",\n  decidedAt: null,\n  statusAt: \"\",\n};\n\n/** Pure: the state after one applied event. The fold only passes events the machine allows. */\nexport function reduce(state: DecisionState | null, e: FoldEvent<DecisionEvents>): DecisionState {\n  const s = state ?? EMPTY;\n  const changed = (extra: Partial<DecisionState> = {}): DecisionState => ({\n    ...s,\n    ...extra,\n    history: [...s.history, { type: e.type, at: e.at }],\n    statusAt: e.at,\n  });\n  switch (e.type) {\n    case \"proposed\":\n      return changed({\n        title: e.data.title,\n        template: { name: e.data.template, version: e.data.template_version },\n        declaredSupersedes: [...(e.data.supersedes ?? [])],\n        proposedAt: e.at,\n      });\n    case \"accepted\":\n      return changed({ bodySha256: e.data.body_sha256, acceptedBy: e.actor, decidedAt: e.at });\n    case \"rejected\":\n    case \"withdrawn\":\n      return changed({ decidedAt: e.at });\n    case \"deprecated\":\n      return changed();\n    case \"superseded\":\n      return changed({ supersededBy: e.data.by });\n    case \"noted\":\n      return { ...s, notes: s.notes + 1 };\n    case \"linked\": {\n      const { to, rel } = e.data;\n      const known = s.links.some((l) => l.to === to && l.rel === rel);\n      return known ? s : { ...s, links: [...s.links, { to, rel }] };\n    }\n    case \"scoped\":\n      return { ...s, appliesTo: [...e.data.set] };\n  }\n}\n","import type { FoldedLog, FoldedSubject, KindFinding } from \"@nikovirtala/ledger\";\nimport type { DecisionState } from \"./reduce.js\";\nimport type { DecisionEvents, DecisionStatus } from \"./schemas.js\";\n\n/** Options of the decision kind's `invariants` and `relate`. */\nexport interface AdrOptions {\n  /** Default `true`: an agent may propose, but only a human may accept (01:98). */\n  readonly acceptRequiresHuman: boolean;\n}\n\ntype Subject = FoldedSubject<DecisionStatus, DecisionState, DecisionEvents>;\ntype Log = FoldedLog<DecisionStatus, DecisionState, DecisionEvents>;\n\n/** `decision/agent-accepted`: an applied `accepted` event written by an agent under the human policy. */\nexport function invariants(subject: Subject, options: AdrOptions): readonly KindFinding[] {\n  if (!options.acceptRequiresHuman) return [];\n  return subject.applied.flatMap(({ event }) =>\n    event.type === \"accepted\" && event.actor.kind === \"agent\"\n      ? [\n          {\n            severity: \"error\" as const,\n            rule: \"decision/agent-accepted\",\n            message: `accepted by agent ${event.actor.name}; accept_requires_human needs a human`,\n            subject: subject.id,\n            event: event.id,\n          },\n        ]\n      : [],\n  );\n}\n\n/**\n * Qualified ids (`<source>:<id>`) name decisions in other logs. Phase 1 checks local references\n * only and skips qualified ones, which only hand-written events can hold; CI checks them at the\n * pinned ref in phase 2 (design §E).\n */\nconst isQualified = (ref: string) => ref.includes(\":\");\n\n/**\n * Cross-subject rules: `decision/reference-missing` for a local `supersedes`, `superseded.by` or\n * `linked.to` naming no subject in the log; `decision/superseded-by-unaccepted` when the target of\n * an applied `superseded.by` has no applied `accepted` event in this tree; and\n * `decision/supersession-cycle`, once per cycle on its smallest id.\n */\nexport function relate(log: Log): readonly KindFinding[] {\n  const out: KindFinding[] = [];\n  const isAccepted = (id: string) =>\n    log.subjects.get(id)?.applied.some((a) => a.event.type === \"accepted\") ?? false;\n  const missing = (subject: string, event: string, ref: string, what: string) => {\n    if (isQualified(ref) || log.subjects.has(ref)) return false;\n    out.push({\n      severity: \"error\",\n      rule: \"decision/reference-missing\",\n      message: `${what} ${ref}, which is not in the log`,\n      subject,\n      event,\n      related: [ref],\n    });\n    return true;\n  };\n\n  for (const [id, s] of log.subjects) {\n    for (const { event } of s.applied) {\n      switch (event.type) {\n        case \"proposed\":\n          for (const ref of event.data.supersedes ?? []) missing(id, event.id, ref, \"supersedes\");\n          break;\n        case \"superseded\": {\n          const by = event.data.by;\n          if (missing(id, event.id, by, \"superseded by\") || isQualified(by)) break;\n          if (!isAccepted(by)) {\n            out.push({\n              severity: \"error\",\n              rule: \"decision/superseded-by-unaccepted\",\n              message: `superseded by ${by}, which is not accepted`,\n              subject: id,\n              event: event.id,\n              related: [by],\n            });\n          }\n          break;\n        }\n        case \"linked\":\n          missing(id, event.id, event.data.to, \"links to\");\n          break;\n        default:\n          break;\n      }\n    }\n  }\n\n  const next = (id: string) => log.subjects.get(id)?.state?.supersededBy ?? null;\n  const reported = new Set<string>();\n  for (const start of log.subjects.keys()) {\n    const path: string[] = [];\n    let cur: string | null = start;\n    while (cur !== null && !path.includes(cur)) {\n      path.push(cur);\n      cur = next(cur);\n    }\n    if (cur === null) continue;\n    const cycle = path.slice(path.indexOf(cur));\n    const smallest = [...cycle].sort()[0];\n    if (smallest === undefined || reported.has(smallest)) continue;\n    reported.add(smallest);\n    const from = cycle.indexOf(smallest);\n    const ordered = [...cycle.slice(from), ...cycle.slice(0, from), smallest];\n    const event = log.subjects.get(smallest)?.applied.find((a) => a.event.type === \"superseded\")\n      ?.event.id;\n    out.push({\n      severity: \"error\",\n      rule: \"decision/supersession-cycle\",\n      message: `supersession cycle: ${ordered.join(\" → \")}`,\n      subject: smallest,\n      ...(event === undefined ? {} : { event }),\n      related: [...cycle].sort(),\n    });\n  }\n  return out;\n}\n","import { eventType, setEventType } from \"@nikovirtala/ledger\";\n\n/** A decision's computed status. */\nexport type DecisionStatus =\n  | \"proposed\"\n  | \"accepted\"\n  | \"rejected\"\n  | \"withdrawn\"\n  | \"deprecated\"\n  | \"superseded\";\n\n/** Every status, in lifecycle order. */\nexport const DECISION_STATUSES: readonly DecisionStatus[] = Object.freeze([\n  \"proposed\",\n  \"accepted\",\n  \"rejected\",\n  \"withdrawn\",\n  \"deprecated\",\n  \"superseded\",\n]);\n\n/** A local subject id, or a qualified `<source>:<id>` one. */\nexport const REF = \"^(?:[a-z][a-z0-9-]*:)?[0-9a-hjkmnp-tv-z]{8}$\";\n\nconst ref = { type: \"string\", pattern: REF } as const;\nconst SINGLE_LINE = \"^[^\\\\r\\\\n]*$\";\n\n/** How a `linked` decision relates to its target. */\nexport type LinkRel = \"relates-to\" | \"refines\" | \"depends-on\";\n\n/** The decision kind's event types (01:128–136): data schemas, allowed states and targets. */\nexport const decisionEvents = {\n  proposed: eventType<{\n    title: string;\n    template: string;\n    template_version: number;\n    supersedes?: string[];\n  }>()({\n    data: {\n      type: \"object\",\n      required: [\"title\", \"template\", \"template_version\"],\n      properties: {\n        title: { type: \"string\", minLength: 1, maxLength: 200, pattern: SINGLE_LINE },\n        template: { type: \"string\", pattern: \"^[a-z][a-z0-9-]*$\" },\n        template_version: { type: \"integer\", minimum: 1 },\n        supersedes: { type: \"array\", items: ref, uniqueItems: true, maxItems: 20 },\n      },\n    },\n    allowedIn: [],\n    to: \"proposed\",\n  }),\n  accepted: eventType<{ body_sha256: string }>()({\n    data: {\n      type: \"object\",\n      required: [\"body_sha256\"],\n      properties: { body_sha256: { type: \"string\", pattern: \"^[0-9a-f]{64}$\" } },\n    },\n    allowedIn: [\"proposed\"],\n    to: \"accepted\",\n  }),\n  rejected: eventType()({\n    data: { type: \"object\" },\n    allowedIn: [\"proposed\"],\n    to: \"rejected\",\n    reason: \"required\",\n  }),\n  withdrawn: eventType()({ data: { type: \"object\" }, allowedIn: [\"proposed\"], to: \"withdrawn\" }),\n  deprecated: eventType()({\n    data: { type: \"object\" },\n    allowedIn: [\"accepted\"],\n    to: \"deprecated\",\n    reason: \"required\",\n  }),\n  superseded: eventType<{ by: string }>()({\n    data: { type: \"object\", required: [\"by\"], properties: { by: ref } },\n    allowedIn: [\"accepted\", \"deprecated\"],\n    to: \"superseded\",\n  }),\n  noted: eventType<{ text: string }>()({\n    data: {\n      type: \"object\",\n      required: [\"text\"],\n      properties: { text: { type: \"string\", minLength: 1 } },\n    },\n    allowedIn: \"any\",\n    to: null,\n  }),\n  linked: eventType<{ to: string; rel: LinkRel }>()({\n    data: {\n      type: \"object\",\n      required: [\"to\", \"rel\"],\n      properties: { to: ref, rel: { enum: [\"relates-to\", \"refines\", \"depends-on\"] } },\n    },\n    allowedIn: \"any\",\n    to: null,\n  }),\n  // ledger's whole-set event (G11): the same schema as before, so decision/v1 is unchanged.\n  scoped: setEventType({\n    item: { type: \"string\", minLength: 1, maxLength: 500 },\n    maxItems: 200,\n    allowedIn: [\"proposed\", \"accepted\", \"deprecated\"],\n  }),\n} as const;\n\nexport type DecisionEvents = typeof decisionEvents;\n","import { defineKind, type Kind } from \"@nikovirtala/ledger\";\nimport {\n  type DecisionView,\n  formatDecisionNumber,\n  parseDecisionNumber,\n  project,\n} from \"./kind/project.js\";\nimport { type DecisionState, reduce } from \"./kind/reduce.js\";\nimport { type AdrOptions, invariants, relate } from \"./kind/rules.js\";\nimport { type DecisionEvents, type DecisionStatus, decisionEvents } from \"./kind/schemas.js\";\n\nexport type { DecisionView } from \"./kind/project.js\";\nexport { formatDecisionNumber, parseDecisionNumber } from \"./kind/project.js\";\nexport type { DecisionState } from \"./kind/reduce.js\";\nexport type { AdrOptions } from \"./kind/rules.js\";\nexport {\n  DECISION_STATUSES,\n  type DecisionEvents,\n  type DecisionStatus,\n  type LinkRel,\n  REF,\n} from \"./kind/schemas.js\";\n\n/**\n * The decision kind (01:128–194), as imported by other tools through `@nikovirtala/adr/kind`.\n *\n * Decisions are proposed, then accepted (which freezes the body and earns a number on main),\n * rejected or withdrawn; accepted ones can be deprecated or superseded. This module imports only\n * `@nikovirtala/ledger` and `./kind/*`, so importing the kind never loads CLI or MCP code.\n */\nexport const adrKind: Kind<\n  DecisionStatus,\n  DecisionEvents,\n  DecisionState,\n  DecisionView,\n  AdrOptions\n> = defineKind<DecisionStatus, DecisionEvents, DecisionState, DecisionView, AdrOptions>({\n  name: \"decision\",\n  schema: \"decision/v1\",\n  states: [\"proposed\", \"accepted\", \"rejected\", \"withdrawn\", \"deprecated\", \"superseded\"],\n  events: decisionEvents,\n  initial: \"proposed\",\n  reduce,\n  invariants,\n  relate,\n  project,\n  body: { freezeOn: \"accepted\" },\n  layout: { bodies: \"decisions\", events: \"events\" },\n  defaultRoot: \"docs/adr\",\n  sourceName: \"adr\",\n  numbering: { on: \"accepted\", format: formatDecisionNumber, parse: parseDecisionNumber },\n  templates: {\n    dir: \"templates\",\n    nameField: \"template\",\n    versionField: \"template_version\",\n    lintIn: [\"proposed\"],\n    lintOn: \"accepted\",\n    requireSections: [\"scope\"],\n  },\n  // A deprecated decision's globs no longer have to match code (design 2b §4.8).\n  scope: { event: \"scoped\", activeIn: [\"proposed\", \"accepted\"] },\n  options: Object.freeze({ acceptRequiresHuman: true }),\n});\n"],"mappings":";;AAwCA,MAAM,SAAS;;AAGf,SAAgB,qBAAqB,GAAmB;CACtD,OAAO,OAAO,OAAO,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG;AACzC;;AAGA,SAAgB,oBAAoB,GAA0B;CAC5D,MAAM,IAAI,OAAO,KAAK,EAAE,KAAK,CAAC;CAC9B,OAAO,MAAM,OAAO,OAAO,OAAO,EAAE,EAAE;AACxC;;;;;AAMA,SAAS,QAAQ,IAAY,KAA6D;CACxF,MAAM,QAAQ,CAAC,EAAE;CACjB,IAAI,MAAM;CACV,SAAS;EACP,MAAM,OAAO,IAAI,IAAI,SAAS,IAAI,GAAG,CAAC,EAAE,OAAO,gBAAgB;EAC/D,IAAI,SAAS,MAAM,OAAO;GAAE;GAAO,WAAW;EAAI;EAClD,IAAI,MAAM,SAAS,IAAI,GAAG,OAAO;GAAE;GAAO,WAAW;EAAK;EAC1D,MAAM,KAAK,IAAI;EACf,MAAM;CACR;AACF;;AAGA,SAAgB,QAAQ,SAAkB,KAA4B;CACpE,MAAM,EAAE,OAAO;CACf,MAAM,IAAI,QAAQ;CAClB,IAAI,MAAM,QAAQ,QAAQ,WAAW,MACnC,MAAM,IAAI,MAAM,YAAY,GAAG,eAAe;CAEhD,MAAM,aAAa,CAAC,GAAG,IAAI,IAAI,SAAS,OAAO,CAAC,CAAC,CAC9C,QAAQ,MAAM,EAAE,OAAO,MAAM,EAAE,OAAO,iBAAiB,EAAE,CAAC,CAC1D,KAAK,MAAM,EAAE,EAAE,CAAC,CAChB,KAAK;CACR,MAAM,EAAE,OAAO,cAAc,QAAQ,IAAI,GAAG;CAC5C,MAAM,UAAU,IAAI,WAAW,EAAE;CACjC,OAAO;EACL;EACA,QAAQ,IAAI,OAAO,EAAE;EACrB,SAAS,IAAI,QAAQ,EAAE;EACvB,OAAO,EAAE;EACT,QAAQ,QAAQ;EAChB,eAAe,EAAE;EACjB;EACA,qBAAqB,EAAE;EACvB;EACA;EACA,UAAU,EAAE;EACZ,WAAW,QAAQ,OAAO,MAAM,QAAQ,QAAQ,OAAO,UAAU,MAAM;EACvE,aAAa,EAAE;EACf,aAAa,EAAE,eAAe,OAAO,OAAO,YAAY,EAAE;EAC1D,OAAO,EAAE;EACT,YAAY,EAAE;EACd,OAAO,EAAE;EACT,aAAa,EAAE;EACf,YAAY,EAAE;EACd,WAAW,EAAE;EACb,SAAS,EAAE,QAAQ,KAAK,MAAM,GAAG,EAAE,KAAK,GAAG,EAAE,GAAG,MAAM,GAAG,EAAE,GAAG;CAChE;AACF;;AC/EA,MAAM,QAAuB;CAC3B,OAAO;CACP,UAAU;EAAE,MAAM;EAAI,SAAS;CAAE;CACjC,oBAAoB,CAAC;CACrB,YAAY;CACZ,YAAY;CACZ,cAAc;CACd,OAAO,CAAC;CACR,WAAW,CAAC;CACZ,OAAO;CACP,SAAS,CAAC;CACV,YAAY;CACZ,WAAW;CACX,UAAU;AACZ;;AAGA,SAAgB,OAAO,OAA6B,GAA6C;CAC/F,MAAM,IAAI,SAAS;CACnB,MAAM,WAAW,QAAgC,CAAC,OAAsB;EACtE,GAAG;EACH,GAAG;EACH,SAAS,CAAC,GAAG,EAAE,SAAS;GAAE,MAAM,EAAE;GAAM,IAAI,EAAE;EAAG,CAAC;EAClD,UAAU,EAAE;CACd;CACA,QAAQ,EAAE,MAAV;EACE,KAAK,YACH,OAAO,QAAQ;GACb,OAAO,EAAE,KAAK;GACd,UAAU;IAAE,MAAM,EAAE,KAAK;IAAU,SAAS,EAAE,KAAK;GAAiB;GACpE,oBAAoB,CAAC,GAAI,EAAE,KAAK,cAAc,CAAC,CAAE;GACjD,YAAY,EAAE;EAChB,CAAC;EACH,KAAK,YACH,OAAO,QAAQ;GAAE,YAAY,EAAE,KAAK;GAAa,YAAY,EAAE;GAAO,WAAW,EAAE;EAAG,CAAC;EACzF,KAAK;EACL,KAAK,aACH,OAAO,QAAQ,EAAE,WAAW,EAAE,GAAG,CAAC;EACpC,KAAK,cACH,OAAO,QAAQ;EACjB,KAAK,cACH,OAAO,QAAQ,EAAE,cAAc,EAAE,KAAK,GAAG,CAAC;EAC5C,KAAK,SACH,OAAO;GAAE,GAAG;GAAG,OAAO,EAAE,QAAQ;EAAE;EACpC,KAAK,UAAU;GACb,MAAM,EAAE,IAAI,QAAQ,EAAE;GAEtB,OADc,EAAE,MAAM,MAAM,MAAM,EAAE,OAAO,MAAM,EAAE,QAAQ,GAChD,IAAI,IAAI;IAAE,GAAG;IAAG,OAAO,CAAC,GAAG,EAAE,OAAO;KAAE;KAAI;IAAI,CAAC;GAAE;EAC9D;EACA,KAAK,UACH,OAAO;GAAE,GAAG;GAAG,WAAW,CAAC,GAAG,EAAE,KAAK,GAAG;EAAE;CAC9C;AACF;;;AChEA,SAAgB,WAAW,SAAkB,SAA6C;CACxF,IAAI,CAAC,QAAQ,qBAAqB,OAAO,CAAC;CAC1C,OAAO,QAAQ,QAAQ,SAAS,EAAE,YAChC,MAAM,SAAS,cAAc,MAAM,MAAM,SAAS,UAC9C,CACE;EACE,UAAU;EACV,MAAM;EACN,SAAS,qBAAqB,MAAM,MAAM,KAAK;EAC/C,SAAS,QAAQ;EACjB,OAAO,MAAM;CACf,CACF,IACA,CAAC,CACP;AACF;;;;;;AAOA,MAAM,eAAe,QAAgB,IAAI,SAAS,GAAG;;;;;;;AAQrD,SAAgB,OAAO,KAAkC;CACvD,MAAM,MAAqB,CAAC;CAC5B,MAAM,cAAc,OAClB,IAAI,SAAS,IAAI,EAAE,CAAC,EAAE,QAAQ,MAAM,MAAM,EAAE,MAAM,SAAS,UAAU,KAAK;CAC5E,MAAM,WAAW,SAAiB,OAAe,KAAa,SAAiB;EAC7E,IAAI,YAAY,GAAG,KAAK,IAAI,SAAS,IAAI,GAAG,GAAG,OAAO;EACtD,IAAI,KAAK;GACP,UAAU;GACV,MAAM;GACN,SAAS,GAAG,KAAK,GAAG,IAAI;GACxB;GACA;GACA,SAAS,CAAC,GAAG;EACf,CAAC;EACD,OAAO;CACT;CAEA,KAAK,MAAM,CAAC,IAAI,MAAM,IAAI,UACxB,KAAK,MAAM,EAAE,WAAW,EAAE,SACxB,QAAQ,MAAM,MAAd;EACE,KAAK;GACH,KAAK,MAAM,OAAO,MAAM,KAAK,cAAc,CAAC,GAAG,QAAQ,IAAI,MAAM,IAAI,KAAK,YAAY;GACtF;EACF,KAAK,cAAc;GACjB,MAAM,KAAK,MAAM,KAAK;GACtB,IAAI,QAAQ,IAAI,MAAM,IAAI,IAAI,eAAe,KAAK,YAAY,EAAE,GAAG;GACnE,IAAI,CAAC,WAAW,EAAE,GAChB,IAAI,KAAK;IACP,UAAU;IACV,MAAM;IACN,SAAS,iBAAiB,GAAG;IAC7B,SAAS;IACT,OAAO,MAAM;IACb,SAAS,CAAC,EAAE;GACd,CAAC;GAEH;EACF;EACA,KAAK,UACH,QAAQ,IAAI,MAAM,IAAI,MAAM,KAAK,IAAI,UAAU;CAInD;CAIJ,MAAM,QAAQ,OAAe,IAAI,SAAS,IAAI,EAAE,CAAC,EAAE,OAAO,gBAAgB;CAC1E,MAAM,2BAAW,IAAI,IAAY;CACjC,KAAK,MAAM,SAAS,IAAI,SAAS,KAAK,GAAG;EACvC,MAAM,OAAiB,CAAC;EACxB,IAAI,MAAqB;EACzB,OAAO,QAAQ,QAAQ,CAAC,KAAK,SAAS,GAAG,GAAG;GAC1C,KAAK,KAAK,GAAG;GACb,MAAM,KAAK,GAAG;EAChB;EACA,IAAI,QAAQ,MAAM;EAClB,MAAM,QAAQ,KAAK,MAAM,KAAK,QAAQ,GAAG,CAAC;EAC1C,MAAM,WAAW,CAAC,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC;EACnC,IAAI,aAAa,KAAA,KAAa,SAAS,IAAI,QAAQ,GAAG;EACtD,SAAS,IAAI,QAAQ;EACrB,MAAM,OAAO,MAAM,QAAQ,QAAQ;EACnC,MAAM,UAAU;GAAC,GAAG,MAAM,MAAM,IAAI;GAAG,GAAG,MAAM,MAAM,GAAG,IAAI;GAAG;EAAQ;EACxE,MAAM,QAAQ,IAAI,SAAS,IAAI,QAAQ,CAAC,EAAE,QAAQ,MAAM,MAAM,EAAE,MAAM,SAAS,YAAY,CAAC,EACxF,MAAM;EACV,IAAI,KAAK;GACP,UAAU;GACV,MAAM;GACN,SAAS,uBAAuB,QAAQ,KAAK,KAAK;GAClD,SAAS;GACT,GAAI,UAAU,KAAA,IAAY,CAAC,IAAI,EAAE,MAAM;GACvC,SAAS,CAAC,GAAG,KAAK,CAAC,CAAC,KAAK;EAC3B,CAAC;CACH;CACA,OAAO;AACT;;;AC3GA,MAAa,oBAA+C,OAAO,OAAO;CACxE;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;;AAGD,MAAa,MAAM;AAEnB,MAAM,MAAM;CAAE,MAAM;CAAU,SAAS;AAAI;;AAO3C,MAAa,iBAAiB;CAC5B,UAAU,UAKP,CAAC,CAAC;EACH,MAAM;GACJ,MAAM;GACN,UAAU;IAAC;IAAS;IAAY;GAAkB;GAClD,YAAY;IACV,OAAO;KAAE,MAAM;KAAU,WAAW;KAAG,WAAW;KAAK,SAAS;IAAY;IAC5E,UAAU;KAAE,MAAM;KAAU,SAAS;IAAoB;IACzD,kBAAkB;KAAE,MAAM;KAAW,SAAS;IAAE;IAChD,YAAY;KAAE,MAAM;KAAS,OAAO;KAAK,aAAa;KAAM,UAAU;IAAG;GAC3E;EACF;EACA,WAAW,CAAC;EACZ,IAAI;CACN,CAAC;CACD,UAAU,UAAmC,CAAC,CAAC;EAC7C,MAAM;GACJ,MAAM;GACN,UAAU,CAAC,aAAa;GACxB,YAAY,EAAE,aAAa;IAAE,MAAM;IAAU,SAAS;GAAiB,EAAE;EAC3E;EACA,WAAW,CAAC,UAAU;EACtB,IAAI;CACN,CAAC;CACD,UAAU,UAAU,CAAC,CAAC;EACpB,MAAM,EAAE,MAAM,SAAS;EACvB,WAAW,CAAC,UAAU;EACtB,IAAI;EACJ,QAAQ;CACV,CAAC;CACD,WAAW,UAAU,CAAC,CAAC;EAAE,MAAM,EAAE,MAAM,SAAS;EAAG,WAAW,CAAC,UAAU;EAAG,IAAI;CAAY,CAAC;CAC7F,YAAY,UAAU,CAAC,CAAC;EACtB,MAAM,EAAE,MAAM,SAAS;EACvB,WAAW,CAAC,UAAU;EACtB,IAAI;EACJ,QAAQ;CACV,CAAC;CACD,YAAY,UAA0B,CAAC,CAAC;EACtC,MAAM;GAAE,MAAM;GAAU,UAAU,CAAC,IAAI;GAAG,YAAY,EAAE,IAAI,IAAI;EAAE;EAClE,WAAW,CAAC,YAAY,YAAY;EACpC,IAAI;CACN,CAAC;CACD,OAAO,UAA4B,CAAC,CAAC;EACnC,MAAM;GACJ,MAAM;GACN,UAAU,CAAC,MAAM;GACjB,YAAY,EAAE,MAAM;IAAE,MAAM;IAAU,WAAW;GAAE,EAAE;EACvD;EACA,WAAW;EACX,IAAI;CACN,CAAC;CACD,QAAQ,UAAwC,CAAC,CAAC;EAChD,MAAM;GACJ,MAAM;GACN,UAAU,CAAC,MAAM,KAAK;GACtB,YAAY;IAAE,IAAI;IAAK,KAAK,EAAE,MAAM;KAAC;KAAc;KAAW;IAAY,EAAE;GAAE;EAChF;EACA,WAAW;EACX,IAAI;CACN,CAAC;CAED,QAAQ,aAAa;EACnB,MAAM;GAAE,MAAM;GAAU,WAAW;GAAG,WAAW;EAAI;EACrD,UAAU;EACV,WAAW;GAAC;GAAY;GAAY;EAAY;CAClD,CAAC;AACH;;;;;;;;;ACxEA,MAAa,UAMT,WAAoF;CACtF,MAAM;CACN,QAAQ;CACR,QAAQ;EAAC;EAAY;EAAY;EAAY;EAAa;EAAc;CAAY;CACpF,QAAQ;CACR,SAAS;CACT;CACA;CACA;CACA;CACA,MAAM,EAAE,UAAU,WAAW;CAC7B,QAAQ;EAAE,QAAQ;EAAa,QAAQ;CAAS;CAChD,aAAa;CACb,YAAY;CACZ,WAAW;EAAE,IAAI;EAAY,QAAQ;EAAsB,OAAO;CAAoB;CACtF,WAAW;EACT,KAAK;EACL,WAAW;EACX,cAAc;EACd,QAAQ,CAAC,UAAU;EACnB,QAAQ;EACR,iBAAiB,CAAC,OAAO;CAC3B;CAEA,OAAO;EAAE,OAAO;EAAU,UAAU,CAAC,YAAY,UAAU;CAAE;CAC7D,SAAS,OAAO,OAAO,EAAE,qBAAqB,KAAK,CAAC;AACtD,CAAC"}