devcontour-harness 0.0.0-stage → 0.1.0-alpha.6

package/lib/contracts/profiles.d.ts

@@ -0,0 +1,336 @@
+import { z } from 'zod';
+/**
+ * Профиль стека — переносимый файл, из которого собирается описание
+ * репозитория в политике: gates, подготовка, окружение, lifecycle,
+ * защищённые пути, роли и инструкции стека. Профиль только описывает:
+ * разрешение читает манифесты и не исполняет ни одной команды проекта.
+ *
+ * Форма файла совпадает с профилями, которые уже закреплены у потребителей
+ * (их digest — sha256 байтов файла), поэтому встроенные профили переносятся
+ * побайтно.
+ */
+export declare const PROFILE_FILE_LIMIT = 131072;
+export declare const PROFILE_FILES_LIMIT = 32;
+export declare const PROFILE_DEPTH_LIMIT = 16;
+/** Привязка runtime в профиле: кто пишет или проверяет у роли. */
+export declare const profileBindingSchema: z.ZodObject<{
+    runtime: z.ZodEnum<{
+        codex: "codex";
+        claude: "claude";
+    }>;
+    model: z.ZodOptional<z.ZodString>;
+    effort: z.ZodOptional<z.ZodEnum<{
+        low: "low";
+        medium: "medium";
+        high: "high";
+        xhigh: "xhigh";
+    }>>;
+    toolProfile: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+/** Роль, которую требует поверхность стека. `title` — подпись для людей, harness её не читает. */
+export declare const profileRoleSchema: z.ZodObject<{
+    runtime: z.ZodEnum<{
+        codex: "codex";
+        claude: "claude";
+    }>;
+    model: z.ZodOptional<z.ZodString>;
+    effort: z.ZodOptional<z.ZodEnum<{
+        low: "low";
+        medium: "medium";
+        high: "high";
+        xhigh: "xhigh";
+    }>>;
+    toolProfile: z.ZodOptional<z.ZodString>;
+    writePaths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    reviewer: z.ZodOptional<z.ZodObject<{
+        runtime: z.ZodEnum<{
+            codex: "codex";
+            claude: "claude";
+        }>;
+        model: z.ZodOptional<z.ZodString>;
+        effort: z.ZodOptional<z.ZodEnum<{
+            low: "low";
+            medium: "medium";
+            high: "high";
+            xhigh: "xhigh";
+        }>>;
+        toolProfile: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    title: z.ZodOptional<z.ZodString>;
+    requiresContract: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$strict>;
+/**
+ * Инструкции стека: файлы, которые хост закрепляет как контекст ролей
+ * (`files` — вкладываются в запрос, `references` — только называются).
+ * Harness их не читает и не копирует: закреплять их — дело ContextSource.
+ */
+export declare const profileContextPackSchema: z.ZodObject<{
+    id: z.ZodString;
+    version: z.ZodString;
+    repositoryId: z.ZodOptional<z.ZodString>;
+    roles: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    files: z.ZodArray<z.ZodString>;
+    references: z.ZodDefault<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+/** Gate в профиле: та же форма, что в политике; отсутствие JUnit у test gate называется явно. */
+export declare const profileGateSchema: z.ZodObject<{
+    id: z.ZodString;
+    kind: z.ZodEnum<{
+        check: "check";
+        test: "test";
+    }>;
+    command: z.ZodArray<z.ZodString>;
+    timeoutMs: z.ZodDefault<z.ZodNumber>;
+    report: z.ZodOptional<z.ZodObject<{
+        type: z.ZodLiteral<"junit">;
+        path: z.ZodString;
+    }, z.core.$strict>>;
+    property: z.ZodOptional<z.ZodObject<{
+        path: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    dependsOn: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    cwd: z.ZodOptional<z.ZodString>;
+    resources: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+export declare const stackProfileSchema: z.ZodObject<{
+    id: z.ZodString;
+    version: z.ZodString;
+    extends: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    capabilities: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    gates: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        kind: z.ZodEnum<{
+            check: "check";
+            test: "test";
+        }>;
+        command: z.ZodArray<z.ZodString>;
+        timeoutMs: z.ZodDefault<z.ZodNumber>;
+        report: z.ZodOptional<z.ZodObject<{
+            type: z.ZodLiteral<"junit">;
+            path: z.ZodString;
+        }, z.core.$strict>>;
+        property: z.ZodOptional<z.ZodObject<{
+            path: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        dependsOn: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        cwd: z.ZodOptional<z.ZodString>;
+        resources: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>>;
+    prepare: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        command: z.ZodArray<z.ZodString>;
+        timeoutMs: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strict>>>;
+    environment: z.ZodOptional<z.ZodObject<{
+        inherit: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        values: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        secrets: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+    }, z.core.$strict>>;
+    lifecycle: z.ZodOptional<z.ZodObject<{
+        setup: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            command: z.ZodArray<z.ZodString>;
+            timeoutMs: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strict>>>;
+        ready: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            command: z.ZodArray<z.ZodString>;
+            timeoutMs: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strict>>>;
+        teardown: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            command: z.ZodArray<z.ZodString>;
+            timeoutMs: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    toolchain: z.ZodOptional<z.ZodObject<{
+        tools: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        packageManagers: z.ZodDefault<z.ZodRecord<z.ZodUnion<readonly [z.ZodLiteral<".">, z.ZodString]>, z.ZodEnum<{
+            npm: "npm";
+            pnpm: "pnpm";
+        }>>>;
+    }, z.core.$strict>>;
+    protectedPaths: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    generatedPaths: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    concurrency: z.ZodOptional<z.ZodNumber>;
+    runTimeoutMs: z.ZodOptional<z.ZodNumber>;
+    roles: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+        runtime: z.ZodEnum<{
+            codex: "codex";
+            claude: "claude";
+        }>;
+        model: z.ZodOptional<z.ZodString>;
+        effort: z.ZodOptional<z.ZodEnum<{
+            low: "low";
+            medium: "medium";
+            high: "high";
+            xhigh: "xhigh";
+        }>>;
+        toolProfile: z.ZodOptional<z.ZodString>;
+        writePaths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        reviewer: z.ZodOptional<z.ZodObject<{
+            runtime: z.ZodEnum<{
+                codex: "codex";
+                claude: "claude";
+            }>;
+            model: z.ZodOptional<z.ZodString>;
+            effort: z.ZodOptional<z.ZodEnum<{
+                low: "low";
+                medium: "medium";
+                high: "high";
+                xhigh: "xhigh";
+            }>>;
+            toolProfile: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        title: z.ZodOptional<z.ZodString>;
+        requiresContract: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strict>>>;
+    contextPacks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        version: z.ZodString;
+        repositoryId: z.ZodOptional<z.ZodString>;
+        roles: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        files: z.ZodArray<z.ZodString>;
+        references: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export type StackProfile = z.infer<typeof stackProfileSchema>;
+export declare const profileSourceSchema: z.ZodObject<{
+    repositoryId: z.ZodString;
+    path: z.ZodString;
+}, z.core.$strict>;
+/** Закрепление профиля: digest — по байтам листа (один файл) или по замыканию слоёв. */
+export declare const profilePinSchema: z.ZodObject<{
+    id: z.ZodString;
+    version: z.ZodString;
+    digest: z.ZodString;
+    source: z.ZodOptional<z.ZodObject<{
+        repositoryId: z.ZodString;
+        path: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type ProfilePin = z.infer<typeof profilePinSchema>;
+/** Разрешённый профиль: слои сложены, gates упорядочены и проверены. */
+export declare const resolvedProfileSchema: z.ZodObject<{
+    id: z.ZodString;
+    version: z.ZodString;
+    digest: z.ZodString;
+    capabilities: z.ZodArray<z.ZodString>;
+    gates: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"test">;
+        report: z.ZodObject<{
+            type: z.ZodLiteral<"junit">;
+            path: z.ZodString;
+        }, z.core.$strict>;
+        id: z.ZodString;
+        command: z.ZodArray<z.ZodString>;
+        timeoutMs: z.ZodDefault<z.ZodNumber>;
+        property: z.ZodOptional<z.ZodObject<{
+            path: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        dependsOn: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        cwd: z.ZodOptional<z.ZodString>;
+        resources: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"check">;
+        report: z.ZodOptional<z.ZodObject<{
+            type: z.ZodLiteral<"junit">;
+            path: z.ZodString;
+        }, z.core.$strict>>;
+        id: z.ZodString;
+        command: z.ZodArray<z.ZodString>;
+        timeoutMs: z.ZodDefault<z.ZodNumber>;
+        property: z.ZodOptional<z.ZodObject<{
+            path: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        dependsOn: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        cwd: z.ZodOptional<z.ZodString>;
+        resources: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>], "kind">>;
+    prepare: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        command: z.ZodArray<z.ZodString>;
+        timeoutMs: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strict>>;
+    environment: z.ZodOptional<z.ZodObject<{
+        inherit: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        values: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        secrets: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+    }, z.core.$strict>>;
+    lifecycle: z.ZodOptional<z.ZodObject<{
+        setup: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            command: z.ZodArray<z.ZodString>;
+            timeoutMs: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strict>>>;
+        ready: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            command: z.ZodArray<z.ZodString>;
+            timeoutMs: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strict>>>;
+        teardown: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            command: z.ZodArray<z.ZodString>;
+            timeoutMs: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    toolchain: z.ZodOptional<z.ZodObject<{
+        tools: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        packageManagers: z.ZodDefault<z.ZodRecord<z.ZodUnion<readonly [z.ZodLiteral<".">, z.ZodString]>, z.ZodEnum<{
+            npm: "npm";
+            pnpm: "pnpm";
+        }>>>;
+    }, z.core.$strict>>;
+    protectedPaths: z.ZodArray<z.ZodString>;
+    generatedPaths: z.ZodArray<z.ZodString>;
+    concurrency: z.ZodOptional<z.ZodNumber>;
+    runTimeoutMs: z.ZodOptional<z.ZodNumber>;
+    roles: z.ZodRecord<z.ZodString, z.ZodObject<{
+        runtime: z.ZodEnum<{
+            codex: "codex";
+            claude: "claude";
+        }>;
+        model: z.ZodOptional<z.ZodString>;
+        effort: z.ZodOptional<z.ZodEnum<{
+            low: "low";
+            medium: "medium";
+            high: "high";
+            xhigh: "xhigh";
+        }>>;
+        toolProfile: z.ZodOptional<z.ZodString>;
+        writePaths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        reviewer: z.ZodOptional<z.ZodObject<{
+            runtime: z.ZodEnum<{
+                codex: "codex";
+                claude: "claude";
+            }>;
+            model: z.ZodOptional<z.ZodString>;
+            effort: z.ZodOptional<z.ZodEnum<{
+                low: "low";
+                medium: "medium";
+                high: "high";
+                xhigh: "xhigh";
+            }>>;
+            toolProfile: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        title: z.ZodOptional<z.ZodString>;
+        requiresContract: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strict>>;
+    contextPacks: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        version: z.ZodString;
+        repositoryId: z.ZodOptional<z.ZodString>;
+        roles: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        files: z.ZodArray<z.ZodString>;
+        references: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>;
+    source: z.ZodOptional<z.ZodObject<{
+        repositoryId: z.ZodString;
+        path: z.ZodString;
+    }, z.core.$strict>>;
+    closure: z.ZodArray<z.ZodObject<{
+        ref: z.ZodString;
+        digest: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type ResolvedProfile = z.infer<typeof resolvedProfileSchema>;

package/lib/contracts/profiles.js

@@ -0,0 +1,109 @@
+import { z } from 'zod';
+import { idSchema, relativePathSchema, roleIdSchema } from "./primitives.js";
+import { environmentSchema, gateSchema, lifecycleSchema, stepSchema } from "./policy.js";
+import { toolchainSchema } from "./toolchain.js";
+/**
+ * Профиль стека — переносимый файл, из которого собирается описание
+ * репозитория в политике: gates, подготовка, окружение, lifecycle,
+ * защищённые пути, роли и инструкции стека. Профиль только описывает:
+ * разрешение читает манифесты и не исполняет ни одной команды проекта.
+ *
+ * Форма файла совпадает с профилями, которые уже закреплены у потребителей
+ * (их digest — sha256 байтов файла), поэтому встроенные профили переносятся
+ * побайтно.
+ */
+export const PROFILE_FILE_LIMIT = 131072;
+export const PROFILE_FILES_LIMIT = 32;
+export const PROFILE_DEPTH_LIMIT = 16;
+const profileVersionSchema = z.string().regex(/^\d+\.\d+\.\d+(?:-[A-Za-z0-9.-]+)?$/);
+const profileRuntimeSchema = z.enum(['codex', 'claude']);
+/** Привязка runtime в профиле: кто пишет или проверяет у роли. */
+export const profileBindingSchema = z.strictObject({
+    runtime: profileRuntimeSchema,
+    model: z.string().min(1).max(200).optional(),
+    effort: z.enum(['low', 'medium', 'high', 'xhigh']).optional(),
+    toolProfile: idSchema.optional(),
+});
+/** Роль, которую требует поверхность стека. `title` — подпись для людей, harness её не читает. */
+export const profileRoleSchema = profileBindingSchema.extend({
+    writePaths: z.array(relativePathSchema).min(1).optional(),
+    reviewer: profileBindingSchema.optional(),
+    title: z.string().trim().min(2).max(40).optional(),
+    requiresContract: z.boolean().optional(),
+});
+/**
+ * Инструкции стека: файлы, которые хост закрепляет как контекст ролей
+ * (`files` — вкладываются в запрос, `references` — только называются).
+ * Harness их не читает и не копирует: закреплять их — дело ContextSource.
+ */
+export const profileContextPackSchema = z.strictObject({
+    id: idSchema,
+    version: z.string().min(1).max(80),
+    repositoryId: idSchema.optional(),
+    roles: z.array(roleIdSchema).default([]),
+    files: z.array(relativePathSchema).min(1).max(30),
+    references: z.array(relativePathSchema).max(60).default([]),
+});
+/** Gate в профиле: та же форма, что в политике; отсутствие JUnit у test gate называется явно. */
+export const profileGateSchema = z.strictObject({
+    id: idSchema,
+    kind: z.enum(['check', 'test']),
+    command: z.array(z.string().min(1)).min(1),
+    timeoutMs: z.number().positive().default(120000),
+    report: z.strictObject({ type: z.literal('junit'), path: relativePathSchema }).optional(),
+    property: z.strictObject({ path: relativePathSchema.optional() }).optional(),
+    dependsOn: z.array(idSchema).optional(),
+    cwd: relativePathSchema.optional(),
+    resources: z.array(idSchema).optional(),
+});
+export const stackProfileSchema = z.strictObject({
+    id: idSchema,
+    version: profileVersionSchema,
+    /** Встроенный ID или относительный `./file.json` внутри репозитория. */
+    extends: z.array(z.string().min(1)).max(PROFILE_DEPTH_LIMIT).default([]),
+    capabilities: z.array(z.string().min(1).max(100)).max(100).default([]),
+    gates: z.array(profileGateSchema).max(100).default([]),
+    prepare: z.array(stepSchema).max(100).default([]),
+    environment: environmentSchema.optional(),
+    lifecycle: lifecycleSchema.optional(),
+    /** Версии инструментов и выбор менеджера пакетов; слои объединяются без противоречий. */
+    toolchain: toolchainSchema.optional(),
+    protectedPaths: z.array(relativePathSchema).max(100).default([]),
+    generatedPaths: z.array(relativePathSchema).max(100).default([]),
+    concurrency: z.number().int().min(1).max(4).optional(),
+    /** Сколько времени стек отводит одной попытке; слои берут наибольший предел. */
+    runTimeoutMs: z.number().int().min(60_000).max(7_200_000).optional(),
+    roles: z.record(roleIdSchema, profileRoleSchema).default({}),
+    contextPacks: z.array(profileContextPackSchema).max(50).default([]),
+});
+export const profileSourceSchema = z.strictObject({
+    repositoryId: idSchema,
+    path: relativePathSchema,
+});
+/** Закрепление профиля: digest — по байтам листа (один файл) или по замыканию слоёв. */
+export const profilePinSchema = z.strictObject({
+    id: idSchema,
+    version: profileVersionSchema,
+    digest: z.string().regex(/^[a-f0-9]{64}$/),
+    source: profileSourceSchema.optional(),
+});
+/** Разрешённый профиль: слои сложены, gates упорядочены и проверены. */
+export const resolvedProfileSchema = z.strictObject({
+    id: idSchema,
+    version: profileVersionSchema,
+    digest: z.string().regex(/^[a-f0-9]{64}$/),
+    capabilities: z.array(z.string()),
+    gates: z.array(gateSchema),
+    prepare: z.array(stepSchema),
+    environment: environmentSchema.optional(),
+    lifecycle: lifecycleSchema.optional(),
+    toolchain: toolchainSchema.optional(),
+    protectedPaths: z.array(relativePathSchema),
+    generatedPaths: z.array(relativePathSchema),
+    concurrency: z.number().int().optional(),
+    runTimeoutMs: z.number().int().optional(),
+    roles: z.record(roleIdSchema, profileRoleSchema),
+    contextPacks: z.array(profileContextPackSchema),
+    source: profileSourceSchema.optional(),
+    closure: z.array(z.strictObject({ ref: z.string(), digest: z.string().regex(/^[a-f0-9]{64}$/) })),
+});