@jmtrin/opencode-kevin 0.9.0 → 1.0.0

package/dist/migrations/011_v10_proven.sql

@@ -0,0 +1,69 @@
+-- =============================================================
+-- Kevin v1.0.0 "Proven" — migration 011
+-- Adds: perf sampling, benchmark results.
+-- No ALTER TABLE (second release running); no column is retyped.
+-- =============================================================
+
+-- 1. Per-scope latency aggregates, flushed at session.idle.
+--    Machine-scoped: no project_id, for the same reason hook_liveness
+--    has none (v0.9.0 D9-08) — latency is a property of the install.
+CREATE TABLE IF NOT EXISTS perf_samples (
+    id             INTEGER PRIMARY KEY AUTOINCREMENT,
+    scope          TEXT    NOT NULL,
+    sample_count   INTEGER NOT NULL,
+    p50_ms         REAL    NOT NULL,
+    p95_ms         REAL    NOT NULL,
+    max_ms         REAL    NOT NULL,
+    budget_p95_ms  REAL    NOT NULL,
+    within_budget  INTEGER NOT NULL DEFAULT 1,
+    recorded_at    TEXT    NOT NULL DEFAULT (datetime('now'))
+);
+
+CREATE INDEX IF NOT EXISTS idx_perf_samples_scope
+    ON perf_samples(scope, recorded_at DESC);
+CREATE INDEX IF NOT EXISTS idx_perf_samples_breach
+    ON perf_samples(within_budget) WHERE within_budget = 0;
+
+-- 2. Benchmark results. Append-only. One row per arm per run.
+--    arm CHECK is closed by the plan; widening requires a table rebuild (intentional friction).
+--    scope CHECK is intentionally absent: the scope union may gain members in a 1.x minor.
+CREATE TABLE IF NOT EXISTS bench_runs (
+    id               INTEGER PRIMARY KEY AUTOINCREMENT,
+    corpus_digest    TEXT    NOT NULL,
+    contract_digest  TEXT    NOT NULL,
+    package_version  TEXT    NOT NULL,
+    runtime          TEXT    NOT NULL,
+    arm              TEXT    NOT NULL,
+    k                INTEGER NOT NULL,
+    precision_at_k   REAL    NOT NULL,
+    recall_at_k      REAL    NOT NULL,
+    mrr              REAL    NOT NULL,
+    ran_at           TEXT    NOT NULL DEFAULT (datetime('now')),
+    CHECK (arm IN ('none', 'recent-k', 'random-k', 'kevin'))
+);
+
+CREATE INDEX IF NOT EXISTS idx_bench_runs_corpus
+    ON bench_runs(corpus_digest, ran_at DESC);
+CREATE INDEX IF NOT EXISTS idx_bench_runs_arm
+    ON bench_runs(arm, ran_at DESC);
+
+-- 3. Metric seeds (45 -> 51).
+INSERT OR IGNORE INTO kevin_metrics (key, value) VALUES ('perf_samples_recorded', 0);
+INSERT OR IGNORE INTO kevin_metrics (key, value) VALUES ('perf_budget_breaches', 0);
+INSERT OR IGNORE INTO kevin_metrics (key, value) VALUES ('dispose_fires_total', 0);
+INSERT OR IGNORE INTO kevin_metrics (key, value) VALUES ('dispose_misses_total', 0);
+INSERT OR IGNORE INTO kevin_metrics (key, value) VALUES ('contract_digest_changes', 0);
+INSERT OR IGNORE INTO kevin_metrics (key, value) VALUES ('bench_runs_total', 0);
+
+-- 4. Setting seeds (27 -> 31). All TEXT; '0'/'1' are strings.
+INSERT OR IGNORE INTO kevin_settings (key, value) VALUES ('perf_enabled', '1');
+INSERT OR IGNORE INTO kevin_settings (key, value) VALUES ('perf_ring_capacity', '512');
+INSERT OR IGNORE INTO kevin_settings (key, value) VALUES ('perf_flush_on_idle', '1');
+INSERT OR IGNORE INTO kevin_settings (key, value) VALUES ('contract_report_enabled', '1');
+
+-- 5. `dispose` becomes the seventh instrumented hook (v0.9.0 migration 010
+--    seeded six rows; this is a data seed, not a schema change).
+INSERT OR IGNORE INTO hook_liveness (hook) VALUES ('dispose');
+
+-- 6. Schema version.
+INSERT OR IGNORE INTO schema_version (version) VALUES ('011');

