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

package/lib/contracts/cli.js

@@ -0,0 +1,664 @@
+import { z } from 'zod';
+import { API_VERSION, STATE_VERSION } from "./version.js";
+import { digestSchema, gitShaSchema, idSchema, isoTimeSchema, runtimeNameSchema, } from "./primitives.js";
+import { errorCodes } from "./errors.js";
+import { controlStateSchema, controllerLeaseSchema, workStatusSchema } from "./execution.js";
+import { runEventSchema } from "./events.js";
+import { deliveryStateSchema, resultEnvelopeSchema } from "./result.js";
+import { reviewRecordSchema } from "./review.js";
+import { sourceRefSchema } from "./work.js";
+import { profilePinSchema, resolvedProfileSchema } from "./profiles.js";
+import { toolchainReportSchema } from "./toolchain.js";
+const state = {
+    name: '--state',
+    value: 'dir',
+    required: true,
+    description: 'Каталог состояния исполнения',
+};
+const graph = {
+    name: '--graph',
+    value: 'path',
+    required: true,
+    description: 'WorkGraph JSON',
+};
+const policy = {
+    name: '--policy',
+    value: 'path',
+    required: true,
+    description: 'ExecutionPolicy JSON',
+};
+const context = {
+    name: '--context',
+    value: 'path',
+    required: false,
+    description: 'ContextSnapshot JSON; без него — файловый ContextSource каталога графа',
+};
+const author = {
+    name: '--author',
+    value: 'id',
+    required: true,
+    description: 'Автор предложения: codex, claude, fixture или external (человек/инструмент вне harness); по нему применяется правило вендора',
+};
+const work = {
+    name: '--work',
+    value: 'id',
+    required: true,
+    description: 'ID поручения',
+};
+const source = {
+    name: '--source',
+    value: 'path',
+    required: true,
+    description: 'Конфигурация коннектора задач (provider relay-v1-http | relay-v2-cli)',
+};
+export const cliCommands = {
+    validate: {
+        description: 'Проверить граф, политику, их связь и (если задан) снимок контекста без вызова моделей и записи состояния',
+        writes: false,
+        idempotency: 'Чистая функция входов',
+        args: [graph, policy, context],
+        refusals: [],
+    },
+    'review-plan': {
+        description: 'Техническое ревью плана (графа) с конкретным digest; новый раунд сохраняет историю находок предмета',
+        writes: true,
+        idempotency: 'Повтор с тем же digest и тем же автором, уже согласованный последним раундом, возвращает этот раунд без вызова модели; иначе — новый раунд в пределах maxAttempts. Автор, не допускаемый правилом вендора, — REVIEWER_SAME_VENDOR до вызова модели',
+        args: [
+            state,
+            graph,
+            policy,
+            context,
+            author,
+            {
+                name: '--source',
+                value: 'path',
+                required: false,
+                description: 'Конфигурация коннектора задач: внешние предпосылки графа допускаются по решению источника (trusts) и доступности SHA в target ref; без неё доверенных receipt нет',
+            },
+        ],
+        refusals: [
+            'REVIEW_REJECTED',
+            'ATTEMPTS_EXHAUSTED',
+            'BUDGET_EXHAUSTED',
+            'BUDGET_UNKNOWN',
+            'NOT_READY',
+        ],
+    },
+    'review-contract': {
+        description: 'Техническое ревью контракта с конкретным digest',
+        writes: true,
+        idempotency: 'Как review-plan, предмет — ID контракта',
+        args: [
+            state,
+            { name: '--contract', value: 'path', required: true, description: 'ContractDocument JSON' },
+            policy,
+            author,
+        ],
+        refusals: ['REVIEW_REJECTED', 'ATTEMPTS_EXHAUSTED', 'BUDGET_EXHAUSTED', 'BUDGET_UNKNOWN'],
+    },
+    approve: {
+        description: 'Согласование оператором (approvalMode: operator) конкретного digest графа или контракта, уже прошедшего ревью',
+        writes: true,
+        idempotency: 'Повтор для того же digest ничего не меняет',
+        args: [
+            state,
+            {
+                name: '--digest',
+                value: 'digest',
+                required: true,
+                description: 'Digest из ReviewRecord последнего раунда',
+            },
+            { name: '--subject', value: 'id', required: true, description: 'ID графа или контракта' },
+        ],
+        refusals: ['APPROVAL_STALE', 'APPROVAL_REQUIRED', 'REVIEW_REJECTED'],
+    },
+    run: {
+        description: 'Зарегистрировать согласованный граф (идемпотентно по connector, ref, revision, digest) и вести работу до простоя',
+        writes: true,
+        idempotency: 'Тот же граф той же редакции продолжает прежнюю работу; другой digest для той же редакции источника — REVISION_CONFLICT',
+        args: [
+            state,
+            { ...graph, required: false, description: 'WorkGraph JSON; не нужен с --source' },
+            policy,
+            context,
+            {
+                name: '--source',
+                value: 'path',
+                required: false,
+                description: 'Конфигурация коннектора (relay-v1-http | relay-v2-cli): перед запуском задачи перечитываются, semantic digest сверяется с закреплённым снимком и eligibility — до любого вызова runtime; результат доставляется в исходную задачу',
+            },
+            {
+                name: '--sink',
+                value: 'sink',
+                required: false,
+                description: 'Получатель результата, `file:<каталог>`',
+            },
+            {
+                name: '--once',
+                value: 'flag',
+                required: false,
+                description: 'Один шаг очереди вместо работы до простоя',
+            },
+            {
+                name: '--author',
+                value: 'id',
+                required: false,
+                description: 'Автор графа для ревью плана; по умолчанию external',
+            },
+        ],
+        refusals: [
+            'APPROVAL_REQUIRED',
+            'APPROVAL_STALE',
+            'PAUSED',
+            'CONTROLLER_BUSY',
+            'REVISION_CONFLICT',
+            'GATE_FAILED',
+            'REVIEW_REJECTED',
+            'SCOPE_VIOLATION',
+            'BUDGET_EXHAUSTED',
+            'BUDGET_UNKNOWN',
+            'ATTEMPTS_EXHAUSTED',
+        ],
+    },
+    status: {
+        description: 'Состояние очереди, графов и поручений с причинами блокировки',
+        writes: false,
+        idempotency: 'Только чтение',
+        args: [
+            state,
+            { name: '--graph', value: 'id', required: false, description: 'Только этот граф' },
+        ],
+        refusals: ['NOT_FOUND'],
+    },
+    events: {
+        description: 'События строго после номера, по возрастанию',
+        writes: false,
+        idempotency: 'Только чтение',
+        args: [
+            state,
+            { name: '--after', value: 'number', required: false, description: 'Номер, по умолчанию 0' },
+            { name: '--limit', value: 'number', required: false, description: '1–500, по умолчанию 100' },
+        ],
+        refusals: ['NOT_FOUND'],
+    },
+    pause: {
+        description: 'Пауза оператора: новые claims запрещены, активные попытки продолжаются',
+        writes: true,
+        idempotency: 'Повтор ничего не меняет',
+        args: [state],
+        refusals: ['NOT_FOUND'],
+    },
+    resume: {
+        description: 'Снять паузу — решение человека: паузу оператора, штатной остановки и отказа runtime (с её классами отказов); паузу операции reconfigure не снимает',
+        writes: true,
+        idempotency: 'Повтор без паузы ничего не меняет',
+        args: [state],
+        refusals: ['NOT_FOUND', 'PAUSED'],
+    },
+    cancel: {
+        description: 'Отменить поручение: активная попытка теряет владение, поручение становится cancelled; это не retry',
+        writes: true,
+        idempotency: 'Повтор для отменённого ничего не меняет',
+        args: [
+            state,
+            work,
+            { name: '--reason', value: 'text', required: false, description: 'Причина' },
+        ],
+        refusals: ['NOT_FOUND'],
+    },
+    retry: {
+        description: 'Новая попытка неуспешного (failed) поручения в пределах maxAttempts и бюджета; --reset сбрасывает счётчик попыток с причиной, учёт расходов не сбрасывается',
+        writes: true,
+        idempotency: 'Повтор для уже готового к выдаче поручения ничего не меняет',
+        args: [
+            state,
+            work,
+            {
+                name: '--reset',
+                value: 'flag',
+                required: false,
+                description: 'Сбросить счётчик попыток; требует --reason',
+            },
+            { name: '--reason', value: 'text', required: false, description: 'Причина сброса' },
+        ],
+        refusals: ['NOT_FOUND', 'ATTEMPTS_EXHAUSTED', 'BUDGET_EXHAUSTED', 'BUDGET_UNKNOWN'],
+    },
+    result: {
+        description: 'Машинный результат последней завершённой попытки поручения и состояние доставки',
+        writes: false,
+        idempotency: 'Только чтение',
+        args: [state, work],
+        refusals: ['NOT_FOUND'],
+    },
+    deliver: {
+        description: 'Повторить доставку результата получателю с тем же ключом; модели, gates и интеграция не вызываются',
+        writes: true,
+        idempotency: 'Доставленный результат повторно не доставляется',
+        args: [
+            state,
+            work,
+            {
+                name: '--sink',
+                value: 'sink',
+                required: true,
+                description: 'Получатель, `file:<каталог>`',
+            },
+        ],
+        refusals: ['NOT_FOUND', 'REVISION_CONFLICT'],
+    },
+    cleanup: {
+        description: 'Довести незавершённую очистку закончившейся попытки: повторить teardown по сохранённым receipt окружений и убрать её рабочие деревья; модели, gates и Git-приёмка не вызываются',
+        writes: true,
+        idempotency: 'Повтор после успешной очистки отвечает nothing-pending и ничего не меняет',
+        args: [
+            state,
+            { name: '--run', value: 'id', required: true, description: 'ID попытки (runId)' },
+        ],
+        refusals: ['NOT_FOUND', 'NOT_READY'],
+    },
+    profile: {
+        description: 'Разрешить профиль стека (встроенный ID или ./file.json репозитория): слои, gates, закрепление; только чтение манифестов, без команд проекта',
+        writes: false,
+        idempotency: 'Чистая функция файлов профиля',
+        args: [
+            {
+                name: '--profile',
+                value: 'text',
+                required: true,
+                description: 'Встроенный ID профиля или относительный ./file.json',
+            },
+            {
+                name: '--repository',
+                value: 'dir',
+                required: false,
+                description: 'Корень репозитория для локального профиля',
+            },
+        ],
+        refusals: [],
+    },
+    doctor: {
+        description: 'Версии, наличие runtime и их capabilities, OS-sandbox, совместимость каталога состояния; без live-вызова модели',
+        writes: false,
+        idempotency: 'Только чтение',
+        args: [
+            { ...state, required: false },
+            { ...policy, required: false },
+        ],
+        refusals: [],
+    },
+    'source-check': {
+        description: 'Коннектор задач: подключение, идентичность и capabilities backend, совпадение проекта, проверка mapping; без мутаций, записи истории и создания состояния',
+        writes: false,
+        idempotency: 'Только чтение получателя',
+        args: [
+            source,
+            { ...state, required: false },
+            {
+                ...policy,
+                required: false,
+                description: 'ExecutionPolicy JSON для сверки gates/ролей mapping',
+            },
+        ],
+        refusals: ['NOT_READY'],
+    },
+    'source-snapshot': {
+        description: 'Коннектор задач: согласованное чтение задач, предпросмотр и закрепление снимка (graph/context/manifest) для review-plan и approve',
+        writes: true,
+        idempotency: 'Неизменная постановка — тот же semantic digest, тот же граф и контекст; новых записей у получателя нет',
+        args: [
+            source,
+            state,
+            {
+                ...policy,
+                required: false,
+                description: 'ExecutionPolicy JSON: её секреты маскируются в диагностике',
+            },
+            {
+                name: '--out',
+                value: 'dir',
+                required: false,
+                description: 'Каталог graph.json, context.json, manifest.json',
+            },
+        ],
+        refusals: ['NOT_READY'],
+    },
+    'source-status': {
+        description: 'Коннектор задач: локально принято / доставлено / конфликт / неизвестный исход и независимое чтение получателя',
+        writes: false,
+        idempotency: 'Только чтение',
+        args: [source, state],
+        refusals: ['NOT_FOUND'],
+    },
+    'source-deliver': {
+        description: 'Коннектор задач: доставить или продолжить доставку принятых результатов с тем же ключом операции; модели, gates и Git не вызываются',
+        writes: true,
+        idempotency: 'Подтверждённая доставка не повторяется; неизвестный исход не отправляется повторно до source-reconcile',
+        args: [
+            source,
+            state,
+            { ...work, required: false, description: 'ID поручения; без него — все с результатом' },
+        ],
+        refusals: ['NOT_FOUND', 'CONTROLLER_BUSY', 'REVISION_CONFLICT'],
+    },
+    'source-reconcile': {
+        description: 'Коннектор задач: разобрать неизвестный исход или конфликт операции доставки по фактам получателя; неоднозначность — только явным решением',
+        writes: true,
+        idempotency: 'Разобранная операция не меняется; мутаций без решения и фактов нет',
+        args: [
+            source,
+            state,
+            {
+                name: '--operation',
+                value: 'digest',
+                required: true,
+                description: 'Ключ операции из source-status',
+            },
+            {
+                name: '--decision',
+                value: 'text',
+                required: false,
+                description: 'resend (записи у получателя нет), adopt:<id> (одна из нескольких записей с маркером), recheck (CAS-конфликт без изменения постановки)',
+            },
+        ],
+        refusals: ['NOT_FOUND', 'CONTROLLER_BUSY'],
+    },
+};
+/* ------------------------------------------------------------------ */
+/* Данные ответов                                                      */
+/* ------------------------------------------------------------------ */
+const blocker = z.strictObject({
+    code: z.enum(Object.keys(errorCodes)),
+    message: z.string().max(4000),
+});
+export const validateDataSchema = z.strictObject({
+    graphId: idSchema,
+    graphDigest: digestSchema,
+    policyDigest: digestSchema,
+    contextDigest: digestSchema.optional(),
+    orders: z.number().int().positive(),
+});
+export const statusDataSchema = z.strictObject({
+    stateVersion: z.literal(STATE_VERSION),
+    control: controlStateSchema,
+    controller: controllerLeaseSchema.optional(),
+    graphs: z.array(z.strictObject({
+        id: idSchema,
+        digest: digestSchema,
+        source: sourceRefSchema,
+        approved: z.boolean(),
+    })),
+    works: z.array(z.strictObject({
+        id: idSchema,
+        graphId: idSchema,
+        status: workStatusSchema,
+        attempt: z.number().int().min(0),
+        activeRunId: z.string().optional(),
+        resultSha: gitShaSchema.optional(),
+        /** Почему поручение сейчас не выдаётся; пусто — может быть выдано. */
+        blockers: z.array(blocker),
+    })),
+    /**
+     * Бюджеты по сохранённым записям вызовов: общий, групп с незавершённой
+     * работой и незавершённых поручений. Нет поля — бюджеты не заданы.
+     * `remainingUsd`/`remainingMs` — `null`, когда расход не известен полностью.
+     */
+    budgets: z
+        .strictObject({
+        onUnknown: z.enum(['stop', 'continue']),
+        budgets: z.array(z.strictObject({
+            scope: z.strictObject({
+                kind: z.enum(['work', 'group', 'total']),
+                id: z.string().max(200).optional(),
+            }),
+            state: z.enum(['within', 'exceeded', 'undetermined']),
+            limit: z.strictObject({
+                usd: z.number().positive().optional(),
+                timeMs: z.number().int().positive().optional(),
+            }),
+            reportedUsd: z.number().min(0),
+            estimatedUsd: z.number().min(0),
+            unknownCalls: z.number().int().min(0),
+            unfinishedCalls: z.number().int().min(0),
+            abandonedCalls: z.number().int().min(0),
+            errorCalls: z.number().int().min(0),
+            uncoveredRuns: z.number().int().min(0),
+            durationMs: z.number().min(0),
+            remainingUsd: z.number().min(0).nullable(),
+            remainingMs: z.number().min(0).nullable(),
+            reason: z.string().optional(),
+        })),
+    })
+        .optional(),
+});
+export const eventsDataSchema = z.strictObject({
+    events: z.array(runEventSchema),
+    /** Номер для следующего `--after`. */
+    next: z.number().int().min(0),
+});
+export const runDataSchema = z.strictObject({
+    graphId: idSchema,
+    digest: digestSchema,
+    /** Граф уже был зарегистрирован этой редакцией: работа продолжена. */
+    resumed: z.boolean(),
+    works: z.array(z.strictObject({
+        id: idSchema,
+        status: workStatusSchema,
+        runId: z.string().optional(),
+        resultSha: gitShaSchema.optional(),
+        blockers: z.array(blocker),
+    })),
+    /**
+     * Задание технической очереди графа (режим agent): сохранённая стадия,
+     * статус, использованные восстановления и причина остановки.
+     */
+    workflow: z
+        .strictObject({
+        key: digestSchema,
+        kind: idSchema,
+        id: idSchema,
+        stage: z.number().int().min(0),
+        status: z.enum(['queued', 'running', 'failed', 'stale', 'completed']),
+        attempts: z.number().int().min(0),
+        repairs: z.number().int().min(0),
+        repairBudget: z.number().int().min(0),
+        error: z.string().optional(),
+        history: z.array(z.strictObject({ at: isoTimeSchema, stage: z.number().int().min(0), event: z.string() })),
+    })
+        .optional(),
+});
+export const controlDataSchema = z.strictObject({
+    control: controlStateSchema,
+    changed: z.boolean(),
+});
+export const workActionDataSchema = z.strictObject({
+    workId: idSchema,
+    status: workStatusSchema,
+    attempt: z.number().int().min(0),
+    changed: z.boolean(),
+});
+export const approveDataSchema = z.strictObject({
+    subject: idSchema,
+    digest: digestSchema,
+    at: isoTimeSchema,
+    changed: z.boolean(),
+});
+export const doctorDataSchema = z.strictObject({
+    harness: z.string(),
+    apiVersion: z.literal(API_VERSION),
+    node: z.string(),
+    platform: z.string(),
+    runtimes: z.array(z.strictObject({
+        runtime: runtimeNameSchema,
+        available: z.boolean(),
+        version: z.string().optional(),
+        structuredOutput: z.boolean(),
+        cancellation: z.boolean(),
+        reason: z.string().optional(),
+    })),
+    sandbox: z.strictObject({ os: z.boolean(), reason: z.string().optional() }),
+    state: z
+        .strictObject({
+        stateVersion: z.number().int(),
+        compatible: z.boolean(),
+        writer: z.string().optional(),
+        engineVersions: z
+            .strictObject({ controller: z.string().optional(), attempts: z.array(z.string()) })
+            .optional(),
+    })
+        .optional(),
+    /** Диагностика toolchain репозиториев политики; есть, когда задана политика. */
+    toolchains: z.array(toolchainReportSchema).optional(),
+    problems: z.array(z.string()),
+});
+export const profileDataSchema = z.strictObject({
+    pin: profilePinSchema,
+    profile: resolvedProfileSchema,
+});
+export const versionDataSchema = z.strictObject({
+    harness: z.string(),
+    apiVersion: z.literal(API_VERSION),
+});
+const providerSchema = z.enum(['relay-v1-http', 'relay-v2-cli']);
+const ownershipSchema = z.strictObject({
+    stateDir: z.string(),
+    store: z.string(),
+    note: z.string(),
+});
+export const sourceCheckDataSchema = z.strictObject({
+    provider: providerSchema,
+    projectId: z.string(),
+    connector: idSchema,
+    connected: z.boolean(),
+    projectMatches: z.boolean(),
+    identity: z
+        .strictObject({ capabilities: z.array(z.string()), build: z.record(z.string(), z.string()) })
+        .optional(),
+    history: z.strictObject({ enabled: z.boolean(), capability: z.boolean() }),
+    mapping: z.array(z.strictObject({ ref: z.string(), key: z.string().optional(), problems: z.array(z.string()) })),
+    ownership: ownershipSchema,
+    problems: z.array(z.string()),
+});
+export const sourceSnapshotDataSchema = z.strictObject({
+    connector: idSchema,
+    graphId: idSchema,
+    graphDigest: digestSchema,
+    contextDigest: digestSchema,
+    /** Semantic digest набора задач (`graph.source.revision`); не Git SHA. */
+    revision: digestSchema,
+    created: z.boolean(),
+    eligible: z.boolean(),
+    problems: z.array(z.string()),
+    truncated: z.array(z.string()),
+    tasks: z.array(z.strictObject({
+        identity: z.string(),
+        key: z.string(),
+        orderId: idSchema,
+        semanticDigest: digestSchema,
+        casRevision: z.number().int(),
+        column: z.string(),
+    })),
+    files: z.strictObject({ graph: z.string(), context: z.string(), manifest: z.string() }),
+});
+const operationViewSchema = z.strictObject({
+    key: digestSchema,
+    runId: z.string(),
+    outcome: z.string(),
+    status: z.enum(['intent', 'in-progress', 'delivered', 'conflict', 'uncertain', 'failed']),
+    reason: z.string().optional(),
+    currentRevision: z.string().optional(),
+    steps: z.array(z.strictObject({
+        n: z.number().int(),
+        kind: z.string(),
+        status: z.string(),
+        marker: z.string(),
+    })),
+    lease: z.strictObject({ owner: z.string(), expiresAt: isoTimeSchema }).optional(),
+});
+export const sourceStatusDataSchema = z.strictObject({
+    connector: idSchema,
+    provider: providerSchema,
+    projectId: z.string(),
+    snapshot: z.strictObject({ revision: digestSchema, graphId: idSchema }).optional(),
+    ownership: ownershipSchema,
+    tasks: z.array(z.strictObject({
+        index: z.number().int(),
+        ref: z.string(),
+        key: z.string().optional(),
+        identity: z.string().optional(),
+        workId: idSchema,
+        local: z.strictObject({
+            status: z.string(),
+            attempt: z.number().int().optional(),
+            resultSha: gitShaSchema.optional(),
+        }),
+        deliveries: z.array(z.strictObject({ status: z.string(), key: z.string(), operation: z.string().optional() })),
+        operations: z.array(operationViewSchema),
+        remote: z.union([
+            z.strictObject({
+                reachable: z.literal(true),
+                column: z.string(),
+                casRevision: z.number().int(),
+                semanticDigest: digestSchema,
+                matchesSnapshot: z.boolean(),
+                criteria: z.array(z.strictObject({ id: z.string(), title: z.string(), completed: z.boolean() })),
+                markers: z.record(z.string(), z.number().int()),
+            }),
+            z.strictObject({ reachable: z.literal(false), error: z.string() }),
+        ]),
+    })),
+});
+export const sourceDeliverDataSchema = z.strictObject({
+    connector: idSchema,
+    deliveries: z.array(z.strictObject({
+        workId: idSchema,
+        outcome: z.string(),
+        delivery: z.array(deliveryStateSchema),
+    })),
+});
+export const sourceReconcileDataSchema = z.strictObject({
+    operation: digestSchema,
+    workId: idSchema,
+    before: z.string(),
+    after: z.string(),
+    resolved: z.boolean(),
+    facts: z.array(z.string()),
+    delivery: z.array(deliveryStateSchema).optional(),
+});
+export const cleanupDataSchema = z.discriminatedUnion('status', [
+    z.strictObject({ status: z.literal('nothing-pending') }),
+    /** Очищено: receipts окружений, по которым повторён teardown. */
+    z.strictObject({ status: z.literal('cleaned'), receipts: z.array(z.string()) }),
+]);
+/** Схема `data` каждой команды. */
+export const cliDataSchemas = {
+    validate: validateDataSchema,
+    'review-plan': reviewRecordSchema,
+    'review-contract': reviewRecordSchema,
+    approve: approveDataSchema,
+    run: runDataSchema,
+    status: statusDataSchema,
+    events: eventsDataSchema,
+    pause: controlDataSchema,
+    resume: controlDataSchema,
+    cancel: workActionDataSchema,
+    retry: workActionDataSchema,
+    result: resultEnvelopeSchema,
+    deliver: resultEnvelopeSchema,
+    cleanup: cleanupDataSchema,
+    profile: profileDataSchema,
+    doctor: doctorDataSchema,
+    'source-check': sourceCheckDataSchema,
+    'source-snapshot': sourceSnapshotDataSchema,
+    'source-status': sourceStatusDataSchema,
+    'source-deliver': sourceDeliverDataSchema,
+    'source-reconcile': sourceReconcileDataSchema,
+    version: versionDataSchema,
+};
+export const cliErrorSchema = z.strictObject({
+    code: z.enum(Object.keys(errorCodes)),
+    class: z.enum(['input', 'refused', 'infrastructure']),
+    message: z.string(),
+    issues: z.array(z.strictObject({ path: z.array(z.union([z.string(), z.number()])), message: z.string() })),
+});
+/** Входной документ контракта для `review-contract` — см. `checks.ts`. */
+export { contractDocumentSchema } from "./checks.js";