carrick 0.3.53

package/dist/contract.d.ts

@@ -0,0 +1,154 @@
+/** A count with up to 200 of its reasons, mirroring `Counted` in src/boundary.rs. */
+export type Counted = {
+    total: number;
+    reasons?: string[];
+    truncated?: boolean;
+};
+/** `ServiceBoundary` from src/boundary.rs, as it rides the check output. */
+export type Boundary = {
+    commit_hash?: string;
+    files_attempted?: number;
+    files_lost?: Counted;
+    unemitted_literal_candidates?: number;
+    consumers_not_resolved?: Counted;
+    sdk_unresolved?: Counted;
+    unknown_call_paths?: Counted;
+    model_only_rows?: number;
+    model_rows_joined?: number;
+    model_contradictions_discarded?: number;
+    model_endpoints_discarded_in_claimed_modules?: number;
+    routes_without_response_type?: Counted;
+    calls_without_expected_type?: Counted;
+    types_degraded?: {
+        stage?: string;
+        detail?: string;
+    };
+    bare_checkout?: boolean;
+};
+export type Counterpart = {
+    /**
+     * `peer` is a shared external contract: both sides call the same third
+     * party and neither serves the other, so it gets no producer/consumer word.
+     */
+    role: "producer" | "consumer" | "peer" | string;
+    service?: string;
+    /** Absolute path of the counterpart's repo; null when the index lost it. */
+    repo?: string | null;
+    /** Relative to the counterpart's own repo, which is not the queried file's. */
+    file?: string;
+    line?: number;
+};
+export type Verdict = {
+    state: "resolved" | "unresolved" | "not_checked" | string;
+    /** Null while `state` is `not_checked`: matched, never compared. */
+    result: null | "compatible" | "type_mismatch" | "method_mismatch" | "producer_removed" | string;
+    detail?: string;
+};
+export type CheckItem = {
+    kind: "route" | "call" | string;
+    method?: string;
+    path?: string;
+    line?: number;
+    col?: number;
+    /** R1: a row whose only source is the model is a candidate, never a fact. */
+    source?: "fact" | "candidate" | string;
+    resolution_source?: string | null;
+    /** One line naming what the row was read off. */
+    evidence?: string | null;
+    counterparts?: Counterpart[];
+    verdict?: Verdict | null;
+};
+export type CheckResult = {
+    schema: string;
+    /** Set instead of the payload, e.g. `not_indexed`. */
+    error?: string;
+    file?: string;
+    /** Absolute path of the repo owning `file`; `repo` + `file` is openable. */
+    repo?: string;
+    service?: string;
+    index_commit?: string;
+    /** RFC 3339 time the index or the last refresh of this service ran. */
+    indexed_at?: string;
+    /** The scanner release that wrote the index. */
+    scanner_version?: string;
+    changed_since_index?: number;
+    stale?: boolean;
+    /** The index holds this file and it is no longer on disk. */
+    deleted?: boolean;
+    items?: CheckItem[];
+    boundary?: Boundary;
+    /**
+     * One sentence about what a local index cannot hold at all. Always sent, so a
+     * thin index never reads as "there is no API here". It leads `boundary_lines`
+     * and, when those are absent, the counts rendered here.
+     */
+    boundary_note?: string;
+    /**
+     * The boundary already rendered by the CLI, the same bytes it prints at the
+     * tail of its human output. When it is here it is printed as it stands; when
+     * it is not, the counts in `boundary` are rendered instead. One renderer owns
+     * the wording either way, and which one depends only on what the CLI sent.
+     */
+    boundary_lines?: string[];
+};
+export declare const SCHEMA = "carrick.check/0";
+export declare const STATUS_SCHEMA = "carrick.status/0";
+/** One service in a `carrick status --json` answer. */
+export type StatusService = {
+    service: string;
+    /** Absolute. Services of one repo share a commit and a changed-file count. */
+    repo: string;
+    index_commit: string;
+    indexed_at?: string;
+    routes: number;
+    calls: number;
+    changed_since_index: number;
+    /** Up to 50, repo-relative and sorted. */
+    stale_files?: string[];
+    /** Always exact, whatever the list length. */
+    stale_files_total?: number;
+    stale_files_truncated?: boolean;
+    boundary?: Boundary;
+    boundary_note?: string;
+    boundary_lines?: string[];
+};
+/** `carrick status --json`: the workspace, with no file in the question. */
+export type StatusResult = {
+    schema: string;
+    error?: string;
+    workspace?: string;
+    indexed_at?: string;
+    scanner_version?: string;
+    services: StatusService[];
+};
+/**
+ * Parse CLI stdout into a `CheckResult`, or `null` when it is not one.
+ *
+ * Only the schema tag is required. A payload whose `items` is missing reads as
+ * "no locations", which is what an unindexed file returns, and is not an error.
+ */
+export declare function parseCheckResult(stdout: string): CheckResult | null;
+/**
+ * Parse `carrick status --json` output, or `null` when it is not that shape.
+ *
+ * Its own schema rather than a fileless `check`, so every `carrick.check/0`
+ * response stays about one file. A service row missing a required field is
+ * dropped rather than rendered half-formed.
+ */
+export declare function parseStatusResult(stdout: string): StatusResult | null;
+/** True when the row is the model's reading alone (R1). */
+export declare function isCandidate(item: CheckItem): boolean;
+/**
+ * Items worth reporting: a verdict that states a result other than
+ * `compatible`.
+ *
+ * The result decides, not the state. `state` is the type layer's word, and
+ * `not_checked` covers the routing findings (`method_mismatch`,
+ * `producer_removed`) as well as the rows nothing bears on, so filtering on it
+ * would drop real findings. A null result is the "nothing is claimed" case in
+ * every state. Both channels report this same set, so a diagnostic and a hook
+ * line never disagree about what is wrong.
+ */
+export declare function problemItems(result: CheckResult): CheckItem[];
+/** Items that name a counterpart in another service, problem or not. */
+export declare function connectedItems(result: CheckResult): CheckItem[];