package/dist/plugin/Archiver.js

@@ -96,4 +96,3 @@ function formatSqliteUtc(d) {
     const pad = (n) => String(n).padStart(2, "0");
     return `${d.getUTCFullYear()}-${pad(d.getUTCMonth() + 1)}-${pad(d.getUTCDate())} ${pad(d.getUTCHours())}:${pad(d.getUTCMinutes())}:${pad(d.getUTCSeconds())}`;
 }
-//# sourceMappingURL=Archiver.js.map

package/dist/plugin/ArtifactWriter.d.ts

@@ -35,18 +35,33 @@ export interface WritePlan {
     readonly hashAfter: string;
 }
 /**
- * Rule 9 (K6-009 / plan §5.1, D6-02) — three layers applied to the body
- * before splicing:
- *   (a) the escaping discipline of `plugin/memory-format.ts`;
- *   (b) strip any line containing `kevin:begin` or `kevin:end`, in any
- *       casing, anywhere in the line;
- *   (c) strip HTML comment terminators (`-->`).
- * Without this, a memory containing a literal `<!-- kevin:end -->` line would
- * close the marker comment early and let subsequent content escape the
- * curated region on the next regeneration — a marker-injection variant of the
- * v0.1.5 prompt-injection defect (plan §3.5).
+ * Rule 9, layer (a) — superseded in v1.0.0 by `escapeForMarkerBlock`
+ * in `plugin/escape.ts` (K10-027), which carries the same idempotent
+ * entity discipline.
+ */
+/**
+ * v1.0.0 (K10-027 / plan §5.7) — the boundary functions now live in
+ * `plugin/escape.ts`; this composer applies them in fence-then-marker
+ * order. Layer (b) — strip any line containing `kevin:begin` or
+ * `kevin:end`, in any casing — is a filter rather than an escape and
+ * stays here. Without layer (b), a memory containing a literal
+ * `<!-- kevin:end -->` line would close the marker comment early and
+ * let subsequent content escape the curated region on the next
+ * regeneration — a marker-injection variant of the v0.1.5
+ * prompt-injection defect (plan §3.5). The trailing `-->` strip is kept
+ * as defence in depth although `escapeForMarkerBlock` already escapes
+ * every `>` that could form one.
  */
 export declare function sanitizeArtifactBody(body: string): string;
+/**
+ * v1.0.0 (K10-027 / plan §5.7, rule 2) — whole-file writes escape by
+ * container. Only `.okf` files are line-oriented JSON: each line gets
+ * `escapeForOkfLine`, which is the identity on a well-formed OKF line
+ * (canonical JSON never contains raw control characters) and therefore
+ * preserves the re-render `noop`. Kevin-owned markdown paths keep their
+ * bytes — fences there are legitimate content.
+ */
+export declare function escapeForContainer(path: string, content: string): string;
 /**
  * v0.6.0 (K6-005 / plan §5.1) — the single write path to disk (D6-01).
  *

package/dist/plugin/ArtifactWriter.js

@@ -1,6 +1,7 @@
 import { createHash } from "node:crypto";
 import { closeSync, fsyncSync, openSync, readFileSync, renameSync, unlinkSync, writeSync, } from "node:fs";
 import { unifiedDiff } from "./diff.js";
+import { escapeForFence, escapeForMarkerBlock, escapeForOkfLine, } from "./escape.js";
 import { uuidv7 } from "./uuid.js";
 // v0.6.0 (K6-005 / plan §5.1, D6-02) — the frozen marker contract. The exact
 // byte sequences are load-bearing: README, v1.0.0 plan C-01 and the round-trip
@@ -30,39 +31,55 @@ function normalizeEol(body, eol) {
     return body.replace(/\r\n/g, "\n").replace(/\n/g, eol);
 }
 /**
- * Rule 9, layer (a) — the escaping discipline of `plugin/memory-format.ts`
- * (`&`, `<`, `>`) made idempotent: an ampersand that already heads a known
- * entity (`&amp;`, `&lt;`, `&gt;`, `&#NNN;`) is left alone, so sanitizing
- * sanitized output is a fixed point. The round-trip property of the marker
- * block depends on this: a non-idempotent escape would grow `&amp;lt;` on
- * every regeneration (K6-009 / plan §5.1 rule 9).
+ * Rule 9, layer (a) — superseded in v1.0.0 by `escapeForMarkerBlock`
+ * in `plugin/escape.ts` (K10-027), which carries the same idempotent
+ * entity discipline.
  */
