devcontour-harness 0.1.0-alpha.13 → 0.1.0-alpha.18

package/lib/agents/usage.js

@@ -69,15 +69,121 @@ export function runtimeVersion(executable, env) {
             .catch(() => null));
     return versions.get(key);
 }
+/** Модель события runtime: событие system у claude, ключи modelUsage у codex. */
+function eventModel(event) {
+    if (typeof event.model === 'string' && event.model && event.model !== '<synthetic>')
+        return event.model;
+    const usage = event.modelUsage;
+    const [name] = Object.keys(usage ?? {});
+    return name ?? null;
+}
 /** Модель, которую runtime выбрал на самом деле: событие system у claude, ключи modelUsage у codex. */
 export function reportedModel(stdout) {
     for (const event of runtimeEvents(stdout).events) {
-        if (typeof event.model === 'string' && event.model && event.model !== '<synthetic>')
-            return event.model;
-        const usage = event.modelUsage;
-        const [name] = Object.keys(usage ?? {});
-        if (name)
-            return name;
+        const model = eventModel(event);
+        if (model)
+            return model;
     }
     return null;
 }
+/** Строка потока длиннее — не разбирается и делает телеметрию неполной. */
+export const LINE_LIMIT = 8_000_000;
+/**
+ * Только числовые поля верхнего уровня `usage`: вложенная структура любой
+ * глубины не хранится и не сериализуется (глубокая вложенность роняла бы
+ * `JSON.stringify` в обработчике вывода процесса).
+ */
+const flatUsage = (usage) => usage && typeof usage === 'object' && !Array.isArray(usage)
+    ? Object.fromEntries(Object.entries(usage).filter(([, v]) => typeof v === 'number' || v === null))
+    : usage === undefined
+        ? undefined
+        : {};
+/**
+ * Телеметрия, собранная по ходу потока runtime, а не из хвоста вывода. Хвост
+ * stdout и журнал вызова ограничены, и у долгого вызова итоговое событие
+ * `result` (стоимость и счётчики claude) или ранние `turn.completed` codex
+ * оказывались за пределом: стоимость, сообщённая провайдером, терялась или
+ * учитывалась неполной. Здесь каждая строка разбирается сразу; хранятся
+ * только поля телеметрии — последнее событие `result`, события
+ * `turn.completed` и первая сообщённая модель, — а не текст вывода.
+ */
+export function usageStream(runtime) {
+    let partial = '', overflow = false, malformed = false, model = null, result;
+    const turns = [];
+    const line = (text) => {
+        if (!text.trim())
+            return;
+        let event;
+        try {
+            event = JSON.parse(text);
+        }
+        catch {
+            malformed = true;
+            return;
+        }
+        if (!event || typeof event !== 'object' || Array.isArray(event)) {
+            malformed = true;
+            return;
+        }
+        const e = event;
+        model ??= eventModel(e);
+        if (runtime === 'claude' && e.type === 'result')
+            result = JSON.stringify({
+                type: e.type,
+                usage: flatUsage(e.usage),
+                total_cost_usd: typeof e.total_cost_usd === 'number' ? e.total_cost_usd : null,
+            });
+        if (runtime === 'codex' && e.type === 'turn.completed')
+            turns.push(JSON.stringify({ type: e.type, usage: flatUsage(e.usage) }));
+    };
+    const flush = () => {
+        if (overflow)
+            malformed = true;
+        else
+            line(partial);
+        partial = '';
+        overflow = false;
+    };
+    const append = (piece) => {
+        if (overflow)
+            return;
+        if (partial.length + piece.length > LINE_LIMIT) {
+            partial = '';
+            overflow = true;
+        }
+        else
+            partial += piece;
+    };
+    const consume = (text) => {
+        let start = 0;
+        for (let end = text.indexOf('\n'); end >= 0; end = text.indexOf('\n', start)) {
+            append(text.slice(start, end));
+            flush();
+            start = end + 1;
+        }
+        append(text.slice(start));
+    };
+    return {
+        /**
+         * Очередной фрагмент stdout runtime (без маски: берутся только числа).
+         * Вызывается из обработчика вывода процесса и не бросает: сбой разбора —
+         * неполная телеметрия, а не падение controller.
+         */
+        push(text) {
+            try {
+                consume(text);
+            }
+            catch {
+                malformed = true;
+                partial = '';
+                overflow = true;
+            }
+        },
+        /** Телеметрия всего потока; `completed` — вызов завершился штатно. */
+        usage(completed) {
+            flush();
+            return parseUsage(runtime, [...turns, ...(result ? [result] : [])].join('\n'), completed && !malformed);
+        },
+        model: () => model,
+    };
+}

