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

package/examples/turbo-starter/setup.mjs

@@ -34,7 +34,7 @@ import {
   writeFileSync,
 } from 'node:fs';
 import { tmpdir } from 'node:os';
-import { dirname, join, relative, resolve } from 'node:path';
+import { dirname, isAbsolute, join, relative, resolve, sep } from 'node:path';
 import { fileURLToPath } from 'node:url';
 import { parseArgs } from 'node:util';
 
@@ -257,10 +257,17 @@ export function changeFiles(fixture, patch) {
  */
 export function controllerContext(fixture, dir) {
   const target = join(dir, 'controller-mode');
+  // Пересборка начинается с пустого каталога: справки удалённых AGENTS.md не
+  // остаются, а закоммиченный пакет и .harness/ не попадают в свои же справки.
+  rmSync(target, { recursive: true, force: true });
   mkdirSync(join(target, 'references'), { recursive: true });
   const overlay = readFileSync(join(CONTROLLER_TEMPLATE, 'AGENTS.controller.md'));
   writeFileSync(join(target, 'AGENTS.controller.md'), overlay);
-  const product = git(fixture.repo, ['ls-files', '--', 'AGENTS.md', '**/AGENTS.md'])
+  const inside = relative(fixture.repo, resolve(target));
+  const exclude = [':(exclude).harness/**'];
+  if (inside && !inside.startsWith('..') && !isAbsolute(inside))
+    exclude.push(`:(exclude)${inside.split(sep).join('/')}/**`);
+  const product = git(fixture.repo, ['ls-files', '--', 'AGENTS.md', '**/AGENTS.md', ...exclude])
     .split('\n')
     .filter(Boolean);
   const references = product.map((path) => {

package/lib/connectors/files.js

@@ -71,6 +71,8 @@ export class FileContextSource {
         const base = realpathSync(this.dir);
         const sources = [...new Set(ids)].map((id) => {
             const root = resolve(base, id);
+            if (root.startsWith(base + sep) && existsSync(root) && lstatSync(root).isSymbolicLink())
+                throw new HarnessError('INVALID_INPUT', `Контекст не читается через symlink: ${id}`);
             if (!root.startsWith(base + sep) || !existsSync(root) || !lstatSync(root).isDirectory())
                 throw new HarnessError('NOT_READY', `Источник контекста ${id} не найден в ${this.dir}`);
             const pin = (path) => {

package/lib/contracts/checks.d.ts

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

package/lib/contracts/checks.js

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

package/lib/contracts/execution.d.ts

@@ -2289,6 +2289,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;

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;

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;

package/lib/engine/runner.js

@@ -19,11 +19,11 @@ import { REQUIREMENT_GATE, assertRequirements } from "../verification/requiremen
 import { BlockedError, classifyFailure } from "./classify.js";
 import { TaskFailure } from "./failure.js";
 import { prompt } from "./prompt.js";
-import { contractDocuments, orderCheckManifest } from "../verification/checks.js";
+import { contractDocuments, orderCheckManifest, referenceCodeNote, referenceSetFiles, setFileReference, } from "../verification/checks.js";
 import { CorpusStore, localRoots } from "../verification/corpus.js";
 import { submitCase } from "../verification/confirm.js";
 import { runSpike } from "../verification/spike.js";
-import { propertySeed } from "../verification/property.js";
+import { expectsReference, propertySeed } from "../verification/property.js";
 import { selfCheckNote, writeSelfCheck } from "../verification/self-check.js";
 import { measuredInvoke } from "./measured.js";
 import { continuableDraft, implementationBasis } from "./reuse.js";
@@ -491,6 +491,24 @@ export class Runner {
         const forbidden = changed.filter((p) => within(p, protectedList));
         if (forbidden.length)
             throw new TaskFailure('scope-violation', `Изменены защищённые файлы: ${forbidden.join(', ')}`);
+        // Ответы эталонных наборов лежат в рабочем дереве: изменённый код,
+        // который называет файл набора строковым литералом, читает эталон, а не
+        // решает. Тесты исполнителя (не артефакты контракта) проверяются так же:
+        // через них ответы тоже можно подать реализации.
+        const sets = this.engine.read((v) => referenceSetFiles(contractDocuments(work.order, v), repo.id));
+        if (sets.length) {
+            const named = [];
+            for (const path of changed) {
+                const text = await git(cwd, 'show', `${range ? range[1] : ''}:${path}`).catch(() => '');
+                if (text.length > 4 * 1024 * 1024)
+                    continue;
+                const hit = setFileReference(path, text, sets);
+                if (hit)
+                    named.push(`${path} → ${hit}`);
+            }
+            if (named.length)
+                throw new TaskFailure('scope-violation', `Реализация ссылается на файлы эталонных наборов: ${named.join(', ')}`);
+        }
         if (!changed.length)
             throw new TaskFailure('empty-result', 'Изменений нет: поручение отчиталось о выполнении пустым коммитом');
         const role = roleBinding(this.policy, work.order.role, work.order.repositoryId)?.writePaths;
@@ -990,6 +1008,10 @@ export class Runner {
         await this.timed(attempt, stage, () => this.runOneGate(attempt, cwd, sha, phase, gate, artifacts, signal, execution, consumer));
     }
     async runOneGate(attempt, cwd, sha, phase, gate, artifacts, signal, execution, consumer) {
+        // Генеративный gate — всегда; gate эталонных наборов — когда манифест
+        // поручения ждёт от него отчёта (без договора — прежний уровень).
+        const run = this.propertyRun(attempt, gate, consumer);
+        const property = gate.property || expectsReference(run.expected) ? run : undefined;
         await runGate({
             policy: this.policy,
             record: (e) => this.engine.evidence(attempt.id, attempt.token, e),
@@ -1004,7 +1026,7 @@ export class Runner {
             execution,
             boundary: this.boundary(consumer?.dependencies ?? attempt.dependencies),
             ...(consumer ? { consumer: consumer.repositoryId } : {}),
-            ...(gate.property ? { property: this.propertyRun(attempt, gate, consumer) } : {}),
+            ...(property ? { property } : {}),
         });
     }
     /**
@@ -1602,6 +1624,9 @@ export class Runner {
                     }))));
             // Согласованные контракты поручения — их текстом, по закреплённому digest.
             const contracts = contractDocuments(v.work(attempt.workId).order, v);
+            const sets = referenceCodeNote(referenceSetFiles(contracts), review);
+            if (sets)
+                out.push(sets);
             if (contracts.length)
                 out.push('Approved contracts: ' +
                     JSON.stringify(contracts.map((c) => ({ id: c.id, title: c.title, content: c.content }))));

package/lib/index.d.ts

@@ -31,8 +31,8 @@ export { callDurationMs, callRecords, usageTotals } from './engine/usage.ts';
  * ожидаемая проверка поручения, сверка отчёта свойств, закреплённые версии
  * корпуса, подтверждение примера эталоном и переносимая форма корпуса.
  */
-export { contractDocuments, declarationProblems, corpusBindingHolds, effectiveChecks, orderCheckManifest, orderPropertyProblems, suiteBasis, } from './verification/checks.ts';
-export { corpusWitness, manifestDigest, propertyCoverage, propertyFailure, propertySeed, readPropertyReport, type CheckManifest, } from './verification/property.ts';
+export { contractDocuments, declarationProblems, corpusBindingHolds, effectiveChecks, isReference, obligationGates, orderCheckManifest, orderPropertyProblems, referenceCodeNote, referenceNote, referenceSetFiles, setFileReference, suiteBasis, } from './verification/checks.ts';
+export { corpusWitness, expectsReference, manifestDigest, propertyCoverage, propertyFailure, propertySeed, readPropertyReport, type CheckManifest, } from './verification/property.ts';
 export { CorpusStore, canonicalJson, caseId, corpusFile, parseCanonical, versionOf, portableSuite, scrubLocalPaths, scrubPortable, verifySuite, type PortableSuite, } from './verification/corpus.ts';
 export { caseHooks, caseInputSchema, staleArtifacts, submitCase, type CaseRequest, type ConfirmContext, } from './verification/confirm.ts';
 export { assertResult, pinnedCorpus, propertyProofProblem, resultProblems, type ReceiverContext, type ReceiverPolicy, } from './verification/acceptance.ts';

package/lib/index.js

@@ -31,8 +31,8 @@ export { callDurationMs, callRecords, usageTotals } from "./engine/usage.js";
  * ожидаемая проверка поручения, сверка отчёта свойств, закреплённые версии
  * корпуса, подтверждение примера эталоном и переносимая форма корпуса.
  */
-export { contractDocuments, declarationProblems, corpusBindingHolds, effectiveChecks, orderCheckManifest, orderPropertyProblems, suiteBasis, } from "./verification/checks.js";
-export { corpusWitness, manifestDigest, propertyCoverage, propertyFailure, propertySeed, readPropertyReport, } from "./verification/property.js";
+export { contractDocuments, declarationProblems, corpusBindingHolds, effectiveChecks, isReference, obligationGates, orderCheckManifest, orderPropertyProblems, referenceCodeNote, referenceNote, referenceSetFiles, setFileReference, suiteBasis, } from "./verification/checks.js";
+export { corpusWitness, expectsReference, manifestDigest, propertyCoverage, propertyFailure, propertySeed, readPropertyReport, } from "./verification/property.js";
 export { CorpusStore, canonicalJson, caseId, corpusFile, parseCanonical, versionOf, portableSuite, scrubLocalPaths, scrubPortable, verifySuite, } from "./verification/corpus.js";
 export { caseHooks, caseInputSchema, staleArtifacts, submitCase, } from "./verification/confirm.js";
 export { assertResult, pinnedCorpus, propertyProofProblem, resultProblems, } from "./verification/acceptance.js";

package/lib/integrations/connector/commands.d.ts

@@ -63,6 +63,7 @@ export declare class Connector {
             requiredDocuments: string[];
             repositoryId?: string | undefined;
             gates?: string[] | undefined;
+            context?: string[] | undefined;
         }[];
         completion: {
             mode: "complete" | "review-only";
@@ -85,6 +86,7 @@ export declare class Connector {
             client: string;
         };
         stateDir?: string | undefined;
+        contextDir?: string | undefined;
     } | {
         provider: "relay-v2-cli";
         relay: Record<string, unknown> & {
@@ -115,6 +117,7 @@ export declare class Connector {
             requiredDocuments: string[];
             repositoryId?: string | undefined;
             gates?: string[] | undefined;
+            context?: string[] | undefined;
         }[];
         completion: {
             mode: "complete" | "review-only";
@@ -137,7 +140,10 @@ export declare class Connector {
             client: string;
         };
         stateDir?: string | undefined;
+        contextDir?: string | undefined;
     };
+    /** Каталог пакетов `tasks[].context`: `contextDir` конфигурации, иначе `work/context` рядом с ней. */
+    get contextDir(): string;
     /** Состояние коннектора (создаётся при первой записи). */
     get store(): ConnectorStore;
     /** Только чтение: без создания файла; нет состояния — `undefined`. */
@@ -186,10 +192,6 @@ export declare class Connector {
      * semantic digest: повтор неизменной постановки ничего не меняет.
      */
     snapshot(outDir?: string): Promise<{
-        connector: string;
-        graphId: string;
-        graphDigest: string;
-        contextDigest: string;
         revision: string;
         created: boolean;
         eligible: boolean;
@@ -209,6 +211,11 @@ export declare class Connector {
             manifest: string;
         };
         snapshot: import("./snapshot.ts").BuiltSnapshot;
+        localContext?: import("./snapshot.ts").LocalContextManifest[] | undefined;
+        connector: string;
+        graphId: string;
+        graphDigest: string;
+        contextDigest: string;
     }>;
     /**
      * Перед запуском — свежее чтение: semantic digest обязан совпасть с

package/lib/integrations/connector/commands.js

@@ -1,12 +1,12 @@
 import { existsSync, mkdirSync, writeFileSync } from 'node:fs';
 import { join, resolve } from 'node:path';
-import { HarnessError, } from "../../contracts/index.js";
+import { API_VERSION, HarnessError, } from "../../contracts/index.js";
 import { redactor } from "../../environment/redaction.js";
 import { connectorIdOf, loadConfig, orderIdOf, resolveFrom, storeFileOf, } from "./config.js";
 import { RelaySink } from "./delivery.js";
 import { HistoryRecorder } from "./history.js";
 import { createTransportFor } from "./registry.js";
-import { assertEligible, checkIdentity, matchCriterion, readStable, semanticDigest, } from "./snapshot.js";
+import { assertEligible, checkIdentity, contextLimitIssues, localContext, matchCriterion, readStable, semanticDigest, } from "./snapshot.js";
 import { RelayWorkSource } from "./source.js";
 import { redactingTransport, settingsSecrets } from "./redact.js";
 import { ConnectorStore } from "./store.js";
@@ -46,6 +46,10 @@ export class Connector {
     get config() {
         return this.loaded.config;
     }
+    /** Каталог пакетов `tasks[].context`: `contextDir` конфигурации, иначе `work/context` рядом с ней. */
+    get contextDir() {
+        return resolveFrom(this.loaded.baseDir, this.config.contextDir ?? 'work/context');
+    }
     /** Состояние коннектора (создаётся при первой записи). */
     get store() {
         this.storeInstance ??= new ConnectorStore(this.storeFile, { provider: this.config.provider, projectId: this.config.projectId }, this.options.onStoreWrite ? { onWrite: this.options.onStoreWrite } : {});
@@ -64,6 +68,7 @@ export class Connector {
             config: this.config,
             transport: this.transport,
             store: this.store,
+            contextDir: this.contextDir,
         });
     }
     get history() {
@@ -114,6 +119,14 @@ export class Connector {
             return this.checkReport(undefined, false, [message], []);
         }
         const mapping = [];
+        try {
+            const local = await localContext(config, this.contextDir);
+            if (local.length)
+                problems.push(...contextLimitIssues({ apiVersion: API_VERSION, sources: local, missing: [] }));
+        }
+        catch (error) {
+            problems.push(this.redact(error instanceof Error ? error.message : String(error)));
+        }
         try {
             const { reads } = await readStable(this.transport, config.tasks.map((t) => t.ref), config.limits.rereads);
             reads.forEach((read, i) => {
@@ -202,6 +215,7 @@ export class Connector {
             graphId: snapshot.graph.id,
             graphDigest: snapshot.manifest.graphDigest,
             contextDigest: snapshot.manifest.contextDigest,
+            ...(snapshot.manifest.localContext ? { localContext: snapshot.manifest.localContext } : {}),
             revision: snapshot.revision,
             created,
             eligible: snapshot.problems.length === 0,

package/lib/integrations/connector/config.d.ts

@@ -40,6 +40,7 @@ export declare const taskMappingSchema: z.ZodObject<{
         }>>;
     }, z.core.$strict>>>;
     requiredDocuments: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    context: z.ZodOptional<z.ZodArray<z.ZodString>>;
 }, z.core.$strict>;
 export type TaskMapping = z.infer<typeof taskMappingSchema>;
 export declare const connectorConfigSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -51,6 +52,7 @@ export declare const connectorConfigSchema: z.ZodDiscriminatedUnion<[z.ZodObject
     projectId: z.ZodString;
     actor: z.ZodString;
     stateDir: z.ZodOptional<z.ZodString>;
+    contextDir: z.ZodOptional<z.ZodString>;
     repository: z.ZodObject<{
         id: z.ZodString;
         path: z.ZodOptional<z.ZodString>;
@@ -72,6 +74,7 @@ export declare const connectorConfigSchema: z.ZodDiscriminatedUnion<[z.ZodObject
             }>>;
         }, z.core.$strict>>>;
         requiredDocuments: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        context: z.ZodOptional<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>>;
     completion: z.ZodDefault<z.ZodObject<{
         mode: z.ZodDefault<z.ZodEnum<{
@@ -122,6 +125,7 @@ export declare const connectorConfigSchema: z.ZodDiscriminatedUnion<[z.ZodObject
     projectId: z.ZodString;
     actor: z.ZodString;
     stateDir: z.ZodOptional<z.ZodString>;
+    contextDir: z.ZodOptional<z.ZodString>;
     repository: z.ZodObject<{
         id: z.ZodString;
         path: z.ZodOptional<z.ZodString>;
@@ -143,6 +147,7 @@ export declare const connectorConfigSchema: z.ZodDiscriminatedUnion<[z.ZodObject
             }>>;
         }, z.core.$strict>>>;
         requiredDocuments: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        context: z.ZodOptional<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>>;
     completion: z.ZodDefault<z.ZodObject<{
         mode: z.ZodDefault<z.ZodEnum<{