package/dist/contract.js

@@ -0,0 +1,141 @@
+// The `carrick check|touch <file> --json` output, schema `carrick.check/0`.
+//
+// The CLI owns this shape: docs/local-mode-output.md and
+// docs/schemas/carrick-check-0.json (carrick#708). It may ADD fields; it never
+// renames or removes one. Everything here is read-only: the
+// plugin parses what it is given, keeps the fields it renders, and drops the
+// rest. An unknown `kind`, `result` or `state` value is carried through as a
+// string rather than rejected, so a CLI that learns a new verdict result still
+// renders a line here instead of nothing.
+export const SCHEMA = "carrick.check/0";
+export const STATUS_SCHEMA = "carrick.status/0";
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+/**
+ * Parse CLI stdout into a `CheckResult`, or `null` when it is not one.
+ *
+ * Only the schema tag is required. A payload whose `items` is missing reads as
+ * "no locations", which is what an unindexed file returns, and is not an error.
+ */
+export function parseCheckResult(stdout) {
+    let parsed;
+    try {
+        parsed = JSON.parse(stdout);
+    }
+    catch {
+        return null;
+    }
+    if (!isRecord(parsed))
+        return null;
+    if (typeof parsed["schema"] !== "string")
+        return null;
+    if (parsed["schema"] !== SCHEMA)
+        return null;
+    const items = Array.isArray(parsed["items"]) ? parsed["items"] : [];
+    const result = {
+        schema: parsed["schema"],
+        items,
+    };
+    if (typeof parsed["error"] === "string")
+        result.error = parsed["error"];
+    if (typeof parsed["file"] === "string")
+        result.file = parsed["file"];
+    if (typeof parsed["repo"] === "string")
+        result.repo = parsed["repo"];
+    if (typeof parsed["service"] === "string")
+        result.service = parsed["service"];
+    if (typeof parsed["index_commit"] === "string")
+        result.index_commit = parsed["index_commit"];
+    if (typeof parsed["indexed_at"] === "string")
+        result.indexed_at = parsed["indexed_at"];
+    if (typeof parsed["scanner_version"] === "string") {
+        result.scanner_version = parsed["scanner_version"];
+    }
+    if (typeof parsed["deleted"] === "boolean")
+        result.deleted = parsed["deleted"];
+    if (typeof parsed["changed_since_index"] === "number") {
+        result.changed_since_index = parsed["changed_since_index"];
+    }
+    if (typeof parsed["stale"] === "boolean")
+        result.stale = parsed["stale"];
+    if (isRecord(parsed["boundary"]))
+        result.boundary = parsed["boundary"];
+    if (typeof parsed["boundary_note"] === "string")
+        result.boundary_note = parsed["boundary_note"];
+    if (Array.isArray(parsed["boundary_lines"])) {
+        const lines = parsed["boundary_lines"].filter((line) => typeof line === "string");
+        if (lines.length)
+            result.boundary_lines = lines;
+    }
+    return result;
+}
+/**
+ * Parse `carrick status --json` output, or `null` when it is not that shape.
+ *
+ * Its own schema rather than a fileless `check`, so every `carrick.check/0`
+ * response stays about one file. A service row missing a required field is
+ * dropped rather than rendered half-formed.
+ */
+export function parseStatusResult(stdout) {
+    let parsed;
+    try {
+        parsed = JSON.parse(stdout);
+    }
+    catch {
+        return null;
+    }
+    if (!isRecord(parsed))
+        return null;
+    if (parsed["schema"] !== STATUS_SCHEMA)
+        return null;
+    const result = { schema: STATUS_SCHEMA, services: [] };
+    if (typeof parsed["error"] === "string")
+        result.error = parsed["error"];
+    if (typeof parsed["workspace"] === "string")
+        result.workspace = parsed["workspace"];
+    if (typeof parsed["indexed_at"] === "string")
+        result.indexed_at = parsed["indexed_at"];
+    if (typeof parsed["scanner_version"] === "string") {
+        result.scanner_version = parsed["scanner_version"];
+    }
+    const services = Array.isArray(parsed["services"]) ? parsed["services"] : [];
+    for (const entry of services) {
+        if (!isRecord(entry))
+            continue;
+        if (typeof entry["service"] !== "string" || typeof entry["repo"] !== "string")
+            continue;
+        if (typeof entry["index_commit"] !== "string")
+            continue;
+        result.services.push(entry);
+    }
+    return result;
+}
+/** True when the row is the model's reading alone (R1). */
+export function isCandidate(item) {
+    return item.source === "candidate";
+}
+/**
+ * Items worth reporting: a verdict that states a result other than
+ * `compatible`.
+ *
+ * The result decides, not the state. `state` is the type layer's word, and
+ * `not_checked` covers the routing findings (`method_mismatch`,
+ * `producer_removed`) as well as the rows nothing bears on, so filtering on it
+ * would drop real findings. A null result is the "nothing is claimed" case in
+ * every state. Both channels report this same set, so a diagnostic and a hook
+ * line never disagree about what is wrong.
+ */
+export function problemItems(result) {
+    return (result.items ?? []).filter((item) => {
+        const verdict = item.verdict;
+        if (!verdict)
+            return false;
+        return verdict.result != null && verdict.result !== "compatible";
+    });
+}
+/** Items that name a counterpart in another service, problem or not. */
+export function connectedItems(result) {
+    return (result.items ?? []).filter((item) => (item.counterparts ?? []).length > 0);
+}
+//# sourceMappingURL=contract.js.map

