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

package/lib/contracts/execution.d.ts

@@ -24,7 +24,7 @@ export declare const workStatusSchema: z.ZodEnum<{
     done: "done";
 }>;
 export type WorkStatus = (typeof workStatuses)[number];
-export declare const failureKinds: readonly ["provider-auth", "environment", "timeout", "stale-base", "empty-result", "scope-violation", "gate", "review", "review-protocol", "merge", "cancelled", "budget", "unknown"];
+export declare const failureKinds: readonly ["provider-auth", "environment", "timeout", "stale-base", "empty-result", "unfinished", "scope-violation", "gate", "review", "review-protocol", "merge", "cancelled", "budget", "needs-lead", "unknown"];
 export declare const failureKindSchema: z.ZodEnum<{
     gate: "gate";
     unknown: "unknown";
@@ -35,10 +35,12 @@ export declare const failureKindSchema: z.ZodEnum<{
     "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";
 }>;
 export type FailureKind = (typeof failureKinds)[number];
 /** Техническое согласование, привязанное к digest проверенного предложения. */
@@ -230,11 +232,11 @@ export declare const reviewInspectionSchema: z.ZodObject<{
         runId: z.ZodString;
         status: z.ZodNullable<z.ZodString>;
         reason: z.ZodEnum<{
+            unfinished: "unfinished";
             "not-started": "not-started";
             "legacy-unconfirmed": "legacy-unconfirmed";
             "foreign-scope": "foreign-scope";
             "unknown-status": "unknown-status";
-            unfinished: "unfinished";
             abandoned: "abandoned";
         }>;
     }, z.core.$strict>>>;
@@ -327,11 +329,11 @@ export declare const evidenceRecordSchema: z.ZodObject<{
             runId: z.ZodString;
             status: z.ZodNullable<z.ZodString>;
             reason: z.ZodEnum<{
+                unfinished: "unfinished";
                 "not-started": "not-started";
                 "legacy-unconfirmed": "legacy-unconfirmed";
                 "foreign-scope": "foreign-scope";
                 "unknown-status": "unknown-status";
-                unfinished: "unfinished";
                 abandoned: "abandoned";
             }>;
         }, z.core.$strict>>>;
@@ -464,6 +466,19 @@ export declare const evidenceRecordSchema: z.ZodObject<{
         coverage: z.ZodOptional<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>>;
     checks: z.ZodOptional<z.ZodString>;
+    alreadySatisfied: z.ZodOptional<z.ZodObject<{
+        gates: z.ZodArray<z.ZodString>;
+        evidence: z.ZodString;
+        basis: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"contract">;
+            gates: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"dependency">;
+            workId: z.ZodString;
+            sha: z.ZodString;
+            paths: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>], "kind">>;
+    }, z.core.$strict>>;
 }, z.core.$strict>;
 export type EvidenceRecord = z.infer<typeof evidenceRecordSchema>;
 /** Снимок зависимости, против которого шла попытка. */
@@ -553,10 +568,12 @@ export declare const continuationSchema: 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";
     }>>;
     respecified: z.ZodOptional<z.ZodBoolean>;
     applied: z.ZodBoolean;
@@ -636,10 +653,12 @@ export declare const attemptStateSchema: 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";
     }>>;
     failureFingerprint: z.ZodOptional<z.ZodString>;
     requiredGates: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -711,6 +730,12 @@ export declare const attemptStateSchema: z.ZodObject<{
     }, z.core.$strict>>>;
     properties: z.ZodOptional<z.ZodArray<z.ZodString>>;
     unboundProperties: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    interrupted: z.ZodOptional<z.ZodLiteral<"shutdown">>;
+    inputClasses: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    classified: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        property: z.ZodString;
+        inputClass: z.ZodString;
+    }, z.core.$strict>>>;
     episodeBasis: z.ZodOptional<z.ZodString>;
     implementationBasis: z.ZodOptional<z.ZodString>;
     reusedFrom: z.ZodOptional<z.ZodObject<{
@@ -740,10 +765,12 @@ export declare const attemptStateSchema: 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";
         }>>;
         respecified: z.ZodOptional<z.ZodBoolean>;
         applied: z.ZodBoolean;
