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

package/lib/agents/schemas.d.ts

@@ -164,6 +164,9 @@ export declare const reviewOutputSchema: {
                                 input: {
                                     type: string;
                                 };
+                                inputClass: {
+                                    type: string[];
+                                };
                                 expected: {
                                     type: string[];
                                 };
@@ -215,3 +218,206 @@ export declare const reviewOutputSchema: {
     };
     required: string[];
 };
+/**
+ * Ответ reviewer попытки без изменений: тот же протокол и обязательное
+ * `alreadySatisfied` (`null` — подтверждения нет). Обычное ревью этого поля
+ * не получает: его вид ответа не меняется.
+ */
+export declare const alreadySatisfiedReviewOutputSchema: {
+    properties: {
+        alreadySatisfied: {
+            anyOf: ({
+                type: string;
+                additionalProperties?: undefined;
+                properties?: undefined;
+                required?: undefined;
+            } | {
+                type: string;
+                additionalProperties: boolean;
+                properties: {
+                    gates: {
+                        type: string;
+                        minItems: number;
+                        maxItems: number;
+                        items: {
+                            type: string;
+                        };
+                    };
+                    evidence: {
+                        type: string;
+                    };
+                };
+                required: string[];
+            })[];
+        };
+        execution: {
+            type: string;
+            additionalProperties: boolean;
+            properties: {
+                commands: {
+                    type: string;
+                    maxItems: number;
+                    items: {
+                        type: string;
+                        additionalProperties: boolean;
+                        properties: {
+                            command: {
+                                type: string;
+                            };
+                            exitCode: {
+                                type: string;
+                            };
+                            summary: {
+                                type: string;
+                            };
+                        };
+                        required: string[];
+                    };
+                };
+                noCommandsReason: {
+                    type: string[];
+                };
+            };
+            required: string[];
+        };
+        approved: {
+            type: string;
+        };
+        summary: {
+            type: string;
+        };
+        discoveries: {
+            type: string;
+            maxItems: number;
+            items: {
+                type: string;
+                additionalProperties: boolean;
+                properties: {
+                    kind: {
+                        type: string;
+                        enum: string[];
+                    };
+                    title: {
+                        type: string;
+                    };
+                    path: {
+                        type: string;
+                    };
+                    line: {
+                        type: string;
+                        minimum: number;
+                    };
+                    observation: {
+                        type: string;
+                    };
+                    consequence: {
+                        type: string;
+                    };
+                    reproduction: {
+                        type: string;
+                    };
+                };
+                required: string[];
+            };
+        };
+        findings: {
+            type: string;
+            items: {
+                type: string;
+                additionalProperties: boolean;
+                properties: {
+                    severity: {
+                        type: string;
+                        enum: string[];
+                    };
+                    message: {
+                        type: string;
+                    };
+                    path: {
+                        type: string[];
+                    };
+                    line: {
+                        type: string[];
+                        minimum: number;
+                    };
+                    rule: {
+                        type: string[];
+                    };
+                    consequence: {
+                        type: string[];
+                    };
+                    evidence: {
+                        type: string[];
+                    };
+                    reproduction: {
+                        anyOf: ({
+                            type: string;
+                            additionalProperties?: undefined;
+                            properties?: undefined;
+                            required?: undefined;
+                        } | {
+                            type: string;
+                            additionalProperties: boolean;
+                            properties: {
+                                property: {
+                                    type: string[];
+                                };
+                                input: {
+                                    type: string;
+                                };
+                                inputClass: {
+                                    type: string[];
+                                };
+                                expected: {
+                                    type: string[];
+                                };
+                                actual: {
+                                    type: string[];
+                                };
+                                command: {
+                                    type: string[];
+                                    items: {
+                                        type: string;
+                                    };
+                                };
+                                executed: {
+                                    type: string;
+                                };
+                                run: {
+                                    type: string[];
+                                };
+                            };
+                            required: string[];
+                        })[];
+                    };
+                };
+                required: string[];
+            };
+        };
+        previous: {
+            type: string;
+            items: {
+                type: string;
+                additionalProperties: boolean;
+                properties: {
+                    id: {
+                        type: string;
+                        pattern: string;
+                    };
+                    status: {
+                        type: string;
+                        enum: ("open" | "closed" | "withdrawn")[];
+                    };
+                    basis: {
+                        type: string;
+                        pattern: string;
+                    };
+                };
+                required: string[];
+            };
+        };
+    };
+    required: string[];
+    type: string;
+    additionalProperties: boolean;
+};

