devcontour-harness 0.1.0-alpha.5 → 0.1.0-alpha.7

package/lib/control/harness.d.ts

@@ -1,6 +1,6 @@
 import { type Author, type ContextSnapshot, type ContractDocument, type PropertyRecovery, type ExecutionPolicy, type ResultEnvelope, type ResultSink, type WorkSource, type RuntimeAdapter, type RuntimeName, type WorkGraph } from '../contracts/index.ts';
 import { Engine } from '../engine/engine.ts';
-import { Runner } from '../engine/runner.ts';
+import { Runner, type RunnerHooks } from '../engine/runner.ts';
 import { SqliteExecutionStore } from '../storage/sqlite.ts';
 import { WorkflowQueue } from './workflow.ts';
 import { type PolicySource } from './provenance.ts';
@@ -15,6 +15,11 @@ export interface HarnessOptions {
     adapters?: Partial<Record<RuntimeName, RuntimeAdapter>>;
     /** Читающие операции не создают каталог состояния. */
     readOnly?: boolean;
+    /**
+     * Открыть базу состояния только для чтения (status, events, result): процесс
+     * не записывает даже метку писателя. Любая запись — отказ.
+     */
+    readOnlyState?: boolean;
     environment?: NodeJS.ProcessEnv;
     /**
      * Файл, из которого загружена политика. С ним процесс может записать свою
@@ -24,6 +29,12 @@ export interface HarnessOptions {
     policySource?: PolicySource;
     /** База блокировок ресурсов; по умолчанию — общая для машины. */
     resourceDatabase?: string;
+    /**
+     * Дополнения хоста к попыткам (например, история работы внешнего
+     * хранилища задач до исполнения). Приёмку не решают: отказ хука — отказ
+     * попытки.
+     */
+    hooks?: RunnerHooks;
 }
 /**
  * Доменные операции harness — общие для библиотеки и CLI. Здесь нет
@@ -553,7 +564,7 @@ export declare class Harness {
         basis: string;
         runs: string[];
         openedAt: string;
-        status: "stopped" | "closed" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
+        status: "closed" | "stopped" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
         calls: number;
         history: {
             at: string;
@@ -724,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" | "merge" | "budget")[] | undefined;
+            pauseFailures?: ("gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget")[] | undefined;
             waits?: {
                 kind: "base-check" | "context-lock";
                 detail: string;
@@ -781,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" | "merge" | "budget")[] | undefined;
+            pauseFailures?: ("gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget")[] | undefined;
             waits?: {
                 kind: "base-check" | "context-lock";
                 detail: string;
@@ -928,6 +939,21 @@ export declare class Harness {
                     sameVendor: boolean;
                     model?: string | undefined;
                 } | undefined;
+                review?: {
+                    round: number;
+                    call: number;
+                    protocol: "valid" | "invalid" | "unsafe";
+                    issues?: {
+                        path: string;
+                        reason: string;
+                        message: string;
+                    }[] | undefined;
+                    transitions?: {
+                        id: string;
+                        from: "open" | "closed" | "withdrawn";
+                        to: "open" | "closed" | "withdrawn";
+                    }[] | undefined;
+                } | undefined;
             }[];
             findings: {
                 severity: string;
@@ -935,6 +961,8 @@ export declare class Harness {
                 path?: string | null | undefined;
                 line?: number | null | undefined;
                 rule?: string | undefined;
+                id?: string | undefined;
+                status?: "open" | "closed" | "withdrawn" | undefined;
             }[];
             limitations: string[];
             finishedAt: string;
@@ -946,7 +974,7 @@ export declare class Harness {
                 integration?: string | undefined;
             };
             stopReason: {
-                code: "INVALID_INPUT" | "UNSUPPORTED_COMMAND" | "UNSUPPORTED_VERSION" | "GRAPH_CYCLE" | "GRAPH_UNKNOWN_DEPENDENCY" | "GRAPH_DUPLICATE_ID" | "GATE_UNKNOWN" | "GATE_GROUP_CYCLE" | "REVIEWER_SAME_VENDOR" | "REVIEWER_MISSING" | "APPROVAL_STALE" | "APPROVAL_REQUIRED" | "LEASE_STALE" | "CONTROLLER_BUSY" | "PAUSED" | "NOT_READY" | "SCOPE_VIOLATION" | "GATE_FAILED" | "REVIEW_REJECTED" | "BUDGET_EXHAUSTED" | "BUDGET_UNKNOWN" | "ATTEMPTS_EXHAUSTED" | "REVISION_CONFLICT" | "CANCELLED" | "NOT_FOUND" | "STATE_VERSION_UNSUPPORTED" | "RUNTIME_UNAVAILABLE" | "SANDBOX_UNAVAILABLE" | "GIT_FAILED" | "STORAGE_FAILED" | "DELIVERY_FAILED" | "INTERNAL";
+                code: "INVALID_INPUT" | "UNSUPPORTED_COMMAND" | "UNSUPPORTED_VERSION" | "GRAPH_CYCLE" | "GRAPH_UNKNOWN_DEPENDENCY" | "GRAPH_DUPLICATE_ID" | "GATE_UNKNOWN" | "GATE_GROUP_CYCLE" | "REVIEWER_SAME_VENDOR" | "REVIEWER_MISSING" | "APPROVAL_STALE" | "APPROVAL_REQUIRED" | "LEASE_STALE" | "CONTROLLER_BUSY" | "PAUSED" | "NOT_READY" | "SCOPE_VIOLATION" | "GATE_FAILED" | "REVIEW_REJECTED" | "BUDGET_EXHAUSTED" | "BUDGET_UNKNOWN" | "ATTEMPTS_EXHAUSTED" | "REVISION_CONFLICT" | "CANCELLED" | "NOT_FOUND" | "STATE_VERSION_UNSUPPORTED" | "RUNTIME_UNAVAILABLE" | "REVIEW_PROTOCOL_INVALID" | "SANDBOX_UNAVAILABLE" | "GIT_FAILED" | "STORAGE_FAILED" | "DELIVERY_FAILED" | "INTERNAL";
                 message: string;
             };
             apiVersion: "devcontour-harness/v1alpha1";
@@ -1052,6 +1080,21 @@ export declare class Harness {
                     sameVendor: boolean;
                     model?: string | undefined;
                 } | undefined;
+                review?: {
+                    round: number;
+                    call: number;
+                    protocol: "valid" | "invalid" | "unsafe";
+                    issues?: {
+                        path: string;
+                        reason: string;
+                        message: string;
+                    }[] | undefined;
+                    transitions?: {
+                        id: string;
+                        from: "open" | "closed" | "withdrawn";
+                        to: "open" | "closed" | "withdrawn";
+                    }[] | undefined;
+                } | undefined;
             }[];
             findings: {
                 severity: string;
@@ -1059,6 +1102,8 @@ export declare class Harness {
                 path?: string | null | undefined;
                 line?: number | null | undefined;
                 rule?: string | undefined;
+                id?: string | undefined;
+                status?: "open" | "closed" | "withdrawn" | undefined;
             }[];
             limitations: string[];
             finishedAt: string;
@@ -1067,10 +1112,11 @@ export declare class Harness {
             sink: string;
             key: string;
             revision: string;
-            status: "failed" | "pending" | "delivered" | "conflict";
+            status: "failed" | "pending" | "delivered" | "conflict" | "uncertain";
             attempts: number;
             updatedAt: string;
             lastError?: string | undefined;
+            operation?: string | undefined;
             currentRevision?: string | undefined;
             receipt?: string | undefined;
         }[];

package/lib/control/harness.js

@@ -48,7 +48,9 @@ export class Harness {
         this.policy = options.policy;
         if (!options.readOnly)
             mkdirSync(options.stateDir, { recursive: true });
-        this.store = new SqliteExecutionStore(stateFile(options.stateDir), 'devcontour-harness@' + HARNESS_VERSION);
+        this.store = new SqliteExecutionStore(stateFile(options.stateDir), 'devcontour-harness@' + HARNESS_VERSION, 
+        // Только чтение состояния: процесс не становится писателем (meta, PRAGMA и данные прежние).
+        { readOnly: Boolean(options.readOnlyState) });
         const source = options.policySource;
         this.engine = new Engine({
             host: standaloneHost(this.store, this.policy),
@@ -68,6 +70,7 @@ export class Harness {
             context: (work) => this.contextOf(work.graphId),
             ...(options.environment ? { environment: options.environment } : {}),
             ...(options.resourceDatabase ? { resourceDatabase: options.resourceDatabase } : {}),
+            ...(options.hooks ? { hooks: options.hooks } : {}),
         });
         this.joint = new JointRunner({
             engine: this.engine,
@@ -652,6 +655,11 @@ export class Harness {
             updatedAt: new Date().toISOString(),
         };
         const save = (state, type) => this.store.transact('delivery.recorded', (tx) => {
+            // Подтверждённую доставку не перезаписывает поздний итог другого
+            // процесса (например, отказ «владелец занят» при параллельной доставке).
+            if (state.status !== 'delivered' &&
+                tx.local('delivery', WORKSPACE_OWNER, key)?.status === 'delivered')
+                return;
             tx.putLocal('delivery', WORKSPACE_OWNER, key, state);
             const payload = {
                 sink: state.sink,
@@ -667,6 +675,16 @@ export class Harness {
                 });
             else if (type === 'delivery.failed')
                 tx.emit({ type, workId, payload: { ...payload, error: state.lastError ?? 'ошибка' } });
+            else if (type === 'delivery.uncertain')
+                tx.emit({
+                    type,
+                    workId,
+                    payload: {
+                        ...payload,
+                        operation: state.operation ?? 'unknown',
+                        reason: state.lastError ?? 'исход не доказан',
+                    },
+                });
             else if (type === 'delivery.conflict')
                 tx.emit({
                     type,
@@ -687,6 +705,15 @@ export class Harness {
                     status: 'delivered',
                     ...(outcome.receipt ? { receipt: outcome.receipt.slice(0, 1000) } : {}),
                 }, 'delivery.delivered');
+            else if (outcome.status === 'uncertain')
+                // Неизвестный исход — не успех и не отказ: повтор не посылает мутацию
+                // до явного разбора получателем (reconcile).
+                save({
+                    ...attempt,
+                    status: 'uncertain',
+                    operation: outcome.operation.slice(0, 300),
+                    lastError: ('Исход не доказан: ' + outcome.reason).slice(0, 4000),
+                }, 'delivery.uncertain');
             else
                 save({
                     ...attempt,

package/lib/control/recovery.d.ts

@@ -180,13 +180,15 @@ 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" | "merge" | "budget" | undefined;
+        failureKind: "gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget" | undefined;
         error: string | undefined;
         findings: {
             severity: string;
             message: string;
             path?: string | null | undefined;
             line?: number | null | undefined;
+            id?: string | undefined;
+            status?: "open" | "closed" | "withdrawn" | undefined;
         }[];
         durationMs: number | null;
     }[];

package/lib/control/review.js

@@ -3,6 +3,7 @@ import { mkdir, writeFile } from 'node:fs/promises';
 import { join } from 'node:path';
 import { HarnessError, WORKSPACE_OWNER, contextDigest, findingId, mcpEnvironment, reviewIssues, reviewResultSchema, selectReviewer, } from "../contracts/index.js";
 import { reviewOutputSchema } from "../agents/schemas.js";
+import { redactInspection } from "../agents/inspect.js";
 import { executionEnvironment } from "../environment/lifecycle.js";
 import { redactDeep } from "../environment/redaction.js";
 import { TaskFailure } from "../engine/failure.js";
@@ -112,16 +113,24 @@ export async function technicalReview(engine, policy, adapters, input) {
         throw new HarnessError('RUNTIME_UNAVAILABLE', `Ревью ${kind}: ${response.status}${response.diagnostics.reason ? ': ' + response.diagnostics.reason : ''}`);
     const parsed = reviewResultSchema.safeParse(response.output);
     const issues = parsed.success ? reviewIssues(parsed.data, open) : ['Ответ ревью вне схемы'];
-    const transitions = new Map((parsed.success ? parsed.data.previous : []).map((t) => [t.id, t]));
+    // Ответ применяется только целиком валидным (docs/review-protocol.md, §8):
+    // невалидный не закрывает прежних находок и не заводит новых — раунд
+    // записывается неодобренным с причинами, история остаётся прежней.
+    const applied = parsed.success && !issues.length ? parsed.data : undefined;
+    const transitions = new Map((applied?.previous ?? []).map((t) => [t.id, t]));
+    const reported = (applied?.findings ?? []).map((f) => ({ ...f, id: findingId(subject, f) }));
     const findings = [
         ...lastFindings.map((f) => {
             const t = transitions.get(f.id);
-            return f.status === 'open' && t
-                ? { ...f, status: t.status, changedIn: round, basis: t.basis.slice(0, 4000) }
-                : f;
+            if (f.status === 'open' && t)
+                return { ...f, status: t.status, changedIn: round, basis: t.basis.slice(0, 4000) };
+            // Повторно найденная закрытая/снятая находка открывается снова, а не
+            // теряется как дубликат по ID.
+            if (f.status !== 'open' && reported.some((r) => r.id === f.id))
+                return { ...f, status: 'open', changedIn: round, basis: 'найдена снова' };
+            return f;
         }),
-        ...(parsed.success ? parsed.data.findings : [])
-            .map((f) => ({ ...f, id: findingId(subject, f) }))
+        ...reported
             .filter((f) => !lastFindings.some((p) => p.id === f.id))
             .map((f) => ({
             id: f.id,
@@ -157,11 +166,14 @@ export async function technicalReview(engine, policy, adapters, input) {
     };
     // Сохраняемые представления маскируются полным окружением вызова: сырой
     // структурированный ответ адаптера может нести значение секрета профиля.
-    await writeFile(record.artifact, JSON.stringify(redactDeep({
-        response: parsed.success ? parsed.data : null,
-        issues,
-        inspection: response.inspection ?? null,
-    }, execution.redact), null, 2));
+    const artifact = redactDeep({ response: parsed.success ? parsed.data : null, issues, inspection: null }, execution.redact);
+    // Inspection маскируется по полям: служебные значения не текст reviewer.
+    await writeFile(record.artifact, JSON.stringify({
+        ...artifact,
+        inspection: response.inspection
+            ? redactInspection(response.inspection, execution.redact)
+            : null,
+    }, null, 2));
     // Снимок, который видел reviewer, хранится по digest: согласование этого
     // раунда делает его действующим контекстом графа.
     if (context && contextKey)

package/lib/engine/budget.d.ts

@@ -47,7 +47,7 @@ export declare function scopeRecords(c: BudgetContext, view: ExecutionView, reco
     model: string | null;
     runtimeVersion: string | null;
     startedAt: string;
-    outcome: "error" | "active" | "returned" | "abandoned";
+    outcome: "error" | "active" | "abandoned" | "returned";
     promptBytes: number;
     promptDigest: string;
     usage: {
@@ -133,7 +133,7 @@ export declare function workBudgets(c: BudgetContext, view: ExecutionView, workI
     model: string | null;
     runtimeVersion: string | null;
     startedAt: string;
-    outcome: "error" | "active" | "returned" | "abandoned";
+    outcome: "error" | "active" | "abandoned" | "returned";
     promptBytes: number;
     promptDigest: string;
     usage: {
@@ -227,7 +227,7 @@ export declare function callBudgets(c: BudgetContext, view: ExecutionView, meta:
     model: string | null;
     runtimeVersion: string | null;
     startedAt: string;
-    outcome: "error" | "active" | "returned" | "abandoned";
+    outcome: "error" | "active" | "abandoned" | "returned";
     promptBytes: number;
     promptDigest: string;
     usage: {

package/lib/engine/classify.js

@@ -10,6 +10,7 @@ export const providerRefusal = (message) => /credit balance|insufficient credit|
 const byCode = {
     GATE_FAILED: 'gate',
     REVIEW_REJECTED: 'review',
+    REVIEW_PROTOCOL_INVALID: 'review-protocol',
     SCOPE_VIOLATION: 'scope-violation',
     BUDGET_EXHAUSTED: 'budget',
 };

package/lib/engine/engine.d.ts

@@ -251,7 +251,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" | "merge" | "budget")[] | undefined;
+            pauseFailures?: ("gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget")[] | undefined;
             waits?: {
                 kind: "base-check" | "context-lock";
                 detail: string;
@@ -287,7 +287,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" | "merge" | "budget")[] | undefined;
+            pauseFailures?: ("gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget")[] | undefined;
             waits?: {
                 kind: "base-check" | "context-lock";
                 detail: string;
@@ -317,7 +317,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" | "merge" | "budget")[] | undefined;
+        pauseFailures?: ("gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget")[] | undefined;
         waits?: {
             kind: "base-check" | "context-lock";
             detail: string;
@@ -492,20 +492,70 @@ export declare class Engine {
         consumer?: string | undefined;
         inspection?: {
             mode: "commands" | "diff-only";
-            source: "codex-events" | "unavailable";
+            source: "codex-events" | "unavailable" | "controller-probes" | "runtime-and-controller";
             commands: {
                 command: string;
-                exitCode: number;
+                exitCode: number | null;
                 output: string;
+                origins?: ({
+                    type: "runtime";
+                    runtime: string;
+                    item: string | null;
+                } | {
+                    type: "controller";
+                    runId: string;
+                })[] | undefined;
+                status?: "error" | "passed" | "failed" | "cancelled" | "completed" | "timeout" | undefined;
+                failure?: "report" | "environment" | undefined;
+                gate?: string | undefined;
+                note?: string | undefined;
             }[];
             reason: string | null;
+            context?: {
+                attempt: string;
+                phase: "candidate" | "integration";
+                sha: string;
+                call: number;
+            } | undefined;
+            total?: number | undefined;
+            excluded?: {
+                runId: string;
+                status: string | null;
+                reason: "not-started" | "legacy-unconfirmed" | "foreign-scope" | "unknown-status" | "unfinished" | "abandoned";
+            }[] | undefined;
+            excludedTotal?: number | undefined;
+            invalid?: number | undefined;
         } | undefined;
         findings?: {
             severity: string;
             message: string;
             path?: string | null | undefined;
             line?: number | null | undefined;
+            id?: string | undefined;
+            status?: "open" | "closed" | "withdrawn" | undefined;
         }[] | undefined;
+        reviewRound?: {
+            version: 1;
+            scope: string;
+            round: number;
+            call: number;
+            calls: number;
+            protocol: "valid" | "invalid" | "unsafe";
+            expected: string[];
+            issues?: {
+                path: string;
+                reason: "unknown" | "missing" | "schema" | "duplicate" | "not-open" | "approved-with-blocking";
+                message: string;
+            }[] | undefined;
+            transitions?: {
+                id: string;
+                from: "open" | "closed" | "withdrawn";
+                to: "open" | "closed" | "withdrawn";
+                basis: string;
+            }[] | undefined;
+            spec?: string | undefined;
+            mode?: "legacy" | "strict" | undefined;
+        } | undefined;
         tests?: {
             id: string;
             status: "passed" | "failed" | "skipped";
@@ -596,12 +646,12 @@ export declare class Engine {
     }): {
         recovery?: {
             id: string;
-            status: "stopped" | "closed" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
+            status: "closed" | "stopped" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
         } | undefined;
         properties?: string[] | undefined;
         workId: string;
         runId: string;
-        kind: "gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "merge" | "budget";
+        kind: "gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget";
         blocked: boolean;
     };
     private recoveryEvent;
@@ -619,7 +669,7 @@ export declare class Engine {
         basis: string;
         runs: string[];
         openedAt: string;
-        status: "stopped" | "closed" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
+        status: "closed" | "stopped" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
         calls: number;
         history: {
             at: string;
@@ -660,7 +710,7 @@ export declare class Engine {
         basis: string;
         runs: string[];
         openedAt: string;
-        status: "stopped" | "closed" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
+        status: "closed" | "stopped" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
         calls: number;
         history: {
             at: string;
@@ -700,7 +750,7 @@ export declare class Engine {
         basis: string;
         runs: string[];
         openedAt: string;
-        status: "stopped" | "closed" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
+        status: "closed" | "stopped" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
         calls: number;
         history: {
             at: string;
@@ -737,7 +787,7 @@ export declare class Engine {
         basis: string;
         runs: string[];
         openedAt: string;
-        status: "stopped" | "closed" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
+        status: "closed" | "stopped" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
         calls: number;
         history: {
             at: string;
@@ -1240,7 +1290,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" | "merge" | "budget" | undefined;
+            failureKind?: "gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget" | undefined;
             failureFingerprint?: string | undefined;
             approvedAt?: string | undefined;
             approvedDigest?: string | undefined;
@@ -1274,7 +1324,7 @@ export declare class Engine {
                 basis: string;
                 runs: string[];
                 openedAt: string;
-                status: "stopped" | "closed" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
+                status: "closed" | "stopped" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
                 calls: number;
                 history: {
                     at: string;
@@ -1310,7 +1360,7 @@ export declare class Engine {
                 basis: string;
                 runs: string[];
                 openedAt: string;
-                status: "stopped" | "closed" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
+                status: "closed" | "stopped" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
                 calls: number;
                 history: {
                     at: string;
@@ -1397,7 +1447,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" | "merge" | "budget" | undefined;
+            failureKind?: "gate" | "unknown" | "review" | "environment" | "cancelled" | "timeout" | "provider-auth" | "stale-base" | "empty-result" | "scope-violation" | "review-protocol" | "merge" | "budget" | undefined;
             failureFingerprint?: string | undefined;
             approvedAt?: string | undefined;
             approvedDigest?: string | undefined;
@@ -1431,7 +1481,7 @@ export declare class Engine {
                 basis: string;
                 runs: string[];
                 openedAt: string;
-                status: "stopped" | "closed" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
+                status: "closed" | "stopped" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
                 calls: number;
                 history: {
                     at: string;
@@ -1467,7 +1517,7 @@ export declare class Engine {
                 basis: string;
                 runs: string[];
                 openedAt: string;
-                status: "stopped" | "closed" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
+                status: "closed" | "stopped" | "awaiting-lead" | "analyzing" | "applying" | "retry" | "retrying" | "awaiting-user";
                 calls: number;
                 history: {
                     at: string;

package/lib/engine/prompt.d.ts

@@ -1,4 +1,4 @@
-import type { AttemptState, ContextSnapshot, WorkState } from '../contracts/index.ts';
+import type { AttemptState, CodeReviewHistory, ContextSnapshot, ProtocolIssue, WorkState } from '../contracts/index.ts';
 /** Предыдущие попытки поручения с находками ревью: исполнитель адресует каждую открытую. */
 export declare function previousAttempts(attempts: AttemptState[], current: string): {
     attempt: number;
@@ -13,9 +13,29 @@ export declare function previousAttempts(attempts: AttemptState[], current: stri
             message: string;
             path?: string | null | undefined;
             line?: number | null | undefined;
+            id?: string | undefined;
+            status?: "open" | "closed" | "withdrawn" | undefined;
         }[] | undefined;
     }[];
 }[];