@@ -863,11 +890,11 @@ export declare const attemptStateSchema: z.ZodObject<{
                 runId: z.ZodString;
                 status: z.ZodNullable<z.ZodString>;
                 reason: z.ZodEnum<{
+                    unfinished: "unfinished";
                     "not-started": "not-started";
                     "legacy-unconfirmed": "legacy-unconfirmed";
                     "foreign-scope": "foreign-scope";
                     "unknown-status": "unknown-status";
-                    unfinished: "unfinished";
                     abandoned: "abandoned";
                 }>;
             }, z.core.$strict>>>;
@@ -1000,6 +1027,19 @@ export declare const attemptStateSchema: z.ZodObject<{
             coverage: z.ZodOptional<z.ZodArray<z.ZodString>>;
         }, z.core.$strict>>;
         checks: z.ZodOptional<z.ZodString>;
+        alreadySatisfied: z.ZodOptional<z.ZodObject<{
+            gates: z.ZodArray<z.ZodString>;
+            evidence: z.ZodString;
+            basis: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"contract">;
+                gates: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"dependency">;
+                workId: z.ZodString;
+                sha: z.ZodString;
+                paths: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>], "kind">>;
+        }, z.core.$strict>>;
     }, z.core.$strict>>;
 }, z.core.$strict>;
 export type AttemptState = z.infer<typeof attemptStateSchema>;
@@ -1156,10 +1196,12 @@ export declare const workStateSchema: 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";
     }>>;
     failureFingerprint: z.ZodOptional<z.ZodString>;
     approvedAt: z.ZodOptional<z.ZodISODateTime>;
@@ -1309,6 +1351,7 @@ export declare const workStateSchema: z.ZodObject<{
         }, z.core.$strict>>;
         version: z.ZodNumber;
     }, z.core.$strict>>>;