package/lib/agents/schemas.js

@@ -80,13 +80,23 @@ export const reviewOutputSchema = {
                                 properties: {
                                     property: { type: ['string', 'null'] },
                                     input: { type: 'string' },
+                                    inputClass: { type: ['string', 'null'] },
                                     expected: { type: ['string', 'null'] },
                                     actual: { type: ['string', 'null'] },
                                     command: { type: ['array', 'null'], items: { type: 'string' } },
                                     executed: { type: 'boolean' },
                                     run: { type: ['string', 'null'] },
                                 },
-                                required: ['property', 'input', 'expected', 'actual', 'command', 'executed', 'run'],
+                                required: [
+                                    'property',
+                                    'input',
+                                    'inputClass',
+                                    'expected',
+                                    'actual',
+                                    'command',
+                                    'executed',
+                                    'run',
+                                ],
                             },
                         ],
                     },
@@ -122,3 +132,29 @@ export const reviewOutputSchema = {
     },
     required: ['approved', 'summary', 'findings', 'discoveries', 'execution', 'previous'],
 };
+/**
+ * Ответ reviewer попытки без изменений: тот же протокол и обязательное
+ * `alreadySatisfied` (`null` — подтверждения нет). Обычное ревью этого поля
+ * не получает: его вид ответа не меняется.
+ */
+export const alreadySatisfiedReviewOutputSchema = {
+    ...reviewOutputSchema,
+    properties: {
+        ...reviewOutputSchema.properties,
+        alreadySatisfied: {
+            anyOf: [
+                { type: 'null' },
+                {
+                    type: 'object',
+                    additionalProperties: false,
+                    properties: {
+                        gates: { type: 'array', minItems: 1, maxItems: 20, items: { type: 'string' } },
+                        evidence: { type: 'string' },
+                    },
+                    required: ['gates', 'evidence'],
+                },
+            ],
+        },
+    },
+    required: [...reviewOutputSchema.required, 'alreadySatisfied'],
+};

package/lib/agents/usage.d.ts

@@ -6,3 +6,25 @@ export declare function parseUsage(runtime: 'codex' | 'claude', stdout: string,
 export declare function runtimeVersion(executable: string, env?: NodeJS.ProcessEnv): Promise<string | null>;
 /** Модель, которую runtime выбрал на самом деле: событие system у claude, ключи modelUsage у codex. */
 export declare function reportedModel(stdout: string): string | null;
+/** Строка потока длиннее — не разбирается и делает телеметрию неполной. */
+export declare const LINE_LIMIT = 8000000;
+/**
+ * Телеметрия, собранная по ходу потока runtime, а не из хвоста вывода. Хвост
+ * stdout и журнал вызова ограничены, и у долгого вызова итоговое событие
+ * `result` (стоимость и счётчики claude) или ранние `turn.completed` codex
+ * оказывались за пределом: стоимость, сообщённая провайдером, терялась или
+ * учитывалась неполной. Здесь каждая строка разбирается сразу; хранятся
+ * только поля телеметрии — последнее событие `result`, события
+ * `turn.completed` и первая сообщённая модель, — а не текст вывода.
+ */
+export declare function usageStream(runtime: 'codex' | 'claude'): {
+    /**
+     * Очередной фрагмент stdout runtime (без маски: берутся только числа).
+     * Вызывается из обработчика вывода процесса и не бросает: сбой разбора —
+     * неполная телеметрия, а не падение controller.
+     */
+    push(text: string): void;
+    /** Телеметрия всего потока; `completed` — вызов завершился штатно. */
+    usage(completed: boolean): Usage;
+    model: () => string | null;
+};

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/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',