-function escapeIdempotent(text) {
-    return text
-        .replace(/&(?!(amp|lt|gt|#\d+);)/g, "&amp;")
-        .replace(/</g, "&lt;")
-        .replace(/>/g, "&gt;");
-}
 /**
- * Rule 9 (K6-009 / plan §5.1, D6-02) — three layers applied to the body
- * before splicing:
- *   (a) the escaping discipline of `plugin/memory-format.ts`;
- *   (b) strip any line containing `kevin:begin` or `kevin:end`, in any
- *       casing, anywhere in the line;
- *   (c) strip HTML comment terminators (`-->`).
- * Without this, a memory containing a literal `<!-- kevin:end -->` line would
- * close the marker comment early and let subsequent content escape the
- * curated region on the next regeneration — a marker-injection variant of the
- * v0.1.5 prompt-injection defect (plan §3.5).
+ * v1.0.0 (K10-027 / plan §5.7) — the boundary functions now live in
+ * `plugin/escape.ts`; this composer applies them in fence-then-marker
+ * order. Layer (b) — strip any line containing `kevin:begin` or
+ * `kevin:end`, in any casing — is a filter rather than an escape and
+ * stays here. Without layer (b), a memory containing a literal
+ * `<!-- kevin:end -->` line would close the marker comment early and
+ * let subsequent content escape the curated region on the next
+ * regeneration — a marker-injection variant of the v0.1.5
+ * prompt-injection defect (plan §3.5). The trailing `-->` strip is kept
+ * as defence in depth although `escapeForMarkerBlock` already escapes
+ * every `>` that could form one.
  */
 export function sanitizeArtifactBody(body) {
-    const escaped = escapeIdempotent(body);
+    const escaped = escapeForMarkerBlock(escapeForFence(body));
     const kept = escaped
         .split("\n")
         .filter((line) => !/kevin:begin|kevin:end/i.test(line))
         .join("\n");
     return kept.replace(/-->/g, "");
 }
+/**
+ * v1.0.0 (K10-027 / plan §5.7, rule 2) — whole-file writes escape by
+ * container. Only `.okf` files are line-oriented JSON: each line gets
+ * `escapeForOkfLine`, which is the identity on a well-formed OKF line
+ * (canonical JSON never contains raw control characters) and therefore
+ * preserves the re-render `noop`. Kevin-owned markdown paths keep their
+ * bytes — fences there are legitimate content.
+ */
+export function escapeForContainer(path, content) {
+    if (!path.endsWith(".okf"))
+        return content;
+    return content
+        .split("\n")
+        .map((line) => {
+        // A CRLF file (healHeader preserves the original EOL) leaves a
+        // trailing \r on each line after the split — it is line-ending
+        // bytes, not statement content, so it must survive untouched.
+        if (line.endsWith("\r")) {
+            return `${escapeForOkfLine(line.slice(0, -1))}\r`;
+        }
+        return escapeForOkfLine(line);
+    })
+        .join("\n");
+}
 /**
  * v0.6.0 (K6-005 / plan §5.1) — the single write path to disk (D6-01).
  *
@@ -113,7 +130,9 @@ export class ArtifactWriter {
             // like any other refusal: after = before, both hashes recorded.
             const refusal = request.refusal;
             const refused = refusal !== undefined;
-            const after = refused ? before : content;
+            // K10-027 — the container boundary: OKF lines are escaped at the
+            // single write path, never by callers.
+            const after = refused ? before : escapeForContainer(path, content);
             return {
                 path,
                 before,
@@ -270,4 +289,3 @@ export class ArtifactWriter {
             .run(uuidv7(), proposalId ?? null, this.projectId, plan.path, Buffer.byteLength(plan.before, "utf8"), Buffer.byteLength(plan.after, "utf8"), plan.hashBefore, plan.hashAfter, plan.outcome, plan.reason ?? null);
     }
 }
-//# sourceMappingURL=ArtifactWriter.js.map

package/dist/plugin/CausalChain.js

@@ -176,4 +176,3 @@ export class CausalChain {
         return row?.value === "1";
     }
 }
-//# sourceMappingURL=CausalChain.js.map

package/dist/plugin/ConflictDetector.js

@@ -280,4 +280,3 @@ function oppositePair(a, b) {
     }
     return null;
 }
-//# sourceMappingURL=ConflictDetector.js.map

package/dist/plugin/ContextInjector.js

@@ -531,4 +531,3 @@ Consider adding this convention to AGENTS.md:
             output.context.push(block);
     }
 }
-//# sourceMappingURL=ContextInjector.js.map

package/dist/plugin/ConventionMiner.js

@@ -240,4 +240,3 @@ function statementForSequence(a, b) {
 function statementForSequence3(a, b, c) {
     return `every ${a} is followed by ${b} and then ${c}`;
 }
-//# sourceMappingURL=ConventionMiner.js.map

package/dist/plugin/Curator.js

@@ -322,4 +322,3 @@ function normalizeBullet(line) {
         .replace(/\s+\((?:verified|feedback)[^)]*\)\s*$/i, "");
     return normalize(statement);
 }
-//# sourceMappingURL=Curator.js.map

package/dist/plugin/Feedback.js

@@ -135,4 +135,3 @@ export class Feedback {
             .run(memoryId, memoryId, memoryId);
     }
 }
-//# sourceMappingURL=Feedback.js.map

package/dist/plugin/HookLiveness.d.ts

@@ -68,6 +68,12 @@ export declare class HookLiveness {
     /** Persists every counter row. Called on the metrics.flush() cadence. */
     flush(): void;
     private makeWrapper;
+    /**
+     * v1.0.0 (K10-013 / plan §5.3) — records the `dispose` fire and
+     * flushes immediately, from inside the dispose delegate: this is the
+     * last write of the process, and nothing after it can persist.
+     */
+    recordDispose(): void;
     private recordSuccess;
     private recordError;
     private loadFromDb;

package/dist/plugin/HookLiveness.js

@@ -212,6 +212,12 @@ export class HookLiveness {
     }
     makeWrapper(key, delegate) {
         const record = () => {
+            // v1.0.0 (K10-013) — dispose is recorded inside its own delegate
+            // (via recordDispose()) rather than here: the wrapper's post-return
+            // record would land after the store is closed and could never be
+            // persisted — the event being detected is the process ending.
+            if (key === "dispose")
+                return;
             if (HOOK_NAMES.includes(key)) {
                 this.recordSuccess(key);
             }
@@ -258,6 +264,15 @@ export class HookLiveness {
             }
         };
     }
+    /**
+     * v1.0.0 (K10-013 / plan §5.3) — records the `dispose` fire and
+     * flushes immediately, from inside the dispose delegate: this is the
+     * last write of the process, and nothing after it can persist.
+     */
+    recordDispose() {
+        this.recordSuccess("dispose");
+        this.flush();
+    }
     recordSuccess(hook) {
         const c = this.counters.get(hook);
         if (!c)
@@ -321,4 +336,3 @@ export function reduceVerdict(reports) {
         reason: `${pending} hook(s) without checkpoint`,
     };
 }
-//# sourceMappingURL=HookLiveness.js.map

package/dist/plugin/InjectionLedger.js

@@ -246,4 +246,3 @@ function readOriginCallId(store, memoryId) {
         return null;
     }
 }
-//# sourceMappingURL=InjectionLedger.js.map

package/dist/plugin/LessonFixer.js

@@ -43,4 +43,3 @@ export async function enrichAtPromotion(pattern, enrichFn) {
     }
     return deterministicFixLine(pattern);
 }
-//# sourceMappingURL=LessonFixer.js.map

package/dist/plugin/Materializer.js

@@ -266,4 +266,3 @@ export class Materializer {
         }));
     }
 }