+    neutralFailures: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strict>;
 export type WorkState = z.infer<typeof workStateSchema>;
 export declare const graphStateSchema: z.ZodObject<{
@@ -1429,10 +1472,12 @@ export declare const controlStateSchema: 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<{
@@ -1799,6 +1844,7 @@ export declare const reproductionRecordSchema: z.ZodObject<{
     property: z.ZodNullable<z.ZodString>;
     inputHash: z.ZodString;
     input: z.ZodString;
+    inputClass: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     expected: z.ZodNullable<z.ZodString>;
     actual: z.ZodNullable<z.ZodString>;
     command: z.ZodNullable<z.ZodArray<z.ZodString>>;
@@ -1821,6 +1867,7 @@ export declare const reproductionRegistrySchema: z.ZodObject<{
         property: z.ZodNullable<z.ZodString>;
         inputHash: z.ZodString;
         input: z.ZodString;
+        inputClass: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         expected: z.ZodNullable<z.ZodString>;
         actual: z.ZodNullable<z.ZodString>;
         command: z.ZodNullable<z.ZodArray<z.ZodString>>;
@@ -2289,6 +2336,34 @@ export declare const localSchemas: {
                         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;
@@ -2353,6 +2428,7 @@ export declare const localSchemas: {
             property: z.ZodNullable<z.ZodString>;
             inputHash: z.ZodString;
             input: z.ZodString;
+            inputClass: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             expected: z.ZodNullable<z.ZodString>;
             actual: z.ZodNullable<z.ZodString>;
             command: z.ZodNullable<z.ZodArray<z.ZodString>>;
@@ -2655,10 +2731,12 @@ export declare const executionDocumentSchema: 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";
         }>>;
         failureFingerprint: z.ZodOptional<z.ZodString>;
         approvedAt: z.ZodOptional<z.ZodISODateTime>;
@@ -2808,6 +2886,7 @@ export declare const executionDocumentSchema: z.ZodObject<{
             }, z.core.$strict>>;
             version: z.ZodNumber;
         }, z.core.$strict>>>;
+        neutralFailures: z.ZodOptional<z.ZodNumber>;
     }, z.core.$strict>>;
     attempts: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
@@ -2868,10 +2947,12 @@ export declare const executionDocumentSchema: 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";
         }>>;
         failureFingerprint: z.ZodOptional<z.ZodString>;
         requiredGates: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -2943,6 +3024,12 @@ export declare const executionDocumentSchema: z.ZodObject<{
         }, z.core.$strict>>>;
         properties: z.ZodOptional<z.ZodArray<z.ZodString>>;
         unboundProperties: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        interrupted: z.ZodOptional<z.ZodLiteral<"shutdown">>;
+        inputClasses: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        classified: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            property: z.ZodString;
+            inputClass: z.ZodString;
+        }, z.core.$strict>>>;
         episodeBasis: z.ZodOptional<z.ZodString>;
         implementationBasis: z.ZodOptional<z.ZodString>;
         reusedFrom: z.ZodOptional<z.ZodObject<{
@@ -2972,10 +3059,12 @@ export declare const executionDocumentSchema: 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";
             }>>;
             respecified: z.ZodOptional<z.ZodBoolean>;
             applied: z.ZodBoolean;
@@ -3095,11 +3184,11 @@ export declare const executionDocumentSchema: z.ZodObject<{
                     runId: z.ZodString;
                     status: z.ZodNullable<z.ZodString>;
                     reason: z.ZodEnum<{
+                        unfinished: "unfinished";
                         "not-started": "not-started";
                         "legacy-unconfirmed": "legacy-unconfirmed";
                         "foreign-scope": "foreign-scope";
                         "unknown-status": "unknown-status";
-                        unfinished: "unfinished";
                         abandoned: "abandoned";
                     }>;
                 }, z.core.$strict>>>;
@@ -3232,6 +3321,19 @@ export declare const executionDocumentSchema: z.ZodObject<{
                 coverage: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strict>>;
             checks: z.ZodOptional<z.ZodString>;
+            alreadySatisfied: z.ZodOptional<z.ZodObject<{
+                gates: z.ZodArray<z.ZodString>;
+                evidence: z.ZodString;
+                basis: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"contract">;
+                    gates: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"dependency">;
+                    workId: z.ZodString;
+                    sha: z.ZodString;
+                    paths: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>], "kind">>;
+            }, z.core.$strict>>;
         }, z.core.$strict>>;
     }, z.core.$strict>>;
     verifications: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -3382,10 +3484,12 @@ export declare const executionDocumentSchema: 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<{

package/lib/contracts/execution.js

@@ -36,6 +36,8 @@ export const failureKinds = [
     'timeout',
     'stale-base',
     'empty-result',
+    /** Исполнитель сообщил `completed: false`: работа не доделана, черновик сохранён. */
+    'unfinished',
     'scope-violation',
     'gate',
     'review',
@@ -44,6 +46,11 @@ export const failureKinds = [
     'merge',
     'cancelled',
     'budget',
+    /**
+     * Исполнитель не изменил ни файла, а основания считать работу уже
+     * сделанной механически нет: решение — за ведущим, не повтор.
+     */
+    'needs-lead',
     'unknown',
 ];
 export const failureKindSchema = z.enum(failureKinds);
@@ -249,6 +256,32 @@ export const evidenceRecordSchema = z.strictObject({
     property: propertyEvidenceSchema.optional(),
     /** Действующая версия проверок, под которой получено evidence. */
     checks: digestSchema.optional(),
+    /**
+     * Ревью попытки без изменений подтвердило, что приёмка уже выполнена на
+     * базе: gates, на которые сослался reviewer, и его основание.
+     */
+    alreadySatisfied: z
+        .strictObject({
+        gates: z.array(z.string().min(1).max(200)).min(1).max(20),
+        evidence: z.string().min(1).max(4000),
+        /** Механическое основание, найденное controller (`alreadySatisfiedVerdict`). */
+        basis: z
+            .discriminatedUnion('kind', [
+            z.strictObject({
+                kind: z.literal('contract'),
+                gates: z.array(z.string().min(1).max(200)).min(1).max(30),
+            }),
+            z.strictObject({
+                kind: z.literal('dependency'),
+                workId: idSchema,
+                /** Кандидат зависимости, изменивший область записи. */
+                sha: gitShaSchema,
+                paths: z.array(z.string().min(1).max(1000)).min(1).max(50),
+            }),
+        ])
+            .optional(),
+    })
+        .optional(),
 });
 /* ------------------------------------------------------------------ */
 /* Попытка                                                             */
@@ -363,6 +396,23 @@ export const attemptStateSchema = z.strictObject({
     dependencyFreshness: z.array(freshnessSchema).optional(),
     properties: z.array(z.string()).optional(),
     unboundProperties: z.array(z.string()).optional(),
+    /**
+     * Попытку прервала штатная остановка controller: работа не исполнена до
+     * конца, но и не отклонена — поручение вернулось в очередь, следующая
+     * попытка продолжает с её кандидата или черновика.
+     */
+    interrupted: z.literal('shutdown').optional(),
+    /** Классы входов, названные отклонившим ревью (`reproduction.inputClass`). */
+    inputClasses: z.array(z.string().max(500)).max(20).optional(),
+    /**
+     * Пары «необъявленное свойство или критерий — класс входов» блокирующих
+     * находок отклонившего ревью: по ним `acceptanceGap` узнаёт один и тот же
+     * дефект в разных попытках.
+     */
+    classified: z
+        .array(z.strictObject({ property: z.string().max(200), inputClass: z.string().max(500) }))
+        .max(20)
+        .optional(),
     episodeBasis: digestSchema.optional(),
     implementationBasis: digestSchema.optional(),
     reusedFrom: z
@@ -501,6 +551,12 @@ export const workStateSchema = z.strictObject({
     checkVersion: checkVersionSchema.optional(),
     recovery: propertyRecoverySchema.optional(),
     recoveryHistory: z.array(propertyRecoverySchema).optional(),
+    /**
+     * Отказы окружения, провайдера и истёкшего владения после начала работы:
+     * попытку они не засчитывают, но ограничены своим пределом
+     * (`MAX_NEUTRAL_FAILURES`); сброс — вместе со сбросом попыток.
+     */
+    neutralFailures: z.number().int().min(0).optional(),
 });
 export const graphStateSchema = z.strictObject({
     id: idSchema,
@@ -852,6 +908,8 @@ export const reproductionRecordSchema = z.strictObject({
     property: z.string().max(200).nullable(),
     inputHash: digestSchema,
     input: z.string().min(1).max(8000),
+    /** Класс входов, названный reviewer; у записей прежних версий нет. */
+    inputClass: z.string().max(500).nullable().optional(),
     expected: z.string().max(2000).nullable(),
     actual: z.string().max(2000).nullable(),
     command: z.array(z.string()).max(64).nullable(),

package/lib/contracts/failure.d.ts

@@ -9,21 +9,35 @@ export declare class TaskFailure extends Error {
     /**
      * Свойства, с которыми связан отказ: `bound` — объявленные задачей
      * property ID, `unbound` — названные проверкой или ревьюером, но не
-     * объявленные (только для разбора, счётчик эпизода они не выбирают).
+     * объявленные (только для разбора, счётчик эпизода они не выбирают);
+     * `classes` — классы входов, названные ревьюером; `pairs` — свойство и
+     * класс одной находки.
      */
     readonly properties?: {
         bound: string[];
         unbound: string[];
+        classes?: string[];
+        pairs?: {
+            property: string;
+            inputClass: string;
+        }[];
     } | undefined;
     constructor(kind: FailureKind, message: string, 
     /**
      * Свойства, с которыми связан отказ: `bound` — объявленные задачей
      * property ID, `unbound` — названные проверкой или ревьюером, но не
-     * объявленные (только для разбора, счётчик эпизода они не выбирают).
+     * объявленные (только для разбора, счётчик эпизода они не выбирают);
+     * `classes` — классы входов, названные ревьюером; `pairs` — свойство и
+     * класс одной находки.
      */
     properties?: {
         bound: string[];
         unbound: string[];
+        classes?: string[];
+        pairs?: {
+            property: string;
+            inputClass: string;
+        }[];
     } | undefined);
 }
 /**
@@ -35,4 +49,4 @@ export declare class TaskFailure extends Error {
  * повторов не сработал бы ни разу.
  */
 export declare function failureFingerprint(kind: FailureKind, message: string): string;
-export { repairPolicy, type RepairRule } from './repair-policy.ts';
+export { MAX_NEUTRAL_FAILURES, repairPolicy, type RepairRule } from './repair-policy.ts';

package/lib/contracts/failure.js

@@ -11,7 +11,9 @@ export class TaskFailure extends Error {
     /**
      * Свойства, с которыми связан отказ: `bound` — объявленные задачей
      * property ID, `unbound` — названные проверкой или ревьюером, но не
-     * объявленные (только для разбора, счётчик эпизода они не выбирают).
+     * объявленные (только для разбора, счётчик эпизода они не выбирают);
+     * `classes` — классы входов, названные ревьюером; `pairs` — свойство и
+     * класс одной находки.
      */
     properties) {
         super(message);
@@ -50,4 +52,4 @@ export function failureFingerprint(kind, message) {
         .digest('hex')
         .slice(0, 16);
 }
-export { repairPolicy } from "./repair-policy.js";
+export { MAX_NEUTRAL_FAILURES, repairPolicy } from "./repair-policy.js";