package/dist/contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,EAAE;AACF,yDAAyD;AACzD,+EAA+E;AAC/E,4DAA4D;AAC5D,6EAA6E;AAC7E,6EAA6E;AAC7E,+EAA+E;AAC/E,0CAA0C;AAwG1C,MAAM,CAAC,MAAM,MAAM,GAAG,iBAAiB,CAAC;AACxC,MAAM,CAAC,MAAM,aAAa,GAAG,kBAAkB,CAAC;AAgChD,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,IAAI,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAE,MAAM,CAAC,OAAO,CAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;IACrF,MAAM,MAAM,GAAgB;QAC1B,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC;QACxB,KAAK;KACN,CAAC;IACF,IAAI,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,QAAQ;QAAE,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IACxE,IAAI,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,QAAQ;QAAE,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IACrE,IAAI,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,QAAQ;QAAE,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IACrE,IAAI,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,QAAQ;QAAE,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAC9E,IAAI,OAAO,MAAM,CAAC,cAAc,CAAC,KAAK,QAAQ;QAAE,MAAM,CAAC,YAAY,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;IAC7F,IAAI,OAAO,MAAM,CAAC,YAAY,CAAC,KAAK,QAAQ;QAAE,MAAM,CAAC,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;IACvF,IAAI,OAAO,MAAM,CAAC,iBAAiB,CAAC,KAAK,QAAQ,EAAE,CAAC;QAClD,MAAM,CAAC,eAAe,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,SAAS;QAAE,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAC/E,IAAI,OAAO,MAAM,CAAC,qBAAqB,CAAC,KAAK,QAAQ,EAAE,CAAC;QACtD,MAAM,CAAC,mBAAmB,GAAG,MAAM,CAAC,qBAAqB,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,SAAS;QAAE,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IACzE,IAAI,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAAE,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAa,CAAC;IACnF,IAAI,OAAO,MAAM,CAAC,eAAe,CAAC,KAAK,QAAQ;QAAE,MAAM,CAAC,aAAa,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC;IAChG,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAI,MAAM,CAAC,gBAAgB,CAAe,CAAC,MAAM,CAC1D,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CACnD,CAAC;QACF,IAAI,KAAK,CAAC,MAAM;YAAE,MAAM,CAAC,cAAc,GAAG,KAAK,CAAC;IAClD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAc;IAC9C,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,MAAM,GAAiB,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACrE,IAAI,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,QAAQ;QAAE,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IACxE,IAAI,OAAO,MAAM,CAAC,WAAW,CAAC,KAAK,QAAQ;QAAE,MAAM,CAAC,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACpF,IAAI,OAAO,MAAM,CAAC,YAAY,CAAC,KAAK,QAAQ;QAAE,MAAM,CAAC,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;IACvF,IAAI,OAAO,MAAM,CAAC,iBAAiB,CAAC,KAAK,QAAQ,EAAE,CAAC;QAClD,MAAM,CAAC,eAAe,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7E,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QAC/B,IAAI,OAAO,KAAK,CAAC,SAAS,CAAC,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,QAAQ;YAAE,SAAS;QACxF,IAAI,OAAO,KAAK,CAAC,cAAc,CAAC,KAAK,QAAQ;YAAE,SAAS;QACxD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAiC,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,WAAW,CAAC,IAAe;IACzC,OAAO,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC;AACrC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAAC,MAAmB;IAC9C,OAAO,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAC7B,IAAI,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QAC3B,OAAO,OAAO,CAAC,MAAM,IAAI,IAAI,IAAI,OAAO,CAAC,MAAM,KAAK,YAAY,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,cAAc,CAAC,MAAmB;IAChD,OAAO,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACrF,CAAC"}

