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

package/lib/contracts/published.d.ts

@@ -760,6 +760,34 @@ export declare const publishedSchemas: {
                         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;
@@ -1698,10 +1726,12 @@ export declare const publishedSchemas: {
                 "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;
@@ -1737,10 +1767,12 @@ export declare const publishedSchemas: {
                 "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<{
@@ -1949,10 +1981,12 @@ export declare const publishedSchemas: {
                 "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;
@@ -1988,10 +2022,12 @@ export declare const publishedSchemas: {
                 "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<{
@@ -2421,10 +2457,12 @@ export declare const publishedSchemas: {
                 "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>;
@@ -2574,6 +2612,7 @@ export declare const publishedSchemas: {
                 }, 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;
@@ -2634,10 +2673,12 @@ export declare const publishedSchemas: {
                 "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>>;
@@ -2709,6 +2750,12 @@ export declare const publishedSchemas: {
             }, 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<{
@@ -2738,10 +2785,12 @@ export declare const publishedSchemas: {
                     "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;
@@ -2861,11 +2910,11 @@ export declare const publishedSchemas: {
                         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>>>;
@@ -2998,6 +3047,19 @@ export declare const publishedSchemas: {
                     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<{
@@ -3148,10 +3210,12 @@ export declare const publishedSchemas: {
                 "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<{
@@ -3373,10 +3437,12 @@ export declare const publishedSchemas: {
             "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/repair-policy.d.ts

@@ -28,4 +28,11 @@ export interface RepairRule {
  * попадают в подсказку следующей попытки, а бюджет попыток задачи не растёт —
  * сброс бюджета остаётся действием человека.
  */
+/**
+ * Предел отказов, не засчитывающих попытку (окружение, провайдер, истёкшее
+ * владение после начала работы), на поручение до сброса человеком. Без него
+ * поручение с кандидатом, на котором раз за разом рвётся окружение, выдавалось
+ * бы бесконечно: бюджет попыток такие отказы не тратят.
+ */
+export declare const MAX_NEUTRAL_FAILURES = 3;
 export declare const repairPolicy: Record<FailureKind, RepairRule>;

package/lib/contracts/repair-policy.js

@@ -6,6 +6,13 @@
  * попадают в подсказку следующей попытки, а бюджет попыток задачи не растёт —
  * сброс бюджета остаётся действием человека.
  */
+/**
+ * Предел отказов, не засчитывающих попытку (окружение, провайдер, истёкшее
+ * владение после начала работы), на поручение до сброса человеком. Без него
+ * поручение с кандидатом, на котором раз за разом рвётся окружение, выдавалось
+ * бы бесконечно: бюджет попыток такие отказы не тратят.
+ */
+export const MAX_NEUTRAL_FAILURES = 3;
 export const repairPolicy = {
     'provider-auth': {
         action: 'stop',
@@ -34,6 +41,11 @@ export const repairPolicy = {
         repeats: 1,
         explain: 'Исполнитель отчитался о выполнении, не изменив ни файла. Повтор получает этот отказ в подсказке; второй такой же означает, что задача поставлена неверно или невыполнима в своей области.',
     },
+    unfinished: {
+        action: 'retry',
+        repeats: 2,
+        explain: 'Исполнитель сообщил, что не доделал работу. Повтор продолжает с сохранённого черновика в пределах бюджета попыток; одна и та же незавершённость сверх предела означает, что задача не помещается в попытку: её нужно разделить.',
+    },
     'scope-violation': {
         action: 'retry',
         repeats: 1,
@@ -64,6 +76,11 @@ export const repairPolicy = {
         repeats: 0,
         explain: 'Бюджет расходов или времени исчерпан либо не определён (есть вызовы с неизвестной стоимостью). Повтор потратил бы ещё; продолжить можно, только осознанно подняв предел в конфигурации или задав политику для неизвестной цены.',
     },
+    'needs-lead': {
+        action: 'stop',
+        repeats: 0,
+        explain: 'Исполнитель не изменил ни файла и ревью сочло приёмку уже выполненной, но механического основания нет: у поручения нет договора проверки, и ни одна его зависимость не меняла его область записи. Зелёный общий gate на базе этого не доказывает. Принять задачу без изменений или поставить её заново решает ведущий.',
+    },
     cancelled: {
         action: 'stop',
         repeats: 0,

package/lib/contracts/review.d.ts

@@ -37,6 +37,7 @@ export type ImplementationResult = z.infer<typeof implementationResultSchema>;
 export declare const reproductionSchema: z.ZodObject<{
     property: z.ZodNullable<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>>;
@@ -76,6 +77,12 @@ export declare const findingTransitionSchema: z.ZodObject<{
  * — отказ; `previous` обязан назвать состояние каждой прежней открытой
  * находки этого предмета (см. `reviewIssues`).
  */
+/** Основание «приёмка уже выполнена»: названные gates и что их evidence показывает. */
+export declare const alreadySatisfiedSchema: z.ZodObject<{
+    gates: z.ZodArray<z.ZodString>;
+    evidence: z.ZodString;
+}, z.core.$strict>;
+export type AlreadySatisfied = z.infer<typeof alreadySatisfiedSchema>;
 export declare const reviewResultSchema: z.ZodObject<{
     execution: z.ZodOptional<z.ZodObject<{
         commands: z.ZodArray<z.ZodObject<{
@@ -113,6 +120,7 @@ export declare const reviewResultSchema: z.ZodObject<{
         reproduction: z.ZodCatch<z.ZodOptional<z.ZodNullable<z.ZodObject<{
             property: z.ZodNullable<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>>;
@@ -129,6 +137,10 @@ export declare const reviewResultSchema: z.ZodObject<{
         }>;
         basis: z.ZodString;
     }, z.core.$strict>>>;
+    alreadySatisfied: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        gates: z.ZodArray<z.ZodString>;
+        evidence: z.ZodString;
+    }, z.core.$strict>>>;
 }, z.core.$strip>;
 export type ReviewResult = z.infer<typeof reviewResultSchema>;
 /** Идентичность находки: предмет, класс и текст. Новый текст — новая находка. */

package/lib/contracts/review.js

@@ -24,6 +24,13 @@ export const implementationResultSchema = z.object({
 export const reproductionSchema = z.object({
     property: z.string().max(200).nullable(),
     input: z.string().min(1).max(8000),
+    /**
+     * Класс входов, к которому относится пример: генератор или семейство, а не
+     * экземпляр. Следующая попытка чинит класс; два отказа подряд по одному
+     * классу — пробел приёмки (`repairDecision`). Длина не ограничивается
+     * схемой: длинный ответ обрезается при записи, а не отбрасывает пример.
+     */
+    inputClass: z.string().nullable().optional(),
     expected: z.string().max(2000).nullable(),
     actual: z.string().max(2000).nullable(),
     command: z.array(z.string()).max(64).nullable(),
@@ -62,6 +69,11 @@ export const findingTransitionSchema = z.strictObject({
  * — отказ; `previous` обязан назвать состояние каждой прежней открытой
  * находки этого предмета (см. `reviewIssues`).
  */
+/** Основание «приёмка уже выполнена»: названные gates и что их evidence показывает. */
+export const alreadySatisfiedSchema = z.strictObject({
+    gates: z.array(z.string().min(1).max(200)).min(1).max(20),
+    evidence: z.string().min(1).max(4000),
+});
 export const reviewResultSchema = z.object({
     execution: reviewExecutionSchema.optional(),
     approved: z.boolean(),
@@ -79,6 +91,13 @@ export const reviewResultSchema = z.object({
         reproduction: reproductionSchema.nullable().optional().catch(null),
     })),
     previous: z.array(findingTransitionSchema).default([]),
+    /**
+     * Подтверждение reviewer, что приёмка поручения уже выполнена на базе без
+     * изменений (исполнитель сдал пустой результат): gates, чьё прошедшее
+     * evidence это показывает, и основание. Учитывается только для попытки без
+     * изменений; там без него принятие не засчитывается (`empty-result`).
+     */
+    alreadySatisfied: alreadySatisfiedSchema.nullable().optional(),
 });
 /** Идентичность находки: предмет, класс и текст. Новый текст — новая находка. */
 export const findingId = (subject, finding) => digestOf({ subject, rule: finding.rule ?? null, message: finding.message });

package/lib/control/harness.d.ts

@@ -735,7 +735,7 @@ export declare class Harness {
             pauseReason?: "runtime" | "operator" | "shutdown" | "base-check" | "reconfigure" | undefined;
             pausedAt?: string | undefined;
             pauseOperation?: string | undefined;
-            pauseFailures?: ("gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget")[] | undefined;
+            pauseFailures?: ("gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "unfinished" | "scope-violation" | "review-protocol" | "merge" | "budget" | "needs-lead")[] | undefined;
             waits?: {
                 kind: "base-check" | "context-lock";
                 detail: string;
@@ -792,7 +792,7 @@ export declare class Harness {
             pauseReason?: "runtime" | "operator" | "shutdown" | "base-check" | "reconfigure" | undefined;
             pausedAt?: string | undefined;
             pauseOperation?: string | undefined;
-            pauseFailures?: ("gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget")[] | undefined;
+            pauseFailures?: ("gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "unfinished" | "scope-violation" | "review-protocol" | "merge" | "budget" | "needs-lead")[] | undefined;
             waits?: {
                 kind: "base-check" | "context-lock";
                 detail: string;

package/lib/control/harness.js

@@ -18,7 +18,7 @@ import { policySourceChanged } from "./provenance.js";
 import { JointRunner } from "../engine/joint-runner.js";
 import { git } from "../environment/process.js";
 import { analyzeRecovery, applyCases } from "./recovery.js";
-import { declarationProblems } from "../verification/checks.js";
+import { declarationProblems, referenceNote } from "../verification/checks.js";
 import { spikeOf, spikesOf } from "../verification/spike.js";
 import { staleArtifacts } from "../verification/confirm.js";
 const stateFile = (dir) => join(dir, 'state.sqlite');
@@ -193,6 +193,7 @@ export class Harness {
                     : 'You independently review a contract document. Check that every obligation is feasible and measurable. Do not edit files.',
                 JSON.stringify(input.kind === 'plan' ? input.graph : input.contract, null, 2),
                 input.kind === 'contract' ? this.spikeNote(input.contract) : '',
+                input.kind === 'contract' ? referenceNote(input.contract.checks) : '',
             ],
             ...(context ? { context } : {}),
             ...(input.kind === 'contract' ? { contract: input.contract } : {}),

package/lib/control/recovery.d.ts

@@ -139,6 +139,31 @@ export declare function recoveryBrief(view: ExecutionView, work: WorkState, poli
         };
         hard: boolean;
         explanation?: string | undefined;
+        gates?: string[] | undefined;
+        verification?: "property" | "reference" | undefined;
+        reference?: {
+            oracle: {
+                description: string;
+                limits: string;
+            };
+            crossChecks: {
+                family: string;
+                against: string;
+                matches: number;
+                total: number;
+                artifacts?: string[] | undefined;
+            }[];
+            sets: {
+                gate: string;
+                artifacts: string[];
+                minCases: number;
+                families: {
+                    id: string;
+                    minCases: number;
+                }[];
+            }[];
+            gaps: string;
+        } | undefined;
         feasibility?: {
             spike: string;
             digest: string;
@@ -180,7 +205,7 @@ export declare function recoveryBrief(view: ExecutionView, work: WorkState, poli
     attempts: {
         run: string;
         attempt: number;
-        failureKind: "gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget" | undefined;
+        failureKind: "gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "unfinished" | "scope-violation" | "review-protocol" | "merge" | "budget" | "needs-lead" | undefined;
         error: string | undefined;
         findings: {
             severity: string;

package/lib/engine/engine.d.ts

@@ -32,12 +32,8 @@ export interface EngineOptions {
     recordPolicyOnLead?: boolean;
 }
 export type Phase = 'running' | 'verifying' | 'reviewing' | 'integrating';
-/**
- * Правила исполнения и технической приёмки. Все решения — внутри одной
- * транзакции хранилища: состояние, на котором решение принято, и запись
- * решения неразделимы. Хост может только добавить запрет (`HostGuards`) и
- * дать основания (`BasisProvider`); снять отказ движка он не может.
- */
+/** Поручение исчерпало предел незасчитанных отказов: повтор — только со сбросом. */
+export declare const neutralExhausted: (w: Pick<WorkState, "neutralFailures">) => boolean;
 export declare class Engine {
     readonly host: ExecutionHost;
     readonly policy: ExecutionPolicy;
@@ -251,7 +247,7 @@ export declare class Engine {
             pauseReason?: "runtime" | "operator" | "shutdown" | "base-check" | "reconfigure" | undefined;
             pausedAt?: string | undefined;
             pauseOperation?: string | undefined;
-            pauseFailures?: ("gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget")[] | undefined;
+            pauseFailures?: ("gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "unfinished" | "scope-violation" | "review-protocol" | "merge" | "budget" | "needs-lead")[] | undefined;
             waits?: {
                 kind: "base-check" | "context-lock";
                 detail: string;
@@ -287,7 +283,7 @@ export declare class Engine {
             pauseReason?: "runtime" | "operator" | "shutdown" | "base-check" | "reconfigure" | undefined;
             pausedAt?: string | undefined;
             pauseOperation?: string | undefined;
-            pauseFailures?: ("gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget")[] | undefined;
+            pauseFailures?: ("gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "unfinished" | "scope-violation" | "review-protocol" | "merge" | "budget" | "needs-lead")[] | undefined;
             waits?: {
                 kind: "base-check" | "context-lock";
                 detail: string;
@@ -317,7 +313,7 @@ export declare class Engine {
         pauseReason?: "runtime" | "operator" | "shutdown" | "base-check" | "reconfigure" | undefined;
         pausedAt?: string | undefined;
         pauseOperation?: string | undefined;
-        pauseFailures?: ("gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget")[] | undefined;
+        pauseFailures?: ("gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "unfinished" | "scope-violation" | "review-protocol" | "merge" | "budget" | "needs-lead")[] | undefined;
         waits?: {
             kind: "base-check" | "context-lock";
             detail: string;
@@ -527,7 +523,7 @@ export declare class Engine {
             excluded?: {
                 runId: string;
                 status: string | null;
-                reason: "not-started" | "legacy-unconfirmed" | "foreign-scope" | "unknown-status" | "unfinished" | "abandoned";
+                reason: "unfinished" | "not-started" | "legacy-unconfirmed" | "foreign-scope" | "unknown-status" | "abandoned";
             }[] | undefined;
             excludedTotal?: number | undefined;
             invalid?: number | undefined;
@@ -621,6 +617,19 @@ export declare class Engine {
             coverage?: string[] | undefined;
         } | undefined;
         checks?: string | undefined;
+        alreadySatisfied?: {
+            gates: string[];
+            evidence: string;
+            basis?: {
+                kind: "contract";
+                gates: string[];
+            } | {
+                kind: "dependency";
+                workId: string;
+                sha: string;
+                paths: string[];
+            } | undefined;
+        } | undefined;
     };
     /**
      * Техническая приёмка. Требует фазу интеграции и integration SHA, PASS
@@ -644,11 +653,25 @@ export declare class Engine {
         kind?: FailureKind;
         blocked?: boolean;
         heartbeatCause?: string;
-        /** Свойства отказа: `bound` — объявленные поручением, `unbound` — прочие названные. */
+        /**
+         * Свойства отказа: `bound` — объявленные поручением, `unbound` — прочие
+         * названные; `classes` — классы входов, названные ревьюером.
+         */
         properties?: {
             bound: string[];
             unbound: string[];
+            classes?: string[];
+            pairs?: {
+                property: string;
+                inputClass: string;
+            }[];
         };
+        /**
+         * Попытку прервала штатная остановка controller: отказ окружения без
+         * паузы по классу; поручение возвращается в очередь (`ready`), а не
+         * ждёт восстановления. Интегрированная попытка так не возвращается.
+         */
+        interrupted?: boolean;
     }): {
         recovery?: {
             id: string;
@@ -657,8 +680,10 @@ export declare class Engine {
         properties?: string[] | undefined;
         workId: string;
         runId: string;
-        kind: "gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget";
+        kind: "gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "unfinished" | "scope-violation" | "review-protocol" | "merge" | "budget" | "needs-lead";
         blocked: boolean;
+        /** Работа возвращена в очередь (штатная остановка); иначе — обычный отказ. */
+        interrupted: boolean;
     };
     private recoveryEvent;
     /** Принятие корпуса, ждущее оператора, удерживает выдачу поручения. */
@@ -1301,7 +1326,7 @@ export declare class Engine {
             activeRunId?: string | undefined;
             resultSha?: string | undefined;
             failure?: string | undefined;
-            failureKind?: "gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget" | undefined;
+            failureKind?: "gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "unfinished" | "scope-violation" | "review-protocol" | "merge" | "budget" | "needs-lead" | undefined;
             failureFingerprint?: string | undefined;
             approvedAt?: string | undefined;
             approvedDigest?: string | undefined;
@@ -1401,6 +1426,7 @@ export declare class Engine {
                 retryRun?: string | undefined;
                 reason?: string | undefined;
             }[] | undefined;
+            neutralFailures?: number | undefined;
         };
         changed: boolean;
     };
@@ -1458,7 +1484,7 @@ export declare class Engine {
             activeRunId?: string | undefined;
             resultSha?: string | undefined;
             failure?: string | undefined;
-            failureKind?: "gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget" | undefined;
+            failureKind?: "gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "unfinished" | "scope-violation" | "review-protocol" | "merge" | "budget" | "needs-lead" | undefined;
             failureFingerprint?: string | undefined;
             approvedAt?: string | undefined;
             approvedDigest?: string | undefined;
@@ -1558,6 +1584,7 @@ export declare class Engine {
                 retryRun?: string | undefined;
                 reason?: string | undefined;
             }[] | undefined;
+            neutralFailures?: number | undefined;
         };
         changed: boolean;
     };