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

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/verification/acceptance.js

@@ -20,7 +20,8 @@ export function propertyGates(order, contracts) {
         const found = obligationOf(contracts, id);
         if (!found)
             return { problem: `свойство ${id} не объявлено в договорах поручения` };
-        byGate.set(found.gate, [...(byGate.get(found.gate) ?? []), id]);
+        for (const gate of found.gates)
+            byGate.set(gate, [...(byGate.get(gate) ?? []), id]);
     }
     return { byGate };
 }

package/lib/verification/checks.d.ts

@@ -8,9 +8,30 @@ import type { CheckManifest } from './property.ts';
 export declare function contractDocuments(order: Pick<WorkOrder, 'contracts'>, view: ExecutionView): ContractDocument[];
 type Declared = {
     contract: ContractDocument;
+    /** Первый gate обязательства (у обязательства без `gates` — gate договора). */
     gate: string;
+    gates: string[];
     obligation: Obligation;
 };
+/** Gates обязательства: свои `gates` или gate договора. */
+export declare function obligationGates(declaration: Pick<CheckDeclaration, 'gate'>, o: Obligation): string[];
+/** Обязательство проверяется закреплёнными эталонными наборами. */
+export declare const isReference: (o: Obligation) => boolean;
+/**
+ * Файлы эталонных наборов договоров поручения (в репозитории `repositoryId`).
+ * Ответы наборов лежат в рабочем дереве: реализация, которая читает их или
+ * повторяет их ответы, прошла бы каждый набор, ничего не решив.
+ */
+export declare function referenceSetFiles(contracts: ContractDocument[], repositoryId?: string): string[];
+/**
+ * Какой файл набора называет изменённый файл: имя файла набора (и, значит,
+ * его путь) целым токеном внутри строкового литерала. Комментарии и файлы без кода не
+ * считаются — упоминание набора в них ничего не читает. Имя, собранное во
+ * время исполнения, так не видно: это остаётся ревью кода.
+ */
+export declare function setFileReference(path: string, text: string, sets: string[]): string | undefined;
+/** Подсказка writer или reviewer кода о файлах эталонных наборов; пусто — их нет. */
+export declare function referenceCodeNote(files: string[], review: boolean): string;
 /** Основание случаев корпуса: закреплённые файлы, gate и смысл обязательств. */
 export declare function suiteBasis(contract: ContractDocument): string;
 /**
@@ -38,6 +59,13 @@ export declare function declarationProblems(declaration: CheckDeclaration, conte
         digest: string;
     } | undefined;
 }): string[];
+/**
+ * Подсказка reviewer контракта об эталонных обязательствах: что наборы
+ * доказывают, чего — нет (`gaps`), чем сверен эталон. Пустая строка — таких
+ * обязательств нет. Reviewer видит пределы способа рядом с самим договором,
+ * а не выводит их из длинного описания.
+ */
+export declare function referenceNote(declaration: CheckDeclaration | undefined): string;
 /**
  * Свойства, объявленные поручением, существуют в его договорах и исполняются
  * его генеративными gates. Поручение без `properties` — прежний уровень.