package/dist/diagnostics.d.ts

@@ -0,0 +1,54 @@
+import { type CheckItem, type CheckResult, type Counterpart } from "./contract.ts";
+export declare const SOURCE = "carrick";
+export declare const SEVERITY: {
+    readonly error: 1;
+    readonly warning: 2;
+    readonly information: 3;
+    readonly hint: 4;
+};
+export type Position = {
+    line: number;
+    character: number;
+};
+export type Range = {
+    start: Position;
+    end: Position;
+};
+export type Diagnostic = {
+    range: Range;
+    severity: number;
+    code?: string;
+    source: string;
+    message: string;
+    relatedInformation?: Array<{
+        location: {
+            uri: string;
+            range: Range;
+        };
+        message: string;
+    }>;
+};
+/** An error only for a finding on a fact row that claims something (R1c). */
+export declare function severityOf(item: CheckItem): number;
+export declare function messageOf(item: CheckItem): string;
+/**
+ * Where a counterpart lands on this disk, or null when it cannot be pointed at.
+ *
+ * `repo` + `file`, and nothing else: the payload states the repo absolutely, so
+ * a reader that also tried the workspace root or a directory named after the
+ * service would be guessing at paths the producer already knows.
+ */
+export declare function resolveCounterpart(counterpart: Counterpart, exists?: (target: string) => boolean): string | null;
+export type DiagnosticOptions = {
+    /** Injectable for tests. */
+    exists?: (target: string) => boolean;
+};
+/**
+ * Diagnostics for one check payload, keyed by the absolute file they belong to.
+ *
+ * The checked file gets one per problem item, one for the boundary, and one
+ * more when the index holds a file that is no longer on disk. Each counterpart
+ * site whose path resolves gets the same finding at its own line, so an agent
+ * that opens the consumer reads it there too.
+ */
+export declare function toDiagnostics(result: CheckResult, root: string, checkedFile: string, options?: DiagnosticOptions): Map<string, Diagnostic[]>;

package/dist/diagnostics.js

