/**
 * @fileoverview Auxiliary Specifications Schema (SPEC Section 10)
 *
 * TimeSpec, VerifySpec, OutputSpec for optional intent metadata.
 */
import { z } from "zod";
/**
 * Temporal specification for the intent.
 *
 * @example
 * { kind: "NOW" }
 * { kind: "AT", value: "2024-01-15T10:00:00Z" }
 * { kind: "WITHIN", value: "1h" }
 */
export declare const TimeSpecSchema: z.ZodObject<{
    kind: z.ZodEnum<{
        NOW: "NOW";
        AT: "AT";
        BEFORE: "BEFORE";
        AFTER: "AFTER";
        WITHIN: "WITHIN";
    }>;
    value: z.ZodOptional<z.ZodUnknown>;
}, z.core.$strict>;
export type TimeSpec = z.infer<typeof TimeSpecSchema>;
/**
 * Verification contract for the output.
 *
 * @example
 * { mode: "TEST", spec: { numericCheck: true } }
 * { mode: "RUBRIC", spec: { lines: 14, rhymeScheme: "shakespearean" } }
 */
export declare const VerifySpecSchema: z.ZodObject<{
    mode: z.ZodEnum<{
        NONE: "NONE";
        TEST: "TEST";
        PROOF: "PROOF";
        CITATION: "CITATION";
        RUBRIC: "RUBRIC";
        POLICY: "POLICY";
    }>;
    spec: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strict>;
export type VerifySpec = z.infer<typeof VerifySpecSchema>;
/**
 * Output specification for the intent.
 *
 * @example
 * { type: "code", format: "text" }
 * { type: "expression", format: "latex" }
 */
export declare const OutputSpecSchema: z.ZodObject<{
    type: z.ZodEnum<{
        number: "number";
        expression: "expression";
        proof: "proof";
        explanation: "explanation";
        summary: "summary";
        plan: "plan";
        code: "code";
        text: "text";
        artifactRef: "artifactRef";
    }>;
    format: z.ZodOptional<z.ZodEnum<{
        text: "text";
        markdown: "markdown";
        json: "json";
        latex: "latex";
    }>>;
    constraints: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strict>;
export type OutputSpec = z.infer<typeof OutputSpecSchema>;
//# sourceMappingURL=specs.d.ts.map