package/lib/contracts/checks.d.ts

@@ -2,6 +2,41 @@ import { z } from 'zod';
 export declare const promiseKinds: readonly ["functional", "accuracy", "optimality", "completeness", "performance", "invariant", "other"];
 /** Вычислительные обещания: без независимого способа проверки их не утверждают. */
 export declare const strongPromises: ReadonlySet<string>;
+/**
+ * Проверка по закреплённым эталонным наборам (`verification: 'reference'`).
+ *
+ * Ответы независимого эталона (решатель, полный перебор, таблица DP)
+ * получены заранее, сверены с другим способом на семействах входов и
+ * закреплены артефактами контракта. Gate сверяет реализацию с наборами и
+ * отчитывается тем же отчётом свойств: число проверенных входов по свойству
+ * и по семействам. Каждый набор принадлежит одному gate: его минимум и
+ * минимумы семейств — доля этого gate в покрытии обязательства. Обобщения за
+ * пределы наборов такой способ не доказывает — это называет `gaps`.
+ */
+export declare const referenceSchema: z.ZodObject<{
+    oracle: z.ZodObject<{
+        description: z.ZodString;
+        limits: z.ZodString;
+    }, z.core.$strict>;
+    crossChecks: z.ZodArray<z.ZodObject<{
+        family: z.ZodString;
+        against: z.ZodString;
+        matches: z.ZodNumber;
+        total: z.ZodNumber;
+        artifacts: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>;
+    sets: z.ZodArray<z.ZodObject<{
+        gate: z.ZodString;
+        artifacts: z.ZodArray<z.ZodString>;
+        minCases: z.ZodNumber;
+        families: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            minCases: z.ZodNumber;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>;
+    gaps: z.ZodString;
+}, z.core.$strict>;
+export type ReferenceVerification = z.infer<typeof referenceSchema>;
 export declare const obligationSchema: z.ZodObject<{
     property: z.ZodString;
     requirements: z.ZodArray<z.ZodString>;
@@ -63,6 +98,34 @@ export declare const obligationSchema: z.ZodObject<{
             environment: z.ZodString;
         }, z.core.$strict>>;
     }, z.core.$strict>;
+    gates: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    verification: z.ZodOptional<z.ZodEnum<{
+        property: "property";
+        reference: "reference";
+    }>>;
+    reference: z.ZodOptional<z.ZodObject<{
+        oracle: z.ZodObject<{
+            description: z.ZodString;
+            limits: z.ZodString;
+        }, z.core.$strict>;
+        crossChecks: z.ZodArray<z.ZodObject<{
+            family: z.ZodString;
+            against: z.ZodString;
+            matches: z.ZodNumber;
+            total: z.ZodNumber;
+            artifacts: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>>;
+        sets: z.ZodArray<z.ZodObject<{
+            gate: z.ZodString;
+            artifacts: z.ZodArray<z.ZodString>;
+            minCases: z.ZodNumber;
+            families: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                minCases: z.ZodNumber;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>>;
+        gaps: z.ZodString;
+    }, z.core.$strict>>;
     hard: z.ZodDefault<z.ZodBoolean>;
     feasibility: z.ZodOptional<z.ZodObject<{
         spike: z.ZodString;
@@ -134,6 +197,34 @@ export declare const checkDeclarationSchema: z.ZodObject<{
                 environment: z.ZodString;
             }, z.core.$strict>>;
         }, z.core.$strict>;
+        gates: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        verification: z.ZodOptional<z.ZodEnum<{
+            property: "property";
+            reference: "reference";
+        }>>;
+        reference: z.ZodOptional<z.ZodObject<{
+            oracle: z.ZodObject<{
+                description: z.ZodString;
+                limits: z.ZodString;
+            }, z.core.$strict>;
+            crossChecks: z.ZodArray<z.ZodObject<{
+                family: z.ZodString;
+                against: z.ZodString;
+                matches: z.ZodNumber;
+                total: z.ZodNumber;
+                artifacts: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            }, z.core.$strict>>;
+            sets: z.ZodArray<z.ZodObject<{
+                gate: z.ZodString;
+                artifacts: z.ZodArray<z.ZodString>;
+                minCases: z.ZodNumber;
+                families: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    minCases: z.ZodNumber;
+                }, z.core.$strict>>>;
+            }, z.core.$strict>>;
+            gaps: z.ZodString;
+        }, z.core.$strict>>;
         hard: z.ZodDefault<z.ZodBoolean>;
         feasibility: z.ZodOptional<z.ZodObject<{
             spike: z.ZodString;
@@ -233,6 +324,34 @@ export declare const contractDocumentSchema: z.ZodObject<{
                     environment: z.ZodString;
                 }, z.core.$strict>>;
             }, z.core.$strict>;
+            gates: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            verification: z.ZodOptional<z.ZodEnum<{
+                property: "property";
+                reference: "reference";
+            }>>;
+            reference: z.ZodOptional<z.ZodObject<{
+                oracle: z.ZodObject<{
+                    description: z.ZodString;
+                    limits: z.ZodString;
+                }, z.core.$strict>;
+                crossChecks: z.ZodArray<z.ZodObject<{
+                    family: z.ZodString;
+                    against: z.ZodString;
+                    matches: z.ZodNumber;
+                    total: z.ZodNumber;
+                    artifacts: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                }, z.core.$strict>>;
+                sets: z.ZodArray<z.ZodObject<{
+                    gate: z.ZodString;
+                    artifacts: z.ZodArray<z.ZodString>;
+                    minCases: z.ZodNumber;
+                    families: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                        id: z.ZodString;
+                        minCases: z.ZodNumber;
+                    }, z.core.$strict>>>;
+                }, z.core.$strict>>;
+                gaps: z.ZodString;
+            }, z.core.$strict>>;
             hard: z.ZodDefault<z.ZodBoolean>;
             feasibility: z.ZodOptional<z.ZodObject<{
                 spike: z.ZodString;

package/lib/contracts/checks.js

@@ -31,6 +31,57 @@ export const strongPromises = new Set([
     'completeness',
     'performance',
 ]);
+/**
+ * Проверка по закреплённым эталонным наборам (`verification: 'reference'`).
+ *
+ * Ответы независимого эталона (решатель, полный перебор, таблица DP)
+ * получены заранее, сверены с другим способом на семействах входов и
+ * закреплены артефактами контракта. Gate сверяет реализацию с наборами и
+ * отчитывается тем же отчётом свойств: число проверенных входов по свойству
+ * и по семействам. Каждый набор принадлежит одному gate: его минимум и
+ * минимумы семейств — доля этого gate в покрытии обязательства. Обобщения за
+ * пределы наборов такой способ не доказывает — это называет `gaps`.
+ */
+export const referenceSchema = z.strictObject({
+    /** Эталон и его пределы: версия, предел времени, что исключено из наборов. */
+    oracle: z.strictObject({ description: text(), limits: text() }),
+    /** Сверка эталона с другим способом: семейство, способ, совпало из всего. */
+    crossChecks: z
+        .array(z.strictObject({
+        family: text(200),
+        against: text(500),
+        matches: z.number().int().min(0).max(100_000_000),
+        total: z.number().int().min(1).max(100_000_000),
+        /**
+         * Закреплённые файлы, воспроизводящие сверку (скрипт, журнал) — среди
+         * артефактов контракта. Без них числа — утверждение автора.
+         */
+        artifacts: z.array(relativePathSchema).min(1).max(10).optional(),
+    }))
+        .min(1)
+        .max(10),
+    sets: z
+        .array(z.strictObject({
+        /** Gate, который сверяет реализацию с этим набором. */
+        gate: idSchema,
+        /** Файлы набора — среди артефактов контракта. */
+        artifacts: z.array(relativePathSchema).min(1).max(10),
+        /** Сколько входов набора gate обязан проверить за прогон. */
+        minCases: z.number().int().min(1).max(1_000_000),
+        /** Доля семейств покрытия обязательства в этом наборе. */
+        families: z
+            .array(z.strictObject({
+            id: familyIdSchema,
+            minCases: z.number().int().min(1).max(1_000_000),
+        }))
+            .max(20)
+            .default([]),
+    }))
+        .min(1)
+        .max(20),
+    /** Чего наборы не доказывают: обобщение за пределы входов, классы вне наборов. */
+    gaps: text(),
+});
 export const obligationSchema = z.strictObject({
     property: propertyIdSchema,
     /** Существующие требования или критерии приёмки, которые обязательство уточняет. */
@@ -79,6 +130,15 @@ export const obligationSchema = z.strictObject({
         oracle: text(),
         benchmark: z.strictObject({ method: text(), environment: text() }).optional(),
     }),
+    /**
+     * Gates, исполняющие обязательство; без поля — gate договора. У
+     * генеративного обязательства каждый из них проверяет полное покрытие, у
+     * эталонного — свои наборы.
+     */
+    gates: z.array(idSchema).min(1).max(10).optional(),
+    /** Способ исполнения: `property` (без поля) — генератор; `reference` — эталонные наборы. */
+    verification: z.enum(['property', 'reference']).optional(),
+    reference: referenceSchema.optional(),
     /** Тяжёлый точный алгоритм или жёсткое время: до реализации нужен ограниченный эксперимент. */
     hard: z.boolean().default(false),
     feasibility: z
@@ -90,7 +150,10 @@ export const obligationSchema = z.strictObject({
 });
 export const checkDeclarationSchema = z.strictObject({
     version: z.literal(1),
-    /** Gate, который исполняет проверку (генеративный, с закреплённым checker). */
+    /**
+     * Gate проверки по умолчанию: исполняет обязательства без своих `gates`
+     * (генеративный, с закреплённым checker).
+     */
     gate: idSchema,
     obligations: z.array(obligationSchema).min(1).max(30),
     /**

package/lib/contracts/cli.d.ts

@@ -492,10 +492,12 @@ export declare const statusDataSchema: z.ZodObject<{
             "provider-auth": "provider-auth";
             "stale-base": "stale-base";
             "empty-result": "empty-result";
+            unfinished: "unfinished";
             "scope-violation": "scope-violation";
             "review-protocol": "review-protocol";
             merge: "merge";
             budget: "budget";
+            "needs-lead": "needs-lead";
         }>>>;
         waits: z.ZodOptional<z.ZodArray<z.ZodObject<{
             kind: z.ZodEnum<{
@@ -734,10 +736,12 @@ export declare const eventsDataSchema: z.ZodObject<{
                 "provider-auth": "provider-auth";
                 "stale-base": "stale-base";
                 "empty-result": "empty-result";
+                unfinished: "unfinished";
                 "scope-violation": "scope-violation";
                 "review-protocol": "review-protocol";
                 merge: "merge";
                 budget: "budget";
+                "needs-lead": "needs-lead";
             }>;
             message: z.ZodString;
             blocked: z.ZodBoolean;
@@ -773,10 +777,12 @@ export declare const eventsDataSchema: z.ZodObject<{
                 "provider-auth": "provider-auth";
                 "stale-base": "stale-base";
                 "empty-result": "empty-result";
+                unfinished: "unfinished";
                 "scope-violation": "scope-violation";
                 "review-protocol": "review-protocol";
                 merge: "merge";
                 budget: "budget";
+                "needs-lead": "needs-lead";
             }>>>;
         }, z.core.$strict> | z.ZodObject<{
             reason: z.ZodEnum<{
@@ -985,10 +991,12 @@ export declare const eventsDataSchema: z.ZodObject<{
                 "provider-auth": "provider-auth";
                 "stale-base": "stale-base";
                 "empty-result": "empty-result";
+                unfinished: "unfinished";
                 "scope-violation": "scope-violation";
                 "review-protocol": "review-protocol";
                 merge: "merge";
                 budget: "budget";
+                "needs-lead": "needs-lead";
             }>;
             message: z.ZodString;
             blocked: z.ZodBoolean;
@@ -1024,10 +1032,12 @@ export declare const eventsDataSchema: z.ZodObject<{
                 "provider-auth": "provider-auth";
                 "stale-base": "stale-base";
                 "empty-result": "empty-result";
+                unfinished: "unfinished";
                 "scope-violation": "scope-violation";
                 "review-protocol": "review-protocol";
                 merge: "merge";
                 budget: "budget";
+                "needs-lead": "needs-lead";
             }>>>;
         }, z.core.$strict> | z.ZodObject<{
             reason: z.ZodEnum<{
@@ -1242,10 +1252,12 @@ export declare const controlDataSchema: z.ZodObject<{
             "provider-auth": "provider-auth";
             "stale-base": "stale-base";
             "empty-result": "empty-result";
+            unfinished: "unfinished";
             "scope-violation": "scope-violation";
             "review-protocol": "review-protocol";
             merge: "merge";
             budget: "budget";
+            "needs-lead": "needs-lead";
         }>>>;
         waits: z.ZodOptional<z.ZodArray<z.ZodObject<{
             kind: z.ZodEnum<{
@@ -1881,10 +1893,12 @@ export declare const explainDataSchema: z.ZodObject<{
             "provider-auth": "provider-auth";
             "stale-base": "stale-base";
             "empty-result": "empty-result";
+            unfinished: "unfinished";
             "scope-violation": "scope-violation";
             "review-protocol": "review-protocol";
             merge: "merge";
             budget: "budget";
+            "needs-lead": "needs-lead";
             "runtime-missing": "runtime-missing";
             "controller-busy": "controller-busy";
             "operator-pause": "operator-pause";
@@ -2153,10 +2167,12 @@ export declare const cliDataSchemas: {
                 "provider-auth": "provider-auth";
                 "stale-base": "stale-base";
                 "empty-result": "empty-result";
+                unfinished: "unfinished";
                 "scope-violation": "scope-violation";
                 "review-protocol": "review-protocol";
                 merge: "merge";
                 budget: "budget";
+                "needs-lead": "needs-lead";
             }>>>;
             waits: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 kind: z.ZodEnum<{
@@ -2395,10 +2411,12 @@ export declare const cliDataSchemas: {
                     "provider-auth": "provider-auth";
                     "stale-base": "stale-base";
                     "empty-result": "empty-result";
+                    unfinished: "unfinished";
                     "scope-violation": "scope-violation";
                     "review-protocol": "review-protocol";
                     merge: "merge";
                     budget: "budget";
+                    "needs-lead": "needs-lead";
                 }>;
                 message: z.ZodString;
                 blocked: z.ZodBoolean;
@@ -2434,10 +2452,12 @@ export declare const cliDataSchemas: {
                     "provider-auth": "provider-auth";
                     "stale-base": "stale-base";
                     "empty-result": "empty-result";
+                    unfinished: "unfinished";
                     "scope-violation": "scope-violation";
                     "review-protocol": "review-protocol";
                     merge: "merge";
                     budget: "budget";
+                    "needs-lead": "needs-lead";
                 }>>>;
             }, z.core.$strict> | z.ZodObject<{
                 reason: z.ZodEnum<{
@@ -2646,10 +2666,12 @@ export declare const cliDataSchemas: {
                     "provider-auth": "provider-auth";
                     "stale-base": "stale-base";
                     "empty-result": "empty-result";
+                    unfinished: "unfinished";
                     "scope-violation": "scope-violation";
                     "review-protocol": "review-protocol";
                     merge: "merge";
                     budget: "budget";
+                    "needs-lead": "needs-lead";
                 }>;
                 message: z.ZodString;
                 blocked: z.ZodBoolean;
@@ -2685,10 +2707,12 @@ export declare const cliDataSchemas: {
                     "provider-auth": "provider-auth";
                     "stale-base": "stale-base";
                     "empty-result": "empty-result";
+                    unfinished: "unfinished";
                     "scope-violation": "scope-violation";
                     "review-protocol": "review-protocol";
                     merge: "merge";
                     budget: "budget";
+                    "needs-lead": "needs-lead";
                 }>>>;
             }, z.core.$strict> | z.ZodObject<{
                 reason: z.ZodEnum<{
@@ -2820,10 +2844,12 @@ export declare const cliDataSchemas: {
                 "provider-auth": "provider-auth";
                 "stale-base": "stale-base";
                 "empty-result": "empty-result";
+                unfinished: "unfinished";
                 "scope-violation": "scope-violation";
                 "review-protocol": "review-protocol";
                 merge: "merge";
                 budget: "budget";
+                "needs-lead": "needs-lead";
             }>>>;
             waits: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 kind: z.ZodEnum<{
@@ -2873,10 +2899,12 @@ export declare const cliDataSchemas: {
                 "provider-auth": "provider-auth";
                 "stale-base": "stale-base";
                 "empty-result": "empty-result";
+                unfinished: "unfinished";
                 "scope-violation": "scope-violation";
                 "review-protocol": "review-protocol";
                 merge: "merge";
                 budget: "budget";
+                "needs-lead": "needs-lead";
             }>>>;
             waits: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 kind: z.ZodEnum<{
@@ -4181,10 +4209,12 @@ export declare const cliDataSchemas: {
                 "provider-auth": "provider-auth";
                 "stale-base": "stale-base";
                 "empty-result": "empty-result";
+                unfinished: "unfinished";
                 "scope-violation": "scope-violation";
                 "review-protocol": "review-protocol";
                 merge: "merge";
                 budget: "budget";
+                "needs-lead": "needs-lead";
                 "runtime-missing": "runtime-missing";
                 "controller-busy": "controller-busy";
                 "operator-pause": "operator-pause";

package/lib/contracts/diagnosis.d.ts

@@ -1,7 +1,7 @@
 import { z } from 'zod';
 export declare const diagnosisActors: readonly ["controller", "lead", "user"];
 export declare const diagnosisActions: readonly ["none", "wait", "review-plan", "retry", "diagnose-failure", "reset-attempts", "raise-budget", "replan-dependents", "recovery-decision", "user-decision", "resume-queue", "fix-environment", "fix-access"];
-export declare const diagnosisCauses: readonly ["provider-auth", "environment", "timeout", "stale-base", "empty-result", "scope-violation", "gate", "review", "review-protocol", "merge", "cancelled", "budget", "unknown", "runtime-missing", "controller-busy", "operator-pause", "approval-required", "not-ready"];
+export declare const diagnosisCauses: readonly ["provider-auth", "environment", "timeout", "stale-base", "empty-result", "unfinished", "scope-violation", "gate", "review", "review-protocol", "merge", "cancelled", "budget", "needs-lead", "unknown", "runtime-missing", "controller-busy", "operator-pause", "approval-required", "not-ready"];
 export declare const diagnosisPhases: readonly ["preflight", "claim", "implementation", "gates", "review", "integration", "delivery"];
 /** Объяснение остановки: код, причина, фаза, кто действует и что допустимо. */
 export declare const stopDiagnosisSchema: z.ZodObject<{
@@ -52,10 +52,12 @@ export declare const stopDiagnosisSchema: z.ZodObject<{
         "provider-auth": "provider-auth";
         "stale-base": "stale-base";
         "empty-result": "empty-result";
+        unfinished: "unfinished";
         "scope-violation": "scope-violation";
         "review-protocol": "review-protocol";
         merge: "merge";
         budget: "budget";
+        "needs-lead": "needs-lead";
         "runtime-missing": "runtime-missing";
         "controller-busy": "controller-busy";
         "operator-pause": "operator-pause";

package/lib/contracts/diagnosis.js

@@ -24,6 +24,7 @@ export const diagnosisCauses = [
     'timeout',
     'stale-base',
     'empty-result',
+    'unfinished',
     'scope-violation',
     'gate',
     'review',
@@ -31,6 +32,7 @@ export const diagnosisCauses = [
     'merge',
     'cancelled',
     'budget',
+    'needs-lead',
     'unknown',
     'runtime-missing',
     'controller-busy',

package/lib/contracts/events.d.ts

@@ -107,10 +107,12 @@ export declare const eventPayloads: {
             "provider-auth": "provider-auth";
             "stale-base": "stale-base";
             "empty-result": "empty-result";
+            unfinished: "unfinished";
             "scope-violation": "scope-violation";
             "review-protocol": "review-protocol";
             merge: "merge";
             budget: "budget";
+            "needs-lead": "needs-lead";
         }>;
         message: z.ZodString;
         blocked: z.ZodBoolean;
@@ -152,10 +154,12 @@ export declare const eventPayloads: {
             "provider-auth": "provider-auth";
             "stale-base": "stale-base";
             "empty-result": "empty-result";
+            unfinished: "unfinished";
             "scope-violation": "scope-violation";
             "review-protocol": "review-protocol";
             merge: "merge";
             budget: "budget";
+            "needs-lead": "needs-lead";
         }>>>;
     }, z.core.$strict>;
     readonly 'control.resumed': z.ZodObject<{
@@ -403,10 +407,12 @@ export declare const runEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
             "provider-auth": "provider-auth";
             "stale-base": "stale-base";
             "empty-result": "empty-result";
+            unfinished: "unfinished";
             "scope-violation": "scope-violation";
             "review-protocol": "review-protocol";
             merge: "merge";
             budget: "budget";
+            "needs-lead": "needs-lead";
         }>;
         message: z.ZodString;
         blocked: z.ZodBoolean;
@@ -442,10 +448,12 @@ export declare const runEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
             "provider-auth": "provider-auth";
             "stale-base": "stale-base";
             "empty-result": "empty-result";
+            unfinished: "unfinished";
             "scope-violation": "scope-violation";
             "review-protocol": "review-protocol";
             merge: "merge";
             budget: "budget";
+            "needs-lead": "needs-lead";
         }>>>;
     }, z.core.$strict> | z.ZodObject<{
         reason: z.ZodEnum<{
@@ -654,10 +662,12 @@ export declare const runEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
             "provider-auth": "provider-auth";
             "stale-base": "stale-base";
             "empty-result": "empty-result";
+            unfinished: "unfinished";
             "scope-violation": "scope-violation";
             "review-protocol": "review-protocol";
             merge: "merge";
             budget: "budget";
+            "needs-lead": "needs-lead";
         }>;
         message: z.ZodString;
         blocked: z.ZodBoolean;
@@ -693,10 +703,12 @@ export declare const runEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
             "provider-auth": "provider-auth";
             "stale-base": "stale-base";
             "empty-result": "empty-result";
+            unfinished: "unfinished";
             "scope-violation": "scope-violation";
             "review-protocol": "review-protocol";
             merge: "merge";
             budget: "budget";
+            "needs-lead": "needs-lead";
         }>>>;
     }, z.core.$strict> | z.ZodObject<{
         reason: z.ZodEnum<{