-//# sourceMappingURL=Materializer.js.map

package/dist/plugin/MemoryService.js

@@ -1333,4 +1333,3 @@ function rankCompare(a, b, nowMs, deterministic) {
     }
     return sqliteUtcToMs(b.createdAt) - sqliteUtcToMs(a.createdAt); // newer first
 }
-//# sourceMappingURL=MemoryService.js.map

package/dist/plugin/Migrate.d.ts

@@ -5,7 +5,7 @@ export interface MigrateResult {
     applied: string[];
 }
 export type PostApplyHook = (store: Store) => void;
-export declare const HOOK_NAMES: readonly ["tool.execute.before", "tool.execute.after", "chat.message", "experimental.chat.system.transform", "experimental.session.compacting", "event"];
+export declare const HOOK_NAMES: readonly ["tool.execute.before", "tool.execute.after", "chat.message", "experimental.chat.system.transform", "experimental.session.compacting", "event", "dispose"];
 export declare class Migrate {
     private store;
     private migrationsDir;

package/dist/plugin/Migrate.js

@@ -1,7 +1,8 @@
 import { readFileSync, readdirSync } from "node:fs";
 import { join } from "node:path";
 // v0.9.0 (K9-001 / plan §5.3, D9-08) — the six hooks Kevin registers, in
-// hook-object order. Canonical list: the "010" post-apply hook seeds
+// hook-object order, plus `dispose` (v1.0.0 K10-013): the seventh
+// instrumented hook. Canonical list: the "010" post-apply hook seeds
 // hook_liveness from it, and HookLiveness (K9-009) wraps exactly these
 // names, so a future hook added here is visible in the table on the next
 // migration run.
@@ -12,6 +13,7 @@ export const HOOK_NAMES = [
     "experimental.chat.system.transform",
     "experimental.session.compacting",
     "event",
+    "dispose",
 ];
 // Built-in post-apply hooks, keyed by migration version. Each hook runs inside
 // the same transaction as the migration's DDL, so a hook failure rolls back the
@@ -163,6 +165,24 @@ const DEFAULT_POST_APPLY_HOOKS = {
             .prepare("UPDATE hook_liveness SET experimental = CASE WHEN hook LIKE 'experimental.%' THEN 1 ELSE 0 END")
             .run();
     },
+    // v1.0.0 (K10-005 / plan §6.1) — Proven: four operations, all idempotent.
+    // 1. Seed dispose row defensively.
+    // 2-3. Re-derive perf_budget_breaches and bench_runs_total.
+    // 4. Normalise NULL within_budget to 1.
+    "011": (store) => {
+        store
+            .prepare("INSERT OR IGNORE INTO hook_liveness (hook) VALUES ('dispose')")
+            .run();
+        store
+            .prepare("UPDATE kevin_metrics SET value = (SELECT COUNT(*) FROM perf_samples WHERE within_budget = 0) WHERE key = 'perf_budget_breaches'")
+            .run();
+        store
+            .prepare("UPDATE kevin_metrics SET value = (SELECT COUNT(*) FROM bench_runs) WHERE key = 'bench_runs_total'")
+            .run();
+        store
+            .prepare("UPDATE perf_samples SET within_budget = 1 WHERE within_budget IS NULL")
+            .run();
+    },
 };
 export class Migrate {
     store;
@@ -200,7 +220,10 @@ export class Migrate {
             // updates and re-derivation, so a no-op startup can heal a
             // crash that landed between the DDL and the hook without
             // re-applying DDL.
-            if (from === "008" || from === "009" || from === "010") {
+            if (from === "008" ||
+                from === "009" ||
+                from === "010" ||
+                from === "011") {
                 const repairHook = this.postApplyHooks.get(from);
                 if (repairHook)
                     this.store.transaction(() => repairHook(this.store));
@@ -241,4 +264,3 @@ export class Migrate {
             .filter((m) => m !== null && m.version > current);
     }
 }
-//# sourceMappingURL=Migrate.js.map

package/dist/plugin/PatternMiner.js

@@ -130,4 +130,3 @@ export class PatternMiner {
         return Array.from(map.values());
     }
 }
-//# sourceMappingURL=PatternMiner.js.map

package/dist/plugin/QualityGate.js

@@ -117,4 +117,3 @@ export const QualityGate = {
         return { allowed: true, reason: "ok" };
     },
 };
-//# sourceMappingURL=QualityGate.js.map

package/dist/plugin/Reflector.js

@@ -305,4 +305,3 @@ export class Reflector {
         return "";
     }
 }
