@xoxoai/checkmate 0.4.27 → 0.5.0

package/dist/contracts/serialize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"serialize.d.ts","sourceRoot":"","sources":["../../src/contracts/serialize.ts"],"names":[],"mappings":"AAAA,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEpD"}

package/dist/contracts/serialize.js

@@ -0,0 +1,90 @@
+export function serializeJson(value) {
+    return `${writeJson(value, 0, new Set())}\n`;
+}
+function writeJson(value, depth, ancestors) {
+    if (value === null || typeof value === 'boolean') {
+        return String(value);
+    }
+    if (typeof value === 'string') {
+        return JSON.stringify(value);
+    }
+    if (typeof value === 'number') {
+        if (!Number.isFinite(value)) {
+            throw new TypeError('Cannot serialize a non-finite number');
+        }
+        return JSON.stringify(value);
+    }
+    if (typeof value !== 'object') {
+        throw new TypeError(`Cannot serialize ${typeof value}`);
+    }
+    if (ancestors.has(value)) {
+        throw new TypeError('Cannot serialize a circular value');
+    }
+    ancestors.add(value);
+    try {
+        return Array.isArray(value) ? writeArray(value, depth, ancestors) : writeObject(value, depth, ancestors);
+    }
+    finally {
+        ancestors.delete(value);
+    }
+}
+function writeArray(value, depth, ancestors) {
+    for (let index = 0; index < value.length; index++) {
+        if (!Object.hasOwn(value, index)) {
+            throw new TypeError('Cannot serialize a sparse array');
+        }
+    }
+    const ownKeys = Reflect.ownKeys(value);
+    if (ownKeys.length !== value.length + 1 ||
+        ownKeys.some((key) => key !== 'length' && !isArrayIndex(key, value.length))) {
+        throw new TypeError('Cannot serialize an array with extra properties');
+    }
+    if (value.length === 0) {
+        return '[]';
+    }
+    const members = [];
+    for (let index = 0; index < value.length; index++) {
+        const descriptor = Object.getOwnPropertyDescriptor(value, String(index));
+        if (!descriptor.enumerable || !('value' in descriptor)) {
+            throw new TypeError('Cannot serialize a non-data array element');
+        }
+        members.push(`${indent(depth + 1)}${writeJson(descriptor.value, depth + 1, ancestors)}`);
+    }
+    return `[\n${members.join(',\n')}\n${indent(depth)}]`;
+}
+function writeObject(value, depth, ancestors) {
+    const prototype = Object.getPrototypeOf(value);
+    if (prototype !== Object.prototype && prototype !== null) {
+        throw new TypeError('Cannot serialize a non-plain object');
+    }
+    const ownKeys = Reflect.ownKeys(value);
+    if (ownKeys.some((key) => typeof key === 'symbol')) {
+        throw new TypeError('Cannot serialize symbol keys');
+    }
+    const keys = ownKeys.sort(compareUtf16);
+    if (keys.length === 0) {
+        return '{}';
+    }
+    const members = keys.map((key) => {
+        const descriptor = Object.getOwnPropertyDescriptor(value, key);
+        if (!descriptor?.enumerable || !('value' in descriptor)) {
+            throw new TypeError('Cannot serialize non-enumerable or accessor properties');
+        }
+        return `${indent(depth + 1)}${JSON.stringify(key)}: ${writeJson(descriptor.value, depth + 1, ancestors)}`;
+    });
+    return `{\n${members.join(',\n')}\n${indent(depth)}}`;
+}
+function isArrayIndex(key, length) {
+    if (typeof key !== 'string' || !/^(0|[1-9]\d*)$/.test(key)) {
+        return false;
+    }
+    const index = Number(key);
+    return Number.isSafeInteger(index) && index < length;
+}
+function compareUtf16(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+function indent(depth) {
+    return '  '.repeat(depth);
+}
+//# sourceMappingURL=serialize.js.map

package/dist/contracts/serialize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"serialize.js","sourceRoot":"","sources":["../../src/contracts/serialize.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,aAAa,CAAC,KAAc;IAC3C,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,IAAI,CAAA;AAC7C,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,KAAa,EAAE,SAAsB;IACvE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAClD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;IACrB,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IAC7B,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAA;QAC5D,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IAC7B,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,IAAI,SAAS,CAAC,oBAAoB,OAAO,KAAK,EAAE,CAAC,CAAA;IACxD,CAAC;IAED,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,SAAS,CAAC,mCAAmC,CAAC,CAAA;IACzD,CAAC;IAED,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACpB,IAAI,CAAC;QACJ,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;IACzG,CAAC;YAAS,CAAC;QACV,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACxB,CAAC;AACF,CAAC;AAED,SAAS,UAAU,CAAC,KAAgB,EAAE,KAAa,EAAE,SAAsB;IAC1E,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACnD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,SAAS,CAAC,iCAAiC,CAAC,CAAA;QACvD,CAAC;IACF,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IACtC,IACC,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC;QACnC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAC1E,CAAC;QACF,MAAM,IAAI,SAAS,CAAC,iDAAiD,CAAC,CAAA;IACvE,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,CAAA;IACZ,CAAC;IAED,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACnD,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;QACxE,IAAI,CAAC,UAAU,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC;YACxD,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAA;QACjE,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC,CAAA;IACzF,CAAC;IAED,OAAO,MAAM,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,GAAG,CAAA;AACtD,CAAC;AAED,SAAS,WAAW,CAAC,KAAa,EAAE,KAAa,EAAE,SAAsB;IACxE,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAA;IAC9C,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QAC1D,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAA;IAC3D,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IACtC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,SAAS,CAAC,8BAA8B,CAAC,CAAA;IACpD,CAAC;IAED,MAAM,IAAI,GAAI,OAAoB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IACrD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,IAAI,CAAA;IACZ,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAChC,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;QAC9D,IAAI,CAAC,UAAU,EAAE,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,SAAS,CAAC,wDAAwD,CAAC,CAAA;QAC9E,CAAC;QACD,OAAO,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,SAAS,CAAC,EAAE,CAAA;IAC1G,CAAC,CAAC,CAAA;IAEF,OAAO,MAAM,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,GAAG,CAAA;AACtD,CAAC;AAED,SAAS,YAAY,CAAC,GAAoB,EAAE,MAAc;IACzD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5D,OAAO,KAAK,CAAA;IACb,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;IACzB,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,MAAM,CAAA;AACrD,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,KAAa;IAChD,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAChD,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC5B,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC1B,CAAC"}

package/dist/contracts/types.d.ts

@@ -0,0 +1,316 @@
+export type JsonPrimitive = string | number | boolean | null;
+export type JsonValue = JsonPrimitive | JsonValue[] | JsonObject;
+export type JsonObject = {
+    [key: string]: JsonValue;
+};
+export type Diagnostic = {
+    code: string;
+    path: string;
+    message: string;
+};
+export type Validation<T> = {
+    ok: true;
+    value: T;
+} | {
+    ok: false;
+    diagnostics: Diagnostic[];
+};
+export type RunRequestV1 = {
+    schemaVersion: 1;
+    scenario: {
+        id: string;
+        name?: string;
+        driver: {
+            id: string;
+            target: JsonObject;
+        };
+        policy?: string;
+        limits?: {
+            timeoutMs?: number;
+            budgetTokens?: number;
+        };
+        steps: Array<{
+            id: string;
+            action: string;
+            expect: string;
+        }>;
+    };
+};
+export type EffectiveLimits = {
+    scenarioTimeoutMs: number;
+    stepTimeoutMs: number;
+    turnsPerStep: number;
+    requestTimeoutMs: number;
+    maxRetries: number;
+    loopMaxRepetitions: number;
+    cleanupTimeoutMs: number;
+    budgetTokens?: number;
+};
+export type ModelEgressPolicyV1 = {
+    provider: {
+        id: 'openai';
+        model: string;
+        baseUrl?: string;
+        apiKeyBinding: string;
+        temperature?: number;
+        reasoningEffort?: 'low' | 'medium' | 'high';
+    };
+    textRedaction: 'on' | 'off';
+    allowOpaque: boolean;
+    maxStepBytes: number;
+    maxMessageBytes: number;
+};
+export type EvidencePolicyV1 = {
+    retention: 'on' | 'retain-on-failure' | 'off';
+    redaction: 'on' | 'off';
+    allowOpaque: boolean;
+};
+export type CheckmateManifestV1 = {
+    schemaVersion: 1;
+    outputDirectory?: string;
+    defaultPolicy: string;
+    secretBindings: Record<string, {
+        source: 'environment';
+        name: string;
+    }>;
+    policies: Record<string, {
+        modelEgress: ModelEgressPolicyV1;
+        bounds: EffectiveLimits;
+        evidence: EvidencePolicyV1;
+        drivers: Record<string, {
+            settings: JsonObject;
+            tools: {
+                allowed: string[];
+            };
+        }>;
+    }>;
+    drivers: Record<string, {
+        package: string;
+        secrets: Record<string, string>;
+    }>;
+};
+export type DriverDescriptorV1 = {
+    schemaVersion: 1;
+    id: string;
+    driverContractVersion: 1;
+    targetSchema: JsonObject;
+    settingsSchema: JsonObject;
+    requiredSecretSlots: string[];
+    tools: Array<{
+        name: string;
+    }>;
+    evidenceKinds: Array<{
+        kind: string;
+        mediaType: string;
+        content: 'text' | 'opaque';
+    }>;
+};
+export type TargetMutationState = 'not-attempted' | 'possibly-mutated';
+export type Usage = {
+    promptTokens: number;
+    cachedPromptTokens: number;
+    completionTokens: number;
+    totalTokens: number;
+};
+export type StepReason = 'met-expectation' | 'failed-expectation' | 'loop-detected' | 'turn-cap-exceeded' | 'step-timeout' | 'scenario-timeout' | 'tool-error' | 'provider-error' | 'token-budget-exceeded' | 'interrupted' | 'internal-error';
+export type RunReason = 'scenario-complete' | Exclude<StepReason, 'met-expectation'> | 'driver-load-failed' | 'driver-start-failed' | 'driver-teardown-failed' | 'evidence-write-failed' | 'result-write-failed';
+export type StepToolCall = {
+    turn: number;
+    driverId: string;
+    name: string;
+    arguments: JsonValue;
+    status: 'ok' | 'error';
+};
+export type ExecutedStepResult = {
+    id: string;
+    status: 'passed' | 'failed';
+    category: 'app' | 'model' | 'infra';
+    reason: StepReason;
+    actual?: string;
+    turns: number;
+    durationMs: number;
+    usage: Usage;
+    toolCalls: StepToolCall[];
+};
+export type NotRunStepResult = {
+    id: string;
+    status: 'not-run';
+    reason: 'prior-step-failed';
+    blockedBy: string;
+} | {
+    id: string;
+    status: 'not-run';
+    reason: 'scenario-not-started';
+};
+export type EvidenceReference = {
+    kind: string;
+    mediaType: string;
+    path: string;
+    producer: 'harness' | string;
+    stepId?: string;
+};
+export type ExecutionResultV1 = {
+    kind: 'run-result';
+    schemaVersion: 1;
+    runId: string;
+    scenarioId: string;
+    status: 'passed' | 'failed' | 'interrupted';
+    category: 'passed' | 'app' | 'model' | 'infra';
+    reason: RunReason;
+    targetMutation: TargetMutationState;
+    startedAt: string;
+    durationMs: number;
+    driver: {
+        id: string;
+        contractVersion: 1;
+    };
+    policy: {
+        id: string;
+        effectiveLimits: EffectiveLimits;
+    };
+    usage: Usage & {
+        state: 'complete' | 'partial' | 'unavailable';
+    };
+    steps: Array<ExecutedStepResult | NotRunStepResult>;
+    evidence: {
+        state: 'complete' | 'partial';
+        references: EvidenceReference[];
+    };
+    diagnostics: Diagnostic[];
+};
+export type InvalidInvocationResultV1 = {
+    kind: 'run-result';
+    schemaVersion: 1;
+    status: 'invalid';
+    category: 'invalid';
+    reason: 'invalid-invocation';
+    targetMutation: 'not-attempted';
+    diagnostics: Diagnostic[];
+};
+export type PreExecutionOperationalResultV1 = {
+    kind: 'run-result';
+    schemaVersion: 1;
+    source: 'parent';
+    status: 'error';
+    category: 'infra';
+    reason: 'pre-execution-error';
+    targetMutation: 'not-attempted';
+    diagnostics: [Diagnostic, ...Diagnostic[]];
+};
+export type ContainmentResultV1 = {
+    kind: 'run-result';
+    schemaVersion: 1;
+    source: 'parent';
+    status: 'contained';
+    category: 'infra';
+    reason: 'parent-containment';
+    executionState: 'unavailable';
+    durability: 'uncommitted';
+    runId?: string;
+    scenarioId: string;
+    declaredStepIds: string[];
+    targetMutation: TargetMutationState;
+    startedAt: string;
+    durationMs: number;
+    containment: {
+        phase: 'start' | 'run' | 'cleanup' | 'terminal';
+        trigger: 'start-frame-too-large' | 'run-deadline-expired' | 'cleanup-deadline-expired' | 'worker-result-unavailable';
+    };
+    diagnostics: [Diagnostic, ...Diagnostic[]];
+};
+export type RunResultV1 = ExecutionResultV1 | InvalidInvocationResultV1 | PreExecutionOperationalResultV1 | ContainmentResultV1;
+export type ValidationResultV1 = {
+    kind: 'validation-result';
+    schemaVersion: 1;
+    status: 'valid';
+    scenarioId: string;
+    policy: {
+        id: string;
+        effectiveLimits: EffectiveLimits;
+    };
+    driver: {
+        id: string;
+        contractVersion: 1;
+    };
+    diagnostics: [];
+} | {
+    kind: 'validation-result';
+    schemaVersion: 1;
+    status: 'invalid' | 'error';
+    diagnostics: [Diagnostic, ...Diagnostic[]];
+};
+export type ContractReferenceV1 = {
+    id: 'checkmate-config' | 'run-request' | 'run-result' | 'validation-result' | 'describe-result' | 'driver-descriptor';
+    schemaVersion: 1;
+    schemaPath: './schemas/checkmate-config.v1.json' | './schemas/run-request.v1.json' | './schemas/run-result.v1.json' | './schemas/validation-result.v1.json' | './schemas/describe-result.v1.json' | './schemas/driver-descriptor.v1.json';
+};
+export type DescribedPolicyV1 = {
+    id: string;
+    limits: EffectiveLimits;
+    evidence: EvidencePolicyV1;
+    drivers: Array<{
+        id: string;
+        allowedTools: '*' | string[];
+    }>;
+    requiredSecretBindings: string[];
+};
+export type DescribedDriverV1 = {
+    id: string;
+    contractVersion: 1;
+    targetSchema: JsonObject;
+    settingsSchema: JsonObject;
+    requiredSecretSlots: string[];
+    tools: Array<{
+        name: string;
+    }>;
+    evidenceKinds: Array<{
+        kind: string;
+        mediaType: string;
+        content: 'text' | 'opaque';
+    }>;
+};
+export type RouteReason = RunReason | 'invalid-invocation' | 'pre-execution-error' | 'parent-containment';
+export type RouteRuleV1 = {
+    reason: RouteReason;
+    category: 'passed' | 'app' | 'model' | 'infra' | 'invalid';
+    exitCode: 0 | 1 | 2 | 3 | 4;
+    retry: 'never' | 'repair-then-new-run';
+    mutation: 'not-attempted' | 'possibly-mutated' | 'read-result-target-mutation';
+    nextAction: 'continue' | 'repair-request-or-configuration' | 'inspect-evidence-and-verify-sut-or-expectation' | 'repair-model-policy-or-egress' | 'repair-environment-and-start-new-run' | 'repair-environment-and-inspect-target' | 'repair-output-and-inspect-target';
+};
+export type AgentOnboardingV1 = {
+    workflow: ['describe', 'author-request', 'validate', 'run', 'route-result'];
+    commands: {
+        validate: 'checkmate validate <request.json>';
+        runFile: 'checkmate run <request.json>';
+        runStdin: 'checkmate run -';
+    };
+    routing: RouteRuleV1[];
+    evidence: {
+        pathBase: 'invocation-root';
+        followReferencesOnly: true;
+        retentionIsPolicyDependent: true;
+        inspectCompletenessState: true;
+    };
+};
+export type DescribeResultV1 = {
+    kind: 'describe-result';
+    schemaVersion: 1;
+    status: 'available';
+    contracts: ContractReferenceV1[];
+    environment: {
+        defaultPolicy: string;
+        policies: DescribedPolicyV1[];
+        drivers: DescribedDriverV1[];
+    };
+    onboarding: AgentOnboardingV1;
+    diagnostics: [];
+} | {
+    kind: 'describe-result';
+    schemaVersion: 1;
+    status: 'invalid' | 'error';
+    diagnostics: [Diagnostic, ...Diagnostic[]];
+};
+export declare const PUBLIC_CONTRACT_REFERENCES_V1: readonly ContractReferenceV1[];
+export declare const PUBLIC_ROUTE_RULES_V1: readonly RouteRuleV1[];
+//# sourceMappingURL=types.d.ts.map

package/dist/contracts/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/contracts/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAA;AAC5D,MAAM,MAAM,SAAS,GAAG,aAAa,GAAG,SAAS,EAAE,GAAG,UAAU,CAAA;AAChE,MAAM,MAAM,UAAU,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAA;AAErD,MAAM,MAAM,UAAU,GAAG;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;CACf,CAAA;AAED,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,WAAW,EAAE,UAAU,EAAE,CAAA;CAAE,CAAA;AAE7F,MAAM,MAAM,YAAY,GAAG;IAC1B,aAAa,EAAE,CAAC,CAAA;IAChB,QAAQ,EAAE;QACT,EAAE,EAAE,MAAM,CAAA;QACV,IAAI,CAAC,EAAE,MAAM,CAAA;QACb,MAAM,EAAE;YAAE,EAAE,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,UAAU,CAAA;SAAE,CAAA;QAC1C,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,MAAM,CAAC,EAAE;YAAE,SAAS,CAAC,EAAE,MAAM,CAAC;YAAC,YAAY,CAAC,EAAE,MAAM,CAAA;SAAE,CAAA;QACtD,KAAK,EAAE,KAAK,CAAC;YAAE,EAAE,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAA;SAAE,CAAC,CAAA;KAC5D,CAAA;CACD,CAAA;AAED,MAAM,MAAM,eAAe,GAAG;IAC7B,iBAAiB,EAAE,MAAM,CAAA;IACzB,aAAa,EAAE,MAAM,CAAA;IACrB,YAAY,EAAE,MAAM,CAAA;IACpB,gBAAgB,EAAE,MAAM,CAAA;IACxB,UAAU,EAAE,MAAM,CAAA;IAClB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,gBAAgB,EAAE,MAAM,CAAA;IACxB,YAAY,CAAC,EAAE,MAAM,CAAA;CACrB,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IACjC,QAAQ,EAAE;QACT,EAAE,EAAE,QAAQ,CAAA;QACZ,KAAK,EAAE,MAAM,CAAA;QACb,OAAO,CAAC,EAAE,MAAM,CAAA;QAChB,aAAa,EAAE,MAAM,CAAA;QACrB,WAAW,CAAC,EAAE,MAAM,CAAA;QACpB,eAAe,CAAC,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAA;KAC3C,CAAA;IACD,aAAa,EAAE,IAAI,GAAG,KAAK,CAAA;IAC3B,WAAW,EAAE,OAAO,CAAA;IACpB,YAAY,EAAE,MAAM,CAAA;IACpB,eAAe,EAAE,MAAM,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,gBAAgB,GAAG;IAC9B,SAAS,EAAE,IAAI,GAAG,mBAAmB,GAAG,KAAK,CAAA;IAC7C,SAAS,EAAE,IAAI,GAAG,KAAK,CAAA;IACvB,WAAW,EAAE,OAAO,CAAA;CACpB,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IACjC,aAAa,EAAE,CAAC,CAAA;IAChB,eAAe,CAAC,EAAE,MAAM,CAAA;IACxB,aAAa,EAAE,MAAM,CAAA;IACrB,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,MAAM,EAAE,aAAa,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACvE,QAAQ,EAAE,MAAM,CACf,MAAM,EACN;QACC,WAAW,EAAE,mBAAmB,CAAA;QAChC,MAAM,EAAE,eAAe,CAAA;QACvB,QAAQ,EAAE,gBAAgB,CAAA;QAC1B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,QAAQ,EAAE,UAAU,CAAC;YAAC,KAAK,EAAE;gBAAE,OAAO,EAAE,MAAM,EAAE,CAAA;aAAE,CAAA;SAAE,CAAC,CAAA;KAC/E,CACD,CAAA;IACD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAC,CAAA;CAC7E,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAChC,aAAa,EAAE,CAAC,CAAA;IAChB,EAAE,EAAE,MAAM,CAAA;IACV,qBAAqB,EAAE,CAAC,CAAA;IACxB,YAAY,EAAE,UAAU,CAAA;IACxB,cAAc,EAAE,UAAU,CAAA;IAC1B,mBAAmB,EAAE,MAAM,EAAE,CAAA;IAC7B,KAAK,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC9B,aAAa,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,GAAG,QAAQ,CAAA;KAAE,CAAC,CAAA;CACrF,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG,eAAe,GAAG,kBAAkB,CAAA;AAEtE,MAAM,MAAM,KAAK,GAAG;IACnB,YAAY,EAAE,MAAM,CAAA;IACpB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,gBAAgB,EAAE,MAAM,CAAA;IACxB,WAAW,EAAE,MAAM,CAAA;CACnB,CAAA;AAED,MAAM,MAAM,UAAU,GACnB,iBAAiB,GACjB,oBAAoB,GACpB,eAAe,GACf,mBAAmB,GACnB,cAAc,GACd,kBAAkB,GAClB,YAAY,GACZ,gBAAgB,GAChB,uBAAuB,GACvB,aAAa,GACb,gBAAgB,CAAA;AAEnB,MAAM,MAAM,SAAS,GAClB,mBAAmB,GACnB,OAAO,CAAC,UAAU,EAAE,iBAAiB,CAAC,GACtC,oBAAoB,GACpB,qBAAqB,GACrB,wBAAwB,GACxB,uBAAuB,GACvB,qBAAqB,CAAA;AAExB,MAAM,MAAM,YAAY,GAAG;IAC1B,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,MAAM,CAAA;IAChB,IAAI,EAAE,MAAM,CAAA;IACZ,SAAS,EAAE,SAAS,CAAA;IACpB,MAAM,EAAE,IAAI,GAAG,OAAO,CAAA;CACtB,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAA;IAC3B,QAAQ,EAAE,KAAK,GAAG,OAAO,GAAG,OAAO,CAAA;IACnC,MAAM,EAAE,UAAU,CAAA;IAClB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,MAAM,CAAA;IAClB,KAAK,EAAE,KAAK,CAAA;IACZ,SAAS,EAAE,YAAY,EAAE,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,gBAAgB,GACzB;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,mBAAmB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACjF;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAA;CAAE,CAAA;AAEpE,MAAM,MAAM,iBAAiB,GAAG;IAC/B,IAAI,EAAE,MAAM,CAAA;IACZ,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,SAAS,GAAG,MAAM,CAAA;IAC5B,MAAM,CAAC,EAAE,MAAM,CAAA;CACf,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC/B,IAAI,EAAE,YAAY,CAAA;IAClB,aAAa,EAAE,CAAC,CAAA;IAChB,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,MAAM,CAAA;IAClB,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,aAAa,CAAA;IAC3C,QAAQ,EAAE,QAAQ,GAAG,KAAK,GAAG,OAAO,GAAG,OAAO,CAAA;IAC9C,MAAM,EAAE,SAAS,CAAA;IACjB,cAAc,EAAE,mBAAmB,CAAA;IACnC,SAAS,EAAE,MAAM,CAAA;IACjB,UAAU,EAAE,MAAM,CAAA;IAClB,MAAM,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,eAAe,EAAE,CAAC,CAAA;KAAE,CAAA;IAC1C,MAAM,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,eAAe,EAAE,eAAe,CAAA;KAAE,CAAA;IACxD,KAAK,EAAE,KAAK,GAAG;QAAE,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,aAAa,CAAA;KAAE,CAAA;IAChE,KAAK,EAAE,KAAK,CAAC,kBAAkB,GAAG,gBAAgB,CAAC,CAAA;IACnD,QAAQ,EAAE;QAAE,KAAK,EAAE,UAAU,GAAG,SAAS,CAAC;QAAC,UAAU,EAAE,iBAAiB,EAAE,CAAA;KAAE,CAAA;IAC5E,WAAW,EAAE,UAAU,EAAE,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,yBAAyB,GAAG;IACvC,IAAI,EAAE,YAAY,CAAA;IAClB,aAAa,EAAE,CAAC,CAAA;IAChB,MAAM,EAAE,SAAS,CAAA;IACjB,QAAQ,EAAE,SAAS,CAAA;IACnB,MAAM,EAAE,oBAAoB,CAAA;IAC5B,cAAc,EAAE,eAAe,CAAA;IAC/B,WAAW,EAAE,UAAU,EAAE,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,+BAA+B,GAAG;IAC7C,IAAI,EAAE,YAAY,CAAA;IAClB,aAAa,EAAE,CAAC,CAAA;IAChB,MAAM,EAAE,QAAQ,CAAA;IAChB,MAAM,EAAE,OAAO,CAAA;IACf,QAAQ,EAAE,OAAO,CAAA;IACjB,MAAM,EAAE,qBAAqB,CAAA;IAC7B,cAAc,EAAE,eAAe,CAAA;IAC/B,WAAW,EAAE,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,CAAA;CAC1C,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IACjC,IAAI,EAAE,YAAY,CAAA;IAClB,aAAa,EAAE,CAAC,CAAA;IAChB,MAAM,EAAE,QAAQ,CAAA;IAChB,MAAM,EAAE,WAAW,CAAA;IACnB,QAAQ,EAAE,OAAO,CAAA;IACjB,MAAM,EAAE,oBAAoB,CAAA;IAC5B,cAAc,EAAE,aAAa,CAAA;IAC7B,UAAU,EAAE,aAAa,CAAA;IACzB,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,EAAE,CAAA;IACzB,cAAc,EAAE,mBAAmB,CAAA;IACnC,SAAS,EAAE,MAAM,CAAA;IACjB,UAAU,EAAE,MAAM,CAAA;IAClB,WAAW,EAAE;QACZ,KAAK,EAAE,OAAO,GAAG,KAAK,GAAG,SAAS,GAAG,UAAU,CAAA;QAC/C,OAAO,EACN,uBAAuB,GAAG,sBAAsB,GAAG,0BAA0B,GAAG,2BAA2B,CAAA;KAC5G,CAAA;IACD,WAAW,EAAE,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,CAAA;CAC1C,CAAA;AAED,MAAM,MAAM,WAAW,GACtB,iBAAiB,GAAG,yBAAyB,GAAG,+BAA+B,GAAG,mBAAmB,CAAA;AAEtG,MAAM,MAAM,kBAAkB,GAC3B;IACA,IAAI,EAAE,mBAAmB,CAAA;IACzB,aAAa,EAAE,CAAC,CAAA;IAChB,MAAM,EAAE,OAAO,CAAA;IACf,UAAU,EAAE,MAAM,CAAA;IAClB,MAAM,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,eAAe,EAAE,eAAe,CAAA;KAAE,CAAA;IACxD,MAAM,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,eAAe,EAAE,CAAC,CAAA;KAAE,CAAA;IAC1C,WAAW,EAAE,EAAE,CAAA;CACd,GACD;IACA,IAAI,EAAE,mBAAmB,CAAA;IACzB,aAAa,EAAE,CAAC,CAAA;IAChB,MAAM,EAAE,SAAS,GAAG,OAAO,CAAA;IAC3B,WAAW,EAAE,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,CAAA;CACzC,CAAA;AAEJ,MAAM,MAAM,mBAAmB,GAAG;IACjC,EAAE,EACC,kBAAkB,GAClB,aAAa,GACb,YAAY,GACZ,mBAAmB,GACnB,iBAAiB,GACjB,mBAAmB,CAAA;IACtB,aAAa,EAAE,CAAC,CAAA;IAChB,UAAU,EACP,oCAAoC,GACpC,+BAA+B,GAC/B,8BAA8B,GAC9B,qCAAqC,GACrC,mCAAmC,GACnC,qCAAqC,CAAA;CACxC,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC/B,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,eAAe,CAAA;IACvB,QAAQ,EAAE,gBAAgB,CAAA;IAC1B,OAAO,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,GAAG,GAAG,MAAM,EAAE,CAAA;KAAE,CAAC,CAAA;IAC5D,sBAAsB,EAAE,MAAM,EAAE,CAAA;CAChC,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC/B,EAAE,EAAE,MAAM,CAAA;IACV,eAAe,EAAE,CAAC,CAAA;IAClB,YAAY,EAAE,UAAU,CAAA;IACxB,cAAc,EAAE,UAAU,CAAA;IAC1B,mBAAmB,EAAE,MAAM,EAAE,CAAA;IAC7B,KAAK,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC9B,aAAa,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,GAAG,QAAQ,CAAA;KAAE,CAAC,CAAA;CACrF,CAAA;AAED,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG,oBAAoB,GAAG,qBAAqB,GAAG,oBAAoB,CAAA;AAEzG,MAAM,MAAM,WAAW,GAAG;IACzB,MAAM,EAAE,WAAW,CAAA;IACnB,QAAQ,EAAE,QAAQ,GAAG,KAAK,GAAG,OAAO,GAAG,OAAO,GAAG,SAAS,CAAA;IAC1D,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC3B,KAAK,EAAE,OAAO,GAAG,qBAAqB,CAAA;IACtC,QAAQ,EAAE,eAAe,GAAG,kBAAkB,GAAG,6BAA6B,CAAA;IAC9E,UAAU,EACP,UAAU,GACV,iCAAiC,GACjC,gDAAgD,GAChD,+BAA+B,GAC/B,sCAAsC,GACtC,uCAAuC,GACvC,kCAAkC,CAAA;CACrC,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC/B,QAAQ,EAAE,CAAC,UAAU,EAAE,gBAAgB,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,CAAC,CAAA;IAC3E,QAAQ,EAAE;QACT,QAAQ,EAAE,mCAAmC,CAAA;QAC7C,OAAO,EAAE,8BAA8B,CAAA;QACvC,QAAQ,EAAE,iBAAiB,CAAA;KAC3B,CAAA;IACD,OAAO,EAAE,WAAW,EAAE,CAAA;IACtB,QAAQ,EAAE;QACT,QAAQ,EAAE,iBAAiB,CAAA;QAC3B,oBAAoB,EAAE,IAAI,CAAA;QAC1B,0BAA0B,EAAE,IAAI,CAAA;QAChC,wBAAwB,EAAE,IAAI,CAAA;KAC9B,CAAA;CACD,CAAA;AAED,MAAM,MAAM,gBAAgB,GACzB;IACA,IAAI,EAAE,iBAAiB,CAAA;IACvB,aAAa,EAAE,CAAC,CAAA;IAChB,MAAM,EAAE,WAAW,CAAA;IACnB,SAAS,EAAE,mBAAmB,EAAE,CAAA;IAChC,WAAW,EAAE;QACZ,aAAa,EAAE,MAAM,CAAA;QACrB,QAAQ,EAAE,iBAAiB,EAAE,CAAA;QAC7B,OAAO,EAAE,iBAAiB,EAAE,CAAA;KAC5B,CAAA;IACD,UAAU,EAAE,iBAAiB,CAAA;IAC7B,WAAW,EAAE,EAAE,CAAA;CACd,GACD;IACA,IAAI,EAAE,iBAAiB,CAAA;IACvB,aAAa,EAAE,CAAC,CAAA;IAChB,MAAM,EAAE,SAAS,GAAG,OAAO,CAAA;IAC3B,WAAW,EAAE,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,CAAA;CACzC,CAAA;AAEJ,eAAO,MAAM,6BAA6B,EAAE,SAAS,mBAAmB,EAOvE,CAAA;AAED,eAAO,MAAM,qBAAqB,EAAE,SAAS,WAAW,EAqEvD,CAAA"}

package/dist/contracts/types.js

@@ -0,0 +1,74 @@
+export const PUBLIC_CONTRACT_REFERENCES_V1 = [
+    { id: 'checkmate-config', schemaVersion: 1, schemaPath: './schemas/checkmate-config.v1.json' },
+    { id: 'run-request', schemaVersion: 1, schemaPath: './schemas/run-request.v1.json' },
+    { id: 'run-result', schemaVersion: 1, schemaPath: './schemas/run-result.v1.json' },
+    { id: 'validation-result', schemaVersion: 1, schemaPath: './schemas/validation-result.v1.json' },
+    { id: 'describe-result', schemaVersion: 1, schemaPath: './schemas/describe-result.v1.json' },
+    { id: 'driver-descriptor', schemaVersion: 1, schemaPath: './schemas/driver-descriptor.v1.json' },
+];
+export const PUBLIC_ROUTE_RULES_V1 = [
+    {
+        reason: 'scenario-complete',
+        category: 'passed',
+        exitCode: 0,
+        retry: 'never',
+        mutation: 'read-result-target-mutation',
+        nextAction: 'continue',
+    },
+    {
+        reason: 'failed-expectation',
+        category: 'app',
+        exitCode: 1,
+        retry: 'repair-then-new-run',
+        mutation: 'read-result-target-mutation',
+        nextAction: 'inspect-evidence-and-verify-sut-or-expectation',
+    },
+    ...routeRules(['loop-detected', 'turn-cap-exceeded', 'step-timeout'], 'model', 2, 'repair-model-policy-or-egress'),
+    ...routeRules([
+        'scenario-timeout',
+        'tool-error',
+        'provider-error',
+        'token-budget-exceeded',
+        'interrupted',
+        'driver-load-failed',
+        'driver-start-failed',
+        'driver-teardown-failed',
+    ], 'infra', 3, 'repair-environment-and-inspect-target'),
+    ...routeRules(['evidence-write-failed', 'result-write-failed'], 'infra', 3, 'repair-output-and-inspect-target'),
+    ...routeRules(['internal-error'], 'infra', 3, 'repair-environment-and-inspect-target'),
+    {
+        reason: 'invalid-invocation',
+        category: 'invalid',
+        exitCode: 4,
+        retry: 'repair-then-new-run',
+        mutation: 'not-attempted',
+        nextAction: 'repair-request-or-configuration',
+    },
+    {
+        reason: 'pre-execution-error',
+        category: 'infra',
+        exitCode: 3,
+        retry: 'repair-then-new-run',
+        mutation: 'not-attempted',
+        nextAction: 'repair-environment-and-start-new-run',
+    },
+    {
+        reason: 'parent-containment',
+        category: 'infra',
+        exitCode: 3,
+        retry: 'repair-then-new-run',
+        mutation: 'read-result-target-mutation',
+        nextAction: 'repair-environment-and-inspect-target',
+    },
+];
+function routeRules(reasons, category, exitCode, nextAction) {
+    return reasons.map((reason) => ({
+        reason,
+        category,
+        exitCode,
+        retry: 'repair-then-new-run',
+        mutation: 'read-result-target-mutation',
+        nextAction,
+    }));
+}
+//# sourceMappingURL=types.js.map

package/dist/contracts/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/contracts/types.ts"],"names":[],"mappings":"AAiUA,MAAM,CAAC,MAAM,6BAA6B,GAAmC;IAC5E,EAAE,EAAE,EAAE,kBAAkB,EAAE,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,oCAAoC,EAAE;IAC9F,EAAE,EAAE,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,+BAA+B,EAAE;IACpF,EAAE,EAAE,EAAE,YAAY,EAAE,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,8BAA8B,EAAE;IAClF,EAAE,EAAE,EAAE,mBAAmB,EAAE,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,qCAAqC,EAAE;IAChG,EAAE,EAAE,EAAE,iBAAiB,EAAE,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,mCAAmC,EAAE;IAC5F,EAAE,EAAE,EAAE,mBAAmB,EAAE,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,qCAAqC,EAAE;CAChG,CAAA;AAED,MAAM,CAAC,MAAM,qBAAqB,GAA2B;IAC5D;QACC,MAAM,EAAE,mBAAmB;QAC3B,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,CAAC;QACX,KAAK,EAAE,OAAO;QACd,QAAQ,EAAE,6BAA6B;QACvC,UAAU,EAAE,UAAU;KACtB;IACD;QACC,MAAM,EAAE,oBAAoB;QAC5B,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,CAAC;QACX,KAAK,EAAE,qBAAqB;QAC5B,QAAQ,EAAE,6BAA6B;QACvC,UAAU,EAAE,gDAAgD;KAC5D;IACD,GAAG,UAAU,CACZ,CAAC,eAAe,EAAE,mBAAmB,EAAE,cAAc,CAAU,EAC/D,OAAO,EACP,CAAC,EACD,+BAA+B,CAC/B;IACD,GAAG,UAAU,CACZ;QACC,kBAAkB;QAClB,YAAY;QACZ,gBAAgB;QAChB,uBAAuB;QACvB,aAAa;QACb,oBAAoB;QACpB,qBAAqB;QACrB,wBAAwB;KACf,EACV,OAAO,EACP,CAAC,EACD,uCAAuC,CACvC;IACD,GAAG,UAAU,CACZ,CAAC,uBAAuB,EAAE,qBAAqB,CAAU,EACzD,OAAO,EACP,CAAC,EACD,kCAAkC,CAClC;IACD,GAAG,UAAU,CAAC,CAAC,gBAAgB,CAAU,EAAE,OAAO,EAAE,CAAC,EAAE,uCAAuC,CAAC;IAC/F;QACC,MAAM,EAAE,oBAAoB;QAC5B,QAAQ,EAAE,SAAS;QACnB,QAAQ,EAAE,CAAC;QACX,KAAK,EAAE,qBAAqB;QAC5B,QAAQ,EAAE,eAAe;QACzB,UAAU,EAAE,iCAAiC;KAC7C;IACD;QACC,MAAM,EAAE,qBAAqB;QAC7B,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,CAAC;QACX,KAAK,EAAE,qBAAqB;QAC5B,QAAQ,EAAE,eAAe;QACzB,UAAU,EAAE,sCAAsC;KAClD;IACD;QACC,MAAM,EAAE,oBAAoB;QAC5B,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,CAAC;QACX,KAAK,EAAE,qBAAqB;QAC5B,QAAQ,EAAE,6BAA6B;QACvC,UAAU,EAAE,uCAAuC;KACnD;CACD,CAAA;AAED,SAAS,UAAU,CAClB,OAAqB,EACrB,QAAiC,EACjC,QAAiC,EACjC,UAAqC;IAErC,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM;QACN,QAAQ;QACR,QAAQ;QACR,KAAK,EAAE,qBAAqB;QAC5B,QAAQ,EAAE,6BAA6B;QACvC,UAAU;KACV,CAAC,CAAC,CAAA;AACJ,CAAC"}

package/dist/contracts/validator.d.ts

@@ -0,0 +1,8 @@
+import type { CheckmateManifestV1, DescribeResultV1, DriverDescriptorV1, RunRequestV1, RunResultV1, Validation, ValidationResultV1 } from './types.js';
+export declare function validateManifest(input: unknown): Validation<CheckmateManifestV1>;
+export declare function validateRequest(input: unknown): Validation<RunRequestV1>;
+export declare function validateRunResult(input: unknown): Validation<RunResultV1>;
+export declare function validateValidationResult(input: unknown): Validation<ValidationResultV1>;
+export declare function validateDescribeResult(input: unknown): Validation<DescribeResultV1>;
+export declare function validateDescriptor(input: unknown): Validation<DriverDescriptorV1>;
+//# sourceMappingURL=validator.d.ts.map

package/dist/contracts/validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/contracts/validator.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EACX,mBAAmB,EACnB,gBAAgB,EAChB,kBAAkB,EAClB,YAAY,EACZ,WAAW,EACX,UAAU,EACV,kBAAkB,EAClB,MAAM,YAAY,CAAA;AAmCnB,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAAC,mBAAmB,CAAC,CAEhF;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAAC,YAAY,CAAC,CAExE;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC,CAEzE;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAAC,kBAAkB,CAAC,CAEvF;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAAC,gBAAgB,CAAC,CAEnF;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAAC,kBAAkB,CAAC,CAEjF"}

package/dist/contracts/validator.js

@@ -0,0 +1,71 @@
+import { existsSync, readFileSync } from 'node:fs';
+import { createRequire } from 'node:module';
+import { schemaDiagnostics } from './diagnostics.js';
+import { serializeJson } from './serialize.js';
+const require = createRequire(import.meta.url);
+const Ajv2020Constructor = require('ajv/dist/2020.js');
+const addFormats = require('ajv-formats');
+const schemaFiles = {
+    manifest: 'checkmate-config.v1.json',
+    request: 'run-request.v1.json',
+    runResult: 'run-result.v1.json',
+    validationResult: 'validation-result.v1.json',
+    describeResult: 'describe-result.v1.json',
+    descriptor: 'driver-descriptor.v1.json',
+};
+const ajv = new Ajv2020Constructor({
+    allErrors: true,
+    strict: true,
+    coerceTypes: false,
+    removeAdditional: false,
+    useDefaults: false,
+    ownProperties: true,
+});
+addFormats(ajv);
+const validators = {
+    manifest: ajv.compile(loadSchema(schemaFiles.manifest)),
+    request: ajv.compile(loadSchema(schemaFiles.request)),
+    runResult: ajv.compile(loadSchema(schemaFiles.runResult)),
+    validationResult: ajv.compile(loadSchema(schemaFiles.validationResult)),
+    describeResult: ajv.compile(loadSchema(schemaFiles.describeResult)),
+    descriptor: ajv.compile(loadSchema(schemaFiles.descriptor)),
+};
+export function validateManifest(input) {
+    return validate(validators.manifest, input);
+}
+export function validateRequest(input) {
+    return validate(validators.request, input);
+}
+export function validateRunResult(input) {
+    return validate(validators.runResult, input);
+}
+export function validateValidationResult(input) {
+    return validate(validators.validationResult, input);
+}
+export function validateDescribeResult(input) {
+    return validate(validators.describeResult, input);
+}
+export function validateDescriptor(input) {
+    return validate(validators.descriptor, input);
+}
+function validate(validator, input) {
+    try {
+        serializeJson(input);
+    }
+    catch {
+        return {
+            ok: false,
+            diagnostics: [{ code: 'input.non-json', path: '', message: 'must contain only JSON values' }],
+        };
+    }
+    if (validator(input)) {
+        return { ok: true, value: input };
+    }
+    return { ok: false, diagnostics: schemaDiagnostics(validator.errors) };
+}
+function loadSchema(fileName) {
+    const sourceUrl = new URL(`./schemas/${fileName}`, import.meta.url);
+    const url = existsSync(sourceUrl) ? sourceUrl : new URL(`../../schemas/${fileName}`, import.meta.url);
+    return JSON.parse(readFileSync(url, 'utf8'));
+}
+//# sourceMappingURL=validator.js.map

package/dist/contracts/validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.js","sourceRoot":"","sources":["../../src/contracts/validator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAI3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAW9C,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AAC9C,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAmB,CAAA;AACxE,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAkB,CAAA;AAE1D,MAAM,WAAW,GAAG;IACnB,QAAQ,EAAE,0BAA0B;IACpC,OAAO,EAAE,qBAAqB;IAC9B,SAAS,EAAE,oBAAoB;IAC/B,gBAAgB,EAAE,2BAA2B;IAC7C,cAAc,EAAE,yBAAyB;IACzC,UAAU,EAAE,2BAA2B;CAC9B,CAAA;AAEV,MAAM,GAAG,GAAG,IAAI,kBAAkB,CAAC;IAClC,SAAS,EAAE,IAAI;IACf,MAAM,EAAE,IAAI;IACZ,WAAW,EAAE,KAAK;IAClB,gBAAgB,EAAE,KAAK;IACvB,WAAW,EAAE,KAAK;IAClB,aAAa,EAAE,IAAI;CACnB,CAAC,CAAA;AAEF,UAAU,CAAC,GAAG,CAAC,CAAA;AAEf,MAAM,UAAU,GAAG;IAClB,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;IACvD,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IACrD,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IACzD,gBAAgB,EAAE,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC;IACvE,cAAc,EAAE,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC;IACnE,UAAU,EAAE,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;CAC3D,CAAA;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC9C,OAAO,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;AAC5C,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAc;IAC7C,OAAO,QAAQ,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;AAC3C,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC/C,OAAO,QAAQ,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;AAC7C,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACtD,OAAO,QAAQ,CAAC,UAAU,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAA;AACpD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACpD,OAAO,QAAQ,CAAC,UAAU,CAAC,cAAc,EAAE,KAAK,CAAC,CAAA;AAClD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAChD,OAAO,QAAQ,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;AAC9C,CAAC;AAED,SAAS,QAAQ,CAAI,SAA2B,EAAE,KAAc;IAC/D,IAAI,CAAC;QACJ,aAAa,CAAC,KAAK,CAAC,CAAA;IACrB,CAAC;IAAC,MAAM,CAAC;QACR,OAAO;YACN,EAAE,EAAE,KAAK;YACT,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,+BAA+B,EAAE,CAAC;SAC7F,CAAA;IACF,CAAC;IAED,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAU,EAAE,CAAA;IACvC,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,iBAAiB,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAA;AACvE,CAAC;AAED,SAAS,UAAU,CAAC,QAAgB;IACnC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,aAAa,QAAQ,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACnE,MAAM,GAAG,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,iBAAiB,QAAQ,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACrG,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAc,CAAA;AAC1D,CAAC"}