+/** Строка-заголовок раздела открытых находок; JSON — следующей строкой (её читают fixtures). */
+export declare const OPEN_FINDINGS_HEADER = "Open review findings issued by the controller";
+export declare const CLOSED_FINDINGS_HEADER = "Closed or withdrawn review findings (history)";
+/**
+ * История находок ревью кода в запросе. Reviewer получает открытые находки с
+ * выданными ID, severity, origin и основанием, а закрытые — как историю;
+ * writer — открытые находки, которые нужно устранить.
+ */
+export declare function findingsText(history: CodeReviewHistory | undefined, review: boolean): string;
+/**
+ * Повтор reviewer после ошибки протокола: только структурированная
+ * диагностика прошлого ответа и требование полного валидного вердикта.
+ */
+export declare function protocolRetryText(retry: {
+    call: number;
+    calls: number;
+    issues: ProtocolIssue[];
+}): string;
 /** Закреплённый контекст: вложенные файлы — содержимым, справки — названием. */
 export declare function contextText(snapshot: ContextSnapshot | undefined): string;
 /** Запрос исполнителю или reviewer: исходные критерии, область, прежние находки, контекст. */
@@ -35,4 +55,12 @@ export declare function prompt(input: {
     };
     /** Обязательный корпус и решение разбора, под которым выдан повтор. */
     notes?: string[];
+    /** История находок ревью кода поручения (docs/review-protocol.md). */
+    findings?: CodeReviewHistory;
+    /** Повтор reviewer после ошибки протокола того же логического ревью. */
+    retry?: {
+        call: number;
+        calls: number;
+        issues: ProtocolIssue[];
+    };
 }): string;