-//# sourceMappingURL=Reflector.js.map

package/dist/plugin/RepoIdentity.js

@@ -298,4 +298,3 @@ export function initProjectFile(cwd, writer) {
         };
     }
 }
-//# sourceMappingURL=RepoIdentity.js.map

package/dist/plugin/RepoTruth.js

@@ -597,4 +597,3 @@ function normalizeBool(v) {
     return null;
 }
 export { MAX_FACTS_PER_PROJECT };
-//# sourceMappingURL=RepoTruth.js.map

package/dist/plugin/Retrospective.js

@@ -67,6 +67,13 @@ export const METRIC_KEY_LABELS = {
     injections_suppressed_dead_hook: "Inyecciones suprimidas (hook muerto)",
     native_registrations_total: "Registros nativos (totales)",
     native_registration_failures: "Fallos de registro nativo",
+    // v1.0.0 (K10-005 / plan §6) — the six keys seeded by migration 011 section 3.
+    perf_samples_recorded: "Muestras de rendimiento registradas",
+    perf_budget_breaches: "Brechas de presupuesto de rendimiento",
+    dispose_fires_total: "Disparos de dispose (totales)",
+    dispose_misses_total: "Misses de dispose",
+    contract_digest_changes: "Cambios de digest de contrato",
+    bench_runs_total: "Ejecuciones de benchmark (totales)",
 };
 function originLabel(origin) {
     if (origin === "reflector")
@@ -200,4 +207,3 @@ export class Retrospective {
         return lines.join("\n");
     }
 }