@@ -0,0 +1,199 @@
+// Check verdicts as LSP diagnostics.
+//
+// Four rules decide what a diagnostic looks like here.
+//
+// R1: a finding on a fact row is an error; the same finding on a candidate row
+// is a warning that says it is the model's reading. `verdict.state` is the type
+// layer's word and not a confidence in the row: `method_mismatch` and
+// `producer_removed` are routing facts and carry `not_checked` because no type
+// verdict bears on them, so keying severity off the state alone would demote
+// every routing finding. A state of `unresolved` is the exception: nothing was
+// claimed there, so nothing is asserted here either.
+//
+// E18: Claude Code drops `relatedInformation` from the attachment it gives the
+// model, and editors render it as clickable locations. So every counterpart
+// site goes in BOTH: in the message text for the agent, and in
+// `relatedInformation` for the human.
+//
+// The boundary is never dropped. The local index holds no bare-receiver route
+// and no `fetch` call, because both need a model, so a file with no findings is
+// not a file with no contracts. One information diagnostic carries the boundary
+// on every checked file that has one.
+//
+// A counterpart's `file` is relative to its OWN repo, and the payload names
+// that repo absolutely, so `repo` + `file` is the path and nothing is guessed.
+// `repo` is null when the index no longer holds the counterpart's repo: then
+// there is no path to give, the site stays in the message text with no URI, and
+// no diagnostic is mirrored onto a file this machine cannot point at.
+import fs from "node:fs";
+import path from "node:path";
+import { pathToFileURL } from "node:url";
+import { isCandidate, problemItems, } from "./contract.js";
+import { boundaryFor, stateWord } from "./render.js";
+export const SOURCE = "carrick";
+export const SEVERITY = { error: 1, warning: 2, information: 3, hint: 4 };
+function rangeAt(line, col) {
+    const zeroLine = Math.max(0, (line ?? 1) - 1);
+    const zeroCol = Math.max(0, (col ?? 1) - 1);
+    return {
+        start: { line: zeroLine, character: zeroCol },
+        end: { line: zeroLine, character: zeroCol + 1 },
+    };
+}
+/** An error only for a finding on a fact row that claims something (R1c). */
+export function severityOf(item) {
+    if (isCandidate(item))
+        return SEVERITY.warning;
+    if (item.source !== "fact")
+        return SEVERITY.warning;
+    if (item.verdict?.state === "unresolved")
+        return SEVERITY.warning;
+    return SEVERITY.error;
+}
+/** `consumer in admin-ui`, and for a peer the role word is left out. */
+function counterpartPhrase(counterpart) {
+    const service = counterpart.service ?? "an unnamed service";
+    return counterpart.role === "peer" ? `the same contract in ${service}` : `${counterpart.role} in ${service}`;
+}
+function counterpartWhere(counterpart) {
+    return `${counterpart.file ?? "an unnamed file"}${counterpart.line ? `:${counterpart.line}` : ""}`;
+}
+export function messageOf(item) {
+    const operation = [item.method, item.path].filter(Boolean).join(" ");
+    const verdict = item.verdict;
+    // `result` is null wherever the state is the whole statement, and a result
+    // whose state is not `resolved` has no compiler verdict behind it.
+    const verdictWords = verdict
+        ? verdict.result == null
+            ? stateWord(verdict.state)
+            : verdict.state === "resolved"
+                ? verdict.result
+                : `${verdict.result} (${stateWord(verdict.state)})`
+        : "";
+    const head = [operation, verdictWords].filter(Boolean).join(" ");
+    const parts = [verdict?.detail ? `${head}: ${verdict.detail}` : head];
+    if (isCandidate(item)) {
+        const from = item.resolution_source ? ` (${item.resolution_source})` : "";
+        parts.push(`Candidate row${from}, so this is a reading of the code and not a fact about it.`);
+    }
+    if (item.evidence)
+        parts.push(`Read off ${item.evidence}.`);
+    const counterparts = item.counterparts ?? [];
+    if (counterparts.length) {
+        parts.push(`Counterparts: ${counterparts
+            .map((counterpart) => `${counterpartPhrase(counterpart)}, ${counterpartWhere(counterpart)}`)
+            .join("; ")}`);
+    }
+    return parts.join("\n");
+}
+function defaultExists(target) {
+    try {
+        return fs.existsSync(target);
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Where a counterpart lands on this disk, or null when it cannot be pointed at.
+ *
+ * `repo` + `file`, and nothing else: the payload states the repo absolutely, so
+ * a reader that also tried the workspace root or a directory named after the
+ * service would be guessing at paths the producer already knows.
+ */
+export function resolveCounterpart(counterpart, exists = defaultExists) {
+    if (!counterpart.file)
+        return null;
+    if (path.isAbsolute(counterpart.file))
+        return exists(counterpart.file) ? counterpart.file : null;
+    if (!counterpart.repo)
+        return null;
+    const target = path.resolve(counterpart.repo, counterpart.file);
+    return exists(target) ? target : null;
+}
+/**
+ * Diagnostics for one check payload, keyed by the absolute file they belong to.
+ *
+ * The checked file gets one per problem item, one for the boundary, and one
+ * more when the index holds a file that is no longer on disk. Each counterpart
+ * site whose path resolves gets the same finding at its own line, so an agent
+ * that opens the consumer reads it there too.
+ */
+export function toDiagnostics(result, root, checkedFile, options = {}) {
+    const exists = options.exists ?? defaultExists;
+    const byFile = new Map();
+    if (result.error)
+        return byFile;
+    // The path the caller asked about, always: that is the document the editor
+    // has open, and a diagnostic published to any other URI is invisible. The
+    // payload's `repo` + `file` names the same file by another route and is used
+    // for counterparts, where the caller has no path of its own.
+    const checkedAbs = path.resolve(root, checkedFile);
+    const put = (file, diagnostic) => {
+        const existing = byFile.get(file);
+        if (existing)
+            existing.push(diagnostic);
+        else
+            byFile.set(file, [diagnostic]);
+    };
+    for (const item of problemItems(result)) {
+        const counterparts = item.counterparts ?? [];
+        const related = counterparts
+            .map((counterpart) => ({ counterpart, resolved: resolveCounterpart(counterpart, exists) }))
+            .filter((entry) => entry.resolved !== null)
+            .map((entry) => ({
+            location: {
+                uri: pathToFileURL(entry.resolved).toString(),
+                range: rangeAt(entry.counterpart.line, 1),
+            },
+            message: counterpartPhrase(entry.counterpart),
+        }));
+        const diagnostic = {
+            range: rangeAt(item.line, item.col),
+            severity: severityOf(item),
+            source: SOURCE,
+            message: messageOf(item),
+        };
+        if (item.verdict?.result)
+            diagnostic.code = item.verdict.result;
+        if (related.length)
+            diagnostic.relatedInformation = related;
+        put(checkedAbs, diagnostic);
+        for (const counterpart of counterparts) {
+            const resolved = resolveCounterpart(counterpart, exists);
+            if (!resolved)
+                continue;
+            const mirrored = {
+                range: rangeAt(counterpart.line, 1),
+                severity: severityOf(item),
+                source: SOURCE,
+                message: `${counterpartPhrase(counterpart)} of ${result.file ?? checkedFile}. ${messageOf(item)}`,
+            };
+            if (item.verdict?.result)
+                mirrored.code = item.verdict.result;
+            put(resolved, mirrored);
+        }
+    }
+    if (result.deleted) {
+        const consumers = (result.items ?? []).reduce((total, item) => total + (item.counterparts ?? []).length, 0);
+        put(checkedAbs, {
+            range: rangeAt(1, 1),
+            severity: SEVERITY.warning,
+            code: "producer_removed",
+            source: SOURCE,
+            message: `producer_removed: the index holds ${(result.items ?? []).length} row(s) for this file and it is no longer on disk. ${consumers} counterpart(s) still name it.`,
+        });
+    }
+    const boundary = boundaryFor(result);
+    if (boundary.length) {
+        put(checkedAbs, {
+            range: rangeAt(1, 1),
+            severity: SEVERITY.information,
+            code: "boundary",
+            source: SOURCE,
+            message: `What this service's scan could not classify:\n${boundary.join("\n")}`,
+        });
+    }
+    return byFile;
+}
+//# sourceMappingURL=diagnostics.js.map

package/dist/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA,qCAAqC;AACrC,EAAE;AACF,uDAAuD;AACvD,EAAE;AACF,+EAA+E;AAC/E,gFAAgF;AAChF,sEAAsE;AACtE,+EAA+E;AAC/E,6EAA6E;AAC7E,+EAA+E;AAC/E,qDAAqD;AACrD,EAAE;AACF,+EAA+E;AAC/E,4EAA4E;AAC5E,+DAA+D;AAC/D,sCAAsC;AACtC,EAAE;AACF,8EAA8E;AAC9E,gFAAgF;AAChF,gFAAgF;AAChF,sCAAsC;AACtC,EAAE;AACF,4EAA4E;AAC5E,+EAA+E;AAC/E,6EAA6E;AAC7E,gFAAgF;AAChF,sEAAsE;AAEtE,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EACL,WAAW,EACX,YAAY,GAIb,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAErD,MAAM,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC;AAEhC,MAAM,CAAC,MAAM,QAAQ,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAW,CAAC;AAiBnF,SAAS,OAAO,CAAC,IAAwB,EAAE,GAAuB;IAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,OAAO;QACL,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE;QAC7C,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,GAAG,CAAC,EAAE;KAChD,CAAC;AACJ,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,UAAU,CAAC,IAAe;IACxC,IAAI,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO,QAAQ,CAAC,OAAO,CAAC;IAC/C,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,QAAQ,CAAC,OAAO,CAAC;IACpD,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,YAAY;QAAE,OAAO,QAAQ,CAAC,OAAO,CAAC;IAClE,OAAO,QAAQ,CAAC,KAAK,CAAC;AACxB,CAAC;AAED,wEAAwE;AACxE,SAAS,iBAAiB,CAAC,WAAwB;IACjD,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,IAAI,oBAAoB,CAAC;IAC5D,OAAO,WAAW,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,wBAAwB,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,OAAO,OAAO,EAAE,CAAC;AAC/G,CAAC;AAED,SAAS,gBAAgB,CAAC,WAAwB;IAChD,OAAO,GAAG,WAAW,CAAC,IAAI,IAAI,iBAAiB,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AACrG,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAe;IACvC,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAC7B,2EAA2E;IAC3E,mEAAmE;IACnE,MAAM,YAAY,GAAG,OAAO;QAC1B,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,IAAI;YACtB,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC;YAC1B,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,UAAU;gBAC5B,CAAC,CAAC,OAAO,CAAC,MAAM;gBAChB,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG;QACvD,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,IAAI,GAAG,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjE,MAAM,KAAK,GAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChF,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,iBAAiB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,KAAK,CAAC,IAAI,CAAC,gBAAgB,IAAI,6DAA6D,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC;IAC7C,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CACR,iBAAiB,YAAY;aAC1B,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,GAAG,iBAAiB,CAAC,WAAW,CAAC,KAAK,gBAAgB,CAAC,WAAW,CAAC,EAAE,CAAC;aAC3F,IAAI,CAAC,IAAI,CAAC,EAAE,CAChB,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,aAAa,CAAC,MAAc;IACnC,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,WAAwB,EACxB,SAAsC,aAAa;IAEnD,IAAI,CAAC,WAAW,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACnC,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACjG,IAAI,CAAC,WAAW,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AACxC,CAAC;AAOD;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAmB,EACnB,IAAY,EACZ,WAAmB,EACnB,UAA6B,EAAE;IAE/B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,aAAa,CAAC;IAC/C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC/C,IAAI,MAAM,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC;IAEhC,2EAA2E;IAC3E,0EAA0E;IAC1E,6EAA6E;IAC7E,6DAA6D;IAC7D,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACnD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,UAAsB,EAAQ,EAAE;QACzD,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;;YACnC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,YAAY;aACzB,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,kBAAkB,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;aAC1F,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC;aAC1C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACf,QAAQ,EAAE;gBACR,GAAG,EAAE,aAAa,CAAC,KAAK,CAAC,QAAkB,CAAC,CAAC,QAAQ,EAAE;gBACvD,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;aAC1C;YACD,OAAO,EAAE,iBAAiB,CAAC,KAAK,CAAC,WAAW,CAAC;SAC9C,CAAC,CAAC,CAAC;QACN,MAAM,UAAU,GAAe;YAC7B,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;YACnC,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC;YAC1B,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC;SACzB,CAAC;QACF,IAAI,IAAI,CAAC,OAAO,EAAE,MAAM;YAAE,UAAU,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QAChE,IAAI,OAAO,CAAC,MAAM;YAAE,UAAU,CAAC,kBAAkB,GAAG,OAAO,CAAC;QAC5D,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAE5B,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;YACvC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;YACzD,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACxB,MAAM,QAAQ,GAAe;gBAC3B,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;gBACnC,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC;gBAC1B,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,GAAG,iBAAiB,CAAC,WAAW,CAAC,OAAO,MAAM,CAAC,IAAI,IAAI,WAAW,KAAK,SAAS,CAAC,IAAI,CAAC,EAAE;aAClG,CAAC;YACF,IAAI,IAAI,CAAC,OAAO,EAAE,MAAM;gBAAE,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;YAC9D,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,MAAM,SAAS,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAC3C,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,EACzD,CAAC,CACF,CAAC;QACF,GAAG,CAAC,UAAU,EAAE;YACd,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;YACpB,QAAQ,EAAE,QAAQ,CAAC,OAAO;YAC1B,IAAI,EAAE,kBAAkB;YACxB,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,qCAAqC,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,sDAAsD,SAAS,gCAAgC;SACzK,CAAC,CAAC;IACL,CAAC;IAED,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,GAAG,CAAC,UAAU,EAAE;YACd,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;YACpB,QAAQ,EAAE,QAAQ,CAAC,WAAW;YAC9B,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,iDAAiD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SAChF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/hook/post-edit.d.ts

@@ -0,0 +1,13 @@
+#!/usr/bin/env node
+type Payload = {
+    cwd?: string;
+    tool_input?: {
+        file_path?: string;
+        filePath?: string;
+        edits?: Array<{
+            file_path?: string;
+        }>;
+    };
+};
+export declare function fileFromPayload(payload: Payload): string | null;
+export {};

package/dist/hook/post-edit.js

@@ -0,0 +1,76 @@
+#!/usr/bin/env node
+// PostToolUse hook for Edit, Write and MultiEdit.
+//
+// Reads the tool payload on stdin, runs `carrick check <file> --json` from the
+// workspace root and prints the verdicts as `additionalContext`, which Claude
+// Code attaches to the tool result. Attaching to the result rather than to the
+// next turn is why this channel has no "the run ended on the edit" hole.
+//
+// It exits 0 whatever happens. An edit never fails because Carrick had nothing
+// to say, could not find its binary, or timed out.
+import path from "node:path";
+import { check } from "../cli.js";
+import { resolveChannel } from "../channel.js";
+import { createLogger } from "../log.js";
+import { renderPostToolUse } from "../render.js";
+import { resolveRoot, rootNote } from "../root.js";
+const log = createLogger("carrick-hook");
+/** The files the index has rows for. */
+const CHECKED = /\.(ts|tsx|mts|cts)$/;
+export function fileFromPayload(payload) {
+    const input = payload.tool_input ?? {};
+    return input.file_path ?? input.filePath ?? input.edits?.[0]?.file_path ?? null;
+}
+function emit(context) {
+    process.stdout.write(JSON.stringify({
+        hookSpecificOutput: {
+            hookEventName: "PostToolUse",
+            additionalContext: context,
+        },
+    }));
+}
+async function readStdin() {
+    const chunks = [];
+    for await (const chunk of process.stdin)
+        chunks.push(Buffer.from(chunk));
+    return Buffer.concat(chunks).toString("utf8");
+}
+async function main() {
+    const channel = resolveChannel({ hooksInstalled: true });
+    if (channel.channel !== "hook") {
+        log(`the ${channel.channel} channel owns delivery in this install; printing nothing`);
+        return;
+    }
+    let payload;
+    try {
+        payload = JSON.parse((await readStdin()) || "{}");
+    }
+    catch (error) {
+        log("unparseable payload", String(error));
+        return;
+    }
+    const file = fileFromPayload(payload);
+    if (!file || !CHECKED.test(file))
+        return;
+    const choice = resolveRoot({
+        clientRoot: payload.cwd ?? null,
+        projectDir: process.env["CLAUDE_PROJECT_DIR"] ?? null,
+        filePath: file,
+    });
+    const note = rootNote(choice);
+    if (note)
+        log(note);
+    const relative = path.isAbsolute(file) ? path.relative(choice.root, file) : file;
+    const outcome = await check(relative, { cwd: choice.root });
+    if (!outcome.result) {
+        log("no answer for", relative, outcome.failure ?? "");
+        return;
+    }
+    const context = renderPostToolUse(outcome.result, relative);
+    log(`check ${relative} -> ${context ? "context" : "nothing to say"} in ${outcome.ms}ms`);
+    if (context)
+        emit(context);
+}
+await main();
+process.exit(0);
+//# sourceMappingURL=post-edit.js.map

package/dist/hook/post-edit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"post-edit.js","sourceRoot":"","sources":["../../src/hook/post-edit.ts"],"names":[],"mappings":";AACA,kDAAkD;AAClD,EAAE;AACF,+EAA+E;AAC/E,8EAA8E;AAC9E,+EAA+E;AAC/E,yEAAyE;AACzE,EAAE;AACF,+EAA+E;AAC/E,mDAAmD;AAEnD,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEnD,MAAM,GAAG,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;AACzC,wCAAwC;AACxC,MAAM,OAAO,GAAG,qBAAqB,CAAC;AAWtC,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC9C,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;IACvC,OAAO,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,IAAI,IAAI,CAAC;AAClF,CAAC;AAED,SAAS,IAAI,CAAC,OAAe;IAC3B,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,IAAI,CAAC,SAAS,CAAC;QACb,kBAAkB,EAAE;YAClB,aAAa,EAAE,aAAa;YAC5B,iBAAiB,EAAE,OAAO;SAC3B;KACF,CAAC,CACH,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,SAAS;IACtB,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,OAAO,CAAC,KAAK;QAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACzE,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAChD,CAAC;AAED,KAAK,UAAU,IAAI;IACjB,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,IAAI,OAAO,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QAC/B,GAAG,CAAC,OAAO,OAAO,CAAC,OAAO,0DAA0D,CAAC,CAAC;QACtF,OAAO;IACT,CAAC;IAED,IAAI,OAAgB,CAAC;IACrB,IAAI,CAAC;QACH,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,SAAS,EAAE,CAAC,IAAI,IAAI,CAAY,CAAC;IAC/D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,GAAG,CAAC,qBAAqB,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,OAAO;IACT,CAAC;IAED,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO;IAEzC,MAAM,MAAM,GAAG,WAAW,CAAC;QACzB,UAAU,EAAE,OAAO,CAAC,GAAG,IAAI,IAAI;QAC/B,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,IAAI,IAAI;QACrD,QAAQ,EAAE,IAAI;KACf,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC9B,IAAI,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAEpB,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjF,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,QAAQ,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACpB,GAAG,CAAC,eAAe,EAAE,QAAQ,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QACtD,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC5D,GAAG,CAAC,SAAS,QAAQ,OAAO,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,OAAO,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;IACzF,IAAI,OAAO;QAAE,IAAI,CAAC,OAAO,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,IAAI,EAAE,CAAC;AACb,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC"}