-//# sourceMappingURL=Retrospective.js.map

package/dist/plugin/SharedLayer.js

@@ -460,4 +460,3 @@ export class SharedLayer {
         return n;
     }
 }
-//# sourceMappingURL=SharedLayer.js.map

package/dist/plugin/Store.js

@@ -48,4 +48,3 @@ export class Store {
         return this.db;
     }
 }
-//# sourceMappingURL=Store.js.map

package/dist/plugin/ToolCallObserver.js

@@ -186,4 +186,3 @@ export class ToolCallObserver {
         return v;
     }
 }
-//# sourceMappingURL=ToolCallObserver.js.map

package/dist/plugin/capabilities.js

@@ -39,4 +39,3 @@ export function probe(input) {
         return ALL_FALSE;
     }
 }
-//# sourceMappingURL=capabilities.js.map

package/dist/plugin/confidence.js

@@ -32,4 +32,3 @@ export function computeConfidence(evidenceCount, recurrenceCount, positiveFeedba
         FEEDBACK_NEGATIVE_STEP * negativeFeedback;
     return Math.min(CONFIDENCE_MAX, Math.max(CONFIDENCE_MIN, raw));
 }
-//# sourceMappingURL=confidence.js.map

package/dist/plugin/contract.d.ts

@@ -0,0 +1,46 @@
+export declare const CONTRACT_VERSION = 1;
+export type Stability = "frozen" | "forward-only";
+export interface ContractClause {
+    readonly id: string;
+    readonly title: string;
+    readonly stability: Stability;
+    readonly since: string;
+    readonly deprecated?: string;
+    readonly replacement?: string;
+    readonly value: unknown;
+}
+export interface PublicContract {
+    readonly contractVersion: number;
+    readonly clauses: readonly ContractClause[];
+}
+export interface ContractInput {
+    readonly packageName?: string;
+    readonly packageVersion?: string;
+}
+export declare const CONTRACT_TOOL_NAMES: readonly string[];
+/**
+ * v1.0.0 (K10-018/K10-019 / plan §5.6) — tools added AFTER the initial
+ * freeze, each carrying the `since` the deprecation policy requires. A
+ * 1.x addition without an entry here fails the contract test as
+ * added_bare.
+ */
+export declare const CONTRACT_TOOL_ADDITIONS: readonly {
+    name: string;
+    since: string;
+}[];
+/**
+ * v1.0.0 (K10-027 / plan §5.7) — the C-09 boundary addition. Stored is
+ * not trusted: anything reaching an artifact or a prompt is escaped at
+ * the single write path, according to its container.
+ */
+export declare const BOUNDARY_INVARIANT = "untrusted-input escaping at the single write path";
+export declare function describeContract(_input?: ContractInput): PublicContract;
+export declare function contractDigest(c: PublicContract): string;
+export type ContractDiffKind = "removed" | "changed" | "added_ok" | "added_bare";
+export interface ContractDiff {
+    readonly clauseId: string;
+    readonly path: string;
+    readonly kind: ContractDiffKind;
+    readonly remedy: string;
+}
+export declare function diffContract(golden: PublicContract, live: PublicContract): readonly ContractDiff[];